Mul Mul sec x0 x0 Add x6 Mul Mul Add x0 -2 -2 tanh sec Pow exp x0 acosh x1 
Add Mul Add x6 Mul Mul Add x0 -2 -2 tanh sec Pow exp x0 acosh x1 Add Mul x0 Mul tan x0 sec x0 sec x0 Mul Mul sec x0 x0 Add Mul tanh sec Pow exp x0 acosh x1 -2 Mul Mul Add x0 -2 -2 Mul Pow sech sec Pow exp x0 acosh x1 2 Mul Mul tan Pow exp x0 acosh x1 sec Pow exp x0 acosh x1 Mul Pow exp x0 Add acosh x1 -1 Mul acosh x1 exp x0 