Details

Time bar (total: 2.0s)

analyze143.0ms (7.3%)

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%74.9%0.1%6
56.2%43.7%0.1%7
56.2%43.7%0.1%8
76.5%23.4%0.1%9
76.5%23.4%0.1%10
87.8%12.1%0.1%11
87.8%12.1%0.1%12
93.8%6.1%0.1%13
93.8%6.1%0.1%14
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample858.0ms (43.6%)

Results
847.0ms8256×body128valid
0.0ms1×body128invalid
Compiler

Compiled 24 to 16 computations (33.3% saved)

preprocess40.0ms (2%)

Algorithm
2×egg-herbie
Rules
403×associate-*l/_binary64
286×fma-def_binary64
238×unsub-neg_binary64
226×associate-*r/_binary64
224×associate-*l*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01226
13526
28920
320120
440220
5108620
6464920
022
Stop Event
1×saturated
1×node limit
Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify32.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
921×fma-neg_binary64
613×times-frac_binary64
288×associate-/l*_binary64
236×associate-/r/_binary64
226×associate-/r*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0813
11913
25310
312310
425310
555110
6109010
7399910
Stop Event
1×node limit
Counts
1 → 2

prune4.0ms (0.2%)

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 (/.f64 -1/2 x) (/.f64 -1/2 y))
13.8b
(/.f64 (-.f64 x y) (*.f64 (*.f64 x 2) y))
Compiler

