Mul Add pi asin Mul Pow Add -3 Pow sqrt Mul x0 asech Mul x6 x0 x0 cosh x1 Mul Mul -5 x0 -2 5 
Mul 5 Mul Add Mul Mul Mul -5 x0 -2 Mul Pow Add -3 Pow sqrt Mul x0 asech Mul x6 x0 x0 Add cosh x1 -1 Mul cosh x1 Mul Pow sqrt Mul x0 asech Mul x6 x0 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt Mul x0 asech Mul x6 x0 -1 Add asech Mul x6 x0 Mul x0 Mul x6 Pow Mul Mul Mul x6 x0 Mul x6 x0 sqrt Add 1 Mul -1 Pow Mul Mul x6 x0 Mul x6 x0 -1 -1 Mul sqrt Mul x0 asech Mul x6 x0 log sqrt Mul x0 asech Mul x6 x0 Mul Pow Add -3 Pow sqrt Mul x0 asech Mul x6 x0 x0 cosh x1 7 Pow sqrt Add 1 Mul -1 Mul Mul Pow Add -3 Pow sqrt Mul x0 asech Mul x6 x0 x0 cosh x1 Mul Mul -5 x0 -2 Mul Pow Add -3 Pow sqrt Mul x0 asech Mul x6 x0 x0 cosh x1 Mul Mul -5 x0 -2 -1 