Details

sample93.0ms

Algorithm

intervals

Results

23.0ms	38×	body	1280	valid
17.0ms	51×	body	640	valid
9.0ms	5×	body	2560	valid
8.0ms	117×	body	80	valid
7.0ms	31×	body	320	valid
4.0ms	85×	body	80	nan
3.0ms	14×	body	640	nan
2.0ms	16×	body	160	valid
2.0ms	39×	body	80	overflowed
1.0ms	5×	body	320	nan
0.0ms	1×	body	1280	nan
0.0ms	2×	body	160	nan

simplify221.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	7
1	35	7
2	53	7
3	81	7
4	121	7
5	250	7
6	314	7
7	532	7
8	908	7
9	1397	7
10	1553	7
11	1892	7
12	4682	7
13	5001	7

prune3.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: 25.0b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

69×	`add-sqr-sqrt`
66×	`*-un-lft-identity`
62×	`add-cube-cbrt`
57×	`prod-diff`
49×	`times-frac`
18×	`pow1`
14×	`log-pow`
11×	`associate-+l+` `add-log-exp`
7×	`add-exp-log`
6×	`log-div` `add-cbrt-cube`
5×	`fma-def`
4×	`expm1-log1p-u` `flip3-+` `div-sub` `flip-+` `log1p-expm1-u` `div-inv` `associate-/l*`
3×	`log-prod` `fma-neg` `associate-/r*` `difference-of-squares`
2×	`sub-neg` `diff-log` `sum-log` `distribute-lft-out--` `associate--r-`
1×	`cbrt-undiv` `+-commutative` `associate-+l-` `flip3--` `frac-2neg` `div-exp` `rem-log-exp` `clear-num` `flip--`

Counts

4 → 152

Calls

4 calls:

10.0ms	(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
8.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
7.0ms	(+ (- 1.0 y) (* y (exp z)))
6.0ms	(log (+ (- 1.0 y) (* y (exp z))))

series345.0ms

Counts

4 → 12

Calls

4 calls:

77.0ms	(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
156.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
34.0ms	(+ (- 1.0 y) (* y (exp z)))
77.0ms	(log (+ (- 1.0 y) (* y (exp z))))

simplify93.0ms

Algorithm

egg-herbie

Counts

164 → 164

Iterations

Useful iterations: 2 (69.0ms)

Iter	Nodes	Cost
0	767	3354
1	2882	2271
2	5002	2028

prune415.0ms

Filtered

164 candidates to 102 candidates (62.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	153	11	164
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	154	11	165

Merged error: 4.9b

Counts

165 → 11

localize14.0ms

Local error

Found 1 expressions with local error:

5.0b	(/ (* z y) t)

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-exp-log` `add-cbrt-cube`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `times-frac` `associate-/r`
2×	`cbrt-undiv` `div-exp`
1×	`pow1` `expm1-log1p-u` `frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `log1p-expm1-u` `div-inv` `associate-/l*` `add-log-exp`

Counts

1 → 23

Calls

1 calls:

5.0ms

(/ (* z y) t)

series20.0ms

Counts

1 → 3

Calls

1 calls:

20.0ms

(/ (* z y) t)

simplify61.0ms

Algorithm

egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	113	91
1	516	76
2	2473	76
3	5002	76

prune107.0ms

Filtered

26 candidates to 18 candidates (69.2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	20	6	26
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	22	15	37

Merged error: 4.0b

Counts

37 → 15

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
0.6b	(cbrt t)
0.6b	(cbrt t)
3.1b	(* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt`
28×	`times-frac`
25×	`add-exp-log`
22×	`add-cube-cbrt` `-un-lft-identity` `associate-r*`
20×	`cbrt-prod`
18×	`add-cbrt-cube`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp` `associate-l`
6×	`pow1` `unswap-sqr`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3`
2×	`div-inv`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 100

Calls

4 calls:

1.0ms	(cbrt t)
1.0ms	(cbrt t)
1.0ms	(cbrt t)
15.0ms	(* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))

series597.0ms

Counts

4 → 12

Calls

4 calls:

180.0ms	(cbrt t)
183.0ms	(cbrt t)
180.0ms	(cbrt t)
53.0ms	(* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))

simplify65.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	424	748
1	2233	609
2	5001	570

prune412.0ms

Filtered

112 candidates to 90 candidates (80.4%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	105	7	112
Fresh	2	12	14
Picked	1	0	1
Done	0	0	0
Total	108	19	127

Merged error: 4.0b

Counts

127 → 19

localize19.0ms

Local error

Found 4 expressions with local error:

0.8b	(* (cbrt (/ z (* (cbrt t) (cbrt t)))) (/ y (cbrt t)))
12.0b	(cbrt (/ z (* (cbrt t) (cbrt t))))
12.0b	(cbrt (/ z (* (cbrt t) (cbrt t))))
12.0b	(cbrt (/ z (* (cbrt t) (cbrt t))))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-sqr-sqrt`
46×	`cbrt-prod`
39×	`times-frac`
26×	`add-cube-cbrt` `*-un-lft-identity`
22×	`associate-r`
10×	`associate-l`
9×	`add-exp-log` `unswap-sqr`
6×	`pow1` `add-cbrt-cube`
5×	`cbrt-div` `div-inv`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3`
2×	`prod-exp` `cbrt-unprod`
1×	`cbrt-undiv` `frac-times` `associate-r/` `div-exp` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 113

Calls

4 calls:

13.0ms	(* (cbrt (/ z (* (cbrt t) (cbrt t)))) (/ y (cbrt t)))
5.0ms	(cbrt (/ z (* (cbrt t) (cbrt t))))
5.0ms	(cbrt (/ z (* (cbrt t) (cbrt t))))
5.0ms	(cbrt (/ z (* (cbrt t) (cbrt t))))

series812.0ms

Counts

4 → 12

Calls

4 calls:

369.0ms	(* (cbrt (/ z (* (cbrt t) (cbrt t)))) (/ y (cbrt t)))
149.0ms	(cbrt (/ z (* (cbrt t) (cbrt t))))
143.0ms	(cbrt (/ z (* (cbrt t) (cbrt t))))
150.0ms	(cbrt (/ z (* (cbrt t) (cbrt t))))

simplify45.0ms

Algorithm

egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	360	1167
1	1303	1111
2	5001	1104

prune481.0ms

Filtered

125 candidates to 111 candidates (88.8%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	123	2	125
Fresh	2	16	18
Picked	0	1	1
Done	0	0	0
Total	125	19	144

Merged error: 4.0b

Counts

144 → 19

regimes976.0ms

Accuracy

60.9% (5.1b remaining)

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

bsearch2.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	41
1	36	41

end0.0ms

sample2.8s

Algorithm

intervals

Results

879.0ms	1471×	body	1280	valid
534.0ms	1540×	body	640	valid
254.0ms	3520×	body	80	valid
199.0ms	913×	body	320	valid
122.0ms	2554×	body	80	nan
114.0ms	86×	body	2560	valid
83.0ms	1539×	body	80	overflowed
70.0ms	498×	body	160	valid
60.0ms	244×	body	640	nan
41.0ms	115×	body	1280	nan
32.0ms	173×	body	320	nan
12.0ms	113×	body	160	nan

Details

sample93.0ms

simplify221.0ms

prune3.0ms

localize13.0ms

rewrite37.0ms

series345.0ms

simplify93.0ms

prune415.0ms

localize14.0ms

rewrite5.0ms

series20.0ms

simplify61.0ms

prune107.0ms

localize14.0ms

rewrite22.0ms

series597.0ms

simplify65.0ms

prune412.0ms

localize19.0ms

rewrite32.0ms

series812.0ms

simplify45.0ms

prune481.0ms

regimes976.0ms

bsearch2.0ms

simplify1.0ms

end0.0ms

sample2.8s

Profiling