Mul log Mul asech cos x0 x0 acosh log x5 
Mul acosh log x5 Mul Add Mul x0 Mul Mul -1 sin x0 Pow Mul Mul cos x0 cos x0 sqrt Add 1 Mul -1 Pow Mul cos x0 cos x0 -1 -1 asech cos x0 Pow Mul asech cos x0 x0 -1 