exp Pow x0 Pow asec Pow x4 5 x0 
Mul exp Pow x0 Pow asec Pow x4 5 x0 Mul Pow x0 Add Pow asec Pow x4 5 x0 -1 Add Pow asec Pow x4 5 x0 Mul Mul x0 log x0 Mul Pow asec Pow x4 5 Add x0 -1 Mul asec Pow x4 5 log asec Pow x4 5 