Compiled 58 to 40 computations (31% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series6.0ms (0.3%)

Counts
1 → 24
Calls

6 calls:

1.0ms
(-.f64 (/.f64 -1/2 x) (/.f64 -1/2 y))
x
0
1.0ms
(-.f64 (/.f64 -1/2 x) (/.f64 -1/2 y))
y
0
1.0ms
(-.f64 (/.f64 -1/2 x) (/.f64 -1/2 y))
y
inf
1.0ms
(-.f64 (/.f64 -1/2 x) (/.f64 -1/2 y))
y
-inf
1.0ms
(-.f64 (/.f64 -1/2 x) (/.f64 -1/2 y))
x
-inf

rewrite56.0ms (2.8%)

Algorithm
1×batch-egg-rewrite
Rules
709×prod-diff_binary64
269×fma-def_binary64
160×expm1-udef_binary64
160×log1p-udef_binary64
148×fma-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
116810
2249310
Stop Event
1×node limit
Counts
1 → 136

simplify27.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
141×fma-def_binary64
102×fma-neg_binary64
48×cancel-sign-sub-inv_binary64
25×sub-neg_binary64
21×distribute-rgt-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
013204
127204
243204
362204
491204
5140204
6229204
7322204
8402204
9514204
10568204
11574204
Stop Event
1×saturated
Counts
160 → 140

prune102.0ms (5.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1382140
Fresh101
Picked011
Done000
Total1393142
Error
0b
Counts
142 → 3
Alt Table
StatusErrorProgram
▶10.1b
(/.f64 (/.f64 (-.f64 (*.f64 -1/2 y) (*.f64 -1/2 x)) x) y)
✓0.0b
(-.f64 (/.f64 -1/2 x) (/.f64 -1/2 y))
31.2b
(*.f64 (-.f64 (/.f64 1/4 (*.f64 x x)) (/.f64 1/4 (*.f64 y y))) (/.f64 1 (+.f64 (/.f64 -1/2 x) (/.f64 -1/2 y))))
Compiler

Compiled 2601 to 1911 computations (26.5% saved)

localize10.0ms (0.5%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (-.f64 (*.f64 -1/2 y) (*.f64 -1/2 x)) x)
✓9.4b
(/.f64 (/.f64 (-.f64 (*.f64 -1/2 y) (*.f64 -1/2 x)) x) y)

series17.0ms (0.8%)

Counts
2 → 48
Calls

12 calls:

3.0ms
(/.f64 (-.f64 (*.f64 -1/2 y) (*.f64 -1/2 x)) x)
x
-inf
1.0ms
(/.f64 (/.f64 (-.f64 (*.f64 -1/2 y) (*.f64 -1/2 x)) x) y)
y
-inf
1.0ms
(/.f64 (/.f64 (-.f64 (*.f64 -1/2 y) (*.f64 -1/2 x)) x) y)
x
inf
1.0ms
(/.f64 (/.f64 (-.f64 (*.f64 -1/2 y) (*.f64 -1/2 x)) x) y)
y
0
1.0ms
(/.f64 (/.f64 (-.f64 (*.f64 -1/2 y) (*.f64 -1/2 x)) x) y)
x
-inf

rewrite61.0ms (3.1%)

Algorithm
1×batch-egg-rewrite
Rules
463×fma-def_binary64
239×fma-neg_binary64
202×expm1-udef_binary64
202×log1p-udef_binary64
112×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0923
122123
2345423
Stop Event
1×node limit
Counts
2 → 100

simplify56.0ms (2.9%)

Algorithm
1×egg-herbie
Rules
1298×fma-neg_binary64
572×fma-def_binary64
507×div-sub_binary64
212×times-frac_binary64
198×associate-/l*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
017408
140408
272372
3117372
4189372
5336372
6568372
7823372
81068372
91415372
101659372
112299372
123876372
Stop Event
1×node limit
Counts
148 → 109

prune64.0ms (3.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1081109
Fresh101
Picked011
Done011
Total1093112
Error
0b
Counts
112 → 3
Alt Table
StatusErrorProgram
✓10.1b
(/.f64 (/.f64 (-.f64 (*.f64 -1/2 y) (*.f64 -1/2 x)) x) y)
✓0.0b
(-.f64 (/.f64 -1/2 x) (/.f64 -1/2 y))
▶33.6b
(/.f64 (fma.f64 (/.f64 -1/2 (sqrt.f64 x)) (/.f64 y (sqrt.f64 x)) (neg.f64 (*.f64 -1/2 (/.f64 x x)))) y)
Compiler

Compiled 1702 to 902 computations (47% saved)

localize9.0ms (0.5%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 (/.f64 -1/2 (sqrt.f64 x)) (/.f64 y (sqrt.f64 x)) (neg.f64 (*.f64 -1/2 (/.f64 x x))))
✓0.1b
(/.f64 y (sqrt.f64 x))
✓0.2b
(/.f64 -1/2 (sqrt.f64 x))
✓3.1b
(/.f64 (fma.f64 (/.f64 -1/2 (sqrt.f64 x)) (/.f64 y (sqrt.f64 x)) (neg.f64 (*.f64 -1/2 (/.f64 x x)))) y)

series83.0ms (4.2%)

Counts
4 → 38
Calls

21 calls:

11.0ms
(/.f64 (fma.f64 (/.f64 -1/2 (sqrt.f64 x)) (/.f64 y (sqrt.f64 x)) (neg.f64 (*.f64 -1/2 (/.f64 x x)))) y)
y
-inf
9.0ms
(fma.f64 (/.f64 -1/2 (sqrt.f64 x)) (/.f64 y (sqrt.f64 x)) (neg.f64 (*.f64 -1/2 (/.f64 x x))))
x
-inf
7.0ms
(/.f64 (fma.f64 (/.f64 -1/2 (sqrt.f64 x)) (/.f64 y (sqrt.f64 x)) (neg.f64 (*.f64 -1/2 (/.f64 x x)))) y)
x
-inf
7.0ms
(/.f64 y (sqrt.f64 x))
x
-inf
7.0ms
(/.f64 -1/2 (sqrt.f64 x))
x
-inf

rewrite56.0ms (2.8%)

Algorithm
1×batch-egg-rewrite
Rules
516×log-prod_binary64
194×expm1-udef_binary64
194×log1p-udef_binary64
172×log-pow_binary64
154×log-div_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01245
128735
2291035
Stop Event
1×node limit
Counts
4 → 123

simplify61.0ms (3.1%)

Algorithm
1×egg-herbie
Rules
1251×fma-neg_binary64
634×fma-def_binary64
546×div-sub_binary64
222×associate-/r*_binary64
205×associate-/l*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
019320
143320
275302
3120302
4192302
5339302
6571302
7832302
81079302
91428302
101702302
112446302
124034302
134975302
Stop Event
1×node limit
Counts
161 → 133

prune81.0ms (4.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1330133
Fresh000
Picked011
Done022
Total1333136
Error
0b
Counts
136 → 3
Alt Table
StatusErrorProgram
✓10.1b
(/.f64 (/.f64 (-.f64 (*.f64 -1/2 y) (*.f64 -1/2 x)) x) y)
✓0.0b
(-.f64 (/.f64 -1/2 x) (/.f64 -1/2 y))
✓33.6b
(/.f64 (fma.f64 (/.f64 -1/2 (sqrt.f64 x)) (/.f64 y (sqrt.f64 x)) (neg.f64 (*.f64 -1/2 (/.f64 x x)))) y)
Compiler

Compiled 2401 to 1464 computations (39% saved)

regimes152.0ms (7.7%)

Accuracy

Total 0.0b remaining (65.5%)

Threshold costs 0.0b (65.5%)

Counts
54 → 1
Compiler

Compiled 2275 to 1645 computations (27.7% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×+-commutative_binary64
2×sub-neg_binary64
1×*-commutative_binary64
1×distribute-neg-frac_binary64
1×neg-sub0_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
1910
21710
31910
42010
Stop Event
1×saturated

end46.0ms (2.3%)

Stop Event
1×done
Compiler

Compiled 59 to 42 computations (28.8% saved)

Profiling

Loading profile data...