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