Mul x0 Mul sqrt cosh cosh x0 Pow sin x0 x6 
Add Mul sqrt cosh cosh x0 Pow sin x0 x6 Mul x0 Add Mul Pow sin x0 x6 Mul Pow Mul 2 sqrt cosh cosh x0 -1 Mul sinh cosh x0 sinh x0 Mul sqrt cosh cosh x0 Mul Pow sin x0 Add x6 -1 Mul x6 cos x0 