Add Mul x0 x0 asin sin Add Mul x0 acosh cos x0 3 
Add Add x0 x0 Mul Mul cos Add Mul x0 acosh cos x0 3 Add acosh cos x0 Mul x0 Mul Mul -1 sin x0 Pow Mul sqrt Add cos x0 -1 sqrt Add 1 cos x0 -1 Pow sqrt Add 1 Mul -1 Mul sin Add Mul x0 acosh cos x0 3 sin Add Mul x0 acosh cos x0 3 -1 