Metrics for Falkner and Boettcher, Equation (22+)

analyze18.0ms (0.6%)

Memory

5.8MiB live, 5.8MiB 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%	50%	0%	0%	50%	0%	3
50%	25%	25%	0%	0%	50%	0%	4
75%	37.5%	12.5%	0%	0%	50%	0%	5
87.5%	43.7%	6.2%	0%	0%	50%	0%	6
93.8%	46.9%	3.1%	0%	0%	50%	0%	7
96.9%	48.4%	1.6%	0%	0%	50%	0%	8
98.4%	49.2%	0.8%	0%	0%	50%	0%	9
99.2%	49.6%	0.4%	0%	0%	50%	0%	10
99.6%	49.8%	0.2%	0%	0%	50%	0%	11
99.8%	49.9%	0.1%	0%	0%	50%	0%	12

Compiler

Compiled 44 to 35 computations (20.5% saved)

sample2.8s (94.6%)

Memory

-70.8MiB live, 857.1MiB allocated

Samples

715.0ms	8 255×	valid-baseline
633.0ms	8 255×	valid-rival
418.0ms	8 255×	valid-sollya

Precisions

Click to see Rival histograms. Total time spent on operations: 656.0ms

ival-mult: 421.0ms (64.2% of total)

ival-sub: 70.0ms (10.7% of total)

ival-sqrt: 59.0ms (9% of total)

ival-div: 53.0ms (8.1% of total)

ival-pi: 32.0ms (4.9% of total)

...in/eval/compile.rkt:110:19: 12.0ms (1.8% of total)

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

ival-assert: 3.0ms (0.5% of total)

Precisions

Click to see Base histograms. Total time spent on operations: 477.0ms

ival-mult: 235.0ms (49.3% of total)

ival-sub: 73.0ms (15.3% of total)

ival-sqrt: 57.0ms (11.9% of total)

ival-div: 50.0ms (10.5% of total)

ival-pi: 40.0ms (8.4% of total)

const: 21.0ms (4.4% of total)

Bogosity

preprocess116.0ms (4%)

Memory

5.1MiB live, 20.5MiB allocated

Algorithm

1×	egg-herbie

Rules

647×	`fma-define`
594×	`times-frac`
473×	`fmm-def`
425×	`distribute-lft-in`
393×	`unsub-neg`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	31	292
1	91	272
2	210	252
3	706	248
4	2204	248
5	5020	236
6	7659	236

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v))))))
(/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v))))))
(/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 (neg.f64 v) (neg.f64 v)))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 (neg.f64 v) (neg.f64 v)))))))
(neg.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 (neg.f64 v) (neg.f64 v)))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 (neg.f64 v) (neg.f64 v))))))))

