Details

Time bar (total: 24.2s)

sample477.0ms

Algorithm
intervals
Results
410.0ms239×body10240exit
32.0ms261×body80valid
5.0ms5×body640valid
1.0ms3×body320valid
1.0ms4×body160valid
1.0ms1×body1280valid

simplify50.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (9.0ms)

IterNodesCost
05016
19316
220016
351715
4189315
5500115

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.1b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

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

series461.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* K (+ m n))
260.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
123.0ms
(exp (- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n)))))
53.0ms
(cos (- (/ (* K (+ m n)) 2.0) M))

simplify42.0ms

Algorithm
egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
0437613
11474567
25001562

prune350.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.9b

localize19.0ms

Local error

Found 3 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)
0.0b
(exp (- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n)))))

rewrite1.7s

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
24×add-log-exp
15×add-sqr-sqrt
13×distribute-lft-out--
12×diff-log
8×exp-prod
6×add-cube-cbrt unpow-prod-down
5×rem-exp-log
4×pow1 add-exp-log distribute-rgt-neg-in neg-log difference-of-squares
3×sub-neg pow-unpow exp-sum add-cbrt-cube
2×associate--r+ associate--r-
1×associate--l- neg-sub0 pow-to-exp flip3-- pow-pow times-frac exp-diff pow-exp flip-- sqr-pow
Counts
3 → 68
Calls
3 calls:
580.0ms
(- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n))))
36.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
1.1s
(exp (- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n)))))

series561.0ms

Counts
3 → 9
Calls
3 calls:
182.0ms
(- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n))))
259.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
120.0ms
(exp (- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n)))))

simplify37.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0356720
11112675
25002670

prune245.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.9b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite52.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:
0.0ms
(cbrt K)
0.0ms
(cbrt K)
1.0ms
(cbrt K)
49.0ms
(cos (- (/ (* (* (cbrt K) (cbrt K)) (* (cbrt K) (+ m n))) 2.0) M))

series638.0ms

Counts
4 → 12
Calls
4 calls:
178.0ms
(cbrt K)
184.0ms
(cbrt K)
175.0ms
(cbrt K)
100.0ms
(cos (- (/ (* (* (cbrt K) (cbrt K)) (* (cbrt K) (+ m n))) 2.0) M))

simplify96.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 2 (9.0ms)

IterNodesCost
0111309
1265279
2681273
33070273
45001273

prune304.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.9b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite386.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:
0.0ms
(cbrt K)
0.0ms
(cbrt K)
1.0ms
(cbrt K)
383.0ms
(cos (- (/ (* (* (cbrt K) (* (* (cbrt (cbrt K)) (cbrt (cbrt K))) (cbrt (cbrt K)))) (* (cbrt K) (+ m n))) 2.0) M))

series641.0ms

Counts
4 → 12
Calls
4 calls:
178.0ms
(cbrt K)
179.0ms
(cbrt K)
183.0ms
(cbrt K)
100.0ms
(cos (- (/ (* (* (cbrt K) (* (* (cbrt (cbrt K)) (cbrt (cbrt K))) (cbrt (cbrt K)))) (* (cbrt K) (+ m n))) 2.0) M))

simplify40.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 2 (11.0ms)

IterNodesCost
0118421
1315377
21021371
35001371

prune320.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.9b

regimes244.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
02110
12310
22310

end0.0ms

sample16.3s

Algorithm
intervals
Results
14.6s8258×body10240exit
873.0ms8111×body80valid
64.0ms154×body640valid
62.0ms107×body1280valid
28.0ms92×body320valid
10.0ms50×body160valid
4.0ms4×body2560valid