atan Pow asec acoth x0 sin Mul Pow -3 x4 -2 
Mul Mul Pow asec acoth x0 Add sin Mul Pow -3 x4 -2 -1 Mul sin Mul Pow -3 x4 -2 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acoth x0 acoth x0 -1 acoth x0 acoth x0 -1 Pow Add 1 Mul Pow asec acoth x0 sin Mul Pow -3 x4 -2 Pow asec acoth x0 sin Mul Pow -3 x4 -2 -1 