Mul Mul Mul x0 cos sqrt x4 Pow Mul acosh Mul x0 E Mul cos x0 x0 E -2 
Mul -2 Add Mul Pow Mul acosh Mul x0 E Mul cos x0 x0 E cos sqrt x4 Mul Mul x0 cos sqrt x4 Mul Pow Mul acosh Mul x0 E Mul cos x0 x0 Add E -1 Mul E Add Mul Mul cos x0 x0 Mul E Pow Mul sqrt Add Mul x0 E -1 sqrt Add 1 Mul x0 E -1 Mul acosh Mul x0 E Add Mul x0 Mul -1 sin x0 cos x0 