Details

analyze893.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
2.7%	90.9%	6.4%	9
4.1%	86.4%	9.5%	10
4.4%	86.1%	9.5%	11
19.7%	65.3%	15%	12
21.9%	60.4%	17.7%	13
22.7%	59.6%	17.7%	14

sample54.0ms

Algorithm

intervals

Results

14.0ms	28×	body	1280	valid
12.0ms	195×	body	80	valid
5.0ms	15×	body	640	valid
3.0ms	9×	body	640	invalid
2.0ms	12×	body	320	valid
2.0ms	35×	body	80	nan
1.0ms	6×	body	320	invalid
1.0ms	6×	body	160	valid
1.0ms	1×	body	1280	invalid
1.0ms	9×	body	80	invalid
0.0ms	3×	body	160	invalid

simplify43.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4783	11
1	4783	11

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 6.6b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ y (+ y z))
6.6b	(pow (/ y (+ y z)) y)

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity`
24×	`times-frac`
20×	`add-sqr-sqrt` `add-cube-cbrt`
18×	`unpow-prod-down`
7×	`add-exp-log` `distribute-lft-out`
4×	`associate-/r*` `associate-/r/` `add-cbrt-cube`
3×	`pow1` `pow-unpow` `associate-/l*`
2×	`flip3-+` `div-exp` `pow-exp` `flip-+` `div-inv` `add-log-exp`
1×	`cbrt-undiv` `pow-to-exp` `pow-pow` `frac-2neg` `clear-num` `sqr-pow`

Counts

2 → 66

Calls

2 calls:

8.0ms	(/ y (+ y z))
7.0ms	(pow (/ y (+ y z)) y)

series23.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(/ y (+ y z))
18.0ms	(pow (/ y (+ y z)) y)

simplify45.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5048	866

prune113.0ms

Filtered

51 candidates to 72 candidates (-41.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	68	4	72
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	69	4	73

Merged error: 0.1b

Counts

73 → 4

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)
6.6b	(pow (* (cbrt y) (/ (cbrt y) (* (cbrt (+ y z)) (cbrt (+ y z))))) y)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-exp-log`
9×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
7×	`pow1`
4×	`pow-exp` `prod-exp` `add-cbrt-cube` `add-log-exp`
3×	`pow-unpow` `pow1/3`
2×	`pow-pow` `div-exp`
1×	`pow-to-exp` `unpow-prod-down` `pow-prod-down` `sqr-pow`

Counts

4 → 52

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
3.0ms	(cbrt y)
15.0ms	(pow (* (cbrt y) (/ (cbrt y) (* (cbrt (+ y z)) (cbrt (+ y z))))) y)

series102.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(cbrt y)
22.0ms	(cbrt y)
21.0ms	(cbrt y)
35.0ms	(pow (* (cbrt y) (/ (cbrt y) (* (cbrt (+ y z)) (cbrt (+ y z))))) y)

simplify46.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4953	697
1	4953	697

prune104.0ms

Filtered

45 candidates to 64 candidates (-42.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	64	4	68

Merged error: 0.1b

Counts

68 → 4

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ y (+ y z))
4.6b	(pow (/ y (+ y z)) (sqrt y))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

35×	`*-un-lft-identity`
24×	`times-frac`
21×	`add-sqr-sqrt` `add-cube-cbrt`
18×	`unpow-prod-down`
7×	`add-exp-log` `distribute-lft-out`
6×	`pow-unpow`
4×	`associate-/r*` `associate-/r/` `add-cbrt-cube`
3×	`pow1` `sqrt-prod` `associate-/l*`
2×	`flip3-+` `div-exp` `pow-exp` `flip-+` `div-inv` `add-log-exp`
1×	`cbrt-undiv` `pow-to-exp` `pow-pow` `frac-2neg` `clear-num` `sqr-pow`

Counts

2 → 69

Calls

2 calls:

5.0ms	(/ y (+ y z))
7.0ms	(pow (/ y (+ y z)) (sqrt y))

series50.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(/ y (+ y z))
43.0ms	(pow (/ y (+ y z)) (sqrt y))

