exp Add x0 Mul Mul 2 Pow x5 Mul Mul exp x4 x0 -4 sqrt Mul acot x3 -2 
Mul exp Add x0 Mul Mul 2 Pow x5 Mul Mul exp x4 x0 -4 sqrt Mul acot x3 -2 Add 1 Mul sqrt Mul acot x3 -2 Mul 2 Mul Pow x5 Add Mul Mul exp x4 x0 -4 -1 Mul Mul x5 log x5 Mul -4 exp x4 