exp Add x0 Pow Pow Pow exp atan x0 2 4 log acot x0 
Mul exp Add x0 Pow Pow Pow exp atan x0 2 4 log acot x0 Add 1 Mul Pow Pow Pow exp atan x0 2 4 Add log acot x0 -1 Add Mul log acot x0 Mul Pow Pow exp atan x0 2 3 Mul 4 Mul exp atan x0 Mul 2 Mul exp atan x0 Pow Add 1 Mul x0 x0 -1 Mul Mul Pow Pow exp atan x0 2 4 log Pow Pow exp atan x0 2 4 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow acot x0 -1 