Details

Time bar (total: 10.0m)

sample250.0ms

Algorithm
intervals
Results
207.0ms256×body160valid

simplify3.7s

Counts
1 → 1
Iterations
IterNodes
done5000
52141
4898
3429
2254
193
031

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize77.0ms

Local error

Found 4 expressions with local error:

1.0b
(* 333.75 (pow 33096 6))
1.0b
(* 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)))
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)))

rewrite9.9m

Algorithm
rewrite-expression-head
Calls
1 calls:
6.2m
(+ (+ (* 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)))