Details

Time bar (total: 7.3s)

analyze880.0ms (12.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
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%10
47.3%48.7%4%11
48.4%45.8%5.8%12
58.6%32.4%9%13
63.4%27.5%9%14
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.7s (23.9%)

Results
1.4s8256×body128valid
133.0ms791×body128invalid
Compiler

Compiled 32 to 20 computations (37.5% saved)

simplify181.0ms (2.5%)

Algorithm
1×egg-herbie
Rules
907×associate-/l*_binary64
740×associate-/l/_binary64
677×fma-def_binary64
607×associate-/r/_binary64
557×associate-*l/_binary64
Counts
1 → 2
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
0710
11710
22310
33610
44110
54710
6518
7618
82288
97618
108518
119648
129758
139808
149858
1522318
1622888
1726378
1826898
1929018
2030318
2132788
2237008
2341098
2441578
2548728
2649978
2748898

prune6.0ms (0.1%)

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
▶2.3b
(fma.f64 x (/.f64 y z) x)
17.1b
(/.f64 (*.f64 x (+.f64 y z)) z)
Compiler

Compiled 54 to 30 computations (44.4% saved)

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series23.0ms (0.3%)

Counts
1 → 36
Calls

1 calls:

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

rewrite85.0ms (1.2%)

Algorithm
2×batch-egg-rewrite
Rules
616×log1p-expm1-u_binary64
616×expm1-log1p-u_binary64
323×log-prod_binary64
119×expm1-udef_binary64
119×log1p-udef_binary64
Counts
1 → 29
Calls

1 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
068
11248
215828
350668
000
100

simplify35.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
20×fma-def_binary64
10×associate-*r*_binary64
9×associate-/r/_binary64
8×associate-/l*_binary64
6×associate-*l*_binary64
Counts
65 → 35
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
011324
119324
229264
331264
461264
564264
673264
774264
876264
974264

prune79.0ms (1.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New33235
Fresh101
Picked011
Done000
Total34337
Error
0.0b
Counts
37 → 3
Alt Table
StatusErrorProgram
▶3.6b
(pow.f64 (cbrt.f64 (fma.f64 x (/.f64 y z) x)) 3)
8.6b
(+.f64 (/.f64 (*.f64 y x) z) x)
✓2.3b
(fma.f64 x (/.f64 y z) x)
Compiler

Compiled 437 to 135 computations (69.1% saved)

localize13.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.6b
(cbrt.f64 (fma.f64 x (/.f64 y z) x))
✓0.7b
(pow.f64 (cbrt.f64 (fma.f64 x (/.f64 y z) x)) 3)
2.2b
(fma.f64 x (/.f64 y z) x)

series2.8s (38.5%)

Counts
2 → 72
Calls

2 calls:

2.2s
(pow.f64 (cbrt.f64 (fma.f64 x (/.f64 y z) x)) 3)
572.0ms
(cbrt.f64 (fma.f64 x (/.f64 y z) x))

rewrite73.0ms (1%)

Algorithm
2×batch-egg-rewrite
Rules
784×log1p-expm1-u_binary64
784×expm1-log1p-u_binary64
87×prod-diff_binary64
84×add-sqr-sqrt_binary64
79×add-cbrt-cube_binary64
Counts
2 → 49
Calls

2 calls:

71.0ms
(cbrt.f64 (fma.f64 x (/.f64 y z) x))
71.0ms
(pow.f64 (cbrt.f64 (fma.f64 x (/.f64 y z) x)) 3)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0918
117218
2202818
3488418
000
100

simplify139.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
504×fma-neg_binary64
494×times-frac_binary64
343×associate-/l*_binary64
332×associate-*r*_binary64
263×associate-*l*_binary64
Counts
121 → 100
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01252245
13702143
29711954
346181948
450531948

prune107.0ms (1.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1350135
Fresh011
Picked011
Done011
Total1353138
Error
0.0b
Counts
138 → 3
Alt Table
StatusErrorProgram
✓3.6b
(pow.f64 (cbrt.f64 (fma.f64 x (/.f64 y z) x)) 3)
▶8.6b
(+.f64 (/.f64 (*.f64 y x) z) x)
✓2.3b
(fma.f64 x (/.f64 y z) x)
Compiler

Compiled 2627 to 1192 computations (54.6% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series47.0ms (0.7%)

Counts
2 → 18
Calls

2 calls:

25.0ms
(/.f64 (*.f64 y x) z)
22.0ms
(+.f64 (/.f64 (*.f64 y x) z) x)

rewrite86.0ms (1.2%)

Algorithm
2×batch-egg-rewrite
Rules
904×expm1-log1p-u_binary64
827×prod-diff_binary64
82×add-sqr-sqrt_binary64
78×egg-rr
78×log1p-expm1-u_binary64
Counts
2 → 78
Calls

2 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
115617
2224517
3549217
000
100

simplify28.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
19×fma-def_binary64
10×associate-*r*_binary64
9×associate-/r/_binary64
8×associate-/l*_binary64
6×associate-*l*_binary64
Counts
96 → 83
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
010144
117144
227120
331120
461120
564120
673120
774120
876120
974120

prune89.0ms (1.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New79483
Fresh000
Picked011
Done112
Total80686
Error
0.0b
Counts
86 → 6
Alt Table
StatusErrorProgram
✓8.6b
(+.f64 (/.f64 (*.f64 y x) z) x)
37.2b
(+.f64 (*.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (*.f64 y x) (sqrt.f64 z))) x)
▶2.4b
(+.f64 (*.f64 x (*.f64 y (/.f64 1 z))) x)
4.9b
(+.f64 (*.f64 y (*.f64 x (/.f64 1 z))) x)
4.9b
(+.f64 (*.f64 y (/.f64 1 (/.f64 z x))) x)
✓2.3b
(fma.f64 x (/.f64 y z) x)
Compiler

Compiled 1202 to 422 computations (64.9% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (*.f64 x (*.f64 y (/.f64 1 z))) x)
✓0.2b
(*.f64 y (/.f64 1 z))
✓5.5b
(*.f64 x (*.f64 y (/.f64 1 z)))

series60.0ms (0.8%)

Counts
3 → 96
Calls

3 calls:

26.0ms
(*.f64 x (*.f64 y (/.f64 1 z)))
22.0ms
(+.f64 (*.f64 x (*.f64 y (/.f64 1 z))) x)
12.0ms
(*.f64 y (/.f64 1 z))

rewrite88.0ms (1.2%)

Algorithm
2×batch-egg-rewrite
Rules
493×log-prod_binary64
320×fma-def_binary64
246×pow2_binary64
176×fma-neg_binary64
172×pow1/3_binary64
Counts
3 → 119
Calls

3 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0919
119319
2239519
3504119
000
100

simplify66.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
20×fma-def_binary64
10×associate-*r*_binary64
9×associate-/r/_binary64
8×associate-/l*_binary64
6×associate-*l*_binary64
Counts
215 → 123
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
011672
119672
229612
331612
461612
564612
673612
774612
876612
974612

prune142.0ms (2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New1203123
Fresh213
Picked011
Done022
Total1227129
Error
0.0b
Counts
129 → 7
Alt Table
StatusErrorProgram
4.9b
(fma.f64 y (*.f64 (/.f64 1 z) x) x)
✓2.3b
(fma.f64 x (/.f64 y z) x)
2.8b
(+.f64 (*.f64 x (pow.f64 (cbrt.f64 (/.f64 y z)) 3)) x)
✓8.6b
(+.f64 (/.f64 (*.f64 y x) z) x)
✓2.4b
(+.f64 (*.f64 x (*.f64 y (/.f64 1 z))) x)
4.9b
(+.f64 (*.f64 y (/.f64 1 (/.f64 z x))) x)
32.4b
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (/.f64 y z)) x)
Compiler

Compiled 1570 to 585 computations (62.7% saved)

regimes261.0ms (3.6%)

Accuracy

Total 1.7b remaining (99.4%)

Threshold costs 0b (0%)

Counts
22 → 3
Compiler

Compiled 976 to 646 computations (33.8% saved)

bsearch58.0ms (0.8%)

Steps
ItersRangePoint
8
4.5135905027431624e-98
1.705904121905435e-94
2.1422609114949007e-95
9
-3.452901360285043e-67
-9.934969070664855e-75
-8.412480443797539e-68
Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×*-commutative_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01739
12039
21939

end155.0ms (2.1%)

Compiler

Compiled 142 to 80 computations (43.7% saved)

Profiling

Loading profile data...