Details

analyze727.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
6.2%	93.6%	0.2%	9
9.4%	90.4%	0.2%	10
12.5%	85.6%	1.9%	11
19.8%	76.5%	3.7%	12
26.1%	64.4%	9.6%	13
31.7%	54.5%	13.7%	14

sample19.0ms

Algorithm

intervals

Results

7.0ms	256×	body	80	valid
2.0ms	74×	body	80	invalid

simplify198.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (182.0ms)

Iter	Nodes	Cost
0	1547	13
1	1547	13

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

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))
0.0b	(*.f64 (-.f64 y z) (-.f64 t x))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary64`
8×	`*-un-lft-identity_binary64`
6×	`flip3--_binary64` `flip--_binary64`
5×	`associate-r_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64` `sub-neg_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `frac-times_binary64`
2×	`associate-r/_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `insert-posit16` `associate-+r+_binary64` `associate-l/_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

2 → 47

Calls

2 calls:

5.0ms	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))
12.0ms	(*.f64 (-.f64 y z) (-.f64 t x))

series664.0ms

Counts

2 → 6

Calls

2 calls:

437.0ms	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))
227.0ms	(*.f64 (-.f64 y z) (-.f64 t x))

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	316	243
1	316	243
0	25	33
1	25	33
0	316	243
1	316	243
0	25	33
1	25	33
0	22	3
1	22	3
0	376	279
1	376	279
0	29	36
1	29	36
0	376	279
1	376	279
0	29	36
1	29	36
0	22	3
1	22	3

simplify95.0ms

Counts

53 → 53

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4993	816
1	4993	816

prune38.0ms

Filtered

40 candidates to 53 candidates (-32.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	48	5	53
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	48	6	54

Merged error: 0b

Counts

54 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (+.f64 (.f64 (-.f64 y z) t) (.f64 (-.f64 y z) (neg.f64 x))))
0.0b	(*.f64 (-.f64 y z) (neg.f64 x))
0.0b	(*.f64 (-.f64 y z) t)
0.0b	(+.f64 (.f64 (-.f64 y z) t) (.f64 (-.f64 y z) (neg.f64 x)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64`
16×	`*-un-lft-identity_binary64`
13×	`associate-r_binary64`
12×	`associate-*l/_binary64`
11×	`add-log-exp_binary64`
10×	`add-cube-cbrt_binary64` `associate-l_binary64`
8×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
6×	`flip3--_binary64` `flip--_binary64`
4×	`frac-add_binary64` `insert-posit16` `sum-log_binary64`
3×	`distribute-rgt-neg-out_binary64` `distribute-lft-neg-in_binary64` `distribute-rgt-neg-in_binary64`
2×	`pow-prod-down_binary64` `flip3-+_binary64` `cbrt-unprod_binary64` `distribute-lft-out_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `+-commutative_binary64` `flip-+_binary64` `unsub-neg_binary64` `*-commutative_binary64`
1×	`associate-+r-_binary64` `neg-mul-1_binary64` `associate-+r+_binary64`

Counts

4 → 88

Calls

4 calls:

11.0ms	(+.f64 x (+.f64 (.f64 (-.f64 y z) t) (.f64 (-.f64 y z) (neg.f64 x))))
12.0ms	(*.f64 (-.f64 y z) (neg.f64 x))
8.0ms	(*.f64 (-.f64 y z) t)
11.0ms	(+.f64 (.f64 (-.f64 y z) t) (.f64 (-.f64 y z) (neg.f64 x)))

series921.0ms

Counts

4 → 12

Calls

4 calls:

274.0ms	(+.f64 x (+.f64 (.f64 (-.f64 y z) t) (.f64 (-.f64 y z) (neg.f64 x))))
201.0ms	(*.f64 (-.f64 y z) (neg.f64 x))
194.0ms	(*.f64 (-.f64 y z) t)
252.0ms	(+.f64 (.f64 (-.f64 y z) t) (.f64 (-.f64 y z) (neg.f64 x)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	385	383
1	385	383
0	6	9
1	6	9
0	385	383
1	385	383
0	6	9
1	6	9
0	1	3
1	1	3
0	255	183
1	255	183
0	15	21
1	15	21
0	255	183
1	255	183
0	15	21
1	15	21
0	39	3
1	39	3
0	282	203
1	282	203
0	7	9
1	7	9
0	282	203
1	282	203
0	7	9
1	7	9
0	1	3
1	1	3
0	448	419
1	448	419
0	25	39
1	25	39
0	448	419
1	448	419
0	25	39
1	25	39
0	44	3
1	44	3

simplify142.0ms

Counts

100 → 100

Iterations

Useful iterations: 0 (112.0ms)

Iter	Nodes	Cost
0	4991	1316
1	4991	1316

prune61.0ms

Filtered

72 candidates to 100 candidates (-38.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	99	1	100
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	100	6	106

Merged error: 0b

Counts

106 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (.f64 (-.f64 y z) (-.f64 t x))) (cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x))))
1.7b	(cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x)))
1.7b	(cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x)))
1.7b	(cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x)))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

168×	`cbrt-div_binary64`
148×	`frac-times_binary64`
126×	`flip3--_binary64` `flip--_binary64`
50×	`associate-r/_binary64` `associate-l/_binary64`
11×	`pow1_binary64`
10×	`add-sqr-sqrt_binary64`
9×	`pow1/3_binary64`
8×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
7×	`cbrt-prod_binary64`
6×	`add-exp-log_binary64`
4×	`add-log-exp_binary64` `swap-sqr_binary64` `associate-r_binary64` `add-cbrt-cube_binary64` `associate-l_binary64` `insert-posit16`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `pow-sqr_binary64`
1×	`cbrt-unprod_binary64` `pow-plus_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 166

Calls

4 calls:

13.0ms	(.f64 (cbrt.f64 (.f64 (-.f64 y z) (-.f64 t x))) (cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x))))
9.0ms	(cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x)))
9.0ms	(cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x)))
9.0ms	(cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x)))

series751.0ms

Counts

4 → 12

Calls

4 calls:

206.0ms	(.f64 (cbrt.f64 (.f64 (-.f64 y z) (-.f64 t x))) (cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x))))
184.0ms	(cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x)))
180.0ms	(cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x)))
182.0ms	(cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x)))

Iterations

Useful iterations: 0 (15.0ms)

Iter	Nodes	Cost
0	184	1728
1	184	1728
0	39	1566
1	39	1566
0	184	1728
1	184	1728
0	39	1566
1	39	1566
0	115	33
1	115	33
0	184	1728
1	184	1728
0	39	1566
1	39	1566
0	184	1728
1	184	1728
0	39	1566
1	39	1566
0	115	33
1	115	33
0	184	1728
1	184	1728
0	39	1566
1	39	1566
0	184	1728
1	184	1728
0	39	1566
1	39	1566
0	115	33
1	115	33
0	264	1917
1	264	1917
0	91	1611
1	91	1611
0	264	1917
1	264	1917
0	91	1611
1	91	1611
0	216	48
1	216	48

simplify161.0ms

Counts

178 → 178

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	5144	7393

prune160.0ms

Filtered

128 candidates to 178 candidates (-39.1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	178	0	178
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	178	6	184

Merged error: 0b

Counts

184 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (-.f64 y z))
0.0b	(sqrt.f64 (-.f64 y z))
0.2b	(*.f64 (-.f64 t x) (sqrt.f64 (-.f64 y z)))
0.2b	(.f64 (sqrt.f64 (-.f64 y z)) (.f64 (-.f64 t x) (sqrt.f64 (-.f64 y z))))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

46×	`sqrt-div_binary64`
35×	`flip3--_binary64` `flip--_binary64`
32×	`frac-times_binary64`
27×	`add-sqr-sqrt_binary64`
21×	`*-un-lft-identity_binary64` `sqrt-prod_binary64`
16×	`associate-*r/_binary64`
13×	`pow1_binary64` `associate-l_binary64`
11×	`add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`associate-*l/_binary64`
9×	`associate-r_binary64`
5×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `insert-posit16`
2×	`pow1/2_binary64` `sqrt-pow1_binary64` `unswap-sqr_binary64` `rem-sqrt-square_binary64` `*-commutative_binary64`

Counts

4 → 121

Calls

4 calls:

4.0ms	(sqrt.f64 (-.f64 y z))
4.0ms	(sqrt.f64 (-.f64 y z))
13.0ms	(*.f64 (-.f64 t x) (sqrt.f64 (-.f64 y z)))
20.0ms	(.f64 (sqrt.f64 (-.f64 y z)) (.f64 (-.f64 t x) (sqrt.f64 (-.f64 y z))))

series1.3s

Counts

4 → 12

Calls

4 calls:

285.0ms	(sqrt.f64 (-.f64 y z))
289.0ms	(sqrt.f64 (-.f64 y z))
376.0ms	(*.f64 (-.f64 t x) (sqrt.f64 (-.f64 y z)))
303.0ms	(.f64 (sqrt.f64 (-.f64 y z)) (.f64 (-.f64 t x) (sqrt.f64 (-.f64 y z))))

Iterations

Useful iterations: 0 (9.0ms)

Iter	Nodes	Cost
0	464	729
1	464	729
0	38	45
1	38	45
0	464	729
1	464	729
0	38	45
1	38	45
0	22	3
1	22	3
0	411	372
1	411	372
0	41	49
1	41	49
0	411	372
1	411	372
0	41	49
1	41	49
0	5131	3
0	236	171
1	236	171
0	39	63
1	39	63
0	236	171
1	236	171
0	39	63
1	39	63
0	4685	20
1	4685	20
0	236	171
1	236	171
0	39	63
1	39	63
0	236	171
1	236	171
0	39	63
1	39	63
0	4685	20
1	4685	20

simplify135.0ms

Counts

133 → 133

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	5471	2488

prune85.0ms

Filtered

97 candidates to 133 candidates (-37.1%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	133	0	133
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	133	6	139

Merged error: 0b

Counts

139 → 6

regimes86.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	29	13
1	29	13

end0.0ms

sample538.0ms

Algorithm

intervals

Results

220.0ms	8000×	body	80	valid
62.0ms	2386×	body	80	invalid

Iter	Nodes	Cost
0	316	243
1	316	243
0	25	33
1	25	33
0	316	243
1	316	243
0	25	33
1	25	33
0	22	3
1	22	3
0	376	279
1	376	279
0	29	36
1	29	36
0	376	279
1	376	279
0	29	36
1	29	36
0	22	3
1	22	3

Iter	Nodes	Cost
0	385	383
1	385	383
0	6	9
1	6	9
0	385	383
1	385	383
0	6	9
1	6	9
0	1	3
1	1	3
0	255	183
1	255	183
0	15	21
1	15	21
0	255	183
1	255	183
0	15	21
1	15	21
0	39	3
1	39	3
0	282	203
1	282	203
0	7	9
1	7	9
0	282	203
1	282	203
0	7	9
1	7	9
0	1	3
1	1	3
0	448	419
1	448	419
0	25	39
1	25	39
0	448	419
1	448	419
0	25	39
1	25	39
0	44	3
1	44	3

Iter	Nodes	Cost
0	316	243
1	316	243
0	25	33
1	25	33
0	316	243
1	316	243
0	25	33
1	25	33
0	22	3
1	22	3
0	376	279
1	376	279
0	29	36
1	29	36
0	376	279
1	376	279
0	29	36
1	29	36
0	22	3
1	22	3

Iter	Nodes	Cost
0	385	383
1	385	383
0	6	9
1	6	9
0	385	383
1	385	383
0	6	9
1	6	9
0	1	3
1	1	3
0	255	183
1	255	183
0	15	21
1	15	21
0	255	183
1	255	183
0	15	21
1	15	21
0	39	3
1	39	3
0	282	203
1	282	203
0	7	9
1	7	9
0	282	203
1	282	203
0	7	9
1	7	9
0	1	3
1	1	3
0	448	419
1	448	419
0	25	39
1	25	39
0	448	419
1	448	419
0	25	39
1	25	39
0	44	3
1	44	3

Details

analyze727.0ms

sample19.0ms

simplify198.0ms

prune1.0ms

localize10.0ms

rewrite19.0ms

series664.0ms

simplify95.0ms

prune38.0ms

localize9.0ms

rewrite45.0ms

series921.0ms

simplify142.0ms

prune61.0ms

localize11.0ms

rewrite61.0ms

series751.0ms

simplify161.0ms

prune160.0ms

localize9.0ms

rewrite48.0ms

series1.3s

simplify135.0ms

prune85.0ms

regimes86.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample538.0ms

Profiling

Iter	Nodes	Cost
0	316	243
1	316	243
0	25	33
1	25	33
0	316	243
1	316	243
0	25	33
1	25	33
0	22	3
1	22	3
0	376	279
1	376	279
0	29	36
1	29	36
0	376	279
1	376	279
0	29	36
1	29	36
0	22	3
1	22	3

Iter	Nodes	Cost
0	385	383
1	385	383
0	6	9
1	6	9
0	385	383
1	385	383
0	6	9
1	6	9
0	1	3
1	1	3
0	255	183
1	255	183
0	15	21
1	15	21
0	255	183
1	255	183
0	15	21
1	15	21
0	39	3
1	39	3
0	282	203
1	282	203
0	7	9
1	7	9
0	282	203
1	282	203
0	7	9
1	7	9
0	1	3
1	1	3
0	448	419
1	448	419
0	25	39
1	25	39
0	448	419
1	448	419
0	25	39
1	25	39
0	44	3
1	44	3