Details

Time bar (total: 2.8s)

analyze291.0ms (10.3%)

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)

sample27.0ms (0.9%)

Algorithm
1×intervals
Results
17.0ms256×body128valid
Compiler

Compiled 30 to 22 computations (26.7% saved)

simplify283.0ms (10%)

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

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
0.0b
Counts
1 → 1
Alt Table
StatusErrorProgram
▶0.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.3%)

Local error

Found 3 expressions with local error:

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

rewrite150.0ms (5.3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
63×*-un-lft-identity_binary64
50×times-frac_binary64
39×add-sqr-sqrt_binary64
29×add-cube-cbrt_binary64
26×sqrt-prod_binary64
Counts
3 → 100
Calls

3 calls:

29.0ms
(log.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))
17.0ms
(+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))
5.0ms
(/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)
Compiler

Compiled 2048 to 1289 computations (37.1% saved)

series38.0ms (1.3%)

Error
0.0b
Counts
3 → 18
Calls

3 calls:

10.0ms
(/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)
9.0ms
(log.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))
7.0ms
(+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))
Compiler

Compiled 496 to 413 computations (16.7% saved)

simplify121.0ms (4.3%)

Algorithm
1×egg-herbie
Rules
478×associate-/l/_binary64
275×distribute-rgt-in_binary64
273×distribute-rgt-neg-in_binary64
252×sub-neg_binary64
228×distribute-lft-neg-in_binary64
Counts
118 → 63
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01832895
13742644
29132601
325042417
449452417

prune38.0ms (1.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New62163
Fresh000
Picked011
Done000
Total62264
Error
0b
Counts
64 → 2
Alt Table
StatusErrorProgram
✓0.0b
(log.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))
▶0.0b
(log.f64 (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 x)) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) (sqrt.f64 x)))))
Compiler

Compiled 938 to 615 computations (34.4% saved)

localize15.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite326.0ms (11.5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
184×sqrt-prod_binary64
178×times-frac_binary64
159×add-sqr-sqrt_binary64
155×*-un-lft-identity_binary64
113×add-cube-cbrt_binary64
Counts
4 → 281
Calls

4 calls:

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

Compiled 6818 to 3994 computations (41.4% saved)

series25.0ms (0.9%)

Error
0b
Counts
4 → 12
Calls

4 calls:

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

Compiled 475 to 363 computations (23.6% saved)

simplify276.0ms (9.7%)

Algorithm
1×egg-herbie
Rules
562×times-frac_binary64
345×associate-/l*_binary64
304×associate-*l/_binary64
278×distribute-rgt-in_binary64
260×distribute-lft-in_binary64
Counts
293 → 229
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01956491
14595445
212855213
332975011
445955011
549595011

prune92.0ms (3.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New2290229
Fresh000
Picked011
Done011
Total2292231
Error
0b
Counts
231 → 2
Alt Table
StatusErrorProgram
0.0b
(log.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))
0.0b
(log.f64 (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 x)) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) (sqrt.f64 x)))))
Compiler

Compiled 2859 to 1644 computations (42.5% saved)

regimes86.0ms (3%)

Accuracy

Total 0.0b remaining (17%)

Threshold costs 0.0b (17%)

Compiler

Compiled 1386 to 994 computations (28.3% saved)

simplify4.0ms (0.1%)

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
01530
12430
23030
33430
43630
53430

end1.0ms (0%)

Compiler

Compiled 20 to 14 computations (30% saved)

sample1.0s (37.1%)

Algorithm
1×intervals
Results
569.0ms8000×body128valid
0.0ms1×body128nan
Compiler

Compiled 72 to 51 computations (29.2% saved)

Profiling

Loading profile data...