Details

Time bar (total: 5.1s)

analyze177.0ms (3.5%)

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
25%74.9%0.1%5
25%50%25.1%6
25%31.2%43.8%7
25%21.9%53.2%8
25%14%61%9
28.1%10.9%61%10
31.6%7.4%61%11
33.4%5.7%61%12
35.2%3.8%61%13
36.1%2.9%61%14
Compiler

Compiled 20 to 13 computations (35% saved)

sample1.7s (33.3%)

Results
1.6s8256×body128valid
1.0ms5×body128invalid
Compiler

Compiled 59 to 38 computations (35.6% saved)

simplify79.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
770×unswap-sqr_binary64
631×associate-*l*_binary64
623×fma-def_binary64
311×fma-neg_binary64
283×sub-neg_binary64
Counts
1 → 2
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01323
13021
26021
315921
451817
5168717
6359717
7502617

prune7.0ms (0.1%)

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.0b
(+.f64 (pow.f64 (hypot.f64 a b) 4) (fma.f64 b (*.f64 b 4) -1))
0.2b
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b))) 1)
Compiler

Compiled 97 to 64 computations (34% saved)

localize14.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (pow.f64 (hypot.f64 a b) 4) (fma.f64 b (*.f64 b 4) -1))
✓0.0b
(hypot.f64 a b)
✓0.0b
(pow.f64 (hypot.f64 a b) 4)

series143.0ms (2.8%)

Counts
3 → 72
Calls

3 calls:

68.0ms
(+.f64 (pow.f64 (hypot.f64 a b) 4) (fma.f64 b (*.f64 b 4) -1))
57.0ms
(pow.f64 (hypot.f64 a b) 4)
18.0ms
(hypot.f64 a b)

rewrite94.0ms (1.8%)

Algorithm
2×batch-egg-rewrite
Rules
626×prod-diff_binary64
447×log-prod_binary64
243×fma-def_binary64
181×expm1-udef_binary64
181×log1p-udef_binary64
Counts
3 → 99
Calls

3 calls:

90.0ms
(+.f64 (pow.f64 (hypot.f64 a b) 4) (fma.f64 b (*.f64 b 4) -1))
90.0ms
(hypot.f64 a b)
90.0ms
(pow.f64 (hypot.f64 a b) 4)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01028
121228
2241728
3531928
000
100

simplify106.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
777×fma-neg_binary64
562×cancel-sign-sub-inv_binary64
307×fma-def_binary64
297×neg-mul-1_binary64
289×neg-sub0_binary64
Counts
171 → 149
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0691453
12171409
26541303
326461303
442981303
550651303

prune289.0ms (5.6%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1472149
Fresh101
Picked101
Done000
Total1492151
Error
0b
Counts
151 → 2
Alt Table
StatusErrorProgram
▶0.0b
(+.f64 (pow.f64 a 4) (+.f64 -1 (fma.f64 (*.f64 b b) (fma.f64 2 (*.f64 a a) 4) (pow.f64 b 4))))
13.0b
(fma.f64 b (*.f64 b (fma.f64 b b 4)) -1)
Compiler

Compiled 2998 to 1945 computations (35.1% saved)

localize21.0ms (0.4%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓1.1b
(fma.f64 (*.f64 b b) (fma.f64 2 (*.f64 a a) 4) (pow.f64 b 4))

series37.0ms (0.7%)

Counts
1 → 24
Calls

1 calls:

37.0ms
(fma.f64 (*.f64 b b) (fma.f64 2 (*.f64 a a) 4) (pow.f64 b 4))

rewrite56.0ms (1.1%)

Algorithm
2×batch-egg-rewrite
Rules
754×log1p-expm1-u_binary64
754×expm1-log1p-u_binary64
156×log1p-udef_binary64
124×prod-diff_binary64
90×add-sqr-sqrt_binary64
Counts
1 → 24
Calls

1 calls:

55.0ms
(fma.f64 (*.f64 b b) (fma.f64 2 (*.f64 a a) 4) (pow.f64 b 4))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01018
120018
2196218
3500318
000
100

simplify194.0ms (3.8%)

Algorithm
1×egg-herbie
Rules
1064×fma-def_binary64
703×sqr-pow_binary64
486×*-commutative_binary64
351×cube-prod_binary64
323×associate-*l*_binary64
Counts
48 → 33
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
016491
140419
2102383
3299383
4960383
51719383
62066383
72272383
82441383
92609383
102816383
113043383
123295383
133637383
144066383
154573383
164716383
174852383
184813383

prune60.0ms (1.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New33033
Fresh011
Picked011
Done000
Total33235
Error
0b
Counts
35 → 2
Alt Table
StatusErrorProgram
✓0.0b
(+.f64 (pow.f64 a 4) (+.f64 -1 (fma.f64 (*.f64 b b) (fma.f64 2 (*.f64 a a) 4) (pow.f64 b 4))))
▶13.0b
(fma.f64 b (*.f64 b (fma.f64 b b 4)) -1)
Compiler

Compiled 819 to 516 computations (37% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 b (*.f64 b (fma.f64 b b 4)) -1)
✓0.1b
(*.f64 b (fma.f64 b b 4))

series11.0ms (0.2%)

Counts
2 → 24
Calls

2 calls:

6.0ms
(*.f64 b (fma.f64 b b 4))
5.0ms
(fma.f64 b (*.f64 b (fma.f64 b b 4)) -1)

rewrite75.0ms (1.5%)

Algorithm
2×batch-egg-rewrite
Rules
566×log1p-expm1-u_binary64
566×expm1-log1p-u_binary64
337×unpow-prod-down_binary64
280×log-prod_binary64
167×pow2_binary64
Counts
2 → 66
Calls

2 calls:

73.0ms
(fma.f64 b (*.f64 b (fma.f64 b b 4)) -1)
73.0ms
(*.f64 b (fma.f64 b b 4))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0720
113720
2146820
3535320
000
100

simplify83.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
731×fma-neg_binary64
484×distribute-rgt-neg-in_binary64
462×associate-*l*_binary64
445×distribute-lft-neg-in_binary64
350×associate-*r*_binary64
Counts
90 → 78
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
016207
142207
281195
3161195
4394195
51648195
64051195
74983195
84918195

prune171.0ms (3.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New78078
Fresh000
Picked011
Done011
Total78280
Error
0b
Counts
80 → 2
Alt Table
StatusErrorProgram
✓0.0b
(+.f64 (pow.f64 a 4) (+.f64 -1 (fma.f64 (*.f64 b b) (fma.f64 2 (*.f64 a a) 4) (pow.f64 b 4))))
✓13.0b
(fma.f64 b (*.f64 b (fma.f64 b b 4)) -1)
Compiler

Compiled 1133 to 727 computations (35.8% saved)

regimes1.6s (31.8%)

Accuracy

Total 0.0b remaining (39%)

Threshold costs 0.0b (39%)

Counts
126 → 1
Compiler

Compiled 12998 to 9516 computations (26.8% saved)

simplify4.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01427
11627
21627

end158.0ms (3.1%)

Compiler

Compiled 74 to 52 computations (29.7% saved)

Profiling

Loading profile data...