Details

Time bar (total: 5.4s)

sample40.0ms

Algorithm
intervals
Results
19.0ms373×body80valid
5.0ms140×body80nan

simplify103.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (4.0ms)

IterNodesCost
0247
1487
2966
32566
48916
539636
650026

prune7.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 1.9b

Counts
2 → 2

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(* a (pow k m))
0.0b
(+ (+ 1.0 (* 10.0 k)) (* k k))
1.9b
(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
18×add-exp-log
13×add-sqr-sqrt
10×add-cbrt-cube
8×add-cube-cbrt *-un-lft-identity add-log-exp
7×associate-*r*
6×prod-exp
4×unpow-prod-down div-exp
3×pow1 times-frac associate-*l* associate-/r* sum-log unswap-sqr
2×cbrt-undiv pow-to-exp flip3-+ pow-exp associate-/r/ cbrt-unprod flip-+ sqr-pow
1×+-commutative associate-+l+ frac-2neg clear-num *-commutative div-inv associate-/l*
Counts
3 → 63
Calls
3 calls:
5.0ms
(* a (pow k m))
5.0ms
(+ (+ 1.0 (* 10.0 k)) (* k k))
9.0ms
(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

series197.0ms

Counts
3 → 9
Calls
3 calls:
57.0ms
(* a (pow k m))
18.0ms
(+ (+ 1.0 (* 10.0 k)) (* k k))
121.0ms
(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify54.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
0405548
11965482
25001475

prune188.0ms

Filtered
72 candidates to 53 candidates (73.6%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New69372
Fresh101
Picked101
Done000
Total71374

Merged error: 1.9b

Counts
74 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt k)
0.6b
(cbrt k)
0.6b
(cbrt k)
1.9b
(/ (* (* a (pow (* (cbrt k) (cbrt k)) m)) (pow (cbrt k) m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
58×add-exp-log
30×prod-exp
16×div-exp
13×add-cbrt-cube
11×pow-exp
9×cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×pow-to-exp
4×pow1 add-log-exp
3×cbrt-undiv times-frac pow1/3 associate-/r* cbrt-unprod
2×associate-/r/
1×frac-2neg flip3-+ clear-num flip-+ div-inv associate-/l*
Counts
4 → 71
Calls
4 calls:
1.0ms
(cbrt k)
1.0ms
(cbrt k)
1.0ms
(cbrt k)
14.0ms
(/ (* (* a (pow (* (cbrt k) (cbrt k)) m)) (pow (cbrt k) m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

series920.0ms

Counts
4 → 12
Calls
4 calls:
174.0ms
(cbrt k)
177.0ms
(cbrt k)
174.0ms
(cbrt k)
395.0ms
(/ (* (* a (pow (* (cbrt k) (cbrt k)) m)) (pow (cbrt k) m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify68.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 2 (52.0ms)

IterNodesCost
0506882
12389755
25001731

prune266.0ms

Filtered
83 candidates to 57 candidates (68.7%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New80383
Fresh202
Picked011
Done000
Total82486

Merged error: 0.0b

Counts
86 → 4

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt k)
0.6b
(cbrt k)
11.7b
(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
11.7b
(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×add-cube-cbrt *-un-lft-identity
6×pow1 cbrt-prod sqrt-prod
4×add-exp-log sqrt-div add-cbrt-cube add-log-exp
2×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 pow1/3 flip-+
Counts
4 → 52
Calls
4 calls:
1.0ms
(cbrt k)
1.0ms
(cbrt k)
4.0ms
(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
5.0ms
(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))

series460.0ms

Counts
4 → 12
Calls
4 calls:
182.0ms
(cbrt k)
177.0ms
(cbrt k)
53.0ms
(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
47.0ms
(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify65.0ms

Algorithm
egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 3 (59.0ms)

IterNodesCost
0179366
1588352
22219340
35002338

prune276.0ms

Filtered
64 candidates to 54 candidates (84.4%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New64064
Fresh022
Picked011
Done011
Total64468

Merged error: 0.0b

Counts
68 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt k)
0.6b
(cbrt k)
0.6b
(cbrt k)
1.7b
(/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (* (* a (pow (* (cbrt k) (cbrt k)) m)) (pow (cbrt k) m)))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
58×add-exp-log
30×prod-exp
16×div-exp
13×add-cbrt-cube
11×pow-exp
9×cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×pow-to-exp
4×pow1 add-log-exp
3×cbrt-undiv times-frac pow1/3 cbrt-unprod associate-/l*
2×associate-/l/
1×frac-2neg flip3-+ clear-num associate-/r* flip-+ div-inv
Counts
4 → 71
Calls
4 calls:
1.0ms
(cbrt k)
1.0ms
(cbrt k)
1.0ms
(cbrt k)
15.0ms
(/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (* (* a (pow (* (cbrt k) (cbrt k)) m)) (pow (cbrt k) m)))

series1.1s

Counts
4 → 12
Calls
4 calls:
369.0ms
(cbrt k)
181.0ms
(cbrt k)
174.0ms
(cbrt k)
382.0ms
(/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (* (* a (pow (* (cbrt k) (cbrt k)) m)) (pow (cbrt k) m)))

simplify57.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
0513875
12052760
25002736

prune255.0ms

Filtered
83 candidates to 57 candidates (68.7%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New82183
Fresh011
Picked101
Done022
Total83487

Merged error: 0.0b

Counts
87 → 4

regimes98.0ms

Accuracy

96.2% (0.1b remaining)

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

bsearch73.0ms

Steps
ItersRangePoint
9
8.413343279761259e+131
1.4293573783770087e+139
5.7179340614281354e+135

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05647
15647

end0.0ms

sample1.1s

Algorithm
intervals
Results
541.0ms12075×body80valid
157.0ms4315×body80nan