Add Mul tanh Add Pow acosh Add -2 x5 x0 x0 x0 E 
Add Mul x0 Mul Pow sech Add Pow acosh Add -2 x5 x0 x0 2 Add Mul Pow acosh Add -2 x5 Add x0 -1 Mul acosh Add -2 x5 log acosh Add -2 x5 1 tanh Add Pow acosh Add -2 x5 x0 x0 