Mul sec cos Mul Add tan acosh x5 x0 -2 Add x0 x0 
Add Mul Add x0 x0 Mul Mul tan cos Mul Add tan acosh x5 x0 -2 sec cos Mul Add tan acosh x5 x0 -2 Mul Mul -1 sin Mul Add tan acosh x5 x0 -2 -2 Mul sec cos Mul Add tan acosh x5 x0 -2 2 