cos2 (problem 3.4.1)

Time bar (total: 5.3s)

analyze16.0ms (0.3%)

Memory
4.9MiB live, 4.9MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
50%50%50%0%0%0%0%2
75%75%25%0%0%0%0%3
87.5%87.5%12.5%0%0%0%0%4
93.8%93.7%6.2%0%0%0%0%5
96.9%96.8%3.1%0%0%0%0%6
98.4%98.4%1.6%0%0%0%0%7
99.2%99.2%0.8%0%0%0%0%8
99.6%99.6%0.4%0%0%0%0%9
99.8%99.8%0.2%0%0%0%0%10
99.9%99.9%0.1%0%0%0%0%11
100%99.9%0%0%0%0%0%12
Compiler

Compiled 20 to 15 computations (25% saved)

sample5.2s (97.9%)

Memory
-107.8MiB live, 1 164.1MiB allocated
Samples
958.0ms1 871×2336valid-baseline
573.0ms1 871×2336valid-sollya
564.0ms1 871×2336valid-rival
337.0ms1 174×1168valid-baseline
320.0ms4 148×73valid-baseline
293.0ms4 148×73valid-rival
259.0ms4 148×73valid-sollya
194.0ms1 174×1168valid-rival
159.0ms1 174×1168valid-sollya
119.0ms605×584valid-baseline
55.0ms605×584valid-rival
48.0ms605×584valid-sollya
43.0ms303×292valid-baseline
26.0ms303×292valid-rival
15.0ms154×146valid-baseline
14.0ms303×292valid-sollya
12.0ms154×146valid-rival
7.0ms154×146valid-sollya
0.0ms73valid-rival+sollya-zero
Precisions
Click to see Rival histograms. Total time spent on operations: 967.0ms
ival-cos: 662.0ms (68.5% of total)
ival-div: 90.0ms (9.3% of total)
ival-sub: 78.0ms (8.1% of total)
adjust: 65.0ms (6.7% of total)
ival-mult: 56.0ms (5.8% of total)
ival-true: 8.0ms (0.8% of total)
...in/eval/compile.rkt:110:19: 6.0ms (0.6% of total)
ival-assert: 3.0ms (0.3% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 1.3s
ival-cos: 801.0ms (62.2% of total)
ival-div: 164.0ms (12.7% of total)
ival-mult: 161.0ms (12.5% of total)
ival-sub: 134.0ms (10.4% of total)
const: 27.0ms (2.1% of total)
Bogosity

preprocess73.0ms (1.4%)

Memory
3.7MiB live, 19.4MiB allocated
Algorithm
egg-herbie
Rules
387×fma-define
161×times-frac
137×fmm-def
100×div-sub
90×distribute-rgt-in
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
017132
146132
2118128
3313128
4812128
51454128
61846128
71878128
Stop Event
saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))
(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))
(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (neg.f64 x))) (*.f64 (neg.f64 x) (neg.f64 x)))
(neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (neg.f64 x))) (*.f64 (neg.f64 x) (neg.f64 x))))
Outputs
(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))
(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))
(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (neg.f64 x))) (*.f64 (neg.f64 x) (neg.f64 x)))
(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))
(neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (neg.f64 x))) (*.f64 (neg.f64 x) (neg.f64 x))))
(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (neg.f64 (*.f64 x x)))
(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x (neg.f64 x)))
(/.f64 (+.f64 (cos.f64 x) #s(literal -1 binary64)) (*.f64 x x))
Symmetry

(abs x)

Compiler

Compiled 9 to 6 computations (33.3% saved)

eval0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
48.4%
(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))
Compiler

Compiled 18 to 12 computations (33.3% saved)

simplify2.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Algorithm
egg-herbie
Rules
1-exp
sub-neg
+-commutative
*-commutative
neg-sub0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01132
11832
22232
32432
42532
Stop Event
saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))
Outputs
(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))

soundness0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Stop Event
fuel
Compiler

Compiled 9 to 6 computations (33.3% saved)

preprocess16.0ms (0.3%)

Memory
6.2MiB live, 21.7MiB allocated
Remove

(abs x)

Compiler

Compiled 72 to 48 computations (33.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...