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.4%	0.2%	12
12.2%	87.6%	0.2%	13
21.8%	77.8%	0.4%	14

sample29.0ms

Algorithm

intervals

Results

8.0ms	211×	body	80	valid
2.0ms	11×	body	1280	valid
2.0ms	12×	body	640	valid
1.0ms	35×	body	80	invalid
1.0ms	12×	body	320	valid
1.0ms	10×	body	160	valid

simplify115.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (113.0ms)

Iter	Nodes	Cost
0	5078	13

prune13.0ms

Filtered

1 candidates to 1 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: 10.7b

Counts

2 → 2

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- t x) (- a z))
3.9b	(+ x (* (- y z) (/ (- t x) (- a z))))
6.8b	(* (- 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)))

series105.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify50.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5646	1598

prune174.0ms

Filtered

87 candidates to 128 candidates (-47.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

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

Merged error: 4.7b

Counts

130 → 13

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- a z))
0.6b	(cbrt (- a z))
0.8b	(* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (* (cbrt (- a z)) (cbrt (- a z))))))
8.2b	(+ x (* (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (* (cbrt (- a z)) (cbrt (- a z)))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

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

3.0ms	(cbrt (- a z))
3.0ms	(cbrt (- a z))
24.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)))))

series226.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt (- a z))
26.0ms	(cbrt (- a z))
123.0ms	(* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (* (cbrt (- a z)) (cbrt (- a z))))))
52.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	4985	1578
1	4985	1578

prune232.0ms

Filtered

75 candidates to 94 candidates (-25.3%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	91	3	94
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	91	16	107

Merged error: 4.7b

Counts

107 → 16

localize25.0ms

Local error

Found 4 expressions with local error:

1.7b	(cbrt (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (pow (cbrt (- a z)) 2)))))
1.7b	(cbrt (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (pow (cbrt (- a z)) 2)))))
1.7b	(cbrt (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (pow (cbrt (- a z)) 2)))))
8.0b	(+ x (* (* (* (cbrt (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (pow (cbrt (- a z)) 2))))) (cbrt (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (pow (cbrt (- a z)) 2)))))) (cbrt (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (pow (cbrt (- a z)) 2)))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

rewrite75.0ms

Algorithm

rewrite-expression-head

Rules

87×	`cbrt-div`
48×	`frac-times`
36×	`flip3--` `flip--`
24×	`associate-r/` `associate-l/`
6×	`add-log-exp`
4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
3×	`cbrt-prod` `pow1/3`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

4 → 89

Calls

4 calls:

22.0ms	(cbrt (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (pow (cbrt (- a z)) 2)))))
24.0ms	(cbrt (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (pow (cbrt (- a z)) 2)))))
21.0ms	(cbrt (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (pow (cbrt (- a z)) 2)))))
3.0ms	(+ x (* (* (* (cbrt (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (pow (cbrt (- a z)) 2))))) (cbrt (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (pow (cbrt (- a z)) 2)))))) (cbrt (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (pow (cbrt (- a z)) 2)))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

series988.0ms

Counts

4 → 12

Calls

4 calls:

312.0ms	(cbrt (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (pow (cbrt (- a z)) 2)))))
313.0ms	(cbrt (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (pow (cbrt (- a z)) 2)))))
306.0ms	(cbrt (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (pow (cbrt (- a z)) 2)))))
57.0ms	(+ x (* (* (* (cbrt (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (pow (cbrt (- a z)) 2))))) (cbrt (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (pow (cbrt (- a z)) 2)))))) (cbrt (* (- y z) (* (cbrt (- t x)) (/ (cbrt (- t x)) (pow (cbrt (- a z)) 2)))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

simplify47.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5448	3225

prune407.0ms

Filtered

95 candidates to 101 candidates (-6.3%)

Pruning

17 alts after pruning (15 fresh and 2 done)

	Pruned	Kept	Total
New	100	1	101
Fresh	0	14	14
Picked	0	1	1
Done	0	1	1
Total	100	17	117

Merged error: 4.7b

Counts

117 → 17

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- a z))
0.6b	(cbrt (- a z))
2.5b	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
8.0b	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

75×	`add-sqr-sqrt`
59×	`*-un-lft-identity`
52×	`times-frac`
46×	`associate-r`
37×	`cbrt-prod`
27×	`add-cube-cbrt`
25×	`add-exp-log`
18×	`cbrt-div` `add-cbrt-cube`
17×	`associate-l`
16×	`distribute-lft-out--` `difference-of-squares`
10×	`associate-/r/`
9×	`flip3--` `flip--`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp`
6×	`pow1` `add-log-exp` `unswap-sqr`
5×	`frac-times`
3×	`associate-r/` `associate-l/`
2×	`pow1/3` `div-inv`
1×	`+-commutative` `flip3-+` `pow-prod-down` `sum-log` `*-commutative` `flip-+`

Counts

4 → 134

Calls

4 calls:

3.0ms	(cbrt (- a z))
3.0ms	(cbrt (- a z))
35.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)))))

series161.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt (- a z))
27.0ms	(cbrt (- a z))
55.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
54.0ms	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

simplify68.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4957	2493
1	4957	2493

prune132.0ms

Filtered

107 candidates to 146 candidates (-36.4%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	144	2	146
Fresh	2	12	14
Picked	0	1	1
Done	1	1	2
Total	147	16	163

Merged error: 4.7b

Counts

163 → 16

regimes800.0ms

Accuracy

39.7% (4.8b remaining)

Error of 8.2b against oracle of 3.3b and baseline of 11.4b

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	55
1	36	55

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.4%	0.2%	12
12.2%	87.6%	0.2%	13
21.8%	77.8%	0.4%	14

sample785.0ms

Algorithm

intervals

Results

260.0ms	6584×	body	80	valid
74.0ms	510×	body	640	valid
50.0ms	1267×	body	80	invalid
50.0ms	266×	body	1280	valid
44.0ms	382×	body	320	valid
17.0ms	236×	body	160	valid
5.0ms	22×	body	2560	valid

Details

analyze1.0s

sample29.0ms

simplify115.0ms

prune13.0ms

localize10.0ms

rewrite37.0ms

series105.0ms

simplify50.0ms

prune174.0ms

localize17.0ms

rewrite35.0ms

series226.0ms

simplify52.0ms

prune232.0ms

localize25.0ms

rewrite75.0ms

series988.0ms

simplify47.0ms

prune407.0ms

localize13.0ms

rewrite51.0ms

series161.0ms

simplify68.0ms

prune132.0ms

regimes800.0ms

bsearch1.0ms

simplify1.0ms

end0.0ms

analyze1.0s

sample785.0ms

Profiling