acos Mul Mul Pow acosh tan Add -4 Add x6 x0 -3 Add x0 cosh cosh x0 -1 
Mul -1 Mul Mul -1 Add Mul Add x0 cosh cosh x0 Mul Pow acosh tan Add -4 Add x6 x0 4 Mul -3 Mul Pow sec Add -4 Add x6 x0 2 Pow Mul sqrt Add tan Add -4 Add x6 x0 -1 sqrt Add 1 tan Add -4 Add x6 x0 -1 Mul Pow acosh tan Add -4 Add x6 x0 -3 Add 1 Mul sinh cosh x0 sinh x0 Pow sqrt Add 1 Mul -1 Mul Mul Mul Pow acosh tan Add -4 Add x6 x0 -3 Add x0 cosh cosh x0 -1 Mul Mul Pow acosh tan Add -4 Add x6 x0 -3 Add x0 cosh cosh x0 -1 -1 