Details

Time bar (total: 2.0s)

analyze259.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
18.7%81.1%0.1%7
21.8%78%0.1%8
32.8%67.1%0.1%9
43.7%43.7%12.6%10
46.8%40.6%12.6%11
52.7%34.7%12.6%12
58.5%22.6%18.9%13
60.5%20.7%18.9%14

sample15.0ms

Algorithm
intervals
Results
6.0ms256×body80valid
0.0ms22×body80invalid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0127
1127

prune6.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 0.1b

Counts
2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(+.f64 x (*.f64 (*.f64 y z) z))
0.2b
(*.f64 (*.f64 y z) z)

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
4×add-log-exp_binary64
3×pow-prod-down_binary64 *-un-lft-identity_binary64 cbrt-unprod_binary64 associate-*r*_binary64 add-cube-cbrt_binary64 prod-exp_binary64 add-sqr-sqrt_binary64
1×flip3-+_binary64 associate-*l*_binary64 +-commutative_binary64 flip-+_binary64 sum-log_binary64 *-commutative_binary64
Counts
2 → 29
Calls
2 calls:
3.0ms
(+.f64 x (*.f64 (*.f64 y z) z))
7.0ms
(*.f64 (*.f64 y z) z)

series38.0ms

Counts
2 → 6
Calls
2 calls:
17.0ms
(+.f64 x (*.f64 (*.f64 y z) z))
21.0ms
(*.f64 (*.f64 y z) z)

simplify77.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
04869256
14869256

prune47.0ms

Filtered
24 candidates to 35 candidates (-45.8%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New29635
Fresh000
Picked011
Done000
Total29736

Merged error: 0.0b

Counts
36 → 7

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 z) (cbrt.f64 z))
0.6b
(cbrt.f64 z)
0.6b
(cbrt.f64 z)
0.6b
(cbrt.f64 z)

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod_binary64
23×add-sqr-sqrt_binary64
15×*-un-lft-identity_binary64 add-cube-cbrt_binary64
11×pow1_binary64
9×pow1/3_binary64
6×swap-sqr_binary64 associate-*r*_binary64 add-exp-log_binary64 associate-*l*_binary64
4×add-log-exp_binary64 add-cbrt-cube_binary64 unswap-sqr_binary64
2×pow-prod-down_binary64 pow-prod-up_binary64 pow-sqr_binary64
1×cbrt-unprod_binary64 pow-plus_binary64 prod-exp_binary64 pow2_binary64 *-commutative_binary64
Counts
4 → 73
Calls
4 calls:
6.0ms
(*.f64 (cbrt.f64 z) (cbrt.f64 z))
1.0ms
(cbrt.f64 z)
1.0ms
(cbrt.f64 z)
1.0ms
(cbrt.f64 z)

series77.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(*.f64 (cbrt.f64 z) (cbrt.f64 z))
20.0ms
(cbrt.f64 z)
17.0ms
(cbrt.f64 z)
19.0ms
(cbrt.f64 z)

simplify45.0ms

Algorithm
egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
04940374
14940374

prune133.0ms

Filtered
65 candidates to 85 candidates (-30.8%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New84185
Fresh055
Picked011
Done011
Total84892

Merged error: 0.0b

Counts
92 → 8

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 z)
0.6b
(cbrt.f64 z)
0.6b
(cbrt.f64 (cbrt.f64 z))
0.6b
(cbrt.f64 (cbrt.f64 z))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
24×cbrt-prod_binary64
10×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×add-log-exp_binary64 pow1_binary64 pow1/3_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
Counts
4 → 50
Calls
4 calls:
1.0ms
(cbrt.f64 z)
2.0ms
(cbrt.f64 z)
3.0ms
(cbrt.f64 (cbrt.f64 z))
3.0ms
(cbrt.f64 (cbrt.f64 z))

series86.0ms

Counts
4 → 12
Calls
4 calls:
17.0ms
(cbrt.f64 z)
17.0ms
(cbrt.f64 z)
27.0ms
(cbrt.f64 (cbrt.f64 z))
25.0ms
(cbrt.f64 (cbrt.f64 z))

simplify47.0ms

Algorithm
egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
05118284

prune125.0ms

Filtered
52 candidates to 62 candidates (-19.2%)
Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New61162
Fresh055
Picked011
Done022
Total61970

Merged error: 0.0b

Counts
70 → 9

localize21.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 (cbrt.f64 z))
0.6b
(cbrt.f64 (cbrt.f64 z))
0.6b
(cbrt.f64 (cbrt.f64 z))
0.6b
(cbrt.f64 (cbrt.f64 z))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
36×cbrt-prod_binary64
12×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×add-log-exp_binary64 pow1_binary64 pow1/3_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
Counts
4 → 56
Calls
4 calls:
3.0ms
(cbrt.f64 (cbrt.f64 z))
3.0ms
(cbrt.f64 (cbrt.f64 z))
2.0ms
(cbrt.f64 (cbrt.f64 z))
2.0ms
(cbrt.f64 (cbrt.f64 z))

series116.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(cbrt.f64 (cbrt.f64 z))
24.0ms
(cbrt.f64 (cbrt.f64 z))
27.0ms
(cbrt.f64 (cbrt.f64 z))
40.0ms
(cbrt.f64 (cbrt.f64 z))

simplify92.0ms

Algorithm
egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 0 (86.0ms)

IterNodesCost
04813376
14813376

prune67.0ms

Filtered
60 candidates to 68 candidates (-13.3%)
Pruning

10 alts after pruning (6 fresh and 4 done)

PrunedKeptTotal
New67168
Fresh055
Picked011
Done033
Total671077

Merged error: 0.0b

Counts
77 → 10

regimes319.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
097
197

end0.0ms

sample362.0ms

Algorithm
intervals
Results
186.0ms8000×body80valid
15.0ms672×body80invalid

Profiling

Loading profile data...