Details

Time bar (total: 1.4s)

analyze7.0ms (0.5%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%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 15 to 11 computations (26.7% saved)

sample229.0ms (16.3%)

Algorithm
1×intervals
Results
17.0ms256×body128valid
Compiler

Compiled 30 to 22 computations (26.7% saved)

simplify200.0ms (14.3%)

Algorithm
1×egg-herbie
Rules
1115×distribute-rgt-neg-in_binary64
788×distribute-rgt-out--_binary64
692×unsub-neg_binary64
492×fma-neg_binary64
461×distribute-neg-in_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01020
11820
22420
33420
45020
57320
611320
724720
845220
974220
10156020
11233820
12239220
13262820
14277620
15277420
16285120
17311020
18367320
19466520
20491020
21495220
22496320
23496020
24620820

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 42 to 30 computations (28.6% saved)

localize8.0ms (0.6%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)
✓0.0b
(sqrt.f64 (-.f64 1 (*.f64 x x)))

series11.0ms (0.8%)

Counts
2 → 24
Calls

2 calls:

7.0ms
(/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)
4.0ms
(sqrt.f64 (-.f64 1 (*.f64 x x)))

rewrite12.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
26×add-sqr-sqrt_binary64
25×*-un-lft-identity_binary64
25×sqrt-prod_binary64
24×times-frac_binary64
20×add-cube-cbrt_binary64
Counts
2 → 70
Calls

2 calls:

5.0ms
(/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)
3.0ms
(sqrt.f64 (-.f64 1 (*.f64 x x)))

simplify72.0ms (5.1%)

Algorithm
1×egg-herbie
Rules
853×fma-neg_binary64
472×associate-/r*_binary64
367×associate-*l*_binary64
342×associate-*r*_binary64
333×fma-def_binary64
Counts
94 → 124
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01661848
13961767
211021750
338141750
449251750

prune72.0ms (5.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New1240124
Fresh000
Picked011
Done000
Total1241125
Error
0b
Counts
125 → 1
Alt Table
StatusErrorProgram
✓0b
(log.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))
Compiler

Compiled 2744 to 1933 computations (29.6% saved)

regimes22.0ms (1.5%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
4 → 1
Compiler

Compiled 202 to 148 computations (26.7% saved)

simplify2.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01020
11820
22420
32820
43020
52920

end0.0ms (0%)

Compiler

Compiled 14 to 10 computations (28.6% saved)

sample767.0ms (54.6%)

Algorithm
1×intervals
Results
549.0ms8000×body128valid
0.0ms4×body128nan
Compiler

Compiled 44 to 32 computations (27.3% saved)

Profiling

Loading profile data...