Mul Mul Add -4 acoth Pow x3 -3 x0 atan cos Mul x0 x2 
Add Mul atan cos Mul x0 x2 Add -4 acoth Pow x3 -3 Mul Mul Add -4 acoth Pow x3 -3 x0 Mul Mul Mul -1 sin Mul x0 x2 x2 Pow Add 1 Mul cos Mul x0 x2 cos Mul x0 x2 -1 