Details

Time bar (total: 3.0s)

analyze526.0ms (17.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
0%99.9%0.1%5
0%99.9%0.1%6
14%85.8%0.1%7
22.6%77.2%0.1%8
23.8%74.5%1.7%9
40%56.4%3.7%10
46.9%48.7%4.4%11
48%45.8%6.2%12
58.1%32.2%9.7%13
62.1%27.2%10.6%14
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample907.0ms (29.7%)

Results
787.0ms8256×body128valid
106.0ms1072×body128invalid
Compiler

Compiled 26 to 18 computations (30.8% saved)

preprocess35.0ms (1.1%)

Algorithm
2×egg-herbie
Rules
830×fma-def_binary64
737×times-frac_binary64
438×distribute-rgt-in_binary64
262×div-sub_binary64
251×fma-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02152
17544
218344
372344
4222144
033
Stop Event
1×saturated
1×node limit
Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify24.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
527×fma-neg_binary64
407×fma-def_binary64
279×cancel-sign-sub-inv_binary64
251×times-frac_binary64
245×div-sub_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0913
12511
25611
317511
444311
5102511
6279711
Stop Event
1×node limit
Counts
1 → 2

prune5.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
3.3b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶3.3b
(-.f64 (/.f64 (fma.f64 x y x) z) x)
9.9b
(/.f64 (*.f64 x (+.f64 (-.f64 y z) 1)) z)
Compiler

Compiled 66 to 39 computations (40.9% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (/.f64 (fma.f64 x y x) z) x)
✓3.2b
(/.f64 (fma.f64 x y x) z)

series29.0ms (0.9%)

Counts
2 → 72
Calls

18 calls:

4.0ms
(-.f64 (/.f64 (fma.f64 x y x) z) x)
x
-inf
2.0ms
(-.f64 (/.f64 (fma.f64 x y x) z) x)
x
inf
2.0ms
(/.f64 (fma.f64 x y x) z)
x
-inf
2.0ms
(/.f64 (fma.f64 x y x) z)
x
inf
2.0ms
(-.f64 (/.f64 (fma.f64 x y x) z) x)
x
0

rewrite46.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
869×log1p-expm1-u_binary64
869×expm1-log1p-u_binary64
85×add-sqr-sqrt_binary64
84×*-un-lft-identity_binary64
84×pow1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0719
115619
2226719
Stop Event
1×node limit
Counts
2 → 70

simplify66.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
597×fma-def_binary64
574×fma-neg_binary64
201×distribute-rgt-in_binary64
173×distribute-lft-in_binary64
128×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
026797
163797
2127797
3388647
41148647
52040647
63179647
73669647
83702647
93710647
103710647
Stop Event
1×saturated
Counts
142 → 84

prune58.0ms (1.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New78684
Fresh101
Picked101
Done000
Total80686
Error
0.0b
Counts
86 → 6
Alt Table
StatusErrorProgram
▶3.2b
(*.f64 (-.f64 (+.f64 (/.f64 y z) (/.f64 1 z)) 1) x)
16.3b
(-.f64 (*.f64 y (/.f64 x z)) x)
3.3b
(-.f64 (+.f64 (/.f64 (*.f64 y x) z) (/.f64 x z)) x)
3.6b
(-.f64 (pow.f64 (/.f64 z (fma.f64 x y x)) -1) x)
4.0b
(-.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 x y x) z)) 3) x)
3.4b
(-.f64 (*.f64 (fma.f64 x y x) (/.f64 1 z)) x)
Compiler

Compiled 1354 to 440 computations (67.5% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (/.f64 y z) (/.f64 1 z))
✓3.0b
(*.f64 (-.f64 (+.f64 (/.f64 y z) (/.f64 1 z)) 1) x)

series27.0ms (0.9%)

Counts
2 → 39
Calls

15 calls:

4.0ms
(*.f64 (-.f64 (+.f64 (/.f64 y z) (/.f64 1 z)) 1) x)
x
-inf
3.0ms
(*.f64 (-.f64 (+.f64 (/.f64 y z) (/.f64 1 z)) 1) x)
x
0
3.0ms
(*.f64 (-.f64 (+.f64 (/.f64 y z) (/.f64 1 z)) 1) x)
x
inf
3.0ms
(*.f64 (-.f64 (+.f64 (/.f64 y z) (/.f64 1 z)) 1) x)
y
-inf
2.0ms
(*.f64 (-.f64 (+.f64 (/.f64 y z) (/.f64 1 z)) 1) x)
y
0

rewrite58.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
530×fma-def_binary64
331×fma-neg_binary64
199×log1p-udef_binary64
198×expm1-udef_binary64
119×add-sqr-sqrt_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01026
122726
2344724
Stop Event
1×node limit
Counts
2 → 110

simplify54.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
962×fma-def_binary64
565×fma-neg_binary64
175×cancel-sign-sub-inv_binary64
113×distribute-rgt-neg-in_binary64
90×associate-/l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
020424
137424
262383
3106329
4260329
5640329
61295329
72200329
82936329
93208329
103224329
113224329
Stop Event
1×saturated
Counts
149 → 124

prune103.0ms (3.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1231124
Fresh055
Picked011
Done000
Total1237130
Error
0b
Counts
130 → 7
Alt Table
StatusErrorProgram
▶3.3b
(-.f64 (+.f64 (/.f64 (*.f64 y x) z) (/.f64 x z)) x)
16.4b
(*.f64 (-.f64 (-.f64 (/.f64 (pow.f64 (/.f64 y z) 2) (/.f64 (-.f64 y 1) z)) (/.f64 (pow.f64 z -2) (/.f64 (-.f64 y 1) z))) 1) x)
✓3.2b
(*.f64 (-.f64 (+.f64 (/.f64 y z) (/.f64 1 z)) 1) x)
16.3b
(-.f64 (*.f64 y (/.f64 x z)) x)
3.6b
(-.f64 (pow.f64 (/.f64 z (fma.f64 x y x)) -1) x)
4.0b
(-.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 x y x) z)) 3) x)
3.4b
(-.f64 (*.f64 (fma.f64 x y x) (/.f64 1 z)) x)
Compiler

Compiled 2145 to 1303 computations (39.3% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series49.0ms (1.6%)

Counts
3 → 45
Calls

27 calls:

4.0ms
(-.f64 (+.f64 (/.f64 (*.f64 y x) z) (/.f64 x z)) x)
x
-inf
4.0ms
(+.f64 (/.f64 (*.f64 y x) z) (/.f64 x z))
x
inf
3.0ms
(-.f64 (+.f64 (/.f64 (*.f64 y x) z) (/.f64 x z)) x)
x
inf
3.0ms
(+.f64 (/.f64 (*.f64 y x) z) (/.f64 x z))
x
-inf
3.0ms
(/.f64 (*.f64 y x) z)
y
0

rewrite82.0ms (2.7%)

Algorithm
1×batch-egg-rewrite
Rules
845×fma-def_binary64
420×fma-neg_binary64
208×expm1-udef_binary64
208×log1p-udef_binary64
165×egg-rr
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0936
121536
2368232
Stop Event
1×node limit
Counts
3 → 307

simplify56.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
876×fma-def_binary64
549×fma-neg_binary64
150×distribute-rgt-in_binary64
123×distribute-lft-in_binary64
118×unsub-neg_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
022562
149562
2110488
3268488
4863377
51740377
62771377
73478377
83603377
93603377
Stop Event
1×saturated
Counts
352 → 319

prune232.0ms (7.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New3181319
Fresh145
Picked011
Done011
Total3197326
Error
0b
Counts
326 → 7
Alt Table
StatusErrorProgram
✓3.3b
(-.f64 (+.f64 (/.f64 (*.f64 y x) z) (/.f64 x z)) x)
16.4b
(*.f64 (-.f64 (-.f64 (/.f64 (pow.f64 (/.f64 y z) 2) (/.f64 (-.f64 y 1) z)) (/.f64 (pow.f64 z -2) (/.f64 (-.f64 y 1) z))) 1) x)
✓3.2b
(*.f64 (-.f64 (+.f64 (/.f64 y z) (/.f64 1 z)) 1) x)
3.6b
(-.f64 (pow.f64 (/.f64 z (fma.f64 x y x)) -1) x)
4.0b
(-.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 x y x) z)) 3) x)
▶1.6b
(-.f64 (fma.f64 y (/.f64 x z) (/.f64 x z)) x)
3.4b
(-.f64 (*.f64 (fma.f64 x y x) (/.f64 1 z)) x)
Compiler

