Metrics for Sample trimmed logistic on [-pi, pi]

analyze183.0ms (4.4%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	1.6%	98.4%	0%	0%	0%	0
0%	0%	1.6%	98.4%	0%	0%	0%	1
0%	0%	1.6%	98.4%	0%	0%	0%	2
25%	0.4%	1.2%	98.4%	0%	0%	0%	3
37.5%	0.6%	1%	98.4%	0%	0%	0%	4
56.3%	0.9%	0.7%	98.4%	0%	0%	0%	5
65.6%	1%	0.5%	98.4%	0%	0%	0%	6
76.6%	1.2%	0.4%	98.4%	0%	0%	0%	7
82%	1.3%	0.3%	98.4%	0%	0%	0%	8
87.9%	1.4%	0.2%	98.4%	0%	0%	0%	9
90.8%	1.4%	0.1%	98.4%	0%	0%	0%	10
93.8%	1.5%	0.1%	98.4%	0%	0%	0%	11
95.4%	1.5%	0.1%	98.4%	0%	0%	0%	12

Compiler

Compiled 54 to 41 computations (24.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 70.0ms

Operation ival-add, time spent: 16.0ms, 23.0% of total-time

Operation ival-div, time spent: 15.0ms, 21.0% of total-time

Operation ival-<=, time spent: 7.0ms, 10.0% of total-time

Operation ival-exp, time spent: 6.0ms, 9.0% of total-time

Operation ival-mult, time spent: 6.0ms, 9.0% of total-time

Operation ival-sub, time spent: 5.0ms, 7.0% of total-time

Operation ival-log, time spent: 5.0ms, 7.0% of total-time

Operation ival-neg, time spent: 5.0ms, 7.0% of total-time

Operation const, time spent: 3.0ms, 4.0% of total-time

Operation ival-pi, time spent: 2.0ms, 3.0% of total-time

Operation ival-and, time spent: 1.0ms, 1.0% of total-time

sample3.2s (76.2%)

Results

2.8s	8255×	256	valid
0.0ms	1×	256	valid

Precisions

Click to see histograms. Total time spent on operations: 1.6s

Operation ival-div, time spent: 381.0ms, 24.0% of total-time

Operation ival-add, time spent: 199.0ms, 12.0% of total-time

Operation ival-<=, time spent: 187.0ms, 12.0% of total-time

Operation ival-log, time spent: 155.0ms, 10.0% of total-time

Operation ival-neg, time spent: 155.0ms, 10.0% of total-time

Operation ival-mult, time spent: 153.0ms, 10.0% of total-time

Operation ival-exp, time spent: 138.0ms, 9.0% of total-time

Operation ival-sub, time spent: 92.0ms, 6.0% of total-time

Operation const, time spent: 57.0ms, 4.0% of total-time

Operation ival-pi, time spent: 53.0ms, 3.0% of total-time

Operation ival-and, time spent: 30.0ms, 2.0% of total-time

Bogosity

preprocess812.0ms (19.4%)

Algorithm

1×	egg-herbie

Rules

1046×	`fma-define`
625×	`fma-neg`
251×	`unsub-neg`
217×	`distribute-rgt-in`
212×	`sub-neg`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	67	948
1	139	932
2	299	924
3	854	796
4	1805	744
5	3275	734
6	4708	734
7	5159	734
8	5355	734
9	5539	734
10	5944	734
11	6431	734
12	6467	734
13	6476	734
14	6477	734
15	6477	734

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
(.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
(.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 (neg.f32 u) (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
(.f32 (neg.f32 (neg.f32 s)) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) (neg.f32 s))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))))) #s(literal 1 binary32))))
(neg.f32 (.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 (neg.f32 u) (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32)))))
(neg.f32 (.f32 (neg.f32 (neg.f32 s)) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) (neg.f32 s))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))))) #s(literal 1 binary32)))))
(.f32 (neg.f32 u) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 s (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) u)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) u)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) u)))))) #s(literal 1 binary32))))

