Details

analyze937.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
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
37.4%	62.4%	0.1%	8
37.4%	62.4%	0.1%	9
37.4%	62.4%	0.1%	10
43.7%	56.2%	0.1%	11
43.7%	56.2%	0.1%	12
43.7%	56.2%	0.1%	13
61.7%	38.2%	0.1%	14

sample29.0ms

Algorithm

intervals

Results

20.0ms

256×

body

valid

simplify50.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4946	37
1	4946	37

prune11.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: 22.2b

Counts

2 → 2

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y))
0.0b	(* x (+ (* x (+ x 43.3400022514)) 263.505074721))
0.1b	(* x (+ (* x 4.16438922228) 78.6994924154))
21.5b	(/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
18×	`add-cube-cbrt` `*-un-lft-identity`
12×	`add-exp-log` `add-cbrt-cube`
10×	`pow1`
9×	`times-frac` `associate-r` `associate-l`
6×	`associate-*r/`
5×	`flip3-+` `flip-+`
4×	`add-log-exp`
3×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `associate-/r` `-commutative` `cbrt-unprod` `associate-/l*` `unswap-sqr`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 97

Calls

4 calls:

14.0ms	(* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y))
8.0ms	(* x (+ (* x (+ x 43.3400022514)) 263.505074721))
6.0ms	(* x (+ (* x 4.16438922228) 78.6994924154))
24.0ms	(/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))

series53.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y))
4.0ms	(* x (+ (* x (+ x 43.3400022514)) 263.505074721))
6.0ms	(* x (+ (* x 4.16438922228) 78.6994924154))
35.0ms	(/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))

simplify47.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5008	2383

prune236.0ms

Filtered

