Mul Add x4 sec Add -2 Mul sech Add Pow x3 x0 acosh x0 E tan Pow acoth x0 -4 
Add Mul tan Pow acoth x0 -4 Mul Mul tan Add -2 Mul sech Add Pow x3 x0 acosh x0 E sec Add -2 Mul sech Add Pow x3 x0 acosh x0 E Mul E Mul Mul tanh Add Pow x3 x0 acosh x0 Mul -1 sech Add Pow x3 x0 acosh x0 Add Mul Pow x3 Add x0 -1 Mul x3 log x3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Add x4 sec Add -2 Mul sech Add Pow x3 x0 acosh x0 E Mul Pow sec Pow acoth x0 -4 2 Mul Pow acoth x0 5 Mul -4 Pow Add 1 Mul -1 Mul x0 x0 -1 