Add Add Pow atanh acot Mul 3 Add -3 Add E x6 Add -3 x0 sqrt x0 x0 
Add Add Mul Pow atanh acot Mul 3 Add -3 Add E x6 Add Add -3 x0 -1 Mul atanh acot Mul 3 Add -3 Add E x6 log atanh acot Mul 3 Add -3 Add E x6 Pow Mul 2 sqrt x0 -1 1 