Mul x0 Add Add x7 -2 tanh Pow Add exp x0 acot x0 x5 
Add Add Add x7 -2 tanh Pow Add exp x0 acot x0 x5 Mul x0 Mul Pow sech Pow Add exp x0 acot x0 x5 2 Mul Pow Add exp x0 acot x0 Add x5 -1 Mul x5 Add exp x0 Mul -1 Pow Add 1 Mul x0 x0 -1 