Details

Time bar (total: 2.5s)

sample43.0ms

Algorithm
intervals
Results
18.0ms256×body80valid
11.0ms230×body80nan

simplify9.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0219
1259
2299
3329
4339
5339

prune3.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 1.0b

Counts
2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
15×frac-add
10×frac-2neg clear-num
8×associate-/l*
6×div-sub
5×div-inv
4×associate-+r- *-commutative
3×acos-neg acos-asin distribute-frac-neg
2×+-commutative cos-diff cos-sum
1×distribute-rgt-out fma-def flip3-+ flip-+
Counts
4 → 36
Calls
4 calls:
7.0ms
(+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))
2.0ms
(/ (acos (/ (- g) h)) 3.0)
9.0ms
(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
4.0ms
(/ (* 2.0 PI) 3.0)

series148.0ms

Counts
4 → 10
Calls
4 calls:
35.0ms
(+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))
11.0ms
(/ (acos (/ (- g) h)) 3.0)
102.0ms
(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
0.0ms
(/ (* 2.0 PI) 3.0)

simplify112.0ms

Algorithm
egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 3 (106.0ms)

IterNodesCost
0318393
11248373
24714370
35001369

prune122.0ms

Filtered
46 candidates to 36 candidates (78.3%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New44246
Fresh000
Picked101
Done000
Total45247

Merged error: 0.0b

Counts
47 → 2

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
30×frac-add
17×frac-2neg clear-num
14×associate-/l*
7×*-commutative div-inv
3×+-commutative
2×distribute-rgt-out fma-def flip3-+ sin-sum flip-+
Counts
4 → 47
Calls
4 calls:
4.0ms
(/ (* 2.0 PI) 3.0)
7.0ms
(+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))
7.0ms
(+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))
9.0ms
(sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(/ (* 2.0 PI) 3.0)
0.0ms
(+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))
0.0ms
(+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))
0.0ms
(sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))

simplify107.0ms

Algorithm
egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 3 (99.0ms)

IterNodesCost
0260388
11042348
24153332
35001326

prune194.0ms

Filtered
51 candidates to 37 candidates (72.5%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New51051
Fresh011
Picked011
Done000
Total51253

Merged error: 0.0b

Counts
53 → 2

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (* (/ 3.0 (* 2.0 PI)) (- 3.0)))
0.0b
(fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)
1.0b
(cos (/ (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (* (/ 3.0 (* 2.0 PI)) (- 3.0))))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
7×neg-mul-1
6×associate-/r*
5×associate-*l/ associate-/r/
4×times-frac
3×*-commutative div-inv
2×neg-sub0 frac-2neg div-sub distribute-frac-neg associate-*r* associate-*l* clear-num
1×cos-neg cos-diff fma-udef associate-/l*
Counts
3 → 22
Calls
3 calls:
7.0ms
(/ (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (* (/ 3.0 (* 2.0 PI)) (- 3.0)))
1.0ms
(fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)
7.0ms
(cos (/ (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (* (/ 3.0 (* 2.0 PI)) (- 3.0))))

series217.0ms

Counts
3 → 9
Calls
3 calls:
63.0ms
(/ (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (* (/ 3.0 (* 2.0 PI)) (- 3.0)))
37.0ms
(fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)
117.0ms
(cos (/ (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (* (/ 3.0 (* 2.0 PI)) (- 3.0))))

simplify111.0ms

Algorithm
egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 2 (19.0ms)

IterNodesCost
0165301
1606297
23351265
35002265

prune82.0ms

Filtered
31 candidates to 25 candidates (80.6%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New31031
Fresh000
Picked011
Done011
Total31233

Merged error: 0.0b

Counts
33 → 2

regimes32.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02622
12622

end0.0ms

sample1.2s

Algorithm
intervals
Results
489.0ms8000×body80valid
381.0ms7722×body80nan