Mul x0 Pow Add sqrt x0 tanh x3 sec Add x4 atanh x5 
Add Pow Add sqrt x0 tanh x3 sec Add x4 atanh x5 Mul x0 Mul Pow Add sqrt x0 tanh x3 Add sec Add x4 atanh x5 -1 Mul sec Add x4 atanh x5 Pow Mul 2 sqrt x0 -1 