Mul Pow acosh exp x3 Mul Pow x0 x0 csch cosh Add x0 5 Mul sec x0 Mul x0 -1 
Add Mul Mul sec x0 Mul x0 -1 Mul Pow acosh exp x3 Add Mul Pow x0 x0 csch cosh Add x0 5 -1 Mul Mul acosh exp x3 log acosh exp x3 Add Mul csch cosh Add x0 5 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 Mul Mul Mul -1 coth cosh Add x0 5 csch cosh Add x0 5 sinh Add x0 5 Mul Pow acosh exp x3 Mul Pow x0 x0 csch cosh Add x0 5 Add Mul Mul x0 -1 Mul tan x0 sec x0 Mul sec x0 -1 