Details

sample46.0ms

Algorithm

intervals

Results

16.0ms	276×	body	80	valid
11.0ms	249×	body	80	nan

simplify1.9s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	14
1	24	14
2	63	14
3	146	14
4	238	14
5	373	14
6	612	14
7	862	14
8	1304	14
9	2541	14
10	4753	14
done	5000	14

prune3.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.4b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ y (/ 1.0 (* x 9.0)))
0.2b	(* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
0.3b	(* 3.0 (sqrt x))
0.3b	(/ 1.0 (* x 9.0))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

17×	`*-un-lft-identity`
16×	`add-exp-log` `add-sqr-sqrt` `add-cbrt-cube`
12×	`associate-r`
11×	`pow1`
10×	`add-cube-cbrt`
6×	`add-log-exp`
5×	`prod-exp` `cbrt-unprod`
4×	`associate-l` `pow-prod-down` `sqrt-prod`
3×	`distribute-rgt-in` `distribute-lft-in` `times-frac` `associate-/l*`
2×	`cbrt-undiv` `sub-neg` `associate-r/` `div-exp` `associate--l+` `-commutative` `distribute-lft-out` `distribute-lft-out--` `unswap-sqr`
1×	`+-commutative` `flip3--` `frac-2neg` `flip3-+` `clear-num` `associate-/r*` `sum-log` `flip--` `flip-+` `div-inv` `difference-of-squares`

Counts

4 → 84

Calls

4 calls:

6.0ms	(+ y (/ 1.0 (* x 9.0)))
13.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
6.0ms	(* 3.0 (sqrt x))
5.0ms	(/ 1.0 (* x 9.0))

series24.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(+ y (/ 1.0 (* x 9.0)))
13.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
4.0ms	(* 3.0 (sqrt x))
2.0ms	(/ 1.0 (* x 9.0))

simplify568.0ms

Counts

96 → 96

Iterations

Useful iterations: done (565.0ms)

Iter	Nodes	Cost
0	188	1180
1	514	1098
2	2093	992
done	5001	981

prune181.0ms

Filtered

66 candidates to 96 candidates (-45.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	85	11	96
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	86	11	97

Merged error: 0.0b

Counts

97 → 11

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ y (/ 0.1111111111111111 x))
0.2b	(* (* 3.0 (sqrt x)) (- (+ y (/ 0.1111111111111111 x)) 1.0))
0.3b	(* 3.0 (sqrt x))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

14×	`*-un-lft-identity`
13×	`add-sqr-sqrt`
12×	`associate-r`
10×	`pow1` `add-exp-log` `add-cbrt-cube`
7×	`add-cube-cbrt`
5×	`add-log-exp`
4×	`associate-l` `pow-prod-down` `prod-exp` `sqrt-prod` `cbrt-unprod`
3×	`distribute-rgt-in` `distribute-lft-in`
2×	`sub-neg` `associate-r/` `associate--l+` `-commutative` `distribute-lft-out` `distribute-lft-out--` `unswap-sqr`
1×	`+-commutative` `flip3--` `flip3-+` `sum-log` `flip--` `flip-+` `difference-of-squares`

Counts

3 → 63

Calls

3 calls:

6.0ms	(+ y (/ 0.1111111111111111 x))
14.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 0.1111111111111111 x)) 1.0))
5.0ms	(* 3.0 (sqrt x))

series22.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(+ y (/ 0.1111111111111111 x))
13.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 0.1111111111111111 x)) 1.0))
4.0ms	(* 3.0 (sqrt x))

simplify758.0ms

Counts

72 → 72

Iterations

Useful iterations: done (750.0ms)

Iter	Nodes	Cost
0	150	895
1	428	834
2	1718	752
done	5001	745

prune126.0ms

Filtered

48 candidates to 72 candidates (-50.0%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	68	4	72
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	73	10	83

Merged error: 0.0b

Counts

83 → 10

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ y (/ (/ 1.0 x) 9.0))
0.2b	(* (* 3.0 (sqrt x)) (- (+ y (/ (/ 1.0 x) 9.0)) 1.0))
0.3b	(/ (/ 1.0 x) 9.0)
0.3b	(* 3.0 (sqrt x))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

