coth acosh Mul acosh Add -1 Mul x0 Mul x0 -2 sec Pow x0 pi 
Mul Mul -1 Pow csch acosh Mul acosh Add -1 Mul x0 Mul x0 -2 sec Pow x0 pi 2 Mul Add Mul sec Pow x0 pi Mul Add Mul x0 -2 Mul x0 -2 Pow Mul sqrt Add Add -1 Mul x0 Mul x0 -2 -1 sqrt Add 1 Add -1 Mul x0 Mul x0 -2 -1 Mul acosh Add -1 Mul x0 Mul x0 -2 Mul Mul tan Pow x0 pi sec Pow x0 pi Mul Pow x0 Add pi -1 pi Pow Mul sqrt Add Mul acosh Add -1 Mul x0 Mul x0 -2 sec Pow x0 pi -1 sqrt Add 1 Mul acosh Add -1 Mul x0 Mul x0 -2 sec Pow x0 pi -1 