Details

sample45.0ms

Algorithm

intervals

Results

29.0ms

465×

body

valid

simplify89.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (88.0ms)

Iter	Nodes	Cost
0	5149	11

prune9.0ms

Filtered

1 candidates to 1 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 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

17×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`associate-l`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
2×	`associate-r` `*-commutative`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

3 → 51

Calls

3 calls:

8.0ms	(- (* x.re (* x.re (* x.im 3))) (pow x.im 3))
7.0ms	(* x.re (* x.re (* x.im 3)))
5.0ms	(* x.re (* x.im 3))

series21.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify46.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4961	516
1	4961	516

prune82.0ms

Filtered

32 candidates to 60 candidates (-87.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	56	4	60
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	56	6	62

Merged error: 0.0b

Counts

62 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

17×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
4×	`associate-r` `associate-l`
2×	`*-commutative`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

3 → 51

Calls

3 calls:

8.0ms	(- (* x.re (* (* x.re x.im) 3)) (pow x.im 3))
7.0ms	(* x.re (* (* x.re x.im) 3))
5.0ms	(* (* x.re x.im) 3)

series21.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(- (* x.re (* (* x.re x.im) 3)) (pow x.im 3))
4.0ms	(* x.re (* (* x.re x.im) 3))
4.0ms	(* (* x.re x.im) 3)

simplify39.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	4986	519
1	4986	519

prune81.0ms

Filtered

33 candidates to 60 candidates (-81.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	58	2	60
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	60	6	66

Merged error: 0.0b

Counts

66 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

17×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
4×	`associate-r` `associate-l`
2×	`*-commutative`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

3 → 51

Calls

3 calls:

8.0ms	(- (* (* x.re (* x.re x.im)) 3) (pow x.im 3))
5.0ms	(* x.re (* x.re x.im))
7.0ms	(* (* x.re (* x.re x.im)) 3)

series21.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(- (* (* x.re (* x.re x.im)) 3) (pow x.im 3))
4.0ms	(* x.re (* x.re x.im))
5.0ms	(* (* x.re (* x.re x.im)) 3)

simplify40.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5180	519

prune76.0ms

Filtered

32 candidates to 60 candidates (-87.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	59	1	60
Fresh	0	4	4
Picked	0	1	1
Done	1	0	1
Total	60	6	66

Merged error: 0b

Counts

66 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b	(* x.im (* (cbrt 3) (cbrt 3)))
0.2b	(* x.re (* x.re (* x.im (* (cbrt 3) (cbrt 3)))))
0.2b	(* x.re (* x.im (* (cbrt 3) (cbrt 3))))
0.2b	(* (* x.re (* x.re (* x.im (* (cbrt 3) (cbrt 3))))) (cbrt 3))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

52×	`pow1` `add-exp-log`
39×	`add-cbrt-cube`
34×	`pow-prod-down` `prod-exp` `cbrt-unprod`
10×	`add-sqr-sqrt` `associate-l`
9×	`add-cube-cbrt` `-un-lft-identity` `associate-r*`
4×	`*-commutative` `add-log-exp`
3×	`cbrt-prod`
1×	`unswap-sqr`

Counts

4 → 94

Calls

4 calls:

8.0ms	(* x.im (* (cbrt 3) (cbrt 3)))
12.0ms	(* x.re (* x.re (* x.im (* (cbrt 3) (cbrt 3)))))
10.0ms	(* x.re (* x.im (* (cbrt 3) (cbrt 3))))
18.0ms	(* (* x.re (* x.re (* x.im (* (cbrt 3) (cbrt 3))))) (cbrt 3))

series40.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* x.im (* (cbrt 3) (cbrt 3)))
11.0ms	(* x.re (* x.re (* x.im (* (cbrt 3) (cbrt 3)))))
10.0ms	(* x.re (* x.im (* (cbrt 3) (cbrt 3))))
10.0ms	(* (* x.re (* x.re (* x.im (* (cbrt 3) (cbrt 3))))) (cbrt 3))

simplify44.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5013	898

prune143.0ms

Filtered

56 candidates to 106 candidates (-89.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	106	6	112

Merged error: 0b

Counts

112 → 6

regimes144.0ms

Accuracy

0% (0.1b 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	11
1	11	11

end0.0ms

sample1.2s

Algorithm

intervals

Results

796.0ms

14669×

body

valid

Details

sample45.0ms

simplify89.0ms

prune9.0ms

localize7.0ms

rewrite22.0ms

series21.0ms

simplify46.0ms

prune82.0ms

localize7.0ms

rewrite22.0ms

series21.0ms

simplify39.0ms

prune81.0ms

localize7.0ms

rewrite22.0ms

series21.0ms

simplify40.0ms

prune76.0ms

localize11.0ms

rewrite53.0ms

series40.0ms

simplify44.0ms

prune143.0ms

regimes144.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.2s

Profiling