Details

Time bar (total: 2.2s)

sample33.0ms

Algorithm
intervals
Results
18.0ms449×body80valid

simplify75.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
0237
1596
21116
32046
43696
58396
621686
750016

prune6.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 26.5b

Counts
2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

4.5b
(- (* y y) (* z z))
24.6b
(/ (/ (fma x x (- (* y y) (* z z))) 2.0) y)

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
9×*-commutative
4×prod-diff difference-of-squares
3×associate-/l/
2×frac-2neg fma-neg clear-num div-inv
1×sub-neg flip3-- flip-- associate-/l*
Counts
2 → 21
Calls
2 calls:
6.0ms
(- (* y y) (* z z))
4.0ms
(/ (/ (fma x x (- (* y y) (* z z))) 2.0) y)

series155.0ms

Counts
2 → 6
Calls
2 calls:
39.0ms
(- (* y y) (* z z))
115.0ms
(/ (/ (fma x x (- (* y y) (* z z))) 2.0) y)

simplify58.0ms

Algorithm
egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 3 (54.0ms)

IterNodesCost
0136123
1449113
21463110
3500297

prune59.0ms

Filtered
27 candidates to 12 candidates (44.4%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New23427
Fresh000
Picked101
Done000
Total24428

Merged error: 11.9b

Counts
28 → 4

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
7.8b
(/ (pow x 2) y)
11.0b
(/ (pow z 2) y)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
10×frac-sub
8×associate-/l*
5×flip3-+ flip-+
4×frac-2neg clear-num unpow2 sqr-pow
2×associate--l+ div-inv
1×+-commutative sub-neg flip3-- flip--
Counts
3 → 26
Calls
3 calls:
7.0ms
(- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
4.0ms
(/ (pow x 2) y)
4.0ms
(/ (pow z 2) y)

series103.0ms

Counts
3 → 9
Calls
3 calls:
52.0ms
(- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
24.0ms
(/ (pow x 2) y)
27.0ms
(/ (pow z 2) y)

simplify44.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
0248355
1935330
25002304

prune114.0ms

Filtered
35 candidates to 23 candidates (65.7%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New31435
Fresh213
Picked101
Done000
Total34539

Merged error: 0.3b

Counts
39 → 5

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (+ y (/ (pow x 2) y)) (/ z (/ y z)))
0.2b
(/ z (/ y z))
7.8b
(/ (pow x 2) y)

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
8×frac-sub
5×frac-2neg clear-num div-inv
4×flip3-+ flip-+
3×associate-/r* associate-/r/
2×associate--l+ associate-/l*
1×+-commutative sub-neg flip3-- flip-- unpow2 sqr-pow
Counts
3 → 26
Calls
3 calls:
6.0ms
(- (+ y (/ (pow x 2) y)) (/ z (/ y z)))
3.0ms
(/ z (/ y z))
4.0ms
(/ (pow x 2) y)

series103.0ms

Counts
3 → 9
Calls
3 calls:
51.0ms
(- (+ y (/ (pow x 2) y)) (/ z (/ y z)))
24.0ms
(/ z (/ y z))
28.0ms
(/ (pow x 2) y)

simplify45.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
0246316
11056288
25001266

prune117.0ms

Filtered
35 candidates to 25 candidates (71.4%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New32335
Fresh224
Picked101
Done000
Total35540

Merged error: 0.0b

Counts
40 → 5

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (+ y (/ (pow x (/ 2 2)) (/ y x))) (/ z (/ y z)))
0.2b
(/ (pow x (/ 2 2)) (/ y x))
0.2b
(/ z (/ y z))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
8×frac-sub
7×div-inv
6×frac-2neg clear-num associate-/r/
4×flip3-+ associate-/r* flip-+
2×associate--l+ sqr-pow
1×+-commutative sub-neg flip3-- times-frac flip-- associate-/l*
Counts
3 → 30
Calls
3 calls:
8.0ms
(- (+ y (/ (pow x (/ 2 2)) (/ y x))) (/ z (/ y z)))
5.0ms
(/ (pow x (/ 2 2)) (/ y x))
3.0ms
(/ z (/ y z))

series102.0ms

Counts
3 → 9
Calls
3 calls:
52.0ms
(- (+ y (/ (pow x (/ 2 2)) (/ y x))) (/ z (/ y z)))
24.0ms
(/ (pow x (/ 2 2)) (/ y x))
27.0ms
(/ z (/ y z))

simplify50.0ms

Algorithm
egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
0272377
11181341
25002303

prune127.0ms

Filtered
39 candidates to 30 candidates (76.9%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New37239
Fresh044
Picked011
Done000
Total37744

Merged error: 0.0b

Counts
44 → 7

regimes116.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02210
13010
23310
33310

end0.0ms

sample778.0ms

Algorithm
intervals
Results
485.0ms13781×body80valid