Compiled 5997 to 2116 computations (64.7% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (fma.f64 y (/.f64 x z) (/.f64 x z)) x)
✓2.6b
(fma.f64 y (/.f64 x z) (/.f64 x z))

series38.0ms (1.2%)

Counts
2 → 72
Calls

18 calls:

4.0ms
(fma.f64 y (/.f64 x z) (/.f64 x z))
x
-inf
3.0ms
(-.f64 (fma.f64 y (/.f64 x z) (/.f64 x z)) x)
x
-inf
3.0ms
(-.f64 (fma.f64 y (/.f64 x z) (/.f64 x z)) x)
x
inf
3.0ms
(fma.f64 y (/.f64 x z) (/.f64 x z))
x
inf
3.0ms
(-.f64 (fma.f64 y (/.f64 x z) (/.f64 x z)) x)
x
0

rewrite47.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
854×log1p-expm1-u_binary64
854×expm1-log1p-u_binary64
84×add-sqr-sqrt_binary64
83×*-un-lft-identity_binary64
83×pow1_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0725
115523
2222923
Stop Event
1×node limit
Counts
2 → 64

simplify64.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
829×fma-def_binary64
565×fma-neg_binary64
147×distribute-rgt-in_binary64
123×distribute-lft-in_binary64
111×associate-*l*_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
024967
154967
2126839
3294839
4892647
51740647
62771647
73473647
83596647
93596647
Stop Event
1×saturated
Counts
136 → 78

prune56.0ms (1.9%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New78078
Fresh044
Picked011
Done022
Total78785
Error
0b
Counts
85 → 7
Alt Table
StatusErrorProgram
✓3.3b
(-.f64 (+.f64 (/.f64 (*.f64 y x) z) (/.f64 x z)) x)
16.4b
(*.f64 (-.f64 (-.f64 (/.f64 (pow.f64 (/.f64 y z) 2) (/.f64 (-.f64 y 1) z)) (/.f64 (pow.f64 z -2) (/.f64 (-.f64 y 1) z))) 1) x)
✓3.2b
(*.f64 (-.f64 (+.f64 (/.f64 y z) (/.f64 1 z)) 1) x)
3.6b
(-.f64 (pow.f64 (/.f64 z (fma.f64 x y x)) -1) x)
4.0b
(-.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 x y x) z)) 3) x)
✓1.6b
(-.f64 (fma.f64 y (/.f64 x z) (/.f64 x z)) x)
3.4b
(-.f64 (*.f64 (fma.f64 x y x) (/.f64 1 z)) x)
Compiler

Compiled 1308 to 661 computations (49.5% saved)

regimes344.0ms (11.3%)

Accuracy

Total 0.1b remaining (88.4%)

Threshold costs 0.1b (88.4%)

Counts
58 → 3
Compiler

Compiled 3404 to 2114 computations (37.9% saved)

bsearch25.0ms (0.8%)

Algorithm
2×binary-search
Calls

2 calls:

13.0ms
x
11.0ms
x
Steps
ItersPointRange
4.719777420475578e-12
∈ [
4.11293720802786e-12
, 
1.2046423543773445e-11
]
-839233400368095400.0
∈ [
-2.377765900218511e+20
, 
-7649396889528970.0
]
Compiler

Compiled 4 to 3 computations (25% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02051
12951
23451
33651
43751
Stop Event
1×saturated

end94.0ms (3.1%)

Stop Event
1×fuel
Compiler

Compiled 185 to 113 computations (38.9% saved)

Profiling

Loading profile data...