Add atanh Pow Mul Mul x0 x0 Mul atan x0 Add -3 Mul 5 x3 acot x0 -4 
Mul Mul Pow Mul Mul x0 x0 Mul atan x0 Add -3 Mul 5 x3 Add acot x0 -1 Add Mul acot x0 Add Mul Mul atan x0 Add -3 Mul 5 x3 Add x0 x0 Mul Mul x0 x0 Mul Add -3 Mul 5 x3 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul Mul x0 x0 Mul atan x0 Add -3 Mul 5 x3 log Mul Mul x0 x0 Mul atan x0 Add -3 Mul 5 x3 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow Mul Mul x0 x0 Mul atan x0 Add -3 Mul 5 x3 acot x0 Pow Mul Mul x0 x0 Mul atan x0 Add -3 Mul 5 x3 acot x0 -1 