Details

sample139.0ms

Algorithm

intervals

Results

47.0ms	750×	body	80	nan
16.0ms	182×	body	80	valid
12.0ms	32×	body	640	valid
8.0ms	10×	body	1280	valid
4.0ms	19×	body	320	valid
2.0ms	14×	body	160	valid

simplify131.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	9
1	49	9
2	118	9
3	256	9
4	533	9
5	1250	9
6	2637	9
7	4297	9
8	4573	9
9	4588	9
10	4588	9

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: 6.5b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 92

Calls

4 calls:

11.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
13.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))
6.0ms	(* (- x 1.0) (log y))
3.0ms	(log (- 1.0 y))

series69.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
24.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))
9.0ms	(* (- x 1.0) (log y))
3.0ms	(log (- 1.0 y))

simplify70.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	675	988
1	2441	924
2	5002	884

prune224.0ms

Filtered

80 candidates to 104 candidates (-30.0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	96	8	104
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	97	8	105

Merged error: 0.1b

Counts

105 → 8

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

94×	`add-sqr-sqrt`
80×	`times-frac`
78×	`associate-r`
57×	`*-un-lft-identity`
56×	`unpow-prod-down`
50×	`add-cube-cbrt`
31×	`add-exp-log`
27×	`flip3--` `flip--`
24×	`log-prod` `associate-*l/` `unpow2` `sqr-pow`
19×	`unswap-sqr`
16×	`distribute-rgt-in` `distribute-lft-in` `frac-add`
13×	`associate-l` `add-cbrt-cube`
12×	`pow1` `frac-times` `prod-exp` `associate--l+`
10×	`associate-+r+`
9×	`div-exp`
7×	`associate-*r/`
6×	`pow-to-exp` `associate-+l+` `pow-exp` `add-log-exp`
4×	`sub-neg` `cbrt-unprod` `distribute-lft-out--`
3×	`pow-prod-down` `*-commutative` `difference-of-squares`
2×	`log-pow`
1×	`cbrt-undiv` `+-commutative` `flip3-+` `sum-log` `flip-+` `div-inv`

Counts

4 → 223

Calls

4 calls:

21.0ms	(* 1/2 (/ (pow y 2) (pow 1.0 2)))
12.0ms	(* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
11.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
7.0ms	(* (- x 1.0) (log y))

series68.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* 1/2 (/ (pow y 2) (pow 1.0 2)))
16.0ms	(* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
37.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
9.0ms	(* (- x 1.0) (log y))

simplify57.0ms

Algorithm

egg-herbie

Counts

235 → 235

Iterations

Useful iterations: 1 (28.0ms)

Iter	Nodes	Cost
0	1359	2834
1	5001	2680

prune708.0ms

Filtered

162 candidates to 235 candidates (-45.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	234	1	235
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	234	9	243

Merged error: 0.1b

Counts

243 → 9

localize26.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
0.6b	(cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
0.6b	(cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
0.6b	(cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

58×	`cbrt-prod`
52×	`*-un-lft-identity`
37×	`add-sqr-sqrt`
22×	`pow1` `distribute-lft-out--`
18×	`cbrt-div`
15×	`add-cube-cbrt` `swap-sqr`
11×	`log-pow`
9×	`flip3--` `pow1/3` `associate-r` `associate-l` `flip--`
7×	`difference-of-squares`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 111

Calls

4 calls:

14.0ms	(* (cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
5.0ms	(cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
5.0ms	(cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
5.0ms	(cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))

series52.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(* (cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
15.0ms	(cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
11.0ms	(cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
11.0ms	(cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))

simplify66.0ms

Algorithm

egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	508	2897
1	1877	2762
2	5002	2441

prune742.0ms

Filtered

81 candidates to 123 candidates (-51.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	122	1	123
Fresh	0	7	7
Picked	1	0	1
Done	0	1	1
Total	123	9	132

Merged error: 0.1b

Counts

132 → 9

localize30.0ms

Local error

Found 4 expressions with local error:

0.5b	(pow (cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) 6)
0.6b	(cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
0.6b	(cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
35.1b	(pow (pow (cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) 6) 1/3)

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

31×	`unpow-prod-down`
25×	`*-un-lft-identity`
24×	`cbrt-prod`
21×	`add-sqr-sqrt`
13×	`add-cube-cbrt`
9×	`pow1`
8×	`distribute-lft-out--`
7×	`add-exp-log`
6×	`pow-unpow`
5×	`pow-exp`
4×	`cbrt-div` `log-pow` `add-cbrt-cube` `add-log-exp` `difference-of-squares`
3×	`pow-to-exp` `pow-pow` `pow1/3` `sqr-pow`
2×	`flip3--` `flip--`
1×	`unpow1/3`

Counts

4 → 86

Calls

4 calls:

7.0ms	(pow (cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) 6)
5.0ms	(cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
5.0ms	(cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
8.0ms	(pow (pow (cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) 6) 1/3)

series85.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(pow (cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) 6)
12.0ms	(cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
11.0ms	(cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
36.0ms	(pow (pow (cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) 6) 1/3)

simplify67.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	695	1947
1	2582	1852
2	5002	1800

prune470.0ms

Filtered

67 candidates to 98 candidates (-46.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	97	1	98
Fresh	0	7	7
Picked	1	0	1
Done	0	1	1
Total	98	9	107

Merged error: 0.1b

Counts

107 → 9

regimes535.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	28	15
1	28	15

end0.0ms

sample4.2s

Algorithm

intervals

Results

1.6s	24383×	body	80	nan
427.0ms	5912×	body	80	valid
297.0ms	771×	body	640	valid
186.0ms	266×	body	1280	valid
164.0ms	685×	body	320	valid
60.0ms	394×	body	160	valid

Details

sample139.0ms

simplify131.0ms

prune4.0ms

localize13.0ms

rewrite36.0ms

series69.0ms

simplify70.0ms

prune224.0ms

localize20.0ms

rewrite61.0ms

series68.0ms

simplify57.0ms

prune708.0ms

localize26.0ms

rewrite33.0ms

series52.0ms

simplify66.0ms

prune742.0ms

localize30.0ms

rewrite27.0ms

series85.0ms

simplify67.0ms

prune470.0ms

regimes535.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.2s

Profiling