Details

sample18.0ms

Algorithm

intervals

Results

9.0ms

347×

body

valid

simplify2.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	19	9
2	36	9
3	66	9
4	91	9
5	105	9
6	147	9
7	237	9
8	349	9
9	429	9
10	548	9
11	643	9
12	724	9
13	842	9
14	937	9
15	1018	9
16	1136	9
17	1231	9
18	1312	9
19	1430	9
20	1525	9
21	1606	9
22	1724	9
23	1819	9
24	1900	9
25	2018	9
26	2113	9
27	2194	9
28	2312	9
29	2407	9
30	2488	9
31	2606	9
32	2701	9
33	2782	9
34	2900	9
35	2995	9
36	3076	9
37	3194	9
38	3289	9
39	3370	9
40	3488	9
41	3583	9
42	3664	9
43	3782	9
44	3877	9
45	3958	9
46	4076	9
47	4171	9
48	4252	9
49	4370	9
50	4465	9
51	4546	9
52	4664	9
53	4759	9
54	4840	9
55	4958	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.1b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ 0.253 (* x 0.12))
0.1b	(* x (+ 0.253 (* x 0.12)))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 33

Calls

2 calls:

3.0ms	(+ 0.253 (* x 0.12))
6.0ms	(* x (+ 0.253 (* x 0.12)))

series14.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(+ 0.253 (* x 0.12))
6.0ms	(* x (+ 0.253 (* x 0.12)))

simplify1.5s

Counts

39 → 39

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	60	377
1	178	363
2	558	325
3	1581	325
4	4026	325
done	5000	325

prune298.0ms

Filtered

29 candidates to 39 candidates (-34.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	32	7	39
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	33	7	40

Merged error: 0.0b

Counts

40 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))
0.1b	(* x (/ (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12))))
0.2b	(/ (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12)))
0.4b	(* (* x 0.12) (* x 0.12))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

45×	`pow1`
27×	`add-sqr-sqrt`
25×	`times-frac`
23×	`add-exp-log` `add-cbrt-cube`
22×	`add-cube-cbrt` `*-un-lft-identity`
19×	`associate-r`
18×	`pow-prod-down`
10×	`prod-exp` `cbrt-unprod`
8×	`difference-of-squares`
6×	`add-log-exp`
4×	`flip3--` `associate-l` `associate-/r/` `pow-sqr` `pow-prod-up` `flip--` `associate-/l*`
3×	`associate-/r*`
2×	`cbrt-undiv` `pow-plus` `div-exp` `*-commutative` `div-inv` `associate-/l/` `unswap-sqr`
1×	`pow2` `sub-neg` `frac-2neg` `diff-log` `div-sub` `associate-*r/` `swap-sqr` `clear-num`

Counts

4 → 120

Calls

4 calls:

4.0ms	(- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))
11.0ms	(* x (/ (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12))))
8.0ms	(/ (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12)))
7.0ms	(* (* x 0.12) (* x 0.12))

series33.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))
14.0ms	(* x (/ (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12))))
10.0ms	(/ (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12)))
3.0ms	(* (* x 0.12) (* x 0.12))

simplify482.0ms

Counts

132 → 132

Iterations

Useful iterations: done (478.0ms)

Iter	Nodes	Cost
0	161	2472
1	439	2261
2	1776	1597
done	5001	1577

prune204.0ms

Filtered

