Rust f32::atanh

analyze5.0ms (0.4%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.6%	0.4%	0%	0%	0%	0
0%	0%	99.6%	0.4%	0%	0%	0%	1
0%	0%	99.6%	0.4%	0%	0%	0%	2
0%	0%	49.8%	0.4%	0%	49.8%	0%	3
50%	24.9%	24.9%	0.4%	0%	49.8%	0%	4
75%	37.4%	12.5%	0.4%	0%	49.8%	0%	5
87.5%	43.6%	6.2%	0.4%	0%	49.8%	0%	6
93.8%	46.7%	3.1%	0.4%	0%	49.8%	0%	7
96.9%	48.2%	1.6%	0.4%	0%	49.8%	0%	8
98.4%	49%	0.8%	0.4%	0%	49.8%	0%	9
99.2%	49.4%	0.4%	0.4%	0%	49.8%	0%	10
99.6%	49.4%	0.2%	0.4%	0%	50%	0%	11
99.8%	49.5%	0.1%	0.4%	0%	50%	0%	12

Compiler

Compiled 4 to 3 computations (25% saved)

sample1.1s (81.5%)

Results

1.1s	8256×	body	256	valid
0.0ms	1×	body	256	invalid

Bogosity

preprocess244.0ms (18.1%)

Algorithm

1×	egg-herbie

Rules

572×	`fma-def`
530×	`associate-r`
412×	`associate-/r*`
378×	`associate-/l*`
346×	`associate-l`

Problems

256×

No Errors

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	18	71
1	33	71
2	46	68
3	64	68
4	86	68
5	113	68
6	180	68
7	294	67
8	379	67
9	570	67
10	747	67
11	1020	67
12	1345	67
13	2286	67
14	2954	67
15	3819	67
16	3845	67
17	3891	67
18	3931	67
19	3931	67

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f32 1/2 (log1p.f32 (/.f32 (.f32 2 x) (-.f32 1 x))))
(atanh.f32 x)
(atanh.f32 (neg.f32 x))
(neg.f32 (atanh.f32 (neg.f32 x)))

Outputs
(.f32 1/2 (log1p.f32 (/.f32 (.f32 2 x) (-.f32 1 x))))
(*.f32 1/2 (log1p.f32 (/.f32 2 (/.f32 (-.f32 1 x) x))))
(.f32 1/2 (log1p.f32 (.f32 (/.f32 2 (-.f32 1 x)) x)))
(*.f32 1/2 (log1p.f32 (/.f32 2 (+.f32 (/.f32 1 x) -1))))
(*.f32 1/2 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))))
(*.f32 1/2 (log1p.f32 (/.f32 x (fma.f32 -1/2 x 1/2))))
(*.f32 1/2 (log1p.f32 (/.f32 x (fma.f32 x -1/2 1/2))))
(atanh.f32 x)
(atanh.f32 (neg.f32 x))
(neg.f32 (atanh.f32 (neg.f32 x)))

Compiler

Compiled 37 to 28 computations (24.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...