Details

Time bar (total: 3.6s)

analyze269.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

sample23.0ms

Algorithm
intervals
Results
7.0ms256×body80valid
1.0ms22×body80invalid

simplify158.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
01310
11310

prune14.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

localize7.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)

rewrite11.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)

series89.0ms

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

simplify79.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
05951376

prune153.0ms

Filtered
26 candidates to 35 candidates (-34.6%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New30535
Fresh000
Picked011
Done000
Total30636

Merged error: 0.0b

Counts
36 → 6

localize14.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)

series378.0ms

Counts
4 → 12
Calls
4 calls:
102.0ms
(*.f64 (cbrt.f64 z) (cbrt.f64 z))
88.0ms
(cbrt.f64 z)
87.0ms
(cbrt.f64 z)
100.0ms
(cbrt.f64 z)

simplify76.0ms

Algorithm
egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
05309608

prune328.0ms

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

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New83285
Fresh044
Picked101
Done011
Total84791

Merged error: 0.0b

Counts
91 → 7

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite10.0ms

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

series81.0ms

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

simplify82.0ms

Algorithm
egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
04958388
14958388

prune125.0ms

Filtered
22 candidates to 36 candidates (-63.6%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New35136
Fresh145
Picked011
Done011
Total36743

Merged error: 0.0b

Counts
43 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (*.f64 (*.f64 z y) (cbrt.f64 (*.f64 z z))) (cbrt.f64 z))
0.3b
(*.f64 (*.f64 z y) (cbrt.f64 (*.f64 z z)))
0.6b
(cbrt.f64 z)
26.6b
(cbrt.f64 (*.f64 z z))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1_binary64 add-exp-log_binary64
11×add-cbrt-cube_binary64
10×associate-*r*_binary64
9×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
8×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64 cbrt-prod_binary64
4×add-log-exp_binary64
2×pow1/3_binary64 associate-*l*_binary64 *-commutative_binary64
Counts
4 → 63
Calls
4 calls:
9.0ms
(*.f64 (*.f64 (*.f64 z y) (cbrt.f64 (*.f64 z z))) (cbrt.f64 z))
7.0ms
(*.f64 (*.f64 z y) (cbrt.f64 (*.f64 z z)))
1.0ms
(cbrt.f64 z)
9.0ms
(cbrt.f64 (*.f64 z z))

series287.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(*.f64 (*.f64 (*.f64 z y) (cbrt.f64 (*.f64 z z))) (cbrt.f64 z))
88.0ms
(*.f64 (*.f64 z y) (cbrt.f64 (*.f64 z z)))
85.0ms
(cbrt.f64 z)
90.0ms
(cbrt.f64 (*.f64 z z))

simplify98.0ms

Algorithm
egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 0 (82.0ms)

IterNodesCost
05502851

prune237.0ms

Filtered
55 candidates to 75 candidates (-36.4%)
Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New73275
Fresh134
Picked011
Done022
Total74882

Merged error: 0.0b

Counts
82 → 8

regimes503.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01010
11010

end0.0ms

sample478.0ms

Algorithm
intervals
Results
217.0ms8000×body80valid
17.0ms701×body80invalid

Profiling

Loading profile data...