Mul atan x6 Pow Pow acos asech cosh Mul x5 x0 Mul -1 Mul x7 x0 x0 
Mul atan x6 Mul Pow Pow acos asech cosh Mul x5 x0 Mul -1 Mul x7 x0 Add x0 -1 Add Mul x0 Mul Pow acos asech cosh Mul x5 x0 Add Mul -1 Mul x7 x0 -1 Add Mul Mul -1 Mul x7 x0 Mul -1 Mul Mul Mul sinh Mul x5 x0 x5 Pow Mul Mul cosh Mul x5 x0 cosh Mul x5 x0 sqrt Add 1 Mul -1 Pow Mul cosh Mul x5 x0 cosh Mul x5 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul asech cosh Mul x5 x0 asech cosh Mul x5 x0 -1 Mul Mul acos asech cosh Mul x5 x0 log acos asech cosh Mul x5 x0 Mul -1 x7 Mul Pow acos asech cosh Mul x5 x0 Mul -1 Mul x7 x0 log Pow acos asech cosh Mul x5 x0 Mul -1 Mul x7 x0 