Details

Time bar (total: 3.0s)

analyze426.0ms (14.2%)

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
49.9%49.9%0.1%5
74.9%25%0.1%6
74.9%25%0.1%7
74.9%25%0.1%8
81.1%18.7%0.1%9
81.1%18.7%0.1%10
81.1%15.6%3.3%11
84.3%10.9%4.8%12
84.3%10.9%4.8%13
84.3%8.6%7.2%14
Compiler

Compiled 13 to 10 computations (23.1% saved)

sample52.0ms (1.7%)

Algorithm
1×intervals
Results
20.0ms256×body128valid
1.0ms17×body128invalid
Compiler

Compiled 28 to 22 computations (21.4% saved)

simplify48.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
209×fma-def_binary64
157×fma-neg_binary64
56×cancel-sign-sub-inv_binary64
42×distribute-rgt-neg-in_binary64
36×associate-/l*_binary64
Counts
1 → 2
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01013
11513
22613
33913
46611
510911
619811
730711
842911
952211
1057811
1159311
1259611
1351311

prune6.0ms (0.2%)

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
(fma.f64 z -1/8 (/.f64 (*.f64 x y) 2))
Compiler

Compiled 42 to 29 computations (31% saved)

localize10.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (*.f64 x y) 2)
✓0.0b
(fma.f64 z -1/8 (/.f64 (*.f64 x y) 2))

series26.0ms (0.9%)

Counts
2 → 60
Calls

2 calls:

16.0ms
(fma.f64 z -1/8 (/.f64 (*.f64 x y) 2))
9.0ms
(/.f64 (*.f64 x y) 2)

rewrite10.0ms (0.3%)

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

2 calls:

6.0ms
(/.f64 (*.f64 x y) 2)
1.0ms
(fma.f64 z -1/8 (/.f64 (*.f64 x y) 2))

simplify124.0ms (4.1%)

Algorithm
1×egg-herbie
Rules
753×distribute-rgt-in_binary64
565×associate-/r/_binary64
449×associate-*l*_binary64
391×associate-/r*_binary64
388×associate-*r/_binary64
Counts
93 → 59
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
074985
1140863
2382863
31101863
43121863
55499863

prune65.0ms (2.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New57259
Fresh000
Picked011
Done000
Total57360
Error
0b
Counts
60 → 3
Alt Table
StatusErrorProgram
0.4b
(fma.f64 z -1/8 (/.f64 (/.f64 (*.f64 x y) (sqrt.f64 2)) (sqrt.f64 2)))
▶0.1b
(fma.f64 z -1/8 (/.f64 x (/.f64 2 y)))
✓0.0b
(fma.f64 z -1/8 (/.f64 (*.f64 x y) 2))
Compiler

Compiled 793 to 495 computations (37.6% saved)

localize16.0ms (0.5%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 z -1/8 (/.f64 x (/.f64 2 y)))
✓0.2b
(/.f64 x (/.f64 2 y))

series28.0ms (0.9%)

Counts
2 → 60
Calls

2 calls:

18.0ms
(fma.f64 z -1/8 (/.f64 x (/.f64 2 y)))
10.0ms
(/.f64 x (/.f64 2 y))

rewrite20.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
75×times-frac_binary64
44×*-un-lft-identity_binary64
44×add-sqr-sqrt_binary64
44×add-cube-cbrt_binary64
13×associate-/r*_binary64
Counts
2 → 82
Calls

2 calls:

8.0ms
(/.f64 x (/.f64 2 y))
1.0ms
(fma.f64 z -1/8 (/.f64 x (/.f64 2 y)))

simplify249.0ms (8.3%)

Algorithm
1×egg-herbie
Rules
622×fma-def_binary64
506×*-commutative_binary64
463×distribute-rgt-in_binary64
331×associate-/r/_binary64
299×associate-/l/_binary64
Counts
142 → 132
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01691984
13361847
29441846
321701846
429281846
548511846
649961846
750001846
849121846

prune93.0ms (3.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1311132
Fresh101
Picked011
Done011
Total1323135
Error
0b
Counts
135 → 3
Alt Table
StatusErrorProgram
✓0.1b
(fma.f64 z -1/8 (/.f64 x (/.f64 2 y)))
▶0.1b
(fma.f64 z -1/8 (/.f64 1 (/.f64 (/.f64 2 y) x)))
✓0.0b
(fma.f64 z -1/8 (/.f64 (*.f64 x y) 2))
Compiler

Compiled 2130 to 1288 computations (39.5% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 z -1/8 (/.f64 1 (/.f64 (/.f64 2 y) x)))
✓0.2b
(/.f64 (/.f64 2 y) x)
✓0.7b
(/.f64 1 (/.f64 (/.f64 2 y) x))

series22.0ms (0.7%)

Counts
3 → 84
Calls

3 calls:

9.0ms
(/.f64 (/.f64 2 y) x)
8.0ms
(fma.f64 z -1/8 (/.f64 1 (/.f64 (/.f64 2 y) x)))
5.0ms
(/.f64 1 (/.f64 (/.f64 2 y) x))

rewrite54.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Rules
468×times-frac_binary64
229×*-un-lft-identity_binary64
229×add-sqr-sqrt_binary64
229×add-cube-cbrt_binary64
46×associate-/r*_binary64
Counts
3 → 284
Calls

3 calls:

9.0ms
(/.f64 1 (/.f64 (/.f64 2 y) x))
4.0ms
(/.f64 (/.f64 2 y) x)
0.0ms
(fma.f64 z -1/8 (/.f64 1 (/.f64 (/.f64 2 y) x)))

simplify303.0ms (10.1%)

Algorithm
1×egg-herbie
Rules
662×associate-/r/_binary64
583×times-frac_binary64
463×associate-/l/_binary64
429×associate-/r*_binary64
383×associate-*l/_binary64
Counts
368 → 421
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02736614
15415802
214535681
337675681
444895681
546285681
648645681

prune316.0ms (10.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New4210421
Fresh000
Picked011
Done022
Total4213424
Error
0b
Counts
424 → 3
Alt Table
StatusErrorProgram
✓0.1b
(fma.f64 z -1/8 (/.f64 x (/.f64 2 y)))
✓0.1b
(fma.f64 z -1/8 (/.f64 1 (/.f64 (/.f64 2 y) x)))
✓0.0b
(fma.f64 z -1/8 (/.f64 (*.f64 x y) 2))
Compiler

Compiled 8697 to 5690 computations (34.6% saved)

regimes190.0ms (6.3%)

Accuracy

Total 0.0b remaining (67.6%)

Threshold costs 0.0b (67.6%)

Counts
8 → 1
Compiler

Compiled 662 to 507 computations (23.4% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01013
11313
22013
32413
42713
52813
62813

end7.0ms (0.2%)

Remove

(sort x y)

Compiler

Compiled 36 to 27 computations (25% saved)

sample928.0ms (30.9%)

Algorithm
1×intervals
Results
436.0ms7999×body128valid
26.0ms514×body128invalid
0.0ms1×body1024valid
Compiler

Compiled 63 to 48 computations (23.8% saved)

Profiling

Loading profile data...