exp Pow Pow asech x7 x0 log Add -0.393065297138160 pi 
Mul exp Pow Pow asech x7 x0 log Add -0.393065297138160 pi Mul Pow Pow asech x7 x0 Add log Add -0.393065297138160 pi -1 Mul log Add -0.393065297138160 pi Mul Pow asech x7 Add x0 -1 Mul asech x7 log asech x7 