Details

analyze843.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	74.9%	25.1%	5
0%	62.4%	37.6%	6
0%	31.2%	68.8%	7
0%	31.2%	68.8%	8
0%	31.2%	68.8%	9
0%	28.1%	71.9%	10
6.1%	20.4%	73.5%	11
6.1%	20.4%	73.5%	12
7.7%	18.8%	73.5%	13
9.2%	16.6%	74.3%	14

sample81.0ms

Algorithm

intervals

Results

21.0ms	183×	body	80	valid
14.0ms	23×	body	640	valid
12.0ms	10×	body	1280	valid
9.0ms	22×	body	320	valid
4.0ms	18×	body	160	valid
1.0ms	10×	body	80	nan

simplify268.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (258.0ms)

Iter	Nodes	Cost
0	5211	26

prune8.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: 8.2b

Counts

2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- z 1.0) (log (- 1.0 y)))
0.0b	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
0.1b	(* (- x 1.0) (log y))
5.1b	(log (- 1.0 y))

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-sqr-sqrt`
25×	`*-un-lft-identity`
21×	`log-prod`
13×	`add-cube-cbrt`
11×	`pow1`
10×	`associate-l`
9×	`add-exp-log` `add-log-exp`
8×	`distribute-rgt-in` `distribute-lft-in` `associate-r` `add-cbrt-cube`
6×	`distribute-lft-out--` `difference-of-squares`
4×	`flip3--` `associate-*l/` `flip--`
3×	`log-pow`
2×	`log-div` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`sub-neg` `rem-log-exp` `associate--l+` `sum-log`

Counts

4 → 93

Calls

4 calls:

18.0ms	(* (- z 1.0) (log (- 1.0 y)))
26.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
14.0ms	(* (- x 1.0) (log y))
7.0ms	(log (- 1.0 y))

series109.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(* (- z 1.0) (log (- 1.0 y)))
74.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
18.0ms	(* (- x 1.0) (log y))
6.0ms	(log (- 1.0 y))

simplify104.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4982	2025
1	4982	2025

prune351.0ms

Filtered

77 candidates to 105 candidates (-36.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	96	9	105
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	97	9	106

Merged error: 0.1b

Counts

106 → 9

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite109.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt` `flip3--` `flip--`
25×	`*-un-lft-identity`
24×	`log-prod` `associate-*l/`
16×	`add-cube-cbrt` `frac-add`
14×	`distribute-rgt-in` `distribute-lft-in`
13×	`associate--l+`
12×	`frac-times`
11×	`add-log-exp`
10×	`pow1` `associate-r` `associate-l`
8×	`add-exp-log` `associate-+r+` `add-cbrt-cube`
6×	`associate-+l+` `associate-*r/`
5×	`sub-neg` `distribute-lft-out--`
4×	`difference-of-squares`
2×	`diff-log` `pow-prod-down` `prod-exp` `sum-log` `log-pow` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `flip3-+` `flip-+`

Counts

4 → 124

Calls

4 calls:

27.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (* y y) (* 1.0 1.0))))))) t)
28.0ms	(* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (* y y) (* 1.0 1.0))))))
28.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (* y y) (* 1.0 1.0)))))))
14.0ms	(* (- x 1.0) (log y))

series191.0ms

Counts

4 → 12

Calls

4 calls:

83.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (* y y) (* 1.0 1.0))))))) t)
19.0ms	(* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (* y y) (* 1.0 1.0))))))
69.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (* y y) (* 1.0 1.0)))))))
19.0ms	(* (- x 1.0) (log y))

simplify181.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4989	6909
1	4989	6909

prune730.0ms

Filtered

106 candidates to 136 candidates (-28.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	133	3	136
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	135	10	145

Merged error: 0.1b

Counts

145 → 10

localize45.0ms

Local error

Found 4 expressions with local error:

0.0b	(log (sqrt y))
0.0b	(+ (* (- x 1.0) (log (sqrt y))) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (* y y) (* 1.0 1.0)))))))
0.1b	(* (- x 1.0) (log (sqrt y)))
0.1b	(* (- x 1.0) (log (sqrt y)))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 138

