Details

sample303.0ms

Algorithm

intervals

Results

174.0ms	191×	body	1280	valid
47.0ms	318×	body	80	valid
15.0ms	30×	body	640	valid
4.0ms	18×	body	320	valid
2.0ms	11×	body	160	valid

simplify10.0s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
85	4970
84	4918
83	4846
82	4794
81	4721
80	4669
79	4597
78	4545
77	4472
76	4420
75	4348
74	4296
73	4223
72	4171
71	4099
70	4047
69	3974
68	3922
67	3850
66	3798
65	3725
64	3673
63	3601
62	3549
61	3476
60	3424
59	3352
58	3300
57	3227
56	3175
55	3103
54	3051
53	2978
52	2926
51	2854
50	2802
49	2729
48	2677
47	2605
46	2553
45	2480
44	2428
43	2356
42	2304
41	2231
40	2179
39	2107
38	2055
37	1982
36	1930
35	1858
34	1806
33	1733
32	1681
31	1609
30	1557
29	1484
28	1432
27	1360
26	1308
25	1235
24	1183
23	1111
22	1059
21	986
20	934
19	862
18	810
17	737
16	685
15	613
14	561
13	488
12	436
11	364
10	266
9	155
8	94
7	73
6	60
5	53
4	49
3	40
2	26
1	14
0	7

prune86.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 30.9b

localize52.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (exp x) 2.0)
3.8b	(+ (- (exp x) 2.0) (exp (- x)))

rewrite344.0ms

Algorithm

rewrite-expression-head

Rules

9×	`*-un-lft-identity` `add-log-exp`
4×	`add-sqr-sqrt` `frac-add`
3×	`flip3--` `flip--`
2×	`pow1` `add-exp-log` `neg-sub0` `exp-neg` `add-cube-cbrt` `sub-neg` `associate-+l+` `exp-diff` `diff-log` `sum-log` `add-cbrt-cube` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `associate-+l-` `flip3-+` `flip-+` `difference-of-squares`

Counts

2 → 35

Calls

2 calls:

21.0ms	(- (exp x) 2.0)
321.0ms	(+ (- (exp x) 2.0) (exp (- x)))

series322.0ms

Counts

2 → 6

Calls

2 calls:

24.0ms	(- (exp x) 2.0)
297.0ms	(+ (- (exp x) 2.0) (exp (- x)))

simplify11.9s

Counts

41 → 41

Iterations

Iter	Nodes
done	5003
3	2836
2	630
1	215
0	93

prune786.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* x x) (* (* x x) (* x x)))
0.1b	(* 1/12 (* (* x x) (* x x)))
0.1b	(* (* x x) (* x x))
0.1b	(* (* x x) (* x x))

rewrite1.1s

Algorithm

rewrite-expression-head

Rules

866×	`pow1`
370×	`pow-prod-up`
188×	`pow-prod-down`
153×	`pow-sqr`
140×	`pow-plus`
99×	`pow2`
87×	`add-exp-log` `add-cbrt-cube`
60×	`prod-exp` `cbrt-unprod`
6×	`add-sqr-sqrt` `associate-l`
5×	`add-cube-cbrt` `*-un-lft-identity`
4×	`associate-r` `*-commutative` `add-log-exp` `unswap-sqr`
2×	`swap-sqr`
1×	`cube-unmult`

Counts

4 → 345

Calls

4 calls:

290.0ms	(* (* x x) (* (* x x) (* x x)))
349.0ms	(* 1/12 (* (* x x) (* x x)))
89.0ms	(* (* x x) (* x x))
271.0ms	(* (* x x) (* x x))

series650.0ms

Counts

4 → 12

Calls

4 calls:

317.0ms	(* (* x x) (* (* x x) (* x x)))
129.0ms	(* 1/12 (* (* x x) (* x x)))
94.0ms	(* (* x x) (* x x))
101.0ms	(* (* x x) (* x x))

simplify15.3s

Counts

357 → 357

Iterations

Iter	Nodes
done	5001
3	1934
2	721
1	342
0	142

