Details

analyze88.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
56.2%	43.7%	0.1%	7
65.6%	34.3%	0.1%	8
76.5%	23.4%	0.1%	9
82%	18%	0.1%	10
87.8%	12.1%	0.1%	11
90.7%	9.2%	0.1%	12
93.8%	6.1%	0.1%	13
95.3%	4.6%	0.1%	14

sample13.0ms

Algorithm

intervals

Results

7.0ms

256×

body

valid

simplify11.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	8	12
1	8	12

prune1.0ms

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: 33.7b

Counts

2 → 1

localize8.0ms

Local error

Found 1 expressions with local error:

31.6b

(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-sqr-sqrt_binary64` `sqrt-prod_binary64`
2×	`*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `sqrt-div_binary64`
1×	`flip3-+_binary64` `add-log-exp_binary64` `pow1/2_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `flip-+_binary64`

Counts

1 → 15

Calls

1 calls:

4.0ms

(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

series26.0ms

Counts

1 → 3

Calls

1 calls:

26.0ms

(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

simplify79.0ms

Algorithm

egg-herbie

Counts

18 → 18

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4885	250
1	4885	250

prune17.0ms

Filtered

15 candidates to 18 candidates (-20.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	14	4	18
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	14	5	19

Merged error: 8.1b

Counts

19 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
0.2b	(.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))
32.6b	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
32.6b	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64`
14×	`sqrt-prod_binary64` `cbrt-prod_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
9×	`associate-r_binary64`
8×	`cbrt-div_binary64`
7×	`pow1_binary64`
6×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`flip3-+_binary64` `add-log-exp_binary64` `flip-+_binary64` `sqrt-div_binary64`
3×	`pow1/3_binary64` `associate-l_binary64` `unswap-sqr_binary64`
2×	`associate-*r/_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64`
1×	`pow-prod-down_binary64` `pow1/2_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

4 → 74

Calls

4 calls:

5.0ms	(sqrt.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
11.0ms	(.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))
4.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

series342.0ms

Counts

4 → 12

Calls

4 calls:

71.0ms	(sqrt.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
117.0ms	(.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))
77.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
77.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

simplify115.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	4890	2012
1	4890	2012

prune67.0ms

Filtered

74 candidates to 86 candidates (-16.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	85	1	86
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	85	6	91

Merged error: 8.1b

Counts

91 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

32.6b	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
32.6b	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
32.6b	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
32.6b	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod_binary64`
8×	`cbrt-div_binary64` `*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
4×	`flip3-+_binary64` `add-log-exp_binary64` `pow1_binary64` `pow1/3_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `flip-+_binary64`

Counts

4 → 52

Calls

4 calls:

4.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

series318.0ms

Counts

4 → 12

Calls

4 calls:

78.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
81.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
79.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
81.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

simplify77.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5005	1172

prune79.0ms

Filtered

60 candidates to 64 candidates (-6.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	0	3	3
Picked	1	0	1
Done	0	2	2
Total	64	6	70

Merged error: 8.1b

Counts

70 → 6

localize21.0ms

Local error

Found 4 expressions with local error:

32.6b	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
32.6b	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
32.6b	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
32.6b	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod_binary64`
8×	`cbrt-div_binary64` `*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
4×	`flip3-+_binary64` `add-log-exp_binary64` `pow1_binary64` `pow1/3_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `flip-+_binary64`

Counts

4 → 52

Calls

4 calls:

4.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

series315.0ms

Counts

4 → 12

Calls

4 calls:

77.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
78.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
78.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
83.0ms	(cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

simplify77.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5005	1172

prune99.0ms

Filtered

60 candidates to 64 candidates (-6.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	0	3	3
Picked	1	0	1
Done	0	2	2
Total	64	6	70

Merged error: 8.1b

Counts

70 → 6

regimes218.0ms

Accuracy

58.2% (9.7b remaining)

Error of 18.1b against oracle of 8.4b and baseline of 31.6b

bsearch25.0ms

Steps

Iters	Range		Point
10	1.143329000225797e+68	3.843458710350681e+78	3.7801764104851945e+78
8	-1.1092651395135278e+155	-3.103882954046278e+152	-3.6987959759052895e+152

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	28
1	23	28

end0.0ms

sample366.0ms

Algorithm

intervals

Results

238.0ms

8000×

body

valid

Details

analyze88.0ms

sample13.0ms

simplify11.0ms

prune1.0ms

localize8.0ms

rewrite4.0ms

series26.0ms

simplify79.0ms

prune17.0ms

localize9.0ms

rewrite25.0ms

series342.0ms

simplify115.0ms

prune67.0ms

localize13.0ms

rewrite17.0ms

series318.0ms

simplify77.0ms

prune79.0ms

localize21.0ms

rewrite17.0ms

series315.0ms

simplify77.0ms

prune99.0ms

regimes218.0ms

bsearch25.0ms

simplify3.0ms

end0.0ms

sample366.0ms

Profiling