Details

Time bar (total: 4.1s)

sample34.0ms

Algorithm
intervals
Results
14.0ms278×body80valid
5.0ms97×body80nan

simplify15.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03818
17918
213618
316118
417318
517718
617718

prune3.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 20.2b

Counts
2 → 1

localize120.0ms

Local error

Found 4 expressions with local error:

1.0b
(- (* b b) (* (* 4.0 a) c))
1.5b
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
23.9b
(sqrt (- (* b b) (* (* 4.0 a) c)))
23.9b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
4×flip3-- sqrt-div flip--
2×sub-neg pow1/2
1×associate--l- neg-sub0
Counts
4 → 15
Calls
4 calls:
5.0ms
(- (* b b) (* (* 4.0 a) c))
5.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
5.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
5.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series264.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(- (* b b) (* (* 4.0 a) c))
76.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
71.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
73.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify91.0ms

Algorithm
egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 3 (87.0ms)

IterNodesCost
0171222
1667216
22704206
35003205

prune122.0ms

Filtered
27 candidates to 22 candidates (81.5%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New23427
Fresh000
Picked101
Done000
Total24428

Merged error: 8.4b

Counts
28 → 4

localize125.0ms

Local error

Found 4 expressions with local error:

1.0b
(- (* b b) (* (* 4.0 a) c))
3.3b
(/ (- (* 2.0 (/ (* a c) b)) (* 2 b)) (* 2.0 a))
5.0b
(/ (* a c) b)
23.9b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
3×flip3-- flip--
2×frac-2neg sqrt-div clear-num associate-/r* *-commutative div-inv associate-/l/ associate-/l*
1×sub-neg pow1/2 div-sub
Counts
4 → 20
Calls
4 calls:
5.0ms
(- (* b b) (* (* 4.0 a) c))
9.0ms
(/ (- (* 2.0 (/ (* a c) b)) (* 2 b)) (* 2.0 a))
3.0ms
(/ (* a c) b)
5.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series219.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(- (* b b) (* (* 4.0 a) c))
82.0ms
(/ (- (* 2.0 (/ (* a c) b)) (* 2 b)) (* 2.0 a))
19.0ms
(/ (* a c) b)
73.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify108.0ms

Algorithm
egg-herbie
Counts
32 → 32
Iterations

Useful iterations: 2 (25.0ms)

IterNodesCost
0223187
1833184
23657182
35001182

prune125.0ms

Filtered
32 candidates to 24 candidates (75.0%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New31132
Fresh033
Picked011
Done000
Total31536

Merged error: 6.8b

Counts
36 → 5

localize117.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (* 2.0 c) (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
0.8b
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
1.0b
(- (* b b) (* (* 4.0 a) c))
23.9b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
2×flip3-- flip3-+ sqrt-div associate-/r/ flip-- flip-+ associate-/l*
1×+-commutative neg-sub0 associate-+l- sub-neg frac-2neg pow1/2 clear-num *-commutative div-inv
Counts
4 → 18
Calls
4 calls:
8.0ms
(/ (* 2.0 c) (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
5.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
5.0ms
(- (* b b) (* (* 4.0 a) c))
5.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series403.0ms

Counts
4 → 12
Calls
4 calls:
194.0ms
(/ (* 2.0 c) (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
82.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
52.0ms
(- (* b b) (* (* 4.0 a) c))
74.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify98.0ms

Algorithm
egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 3 (89.0ms)

IterNodesCost
0224240
1771224
22899215
35002214

prune125.0ms

Filtered
30 candidates to 26 candidates (86.7%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New27330
Fresh123
Picked101
Done011
Total29635

Merged error: 6.6b

Counts
35 → 6

localize116.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* 2.0 c) (/ 1 (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
0.8b
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
1.0b
(- (* b b) (* (* 4.0 a) c))
23.9b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
3×associate-*r/ associate-*r*
2×flip3-- flip3-+ sqrt-div associate-*l* clear-num associate-/r/ un-div-inv *-commutative flip-- flip-+
1×+-commutative neg-sub0 associate-+l- sub-neg frac-2neg pow1/2 div-inv
Counts
4 → 22
Calls
4 calls:
9.0ms
(* (* 2.0 c) (/ 1 (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
5.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
5.0ms
(- (* b b) (* (* 4.0 a) c))
5.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series392.0ms

Counts
4 → 12
Calls
4 calls:
193.0ms
(* (* 2.0 c) (/ 1 (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
79.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
48.0ms
(- (* b b) (* (* 4.0 a) c))
72.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify129.0ms

Algorithm
egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 2 (27.0ms)

IterNodesCost
0236220
1901204
24428195
35002195

prune111.0ms

Filtered
34 candidates to 26 candidates (76.5%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New33134
Fresh044
Picked011
Done011
Total33740

Merged error: 6.6b

Counts
40 → 7

regimes201.0ms

Accuracy

92.6% (1.1b remaining)

Error of 7.4b against oracle of 6.3b and baseline of 20.6b

bsearch244.0ms

Steps
ItersRangePoint
8
4.088553977120381e+100
8.044751807128501e+103
2.6429722002179594e+103
8
1.2144307814005946e-307
1.5667111089934007e-304
1.2324305000920097e-307
6
-1.2994787762702041e+157
-3.0529494422842112e+156
-3.0812943354752785e+156

simplify6.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07792
18592
28792
311092
413692
514292
615892
716192
816192

end0.0ms

sample828.0ms

Algorithm
intervals
Results
446.0ms8757×body80valid
138.0ms2939×body80nan