Details

Time bar (total: 7.3s)

analyze522.0ms (7.1%)

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
18.7%81.1%0.1%6
25%74.9%0.1%7
31.2%68.6%0.1%8
45.2%53.8%0.9%9
50.3%47.8%1.9%10
54%43.6%2.4%11
61.7%32.9%5.4%12
64.1%28.3%7.6%13
66.2%24.7%9.2%14
Compiler

Compiled 16 to 11 computations (31.3% saved)

sample1.1s (14.8%)

Results
905.0ms8256×body128valid
130.0ms1201×body128invalid
Compiler

Compiled 47 to 32 computations (31.9% saved)

simplify44.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
1128×fma-def_binary64
1073×fma-neg_binary64
226×cancel-sign-sub-inv_binary64
222×distribute-rgt-in_binary64
162×distribute-lft-in_binary64
Iterations

Useful iterations: 8 (0.0ms)

IterNodesCost
01118
12218
24618
37818
414116
527416
644316
774416
8178513
9354413
10464213
11483813
12493513
13493513
Stop Event
1×saturated
Counts
1 → 2

prune3.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶1.4b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z)))
2.6b
(fabs.f64 (/.f64 (-.f64 (fma.f64 x z -4) x) y))
Compiler

Compiled 78 to 51 computations (34.6% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (+.f64 x 4) y)
✓0.0b
(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
✓3.5b
(*.f64 (/.f64 x y) z)

series36.0ms (0.5%)

Counts
3 → 96
Calls

3 calls:

20.0ms
(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
12.0ms
(*.f64 (/.f64 x y) z)
5.0ms
(/.f64 (+.f64 x 4) y)

rewrite68.0ms (0.9%)

Algorithm
1×batch-egg-rewrite
Rules
334×fma-def_binary64
220×expm1-udef_binary64
220×log1p-udef_binary64
202×fma-neg_binary64
184×log-pow_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01030
123627
2352627
Stop Event
1×node limit
Counts
3 → 176
Calls

3 calls:

63.0ms
(/.f64 (+.f64 x 4) y)
63.0ms
(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
63.0ms
(*.f64 (/.f64 x y) z)

simplify69.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
739×fma-neg_binary64
323×fma-def_binary64
185×distribute-rgt-in_binary64
176×cancel-sign-sub-inv_binary64
160×unsub-neg_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0311102
1781102
2186952
3442860
4951790
52039790
63042790
73589790
83601790
93601790
Stop Event
1×saturated
Counts
272 → 194

prune135.0ms (1.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1904194
Fresh011
Picked101
Done000
Total1915196
Error
0.0b
Counts
196 → 5
Alt Table
StatusErrorProgram
▶1.5b
(fabs.f64 (fma.f64 (+.f64 x 4) (/.f64 1 y) (*.f64 (/.f64 x y) (neg.f64 z))))
1.7b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (pow.f64 (cbrt.f64 (*.f64 (/.f64 x y) z)) 3)))
1.6b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x))))
2.6b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z))))
2.6b
(fabs.f64 (/.f64 (-.f64 (fma.f64 x z -4) x) y))
Compiler

Compiled 4130 to 2012 computations (51.3% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 (+.f64 x 4) (/.f64 1 y) (*.f64 (/.f64 x y) (neg.f64 z)))
✓3.5b
(*.f64 (/.f64 x y) (neg.f64 z))

series29.0ms (0.4%)

Counts
2 → 72
Calls

2 calls:

17.0ms
(fma.f64 (+.f64 x 4) (/.f64 1 y) (*.f64 (/.f64 x y) (neg.f64 z)))
13.0ms
(*.f64 (/.f64 x y) (neg.f64 z))

rewrite85.0ms (1.2%)

Algorithm
1×batch-egg-rewrite
Rules
346×prod-diff_binary64
218×egg-rr
208×expm1-udef_binary64
208×log1p-udef_binary64
129×fma-def_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01228
125923
2342621
Stop Event
1×node limit
Counts
2 → 218
Calls

