Mul asech Add x6 Add Mul -5 Add Pow cos x0 acosh x0 x2 Add Mul Add x0 E -2 3 Pow x0 8 
Add Mul Pow x0 8 Mul Add Mul -5 Mul Pow cos x0 Add acosh x0 -1 Add Mul acosh x0 Mul -1 sin x0 Mul Mul cos x0 log cos x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 -2 Pow Mul Mul Add x6 Add Mul -5 Add Pow cos x0 acosh x0 x2 Add Mul Add x0 E -2 3 Add x6 Add Mul -5 Add Pow cos x0 acosh x0 x2 Add Mul Add x0 E -2 3 sqrt Add 1 Mul -1 Pow Mul Add x6 Add Mul -5 Add Pow cos x0 acosh x0 x2 Add Mul Add x0 E -2 3 Add x6 Add Mul -5 Add Pow cos x0 acosh x0 x2 Add Mul Add x0 E -2 3 -1 -1 Mul asech Add x6 Add Mul -5 Add Pow cos x0 acosh x0 x2 Add Mul Add x0 E -2 3 Mul Pow x0 7 8 