Mul -2 Mul sec Mul Add Add x7 sec acos Add x0 Mul atanh x0 -2 x1 x0 4 
Mul -2 Mul 4 Mul Mul tan Mul Add Add x7 sec acos Add x0 Mul atanh x0 -2 x1 x0 sec Mul Add Add x7 sec acos Add x0 Mul atanh x0 -2 x1 x0 Add Mul x0 Mul Mul tan acos Add x0 Mul atanh x0 -2 sec acos Add x0 Mul atanh x0 -2 Mul -1 Mul Add 1 Mul -2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add x0 Mul atanh x0 -2 Add x0 Mul atanh x0 -2 -1 Add Add x7 sec acos Add x0 Mul atanh x0 -2 x1 