2 calls:

76.0ms
(fma.f64 (+.f64 x 4) (/.f64 1 y) (*.f64 (/.f64 x y) (neg.f64 z)))
76.0ms
(*.f64 (/.f64 x y) (neg.f64 z))

simplify68.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
753×fma-neg_binary64
323×fma-def_binary64
185×distribute-rgt-in_binary64
175×cancel-sign-sub-inv_binary64
160×unsub-neg_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
030952
178952
2186802
3442710
4951703
52055703
63074703
73622703
83634703
93634703
Stop Event
1×saturated
Counts
290 → 231

prune200.0ms (2.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New2301231
Fresh044
Picked101
Done000
Total2315236
Error
0.0b
Counts
236 → 5
Alt Table
StatusErrorProgram
▶1.2b
(fabs.f64 (+.f64 (fma.f64 (+.f64 x 4) (pow.f64 y -1) (neg.f64 (*.f64 (/.f64 z (cbrt.f64 y)) (/.f64 x (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (/.f64 z (cbrt.f64 y))) (/.f64 x (pow.f64 (cbrt.f64 y) 2)) (*.f64 (/.f64 z (cbrt.f64 y)) (/.f64 x (pow.f64 (cbrt.f64 y) 2))))))
1.7b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (pow.f64 (cbrt.f64 (*.f64 (/.f64 x y) z)) 3)))
1.6b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x))))
2.6b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z))))
2.6b
(fabs.f64 (/.f64 (-.f64 (fma.f64 x z -4) x) y))
Compiler

Compiled 8428 to 3646 computations (56.7% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.4b
(pow.f64 (cbrt.f64 y) 2)
✓0.5b
(cbrt.f64 y)
✓2.4b
(*.f64 (/.f64 z (cbrt.f64 y)) (/.f64 x (pow.f64 (cbrt.f64 y) 2)))
✓44.2b
(fma.f64 (neg.f64 (/.f64 z (cbrt.f64 y))) (/.f64 x (pow.f64 (cbrt.f64 y) 2)) (*.f64 (/.f64 z (cbrt.f64 y)) (/.f64 x (pow.f64 (cbrt.f64 y) 2))))

series3.5s (47.6%)

Counts
4 → 96
Calls

4 calls:

3.4s
(fma.f64 (neg.f64 (/.f64 z (cbrt.f64 y))) (/.f64 x (pow.f64 (cbrt.f64 y) 2)) (*.f64 (/.f64 z (cbrt.f64 y)) (/.f64 x (pow.f64 (cbrt.f64 y) 2))))
42.0ms
(pow.f64 (cbrt.f64 y) 2)
37.0ms
(*.f64 (/.f64 z (cbrt.f64 y)) (/.f64 x (pow.f64 (cbrt.f64 y) 2)))
27.0ms
(cbrt.f64 y)

rewrite57.0ms (0.8%)

Algorithm
1×batch-egg-rewrite
Rules
952×prod-diff_binary64
129×add-sqr-sqrt_binary64
122×egg-rr
122×log1p-expm1-u_binary64
122×expm1-log1p-u_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01262
126232
2362532
Stop Event
1×node limit
Counts
4 → 122
Calls

4 calls:

55.0ms
(pow.f64 (cbrt.f64 y) 2)
55.0ms
(cbrt.f64 y)
55.0ms
(*.f64 (/.f64 z (cbrt.f64 y)) (/.f64 x (pow.f64 (cbrt.f64 y) 2)))
55.0ms
(fma.f64 (neg.f64 (/.f64 z (cbrt.f64 y))) (/.f64 x (pow.f64 (cbrt.f64 y) 2)) (*.f64 (/.f64 z (cbrt.f64 y)) (/.f64 x (pow.f64 (cbrt.f64 y) 2))))

simplify41.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
439×times-frac_binary64
412×unswap-sqr_binary64
375×associate-/l/_binary64
349×associate-/l*_binary64
253×associate-*l/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
020478
150478
2103478
3281478
41002478
52432478
64781478
Stop Event
1×node limit
Counts
218 → 132

prune408.0ms (5.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New3620362
Fresh044
Picked011
Done000
Total3625367
Error
0.0b
Counts
367 → 5
Alt Table
StatusErrorProgram
✓1.2b
(fabs.f64 (+.f64 (fma.f64 (+.f64 x 4) (pow.f64 y -1) (neg.f64 (*.f64 (/.f64 z (cbrt.f64 y)) (/.f64 x (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (/.f64 z (cbrt.f64 y))) (/.f64 x (pow.f64 (cbrt.f64 y) 2)) (*.f64 (/.f64 z (cbrt.f64 y)) (/.f64 x (pow.f64 (cbrt.f64 y) 2))))))
1.7b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (pow.f64 (cbrt.f64 (*.f64 (/.f64 x y) z)) 3)))
▶1.6b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x))))
2.6b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z))))
2.6b
(fabs.f64 (/.f64 (-.f64 (fma.f64 x z -4) x) y))
Compiler

