Mul x0 Mul x0 sin Pow pi Pow Add acos x3 pi csch x0 
Add Mul x0 sin Pow pi Pow Add acos x3 pi csch x0 Mul x0 Add sin Pow pi Pow Add acos x3 pi csch x0 Mul x0 Mul cos Pow pi Pow Add acos x3 pi csch x0 Mul Pow pi Add Pow Add acos x3 pi csch x0 -1 Mul Mul pi log pi Mul Pow Add acos x3 pi Add csch x0 -1 Mul Mul Add acos x3 pi log Add acos x3 pi Mul Mul -1 coth x0 csch x0 