Falkner and Boettcher, Appendix B, 1

Time bar (total: 7.9s)

analyze268.0ms (3.4%)

Memory
5.4MiB live, 99.8MiB 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)

sample7.5s (94.5%)

Memory
2.1MiB live, 2 176.7MiB allocated
Samples
1.6s3 750×3valid-baseline
865.0ms3 750×3valid-rival
755.0ms3 750×3valid-sollya
664.0ms2 041×2valid-baseline
477.0ms2 264×1valid-baseline
352.0ms2 041×2valid-rival
310.0ms2 041×2valid-sollya
277.0ms2 264×1valid-rival
244.0ms2 264×1valid-sollya
16.0ms201×0valid-baseline
14.0ms201×0valid-sollya
13.0ms201×0valid-rival
Bogosity

preprocess142.0ms (1.8%)

Memory
4.3MiB 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
99.0%
(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)

simplify3.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.4MiB live, 0.4MiB allocated
Stop Event
1×fuel
Compiler

Compiled 15 to 10 computations (33.3% saved)

preprocess22.0ms (0.3%)

Memory
-10.4MiB live, 23.0MiB 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...