Details

sample98.0ms

Algorithm

intervals

Results

20.0ms	24×	body	1280	valid
17.0ms	206×	body	80	valid
13.0ms	29×	body	640	valid
12.0ms	30×	body	320	valid
7.0ms	117×	body	80	nan
4.0ms	20×	body	160	valid

simplify129.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	18	7
1	27	7
2	54	7
3	109	7
4	307	7
5	777	7
6	4145	7
7	5002	7

prune2.0ms

Filtered

1 candidates to 0 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 8.2b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
0.0b	(exp (* y (log (/ y (+ z y)))))
0.1b	(* y (log (/ y (+ z y))))
9.6b	(log (/ y (+ z y)))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

90×	`log-prod`
78×	`*-un-lft-identity`
60×	`times-frac`
48×	`add-sqr-sqrt`
46×	`add-cube-cbrt`
36×	`distribute-rgt-in` `distribute-lft-in` `exp-sum`
16×	`distribute-lft-out`
10×	`associate-/r/`
9×	`add-exp-log`
8×	`pow1` `add-log-exp`
6×	`flip3-+` `add-cbrt-cube` `flip-+`
5×	`div-inv`
4×	`associate-r`
3×	`associate-l`
2×	`rem-log-exp` `log-pow`
1×	`+-commutative` `log-div` `exp-prod` `exp-to-pow` `div-exp` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `rem-exp-log` `unswap-sqr`

Counts

4 → 142

Calls

4 calls:

34.0ms	(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
7.0ms	(exp (* y (log (/ y (+ z y)))))
8.0ms	(* y (log (/ y (+ z y))))
5.0ms	(log (/ y (+ z y)))

series401.0ms

Counts

4 → 12

Calls

4 calls:

70.0ms	(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
212.0ms	(exp (* y (log (/ y (+ z y)))))
73.0ms	(* y (log (/ y (+ z y))))
45.0ms	(log (/ y (+ z y)))

simplify57.0ms

Algorithm

egg-herbie

Counts

154 → 154

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	565	1245
1	1924	1150
2	5002	1130

prune261.0ms

Filtered

154 candidates to 87 candidates (56.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	152	2	154
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	153	2	155

Merged error: 0.0b

Counts

155 → 2

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ (pow (exp y) (log (/ y (+ z y)))) y))
0.0b	(/ (pow (exp y) (log (/ y (+ z y)))) y)
0.1b	(pow (exp y) (log (/ y (+ z y))))
9.6b	(log (/ y (+ z y)))

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

147×	`times-frac`
127×	`*-un-lft-identity`
108×	`log-prod`
90×	`unpow-prod-up`
89×	`add-sqr-sqrt` `add-cube-cbrt`
25×	`associate-/l*`
19×	`distribute-lft-out`
15×	`unpow-prod-down`
12×	`associate-/r/`
11×	`add-exp-log`
7×	`pow1` `flip3-+` `flip-+` `div-inv`
6×	`add-cbrt-cube` `add-log-exp`
5×	`sqr-pow`
4×	`pow-unpow` `pow-pow` `div-exp`
3×	`log-div` `exp-prod` `associate-/r*`
2×	`pow-to-exp` `rem-log-exp` `pow-exp` `log-pow` `pow-sub`
1×	`cbrt-undiv` `+-commutative` `frac-2neg` `clear-num` `sum-log` `associate-/l/`

Counts

4 → 199

Calls

4 calls:

29.0ms	(+ x (/ (pow (exp y) (log (/ y (+ z y)))) y))
22.0ms	(/ (pow (exp y) (log (/ y (+ z y)))) y)
14.0ms	(pow (exp y) (log (/ y (+ z y))))
9.0ms	(log (/ y (+ z y)))

series351.0ms

Counts

4 → 12

Calls

4 calls:

80.0ms	(+ x (/ (pow (exp y) (log (/ y (+ z y)))) y))
93.0ms	(/ (pow (exp y) (log (/ y (+ z y)))) y)
130.0ms	(pow (exp y) (log (/ y (+ z y))))
49.0ms	(log (/ y (+ z y)))

simplify72.0ms

Algorithm

egg-herbie

Counts

211 → 211

Iterations

Useful iterations: 2 (51.0ms)

Iter	Nodes	Cost
0	705	2270
1	2637	2228
2	5001	2192

prune519.0ms

Filtered

211 candidates to 156 candidates (73.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	210	1	211
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	210	3	213

Merged error: 0.0b

Counts

213 → 3

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (/ (exp (* -1 z)) y))
0.0b	(/ (exp (* -1 z)) y)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

12×	`*-un-lft-identity`
10×	`add-sqr-sqrt` `add-cube-cbrt`
9×	`times-frac`
4×	`add-cbrt-cube` `add-log-exp`
3×	`add-exp-log` `associate-/r` `associate-/l`
2×	`pow1`
1×	`cbrt-undiv` `+-commutative` `exp-neg` `frac-2neg` `mul-1-neg` `flip3-+` `div-exp` `clear-num` `sum-log` `flip-+` `div-inv` `associate-/l/` `distribute-lft-out`

Counts

2 → 40

Calls

2 calls:

6.0ms	(+ x (/ (exp (* -1 z)) y))
4.0ms	(/ (exp (* -1 z)) y)

series39.0ms

Counts

2 → 6

Calls

2 calls:

20.0ms	(+ x (/ (exp (* -1 z)) y))
19.0ms	(/ (exp (* -1 z)) y)

simplify61.0ms

Algorithm

egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 2 (15.0ms)

Iter	Nodes	Cost
0	176	274
1	464	258
2	2001	256
3	5002	256

prune80.0ms

Filtered

46 candidates to 35 candidates (76.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	45	1	46
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	46	3	49

Merged error: 0.0b

Counts

49 → 3

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ (/ (exp (* -1 z)) (sqrt y)) (sqrt y)))
0.1b	(/ (exp (* -1 z)) (sqrt y))
0.1b	(/ (/ (exp (* -1 z)) (sqrt y)) (sqrt y))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

