Details

sample36.0ms

Algorithm

intervals

Results

9.0ms	242×	body	80	valid
3.0ms	20×	body	640	valid
1.0ms	14×	body	320	valid
1.0ms	8×	body	1280	valid
0.0ms	6×	body	160	valid

simplify74.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.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

prune5.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.6b

Counts

2 → 1

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite33.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))
3.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
18.0ms	(* (- y z) (/ (- t x) (- a z)))

series316.0ms

Counts

3 → 9

Calls

3 calls:

49.0ms	(/ (- t x) (- a z))
144.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
122.0ms	(* (- y z) (/ (- t x) (- a z)))

simplify53.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 1 (12.0ms)

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

prune547.0ms

Filtered

128 candidates to 88 candidates (68.8%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	115	13	128
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	115	14	129

Merged error: 4.6b

Counts

129 → 14

localize14.0ms

Local error

Found 4 expressions with local error:

5.9b	(* (- y z) (/ (- t x) (- a z)))
5.9b	(* (- y z) (/ (- t x) (- a z)))
5.9b	(* (- y z) (/ (- t x) (- a z)))
9.3b	(+ x (* (* (cbrt (* (- y z) (/ (- t x) (- a z)))) (cbrt (* (- y z) (/ (- t x) (- a z))))) (cbrt (* (- y z) (/ (- t x) (- a z))))))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

121×	`add-sqr-sqrt`
106×	`*-un-lft-identity`
93×	`associate-r`
78×	`times-frac`
40×	`add-cube-cbrt`
33×	`distribute-lft-out--` `difference-of-squares`
19×	`add-exp-log` `add-cbrt-cube`
15×	`associate-l`
10×	`pow1`
9×	`flip3--` `flip--`
6×	`frac-times` `associate-*l/` `prod-exp` `associate-/r/` `cbrt-unprod` `add-log-exp` `unswap-sqr`
3×	`cbrt-undiv` `associate-r/` `div-exp` `pow-prod-down` `-commutative` `div-inv`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

4 → 179

Calls

4 calls:

20.0ms	(* (- y z) (/ (- t x) (- a z)))
17.0ms	(* (- y z) (/ (- t x) (- a z)))
18.0ms	(* (- y z) (/ (- t x) (- a z)))
3.0ms	(+ x (* (* (cbrt (* (- y z) (/ (- t x) (- a z)))) (cbrt (* (- y z) (/ (- t x) (- a z))))) (cbrt (* (- y z) (/ (- t x) (- a z))))))

series509.0ms

Counts

4 → 12

Calls

4 calls:

122.0ms	(* (- y z) (/ (- t x) (- a z)))
120.0ms	(* (- y z) (/ (- t x) (- a z)))
123.0ms	(* (- y z) (/ (- t x) (- a z)))
144.0ms	(+ x (* (* (cbrt (* (- y z) (/ (- t x) (- a z)))) (cbrt (* (- y z) (/ (- t x) (- a z))))) (cbrt (* (- y z) (/ (- t x) (- a z))))))

simplify54.0ms

Algorithm

egg-herbie

Counts

191 → 191

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	388	1573
1	1711	1397
2	5001	1369

prune876.0ms

Filtered

191 candidates to 128 candidates (67.0%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	188	3	191
Fresh	0	12	12
Picked	1	0	1
Done	0	1	1
Total	189	16	205

Merged error: 4.6b

Counts

205 → 16

localize23.0ms

Local error

Found 4 expressions with local error:

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

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

2.0ms	(+ x (* (* (cbrt (* (- y z) (/ (- t x) (- a z)))) (cbrt (* (- y z) (/ (- t x) (- a z))))) (cbrt (* (* (- y z) (* (cbrt (/ (- t x) (- a z))) (cbrt (/ (- t x) (- a z))))) (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)))

series567.0ms

Counts

4 → 12

Calls

4 calls:

147.0ms	(+ x (* (* (cbrt (* (- y z) (/ (- t x) (- a z)))) (cbrt (* (- y z) (/ (- t x) (- a z))))) (cbrt (* (* (- y z) (* (cbrt (/ (- t x) (- a z))) (cbrt (/ (- t x) (- a z))))) (cbrt (/ (- t x) (- a z)))))))
138.0ms	(cbrt (/ (- t x) (- a z)))
140.0ms	(cbrt (/ (- t x) (- a z)))
142.0ms	(cbrt (/ (- t x) (- a z)))

simplify88.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 3 (70.0ms)

Iter	Nodes	Cost
0	401	1871
1	972	1779
2	3313	1759
3	5002	1683

prune827.0ms

Filtered

143 candidates to 105 candidates (73.4%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	141	2	143
Fresh	3	11	14
Picked	0	1	1
Done	0	1	1
Total	144	15	159

Merged error: 4.1b

Counts

159 → 15

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- y z))
2.4b	(* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z))))
3.7b	(* (cbrt (- y z)) (/ (- t x) (- a z)))
8.6b	(+ x (* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z)))))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

