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

sample32.0ms

Algorithm

intervals

Results

8.0ms	217×	body	80	valid
2.0ms	9×	body	1280	valid
1.0ms	38×	body	80	invalid
1.0ms	13×	body	320	valid
1.0ms	9×	body	640	valid
1.0ms	8×	body	160	valid

simplify106.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (105.0ms)

Iter	Nodes	Cost
0	5078	13

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

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

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

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

series99.0ms

Counts

3 → 9

Calls

3 calls:

14.0ms	(/ (- t x) (- a z))
48.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
37.0ms	(* (- y z) (/ (- t x) (- a z)))

simplify46.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5646	1598

prune172.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: 2.4b

Counts

129 → 13

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- t x))
0.6b	(cbrt (- t x))
1.0b	(* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (* (cbrt (- a z)) (cbrt (- a z))))))
7.3b	(+ x (* (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (* (cbrt (- a z)) (cbrt (- a z)))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 82

Calls

4 calls:

5.0ms	(cbrt (- t x))
3.0ms	(cbrt (- t x))
22.0ms	(* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (* (cbrt (- a z)) (cbrt (- a z))))))
3.0ms	(+ x (* (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (* (cbrt (- a z)) (cbrt (- a z)))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

series227.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt (- t x))
26.0ms	(cbrt (- t x))
123.0ms	(* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (* (cbrt (- a z)) (cbrt (- a z))))))
51.0ms	(+ x (* (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (* (cbrt (- a z)) (cbrt (- a z)))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

simplify52.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4967	1584
1	4967	1584

prune147.0ms

Filtered

75 candidates to 94 candidates (-25.3%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	93	1	94
Fresh	2	9	11
Picked	0	1	1
Done	0	1	1
Total	95	12	107

Merged error: 2.4b

Counts

107 → 12

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- a z))
0.6b	(* (cbrt (- a z)) (cbrt (- a z)))
2.6b	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
6.6b	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

rewrite61.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)))
36.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)))))

series164.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt (- a z))
31.0ms	(* (cbrt (- a z)) (cbrt (- a z)))
54.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
52.0ms	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

simplify67.0ms

Algorithm

egg-herbie

Counts

187 → 187

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5645	2764

prune206.0ms

Filtered

124 candidates to 187 candidates (-50.8%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	185	2	187
Fresh	1	8	9
Picked	0	1	1
Done	0	2	2
Total	186	13	199

Merged error: 2.4b

Counts

199 → 13

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (cbrt (- a z)))
1.1b	(pow (cbrt (cbrt (- a z))) 5)
3.4b	(* (/ (- y z) (* (cbrt (- a z)) (pow (cbrt (cbrt (- a z))) 5))) (/ (- t x) (cbrt (cbrt (- a z)))))
7.6b	(+ x (* (/ (- y z) (* (cbrt (- a z)) (pow (cbrt (cbrt (- a z))) 5))) (/ (- t x) (cbrt (cbrt (- a z))))))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

94×	`cbrt-prod`
88×	`add-sqr-sqrt`
77×	`*-un-lft-identity`
63×	`times-frac`
61×	`associate-r`
42×	`add-exp-log`
39×	`add-cube-cbrt`
20×	`add-cbrt-cube`
19×	`distribute-lft-out--` `difference-of-squares`
16×	`prod-exp`
13×	`div-exp`
11×	`unpow-prod-down` `associate-l`
10×	`cbrt-div`
8×	`cbrt-unprod`
7×	`pow1` `cbrt-undiv`
6×	`add-log-exp`
4×	`associate-/r/` `unswap-sqr`
3×	`pow-to-exp` `pow-unpow` `flip3--` `associate-*l/` `pow-exp` `flip--`
2×	`pow-pow` `pow1/3` `div-inv`
1×	`+-commutative` `frac-times` `flip3-+` `associate-r/` `pow-prod-down` `sum-log` `-commutative` `flip-+` `sqr-pow`

Counts

4 → 159

Calls

4 calls:

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

series195.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt (cbrt (- a z)))
59.0ms	(pow (cbrt (cbrt (- a z))) 5)
59.0ms	(* (/ (- y z) (* (cbrt (- a z)) (pow (cbrt (cbrt (- a z))) 5))) (/ (- t x) (cbrt (cbrt (- a z)))))
51.0ms	(+ x (* (/ (- y z) (* (cbrt (- a z)) (pow (cbrt (cbrt (- a z))) 5))) (/ (- t x) (cbrt (cbrt (- a z))))))

simplify59.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4989	3635
1	4989	3635

prune206.0ms

Filtered

123 candidates to 171 candidates (-39.0%)

Pruning

13 alts after pruning (9 fresh and 4 done)

	Pruned	Kept	Total
New	171	0	171
Fresh	0	9	9
Picked	0	1	1
Done	0	3	3
Total	171	13	184

Merged error: 2.4b

Counts

184 → 13

regimes675.0ms

Accuracy

59.5% (3.7b remaining)

Error of 6.7b against oracle of 3.1b and baseline of 12.1b

bsearch2.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	79
1	42	79

end0.0ms

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

sample793.0ms

Algorithm

intervals

Results

271.0ms	6554×	body	80	valid
65.0ms	461×	body	640	valid
55.0ms	305×	body	1280	valid
50.0ms	1237×	body	80	invalid
42.0ms	394×	body	320	valid
20.0ms	272×	body	160	valid
3.0ms	14×	body	2560	valid

Details

analyze1.0s

sample32.0ms

simplify106.0ms

prune4.0ms

localize9.0ms

rewrite31.0ms

series99.0ms

simplify46.0ms

prune172.0ms

localize18.0ms

rewrite36.0ms

series227.0ms

simplify52.0ms

prune147.0ms

localize13.0ms

rewrite61.0ms

series164.0ms

simplify67.0ms

prune206.0ms

localize17.0ms

rewrite62.0ms

series195.0ms

simplify59.0ms

prune206.0ms

regimes675.0ms

bsearch2.0ms

simplify1.0ms

end0.0ms

analyze1.0s

sample793.0ms

Profiling