Mul acos pi cosh Pow atan Pow csch x5 exp x0 Mul Mul x0 x5 acosh x0 
Mul acos pi Mul sinh Pow atan Pow csch x5 exp x0 Mul Mul x0 x5 acosh x0 Mul Pow atan Pow csch x5 exp x0 Add Mul Mul x0 x5 acosh x0 -1 Add Mul Mul Mul x0 x5 acosh x0 Mul Mul Pow csch x5 Add exp x0 -1 Mul Mul csch x5 log csch x5 exp x0 Pow Add 1 Mul Pow csch x5 exp x0 Pow csch x5 exp x0 -1 Mul Mul atan Pow csch x5 exp x0 log atan Pow csch x5 exp x0 Add Mul acosh x0 x5 Mul Mul x0 x5 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 