Add x0 Pow Add csch x0 Pow Add sec Pow x0 acoth x4 x0 x0 pi 
Add 1 Mul Pow Add csch x0 Pow Add sec Pow x0 acoth x4 x0 x0 Add pi -1 Mul pi Add Mul Mul -1 coth x0 csch x0 Mul Pow Add sec Pow x0 acoth x4 x0 Add x0 -1 Add Mul x0 Add Mul Mul tan Pow x0 acoth x4 sec Pow x0 acoth x4 Mul Pow x0 Add acoth x4 -1 acoth x4 1 Mul Add sec Pow x0 acoth x4 x0 log Add sec Pow x0 acoth x4 x0 