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