Details

sample28.0ms

Algorithm

intervals

Results

13.0ms

256×

body

valid

simplify42.9s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
201	4996
200	4991
199	4986
198	4981
197	4976
196	4971
195	4966
194	4961
193	4956
192	4951
191	4946
190	4941
189	4936
188	4931
187	4926
186	4921
185	4916
184	4911
183	4906
182	4901
181	4896
180	4891
179	4886
178	4881
177	4876
176	4871
175	4866
174	4861
173	4856
172	4851
171	4846
170	4841
169	4836
168	4831
167	4826
166	4821
165	4816
164	4811
163	4806
162	4801
161	4796
160	4791
159	4786
158	4781
157	4776
156	4771
155	4766
154	4761
153	4756
152	4751
151	4746
150	4741
149	4736
148	4731
147	4726
146	4721
145	4716
144	4711
143	4706
142	4701
141	4696
140	4691
139	4686
138	4681
137	4676
136	4671
135	4666
134	4661
133	4656
132	4651
131	4646
130	4641
129	4636
128	4631
127	4626
126	4621
125	4616
124	4611
123	4606
122	4601
121	4596
120	4591
119	4586
118	4581
117	4576
116	4571
115	4566
114	4561
113	4556
112	4551
111	4546
110	4541
109	4536
108	4531
107	4526
106	4521
105	4516
104	4511
103	4506
102	4501
101	4496
100	4491
99	4486
98	4481
97	4476
96	4471
95	4466
94	4461
93	4456
92	4451
91	4446
90	4441
89	4436
88	4431
87	4426
86	4421
85	4416
84	4411
83	4406
82	4401
81	4396
80	4391
79	4386
78	4381
77	4376
76	4371
75	4366
74	4361
73	4356
72	4351
71	4346
70	4341
69	4336
68	4331
67	4326
66	4321
65	4316
64	4311
63	4306
62	4301
61	4296
60	4291
59	4286
58	4281
57	4276
56	4271
55	4266
54	4261
53	4256
52	4251
51	4246
50	4241
49	4236
48	4231
47	4226
46	4221
45	4216
44	4211
43	4206
42	4201
41	4196
40	4191
39	4186
38	4181
37	4176
36	4171
35	4166
34	4161
33	4156
32	4151
31	4146
30	4141
29	4136
28	4131
27	4126
26	4121
25	4116
24	4111
23	4106
22	4101
21	4096
20	4091
19	4086
18	4081
17	4076
16	4071
15	4066
14	4061
13	4056
12	4049
11	4021
10	2709
9	1862
8	1482
7	1265
6	1028
5	714
4	349
3	145
2	64
1	35
0	18

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 15.9b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (+ z 6.012459259764103))
0.1b	(* (+ 0.4917317610505968 (* z 0.0692910599291889)) z)
0.1b	(* (/ (+ (* (+ 0.4917317610505968 (* z 0.0692910599291889)) z) 0.279195317918525) (+ (* z (+ z 6.012459259764103)) 3.350343815022304)) y)
15.4b	(/ (+ (* (+ 0.4917317610505968 (* z 0.0692910599291889)) z) 0.279195317918525) (+ (* z (+ z 6.012459259764103)) 3.350343815022304))

rewrite164.0ms

Algorithm

rewrite-expression-head

Rules

33×	`add-sqr-sqrt`
26×	`*-un-lft-identity`
24×	`add-cube-cbrt`
21×	`associate-l`
19×	`times-frac`
15×	`add-cbrt-cube` `add-exp-log`
10×	`pow1` `associate-r`
5×	`flip3-+` `flip-+`
4×	`prod-exp` `associate-/r/` `cbrt-unprod` `add-log-exp` `unswap-sqr`
3×	`associate-/r` `pow-prod-down` `associate-l/` `-commutative` `associate-/l`
2×	`cbrt-undiv` `div-exp` `associate-*r/` `div-inv` `associate-/l/`
1×	`distribute-rgt-in` `clear-num` `frac-2neg` `distribute-lft-in` `distribute-lft-out`

Counts

4 → 108

Calls

4 calls:

16.0ms	(* z (+ z 6.012459259764103))
16.0ms	(* (+ 0.4917317610505968 (* z 0.0692910599291889)) z)
77.0ms	(* (/ (+ (* (+ 0.4917317610505968 (* z 0.0692910599291889)) z) 0.279195317918525) (+ (* z (+ z 6.012459259764103)) 3.350343815022304)) y)
52.0ms	(/ (+ (* (+ 0.4917317610505968 (* z 0.0692910599291889)) z) 0.279195317918525) (+ (* z (+ z 6.012459259764103)) 3.350343815022304))

