acoth exp Pow Add atan Add x0 3 x2 Mul Mul -5 x0 x2 
Mul Mul exp Pow Add atan Add x0 3 x2 Mul Mul -5 x0 x2 Mul Pow Add atan Add x0 3 x2 Add Mul Mul -5 x0 x2 -1 Add Mul Mul Mul -5 x0 x2 Pow Add 1 Mul Add x0 3 Add x0 3 -1 Mul Mul Add atan Add x0 3 x2 log Add atan Add x0 3 x2 Mul x2 -5 Pow Add 1 Mul -1 Mul exp Pow Add atan Add x0 3 x2 Mul Mul -5 x0 x2 exp Pow Add atan Add x0 3 x2 Mul Mul -5 x0 x2 -1 