Pow x0 Add -5 atan Add x0 Mul x0 csch acosh x5 
Mul Pow x0 Add Add -5 atan Add x0 Mul x0 csch acosh x5 -1 Add Add -5 atan Add x0 Mul x0 csch acosh x5 Mul Mul x0 log x0 Mul Add 1 csch acosh x5 Pow Add 1 Mul Add x0 Mul x0 csch acosh x5 Add x0 Mul x0 csch acosh x5 -1 