atanh tan Add Pow Add -1 pi x0 x7 
Mul Mul Pow sec Add Pow Add -1 pi x0 x7 2 Mul Pow Add -1 pi Add x0 -1 Mul Add -1 pi log Add -1 pi Pow Add 1 Mul -1 Mul tan Add Pow Add -1 pi x0 x7 tan Add Pow Add -1 pi x0 x7 -1 