Details

Time bar (total: 1.7s)

analyze309.0ms (18.4%)

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)

sample21.0ms (1.2%)

Algorithm
1×intervals
Results
13.0ms256×body128valid
Compiler

Compiled 30 to 22 computations (26.7% saved)

simplify290.0ms (17.2%)

Algorithm
1×egg-herbie
Rules
2074×distribute-lft-out--_binary64
788×distribute-rgt-out--_binary64
756×unsub-neg_binary64
614×sub-neg_binary64
581×distribute-rgt-out_binary64
Counts
1 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01020
11820
22420
33120
44520
56020
69620
721320
836420
948620
10109920
11187720
12193120
13216720
14231520
15231320
16239020
17264920
18321220
19420420
20473820
21478020
22479120
23478820
24457320
25436620
26450320
27456320
28460620
29754420

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 28 to 20 computations (28.6% saved)

localize9.0ms (0.5%)

Local error

Found 3 expressions with local error:

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

rewrite114.0ms (6.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
45×*-un-lft-identity_binary64
37×times-frac_binary64
34×add-sqr-sqrt_binary64
28×sqrt-prod_binary64
25×add-cube-cbrt_binary64
Counts
3 → 90
Calls

3 calls:

26.0ms
(+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))
6.0ms
(/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)
3.0ms
(sqrt.f64 (-.f64 1 (*.f64 x x)))
Compiler

Compiled 1821 to 1143 computations (37.2% saved)

series48.0ms (2.9%)

Error
0b
Counts
3 → 18
Calls

3 calls:

11.0ms
(/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)
10.0ms
(+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))
10.0ms
(sqrt.f64 (-.f64 1 (*.f64 x x)))
Compiler

Compiled 569 to 465 computations (18.3% saved)

simplify128.0ms (7.6%)

Algorithm
1×egg-herbie
Rules
478×associate-/l/_binary64
305×distribute-rgt-neg-in_binary64
256×distribute-lft-neg-in_binary64
252×distribute-rgt-in_binary64
222×distribute-rgt-out_binary64
Counts
108 → 49
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01601965
13481917
28541911
323511908
449791908
548731908

prune38.0ms (2.2%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New49049
Fresh000
Picked011
Done000
Total49150
Error
0b
Counts
50 → 1
Alt Table
StatusErrorProgram
0b
(log.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))
Compiler

Compiled 823 to 542 computations (34.1% saved)

regimes42.0ms (2.5%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 241 to 181 computations (24.9% saved)

simplify3.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
4×+-commutative_binary64
3×sub-neg_binary64
2×neg-mul-1_binary64 neg-sub0_binary64 *-commutative_binary64
1×1-exp_binary64 cancel-sign-sub-inv_binary64 distribute-lft-neg-out_binary64 distribute-rgt-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01020
11820
22420
32820
43020
52920

end1.0ms (0%)

Compiler

Compiled 14 to 10 computations (28.6% saved)

sample680.0ms (40.4%)

Algorithm
1×intervals
Results
437.0ms8000×body128valid
0.0ms7×body128nan
Compiler

Compiled 44 to 32 computations (27.3% saved)

Profiling

Loading profile data...