atan Add Pow x0 -5 Add -1 acos coth Add x5 acosh x0 
Mul Add Mul Pow x0 6 -5 Mul -1 Mul Mul Mul -1 Pow csch Add x5 acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow sqrt Add 1 Mul -1 Mul coth Add x5 acosh x0 coth Add x5 acosh x0 -1 Pow Add 1 Mul Add Pow x0 -5 Add -1 acos coth Add x5 acosh x0 Add Pow x0 -5 Add -1 acos coth Add x5 acosh x0 -1 