Details

sample3.2s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 21.09375%

Guaranteed chance to sample good point: 32.766089%

Results

33.0ms	53×	body	1280	valid
14.0ms	41×	body	640	valid
9.0ms	115×	body	80	valid
6.0ms	24×	body	320	valid
4.0ms	2×	body	2560	valid
4.0ms	15×	body	640	nan
3.0ms	21×	body	160	valid
2.0ms	5×	body	1280	nan
2.0ms	9×	body	320	nan
1.0ms	25×	body	80	nan
1.0ms	17×	body	80	overflowed
0.0ms	3×	body	160	nan
0.0ms	1×	body	80	invalid

simplify217.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	7
1	33	7
2	49	7
3	71	7
4	93	7
5	180	7
6	232	7
7	411	7
8	628	7
9	935	7
10	1028	7
11	1354	7
12	3968	7
13	5002	7

prune4.0ms

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: 21.8b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 80

Calls

4 calls:

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

series63.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify51.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	452	795
1	1740	733
2	5002	726

prune171.0ms

Filtered

68 candidates to 92 candidates (-35.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	85	7	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	86	7	93

Merged error: 5.4b

Counts

93 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
3.9b	(log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
10.0b	(+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 51

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
7.0ms	(log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
8.0ms	(+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))

series73.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cbrt y)
22.0ms	(cbrt y)
16.0ms	(log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
10.0ms	(+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))

simplify36.0ms

Algorithm

egg-herbie

Counts

63 → 63

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	301	626
1	1026	546
2	5001	493

prune109.0ms

Filtered

49 candidates to 63 candidates (-28.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	63	0	63
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	63	7	70

Merged error: 5.4b

Counts

70 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

4.3b	(+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
4.6b	(/ (* (pow z 2) y) t)
5.7b	(/ (* z y) t)
7.3b	(* (pow z 2) y)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-exp-log`
17×	`add-sqr-sqrt`
16×	`add-cbrt-cube`
11×	`add-cube-cbrt` `*-un-lft-identity`
9×	`add-log-exp`
8×	`associate-l`
7×	`prod-exp`
6×	`times-frac` `div-exp` `associate-/r*`
4×	`pow1` `cbrt-undiv` `unpow-prod-down` `associate-*r/` `frac-add` `unswap-sqr`
3×	`associate-r` `sum-log` `cbrt-unprod`
2×	`pow-to-exp` `frac-2neg` `flip3-+` `pow-exp` `clear-num` `flip-+` `div-inv` `associate-/l*` `unpow2` `sqr-pow`
1×	`+-commutative` `associate-+r+` `*-commutative`

Counts

4 → 87

Calls

4 calls:

12.0ms	(+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
5.0ms	(/ (* (pow z 2) y) t)
4.0ms	(/ (* z y) t)
5.0ms	(* (pow z 2) y)

series33.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
6.0ms	(/ (* (pow z 2) y) t)
5.0ms	(/ (* z y) t)
4.0ms	(* (pow z 2) y)

simplify67.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	492	659
1	2302	586
2	5002	586

prune191.0ms

Filtered

66 candidates to 99 candidates (-50.0%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	94	5	99
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	95	11	106

Merged error: 4.1b

Counts

106 → 11

localize16.0ms

Local error

Found 4 expressions with local error:

4.3b	(+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
4.6b	(/ (* (pow z 2) y) t)
5.5b	(/ z (/ t y))
7.3b	(* (pow z 2) y)

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

78×	`times-frac`
57×	`add-sqr-sqrt`
51×	`add-cube-cbrt` `*-un-lft-identity`
24×	`add-exp-log`
16×	`associate-/r*` `add-cbrt-cube`
9×	`add-log-exp`
8×	`associate-l`
7×	`div-exp`
6×	`prod-exp` `div-inv`
5×	`cbrt-undiv`
4×	`pow1` `unpow-prod-down` `associate-r/` `frac-add` `associate-/l` `unswap-sqr`
3×	`associate-r` `sum-log`
2×	`pow-to-exp` `frac-2neg` `flip3-+` `pow-exp` `clear-num` `cbrt-unprod` `flip-+` `unpow2` `sqr-pow`
1×	`+-commutative` `associate-+r+` `associate-/r/` `*-commutative`

Counts

4 → 136

Calls

4 calls:

17.0ms	(+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
5.0ms	(/ (* (pow z 2) y) t)
6.0ms	(/ z (/ t y))
5.0ms	(* (pow z 2) y)

series32.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
5.0ms	(/ (* (pow z 2) y) t)
5.0ms	(/ z (/ t y))
4.0ms	(* (pow z 2) y)

simplify93.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 2 (80.0ms)

Iter	Nodes	Cost
0	721	1014
1	3666	937
2	5002	935

prune230.0ms

Filtered

113 candidates to 148 candidates (-31.0%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	146	2	148
Fresh	0	9	9
Picked	1	0	1
Done	0	1	1
Total	147	12	159

Merged error: 4.1b

Counts

159 → 12

regimes1.1s

Accuracy

69.4% (5.4b remaining)

Error of 9.2b against oracle of 3.8b and baseline of 21.6b

bsearch123.0ms

Steps

Iters	Range		Point
8	3.958075677676021e-179	6.0391411772037904e-176	2.4022403454949547e-176
5	-1.864280477891578e-14	-5.913139663550561e-15	-7.830252316664171e-15

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	59	30
1	59	30

end0.0ms

sample5.9s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 21.09375%

Guaranteed chance to sample good point: 32.766089%

Results

889.0ms	1493×	body	1280	valid
504.0ms	1466×	body	640	valid
274.0ms	3511×	body	80	valid
207.0ms	944×	body	320	valid
117.0ms	88×	body	2560	valid
72.0ms	498×	body	160	valid
70.0ms	284×	body	640	nan
46.0ms	870×	body	80	nan
45.0ms	125×	body	1280	nan
32.0ms	167×	body	320	nan
31.0ms	551×	body	80	overflowed
12.0ms	110×	body	160	nan
1.0ms	13×	body	80	invalid
0.0ms	1×	body	640	invalid

Details

sample3.2s

simplify217.0ms

prune4.0ms

localize10.0ms

rewrite30.0ms

series63.0ms

simplify51.0ms

prune171.0ms

localize14.0ms

rewrite18.0ms

series73.0ms

simplify36.0ms

prune109.0ms

localize16.0ms

rewrite30.0ms

series33.0ms

simplify67.0ms

prune191.0ms

localize16.0ms

rewrite39.0ms

series32.0ms

simplify93.0ms

prune230.0ms

regimes1.1s

bsearch123.0ms

simplify2.0ms

end0.0ms

sample5.9s

Profiling