Add x0 Pow atan x2 sin Mul -2 Add sqrt acoth x0 4 
Add 1 Mul Pow atan x2 Add sin Mul -2 Add sqrt acoth x0 4 -1 Mul Mul atan x2 log atan x2 Mul cos Mul -2 Add sqrt acoth x0 4 Mul -2 Mul Pow Mul 2 sqrt acoth x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 