Add -1.03731472072755 Add sec acot log Mul asec x0 x7 3 
Mul Mul tan acot log Mul asec x0 x7 sec acot log Mul asec x0 x7 Mul -1 Mul Mul Mul x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Mul asec x0 x7 -1 Pow Add 1 Mul log Mul asec x0 x7 log Mul asec x0 x7 -1 