Details

sample117.0ms

Algorithm

intervals

Results

32.0ms	51×	body	1280	valid
19.0ms	46×	body	640	valid
8.0ms	108×	body	80	valid
7.0ms	30×	body	320	valid
6.0ms	4×	body	2560	valid
3.0ms	72×	body	80	nan
3.0ms	58×	body	80	overflowed
3.0ms	19×	body	160	valid
2.0ms	4×	body	1280	nan
2.0ms	9×	body	320	nan
1.0ms	6×	body	640	nan
0.0ms	2×	body	160	nan

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

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)
2.6b	(+ (- 1.0 y) (* y (exp z)))
2.6b	(log (+ (- 1.0 y) (* y (exp z))))

rewrite26.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:

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

series65.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify48.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 2 (39.0ms)

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

prune156.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: 6.9b

Counts

93 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* 0.5 (pow z 2)) (* 1.0 z))
0.0b	(- x (/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t))
2.8b	(* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))
6.8b	(/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t)

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
14×	`add-cube-cbrt`
10×	`times-frac`
8×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
6×	`pow1`
3×	`flip3-+` `associate-r` `associate-l` `associate-/r` `flip-+` `associate-/l`
2×	`associate-*r/` `associate-/l/` `difference-of-squares`
1×	`cbrt-undiv` `+-commutative` `distribute-rgt-in` `sub-neg` `flip3--` `frac-2neg` `distribute-lft-in` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `sum-log` `*-commutative` `flip--` `cbrt-unprod` `div-inv` `distribute-lft-out--` `unswap-sqr`

Counts

4 → 77

Calls

4 calls:

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

series79.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(+ (* 0.5 (pow z 2)) (* 1.0 z))
33.0ms	(- x (/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t))
13.0ms	(* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))
21.0ms	(/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t)

simplify62.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	402	953
1	1641	882
2	5001	876

prune227.0ms

Filtered

66 candidates to 89 candidates (-34.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	82	7	89
Fresh	0	6	6
Picked	1	0	1
Done	0	0	0
Total	83	13	96

Merged error: 6.7b

Counts

96 → 13

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
5.9b	(/ (* z y) t)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
6×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`add-cube-cbrt`
3×	`times-frac` `associate-/r*`
2×	`pow1` `cbrt-undiv` `diff-log` `div-exp`
1×	`sub-neg` `flip3--` `frac-2neg` `prod-exp` `clear-num` `sum-log` `flip--` `cbrt-unprod` `div-inv` `associate-/l*` `associate--r+` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 37

Calls

2 calls:

10.0ms	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
4.0ms	(/ (* z y) t)

series21.0ms

Counts

2 → 6

Calls

2 calls:

16.0ms	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
5.0ms	(/ (* z y) t)

simplify78.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	204	286
1	812	256
2	3760	256
3	5001	256

prune123.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	35	8	43
Fresh	6	6	12
Picked	0	1	1
Done	0	0	0
Total	41	15	56

Merged error: 5.2b

Counts

56 → 15

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b	(- x (+ (* 1.0 (* (* z y) (/ 1 t))) (/ (log 1.0) t)))
5.9b	(* (* z y) (/ 1 t))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-exp-log`
14×	`add-cbrt-cube`
13×	`associate-r`
12×	`prod-exp`
11×	`add-sqr-sqrt` `*-un-lft-identity`
9×	`add-cube-cbrt` `times-frac`
7×	`pow1` `add-log-exp`
6×	`cbrt-unprod`
4×	`div-exp`
3×	`pow-prod-down`
2×	`cbrt-undiv` `rec-exp` `diff-log` `1-exp`
1×	`sub-neg` `flip3--` `associate-r/` `associate-l` `sum-log` `un-div-inv` `-commutative` `flip--` `div-inv` `associate--r+` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 54

Calls

2 calls:

12.0ms	(- x (+ (* 1.0 (* (* z y) (/ 1 t))) (/ (log 1.0) t)))
8.0ms	(* (* z y) (/ 1 t))

series22.0ms

Counts

2 → 6

Calls

2 calls:

17.0ms	(- x (+ (* 1.0 (* (* z y) (/ 1 t))) (/ (log 1.0) t)))
5.0ms	(* (* z y) (/ 1 t))

simplify44.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	349	404
1	1639	338
2	5002	325

prune62.0ms

Filtered

33 candidates to 60 candidates (-81.8%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	57	3	60
Fresh	1	12	13
Picked	1	0	1
Done	0	1	1
Total	59	16	75

Merged error: 5.2b

Counts

75 → 16

regimes1.0s

Accuracy

57.8% (5.4b remaining)

Error of 9.1b against oracle of 3.7b and baseline of 16.6b

bsearch94.0ms

Steps

Iters	Range		Point
7	6.405279383407833e-137	7.72216123379586e-135	1.6054731616021841e-136
8	-5.895036848308859e+40	-2.291121971216146e+36	-2.329103065827939e+36

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	48	23
1	48	23

end0.0ms

sample3.0s

Algorithm

intervals

Results

882.0ms	1487×	body	1280	valid
533.0ms	1543×	body	640	valid
264.0ms	3535×	body	80	valid
211.0ms	925×	body	320	valid
128.0ms	2496×	body	80	nan
95.0ms	70×	body	2560	valid
85.0ms	1536×	body	80	overflowed
65.0ms	466×	body	160	valid
59.0ms	240×	body	640	nan
41.0ms	114×	body	1280	nan
33.0ms	193×	body	320	nan
13.0ms	120×	body	160	nan

Details

sample117.0ms

simplify215.0ms

prune4.0ms

localize10.0ms

rewrite26.0ms

series65.0ms

simplify48.0ms

prune156.0ms

localize13.0ms

rewrite27.0ms

series79.0ms

simplify62.0ms

prune227.0ms

localize9.0ms

rewrite15.0ms

series21.0ms

simplify78.0ms

prune123.0ms

localize14.0ms

rewrite22.0ms

series22.0ms

simplify44.0ms

prune62.0ms

regimes1.0s

bsearch94.0ms

simplify2.0ms

end0.0ms

sample3.0s

Profiling