atanh Mul -1 Add x0 acot Add sqrt x0 Add x7 x1 
Mul Mul -1 Add 1 Mul -1 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul Add sqrt x0 Add x7 x1 Add sqrt x0 Add x7 x1 -1 Pow Add 1 Mul -1 Mul Mul -1 Add x0 acot Add sqrt x0 Add x7 x1 Mul -1 Add x0 acot Add sqrt x0 Add x7 x1 -1 