Details

Time bar (total: 1.7s)

analyze160.0ms (9.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
12.5%87.4%0.1%6
50%50%0.1%7
62.4%37.5%0.1%8
76.1%23.8%0.1%9
81.8%18.1%0.1%10
87.7%12.2%0.1%11
90.7%9.2%0.1%12
93.7%6.2%0.1%13
95.3%4.6%0.1%14
Compiler

Compiled 22 to 13 computations (40.9% saved)

sample966.0ms (55.6%)

Results
955.0ms8256×body128valid
Compiler

Compiled 44 to 26 computations (40.9% saved)

preprocess43.0ms (2.5%)

Algorithm
2×egg-herbie
Rules
968×fma-def_binary64
834×fma-neg_binary64
302×cancel-sign-sub-inv_binary64
287×div-sub_binary64
232×associate-/l*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01652
14448
210248
321748
446248
588948
6147748
7247648
8435148
022
Stop Event
1×saturated
1×node limit
Compiler

Compiled 21 to 12 computations (42.9% saved)

simplify29.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
620×fma-def_binary64
456×cancel-sign-sub-inv_binary64
430×times-frac_binary64
358×div-sub_binary64
252×distribute-frac-neg_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01026
12424
25624
311424
424024
545724
672324
798724
8160724
9374524
Stop Event
1×node limit
Counts
1 → 2

prune3.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 76 to 43 computations (43.4% saved)

localize11.0ms (0.6%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 -4 (*.f64 y y))
✓1.0b
(fma.f64 x x (*.f64 -4 (*.f64 y y)))
✓30.8b
(/.f64 (fma.f64 x x (*.f64 -4 (*.f64 y y))) (fma.f64 x x (*.f64 y (*.f64 y 4))))

series25.0ms (1.5%)

Counts
3 → 60
Calls

15 calls:

4.0ms
(/.f64 (fma.f64 x x (*.f64 -4 (*.f64 y y))) (fma.f64 x x (*.f64 y (*.f64 y 4))))
x
inf
3.0ms
(/.f64 (fma.f64 x x (*.f64 -4 (*.f64 y y))) (fma.f64 x x (*.f64 y (*.f64 y 4))))
x
0
2.0ms
(/.f64 (fma.f64 x x (*.f64 -4 (*.f64 y y))) (fma.f64 x x (*.f64 y (*.f64 y 4))))
y
0
2.0ms
(/.f64 (fma.f64 x x (*.f64 -4 (*.f64 y y))) (fma.f64 x x (*.f64 y (*.f64 y 4))))
x
-inf
2.0ms
(/.f64 (fma.f64 x x (*.f64 -4 (*.f64 y y))) (fma.f64 x x (*.f64 y (*.f64 y 4))))
y
-inf

rewrite47.0ms (2.7%)

Algorithm
1×batch-egg-rewrite
Rules
878×expm1-log1p-u_binary64
244×prod-diff_binary64
118×add-sqr-sqrt_binary64
112×add-log-exp_binary64
112×log1p-expm1-u_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01242
124836
2313136
Stop Event
1×node limit
Counts
3 → 71

simplify33.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
499×associate-*l/_binary64
445×associate-*r/_binary64
368×fma-def_binary64
319×associate-/r/_binary64
311×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
046891
1121837
2346825
31380807
Stop Event
1×node limit
Counts
131 → 91

prune57.0ms (3.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New89291
Fresh000
Picked011
Done000
Total89392
Error
0.4b
Counts
92 → 3
Alt Table
StatusErrorProgram
33.6b
-1
✓31.3b
(/.f64 (fma.f64 x x (*.f64 -4 (*.f64 y y))) (fma.f64 x x (*.f64 y (*.f64 y 4))))
▶29.8b
(fma.f64 (/.f64 y x) (*.f64 -8 (/.f64 y x)) 1)
Compiler

Compiled 1839 to 1235 computations (32.8% saved)

localize6.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 -8 (/.f64 y x))
✓0.1b
(fma.f64 (/.f64 y x) (*.f64 -8 (/.f64 y x)) 1)

series19.0ms (1.1%)

Counts
2 → 24
Calls

12 calls:

3.0ms
(fma.f64 (/.f64 y x) (*.f64 -8 (/.f64 y x)) 1)
x
-inf
2.0ms
(fma.f64 (/.f64 y x) (*.f64 -8 (/.f64 y x)) 1)
y
-inf
2.0ms
(fma.f64 (/.f64 y x) (*.f64 -8 (/.f64 y x)) 1)
y
inf
2.0ms
(fma.f64 (/.f64 y x) (*.f64 -8 (/.f64 y x)) 1)
y
0
1.0ms
(*.f64 -8 (/.f64 y x))
y
-inf

rewrite42.0ms (2.4%)

Algorithm
1×batch-egg-rewrite
Rules
742×log1p-expm1-u_binary64
742×expm1-log1p-u_binary64
141×expm1-udef_binary64
141×log1p-udef_binary64
79×add-sqr-sqrt_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0821
116120
2197520
Stop Event
1×node limit
Counts
2 → 45

simplify25.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
740×associate-/r*_binary64
623×associate-*l/_binary64
535×associate-/l/_binary64
378×associate-/r/_binary64
156×times-frac_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
013330
132330
274294
3242294
41318294
Stop Event
1×node limit
Counts
69 → 50

prune28.0ms (1.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New50050
Fresh011
Picked011
Done011
Total50353
Error
0.4b
Counts
53 → 3
Alt Table
StatusErrorProgram
▶33.6b
-1
✓31.3b
(/.f64 (fma.f64 x x (*.f64 -4 (*.f64 y y))) (fma.f64 x x (*.f64 y (*.f64 y 4))))
✓29.8b
(fma.f64 (/.f64 y x) (*.f64 -8 (/.f64 y x)) 1)
Compiler

Compiled 692 to 444 computations (35.8% saved)

localize0.0ms (0%)

prune4.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done022
Total033
Error
0.4b
Counts
3 → 3
Alt Table
StatusErrorProgram
✓33.6b
-1
✓31.3b
(/.f64 (fma.f64 x x (*.f64 -4 (*.f64 y y))) (fma.f64 x x (*.f64 y (*.f64 y 4))))
✓29.8b
(fma.f64 (/.f64 y x) (*.f64 -8 (/.f64 y x)) 1)
Compiler

Compiled 34 to 21 computations (38.2% saved)

regimes168.0ms (9.7%)

Accuracy

Total 12.5b remaining (97.4%)

Threshold costs 0b (0%)

Counts
8 → 4
Compiler

Compiled 680 to 457 computations (32.8% saved)

bsearch1.0ms (0%)

Algorithm
3×left-value
Calls

3 calls:

0.0ms
(*.f64 (*.f64 y 4) y)
0.0ms
(*.f64 (*.f64 y 4) y)
0.0ms
(*.f64 (*.f64 y 4) y)
Steps
ItersPointRange
8.243350513607583e+226
∈ [
8.243350513607583e+226
, 
2.041723864432072e+240
]
1.5309129005238457e+197
∈ [
1.5309129005238457e+197
, 
6.017726785228723e+206
]
2.4518680323519546e-249
∈ [
2.4518680323519546e-249
, 
3.6044678158737084e-249
]
Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify4.0ms (0.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
03388
14088
Stop Event
1×saturated

end67.0ms (3.9%)

Stop Event
1×done
Compiler

Compiled 158 to 107 computations (32.3% saved)

Profiling

Loading profile data...