Details

Time bar (total: 1.7s)

analyze134.0ms (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
50%50%0.1%5
50%50%0.1%6
71.8%28.1%0.1%7
73.4%25%1.7%8
80.4%16.4%3.2%9
80.8%14%5.2%10
84.1%8.8%7.1%11
84.2%7.4%8.4%12
85.8%4.5%9.7%13
85.8%3.8%10.4%14
Compiler

Compiled 10 to 6 computations (40% saved)

sample16.0ms (0.9%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
0.0ms8×body128invalid
Compiler

Compiled 21 to 13 computations (38.1% saved)

simplify9.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
2×associate-/r*_binary64
1×+-commutative_binary64
1×*-commutative_binary64
1×count-2_binary64
Counts
1 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0610
1910
21210
31410
41410

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
0.0b
Counts
1 → 1
Alt Table
StatusErrorProgram
▶0.0b
(/.f64 (+.f64 x y) (+.f64 y y))
Compiler

Compiled 18 to 10 computations (44.4% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b
(/.f64 (+.f64 x y) (+.f64 y y))

rewrite29.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
75×*-un-lft-identity_binary64
48×times-frac_binary64
39×add-sqr-sqrt_binary64
39×add-cube-cbrt_binary64
28×distribute-lft-out_binary64
Counts
1 → 80
Calls

1 calls:

7.0ms
(/.f64 (+.f64 x y) (+.f64 y y))
Compiler

Compiled 884 to 216 computations (75.6% saved)

series20.0ms (1.2%)

Error
0.0b
Counts
1 → 12
Calls

1 calls:

17.0ms
(/.f64 (+.f64 x y) (+.f64 y y))
Compiler

Compiled 160 to 122 computations (23.8% saved)

simplify119.0ms (7.1%)

Algorithm
1×egg-herbie
Rules
687×times-frac_binary64
475×associate-/l/_binary64
467×associate-/l*_binary64
415×associate-/r*_binary64
318×associate-*l*_binary64
Counts
92 → 59
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01101519
12291472
25531472
313321471
439781471
545491471
650381471

prune17.0ms (1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New57259
Fresh000
Picked101
Done000
Total58260
Error
0b
Counts
60 → 2
Alt Table
StatusErrorProgram
15.2b
(cbrt.f64 (/.f64 (pow.f64 (/.f64 (+.f64 x y) y) 3) 8))
▶0.0b
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
Compiler

Compiled 490 to 182 computations (62.9% saved)

localize4.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 1/2 (/.f64 x y))
0.0b
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))

rewrite30.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
15×add-sqr-sqrt_binary64
13×associate-*r*_binary64
10×times-frac_binary64
10×*-un-lft-identity_binary64
10×add-cube-cbrt_binary64
Counts
2 → 43
Calls

2 calls:

6.0ms
(*.f64 1/2 (/.f64 x y))
2.0ms
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
Compiler

Compiled 599 to 361 computations (39.7% saved)

series26.0ms (1.6%)

Error
0b
Counts
2 → 18
Calls

2 calls:

15.0ms
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
10.0ms
(*.f64 1/2 (/.f64 x y))
Compiler

Compiled 268 to 206 computations (23.1% saved)

simplify102.0ms (6.1%)

Algorithm
1×egg-herbie
Rules
541×associate-/l*_binary64
477×associate-*l/_binary64
467×distribute-rgt-in_binary64
396×associate-*r/_binary64
366×distribute-rgt-out_binary64
Counts
61 → 22
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
090646
1215622
2553621
31343619
43392619
54640619
64936619
74897619

prune9.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New22022
Fresh011
Picked011
Done000
Total22224
Error
0b
Counts
24 → 2
Alt Table
StatusErrorProgram
▶15.2b
(cbrt.f64 (/.f64 (pow.f64 (/.f64 (+.f64 x y) y) 3) 8))
✓0.0b
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
Compiler

Compiled 204 to 136 computations (33.3% saved)

localize7.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b
(/.f64 (+.f64 x y) y)
0.1b
(pow.f64 (/.f64 (+.f64 x y) y) 3)
14.2b
(cbrt.f64 (/.f64 (pow.f64 (/.f64 (+.f64 x y) y) 3) 8))

rewrite97.0ms (5.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
222×times-frac_binary64
175×*-un-lft-identity_binary64
119×add-sqr-sqrt_binary64
119×add-cube-cbrt_binary64
118×cbrt-prod_binary64
Counts
3 → 212
Calls

3 calls:

11.0ms
(cbrt.f64 (/.f64 (pow.f64 (/.f64 (+.f64 x y) y) 3) 8))
5.0ms
(pow.f64 (/.f64 (+.f64 x y) y) 3)
4.0ms
(/.f64 (+.f64 x y) y)
Compiler

Compiled 2817 to 1443 computations (48.8% saved)

series77.0ms (4.6%)

Error
0b
Counts
3 → 48
Calls

3 calls:

29.0ms
(cbrt.f64 (/.f64 (pow.f64 (/.f64 (+.f64 x y) y) 3) 8))
25.0ms
(pow.f64 (/.f64 (+.f64 x y) y) 3)
16.0ms
(/.f64 (+.f64 x y) y)
Compiler

Compiled 1047 to 843 computations (19.5% saved)

simplify263.0ms (15.7%)

Algorithm
1×egg-herbie
Rules
473×log-prod_binary64
407×unswap-sqr_binary64
329×associate-/l*_binary64
255×sqr-pow_binary64
231×*-commutative_binary64
Counts
260 → 201
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
03416419
16055731
221425567
334805515
447475515
550375515

prune87.0ms (5.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New2010201
Fresh000
Picked011
Done011
Total2012203
Error
0b
Counts
203 → 2
Alt Table
StatusErrorProgram
15.2b
(cbrt.f64 (/.f64 (pow.f64 (/.f64 (+.f64 x y) y) 3) 8))
0.0b
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
Compiler

Compiled 1357 to 783 computations (42.3% saved)

regimes55.0ms (3.3%)

Accuracy

Total 0.0b remaining (16.8%)

Threshold costs 0.0b (16.8%)

Compiler

Compiled 729 to 428 computations (41.3% saved)

simplify4.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
1910
2910

end0.0ms (0%)

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample560.0ms (33.5%)

Algorithm
1×intervals
Results
286.0ms8000×body128valid
6.0ms238×body128invalid
Compiler

Compiled 42 to 31 computations (26.2% saved)

Profiling

Loading profile data...