Mul Add x0 Mul acot x0 Add Add atanh x0 Pow asec x3 4 Add x0 sec tanh x7 x6 
Mul x6 Add 1 Add Mul Add Add atanh x0 Pow asec x3 4 Add x0 sec tanh x7 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 