Details

sample38.0ms

Algorithm

intervals

Results

12.0ms	297×	body	80	valid
9.0ms	282×	body	80	nan

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

prune2.0ms

Filtered

1 candidates to 0 candidates (0.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

localize9.0ms

Local error

Found 3 expressions with local error:

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

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

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

series291.0ms

Counts

3 → 9

Calls

3 calls:

57.0ms	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
163.0ms	(+ (- 1.0 z) (log z))
72.0ms	(* y (+ (- 1.0 z) (log z)))

simplify49.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 2 (39.0ms)

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

prune133.0ms

Filtered

70 candidates to 45 candidates (64.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	66	4	70
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	67	4	71

Merged error: 0.0b

Counts

71 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 86

Calls

4 calls:

6.0ms	(* y (- 1.0 z))
8.0ms	(+ (* x 0.5) (+ (* y (- 1.0 z)) (* y (log z))))
7.0ms	(+ (* y (- 1.0 z)) (* y (log z)))
4.0ms	(* y (log z))

series228.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(* y (- 1.0 z))
58.0ms	(+ (* x 0.5) (+ (* y (- 1.0 z)) (* y (log z))))
94.0ms	(+ (* y (- 1.0 z)) (* y (log z)))
40.0ms	(* y (log z))

simplify61.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (54.0ms)

Iter	Nodes	Cost
0	436	538
1	1993	482
2	5002	472

prune185.0ms

Filtered

98 candidates to 63 candidates (64.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	95	3	98
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	96	6	102

Merged error: 0b

Counts

102 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- 1.0 z) (log (sqrt z)))
0.1b	(* y (+ (- 1.0 z) (log (sqrt z))))
0.2b	(+ (* y (+ (- 1.0 z) (log (sqrt z)))) (* y (log (sqrt z))))
0.2b	(* y (log (sqrt z)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 110

Calls

4 calls:

8.0ms	(+ (- 1.0 z) (log (sqrt z)))
10.0ms	(* y (+ (- 1.0 z) (log (sqrt z))))
11.0ms	(+ (* y (+ (- 1.0 z) (log (sqrt z)))) (* y (log (sqrt z))))
5.0ms	(* y (log (sqrt z)))

series342.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(+ (- 1.0 z) (log (sqrt z)))
86.0ms	(* y (+ (- 1.0 z) (log (sqrt z))))
116.0ms	(+ (* y (+ (- 1.0 z) (log (sqrt z)))) (* y (log (sqrt z))))
86.0ms	(* y (log (sqrt z)))

simplify62.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	509	902
1	2007	817
2	5002	772

prune264.0ms

Filtered

122 candidates to 76 candidates (62.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	122	6	128

Merged error: 0b

Counts

128 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

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

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

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

series878.0ms

Counts

4 → 12

Calls

4 calls:

348.0ms	(+ (- (+ (* 2 (log (cbrt z))) 1.0) z) (log (cbrt z)))
180.0ms	(* y (+ (- (+ (* 2 (log (cbrt z))) 1.0) z) (log (cbrt z))))
176.0ms	(cbrt z)
173.0ms	(cbrt z)

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

prune225.0ms

Filtered

87 candidates to 65 candidates (74.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

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

Merged error: 0b

Counts

93 → 6

regimes111.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	11
1	20	11

end0.0ms

sample1.1s

Algorithm

intervals

Results

381.0ms	9188×	body	80	valid
317.0ms	9148×	body	80	nan

Details

sample38.0ms

simplify59.0ms

prune2.0ms

localize9.0ms

rewrite26.0ms

series291.0ms

simplify49.0ms

prune133.0ms

localize10.0ms

rewrite27.0ms

series228.0ms

simplify61.0ms

prune185.0ms

localize13.0ms

rewrite38.0ms

series342.0ms

simplify62.0ms

prune264.0ms

localize13.0ms

rewrite31.0ms

series878.0ms

simplify41.0ms

prune225.0ms

regimes111.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample1.1s

Profiling