Details

sample119.0ms

Algorithm

intervals

Results

82.0ms	181×	body	1280	valid
10.0ms	276×	body	80	valid
9.0ms	37×	body	640	valid
3.0ms	20×	body	320	valid
1.0ms	11×	body	160	valid

simplify2.4s

Counts

1 → 1

Iterations

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

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 28.5b

localize21.0ms

Local error

Found 2 expressions with local error:

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

rewrite71.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)
62.0ms	(+ (- (exp x) 2.0) (exp (- x)))

series84.0ms

Counts

2 → 6

Calls

2 calls:

19.0ms	(- (exp x) 2.0)
64.0ms	(+ (- (exp x) 2.0) (exp (- x)))

simplify3.0s

Counts

41 → 41

Iterations

Iter	Nodes
done	5029
3	2930
2	642
1	215
0	93

prune226.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite196.0ms

Algorithm

rewrite-expression-head

Rules

162×	`pow1`
48×	`pow-prod-up`
35×	`add-cbrt-cube` `pow-prod-down` `add-exp-log`
30×	`pow-plus`
26×	`pow-sqr`
20×	`prod-exp` `cbrt-unprod`
17×	`pow2`
10×	`associate-r`
9×	`add-sqr-sqrt`
7×	`*-un-lft-identity` `add-cube-cbrt`
4×	`associate-l` `*-commutative` `add-log-exp`
3×	`unswap-sqr`
2×	`pow3`
1×	`swap-sqr`

Counts

4 → 140

Calls

4 calls:

16.0ms	(* (* x x) x)
30.0ms	(* (* x x) x)
47.0ms	(* (* x x) (* x x))
98.0ms	(* (* (* x x) x) 1/360)

series205.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(* (* x x) x)
42.0ms	(* (* x x) x)
41.0ms	(* (* x x) (* x x))
81.0ms	(* (* (* x x) x) 1/360)

simplify2.1s

Counts

152 → 152

Iterations

Iter	Nodes
done	5000
3	1598
2	615
1	261
0	89

prune325.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0)))
0.0b	(* (exp x) (exp x))
0.0b	(* (exp x) (exp x))
4.6b	(+ (/ (- (* (* (exp x) (exp x)) (exp x)) (* 2.0 (* 2.0 2.0))) (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0)))) (exp (- x)))

rewrite734.0ms

Algorithm

rewrite-expression-head

Rules

