Mul asec x0 Mul acsch Mul x0 Mul x5 -4 -3 
Add Mul Mul acsch Mul x0 Mul x5 -4 -3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul asec x0 Mul -3 Mul Mul -1 Mul x5 -4 Pow Mul Mul Mul x0 Mul x5 -4 Mul x0 Mul x5 -4 sqrt Add 1 Mul -1 Pow Mul Mul x0 Mul x5 -4 Mul x0 Mul x5 -4 -1 -1 