Details

analyze455.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

sample47.0ms

Algorithm

intervals

Results

28.0ms	256×	body	80	valid
3.0ms	30×	body	80	nan

simplify149.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (140.0ms)

Iter	Nodes	Cost
0	4870	9
1	4870	9

prune23.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.3b

Counts

2 → 2

localize9.0ms

Local error

Found 1 expressions with local error:

0.3b	(/.f64 (atan2.f64 im re) (log.f64 base))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

12×	`times-frac_binary64_1211`
10×	`*-un-lft-identity_binary64_1216` `add-sqr-sqrt_binary64_1201` `add-cube-cbrt_binary64_1187`
5×	`pow1_binary64_1162`
4×	`log-pow_binary64_1137` `associate-/r*_binary64_1279`
3×	`add-cbrt-cube_binary64_1188` `add-exp-log_binary64_1180` `associate-/l*_binary64_1280`
1×	`div-exp_binary64_1169` `div-inv_binary64_1217` `clear-num_binary64_1219` `cbrt-undiv_binary64_1186` `frac-2neg_binary64_1209` `add-log-exp_binary64_1181`

Counts

1 → 31

Calls

1 calls:

3.0ms

(/.f64 (atan2.f64 im re) (log.f64 base))

series53.0ms

Counts

1 → 3

Calls

1 calls:

53.0ms

(/.f64 (atan2.f64 im re) (log.f64 base))

simplify102.0ms

Algorithm

egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4956	518
1	4956	518

prune175.0ms

Filtered

