Details

Time bar (total: 4.2s)

analyze372.0ms (8.9%)

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)

sample13.0ms (0.3%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
0.0ms5×body128invalid
Compiler

Compiled 15 to 18 computations (-20% saved)

simplify152.0ms (3.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (19.0ms)

IterNodesCost
020910
120910

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

localize10.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite13.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
6×add-exp-log_binary64_12733 pow1_binary64_12756 add-cbrt-cube_binary64_12731
3×prod-exp_binary64_12744 pow-prod-down_binary64_12766 associate-*r*_binary64_12635 cbrt-unprod_binary64_12728
2×*-un-lft-identity_binary64_12695 add-cube-cbrt_binary64_12730 add-sqr-sqrt_binary64_12717
1×associate-*l*_binary64_12636 *-commutative_binary64_12626 add-log-exp_binary64_12734
Counts
1 → 18
Calls

1 calls:

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

series30.0ms (0.7%)

Counts
1 → 3
Calls

1 calls:

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

simplify90.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 0 (77.0ms)

IterNodesCost
05268179

prune322.0ms (7.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New17421
Fresh000
Picked011
Done000
Total17522
Error
0.0b
Counts
22 → 5
Compiler

Compiled 253 to 173 computations (31.6% saved)

localize11.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite10.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
6×add-exp-log_binary64_12733 pow1_binary64_12756 add-cbrt-cube_binary64_12731
3×prod-exp_binary64_12744 associate-*l*_binary64_12636 pow-prod-down_binary64_12766 cbrt-unprod_binary64_12728
2×*-un-lft-identity_binary64_12695 add-cube-cbrt_binary64_12730 add-sqr-sqrt_binary64_12717
1×*-commutative_binary64_12626 associate-*r*_binary64_12635 add-log-exp_binary64_12734
Counts
1 → 18
Calls

1 calls:

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

series28.0ms (0.7%)

Counts
1 → 3
Calls

1 calls:

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

simplify82.0ms (2%)

Algorithm
1×egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
04889177
14889177

prune37.0ms (0.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New19221
Fresh033
Picked011
Done011
Total19726
Error
0.0b
Counts
26 → 7
Compiler

Compiled 272 to 188 computations (30.9% saved)

localize18.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
0.5b
(cbrt.f64 y)
0.5b
(cbrt.f64 y)
0.5b
(cbrt.f64 y)

rewrite33.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
25×cbrt-prod_binary64_12726
23×add-sqr-sqrt_binary64_12717
15×*-un-lft-identity_binary64_12695 add-cube-cbrt_binary64_12730
11×pow1_binary64_12756
9×pow1/3_binary64_12777
6×associate-*l*_binary64_12636 swap-sqr_binary64_12662 add-exp-log_binary64_12733 associate-*r*_binary64_12635
4×unswap-sqr_binary64_12663 add-log-exp_binary64_12734 add-cbrt-cube_binary64_12731
2×pow-prod-up_binary64_12765 pow-sqr_binary64_12668 pow-prod-down_binary64_12766
1×prod-exp_binary64_12744 pow2_binary64_12776 *-commutative_binary64_12626 cbrt-unprod_binary64_12728 pow-plus_binary64_12758
Counts
4 → 73
Calls

4 calls:

18.0ms
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
2.0ms
(cbrt.f64 y)
2.0ms
(cbrt.f64 y)
2.0ms
(cbrt.f64 y)

series510.0ms (12.2%)

Counts
4 → 12
Calls

4 calls:

197.0ms
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
107.0ms
(cbrt.f64 y)
104.0ms
(cbrt.f64 y)
102.0ms
(cbrt.f64 y)

simplify99.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
04892563
14892563

prune117.0ms (2.8%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New83285
Fresh134
Picked011
Done022
Total84892
Error
0.0b
Counts
92 → 8
Compiler

Compiled 1485 to 714 computations (51.9% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.7b
(cbrt.f64 (cbrt.f64 y))
0.7b
(cbrt.f64 (cbrt.f64 y))
0.7b
(cbrt.f64 (cbrt.f64 y))
0.9b
(pow.f64 (cbrt.f64 (cbrt.f64 y)) 4)

rewrite27.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
36×cbrt-prod_binary64_12726
14×*-un-lft-identity_binary64_12695 add-cube-cbrt_binary64_12730 add-sqr-sqrt_binary64_12717
9×unpow-prod-down_binary64_12774
5×add-exp-log_binary64_12733 pow1_binary64_12756
4×add-log-exp_binary64_12734 pow1/3_binary64_12777 add-cbrt-cube_binary64_12731
3×pow-unpow_binary64_12772
2×pow-pow_binary64_12767
1×pow-to-exp_binary64_12764 sqr-pow_binary64_12667 pow-exp_binary64_12763
Counts
4 → 66
Calls

4 calls:

6.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 y)) 4)
3.0ms
(cbrt.f64 (cbrt.f64 y))
3.0ms
(cbrt.f64 (cbrt.f64 y))
3.0ms
(cbrt.f64 (cbrt.f64 y))

series747.0ms (17.8%)

Counts
4 → 12
Calls

4 calls:

254.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 y)) 4)
183.0ms
(cbrt.f64 (cbrt.f64 y))
159.0ms
(cbrt.f64 (cbrt.f64 y))
150.0ms
(cbrt.f64 (cbrt.f64 y))

simplify73.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
04886782
14886782

prune125.0ms (3%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New77178
Fresh044
Picked101
Done033
Total78886
Error
0.0b
Counts
86 → 8
Compiler

Compiled 2023 to 855 computations (57.7% saved)

regimes249.0ms (6%)

Accuracy

Total 0.1b remaining (93.3%)

Threshold costs 0.1b (93.3%)

Compiler

Compiled 1594 to 1275 computations (20% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02010
12010

end0.0ms (0%)

sample999.0ms (23.9%)

Algorithm
1×intervals
Results
300.0ms8000×body128valid
14.0ms272×body128invalid
Compiler

Compiled 242 to 196 computations (19% saved)

Profiling

Loading profile data...