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