Mul Pow acos sec E Add cos x0 Add -4 x5 Add Add x7 acsch sqrt Add x6 1 -3 
Mul Add Add x7 acsch sqrt Add x6 1 -3 Mul Pow acos sec E Add Add cos x0 Add -4 x5 -1 Mul Mul acos sec E log acos sec E Mul -1 sin x0 