Details

Time bar (total: 7.0s)

sample58.0ms

Algorithm
intervals
Results
25.0ms263×body80valid
3.0ms5×body1280valid
2.0ms5×body320valid
1.0ms3×body640valid

simplify48.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (7.0ms)

IterNodesCost
05016
19316
220016
351715
4189315
5500115

prune15.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 15.8b

Counts
2 → 1

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
0.0b
(* K (+ m n))
0.0b
(pow (- (/ (+ m n) 2.0) M) 2.0)
35.0b
(cos (- (/ (* K (+ m n)) 2.0) M))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
17×*-un-lft-identity
15×add-sqr-sqrt
9×add-log-exp
8×add-cube-cbrt
7×pow1 add-exp-log
6×unpow-prod-down add-cbrt-cube
4×associate-*r*
3×pow-unpow associate-*l* distribute-lft-out
2×sub-neg cos-sum associate-+r+ flip3-+ associate-*r/ sum-log flip-+ distribute-lft-out-- difference-of-squares
1×+-commutative distribute-rgt-in cos-diff pow-to-exp associate-+r- pow-pow distribute-lft-in times-frac diff-log pow-prod-down pow-exp prod-exp *-commutative cbrt-unprod unswap-sqr sqr-pow
Counts
4 → 70
Calls
4 calls:
16.0ms
(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
6.0ms
(* K (+ m n))
9.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
8.0ms
(cos (- (/ (* K (+ m n)) 2.0) M))

series615.0ms

Counts
4 → 12
Calls
4 calls:
208.0ms
(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
29.0ms
(* K (+ m n))
317.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
60.0ms
(cos (- (/ (* K (+ m n)) 2.0) M))

simplify41.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0411566
11369528
25001523

prune539.0ms

Filtered
82 candidates to 58 candidates (29.3%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New78482
Fresh000
Picked101
Done000
Total79483

Merged error: 1.0b

Counts
83 → 4

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
0.0b
(pow (- (/ (+ m n) 2.0) M) 2.0)

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
9×add-sqr-sqrt
7×add-log-exp
6×unpow-prod-down
4×add-cube-cbrt
3×pow1 add-exp-log pow-unpow
2×associate-+r+ sum-log add-cbrt-cube distribute-lft-out distribute-lft-out-- difference-of-squares
1×+-commutative pow-to-exp associate-+r- sub-neg pow-pow flip3-+ times-frac diff-log pow-exp flip-+ sqr-pow
Counts
2 → 37
Calls
2 calls:
16.0ms
(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
10.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)

series529.0ms

Counts
2 → 6
Calls
2 calls:
205.0ms
(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
324.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)

simplify74.0ms

Algorithm
egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 3 (69.0ms)

IterNodesCost
0253368
1720351
22937346
35001343

prune201.0ms

Filtered
43 candidates to 31 candidates (27.9%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New43043
Fresh033
Picked011
Done000
Total43447

Merged error: 1.0b

Counts
47 → 4

localize29.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt K)
0.6b
(cbrt K)
0.6b
(cbrt K)
34.6b
(cos (- (/ (* (* (cbrt K) (cbrt K)) (* (cbrt K) (+ m n))) 2.0) M))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log add-cbrt-cube add-log-exp
3×pow1/3
2×cos-sum
1×cos-diff sub-neg
Counts
4 → 43
Calls
4 calls:
1.0ms
(cbrt K)
1.0ms
(cbrt K)
1.0ms
(cbrt K)
13.0ms
(cos (- (/ (* (* (cbrt K) (cbrt K)) (* (cbrt K) (+ m n))) 2.0) M))

series718.0ms

Counts
4 → 12
Calls
4 calls:
205.0ms
(cbrt K)
201.0ms
(cbrt K)
199.0ms
(cbrt K)
113.0ms
(cos (- (/ (* (* (cbrt K) (cbrt K)) (* (cbrt K) (+ m n))) 2.0) M))

simplify99.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 2 (9.0ms)

IterNodesCost
0111309
1265279
2681273
33070273
45001273

prune413.0ms

Filtered
55 candidates to 46 candidates (16.4%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New52355
Fresh112
Picked101
Done011
Total54559

Merged error: 1.0b

Counts
59 → 5

localize29.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt K)
0.6b
(cbrt K)
0.6b
(pow (cos (- (/ (* (* (cbrt K) (cbrt K)) (* (cbrt K) (+ m n))) 2.0) M)) 3)
34.6b
(cos (- (/ (* (* (cbrt K) (cbrt K)) (* (cbrt K) (+ m n))) 2.0) M))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×cbrt-prod
5×pow1 add-exp-log add-cbrt-cube
4×add-log-exp
3×unpow-prod-down pow-unpow cube-prod
2×cos-sum pow1/3
1×cos-diff cube-mult pow-to-exp sub-neg pow-pow unpow3 pow-exp rem-cube-cbrt sqr-pow
Counts
4 → 55
Calls
4 calls:
1.0ms
(cbrt K)
1.0ms
(cbrt K)
3.0ms
(pow (cos (- (/ (* (* (cbrt K) (cbrt K)) (* (cbrt K) (+ m n))) 2.0) M)) 3)
17.0ms
(cos (- (/ (* (* (cbrt K) (cbrt K)) (* (cbrt K) (+ m n))) 2.0) M))

series700.0ms

Counts
4 → 12
Calls
4 calls:
210.0ms
(cbrt K)
208.0ms
(cbrt K)
166.0ms
(pow (cos (- (/ (* (* (cbrt K) (cbrt K)) (* (cbrt K) (+ m n))) 2.0) M)) 3)
116.0ms
(cos (- (/ (* (* (cbrt K) (cbrt K)) (* (cbrt K) (+ m n))) 2.0) M))

simplify141.0ms

Algorithm
egg-herbie
Counts
67 → 67
Iterations

Useful iterations: 2 (21.0ms)

IterNodesCost
0178623
1591554
23428546
35003546

prune679.0ms

Filtered
67 candidates to 48 candidates (28.4%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New66167
Fresh033
Picked101
Done011
Total67572

Merged error: 1.0b

Counts
72 → 5

regimes463.0ms

Accuracy

0% (0.2b remaining)

Error of 1.3b against oracle of 1.1b and baseline of 1.3b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02010
12010

end0.0ms

sample1.5s

Algorithm
intervals
Results
787.0ms8108×body80valid
71.0ms119×body1280valid
61.0ms146×body640valid
32.0ms109×body320valid
10.0ms49×body160valid
2.0ms2×body2560valid

Profiling

Loading profile data...