Pow Pow sec Add x0 x1 x0 Mul atanh pi 4 
Mul Pow Pow sec Add x0 x1 x0 Add Mul atanh pi 4 -1 Mul Mul atanh pi 4 Mul Pow sec Add x0 x1 Add x0 -1 Add Mul x0 Mul tan Add x0 x1 sec Add x0 x1 Mul sec Add x0 x1 log sec Add x0 x1 