Details

Time bar (total: 5.6s)

sample44.0ms

Algorithm
intervals
Results
20.0ms264×body80valid
2.0ms5×body1280valid
2.0ms6×body640valid
1.0ms3×body320valid
0.0ms1×body160valid

simplify49.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (8.0ms)

IterNodesCost
05016
19316
220016
351715
4189315
5500115

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.2b

localize22.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)
36.7b
(cos (- (/ (* K (+ m n)) 2.0) M))

rewrite73.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:
9.0ms
(- (/ (* K (+ m n)) 2.0) M)
9.0ms
(* K (+ m n))
33.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
20.0ms
(cos (- (/ (* K (+ m n)) 2.0) M))

series414.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(- (/ (* K (+ m n)) 2.0) M)
25.0ms
(* K (+ m n))
270.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
57.0ms
(cos (- (/ (* K (+ m n)) 2.0) M))

simplify42.0ms

Algorithm
egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0378485
11267447
25002443

prune334.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 1.2b

localize15.0ms

Local error

Found 1 expressions with local error:

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×unpow-prod-down
5×*-un-lft-identity
3×add-cube-cbrt pow-unpow
2×pow1 add-exp-log difference-of-squares
1×pow-to-exp pow-pow times-frac pow-exp add-cbrt-cube distribute-lft-out-- add-log-exp sqr-pow
Counts
1 → 20
Calls
1 calls:
32.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)

series269.0ms

Counts
1 → 3
Calls
1 calls:
269.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)

simplify46.0ms

Algorithm
egg-herbie
Counts
23 → 23
Iterations

Useful iterations: 3 (42.0ms)

IterNodesCost
0156164
1433159
21446158
35001155

prune102.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 1.2b

localize28.0ms

Local error

Found 4 expressions with local error:

16.5b
(cbrt (- (/ (* K (+ m n)) 2.0) M))
16.5b
(cbrt (- (/ (* K (+ m n)) 2.0) M))
16.5b
(cbrt (- (/ (* K (+ m n)) 2.0) M))
46.4b
(cos (* (* (cbrt (- (/ (* K (+ m n)) 2.0) M)) (cbrt (- (/ (* K (+ m n)) 2.0) M))) (cbrt (- (/ (* K (+ m n)) 2.0) M))))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
15×cbrt-prod
13×add-sqr-sqrt *-un-lft-identity
7×add-cube-cbrt
6×cbrt-div
4×pow1 add-exp-log add-cbrt-cube add-log-exp
3×flip3-- pow1/3 flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 52
Calls
4 calls:
7.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
7.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
7.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
32.0ms
(cos (* (* (cbrt (- (/ (* K (+ m n)) 2.0) M)) (cbrt (- (/ (* K (+ m n)) 2.0) M))) (cbrt (- (/ (* K (+ m n)) 2.0) M))))

series791.0ms

Counts
4 → 12
Calls
4 calls:
242.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
247.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
245.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
56.0ms
(cos (* (* (cbrt (- (/ (* K (+ m n)) 2.0) M)) (cbrt (- (/ (* K (+ m n)) 2.0) M))) (cbrt (- (/ (* K (+ m n)) 2.0) M))))

simplify53.0ms

Algorithm
egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 3 (45.0ms)

IterNodesCost
0214792
1511722
21517713
35001704

prune414.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 1.2b

localize35.0ms

Local error

Found 4 expressions with local error:

16.5b
(cbrt (- (/ (* K (+ m n)) 2.0) M))
16.5b
(cbrt (- (/ (* K (+ m n)) 2.0) M))
16.5b
(cbrt (- (/ (* K (+ m n)) 2.0) M))
46.8b
(cos (* (* (cbrt (- (/ (* K (+ m n)) 2.0) M)) (cbrt (- (/ (* K (+ m n)) 2.0) M))) (* (cbrt (* (cbrt (- (/ (* K (+ m n)) 2.0) M)) (cbrt (- (/ (* K (+ m n)) 2.0) M)))) (cbrt (cbrt (- (/ (* K (+ m n)) 2.0) M))))))

rewrite172.0ms

Algorithm
rewrite-expression-head
Rules
15×cbrt-prod
13×add-sqr-sqrt *-un-lft-identity
7×add-cube-cbrt
6×cbrt-div
4×pow1 add-exp-log add-cbrt-cube add-log-exp
3×flip3-- pow1/3 flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 52
Calls
4 calls:
7.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
7.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
7.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
150.0ms
(cos (* (* (cbrt (- (/ (* K (+ m n)) 2.0) M)) (cbrt (- (/ (* K (+ m n)) 2.0) M))) (* (cbrt (* (cbrt (- (/ (* K (+ m n)) 2.0) M)) (cbrt (- (/ (* K (+ m n)) 2.0) M)))) (cbrt (cbrt (- (/ (* K (+ m n)) 2.0) M))))))

series794.0ms

Counts
4 → 12
Calls
4 calls:
245.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
247.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
240.0ms
(cbrt (- (/ (* K (+ m n)) 2.0) M))
61.0ms
(cos (* (* (cbrt (- (/ (* K (+ m n)) 2.0) M)) (cbrt (- (/ (* K (+ m n)) 2.0) M))) (* (cbrt (* (cbrt (- (/ (* K (+ m n)) 2.0) M)) (cbrt (- (/ (* K (+ m n)) 2.0) M)))) (cbrt (cbrt (- (/ (* K (+ m n)) 2.0) M))))))

simplify53.0ms

Algorithm
egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 3 (44.0ms)

IterNodesCost
0222932
1534834
21556825
35001816

prune436.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 1.2b

regimes231.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02110
12310
22310

end0.0ms

sample1.1s

Algorithm
intervals
Results
632.0ms8104×body80valid
60.0ms184×body640valid
51.0ms107×body1280valid
23.0ms95×body320valid
11.0ms67×body160valid
1.0ms2×body2560valid