prune1.7s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize109.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- (exp x) 2.0) (- (exp x) 2.0))
0.0b	(* (- (exp x) 2.0) (- (exp x) 2.0))
0.1b	(exp (- (* x -2) x))
5.4b	(+ (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (exp x) 2.0)) (exp (- (* x -2) x)))

rewrite1.5s

Algorithm

rewrite-expression-head

Rules

41×	`*-un-lft-identity`
39×	`flip3--` `flip--`
36×	`frac-times`
33×	`add-sqr-sqrt`
27×	`exp-diff`
26×	`frac-add`
18×	`pow1` `associate-*l/`
14×	`swap-sqr`
13×	`add-cube-cbrt`
12×	`associate-*r/` `distribute-lft-out--`
10×	`associate-r` `associate-l`
9×	`add-log-exp`
8×	`add-exp-log` `add-cbrt-cube` `difference-of-squares`
7×	`sub-neg`
6×	`distribute-rgt-in` `distribute-lft-in`
4×	`associate-+l+`
3×	`exp-prod`
2×	`pow2` `pow-plus` `exp-sum` `pow-prod-down` `prod-exp` `pow-sqr` `*-commutative` `pow-prod-up` `cbrt-unprod` `rem-exp-log` `unswap-sqr`
1×	`+-commutative` `flip3-+` `diff-log` `sum-log` `flip-+`

Counts

4 → 146

Calls

4 calls:

176.0ms	(* (- (exp x) 2.0) (- (exp x) 2.0))
230.0ms	(* (- (exp x) 2.0) (- (exp x) 2.0))
48.0ms	(exp (- (* x -2) x))
678.0ms	(+ (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (exp x) 2.0)) (exp (- (* x -2) x)))

series677.0ms

Counts

4 → 12

Calls

4 calls:

83.0ms	(* (- (exp x) 2.0) (- (exp x) 2.0))
99.0ms	(* (- (exp x) 2.0) (- (exp x) 2.0))
64.0ms	(exp (- (* x -2) x))
430.0ms	(+ (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (exp x) 2.0)) (exp (- (* x -2) x)))

simplify9.4s

Counts

158 → 158

Iterations

Iter	Nodes
done	5006
2	3020
1	760
0	265

prune3.3s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize253.0ms

Local error

Found 4 expressions with local error:

0.1b	(exp (- (* x -2) x))
0.1b	(exp (- (* x -2) x))
0.1b	(exp (- (* x -2) x))
5.4b	(- (* (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (exp x) 2.0)) (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (exp x) 2.0))) (* (exp (- (* x -2) x)) (exp (- (* x -2) x))))

rewrite6.9s

Algorithm

rewrite-expression-head

Rules

7292×	`frac-times`
4375×	`flip3--` `flip--`
3074×	`associate-*l/`
2915×	`exp-diff`
2184×	`frac-sub`
2102×	`associate-*r/`
15×	`add-log-exp`
9×	`exp-prod`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate--l+`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`exp-sum` `rem-exp-log`
4×	`pow1` `add-exp-log` `diff-log` `add-cbrt-cube`
1×	`difference-of-squares`

Counts

4 → 2250

Calls

4 calls:

61.0ms	(exp (- (* x -2) x))
48.0ms	(exp (- (* x -2) x))
50.0ms	(exp (- (* x -2) x))
3.2s	(- (* (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (exp x) 2.0)) (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (exp x) 2.0))) (* (exp (- (* x -2) x)) (exp (- (* x -2) x))))

series1.5s

Counts

4 → 12

Calls

4 calls:

20.0ms	(exp (- (* x -2) x))
18.0ms	(exp (- (* x -2) x))
25.0ms	(exp (- (* x -2) x))
1.4s	(- (* (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (exp x) 2.0)) (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (exp x) 2.0))) (* (exp (- (* x -2) x)) (exp (- (* x -2) x))))

simplify34.2s

Counts

2262 → 2262

Iterations

Iter	Nodes
done	5718
0	5718

prune1.6m

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes112.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Iter	Nodes
done	15
1	15
0	10

end0.0ms

sample7.1s

Algorithm

intervals

Results

5.2s	5625×	body	1280	valid
489.0ms	7957×	body	80	valid
455.0ms	1212×	body	640	valid
240.0ms	651×	body	320	valid
116.0ms	335×	body	160	valid