Details

sample99.0ms

Algorithm

intervals

Results

23.0ms	45×	body	1280	valid
16.0ms	49×	body	640	valid
8.0ms	123×	body	80	valid
6.0ms	31×	body	320	valid
4.0ms	14×	body	640	nan
3.0ms	9×	body	1280	nan
3.0ms	71×	body	80	nan
3.0ms	59×	body	80	overflowed
1.0ms	9×	body	160	valid
1.0ms	7×	body	320	nan
0.0ms	2×	body	160	nan

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	147	13
1	147	13

prune10.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 14.5b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (exp z))
0.0b	(/ (log (+ 1.0 (- (* y (exp z)) y))) t)
2.8b	(log (+ 1.0 (- (* y (exp z)) y)))
4.0b	(- (* y (exp z)) y)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt` `*-un-lft-identity`
16×	`add-cube-cbrt`
12×	`times-frac`
11×	`pow1`
8×	`add-exp-log` `add-cbrt-cube`
6×	`add-log-exp`
5×	`log-pow`
4×	`log-div` `log-prod` `associate-/l*`
3×	`associate-r` `associate-l` `associate-/r*`
2×	`flip3-+` `div-sub` `flip-+`
1×	`cbrt-undiv` `sub-neg` `flip3--` `frac-2neg` `diff-log` `div-exp` `rem-log-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `flip--` `cbrt-unprod` `div-inv` `distribute-lft-out` `unswap-sqr`

Counts

4 → 78

Calls

4 calls:

6.0ms	(* y (exp z))
9.0ms	(/ (log (+ 1.0 (- (* y (exp z)) y))) t)
7.0ms	(log (+ 1.0 (- (* y (exp z)) y)))
6.0ms	(- (* y (exp z)) y)

series75.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* y (exp z))
46.0ms	(/ (log (+ 1.0 (- (* y (exp z)) y))) t)
15.0ms	(log (+ 1.0 (- (* y (exp z)) y)))
8.0ms	(- (* y (exp z)) y)

simplify47.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4964	1208
1	4964	1208

prune175.0ms

Filtered

