Details

sample147.0ms

Algorithm

intervals

Results

56.0ms	802×	body	80	nan
14.0ms	190×	body	80	valid
8.0ms	11×	body	1280	valid
8.0ms	18×	body	640	valid
6.0ms	24×	body	320	valid
2.0ms	15×	body	160	valid

simplify18.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (16.0ms)

Iter	Nodes	Cost
0	894	17
1	894	17

prune9.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: 6.6b

Counts

2 → 1

localize13.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.4b	(log (- 1.0 y))

rewrite33.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 → 94

Calls

4 calls:

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

series54.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* (- z 1.0) (log (- 1.0 y)))
35.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
9.0ms	(* (- x 1.0) (log y))
3.0ms	(log (- 1.0 y))

simplify26.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (17.0ms)

Iter	Nodes	Cost
0	4985	1318
1	4985	1318

prune204.0ms

Filtered

77 candidates to 106 candidates (-37.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	98	8	106
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	99	8	107

Merged error: 0.0b

Counts

107 → 8

localize18.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)) (* (* (/ y 1.0) (/ y 1.0)) -1/2)))) t)
0.0b	(* (* (/ y 1.0) (/ y 1.0)) -1/2)
0.0b	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (+ (- (log 1.0) (* 1.0 y)) (* (* (/ y 1.0) (/ y 1.0)) -1/2))))
0.1b	(* (- x 1.0) (log y))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

110×	`associate-*l/`
88×	`frac-add`
64×	`flip3--` `flip--`
45×	`frac-times`
29×	`associate-*r/`
24×	`add-exp-log` `add-cbrt-cube`
18×	`add-sqr-sqrt`
15×	`*-un-lft-identity`
12×	`pow1` `log-prod`
11×	`add-cube-cbrt` `add-log-exp`
10×	`prod-exp` `cbrt-unprod`
7×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `associate-r` `flip-+`
6×	`associate-+l+` `associate-l`
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 → 144

Calls

4 calls:

19.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (+ (- (log 1.0) (* 1.0 y)) (* (* (/ y 1.0) (/ y 1.0)) -1/2)))) t)
9.0ms	(* (* (/ y 1.0) (/ y 1.0)) -1/2)
16.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (+ (- (log 1.0) (* 1.0 y)) (* (* (/ y 1.0) (/ y 1.0)) -1/2))))
7.0ms	(* (- x 1.0) (log y))

series99.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (+ (- (log 1.0) (* 1.0 y)) (* (* (/ y 1.0) (/ y 1.0)) -1/2)))) t)
3.0ms	(* (* (/ y 1.0) (/ y 1.0)) -1/2)
37.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (+ (- (log 1.0) (* 1.0 y)) (* (* (/ y 1.0) (/ y 1.0)) -1/2))))
9.0ms	(* (- x 1.0) (log y))

simplify67.0ms

Algorithm

egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4986	7373
1	4986	7373

prune540.0ms

Filtered

113 candidates to 156 candidates (-38.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	153	3	156
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	153	11	164

Merged error: 0.0b

Counts

164 → 11

localize20.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- x 1.0) (log y))
8.3b	(+ (log (+ (sqrt 1.0) (sqrt y))) (log (- (sqrt 1.0) (sqrt y))))
11.3b	(log (- (sqrt 1.0) (sqrt y)))
11.4b	(log (+ (sqrt 1.0) (sqrt y)))

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

6.0ms	(* (- x 1.0) (log y))
13.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)))

series45.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))))
8.0ms	(log (- (sqrt 1.0) (sqrt y)))
7.0ms	(log (+ (sqrt 1.0) (sqrt y)))

simplify55.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4982	1433
1	4982	1433

prune258.0ms

Filtered

75 candidates to 110 candidates (-46.7%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	110	11	121

Merged error: 0.0b

Counts

121 → 11

localize19.0ms

Local error

Found 4 expressions with local error:

0.3b	(+ (* (- x 1.0) (* 2 (log (cbrt y)))) (* (- x 1.0) (log (cbrt y))))
0.6b	(cbrt y)
0.6b	(cbrt y)
5.4b	(log (- 1.0 y))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

41×	`log-prod`
30×	`distribute-rgt-in` `distribute-lft-in`
24×	`cbrt-prod` `associate-+l+`
21×	`add-sqr-sqrt` `*-un-lft-identity`
19×	`add-cube-cbrt`
12×	`associate-+r+`
8×	`associate-*l/`
6×	`add-log-exp`
5×	`pow1` `add-exp-log` `flip3--` `flip--`
4×	`frac-add` `add-cbrt-cube`
2×	`log-div` `pow1/3`
1×	`+-commutative` `flip3-+` `rem-log-exp` `sum-log` `log-pow` `flip-+` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 90

Calls

4 calls:

14.0ms	(+ (* (- x 1.0) (* 2 (log (cbrt y)))) (* (- x 1.0) (log (cbrt y))))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
3.0ms	(log (- 1.0 y))

series84.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(+ (* (- x 1.0) (* 2 (log (cbrt y)))) (* (- x 1.0) (log (cbrt y))))
24.0ms	(cbrt y)
22.0ms	(cbrt y)
3.0ms	(log (- 1.0 y))

simplify26.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 0 (17.0ms)

Iter	Nodes	Cost
0	5258	1211

prune190.0ms

Filtered

93 candidates to 102 candidates (-9.7%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	100	2	102
Fresh	2	6	8
Picked	0	1	1
Done	0	2	2
Total	102	11	113

Merged error: 0.0b

Counts

113 → 11

regimes597.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	29
1	26	29

end0.0ms

sample4.2s

Algorithm

intervals

Results

1.6s	24122×	body	80	nan
431.0ms	5920×	body	80	valid
282.0ms	744×	body	640	valid
193.0ms	268×	body	1280	valid
166.0ms	694×	body	320	valid
62.0ms	403×	body	160	valid

Details

sample147.0ms

simplify18.0ms

prune9.0ms

localize13.0ms

rewrite33.0ms

series54.0ms

simplify26.0ms

prune204.0ms

localize18.0ms

rewrite60.0ms

series99.0ms

simplify67.0ms

prune540.0ms

localize20.0ms

rewrite33.0ms

series45.0ms

simplify55.0ms

prune258.0ms

localize19.0ms

rewrite23.0ms

series84.0ms

simplify26.0ms

prune190.0ms

regimes597.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.2s

Profiling