Pow acosh pi Add x0 sec Mul Pow x0 x0 Mul Mul x0 x1 acoth Pow x5 x0 
Mul Pow acosh pi Add Add x0 sec Mul Pow x0 x0 Mul Mul x0 x1 acoth Pow x5 x0 -1 Mul Mul acosh pi log acosh pi Add 1 Mul Mul tan Mul Pow x0 x0 Mul Mul x0 x1 acoth Pow x5 x0 sec Mul Pow x0 x0 Mul Mul x0 x1 acoth Pow x5 x0 Add Mul Mul Mul x0 x1 acoth Pow x5 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 Add Mul acoth Pow x5 x0 x1 Mul Mul x0 x1 Mul Mul Pow x5 Add x0 -1 Mul x5 log x5 Pow Add 1 Mul -1 Mul Pow x5 x0 Pow x5 x0 -1 