Add Pow acosh x0 exp x4 Add x0 sec cos Pow x0 acos cos x0 
Add Mul Pow acosh x0 Add exp x4 -1 Mul exp x4 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Add 1 Mul Mul tan cos Pow x0 acos cos x0 sec cos Pow x0 acos cos x0 Mul Mul -1 sin Pow x0 acos cos x0 Mul Pow x0 Add acos cos x0 -1 Add acos cos x0 Mul Mul x0 log x0 Mul -1 Mul Mul -1 sin x0 Pow sqrt Add 1 Mul -1 Mul cos x0 cos x0 -1 