Pow asech x2 Add Pow x7 Mul x0 x0 Pow x5 53734998991657.1 
Mul Pow asech x2 Add Add Pow x7 Mul x0 x0 Pow x5 53734998991657.1 -1 Mul Mul asech x2 log asech x2 Mul Pow x7 Add Mul x0 x0 -1 Mul Mul x7 log x7 Add x0 x0 