Mul Pow x0 x3 asech acosh Add Add Pow x0 tanh x6 x1 25 
Add Mul asech acosh Add Add Pow x0 tanh x6 x1 25 Mul Pow x0 Add x3 -1 x3 Mul Pow x0 x3 Mul Mul Mul Pow x0 Add tanh x6 -1 tanh x6 Pow Mul sqrt Add Add Add Pow x0 tanh x6 x1 25 -1 sqrt Add 1 Add Add Pow x0 tanh x6 x1 25 -1 Pow Mul Mul acosh Add Add Pow x0 tanh x6 x1 25 acosh Add Add Pow x0 tanh x6 x1 25 sqrt Add 1 Mul -1 Pow Mul acosh Add Add Pow x0 tanh x6 x1 25 acosh Add Add Pow x0 tanh x6 x1 25 -1 -1 