Metrics for sintan (problem 3.4.5)

analyze200.0ms (0.8%)

Memory

4.8MiB live, 83.0MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	49.9%	50.1%	0%	0%	0%	0
0%	0%	49.9%	50.1%	0%	0%	0%	1
0%	0%	49.9%	50.1%	0%	0%	0%	2
0%	0%	49.9%	50.1%	0%	0%	0%	3
0%	0%	49.9%	50.1%	0%	0%	0%	4
0%	0%	49.9%	50.1%	0%	0%	0%	5
0%	0%	49.9%	50.1%	0%	0%	0%	6
0%	0%	49.9%	50.1%	0%	0%	0%	7
0%	0%	49.9%	50.1%	0%	0%	0%	8
0%	0%	49.9%	50.1%	0%	0%	0%	9
0%	0%	49.9%	50.1%	0%	0%	0%	10
0%	0%	49.9%	50.1%	0%	0%	0%	11
0%	0%	49.9%	50.1%	0%	0%	0%	12

Compiler

Compiled 22 to 15 computations (31.8% saved)

sample23.4s (98.7%)

Memory

10.4MiB live, 2 406.3MiB allocated

Samples

5.0s	4 177×	2	valid-sollya
5.0s	4 177×	2	valid-baseline
4.3s	4 177×	2	valid-rival
3.7s	1 246×	3	valid-baseline
1.8s	1 246×	3	valid-sollya
1.1s	1 246×	3	valid-rival
599.0ms	2 737×	1	valid-baseline
468.0ms	2 737×	1	valid-rival
412.0ms	2 737×	1	valid-sollya
17.0ms	6×	3	valid-rival+sollya-real
7.0ms	90×	0	valid-baseline
5.0ms	90×	0	valid-rival
5.0ms	90×	0	valid-sollya

Bogosity

preprocess66.0ms (0.3%)

Memory

-11.9MiB live, 19.8MiB allocated

Algorithm

1×	egg-herbie

Rules

213×	`fma-define`
150×	`fmm-def`
62×	`times-frac`
43×	`unsub-neg`
39×	`associate-l`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	18	176
1	42	164
2	94	156
3	266	156
4	572	156
5	887	156
6	1035	156
7	1073	156
8	1134	156

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(/.f64 (-.f64 (neg.f64 eps) (sin.f64 (neg.f64 eps))) (-.f64 (neg.f64 eps) (tan.f64 (neg.f64 eps))))
(neg.f64 (/.f64 (-.f64 (neg.f64 eps) (sin.f64 (neg.f64 eps))) (-.f64 (neg.f64 eps) (tan.f64 (neg.f64 eps)))))

Outputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(/.f64 (-.f64 (neg.f64 eps) (sin.f64 (neg.f64 eps))) (-.f64 (neg.f64 eps) (tan.f64 (neg.f64 eps))))
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(neg.f64 (/.f64 (-.f64 (neg.f64 eps) (sin.f64 (neg.f64 eps))) (-.f64 (neg.f64 eps) (tan.f64 (neg.f64 eps)))))
(/.f64 (-.f64 (neg.f64 eps) (sin.f64 (neg.f64 eps))) (neg.f64 (-.f64 (neg.f64 eps) (neg.f64 (tan.f64 eps)))))
(/.f64 (fma.f64 #s(literal -1 binary64) eps (sin.f64 eps)) (neg.f64 (fma.f64 #s(literal -1 binary64) eps (tan.f64 eps))))
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (tan.f64 eps) eps))

Symmetry

(abs eps)

Compiler

Compiled 10 to 6 computations (40% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	1.6%	(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))

Compiler

Compiled 20 to 12 computations (40% saved)

simplify2.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	39
1	15	39
2	23	39
3	27	39
4	29	39

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))

Outputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))

soundness0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 10 to 6 computations (40% saved)

preprocess30.0ms (0.1%)

Memory: 10.9MiB live, 42.0MiB allocated
Remove: (abs eps)
Compiler: Compiled 172 to 104 computations (39.5% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze200.0ms (0.8%)

sample23.4s (98.7%)

preprocess66.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0%)

soundness0.0ms (0%)

preprocess30.0ms (0.1%)

end0.0ms (0%)

Profiling