Details

sample32.0ms

Algorithm

intervals

Results

11.0ms	266×	body	80	valid
0.0ms	2×	body	640	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	320	valid

simplify2.4s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	13
1	22	13
2	37	13
3	62	13
4	98	13
5	140	13
6	173	13
7	205	13
8	259	13
9	346	13
10	452	13
11	621	13
12	800	13
13	1006	13
14	1176	13
15	1346	13
16	1521	13
17	1691	13
18	1861	13
19	2036	13
20	2206	13
21	2376	13
22	2551	13
23	2721	13
24	2891	13
25	3068	13
26	3238	13
27	3408	13
28	3585	13
29	3755	13
30	3925	13
31	4102	13
32	4272	13
33	4442	13
34	4619	13
35	4789	13
36	4959	13
done	5000	13

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.4b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))
0.0b	(* 60.0 (- x y))
0.5b	(/ (* 60.0 (- x y)) (- z t))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 66

Calls

3 calls:

12.0ms	(+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))
7.0ms	(* 60.0 (- x y))
11.0ms	(/ (* 60.0 (- x y)) (- z t))

series64.0ms

Counts

3 → 9

Calls

3 calls:

41.0ms	(+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))
5.0ms	(* 60.0 (- x y))
18.0ms	(/ (* 60.0 (- x y)) (- z t))

simplify441.0ms

Counts

75 → 75

Iterations

Useful iterations: done (439.0ms)

Iter	Nodes	Cost
0	138	885
1	379	838
2	1278	756
done	5000	746

prune110.0ms

Filtered