22 candidates to 34 candidates (-54.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	26	8	34
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	26	10	36

Merged error: 0.0b

Counts

36 → 10

localize10.0ms

Local error

Found 2 expressions with local error:

0.3b	(*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base)))
0.3b	(/.f64 1 (log.f64 base))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64_1201`
26×	`times-frac_binary64_1211`
21×	`*-un-lft-identity_binary64_1216`
20×	`add-cube-cbrt_binary64_1187`
16×	`associate-r_binary64_1275`
12×	`pow1_binary64_1162` `add-exp-log_binary64_1180`
9×	`add-cbrt-cube_binary64_1188`
7×	`log-pow_binary64_1137`
4×	`associate-/r*_binary64_1279`
3×	`associate-l_binary64_1276` `unswap-sqr_binary64_1244` `prod-exp_binary64_1167` `associate-/l*_binary64_1280`
2×	`div-exp_binary64_1169` `rec-exp_binary64_1168` `cbrt-unprod_binary64_1185` `div-inv_binary64_1217` `cbrt-undiv_binary64_1186` `add-log-exp_binary64_1181`
1×	`un-div-inv_binary64_1218` `pow-prod-down_binary64_1143` `clear-num_binary64_1219` `associate-r/_binary64_1277` `pow-flip_binary64_1146` `inv-pow_binary64_1138` `-commutative_binary64_1284` `frac-2neg_binary64_1209`

Counts

2 → 72

Calls

2 calls:

8.0ms	(*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base)))
3.0ms	(/.f64 1 (log.f64 base))

series122.0ms

Counts

2 → 6

Calls

2 calls:

48.0ms	(*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base)))
74.0ms	(/.f64 1 (log.f64 base))

simplify59.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5037	857

prune269.0ms

Filtered

39 candidates to 78 candidates (-100.0%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	75	3	78
Fresh	1	7	8
Picked	0	1	1
Done	0	1	1
Total	76	12	88

Merged error: 0.0b

Counts

88 → 12

localize11.0ms

Local error

Found 2 expressions with local error:

0.4b	(/.f64 (log.f64 base) (atan2.f64 im re))
0.6b	(/.f64 1 (/.f64 (log.f64 base) (atan2.f64 im re)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

108×	`times-frac_binary64_1211`
60×	`*-un-lft-identity_binary64_1216` `add-sqr-sqrt_binary64_1201` `add-cube-cbrt_binary64_1187`
19×	`pow1_binary64_1162` `associate-/r*_binary64_1279`
16×	`log-pow_binary64_1137`
12×	`add-exp-log_binary64_1180`
9×	`add-cbrt-cube_binary64_1188`
7×	`associate-/l*_binary64_1280`
6×	`div-inv_binary64_1217`
5×	`div-exp_binary64_1169`
4×	`cbrt-undiv_binary64_1186`
2×	`rec-exp_binary64_1168` `clear-num_binary64_1219` `frac-2neg_binary64_1209` `add-log-exp_binary64_1181`
1×	`pow-flip_binary64_1146` `associate-/r/_binary64_1281` `inv-pow_binary64_1138`

Counts

2 → 117

Calls

2 calls:

4.0ms	(/.f64 (log.f64 base) (atan2.f64 im re))
6.0ms	(/.f64 1 (/.f64 (log.f64 base) (atan2.f64 im re)))

series103.0ms

Counts

2 → 6

Calls

2 calls:

51.0ms	(/.f64 (log.f64 base) (atan2.f64 im re))
52.0ms	(/.f64 1 (/.f64 (log.f64 base) (atan2.f64 im re)))

simplify89.0ms

Algorithm

egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4973	2305
1	4973	2305

prune369.0ms

Filtered

64 candidates to 123 candidates (-92.2%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	122	1	123
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	122	13	135

Merged error: 0b

Counts

135 → 13

localize15.0ms

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (atan2.f64 im re) (cbrt.f64 (pow.f64 (/.f64 1 (log.f64 base)) 3)))
0.3b	(/.f64 1 (log.f64 base))
0.7b	(cbrt.f64 (pow.f64 (/.f64 1 (log.f64 base)) 3))
0.7b	(pow.f64 (/.f64 1 (log.f64 base)) 3)

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

88×	`times-frac_binary64_1211`
85×	`add-sqr-sqrt_binary64_1201`
84×	`cbrt-prod_binary64_1183`
68×	`*-un-lft-identity_binary64_1216`
66×	`add-cube-cbrt_binary64_1187`
51×	`unpow-prod-down_binary64_1151` `cube-prod_binary64_1189`
41×	`associate-r_binary64_1275`
31×	`pow1_binary64_1162`
22×	`log-pow_binary64_1137`
13×	`add-exp-log_binary64_1180`
10×	`add-cbrt-cube_binary64_1188`
9×	`unswap-sqr_binary64_1244`
7×	`div-inv_binary64_1217`
4×	`add-log-exp_binary64_1181` `associate-/r*_binary64_1279` `sqr-pow_binary64_1248`
3×	`pow-exp_binary64_1140` `cube-div_binary64_1190` `associate-l_binary64_1276` `pow-unpow_binary64_1149` `cube-mult_binary64_1191` `unpow3_binary64_1160` `pow-pow_binary64_1144` `associate-/l*_binary64_1280`
2×	`div-exp_binary64_1169` `rec-exp_binary64_1168` `pow-flip_binary64_1146` `cbrt-undiv_binary64_1186` `inv-pow_binary64_1138` `cbrt-div_binary64_1184` `rem-cube-cbrt_binary64_1192`
1×	`cbrt-unprod_binary64_1185` `pow-prod-down_binary64_1143` `pow-to-exp_binary64_1141` `clear-num_binary64_1219` `associate-r/_binary64_1277` `pow1/3_binary64_1154` `prod-exp_binary64_1167` `-commutative_binary64_1284` `frac-2neg_binary64_1209` `rem-cbrt-cube_binary64_1193`

Counts

4 → 202

Calls

4 calls:

23.0ms	(*.f64 (atan2.f64 im re) (cbrt.f64 (pow.f64 (/.f64 1 (log.f64 base)) 3)))
4.0ms	(/.f64 1 (log.f64 base))
5.0ms	(cbrt.f64 (pow.f64 (/.f64 1 (log.f64 base)) 3))
6.0ms	(pow.f64 (/.f64 1 (log.f64 base)) 3)

series318.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(*.f64 (atan2.f64 im re) (cbrt.f64 (pow.f64 (/.f64 1 (log.f64 base)) 3)))
72.0ms	(/.f64 1 (log.f64 base))
83.0ms	(cbrt.f64 (pow.f64 (/.f64 1 (log.f64 base)) 3))
114.0ms	(pow.f64 (/.f64 1 (log.f64 base)) 3)

simplify88.0ms

Algorithm

egg-herbie

Counts

214 → 214

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5053	2408

prune361.0ms

Filtered

74 candidates to 214 candidates (-189.2%)

Pruning

12 alts after pruning (8 fresh and 4 done)

	Pruned	Kept	Total
New	213	1	214
Fresh	2	7	9
Picked	0	1	1
Done	0	3	3
Total	215	12	227

Merged error: 0b

Counts

227 → 12

regimes718.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	7	9

end0.0ms

sample1.2s

Algorithm

intervals

Results

806.0ms	8000×	body	80	valid
96.0ms	994×	body	80	nan

Details

analyze455.0ms

sample47.0ms

simplify149.0ms

prune23.0ms

localize9.0ms

rewrite4.0ms

series53.0ms

simplify102.0ms

prune175.0ms

localize10.0ms

rewrite13.0ms

series122.0ms

simplify59.0ms

prune269.0ms

localize11.0ms

rewrite15.0ms

series103.0ms

simplify89.0ms

prune369.0ms

localize15.0ms

rewrite47.0ms

series318.0ms

simplify88.0ms

prune361.0ms

regimes718.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling