Details

sample49.0ms

Algorithm

intervals

Results

12.0ms	304×	body	80	valid
10.0ms	300×	body	80	nan

simplify56.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	25	6
1	51	6
2	104	6
3	191	6
4	262	6
5	353	6
6	466	6
7	712	6
8	1110	6
9	1256	6
10	1257	6
11	1257	6

prune4.0ms

Filtered

1 candidates to 0 candidates (100.0%)

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

Counts

2 → 1

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (- 1.0 z) (log z))
0.0b	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
0.2b	(* y (+ (- 1.0 z) (log z)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

22×	`*-un-lft-identity`
9×	`pow1`
8×	`add-sqr-sqrt` `distribute-lft-out` `add-log-exp`
7×	`associate-r`
6×	`add-cube-cbrt`
5×	`add-exp-log` `associate-+r+` `add-cbrt-cube`
4×	`log-pow` `distribute-lft-out--`
3×	`log-prod` `flip3-+` `associate-l` `sum-log` `flip-+`
2×	`+-commutative` `distribute-rgt-in` `associate-+l+` `distribute-lft-in` `associate-*r/`
1×	`associate-+l-` `sub-neg` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

3 → 61

Calls

3 calls:

6.0ms	(+ (- 1.0 z) (log z))
6.0ms	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
9.0ms	(* y (+ (- 1.0 z) (log z)))

series326.0ms

Counts

3 → 9

Calls

3 calls:

172.0ms	(+ (- 1.0 z) (log z))
66.0ms	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
88.0ms	(* y (+ (- 1.0 z) (log z)))

simplify44.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	359	419
1	1515	371
2	5001	370

prune203.0ms

Filtered

70 candidates to 45 candidates (35.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	64	6	70
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	65	6	71

Merged error: 0.0b

Counts

71 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b	(* y (+ (- (+ (* 2 (log (cbrt z))) 1.0) z) (log (cbrt z))))
0.2b	(+ (- (+ (* 2 (log (cbrt z))) 1.0) z) (log (cbrt z)))
0.6b	(cbrt z)
0.6b	(cbrt z)

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

26×	`*-un-lft-identity`
12×	`add-sqr-sqrt`
10×	`pow1` `add-cube-cbrt` `add-log-exp`
9×	`cbrt-prod`
8×	`distribute-lft-out`
7×	`associate-r`
6×	`add-exp-log` `associate-+r+` `log-prod` `add-cbrt-cube`
4×	`sum-log` `log-pow` `distribute-lft-out--`
3×	`associate-+l+` `associate-l`
2×	`flip3-+` `pow1/3` `diff-log` `associate-*r/` `flip-+`
1×	`+-commutative` `distribute-rgt-in` `associate-+l-` `sub-neg` `distribute-lft-in` `pow-prod-down` `prod-exp` `associate--l+` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 75

Calls

4 calls:

12.0ms	(* y (+ (- (+ (* 2 (log (cbrt z))) 1.0) z) (log (cbrt z))))
11.0ms	(+ (- (+ (* 2 (log (cbrt z))) 1.0) z) (log (cbrt z)))
1.0ms	(cbrt z)
1.0ms	(cbrt z)

series989.0ms

Counts

4 → 12

Calls

4 calls:

212.0ms	(* y (+ (- (+ (* 2 (log (cbrt z))) 1.0) z) (log (cbrt z))))
385.0ms	(+ (- (+ (* 2 (log (cbrt z))) 1.0) z) (log (cbrt z)))
198.0ms	(cbrt z)
193.0ms	(cbrt z)

simplify48.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	317	676
1	1327	592
2	5001	543

prune515.0ms

Filtered

87 candidates to 65 candidates (25.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	85	2	87
Fresh	2	3	5
Picked	0	1	1
Done	0	0	0
Total	87	6	93

Merged error: 0.0b

Counts

93 → 6

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b	(* y (+ (- 1.0 z) (* 2/3 (log z))))
0.2b	(* (log (pow z 1/3)) y)
0.4b	(* 2/3 (log z))
4.9b	(pow z 1/3)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
14×	`add-cube-cbrt` `*-un-lft-identity`
12×	`pow1`
11×	`add-exp-log`
10×	`associate-r` `associate-l` `add-cbrt-cube`
6×	`log-prod`
4×	`distribute-rgt-in` `distribute-lft-in` `add-log-exp`
3×	`unpow-prod-down` `pow-unpow` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
2×	`associate-*r/` `log-pow`
1×	`pow-to-exp` `pow-pow` `flip3-+` `unpow1/3` `pow-exp` `flip-+` `sqr-pow`

Counts

4 → 84

Calls

4 calls:

8.0ms	(* y (+ (- 1.0 z) (* 2/3 (log z))))
4.0ms	(* (log (pow z 1/3)) y)
4.0ms	(* 2/3 (log z))
2.0ms	(pow z 1/3)

series617.0ms

Counts

4 → 12

Calls

4 calls:

123.0ms	(* y (+ (- 1.0 z) (* 2/3 (log z))))
124.0ms	(* (log (pow z 1/3)) y)
162.0ms	(* 2/3 (log z))
207.0ms	(pow z 1/3)

simplify57.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	390	452
1	1859	390
2	5002	368

prune512.0ms

Filtered

96 candidates to 60 candidates (37.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	96	6	102

Merged error: 0.0b

Counts

102 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (- 1.0 z) (log z))) (cbrt (+ (- 1.0 z) (log z))))
0.5b	(cbrt (+ (- 1.0 z) (log z)))
0.5b	(cbrt (+ (- 1.0 z) (log z)))
0.5b	(cbrt (+ (- 1.0 z) (log z)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

143×	`*-un-lft-identity`
93×	`cbrt-prod`
60×	`distribute-lft-out`
41×	`pow1`
30×	`swap-sqr` `log-pow` `distribute-lft-out--`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
10×	`associate-r` `associate-l`
9×	`flip3-+` `pow1/3` `flip-+`
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 → 131

Calls

4 calls:

17.0ms	(* (cbrt (+ (- 1.0 z) (log z))) (cbrt (+ (- 1.0 z) (log z))))
6.0ms	(cbrt (+ (- 1.0 z) (log z)))
9.0ms	(cbrt (+ (- 1.0 z) (log z)))
6.0ms	(cbrt (+ (- 1.0 z) (log z)))

series276.0ms

Counts

4 → 12

Calls

4 calls:

77.0ms	(* (cbrt (+ (- 1.0 z) (log z))) (cbrt (+ (- 1.0 z) (log z))))
62.0ms	(cbrt (+ (- 1.0 z) (log z)))
67.0ms	(cbrt (+ (- 1.0 z) (log z)))
69.0ms	(cbrt (+ (- 1.0 z) (log z)))

simplify82.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	609	1962
1	2360	1884
2	5001	1654

prune885.0ms

Filtered

143 candidates to 75 candidates (47.6%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	142	1	143
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	142	7	149

Merged error: 0b

Counts

149 → 7

regimes410.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	11
1	21	11

end0.0ms

sample1.3s

Algorithm

intervals

Results

378.0ms	9219×	body	80	valid
297.0ms	9099×	body	80	nan

Details

sample49.0ms

simplify56.0ms

prune4.0ms

localize13.0ms

rewrite23.0ms

series326.0ms

simplify44.0ms

prune203.0ms

localize13.0ms

rewrite27.0ms

series989.0ms

simplify48.0ms

prune515.0ms

localize25.0ms

rewrite21.0ms

series617.0ms

simplify57.0ms

prune512.0ms

localize13.0ms

rewrite45.0ms

series276.0ms

simplify82.0ms

prune885.0ms

regimes410.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling