Details

Time bar (total: 3.1s)

sample54.0ms

Algorithm
intervals
Results
30.0ms256×body80valid
3.0ms5×body1280valid
1.0ms3×body640valid
1.0ms2×body320valid

simplify52.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (9.0ms)

IterNodesCost
05016
19316
220016
351715
4189315
5500115

prune12.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 15.2b

Counts
2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (* K (+ m n)) 2.0) M)
0.0b
(* K (+ m n))
0.0b
(pow (- (/ (+ m n) 2.0) M) 2.0)
35.5b
(cos (- (/ (* K (+ m n)) 2.0) M))

rewrite37.0ms

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

series82.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(- (/ (* K (+ m n)) 2.0) M)
6.0ms
(* K (+ m n))
41.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
21.0ms
(cos (- (/ (* K (+ m n)) 2.0) M))

simplify46.0ms

Algorithm
egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0392495
11304457
25001450

prune165.0ms

Filtered
79 candidates to 56 candidates (29.1%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New75479
Fresh000
Picked101
Done000
Total76480

Merged error: 1.0b

Counts
80 → 4

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite34.0ms

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

series86.0ms

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

simplify90.0ms

Algorithm
egg-herbie
Counts
50 → 50
Iterations

Useful iterations: 3 (84.0ms)

IterNodesCost
0307479
1865454
23603442
35001439

prune98.0ms

Filtered
50 candidates to 34 candidates (32.0%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New49150
Fresh033
Picked011
Done000
Total49554

Merged error: 1.0b

Counts
54 → 5

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite19.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)
14.0ms
(cos (- (/ (* (* (cbrt K) (cbrt K)) (* (cbrt K) (+ m n))) 2.0) M))

series99.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(cbrt K)
23.0ms
(cbrt K)
23.0ms
(cbrt K)
30.0ms
(cos (- (/ (* (* (cbrt K) (cbrt K)) (* (cbrt K) (+ m n))) 2.0) M))

simplify46.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 4 (41.0ms)

IterNodesCost
0130345
1254312
2456282
31079279
45001267

prune123.0ms

Filtered
55 candidates to 43 candidates (21.8%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New52355
Fresh213
Picked101
Done011
Total55560

Merged error: 0.9b

Counts
60 → 5

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(* M (- (* 1.0 m) M))
0.0b
(exp (+ (* M (- (* 1.0 m) M)) (* 1.0 (* M n))))
1.7b
(+ (* M (- (* 1.0 m) M)) (* 1.0 (* M n)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt add-log-exp
6×add-cube-cbrt *-un-lft-identity
5×pow1 add-exp-log add-cbrt-cube
4×distribute-rgt-in sub-neg associate-+l+ distribute-lft-in
3×exp-prod associate-*r* associate-*l*
2×associate-*r/ sum-log rem-exp-log
1×+-commutative flip3-- flip3-+ exp-sum pow-prod-down prod-exp *-commutative flip-- cbrt-unprod flip-+ unswap-sqr
Counts
3 → 52
Calls
3 calls:
6.0ms
(* M (- (* 1.0 m) M))
8.0ms
(exp (+ (* M (- (* 1.0 m) M)) (* 1.0 (* M n))))
8.0ms
(+ (* M (- (* 1.0 m) M)) (* 1.0 (* M n)))

series31.0ms

Counts
3 → 9
Calls
3 calls:
7.0ms
(* M (- (* 1.0 m) M))
15.0ms
(exp (+ (* M (- (* 1.0 m) M)) (* 1.0 (* M n))))
10.0ms
(+ (* M (- (* 1.0 m) M)) (* 1.0 (* M n)))

simplify42.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0233413
11011368
25001357

prune75.0ms

Filtered
61 candidates to 40 candidates (34.4%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New61061
Fresh033
Picked011
Done011
Total61566

Merged error: 0.9b

Counts
66 → 5

regimes393.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02110
12310
22310

end0.0ms

sample1.4s

Algorithm
intervals
Results
845.0ms8121×body80valid
75.0ms121×body1280valid
61.0ms132×body640valid
42.0ms124×body320valid
12.0ms58×body160valid
3.0ms4×body2560valid

Profiling

Loading profile data...