Details

analyze313.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
12.5%	87.4%	0.1%	5
18.7%	68.7%	12.6%	6
28.1%	59.3%	12.6%	7
32.8%	48.4%	18.8%	8
38.2%	42.9%	18.8%	9
41%	37.1%	22%	10
43.9%	34.1%	22%	11
45.5%	31%	23.5%	12
46.9%	29.6%	23.5%	13
47.7%	28%	24.3%	14

sample48.0ms

Algorithm

intervals

Results

25.0ms	127×	body	5120	exit
7.0ms	198×	body	80	valid
3.0ms	15×	body	640	valid
2.0ms	21×	body	320	valid
1.0ms	22×	body	160	valid

simplify139.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (123.0ms)

Iter	Nodes	Cost
0	4887	18
1	4887	18

prune4.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: 13.3b

Counts

2 → 2

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1))
0.0b	(/.f64 x (exp.f64 wj))
6.2b	(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

49×	`*-un-lft-identity_binary64_3412`
48×	`add-sqr-sqrt_binary64_3397`
38×	`times-frac_binary64_3407`
23×	`add-cube-cbrt_binary64_3383`
10×	`difference-of-squares_binary64_3441`
9×	`associate-/l*_binary64_3476`
8×	`distribute-lft-out_binary64_3456`
7×	`add-cbrt-cube_binary64_3384` `associate-/r*_binary64_3475`
6×	`add-exp-log_binary64_3376`
5×	`add-log-exp_binary64_3377` `distribute-lft-out--_binary64_3457`
3×	`pow1_binary64_3354`
2×	`cbrt-undiv_binary64_3382` `clear-num_binary64_3415` `frac-2neg_binary64_3405` `div-exp_binary64_3361` `associate-/r/_binary64_3477` `div-sub_binary64_3406` `associate-/l/_binary64_3478` `flip-+_binary64_3437` `div-inv_binary64_3413` `flip3-+_binary64_3410`
1×	`associate-+r-_binary64_3465` `flip--_binary64_3438` `sum-log_binary64_3322` `+-commutative_binary64_3479` `flip3--_binary64_3411`

Counts

3 → 91

Calls

3 calls:

15.0ms	(/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1))
5.0ms	(/.f64 x (exp.f64 wj))
21.0ms	(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))

series736.0ms

Counts

3 → 9

Calls

3 calls:

363.0ms	(/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1))
134.0ms	(/.f64 x (exp.f64 wj))
239.0ms	(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	139	2711
1	139	2711
0	4817	2567
1	4817	2567
0	139	2711
1	139	2711
0	4817	2567
1	4817	2567
0	1	3
1	1	3
0	115	2427
1	115	2427
0	14	2214
1	14	2214
0	115	2427
1	115	2427
0	14	2214
1	14	2214
0	1	3
1	1	3
0	150	2660
1	150	2660
0	4747	2350
1	4747	2350
0	150	2660
1	150	2660
0	4747	2350
1	4747	2350
0	1	3
1	1	3

simplify123.0ms

Counts

100 → 100

Iterations

Useful iterations: 0 (91.0ms)

Iter	Nodes	Cost
0	5641	1984

prune96.0ms

Filtered

71 candidates to 100 candidates (-40.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	87	13	100
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	89	13	102

Merged error: 12.9b

Counts

102 → 13

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (/.f64 1 (+.f64 wj 1)))
0.0b	(/.f64 1 (+.f64 wj 1))
0.0b	(/.f64 x (exp.f64 wj))
6.2b	(+.f64 wj (*.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (/.f64 1 (+.f64 wj 1))))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

47×	`*-un-lft-identity_binary64_3412`
42×	`add-sqr-sqrt_binary64_3397`
36×	`times-frac_binary64_3407`
30×	`add-cube-cbrt_binary64_3383`
18×	`associate-r_binary64_3471` `add-exp-log_binary64_3376`
13×	`add-cbrt-cube_binary64_3384`
7×	`distribute-lft-out_binary64_3456` `associate-/r*_binary64_3475` `pow1_binary64_3354`
6×	`associate-l_binary64_3472` `associate-/l*_binary64_3476` `add-log-exp_binary64_3377`
5×	`div-exp_binary64_3361`
4×	`prod-exp_binary64_3359` `associate-/r/_binary64_3477`
3×	`cbrt-undiv_binary64_3382` `flip-+_binary64_3437` `unswap-sqr_binary64_3440` `div-inv_binary64_3413` `flip3-+_binary64_3410`
2×	`frac-times_binary64_3404` `difference-of-squares_binary64_3441` `cbrt-unprod_binary64_3381` `clear-num_binary64_3415` `rec-exp_binary64_3360` `frac-2neg_binary64_3405` `flip--_binary64_3438` `associate-*l/_binary64_3474` `flip3--_binary64_3411` `1-exp_binary64_3372`
1×	`un-div-inv_binary64_3414` `-commutative_binary64_3480` `sum-log_binary64_3322` `pow-flip_binary64_3338` `+-commutative_binary64_3479` `pow-prod-down_binary64_3335` `inv-pow_binary64_3330` `associate-r/_binary64_3473` `distribute-lft-out--_binary64_3457`

Counts

4 → 123

Calls

4 calls:

26.0ms	(*.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (/.f64 1 (+.f64 wj 1)))
7.0ms	(/.f64 1 (+.f64 wj 1))
5.0ms	(/.f64 x (exp.f64 wj))
7.0ms	(+.f64 wj (*.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (/.f64 1 (+.f64 wj 1))))

series790.0ms

Counts

4 → 12

Calls

4 calls:

181.0ms	(*.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (/.f64 1 (+.f64 wj 1)))
249.0ms	(/.f64 1 (+.f64 wj 1))
132.0ms	(/.f64 x (exp.f64 wj))
228.0ms	(+.f64 wj (*.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (/.f64 1 (+.f64 wj 1))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	155	2747
1	155	2747
0	5141	2566
0	155	2747
1	155	2747
0	5141	2566
0	1	3
1	1	3
0	115	2427
1	115	2427
0	14	2214
1	14	2214
0	115	2427
1	115	2427
0	14	2214
1	14	2214
0	1	3
1	1	3
0	171	1499
1	171	1499
0	5594	1184
0	171	1499
1	171	1499
0	5594	1184
0	1	3
1	1	3
0	146	2696
1	146	2696
0	13	1989
1	13	1989
0	146	2696
1	146	2696
0	13	1989
1	13	1989
0	1	3
1	1	3

simplify133.0ms

Counts

135 → 135

Iterations

Useful iterations: 0 (99.0ms)

Iter	Nodes	Cost
0	5288	1982

prune89.0ms

Filtered

79 candidates to 135 candidates (-70.9%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	135	0	135
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	135	13	148

Merged error: 12.9b

Counts

148 → 13

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 x (exp.f64 wj))
0.0b	(/.f64 (+.f64 wj 1) (-.f64 (/.f64 x (exp.f64 wj)) wj))
0.2b	(/.f64 1 (/.f64 (+.f64 wj 1) (-.f64 (/.f64 x (exp.f64 wj)) wj)))
7.1b	(+.f64 wj (/.f64 1 (/.f64 (+.f64 wj 1) (-.f64 (/.f64 x (exp.f64 wj)) wj))))

rewrite100.0ms

Algorithm

rewrite-expression-head

Rules

240×	`times-frac_binary64_3407`
206×	`*-un-lft-identity_binary64_3412`
204×	`add-sqr-sqrt_binary64_3397`
99×	`add-cube-cbrt_binary64_3383`
42×	`difference-of-squares_binary64_3441`
39×	`associate-/r*_binary64_3475`
33×	`distribute-lft-out_binary64_3456`
21×	`distribute-lft-out--_binary64_3457`
18×	`add-exp-log_binary64_3376`
13×	`add-cbrt-cube_binary64_3384`
11×	`associate-/r/_binary64_3477`
10×	`associate-/l*_binary64_3476`
9×	`div-exp_binary64_3361`
8×	`div-inv_binary64_3413`
6×	`add-log-exp_binary64_3377`
5×	`cbrt-undiv_binary64_3382` `flip--_binary64_3438` `pow1_binary64_3354` `flip3--_binary64_3411`
3×	`clear-num_binary64_3415` `frac-2neg_binary64_3405`
2×	`rec-exp_binary64_3360` `associate-/l/_binary64_3478` `flip-+_binary64_3437` `1-exp_binary64_3372` `flip3-+_binary64_3410`
1×	`sum-log_binary64_3322` `pow-flip_binary64_3338` `+-commutative_binary64_3479` `inv-pow_binary64_3330`

Counts

4 → 234

Calls

4 calls:

5.0ms	(/.f64 x (exp.f64 wj))
15.0ms	(/.f64 (+.f64 wj 1) (-.f64 (/.f64 x (exp.f64 wj)) wj))
24.0ms	(/.f64 1 (/.f64 (+.f64 wj 1) (-.f64 (/.f64 x (exp.f64 wj)) wj)))
38.0ms	(+.f64 wj (/.f64 1 (/.f64 (+.f64 wj 1) (-.f64 (/.f64 x (exp.f64 wj)) wj))))

series934.0ms

Counts

4 → 12

Calls

4 calls:

133.0ms	(/.f64 x (exp.f64 wj))
247.0ms	(/.f64 (+.f64 wj 1) (-.f64 (/.f64 x (exp.f64 wj)) wj))
282.0ms	(/.f64 1 (/.f64 (+.f64 wj 1) (-.f64 (/.f64 x (exp.f64 wj)) wj)))
272.0ms	(+.f64 wj (/.f64 1 (/.f64 (+.f64 wj 1) (-.f64 (/.f64 x (exp.f64 wj)) wj))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	162	2793
1	162	2793
0	5015	2578
0	162	2793
1	162	2793
0	5015	2578
0	1	3
1	1	3
0	177	2742
1	177	2742
0	4815	2527
1	4815	2527
0	177	2742
1	177	2742
0	4815	2527
1	4815	2527
0	1	3
1	1	3
0	150	2670
1	150	2670
0	4855	2523
1	4855	2523
0	150	2670
1	150	2670
0	4855	2523
1	4855	2523
0	1	3
1	1	3
0	115	2427
1	115	2427
0	14	2214
1	14	2214
0	115	2427
1	115	2427
0	14	2214
1	14	2214
0	1	3
1	1	3

simplify187.0ms

Counts

246 → 246

Iterations

Useful iterations: 0 (117.0ms)

Iter	Nodes	Cost
0	5245	6457

prune171.0ms

Filtered

131 candidates to 246 candidates (-87.8%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	241	5	246
Fresh	2	9	11
Picked	0	1	1
Done	0	1	1
Total	243	16	259

Merged error: 12.8b

Counts

259 → 16

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1))))
6.2b	(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))
6.2b	(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))
6.2b	(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))

