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