sintan (problem 3.4.5)

Time bar (total: 23.9s)

analyze200.0ms (0.8%)

Memory
4.0MiB live, 83.9MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%49.9%50.1%0%0%0%0
0%0%49.9%50.1%0%0%0%1
0%0%49.9%50.1%0%0%0%2
0%0%49.9%50.1%0%0%0%3
0%0%49.9%50.1%0%0%0%4
0%0%49.9%50.1%0%0%0%5
0%0%49.9%50.1%0%0%0%6
0%0%49.9%50.1%0%0%0%7
0%0%49.9%50.1%0%0%0%8
0%0%49.9%50.1%0%0%0%9
0%0%49.9%50.1%0%0%0%10
0%0%49.9%50.1%0%0%0%11
0%0%49.9%50.1%0%0%0%12
Compiler

Compiled 22 to 15 computations (31.8% saved)

sample23.6s (98.8%)

Memory
53.8MiB live, 2 499.1MiB allocated
Samples
5.0s4 128×2valid-baseline
4.8s4 128×2valid-sollya
4.3s4 128×2valid-rival
3.8s1 270×3valid-baseline
2.0s1 270×3valid-sollya
1.1s1 270×3valid-rival
672.0ms2 758×1valid-baseline
475.0ms2 758×1valid-rival
432.0ms2 758×1valid-sollya
8.0ms95×0valid-baseline
6.0ms95×0valid-rival
6.0ms95×0valid-sollya
2.0ms3×3valid-rival+sollya-real
0.0ms1×3valid-rival+baseline-real
0.0ms1×2valid-rival+baseline-real
Precisions
Click to see Rival histograms. Total time spent on operations: 5.6s
ival-tan: 3.4s (60.4% of total)
ival-sin: 1.7s (30.7% of total)
ival-sub: 219.0ms (3.9% of total)
adjust: 178.0ms (3.2% of total)
ival-div: 91.0ms (1.6% of total)
ival-true: 8.0ms (0.1% of total)
ival-assert: 3.0ms (0.1% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 8.7s
ival-tan: 5.5s (63.7% of total)
ival-sin: 2.6s (29.6% of total)
ival-sub: 400.0ms (4.6% of total)
ival-div: 156.0ms (1.8% of total)
const: 28.0ms (0.3% of total)
Bogosity

preprocess65.0ms (0.3%)

Memory
3.3MiB live, 19.8MiB allocated
Algorithm
1×egg-herbie
Rules
213×fma-define
150×fmm-def
62×times-frac
43×unsub-neg
39×associate-*l*
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
018176
142164
294156
3266156
4572156
5887156
61035156
71073156
81134156
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(/.f64 (-.f64 (neg.f64 eps) (sin.f64 (neg.f64 eps))) (-.f64 (neg.f64 eps) (tan.f64 (neg.f64 eps))))
(neg.f64 (/.f64 (-.f64 (neg.f64 eps) (sin.f64 (neg.f64 eps))) (-.f64 (neg.f64 eps) (tan.f64 (neg.f64 eps)))))
Outputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(/.f64 (-.f64 (neg.f64 eps) (sin.f64 (neg.f64 eps))) (-.f64 (neg.f64 eps) (tan.f64 (neg.f64 eps))))
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(neg.f64 (/.f64 (-.f64 (neg.f64 eps) (sin.f64 (neg.f64 eps))) (-.f64 (neg.f64 eps) (tan.f64 (neg.f64 eps)))))
(/.f64 (-.f64 (neg.f64 eps) (sin.f64 (neg.f64 eps))) (neg.f64 (-.f64 (neg.f64 eps) (neg.f64 (tan.f64 eps)))))
(/.f64 (fma.f64 #s(literal -1 binary64) eps (sin.f64 eps)) (neg.f64 (fma.f64 #s(literal -1 binary64) eps (tan.f64 eps))))
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (tan.f64 eps) eps))
Symmetry

(abs eps)

Compiler

Compiled 10 to 6 computations (40% saved)

eval0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Memory
0.8MiB live, 0.8MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
1.2%
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
Compiler

Compiled 20 to 12 computations (40% saved)

simplify2.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Algorithm
1×egg-herbie
Rules
4×sub-neg
4×+-commutative
2×*-commutative
2×neg-sub0
2×neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01139
11539
22339
32739
42939
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
Outputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))

soundness0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Stop Event
1×fuel
Compiler

Compiled 10 to 6 computations (40% saved)

preprocess31.0ms (0.1%)

Memory
-4.7MiB live, 42.0MiB allocated
Remove

(abs eps)

Compiler

Compiled 172 to 104 computations (39.5% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...