Details

sample28.0ms

Algorithm

intervals

Results

18.0ms

441×

body

valid

simplify67.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 3 (8.0ms)

Iter	Nodes	Cost
0	23	8
1	56	7
2	129	7
3	353	5
4	948	5
5	2260	5
6	5001	5

prune6.0ms

Filtered

1 candidates to 1 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: 6.8b

Counts

2 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* 3 (* x.im (* x.re x.re))) (pow x.im 3))
0.2b	(* 3 (* x.im (* x.re x.re)))
7.0b	(* x.im (* x.re x.re))

rewrite110.0ms

Algorithm

rewrite-expression-head

Rules

552×	`add-sqr-sqrt`
479×	`associate-r`
336×	`prod-diff`
233×	`unswap-sqr`
186×	`*-un-lft-identity`
182×	`add-cube-cbrt`
133×	`unpow-prod-down`
97×	`associate-l`
57×	`swap-sqr` `*-commutative`
49×	`sqr-pow`
43×	`unpow3`
42×	`fma-neg`
21×	`difference-of-squares`
17×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`add-log-exp`
3×	`expm1-log1p-u` `log1p-expm1-u`
2×	`distribute-lft-out--`
1×	`sub-neg` `flip3--` `distribute-rgt-out--` `diff-log` `flip--`

Counts

3 → 511

Calls

3 calls:

47.0ms	(- (* 3 (* x.im (* x.re x.re))) (pow x.im 3))
17.0ms	(* 3 (* x.im (* x.re x.re)))
9.0ms	(* x.im (* x.re x.re))

series133.0ms

Counts

3 → 9

Calls

3 calls:

57.0ms	(- (* 3 (* x.im (* x.re x.re))) (pow x.im 3))
35.0ms	(* 3 (* x.im (* x.re x.re)))
41.0ms	(* x.im (* x.re x.re))

simplify186.0ms

Algorithm

egg-herbie

Counts

520 → 520

Iterations

Useful iterations: 2 (116.0ms)

Iter	Nodes	Cost
0	1088	6719
1	3421	4811
2	5002	4491

prune281.0ms

Filtered

520 candidates to 124 candidates (23.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	514	6	520
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	516	6	522

Merged error: 0.0b

Counts

522 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))
0.2b	(* (* x.re x.im) x.re)
0.2b	(* 3 (* (* x.re x.im) x.re))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

347×	`add-sqr-sqrt`
286×	`associate-r`
264×	`prod-diff`
196×	`associate-l`
146×	`*-un-lft-identity`
142×	`add-cube-cbrt`
122×	`unswap-sqr`
103×	`unpow-prod-down`
37×	`sqr-pow`
33×	`fma-neg` `unpow3`
32×	`*-commutative`
17×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`difference-of-squares`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`add-log-exp`
3×	`expm1-log1p-u` `log1p-expm1-u`
2×	`distribute-lft-out--`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

3 → 405

Calls

3 calls:

38.0ms	(- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))
7.0ms	(* (* x.re x.im) x.re)
13.0ms	(* 3 (* (* x.re x.im) x.re))

series118.0ms

Counts

3 → 9

Calls

3 calls:

73.0ms	(- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))
23.0ms	(* (* x.re x.im) x.re)
21.0ms	(* 3 (* (* x.re x.im) x.re))

simplify155.0ms

Algorithm

egg-herbie

Counts

414 → 414

Iterations

Useful iterations: 2 (105.0ms)

Iter	Nodes	Cost
0	987	5400
1	3222	3983
2	5002	3629

prune271.0ms

Filtered

414 candidates to 117 candidates (28.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	409	5	414
Fresh	5	0	5
Picked	0	1	1
Done	0	0	0
Total	414	6	420

Merged error: 0.0b

Counts

420 → 6

localize8.0ms

Local error

Found 2 expressions with local error:

0.1b	(fma (* 3 (* x.re x.im)) x.re (- (pow x.im 3)))
0.2b	(* 3 (* x.re x.im))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

15×	`associate-r`
13×	`add-sqr-sqrt`
7×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`add-cube-cbrt` `-un-lft-identity` `associate-l*`
4×	`unswap-sqr`
3×	`pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`expm1-log1p-u` `*-commutative` `log1p-expm1-u` `add-log-exp`
1×	`fma-udef`

Counts

2 → 43

Calls

2 calls:

1.0ms	(fma (* 3 (* x.re x.im)) x.re (- (pow x.im 3)))
9.0ms	(* 3 (* x.re x.im))

series102.0ms

Counts

2 → 6

Calls

2 calls:

82.0ms	(fma (* 3 (* x.re x.im)) x.re (- (pow x.im 3)))
19.0ms	(* 3 (* x.re x.im))

simplify133.0ms

Algorithm

egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	181	208
1	873	188
2	4326	188
3	5001	188

prune92.0ms

Filtered

49 candidates to 37 candidates (75.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	48	1	49
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	49	6	55

Merged error: 0.0b

Counts

55 → 6

localize9.0ms

Local error

Found 1 expressions with local error:

0.2b	(fma (* 3 (* x.re 1)) (* x.im x.re) (- (pow x.im 3)))

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `fma-udef` `log1p-expm1-u` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

1.0ms

(fma (* 3 (* x.re 1)) (* x.im x.re) (- (pow x.im 3)))

series79.0ms

Counts

1 → 3

Calls

1 calls:

79.0ms

(fma (* 3 (* x.re 1)) (* x.im x.re) (- (pow x.im 3)))

simplify38.0ms

Algorithm

egg-herbie

Counts

13 → 13

Iterations

Useful iterations: 3 (35.0ms)

Iter	Nodes	Cost
0	54	102
1	180	88
2	880	88
3	5002	87

prune27.0ms

Filtered

13 candidates to 11 candidates (84.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	13	0	13
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	13	6	19

Merged error: 0.0b

Counts

19 → 6

regimes44.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	5
1	11	5

end0.0ms

sample719.0ms

Algorithm

intervals

Results

500.0ms

14252×

body

valid