Details

Time bar (total: 1.0s)

analyze232.0ms (23%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%50%50%2
0%50%50%3
12.5%25%62.5%4
18.7%12.5%68.8%5
21.9%6.2%71.9%6
23.4%3.1%73.5%7
24.2%1.6%74.2%8
24.6%0.8%74.6%9
24.8%0.4%74.8%10
24.9%0.2%74.9%11
24.9%0.1%75%12
25%0%75%13
25%0%75%14
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample17.0ms (1.7%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify9.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
1×1-exp_binary64 sub-neg_binary64 *-commutative_binary64 +-commutative_binary64
Counts
1 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
11311
21411
31211

prune4.0ms (0.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
0.4b
Counts
1 → 1
Alt Table
StatusErrorProgram
▶0.4b
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
Compiler

Compiled 16 to 12 computations (25% saved)

localize6.0ms (0.6%)

Local error

Found 1 expressions with local error:

0.4b
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))

rewrite50.0ms (4.9%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
19×add-sqr-sqrt_binary64
14×sqrt-prod_binary64
10×associate-*l*_binary64
8×*-un-lft-identity_binary64
6×associate-*r*_binary64
Counts
1 → 37
Calls

1 calls:

12.0ms
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
Compiler

Compiled 389 to 254 computations (34.7% saved)

series24.0ms (2.3%)

Error
0b
Counts
1 → 6
Calls

1 calls:

18.0ms
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
Compiler

Compiled 109 to 85 computations (22% saved)

simplify96.0ms (9.5%)

Algorithm
1×egg-herbie
Rules
633×distribute-rgt-in_binary64
498×distribute-lft-in_binary64
340×associate-*l*_binary64
304×sub-neg_binary64
245×unswap-sqr_binary64
Counts
43 → 26
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
074576
1151564
2348564
3704564
41685554
54302554
64677554
74896554

prune15.0ms (1.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New25126
Fresh000
Picked011
Done000
Total25227
Error
0b
Counts
27 → 2
Alt Table
StatusErrorProgram
▶0.2b
(-.f64 x (+.f64 1/2 (/.f64 1/8 x)))
✓0.4b
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
Compiler

Compiled 254 to 169 computations (33.5% saved)

localize4.0ms (0.4%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Error
0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error
0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

simplify7.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
100

prune3.0ms (0.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done011
Total022
Error
0b
Counts
2 → 2
Alt Table
StatusErrorProgram
0.2b
(-.f64 x (+.f64 1/2 (/.f64 1/8 x)))
0.4b
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
Compiler

Compiled 16 to 12 computations (25% saved)

regimes61.0ms (6%)

Accuracy

Total 0.3b remaining (98.5%)

Threshold costs 0.3b (98.5%)

Compiler

Compiled 437 to 311 computations (28.8% saved)

simplify4.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
5×+-commutative_binary64
4×sub-neg_binary64 *-commutative_binary64
3×neg-mul-1_binary64 neg-sub0_binary64
2×distribute-neg-in_binary64 distribute-rgt-neg-in_binary64 distribute-lft-neg-in_binary64
1×1-exp_binary64 unsub-neg_binary64 distribute-neg-frac_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0913
11513
22413
33613
44313
54613
64713
74313

end1.0ms (0.1%)

Compiler

Compiled 10 to 8 computations (20% saved)

sample476.0ms (47.1%)

Algorithm
1×intervals
Results
240.0ms8000×body128valid
0.0ms5×body128nan
Compiler

Compiled 36 to 28 computations (22.2% saved)

Profiling

Loading profile data...