Add Mul Add 1 Mul x0 x2 -1 Mul x0 Mul Pow x0 -2 Pow atanh tan Add x0 sqrt x3 x0 
Add Mul -1 x2 Add Mul Pow x0 -2 Pow atanh tan Add x0 sqrt x3 x0 Mul x0 Add Mul Pow atanh tan Add x0 sqrt x3 x0 Mul Pow x0 3 -2 Mul Pow x0 -2 Mul Pow atanh tan Add x0 sqrt x3 Add x0 -1 Add Mul x0 Mul Pow sec Add x0 sqrt x3 2 Pow Add 1 Mul -1 Mul tan Add x0 sqrt x3 tan Add x0 sqrt x3 -1 Mul atanh tan Add x0 sqrt x3 log atanh tan Add x0 sqrt x3 