Calls

4 calls:

3.0ms	(log (sqrt y))
23.0ms	(+ (* (- x 1.0) (log (sqrt y))) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (* y y) (* 1.0 1.0)))))))
15.0ms	(* (- x 1.0) (log (sqrt y)))
15.0ms	(* (- x 1.0) (log (sqrt y)))

series99.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(log (sqrt y))
67.0ms	(+ (* (- x 1.0) (log (sqrt y))) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (* y y) (* 1.0 1.0)))))))
11.0ms	(* (- x 1.0) (log (sqrt y)))
12.0ms	(* (- x 1.0) (log (sqrt y)))

simplify132.0ms

Algorithm

egg-herbie

Counts

150 → 150

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	6008	5659

prune590.0ms

Filtered

109 candidates to 150 candidates (-37.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	147	3	150
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	149	11	160

Merged error: 0.1b

Counts

160 → 11

localize55.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- x 1.0) (log (sqrt y)))
0.3b	(+ (log (fabs (cbrt y))) (log (sqrt (cbrt y))))
0.7b	(cbrt y)
0.7b	(cbrt y)

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

24×	`log-prod`
22×	`*-un-lft-identity`
20×	`add-sqr-sqrt`
16×	`add-cube-cbrt`
12×	`pow1` `sqrt-prod`
9×	`cbrt-prod` `associate-+r+`
7×	`log-pow`
6×	`add-exp-log` `distribute-rgt-in` `distribute-lft-in` `associate-r` `add-cbrt-cube`
5×	`associate-l`
4×	`distribute-lft-out` `add-log-exp`
3×	`associate-+l+`
2×	`pow1/3` `associate-*l/`
1×	`+-commutative` `flip3--` `sqrt-pow1` `flip3-+` `pow1/2` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `flip--` `cbrt-unprod` `flip-+` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 86

Calls

4 calls:

14.0ms	(* (- x 1.0) (log (sqrt y)))
12.0ms	(+ (log (fabs (cbrt y))) (log (sqrt (cbrt y))))
2.0ms	(cbrt y)
3.0ms	(cbrt y)

series160.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(* (- x 1.0) (log (sqrt y)))
72.0ms	(+ (log (fabs (cbrt y))) (log (sqrt (cbrt y))))
38.0ms	(cbrt y)
38.0ms	(cbrt y)

simplify132.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	4966	1449
1	4966	1449

prune329.0ms

Filtered

65 candidates to 98 candidates (-50.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	97	1	98
Fresh	0	10	10
Picked	1	0	1
Done	0	0	0
Total	98	11	109

Merged error: 0.1b

Counts

109 → 11

regimes1.2s

Accuracy

0% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 0.4b

bsearch0.0ms

simplify6.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	121	71
1	121	71

end0.0ms

sample2.2s

Algorithm

intervals

Results

657.0ms	5876×	body	80	valid
431.0ms	735×	body	640	valid
326.0ms	294×	body	1280	valid
261.0ms	682×	body	320	valid
98.0ms	413×	body	160	valid
33.0ms	255×	body	80	nan
3.0ms	25×	body	80	invalid

Details

analyze843.0ms

sample81.0ms

simplify268.0ms

prune8.0ms

localize24.0ms

rewrite71.0ms

series109.0ms

simplify104.0ms

prune351.0ms

localize42.0ms

rewrite109.0ms

series191.0ms

simplify181.0ms

prune730.0ms

localize45.0ms

rewrite66.0ms

series99.0ms

simplify132.0ms

prune590.0ms

localize55.0ms

rewrite36.0ms

series160.0ms

simplify132.0ms

prune329.0ms

regimes1.2s

bsearch0.0ms

simplify6.0ms

end0.0ms

sample2.2s

Profiling