Pow cosh x7 Pow acot Mul x1 acosh Mul Mul x2 x0 Add 3 tanh Mul x2 sec Add Mul x4 4 -1 x5 
Mul Pow cosh x7 Add Pow acot Mul x1 acosh Mul Mul x2 x0 Add 3 tanh Mul x2 sec Add Mul x4 4 -1 x5 -1 Mul Mul cosh x7 log cosh x7 Mul Pow acot Mul x1 acosh Mul Mul x2 x0 Add 3 tanh Mul x2 sec Add Mul x4 4 -1 Add x5 -1 Mul x5 Mul -1 Mul Mul x1 Mul Mul Add 3 tanh Mul x2 sec Add Mul x4 4 -1 x2 Pow Mul sqrt Add Mul Mul x2 x0 Add 3 tanh Mul x2 sec Add Mul x4 4 -1 -1 sqrt Add 1 Mul Mul x2 x0 Add 3 tanh Mul x2 sec Add Mul x4 4 -1 -1 Pow Add 1 Mul Mul x1 acosh Mul Mul x2 x0 Add 3 tanh Mul x2 sec Add Mul x4 4 -1 Mul x1 acosh Mul Mul x2 x0 Add 3 tanh Mul x2 sec Add Mul x4 4 -1 -1 