simplify46.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4987	967
1	4987	967

prune110.0ms

Filtered

52 candidates to 75 candidates (-44.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	75	0	75
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	75	4	79

Merged error: 0.1b

Counts

79 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ y z))
0.6b	(* (cbrt (+ y z)) (cbrt (+ y z)))
0.7b	(* (pow (/ 1 (* (cbrt (+ y z)) (cbrt (+ y z)))) y) (pow (/ y (cbrt (+ y z))) y))
1.5b	(pow (/ y (cbrt (+ y z))) y)

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

99×	`add-sqr-sqrt` `unpow-prod-down`
97×	`add-exp-log`
79×	`*-un-lft-identity`
65×	`times-frac`
57×	`cbrt-prod`
49×	`prod-exp`
48×	`pow-exp`
46×	`add-cube-cbrt`
38×	`associate-r`
30×	`cbrt-div`
29×	`unswap-sqr`
26×	`div-exp` `associate-l`
15×	`flip3-+` `flip-+`
14×	`pow-to-exp`
13×	`distribute-lft-out` `sqr-pow`
12×	`pow1` `associate-/r/`
9×	`swap-sqr`
8×	`frac-times` `rec-exp` `1-exp`
7×	`pow1/3`
6×	`add-cbrt-cube`
4×	`associate-r/` `associate-l/` `add-log-exp`
3×	`pow-unpow` `pow-prod-down` `div-inv`
2×	`pow-sqr` `*-commutative` `pow-prod-up` `cbrt-unprod`
1×	`pow2` `pow-pow` `pow-plus`

Counts

4 → 230

Calls

4 calls:

5.0ms	(cbrt (+ y z))
10.0ms	(* (cbrt (+ y z)) (cbrt (+ y z)))
28.0ms	(* (pow (/ 1 (* (cbrt (+ y z)) (cbrt (+ y z)))) y) (pow (/ y (cbrt (+ y z))) y))
9.0ms	(pow (/ y (cbrt (+ y z))) y)

series198.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(cbrt (+ y z))
40.0ms	(* (cbrt (+ y z)) (cbrt (+ y z)))
88.0ms	(* (pow (/ 1 (* (cbrt (+ y z)) (cbrt (+ y z)))) y) (pow (/ y (cbrt (+ y z))) y))
40.0ms	(pow (/ y (cbrt (+ y z))) y)

simplify89.0ms

Algorithm

egg-herbie

Counts

242 → 242

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	5026	5116

prune354.0ms

Filtered

158 candidates to 242 candidates (-53.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	242	0	242
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	242	4	246

Merged error: 0.1b

Counts

246 → 4

regimes171.0ms

Accuracy

59.8% (1.8b remaining)

Error of 3.5b against oracle of 1.7b and baseline of 6.1b

bsearch48.0ms

Steps

Iters	Range		Point
10	-3.9610363417926727e+27	-2.361501861933177e+16	-1.0899397794981415e+27

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	83	50
1	83	50

end0.0ms

sample1.5s

Algorithm

intervals

Results

379.0ms	6083×	body	80	valid
348.0ms	694×	body	1280	valid
203.0ms	637×	body	640	valid
82.0ms	387×	body	320	valid
77.0ms	260×	body	640	invalid
47.0ms	1060×	body	80	nan
44.0ms	97×	body	1280	invalid
38.0ms	178×	body	320	invalid
27.0ms	199×	body	160	valid
22.0ms	351×	body	80	invalid
14.0ms	106×	body	160	invalid

Details

analyze893.0ms

sample54.0ms

simplify43.0ms

prune9.0ms

localize8.0ms

rewrite18.0ms

series23.0ms

simplify45.0ms

prune113.0ms

localize18.0ms

rewrite22.0ms

series102.0ms

simplify46.0ms

prune104.0ms

localize10.0ms

rewrite14.0ms

series50.0ms

simplify46.0ms

prune110.0ms

localize15.0ms

rewrite64.0ms

series198.0ms

simplify89.0ms

prune354.0ms

regimes171.0ms

bsearch48.0ms

simplify2.0ms

end0.0ms

sample1.5s

Profiling