Pow x1 asinh Mul x0 Pow Mul Mul acos acoth Add x1 Add x7 sec Mul x0 x5 6 x0 x0 
Mul Pow x1 Add asinh Mul x0 Pow Mul Mul acos acoth Add x1 Add x7 sec Mul x0 x5 6 x0 x0 -1 Mul Mul x1 log x1 Mul Add Pow Mul Mul acos acoth Add x1 Add x7 sec Mul x0 x5 6 x0 x0 Mul x0 Mul Pow Mul Mul acos acoth Add x1 Add x7 sec Mul x0 x5 6 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul 6 Mul -1 Mul Mul Mul Mul tan Mul x0 x5 sec Mul x0 x5 x5 Pow Add 1 Mul -1 Mul Add x1 Add x7 sec Mul x0 x5 Add x1 Add x7 sec Mul x0 x5 -1 Pow sqrt Add 1 Mul -1 Mul acoth Add x1 Add x7 sec Mul x0 x5 acoth Add x1 Add x7 sec Mul x0 x5 -1 Mul acos acoth Add x1 Add x7 sec Mul x0 x5 6 Mul Mul Mul acos acoth Add x1 Add x7 sec Mul x0 x5 6 x0 log Mul Mul acos acoth Add x1 Add x7 sec Mul x0 x5 6 x0 Pow sqrt Add 1 Mul Mul x0 Pow Mul Mul acos acoth Add x1 Add x7 sec Mul x0 x5 6 x0 x0 Mul x0 Pow Mul Mul acos acoth Add x1 Add x7 sec Mul x0 x5 6 x0 x0 -1 