Mul sec Pow x0 5 acot csch Mul x4 Pow x0 Mul x3 x0 
Add Mul acot csch Mul x4 Pow x0 Mul x3 x0 Mul Mul tan Pow x0 5 sec Pow x0 5 Mul Pow x0 4 5 Mul sec Pow x0 5 Mul -1 Mul Mul Mul Mul -1 coth Mul x4 Pow x0 Mul x3 x0 csch Mul x4 Pow x0 Mul x3 x0 Mul x4 Mul Pow x0 Add Mul x3 x0 -1 Add Mul x3 x0 Mul Mul x0 log x0 x3 Pow Add 1 Mul csch Mul x4 Pow x0 Mul x3 x0 csch Mul x4 Pow x0 Mul x3 x0 -1 