invcot (example 3.9)

analyze2.0ms (0%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	49.7%	50.3%	0%	0%	0%	0
0%	0%	49.7%	50.3%	0%	0%	0%	1
50%	24.8%	24.8%	50.3%	0%	0%	0%	2
75%	37.3%	12.4%	50.3%	0%	0%	0%	3
87.5%	43.5%	6.2%	50.3%	0%	0%	0%	4
93.8%	46.6%	3.1%	50.3%	0%	0%	0%	5
96.9%	48.1%	1.6%	50.3%	0%	0%	0%	6
98.4%	48.9%	0.8%	50.3%	0%	0%	0%	7
99.2%	49.3%	0.4%	50.3%	0%	0%	0%	8
99.6%	49.5%	0.2%	50.3%	0%	0%	0%	9
99.8%	49.6%	0.1%	50.3%	0%	0%	0%	10
99.9%	49.6%	0%	50.3%	0%	0%	0%	11
100%	49.7%	0%	50.3%	0%	0%	0%	12

Compiler

Compiled 16 to 12 computations (25% saved)

sample7.0s (95.9%)

Results

5.9s	4098×	body	2048	valid
798.0ms	2111×	body	1024	valid
172.0ms	1042×	body	512	valid
123.0ms	222×	body	4096	valid
79.0ms	783×	body	256	valid

Bogosity

preprocess303.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

55×	`fma-def`
23×	`+-commutative`
21×	`*-commutative`
21×	`associate--r+`
18×	`associate-+l-`

Problems

256×	`(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	17	124
1	32	120
2	61	116
3	116	116
4	196	116
5	297	116
6	358	116
7	381	116

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
(-.f64 (/.f64 1 (neg.f64 x)) (/.f64 1 (tan.f64 (neg.f64 x))))
(neg.f64 (-.f64 (/.f64 1 (neg.f64 x)) (/.f64 1 (tan.f64 (neg.f64 x)))))

Outputs
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
(-.f64 (/.f64 1 (neg.f64 x)) (/.f64 1 (tan.f64 (neg.f64 x))))
(-.f64 (/.f64 1 (neg.f64 x)) (/.f64 1 (neg.f64 (tan.f64 x))))
(-.f64 (/.f64 -1 x) (/.f64 1 (neg.f64 (tan.f64 x))))
(+.f64 (/.f64 -1 x) (/.f64 1 (tan.f64 x)))
(neg.f64 (-.f64 (/.f64 1 (neg.f64 x)) (/.f64 1 (tan.f64 (neg.f64 x)))))
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))

Symmetry

(negabs x)

Compiler

Compiled 21 to 13 computations (38.1% saved)

end0.0ms (0%)

Profiling

Loading profile data...