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