Details

analyze838.0ms

Algorithm: search

sample107.0ms

Algorithm

intervals

Results

29.0ms	335×	body	80	nan
18.0ms	228×	body	80	valid
14.0ms	181×	body	80	invalid
6.0ms	14×	body	640	valid
2.0ms	3×	body	1280	valid
2.0ms	8×	body	320	invalid
2.0ms	6×	body	320	valid
1.0ms	5×	body	160	valid
1.0ms	2×	body	640	invalid
0.0ms	3×	body	160	invalid

simplify36.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	10
1	58	10
2	129	10
3	318	10
4	1073	10
5	5001	10

prune5.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: 1.8b

Counts

2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
0.1b	(* y (- (log z) t))
0.5b	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
5.5b	(log (- 1.0 z))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt` `log-prod`
24×	`*-un-lft-identity`
22×	`associate--l+`
17×	`distribute-rgt-in` `distribute-lft-in`
15×	`add-cube-cbrt`
14×	`associate-+r+`
10×	`pow1` `associate-+l+` `associate-r/` `associate-r*`
8×	`add-exp-log` `add-cbrt-cube`
6×	`sub-neg` `flip3--` `associate-l` `flip--` `add-log-exp`
5×	`distribute-lft-out--`
4×	`frac-add` `difference-of-squares`
2×	`log-div` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `flip3-+` `rem-log-exp` `exp-sum` `sum-log` `flip-+`

Counts

4 → 107

Calls

4 calls:

12.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
7.0ms	(* y (- (log z) t))
11.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
3.0ms	(log (- 1.0 z))

series118.0ms

Counts

4 → 12

Calls

4 calls:

65.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
13.0ms	(* y (- (log z) t))
37.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
3.0ms	(log (- 1.0 z))

simplify68.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	698	1103
1	2726	1014
2	5003	988

prune217.0ms

Filtered

87 candidates to 119 candidates (-36.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	112	7	119
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	113	7	120

Merged error: 0.2b

Counts

120 → 7

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
0.0b	(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
0.1b	(* y (- (log z) t))
0.5b	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

44×	`associate--l+`
28×	`add-sqr-sqrt` `*-un-lft-identity`
24×	`distribute-rgt-in` `log-prod` `distribute-lft-in`
18×	`add-cube-cbrt`
17×	`associate-r`
14×	`associate-+r+`
12×	`pow1` `sub-neg` `associate-*r/`
10×	`associate-+l+` `add-cbrt-cube`
9×	`add-exp-log` `associate-l`
7×	`distribute-lft-out--`
6×	`flip3--` `flip--` `add-log-exp`
4×	`frac-add`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
2×	`log-pow` `difference-of-squares`
1×	`+-commutative` `flip3-+` `exp-sum` `sum-log` `flip-+`

Counts

4 → 129

Calls

4 calls:

20.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
17.0ms	(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
7.0ms	(* y (- (log z) t))
19.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

series172.0ms

Counts

4 → 12

Calls

4 calls:

88.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
19.0ms	(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
13.0ms	(* y (- (log z) t))
51.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

simplify81.0ms

Algorithm

egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 2 (63.0ms)

Iter	Nodes	Cost
0	690	1916
1	2944	1773
2	5001	1755

prune331.0ms

Filtered

91 candidates to 141 candidates (-54.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	139	2	141
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	142	6	148

Merged error: 0b

Counts

148 → 6

localize22.0ms

Local error

Found 4 expressions with local error:

0.5b	(+ (+ (* y (* 2 (log (cbrt z)))) (* y (- (log (cbrt z)) t))) (* a (- (log (- 1.0 z)) b)))
0.6b	(cbrt z)
0.6b	(cbrt z)
5.5b	(log (- 1.0 z))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `log-prod` `*-un-lft-identity`
14×	`associate-+r+`
10×	`associate--l+`
9×	`add-cube-cbrt` `add-log-exp`
7×	`distribute-rgt-in` `distribute-lft-in`
6×	`cbrt-prod`
5×	`pow1` `add-exp-log`
4×	`associate-*r/` `frac-add` `add-cbrt-cube`
3×	`flip3--` `flip3-+` `sum-log` `flip--` `flip-+` `distribute-lft-out--` `difference-of-squares`
2×	`sub-neg` `log-div` `pow1/3`
1×	`+-commutative` `associate-+l+` `rem-log-exp` `log-pow`

Counts

4 → 69

Calls

4 calls:

12.0ms	(+ (+ (* y (* 2 (log (cbrt z)))) (* y (- (log (cbrt z)) t))) (* a (- (log (- 1.0 z)) b)))
1.0ms	(cbrt z)
1.0ms	(cbrt z)
3.0ms	(log (- 1.0 z))

series111.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(+ (+ (* y (* 2 (log (cbrt z)))) (* y (- (log (cbrt z)) t))) (* a (- (log (- 1.0 z)) b)))
25.0ms	(cbrt z)
21.0ms	(cbrt z)
3.0ms	(log (- 1.0 z))

simplify60.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	568	991
1	2026	945
2	5002	922

prune185.0ms

Filtered

65 candidates to 81 candidates (-24.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	81	6	87

Merged error: 0b

Counts

87 → 6

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
0.5b	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
5.5b	(log (- 1.0 z))
5.5b	(log (- 1.0 z))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

42×	`log-prod`
32×	`associate--l+`
28×	`associate-+r+`
26×	`add-sqr-sqrt` `*-un-lft-identity`
24×	`distribute-rgt-in` `distribute-lft-in`
20×	`associate-+l+`
16×	`associate-*r/`
14×	`add-cube-cbrt`
10×	`flip3--` `flip--`
8×	`sub-neg` `frac-add` `add-log-exp`
6×	`pow1` `add-exp-log` `distribute-lft-out--` `difference-of-squares`
4×	`log-div` `add-cbrt-cube`
2×	`+-commutative` `flip3-+` `rem-log-exp` `sum-log` `log-pow` `flip-+`

Counts

4 → 110

Calls

4 calls:

12.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
12.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
3.0ms	(log (- 1.0 z))
3.0ms	(log (- 1.0 z))

series87.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
43.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
3.0ms	(log (- 1.0 z))
3.0ms	(log (- 1.0 z))

simplify54.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	502	1260
1	1690	1200
2	5001	1198

prune315.0ms

Filtered

100 candidates to 122 candidates (-22.0%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	122	6	128

Merged error: 0b

Counts

128 → 6

regimes959.0ms

Accuracy

63.6% (0.7b remaining)

Error of 0.8b against oracle of 0.0b and baseline of 2.0b

bsearch1.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	61	35
1	72	35
2	84	35
3	94	35
4	94	35

end0.0ms

analyze834.0ms

Algorithm: search

sample3.0s

Algorithm

intervals

Results

841.0ms	10596×	body	80	nan
579.0ms	7222×	body	80	valid
421.0ms	5340×	body	80	invalid
113.0ms	268×	body	640	valid
70.0ms	262×	body	320	valid
48.0ms	59×	body	1280	valid
46.0ms	110×	body	640	invalid
32.0ms	189×	body	160	valid
32.0ms	122×	body	320	invalid
16.0ms	97×	body	160	invalid
8.0ms	10×	body	1280	invalid

Details

analyze838.0ms

sample107.0ms

simplify36.0ms

prune5.0ms

localize15.0ms

rewrite37.0ms

series118.0ms

simplify68.0ms

prune217.0ms

localize24.0ms

rewrite70.0ms

series172.0ms

simplify81.0ms

prune331.0ms

localize22.0ms

rewrite19.0ms

series111.0ms

simplify60.0ms

prune185.0ms

localize21.0ms

rewrite35.0ms

series87.0ms

simplify54.0ms

prune315.0ms

regimes959.0ms

bsearch1.0ms

simplify3.0ms

end0.0ms

analyze834.0ms

sample3.0s

Profiling