Details

Time bar (total: 1.5s)

analyze1.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
100%0%0%1
Compiler

Compiled 7 to 6 computations (14.3% saved)

sample552.0ms (35.9%)

Results
524.0ms8256×body128valid
Compiler

Compiled 20 to 17 computations (15% saved)

simplify6.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×1-exp_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
074
1104
284

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(+.f64 x 1/3)
Compiler

Compiled 17 to 13 computations (23.5% saved)

localize2.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x 1/3)

series1.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

1.0ms
(+.f64 x 1/3)

rewrite3.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
4×*-un-lft-identity_binary64
3×add-log-exp_binary64
3×fma-def_binary64
2×add-sqr-sqrt_binary64
2×add-cube-cbrt_binary64
Counts
1 → 17
Calls

1 calls:

2.0ms
(+.f64 x 1/3)

simplify78.0ms (5.1%)

Algorithm
1×egg-herbie
Rules
482×fma-def_binary64
459×neg-mul-1_binary64
410×neg-sub0_binary64
374×unswap-sqr_binary64
336×distribute-lft-out_binary64
Counts
29 → 28
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
030148
169139
2120137
3242136
4533136
51263136
61920136
73477136
84449136
94948136

prune12.0ms (0.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New27128
Fresh000
Picked011
Done000
Total27229
Error
0.0b
Counts
29 → 2
Alt Table
StatusErrorProgram
▶13.9b
(*.f64 (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3)))
✓0.0b
(+.f64 x 1/3)
Compiler

Compiled 224 to 168 computations (25% saved)

localize4.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(sqrt.f64 (+.f64 x 1/3))
0.0b
(+.f64 x 1/3)
✓0.1b
(*.f64 (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3)))

series12.0ms (0.8%)

Counts
2 → 16
Calls

2 calls:

10.0ms
(sqrt.f64 (+.f64 x 1/3))
1.0ms
(*.f64 (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3)))

rewrite16.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
30×sqrt-prod_binary64
30×add-sqr-sqrt_binary64
27×*-un-lft-identity_binary64
18×pow1_binary64
14×sqrt-div_binary64
Counts
2 → 85
Calls

2 calls:

8.0ms
(*.f64 (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3)))
3.0ms
(sqrt.f64 (+.f64 x 1/3))

simplify80.0ms (5.2%)

Algorithm
1×egg-herbie
Rules
619×fma-def_binary64
432×times-frac_binary64
366×associate-/l*_binary64
347×distribute-rgt-in_binary64
343×distribute-lft-in_binary64
Counts
101 → 114
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
099996
1189899
2485871
31512839
44947839
55024839

prune183.0ms (11.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New2041205
Fresh000
Picked011
Done011
Total2043207
Error
0b
Counts
207 → 3
Alt Table
StatusErrorProgram
✓13.9b
(*.f64 (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3)))
▶22.7b
(*.f64 (sqrt.f64 (+.f64 x 1/3)) (/.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (sqrt.f64 (fma.f64 x (-.f64 x 1/3) 1/9))))
✓0.0b
(+.f64 x 1/3)
Compiler

Compiled 2988 to 2392 computations (19.9% saved)

localize12.0ms (0.8%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (sqrt.f64 (+.f64 x 1/3)) (/.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (sqrt.f64 (fma.f64 x (-.f64 x 1/3) 1/9))))
✓3.7b
(sqrt.f64 (+.f64 (pow.f64 x 3) 1/27))
✓4.9b
(/.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (sqrt.f64 (fma.f64 x (-.f64 x 1/3) 1/9)))
✓14.0b
(sqrt.f64 (fma.f64 x (-.f64 x 1/3) 1/9))

series27.0ms (1.7%)

Counts
4 → 32
Calls

4 calls:

13.0ms
(/.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (sqrt.f64 (fma.f64 x (-.f64 x 1/3) 1/9)))
8.0ms
(sqrt.f64 (+.f64 (pow.f64 x 3) 1/27))
4.0ms
(*.f64 (sqrt.f64 (+.f64 x 1/3)) (/.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (sqrt.f64 (fma.f64 x (-.f64 x 1/3) 1/9))))
2.0ms
(sqrt.f64 (fma.f64 x (-.f64 x 1/3) 1/9))

rewrite54.0ms (3.5%)

Algorithm
1×rewrite-expression-head
Rules
121×sqrt-prod_binary64
107×add-sqr-sqrt_binary64
95×*-un-lft-identity_binary64
92×times-frac_binary64
65×add-cube-cbrt_binary64
Counts
4 → 195
Calls

4 calls:

19.0ms
(*.f64 (sqrt.f64 (+.f64 x 1/3)) (/.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (sqrt.f64 (fma.f64 x (-.f64 x 1/3) 1/9))))
8.0ms
(/.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (sqrt.f64 (fma.f64 x (-.f64 x 1/3) 1/9)))
6.0ms
(sqrt.f64 (+.f64 (pow.f64 x 3) 1/27))
1.0ms
(sqrt.f64 (fma.f64 x (-.f64 x 1/3) 1/9))

simplify212.0ms (13.8%)

Algorithm
1×egg-herbie
Rules
407×associate-*l*_binary64
385×associate-/l*_binary64
367×associate-*r*_binary64
290×times-frac_binary64
280×associate-*r/_binary64
Counts
227 → 238
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
02436291
15456080
215076049
345736045
447886044
549966044

prune187.0ms (12.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2380238
Fresh000
Picked011
Done022
Total2383241
Error
0b
Counts
241 → 3
Alt Table
StatusErrorProgram
✓13.9b
(*.f64 (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3)))
✓22.7b
(*.f64 (sqrt.f64 (+.f64 x 1/3)) (/.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (sqrt.f64 (fma.f64 x (-.f64 x 1/3) 1/9))))
✓0.0b
(+.f64 x 1/3)
Compiler

Compiled 7243 to 5882 computations (18.8% saved)

regimes46.0ms (3%)

Accuracy

Total 0.0b remaining (44.7%)

Threshold costs 0.0b (44.7%)

Counts
15 → 1
Compiler

Compiled 338 to 281 computations (16.9% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
044
154
254

end47.0ms (3.1%)

Compiler

Compiled 42 to 33 computations (21.4% saved)

Profiling

Loading profile data...