78 candidates to 109 candidates (-39.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	103	6	109
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	104	7	111

Merged error: 0.0b

Counts

111 → 7

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b	(* x (+ (* x (+ x 43.3400022514)) 263.505074721))
0.1b	(* x (+ (* x 4.16438922228) 78.6994924154))
0.2b	(/ 1 (/ (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606) (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z)))
21.5b	(/ (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606) (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z))

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
64×	`add-sqr-sqrt`
60×	`add-cube-cbrt` `*-un-lft-identity`
21×	`add-exp-log`
18×	`associate-/r*`
15×	`add-cbrt-cube`
11×	`associate-/r/`
9×	`pow1`
8×	`flip3-+` `div-exp` `flip-+`
6×	`associate-r` `associate-l` `div-inv` `associate-/l*`
4×	`cbrt-undiv` `associate-*r/` `add-log-exp`
2×	`distribute-rgt-in` `rec-exp` `frac-2neg` `distribute-lft-in` `1-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `associate-/l/` `unswap-sqr`
1×	`pow-flip` `inv-pow`

Counts

4 → 159

Calls

4 calls:

8.0ms	(* x (+ (* x (+ x 43.3400022514)) 263.505074721))
6.0ms	(* x (+ (* x 4.16438922228) 78.6994924154))
24.0ms	(/ 1 (/ (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606) (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z)))
24.0ms	(/ (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606) (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z))

series80.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* x (+ (* x (+ x 43.3400022514)) 263.505074721))
6.0ms	(* x (+ (* x 4.16438922228) 78.6994924154))
35.0ms	(/ 1 (/ (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606) (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z)))
35.0ms	(/ (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606) (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z))

simplify99.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5034	6443

prune392.0ms

Filtered

109 candidates to 171 candidates (-56.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	170	1	171
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	171	7	178

Merged error: 0.0b

Counts

178 → 7

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(* x (+ (* x (+ x 43.3400022514)) 263.505074721))
0.1b	(* x (+ (* x 4.16438922228) 78.6994924154))
0.1b	(/ 1 (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
21.6b	(* (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (/ 1 (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt`
25×	`*-un-lft-identity`
24×	`add-cube-cbrt`
21×	`add-exp-log` `associate-r`
20×	`times-frac`
15×	`add-cbrt-cube`
11×	`pow1`
9×	`associate-l`
6×	`flip3-+` `prod-exp` `flip-+`
5×	`associate-*r/` `unswap-sqr`
4×	`div-exp` `associate-/r/` `cbrt-unprod` `add-log-exp`
3×	`pow-prod-down` `associate-/r` `-commutative` `associate-/l*`
2×	`cbrt-undiv` `distribute-rgt-in` `frac-times` `rec-exp` `distribute-lft-in` `1-exp` `associate-*l/` `div-inv`
1×	`pow-flip` `frac-2neg` `clear-num` `un-div-inv` `inv-pow`

Counts

4 → 119

Calls

4 calls:

8.0ms	(* x (+ (* x (+ x 43.3400022514)) 263.505074721))
6.0ms	(* x (+ (* x 4.16438922228) 78.6994924154))
12.0ms	(/ 1 (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
28.0ms	(* (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (/ 1 (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))

series51.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* x (+ (* x (+ x 43.3400022514)) 263.505074721))
6.0ms	(* x (+ (* x 4.16438922228) 78.6994924154))
6.0ms	(/ 1 (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
36.0ms	(* (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (/ 1 (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))

simplify54.0ms

Algorithm

egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4961	2931
1	4961	2931

prune242.0ms

Filtered

84 candidates to 131 candidates (-56.0%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	131	0	131
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	131	7	138

Merged error: 0.0b

Counts

138 → 7

localize27.0ms

Local error

Found 4 expressions with local error:

7.7b	(sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
7.7b	(sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
12.6b	(* (/ 1 (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))) (/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))))
18.9b	(/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))

rewrite103.0ms

Algorithm

rewrite-expression-head

Rules

95×	`add-sqr-sqrt`
76×	`times-frac`
53×	`*-un-lft-identity`
47×	`add-cube-cbrt` `sqrt-prod`
28×	`add-exp-log`
24×	`associate-r` `associate-l`
18×	`add-cbrt-cube`
15×	`unswap-sqr`
10×	`sqrt-div`
9×	`div-exp`
8×	`pow1` `prod-exp`
6×	`flip3-+` `associate-/r*` `associate-/r/` `flip-+`
5×	`cbrt-undiv`
4×	`cbrt-unprod` `add-log-exp`
3×	`div-inv` `associate-/l*`
2×	`rem-sqrt-square` `rec-exp` `sqrt-pow1` `pow1/2` `1-exp` `associate-/l/`
1×	`frac-times` `frac-2neg` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `*-commutative`

Counts

4 → 160

Calls

4 calls:

11.0ms	(sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
11.0ms	(sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
45.0ms	(* (/ 1 (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))) (/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))))
27.0ms	(/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))

series100.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
6.0ms	(sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
39.0ms	(* (/ 1 (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))) (/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))))
48.0ms	(/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))

simplify83.0ms

Algorithm

egg-herbie

Counts

172 → 172

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5001	7444

prune506.0ms

Filtered

109 candidates to 172 candidates (-57.8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	172	0	172
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	172	7	179

Merged error: 0.0b

Counts

179 → 7

regimes344.0ms

Accuracy

95.7% (1.0b remaining)

Error of 1.1b against oracle of 0.1b and baseline of 24.1b

bsearch63.0ms

Steps

Iters	Range		Point
9	957037420449.9963	7.48434247473682e+17	7.374243619039981e+17
5	-1.5473529250493643e+27	-4.319319049976038e+26	-1.5114856534301502e+27

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	64	61
1	64	61

end0.0ms

analyze1.1s

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
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
37.4%	62.4%	0.1%	8
37.4%	62.4%	0.1%	9
37.4%	62.4%	0.1%	10
43.7%	56.2%	0.1%	11
43.7%	56.2%	0.1%	12
43.7%	56.2%	0.1%	13
61.7%	38.2%	0.1%	14

sample805.0ms

Algorithm

intervals

Results

637.0ms	8000×	body	80	valid
0.0ms	4×	body	80	invalid

Details

analyze937.0ms

sample29.0ms

simplify50.0ms

prune11.0ms

localize22.0ms

rewrite55.0ms

series53.0ms

simplify47.0ms

prune236.0ms

localize27.0ms

rewrite68.0ms

series80.0ms

simplify99.0ms

prune392.0ms

localize24.0ms

rewrite60.0ms

series51.0ms

simplify54.0ms

prune242.0ms

localize27.0ms

rewrite103.0ms

series100.0ms

simplify83.0ms

prune506.0ms

regimes344.0ms

bsearch63.0ms

simplify1.0ms

end0.0ms

analyze1.1s

sample805.0ms

Profiling