Details

Time bar (total: 35.4s)

sample371.0ms

Algorithm
intervals
Results
41.0ms609×body80valid

simplify80.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05114
115514
266714
3312514
4500214

prune7.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 11.0b

Counts
2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

3.0b
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
3.7b
(* (* (* w w) r) r)
6.0b
(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
8.5b
(* (* w w) r)

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
92×add-exp-log add-cbrt-cube
57×prod-exp cbrt-unprod
50×pow1
33×pow-prod-down
13×add-sqr-sqrt
12×*-un-lft-identity
9×cbrt-undiv div-exp
8×add-cube-cbrt
7×associate-*r*
5×times-frac associate-/r*
4×associate-*r/ associate-*l/ add-log-exp
3×flip3-- associate-*l* *-commutative flip--
2×associate-/r/ associate-/l/ distribute-lft-out-- difference-of-squares
1×frac-2neg clear-num div-inv associate-/l* unswap-sqr
Counts
4 → 119
Calls
4 calls:
12.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
7.0ms
(* (* (* w w) r) r)
17.0ms
(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
8.0ms
(* (* w w) r)

series62.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
7.0ms
(* (* (* w w) r) r)
24.0ms
(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
11.0ms
(* (* w w) r)

simplify100.0ms

Algorithm
egg-herbie
Counts
131 → 131
Iterations

Useful iterations: 2 (87.0ms)

IterNodesCost
06701303
13876935
25003931

prune642.0ms

Filtered
131 candidates to 61 candidates (53.4%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New12011131
Fresh000
Picked101
Done000
Total12111132

Merged error: 2.3b

Counts
132 → 11

localize18.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ 2.0 (* r r))
0.4b
(* (fabs (* w r)) (fabs (* w r)))
3.0b
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r))))
6.0b
(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r)))) (- 1.0 v))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
41×add-exp-log add-cbrt-cube
23×pow1
18×add-sqr-sqrt prod-exp cbrt-unprod
16×*-un-lft-identity
12×add-cube-cbrt
9×pow-prod-down
8×times-frac
7×cbrt-undiv div-exp
6×associate-/r*
4×associate-*r/ associate-*r* associate-*l* associate-*l/ associate-/l* add-log-exp
3×flip3-- swap-sqr flip--
2×frac-2neg clear-num associate-/r/ *-commutative div-inv associate-/l/ distribute-lft-out-- difference-of-squares
1×pow2 pow-plus pow-sqr pow-prod-up unswap-sqr
Counts
4 → 105
Calls
4 calls:
4.0ms
(/ 2.0 (* r r))
3.0ms
(* (fabs (* w r)) (fabs (* w r)))
8.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r))))
13.0ms
(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r)))) (- 1.0 v))

series45.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(/ 2.0 (* r r))
3.0ms
(* (fabs (* w r)) (fabs (* w r)))
16.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r))))
22.0ms
(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r)))) (- 1.0 v))

simplify71.0ms

Algorithm
egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
05591085
12754841
25001821

prune770.0ms

Filtered
117 candidates to 70 candidates (40.2%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New1089117
Fresh6410
Picked101
Done000
Total11513128

Merged error: 0.0b

Counts
128 → 13

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (- 1.0 v) (pow (fabs (* w r)) 2))
0.4b
(/ 2.0 (* r r))
0.4b
(pow (fabs (* w r)) 2)
5.2b
(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (- 1.0 v) (pow (fabs (* w r)) 2)))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
167×times-frac
117×add-sqr-sqrt *-un-lft-identity
67×add-cube-cbrt
53×associate-/r*
51×unpow-prod-down
39×add-exp-log
25×distribute-lft-out-- difference-of-squares
23×add-cbrt-cube
19×div-exp
17×unpow2 sqr-pow
9×cbrt-undiv associate-/l*
5×pow1 prod-exp div-inv
4×pow-to-exp pow-exp associate-/l/ add-log-exp
3×pow-unpow frac-2neg clear-num cbrt-unprod
2×flip3-- associate-*r/ flip--
1×pow-pow div-sub associate-/r/
Counts
4 → 223
Calls
4 calls:
7.0ms
(/ (- 1.0 v) (pow (fabs (* w r)) 2))
4.0ms
(/ 2.0 (* r r))
2.0ms
(pow (fabs (* w r)) 2)
15.0ms
(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (- 1.0 v) (pow (fabs (* w r)) 2)))

series43.0ms

Counts
4 → 12
Calls
4 calls:
16.0ms
(/ (- 1.0 v) (pow (fabs (* w r)) 2))
3.0ms
(/ 2.0 (* r r))
3.0ms
(pow (fabs (* w r)) 2)
21.0ms
(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (- 1.0 v) (pow (fabs (* w r)) 2)))

simplify101.0ms

Algorithm
egg-herbie
Counts
235 → 235
Iterations

Useful iterations: 1 (21.0ms)

IterNodesCost
09712431
141662156
250012156

prune2.1s

Filtered
235 candidates to 136 candidates (42.1%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New2287235
Fresh8412
Picked101
Done000
Total23711248

Merged error: 0.0b

Counts
248 → 11

localize19.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ 2.0 (* r r))
0.4b
(pow (fabs (* w r)) 2)
0.5b
(/ 0.125 (/ (/ (- 1.0 v) (pow (fabs (* w r)) 2)) (- 3.0 (* 2.0 v))))
4.9b
(/ (/ (- 1.0 v) (pow (fabs (* w r)) 2)) (- 3.0 (* 2.0 v)))

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
1717×times-frac
932×add-sqr-sqrt *-un-lft-identity
676×add-cube-cbrt
243×unpow-prod-down
142×associate-/r*
128×distribute-lft-out-- difference-of-squares
81×unpow2 sqr-pow
50×associate-/l*
36×add-exp-log
23×add-cbrt-cube div-inv
21×div-exp
11×cbrt-undiv associate-/r/
5×pow1 flip3-- flip--
4×add-log-exp
3×pow-to-exp pow-unpow frac-2neg pow-exp clear-num
2×div-sub
1×pow-pow prod-exp cbrt-unprod associate-/l/
Counts
4 → 812
Calls
4 calls:
4.0ms
(/ 2.0 (* r r))
2.0ms
(pow (fabs (* w r)) 2)
34.0ms
(/ 0.125 (/ (/ (- 1.0 v) (pow (fabs (* w r)) 2)) (- 3.0 (* 2.0 v))))
15.0ms
(/ (/ (- 1.0 v) (pow (fabs (* w r)) 2)) (- 3.0 (* 2.0 v)))

series55.0ms

Counts
4 → 12
Calls
4 calls:
8.0ms
(/ 2.0 (* r r))
3.0ms
(pow (fabs (* w r)) 2)
21.0ms
(/ 0.125 (/ (/ (- 1.0 v) (pow (fabs (* w r)) 2)) (- 3.0 (* 2.0 v))))
22.0ms
(/ (/ (- 1.0 v) (pow (fabs (* w r)) 2)) (- 3.0 (* 2.0 v)))

simplify188.0ms

Algorithm
egg-herbie
Counts
824 → 824
Iterations

Useful iterations: 1 (51.0ms)

IterNodesCost
0315115153
1500114640

prune28.4s

Filtered
824 candidates to 480 candidates (41.7%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New8240824
Fresh01010
Picked011
Done000
Total82411835

Merged error: 0.0b

Counts
835 → 11

regimes438.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02614
12614

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.1s17158×body80valid

Profiling

Loading profile data...