Add Add Pow x0 acoth Pow sqrt atan x0 Add x0 -5 Add Pow tan Mul acsch pi x0 x0 -1 5 
Add Mul Pow x0 Add acoth Pow sqrt atan x0 Add x0 -5 -1 Add acoth Pow sqrt atan x0 Add x0 -5 Mul Mul x0 log x0 Mul Mul Pow sqrt atan x0 Add Add x0 -5 -1 Add Mul Add x0 -5 Mul Pow Mul 2 sqrt atan x0 -1 Pow Add 1 Mul x0 x0 -1 Mul sqrt atan x0 log sqrt atan x0 Pow Add 1 Mul -1 Mul Pow sqrt atan x0 Add x0 -5 Pow sqrt atan x0 Add x0 -5 -1 Mul Pow tan Mul acsch pi x0 Add x0 -1 Add Mul x0 Mul Pow sec Mul acsch pi x0 2 acsch pi Mul tan Mul acsch pi x0 log tan Mul acsch pi x0 