Details

sample37.0ms

Algorithm

intervals

Results

15.0ms

256×

body

valid

simplify5.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	21
1	32	21
2	70	21
3	128	21
4	275	21
5	483	21
6	806	21
7	1649	21
8	3167	21
9	4877	21
done	5000	21

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

Counts

2 → 1

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

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

6.0ms	(* (+ x y) z)
7.0ms	(+ (* (+ x y) z) (* (+ t y) a))
10.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
15.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series202.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* (+ x y) z)
19.0ms	(+ (* (+ x y) z) (* (+ t y) a))
31.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
144.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify671.0ms

Counts

102 → 102

Iterations

Useful iterations: 2 (182.0ms)

Iter	Nodes	Cost
0	180	2307
1	526	2209
2	1970	2077
done	5001	2077

prune157.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

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

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

7.0ms	(/ 1 (+ (+ x t) y))
7.0ms	(+ (* (+ x y) z) (* (+ t y) a))
10.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
21.0ms	(* (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (/ 1 (+ (+ x t) y)))

series206.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(/ 1 (+ (+ x t) y))
20.0ms	(+ (* (+ x y) z) (* (+ t y) a))
31.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
146.0ms	(* (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (/ 1 (+ (+ x t) y)))

simplify757.0ms

Counts

130 → 130

Iterations

Useful iterations: 2 (173.0ms)

Iter	Nodes	Cost
0	193	2712
1	565	2440
2	2103	2236
done	5000	2236

prune136.0ms

Filtered

80 candidates to 130 candidates (-62.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

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

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

38.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)))
12.0ms	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))
10.0ms	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

series900.0ms

Counts

4 → 12

Calls

4 calls:

366.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)))
124.0ms	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))
284.0ms	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

simplify1.7s

Counts

88 → 88

Iterations

Useful iterations: 3 (855.0ms)

Iter	Nodes	Cost
0	154	3543
1	426	3382
2	1268	2925
3	4541	2716
done	5001	2716

prune131.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 (0.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

regimes887.0ms

Accuracy

51.5% (9.3b remaining)

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

bsearch1.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample985.0ms

Algorithm

intervals

Results

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

Details

sample37.0ms

simplify5.5s

prune4.0ms

localize13.0ms

rewrite42.0ms

series202.0ms

simplify671.0ms

prune157.0ms

localize15.0ms

rewrite50.0ms

series206.0ms

simplify757.0ms

prune136.0ms

localize22.0ms

rewrite71.0ms

series900.0ms

simplify1.7s

prune131.0ms

localize1.0ms

rewrite0.0ms

series0.0ms

simplify1.0ms

prune0.0ms

regimes887.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample985.0ms

Profiling