Falkner and Boettcher, Appendix B, 1

Time bar (total: 8.7s)

analyze269.0ms (3.1%)

Memory
7.4MiB live, 101.4MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
0%0%100%0%0%0%0%2
0%0%100%0%0%0%0%3
0%0%100%0%0%0%0%4
0%0%100%0%0%0%0%5
0%0%100%0%0%0%0%6
0%0%100%0%0%0%0%7
0%0%100%0%0%0%0%8
0%0%100%0%0%0%0%9
0%0%100%0%0%0%0%10
0%0%100%0%0%0%0%11
0%0%100%0%0%0%0%12
Compiler

Compiled 32 to 21 computations (34.4% saved)

sample8.3s (95%)

Memory
-24.6MiB live, 2 446.4MiB allocated
Samples
1.7s3 618×2336valid-baseline
855.0ms2 356×1168valid-baseline
841.0ms3 618×2336valid-rival
730.0ms3 618×2336valid-sollya
413.0ms2 356×1168valid-rival
367.0ms2 356×1168valid-sollya
307.0ms1 122×584valid-baseline
139.0ms1 122×584valid-rival
133.0ms1 122×584valid-sollya
122.0ms591×292valid-baseline
71.0ms591×292valid-rival
61.0ms415×146valid-baseline
58.0ms591×292valid-sollya
48.0ms415×146valid-rival
35.0ms415×146valid-sollya
12.0ms152×73valid-baseline
10.0ms152×73valid-rival
10.0ms152×73valid-sollya
0.0ms1×2336valid-sollya+baseline-real
0.0ms1×1168valid-sollya+baseline-real
Precisions
Click to see Rival histograms. Total time spent on operations: 1.7s
ival-sub: 466.0ms (26.8% of total)
ival-acos: 464.0ms (26.7% of total)
ival-mult: 294.0ms (16.9% of total)
ival-div: 248.0ms (14.3% of total)
adjust: 224.0ms (12.9% of total)
...in/eval/compile.rkt:110:19: 20.0ms (1.2% of total)
ival-true: 15.0ms (0.9% of total)
ival-assert: 6.0ms (0.3% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 2.5s
ival-acos: 951.0ms (38.5% of total)
ival-mult: 616.0ms (25% of total)
ival-sub: 464.0ms (18.8% of total)
ival-div: 366.0ms (14.8% of total)
const: 71.0ms (2.9% of total)
Bogosity

preprocess146.0ms (1.7%)

Memory
3.6MiB live, 19.9MiB allocated
Algorithm
1×egg-herbie
Rules
586×fmm-def
498×sub-neg
432×fma-define
345×unsub-neg
342×distribute-lft-neg-in
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
022200
169200
2188184
3652184
42521184
55095184
66378184
77331184
Stop Event
1×node limit
Calls
Call 1
Inputs
(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))
(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))
(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 (neg.f64 v) (neg.f64 v)))) (-.f64 (*.f64 (neg.f64 v) (neg.f64 v)) #s(literal 1 binary64))))
(neg.f64 (acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 (neg.f64 v) (neg.f64 v)))) (-.f64 (*.f64 (neg.f64 v) (neg.f64 v)) #s(literal 1 binary64)))))
Outputs
(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))
(acos.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -5 binary64) (*.f64 v v))) (fma.f64 v v #s(literal -1 binary64))))
(acos.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 v v) #s(literal -5 binary64))) (fma.f64 v v #s(literal -1 binary64))))
(acos.f64 (/.f64 (fma.f64 (*.f64 v v) #s(literal -5 binary64) #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))
(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))
(acos.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -5 binary64) (*.f64 v v))) (fma.f64 v v #s(literal -1 binary64))))
(acos.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 v v) #s(literal -5 binary64))) (fma.f64 v v #s(literal -1 binary64))))
(acos.f64 (/.f64 (fma.f64 (*.f64 v v) #s(literal -5 binary64) #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))
(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 (neg.f64 v) (neg.f64 v)))) (-.f64 (*.f64 (neg.f64 v) (neg.f64 v)) #s(literal 1 binary64))))
(acos.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -5 binary64) (*.f64 v v))) (fma.f64 v v #s(literal -1 binary64))))
(acos.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 v v) #s(literal -5 binary64))) (fma.f64 v v #s(literal -1 binary64))))
(acos.f64 (/.f64 (fma.f64 (*.f64 v v) #s(literal -5 binary64) #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))
(neg.f64 (acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 (neg.f64 v) (neg.f64 v)))) (-.f64 (*.f64 (neg.f64 v) (neg.f64 v)) #s(literal 1 binary64)))))
(neg.f64 (acos.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -5 binary64) (*.f64 v v))) (fma.f64 v v #s(literal -1 binary64)))))
(neg.f64 (acos.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 v v) #s(literal -5 binary64))) (fma.f64 v v #s(literal -1 binary64)))))
(neg.f64 (acos.f64 (/.f64 (fma.f64 (*.f64 v v) #s(literal -5 binary64) #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64)))))
Symmetry

(abs v)

Compiler

Compiled 15 to 9 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.9MiB live, 0.9MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
98.9%
(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))
Compiler

Compiled 30 to 18 computations (40% saved)

simplify4.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated
Algorithm
1×egg-herbie
Rules
12×neg-mul-1
10×unsub-neg
8×*-commutative
8×+-commutative
7×distribute-lft-neg-in
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01453
12753
24153
35553
47453
510153
610953
711153
Stop Event
1×saturated
Calls
Call 1
Inputs
(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))
Outputs
(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))
(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (+.f64 (*.f64 v v) #s(literal -1 binary64))))

soundness0.0ms (0%)

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

Compiled 15 to 10 computations (33.3% saved)

preprocess18.0ms (0.2%)

Memory
-8.2MiB live, 23.2MiB allocated
Remove

(abs v)

Compiler

Compiled 120 to 78 computations (35% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...