Mul exp x0 Add x0 cos Pow cos acosh Add x1 x3 Mul x0 E 
Add Mul Add x0 cos Pow cos acosh Add x1 x3 Mul x0 E exp x0 Mul exp x0 Add 1 Mul Mul -1 sin Pow cos acosh Add x1 x3 Mul x0 E Mul Pow cos acosh Add x1 x3 Add Mul x0 E -1 Mul Mul cos acosh Add x1 x3 log cos acosh Add x1 x3 E 