69 candidates to 90 candidates (-30.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	84	6	90
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	85	6	91

Merged error: 4.0b

Counts

91 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
3.5b	(log (+ 1.0 (- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)))
26.9b	(- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

9×	`*-un-lft-identity`
8×	`add-cube-cbrt`
7×	`add-sqr-sqrt`
6×	`cbrt-prod` `add-log-exp`
5×	`pow1` `add-exp-log`
4×	`log-prod` `add-cbrt-cube`
2×	`log-div` `pow1/3`
1×	`sub-neg` `flip3--` `flip3-+` `diff-log` `rem-log-exp` `log-pow` `flip--` `flip-+` `distribute-lft-out` `distribute-lft-out--`

Counts

4 → 50

Calls

4 calls:

2.0ms	(cbrt y)
2.0ms	(cbrt y)
12.0ms	(log (+ 1.0 (- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)))
13.0ms	(- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)

series80.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cbrt y)
24.0ms	(cbrt y)
20.0ms	(log (+ 1.0 (- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)))
11.0ms	(- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)

simplify54.0ms

Algorithm

egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5001	528

prune107.0ms

Filtered

47 candidates to 62 candidates (-31.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	62	6	68

Merged error: 4.0b

Counts

68 → 6

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ z (/ t z))
4.0b	(+ (* 1.0 (* y (/ z t))) (+ (/ (log 1.0) t) (* 0.5 (* y (/ z (/ t z))))))
5.9b	(* y (/ z t))
7.4b	(* y (/ z (/ t z)))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

154×	`times-frac`
104×	`add-sqr-sqrt`
90×	`add-cube-cbrt` `*-un-lft-identity`
57×	`associate-r`
23×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/r*`
10×	`associate-*r/` `div-inv`
9×	`add-log-exp`
8×	`pow1`
7×	`cbrt-undiv` `div-exp`
6×	`associate-l`
5×	`prod-exp` `cbrt-unprod` `unswap-sqr`
4×	`frac-add`
3×	`sum-log` `associate-/l*`
2×	`flip3-+` `pow-prod-down` `associate-/r/` `*-commutative` `flip-+`
1×	`+-commutative` `associate-+r+` `frac-2neg` `clear-num`

Counts

4 → 184

Calls

4 calls:

6.0ms	(/ z (/ t z))
15.0ms	(+ (* 1.0 (* y (/ z t))) (+ (/ (log 1.0) t) (* 0.5 (* y (/ z (/ t z))))))
7.0ms	(* y (/ z t))
15.0ms	(* y (/ z (/ t z)))

series42.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(/ z (/ t z))
24.0ms	(+ (* 1.0 (* y (/ z t))) (+ (/ (log 1.0) t) (* 0.5 (* y (/ z (/ t z))))))
5.0ms	(* y (/ z t))
9.0ms	(* y (/ z (/ t z)))

simplify50.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	4982	2144
1	4982	2144

prune313.0ms

Filtered

148 candidates to 196 candidates (-32.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	191	5	196
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	192	10	202

Merged error: 3.9b

Counts

202 → 10

localize24.0ms

Local error

Found 4 expressions with local error:

1.3b	(* y (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))))
1.9b	(* (* y (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t)))) (/ z (/ (cbrt t) (cbrt z))))
4.0b	(+ (* 1.0 (* y (/ z t))) (+ (/ (log 1.0) t) (* 0.5 (* (* y (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t)))) (/ z (/ (cbrt t) (cbrt z)))))))
5.9b	(* y (/ z t))

rewrite109.0ms

Algorithm

rewrite-expression-head

Rules

238×	`times-frac`
139×	`associate-r`
135×	`add-sqr-sqrt`
129×	`add-cube-cbrt` `*-un-lft-identity`
120×	`add-exp-log`
108×	`cbrt-prod`
76×	`add-cbrt-cube`
56×	`prod-exp` `cbrt-unprod`
48×	`associate-*r/`
35×	`cbrt-undiv` `div-exp`
20×	`pow1`
16×	`frac-add`
11×	`frac-times` `associate-*l/`
10×	`pow-prod-down`
9×	`add-log-exp`
7×	`associate-l`
5×	`div-inv`
3×	`sum-log` `*-commutative` `unswap-sqr`
2×	`flip3-+` `flip-+`
1×	`+-commutative` `associate-+r+` `associate-/r/`

Counts

4 → 262

Calls

4 calls:

16.0ms	(* y (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))))
42.0ms	(* (* y (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t)))) (/ z (/ (cbrt t) (cbrt z))))
20.0ms	(+ (* 1.0 (* y (/ z t))) (+ (/ (log 1.0) t) (* 0.5 (* (* y (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t)))) (/ z (/ (cbrt t) (cbrt z)))))))
7.0ms	(* y (/ z t))

series68.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(* y (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))))
10.0ms	(* (* y (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t)))) (/ z (/ (cbrt t) (cbrt z))))
25.0ms	(+ (* 1.0 (* y (/ z t))) (+ (/ (log 1.0) t) (* 0.5 (* (* y (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t)))) (/ z (/ (cbrt t) (cbrt z)))))))
5.0ms	(* y (/ z t))

simplify52.0ms

Algorithm

egg-herbie

Counts

274 → 274

Iterations

Useful iterations: 0 (17.0ms)

Iter	Nodes	Cost
0	5086	6186

prune406.0ms

Filtered

204 candidates to 274 candidates (-34.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	273	1	274
Fresh	0	8	8
Picked	1	0	1
Done	0	1	1
Total	274	10	284

Merged error: 3.9b

Counts

284 → 10

regimes604.0ms

Accuracy

72.9% (4.2b remaining)

Error of 8.0b against oracle of 3.8b and baseline of 19.4b

bsearch41.0ms

Steps

Iters	Range		Point
7	-0.001730323649017124	-2.2616434563553712e-05	-2.7490043504004516e-05

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	93
1	50	93

end0.0ms

sample2.9s

Algorithm

intervals

Results

730.0ms	1382×	body	1280	valid
497.0ms	1551×	body	640	valid
239.0ms	3591×	body	80	valid
196.0ms	937×	body	320	valid
129.0ms	2528×	body	80	nan
103.0ms	88×	body	2560	valid
87.0ms	1582×	body	80	overflowed
65.0ms	478×	body	160	valid
64.0ms	271×	body	640	nan
47.0ms	138×	body	1280	nan
27.0ms	164×	body	320	nan
11.0ms	107×	body	160	nan

Details

sample99.0ms

simplify5.0ms

prune10.0ms

localize12.0ms

rewrite30.0ms

series75.0ms

simplify47.0ms

prune175.0ms

localize15.0ms

rewrite29.0ms

series80.0ms

simplify54.0ms

prune107.0ms

localize16.0ms

rewrite56.0ms

series42.0ms

simplify50.0ms

prune313.0ms

localize24.0ms

rewrite109.0ms

series68.0ms

simplify52.0ms

prune406.0ms

regimes604.0ms

bsearch41.0ms

simplify1.0ms

end0.0ms

sample2.9s

Profiling