Add x6 Add csc cos x3 Add Pow asech acsch pi x0 Pow asin x7 Add x0 cos x0 
Add Mul Pow asech acsch pi Add x0 -1 Mul asech acsch pi log asech acsch pi Mul Pow asin x7 Add Add x0 cos x0 -1 Mul Mul asin x7 log asin x7 Add 1 Mul -1 sin x0 