Details

Time bar (total: 3.3s)

analyze686.0ms (20.7%)

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
9.4%90.5%0.1%7
14%85.8%0.1%8
21.1%78%0.9%9
37.3%60.3%2.5%10
39.7%56.1%4.2%11
45.6%48.7%5.7%12
55.9%35.1%8.9%13
57.6%32.1%10.3%14
Compiler

Compiled 13 to 8 computations (38.5% saved)

sample1.1s (34.5%)

Results
863.0ms8256×body128valid
112.0ms1123×body128invalid
Compiler

Compiled 38 to 23 computations (39.5% saved)

simplify112.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
2064×fma-neg_binary64
381×div-sub_binary64
365×associate-/l*_binary64
334×distribute-neg-frac_binary64
322×sub-neg_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0813
11211
22511
34711
48211
514311
622811
744211
8104111
9247211
10280511
11294411
12327311
13344111
14351311
15498611

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 42 to 21 computations (50% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series19.0ms (0.6%)

Counts
2 → 72
Calls

2 calls:

12.0ms
(/.f64 (fma.f64 y (-.f64 z x) x) z)
6.0ms
(fma.f64 y (-.f64 z x) x)

rewrite52.0ms (1.6%)

Algorithm
2×batch-egg-rewrite
Rules
870×log1p-expm1-u_binary64
870×expm1-log1p-u_binary64
441×prod-diff_binary64
83×add-sqr-sqrt_binary64
77×add-log-exp_binary64
Counts
2 → 56
Calls

2 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0719
115619
2214419
3614519
000
100

simplify244.0ms (7.4%)

Algorithm
1×egg-herbie
Rules
972×div-sub_binary64
791×*-commutative_binary64
677×associate-/r/_binary64
501×fma-def_binary64
491×associate-/l/_binary64
Counts
128 → 78
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
032753
184726
2178672
3384618
4724618
51858618
62302618
72599618
82755618
92875618
102911618
112808618
123785618
134284618
144283618
154842618
164846618
175144618

prune34.0ms (1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New76278
Fresh000
Picked011
Done000
Total76379
Error
0.0b
Counts
79 → 3
Alt Table
StatusErrorProgram
22.2b
(-.f64 y (*.f64 (/.f64 x z) y))
▶3.9b
(fma.f64 x (/.f64 (-.f64 1 y) z) y)
✓12.3b
(/.f64 (fma.f64 y (-.f64 z x) x) z)
Compiler

Compiled 986 to 291 computations (70.5% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series14.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

14.0ms
(fma.f64 x (/.f64 (-.f64 1 y) z) y)

rewrite47.0ms (1.4%)

Algorithm
2×batch-egg-rewrite
Rules
896×log1p-expm1-u_binary64
896×expm1-log1p-u_binary64
270×prod-diff_binary64
87×add-sqr-sqrt_binary64
80×add-cbrt-cube_binary64
Counts
1 → 23
Calls

1 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0811
117011
2221411
3599511
000
100

simplify57.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
754×fma-def_binary64
525×fma-neg_binary64
131×distribute-rgt-in_binary64
92×distribute-lft-in_binary64
75×cancel-sign-sub-inv_binary64
Counts
59 → 34
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
025417
160417
2148417
3252408
4533354
5975354
61166354
71203354
81198354
91127354

prune24.0ms (0.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New34034
Fresh011
Picked011
Done011
Total34337
Error
0.0b
Counts
37 → 3
Alt Table
StatusErrorProgram
▶22.2b
(-.f64 y (*.f64 (/.f64 x z) y))
✓3.9b
(fma.f64 x (/.f64 (-.f64 1 y) z) y)
✓12.3b
(/.f64 (fma.f64 y (-.f64 z x) x) z)
Compiler

Compiled 449 to 262 computations (41.6% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series26.0ms (0.8%)

Counts
2 → 72
Calls

2 calls:

15.0ms
(*.f64 (/.f64 x z) y)
11.0ms
(-.f64 y (*.f64 (/.f64 x z) y))

rewrite80.0ms (2.4%)

Algorithm
2×batch-egg-rewrite
Rules
901×expm1-log1p-u_binary64
654×prod-diff_binary64
146×egg-rr
85×add-sqr-sqrt_binary64
81×log1p-expm1-u_binary64
Counts
2 → 146
Calls

2 calls:

76.0ms
(-.f64 y (*.f64 (/.f64 x z) y))
76.0ms
(*.f64 (/.f64 x z) y)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
116017
2225117
3517617
000
100

simplify58.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
379×fma-def_binary64
209×fma-neg_binary64
75×distribute-rgt-in_binary64
69×associate-*l*_binary64
66×distribute-lft-in_binary64
Counts
218 → 152
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
016582
136582
283582
3124582
4278582
5471582
6587582
7570582
8580582
9586582
10591582
11534582

prune75.0ms (2.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1502152
Fresh000
Picked011
Done022
Total1505155
Error
0b
Counts
155 → 5
Alt Table
StatusErrorProgram
✓22.2b
(-.f64 y (*.f64 (/.f64 x z) y))
✓3.9b
(fma.f64 x (/.f64 (-.f64 1 y) z) y)
34.8b
(+.f64 (-.f64 y (*.f64 (/.f64 x z) y)) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 (/.f64 x z) y))) (sqrt.f64 (*.f64 (/.f64 x z) y)) (*.f64 (/.f64 x z) y)))
▶22.2b
(-.f64 y (/.f64 y (/.f64 z x)))
✓12.3b
(/.f64 (fma.f64 y (-.f64 z x) x) z)
Compiler

Compiled 3931 to 863 computations (78% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series23.0ms (0.7%)

Counts
2 → 72
Calls

2 calls:

13.0ms
(/.f64 y (/.f64 z x))
11.0ms
(-.f64 y (/.f64 y (/.f64 z x)))

rewrite123.0ms (3.7%)

Algorithm
2×batch-egg-rewrite
Rules
861×prod-diff_binary64
244×egg-rr
223×fma-def_binary64
158×expm1-udef_binary64
158×log1p-udef_binary64
Counts
2 → 244
Calls

2 calls:

116.0ms
(-.f64 y (/.f64 y (/.f64 z x)))
116.0ms
(/.f64 y (/.f64 z x))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
116317
2242917
3484217
4518217
000
100

simplify61.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
379×fma-def_binary64
209×fma-neg_binary64
75×distribute-rgt-in_binary64
69×associate-*l*_binary64
66×distribute-lft-in_binary64
Counts
316 → 251
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
016582
136582
283582
3124582
4278582
5471582
6587582
7570582
8580582
9586582
10591582
11534582

prune125.0ms (3.8%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New2501251
Fresh101
Picked011
Done033
Total2515256
Error
0b
Counts
256 → 5
Alt Table
StatusErrorProgram
✓22.2b
(-.f64 y (*.f64 (/.f64 x z) y))
✓3.9b
(fma.f64 x (/.f64 (-.f64 1 y) z) y)
34.0b
(fma.f64 (sqrt.f64 (/.f64 y (/.f64 z x))) (neg.f64 (sqrt.f64 (/.f64 y (/.f64 z x)))) y)
✓22.2b
(-.f64 y (/.f64 y (/.f64 z x)))
✓12.3b
(/.f64 (fma.f64 y (-.f64 z x) x) z)
Compiler

Compiled 6749 to 1643 computations (75.7% saved)

regimes206.0ms (6.2%)

Accuracy

Total 0.1b remaining (93.9%)

Threshold costs 0.1b (93.9%)

Counts
29 → 3
Compiler

Compiled 1292 to 756 computations (41.5% saved)

bsearch15.0ms (0.4%)

Steps
ItersRangePoint
4
1.8250421129875255e+39
4.932295104061786e+39
1.9501817946579704e+39
2
-3.010153315721966e+39
-9.625101298324684e+34
-1.2596917542803703e+36
Compiler

Compiled 4 to 3 computations (25% saved)

simplify4.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01848
12648
23348
34348
44848
55148
65248
75248

end63.0ms (1.9%)

Compiler

Compiled 132 to 65 computations (50.8% saved)

Profiling

Loading profile data...