Details

sample18.0ms

Algorithm

intervals

Results

10.0ms

395×

body

valid

simplify4.1s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	13	9
2	34	9
3	69	9
4	86	9
5	91	9
6	108	9
7	150	9
8	271	9
9	676	9
10	2239	9
done	5000	9

prune2.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.2b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.2b	(* (* x x) (- 3.0 (* x 2.0)))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`add-sqr-sqrt` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`distribute-rgt-in` `add-cube-cbrt` `sub-neg` `-un-lft-identity` `distribute-lft-in` `associate-r/`
1×	`flip3--` `associate-l` `*-commutative` `flip--` `add-log-exp` `unswap-sqr`

Counts

1 → 25

Calls

1 calls:

8.0ms

(* (* x x) (- 3.0 (* x 2.0)))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(* (* x x) (- 3.0 (* x 2.0)))

simplify2.3s

Counts

28 → 28

Iterations

Useful iterations: 2 (107.0ms)

Iter	Nodes	Cost
0	57	367
1	165	352
2	698	294
3	3367	294
done	5000	294

prune46.0ms

Filtered

17 candidates to 28 candidates (-64.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	23	5	28
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	24	5	29

Merged error: 0.0b

Counts

29 → 5

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(* 2.0 (pow x 3))
0.0b	(+ (* (* x x) 3.0) (neg (* 2.0 (pow x 3))))
0.2b	(* (* x x) 3.0)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
15×	`associate-r`
13×	`add-exp-log`
10×	`add-cbrt-cube`
8×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
7×	`add-log-exp`
6×	`prod-exp`
5×	`unswap-sqr`
4×	`unpow-prod-down` `cube-prod` `associate-l` `cbrt-unprod`
3×	`pow-prod-down`
2×	`sum-log` `*-commutative` `sqr-pow`
1×	`+-commutative` `neg-sub0` `cube-mult` `pow-to-exp` `associate-+r-` `flip3-+` `unpow3` `unsub-neg` `neg-log` `pow-exp` `flip-+`

Counts

3 → 65

Calls

3 calls:

7.0ms	(* 2.0 (pow x 3))
7.0ms	(+ (* (* x x) 3.0) (neg (* 2.0 (pow x 3))))
6.0ms	(* (* x x) 3.0)

series17.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(* 2.0 (pow x 3))
9.0ms	(+ (* (* x x) 3.0) (neg (* 2.0 (pow x 3))))
3.0ms	(* (* x x) 3.0)

simplify1.0s

Counts

74 → 74

Iterations

Useful iterations: done (1.0s)

Iter	Nodes	Cost
0	110	718
1	284	620
2	1101	568
done	5001	566

prune96.0ms

Filtered

45 candidates to 74 candidates (-64.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	72	2	74
Fresh	2	2	4
Picked	0	1	1
Done	0	0	0
Total	74	5	79

Merged error: 0.0b

Counts

79 → 5

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(* 2.0 (pow x 3))
0.0b	(+ (* x (* x 3.0)) (neg (* 2.0 (pow x 3))))
0.2b	(* x (* x 3.0))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`add-exp-log` `associate-r`
10×	`add-cbrt-cube`
8×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
7×	`add-log-exp`
6×	`associate-l` `prod-exp`
4×	`unpow-prod-down` `cube-prod` `cbrt-unprod` `unswap-sqr`
3×	`pow-prod-down`
2×	`sum-log` `*-commutative` `sqr-pow`
1×	`+-commutative` `neg-sub0` `cube-mult` `pow-to-exp` `associate-+r-` `flip3-+` `unpow3` `unsub-neg` `neg-log` `pow-exp` `flip-+`

Counts

3 → 64

Calls

3 calls:

9.0ms	(* 2.0 (pow x 3))
6.0ms	(+ (* x (* x 3.0)) (neg (* 2.0 (pow x 3))))
5.0ms	(* x (* x 3.0))

series17.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(* 2.0 (pow x 3))
10.0ms	(+ (* x (* x 3.0)) (neg (* 2.0 (pow x 3))))
3.0ms	(* x (* x 3.0))

simplify882.0ms

Counts

73 → 73

Iterations

Useful iterations: done (880.0ms)

Iter	Nodes	Cost
0	105	707
1	278	621
2	1014	563
done	5001	562

prune89.0ms

Filtered

42 candidates to 73 candidates (-73.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	72	1	73
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	73	5	78

Merged error: 0.0b

Counts

78 → 5

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* x (- 3.0 (* x 2.0)))
0.2b	(* x (* x (- 3.0 (* x 2.0))))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

10×	`distribute-rgt-in` `distribute-lft-in`
9×	`pow1` `add-exp-log` `add-cbrt-cube`
7×	`add-sqr-sqrt`
6×	`sub-neg` `associate-r/` `associate-l*`
5×	`add-cube-cbrt` `*-un-lft-identity`
4×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`flip3--` `*-commutative` `flip--` `add-log-exp`
1×	`unswap-sqr`

Counts

2 → 52

Calls

2 calls:

6.0ms	(* x (- 3.0 (* x 2.0)))
7.0ms	(* x (* x (- 3.0 (* x 2.0))))

series17.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(* x (- 3.0 (* x 2.0)))
7.0ms	(* x (* x (- 3.0 (* x 2.0))))

simplify1.7s

Counts

58 → 58

Iterations

Useful iterations: 2 (67.0ms)

Iter	Nodes	Cost
0	79	669
1	193	655
2	612	553
3	2726	553
done	5000	553

prune46.0ms

Filtered

34 candidates to 58 candidates (-70.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	58	0	58
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	58	5	63

Merged error: 0.0b

Counts

63 → 5

regimes35.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	12
1	17	12
2	19	12
done	19	12

end0.0ms

sample501.0ms

Algorithm

intervals

Results

305.0ms

12015×

body

valid

Details

sample18.0ms

simplify4.1s

prune2.0ms

localize6.0ms

rewrite9.0ms

series7.0ms

simplify2.3s

prune46.0ms

localize8.0ms

rewrite21.0ms

series17.0ms

simplify1.0s

prune96.0ms

localize8.0ms

rewrite22.0ms

series17.0ms

simplify882.0ms

prune89.0ms

localize6.0ms

rewrite15.0ms

series17.0ms

simplify1.7s

prune46.0ms

regimes35.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample501.0ms

Profiling