Add Mul 1.58740105196820 Mul Add x0 Mul cosh x7 x0 Mul x0 Add Add acosh Mul x0 -4 x0 x0 -1.57079632679490 
Mul 1.58740105196820 Add Mul Mul x0 Add Add acosh Mul x0 -4 x0 x0 Add 1 cosh x7 Mul Add x0 Mul cosh x7 x0 Add Add Add acosh Mul x0 -4 x0 x0 Mul x0 Add Add Mul -4 Pow Mul sqrt Add Mul x0 -4 -1 sqrt Add 1 Mul x0 -4 -1 1 1 