Add Mul x0 Pow sech sqrt x0 csch Add atan x2 x1 Mul x0 x2 
Add Add Pow sech sqrt x0 csch Add atan x2 x1 Mul x0 Mul Pow sech sqrt x0 Add csch Add atan x2 x1 -1 Mul csch Add atan x2 x1 Mul Mul tanh sqrt x0 Mul -1 sech sqrt x0 Pow Mul 2 sqrt x0 -1 x2 