Outputs
(.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal -1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 u (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))) (/.f32 #s(literal -1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal -1 binary32))))
(.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 u (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))) (.f32 (+.f32 (neg.f32 u) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))))) #s(literal -1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 u (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))) (/.f32 (fma.f32 u #s(literal -1 binary32) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal -1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 u (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))) (/.f32 (-.f32 #s(literal 1 binary32) u) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal -1 binary32))))
(.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal -1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 u (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))) (/.f32 #s(literal -1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal -1 binary32))))
(.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 u (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))) (.f32 (+.f32 (neg.f32 u) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))))) #s(literal -1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 u (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))) (/.f32 (fma.f32 u #s(literal -1 binary32) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal -1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 u (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))) (/.f32 (-.f32 #s(literal 1 binary32) u) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal -1 binary32))))
(.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 (neg.f32 u) (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (neg.f32 u) (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal -1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))) (/.f32 #s(literal -1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))) (neg.f32 u) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal -1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 u (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 #s(literal -1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal -1 binary32))))
(.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 u (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))) (.f32 (+.f32 u #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))))) #s(literal -1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 u (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))) (/.f32 (+.f32 #s(literal 1 binary32) u) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal -1 binary32))))
(.f32 (neg.f32 (neg.f32 s)) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) (neg.f32 s))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))))) #s(literal 1 binary32))))
(*.f32 s (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) (neg.f32 s))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))))) #s(literal -1 binary32))))
(*.f32 s (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 u (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 #s(literal -1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))))) #s(literal -1 binary32))))
(.f32 s (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 u (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))) (.f32 (+.f32 (neg.f32 u) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s)))))))) #s(literal -1 binary32))))
(*.f32 s (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 u (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 (fma.f32 u #s(literal -1 binary32) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))))) #s(literal -1 binary32))))
(*.f32 s (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 u (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 (-.f32 #s(literal 1 binary32) u) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))))) #s(literal -1 binary32))))
(neg.f32 (.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 (neg.f32 u) (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32)))))
(*.f32 s (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (neg.f32 u) (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal -1 binary32))))
(*.f32 s (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))) (/.f32 #s(literal -1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))) (neg.f32 u) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal -1 binary32))))
(*.f32 s (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 u (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 #s(literal -1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal -1 binary32))))
(.f32 s (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 u (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))) (.f32 (+.f32 u #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))))) #s(literal -1 binary32))))
(*.f32 s (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 u (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))) (/.f32 (+.f32 #s(literal 1 binary32) u) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal -1 binary32))))
(neg.f32 (.f32 (neg.f32 (neg.f32 s)) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) (neg.f32 s))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))))) #s(literal 1 binary32)))))
(*.f32 s (neg.f32 (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) (neg.f32 s))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))))) #s(literal -1 binary32)))))
(*.f32 s (neg.f32 (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 u (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 #s(literal -1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))))) #s(literal -1 binary32)))))
(.f32 s (neg.f32 (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 u (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))) (.f32 (+.f32 (neg.f32 u) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s)))))))) #s(literal -1 binary32)))))
(*.f32 s (neg.f32 (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 u (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 (fma.f32 u #s(literal -1 binary32) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))))) #s(literal -1 binary32)))))
(*.f32 s (neg.f32 (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 u (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 (-.f32 #s(literal 1 binary32) u) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))))) #s(literal -1 binary32)))))
(.f32 (neg.f32 u) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 s (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) u)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) u)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) u)))))) #s(literal 1 binary32))))
(*.f32 (neg.f32 u) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 s (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) u)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) u))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) u)))))) #s(literal -1 binary32))))
(*.f32 (neg.f32 u) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 s (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 u))))) (/.f32 #s(literal -1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) u))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) u)))))) #s(literal -1 binary32))))
(*.f32 (neg.f32 u) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 s (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 u))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) u))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) u)))))) #s(literal -1 binary32))))
(.f32 (neg.f32 u) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 u))))) (.f32 (+.f32 (neg.f32 s) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) u))))))) #s(literal -1 binary32))))
(*.f32 (neg.f32 u) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 u))))) (/.f32 (fma.f32 s #s(literal -1 binary32) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) u)))))) #s(literal -1 binary32))))
(*.f32 (neg.f32 u) (log.f32 (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) (neg.f32 u))))) (/.f32 (-.f32 #s(literal 1 binary32) s) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) u)))))) #s(literal -1 binary32))))

Compiler

Compiled 292 to 147 computations (49.7% saved)

Precisions

Click to see histograms. Total time spent on operations: 152.0ms

Operation ival-div, time spent: 50.0ms, 33.0% of total-time

Operation ival-add, time spent: 37.0ms, 24.0% of total-time

Operation ival-mult, time spent: 21.0ms, 14.0% of total-time

Operation ival-sub, time spent: 17.0ms, 11.0% of total-time

Operation const, time spent: 9.0ms, 6.0% of total-time

Operation ival-log, time spent: 9.0ms, 6.0% of total-time

Operation ival-exp, time spent: 4.0ms, 3.0% of total-time

Operation ival-neg, time spent: 3.0ms, 2.0% of total-time

Operation ival-pi, time spent: 1.0ms, 1.0% of total-time

Sample trimmed logistic on [-pi, pi]

analyze183.0ms (4.4%)

sample3.2s (76.2%)

preprocess812.0ms (19.4%)

end0.0ms (0%)

Profiling