series357.0ms

Counts

4 → 12

Calls

4 calls:

63.0ms	(* z (+ z 6.012459259764103))
107.0ms	(* (+ 0.4917317610505968 (* z 0.0692910599291889)) z)
110.0ms	(* (/ (+ (* (+ 0.4917317610505968 (* z 0.0692910599291889)) z) 0.279195317918525) (+ (* z (+ z 6.012459259764103)) 3.350343815022304)) y)
77.0ms	(/ (+ (* (+ 0.4917317610505968 (* z 0.0692910599291889)) z) 0.279195317918525) (+ (* z (+ z 6.012459259764103)) 3.350343815022304))

simplify1.4s

Counts

120 → 120

Iterations

Iter	Nodes
done	5001
2	3142
1	611
0	216

prune775.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (+ z 6.012459259764103))
0.1b	(* (/ (+ (+ (* 0.4917317610505968 z) (* 0.0692910599291889 (* z z))) 0.279195317918525) (+ (* z (+ z 6.012459259764103)) 3.350343815022304)) y)
0.2b	(* 0.0692910599291889 (* z z))
15.4b	(/ (+ (+ (* 0.4917317610505968 z) (* 0.0692910599291889 (* z z))) 0.279195317918525) (+ (* z (+ z 6.012459259764103)) 3.350343815022304))

rewrite268.0ms

Algorithm

rewrite-expression-head

Rules

41×	`*-un-lft-identity`
33×	`add-sqr-sqrt`
25×	`times-frac` `add-cube-cbrt`
24×	`associate-l`
18×	`add-cbrt-cube` `add-exp-log`
13×	`pow1`
8×	`associate-r` `distribute-lft-out`
6×	`prod-exp` `cbrt-unprod`
5×	`pow-prod-down`
4×	`flip3-+` `associate-/r/` `flip-+` `associate-/l*` `add-log-exp` `unswap-sqr`
3×	`associate-/r` `-commutative`
2×	`cbrt-undiv` `div-exp` `associate-*r/` `div-inv` `associate-/l/`
1×	`distribute-rgt-in` `clear-num` `frac-2neg` `distribute-lft-in` `associate-*l/`

Counts

4 → 114

Calls

4 calls:

19.0ms	(* z (+ z 6.012459259764103))
104.0ms	(* (/ (+ (+ (* 0.4917317610505968 z) (* 0.0692910599291889 (* z z))) 0.279195317918525) (+ (* z (+ z 6.012459259764103)) 3.350343815022304)) y)
21.0ms	(* 0.0692910599291889 (* z z))
119.0ms	(/ (+ (+ (* 0.4917317610505968 z) (* 0.0692910599291889 (* z z))) 0.279195317918525) (+ (* z (+ z 6.012459259764103)) 3.350343815022304))

series304.0ms

Counts

4 → 12

Calls

4 calls:

75.0ms	(* z (+ z 6.012459259764103))
108.0ms	(* (/ (+ (+ (* 0.4917317610505968 z) (* 0.0692910599291889 (* z z))) 0.279195317918525) (+ (* z (+ z 6.012459259764103)) 3.350343815022304)) y)
43.0ms	(* 0.0692910599291889 (* z z))
78.0ms	(/ (+ (+ (* 0.4917317610505968 z) (* 0.0692910599291889 (* z z))) 0.279195317918525) (+ (* z (+ z 6.012459259764103)) 3.350343815022304))

simplify1.6s

Counts

126 → 126

Iterations

Iter	Nodes
done	5000
2	3389
1	610
0	211

