Metrics for Trowbridge-Reitz Sample, sample surface normal, cosTheta

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze882.0ms (4.5%)

Memory

0.0MiB live, 258.7MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0%	100%	0%	0%	0%	0
0%	0%	0%	100%	0%	0%	0%	1
0%	0%	0%	100%	0%	0%	0%	2
0%	0%	0%	100%	0%	0%	0%	3
0%	0%	0%	100%	0%	0%	0%	4
0%	0%	0%	100%	0%	0%	0%	5
0%	0%	0%	100%	0%	0%	0%	6
6.2%	0%	0%	100%	0%	0%	0%	7
9.4%	0%	0%	100%	0%	0%	0%	8
14.1%	0%	0%	100%	0%	0%	0%	9
21.1%	0%	0%	100%	0%	0%	0%	10
31.6%	0%	0%	100%	0%	0%	0%	11
36.9%	0%	0%	100%	0%	0%	0%	12

Compiler

Compiled 120 to 50 computations (58.3% saved)

sample91.0ms (0.5%)

Memory

0.9MiB live, 31.0MiB allocated

Samples

75.0ms

260×

valid

Precisions

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

ival-mult: 12.0ms (18.1% of total)

ival-div: 10.0ms (15.1% of total)

ival-tan: 8.0ms (12% of total)

ival-sin: 7.0ms (10.5% of total)

ival-cos: 7.0ms (10.5% of total)

const: 7.0ms (10.5% of total)

ival-<=: 5.0ms (7.5% of total)

ival-add: 3.0ms (4.5% of total)

ival-atan: 3.0ms (4.5% of total)

ival-sqrt: 2.0ms (3% of total)

ival-pi: 1.0ms (1.5% of total)

ival-sub: 1.0ms (1.5% of total)

ival-and: 1.0ms (1.5% of total)

ival-assert: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

Bogosity

explain18.4s (94%)

Memory

