Details

sample309.0ms

Algorithm

intervals

Results

95.0ms	52×	body	2560	valid
87.0ms	86×	body	1280	valid
48.0ms	59×	body	80	valid
26.0ms	34×	body	640	valid
7.0ms	15×	body	320	valid
3.0ms	1×	body	5120	valid
3.0ms	9×	body	160	valid

simplify28.4s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
129	4973
128	4941
127	4913
126	4881
125	4853
124	4821
123	4793
122	4761
121	4733
120	4701
119	4673
118	4641
117	4613
116	4581
115	4553
114	4521
113	4493
112	4461
111	4433
110	4401
109	4373
108	4341
107	4313
106	4281
105	4253
104	4221
103	4193
102	4161
101	4133
100	4101
99	4073
98	4041
97	4013
96	3981
95	3953
94	3921
93	3893
92	3861
91	3833
90	3801
89	3773
88	3741
87	3713
86	3681
85	3653
84	3621
83	3593
82	3561
81	3533
80	3501
79	3473
78	3441
77	3413
76	3381
75	3353
74	3321
73	3293
72	3261
71	3233
70	3201
69	3173
68	3141
67	3113
66	3081
65	3053
64	3021
63	2993
62	2961
61	2933
60	2901
59	2873
58	2841
57	2813
56	2781
55	2753
54	2721
53	2693
52	2661
51	2633
50	2601
49	2573
48	2541
47	2513
46	2481
45	2453
44	2421
43	2393
42	2361
41	2333
40	2301
39	2273
38	2241
37	2213
36	2181
35	2153
34	2121
33	2093
32	2061
31	2033
30	2001
29	1973
28	1941
27	1913
26	1881
25	1853
24	1821
23	1793
22	1761
21	1733
20	1701
19	1673
18	1641
17	1613
16	1581
15	1553
14	1517
13	1485
12	1445
11	1406
10	1352
9	1222
8	1127
7	958
6	722
5	514
4	377
3	202
2	80
1	42
0	23

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 46.4b

localize48.0ms

Local error

Found 4 expressions with local error:

1.3b	(* (* (+ (* a 2.0) 1.0) b) t)
2.6b	(* (* (+ (* y 2.0) 1.0) z) t)
34.1b	(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
34.1b	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1` `add-cbrt-cube` `add-exp-log`
8×	`associate-*l/`
6×	`add-sqr-sqrt` `-un-lft-identity` `associate-r*` `pow-prod-down` `prod-exp` `add-cube-cbrt` `cbrt-unprod`
4×	`add-log-exp`
2×	`flip3-+` `associate-l` `*-commutative` `flip-+`

Counts

4 → 54

Calls

4 calls:

32.0ms	(* (* (+ (* a 2.0) 1.0) b) t)
31.0ms	(* (* (+ (* y 2.0) 1.0) z) t)
3.0ms	(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
3.0ms	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

series167.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(* (* (+ (* a 2.0) 1.0) b) t)
43.0ms	(* (* (+ (* y 2.0) 1.0) z) t)
40.0ms	(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
39.0ms	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

simplify978.0ms

Counts

66 → 66

Iterations

Iter	Nodes
done	5000
2	1605
1	379
0	138

prune565.0ms

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 41.9b

localize23.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0)
0.2b	(* (+ (* y 2.0) 1.0) z)
2.6b	(* (* (+ (* y 2.0) 1.0) z) t)
34.1b	(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

rewrite89.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 72

Calls

4 calls:

31.0ms	(/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0)
20.0ms	(* (+ (* y 2.0) 1.0) z)
33.0ms	(* (* (+ (* y 2.0) 1.0) z) t)
3.0ms	(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

series171.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0)
40.0ms	(* (+ (* y 2.0) 1.0) z)
43.0ms	(* (* (+ (* y 2.0) 1.0) z) t)
41.0ms	(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

simplify972.0ms

Counts

84 → 84

Iterations

Iter	Nodes
done	5004
2	1431
1	369
0	138

prune638.0ms

Pruning

34 alts after pruning (34 fresh and 0 done)

Merged error: 40.4b

localize39.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
0.7b	(* (* (* (+ (* y 2.0) 1.0) z) (* (cbrt t) (cbrt t))) (cbrt t))
2.3b	(* (* (+ (* y 2.0) 1.0) z) (* (cbrt t) (cbrt t)))
34.0b	(cos (/ (* (* (* (+ (* y 2.0) 1.0) z) (* (cbrt t) (cbrt t))) (cbrt t)) 16.0))

rewrite191.0ms

Algorithm

rewrite-expression-head

Rules

34×	`pow1` `add-exp-log`
21×	`add-cbrt-cube` `pow-prod-down` `prod-exp` `cbrt-unprod`
10×	`associate-*l/`
7×	`add-sqr-sqrt` `-un-lft-identity` `associate-r*` `add-cube-cbrt`
6×	`cbrt-prod`
4×	`add-log-exp`
2×	`flip3-+` `associate-l` `*-commutative` `flip-+`
1×	`pow1/3`

Counts

4 → 74

Calls

4 calls:

1.0ms	(cbrt t)
140.0ms	(* (* (* (+ (* y 2.0) 1.0) z) (* (cbrt t) (cbrt t))) (cbrt t))
45.0ms	(* (* (+ (* y 2.0) 1.0) z) (* (cbrt t) (cbrt t)))
4.0ms	(cos (/ (* (* (* (+ (* y 2.0) 1.0) z) (* (cbrt t) (cbrt t))) (cbrt t)) 16.0))

series476.0ms

Counts

4 → 12

Calls

4 calls:

177.0ms	(cbrt t)
69.0ms	(* (* (* (+ (* y 2.0) 1.0) z) (* (cbrt t) (cbrt t))) (cbrt t))
170.0ms	(* (* (+ (* y 2.0) 1.0) z) (* (cbrt t) (cbrt t)))
59.0ms	(cos (/ (* (* (* (+ (* y 2.0) 1.0) z) (* (cbrt t) (cbrt t))) (cbrt t)) 16.0))

simplify1.1s

Counts

86 → 86

Iterations

Iter	Nodes
done	5001
2	1667
1	409
0	143

prune656.0ms

Pruning

43 alts after pruning (43 fresh and 0 done)

Merged error: 40.2b

localize40.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
0.7b	(* (* (* (* (cbrt t) (cbrt t)) z) (+ (* y 2.0) 1.0)) (cbrt t))
2.6b	(* (* (* (cbrt t) (cbrt t)) z) (+ (* y 2.0) 1.0))
34.0b	(cos (/ (* (* (* (* (cbrt t) (cbrt t)) z) (+ (* y 2.0) 1.0)) (cbrt t)) 16.0))

rewrite317.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 72

Calls

4 calls:

1.0ms	(cbrt t)
238.0ms	(* (* (* (* (cbrt t) (cbrt t)) z) (+ (* y 2.0) 1.0)) (cbrt t))
72.0ms	(* (* (* (cbrt t) (cbrt t)) z) (+ (* y 2.0) 1.0))
4.0ms	(cos (/ (* (* (* (* (cbrt t) (cbrt t)) z) (+ (* y 2.0) 1.0)) (cbrt t)) 16.0))

series545.0ms

Counts

4 → 12

Calls

4 calls:

182.0ms	(cbrt t)
81.0ms	(* (* (* (* (cbrt t) (cbrt t)) z) (+ (* y 2.0) 1.0)) (cbrt t))
238.0ms	(* (* (* (cbrt t) (cbrt t)) z) (+ (* y 2.0) 1.0))
45.0ms	(cos (/ (* (* (* (* (cbrt t) (cbrt t)) z) (+ (* y 2.0) 1.0)) (cbrt t)) 16.0))

simplify1.3s

Counts

84 → 84

Iterations

Iter	Nodes
done	5003
2	2028
1	447
0	148

prune383.0ms

Pruning

41 alts after pruning (41 fresh and 0 done)

Merged error: 40.1b

regimes3.8s

Accuracy

0% (5.9b remaining)

Error of 45.2b against oracle of 39.3b and baseline of 45.2b

bsearch0.0ms

simplify4.0ms

Iterations

Iter	Nodes
done	32
1	32
0	22

end0.0ms

sample7.7s

Algorithm

intervals

Results

3.5s	1808×	body	2560	valid
2.4s	2257×	body	1280	valid
622.0ms	1185×	body	640	valid
287.0ms	1915×	body	80	valid
235.0ms	558×	body	320	valid
87.0ms	33×	body	5120	valid
55.0ms	244×	body	160	valid