Details

sample53.0ms

Algorithm

intervals

Results

29.0ms	277×	body	80	valid
1.0ms	3×	body	640	valid
1.0ms	2×	body	2560	valid
1.0ms	2×	body	1280	valid
0.0ms	1×	body	320	valid

simplify31.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
127	4984
126	4966
125	4948
124	4930
123	4912
122	4894
121	4876
120	4858
119	4840
118	4822
117	4804
116	4786
115	4768
114	4750
113	4732
112	4714
111	4696
110	4678
109	4660
108	4642
107	4624
106	4606
105	4588
104	4570
103	4552
102	4534
101	4516
100	4498
99	4480
98	4462
97	4444
96	4426
95	4408
94	4390
93	4372
92	4354
91	4336
90	4318
89	4300
88	4282
87	4264
86	4246
85	4228
84	4210
83	4192
82	4174
81	4156
80	4138
79	4120
78	4102
77	4084
76	4066
75	4048
74	4030
73	4012
72	3994
71	3976
70	3958
69	3940
68	3922
67	3904
66	3886
65	3868
64	3850
63	3832
62	3814
61	3796
60	3778
59	3760
58	3742
57	3724
56	3706
55	3688
54	3670
53	3652
52	3634
51	3616
50	3598
49	3580
48	3562
47	3544
46	3526
45	3508
44	3490
43	3472
42	3454
41	3436
40	3418
39	3400
38	3382
37	3364
36	3346
35	3328
34	3310
33	3292
32	3274
31	3256
30	3238
29	3220
28	3202
27	3184
26	3166
25	3148
24	3130
23	3112
22	3094
21	3076
20	3058
19	3040
18	3022
17	3004
16	2966
15	2935
14	2796
13	2353
12	1560
11	902
10	501
9	405
8	351
7	287
6	242
5	179
4	118
3	67
2	39
1	22
0	13

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize27.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- x y) 60.0)
0.0b	(fma a 120.0 (/ (* (- x y) 60.0) (- z t)))
0.2b	(/ (* (- x y) 60.0) (- z t))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`*-un-lft-identity`
10×	`add-cbrt-cube` `add-exp-log`
7×	`add-cube-cbrt`
5×	`pow1` `associate-/r` `times-frac` `associate-l*`
4×	`associate-*l/`
3×	`expm1-log1p-u` `flip3--` `associate-r` `insert-posit16` `log1p-expm1-u` `flip--` `distribute-lft-out--` `add-log-exp` `difference-of-squares`
2×	`cbrt-undiv` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `associate-/l/`
1×	`clear-num` `frac-2neg` `pow-prod-down` `-commutative` `fma-udef` `div-inv` `associate-/l` `unswap-sqr`

Counts

3 → 68

Calls

3 calls:

16.0ms	(* (- x y) 60.0)
0.0ms	(fma a 120.0 (/ (* (- x y) 60.0) (- z t)))
33.0ms	(/ (* (- x y) 60.0) (- z t))

series262.0ms

Counts

3 → 9

Calls

3 calls:

55.0ms	(* (- x y) 60.0)
117.0ms	(fma a 120.0 (/ (* (- x y) 60.0) (- z t)))
90.0ms	(/ (* (- x y) 60.0) (- z t))

simplify1.3s

Counts

77 → 77

Iterations

Iter	Nodes
done	5001
2	1089
1	320
0	132

prune491.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize32.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- z t) 60.0)
0.0b	(fma a 120.0 (/ (- x y) (/ (- z t) 60.0)))
0.2b	(/ (- x y) (/ (- z t) 60.0))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

200×	`times-frac`
171×	`add-sqr-sqrt` `*-un-lft-identity`
87×	`add-cube-cbrt`
42×	`distribute-lft-out--` `difference-of-squares`
22×	`associate-/r*`
10×	`add-cbrt-cube` `add-exp-log` `associate-/l*`
8×	`div-inv`
4×	`cbrt-undiv` `div-exp` `associate-/l/`
3×	`expm1-log1p-u` `pow1` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`clear-num` `frac-2neg` `flip3--` `div-sub` `flip--`
1×	`associate-/r/` `fma-udef`

Counts

3 → 192

Calls

3 calls:

14.0ms	(/ (- z t) 60.0)
0.0ms	(fma a 120.0 (/ (- x y) (/ (- z t) 60.0)))
23.0ms	(/ (- x y) (/ (- z t) 60.0))

series272.0ms

Counts

3 → 9

Calls

3 calls:

53.0ms	(/ (- z t) 60.0)
138.0ms	(fma a 120.0 (/ (- x y) (/ (- z t) 60.0)))
82.0ms	(/ (- x y) (/ (- z t) 60.0))

