Mul x7 Mul Add Add acsch Add Pow cos x0 x0 acot cos x0 0.863691154450617 x0 -1.31303528549933 
Mul x7 Mul -1.31303528549933 Add Mul Mul -1 Add Mul Pow cos x0 Add x0 -1 Add Mul x0 Mul -1 sin x0 Mul cos x0 log cos x0 Mul -1 Mul Mul -1 sin x0 Pow Add 1 Mul cos x0 cos x0 -1 Pow Mul Mul Add Pow cos x0 x0 acot cos x0 Add Pow cos x0 x0 acot cos x0 sqrt Add 1 Mul -1 Pow Mul Add Pow cos x0 x0 acot cos x0 Add Pow cos x0 x0 acot cos x0 -1 -1 1 