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