Details

analyze422.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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
23.4%	51.5%	25.1%	7
24.2%	50.7%	25.1%	8
24.6%	50.3%	25.1%	9
36.9%	25.5%	37.6%	10
37.2%	25.3%	37.6%	11
37.3%	25.1%	37.6%	12
43.5%	12.7%	43.8%	13
43.6%	12.6%	43.8%	14

sample37.0ms

Algorithm

intervals

Results

25.0ms	256×	body	128	valid
2.0ms	26×	body	128	nan

simplify103.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	5740	19

prune5.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: 30.1b

Counts

2 → 2

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.4b	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 base))
27.9b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

24×	`times-frac_binary64`
22×	`log-pow_binary64`
21×	`pow1_binary64`
17×	`add-sqr-sqrt_binary64`
16×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
6×	`pow1/2_binary64` `sqrt-pow1_binary64` `associate-/l*_binary64`
5×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`associate-/r*_binary64` `sqrt-div_binary64`
3×	`flip3-+_binary64` `sqrt-prod_binary64` `flip-+_binary64`
2×	`div-sub_binary64` `log-div_binary64`
1×	`cbrt-undiv_binary64` `rem-sqrt-square_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `+-commutative_binary64` `sum-log_binary64`

Counts

3 → 74

Calls

3 calls:

4.0ms	(+.f64 (.f64 re re) (.f64 im im))
8.0ms	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 base))
7.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

series275.0ms

Counts

3 → 9

Calls

3 calls:

39.0ms	(+.f64 (.f64 re re) (.f64 im im))
191.0ms	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 base))
44.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

simplify76.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5289	1833

prune86.0ms

Filtered

55 candidates to 83 candidates (-50.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	72	11	83
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	73	12	85

Merged error: 7.7b

Counts

85 → 12

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.3b	(/.f64 1/2 (/.f64 (log.f64 base) (log.f64 (+.f64 (.f64 re re) (.f64 im im)))))
0.3b	(/.f64 (log.f64 base) (log.f64 (+.f64 (.f64 re re) (.f64 im im))))
29.1b	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

140×	`times-frac_binary64`
72×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
47×	`pow1_binary64`
43×	`log-pow_binary64`
24×	`associate-/r*_binary64`
12×	`add-exp-log_binary64`
11×	`add-cbrt-cube_binary64`
7×	`associate-/l*_binary64`
6×	`add-log-exp_binary64` `div-inv_binary64`
4×	`cbrt-undiv_binary64` `div-exp_binary64`
3×	`log-prod_binary64`
2×	`flip3-+_binary64` `clear-num_binary64` `frac-2neg_binary64` `log-div_binary64` `flip-+_binary64`
1×	`rem-log-exp_binary64` `associate-/r/_binary64` `+-commutative_binary64` `sum-log_binary64`

Counts

4 → 159

Calls

4 calls:

4.0ms	(+.f64 (.f64 re re) (.f64 im im))
8.0ms	(/.f64 1/2 (/.f64 (log.f64 base) (log.f64 (+.f64 (.f64 re re) (.f64 im im)))))
4.0ms	(/.f64 (log.f64 base) (log.f64 (+.f64 (.f64 re re) (.f64 im im))))
5.0ms	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

series511.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(+.f64 (.f64 re re) (.f64 im im))
191.0ms	(/.f64 1/2 (/.f64 (log.f64 base) (log.f64 (+.f64 (.f64 re re) (.f64 im im)))))
227.0ms	(/.f64 (log.f64 base) (log.f64 (+.f64 (.f64 re re) (.f64 im im))))
57.0ms	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

simplify96.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5463	4862

prune115.0ms

Filtered

109 candidates to 171 candidates (-56.9%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	164	7	171
Fresh	4	7	11
Picked	1	0	1
Done	0	0	0
Total	169	14	183

Merged error: 7.6b

Counts

183 → 14

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.3b	(/.f64 1/2 (log.f64 base))
0.4b	(.f64 (/.f64 1/2 (log.f64 base)) (log.f64 (+.f64 (.f64 re re) (*.f64 im im))))
29.1b	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64`
25×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `times-frac_binary64`
16×	`associate-l_binary64`
15×	`pow1_binary64`
12×	`add-exp-log_binary64`
11×	`add-cbrt-cube_binary64`
9×	`log-prod_binary64` `log-pow_binary64`
6×	`add-log-exp_binary64`
4×	`associate-/r_binary64` `associate-r*_binary64`
3×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64` `associate-/l*_binary64`
2×	`flip3-+_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `div-inv_binary64` `div-exp_binary64` `log-div_binary64` `flip-+_binary64`
1×	`pow-prod-down_binary64` `rem-log-exp_binary64` `clear-num_binary64` `frac-2neg_binary64` `+-commutative_binary64` `associate-l/_binary64` `sum-log_binary64` `-commutative_binary64`

