Mul Add x0 Pow E Add x0 Mul x5 Add Mul Mul Pow tanh sec Mul sqrt x0 sech acoth x7 x0 x0 3 x0 -5 
Mul -5 Add 1 Mul Pow E Add Add x0 Mul x5 Add Mul Mul Pow tanh sec Mul sqrt x0 sech acoth x7 x0 x0 3 x0 -1 Mul Mul E log E Add 1 Mul x5 Add Mul 3 Add Mul x0 Mul Pow tanh sec Mul sqrt x0 sech acoth x7 Add x0 -1 Add Mul x0 Mul Pow sech sec Mul sqrt x0 sech acoth x7 2 Mul Mul tan Mul sqrt x0 sech acoth x7 sec Mul sqrt x0 sech acoth x7 Mul sech acoth x7 Pow Mul 2 sqrt x0 -1 Mul tanh sec Mul sqrt x0 sech acoth x7 log tanh sec Mul sqrt x0 sech acoth x7 Pow tanh sec Mul sqrt x0 sech acoth x7 x0 1 