Details

sample28.0ms

Algorithm

intervals

Results

8.0ms

329×

body

valid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	3
1	18	3
2	18	3

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

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (* x.re y.re) (* x.im y.im))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `sub-neg` `flip3--` `*-un-lft-identity` `diff-log` `add-cbrt-cube` `flip--`

Counts

1 → 12

Calls

1 calls:

3.0ms

(- (* x.re y.re) (* x.im y.im))

series44.0ms

Counts

1 → 3

Calls

1 calls:

44.0ms

(- (* x.re y.re) (* x.im y.im))

simplify74.0ms

Algorithm

egg-herbie

Counts

15 → 15

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	91	78
1	285	71
2	895	71
3	2136	71
4	5001	71

prune35.0ms

Filtered

15 candidates to 12 candidates (20.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	13	2	15
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	13	3	16

Merged error: 0.0b

Counts

16 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (- (* x.re y.re) (* x.im y.im))) (cbrt (- (* x.re y.re) (* x.im y.im))))
1.6b	(cbrt (- (* x.re y.re) (* x.im y.im)))
1.6b	(cbrt (- (* x.re y.re) (* x.im y.im)))
1.6b	(cbrt (- (* x.re y.re) (* x.im y.im)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3--` `pow1/3` `flip--`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
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 → 87

Calls

4 calls:

10.0ms	(* (cbrt (- (* x.re y.re) (* x.im y.im))) (cbrt (- (* x.re y.re) (* x.im y.im))))
3.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))
3.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))
3.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))

series504.0ms

Counts

4 → 12

Calls

4 calls:

138.0ms	(* (cbrt (- (* x.re y.re) (* x.im y.im))) (cbrt (- (* x.re y.re) (* x.im y.im))))
122.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))
123.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))
122.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))

simplify100.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 3 (90.0ms)

Iter	Nodes	Cost
0	310	1067
1	1065	999
2	4357	923
3	5001	917

prune345.0ms

Filtered

99 candidates to 75 candidates (24.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	98	4	102

Merged error: 0.0b

Counts

102 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt (- (* x.re y.re) (* x.im y.im)))
1.0b	(sqrt (- (* x.re y.re) (* x.im y.im)))
1.6b	(cbrt (- (* x.re y.re) (* x.im y.im)))
1.6b	(cbrt (- (* x.re y.re) (* x.im y.im)))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
8×	`add-cube-cbrt` `*-un-lft-identity`
6×	`pow1` `cbrt-prod` `sqrt-prod`
4×	`add-exp-log` `cbrt-div` `flip3--` `sqrt-div` `add-cbrt-cube` `flip--` `add-log-exp`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `pow1/3`

Counts

4 → 56

Calls

4 calls:

3.0ms	(sqrt (- (* x.re y.re) (* x.im y.im)))
3.0ms	(sqrt (- (* x.re y.re) (* x.im y.im)))
3.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))
3.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))

series508.0ms

Counts

4 → 12

Calls

4 calls:

131.0ms	(sqrt (- (* x.re y.re) (* x.im y.im)))
131.0ms	(sqrt (- (* x.re y.re) (* x.im y.im)))
121.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))
124.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))

simplify82.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 3 (75.0ms)

Iter	Nodes	Cost
0	267	554
1	790	526
2	3314	512
3	5002	506

prune303.0ms

Filtered

68 candidates to 60 candidates (11.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	68	4	72

Merged error: 0.0b

Counts

72 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b	(+ (* (* x.im y.im) (+ (* x.im y.im) (* x.re y.re))) (* (* x.re y.re) (* x.re y.re)))
2.5b	(* (* x.im y.im) (+ (* x.im y.im) (* x.re y.re)))
3.2b	(- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3))
36.1b	(/ (- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3)) (+ (* (* x.im y.im) (+ (* x.im y.im) (* x.re y.re))) (* (* x.re y.re) (* x.re y.re))))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

39×	`add-sqr-sqrt`
29×	`*-un-lft-identity`
27×	`times-frac`
20×	`difference-of-squares` `sqr-pow`
19×	`add-cube-cbrt`
11×	`add-exp-log` `add-cbrt-cube`
9×	`pow1` `associate-/l*`
8×	`add-log-exp`
5×	`difference-cubes` `distribute-lft-out--`
3×	`flip3-+` `associate-r` `pow-prod-down` `prod-exp` `associate-/r*` `cbrt-unprod` `flip-+`
2×	`distribute-rgt-in` `associate-+l+` `flip3--` `distribute-lft-in` `associate-*r/` `associate-/r/` `flip--` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `frac-2neg` `diff-log` `div-sub` `div-exp` `associate-l` `clear-num` `sum-log` `*-commutative` `div-inv`

Counts

4 → 109

Calls

4 calls:

8.0ms	(+ (* (* x.im y.im) (+ (* x.im y.im) (* x.re y.re))) (* (* x.re y.re) (* x.re y.re)))
7.0ms	(* (* x.im y.im) (+ (* x.im y.im) (* x.re y.re)))
7.0ms	(- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3))
16.0ms	(/ (- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3)) (+ (* (* x.im y.im) (+ (* x.im y.im) (* x.re y.re))) (* (* x.re y.re) (* x.re y.re))))

series516.0ms

Counts

4 → 12

Calls

4 calls:

95.0ms	(+ (* (* x.im y.im) (+ (* x.im y.im) (* x.re y.re))) (* (* x.re y.re) (* x.re y.re)))
55.0ms	(* (* x.im y.im) (+ (* x.im y.im) (* x.re y.re)))
225.0ms	(- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3))
141.0ms	(/ (- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3)) (+ (* (* x.im y.im) (+ (* x.im y.im) (* x.re y.re))) (* (* x.re y.re) (* x.re y.re))))

simplify130.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 2 (111.0ms)

Iter	Nodes	Cost
0	554	1992
1	3250	1869
2	5003	1864

prune490.0ms

Filtered

121 candidates to 92 candidates (24.0%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	121	0	121
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	121	4	125

Merged error: 0.0b

Counts

125 → 4

regimes424.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	3
1	9	3

end0.0ms

sample689.0ms

Algorithm

intervals

Results

247.0ms

10406×

body

valid

Details

sample28.0ms

simplify4.0ms

prune4.0ms

localize5.0ms

rewrite3.0ms

series44.0ms

simplify74.0ms

prune35.0ms

localize9.0ms

rewrite22.0ms

series504.0ms

simplify100.0ms

prune345.0ms

localize13.0ms

rewrite14.0ms

series508.0ms

simplify82.0ms

prune303.0ms

localize17.0ms

rewrite41.0ms

series516.0ms

simplify130.0ms

prune490.0ms

regimes424.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample689.0ms

Profiling