Add Mul acosh x5 coth sech x0 Add Pow x0 Mul 2.57079632679490 sec x3 1 
Add Mul acosh x5 Mul Mul -1 Pow csch sech x0 2 Mul tanh x0 Mul -1 sech x0 Mul Pow x0 Add Mul 2.57079632679490 sec x3 -1 Mul 2.57079632679490 sec x3 