Details

Time bar (total: 2.9s)

sample69.0ms

Algorithm
intervals
Results
38.0ms805×body80nan
13.0ms256×body80valid

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0127
1167
2167

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.3b

Counts
2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (sqrt (- 1.0 (* x x))) x)
0.2b
(log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
29×*-un-lft-identity
27×times-frac
25×add-sqr-sqrt
21×add-cube-cbrt
16×sqrt-prod
8×log-prod
7×associate-/l*
5×add-exp-log
4×add-cbrt-cube distribute-lft-out difference-of-squares
3×pow1 log-div associate-/r* div-inv
2×sqrt-div associate-/l/ add-log-exp
1×cbrt-undiv distribute-rgt-out flip3-- frac-2neg flip3-+ div-exp rem-log-exp frac-add clear-num log-pow flip-- flip-+
Counts
2 → 65
Calls
2 calls:
5.0ms
(/ (sqrt (- 1.0 (* x x))) x)
19.0ms
(log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))

series23.0ms

Counts
2 → 6
Calls
2 calls:
7.0ms
(/ (sqrt (- 1.0 (* x x))) x)
15.0ms
(log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))

simplify40.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0421699
11457664
25002658

prune124.0ms

Filtered
57 candidates to 71 candidates (-24.6%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New69271
Fresh000
Picked011
Done000
Total69372

Merged error: 0b

Counts
72 → 3

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
Counts
4 → 44
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series89.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(cbrt x)
22.0ms
(cbrt x)
21.0ms
(cbrt x)
24.0ms
(cbrt x)

simplify122.0ms

Algorithm
egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 4 (22.0ms)

IterNodesCost
059204
1101188
2205148
3559144
42708128
55002128

prune89.0ms

Filtered
44 candidates to 56 candidates (-27.3%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New55156
Fresh101
Picked101
Done011
Total57259

Merged error: 0b

Counts
59 → 2

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
5.1b
(pow x 1/3)

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity
5×pow1 add-exp-log
4×add-cbrt-cube add-log-exp
3×unpow-prod-down pow-unpow pow1/3
1×pow-to-exp pow-pow unpow1/3 pow-exp sqr-pow
Counts
4 → 51
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
2.0ms
(pow x 1/3)

series88.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(cbrt x)
21.0ms
(cbrt x)
22.0ms
(cbrt x)
22.0ms
(pow x 1/3)

simplify48.0ms

Algorithm
egg-herbie
Counts
63 → 63
Iterations

Useful iterations: 2 (11.0ms)

IterNodesCost
0112202
1358174
21387129
35002129

prune106.0ms

Filtered
45 candidates to 63 candidates (-40.0%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New63063
Fresh000
Picked011
Done011
Total63265

Merged error: 0b

Counts
65 → 2

regimes94.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02115
12115

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.0s24200×body80nan
394.0ms8000×body80valid

Profiling

Loading profile data...