36×	`exp-prod`
28×	`add-sqr-sqrt`
26×	`*-un-lft-identity`
24×	`add-cube-cbrt`
18×	`pow1`
11×	`add-log-exp`
8×	`add-cbrt-cube` `pow-prod-down` `pow-sqr` `pow-prod-up`
6×	`swap-sqr` `associate-r` `associate-l`
4×	`sum-log` `add-exp-log`
2×	`pow2` `+-commutative` `flip3-+` `pow-plus` `frac-add` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`
1×	`neg-sub0` `exp-neg` `associate-+r+` `exp-diff` `div-sub` `associate-+l-` `distribute-lft-out`

Counts

4 → 96

Calls

4 calls:

32.0ms	(+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0)))
27.0ms	(* (exp x) (exp x))
28.0ms	(* (exp x) (exp x))
643.0ms	(+ (/ (- (* (* (exp x) (exp x)) (exp x)) (* 2.0 (* 2.0 2.0))) (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0)))) (exp (- x)))

series379.0ms

Counts

4 → 12

Calls

4 calls:

67.0ms	(+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0)))
24.0ms	(* (exp x) (exp x))
24.0ms	(* (exp x) (exp x))
265.0ms	(+ (/ (- (* (* (exp x) (exp x)) (exp x)) (* 2.0 (* 2.0 2.0))) (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0)))) (exp (- x)))

simplify2.1s

Counts

108 → 108

Iterations

Iter	Nodes
done	5006
2	1723
1	406
0	143

prune618.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize49.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (exp x) (/ (exp (+ x x)) (+ (exp (+ x x)) (* (+ 2.0 (exp x)) 2.0))))
1.5b	(+ (/ -1 (exp x)) (* (/ 2.0 (+ (exp (+ x x)) (* (+ 2.0 (exp x)) 2.0))) (* 2.0 2.0)))
4.1b	(log (exp (- (* (exp x) (/ (exp (+ x x)) (+ (exp (+ x x)) (* (+ 2.0 (exp x)) 2.0)))) (+ (/ -1 (exp x)) (* (/ 2.0 (+ (exp (+ x x)) (* (+ 2.0 (exp x)) 2.0))) (* 2.0 2.0))))))
59.5b	(- (* (exp x) (/ (exp (+ x x)) (+ (exp (+ x x)) (* (+ 2.0 (exp x)) 2.0)))) (+ (/ -1 (exp x)) (* (/ 2.0 (+ (exp (+ x x)) (* (+ 2.0 (exp x)) 2.0))) (* 2.0 2.0))))

rewrite720.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
18×	`associate-r`
15×	`*-un-lft-identity` `add-cube-cbrt`
14×	`times-frac`
11×	`add-log-exp`
9×	`add-cbrt-cube`
7×	`pow1`
6×	`exp-sum` `add-exp-log`
5×	`log-prod`
4×	`associate-*r/` `log-pow`
3×	`exp-prod` `flip3-+` `associate-l` `frac-sub` `flip-+` `unswap-sqr`
2×	`sum-log` `sub-neg` `diff-log` `associate-*l/` `frac-add` `prod-exp` `associate-/r/` `cbrt-unprod`
1×	`cbrt-undiv` `+-commutative` `log-div` `flip3--` `exp-diff` `div-exp` `rem-log-exp` `pow-prod-down` `*-commutative` `div-inv` `flip--` `associate--r+`

Counts

4 → 85

Calls

4 calls:

171.0ms	(* (exp x) (/ (exp (+ x x)) (+ (exp (+ x x)) (* (+ 2.0 (exp x)) 2.0))))
29.0ms	(+ (/ -1 (exp x)) (* (/ 2.0 (+ (exp (+ x x)) (* (+ 2.0 (exp x)) 2.0))) (* 2.0 2.0)))
416.0ms	(log (exp (- (* (exp x) (/ (exp (+ x x)) (+ (exp (+ x x)) (* (+ 2.0 (exp x)) 2.0)))) (+ (/ -1 (exp x)) (* (/ 2.0 (+ (exp (+ x x)) (* (+ 2.0 (exp x)) 2.0))) (* 2.0 2.0))))))
101.0ms	(- (* (exp x) (/ (exp (+ x x)) (+ (exp (+ x x)) (* (+ 2.0 (exp x)) 2.0)))) (+ (/ -1 (exp x)) (* (/ 2.0 (+ (exp (+ x x)) (* (+ 2.0 (exp x)) 2.0))) (* 2.0 2.0))))

series736.0ms

Counts

4 → 12

Calls

4 calls:

107.0ms	(* (exp x) (/ (exp (+ x x)) (+ (exp (+ x x)) (* (+ 2.0 (exp x)) 2.0))))
99.0ms	(+ (/ -1 (exp x)) (* (/ 2.0 (+ (exp (+ x x)) (* (+ 2.0 (exp x)) 2.0))) (* 2.0 2.0)))
268.0ms	(log (exp (- (* (exp x) (/ (exp (+ x x)) (+ (exp (+ x x)) (* (+ 2.0 (exp x)) 2.0)))) (+ (/ -1 (exp x)) (* (/ 2.0 (+ (exp (+ x x)) (* (+ 2.0 (exp x)) 2.0))) (* 2.0 2.0))))))
263.0ms	(- (* (exp x) (/ (exp (+ x x)) (+ (exp (+ x x)) (* (+ 2.0 (exp x)) 2.0)))) (+ (/ -1 (exp x)) (* (/ 2.0 (+ (exp (+ x x)) (* (+ 2.0 (exp x)) 2.0))) (* 2.0 2.0))))

simplify4.0s

Counts

97 → 97

Iterations

Iter	Nodes
done	5001
2	2740
1	646
0	216

prune745.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes70.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Iter	Nodes
done	17
1	17
0	11

end0.0ms

sample4.6s

Algorithm

intervals

Results

3.0s	5705×	body	1280	valid
774.0ms	8184×	body	80	valid
348.0ms	1195×	body	640	valid
193.0ms	612×	body	320	valid
32.0ms	321×	body	160	valid