276×	`times-frac`
157×	`*-un-lft-identity`
155×	`add-sqr-sqrt` `add-cube-cbrt`
144×	`sqrt-prod`
25×	`associate-/l*`
12×	`associate-/r*`
10×	`add-cbrt-cube`
9×	`div-inv`
8×	`add-exp-log`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`pow1`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`+-commutative` `exp-neg` `mul-1-neg` `flip3-+` `sum-log` `flip-+` `distribute-lft-out`

Counts

3 → 227

Calls

3 calls:

30.0ms	(+ x (/ (/ (exp (* -1 z)) (sqrt y)) (sqrt y)))
5.0ms	(/ (exp (* -1 z)) (sqrt y))
11.0ms	(/ (/ (exp (* -1 z)) (sqrt y)) (sqrt y))

series108.0ms

Counts

3 → 9

Calls

3 calls:

32.0ms	(+ x (/ (/ (exp (* -1 z)) (sqrt y)) (sqrt y)))
42.0ms	(/ (exp (* -1 z)) (sqrt y))
33.0ms	(/ (/ (exp (* -1 z)) (sqrt y)) (sqrt y))

simplify69.0ms

Algorithm

egg-herbie

Counts

236 → 236

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	699	3002
1	2479	2697
2	5001	2669

prune351.0ms

Filtered

236 candidates to 118 candidates (50.0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	236	0	236
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	236	3	239

Merged error: 0.0b

Counts

239 → 3

regimes63.0ms

Accuracy

-88.5% (1.9b remaining)

Error of 1.9b against oracle of 0.0b and baseline of 1.0b

bsearch94.0ms

Steps

Iters	Range		Point
8	1.8780971265971476e+96	5.619537980808456e+100	1.9090673463947392e+96
7	-5.135126795772214e-06	-1.5716844916233281e-07	-5.833904015410056e-07

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	11
1	29	11

end0.0ms

sample1.4s

Algorithm

intervals

Results

347.0ms	766×	body	1280	valid
312.0ms	6569×	body	80	valid
250.0ms	952×	body	640	valid
105.0ms	3087×	body	80	nan
100.0ms	571×	body	320	valid
35.0ms	299×	body	160	valid

Details

sample98.0ms

simplify129.0ms

prune2.0ms

localize10.0ms

rewrite61.0ms

series401.0ms

simplify57.0ms

prune261.0ms

localize11.0ms

rewrite85.0ms

series351.0ms

simplify72.0ms

prune519.0ms

localize9.0ms

rewrite11.0ms

series39.0ms

simplify61.0ms

prune80.0ms

localize11.0ms

rewrite58.0ms

series108.0ms

simplify69.0ms

prune351.0ms

regimes63.0ms

bsearch94.0ms

simplify1.0ms

end0.0ms

sample1.4s

Profiling