Mul cosh Mul Pow sin Mul sin x0 4 x0 x1 asec x0 
Add Mul asec x0 Mul sinh Mul Pow sin Mul sin x0 4 x0 x1 Mul x1 Mul Pow sin Mul sin x0 4 Add x0 -1 Add Mul x0 Mul cos Mul sin x0 4 Mul 4 cos x0 Mul sin Mul sin x0 4 log sin Mul sin x0 4 Mul cosh Mul Pow sin Mul sin x0 4 x0 x1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 