Details

Time bar (total: 1.3s)

analyze5.0ms (0.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
50%25%25%4
62.5%12.5%25%5
68.7%6.2%25%6
71.8%3.1%25%7
73.4%1.6%25%8
74.2%0.8%25%9
74.6%0.4%25%10
74.8%0.2%25%11
74.9%0.1%25%12
74.9%0%25.1%13
74.9%0%25.1%14
Compiler

Compiled 15 to 12 computations (20% saved)

sample119.0ms (9.2%)

Algorithm
1×intervals
Results
41.0ms256×body128valid
Compiler

Compiled 30 to 24 computations (20% saved)

simplify70.0ms (5.4%)

Algorithm
1×egg-herbie
Rules
972×fma-def_binary64
722×fma-neg_binary64
154×cancel-sign-sub-inv_binary64
107×distribute-rgt-in_binary64
83×associate-*r*_binary64
Counts
1 → 2
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01119
13214
26912
316012
42989
54189
66669
79609
812629
914739
1015319
1115309
1215369
1315369
1414019

prune4.0ms (0.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.0b
Counts
3 → 2
Alt Table
StatusErrorProgram
0.2b
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
▶0.1b
(fma.f64 x (fma.f64 x 9 -12) 3)
Compiler

Compiled 65 to 50 computations (23.1% saved)

localize5.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 x 9 -12)
✓0.1b
(fma.f64 x (fma.f64 x 9 -12) 3)

series4.0ms (0.3%)

Counts
2 → 24
Calls

2 calls:

3.0ms
(fma.f64 x (fma.f64 x 9 -12) 3)
2.0ms
(fma.f64 x 9 -12)

rewrite1.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
2×*-un-lft-identity_binary64
2×add-sqr-sqrt_binary64
2×add-cube-cbrt_binary64
2×add-cbrt-cube_binary64
2×add-exp-log_binary64
Counts
2 → 20
Calls

2 calls:

0.0ms
(fma.f64 x (fma.f64 x 9 -12) 3)
0.0ms
(fma.f64 x 9 -12)

simplify64.0ms (5%)

Algorithm
1×egg-herbie
Rules
785×associate-+l+_binary64
415×fma-neg_binary64
321×distribute-lft-in_binary64
321×distribute-rgt-in_binary64
225×distribute-rgt-out_binary64
Counts
44 → 37
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
038431
163344
2120342
3378342
41764342
54979342
65271342

prune30.0ms (2.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New36137
Fresh011
Picked011
Done000
Total36339
Error
0b
Counts
39 → 3
Alt Table
StatusErrorProgram
0.2b
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
▶0.1b
(-.f64 (+.f64 3 (*.f64 9 (pow.f64 x 2))) (*.f64 12 x))
✓0.1b
(fma.f64 x (fma.f64 x 9 -12) 3)
Compiler

Compiled 419 to 322 computations (23.2% saved)

localize7.0ms (0.5%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (+.f64 3 (*.f64 9 (pow.f64 x 2))) (*.f64 12 x))
✓0.2b
(*.f64 9 (pow.f64 x 2))

series6.0ms (0.4%)

Counts
2 → 6
Calls

2 calls:

3.0ms
(*.f64 9 (pow.f64 x 2))
3.0ms
(-.f64 (+.f64 3 (*.f64 9 (pow.f64 x 2))) (*.f64 12 x))

rewrite12.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
13×add-sqr-sqrt_binary64
8×associate-*r*_binary64
7×*-un-lft-identity_binary64
7×add-cube-cbrt_binary64
7×add-log-exp_binary64
Counts
2 → 51
Calls

2 calls:

6.0ms
(-.f64 (+.f64 3 (*.f64 9 (pow.f64 x 2))) (*.f64 12 x))
4.0ms
(*.f64 9 (pow.f64 x 2))

simplify74.0ms (5.7%)

Algorithm
1×egg-herbie
Rules
469×associate-*l*_binary64
410×associate-*r*_binary64
379×fma-neg_binary64
297×cancel-sign-sub-inv_binary64
252×fma-def_binary64
Counts
57 → 88
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0101880
1216651
2609587
32814561
44082561
54830561

prune62.0ms (4.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New88088
Fresh011
Picked011
Done011
Total88391
Error
0b
Counts
91 → 3
Alt Table
StatusErrorProgram
▶0.2b
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
✓0.1b
(-.f64 (+.f64 3 (*.f64 9 (pow.f64 x 2))) (*.f64 12 x))
✓0.1b
(fma.f64 x (fma.f64 x 9 -12) 3)
Compiler

Compiled 1528 to 1223 computations (20% saved)

localize8.0ms (0.6%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
✓0.2b
(*.f64 (*.f64 x 3) x)

series6.0ms (0.4%)

Counts
2 → 24
Calls

2 calls:

3.0ms
(*.f64 (*.f64 x 3) x)
3.0ms
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))

rewrite15.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
9×add-cbrt-cube_binary64
9×add-exp-log_binary64
9×pow1_binary64
7×associate-*r*_binary64
7×*-un-lft-identity_binary64
Counts
2 → 45
Calls

2 calls:

8.0ms
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
5.0ms
(*.f64 (*.f64 x 3) x)

simplify65.0ms (5%)

Algorithm
1×egg-herbie
Rules
917×fma-def_binary64
347×*-commutative_binary64
318×fma-neg_binary64
268×cancel-sign-sub-inv_binary64
261×distribute-rgt-in_binary64
Counts
69 → 80
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0901046
1227806
2667701
31758699
43231699
55021699

prune58.0ms (4.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New80080
Fresh000
Picked011
Done022
Total80383
Error
0b
Counts
83 → 3
Alt Table
StatusErrorProgram
✓0.2b
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
✓0.1b
(-.f64 (+.f64 3 (*.f64 9 (pow.f64 x 2))) (*.f64 12 x))
✓0.1b
(fma.f64 x (fma.f64 x 9 -12) 3)
Compiler

Compiled 1511 to 1163 computations (23% saved)

regimes78.0ms (6%)

Accuracy

Total 0.1b remaining (79.7%)

Threshold costs 0.1b (79.7%)

Counts
17 → 1
Compiler

Compiled 764 to 597 computations (21.9% saved)

simplify3.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
179

end0.0ms (0%)

Compiler

Compiled 8 to 6 computations (25% saved)

sample603.0ms (46.5%)

Algorithm
1×intervals
Results
386.0ms8000×body128valid
0.0ms5×body128invalid
Compiler

Compiled 58 to 46 computations (20.7% saved)

Profiling

Loading profile data...