Details

Time bar (total: 9.6s)

sample23.0ms

Algorithm
intervals
Results
12.0ms317×body80valid

simplify13.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0166
1296
2426
3496
4556
5616
6636
7636

prune2.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: 1.1b

Counts
2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (+ x 4.0) y)
0.0b
(- (/ (+ x 4.0) y) (* (/ x y) z))
3.2b
(* (/ x y) z)

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
597×*-un-lft-identity
512×add-sqr-sqrt
487×times-frac
406×add-cube-cbrt
368×prod-diff
228×associate-*l*
124×associate-*l/
108×frac-sub
88×distribute-lft-out
79×associate-/l*
77×associate-/r*
51×associate-*r*
42×div-inv
38×unswap-sqr
25×frac-2neg
23×clear-num
20×associate-/l/
17×*-commutative
16×fma-neg
10×add-exp-log flip3-+ add-cbrt-cube flip-+
8×distribute-lft-out--
7×sub-div
6×difference-of-squares
5×pow1 add-log-exp
3×expm1-log1p-u log1p-expm1-u
2×cbrt-undiv div-exp prod-exp cbrt-unprod
1×sub-neg flip3-- diff-log pow-prod-down flip--
Counts
3 → 604
Calls
3 calls:
6.0ms
(/ (+ x 4.0) y)
46.0ms
(- (/ (+ x 4.0) y) (* (/ x y) z))
8.0ms
(* (/ x y) z)

series104.0ms

Counts
3 → 9
Calls
3 calls:
31.0ms
(/ (+ x 4.0) y)
45.0ms
(- (/ (+ x 4.0) y) (* (/ x y) z))
29.0ms
(* (/ x y) z)

simplify149.0ms

Algorithm
egg-herbie
Counts
613 → 613
Iterations

Useful iterations: 1 (48.0ms)

IterNodesCost
0236012581
1500110452

prune941.0ms

Filtered
613 candidates to 315 candidates (51.4%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New6085613
Fresh000
Picked101
Done000
Total6095614

Merged error: 0b

Counts
614 → 5

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma 4.0 (/ 1 y) (/ x y))
0.0b
(- (fma 4.0 (/ 1 y) (/ x y)) (* (/ x y) z))
3.2b
(* (/ x y) z)

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
93×add-sqr-sqrt
69×prod-diff
68×*-un-lft-identity
64×add-cube-cbrt
53×associate-*l*
41×times-frac
12×associate-*r*
10×unswap-sqr
9×associate-*l/
8×add-exp-log add-cbrt-cube
5×pow1 add-log-exp
4×*-commutative div-inv
3×expm1-log1p-u fma-neg associate-/r* log1p-expm1-u associate-/l* difference-of-squares
2×prod-exp cbrt-unprod fma-udef distribute-lft-out--
1×cbrt-undiv sub-neg flip3-- frac-2neg diff-log div-exp pow-prod-down associate--l+ clear-num flip--
Counts
3 → 144
Calls
3 calls:
1.0ms
(fma 4.0 (/ 1 y) (/ x y))
13.0ms
(- (fma 4.0 (/ 1 y) (/ x y)) (* (/ x y) z))
8.0ms
(* (/ x y) z)

series106.0ms

Counts
3 → 9
Calls
3 calls:
30.0ms
(fma 4.0 (/ 1 y) (/ x y))
53.0ms
(- (fma 4.0 (/ 1 y) (/ x y)) (* (/ x y) z))
23.0ms
(* (/ x y) z)

simplify93.0ms

Algorithm
egg-herbie
Counts
153 → 153
Iterations

Useful iterations: 2 (72.0ms)

IterNodesCost
06912481
129111844
250011810

prune247.0ms

Filtered
153 candidates to 86 candidates (56.2%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1530153
Fresh044
Picked011
Done000
Total1535158

Merged error: 0b

Counts
158 → 5

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (+ x 4.0) y)
0.0b
(- (/ (+ x 4.0) y) (/ z (/ y x)))
3.4b
(/ z (/ y x))

rewrite211.0ms

Algorithm
rewrite-expression-head
Rules
1900×times-frac
1581×*-un-lft-identity
1227×add-sqr-sqrt
1206×add-cube-cbrt
832×prod-diff
280×associate-/r*
228×frac-sub
183×distribute-lft-out
170×associate-/l*
153×associate-/r/
135×div-inv
50×frac-2neg clear-num
40×associate-/l/
20×flip3-+ flip-+
16×fma-neg
10×add-exp-log add-cbrt-cube
6×difference-of-squares
5×add-log-exp
4×cbrt-undiv div-exp
3×pow1 expm1-log1p-u log1p-expm1-u distribute-lft-out--
1×sub-neg flip3-- diff-log flip--
Counts
3 → 1214
Calls
3 calls:
6.0ms
(/ (+ x 4.0) y)
78.0ms
(- (/ (+ x 4.0) y) (/ z (/ y x)))
7.0ms
(/ z (/ y x))

series97.0ms

Counts
3 → 9
Calls
3 calls:
27.0ms
(/ (+ x 4.0) y)
50.0ms
(- (/ (+ x 4.0) y) (/ z (/ y x)))
19.0ms
(/ z (/ y x))

simplify355.0ms

Algorithm
egg-herbie
Counts
1223 → 1223
Iterations

Useful iterations: 1 (82.0ms)

IterNodesCost
0499133917
1500133757

prune3.2s

Filtered
1223 candidates to 777 candidates (63.5%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New122301223
Fresh033
Picked011
Done011
Total122351228

Merged error: 0b

Counts
1228 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt y)
0.5b
(cbrt y)
1.6b
(/ (* (/ x (* (cbrt y) (cbrt y))) z) (cbrt y))
2.3b
(* (/ x (* (cbrt y) (cbrt y))) z)

rewrite179.0ms

Algorithm
rewrite-expression-head
Rules
1338×times-frac
1161×add-sqr-sqrt
836×associate-*l*
782×cbrt-prod
689×add-cube-cbrt *-un-lft-identity
216×unswap-sqr
180×associate-*r*
172×swap-sqr
109×associate-/l*
66×associate-*l/
64×add-cbrt-cube
60×associate-/r*
42×*-commutative
33×associate-/l/
30×cbrt-unprod
29×cbrt-undiv
27×add-exp-log
9×div-inv
8×div-exp prod-exp
6×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg clear-num
2×pow1/3
1×pow-prod-down
Counts
4 → 967
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
57.0ms
(/ (* (/ x (* (cbrt y) (cbrt y))) z) (cbrt y))
29.0ms
(* (/ x (* (cbrt y) (cbrt y))) z)

series580.0ms

Counts
4 → 12
Calls
4 calls:
187.0ms
(cbrt y)
176.0ms
(cbrt y)
52.0ms
(/ (* (/ x (* (cbrt y) (cbrt y))) z) (cbrt y))
165.0ms
(* (/ x (* (cbrt y) (cbrt y))) z)

simplify169.0ms

Algorithm
egg-herbie
Counts
979 → 979
Iterations

Useful iterations: 1 (52.0ms)

IterNodesCost
0274713028
1500212837

prune2.4s

Filtered
979 candidates to 694 candidates (70.9%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New9790979
Fresh022
Picked011
Done022
Total9795984

Merged error: 0b

Counts
984 → 5

regimes66.0ms

Accuracy

0% (1.5b remaining)

Error of 1.5b against oracle of 0.0b and baseline of 1.5b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0147
1147

end0.0ms

sample523.0ms

Algorithm
intervals
Results
309.0ms10140×body80valid