Details

sample194.0ms

Algorithm

intervals

Results

157.0ms

256×

body

160

valid

simplify348.0ms

Calls

1 calls:

Slowest

348.0ms

(+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize92.0ms

Local error

Found 4 expressions with local error:

62.0b	(+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))
1.0b	(+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
1.0b	(* 5.5 (pow 33096 8))
1.0b	(* 333.75 (pow 33096 6))