Details

sample52.0ms

Algorithm

intervals

Results

20.0ms	268×	body	80	valid
1.0ms	3×	body	1280	valid
1.0ms	2×	body	2560	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid

simplify7.9s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	247
1	22	247
2	35	247
3	54	247
4	91	247
5	131	247
6	169	247
7	205	247
8	242	247
9	304	247
10	416	247
11	606	247
12	992	247
13	1361	247
14	1751	247
15	2126	247
16	2368	247
17	2593	247
18	2836	247
19	3105	247
20	3331	247
21	3556	247
22	3792	247
23	4024	247
24	4250	247
25	4475	247
26	4711	247
27	4943	247
done	5001	247

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

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

rewrite114.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-r*` `add-log-exp`
4×	`associate-*r/`
3×	`flip3--` `associate-l` `flip--` `distribute-lft-out--` `difference-of-squares`
2×	`distribute-rgt-in` `cbrt-undiv` `sub-neg` `distribute-lft-in` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `clear-num` `sum-log` `frac-2neg` `flip3-+` `pow-prod-down` `-commutative` `flip-+` `div-inv` `associate-/l` `unswap-sqr`

Counts

3 → 66

Calls

3 calls:

47.0ms	(+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))
32.0ms	(* 60.0 (- x y))
33.0ms	(/ (* 60.0 (- x y)) (- z t))

series279.0ms

Counts

3 → 9

Calls

3 calls:

158.0ms	(+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))
34.0ms	(* 60.0 (- x y))
86.0ms	(/ (* 60.0 (- x y)) (- z t))

simplify2.0s

Counts

75 → 75

Iterations

Useful iterations: done (1.9s)

Iter	Nodes	Cost
0	138	16569
1	385	14990
2	1222	14750
done	5000	14590

prune586.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize23.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)))

rewrite103.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-cbrt-cube` `add-exp-log`
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` `unswap-sqr` `associate-/l/`
1×	`+-commutative` `clear-num` `sum-log` `frac-2neg` `flip3-+` `div-sub` `pow-prod-down` `associate-r/` `-commutative` `flip-+`

Counts

3 → 113

Calls

3 calls:

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

series357.0ms

Counts

3 → 9

Calls

3 calls:

172.0ms	(+ (* 60.0 (/ (- x y) (- z t))) (* a 120.0))
75.0ms	(/ (- x y) (- z t))
109.0ms	(* 60.0 (/ (- x y) (- z t)))

simplify2.2s

Counts

122 → 122

Iterations

Useful iterations: done (2.2s)

Iter	Nodes	Cost
0	170	32004
1	467	29366
2	1484	29046
done	5000	28966

prune656.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite345.0ms

Algorithm

rewrite-expression-head

Rules

98×	`*-un-lft-identity`
80×	`add-sqr-sqrt`
66×	`times-frac`
32×	`distribute-lft-out--`
30×	`add-cube-cbrt`
20×	`difference-of-squares`
18×	`associate-r`
12×	`associate-/r/`
10×	`associate-/r*` `add-cbrt-cube` `add-exp-log`
8×	`flip3--` `flip--`
6×	`pow1` `distribute-rgt-out--` `div-inv` `associate-/l*` `add-log-exp`
4×	`associate-*r/`
3×	`sub-neg` `associate-l`
2×	`distribute-rgt-in` `cbrt-undiv` `clear-num` `frac-2neg` `distribute-lft-in` `div-exp` `frac-sub` `sub-div`
1×	`diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 144

Calls

4 calls:

10.0ms	(/ y (- z t))
78.0ms	(- (/ x (- z t)) (/ y (- z t)))
9.0ms	(/ x (- z t))
237.0ms	(* 60.0 (- (/ x (- z t)) (/ y (- z t))))

series430.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(/ y (- z t))
137.0ms	(- (/ x (- z t)) (/ y (- z t)))
46.0ms	(/ x (- z t))
203.0ms	(* 60.0 (- (/ x (- z t)) (/ y (- z t))))

simplify1.7s

Counts

156 → 156

Iterations

Useful iterations: done (1.6s)

Iter	Nodes	Cost
0	196	35014
1	460	32088
2	1403	31807
done	5002	31727

prune1.0s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize16.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)))

rewrite165.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-cbrt-cube` `add-exp-log`
8×	`associate-/l*`
6×	`flip3--` `div-inv` `flip--`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`pow1`
2×	`clear-num` `frac-2neg` `associate-/l/`
1×	`+-commutative` `sum-log` `flip3-+` `div-sub` `flip-+`

Counts

3 → 205

Calls

3 calls:

98.0ms	(+ (/ 60.0 (/ (- z t) (- x y))) (* a 120.0))
21.0ms	(/ (- z t) (- x y))
31.0ms	(/ 60.0 (/ (- z t) (- x y)))

series729.0ms

Counts

3 → 9

Calls

3 calls:

249.0ms	(+ (/ 60.0 (/ (- z t) (- x y))) (* a 120.0))
65.0ms	(/ (- z t) (- x y))
416.0ms	(/ 60.0 (/ (- z t) (- x y)))

simplify2.9s

Counts

214 → 214

Iterations

Useful iterations: done (2.9s)

Iter	Nodes	Cost
0	300	82988
1	822	77265
2	3208	75555
done	5003	75312

prune1.2s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes788.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	287
1	17	287
done	17	287

end0.0ms

sample1.0s

Algorithm

intervals

Results

591.0ms	8485×	body	80	valid
46.0ms	41×	body	640	valid
14.0ms	54×	body	1280	valid
8.0ms	28×	body	2560	valid
2.0ms	14×	body	320	valid
1.0ms	7×	body	160	valid