prune698.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (exp (log (/ (+ (* 0.4917317610505968 z) (+ (* (* z z) 0.0692910599291889) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304)))) y)
0.2b	(* (* z z) 0.0692910599291889)
0.5b	(exp (log (/ (+ (* 0.4917317610505968 z) (+ (* (* z z) 0.0692910599291889) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))))
15.4b	(/ (+ (* 0.4917317610505968 z) (+ (* (* z z) 0.0692910599291889) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

rewrite526.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt`
32×	`log-prod` `exp-sum`
30×	`*-un-lft-identity` `add-cube-cbrt`
28×	`times-frac`
19×	`associate-l`
13×	`add-cbrt-cube`
12×	`pow1` `add-exp-log`
6×	`associate-r` `associate-/r/`
4×	`exp-prod` `flip3-+` `pow-prod-down` `prod-exp` `cbrt-unprod` `flip-+` `add-log-exp` `unswap-sqr`
3×	`associate-/r` `div-inv` `associate-/l`
2×	`log-div` `exp-diff` `*-commutative` `associate-/l/`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `associate-*l/` `log-pow` `rem-exp-log`

Counts

4 → 114

Calls

4 calls:

276.0ms	(* (exp (log (/ (+ (* 0.4917317610505968 z) (+ (* (* z z) 0.0692910599291889) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304)))) y)
14.0ms	(* (* z z) 0.0692910599291889)
46.0ms	(exp (log (/ (+ (* 0.4917317610505968 z) (+ (* (* z z) 0.0692910599291889) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))))
185.0ms	(/ (+ (* 0.4917317610505968 z) (+ (* (* z z) 0.0692910599291889) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

series367.0ms

Counts

4 → 12

Calls

4 calls:

92.0ms	(* (exp (log (/ (+ (* 0.4917317610505968 z) (+ (* (* z z) 0.0692910599291889) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304)))) y)
47.0ms	(* (* z z) 0.0692910599291889)
115.0ms	(exp (log (/ (+ (* 0.4917317610505968 z) (+ (* (* z z) 0.0692910599291889) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))))
113.0ms	(/ (+ (* 0.4917317610505968 z) (+ (* (* z z) 0.0692910599291889) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

simplify1.4s

Counts

126 → 126

Iterations

Iter	Nodes
done	5001
2	2735
1	588
0	248

prune953.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize169.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (/ (+ (* 0.4917317610505968 z) (+ (* (* z z) 0.0692910599291889) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304)))
15.4b	(/ (+ 0.279195317918525 (* z (+ 0.4917317610505968 (* z 0.0692910599291889)))) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))
15.4b	(/ (+ (* 0.4917317610505968 z) (+ (* (* z z) 0.0692910599291889) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))
15.4b	(/ (+ (* 0.4917317610505968 z) (+ (* (* z z) 0.0692910599291889) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

rewrite489.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
35×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
15×	`cbrt-prod`
10×	`add-cbrt-cube` `add-exp-log`
9×	`associate-/r` `associate-/l`
8×	`associate-/r/`
7×	`flip3-+` `flip-+`
6×	`associate-/l/`
4×	`pow1` `div-inv` `add-log-exp`
3×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp`
1×	`cbrt-div` `pow1/3`

Counts

4 → 117

Calls

4 calls:

72.0ms	(cbrt (/ (+ (* 0.4917317610505968 z) (+ (* (* z z) 0.0692910599291889) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304)))
32.0ms	(/ (+ 0.279195317918525 (* z (+ 0.4917317610505968 (* z 0.0692910599291889)))) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))
221.0ms	(/ (+ (* 0.4917317610505968 z) (+ (* (* z z) 0.0692910599291889) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))
160.0ms	(/ (+ (* 0.4917317610505968 z) (+ (* (* z z) 0.0692910599291889) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

series585.0ms

Counts

4 → 12

Calls

4 calls:

305.0ms	(cbrt (/ (+ (* 0.4917317610505968 z) (+ (* (* z z) 0.0692910599291889) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304)))
77.0ms	(/ (+ 0.279195317918525 (* z (+ 0.4917317610505968 (* z 0.0692910599291889)))) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))
103.0ms	(/ (+ (* 0.4917317610505968 z) (+ (* (* z z) 0.0692910599291889) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))
100.0ms	(/ (+ (* 0.4917317610505968 z) (+ (* (* z z) 0.0692910599291889) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

simplify1.5s

Counts

129 → 129

Iterations

Iter	Nodes
done	5000
2	2288
1	529
0	212

prune1.7s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes371.0ms

Accuracy

99.6% (0.1b remaining)

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

bsearch232.0ms

Steps

Iters	Range		Point
7	261980.93535209994	64260609.3427585	1835980.8334568457
7	-1.5371233422266502e+47	-6.6577576102820735e+44	-6.766709111451644e+44

simplify4.0ms

Iterations

Iter	Nodes
done	52
1	52
0	36

end0.0ms

sample1.2s

Algorithm

intervals

Results

918.0ms

8000×

body

valid