52 candidates to 75 candidates (-44.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	70	5	75
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	71	5	76

Merged error: 0.0b

Counts

76 → 5

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* 60.0 (/ (- x y) (- z t))) (* a 120.0))
0.0b	(/ (- x y) (- z t))
0.3b	(* 60.0 (/ (- x y) (- z t)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt`
71×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
27×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `associate-/r` `associate-/l` `add-log-exp`
4×	`associate-/r/`
3×	`flip3--` `associate-l` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `flip3-+` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+`

Counts

3 → 113

Calls

3 calls:

11.0ms	(+ (* 60.0 (/ (- x y) (- z t))) (* a 120.0))
9.0ms	(/ (- x y) (- z t))
15.0ms	(* 60.0 (/ (- x y) (- z t)))

series74.0ms

Counts

3 → 9

Calls

3 calls:

42.0ms	(+ (* 60.0 (/ (- x y) (- z t))) (* a 120.0))
14.0ms	(/ (- x y) (- z t))
17.0ms	(* 60.0 (/ (- x y) (- z t)))

simplify987.0ms

Counts

122 → 122

Iterations

Useful iterations: 3 (417.0ms)

Iter	Nodes	Cost
0	170	1605
1	457	1510
2	1381	1420
3	4465	1410
done	5000	1410

prune127.0ms

Filtered

85 candidates to 122 candidates (-43.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	122	5	127

Merged error: 0.0b

Counts

127 → 5

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ 60.0 (/ (- z t) (- x y))) (* a 120.0))
0.0b	(/ (- z t) (- x y))
0.5b	(/ 60.0 (/ (- z t) (- x y)))

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

218×	`times-frac`
195×	`add-sqr-sqrt` `*-un-lft-identity`
91×	`add-cube-cbrt`
52×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r*`
11×	`associate-/r/`
10×	`add-exp-log` `add-cbrt-cube`
8×	`associate-/l*`
6×	`flip3--` `flip--` `div-inv`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`pow1`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`+-commutative` `flip3-+` `div-sub` `sum-log` `flip-+`

Counts

3 → 205

Calls

3 calls:

31.0ms	(+ (/ 60.0 (/ (- z t) (- x y))) (* a 120.0))
9.0ms	(/ (- z t) (- x y))
14.0ms	(/ 60.0 (/ (- z t) (- x y)))

series101.0ms

Counts

3 → 9

Calls

3 calls:

42.0ms	(+ (/ 60.0 (/ (- z t) (- x y))) (* a 120.0))
14.0ms	(/ (- z t) (- x y))
45.0ms	(/ 60.0 (/ (- z t) (- x y)))

simplify647.0ms

Counts

214 → 214

Iterations

Useful iterations: 2 (224.0ms)

Iter	Nodes	Cost
0	300	3766
1	731	3523
2	2862	3413
done	5001	3413

prune220.0ms

Filtered

145 candidates to 214 candidates (-47.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	214	0	214
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	214	5	219

Merged error: 0.0b

Counts

219 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (/ 1 (/ (- z t) (* 60.0 (- x y)))) (* a 120.0))
0.0b	(* 60.0 (- x y))
0.4b	(/ (- z t) (* 60.0 (- x y)))
0.6b	(/ 1 (/ (- z t) (* 60.0 (- x y))))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

58×	`times-frac`
44×	`add-sqr-sqrt`
42×	`*-un-lft-identity`
32×	`add-exp-log`
28×	`add-cube-cbrt`
20×	`add-cbrt-cube`
14×	`div-exp`
12×	`associate-r/` `associate-/r`
11×	`associate-/r/`
8×	`associate-/l*`
7×	`pow1` `cbrt-undiv` `flip3--` `flip--` `distribute-lft-out--` `difference-of-squares`
6×	`div-inv` `add-log-exp`
5×	`associate-r` `prod-exp`
3×	`rec-exp` `1-exp` `associate-l` `cbrt-unprod`
2×	`distribute-rgt-in` `sub-neg` `frac-2neg` `distribute-lft-in` `clear-num` `associate-/l/`
1×	`+-commutative` `pow-flip` `flip3-+` `div-sub` `pow-prod-down` `sum-log` `*-commutative` `flip-+` `inv-pow` `unswap-sqr`

Counts

4 → 139

Calls

4 calls:

18.0ms	(+ (/ 1 (/ (- z t) (* 60.0 (- x y)))) (* a 120.0))
10.0ms	(* 60.0 (- x y))
10.0ms	(/ (- z t) (* 60.0 (- x y)))
12.0ms	(/ 1 (/ (- z t) (* 60.0 (- x y))))

series108.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(+ (/ 1 (/ (- z t) (* 60.0 (- x y)))) (* a 120.0))
5.0ms	(* 60.0 (- x y))
20.0ms	(/ (- z t) (* 60.0 (- x y)))
44.0ms	(/ 1 (/ (- z t) (* 60.0 (- x y))))

simplify519.0ms

Counts

151 → 151

Iterations

Useful iterations: done (515.0ms)

Iter	Nodes	Cost
0	227	2221
1	583	2040
2	2154	1748
done	5001	1732

prune131.0ms

Filtered

86 candidates to 151 candidates (-75.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	151	0	151
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	151	5	156

Merged error: 0.0b

Counts

156 → 5

regimes976.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	13
1	16	13
done	16	13

end0.0ms

sample942.0ms

Algorithm

intervals

Results

380.0ms	8547×	body	80	valid
10.0ms	51×	body	1280	valid
7.0ms	40×	body	640	valid
6.0ms	25×	body	2560	valid
2.0ms	21×	body	320	valid
0.0ms	6×	body	160	valid
0.0ms	1×	body	5120	valid

Details

sample32.0ms

simplify2.4s

prune4.0ms

localize10.0ms

rewrite32.0ms

series64.0ms

simplify441.0ms

prune110.0ms

localize13.0ms

rewrite40.0ms

series74.0ms

simplify987.0ms

prune127.0ms

localize10.0ms

rewrite70.0ms

series101.0ms

simplify647.0ms

prune220.0ms

localize11.0ms

rewrite56.0ms

series108.0ms

simplify519.0ms

prune131.0ms

regimes976.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample942.0ms

Profiling