Pow Mul Pow x2 sqrt Add Mul Mul x0 cos acosh x0 x3 x4 x0 2.23606797749979 
Mul Pow Mul Pow x2 sqrt Add Mul Mul x0 cos acosh x0 x3 x4 x0 1.23606797749979 Mul 2.23606797749979 Add Mul x0 Mul Pow x2 Add sqrt Add Mul Mul x0 cos acosh x0 x3 x4 -1 Mul Mul x2 log x2 Mul Pow Mul 2 sqrt Add Mul Mul x0 cos acosh x0 x3 x4 -1 Mul x3 Add cos acosh x0 Mul x0 Mul Mul -1 sin acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow x2 sqrt Add Mul Mul x0 cos acosh x0 x3 x4 