114×	`cbrt-div`
84×	`frac-times`
58×	`flip3--` `flip--`
52×	`add-sqr-sqrt`
42×	`*-un-lft-identity`
40×	`associate-*l/`
32×	`associate-r`
30×	`add-exp-log`
27×	`times-frac` `associate-*r/`
18×	`pow1` `add-cube-cbrt` `add-cbrt-cube`
15×	`prod-exp` `cbrt-unprod`
12×	`cbrt-prod` `distribute-lft-out--` `difference-of-squares`
9×	`associate-l` `pow-prod-down`
6×	`add-log-exp`
4×	`unswap-sqr`
3×	`cbrt-undiv` `div-exp`
2×	`associate-/r/` `*-commutative`
1×	`+-commutative` `flip3-+` `pow1/3` `sum-log` `flip-+` `div-inv`

Counts

4 → 166

Calls

4 calls:

3.0ms	(cbrt (- y z))
24.0ms	(* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z))))
19.0ms	(* (cbrt (- y z)) (/ (- t x) (- a z)))
3.0ms	(+ x (* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z)))))

series1.0s

Counts

4 → 12

Calls

4 calls:

142.0ms	(cbrt (- y z))
123.0ms	(* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z))))
595.0ms	(* (cbrt (- y z)) (/ (- t x) (- a z)))
140.0ms	(+ x (* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z)))))

simplify91.0ms

Algorithm

egg-herbie

Counts

178 → 178

Iterations

Useful iterations: 2 (69.0ms)

Iter	Nodes	Cost
0	895	2524
1	3311	2274
2	5001	2231

prune620.0ms

Filtered

178 candidates to 101 candidates (56.7%)

Pruning

16 alts after pruning (13 fresh and 3 done)

	Pruned	Kept	Total
New	177	1	178
Fresh	0	12	12
Picked	0	1	1
Done	0	2	2
Total	177	16	193

Merged error: 4.1b

Counts

193 → 16

regimes922.0ms

Accuracy

63.7% (4.2b remaining)

Error of 7.6b against oracle of 3.4b and baseline of 14.9b

bsearch3.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	53
1	40	53

end0.0ms

sample940.0ms

Algorithm

intervals

Results

280.0ms	7747×	body	80	valid
67.0ms	490×	body	640	valid
47.0ms	268×	body	1280	valid
45.0ms	434×	body	320	valid
17.0ms	247×	body	160	valid
3.0ms	16×	body	2560	valid

Details

sample36.0ms

simplify74.0ms

prune5.0ms

localize13.0ms

rewrite33.0ms

series316.0ms

simplify53.0ms

prune547.0ms

localize14.0ms

rewrite66.0ms

series509.0ms

simplify54.0ms

prune876.0ms

localize23.0ms

rewrite31.0ms

series567.0ms

simplify88.0ms

prune827.0ms

localize13.0ms

rewrite61.0ms

series1.0s

simplify91.0ms

prune620.0ms

regimes922.0ms

bsearch3.0ms

simplify2.0ms

end0.0ms

sample940.0ms

Profiling