ln4+sqrt15