Details

sample37.0ms

Algorithm

intervals

Results

15.0ms

256×

body

valid

simplify1.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	21
1	32	21
2	70	21
3	130	21
4	279	21
5	504	21
6	836	21
7	1721	21
8	3385	21
done	5001	21

prune5.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: 30.5b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ x y) z)
1.6b	(+ (* (+ x y) z) (* (+ t y) a))
2.4b	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
28.6b	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 90

Calls

4 calls:

7.0ms	(* (+ x y) z)
8.0ms	(+ (* (+ x y) z) (* (+ t y) a))
11.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
16.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series213.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* (+ x y) z)
18.0ms	(+ (* (+ x y) z) (* (+ t y) a))
33.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
155.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify572.0ms

Counts

102 → 102

Iterations

Useful iterations: 2 (158.0ms)

Iter	Nodes	Cost
0	180	2307
1	534	2209
2	2065	2077
done	5000	2077

prune166.0ms

Filtered

74 candidates to 102 candidates (-37.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	93	9	102
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	93	10	103

Merged error: 8.1b

Counts

103 → 10

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (+ (+ x t) y))
1.6b	(+ (* (+ x y) z) (* (+ t y) a))
2.4b	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
28.6b	(* (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (/ 1 (+ (+ x t) y)))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

60×	`*-un-lft-identity`
32×	`times-frac`
31×	`add-sqr-sqrt`
24×	`add-cube-cbrt`
21×	`associate-r` `distribute-lft-out`
17×	`add-exp-log`
11×	`add-cbrt-cube` `add-log-exp`
10×	`associate-*l/`
7×	`pow1` `flip3-+` `flip-+`
5×	`associate-/r*`
4×	`div-exp` `frac-add` `prod-exp` `associate-/r/`
3×	`flip3--` `associate-l` `flip--` `associate-/l*` `unswap-sqr`
2×	`cbrt-undiv` `frac-times` `rec-exp` `diff-log` `1-exp` `sum-log` `cbrt-unprod` `div-inv`
1×	`+-commutative` `sub-neg` `pow-flip` `frac-2neg` `associate-r/` `pow-prod-down` `associate--l+` `clear-num` `un-div-inv` `-commutative` `inv-pow`

Counts

4 → 118

Calls

4 calls:

8.0ms	(/ 1 (+ (+ x t) y))
8.0ms	(+ (* (+ x y) z) (* (+ t y) a))
11.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
22.0ms	(* (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (/ 1 (+ (+ x t) y)))

series214.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(/ 1 (+ (+ x t) y))
18.0ms	(+ (* (+ x y) z) (* (+ t y) a))
35.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
150.0ms	(* (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (/ 1 (+ (+ x t) y)))

simplify598.0ms

Counts

130 → 130

Iterations

Useful iterations: 2 (177.0ms)

Iter	Nodes	Cost
0	193	2712
1	577	2484
2	2365	2236
done	5000	2236

prune146.0ms

Filtered

81 candidates to 130 candidates (-60.5%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	1	7	8
Picked	0	1	1
Done	0	1	1
Total	130	10	140

Merged error: 8.1b

Counts

140 → 10

localize23.0ms

Local error

Found 4 expressions with local error:

9.6b	(/ (* (cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))) (cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))) (* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y))))
29.3b	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))
29.3b	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))
29.3b	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

30×	`cbrt-div`
16×	`add-exp-log`
9×	`cbrt-prod` `flip3--` `flip--`
8×	`frac-times` `associate-/r/` `add-cbrt-cube` `associate-/l/`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`flip3-+` `flip-+`
4×	`pow1` `cbrt-undiv` `associate-r/` `div-exp` `associate-l/` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`pow1/3`
1×	`frac-2neg` `times-frac` `clear-num` `associate-/r` `div-inv` `associate-/l`

Counts

4 → 76

Calls

4 calls:

40.0ms	(/ (* (cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))) (cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))) (* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y))))
10.0ms	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))
10.0ms	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))
10.0ms	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

series761.0ms

Counts

4 → 12

Calls

4 calls:

375.0ms	(/ (* (cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))) (cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))) (* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y))))
127.0ms	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))
130.0ms	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))
129.0ms	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

simplify1.2s

Counts

88 → 88

Iterations

Useful iterations: 3 (632.0ms)

Iter	Nodes	Cost
0	154	3543
1	426	3382
2	1315	2925
3	4823	2716
done	5000	2716

prune138.0ms

Filtered

72 candidates to 88 candidates (-22.2%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	88	0	88
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	88	10	98

Merged error: 8.1b

Counts

98 → 10

localize1.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify1.0ms

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0
done	0	0

prune0.0ms

Pruning

10 alts after pruning (6 fresh and 4 done)

	Kept	Total
New	0	0
Fresh	6	6
Picked	1	1
Done	3	3
Total	10	10

Merged error: 8.1b

Counts

10 → 10

regimes927.0ms

Accuracy

51.5% (9.3b remaining)

Error of 17.7b against oracle of 8.4b and baseline of 27.6b

bsearch1.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	71
1	33	71
done	33	71

end0.0ms

sample1.0s

Algorithm

intervals

Results

470.0ms	7997×	body	80	valid
0.0ms	2×	body	640	valid
0.0ms	1×	body	1280	valid

Details

sample37.0ms

simplify1.2s

prune5.0ms

localize22.0ms

rewrite44.0ms

series213.0ms

simplify572.0ms

prune166.0ms

localize16.0ms

rewrite56.0ms

series214.0ms

simplify598.0ms

prune146.0ms

localize23.0ms

rewrite73.0ms

series761.0ms

simplify1.2s

prune138.0ms

localize1.0ms

rewrite0.0ms

series0.0ms

simplify1.0ms

prune0.0ms

regimes927.0ms

bsearch1.0ms

simplify3.0ms

end0.0ms

sample1.0s

Profiling