acosh Mul acosh Add -3 x0 exp Pow Add sech Add csc Add x7 x0 x5 x2 sech x3 
Mul Add Mul exp Pow Add sech Add csc Add x7 x0 x5 x2 sech x3 Pow Mul sqrt Add Add -3 x0 -1 sqrt Add 1 Add -3 x0 -1 Mul acosh Add -3 x0 Mul exp Pow Add sech Add csc Add x7 x0 x5 x2 sech x3 Mul Pow Add sech Add csc Add x7 x0 x5 x2 Add sech x3 -1 Mul sech x3 Mul Mul tanh Add csc Add x7 x0 x5 Mul -1 sech Add csc Add x7 x0 x5 Mul Mul -1 cot Add x7 x0 csc Add x7 x0 Pow Mul sqrt Add Mul acosh Add -3 x0 exp Pow Add sech Add csc Add x7 x0 x5 x2 sech x3 -1 sqrt Add 1 Mul acosh Add -3 x0 exp Pow Add sech Add csc Add x7 x0 x5 x2 sech x3 -1 