acosh Add Add atanh Mul csch pi x0 coth acosh x0 5 
Mul Add Mul csch pi Pow Add 1 Mul -1 Mul Mul csch pi x0 Mul csch pi x0 -1 Mul Mul -1 Pow csch acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul sqrt Add Add Add atanh Mul csch pi x0 coth acosh x0 5 -1 sqrt Add 1 Add Add atanh Mul csch pi x0 coth acosh x0 5 -1 