Pow x5 Add x0 Pow x6 Mul x0 Pow asech x3 x0 
Mul Pow x5 Add Add x0 Pow x6 Mul x0 Pow asech x3 x0 -1 Mul Mul x5 log x5 Add 1 Mul Pow x6 Add Mul x0 Pow asech x3 x0 -1 Mul Mul x6 log x6 Add Pow asech x3 x0 Mul x0 Mul Pow asech x3 Add x0 -1 Mul asech x3 log asech x3 