Outputs
(/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v))))))
(/.f64 #s(literal 4 binary64) (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (.f64 (-.f64 #s(literal 1 binary64) (.f64 v v)) (sqrt.f64 (+.f64 #s(literal 2 binary64) (.f64 #s(literal -6 binary64) (.f64 v v)))))))
(/.f64 (/.f64 #s(literal 4/3 binary64) (.f64 (PI.f64) (-.f64 #s(literal 1 binary64) (.f64 v v)))) (sqrt.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 v v) #s(literal -6 binary64)))))
(/.f64 (/.f64 (/.f64 #s(literal 4/3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (fma.f64 (.f64 v v) #s(literal -6 binary64) #s(literal 2 binary64))))
(/.f64 (/.f64 (/.f64 #s(literal 4/3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (fma.f64 v (.f64 v #s(literal -6 binary64)) #s(literal 2 binary64))))
(/.f64 (/.f64 (/.f64 #s(literal -4/3 binary64) (PI.f64)) (fma.f64 v v #s(literal -1 binary64))) (sqrt.f64 (fma.f64 v (*.f64 v #s(literal -6 binary64)) #s(literal 2 binary64))))
(/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v))))))
(/.f64 #s(literal 4 binary64) (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (.f64 (-.f64 #s(literal 1 binary64) (.f64 v v)) (sqrt.f64 (+.f64 #s(literal 2 binary64) (.f64 #s(literal -6 binary64) (.f64 v v)))))))
(/.f64 (/.f64 #s(literal 4/3 binary64) (.f64 (PI.f64) (-.f64 #s(literal 1 binary64) (.f64 v v)))) (sqrt.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 v v) #s(literal -6 binary64)))))
(/.f64 (/.f64 (/.f64 #s(literal 4/3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (fma.f64 (.f64 v v) #s(literal -6 binary64) #s(literal 2 binary64))))
(/.f64 (/.f64 (/.f64 #s(literal 4/3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (fma.f64 v (.f64 v #s(literal -6 binary64)) #s(literal 2 binary64))))
(/.f64 (/.f64 (/.f64 #s(literal -4/3 binary64) (PI.f64)) (fma.f64 v v #s(literal -1 binary64))) (sqrt.f64 (fma.f64 v (*.f64 v #s(literal -6 binary64)) #s(literal 2 binary64))))
(/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 (neg.f64 v) (neg.f64 v)))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 (neg.f64 v) (neg.f64 v)))))))
(/.f64 #s(literal 4 binary64) (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (.f64 (-.f64 #s(literal 1 binary64) (.f64 v v)) (sqrt.f64 (+.f64 #s(literal 2 binary64) (.f64 #s(literal -6 binary64) (.f64 v v)))))))
(/.f64 (/.f64 #s(literal 4/3 binary64) (.f64 (PI.f64) (-.f64 #s(literal 1 binary64) (.f64 v v)))) (sqrt.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 v v) #s(literal -6 binary64)))))
(/.f64 (/.f64 (/.f64 #s(literal 4/3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (fma.f64 (.f64 v v) #s(literal -6 binary64) #s(literal 2 binary64))))
(/.f64 (/.f64 (/.f64 #s(literal 4/3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (fma.f64 v (.f64 v #s(literal -6 binary64)) #s(literal 2 binary64))))
(/.f64 (/.f64 (/.f64 #s(literal -4/3 binary64) (PI.f64)) (fma.f64 v v #s(literal -1 binary64))) (sqrt.f64 (fma.f64 v (*.f64 v #s(literal -6 binary64)) #s(literal 2 binary64))))
(neg.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 (neg.f64 v) (neg.f64 v)))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 (neg.f64 v) (neg.f64 v))))))))
(/.f64 #s(literal -4 binary64) (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (.f64 (-.f64 #s(literal 1 binary64) (.f64 v v)) (sqrt.f64 (+.f64 #s(literal 2 binary64) (.f64 #s(literal -6 binary64) (.f64 v v)))))))
(/.f64 (/.f64 #s(literal 4/3 binary64) (.f64 (PI.f64) (-.f64 #s(literal 1 binary64) (.f64 v v)))) (neg.f64 (sqrt.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 v v) #s(literal -6 binary64))))))
(/.f64 (/.f64 (/.f64 #s(literal -4/3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (fma.f64 (.f64 v v) #s(literal -6 binary64) #s(literal 2 binary64))))
(/.f64 (/.f64 (/.f64 #s(literal 4/3 binary64) (PI.f64)) (fma.f64 v v #s(literal -1 binary64))) (sqrt.f64 (fma.f64 v (*.f64 v #s(literal -6 binary64)) #s(literal 2 binary64))))

Symmetry

(abs v)

Compiler

Compiled 21 to 16 computations (23.8% saved)

eval0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated
Compiler: Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	98.5%	(/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v))))))

Status

Accuracy

Program

98.5%

(/.f64 #s(literal 4 binary64) (*.f64 (*.f64 (*.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (*.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 6 binary64) (*.f64 v v))))))

Compiler

Compiled 42 to 32 computations (23.8% saved)

simplify3.0ms (0.1%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative`
6×	`sub-neg`
6×	`+-commutative`
4×	`neg-sub0`
4×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	73
1	40	73
2	56	73
3	64	73
4	68	73

Stop Event

1×

saturated

Calls

Call 1

Inputs

(/.f64 #s(literal 4 binary64) (*.f64 (*.f64 (*.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (*.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 6 binary64) (*.f64 v v))))))

Outputs

(/.f64 #s(literal 4 binary64) (*.f64 (*.f64 (*.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (*.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 6 binary64) (*.f64 v v))))))

(/.f64 #s(literal 4 binary64) (*.f64 (*.f64 (*.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (*.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (*.f64 (*.f64 v v) #s(literal 6 binary64))))))

soundness0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 21 to 16 computations (23.8% saved)

preprocess20.0ms (0.7%)

Memory: -7.4MiB live, 24.0MiB allocated
Remove: (abs v)
Compiler: Compiled 168 to 128 computations (23.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze18.0ms (0.6%)

sample2.8s (94.6%)

preprocess116.0ms (4%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

preprocess20.0ms (0.7%)

end0.0ms (0%)

Profiling