Add Add Add Mul x0 pi acoth Pow atan x0 -2 pi Mul log exp x0 -2 
Add Add pi Mul Mul Pow atan x0 3 Mul -2 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow atan x0 -2 Pow atan x0 -2 -1 Mul -2 Mul exp x0 Pow exp x0 -1 