Details

Time bar (total: 2.5s)

analyze375.0ms (14.9%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
50%50%0.1%3
50%50%0.1%4
50%50%0.1%5
62.4%37.5%0.1%6
74.9%25%0.1%7
81.2%18.7%0.1%8
87.4%12.5%0.1%9
90.5%9.4%0.1%10
93.7%6.2%0.1%11
95.2%4.7%0.1%12
96.8%3.1%0.1%13
97.6%2.3%0.1%14
Compiler

Compiled 14 to 10 computations (28.6% saved)

sample20.0ms (0.8%)

Algorithm
1×intervals
Results
10.0ms256×body128valid
Compiler

Compiled 29 to 21 computations (27.6% saved)

simplify214.0ms (8.5%)

Algorithm
1×egg-herbie
Rules
2174×fma-neg_binary64
1504×div-sub_binary64
895×associate-/l/_binary64
827×fma-def_binary64
818×associate-/l*_binary64
Counts
1 → 2
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01016
11816
22814
34114
45714
59114
613414
719314
835614
952114
1082514
11147514
12200214
13187714
14193114
15196114
16196714
17196714
18259014
19236614
20236614
21325414
22405214
23402414
24450414
25447014
26470614
27491314

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

Compiled 47 to 31 computations (34% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓8.3b
(/.f64 y (fma.f64 x (/.f64 y 2) 1))

series15.0ms (0.6%)

Counts
1 → 24
Calls

1 calls:

15.0ms
(/.f64 y (fma.f64 x (/.f64 y 2) 1))

rewrite4.0ms (0.1%)

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

1 calls:

2.0ms
(/.f64 y (fma.f64 x (/.f64 y 2) 1))

simplify67.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
719×fma-def_binary64
594×cancel-sign-sub-inv_binary64
507×fma-neg_binary64
429×unswap-sqr_binary64
267×distribute-rgt-neg-in_binary64
Counts
53 → 46
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0961138
12221084
26331076
321411060
449431060
549351060

prune40.0ms (1.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New43346
Fresh000
Picked011
Done000
Total43447
Error
0b
Counts
47 → 4
Alt Table
StatusErrorProgram
▶0.1b
(-.f64 x (/.f64 1 (/.f64 (fma.f64 x (/.f64 y 2) 1) y)))
14.4b
(-.f64 x (*.f64 (/.f64 1 (sqrt.f64 (fma.f64 x (/.f64 y 2) 1))) (/.f64 y (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))))
23.5b
(-.f64 x (/.f64 2 x))
✓0.0b
(-.f64 x (/.f64 y (fma.f64 x (/.f64 y 2) 1)))
Compiler

Compiled 969 to 632 computations (34.8% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(/.f64 1 (/.f64 (fma.f64 x (/.f64 y 2) 1) y))
✓8.3b
(/.f64 (fma.f64 x (/.f64 y 2) 1) y)

series21.0ms (0.8%)

Counts
2 → 48
Calls

2 calls:

11.0ms
(/.f64 1 (/.f64 (fma.f64 x (/.f64 y 2) 1) y))
10.0ms
(/.f64 (fma.f64 x (/.f64 y 2) 1) y)

rewrite16.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
84×times-frac_binary64
52×*-un-lft-identity_binary64
52×add-sqr-sqrt_binary64
52×add-cube-cbrt_binary64
16×associate-/r*_binary64
Counts
2 → 107
Calls

2 calls:

4.0ms
(/.f64 1 (/.f64 (fma.f64 x (/.f64 y 2) 1) y))
2.0ms
(/.f64 (fma.f64 x (/.f64 y 2) 1) y)

simplify124.0ms (4.9%)

Algorithm
1×egg-herbie
Rules
620×cancel-sign-sub-inv_binary64
500×fma-neg_binary64
438×unswap-sqr_binary64
320×associate-*r*_binary64
314×associate-*l*_binary64
Counts
155 → 180
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01433204
13022905
28772870
328962862
448352862
549512862

prune135.0ms (5.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1791180
Fresh112
Picked101
Done011
Total1813184
Error
0b
Counts
184 → 3
Alt Table
StatusErrorProgram
14.4b
(-.f64 x (*.f64 (/.f64 1 (sqrt.f64 (fma.f64 x (/.f64 y 2) 1))) (/.f64 y (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))))
▶0.1b
(-.f64 x (/.f64 1 (fma.f64 1/2 x (/.f64 1 y))))
✓0.0b
(-.f64 x (/.f64 y (fma.f64 x (/.f64 y 2) 1)))
Compiler

Compiled 4057 to 2770 computations (31.7% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 1/2 x (/.f64 1 y))
✓0.1b
(/.f64 1 (fma.f64 1/2 x (/.f64 1 y)))

series19.0ms (0.8%)

Counts
2 → 48
Calls

2 calls:

14.0ms
(/.f64 1 (fma.f64 1/2 x (/.f64 1 y)))
5.0ms
(fma.f64 1/2 x (/.f64 1 y))

rewrite4.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
10×*-un-lft-identity_binary64
10×add-sqr-sqrt_binary64
10×add-cube-cbrt_binary64
9×times-frac_binary64
6×add-exp-log_binary64
Counts
2 → 43
Calls

2 calls:

2.0ms
(/.f64 1 (fma.f64 1/2 x (/.f64 1 y)))
0.0ms
(fma.f64 1/2 x (/.f64 1 y))

simplify79.0ms (3.1%)

Algorithm
1×egg-herbie
Rules
773×times-frac_binary64
685×fma-def_binary64
669×fma-neg_binary64
579×cancel-sign-sub-inv_binary64
416×unswap-sqr_binary64
Counts
91 → 65
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0851396
11921325
25321317
318101299
447391299
559171299

prune48.0ms (1.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New65065
Fresh011
Picked011
Done011
Total65368
Error
0b
Counts
68 → 3
Alt Table
StatusErrorProgram
▶14.4b
(-.f64 x (*.f64 (/.f64 1 (sqrt.f64 (fma.f64 x (/.f64 y 2) 1))) (/.f64 y (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))))
✓0.1b
(-.f64 x (/.f64 1 (fma.f64 1/2 x (/.f64 1 y))))
✓0.0b
(-.f64 x (/.f64 y (fma.f64 x (/.f64 y 2) 1)))
Compiler

Compiled 1177 to 866 computations (26.4% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (/.f64 1 (sqrt.f64 (fma.f64 x (/.f64 y 2) 1))) (/.f64 y (sqrt.f64 (fma.f64 x (/.f64 y 2) 1))))
✓0.1b
(/.f64 y (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))
✓0.1b
(/.f64 1 (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))
✓4.1b
(sqrt.f64 (fma.f64 x (/.f64 y 2) 1))

series130.0ms (5.2%)

Counts
4 → 48
Calls

4 calls:

52.0ms
(/.f64 y (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))
39.0ms
(/.f64 1 (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))
27.0ms
(sqrt.f64 (fma.f64 x (/.f64 y 2) 1))
11.0ms
(*.f64 (/.f64 1 (sqrt.f64 (fma.f64 x (/.f64 y 2) 1))) (/.f64 y (sqrt.f64 (fma.f64 x (/.f64 y 2) 1))))

rewrite40.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Rules
108×add-sqr-sqrt_binary64
94×times-frac_binary64
67×*-un-lft-identity_binary64
61×add-cube-cbrt_binary64
56×sqrt-prod_binary64
Counts
4 → 188
Calls

4 calls:

13.0ms
(*.f64 (/.f64 1 (sqrt.f64 (fma.f64 x (/.f64 y 2) 1))) (/.f64 y (sqrt.f64 (fma.f64 x (/.f64 y 2) 1))))
4.0ms
(/.f64 y (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))
3.0ms
(/.f64 1 (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))
1.0ms
(sqrt.f64 (fma.f64 x (/.f64 y 2) 1))

simplify152.0ms (6.1%)

Algorithm
1×egg-herbie
Rules
495×fma-def_binary64
443×associate-/l*_binary64
359×times-frac_binary64
328×associate-*l/_binary64
316×associate-/r*_binary64
Counts
236 → 295
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02125868
15374990
217334958
342474928
451274928

prune289.0ms (11.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New3250325
Fresh000
Picked011
Done022
Total3253328
Error
0b
Counts
328 → 3
Alt Table
StatusErrorProgram
✓14.4b
(-.f64 x (*.f64 (/.f64 1 (sqrt.f64 (fma.f64 x (/.f64 y 2) 1))) (/.f64 y (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))))
✓0.1b
(-.f64 x (/.f64 1 (fma.f64 1/2 x (/.f64 1 y))))
✓0.0b
(-.f64 x (/.f64 y (fma.f64 x (/.f64 y 2) 1)))
Compiler

Compiled 9829 to 7123 computations (27.5% saved)

regimes58.0ms (2.3%)

Accuracy

Total 0.0b remaining (89%)

Threshold costs 0.0b (89%)

Counts
18 → 1
Compiler

Compiled 914 to 644 computations (29.5% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
4×+-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
01016
11616
22216
32616
42916
53016
62916

end0.0ms (0%)

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample630.0ms (25.1%)

Algorithm
1×intervals
Results
324.0ms7999×body128valid
0.0ms1×body1024valid
Compiler

Compiled 76 to 55 computations (27.6% saved)

Profiling

Loading profile data...