23.3MiB live, 9 735.2MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
188	1	(4.436052636336285e-10 0.0002358380297664553 0.0008301590569317341 0.0007347489008679986)	16	(5.677537373571795e-8 0.0020476123318076134 0.02322322316467762 0.6569517850875854)	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`
185	4	(0.0009973605629056692 0.0030485158786177635 0.01358830463141203 0.560529351234436)	9	(0.0007135341293178499 0.05013478919863701 0.00013860693434253335 0.0016481721540912986)	`(cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))`
0	0	-	0	-	(sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))))
0	0	-	0	-	`(*.f32 alphax alphax)`
0	0	-	0	-	`(.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))))`
0	0	-	0	-	`(PI.f32)`
0	0	-	0	-	`#s(literal 2 binary32)`
0	0	-	0	-	`(/.f32 alphay alphax)`
0	0	-	0	-	(/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay))))
0	0	-	0	-	`#s(literal 1/2 binary32)`
0	0	-	0	-	`(+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))`
0	0	-	0	-	`(-.f32 #s(literal 1 binary32) u0)`
0	0	-	0	-	`u1`
0	0	-	0	-	`(*.f32 #s(literal 1/2 binary32) (PI.f32))`
0	0	-	0	-	`alphax`
0	0	-	0	-	(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
0	0	-	0	-	`u0`
0	0	-	0	-	`(.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))))`
0	0	-	0	-	`(.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1)`
0	0	-	0	-	`(sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))`
0	0	-	0	-	`(*.f32 alphay alphay)`
0	0	-	0	-	`#s(literal 1 binary32)`
0	0	-	0	-	(.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0)
0	0	-	0	-	`(atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))`
0	0	-	0	-	(/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))
0	0	-	0	-	(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))
0	0	-	0	-	`(/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay))`
0	0	-	0	-	`(.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))`
0	0	-	0	-	`alphay`
0	0	-	0	-	(+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))
0	0	-	0	-	`(/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax))`
0	0	-	0	-	`(*.f32 #s(literal 2 binary32) (PI.f32))`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f32`	`(cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))`	sensitivity	180	21
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancellation	173	22

Confusion

	Predicted +	Predicted -
+	0	0
-	198	58

Precision

0.0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	198	18	40

Precision?

0.0

Recall?

0/0

Freqs

test

number	freq
0	58
1	43
2	155

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	1	0	0

Precision?

0.0

Recall?

0/0

Total Time

68.503173828125

Average Time

0.2675905227661133

Samples

5.9s

23 040×

valid

Compiler

Compiled 115 380 to 5 940 computations (94.9% saved)

Precisions

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

ival-mult: 1.1s (22.8% of total)

ival-div: 795.0ms (16.6% of total)

ival-tan: 726.0ms (15.1% of total)

ival-sin: 651.0ms (13.6% of total)

ival-cos: 623.0ms (13% of total)

ival-add: 282.0ms (5.9% of total)

ival-atan: 237.0ms (4.9% of total)

ival-sqrt: 137.0ms (2.9% of total)

ival-sub: 113.0ms (2.4% of total)

ival-pi: 80.0ms (1.7% of total)

exact: 32.0ms (0.7% of total)

ival-true: 20.0ms (0.4% of total)

ival-assert: 9.0ms (0.2% of total)

preprocess162.0ms (0.8%)

Memory

-0.1MiB live, 31.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	202	1260
1	491	1222
2	1013	1108
3	3236	1108
4	6267	1108
0	32	88
0	57	88
1	89	86
2	127	78
3	176	78
4	270	78
5	720	78
6	2225	78
7	4183	78
8	6168	78
0	8044	73

Stop Event

1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

Calls

Call 1

Inputs
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))

Inputs

(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))

Outputs
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (-.f32 (/.f32 (/.f32 u0 (-.f32 #s(literal 1 binary32) u0)) (fma.f32 (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (fma.f32 u1 #s(literal 2 binary32) #s(literal 1/2 binary32)) (PI.f32))) (/.f32 alphay alphax)))) (.f32 alphay alphay)) (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (fma.f32 u1 #s(literal 2 binary32) #s(literal 1/2 binary32)) (PI.f32))) (/.f32 alphay alphax)))) (.f32 (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (fma.f32 u1 #s(literal 2 binary32) #s(literal 1/2 binary32)) (PI.f32))) (/.f32 alphay alphax)))) (.f32 alphax alphax)) (cos.f32 (atan.f32 (.f32 (tan.f32 (*.f32 (fma.f32 u1 #s(literal 2 binary32) #s(literal 1/2 binary32)) (PI.f32))) (/.f32 alphay alphax))))))) #s(literal -1 binary32))))

Outputs

(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))

(/.f32 #s(literal 1 binary32) (sqrt.f32 (-.f32 (/.f32 (/.f32 u0 (-.f32 #s(literal 1 binary32) u0)) (fma.f32 (/.f32 (sin.f32 (atan.f32 (*.f32 (tan.f32 (*.f32 (fma.f32 u1 #s(literal 2 binary32) #s(literal 1/2 binary32)) (PI.f32))) (/.f32 alphay alphax)))) (*.f32 alphay alphay)) (sin.f32 (atan.f32 (*.f32 (tan.f32 (*.f32 (fma.f32 u1 #s(literal 2 binary32) #s(literal 1/2 binary32)) (PI.f32))) (/.f32 alphay alphax)))) (*.f32 (/.f32 (cos.f32 (atan.f32 (*.f32 (tan.f32 (*.f32 (fma.f32 u1 #s(literal 2 binary32) #s(literal 1/2 binary32)) (PI.f32))) (/.f32 alphay alphax)))) (*.f32 alphax alphax)) (cos.f32 (atan.f32 (*.f32 (tan.f32 (*.f32 (fma.f32 u1 #s(literal 2 binary32) #s(literal 1/2 binary32)) (PI.f32))) (/.f32 alphay alphax))))))) #s(literal -1 binary32))))

Compiler

Compiled 88 to 32 computations (63.6% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated
Compiler: Compiled 0 to 4 computations (-∞% saved)

prune1.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.4%	(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))

Status

Accuracy

Program

99.4%

(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))

Compiler

Compiled 176 to 64 computations (63.6% saved)

simplify30.0ms (0.2%)

Memory

-8.6MiB live, 18.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	88
1	45	88
2	49	88
3	51	88
4	52	88

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))

Inputs

(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))

Outputs
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 (/.f32 (.f32 u0 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 #s(literal 1/2 binary32) (PI.f32)) (.f32 u1 (.f32 (PI.f32) #s(literal 2 binary32))))) (/.f32 alphay alphax)))) (sin.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 #s(literal 1/2 binary32) (PI.f32)) (.f32 u1 (.f32 (PI.f32) #s(literal 2 binary32))))) (/.f32 alphay alphax))))) (.f32 alphay alphay)) (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 #s(literal 1/2 binary32) (PI.f32)) (.f32 u1 (.f32 (PI.f32) #s(literal 2 binary32))))) (/.f32 alphay alphax)))) (cos.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 #s(literal 1/2 binary32) (PI.f32)) (.f32 u1 (.f32 (PI.f32) #s(literal 2 binary32))))) (/.f32 alphay alphax))))) (*.f32 alphax alphax))))) (-.f32 #s(literal 1 binary32) u0)) #s(literal 1 binary32))))

Outputs

(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))

(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 (/.f32 (*.f32 u0 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (tan.f32 (+.f32 (*.f32 #s(literal 1/2 binary32) (PI.f32)) (*.f32 u1 (*.f32 (PI.f32) #s(literal 2 binary32))))) (/.f32 alphay alphax)))) (sin.f32 (atan.f32 (*.f32 (tan.f32 (+.f32 (*.f32 #s(literal 1/2 binary32) (PI.f32)) (*.f32 u1 (*.f32 (PI.f32) #s(literal 2 binary32))))) (/.f32 alphay alphax))))) (*.f32 alphay alphay)) (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (tan.f32 (+.f32 (*.f32 #s(literal 1/2 binary32) (PI.f32)) (*.f32 u1 (*.f32 (PI.f32) #s(literal 2 binary32))))) (/.f32 alphay alphax)))) (cos.f32 (atan.f32 (*.f32 (tan.f32 (+.f32 (*.f32 #s(literal 1/2 binary32) (PI.f32)) (*.f32 u1 (*.f32 (PI.f32) #s(literal 2 binary32))))) (/.f32 alphay alphax))))) (*.f32 alphax alphax))))) (-.f32 #s(literal 1 binary32) u0)) #s(literal 1 binary32))))

soundness0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 88 to 32 computations (63.6% saved)

preprocess1.0ms (0%)

Memory: 0.8MiB live, 0.8MiB allocated
Compiler: Compiled 352 to 128 computations (63.6% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze882.0ms (4.5%)

sample91.0ms (0.5%)

explain18.4s (94%)

preprocess162.0ms (0.8%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify30.0ms (0.2%)

soundness0.0ms (0%)

preprocess1.0ms (0%)

end0.0ms (0%)

Profiling