Counts

4 → 98

Calls

4 calls:

4.0ms	(+.f64 (.f64 re re) (.f64 im im))
3.0ms	(/.f64 1/2 (log.f64 base))
11.0ms	(.f64 (/.f64 1/2 (log.f64 base)) (log.f64 (+.f64 (.f64 re re) (*.f64 im im))))
4.0ms	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

series473.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(+.f64 (.f64 re re) (.f64 im im))
168.0ms	(/.f64 1/2 (log.f64 base))
206.0ms	(.f64 (/.f64 1/2 (log.f64 base)) (log.f64 (+.f64 (.f64 re re) (*.f64 im im))))
55.0ms	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

simplify49.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	4912	1931
1	4912	1931

prune79.0ms

Filtered

76 candidates to 110 candidates (-44.7%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	107	3	110
Fresh	1	12	13
Picked	1	0	1
Done	0	0	0
Total	109	15	124

Merged error: 7.6b

Counts

124 → 15

localize22.0ms

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 base)) (.f64 (atan2.f64 im re) 0)) (+.f64 (.f64 (log.f64 base) (log.f64 base)) (.f64 0 0)))
0.3b	(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))) (log.f64 base))
0.5b	(*.f64 (log.f64 base) (log.f64 base))
27.9b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64`
25×	`*-un-lft-identity_binary64`
23×	`pow1_binary64` `add-cube-cbrt_binary64`
12×	`log-prod_binary64`
10×	`log-pow_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l_binary64`
9×	`times-frac_binary64`
8×	`associate-r_binary64`
6×	`swap-sqr_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64`
4×	`add-log-exp_binary64`
3×	`flip3-+_binary64` `associate-/r_binary64` `associate-/l_binary64` `sqrt-prod_binary64` `flip-+_binary64`
2×	`pow-prod-down_binary64` `associate-/l/_binary64` `pow1/2_binary64` `cbrt-unprod_binary64` `associate-/r/_binary64` `sqrt-pow1_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `sqrt-div_binary64` `*-commutative_binary64`
1×	`pow-prod-up_binary64` `cbrt-undiv_binary64` `pow-plus_binary64` `rem-sqrt-square_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `pow-sqr_binary64` `pow2_binary64`

Counts

4 → 110

Calls

4 calls:

11.0ms	(/.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 base)) (.f64 (atan2.f64 im re) 0)) (+.f64 (.f64 (log.f64 base) (log.f64 base)) (.f64 0 0)))
6.0ms	(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))) (log.f64 base))
5.0ms	(*.f64 (log.f64 base) (log.f64 base))
5.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

series506.0ms

Counts

4 → 12

Calls

4 calls:

191.0ms	(/.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 base)) (.f64 (atan2.f64 im re) 0)) (+.f64 (.f64 (log.f64 base) (log.f64 base)) (.f64 0 0)))
151.0ms	(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))) (log.f64 base))
117.0ms	(*.f64 (log.f64 base) (log.f64 base))
48.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

simplify93.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4883	2437
1	4883	2437

prune95.0ms

Filtered

85 candidates to 122 candidates (-43.5%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	119	3	122
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	119	18	137

Merged error: 7.6b

Counts

137 → 18

regimes280.0ms

Accuracy

58.3% (10.4b remaining)

Error of 17.6b against oracle of 7.2b and baseline of 32.2b

bsearch101.0ms

Steps

Iters	Range		Point
10	9.81336667328106e+110	1.5312392130887182e+122	7.28857737127815e+119
8	-3.5353612197974834e+156	-6.000474198111304e+152	-6.103568674686091e+152

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	45	81
1	45	81

end0.0ms

sample1.1s

Algorithm

intervals

Results

785.0ms	8000×	body	128	valid
82.0ms	911×	body	128	nan

Details

analyze422.0ms

sample37.0ms

simplify103.0ms

prune5.0ms

localize11.0ms

rewrite25.0ms

series275.0ms

simplify76.0ms

prune86.0ms

localize11.0ms

rewrite38.0ms

series511.0ms

simplify96.0ms

prune115.0ms

localize14.0ms

rewrite30.0ms

series473.0ms

simplify49.0ms

prune79.0ms

localize22.0ms

rewrite41.0ms

series506.0ms

simplify93.0ms

prune95.0ms

regimes280.0ms

bsearch101.0ms

simplify2.0ms

end0.0ms

sample1.1s

Profiling