ENA, Section 1.4, Mentioned, A

analyze0.0ms (0%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	49.6%	50.4%	0%	0%	0%	0
100%	49.6%	0%	50.4%	0%	0%	0%	1

Compiler

Compiled 12 to 9 computations (25% saved)

sample2.5s (95.8%)

Results

1.7s	4357×	body	2048	valid
508.0ms	2114×	body	1024	valid
135.0ms	1026×	body	512	valid
62.0ms	759×	body	256	valid

Bogosity

preprocess106.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

26×	`fma-def`
13×	`+-commutative`
9×	`associate--r+`
9×	`associate-+l-`
8×	`*-commutative`

Problems

129×	No Errors
127×	`(-.f64 1 (cos.f64 x))`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	60
1	27	56
2	46	56
3	68	56
4	108	56
5	144	56
6	151	56
7	153	56

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 1 (cos.f64 x))
(-.f64 1 (cos.f64 x))
(-.f64 1 (cos.f64 (neg.f64 x)))
(neg.f64 (-.f64 1 (cos.f64 (neg.f64 x))))

Outputs
(-.f64 1 (cos.f64 x))
(-.f64 1 (cos.f64 x))
(-.f64 1 (cos.f64 (neg.f64 x)))
(-.f64 1 (cos.f64 x))
(neg.f64 (-.f64 1 (cos.f64 (neg.f64 x))))
(neg.f64 (-.f64 1 (cos.f64 x)))
(+.f64 -1 (cos.f64 x))
(+.f64 (cos.f64 x) -1)

Symmetry

(abs x)

Compiler

Compiled 10 to 6 computations (40% saved)

end0.0ms (0%)

Profiling

Loading profile data...