Details

analyze1.0s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
1.8%	98%	0.2%	10
7.7%	92.1%	0.2%	11
10.4%	89.3%	0.2%	12
12.2%	87.5%	0.2%	13
21.9%	77.7%	0.4%	14

sample28.0ms

Algorithm

intervals

Results

8.0ms	217×	body	80	valid
2.0ms	12×	body	1280	valid
1.0ms	13×	body	320	valid
1.0ms	10×	body	640	valid
1.0ms	33×	body	80	invalid
0.0ms	2×	body	2560	valid
0.0ms	2×	body	160	valid

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

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

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

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

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

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

series95.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(/ (- t x) (- a z))
49.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
34.0ms	(* (- y z) (/ (- t x) (- a z)))

simplify61.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 1 (11.0ms)

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

prune178.0ms

Filtered

88 candidates to 128 candidates (-45.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	116	12	128
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	116	13	129

Merged error: 3.5b

Counts

129 → 13

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- a z))
0.6b	(* (cbrt (- a z)) (cbrt (- a z)))
1.8b	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
6.9b	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

96×	`add-sqr-sqrt`
78×	`*-un-lft-identity`
60×	`cbrt-prod`
54×	`associate-r`
52×	`times-frac`
34×	`add-cube-cbrt`
28×	`cbrt-div`
27×	`add-exp-log`
25×	`associate-l`
21×	`distribute-lft-out--`
19×	`difference-of-squares`
18×	`add-cbrt-cube`
14×	`flip3--` `flip--`
13×	`pow1`
10×	`swap-sqr` `associate-/r/` `unswap-sqr`
9×	`frac-times` `prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `pow1/3` `div-exp`
6×	`add-log-exp`
5×	`associate-r/` `associate-l/`
3×	`pow-prod-down`
2×	`pow-sqr` `*-commutative` `pow-prod-up` `div-inv`
1×	`+-commutative` `pow2` `flip3-+` `pow-plus` `sum-log` `flip-+`

Counts

4 → 175

Calls

4 calls:

3.0ms	(cbrt (- a z))
10.0ms	(* (cbrt (- a z)) (cbrt (- a z)))
38.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
3.0ms	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

series160.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt (- a z))
30.0ms	(* (cbrt (- a z)) (cbrt (- a z)))
53.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
51.0ms	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

simplify112.0ms

Algorithm

egg-herbie

Counts

187 → 187

Iterations

Useful iterations: 2 (93.0ms)

Iter	Nodes	Cost
0	872	2188
1	4156	1999
2	5003	1875

prune248.0ms

Filtered

124 candidates to 187 candidates (-50.8%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	184	3	187
Fresh	1	10	11
Picked	1	0	1
Done	0	1	1
Total	186	14	200

Merged error: 3.5b

Counts

200 → 14

localize19.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- a z))
0.9b	(pow (cbrt (cbrt (- a z))) 4)
1.8b	(* (/ (- y z) (* (pow (cbrt (cbrt (- a z))) 4) (* (cbrt (cbrt (- a z))) (cbrt (cbrt (- a z)))))) (/ (- t x) (cbrt (- a z))))
7.2b	(+ x (* (/ (- y z) (* (pow (cbrt (cbrt (- a z))) 4) (* (cbrt (cbrt (- a z))) (cbrt (cbrt (- a z)))))) (/ (- t x) (cbrt (- a z)))))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

73×	`add-exp-log`
70×	`add-sqr-sqrt`
62×	`*-un-lft-identity`
47×	`times-frac`
46×	`associate-r`
44×	`cbrt-prod`
34×	`prod-exp`
30×	`add-cube-cbrt`
28×	`cbrt-div` `add-cbrt-cube`
22×	`div-exp`
17×	`associate-l`
16×	`distribute-lft-out--` `difference-of-squares`
14×	`cbrt-unprod`
11×	`unpow-prod-down` `associate-*r/`
10×	`cbrt-undiv` `associate-/r/`
8×	`flip3--` `flip--`
7×	`pow1`
6×	`add-log-exp`
5×	`frac-times` `pow-to-exp` `pow-exp`
3×	`pow-unpow` `associate-*l/` `unswap-sqr`
2×	`pow-pow` `pow1/3` `div-inv`
1×	`+-commutative` `flip3-+` `pow-prod-down` `sum-log` `*-commutative` `flip-+` `sqr-pow`

Counts

4 → 154

Calls

4 calls:

3.0ms	(cbrt (- a z))
6.0ms	(pow (cbrt (cbrt (- a z))) 4)
48.0ms	(* (/ (- y z) (* (pow (cbrt (cbrt (- a z))) 4) (* (cbrt (cbrt (- a z))) (cbrt (cbrt (- a z)))))) (/ (- t x) (cbrt (- a z))))
3.0ms	(+ x (* (/ (- y z) (* (pow (cbrt (cbrt (- a z))) 4) (* (cbrt (cbrt (- a z))) (cbrt (cbrt (- a z)))))) (/ (- t x) (cbrt (- a z)))))

series183.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt (- a z))
46.0ms	(pow (cbrt (cbrt (- a z))) 4)
57.0ms	(* (/ (- y z) (* (pow (cbrt (cbrt (- a z))) 4) (* (cbrt (cbrt (- a z))) (cbrt (cbrt (- a z)))))) (/ (- t x) (cbrt (- a z))))
55.0ms	(+ x (* (/ (- y z) (* (pow (cbrt (cbrt (- a z))) 4) (* (cbrt (cbrt (- a z))) (cbrt (cbrt (- a z)))))) (/ (- t x) (cbrt (- a z)))))

simplify130.0ms

Algorithm

egg-herbie

Counts

166 → 166

Iterations

Useful iterations: 1 (21.0ms)

Iter	Nodes	Cost
0	1003	2731
1	4879	2110
2	5002	2110

prune265.0ms

Filtered

118 candidates to 166 candidates (-40.7%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	165	1	166
Fresh	1	11	12
Picked	0	1	1
Done	0	1	1
Total	166	14	180

Merged error: 3.5b

Counts

180 → 14

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- a z))
1.4b	(pow (cbrt (cbrt (- a z))) 8)
2.5b	(* (/ (- y z) (pow (cbrt (cbrt (- a z))) 8)) (/ (- t x) (cbrt (cbrt (- a z)))))
8.1b	(+ x (* (/ (- y z) (pow (cbrt (cbrt (- a z))) 8)) (/ (- t x) (cbrt (cbrt (- a z))))))

rewrite113.0ms

Algorithm

rewrite-expression-head

Rules

230×	`add-sqr-sqrt`
178×	`cbrt-prod`
168×	`times-frac`
148×	`*-un-lft-identity`
79×	`associate-l`
78×	`unpow-prod-down`
72×	`add-cube-cbrt`
61×	`associate-r`
38×	`distribute-lft-out--` `difference-of-squares`
29×	`add-exp-log`
24×	`unswap-sqr`
14×	`add-cbrt-cube`
10×	`div-exp` `sqr-pow`
8×	`prod-exp`
7×	`pow1`
6×	`cbrt-div` `add-log-exp`
4×	`cbrt-undiv` `cbrt-unprod`
3×	`pow-to-exp` `pow-unpow` `pow-exp`
2×	`flip3--` `pow-pow` `pow1/3` `associate-/r/` `flip--` `div-inv`
1×	`+-commutative` `frac-times` `flip3-+` `associate-r/` `pow-prod-down` `associate-l/` `sum-log` `*-commutative` `flip-+`

Counts

4 → 240

Calls

4 calls:

3.0ms	(cbrt (- a z))
6.0ms	(pow (cbrt (cbrt (- a z))) 8)
84.0ms	(* (/ (- y z) (pow (cbrt (cbrt (- a z))) 8)) (/ (- t x) (cbrt (cbrt (- a z)))))
3.0ms	(+ x (* (/ (- y z) (pow (cbrt (cbrt (- a z))) 8)) (/ (- t x) (cbrt (cbrt (- a z))))))

series191.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(cbrt (- a z))
56.0ms	(pow (cbrt (cbrt (- a z))) 8)
55.0ms	(* (/ (- y z) (pow (cbrt (cbrt (- a z))) 8)) (/ (- t x) (cbrt (cbrt (- a z)))))
53.0ms	(+ x (* (/ (- y z) (pow (cbrt (cbrt (- a z))) 8)) (/ (- t x) (cbrt (cbrt (- a z))))))

simplify54.0ms

Algorithm

egg-herbie

Counts

252 → 252

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	1225	3578
1	5001	3467

prune321.0ms

Filtered

191 candidates to 252 candidates (-31.9%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	252	0	252
Fresh	0	11	11
Picked	0	1	1
Done	0	2	2
Total	252	14	266

Merged error: 3.5b

Counts

266 → 14

regimes707.0ms

Accuracy

47% (4.8b remaining)

Error of 8.7b against oracle of 3.9b and baseline of 13.0b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	38
1	44	38

end0.0ms

analyze977.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
1.8%	98%	0.2%	10
7.7%	92.1%	0.2%	11
10.4%	89.3%	0.2%	12
12.2%	87.5%	0.2%	13
21.9%	77.7%	0.4%	14

sample773.0ms

Algorithm

intervals

Results

253.0ms	6572×	body	80	valid
68.0ms	471×	body	640	valid
51.0ms	1205×	body	80	invalid
48.0ms	267×	body	1280	valid
48.0ms	407×	body	320	valid
19.0ms	264×	body	160	valid
4.0ms	19×	body	2560	valid

Details

analyze1.0s

sample28.0ms

simplify70.0ms

prune4.0ms

localize9.0ms

rewrite35.0ms

series95.0ms

simplify61.0ms

prune178.0ms

localize13.0ms

rewrite63.0ms

series160.0ms

simplify112.0ms

prune248.0ms

localize19.0ms

rewrite69.0ms

series183.0ms

simplify130.0ms

prune265.0ms

localize16.0ms

rewrite113.0ms

series191.0ms

simplify54.0ms

prune321.0ms

regimes707.0ms

bsearch2.0ms

simplify2.0ms

end0.0ms

analyze977.0ms

sample773.0ms

Profiling