Details

Time bar (total: 8.4s)

analyze1.5s (17.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
0%99.9%0.1%5
0%99.9%0.1%6
0%99.9%0.1%7
0%99.9%0.1%8
0%96.7%3.3%9
16.4%74.9%8.7%10
17.6%71.8%10.7%11
26.3%59.5%14.2%12
30.7%45.7%23.5%13
31.7%43.5%24.7%14
Compiler

Compiled 33 to 25 computations (24.2% saved)

sample2.6s (30.5%)

Results
1.5s8256×body128valid
970.0ms5042×body128invalid
Compiler

Compiled 98 to 74 computations (24.5% saved)

simplify61.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
721×fma-neg_binary64
464×div-sub_binary64
380×associate-*l*_binary64
365×associate-*r*_binary64
276×neg-mul-1_binary64
Counts
1 → 2
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
02343
15943
216337
360735
4274433
5474833
6493833

prune5.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
7.7b
Counts
3 → 2
Alt Table
StatusErrorProgram
11.2b
(-.f64 (-.f64 (+.f64 3 (/.f64 2 (*.f64 r r))) (/.f64 (*.f64 (*.f64 1/8 (-.f64 3 (*.f64 2 v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 1 v))) 9/2)
▶7.7b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
Compiler

Compiled 171 to 121 computations (29.2% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))
✓0.2b
(/.f64 2 (*.f64 r r))
✓1.5b
(fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)
✓9.1b
(*.f64 r (*.f64 w w))

series91.0ms (1.1%)

Counts
4 → 108
Calls

4 calls:

42.0ms
(fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)
37.0ms
(*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))
9.0ms
(*.f64 r (*.f64 w w))
2.0ms
(/.f64 2 (*.f64 r r))

rewrite75.0ms (0.9%)

Algorithm
2×batch-egg-rewrite
Rules
324×log1p-udef_binary64
186×add-sqr-sqrt_binary64
177×log1p-expm1-u_binary64
177×expm1-log1p-u_binary64
176×add-log-exp_binary64
Counts
4 → 89
Calls

4 calls:

73.0ms
(*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))
73.0ms
(/.f64 2 (*.f64 r r))
73.0ms
(fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)
73.0ms
(*.f64 r (*.f64 w w))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01858
138658
2454058
3526958
000
100

simplify62.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
716×fma-def_binary64
627×associate-*l*_binary64
497×associate-*r*_binary64
314×associate-/l*_binary64
248×times-frac_binary64
Counts
197 → 133
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01002804
13352526
211611968
352401968

prune212.0ms (2.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New12112133
Fresh101
Picked101
Done000
Total12312135
Error
2.3b
Counts
135 → 12
Alt Table
StatusErrorProgram
▶7.6b
(-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
7.9b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (pow.f64 (cbrt.f64 (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3) 3/2))
17.4b
(-.f64 (/.f64 2 (*.f64 r r)) (-.f64 (+.f64 3/2 (*.f64 3/8 (/.f64 (*.f64 (pow.f64 w 2) (pow.f64 r 2)) (-.f64 1 v)))) (*.f64 1/4 (/.f64 (*.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))))
23.8b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 (pow.f64 (pow.f64 (*.f64 r (*.f64 w w)) 3) 1/3) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
7.7b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (/.f64 (*.f64 r (*.f64 w w)) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) 3/2))
8.0b
(-.f64 (/.f64 2 (*.f64 r r)) (pow.f64 (sqrt.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) 2))
17.5b
(-.f64 (/.f64 2 (*.f64 r r)) (pow.f64 (pow.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2) 3) 1/3))
9.4b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (/.f64 (*.f64 (-.f64 (*.f64 3/8 (pow.f64 w 2)) (*.f64 1/4 (*.f64 v (pow.f64 w 2)))) r) (-.f64 1 v)) 3/2))
31.2b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 (pow.f64 (*.f64 w (sqrt.f64 r)) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
20.4b
(-.f64 (/.f64 2 (*.f64 r r)) 3/2)
17.4b
(-.f64 (/.f64 2 (*.f64 r r)) (cbrt.f64 (pow.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2) 3)))
15.6b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 w (*.f64 (*.f64 w r) (fma.f64 v 1/8 3/8))) 3/2))
Compiler

Compiled 4360 to 2652 computations (39.2% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
0.1b
(*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))
1.5b
(fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)
9.1b
(*.f64 r (*.f64 w w))

series61.0ms (0.7%)

Counts
1 → 36
Calls

1 calls:

61.0ms
(-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))

rewrite79.0ms (0.9%)

Algorithm
2×batch-egg-rewrite
Rules
434×prod-diff_binary64
210×add-sqr-sqrt_binary64
202×log1p-expm1-u_binary64
202×expm1-log1p-u_binary64
198×add-log-exp_binary64
Counts
1 → 55
Calls

1 calls:

74.0ms
(-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02033
143533
2490933
3560433
000
100

simplify304.0ms (3.6%)

Algorithm
1×egg-herbie
Rules
921×fma-neg_binary64
409×fma-def_binary64
384×associate-*l*_binary64
341×associate-*r*_binary64
208×cancel-sign-sub-inv_binary64
Counts
91 → 82
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0771713
12571577
29081441
340611399
450841399

prune578.0ms (6.9%)

Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New1855190
Fresh3811
Picked101
Done000
Total18913202
Error
2.3b
Counts
202 → 13
Alt Table
StatusErrorProgram
15.6b
(-.f64 (*.f64 2 (pow.f64 r -2)) (+.f64 3/2 (*.f64 (*.f64 r r) (/.f64 (*.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))))))
9.4b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (/.f64 (*.f64 (-.f64 (*.f64 3/8 (pow.f64 w 2)) (*.f64 1/4 (*.f64 v (pow.f64 w 2)))) r) (-.f64 1 v)) 3/2))
▶7.7b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (/.f64 (*.f64 r (*.f64 w w)) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) 3/2))
8.0b
(-.f64 (/.f64 2 (*.f64 r r)) (pow.f64 (sqrt.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) 2))
31.1b
(-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (*.f64 (pow.f64 (*.f64 w (sqrt.f64 r)) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
17.5b
(-.f64 (/.f64 2 (*.f64 r r)) (pow.f64 (pow.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2) 3) 1/3))
20.2b
(-.f64 (*.f64 2 (pow.f64 r -2)) 3/2)
24.0b
(-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (*.f64 (exp.f64 (log.f64 (*.f64 r (*.f64 w w)))) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
17.4b
(+.f64 (/.f64 2 (*.f64 r r)) (fma.f64 (*.f64 r r) (fma.f64 (/.f64 (*.f64 w w) (-.f64 1 v)) -3/8 (*.f64 1/4 (/.f64 (*.f64 v (*.f64 w w)) (-.f64 1 v)))) -3/2))
17.4b
(-.f64 (/.f64 2 (*.f64 r r)) (-.f64 (+.f64 3/2 (*.f64 3/8 (/.f64 (*.f64 (pow.f64 w 2) (pow.f64 r 2)) (-.f64 1 v)))) (*.f64 1/4 (/.f64 (*.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))))
20.4b
(-.f64 (/.f64 2 (*.f64 r r)) 3/2)
17.4b
(-.f64 (/.f64 2 (*.f64 r r)) (cbrt.f64 (pow.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2) 3)))
15.6b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 w (*.f64 (*.f64 w r) (fma.f64 v 1/8 3/8))) 3/2))
Compiler

Compiled 7486 to 4873 computations (34.9% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 (*.f64 r (*.f64 w w)) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))
0.2b
(/.f64 2 (*.f64 r r))
✓1.5b
(fma.f64 r (/.f64 (*.f64 r (*.f64 w w)) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) 3/2)
9.1b
(*.f64 r (*.f64 w w))

series136.0ms (1.6%)

Counts
2 → 72
Calls

2 calls:

90.0ms
(/.f64 (*.f64 r (*.f64 w w)) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))
45.0ms
(fma.f64 r (/.f64 (*.f64 r (*.f64 w w)) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) 3/2)

rewrite190.0ms (2.3%)

Algorithm
2×batch-egg-rewrite
Rules
281×log1p-udef_binary64
240×prod-diff_binary64
161×add-sqr-sqrt_binary64
152×log1p-expm1-u_binary64
152×expm1-log1p-u_binary64
Counts
2 → 87
Calls

2 calls:

187.0ms
(/.f64 (*.f64 r (*.f64 w w)) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))
187.0ms
(fma.f64 r (/.f64 (*.f64 r (*.f64 w w)) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) 3/2)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01544
132644
2424444
3515744
000
100

simplify65.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
716×fma-def_binary64
627×associate-*l*_binary64
497×associate-*r*_binary64
314×associate-/l*_binary64
248×times-frac_binary64
Counts
159 → 128
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0992552
13342274
211581716
352331716

