Details

sample104.0ms

Algorithm

intervals

Results

27.0ms	280×	body	80	valid
1.0ms	3×	body	1280	valid

simplify11.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
28	4942
27	4728
26	4505
25	4290
24	4067
23	3853
22	3630
21	3415
20	3192
19	2978
18	2755
17	2540
16	2317
15	2103
14	1782
13	1438
12	1044
11	682
10	478
9	313
8	248
7	211
6	175
5	132
4	91
3	54
2	35
1	22
0	13

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize33.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.4b	(/ (* 60.0 (- x y)) (- z t))

rewrite189.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:

89.0ms	(+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))
52.0ms	(* 60.0 (- x y))
39.0ms	(/ (* 60.0 (- x y)) (- z t))

series1.0s

Counts

3 → 9

Calls

3 calls:

459.0ms	(+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))
129.0ms	(* 60.0 (- x y))
452.0ms	(/ (* 60.0 (- x y)) (- z t))

simplify3.7s

Counts

75 → 75

Iterations

Iter	Nodes
done	5000
2	1210
1	385
0	138

prune1.6s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize70.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.6b	(/ 60.0 (/ (- z t) (- x y)))

rewrite607.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:

232.0ms	(+ (/ 60.0 (/ (- z t) (- x y))) (* a 120.0))
87.0ms	(/ (- z t) (- x y))
262.0ms	(/ 60.0 (/ (- z t) (- x y)))

series2.0s

Counts

3 → 9

Calls

3 calls:

662.0ms	(+ (/ 60.0 (/ (- z t) (- x y))) (* a 120.0))
282.0ms	(/ (- z t) (- x y))
1.0s	(/ 60.0 (/ (- z t) (- x y)))

simplify8.7s

Counts

214 → 214

Iterations

Iter	Nodes
done	5000
2	3210
1	822
0	300

prune3.2s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize206.0ms

Local error

Found 3 expressions with local error:

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

rewrite382.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 102

Calls

3 calls:

61.0ms	(+ (* (/ 60.0 (- z t)) (- x y)) (* a 120.0))
197.0ms	(/ 60.0 (- z t))
94.0ms	(* (/ 60.0 (- z t)) (- x y))

series2.0s

Counts

3 → 9

Calls

3 calls:

681.0ms	(+ (* (/ 60.0 (- z t)) (- x y)) (* a 120.0))
300.0ms	(/ 60.0 (- z t))
968.0ms	(* (/ 60.0 (- z t)) (- x y))

simplify8.2s

Counts

111 → 111

Iterations

Iter	Nodes
done	5000
2	1698
1	470
0	175

prune1.3s

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	(/ 1 (- z t))
0.0b	(+ (* (* 60.0 (/ 1 (- z t))) (- x y)) (* a 120.0))
0.2b	(* (* 60.0 (/ 1 (- z t))) (- x y))
0.3b	(* 60.0 (/ 1 (- z t)))

rewrite422.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 136

Calls

4 calls:

24.0ms	(/ 1 (- z t))
97.0ms	(+ (* (* 60.0 (/ 1 (- z t))) (- x y)) (* a 120.0))
192.0ms	(* (* 60.0 (/ 1 (- z t))) (- x y))
100.0ms	(* 60.0 (/ 1 (- z t)))

series1.8s

Counts

4 → 12

Calls

4 calls:

75.0ms	(/ 1 (- z t))
607.0ms	(+ (* (* 60.0 (/ 1 (- z t))) (- x y)) (* a 120.0))
737.0ms	(* (* 60.0 (/ 1 (- z t))) (- x y))
335.0ms	(* 60.0 (/ 1 (- z t)))

simplify7.3s

Counts

148 → 148

Iterations

Iter	Nodes
done	5000
2	1821
1	545
0	199

prune1.9s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes1.4s

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Iter	Nodes
done	15
1	15
0	13

end0.0ms

sample3.5s

Algorithm

intervals

Results

2.7s	8538×	body	80	valid
16.0ms	43×	body	1280	valid
11.0ms	34×	body	640	valid
11.0ms	23×	body	2560	valid
3.0ms	14×	body	320	valid
1.0ms	10×	body	160	valid