Details

sample28.0ms

Algorithm

intervals

Results

9.0ms	251×	body	80	valid
3.0ms	14×	body	1280	valid
2.0ms	15×	body	640	valid
0.0ms	7×	body	160	valid
0.0ms	4×	body	320	valid

simplify76.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	23	6
1	44	6
2	122	6
3	327	6
4	868	6
5	1727	6
6	3544	6
7	5001	6

prune2.0ms

Filtered

1 candidates to 0 candidates (0.0%)

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

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

78×	`add-sqr-sqrt`
73×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
27×	`add-cube-cbrt`
23×	`distribute-lft-out--` `difference-of-squares`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `flip3--` `associate-l` `associate-/r` `flip--` `associate-/l` `add-log-exp`
4×	`associate-/r/`
2×	`cbrt-undiv` `frac-times` `div-exp` `associate-*l/` `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 → 119

Calls

3 calls:

8.0ms	(/ (- t x) (- a z))
7.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
17.0ms	(* (- y z) (/ (- t x) (- a z)))

series332.0ms

Counts

3 → 9

Calls

3 calls:

49.0ms	(/ (- t x) (- a z))
154.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
130.0ms	(* (- y z) (/ (- t x) (- a z)))

simplify60.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	473	869
1	2012	820
2	5002	820

prune309.0ms

Filtered

128 candidates to 88 candidates (68.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	118	10	128
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	118	11	129

Merged error: 4.2b

Counts

129 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- t x))
0.5b	(cbrt (- t x))
6.3b	(* (- y z) (* (* (cbrt (- t x)) (cbrt (- t x))) (/ (cbrt (- t x)) (- a z))))
7.5b	(+ x (* (- y z) (* (* (cbrt (- t x)) (cbrt (- t x))) (/ (cbrt (- t x)) (- a z)))))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

82×	`frac-times`
76×	`cbrt-div`
56×	`flip3--` `flip--`
38×	`associate-*l/`
32×	`associate-*r/`
22×	`add-exp-log`
16×	`add-cbrt-cube`
13×	`pow1` `add-sqr-sqrt` `*-un-lft-identity`
11×	`prod-exp` `cbrt-unprod`
10×	`cbrt-prod`
7×	`add-cube-cbrt`
6×	`pow-prod-down` `add-log-exp`
5×	`associate-l`
3×	`distribute-lft-out--` `difference-of-squares`
2×	`cbrt-undiv` `pow1/3` `div-exp`
1×	`+-commutative` `flip3-+` `associate-r` `sum-log` `*-commutative` `flip-+`

Counts

4 → 121

Calls

4 calls:

3.0ms	(cbrt (- t x))
3.0ms	(cbrt (- t x))
27.0ms	(* (- y z) (* (* (cbrt (- t x)) (cbrt (- t x))) (/ (cbrt (- t x)) (- a z))))
4.0ms	(+ x (* (- y z) (* (* (cbrt (- t x)) (cbrt (- t x))) (/ (cbrt (- t x)) (- a z)))))

series593.0ms

Counts

4 → 12

Calls

4 calls:

155.0ms	(cbrt (- t x))
153.0ms	(cbrt (- t x))
128.0ms	(* (- y z) (* (* (cbrt (- t x)) (cbrt (- t x))) (/ (cbrt (- t x)) (- a z))))
156.0ms	(+ x (* (- y z) (* (* (cbrt (- t x)) (cbrt (- t x))) (/ (cbrt (- t x)) (- a z)))))

simplify84.0ms

Algorithm

egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 2 (66.0ms)

Iter	Nodes	Cost
0	774	2047
1	2886	1874
2	5001	1853

prune425.0ms

Filtered

133 candidates to 92 candidates (69.2%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	131	2	133
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	131	13	144

Merged error: 4.2b

Counts

144 → 13

localize17.0ms

Local error

Found 4 expressions with local error:

6.5b	(+ x (* (* (- y z) (* (cbrt (/ (- t x) (- a z))) (cbrt (/ (- t x) (- a z))))) (cbrt (/ (- t x) (- a z)))))
7.9b	(cbrt (/ (- t x) (- a z)))
7.9b	(cbrt (/ (- t x) (- a z)))
7.9b	(cbrt (/ (- t x) (- a z)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

97×	`add-sqr-sqrt` `*-un-lft-identity`
93×	`cbrt-prod`
75×	`times-frac`
37×	`add-cube-cbrt`
30×	`distribute-lft-out--` `difference-of-squares`
6×	`associate-/r/` `add-log-exp`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`cbrt-div` `flip3--` `pow1/3` `flip--` `div-inv`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

4 → 131

Calls

4 calls:

3.0ms	(+ x (* (* (- y z) (* (cbrt (/ (- t x) (- a z))) (cbrt (/ (- t x) (- a z))))) (cbrt (/ (- t x) (- a z)))))
8.0ms	(cbrt (/ (- t x) (- a z)))
7.0ms	(cbrt (/ (- t x) (- a z)))
8.0ms	(cbrt (/ (- t x) (- a z)))

series606.0ms

Counts

4 → 12

Calls

4 calls:

152.0ms	(+ x (* (* (- y z) (* (cbrt (/ (- t x) (- a z))) (cbrt (/ (- t x) (- a z))))) (cbrt (/ (- t x) (- a z)))))
152.0ms	(cbrt (/ (- t x) (- a z)))
153.0ms	(cbrt (/ (- t x) (- a z)))
148.0ms	(cbrt (/ (- t x) (- a z)))

simplify130.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 3 (109.0ms)

Iter	Nodes	Cost
0	389	1616
1	969	1513
2	4055	1493
3	5001	1469

prune469.0ms

Filtered

143 candidates to 105 candidates (73.4%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	139	4	143
Fresh	1	9	10
Picked	0	1	1
Done	1	1	2
Total	141	15	156

Merged error: 3.8b

Counts

156 → 15

localize18.0ms

Local error

Found 4 expressions with local error:

7.9b	(cbrt (/ (- t x) (- a z)))
7.9b	(cbrt (/ (- t x) (- a z)))
7.9b	(cbrt (/ (- t x) (- a z)))
7.9b	(cbrt (/ (- t x) (- a z)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

128×	`add-sqr-sqrt` `*-un-lft-identity`
124×	`cbrt-prod`
100×	`times-frac`
48×	`add-cube-cbrt`
40×	`distribute-lft-out--` `difference-of-squares`
8×	`associate-/r/`
4×	`pow1` `add-exp-log` `cbrt-div` `flip3--` `pow1/3` `add-cbrt-cube` `flip--` `div-inv` `add-log-exp`

Counts

4 → 160

Calls

4 calls:

7.0ms	(cbrt (/ (- t x) (- a z)))
7.0ms	(cbrt (/ (- t x) (- a z)))
7.0ms	(cbrt (/ (- t x) (- a z)))
7.0ms	(cbrt (/ (- t x) (- a z)))

series597.0ms

Counts

4 → 12

Calls

4 calls:

154.0ms	(cbrt (/ (- t x) (- a z)))
144.0ms	(cbrt (/ (- t x) (- a z)))
149.0ms	(cbrt (/ (- t x) (- a z)))
150.0ms	(cbrt (/ (- t x) (- a z)))

simplify70.0ms

Algorithm

egg-herbie

Counts

172 → 172

Iterations

Useful iterations: 3 (52.0ms)

Iter	Nodes	Cost
0	292	1732
1	598	1696
2	1925	1672
3	5001	1640

prune631.0ms

Filtered

172 candidates to 124 candidates (72.1%)

Pruning

15 alts after pruning (12 fresh and 3 done)

	Pruned	Kept	Total
New	172	0	172
Fresh	0	12	12
Picked	0	1	1
Done	0	2	2
Total	172	15	187

Merged error: 3.8b

Counts

187 → 15

regimes473.0ms

Accuracy

63.7% (4.4b remaining)

Error of 7.7b against oracle of 3.3b and baseline of 15.4b

bsearch3.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	53
1	37	53

end0.0ms

sample750.0ms

Algorithm

intervals

Results

292.0ms	7726×	body	80	valid
71.0ms	524×	body	640	valid
51.0ms	298×	body	1280	valid
40.0ms	396×	body	320	valid
18.0ms	266×	body	160	valid
4.0ms	19×	body	2560	valid

Details

sample28.0ms

simplify76.0ms

prune2.0ms

localize9.0ms

rewrite37.0ms

series332.0ms

simplify60.0ms

prune309.0ms

localize14.0ms

rewrite44.0ms

series593.0ms

simplify84.0ms

prune425.0ms

localize17.0ms

rewrite33.0ms

series606.0ms

simplify130.0ms

prune469.0ms

localize18.0ms

rewrite37.0ms

series597.0ms

simplify70.0ms

prune631.0ms

regimes473.0ms

bsearch3.0ms

simplify2.0ms

end0.0ms

sample750.0ms

Profiling