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