Details

Time bar (total: 2.8s)

analyze569.0ms (20.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
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)

sample1.0s (36.6%)

Results
816.0ms8256×body128valid
104.0ms1074×body128invalid
Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify64.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
823×div-sub_binary64
529×fma-neg_binary64
475×distribute-rgt-in_binary64
409×fma-def_binary64
380×distribute-lft-in_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0913
12511
25011
315611
433111
566611
6174411
7398811
8495311

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
9.3b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶9.3b
(/.f64 (fma.f64 x (-.f64 y z) x) z)
Compiler

Compiled 42 to 22 computations (47.6% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series17.0ms (0.6%)

Counts
1 → 36
Calls

1 calls:

17.0ms
(/.f64 (fma.f64 x (-.f64 y z) x) z)

rewrite47.0ms (1.7%)

Algorithm
1×batch-egg-rewrite
Rules
857×log1p-expm1-u_binary64
857×expm1-log1p-u_binary64
441×prod-diff_binary64
82×add-sqr-sqrt_binary64
76×add-log-exp_binary64
Counts
1 → 34
Calls

1 calls:

46.0ms
(/.f64 (fma.f64 x (-.f64 y z) x) z)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
115511
2211411
3609611

simplify57.0ms (2%)

Algorithm
1×egg-herbie
Rules
731×div-sub_binary64
639×fma-neg_binary64
624×fma-def_binary64
523×distribute-rgt-in_binary64
454×distribute-lft-in_binary64
Counts
70 → 44
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
025428
163428
2146365
3323365
41160365
53798365
65183365

prune32.0ms (1.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New38644
Fresh000
Picked101
Done000
Total39645
Error
1.1b
Counts
45 → 6
Alt Table
StatusErrorProgram
▶2.6b
(-.f64 (+.f64 (/.f64 (*.f64 y x) z) (/.f64 x z)) x)
18.6b
(-.f64 (/.f64 x z) x)
36.2b
(*.f64 (/.f64 (sqrt.f64 (fma.f64 x (-.f64 y z) x)) 1) (/.f64 (sqrt.f64 (fma.f64 x (-.f64 y z) x)) z))
10.3b
(*.f64 (cbrt.f64 (/.f64 (fma.f64 x (-.f64 y z) x) z)) (pow.f64 (cbrt.f64 (/.f64 (fma.f64 x (-.f64 y z) x) z)) 2))
9.5b
(*.f64 (fma.f64 x (-.f64 y z) x) (/.f64 1 z))
37.2b
(pow.f64 (sqrt.f64 (/.f64 (fma.f64 x (-.f64 y z) x) z)) 2)
Compiler

Compiled 735 to 248 computations (66.3% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series31.0ms (1.1%)

Counts
2 → 27
Calls

2 calls:

16.0ms
(+.f64 (/.f64 (*.f64 y x) z) (/.f64 x z))
15.0ms
(/.f64 (*.f64 y x) z)

rewrite69.0ms (2.5%)

Algorithm
1×batch-egg-rewrite
Rules
547×log-prod_binary64
465×fma-def_binary64
237×fma-neg_binary64
218×log-div_binary64
176×expm1-udef_binary64
Counts
2 → 152
Calls

2 calls:

66.0ms
(+.f64 (/.f64 (*.f64 y x) z) (/.f64 x z))
66.0ms
(/.f64 (*.f64 y x) z)
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0820
118320
2283818
3573618

simplify18.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
39×fma-def_binary64
16×associate-*l*_binary64
15×associate-*r*_binary64
12×associate-/l*_binary64
9×associate-/r/_binary64
Counts
179 → 157
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
014330
125330
239330
354282
457210
5114210
6112210
7116210
8114210

prune96.0ms (3.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1543157
Fresh415
Picked011
Done000
Total1585163
Error
0.0b
Counts
163 → 5
Alt Table
StatusErrorProgram
37.2b
(pow.f64 (sqrt.f64 (/.f64 (fma.f64 x (-.f64 y z) x) z)) 2)
5.1b
(-.f64 (fma.f64 (/.f64 y z) x (/.f64 x z)) x)
✓2.6b
(-.f64 (+.f64 (/.f64 (*.f64 y x) z) (/.f64 x z)) x)
▶2.1b
(-.f64 (fma.f64 y (/.f64 x z) (/.f64 x z)) x)
2.6b
(-.f64 (+.f64 (pow.f64 (/.f64 z (*.f64 y x)) -1) (/.f64 x z)) x)
Compiler

Compiled 2797 to 856 computations (69.4% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓3.7b
(fma.f64 y (/.f64 x z) (/.f64 x z))

series19.0ms (0.7%)

Counts
1 → 36
Calls

1 calls:

18.0ms
(fma.f64 y (/.f64 x z) (/.f64 x z))

rewrite78.0ms (2.8%)

Algorithm
1×batch-egg-rewrite
Rules
617×log1p-expm1-u_binary64
617×expm1-log1p-u_binary64
308×prod-diff_binary64
119×expm1-udef_binary64
119×log1p-udef_binary64
Counts
1 → 28
Calls

1 calls:

77.0ms
(fma.f64 y (/.f64 x z) (/.f64 x z))
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0611
112410
2158510
3488110
4507510

simplify20.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
42×fma-def_binary64
16×associate-*l*_binary64
15×associate-*r*_binary64
12×associate-/l*_binary64
9×associate-/r/_binary64
Counts
64 → 35
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
015447
127447
241381
357381
457282
5114282
6112282
7116282
8114282

prune23.0ms (0.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New35035
Fresh033
Picked011
Done011
Total35540
Error
0.0b
Counts
40 → 5
Alt Table
StatusErrorProgram
37.2b
(pow.f64 (sqrt.f64 (/.f64 (fma.f64 x (-.f64 y z) x) z)) 2)
5.1b
(-.f64 (fma.f64 (/.f64 y z) x (/.f64 x z)) x)
✓2.6b
(-.f64 (+.f64 (/.f64 (*.f64 y x) z) (/.f64 x z)) x)
✓2.1b
(-.f64 (fma.f64 y (/.f64 x z) (/.f64 x z)) x)
▶2.6b
(-.f64 (+.f64 (pow.f64 (/.f64 z (*.f64 y x)) -1) (/.f64 x z)) x)
Compiler

Compiled 582 to 278 computations (52.2% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

series98.0ms (3.5%)

Counts
3 → 72
Calls

3 calls:

41.0ms
(+.f64 (pow.f64 (/.f64 z (*.f64 y x)) -1) (/.f64 x z))
40.0ms
(pow.f64 (/.f64 z (*.f64 y x)) -1)
17.0ms
(/.f64 z (*.f64 y x))

rewrite73.0ms (2.6%)

Algorithm
1×batch-egg-rewrite
Rules
598×log-prod_binary64
378×fma-def_binary64
201×expm1-udef_binary64
201×log1p-udef_binary64
186×log-div_binary64
Counts
3 → 183
Calls

3 calls:

70.0ms
(+.f64 (pow.f64 (/.f64 z (*.f64 y x)) -1) (/.f64 x z))
70.0ms
(pow.f64 (/.f64 z (*.f64 y x)) -1)
70.0ms
(/.f64 z (*.f64 y x))
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01033
122327
2306827
3584727

simplify28.0ms (1%)

Algorithm
1×egg-herbie
Rules
42×fma-def_binary64
16×associate-*l*_binary64
15×associate-*r*_binary64
12×associate-/l*_binary64
9×associate-/r/_binary64
Counts
255 → 187
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
015534
127534
241534
357534
457534
5114534
6112534
7116534
8114534

prune112.0ms (4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1861187
Fresh022
Picked101
Done022
Total1875192
Error
0b
Counts
192 → 5
Alt Table
StatusErrorProgram
37.2b
(pow.f64 (sqrt.f64 (/.f64 (fma.f64 x (-.f64 y z) x) z)) 2)
5.1b
(-.f64 (fma.f64 (/.f64 y z) x (/.f64 x z)) x)
✓2.6b
(-.f64 (+.f64 (/.f64 (*.f64 y x) z) (/.f64 x z)) x)
✓2.1b
(-.f64 (fma.f64 y (/.f64 x z) (/.f64 x z)) x)
2.3b
(-.f64 (+.f64 (/.f64 y (/.f64 z x)) (/.f64 x z)) x)
Compiler

Compiled 3391 to 1067 computations (68.5% saved)

regimes217.0ms (7.7%)

Accuracy

Total 0.1b remaining (83.9%)

Threshold costs 0.1b (83.9%)

Counts
41 → 3
Compiler

Compiled 2320 to 1334 computations (42.5% saved)

bsearch1.0ms (0%)

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify4.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02373
13473
24273
34673
44873
54773

end72.0ms (2.6%)

Compiler

Compiled 174 to 98 computations (43.7% saved)

Profiling

Loading profile data...