rewrite91.0ms

Algorithm

rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64_3412`
10×	`add-log-exp_binary64_3377`
5×	`add-cube-cbrt_binary64_3383` `add-sqr-sqrt_binary64_3397`
4×	`cbrt-prod_binary64_3379` `add-exp-log_binary64_3376` `distribute-lft-out_binary64_3456` `add-cbrt-cube_binary64_3384` `pow1_binary64_3354` `flip-+_binary64_3437` `flip3-+_binary64_3410`
3×	`associate-+r-_binary64_3465` `sum-log_binary64_3322` `+-commutative_binary64_3479` `div-sub_binary64_3406`
2×	`cbrt-div_binary64_3380`
1×	`pow1/3_binary64_3346`

Counts

4 → 53

Calls

4 calls:

21.0ms	(cbrt.f64 (+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1))))
22.0ms	(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))
25.0ms	(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))
22.0ms	(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))

series1.0s

Counts

4 → 12

Calls

4 calls:

298.0ms	(cbrt.f64 (+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1))))
239.0ms	(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))
239.0ms	(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))
239.0ms	(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	139	2711
1	139	2711
0	4817	2567
1	4817	2567
0	139	2711
1	139	2711
0	4817	2567
1	4817	2567
0	1	3
1	1	3
0	139	2711
1	139	2711
0	4817	2567
1	4817	2567
0	139	2711
1	139	2711
0	4817	2567
1	4817	2567
0	1	3
1	1	3
0	139	2711
1	139	2711
0	4817	2567
1	4817	2567
0	139	2711
1	139	2711
0	4817	2567
1	4817	2567
0	1	3
1	1	3
0	66	2784
1	66	2784
0	5081	2718
0	66	2784
1	66	2784
0	5081	2718
0	1	3
1	1	3

simplify123.0ms

Counts

65 → 65

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	5373	1482

prune86.0ms

Filtered

49 candidates to 65 candidates (-32.7%)

Pruning

18 alts after pruning (16 fresh and 2 done)

	Pruned	Kept	Total
New	62	3	65
Fresh	0	13	13
Picked	1	0	1
Done	0	2	2
Total	63	18	81

Merged error: 12.8b

Counts

81 → 18

regimes88.0ms

Accuracy

0% (0.4b remaining)

Error of 13.2b against oracle of 12.8b and baseline of 13.2b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	25	21
1	25	21

end0.0ms

sample1.5s

Algorithm

intervals

Results

809.0ms	3864×	body	5120	exit
224.0ms	6194×	body	80	valid
88.0ms	806×	body	320	valid
80.0ms	481×	body	640	valid
37.0ms	519×	body	160	valid
3.0ms	63×	body	80	invalid
0.0ms	10×	body	80	overflowed

Details

analyze313.0ms

sample48.0ms

simplify139.0ms

prune4.0ms

localize11.0ms

rewrite46.0ms

series736.0ms

simplify123.0ms

prune96.0ms

localize9.0ms

rewrite51.0ms

series790.0ms

simplify133.0ms

prune89.0ms

localize9.0ms

rewrite100.0ms

series934.0ms

simplify187.0ms

prune171.0ms

localize12.0ms

rewrite91.0ms

series1.0s

simplify123.0ms

prune86.0ms

regimes88.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample1.5s

Profiling