Details

analyze339.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

sample163.0ms

Algorithm

intervals

Results

12.0ms	179×	body	80	valid
11.0ms	31×	body	640	valid
7.0ms	31×	body	320	valid
3.0ms	5×	body	1280	valid
1.0ms	10×	body	160	valid

simplify110.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (108.0ms)

Iter	Nodes	Cost
0	5210	17

prune12.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 9.0b

Counts

2 → 1

localize38.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.2b	(* (- x 1.0) (log y))
58.7b	(log (- 1.0 y))

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

8.0ms	(* (- z 1.0) (log (- 1.0 y)))
10.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
6.0ms	(* (- x 1.0) (log y))
3.0ms	(log (- 1.0 y))

series73.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* (- z 1.0) (log (- 1.0 y)))
54.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
10.0ms	(* (- x 1.0) (log y))
3.0ms	(log (- 1.0 y))

simplify55.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4979	1314
1	4979	1314

prune213.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.2b

Counts

106 → 9

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 107

Calls

4 calls:

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

series110.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (+ (log 1.0) (- (* (* (/ y 1.0) (/ y 1.0)) -1/2) (* 1.0 y)))))
5.0ms	(* (* (/ y 1.0) (/ y 1.0)) -1/2)
62.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (+ (log 1.0) (- (* (* (/ y 1.0) (/ y 1.0)) -1/2) (* 1.0 y))))) t)
9.0ms	(* (- x 1.0) (log y))

simplify85.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4952	3589
1	4952	3589

prune311.0ms

Filtered

87 candidates to 119 candidates (-36.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	117	2	119
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	119	9	128

Merged error: 0.1b

Counts

128 → 9

localize47.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (- x 1.0) (log y))
56.8b	(+ (log (+ (sqrt 1.0) (sqrt y))) (log (- (sqrt 1.0) (sqrt y))))
57.7b	(log (- (sqrt 1.0) (sqrt y)))
57.8b	(log (+ (sqrt 1.0) (sqrt y)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 98

Calls

4 calls:

7.0ms	(* (- x 1.0) (log y))
14.0ms	(+ (log (+ (sqrt 1.0) (sqrt y))) (log (- (sqrt 1.0) (sqrt y))))
5.0ms	(log (- (sqrt 1.0) (sqrt y)))
5.0ms	(log (+ (sqrt 1.0) (sqrt y)))

series44.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (- x 1.0) (log y))
21.0ms	(+ (log (+ (sqrt 1.0) (sqrt y))) (log (- (sqrt 1.0) (sqrt y))))
7.0ms	(log (- (sqrt 1.0) (sqrt y)))
7.0ms	(log (+ (sqrt 1.0) (sqrt y)))

simplify29.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	5100	1436

prune251.0ms

Filtered

75 candidates to 110 candidates (-46.7%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	109	1	110
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	110	9	119

Merged error: 0.1b

Counts

119 → 9

localize50.0ms

Local error

Found 4 expressions with local error:

56.8b	(+ (+ (log (sqrt (+ (sqrt 1.0) (sqrt y)))) (log (sqrt (+ (sqrt 1.0) (sqrt y))))) (log (- (sqrt 1.0) (sqrt y))))
57.7b	(log (- (sqrt 1.0) (sqrt y)))
58.0b	(log (sqrt (+ (sqrt 1.0) (sqrt y))))
58.0b	(log (sqrt (+ (sqrt 1.0) (sqrt y))))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

41×	`*-un-lft-identity`
34×	`log-prod`
26×	`add-sqr-sqrt` `sqrt-prod`
22×	`pow1` `distribute-lft-out`
20×	`log-pow`
12×	`log-div`
10×	`add-cube-cbrt`
9×	`associate-+r+`
8×	`sqrt-div` `difference-of-squares`
7×	`add-exp-log`
6×	`associate-+l-`
5×	`flip3-+` `flip-+` `add-log-exp`
4×	`associate-+r-` `add-cbrt-cube` `distribute-lft-out--`
3×	`rem-log-exp` `sum-log`
2×	`flip3--` `sqrt-pow1` `pow1/2` `flip--`
1×	`+-commutative` `associate-+l+`

Counts

4 → 100

Calls

4 calls:

19.0ms	(+ (+ (log (sqrt (+ (sqrt 1.0) (sqrt y)))) (log (sqrt (+ (sqrt 1.0) (sqrt y))))) (log (- (sqrt 1.0) (sqrt y))))
5.0ms	(log (- (sqrt 1.0) (sqrt y)))
6.0ms	(log (sqrt (+ (sqrt 1.0) (sqrt y))))
6.0ms	(log (sqrt (+ (sqrt 1.0) (sqrt y))))

series56.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(+ (+ (log (sqrt (+ (sqrt 1.0) (sqrt y)))) (log (sqrt (+ (sqrt 1.0) (sqrt y))))) (log (- (sqrt 1.0) (sqrt y))))
7.0ms	(log (- (sqrt 1.0) (sqrt y)))
13.0ms	(log (sqrt (+ (sqrt 1.0) (sqrt y))))
10.0ms	(log (sqrt (+ (sqrt 1.0) (sqrt y))))

simplify32.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	4975	1645
1	4975	1645

prune295.0ms

Filtered

74 candidates to 112 candidates (-51.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	110	2	112
Fresh	1	5	6
Picked	1	0	1
Done	0	2	2
Total	112	9	121

Merged error: 0.1b

Counts

121 → 9

regimes543.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	64	29
1	64	29

end0.0ms

sample4.4s

Algorithm

intervals

Results

373.0ms	5792×	body	80	valid
292.0ms	820×	body	640	valid
168.0ms	254×	body	1280	valid
164.0ms	730×	body	320	valid
55.0ms	404×	body	160	valid

Details

analyze339.0ms

sample163.0ms

simplify110.0ms

prune12.0ms

localize38.0ms

rewrite31.0ms

series73.0ms

simplify55.0ms

prune213.0ms

localize34.0ms

rewrite46.0ms

series110.0ms

simplify85.0ms

prune311.0ms

localize47.0ms

rewrite35.0ms

series44.0ms

simplify29.0ms

prune251.0ms

localize50.0ms

rewrite40.0ms

series56.0ms

simplify32.0ms

prune295.0ms

regimes543.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample4.4s

Profiling