Mul acsch Pow sec Mul Pow x2 x6 -4 Add 4 x0 x7 
Mul x7 Mul Mul -1 Mul Pow sec Mul Pow x2 x6 -4 Add Add 4 x0 -1 Mul sec Mul Pow x2 x6 -4 log sec Mul Pow x2 x6 -4 Pow Mul Mul Pow sec Mul Pow x2 x6 -4 Add 4 x0 Pow sec Mul Pow x2 x6 -4 Add 4 x0 sqrt Add 1 Mul -1 Pow Mul Pow sec Mul Pow x2 x6 -4 Add 4 x0 Pow sec Mul Pow x2 x6 -4 Add 4 x0 -1 -1 