Add Mul Mul asech x0 Mul Pow 2 Mul -0.198690110349241 Mul asin Pow x4 x0 Mul cosh x2 -2 -5 -2 x7 
Mul -2 Add Mul Mul Pow 2 Mul -0.198690110349241 Mul asin Pow x4 x0 Mul cosh x2 -2 -5 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 Mul -5 Mul Pow 2 Add Mul -0.198690110349241 Mul asin Pow x4 x0 Mul cosh x2 -2 -1 Mul 2.69314718055995 Mul -0.198690110349241 Mul Mul cosh x2 -2 Mul Mul Pow x4 Add x0 -1 Mul x4 log x4 Pow sqrt Add 1 Mul -1 Mul Pow x4 x0 Pow x4 x0 -1 