Pow x0 Mul Pow Pow asech asin x7 pi x0 0.0993279274194332 
Mul Pow x0 Add Mul Pow Pow asech asin x7 pi x0 0.0993279274194332 -1 Add Mul Pow Pow asech asin x7 pi x0 0.0993279274194332 Mul Mul x0 log x0 Mul 0.0993279274194332 Mul Pow Pow asech asin x7 pi Add x0 -1 Mul Pow asech asin x7 pi log Pow asech asin x7 pi 