Details

Time bar (total: 1.0s)

analyze98.0ms (9.5%)

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
25%74.9%0.1%5
37.5%62.4%0.1%6
67.1%32.8%0.1%7
71%28.9%0.1%8
82.3%17.6%0.1%9
84.9%15%0.1%10
90.8%9.1%0.1%11
92.2%7.7%0.1%12
95.3%4.6%0.1%13
96%3.9%0.1%14
Compiler

Compiled 10 to 7 computations (30% saved)

sample16.0ms (1.5%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
Compiler

Compiled 21 to 15 computations (28.6% saved)

simplify8.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
2×associate-/l*_binary64
2×associate-/r/_binary64
1×+-commutative_binary64
1×1-exp_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11310
21710
32010
42110
52010

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
8.6b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶8.6b
(/.f64 (*.f64 x y) (+.f64 y 1))
Compiler

Compiled 27 to 18 computations (33.3% saved)

localize4.0ms (0.4%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓8.0b
(/.f64 (*.f64 x y) (+.f64 y 1))

series10.0ms (1%)

Counts
1 → 24
Calls

1 calls:

10.0ms
(/.f64 (*.f64 x y) (+.f64 y 1))

rewrite7.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
7×*-un-lft-identity_binary64
6×add-cbrt-cube_binary64
6×add-exp-log_binary64
4×associate-/r*_binary64
4×times-frac_binary64
Counts
1 → 27
Calls

1 calls:

5.0ms
(/.f64 (*.f64 x y) (+.f64 y 1))

simplify66.0ms (6.4%)

Algorithm
1×egg-herbie
Rules
713×fma-neg_binary64
694×times-frac_binary64
647×fma-def_binary64
447×associate-/l*_binary64
224×cancel-sign-sub-inv_binary64
Counts
51 → 54
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
082672
1217596
2717591
33018590
44493590
55048590

prune26.0ms (2.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New52254
Fresh000
Picked011
Done000
Total52355
Error
0b
Counts
55 → 3
Alt Table
StatusErrorProgram
✓8.6b
(/.f64 (*.f64 x y) (+.f64 y 1))
29.6b
(-.f64 x (/.f64 x y))
▶8.8b
(/.f64 1 (/.f64 (+.f64 y 1) (*.f64 x y)))
Compiler

Compiled 717 to 402 computations (43.9% saved)

localize6.0ms (0.6%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.3b
(/.f64 1 (/.f64 (+.f64 y 1) (*.f64 x y)))
✓8.1b
(/.f64 (+.f64 y 1) (*.f64 x y))

series20.0ms (2%)

Counts
2 → 48
Calls

2 calls:

11.0ms
(/.f64 1 (/.f64 (+.f64 y 1) (*.f64 x y)))
9.0ms
(/.f64 (+.f64 y 1) (*.f64 x y))

rewrite18.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Rules
44×times-frac_binary64
33×*-un-lft-identity_binary64
28×add-exp-log_binary64
21×add-sqr-sqrt_binary64
21×add-cube-cbrt_binary64
Counts
2 → 89
Calls

2 calls:

6.0ms
(/.f64 1 (/.f64 (+.f64 y 1) (*.f64 x y)))
5.0ms
(/.f64 (+.f64 y 1) (*.f64 x y))

simplify100.0ms (9.8%)

Algorithm
1×egg-herbie
Rules
598×fma-neg_binary64
500×associate-/l*_binary64
467×associate-/r*_binary64
391×cancel-sign-sub-inv_binary64
311×associate-*l*_binary64
Counts
137 → 142
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01242052
12901743
210501730
338021730
447781730
551151730

prune67.0ms (6.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1420142
Fresh011
Picked011
Done011
Total1423145
Error
0b
Counts
145 → 3
Alt Table
StatusErrorProgram
✓8.6b
(/.f64 (*.f64 x y) (+.f64 y 1))
▶29.6b
(-.f64 x (/.f64 x y))
✓8.8b
(/.f64 1 (/.f64 (+.f64 y 1) (*.f64 x y)))
Compiler

Compiled 2183 to 1381 computations (36.7% saved)

localize3.0ms (0.3%)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done022
Total033
Error
0b
Counts
3 → 3
Alt Table
StatusErrorProgram
✓8.6b
(/.f64 (*.f64 x y) (+.f64 y 1))
✓29.6b
(-.f64 x (/.f64 x y))
✓8.8b
(/.f64 1 (/.f64 (+.f64 y 1) (*.f64 x y)))
Compiler

Compiled 27 to 18 computations (33.3% saved)

regimes49.0ms (4.8%)

Accuracy

Total 0.1b remaining (90.8%)

Threshold costs 0.1b (90.8%)

Counts
6 → 3
Compiler

Compiled 180 to 122 computations (32.2% saved)

bsearch22.0ms (2.1%)

Steps
ItersRangePoint
9
85949.85224715564
23199286408.879017
217570469.80289507
4
-1.0627116802093e+51
-6.2426933281012e+50
-6.330577992617213e+50
Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify3.0ms (0.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01631
12531
23131
33531
43831
53931
63831

end1.0ms (0.1%)

Compiler

Compiled 23 to 15 computations (34.8% saved)

sample498.0ms (48.6%)

Algorithm
1×intervals
Results
240.0ms8000×body128valid
Compiler

Compiled 62 to 42 computations (32.3% saved)

Profiling

Loading profile data...