Details

analyze2.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	50%	0%	3
87.5%	12.5%	0%	4
93.7%	6.2%	0%	5
96.8%	3.1%	0%	6
98.4%	1.6%	0%	7
99.2%	0.8%	0%	8
99.6%	0.4%	0%	9
99.8%	0.2%	0%	10
99.9%	0.1%	0%	11
99.9%	0%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

sample9.0ms

Algorithm

intervals

Results

5.0ms

256×

body

valid

simplify21.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	37	10
1	37	10

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

Counts

2 → 1

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

42×	`*-un-lft-identity_binary64_2405`
28×	`add-sqr-sqrt_binary64_2390`
24×	`times-frac_binary64_2400`
13×	`add-cube-cbrt_binary64_2376`
10×	`difference-of-squares_binary64_2434`
7×	`distribute-lft-out_binary64_2449`
6×	`associate-/r*_binary64_2468`
5×	`distribute-lft-out--_binary64_2450`
4×	`associate-/l*_binary64_2469`
3×	`add-exp-log_binary64_2369` `add-cbrt-cube_binary64_2377`
2×	`associate-/r/_binary64_2470` `associate-/l/_binary64_2471`
1×	`flip3-+_binary64_2403` `div-inv_binary64_2406` `pow1_binary64_2347` `div-exp_binary64_2354` `flip--_binary64_2431` `frac-2neg_binary64_2398` `flip-+_binary64_2430` `clear-num_binary64_2408` `cbrt-undiv_binary64_2375` `add-log-exp_binary64_2370` `flip3--_binary64_2404`

Counts

1 → 50

Calls

1 calls:

10.0ms

(/.f64 (+.f64 x 1) (-.f64 1 x))

series254.0ms

Counts

1 → 3

Calls

1 calls:

254.0ms

(/.f64 (+.f64 x 1) (-.f64 1 x))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	352	1788
1	352	1788
0	5251	1443
0	352	1788
1	352	1788
0	5251	1443
0	1	3
1	1	3

simplify175.0ms

Counts

53 → 53

Iterations

Useful iterations: 0 (153.0ms)

Iter	Nodes	Cost
0	4932	900
1	4932	900

prune37.0ms

Filtered

