Details

analyze777.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
5.8%	94%	0.2%	9
7.6%	92.2%	0.2%	10
11.6%	88.2%	0.2%	11
18.5%	81.3%	0.2%	12
32.3%	66.9%	0.8%	13
37%	62.2%	0.8%	14

sample19.0ms

Algorithm

intervals

Results

8.0ms	256×	body	80	valid
2.0ms	49×	body	80	invalid

simplify470.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (455.0ms)

Iter	Nodes	Cost
0	3675	7
1	3675	7

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

Counts

2 → 2

localize4.0ms

Local error

Found 1 expressions with local error:

6.2b	(*.f64 x (/.f64 y z))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64`
13×	`associate-r_binary64`
10×	`times-frac_binary64`
9×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
6×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`pow1_binary64` `associate-l_binary64`
2×	`cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64`
1×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-undiv_binary64` `associate-r/_binary64` `div-inv_binary64` `div-exp_binary64` `insert-posit16` `-commutative_binary64`

Counts

1 → 33

Calls

1 calls:

12.0ms

(*.f64 x (/.f64 y z))

series229.0ms

Counts

1 → 3

Calls

1 calls:

229.0ms

(*.f64 x (/.f64 y z))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	360	321
1	360	321
0	8	9
1	8	9
0	360	321
1	360	321
0	8	9
1	8	9
0	1	3
1	1	3

simplify175.0ms

Counts

36 → 36

Iterations

Useful iterations: 0 (154.0ms)

Iter	Nodes	Cost
0	5176	339

prune29.0ms

Filtered

26 candidates to 36 candidates (-38.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	30	6	36
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	31	7	38

Merged error: 0.0b

Counts

38 → 7

localize4.0ms

Local error

Found 1 expressions with local error:

4.9b	(/.f64 (*.f64 x y) z)

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`-un-lft-identity_binary64` `associate-/r_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `times-frac_binary64`
2×	`cbrt-undiv_binary64` `div-exp_binary64`
1×	`add-log-exp_binary64` `pow1_binary64` `cbrt-unprod_binary64` `clear-num_binary64` `prod-exp_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64` `insert-posit16`

Counts

1 → 22

Calls

1 calls:

6.0ms

(/.f64 (*.f64 x y) z)

series215.0ms

Counts

1 → 3

Calls

1 calls:

215.0ms

(/.f64 (*.f64 x y) z)

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	313	294
1	313	294
0	8	9
1	8	9
0	313	294
1	313	294
0	8	9
1	8	9
0	1	3
1	1	3

simplify181.0ms

Counts

25 → 25

Iterations

Useful iterations: 0 (164.0ms)

Iter	Nodes	Cost
0	4748	210
1	4748	210

prune16.0ms

Filtered

15 candidates to 25 candidates (-66.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	22	3	25
Fresh	4	1	5
Picked	0	1	1
Done	0	1	1
Total	26	6	32

Merged error: 0.0b

Counts

32 → 6

localize8.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
4.2b	(.f64 (.f64 x (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (cbrt.f64 y) z))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-exp-log_binary64`
22×	`associate-r_binary64`
20×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
18×	`add-cbrt-cube_binary64` `times-frac_binary64` `cbrt-prod_binary64`
13×	`pow1_binary64`
12×	`cbrt-unprod_binary64` `prod-exp_binary64`
6×	`pow-prod-down_binary64`
4×	`add-log-exp_binary64` `insert-posit16`
3×	`cbrt-undiv_binary64` `pow1/3_binary64` `div-exp_binary64`
1×	`associate-r/_binary64` `associate-l_binary64` `div-inv_binary64` `-commutative_binary64`

Counts

4 → 84

Calls

4 calls:

1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
16.0ms	(.f64 (.f64 x (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (cbrt.f64 y) z))

series1.4s

Counts

4 → 12

Calls

4 calls:

276.0ms	(cbrt.f64 y)
283.0ms	(cbrt.f64 y)
277.0ms	(cbrt.f64 y)
515.0ms	(.f64 (.f64 x (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (cbrt.f64 y) z))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	537	1828
1	537	1828
0	4392	9
1	4392	9
0	537	1828
1	537	1828
0	4392	9
1	4392	9
0	1	3
1	1	3
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	4890	50
1	4890	50
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	4890	50
1	4890	50
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	4890	50
1	4890	50

simplify161.0ms

Counts

96 → 96

Iterations

Useful iterations: 0 (131.0ms)

Iter	Nodes	Cost
0	4903	1032
1	4903	1032

prune61.0ms

Filtered

74 candidates to 96 candidates (-29.7%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	95	1	96
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	95	7	102

Merged error: 0.0b

Counts

102 → 7

localize6.0ms

Local error

Found 2 expressions with local error:

0.4b	(/.f64 1 (/.f64 z (*.f64 x y)))
4.9b	(/.f64 z (*.f64 x y))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac_binary64`
28×	`add-exp-log_binary64`
20×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
16×	`add-cbrt-cube_binary64`
14×	`div-exp_binary64`
8×	`associate-/r*_binary64`
7×	`cbrt-undiv_binary64`
6×	`associate-/l*_binary64` `div-inv_binary64`
4×	`prod-exp_binary64`
3×	`pow1_binary64` `1-exp_binary64` `rec-exp_binary64`
2×	`add-log-exp_binary64` `cbrt-unprod_binary64` `clear-num_binary64` `frac-2neg_binary64` `insert-posit16`
1×	`associate-/r/_binary64` `inv-pow_binary64` `pow-flip_binary64`

Counts

2 → 79

Calls

2 calls:

8.0ms	(/.f64 1 (/.f64 z (*.f64 x y)))
5.0ms	(/.f64 z (*.f64 x y))

series942.0ms

Counts

2 → 6

Calls

2 calls:

638.0ms	(/.f64 1 (/.f64 z (*.f64 x y)))
303.0ms	(/.f64 z (*.f64 x y))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	520	342
1	520	342
0	8	9
1	8	9
0	520	342
1	520	342
0	8	9
1	8	9
0	1	3
1	1	3
0	635	639
1	635	639
0	7	9
1	7	9
0	635	639
1	635	639
0	7	9
1	7	9
0	5572	39

simplify154.0ms

Counts

85 → 85

Iterations

Useful iterations: 0 (127.0ms)

Iter	Nodes	Cost
0	5012	975

prune35.0ms

Filtered

51 candidates to 85 candidates (-66.7%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	1	2	3
Picked	0	1	1
Done	0	3	3
Total	85	7	92

Merged error: 0b

Counts

92 → 7

regimes116.0ms

Accuracy

66.5% (2.0b remaining)

Error of 2.0b against oracle of 0.0b and baseline of 5.9b

bsearch1.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	30	43
1	30	43

end0.0ms

sample554.0ms

Algorithm

intervals

Results

266.0ms	8000×	body	80	valid
55.0ms	1550×	body	80	invalid

Details

analyze777.0ms

sample19.0ms

simplify470.0ms

prune4.0ms

localize4.0ms

rewrite14.0ms

series229.0ms

simplify175.0ms

prune29.0ms

localize4.0ms

rewrite7.0ms

series215.0ms

simplify181.0ms

prune16.0ms

localize8.0ms

rewrite23.0ms

series1.4s

simplify161.0ms

prune61.0ms

localize6.0ms

rewrite16.0ms

series942.0ms

simplify154.0ms

prune35.0ms

regimes116.0ms

bsearch1.0ms

simplify7.0ms

end0.0ms

sample554.0ms

Profiling