Details

analyze169.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%	68.7%	6.3%	5
25%	65.6%	9.5%	6
37.5%	39%	23.5%	7
37.5%	36.7%	25.9%	8
43.7%	20.7%	35.6%	9
43.7%	19.3%	37%	10
46.8%	10.6%	42.5%	11
46.8%	9.9%	43.3%	12
48.4%	5.4%	46.2%	13
48.4%	5%	46.6%	14

sample28.0ms

Algorithm

intervals

Results

19.0ms	256×	body	80	valid
1.0ms	16×	body	80	nan

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	56	16
1	56	16

prune6.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 1.0b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.9b	(/ (acos (/ (neg g) h)) 3.0)
1.0b	(+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0))
1.0b	(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
1.0b	(/ (* 2.0 PI) 3.0)

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

16×	`*-un-lft-identity`
14×	`add-sqr-sqrt` `add-cube-cbrt`
12×	`times-frac`
11×	`add-exp-log` `add-cbrt-cube`
6×	`div-sub` `associate-/r*` `add-log-exp`
4×	`pow1` `associate-+r-` `div-inv` `associate-/l*`
3×	`cbrt-undiv` `acos-neg` `acos-asin` `distribute-frac-neg` `div-exp`
2×	`cos-diff` `frac-2neg` `clear-num`
1×	`+-commutative` `cos-sum` `distribute-rgt-out` `flip3-+` `frac-add` `prod-exp` `sum-log` `cbrt-unprod` `flip-+` `distribute-lft-out`

Counts

4 → 76

Calls

4 calls:

6.0ms	(/ (acos (/ (neg g) h)) 3.0)
9.0ms	(+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0))
10.0ms	(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
5.0ms	(/ (* 2.0 PI) 3.0)

series22.0ms

Counts

4 → 10

Calls

4 calls:

3.0ms	(/ (acos (/ (neg g) h)) 3.0)
5.0ms	(+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0))
14.0ms	(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
0.0ms	(/ (* 2.0 PI) 3.0)

simplify52.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5326	1073

prune139.0ms

Filtered

68 candidates to 86 candidates (-26.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	80	6	86
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	81	6	87

Merged error: 0.0b

Counts

87 → 6

localize27.0ms

Local error

Found 4 expressions with local error:

1.0b	(+ (* PI (/ 2.0 3.0)) (/ PI 3.0))
1.0b	(/ PI 3.0)
1.0b	(/ PI 3.0)
62.9b	(sin (+ (* PI (/ 2.0 3.0)) (/ PI 3.0)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`times-frac`
8×	`add-exp-log` `add-cbrt-cube`
6×	`associate-/r` `associate-/l` `add-log-exp`
4×	`pow1`
3×	`div-inv`
2×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num`
1×	`+-commutative` `flip3-+` `sin-sum` `associate-*r/` `frac-add` `sum-log` `flip-+` `distribute-lft-out`

Counts

4 → 75

Calls

4 calls:

7.0ms	(+ (* PI (/ 2.0 3.0)) (/ PI 3.0))
3.0ms	(/ PI 3.0)
3.0ms	(/ PI 3.0)
8.0ms	(sin (+ (* PI (/ 2.0 3.0)) (/ PI 3.0)))

series0.0ms

Counts

4 → 4

Calls

4 calls:

0.0ms	(+ (* PI (/ 2.0 3.0)) (/ PI 3.0))
0.0ms	(/ PI 3.0)
0.0ms	(/ PI 3.0)
0.0ms	(sin (+ (* PI (/ 2.0 3.0)) (/ PI 3.0)))

simplify49.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5249	715

prune207.0ms

Filtered

65 candidates to 79 candidates (-21.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	79	0	79
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	79	6	85

Merged error: 0.0b

Counts

85 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

1.0b	(pow (cos (+ (* PI (/ 2.0 3.0)) (/ (acos (/ (neg g) h)) 3.0))) 3)
1.0b	(cbrt (pow (cos (+ (* PI (/ 2.0 3.0)) (/ (acos (/ (neg g) h)) 3.0))) 3))
1.0b	(cos (+ (* PI (/ 2.0 3.0)) (/ (acos (/ (neg g) h)) 3.0)))
1.0b	(* PI (/ 2.0 3.0))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
18×	`add-cube-cbrt` `*-un-lft-identity`
13×	`associate-r`
12×	`cbrt-prod`
10×	`add-exp-log` `times-frac` `add-cbrt-cube`
7×	`pow1`
6×	`unpow-prod-down` `cube-prod`
4×	`add-log-exp`
3×	`pow-unpow` `associate-l`
2×	`cos-diff` `cube-mult` `associate-+r-` `unpow3` `div-sub` `prod-exp` `cbrt-unprod` `unswap-sqr` `sqr-pow`
1×	`cbrt-undiv` `acos-neg` `acos-asin` `pow-to-exp` `cos-sum` `pow-pow` `pow1/3` `associate-r/` `distribute-frac-neg` `div-exp` `pow-prod-down` `pow-exp` `-commutative` `rem-cbrt-cube` `div-inv` `rem-cube-cbrt`

Counts

4 → 86

Calls

4 calls:

3.0ms	(pow (cos (+ (* PI (/ 2.0 3.0)) (/ (acos (/ (neg g) h)) 3.0))) 3)
3.0ms	(cbrt (pow (cos (+ (* PI (/ 2.0 3.0)) (/ (acos (/ (neg g) h)) 3.0))) 3))
8.0ms	(cos (+ (* PI (/ 2.0 3.0)) (/ (acos (/ (neg g) h)) 3.0)))
6.0ms	(* PI (/ 2.0 3.0))

series53.0ms

Counts

4 → 10

Calls

4 calls:

23.0ms	(pow (cos (+ (* PI (/ 2.0 3.0)) (/ (acos (/ (neg g) h)) 3.0))) 3)
16.0ms	(cbrt (pow (cos (+ (* PI (/ 2.0 3.0)) (/ (acos (/ (neg g) h)) 3.0))) 3))
14.0ms	(cos (+ (* PI (/ 2.0 3.0)) (/ (acos (/ (neg g) h)) 3.0)))
0.0ms	(* PI (/ 2.0 3.0))

simplify57.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4909	1413
1	4909	1413

prune145.0ms

Filtered

58 candidates to 96 candidates (-65.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	95	1	96
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	96	6	102

Merged error: 0.0b

Counts

102 → 6

localize16.0ms

Local error

Found 4 expressions with local error:

0.9b	(/ (acos (/ (neg g) h)) 3.0)
1.0b	(+ (* PI (/ 2.0 3.0)) (/ (acos (/ (neg g) h)) 3.0))
1.0b	(cos (+ (* PI (/ 2.0 3.0)) (/ (acos (/ (neg g) h)) 3.0)))
1.0b	(* PI (/ 2.0 3.0))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
20×	`add-cube-cbrt` `*-un-lft-identity`
19×	`times-frac`
13×	`associate-r`
11×	`add-exp-log` `add-cbrt-cube`
6×	`pow1` `div-sub` `add-log-exp`
4×	`associate-+r-`
3×	`acos-neg` `acos-asin` `distribute-frac-neg` `associate-l` `associate-/r` `associate-/l`
2×	`cbrt-undiv` `cos-diff` `associate-*r/` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`+-commutative` `cos-sum` `frac-2neg` `flip3-+` `pow-prod-down` `frac-add` `clear-num` `sum-log` `*-commutative` `flip-+`

Counts

4 → 85

Calls

4 calls:

3.0ms	(/ (acos (/ (neg g) h)) 3.0)
8.0ms	(+ (* PI (/ 2.0 3.0)) (/ (acos (/ (neg g) h)) 3.0))
9.0ms	(cos (+ (* PI (/ 2.0 3.0)) (/ (acos (/ (neg g) h)) 3.0)))
7.0ms	(* PI (/ 2.0 3.0))

series23.0ms

Counts

4 → 10

Calls

4 calls:

3.0ms	(/ (acos (/ (neg g) h)) 3.0)
5.0ms	(+ (* PI (/ 2.0 3.0)) (/ (acos (/ (neg g) h)) 3.0))
14.0ms	(cos (+ (* PI (/ 2.0 3.0)) (/ (acos (/ (neg g) h)) 3.0)))
0.0ms	(* PI (/ 2.0 3.0))

simplify56.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4974	1116
1	4974	1116

prune160.0ms

Filtered

74 candidates to 95 candidates (-28.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	94	1	95
Fresh	2	1	3
Picked	0	1	1
Done	0	2	2
Total	96	5	101

Merged error: 0.0b

Counts

101 → 5

regimes443.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	39
1	26	39

end0.0ms

sample798.0ms

Algorithm

intervals

Results

610.0ms	8000×	body	80	valid
34.0ms	519×	body	80	nan

Details

analyze169.0ms

sample28.0ms

simplify4.0ms

prune6.0ms

localize13.0ms

rewrite32.0ms

series22.0ms

simplify52.0ms

prune139.0ms

localize27.0ms

rewrite23.0ms

series0.0ms

simplify49.0ms

prune207.0ms

localize15.0ms

rewrite23.0ms

series53.0ms

simplify57.0ms

prune145.0ms

localize16.0ms

rewrite29.0ms

series23.0ms

simplify56.0ms

prune160.0ms

regimes443.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample798.0ms

Profiling