32 candidates to 53 candidates (-65.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	50	3	53
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	51	3	54

Merged error: 0b

Counts

54 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (+.f64 x 1))
0.3b	(cbrt.f64 (+.f64 x 1))
0.3b	(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
0.3b	(*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

64×	`cbrt-prod_binary64_2372`
58×	`*-un-lft-identity_binary64_2405`
50×	`add-sqr-sqrt_binary64_2390`
28×	`cbrt-div_binary64_2373`
22×	`add-cube-cbrt_binary64_2376`
20×	`swap-sqr_binary64_2432`
18×	`pow1_binary64_2347`
16×	`associate-r_binary64_2464` `associate-l_binary64_2465`
14×	`pow1/3_binary64_2339`
8×	`flip3-+_binary64_2403` `difference-of-squares_binary64_2434` `frac-times_binary64_2397` `distribute-lft-out_binary64_2449` `flip-+_binary64_2430` `unswap-sqr_binary64_2433` `add-exp-log_binary64_2369`
6×	`flip--_binary64_2431` `distribute-lft-out--_binary64_2450` `flip3--_binary64_2404`
4×	`pow-prod-down_binary64_2328` `associate-l/_binary64_2467` `add-log-exp_binary64_2370` `pow-sqr_binary64_2438` `pow-prod-up_binary64_2327` `add-cbrt-cube_binary64_2377` `associate-r/_binary64_2466`
2×	`pow2_binary64_2338` `cbrt-unprod_binary64_2374` `prod-exp_binary64_2352` `*-commutative_binary64_2473` `pow-plus_binary64_2342`

Counts

4 → 140

Calls

4 calls:

4.0ms	(cbrt.f64 (+.f64 x 1))
4.0ms	(cbrt.f64 (+.f64 x 1))
13.0ms	(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
17.0ms	(*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))

series464.0ms

Counts

4 → 12

Calls

4 calls:

94.0ms	(cbrt.f64 (+.f64 x 1))
96.0ms	(cbrt.f64 (+.f64 x 1))
127.0ms	(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
146.0ms	(*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	66	2037
1	66	2037
0	402	2016
1	402	2016
0	66	2037
1	66	2037
0	402	2016
1	402	2016
0	1	3
1	1	3
0	66	2037
1	66	2037
0	306	2016
1	306	2016
0	66	2037
1	66	2037
0	306	2016
1	306	2016
0	1	3
1	1	3
0	36	1941
1	36	1941
0	48	1926
1	48	1926
0	36	1941
1	36	1941
0	48	1926
1	48	1926
0	1	3
1	1	3
0	36	1941
1	36	1941
0	48	1926
1	48	1926
0	36	1941
1	36	1941
0	48	1926
1	48	1926
0	1	3
1	1	3

simplify137.0ms

Counts

152 → 152

Iterations

Useful iterations: 0 (100.0ms)

Iter	Nodes	Cost
0	4881	1997
1	4881	1997

prune180.0ms

Filtered

93 candidates to 152 candidates (-63.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	152	3	155

Merged error: 0b

Counts

155 → 3

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/.f64 1 (-.f64 1 x))
0.1b	(*.f64 (+.f64 x 1) (/.f64 1 (-.f64 1 x)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

52×	`add-sqr-sqrt_binary64_2390`
48×	`*-un-lft-identity_binary64_2405`
38×	`times-frac_binary64_2400`
24×	`associate-r_binary64_2464` `add-cube-cbrt_binary64_2376`
15×	`add-exp-log_binary64_2369`
14×	`difference-of-squares_binary64_2434`
9×	`add-cbrt-cube_binary64_2377`
7×	`distribute-lft-out--_binary64_2450`
6×	`associate-/r*_binary64_2468`
5×	`pow1_binary64_2347`
4×	`associate-/r/_binary64_2470` `div-exp_binary64_2354` `prod-exp_binary64_2352` `associate-l_binary64_2465`
3×	`unswap-sqr_binary64_2433` `associate-/l*_binary64_2469`
2×	`flip3-+_binary64_2403` `div-inv_binary64_2406` `cbrt-unprod_binary64_2374` `1-exp_binary64_2365` `frac-times_binary64_2397` `flip--_binary64_2431` `flip-+_binary64_2430` `associate-*l/_binary64_2467` `cbrt-undiv_binary64_2375` `rec-exp_binary64_2353` `add-log-exp_binary64_2370` `flip3--_binary64_2404`
1×	`pow-flip_binary64_2331` `un-div-inv_binary64_2407` `pow-prod-down_binary64_2328` `distribute-lft-out_binary64_2449` `frac-2neg_binary64_2398` `clear-num_binary64_2408` `inv-pow_binary64_2323` `-commutative_binary64_2473` `associate-r/_binary64_2466`

Counts

2 → 97

Calls

2 calls:

7.0ms	(/.f64 1 (-.f64 1 x))
19.0ms	(*.f64 (+.f64 x 1) (/.f64 1 (-.f64 1 x)))

series523.0ms

Counts

2 → 6

Calls

2 calls:

259.0ms	(/.f64 1 (-.f64 1 x))
264.0ms	(*.f64 (+.f64 x 1) (/.f64 1 (-.f64 1 x)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	303	1878
1	303	1878
0	6081	1512
0	303	1878
1	303	1878
0	6081	1512
0	1	3
1	1	3
0	331	1600
1	331	1600
0	6278	1285
0	331	1600
1	331	1600
0	6278	1285
0	1	3
1	1	3

simplify158.0ms

Counts

103 → 103

Iterations

Useful iterations: 0 (130.0ms)

Iter	Nodes	Cost
0	4920	1261
1	4920	1261

prune57.0ms

Filtered

61 candidates to 103 candidates (-68.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	103	3	106

Merged error: 0b

Counts

106 → 3

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(-.f64 1 (*.f64 x x))
0.1b	(.f64 (/.f64 (+.f64 x 1) (-.f64 1 (.f64 x x))) (+.f64 1 x))
16.7b	(/.f64 (+.f64 x 1) (-.f64 1 (*.f64 x x)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

59×	`*-un-lft-identity_binary64_2405`
41×	`times-frac_binary64_2400`
40×	`add-sqr-sqrt_binary64_2390`
26×	`associate-l_binary64_2465`
25×	`add-cube-cbrt_binary64_2376`
20×	`difference-of-squares_binary64_2434`
12×	`distribute-lft-out_binary64_2449`
10×	`add-exp-log_binary64_2369` `add-cbrt-cube_binary64_2377`
5×	`pow1_binary64_2347` `associate-/r*_binary64_2468` `add-log-exp_binary64_2370`
4×	`associate-r_binary64_2464` `associate-/r/_binary64_2470` `associate-/l*_binary64_2469`
3×	`flip3-+_binary64_2403` `flip--_binary64_2431` `flip-+_binary64_2430` `flip3--_binary64_2404`
2×	`div-inv_binary64_2406` `cbrt-unprod_binary64_2374` `frac-times_binary64_2397` `div-exp_binary64_2354` `prod-exp_binary64_2352` `unswap-sqr_binary64_2433` `cbrt-undiv_binary64_2375` `associate-/l/_binary64_2471` `associate-*r/_binary64_2466`
1×	`pow-prod-down_binary64_2328` `frac-2neg_binary64_2398` `distribute-rgt-in_binary64_2448` `clear-num_binary64_2408` `associate-l/_binary64_2467` `distribute-lft-in_binary64_2447` `-commutative_binary64_2473` `sub-neg_binary64_2409` `diff-log_binary64_2316`

Counts

3 → 110

Calls

3 calls:

4.0ms	(-.f64 1 (*.f64 x x))
18.0ms	(.f64 (/.f64 (+.f64 x 1) (-.f64 1 (.f64 x x))) (+.f64 1 x))
9.0ms	(/.f64 (+.f64 x 1) (-.f64 1 (*.f64 x x)))

series953.0ms

Counts

3 → 9

Calls

3 calls:

413.0ms	(-.f64 1 (*.f64 x x))
266.0ms	(.f64 (/.f64 (+.f64 x 1) (-.f64 1 (.f64 x x))) (+.f64 1 x))
273.0ms	(/.f64 (+.f64 x 1) (-.f64 1 (*.f64 x x)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	400	1950
1	400	1950
0	5852	1749
0	400	1950
1	400	1950
0	5852	1749
0	1	3
1	1	3
0	369	2064
1	369	2064
0	4968	1917
1	4968	1917
0	369	2064
1	369	2064
0	4968	1917
1	4968	1917
0	1	3
1	1	3
0	164	1478
1	164	1478
0	4718	673
1	4718	673
0	164	1478
1	164	1478
0	4718	673
1	4718	673
0	4911	14
1	4911	14

simplify105.0ms

Counts

119 → 119

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4945	2119
1	4945	2119

prune88.0ms

Filtered

86 candidates to 119 candidates (-38.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	119	0	119
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	119	3	122

Merged error: 0b

Counts

122 → 3

regimes13.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	25	46
1	25	46

end0.0ms

sample259.0ms

Algorithm

intervals

Results

159.0ms

8000×

body

valid

Details

analyze2.0ms

sample9.0ms

simplify21.0ms

prune1.0ms

localize8.0ms

rewrite13.0ms

series254.0ms

simplify175.0ms

prune37.0ms

localize12.0ms

rewrite44.0ms

series464.0ms

simplify137.0ms

prune180.0ms

localize5.0ms

rewrite32.0ms

series523.0ms

simplify158.0ms

prune57.0ms

localize8.0ms

rewrite36.0ms

series953.0ms

simplify105.0ms

prune88.0ms

regimes13.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample259.0ms

Profiling