Add x4 Add Mul -4 Mul acot atanh Mul 5 Mul 3 x0 x0 x0 
Add Mul -4 Add Mul x0 Mul -1 Mul Mul 8 Pow Add 1 Mul -1 Mul Mul 5 Mul 3 x0 Mul 5 Mul 3 x0 -1 Pow Add 1 Mul atanh Mul 5 Mul 3 x0 atanh Mul 5 Mul 3 x0 -1 acot atanh Mul 5 Mul 3 x0 1 