Details

sample164.0ms

Algorithm

intervals

Results

118.0ms	184×	body	1280	valid
13.0ms	282×	body	80	valid
12.0ms	42×	body	640	valid
2.0ms	11×	body	320	valid
1.0ms	12×	body	160	valid

simplify7.5s

Counts

1 → 1

Iterations

Useful iterations: 3 (14.0ms)

Iter	Nodes	Cost
0	7	262
1	14	262
2	26	262
3	40	193
4	49	193
5	53	193
6	60	193
7	73	193
8	94	193
9	152	193
10	243	193
11	330	193
12	385	193
13	449	193
14	515	193
15	581	193
16	645	193
17	710	193
18	773	193
19	837	193
20	901	193
21	966	193
22	1029	193
23	1093	193
24	1157	193
25	1222	193
26	1285	193
27	1349	193
28	1413	193
29	1478	193
30	1541	193
31	1605	193
32	1669	193
33	1734	193
34	1797	193
35	1861	193
36	1925	193
37	1990	193
38	2053	193
39	2117	193
40	2181	193
41	2246	193
42	2309	193
43	2373	193
44	2437	193
45	2502	193
46	2565	193
47	2629	193
48	2693	193
49	2758	193
50	2821	193
51	2885	193
52	2949	193
53	3014	193
54	3077	193
55	3141	193
56	3205	193
57	3270	193
58	3333	193
59	3397	193
60	3461	193
61	3526	193
62	3589	193
63	3653	193
64	3717	193
65	3782	193
66	3845	193
67	3909	193
68	3973	193
69	4038	193
70	4101	193
71	4165	193
72	4229	193
73	4294	193
74	4357	193
75	4421	193
76	4485	193
77	4550	193
78	4613	193
79	4677	193
80	4741	193
81	4806	193
82	4869	193
83	4933	193
84	4997	193
done	5001	193

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 26.9b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 35

Calls

2 calls:

8.0ms	(- (exp x) 2.0)
40.0ms	(+ (- (exp x) 2.0) (exp (- x)))

series104.0ms

Counts

2 → 6

Calls

2 calls:

25.0ms	(- (exp x) 2.0)
79.0ms	(+ (- (exp x) 2.0) (exp (- x)))

simplify4.1s

Counts

41 → 41

Iterations

Useful iterations: 3 (1.2s)

Iter	Nodes	Cost
0	93	14561
1	215	12099
2	642	11780
3	2930	11661
done	5029	11661

prune205.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite467.0ms

Algorithm

rewrite-expression-head

Rules

196×	`pow1`
97×	`add-cbrt-cube` `add-exp-log`
84×	`pow-prod-down`
69×	`prod-exp` `cbrt-unprod`
36×	`pow-prod-up`
22×	`pow-sqr`
18×	`pow-plus`
13×	`pow2`
7×	`add-sqr-sqrt`
6×	`-un-lft-identity` `associate-r` `associate-l*` `add-cube-cbrt`
4×	`*-commutative` `add-log-exp`
2×	`unswap-sqr`
1×	`swap-sqr`

Counts

4 → 158

Calls

4 calls:

259.0ms	(* (* (* x x) x) (* (* (* x x) x) 1/360))
111.0ms	(* 1/12 (* (* x x) (* x x)))
58.0ms	(* (* (* x x) x) 1/360)
25.0ms	(* (* x x) (* x x))

series217.0ms

Counts

4 → 12

Calls

4 calls:

78.0ms	(* (* (* x x) x) (* (* (* x x) x) 1/360))
53.0ms	(* 1/12 (* (* x x) (* x x)))
47.0ms	(* (* (* x x) x) 1/360)
38.0ms	(* (* x x) (* x x))

simplify2.4s

Counts

170 → 170

Iterations

Useful iterations: done (2.4s)

Iter	Nodes	Cost
0	134	31831
1	326	24071
2	1079	22468
done	5003	21996

prune357.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x))
0.0b	(* (+ (exp x) 2.0) (exp x))
0.0b	(* (exp x) (exp x))
4.3b	(+ (+ (exp x) 2.0) (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)))

rewrite173.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
20×	`*-un-lft-identity`
18×	`exp-prod` `add-cube-cbrt`
15×	`pow1`
11×	`associate-l`
10×	`add-cbrt-cube`
9×	`associate-r` `add-log-exp`
8×	`associate-*l/`
6×	`pow-prod-down` `add-exp-log`
4×	`flip3-+` `frac-add` `pow-sqr` `pow-prod-up` `flip-+`
3×	`sum-log` `flip3--` `swap-sqr` `prod-exp` `*-commutative` `cbrt-unprod` `flip--` `unswap-sqr`
1×	`pow2` `+-commutative` `associate-+l+` `pow-plus` `distribute-lft-out` `difference-of-squares`

Counts

4 → 93

Calls

4 calls:

66.0ms	(* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x))
34.0ms	(* (+ (exp x) 2.0) (exp x))
14.0ms	(* (exp x) (exp x))
55.0ms	(+ (+ (exp x) 2.0) (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)))

series191.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x))
26.0ms	(* (+ (exp x) 2.0) (exp x))
21.0ms	(* (exp x) (exp x))
87.0ms	(+ (+ (exp x) 2.0) (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)))

simplify3.2s

Counts

105 → 105

Iterations

Useful iterations: done (3.2s)

Iter	Nodes	Cost
0	179	32118
1	556	27174
2	2626	26994
done	5001	26873

prune579.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ (exp x) 2.0) (exp x))
0.0b	(* (exp x) (exp x))
0.1b	(+ 2.0 (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)))
4.5b	(+ (exp x) (+ 2.0 (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x))))

rewrite89.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt` `*-un-lft-identity`
18×	`exp-prod`
16×	`add-cube-cbrt`
13×	`pow1`
11×	`add-log-exp`
8×	`add-cbrt-cube`
7×	`associate-l`
6×	`associate-r`
5×	`pow-prod-down` `add-exp-log`
4×	`sum-log` `pow-sqr` `pow-prod-up`
3×	`flip3-+` `swap-sqr` `flip-+`
2×	`+-commutative` `associate-l/` `prod-exp` `-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`
1×	`pow2` `associate-+r+` `pow-plus`

Counts

4 → 80

Calls

4 calls:

37.0ms	(* (+ (exp x) 2.0) (exp x))
15.0ms	(* (exp x) (exp x))
14.0ms	(+ 2.0 (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)))
21.0ms	(+ (exp x) (+ 2.0 (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x))))

series235.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(* (+ (exp x) 2.0) (exp x))
18.0ms	(* (exp x) (exp x))
81.0ms	(+ 2.0 (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)))
95.0ms	(+ (exp x) (+ 2.0 (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x))))

simplify3.1s

Counts

92 → 92

Iterations

Useful iterations: done (3.1s)

Iter	Nodes	Cost
0	141	24553
1	411	20723
2	1782	20583
done	5001	20422

prune374.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

regimes39.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	323
1	17	323
done	17	323

end0.0ms

sample4.7s

Algorithm

intervals

Results

3.4s	5701×	body	1280	valid
402.0ms	8028×	body	80	valid
358.0ms	1228×	body	640	valid
143.0ms	591×	body	320	valid
80.0ms	303×	body	160	valid