Pow Pow x0 x4 Add x0 Mul x6 asech Mul x2 Mul x6 acos x3 
Mul Pow Pow x0 x4 Add Add x0 Mul x6 asech Mul x2 Mul x6 acos x3 -1 Add Mul Add x0 Mul x6 asech Mul x2 Mul x6 acos x3 Mul Pow x0 Add x4 -1 x4 Mul Pow x0 x4 log Pow x0 x4 