Details

sample41.0ms

Algorithm

intervals

Results

13.0ms	291×	body	80	valid
11.0ms	257×	body	80	nan

simplify75.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	26	5
1	57	5
2	121	5
3	241	5
4	364	5
5	490	5
6	641	5
7	1023	5
8	1797	5
9	2155	5
10	2161	5
11	2161	5

prune6.0ms

Filtered

1 candidates to 1 candidates (100.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.1b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

31×	`*-un-lft-identity`
17×	`add-sqr-sqrt`
13×	`add-cube-cbrt`
11×	`associate-+l+`
9×	`pow1` `prod-diff`
8×	`distribute-lft-out`
7×	`associate-r`
6×	`add-log-exp`
5×	`add-exp-log` `fma-def` `add-cbrt-cube` `distribute-lft-out--`
4×	`log-pow`
3×	`expm1-log1p-u` `associate-+r+` `log-prod` `associate-l` `log1p-expm1-u`
2×	`flip3-+` `associate-*r/` `sum-log` `flip-+`
1×	`+-commutative` `distribute-rgt-in` `associate-+l-` `sub-neg` `distribute-lft-in` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `fma-udef` `difference-of-squares` `unswap-sqr`

Counts

3 → 76

Calls

3 calls:

8.0ms	(+ (- 1.0 z) (log z))
1.0ms	(fma x 0.5 (* y (+ (- 1.0 z) (log z))))
10.0ms	(* y (+ (- 1.0 z) (log z)))

series307.0ms

Counts

3 → 9

Calls

3 calls:

170.0ms	(+ (- 1.0 z) (log z))
59.0ms	(fma x 0.5 (* y (+ (- 1.0 z) (log z))))
79.0ms	(* y (+ (- 1.0 z) (log z)))

simplify45.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	336	468
1	1466	370
2	5001	366

prune200.0ms

Filtered

85 candidates to 61 candidates (71.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	79	6	85
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	79	7	86

Merged error: 0.0b

Counts

86 → 7

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

42×	`add-sqr-sqrt`
38×	`*-un-lft-identity`
36×	`add-cube-cbrt` `prod-diff`
28×	`distribute-rgt-in` `distribute-lft-in`
22×	`associate-+l+`
12×	`log-prod`
9×	`pow1` `associate-r`
8×	`add-exp-log` `add-cbrt-cube`
6×	`associate-+r+` `associate-l` `add-log-exp`
4×	`expm1-log1p-u` `sub-neg` `log1p-expm1-u`
2×	`associate-r/` `pow-prod-down` `prod-exp` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `flip3--` `fma-def` `flip3-+` `sum-log` `log-pow` `flip--` `flip-+` `fma-udef` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 126

Calls

4 calls:

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

series238.0ms

Counts

4 → 12

Calls

4 calls:

67.0ms	(fma x 0.5 (+ (* y (- 1.0 z)) (* y (log z))))
34.0ms	(* y (- 1.0 z))
98.0ms	(+ (* y (- 1.0 z)) (* y (log z)))
39.0ms	(* y (log z))

simplify67.0ms

Algorithm

egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	494	914
1	2048	666
2	5003	654

prune297.0ms

Filtered

138 candidates to 89 candidates (64.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	135	3	138
Fresh	3	2	5
Picked	1	0	1
Done	0	1	1
Total	139	6	145

Merged error: 0.0b

Counts

145 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`pow1`
6×	`add-exp-log` `log-prod` `add-cbrt-cube` `add-log-exp`
4×	`expm1-log1p-u` `associate-r` `log1p-expm1-u`
3×	`distribute-rgt-in` `distribute-lft-in` `associate-l` `fma-udef`
1×	`+-commutative` `associate-+r+` `fma-def` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `log-pow` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

4 → 62

Calls

4 calls:

1.0ms	(fma y (- z) (* y (log z)))
1.0ms	(fma x 0.5 (+ (* y 1.0) (fma y (- z) (* y (log z)))))
4.0ms	(+ (* y 1.0) (fma y (- z) (* y (log z))))
4.0ms	(* y (log z))

series316.0ms

Counts

4 → 12

Calls

4 calls:

93.0ms	(fma y (- z) (* y (log z)))
63.0ms	(fma x 0.5 (+ (* y 1.0) (fma y (- z) (* y (log z)))))
120.0ms	(+ (* y 1.0) (fma y (- z) (* y (log z))))
39.0ms	(* y (log z))

simplify43.0ms

Algorithm

egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	308	465
1	1150	410
2	5002	369

prune181.0ms

Filtered

74 candidates to 55 candidates (74.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	74	0	74
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	74	6	80

Merged error: 0.0b

Counts

80 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
14×	`add-cube-cbrt`
12×	`cbrt-prod` `log-prod`
9×	`pow1`
8×	`add-exp-log` `associate-r` `associate-l` `add-cbrt-cube`
6×	`distribute-rgt-in` `distribute-lft-in`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3`
2×	`pow-prod-down` `associate-l/` `prod-exp` `log-pow` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`flip3--` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 84

Calls

4 calls:

7.0ms	(* (- 1.0 (- z (* 2 (log (cbrt z))))) y)
5.0ms	(* y (log (cbrt z)))
2.0ms	(cbrt z)
1.0ms	(cbrt z)

series623.0ms

Counts

4 → 12

Calls

4 calls:

148.0ms	(* (- 1.0 (- z (* 2 (log (cbrt z))))) y)
97.0ms	(* y (log (cbrt z)))
185.0ms	(cbrt z)
192.0ms	(cbrt z)

simplify40.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	271	531
1	1150	472
2	5001	441

prune288.0ms

Filtered

96 candidates to 79 candidates (82.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

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

Merged error: 0.0b

Counts

102 → 6

regimes155.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	12	5
1	12	5

end0.0ms

sample1.1s

Algorithm

intervals

Results

410.0ms	9167×	body	80	valid
329.0ms	9182×	body	80	nan

Details

sample41.0ms

simplify75.0ms

prune6.0ms

localize9.0ms

rewrite21.0ms

series307.0ms

simplify45.0ms

prune200.0ms

localize10.0ms

rewrite29.0ms

series238.0ms

simplify67.0ms

prune297.0ms

localize12.0ms

rewrite11.0ms

series316.0ms

simplify43.0ms

prune181.0ms

localize15.0ms

rewrite17.0ms

series623.0ms

simplify40.0ms

prune288.0ms

regimes155.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling