Details

analyze3.0ms

Algorithm

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

sample22.0ms

Algorithm

intervals

Results

11.0ms	256×	body	80	valid
7.0ms	256×	pre	80	true

simplify74.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	473	10
1	473	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: 8.3b

Counts

2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

1.0b	(/.f64 x0 (-.f64 1 x1))
7.4b	(-.f64 (/.f64 x0 (-.f64 1 x1)) x0)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64`
27×	`*-un-lft-identity_binary64`
19×	`times-frac_binary64`
13×	`add-cube-cbrt_binary64`
10×	`difference-of-squares_binary64`
6×	`associate-/r*_binary64`
5×	`distribute-lft-out--_binary64`
4×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`associate-/l*_binary64`
2×	`pow1_binary64` `flip3--_binary64` `associate-/r/_binary64` `insert-posit16` `flip--_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

2 → 57

Calls

2 calls:

7.0ms	(/.f64 x0 (-.f64 1 x1))
15.0ms	(-.f64 (/.f64 x0 (-.f64 1 x1)) x0)

series2.3s

Counts

2 → 6

Calls

2 calls:

1.1s	(/.f64 x0 (-.f64 1 x1))
1.3s	(-.f64 (/.f64 x0 (-.f64 1 x1)) x0)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	23287	9
1	23287	9
0	23287	9
1	23287	9
0	1	3
1	1	3
0	36481	9
0	36481	9
0	1	3
1	1	3

simplify98.0ms

Counts

63 → 63

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5071	853

prune37.0ms

Filtered

45 candidates to 63 candidates (-40.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	61	2	63
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	62	2	64

Merged error: 6.7b

Counts

64 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (-.f64 1 x1) (-.f64 1 x1))
0.5b	(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
1.0b	(/.f64 x0 (-.f64 1 x1))
5.9b	(-.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

53×	`*-un-lft-identity_binary64`
49×	`add-sqr-sqrt_binary64`
19×	`add-cube-cbrt_binary64` `times-frac_binary64`
18×	`difference-of-squares_binary64`
11×	`pow1_binary64` `distribute-lft-out--_binary64`
8×	`add-log-exp_binary64` `flip3--_binary64` `swap-sqr_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `flip--_binary64`
6×	`associate-/r_binary64` `associate-r_binary64` `associate-l*_binary64`
4×	`insert-posit16` `frac-times_binary64`
3×	`sub-neg_binary64` `associate-/l*_binary64`
2×	`associate-r/_binary64` `associate-/r/_binary64` `associate-l/_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `distribute-lft-out_binary64` `pow-prod-up_binary64` `cbrt-undiv_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `pow-plus_binary64` `unswap-sqr_binary64` `clear-num_binary64` `prod-exp_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `pow-sqr_binary64` `+-commutative_binary64` `flip-+_binary64` `pow2_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

4 → 117

Calls

4 calls:

13.0ms	(*.f64 (-.f64 1 x1) (-.f64 1 x1))
12.0ms	(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
7.0ms	(/.f64 x0 (-.f64 1 x1))
19.0ms	(-.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)

series4.3s

Counts

4 → 12

Calls

4 calls:

850.0ms	(*.f64 (-.f64 1 x1) (-.f64 1 x1))
1.5s	(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
1.0s	(/.f64 x0 (-.f64 1 x1))
895.0ms	(-.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	26519	9
0	26519	9
0	1	3
1	1	3
0	36481	9
0	36481	9
0	1	3
1	1	3
0	25404	9
0	25404	9
0	1	3
1	1	3
0	27104	9
0	27104	9
0	1	3
1	1	3

simplify84.0ms

Counts

129 → 129

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5147	1700

prune105.0ms

Filtered

86 candidates to 129 candidates (-50.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	127	2	129
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	129	2	131

Merged error: 5.2b

Counts

131 → 2

localize21.0ms

Local error

Found 4 expressions with local error:

1.3b	(pow.f64 (-.f64 1 x1) 6)
1.3b	(pow.f64 (sqrt.f64 (-.f64 1 x1)) 4)
1.3b	(pow.f64 (-.f64 1 x1) 4)
4.3b	(-.f64 (/.f64 (pow.f64 x0 3) (pow.f64 (-.f64 1 x1) 6)) (pow.f64 x0 3))

rewrite120.0ms

Algorithm

rewrite-expression-head

Rules

131×	`add-sqr-sqrt_binary64`
62×	`unpow-prod-down_binary64`
58×	`difference-of-squares_binary64`
48×	`times-frac_binary64`
44×	`sqr-pow_binary64`
25×	`cube-prod_binary64`
22×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
9×	`pow-unpow_binary64`
8×	`pow1_binary64`
7×	`add-exp-log_binary64`
6×	`add-log-exp_binary64` `sqrt-prod_binary64`
5×	`pow-pow_binary64`
4×	`add-cbrt-cube_binary64` `distribute-lft-out--_binary64` `insert-posit16`
3×	`pow-to-exp_binary64` `pow-exp_binary64`
1×	`sub-neg_binary64` `pow1/2_binary64` `flip3--_binary64` `diff-log_binary64` `sqrt-pow2_binary64` `sqrt-pow1_binary64` `flip--_binary64`

Counts

4 → 134

Calls

4 calls:

6.0ms	(pow.f64 (-.f64 1 x1) 6)
7.0ms	(pow.f64 (sqrt.f64 (-.f64 1 x1)) 4)
6.0ms	(pow.f64 (-.f64 1 x1) 4)
92.0ms	(-.f64 (/.f64 (pow.f64 x0 3) (pow.f64 (-.f64 1 x1) 6)) (pow.f64 x0 3))

series2.0s

Counts

4 → 12

Calls

4 calls:

436.0ms	(pow.f64 (-.f64 1 x1) 6)
435.0ms	(pow.f64 (sqrt.f64 (-.f64 1 x1)) 4)
436.0ms	(pow.f64 (-.f64 1 x1) 4)
656.0ms	(-.f64 (/.f64 (pow.f64 x0 3) (pow.f64 (-.f64 1 x1) 6)) (pow.f64 x0 3))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	25583	9
0	25583	9
0	1	3
1	1	3
0	6920	9
1	6920	9
0	6920	9
1	6920	9
0	1	3
1	1	3
0	6758	9
1	6758	9
0	6758	9
1	6758	9
0	1	3
1	1	3
0	6924	9
1	6924	9
0	6924	9
1	6924	9
0	1	3
1	1	3

simplify68.0ms

Counts

146 → 146

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5034	3409

prune196.0ms

Filtered

78 candidates to 146 candidates (-87.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	144	2	146
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	146	2	148

Merged error: 3.9b

Counts

148 → 2

localize35.0ms

Local error

Found 4 expressions with local error:

1.3b	(pow.f64 (-.f64 1 x1) 6)
1.3b	(pow.f64 (sqrt.f64 (-.f64 1 x1)) 4)
1.3b	(pow.f64 (-.f64 1 x1) 4)
4.2b	(-.f64 (pow.f64 (/.f64 (pow.f64 x0 3) (pow.f64 (-.f64 1 x1) 6)) 3) (pow.f64 (pow.f64 x0 3) 3))

rewrite564.0ms

Algorithm

rewrite-expression-head

Rules

586×	`add-sqr-sqrt_binary64`
463×	`unpow-prod-down_binary64`
362×	`cube-prod_binary64`
286×	`difference-of-squares_binary64`
240×	`times-frac_binary64`
237×	`sqr-pow_binary64`
30×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
9×	`pow-unpow_binary64`
8×	`pow1_binary64` `distribute-lft-out--_binary64`
7×	`add-exp-log_binary64`
6×	`add-log-exp_binary64` `sqrt-prod_binary64`
5×	`pow-pow_binary64`
4×	`add-cbrt-cube_binary64` `insert-posit16`
3×	`pow-to-exp_binary64` `pow-exp_binary64`
1×	`difference-cubes_binary64` `sub-neg_binary64` `pow1/2_binary64` `flip3--_binary64` `diff-log_binary64` `sqrt-pow2_binary64` `sqrt-pow1_binary64` `flip--_binary64`

Counts

4 → 367

Calls

4 calls:

6.0ms	(pow.f64 (-.f64 1 x1) 6)
7.0ms	(pow.f64 (sqrt.f64 (-.f64 1 x1)) 4)
6.0ms	(pow.f64 (-.f64 1 x1) 4)
505.0ms	(-.f64 (pow.f64 (/.f64 (pow.f64 x0 3) (pow.f64 (-.f64 1 x1) 6)) 3) (pow.f64 (pow.f64 x0 3) 3))

series2.0s

Counts

4 → 12

Calls

4 calls:

431.0ms	(pow.f64 (-.f64 1 x1) 6)
432.0ms	(pow.f64 (sqrt.f64 (-.f64 1 x1)) 4)
429.0ms	(pow.f64 (-.f64 1 x1) 4)
659.0ms	(-.f64 (pow.f64 (/.f64 (pow.f64 x0 3) (pow.f64 (-.f64 1 x1) 6)) 3) (pow.f64 (pow.f64 x0 3) 3))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	25586	9
0	25586	9
0	1	3
1	1	3
0	6920	9
1	6920	9
0	6920	9
1	6920	9
0	1	3
1	1	3
0	6758	9
1	6758	9
0	6758	9
1	6758	9
0	1	3
1	1	3
0	6924	9
1	6924	9
0	6924	9
1	6924	9
0	1	3
1	1	3

simplify206.0ms

Counts

379 → 379

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	5153	17249

prune549.0ms

Filtered

104 candidates to 379 candidates (-264.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	378	1	379
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	379	2	381

Merged error: 3.8b

Counts

381 → 2

regimes27.0ms

Accuracy

100% (0.0b remaining)

Error of 3.9b against oracle of 3.9b and baseline of 5.3b

bsearch23.0ms

Steps

Iters	Range		Point
7	0.000209	0.0186	0.018204597656249998

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	93	206
1	93	206

end0.0ms

sample431.0ms

Algorithm

intervals

Results

201.0ms	8000×	pre	80	true
143.0ms	8000×	body	80	valid

Details

analyze3.0ms

sample22.0ms

simplify74.0ms

prune1.0ms

localize4.0ms

rewrite25.0ms

series2.3s

simplify98.0ms

prune37.0ms

localize12.0ms

rewrite56.0ms

series4.3s

simplify84.0ms

prune105.0ms

localize21.0ms

rewrite120.0ms

series2.0s

simplify68.0ms

prune196.0ms

localize35.0ms

rewrite564.0ms

series2.0s

simplify206.0ms

prune549.0ms

regimes27.0ms

bsearch23.0ms

simplify7.0ms

end0.0ms

sample431.0ms

Profiling