Details

sample38.0ms

Algorithm

intervals

Results

17.0ms

281×

body

valid

simplify3.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	20	11
2	33	11
3	54	11
4	86	11
5	128	11
6	169	11
7	189	11
8	215	11
9	252	11
10	320	11
11	418	11
12	539	11
13	767	11
14	1011	11
15	1303	11
16	1653	11
17	2075	11
18	2548	11
19	3079	11
20	3693	11
21	4343	11
done	5001	11

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: 1.8b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (* y (/ (- z t) (- a t))))
0.0b	(/ (- z t) (- a t))
2.5b	(* y (/ (- z t) (- a t)))

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

3.0ms	(+ x (* y (/ (- z t) (- a t))))
9.0ms	(/ (- z t) (- a t))
15.0ms	(* y (/ (- z t) (- a t)))

series58.0ms

Counts

3 → 9

Calls

3 calls:

29.0ms	(+ x (* y (/ (- z t) (- a t))))
10.0ms	(/ (- z t) (- a t))
18.0ms	(* y (/ (- z t) (- a t)))

simplify1.1s

Counts

122 → 122

Iterations

Useful iterations: 3 (433.0ms)

Iter	Nodes	Cost
0	162	1555
1	424	1464
2	1270	1372
3	4474	1370
done	5000	1370

prune162.0ms

Filtered

84 candidates to 122 candidates (-45.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	114	8	122
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	115	8	123

Merged error: 0b

Counts

123 → 8

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* y (/ 1 (/ (- a t) (- z t)))))
0.0b	(/ (- a t) (- z t))
0.2b	(/ 1 (/ (- a t) (- z t)))
2.5b	(* y (/ 1 (/ (- a t) (- z t))))

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

392×	`times-frac`
336×	`add-sqr-sqrt`
324×	`*-un-lft-identity`
158×	`add-cube-cbrt`
98×	`associate-r`
82×	`distribute-lft-out--` `difference-of-squares`
36×	`add-exp-log` `associate-/r*`
20×	`add-cbrt-cube`
18×	`associate-/r/`
15×	`div-exp`
10×	`div-inv`
9×	`flip3--` `flip--`
8×	`associate-/l*`
7×	`pow1` `cbrt-undiv` `prod-exp`
6×	`add-log-exp`
5×	`unswap-sqr`
4×	`rec-exp` `1-exp`
3×	`associate-l` `cbrt-unprod`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`+-commutative` `pow-flip` `flip3-+` `div-sub` `associate-r/` `pow-prod-down` `sum-log` `un-div-inv` `-commutative` `flip-+` `inv-pow`

Counts

4 → 338

Calls

4 calls:

3.0ms	(+ x (* y (/ 1 (/ (- a t) (- z t)))))
9.0ms	(/ (- a t) (- z t))
13.0ms	(/ 1 (/ (- a t) (- z t)))
38.0ms	(* y (/ 1 (/ (- a t) (- z t))))

series101.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(+ x (* y (/ 1 (/ (- a t) (- z t)))))
11.0ms	(/ (- a t) (- z t))
18.0ms	(/ 1 (/ (- a t) (- z t)))
35.0ms	(* y (/ 1 (/ (- a t) (- z t))))

simplify751.0ms

Counts

350 → 350

Iterations

Useful iterations: done (735.0ms)

Iter	Nodes	Cost
0	373	5716
1	965	4955
2	3075	4384
done	5000	4230

prune242.0ms

Filtered

185 candidates to 350 candidates (-89.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	348	2	350
Fresh	5	2	7
Picked	0	1	1
Done	0	0	0
Total	353	5	358

Merged error: 0b

Counts

358 → 5

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ y (/ (- a t) (- z t))))
0.0b	(/ (- a t) (- z t))
2.1b	(/ y (/ (- a t) (- z t)))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

218×	`times-frac`
197×	`*-un-lft-identity`
195×	`add-sqr-sqrt`
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-+` `distribute-lft-out`

Counts

3 → 206

Calls

3 calls:

28.0ms	(+ x (/ y (/ (- a t) (- z t))))
15.0ms	(/ (- a t) (- z t))
13.0ms	(/ y (/ (- a t) (- z t)))

series81.0ms

Counts

3 → 9

Calls

3 calls:

36.0ms	(+ x (/ y (/ (- a t) (- z t))))
11.0ms	(/ (- a t) (- z t))
34.0ms	(/ y (/ (- a t) (- z t)))

simplify575.0ms

Counts

215 → 215

Iterations

Useful iterations: done (568.0ms)

Iter	Nodes	Cost
0	292	3733
1	701	3510
2	2559	3384
done	5000	3380

prune173.0ms

Filtered

144 candidates to 215 candidates (-49.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	215	0	215
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	215	5	220

Merged error: 0b

Counts

220 → 5

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (* (/ y (- a t)) (- z t)))
0.0b	(/ y (- a t))
10.0b	(* (/ y (- a t)) (- z t))

rewrite27.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-+r+` `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:

4.0ms	(+ x (* (/ y (- a t)) (- z t)))
6.0ms	(/ y (- a t))
13.0ms	(* (/ y (- a t)) (- z t))

series77.0ms

Counts

3 → 9

Calls

3 calls:

41.0ms	(+ x (* (/ y (- a t)) (- z t)))
8.0ms	(/ y (- a t))
28.0ms	(* (/ y (- a t)) (- z t))

simplify493.0ms

Counts

111 → 111

Iterations

Useful iterations: done (490.0ms)

Iter	Nodes	Cost
0	166	1295
1	414	1242
2	1444	1164
done	5000	1161

prune102.0ms

Filtered

82 candidates to 111 candidates (-35.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	111	5	116

Merged error: 0b

Counts

116 → 5

regimes429.0ms

Accuracy

-8.4% (1.4b remaining)

Error of 1.4b against oracle of 0.0b and baseline of 1.3b

bsearch41.0ms

Steps

Iters	Range		Point
9	8.121326813253729e-195	5.592055814454497e-186	1.5974565002864017e-190
6	-2.1117949458660426e-107	-1.3691623995958124e-108	-1.6501968152492076e-107

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	19	41
1	25	31
done	25	31

end0.0ms

sample886.0ms

Algorithm

intervals

Results

332.0ms	8728×	body	80	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	320	valid

Details

sample38.0ms

simplify3.8s

prune4.0ms

localize8.0ms

rewrite38.0ms

series58.0ms

simplify1.1s

prune162.0ms

localize10.0ms

rewrite85.0ms

series101.0ms

simplify751.0ms

prune242.0ms

localize9.0ms

rewrite69.0ms

series81.0ms

simplify575.0ms

prune173.0ms

localize9.0ms

rewrite27.0ms

series77.0ms

simplify493.0ms

prune102.0ms

regimes429.0ms

bsearch41.0ms

simplify2.0ms

end0.0ms

sample886.0ms

Profiling