75×	`times-frac`
57×	`*-un-lft-identity`
56×	`add-sqr-sqrt`
50×	`add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/l*`
12×	`associate-r`
11×	`pow1`
6×	`add-log-exp`
5×	`div-inv`
4×	`associate-l` `pow-prod-down` `prod-exp` `sqrt-prod` `cbrt-unprod`
3×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in` `div-exp` `associate-/r*`
2×	`sub-neg` `associate-r/` `associate--l+` `-commutative` `distribute-lft-out` `distribute-lft-out--` `unswap-sqr`
1×	`+-commutative` `flip3--` `frac-2neg` `flip3-+` `clear-num` `sum-log` `flip--` `flip-+` `associate-/l/` `difference-of-squares`

Counts

4 → 133

Calls

4 calls:

14.0ms	(+ y (/ (/ 1.0 x) 9.0))
22.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ (/ 1.0 x) 9.0)) 1.0))
7.0ms	(/ (/ 1.0 x) 9.0)
5.0ms	(* 3.0 (sqrt x))

series29.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(+ y (/ (/ 1.0 x) 9.0))
18.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ (/ 1.0 x) 9.0)) 1.0))
2.0ms	(/ (/ 1.0 x) 9.0)
4.0ms	(* 3.0 (sqrt x))

simplify629.0ms

Counts

145 → 145

Iterations

Useful iterations: done (623.0ms)

Iter	Nodes	Cost
0	288	1857
1	744	1734
2	2683	1624
done	5000	1612

prune251.0ms

Filtered

110 candidates to 145 candidates (-31.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	144	1	145
Fresh	0	9	9
Picked	1	0	1
Done	0	0	0
Total	145	10	155

Merged error: 0.0b

Counts

155 → 10

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* 3.0 (sqrt x)) (- (+ y (/ 1 (/ 9.0 (/ 1.0 x)))) 1.0))
0.3b	(/ 9.0 (/ 1.0 x))
0.3b	(* 3.0 (sqrt x))
0.3b	(/ 1 (/ 9.0 (/ 1.0 x)))

rewrite92.0ms

Algorithm

rewrite-expression-head

Rules

471×	`times-frac`
242×	`*-un-lft-identity`
241×	`add-sqr-sqrt`
235×	`add-cube-cbrt`
57×	`associate-/r*`
37×	`add-exp-log`
25×	`add-cbrt-cube`
23×	`div-inv`
18×	`div-exp`
13×	`associate-r`
12×	`pow1`
9×	`cbrt-undiv`
6×	`associate-/r/` `associate-/l*`
4×	`associate-l` `pow-prod-down` `prod-exp` `sqrt-prod` `cbrt-unprod` `add-log-exp`
3×	`distribute-rgt-in` `rec-exp` `distribute-lft-in` `1-exp` `distribute-lft-out--`
2×	`sub-neg` `frac-2neg` `associate-r/` `associate--l+` `clear-num` `-commutative` `distribute-lft-out` `unswap-sqr`
1×	`flip3--` `pow-flip` `flip--` `inv-pow` `difference-of-squares`

Counts

4 → 326

Calls

4 calls:

45.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 1 (/ 9.0 (/ 1.0 x)))) 1.0))
7.0ms	(/ 9.0 (/ 1.0 x))
6.0ms	(* 3.0 (sqrt x))
13.0ms	(/ 1 (/ 9.0 (/ 1.0 x)))

series22.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 1 (/ 9.0 (/ 1.0 x)))) 1.0))
2.0ms	(/ 9.0 (/ 1.0 x))
4.0ms	(* 3.0 (sqrt x))
2.0ms	(/ 1 (/ 9.0 (/ 1.0 x)))

simplify405.0ms

Counts

338 → 338

Iterations

Useful iterations: done (388.0ms)

Iter	Nodes	Cost
0	543	5379
1	1337	4716
done	5001	4373

prune451.0ms

Filtered

199 candidates to 338 candidates (-69.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	337	1	338
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	338	10	348

Merged error: 0.0b

Counts

348 → 10

regimes218.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	16
1	19	16
done	19	16

end0.0ms

sample1.3s

Algorithm

intervals

Results

389.0ms	8589×	body	80	valid
383.0ms	8399×	body	80	nan

Details

sample46.0ms

simplify1.9s

prune3.0ms

localize10.0ms

rewrite32.0ms

series24.0ms

simplify568.0ms

prune181.0ms

localize12.0ms

rewrite28.0ms

series22.0ms

simplify758.0ms

prune126.0ms

localize10.0ms

rewrite54.0ms

series29.0ms

simplify629.0ms

prune251.0ms

localize11.0ms

rewrite92.0ms

series22.0ms

simplify405.0ms

prune451.0ms

regimes218.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling