Details

analyze1.1s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
1.6%	98.2%	0.2%	9
2.3%	97.5%	0.2%	10
11.7%	88.1%	0.2%	11
13.1%	74.3%	12.7%	12
16.1%	70.5%	13.5%	13
18.6%	68%	13.5%	14

sample98.0ms

Algorithm

intervals

Results

24.0ms	44×	body	1280	valid
20.0ms	27×	body	5120	exit
15.0ms	47×	body	640	valid
9.0ms	123×	body	80	valid
6.0ms	30×	body	320	valid
2.0ms	6×	body	1280	nan
2.0ms	36×	body	80	nan
2.0ms	11×	body	160	valid
1.0ms	5×	body	640	nan
1.0ms	1×	body	2560	valid
1.0ms	6×	body	320	nan
1.0ms	6×	body	160	nan

simplify225.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (224.0ms)

Iter	Nodes	Cost
0	3730	13
1	3730	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.4b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (exp z))
0.0b	(/ (log (+ 1.0 (- (* y (exp z)) y))) t)
1.7b	(log (+ 1.0 (- (* y (exp z)) y)))
4.5b	(- (* y (exp z)) y)

rewrite26.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 → 77

Calls

4 calls:

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

series68.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* y (exp z))
39.0ms	(/ (log (+ 1.0 (- (* y (exp z)) y))) t)
16.0ms	(log (+ 1.0 (- (* y (exp z)) y)))
8.0ms	(- (* y (exp z)) y)

simplify55.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5135	1208

prune155.0ms

Filtered

69 candidates to 89 candidates (-29.0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	83	6	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	84	6	90

Merged error: 2.9b

Counts

90 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (exp z))
0.0b	(* (log (+ 1.0 (- (* y (exp z)) y))) (/ 1 t))
1.7b	(log (+ 1.0 (- (* y (exp z)) y)))
4.5b	(- (* y (exp z)) y)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 81

Calls

4 calls:

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

series66.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* y (exp z))
38.0ms	(* (log (+ 1.0 (- (* y (exp z)) y))) (/ 1 t))
13.0ms	(log (+ 1.0 (- (* y (exp z)) y)))
9.0ms	(- (* y (exp z)) y)

simplify54.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5200	1128

prune142.0ms

Filtered

69 candidates to 93 candidates (-34.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	92	1	93
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	92	7	99

Merged error: 2.9b

Counts

99 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ z (/ t z))
2.6b	(* y (/ z t))
4.2b	(* y (/ z (/ t z)))
4.5b	(+ (* 1.0 (* y (/ z t))) (+ (/ (log 1.0) t) (* 0.5 (* y (/ z (/ t z))))))

rewrite49.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))
6.0ms	(* y (/ z t))
13.0ms	(* y (/ z (/ t z)))
14.0ms	(+ (* 1.0 (* y (/ z t))) (+ (/ (log 1.0) t) (* 0.5 (* y (/ z (/ t z))))))

series37.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ z (/ t z))
5.0ms	(* y (/ z t))
8.0ms	(* y (/ z (/ t z)))
21.0ms	(+ (* 1.0 (* y (/ z t))) (+ (/ (log 1.0) t) (* 0.5 (* y (/ z (/ t z))))))

simplify67.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4964	2144
1	4964	2144

prune268.0ms

Filtered

148 candidates to 196 candidates (-32.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	194	2	196
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	194	9	203

Merged error: 2.9b

Counts

203 → 9

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
4.0b	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
4.2b	(* y (/ z (/ t z)))
4.5b	(+ (* 1.0 (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (/ (log 1.0) t) (* 0.5 (* y (/ z (/ t z))))))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

97×	`times-frac`
81×	`add-sqr-sqrt`
66×	`associate-r`
56×	`add-cube-cbrt` `*-un-lft-identity`
34×	`add-exp-log`
27×	`add-cbrt-cube`
20×	`associate-*r/`
14×	`cbrt-prod`
12×	`frac-add`
11×	`prod-exp` `cbrt-unprod`
10×	`cbrt-undiv` `div-exp` `associate-l`
9×	`add-log-exp` `unswap-sqr`
8×	`pow1`
6×	`div-inv`
4×	`frac-times` `flip3-+` `associate-*l/` `flip-+`
3×	`sum-log`
2×	`pow-prod-down` `*-commutative`
1×	`+-commutative` `associate-+r+` `pow1/3` `associate-/r/`

Counts

4 → 158

Calls

4 calls:

1.0ms	(cbrt t)
14.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
15.0ms	(* y (/ z (/ t z)))
20.0ms	(+ (* 1.0 (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (/ (log 1.0) t) (* 0.5 (* y (/ z (/ t z))))))

series78.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(cbrt t)
13.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
8.0ms	(* y (/ z (/ t z)))
34.0ms	(+ (* 1.0 (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (/ (log 1.0) t) (* 0.5 (* y (/ z (/ t z))))))

simplify51.0ms

Algorithm

egg-herbie

Counts

170 → 170

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5016	2774

prune249.0ms

Filtered

139 candidates to 170 candidates (-22.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	169	1	170
Fresh	1	5	6
Picked	0	1	1
Done	1	1	2
Total	171	8	179

Merged error: 2.9b

Counts

179 → 8

regimes476.0ms

Accuracy

67.4% (4.2b remaining)

Error of 7.9b against oracle of 3.7b and baseline of 16.7b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	120	39
1	120	39

end0.0ms

sample3.0s

Algorithm

intervals

Results

834.0ms	1409×	body	1280	valid
529.0ms	1580×	body	640	valid
490.0ms	852×	body	5120	exit
256.0ms	3517×	body	80	valid
203.0ms	916×	body	320	valid
94.0ms	73×	body	2560	valid
70.0ms	1454×	body	80	nan
68.0ms	505×	body	160	valid
66.0ms	266×	body	640	nan
40.0ms	116×	body	1280	nan
27.0ms	158×	body	320	nan
13.0ms	122×	body	160	nan
1.0ms	17×	body	80	invalid

Details

analyze1.1s

sample98.0ms

simplify225.0ms

prune10.0ms

localize10.0ms

rewrite26.0ms

series68.0ms

simplify55.0ms

prune155.0ms

localize11.0ms

rewrite25.0ms

series66.0ms

simplify54.0ms

prune142.0ms

localize15.0ms

rewrite49.0ms

series37.0ms

simplify67.0ms

prune268.0ms

localize19.0ms

rewrite58.0ms

series78.0ms

simplify51.0ms

prune249.0ms

regimes476.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample3.0s

Profiling