Details

Time bar (total: 3.6s)

analyze208.0ms (5.8%)

Algorithm
1×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
12.5%87.4%0.1%6
18.7%81.1%0.1%7
37.4%62.4%0.1%8
46.8%46.8%6.4%9
54.6%39%6.4%10
62.8%30.8%6.4%11
66.9%23.6%9.5%12
71.7%18.8%9.5%13
75.3%15.2%9.5%14
Compiler

Compiled 8 to 8 computations (0% saved)

sample16.0ms (0.4%)

Algorithm
1×intervals
Results
9.0ms256×body128valid
0.0ms12×body128invalid
Compiler

Compiled 15 to 18 computations (-20% saved)

simplify102.0ms (2.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (11.0ms)

IterNodesCost
020910
120910

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.1b
Counts
2 → 1
Compiler

Compiled 14 to 14 computations (0% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.2b
(*.f64 (*.f64 x 3) y)

rewrite7.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
6×add-exp-log_binary64_18530 pow1_binary64_18553 add-cbrt-cube_binary64_18528
3×prod-exp_binary64_18541 cbrt-unprod_binary64_18525 associate-*r*_binary64_18432 pow-prod-down_binary64_18563
2×add-sqr-sqrt_binary64_18514 add-cube-cbrt_binary64_18527 *-un-lft-identity_binary64_18492
1×associate-*l*_binary64_18433 *-commutative_binary64_18423 add-log-exp_binary64_18531
Counts
1 → 18
Calls

1 calls:

5.0ms
(*.f64 (*.f64 x 3) y)

series56.0ms (1.6%)

Counts
1 → 6
Calls

1 calls:

56.0ms
(*.f64 (*.f64 x 3) y)
Compiler

Compiled 84 to 84 computations (0% saved)

simplify58.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
05268200

prune21.0ms (0.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New19524
Fresh000
Picked011
Done000
Total19625
Error
0.0b
Counts
25 → 6
Compiler

Compiled 292 to 203 computations (30.5% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.5b
(*.f64 x (*.f64 3 y))

rewrite6.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
6×add-exp-log_binary64_18530 pow1_binary64_18553 add-cbrt-cube_binary64_18528
3×associate-*l*_binary64_18433 prod-exp_binary64_18541 cbrt-unprod_binary64_18525 pow-prod-down_binary64_18563
2×add-sqr-sqrt_binary64_18514 add-cube-cbrt_binary64_18527 *-un-lft-identity_binary64_18492
1×*-commutative_binary64_18423 add-log-exp_binary64_18531 associate-*r*_binary64_18432
Counts
1 → 18
Calls

1 calls:

5.0ms
(*.f64 x (*.f64 3 y))

series55.0ms (1.5%)

Counts
1 → 6
Calls

1 calls:

55.0ms
(*.f64 x (*.f64 3 y))
Compiler

Compiled 84 to 84 computations (0% saved)

simplify61.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
04889198
14889198

prune17.0ms (0.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New24024
Fresh044
Picked011
Done011
Total24630
Error
0.0b
Counts
30 → 6
Compiler

Compiled 287 to 198 computations (31% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.4b
(*.f64 (cbrt.f64 (*.f64 (*.f64 x 3) y)) (cbrt.f64 (*.f64 (*.f64 x 3) y)))
6.6b
(cbrt.f64 (*.f64 (*.f64 x 3) y))
6.6b
(cbrt.f64 (*.f64 (*.f64 x 3) y))
6.6b
(cbrt.f64 (*.f64 (*.f64 x 3) y))

rewrite25.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
11×pow1_binary64_18553
10×add-sqr-sqrt_binary64_18514
9×pow1/3_binary64_18574
8×add-cube-cbrt_binary64_18527 *-un-lft-identity_binary64_18492
7×cbrt-prod_binary64_18523
6×add-exp-log_binary64_18530
4×add-cbrt-cube_binary64_18528 associate-*l*_binary64_18433 add-log-exp_binary64_18531 associate-*r*_binary64_18432 swap-sqr_binary64_18459
2×pow-prod-up_binary64_18562 pow-sqr_binary64_18465 pow-prod-down_binary64_18563
1×pow2_binary64_18573 unswap-sqr_binary64_18460 pow-plus_binary64_18555 *-commutative_binary64_18423 prod-exp_binary64_18541 cbrt-unprod_binary64_18525
Counts
4 → 58
Calls

4 calls:

6.0ms
(*.f64 (cbrt.f64 (*.f64 (*.f64 x 3) y)) (cbrt.f64 (*.f64 (*.f64 x 3) y)))
4.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))
4.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))
4.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))

series961.0ms (26.7%)

Counts
4 → 24
Calls

4 calls:

307.0ms
(*.f64 (cbrt.f64 (*.f64 (*.f64 x 3) y)) (cbrt.f64 (*.f64 (*.f64 x 3) y)))
227.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))
222.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))
205.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))
Compiler

Compiled 1348 to 1180 computations (12.5% saved)

simplify113.0ms (3.1%)

Algorithm
1×egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 0 (98.0ms)

IterNodesCost
04916913
14916913

prune103.0ms (2.9%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New80282
Fresh033
Picked011
Done022
Total80888
Error
0b
Counts
88 → 8
Compiler

Compiled 1976 to 1373 computations (30.5% saved)

localize14.0ms (0.4%)

Local error

Found 4 expressions with local error:

6.6b
(cbrt.f64 (*.f64 (*.f64 x 3) y))
6.6b
(cbrt.f64 (*.f64 (*.f64 x 3) y))
6.6b
(cbrt.f64 (*.f64 (*.f64 x 3) y))
6.6b
(cbrt.f64 (*.f64 (*.f64 x 3) y))

rewrite18.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
4×add-sqr-sqrt_binary64_18514 add-exp-log_binary64_18530 pow1_binary64_18553 add-cbrt-cube_binary64_18528 pow1/3_binary64_18574 cbrt-prod_binary64_18523 add-cube-cbrt_binary64_18527 *-un-lft-identity_binary64_18492 add-log-exp_binary64_18531
Counts
4 → 36
Calls

4 calls:

4.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))
4.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))
4.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))
4.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))

series889.0ms (24.7%)

Counts
4 → 24
Calls

4 calls:

229.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))
227.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))
225.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))
207.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))
Compiler

Compiled 1888 to 1600 computations (15.3% saved)

simplify68.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
05005660

prune98.0ms (2.7%)

Pruning

8 alts after pruning (4 fresh and 4 done)

PrunedKeptTotal
New60060
Fresh044
Picked011
Done033
Total60868
Error
0b
Counts
68 → 8
Compiler

Compiled 2156 to 1540 computations (28.6% saved)

regimes117.0ms (3.3%)

Accuracy

Total 0.1b remaining (89.6%)

Threshold costs 0.1b (89.6%)

Compiler

Compiled 954 to 840 computations (11.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02010
12010

end0.0ms (0%)

sample569.0ms (15.8%)

Algorithm
1×intervals
Results
191.0ms8000×body128valid
7.0ms300×body128invalid
Compiler

Compiled 175 to 156 computations (10.9% saved)

Profiling

Loading profile data...