Details

Time bar (total: 4.1s)

analyze840.0ms (20.6%)

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
0%99.9%0.1%6
0%87.4%12.6%7
0%84.3%15.7%8
1.6%80%18.4%9
2.3%78.2%19.4%10
3.5%76%20.5%11
4.1%75.1%20.8%12
4.8%73.9%21.3%13
5.1%73.5%21.4%14
Compiler

Compiled 10 to 6 computations (40% saved)

sample2.4s (59.2%)

Results
1.4s3224×body8192exit
775.0ms8256×body128valid
8.0ms87×body128invalid
Compiler

Compiled 19 to 11 computations (42.1% saved)

simplify195.0ms (4.8%)

Algorithm
1×egg-herbie
Rules
767×unsub-neg_binary64
740×*-commutative_binary64
699×fma-def_binary64
598×fma-neg_binary64
465×distribute-neg-out_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0610
11510
22510
35310
411410
527410
652510
7100310
8177710
9258110
10283010
11313710
12336710
13348110
14348110
15444010
16428010
17460010
18460010
19509910

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.0b
(-.f64 (*.f64 a a) (*.f64 b b))
Compiler

Compiled 27 to 15 computations (44.4% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 a a) (*.f64 b b))

series8.0ms (0.2%)

Counts
1 → 24
Calls

1 calls:

8.0ms
(-.f64 (*.f64 a a) (*.f64 b b))

rewrite4.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64
1×cancel-sign-sub-inv_binary64
1×difference-of-squares_binary64
1×flip--_binary64
1×sub-neg_binary64
Counts
1 → 17
Calls

1 calls:

3.0ms
(-.f64 (*.f64 a a) (*.f64 b b))

simplify64.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
794×distribute-rgt-in_binary64
735×distribute-lft-in_binary64
561×fma-def_binary64
168×fma-neg_binary64
164×unswap-sqr_binary64
Counts
41 → 28
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
042480
1109434
2303428
31055428
44694428
54980428
64883428

prune21.0ms (0.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New27128
Fresh000
Picked101
Done000
Total28129
Error
0.0b
Counts
29 → 1
Alt Table
StatusErrorProgram
▶0.0b
(*.f64 (+.f64 a b) (-.f64 a b))
Compiler

Compiled 344 to 99 computations (71.2% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (+.f64 a b) (-.f64 a b))

series8.0ms (0.2%)

Counts
1 → 24
Calls

1 calls:

7.0ms
(*.f64 (+.f64 a b) (-.f64 a b))

rewrite12.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
21×*-un-lft-identity_binary64
21×add-sqr-sqrt_binary64
18×prod-diff_binary64
17×add-cube-cbrt_binary64
13×distribute-lft-in_binary64
Counts
1 → 57
Calls

1 calls:

8.0ms
(*.f64 (+.f64 a b) (-.f64 a b))

simplify69.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
835×distribute-rgt-in_binary64
791×distribute-lft-in_binary64
673×fma-def_binary64
212×exp-prod_binary64
145×associate-*l*_binary64
Counts
81 → 84
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01341280
12901202
211281112
347961112
449371112

prune32.0ms (0.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New83184
Fresh000
Picked011
Done000
Total83285
Error
0b
Counts
85 → 2
Alt Table
StatusErrorProgram
✓0.0b
(*.f64 (+.f64 a b) (-.f64 a b))
▶0.0b
(+.f64 (*.f64 a (+.f64 a b)) (*.f64 (neg.f64 b) (+.f64 a b)))
Compiler

Compiled 1646 to 390 computations (76.3% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (neg.f64 b) (+.f64 a b))
✓0.0b
(*.f64 a (+.f64 a b))
✓0.0b
(+.f64 (*.f64 a (+.f64 a b)) (*.f64 (neg.f64 b) (+.f64 a b)))

series20.0ms (0.5%)

Counts
3 → 72
Calls

3 calls:

7.0ms
(+.f64 (*.f64 a (+.f64 a b)) (*.f64 (neg.f64 b) (+.f64 a b)))
7.0ms
(*.f64 (neg.f64 b) (+.f64 a b))
5.0ms
(*.f64 a (+.f64 a b))

rewrite21.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
13×associate-*l*_binary64
13×*-un-lft-identity_binary64
13×add-sqr-sqrt_binary64
12×associate-*r/_binary64
9×add-cube-cbrt_binary64
Counts
3 → 82
Calls

3 calls:

7.0ms
(*.f64 (neg.f64 b) (+.f64 a b))
6.0ms
(+.f64 (*.f64 a (+.f64 a b)) (*.f64 (neg.f64 b) (+.f64 a b)))
5.0ms
(*.f64 a (+.f64 a b))

simplify107.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
385×associate-+l+_binary64
303×distribute-rgt-neg-out_binary64
289×distribute-lft-neg-out_binary64
210×associate-*l*_binary64
201×fma-neg_binary64
Counts
154 → 146
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01371723
14431639
218751617
348191617
449911617
549851617

prune60.0ms (1.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1460146
Fresh000
Picked011
Done011
Total1462148
Error
0b
Counts
148 → 2
Alt Table
StatusErrorProgram
✓0.0b
(*.f64 (+.f64 a b) (-.f64 a b))
✓0.0b
(+.f64 (*.f64 a (+.f64 a b)) (*.f64 (neg.f64 b) (+.f64 a b)))
Compiler

Compiled 2677 to 541 computations (79.8% saved)

regimes152.0ms (3.7%)

Accuracy

Total 0.0b remaining (57.1%)

Threshold costs 0.0b (57.1%)

Counts
23 → 1
Compiler

Compiled 1774 to 1075 computations (39.4% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
3×+-commutative_binary64
2×*-commutative_binary64
2×sub-neg_binary64
1×neg-sub0_binary64
1×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0610
11010
21510
31710
41810
51810

end35.0ms (0.8%)

Compiler

Compiled 41 to 22 computations (46.3% saved)

Profiling

Loading profile data...