Metrics for HairBSDF, gamma for a refracted ray

analyze1.0s (7.8%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	6.3%	93.7%	0%	0%	0%	0
0%	0%	6.3%	93.7%	0%	0%	0%	1
0%	0%	6.3%	93.7%	0%	0%	0%	2
0%	0%	6.3%	93.7%	0%	0%	0%	3
0%	0%	6.3%	93.7%	0%	0%	0%	4
0%	0%	6.3%	93.7%	0%	0%	0%	5
12.5%	0.8%	5.5%	93.7%	0%	0%	0%	6
12.5%	0.8%	5.5%	93.7%	0%	0%	0%	7
16.7%	1%	4.9%	93.7%	0%	0.4%	0%	8
23.7%	1.4%	4.4%	93.7%	0%	0.5%	0%	9
26.2%	1.4%	3.9%	93.7%	0%	1%	0%	10
33.9%	1.5%	3%	93.7%	0%	1.8%	0%	11
38.9%	1.7%	2.7%	93.7%	0%	1.9%	0%	12

Compiler

Compiled 44 to 30 computations (31.8% saved)

Precisions

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

Operation ival-<=, time spent: 331.0ms, 63.0% of total-time

Operation ival-sqrt, time spent: 64.0ms, 12.0% of total-time

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

Operation ival-asin, time spent: 31.0ms, 6.0% of total-time

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

Operation ival-div, time spent: 22.0ms, 4.0% of total-time

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

Operation const, time spent: 8.0ms, 2.0% of total-time

sample5.8s (43.2%)

Results

2.7s	8255×	valid
2.3s	8242×	invalid
0.0ms	1×	valid

Precisions

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

Operation ival-sub, time spent: 612.0ms, 22.0% of total-time

Operation ival-<=, time spent: 495.0ms, 18.0% of total-time

Operation ival-sqrt, time spent: 484.0ms, 17.0% of total-time

Operation ival-asin, time spent: 330.0ms, 12.0% of total-time

Operation ival-mult, time spent: 318.0ms, 11.0% of total-time

Operation ival-div, time spent: 281.0ms, 10.0% of total-time

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

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

Bogosity

preprocess3.0s (22.4%)

Algorithm

1×	egg-herbie

Rules

781×	`fma-neg`
743×	`fma-define`
543×	`sub-neg`
324×	`div-sub`
302×	`unsub-neg`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`h`
-	-	`(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))`
-	-	`sinTheta_O`
-	-	`(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))`
-	-	`(*.f32 sinTheta_O sinTheta_O)`
-	-	`(*.f32 eta eta)`
-	-	`(sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))`
-	-	`(/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))`
-	-	`(-.f32 1 (*.f32 sinTheta_O sinTheta_O))`
-	-	`(/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))`
-	-	`(sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))`
-	-	`eta`
-	-	`1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	856
1	127	856
2	239	856
3	539	856
4	1111	856
5	2527	856
6	3664	856
7	5171	856
8	6444	856
9	7265	856
10	7742	856

Stop Event

1×	node limit

Calls

Call 1

Inputs
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 (neg.f32 sinTheta_O) (neg.f32 sinTheta_O)) (sqrt.f32 (-.f32 1 (*.f32 (neg.f32 sinTheta_O) (neg.f32 sinTheta_O)))))))))
(asin.f32 (/.f32 (neg.f32 h) (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 (neg.f32 eta) (neg.f32 eta)) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))
(neg.f32 (asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 (neg.f32 sinTheta_O) (neg.f32 sinTheta_O)) (sqrt.f32 (-.f32 1 (*.f32 (neg.f32 sinTheta_O) (neg.f32 sinTheta_O))))))))))
(neg.f32 (asin.f32 (/.f32 (neg.f32 h) (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))))
(neg.f32 (asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 (neg.f32 eta) (neg.f32 eta)) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))))
(asin.f32 (/.f32 sinTheta_O (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 h h) (sqrt.f32 (-.f32 1 (*.f32 h h))))))))
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 sinTheta_O sinTheta_O) (/.f32 (.f32 eta eta) (sqrt.f32 (-.f32 1 (*.f32 eta eta))))))))
(asin.f32 (/.f32 eta (sqrt.f32 (-.f32 (.f32 h h) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))

Outputs
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (.f32 sinTheta_O (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))))
(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 sinTheta_O (/.f32 sinTheta_O (neg.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) (.f32 eta eta)))))
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (.f32 sinTheta_O (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))))
(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 sinTheta_O (/.f32 sinTheta_O (neg.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) (.f32 eta eta)))))
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 (neg.f32 sinTheta_O) (neg.f32 sinTheta_O)) (sqrt.f32 (-.f32 1 (*.f32 (neg.f32 sinTheta_O) (neg.f32 sinTheta_O)))))))))
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (.f32 sinTheta_O (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))))
(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 sinTheta_O (/.f32 sinTheta_O (neg.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) (.f32 eta eta)))))
(asin.f32 (/.f32 (neg.f32 h) (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))
(asin.f32 (/.f32 (neg.f32 h) (sqrt.f32 (-.f32 (.f32 eta eta) (.f32 sinTheta_O (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))))
(asin.f32 (/.f32 (neg.f32 h) (sqrt.f32 (fma.f32 sinTheta_O (/.f32 sinTheta_O (neg.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) (.f32 eta eta)))))
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 (neg.f32 eta) (neg.f32 eta)) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (.f32 sinTheta_O (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))))
(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 sinTheta_O (/.f32 sinTheta_O (neg.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) (.f32 eta eta)))))
(neg.f32 (asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 (neg.f32 sinTheta_O) (neg.f32 sinTheta_O)) (sqrt.f32 (-.f32 1 (*.f32 (neg.f32 sinTheta_O) (neg.f32 sinTheta_O))))))))))
(neg.f32 (asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))))
(neg.f32 (asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (.f32 sinTheta_O (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
(neg.f32 (asin.f32 (/.f32 h (sqrt.f32 (fma.f32 sinTheta_O (/.f32 sinTheta_O (neg.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) (.f32 eta eta))))))
(neg.f32 (asin.f32 (/.f32 (neg.f32 h) (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))))
(neg.f32 (asin.f32 (/.f32 (neg.f32 h) (sqrt.f32 (-.f32 (.f32 eta eta) (.f32 sinTheta_O (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
(neg.f32 (asin.f32 (/.f32 (neg.f32 h) (sqrt.f32 (fma.f32 sinTheta_O (/.f32 sinTheta_O (neg.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) (.f32 eta eta))))))
(neg.f32 (asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 (neg.f32 eta) (neg.f32 eta)) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))))
(neg.f32 (asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))))
(neg.f32 (asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (.f32 sinTheta_O (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
(neg.f32 (asin.f32 (/.f32 h (sqrt.f32 (fma.f32 sinTheta_O (/.f32 sinTheta_O (neg.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) (.f32 eta eta))))))
(asin.f32 (/.f32 sinTheta_O (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 h h) (sqrt.f32 (-.f32 1 (*.f32 h h))))))))
(asin.f32 (/.f32 sinTheta_O (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 h h) (sqrt.f32 (neg.f32 (fma.f32 h h -1))))))))
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 sinTheta_O sinTheta_O) (/.f32 (.f32 eta eta) (sqrt.f32 (-.f32 1 (*.f32 eta eta))))))))
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 sinTheta_O sinTheta_O) (.f32 eta (/.f32 eta (sqrt.f32 (-.f32 1 (*.f32 eta eta)))))))))
(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 (neg.f32 eta) (/.f32 eta (sqrt.f32 (-.f32 1 (.f32 eta eta)))) (.f32 sinTheta_O sinTheta_O)))))
(asin.f32 (/.f32 eta (sqrt.f32 (-.f32 (.f32 h h) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))
(asin.f32 (/.f32 eta (sqrt.f32 (fma.f32 h h (/.f32 (.f32 sinTheta_O (neg.f32 sinTheta_O)) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))
(asin.f32 (/.f32 eta (sqrt.f32 (-.f32 (.f32 h h) (.f32 sinTheta_O (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))))

Symmetry

(abs sinTheta_O)

(abs eta)

Compiler

Compiled 219 to 97 computations (55.7% saved)

Precisions

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

Operation ival-sub, time spent: 766.0ms, 47.0% of total-time

Operation ival-sqrt, time spent: 476.0ms, 29.0% of total-time

Operation ival-div, time spent: 233.0ms, 14.0% of total-time

Operation ival-asin, time spent: 73.0ms, 4.0% of total-time

Operation ival-mult, time spent: 57.0ms, 3.0% of total-time

Operation const, time spent: 36.0ms, 2.0% of total-time

eval1.0ms (0%)

Compiler: Compiled 39 to 23 computations (41% saved)

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	91.1%	(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 sinTheta_O (/.f32 sinTheta_O (neg.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) (.f32 eta eta)))))
▶	91.1%	(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))

Status

Accuracy

Program

▶

91.1%

(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 sinTheta_O (/.f32 sinTheta_O (neg.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))) (*.f32 eta eta)))))

▶

91.1%

(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))

Compiler

Compiled 42 to 27 computations (35.7% saved)

localize3.1s (23.2%)

Compiler: Compiled 200 to 87 computations (56.5% saved)
Precisions: Click to see histograms. Total time spent on operations: 2.1s
Operation ival-sub, time spent: 696.0ms, 33.0% of total-time
Operation ival-sqrt, time spent: 530.0ms, 25.0% of total-time
Operation ival-div, time spent: 269.0ms, 13.0% of total-time
Operation composed, time spent: 220.0ms, 10.0% of total-time
Operation ival-add, time spent: 132.0ms, 6.0% of total-time
Operation ival-mult, time spent: 97.0ms, 5.0% of total-time
Operation ival-asin, time spent: 72.0ms, 3.0% of total-time
Operation ival-neg, time spent: 54.0ms, 3.0% of total-time
Operation const, time spent: 35.0ms, 2.0% of total-time

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	2	2
Done	0	0
Total	2	2

Accuracy

91.1%

Counts

2 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	91.1%	(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 sinTheta_O (/.f32 sinTheta_O (neg.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) (.f32 eta eta)))))
✓	91.1%	(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))

Status

Accuracy

Program

✓

91.1%

(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 sinTheta_O (/.f32 sinTheta_O (neg.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))) (*.f32 eta eta)))))

✓

91.1%

(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))

Compiler

Compiled 81 to 49 computations (39.5% saved)

regimes39.0ms (0.3%)

Counts

2 → 1

Calls

Call 1

Inputs

(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))

(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 sinTheta_O (/.f32 sinTheta_O (neg.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))) (*.f32 eta eta)))))

Outputs
(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 sinTheta_O (/.f32 sinTheta_O (neg.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) (.f32 eta eta)))))

Calls

10 calls:

9.0ms	(*.f32 sinTheta_O sinTheta_O)
4.0ms	(/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))
4.0ms	sinTheta_O
3.0ms	(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))
3.0ms	(sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))

Results

Accuracy	Segments	Branch
91.1%	1	`sinTheta_O`
91.1%	1	`h`
91.1%	1	`eta`
91.1%	1	`(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))`
91.1%	1	`(/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))`
91.1%	1	`(sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))`
91.1%	1	`(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))`
91.1%	1	`(*.f32 eta eta)`
91.1%	1	`(/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))`
91.1%	1	`(*.f32 sinTheta_O sinTheta_O)`

Compiler

Compiled 113 to 71 computations (37.2% saved)

regimes29.0ms (0.2%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))

Outputs
(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))

Calls

10 calls:

5.0ms	sinTheta_O
3.0ms	(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))
3.0ms	(/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))
3.0ms	(sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))
3.0ms	(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))

Results

Accuracy	Segments	Branch
91.1%	1	`sinTheta_O`
91.1%	1	`h`
91.1%	1	`(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))`
91.1%	1	`(/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))`
91.1%	1	`(/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))`
91.1%	1	`(*.f32 sinTheta_O sinTheta_O)`
91.1%	1	`eta`
91.1%	1	`(sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))`
91.1%	1	`(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))`
91.1%	1	`(*.f32 eta eta)`

Compiler

Compiled 113 to 71 computations (37.2% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`sub-neg`
7×	`+-commutative`
5×	`*-commutative`
5×	`neg-sub0`
5×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	152
1	44	152
2	60	152
3	69	152
4	73	152

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 sinTheta_O (/.f32 sinTheta_O (neg.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))) (*.f32 eta eta)))))

(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))

Outputs

(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 sinTheta_O (/.f32 sinTheta_O (neg.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))) (*.f32 eta eta)))))

(asin.f32 (/.f32 h (sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))

Compiler

Compiled 42 to 27 computations (35.7% saved)

soundness323.0ms (2.4%)

Rules

781×	`fma-neg`
743×	`fma-define`
543×	`sub-neg`
324×	`div-sub`
302×	`unsub-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	856
1	127	856
2	239	856
3	539	856
4	1111	856
5	2527	856
6	3664	856
7	5171	856
8	6444	856
9	7265	856
10	7742	856

Stop Event

1×	node limit

end0.0ms (0%)

preprocess47.0ms (0.3%)

Remove

(abs eta)

(abs sinTheta_O)

Compiler

Compiled 372 to 238 computations (36% saved)

analyze1.0s (7.8%)

sample5.8s (43.2%)

preprocess3.0s (22.4%)

eval1.0ms (0%)

prune2.0ms (0%)

localize3.1s (23.2%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes39.0ms (0.3%)

regimes29.0ms (0.2%)

simplify5.0ms (0%)

soundness323.0ms (2.4%)

end0.0ms (0%)

preprocess47.0ms (0.3%)

Profiling