Compiled 16728 to 7878 computations (52.9% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(/.f64 (+.f64 x 4) y)
✓0.0b
(-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x)))
✓4.0b
(/.f64 z (/.f64 y x))

series30.0ms (0.4%)

Counts
2 → 72
Calls

2 calls:

16.0ms
(-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x)))
14.0ms
(/.f64 z (/.f64 y x))

rewrite58.0ms (0.8%)

Algorithm
1×batch-egg-rewrite
Rules
256×fma-neg_binary64
234×expm1-udef_binary64
234×log1p-udef_binary64
127×add-sqr-sqrt_binary64
124×log1p-expm1-u_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01023
124523
2400223
Stop Event
1×node limit
Counts
2 → 108
Calls

2 calls:

56.0ms
(-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x)))
56.0ms
(/.f64 z (/.f64 y x))

simplify61.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
739×fma-neg_binary64
323×fma-def_binary64
185×distribute-rgt-in_binary64
178×cancel-sign-sub-inv_binary64
160×unsub-neg_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
030880
178880
2186730
3442638
4952631
52050631
63051631
73597631
83609631
93609631
Stop Event
1×saturated
Counts
180 → 122

prune125.0ms (1.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1561157
Fresh123
Picked011
Done011
Total1575162
Error
0b
Counts
162 → 5
Alt Table
StatusErrorProgram
2.6b
(fabs.f64 (/.f64 (fma.f64 x (-.f64 1 z) 4) y))
✓1.2b
(fabs.f64 (+.f64 (fma.f64 (+.f64 x 4) (pow.f64 y -1) (neg.f64 (*.f64 (/.f64 z (cbrt.f64 y)) (/.f64 x (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (/.f64 z (cbrt.f64 y))) (/.f64 x (pow.f64 (cbrt.f64 y) 2)) (*.f64 (/.f64 z (cbrt.f64 y)) (/.f64 x (pow.f64 (cbrt.f64 y) 2))))))
1.7b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (pow.f64 (cbrt.f64 (*.f64 (/.f64 x y) z)) 3)))
✓1.6b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x))))
2.6b
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z))))
Compiler

Compiled 3016 to 1499 computations (50.3% saved)

regimes566.0ms (7.7%)

Accuracy

Total 0.1b remaining (82.6%)

Threshold costs 0.1b (82.6%)

Counts
102 → 2
Compiler

Compiled 14222 to 8911 computations (37.3% saved)

bsearch4.0ms (0.1%)

Compiler

Compiled 15 to 10 computations (33.3% saved)

simplify6.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
31×cancel-sign-sub-inv_binary64
26×distribute-rgt-neg-in_binary64
16×sub-neg_binary64
15×distribute-lft-neg-in_binary64
14×neg-sub0_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02882
15278
27875
310475
414375
517075
618875
719975
822275
923775
1023775
Stop Event
1×saturated

end112.0ms (1.5%)

Compiler

Compiled 213 to 130 computations (39% saved)

Profiling

Loading profile data...