Mul 2 Pow Pow log Mul Pow x0 Mul x1 x0 x7 asech csc Pow x5 x5 x0 
Mul 2 Mul Pow Pow log Mul Pow x0 Mul x1 x0 x7 asech csc Pow x5 x5 Add x0 -1 Add Mul x0 Mul Pow log Mul Pow x0 Mul x1 x0 x7 Add asech csc Pow x5 x5 -1 Mul asech csc Pow x5 x5 Mul Mul x7 Mul Pow x0 Add Mul x1 x0 -1 Add Mul x1 x0 Mul Mul x0 log x0 x1 Pow Mul Pow x0 Mul x1 x0 x7 -1 Mul Pow log Mul Pow x0 Mul x1 x0 x7 asech csc Pow x5 x5 log Pow log Mul Pow x0 Mul x1 x0 x7 asech csc Pow x5 x5 