Pow Mul cos E Pow x0 tan asech x3 x0 
Mul Pow Mul cos E Pow x0 tan asech x3 Add x0 -1 Add Mul x0 Mul cos E Mul Pow x0 Add tan asech x3 -1 tan asech x3 Mul Mul cos E Pow x0 tan asech x3 log Mul cos E Pow x0 tan asech x3 