Metrics for Logistic distribution

analyze53.0ms (0.9%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	24.7%	75.3%	0%	0%	0%	0
0%	0%	24.7%	75.3%	0%	0%	0%	1
0%	0%	24.7%	75.3%	0%	0%	0%	2
50%	12.4%	12.4%	75.3%	0%	0%	0%	3
50%	12.4%	12.4%	75.3%	0%	0%	0%	4
75%	18.5%	6.2%	75.3%	0%	0%	0%	5
75%	18.5%	6.2%	75.3%	0%	0%	0%	6
87.5%	21.6%	3.1%	75.3%	0%	0%	0%	7
87.5%	21.6%	3.1%	75.3%	0%	0%	0%	8
93.7%	23.2%	1.5%	75.3%	0%	0%	0%	9
93.7%	23.2%	1.5%	75.3%	0%	0%	0%	10
96.9%	23.9%	0.8%	75.3%	0%	0%	0%	11
96.9%	23.9%	0.8%	75.3%	0%	0%	0%	12

Compiler

Compiled 35 to 18 computations (48.6% saved)

Precisions

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

Operation ival-mult, time spent: 7.0ms, 40.0% of total-time

Operation ival-div, time spent: 2.0ms, 11.0% of total-time

Operation ival-add, time spent: 2.0ms, 11.0% of total-time

Operation ival-exp, time spent: 2.0ms, 11.0% of total-time

Operation ival-<=, time spent: 2.0ms, 11.0% of total-time

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

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

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

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

sample2.0s (33.7%)

Results

1.9s	8255×	0	valid
0.0ms	1×	0	valid

Precisions

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

Operation ival-add, time spent: 306.0ms, 36.0% of total-time

Operation ival-div, time spent: 139.0ms, 16.0% of total-time

Operation ival-mult, time spent: 127.0ms, 15.0% of total-time

Operation ival-<=, time spent: 92.0ms, 11.0% of total-time

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

Operation ival-neg, time spent: 38.0ms, 4.0% of total-time

Operation ival-fabs, time spent: 32.0ms, 4.0% of total-time

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

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

Bogosity

preprocess1.8s (29.5%)

Algorithm

1×	egg-herbie

Rules

847×	`div-sub`
552×	`fma-def`
390×	`distribute-rgt-in`
386×	`distribute-lft-in`
260×	`associate-/r*`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`x`
-	-	`(fabs.f32 x)`
-	-	`(.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))`
-	-	`(/.f32 (neg.f32 (fabs.f32 x)) s)`
-	-	`(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))`
-	-	`(neg.f32 (fabs.f32 x))`
-	-	`(*.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))`
-	-	`s`
-	-	`(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))`
-	-	`1`
-	-	`(+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	43	774
1	151	762
2	449	719
3	1362	711
4	3813	711
5	7035	539

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))) (.f32 (.f32 (neg.f32 s) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))))))
(neg.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s))))))
(neg.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))) (.f32 (.f32 (neg.f32 s) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s)))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)) (.f32 (.f32 x (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)))))

Outputs
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 s (.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) (*.f32 (+.f32 1 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)))
(/.f32 1 (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 s (.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) (*.f32 (+.f32 1 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)))
(/.f32 1 (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 s (.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) (*.f32 (+.f32 1 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)))
(/.f32 1 (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))) (.f32 (.f32 (neg.f32 s) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))) (.f32 (neg.f32 s) (.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s)))))))
(/.f32 (exp.f32 (.f32 1 (/.f32 (fabs.f32 x) s))) (.f32 (neg.f32 s) (.f32 (+.f32 1 (exp.f32 (.f32 1 (/.f32 (fabs.f32 x) s)))) (+.f32 1 (exp.f32 (*.f32 1 (/.f32 (fabs.f32 x) s)))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (*.f32 (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s) (+.f32 -1 (neg.f32 (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (*.f32 (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s) (-.f32 -1 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (*.f32 (fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (-.f32 -1 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(neg.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))) (.f32 (neg.f32 s) (.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s)))))))
(/.f32 (exp.f32 (.f32 1 (/.f32 (fabs.f32 x) s))) (.f32 (neg.f32 s) (.f32 (+.f32 1 (exp.f32 (.f32 1 (/.f32 (fabs.f32 x) s)))) (+.f32 1 (exp.f32 (*.f32 1 (/.f32 (fabs.f32 x) s)))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (*.f32 (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s) (+.f32 -1 (neg.f32 (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (*.f32 (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s) (-.f32 -1 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (*.f32 (fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (-.f32 -1 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(neg.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))) (.f32 (.f32 (neg.f32 s) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s)))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 s (.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) (*.f32 (+.f32 1 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)))
(/.f32 1 (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)) (.f32 (.f32 x (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)) (.f32 x (.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x))))))
(/.f32 (/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)) x) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x))) (+.f32 x (/.f32 x (exp.f32 (/.f32 (fabs.f32 s) x))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)) (+.f32 x (*.f32 (/.f32 x (exp.f32 (/.f32 (fabs.f32 s) x))) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)) 2))))
(/.f32 (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (fabs.f32 s) x)))) (+.f32 x (/.f32 x (exp.f32 (/.f32 (fabs.f32 s) x)))))

Symmetry

(abs x)

(negabs s)

Compiler

Compiled 198 to 65 computations (67.2% saved)

Precisions

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

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

Operation ival-exp, time spent: 344.0ms, 36.0% of total-time

Operation ival-mult, time spent: 142.0ms, 15.0% of total-time

Operation ival-div, time spent: 62.0ms, 7.0% of total-time

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

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

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

eval1.0ms (0%)

Compiler: Compiled 122 to 39 computations (68% saved)

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.5%	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))
▶	99.5%	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
▶	99.5%	(/.f32 1 (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s)))

Status

Accuracy

Program

▶

99.5%

(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))

▶

99.5%

(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))

▶

99.5%

(/.f32 1 (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s)))

Compiler

Compiled 76 to 41 computations (46.1% saved)

localize2.0s (32.5%)

Compiler: Compiled 260 to 52 computations (80% saved)
Precisions: Click to see histograms. Total time spent on operations: 939.0ms
Operation ival-add, time spent: 373.0ms, 40.0% of total-time
Operation ival-exp, time spent: 269.0ms, 29.0% of total-time
Operation ival-mult, time spent: 126.0ms, 13.0% of total-time
Operation ival-div, time spent: 108.0ms, 11.0% of total-time
Operation ival-fma, time spent: 26.0ms, 3.0% of total-time
Operation const, time spent: 23.0ms, 2.0% of total-time
Operation ival-neg, time spent: 9.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 1.0% of total-time

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune3.0ms (0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	3	3
Done	0	0
Total	3	3

Accuracy

99.6%

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.5%	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))
✓	99.5%	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
✓	99.5%	(/.f32 1 (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s)))

Status

Accuracy

Program

✓

99.5%

(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))

✓

99.5%

(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))

✓

99.5%

(/.f32 1 (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s)))

Compiler

Compiled 148 to 68 computations (54.1% saved)

regimes19.0ms (0.3%)

Accuracy

Total -0.0b remaining (-24.6%)

Threshold costs -0b (-24.6%)

Counts

3 → 1

Calls

Call 1

Inputs

(/.f32 1 (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s)))

(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))

(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))

Outputs
(/.f32 1 (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s)))

Calls

5 calls:

5.0ms	(neg.f32 (fabs.f32 x))
3.0ms	(fabs.f32 x)
3.0ms	x
3.0ms	s
2.0ms	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))

Results

Accuracy	Segments	Branch
99.5%	1	`x`
99.5%	1	`s`
99.5%	1	`(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))`
99.5%	1	`(neg.f32 (fabs.f32 x))`
99.5%	1	`(fabs.f32 x)`

Compiler

Compiled 43 to 24 computations (44.2% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`1-exp`
3×	`+-commutative`
3×	`*-commutative`
2×	`sub-neg`
2×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	77
1	31	77
2	35	77
3	38	77
4	39	77

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(/.f32 1 (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s)))

Outputs

(/.f32 1 (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s)))

(/.f32 1 (*.f32 (+.f32 1 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s)))

Compiler

Compiled 21 to 13 computations (38.1% saved)

soundness149.0ms (2.5%)

Rules

847×	`div-sub`
552×	`fma-def`
390×	`distribute-rgt-in`
386×	`distribute-lft-in`
260×	`associate-/r*`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	43	774
1	151	762
2	449	719
3	1362	711
4	3813	711
5	7035	539

Stop Event

1×	node limit

end0.0ms (0%)

preprocess30.0ms (0.5%)

Remove

(negabs s)

(abs x)

Compiler

Compiled 266 to 156 computations (41.4% saved)

analyze53.0ms (0.9%)

sample2.0s (33.7%)

preprocess1.8s (29.5%)

eval1.0ms (0%)

prune2.0ms (0%)

localize2.0s (32.5%)

eval0.0ms (0%)

prune3.0ms (0%)

regimes19.0ms (0.3%)

simplify3.0ms (0.1%)

soundness149.0ms (2.5%)

end0.0ms (0%)

preprocess30.0ms (0.5%)

Profiling