Details

sample26.0ms

Algorithm

intervals

Results

13.0ms

309×

body

valid

simplify35.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	4
1	20	4
2	34	4
3	51	4
4	58	4
5	64	4
6	81	4
7	112	4
8	159	4
9	273	4
10	370	4
11	428	4
12	450	4
13	465	4
14	465	4

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.0b

Counts

2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x y) (* (- x 1.0) z))
0.0b	(* (- x 1.0) z)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
6×	`*-un-lft-identity`
5×	`associate-l`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube` `add-log-exp`
3×	`associate-r`
2×	`associate-*l/`
1×	`+-commutative` `flip3--` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `flip--` `cbrt-unprod` `flip-+` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

2 → 33

Calls

2 calls:

4.0ms	(+ (* x y) (* (- x 1.0) z))
6.0ms	(* (- x 1.0) z)

series60.0ms

Counts

2 → 6

Calls

2 calls:

30.0ms	(+ (* x y) (* (- x 1.0) z))
30.0ms	(* (- x 1.0) z)

simplify96.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	187	183
1	775	166
2	4041	166
3	5001	166

prune64.0ms

Filtered

39 candidates to 28 candidates (71.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	36	3	39
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	36	4	40

Merged error: 0.0b

Counts

40 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt z) (cbrt z))
0.6b	(cbrt z)
0.6b	(cbrt z)
0.6b	(cbrt z)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

6.0ms	(* (cbrt z) (cbrt z))
1.0ms	(cbrt z)
1.0ms	(cbrt z)
1.0ms	(cbrt z)

series722.0ms

Counts

4 → 12

Calls

4 calls:

200.0ms	(* (cbrt z) (cbrt z))
175.0ms	(cbrt z)
173.0ms	(cbrt z)
174.0ms	(cbrt z)

simplify88.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 3 (83.0ms)

Iter	Nodes	Cost
0	115	288
1	472	261
2	2959	238
3	5003	235

prune169.0ms

Filtered

85 candidates to 64 candidates (75.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	85	4	89

Merged error: 0.0b

Counts

89 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x y) (cbrt (pow (* (- x 1.0) z) 3)))
0.0b	(* (- x 1.0) z)
0.1b	(pow (* (- x 1.0) z) 3)
40.3b	(cbrt (pow (* (- x 1.0) z) 3))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt`
10×	`*-un-lft-identity`
9×	`pow1` `add-exp-log` `add-cbrt-cube`
8×	`cbrt-prod` `add-cube-cbrt`
6×	`associate-*l/` `add-log-exp`
5×	`associate-l`
4×	`cube-div`
3×	`pow-unpow` `flip3--` `associate-r` `flip--`
2×	`cube-mult` `unpow-prod-down` `cbrt-div` `pow-pow` `unpow3` `cube-prod` `pow-prod-down` `pow-exp` `prod-exp` `cbrt-unprod` `rem-cube-cbrt` `sqr-pow`
1×	`+-commutative` `pow-to-exp` `flip3-+` `pow1/3` `sum-log` `*-commutative` `rem-cbrt-cube` `flip-+` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 76

Calls

4 calls:

8.0ms	(+ (* x y) (cbrt (pow (* (- x 1.0) z) 3)))
6.0ms	(* (- x 1.0) z)
6.0ms	(pow (* (- x 1.0) z) 3)
3.0ms	(cbrt (pow (* (- x 1.0) z) 3))

series128.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(+ (* x y) (cbrt (pow (* (- x 1.0) z) 3)))
35.0ms	(* (- x 1.0) z)
32.0ms	(pow (* (- x 1.0) z) 3)
30.0ms	(cbrt (pow (* (- x 1.0) z) 3))

simplify49.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	316	428
1	1516	384
2	5003	383

prune161.0ms

Filtered

88 candidates to 59 candidates (67.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	88	0	88
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	88	4	92

Merged error: 0.0b

Counts

92 → 4

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 60

Calls

3 calls:

4.0ms	(+ (* x y) (* (* (- x 1.0) (sqrt z)) (sqrt z)))
8.0ms	(* (- x 1.0) (sqrt z))
10.0ms	(* (* (- x 1.0) (sqrt z)) (sqrt z))

series132.0ms

Counts

3 → 9

Calls

3 calls:

42.0ms	(+ (* x y) (* (* (- x 1.0) (sqrt z)) (sqrt z)))
52.0ms	(* (- x 1.0) (sqrt z))
38.0ms	(* (* (- x 1.0) (sqrt z)) (sqrt z))

simplify42.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	321	434
1	1326	366
2	5002	355

prune111.0ms

Filtered

69 candidates to 45 candidates (65.2%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	69	0	69
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	69	4	73

Merged error: 0.0b

Counts

73 → 4

regimes75.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	4
1	11	4

end0.0ms

sample502.0ms

Algorithm

intervals

Results

302.0ms

10208×

body

valid

Iter	Nodes	Cost
0	13	4
1	20	4
2	34	4
3	51	4
4	58	4
5	64	4
6	81	4
7	112	4
8	159	4
9	273	4
10	370	4
11	428	4
12	450	4
13	465	4
14	465	4

Iter	Nodes	Cost
0	13	4
1	20	4
2	34	4
3	51	4
4	58	4
5	64	4
6	81	4
7	112	4
8	159	4
9	273	4
10	370	4
11	428	4
12	450	4
13	465	4
14	465	4

Details

sample26.0ms

simplify35.0ms

prune2.0ms

localize9.0ms

rewrite11.0ms

series60.0ms

simplify96.0ms

prune64.0ms

localize13.0ms

rewrite11.0ms

series722.0ms

simplify88.0ms

prune169.0ms

localize10.0ms

rewrite26.0ms

series128.0ms

simplify49.0ms

prune161.0ms

localize13.0ms

rewrite24.0ms

series132.0ms

simplify42.0ms

prune111.0ms

regimes75.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample502.0ms

Profiling

Iter	Nodes	Cost
0	13	4
1	20	4
2	34	4
3	51	4
4	58	4
5	64	4
6	81	4
7	112	4
8	159	4
9	273	4
10	370	4
11	428	4
12	450	4
13	465	4
14	465	4