Metrics for sintan (problem 3.4.5)

analyze199.0ms (0.8%)

Memory

2.0MiB live, 82.7MiB 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

1.2MiB live, 2 413.2MiB allocated

Samples

4.8s	4 164×	2	valid-baseline
4.8s	4 164×	2	valid-sollya
4.3s	4 164×	2	valid-rival
3.8s	1 287×	3	valid-baseline
2.1s	1 287×	3	valid-sollya
981.0ms	1 287×	3	valid-rival
589.0ms	2 699×	1	valid-baseline
443.0ms	2 699×	1	valid-rival
418.0ms	2 699×	1	valid-sollya
42.0ms	4×	3	valid-rival+sollya-real
8.0ms	102×	0	valid-baseline
6.0ms	102×	0	valid-sollya
6.0ms	102×	0	valid-rival

Bogosity

preprocess65.0ms (0.3%)

Memory

4.8MiB 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.3MiB live, 0.3MiB 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.3%	(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))

Compiler

Compiled 20 to 12 computations (40% saved)

simplify2.0ms (0%)

Memory

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

soundness1.0ms (0%)

Memory

-15.5MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 10 to 6 computations (40% saved)

preprocess33.0ms (0.1%)

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

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze199.0ms (0.8%)

sample23.4s (98.7%)

preprocess65.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0%)

soundness1.0ms (0%)

preprocess33.0ms (0.1%)

end0.0ms (0%)

Profiling