Mul x0 Mul Add x0 x0 Mul Add Mul x0 Mul 3 cos x0 acsch x6 Add x5 -4 
Add Mul Add x0 x0 Mul Add Mul x0 Mul 3 cos x0 acsch x6 Add x5 -4 Mul x0 Add Mul Mul Add Mul x0 Mul 3 cos x0 acsch x6 Add x5 -4 2 Mul Add x0 x0 Mul Add x5 -4 Add Mul 3 cos x0 Mul x0 Mul 3 Mul -1 sin x0 