87 candidates to 132 candidates (-51.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	130	2	132
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	131	8	139

Merged error: 0b

Counts

139 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b	(* x (/ (- (* 0.253 0.253) (* x (* 0.12 (* x 0.12)))) (- 0.253 (* x 0.12))))
0.2b	(* x (* 0.12 (* x 0.12)))
0.2b	(/ (- (* 0.253 0.253) (* x (* 0.12 (* x 0.12)))) (- 0.253 (* x 0.12)))
0.2b	(* 0.12 (* x 0.12))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt`
25×	`add-exp-log` `add-cbrt-cube`
22×	`add-cube-cbrt` `*-un-lft-identity`
20×	`pow1`
19×	`times-frac`
17×	`associate-r`
11×	`prod-exp` `cbrt-unprod`
10×	`pow-prod-down`
9×	`associate-l`
4×	`associate-/r/` `add-log-exp`
3×	`flip3--` `associate-/r` `-commutative` `flip--` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `div-inv` `associate-/l/` `unswap-sqr`
1×	`frac-2neg` `div-sub` `associate-*r/` `clear-num`

Counts

4 → 105

Calls

4 calls:

10.0ms	(* x (/ (- (* 0.253 0.253) (* x (* 0.12 (* x 0.12)))) (- 0.253 (* x 0.12))))
8.0ms	(* x (* 0.12 (* x 0.12)))
8.0ms	(/ (- (* 0.253 0.253) (* x (* 0.12 (* x 0.12)))) (- 0.253 (* x 0.12)))
6.0ms	(* 0.12 (* x 0.12))

series29.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(* x (/ (- (* 0.253 0.253) (* x (* 0.12 (* x 0.12)))) (- 0.253 (* x 0.12))))
3.0ms	(* x (* 0.12 (* x 0.12)))
10.0ms	(/ (- (* 0.253 0.253) (* x (* 0.12 (* x 0.12)))) (- 0.253 (* x 0.12)))
2.0ms	(* 0.12 (* x 0.12))

simplify471.0ms

Counts

117 → 117

Iterations

Useful iterations: 2 (137.0ms)

Iter	Nodes	Cost
0	156	2168
1	423	2111
2	1730	1791
done	5000	1791

prune191.0ms

Filtered

82 candidates to 117 candidates (-42.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	115	2	117
Fresh	4	2	6
Picked	0	1	1
Done	0	1	1
Total	119	6	125

Merged error: 0b

Counts

125 → 6

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(pow x 2)
0.0b	(+ (* 0.253 x) (* 0.12 (pow x 2)))
0.2b	(* 0.12 (pow x 2))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
9×	`add-exp-log`
8×	`add-cube-cbrt` `-un-lft-identity` `associate-r*`
7×	`unpow-prod-down`
5×	`add-cbrt-cube` `add-log-exp`
4×	`pow1` `unswap-sqr`
3×	`pow-unpow` `associate-l` `prod-exp` `unpow2` `sqr-pow`
2×	`pow-to-exp` `pow-exp`
1×	`+-commutative` `pow-pow` `flip3-+` `sum-log` `*-commutative` `cbrt-unprod` `flip-+`

Counts

3 → 56

Calls

3 calls:

2.0ms	(pow x 2)
4.0ms	(+ (* 0.253 x) (* 0.12 (pow x 2)))
6.0ms	(* 0.12 (pow x 2))

series16.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(pow x 2)
10.0ms	(+ (* 0.253 x) (* 0.12 (pow x 2)))
3.0ms	(* 0.12 (pow x 2))

simplify630.0ms

Counts

65 → 65

Iterations

Useful iterations: 3 (174.0ms)

Iter	Nodes	Cost
0	82	549
1	212	483
2	623	428
3	1842	394
done	5000	394

prune74.0ms

Filtered

40 candidates to 65 candidates (-62.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	64	1	65
Fresh	1	2	3
Picked	0	1	1
Done	1	1	2
Total	66	5	71

Merged error: 0b

Counts

71 → 5

regimes73.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	11
1	13	11
done	13	11

end0.0ms

sample486.0ms

Algorithm

intervals

Results

293.0ms

10696×

body

valid

Details

sample18.0ms

simplify2.2s

prune2.0ms

localize6.0ms

rewrite10.0ms

series14.0ms

simplify1.5s

prune298.0ms

localize11.0ms

rewrite38.0ms

series33.0ms

simplify482.0ms

prune204.0ms

localize15.0ms

rewrite36.0ms

series29.0ms

simplify471.0ms

prune191.0ms

localize8.0ms

rewrite14.0ms

series16.0ms

simplify630.0ms

prune74.0ms

regimes73.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample486.0ms

Profiling