Details

Time bar (total: 3.5s)

sample34.0ms

Algorithm
intervals
Results
21.0ms256×body80valid

simplify14.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (13.0ms)

IterNodesCost
0541437

prune14.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 24.5b

Counts
2 → 2

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y))
0.0b
(* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894))
0.1b
(* x (+ (* x 4.16438922228) 78.6994924154))
23.7b
(/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
18×add-cube-cbrt *-un-lft-identity
12×add-exp-log add-cbrt-cube
10×pow1
9×times-frac associate-*r* associate-*l*
6×associate-*r/
5×flip3-+ flip-+
4×add-log-exp
3×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp associate-/r* *-commutative cbrt-unprod associate-/l* unswap-sqr
2×associate-/r/ associate-/l/
1×cbrt-undiv frac-2neg div-exp clear-num div-inv
Counts
4 → 97
Calls
4 calls:
12.0ms
(* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y))
11.0ms
(* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894))
6.0ms
(* x (+ (* x 4.16438922228) 78.6994924154))
24.0ms
(/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))

series57.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y))
5.0ms
(* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894))
6.0ms
(* x (+ (* x 4.16438922228) 78.6994924154))
37.0ms
(/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))

simplify51.0ms

Algorithm
egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
050272487

prune263.0ms

Filtered
80 candidates to 109 candidates (-36.3%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1018109
Fresh101
Picked101
Done000
Total1038111

Merged error: 0.1b

Counts
111 → 8

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894))
0.1b
(* x (+ (* x 4.16438922228) 78.6994924154))
0.2b
(/ 1 (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
23.9b
(* (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (/ 1 (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
25×*-un-lft-identity
24×add-cube-cbrt
21×add-exp-log associate-*r*
20×times-frac
15×add-cbrt-cube
11×pow1
9×associate-*l*
6×flip3-+ prod-exp flip-+
5×associate-*r/ unswap-sqr
4×div-exp associate-/r/ cbrt-unprod add-log-exp
3×pow-prod-down associate-/r* *-commutative associate-/l*
2×cbrt-undiv distribute-rgt-in frac-times rec-exp distribute-lft-in 1-exp associate-*l/ div-inv
1×pow-flip frac-2neg clear-num un-div-inv inv-pow
Counts
4 → 119
Calls
4 calls:
12.0ms
(* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894))
6.0ms
(* x (+ (* x 4.16438922228) 78.6994924154))
14.0ms
(/ 1 (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
28.0ms
(* (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (/ 1 (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))

series52.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894))
6.0ms
(* x (+ (* x 4.16438922228) 78.6994924154))
6.0ms
(/ 1 (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
36.0ms
(* (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (/ 1 (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))

simplify60.0ms

Algorithm
egg-herbie
Counts
131 → 131
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
054443035

prune247.0ms

Filtered
85 candidates to 131 candidates (-54.1%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1301131
Fresh257
Picked011
Done000
Total1327139

Merged error: 0.1b

Counts
139 → 7

localize29.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
23.7b
(/ (+ (* (* (cbrt x) (cbrt x)) (* (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y) (cbrt x))) z) (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×cbrt-prod times-frac
6×add-exp-log add-cbrt-cube
4×pow1 add-log-exp
3×pow1/3 associate-/r* associate-/l*
2×flip3-+ associate-/r/ flip-+ associate-/l/
1×cbrt-undiv frac-2neg div-exp clear-num div-inv
Counts
4 → 64
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
31.0ms
(/ (+ (* (* (cbrt x) (cbrt x)) (* (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y) (cbrt x))) z) (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))

series118.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(cbrt x)
21.0ms
(cbrt x)
21.0ms
(cbrt x)
52.0ms
(/ (+ (* (* (cbrt x) (cbrt x)) (* (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y) (cbrt x))) z) (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))

simplify58.0ms

Algorithm
egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
049591629
149591629

prune144.0ms

Filtered
56 candidates to 76 candidates (-35.7%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New76076
Fresh055
Picked011
Done011
Total76783

Merged error: 0.1b

Counts
83 → 7

localize29.0ms

Local error

Found 4 expressions with local error:

7.3b
(sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
7.3b
(sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
15.5b
(* (/ 1 (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))) (/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))))
20.7b
(/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
95×add-sqr-sqrt
76×times-frac
53×*-un-lft-identity
47×add-cube-cbrt sqrt-prod
28×add-exp-log
24×associate-*r* associate-*l*
18×add-cbrt-cube
15×unswap-sqr
10×sqrt-div
9×div-exp
8×pow1 prod-exp
6×flip3-+ associate-/r* associate-/r/ flip-+
5×cbrt-undiv
4×cbrt-unprod add-log-exp
3×div-inv associate-/l*
2×rem-sqrt-square rec-exp sqrt-pow1 pow1/2 1-exp associate-/l/
1×frac-times frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative
Counts
4 → 160
Calls
4 calls:
11.0ms
(sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
11.0ms
(sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
46.0ms
(* (/ 1 (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))) (/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))))
28.0ms
(/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))

series103.0ms

Counts
4 → 12
Calls
4 calls:
8.0ms
(sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
6.0ms
(sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
36.0ms
(* (/ 1 (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))) (/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))))
53.0ms
(/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))

simplify97.0ms

Algorithm
egg-herbie
Counts
172 → 172
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
049667444
149667444

prune514.0ms

Filtered
110 candidates to 172 candidates (-56.4%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New1720172
Fresh044
Picked011
Done022
Total1727179

Merged error: 0.1b

Counts
179 → 7

regimes308.0ms

Accuracy

96.9% (0.8b remaining)

Error of 0.8b against oracle of 0.0b and baseline of 24.8b

bsearch42.0ms

Steps
ItersRangePoint
9
5.2089170879795873e+36
5.833031363409283e+44
5.407559153147737e+42
4
-4.218193630269818e+64
-2.3213487599812277e+64
-2.631891425890472e+64

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
06863
16863

end0.0ms

sample973.0ms

Algorithm
intervals
Results
677.0ms8011×body80valid

Profiling

Loading profile data...