Metrics for Falkner and Boettcher, Appendix B, 1

analyze264.0ms (3.3%)

Memory

2.8MiB live, 98.9MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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.6s (94.6%)

Memory

26.8MiB live, 2 297.3MiB allocated

Samples

3.0s	8 072×	1	valid-baseline
1.3s	8 072×	1	valid-sollya
934.0ms	8 072×	1	valid-rival
16.0ms	183×	0	valid-baseline
13.0ms	183×	0	valid-sollya
13.0ms	183×	0	valid-rival
0.0ms	1×	1	valid-rival+sollya-real

Precisions

Click to see Rival histograms. Total time spent on operations: 1.2s

ival-mult: 449.0ms (36.8% of total)

ival-acos: 267.0ms (21.9% of total)

ival-sub: 212.0ms (17.4% of total)

ival-div: 155.0ms (12.7% of total)

adjust: 102.0ms (8.4% of total)

...in/eval/compile.rkt:110:19: 14.0ms (1.1% of total)

ival-true: 14.0ms (1.1% of total)

ival-assert: 7.0ms (0.6% of total)

Precisions

Click to see Base histograms. Total time spent on operations: 2.5s

ival-acos: 930.0ms (37.7% of total)

ival-mult: 625.0ms (25.3% of total)

ival-sub: 453.0ms (18.3% of total)

ival-div: 394.0ms (16% of total)

const: 66.0ms (2.7% of total)

Bogosity

preprocess141.0ms (1.8%)

Memory

2.6MiB live, 20.0MiB 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)

Iter	Nodes	Cost
0	22	200
1	69	200
2	188	184
3	652	184
4	2521	184
5	5095	184
6	6378	184
7	7331	184

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

Status	Accuracy	Program
	99.2%	(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)

Iter	Nodes	Cost
0	14	53
1	27	53
2	41	53
3	55	53
4	74	53
5	101	53
6	109	53
7	111	53

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)

preprocess19.0ms (0.2%)

Memory: 8.7MiB live, 24.3MiB allocated
Remove: (abs v)
Compiler: Compiled 120 to 78 computations (35% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze264.0ms (3.3%)

sample7.6s (94.6%)

preprocess141.0ms (1.8%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0%)

soundness0.0ms (0%)

preprocess19.0ms (0.2%)

end0.0ms (0%)

Profiling