sinh acosh Add Add x0 x0 Pow sec sqrt Pow x0 x0 sec x5 
Mul cosh acosh Add Add x0 x0 Pow sec sqrt Pow x0 x0 sec x5 Mul Add 2 Mul Pow sec sqrt Pow x0 x0 Add sec x5 -1 Mul sec x5 Mul Mul tan sqrt Pow x0 x0 sec sqrt Pow x0 x0 Mul Pow Mul 2 sqrt Pow x0 x0 -1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Mul sqrt Add Add Add x0 x0 Pow sec sqrt Pow x0 x0 sec x5 -1 sqrt Add 1 Add Add x0 x0 Pow sec sqrt Pow x0 x0 sec x5 -1 