prune464.0ms (5.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New1674171
Fresh6612
Picked101
Done000
Total17410184
Error
0.8b
Counts
184 → 10
Alt Table
StatusErrorProgram
8.0b
(-.f64 (/.f64 2 (*.f64 r r)) (pow.f64 (sqrt.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) 2))
31.1b
(-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (*.f64 (pow.f64 (*.f64 w (sqrt.f64 r)) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
20.2b
(-.f64 (*.f64 2 (pow.f64 r -2)) 3/2)
▶1.7b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 (/.f64 (*.f64 r w) (sqrt.f64 (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))) (/.f64 w (sqrt.f64 (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))))) 3/2))
3.3b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 (/.f64 (*.f64 r w) (-.f64 1 v)) (/.f64 w (/.f64 1 (fma.f64 v -1/4 3/8)))) 3/2))
17.4b
(+.f64 (/.f64 2 (*.f64 r r)) (fma.f64 (*.f64 r r) (fma.f64 (/.f64 (*.f64 w w) (-.f64 1 v)) -3/8 (*.f64 1/4 (/.f64 (*.f64 v (*.f64 w w)) (-.f64 1 v)))) -3/2))
17.4b
(-.f64 (/.f64 2 (*.f64 r r)) (-.f64 (+.f64 3/2 (*.f64 3/8 (/.f64 (*.f64 (pow.f64 w 2) (pow.f64 r 2)) (-.f64 1 v)))) (*.f64 1/4 (/.f64 (*.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))))
7.6b
(-.f64 (*.f64 (pow.f64 r -2) 2) (fma.f64 r (/.f64 (*.f64 r (*.f64 w w)) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) 3/2))
1.8b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 (*.f64 r w) (*.f64 w (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3/2))
20.4b
(-.f64 (/.f64 2 (*.f64 r r)) 3/2)
Compiler

Compiled 5418 to 3243 computations (40.1% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(/.f64 (*.f64 r w) (sqrt.f64 (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))))
✓0.2b
(*.f64 (/.f64 (*.f64 r w) (sqrt.f64 (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))) (/.f64 w (sqrt.f64 (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))))
0.2b
(/.f64 2 (*.f64 r r))
✓1.5b
(fma.f64 r (*.f64 (/.f64 (*.f64 r w) (sqrt.f64 (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))) (/.f64 w (sqrt.f64 (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))))) 3/2)

series116.0ms (1.4%)

Counts
3 → 108
Calls

3 calls:

44.0ms
(fma.f64 r (*.f64 (/.f64 (*.f64 r w) (sqrt.f64 (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))) (/.f64 w (sqrt.f64 (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))))) 3/2)
38.0ms
(*.f64 (/.f64 (*.f64 r w) (sqrt.f64 (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))) (/.f64 w (sqrt.f64 (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))))
34.0ms
(/.f64 (*.f64 r w) (sqrt.f64 (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))))

rewrite96.0ms (1.1%)

Algorithm
2×batch-egg-rewrite
Rules
257×prod-diff_binary64
182×add-sqr-sqrt_binary64
171×log1p-expm1-u_binary64
171×expm1-log1p-u_binary64
170×add-cbrt-cube_binary64
Counts
3 → 124
Calls

3 calls:

93.0ms
(/.f64 (*.f64 r w) (sqrt.f64 (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))))
93.0ms
(*.f64 (/.f64 (*.f64 r w) (sqrt.f64 (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))) (/.f64 w (sqrt.f64 (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))))
93.0ms
(fma.f64 r (*.f64 (/.f64 (*.f64 r w) (sqrt.f64 (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))) (/.f64 w (sqrt.f64 (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))))) 3/2)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01763
137162
2485162
3530662
000
100

simplify95.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
915×fma-def_binary64
702×times-frac_binary64
250×fma-neg_binary64
216×cancel-sign-sub-inv_binary64
173×neg-mul-1_binary64
Counts
232 → 184
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01533484
15173195
218952863
347782863
450182863

prune311.0ms (3.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New2072209
Fresh369
Picked101
Done000
Total2118219
Error
0.0b
Counts
219 → 8
Alt Table
StatusErrorProgram
0.8b
(-.f64 (/.f64 2 (*.f64 r r)) (pow.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (*.f64 r w) 2) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) 3/2)) 2))
7.6b
(-.f64 (*.f64 (pow.f64 r -2) 2) (fma.f64 r (/.f64 (*.f64 r (*.f64 w w)) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) 3/2))
20.2b
(-.f64 (*.f64 2 (pow.f64 r -2)) 3/2)
3.3b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 (/.f64 (*.f64 r w) (-.f64 1 v)) (/.f64 w (/.f64 1 (fma.f64 v -1/4 3/8)))) 3/2))
17.4b
(-.f64 (/.f64 2 (*.f64 r r)) (-.f64 (+.f64 3/2 (*.f64 3/8 (/.f64 (*.f64 (pow.f64 w 2) (pow.f64 r 2)) (-.f64 1 v)))) (*.f64 1/4 (/.f64 (*.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))))
1.8b
(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 (*.f64 r w) (*.f64 w (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3/2))
0.5b
(-.f64 (/.f64 2 (*.f64 r r)) (+.f64 (/.f64 (pow.f64 (*.f64 r w) 2) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) 3/2))
31.1b
(-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (*.f64 (pow.f64 (*.f64 w (sqrt.f64 r)) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
Compiler

Compiled 7535 to 4869 computations (35.4% saved)

regimes1.1s (13.6%)

Accuracy

Total 0.3b remaining (82%)

Threshold costs 0.3b (82%)

Counts
148 → 1
Compiler

Compiled 27070 to 19536 computations (27.8% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Rules
7×+-commutative_binary64
6×sub-neg_binary64
5×*-commutative_binary64
4×neg-sub0_binary64
4×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01932
12732
23932
34832
45432
55732
65832
75632

end160.0ms (1.9%)

Compiler

Compiled 260 to 197 computations (24.2% saved)

Profiling

Loading profile data...