simplify1.8s

Counts

201 → 201

Iterations

Iter	Nodes
done	5001
2	2422
1	837
0	280

prune1.0s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- z t) 60.0)
0.0b	(fma a 120.0 (/ 1 (/ (/ (- z t) 60.0) (- x y))))
0.2b	(/ 1 (/ (/ (- z t) 60.0) (- x y)))
0.2b	(/ (/ (- z t) 60.0) (- x y))

rewrite100.0ms

Algorithm

rewrite-expression-head

Rules

1183×	`times-frac`
806×	`add-sqr-sqrt` `*-un-lft-identity`
450×	`add-cube-cbrt`
178×	`distribute-lft-out--` `difference-of-squares`
109×	`associate-/r*`
33×	`div-inv`
32×	`add-exp-log`
27×	`associate-/l*`
20×	`add-cbrt-cube`
19×	`div-exp`
11×	`associate-/r/`
10×	`cbrt-undiv`
6×	`flip3--` `flip--`
5×	`pow1`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`rec-exp` `clear-num` `frac-2neg` `1-exp` `div-sub` `associate-/l/`
1×	`fma-udef` `pow-flip` `inv-pow`

Counts

4 → 627

Calls

4 calls:

29.0ms	(/ (- z t) 60.0)
0.0ms	(fma a 120.0 (/ 1 (/ (/ (- z t) 60.0) (- x y))))
18.0ms	(/ 1 (/ (/ (- z t) 60.0) (- x y)))
34.0ms	(/ (/ (- z t) 60.0) (- x y))

series729.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(/ (- z t) 60.0)
150.0ms	(fma a 120.0 (/ 1 (/ (/ (- z t) 60.0) (- x y))))
431.0ms	(/ 1 (/ (/ (- z t) 60.0) (- x y)))
98.0ms	(/ (/ (- z t) 60.0) (- x y))

simplify2.1s

Counts

639 → 639

Iterations

Iter	Nodes
done	5001
1	1993
0	716

prune3.1s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma a 120.0 (* (/ (- x y) (sqrt (- z t))) (/ 60.0 (sqrt (- z t)))))
0.1b	(/ 60.0 (sqrt (- z t)))
0.1b	(/ (- x y) (sqrt (- z t)))
0.2b	(* (/ (- x y) (sqrt (- z t))) (/ 60.0 (sqrt (- z t))))

rewrite117.0ms

Algorithm

rewrite-expression-head

Rules

176×	`add-sqr-sqrt`
146×	`*-un-lft-identity`
140×	`times-frac`
96×	`sqrt-prod`
76×	`add-cube-cbrt`
46×	`associate-l`
35×	`distribute-lft-out--` `difference-of-squares`
30×	`associate-r`
20×	`add-cbrt-cube` `add-exp-log`
16×	`associate-/r*`
9×	`unswap-sqr`
8×	`sqrt-div` `associate-/r/` `associate-/l*`
6×	`pow1` `cbrt-undiv` `div-exp`
5×	`flip3--` `flip--`
4×	`expm1-log1p-u` `prod-exp` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `div-inv` `add-log-exp`
2×	`clear-num` `frac-2neg` `associate-/l/`
1×	`frac-times` `div-sub` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative` `fma-udef`

Counts

4 → 244

Calls

4 calls:

0.0ms	(fma a 120.0 (* (/ (- x y) (sqrt (- z t))) (/ 60.0 (sqrt (- z t)))))
16.0ms	(/ 60.0 (sqrt (- z t)))
34.0ms	(/ (- x y) (sqrt (- z t)))
58.0ms	(* (/ (- x y) (sqrt (- z t))) (/ 60.0 (sqrt (- z t))))

series486.0ms

Counts

4 → 12

Calls

4 calls:

124.0ms	(fma a 120.0 (* (/ (- x y) (sqrt (- z t))) (/ 60.0 (sqrt (- z t)))))
113.0ms	(/ 60.0 (sqrt (- z t)))
147.0ms	(/ (- x y) (sqrt (- z t)))
102.0ms	(* (/ (- x y) (sqrt (- z t))) (/ 60.0 (sqrt (- z t))))

simplify1.8s

Counts

256 → 256

Iterations

Iter	Nodes
done	5003
2	2754
1	856
0	315

prune1.3s

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes487.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Iter	Nodes
done	12
0	12

end0.0ms

sample1.2s

Algorithm

intervals

Results

818.0ms	8531×	body	80	valid
17.0ms	42×	body	1280	valid
14.0ms	43×	body	640	valid
7.0ms	16×	body	2560	valid
5.0ms	22×	body	320	valid
2.0ms	16×	body	160	valid