Details

analyze2.1s (19.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	6.3%	93.7%	0
0%	6.3%	93.7%	1
0%	6.3%	93.7%	2
0%	6.3%	93.7%	3
0%	6.3%	93.7%	4
0%	6.3%	93.7%	5
0.8%	5.5%	93.7%	6
0.8%	5.5%	93.7%	7
1%	4.9%	94.1%	8
1.4%	4.4%	94.2%	9
1.4%	3.9%	94.8%	10
1.5%	3%	95.5%	11
1.7%	2.7%	95.6%	12
1.7%	2.2%	96.1%	13
1.8%	1.6%	96.6%	14

Compiler

Compiled 44 to 30 computations (31.8% saved)

sample4.0s (37.2%)

Results

2.8s	8256×	body	128	valid
1.1s	4583×	body	128	invalid

Compiler

Compiled 109 to 73 computations (33% saved)

simplify144.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1390×	`div-sub_binary32`
623×	`sub-neg_binary32`
600×	`fma-neg_binary32`
545×	`fma-def_binary32`
530×	`unsub-neg_binary32`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	28
1	26	28
2	39	28
3	74	28
4	114	28
5	167	28
6	246	28
7	430	28
8	663	28
9	998	28
10	1987	28
11	2521	28
12	3535	28
13	4371	28
14	4747	28
15	4795	28
16	4877	28
17	4860	28
18	5632	28

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

2.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	2.9b	(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 63 to 39 computations (38.1% saved)

localize53.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))
✓	0.0b	(/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))
✓	0.0b	(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))))))))
✓	2.7b	(sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))

series365.0ms (3.4%)

Counts

4 → 104

Calls

4 calls:

278.0ms	(/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))
40.0ms	(sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))
31.0ms	(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))
15.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))))))))

rewrite134.0ms (1.2%)

Algorithm

2×	batch-egg-rewrite

Rules

288× egg-rr

Counts

4 → 288

Calls

2 calls:

120.0ms

((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)))))))) (/.f32 h (sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))) (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	98
1	308	98
2	3927	98
3	5778	98
0	0	0
1	0	0

simplify130.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

323×	`cancel-sign-sub-inv_binary32`
240×	`fma-def_binary32`
196×	`times-frac_binary32`
194×	`fma-neg_binary32`
189×	`associate-/r*_binary32`

Counts

392 → 379

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	260	4664
1	887	4519
2	3633	4517
3	4985	4513
4	4988	4513

prune465.0ms (4.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	373	6	379
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	374	6	380

Error

0.6b

Counts

380 → 6

Alt Table

Status	Error	Program
	19.7b	(asin.f32 (.f32 (sqrt.f32 h) (.f32 (sqrt.f32 h) (pow.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))) -1/2))))
	3.2b	(asin.f32 (.f32 h (pow.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) -1/2)))
▶	1.0b	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta)))))
	3.3b	(asin.f32 (/.f32 h (.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))) 2)) (sqrt.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	25.0b	(/.f32 (-.f32 (.f32 (/.f32 (PI.f32) 2) (/.f32 (PI.f32) 2)) (.f32 (acos.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (acos.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))))) (+.f32 (/.f32 (PI.f32) 2) (acos.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.4b	(asin.f32 (.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) 1/4)) (/.f32 h (pow.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))) 1/4))))

Compiler

Compiled 18608 to 10911 computations (41.4% saved)

localize40.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta))))
✓	0.0b	(*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta))
✓	0.0b	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta)))))
✓	5.0b	(/.f32 (pow.f32 sinTheta_O 2) eta)

series122.0ms (1.1%)

Counts

4 → 24

Calls

4 calls:

88.0ms	(/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta))))
13.0ms	(*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta))
10.0ms	(/.f32 (pow.f32 sinTheta_O 2) eta)
10.0ms	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta)))))

rewrite74.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

124× egg-rr

Counts

4 → 124

Calls

2 calls:

71.0ms

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

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	51
1	274	51
2	3480	51
3	5234	51
0	0	0
1	0	0

simplify58.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

531×	`cancel-sign-sub-inv_binary32`
363×	`fma-neg_binary32`
334×	`times-frac_binary32`
313×	`neg-mul-1_binary32`
310×	`neg-sub0_binary32`

Counts

148 → 139

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	60	804
1	178	798
2	598	786
3	2621	771
4	4434	771
5	5029	771

prune125.0ms (1.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	136	3	139
Fresh	2	3	5
Picked	1	0	1
Done	0	0	0
Total	139	6	145

Error

0.3b

Counts

145 → 6

Alt Table

Status	Error	Program
	3.2b	(asin.f32 (.f32 h (pow.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) -1/2)))
▶	0.7b	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (pow.f32 (/.f32 sinTheta_O (sqrt.f32 eta)) 2)))))
	1.5b	(asin.f32 (.f32 (/.f32 1 (sqrt.f32 (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2)))) (/.f32 h (sqrt.f32 (-.f32 eta (.f32 (/.f32 (*.f32 sinTheta_O sinTheta_O) eta) 1/2))))))
	1.7b	(asin.f32 (.f32 (/.f32 1 (pow.f32 (cbrt.f32 (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2))) 2)) (/.f32 h (cbrt.f32 (-.f32 eta (.f32 (/.f32 (*.f32 sinTheta_O sinTheta_O) eta) 1/2))))))
	3.3b	(asin.f32 (/.f32 h (.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))) 2)) (sqrt.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	3.4b	(asin.f32 (.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) 1/4)) (/.f32 h (pow.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))) 1/4))))

Compiler

Compiled 3737 to 2049 computations (45.2% saved)

localize39.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f32 1/2 (pow.f32 (/.f32 sinTheta_O (sqrt.f32 eta)) 2))
✓	0.0b	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (pow.f32 (/.f32 sinTheta_O (sqrt.f32 eta)) 2)))))
✓	0.3b	(pow.f32 (/.f32 sinTheta_O (sqrt.f32 eta)) 2)
✓	0.3b	(/.f32 sinTheta_O (sqrt.f32 eta))

series82.0ms (0.8%)

Counts

4 → 80

Calls

4 calls:

25.0ms	(*.f32 1/2 (pow.f32 (/.f32 sinTheta_O (sqrt.f32 eta)) 2))
25.0ms	(pow.f32 (/.f32 sinTheta_O (sqrt.f32 eta)) 2)
21.0ms	(/.f32 sinTheta_O (sqrt.f32 eta))
10.0ms	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (pow.f32 (/.f32 sinTheta_O (sqrt.f32 eta)) 2)))))

rewrite76.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

119× egg-rr

Counts

4 → 119

Calls

2 calls:

72.0ms

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

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	47
1	290	41
2	3577	41
3	4968	41
0	0	0
1	0	0

simplify88.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

743×	`div-sub_binary32`
480×	`associate-/r/_binary32`
428×	`associate-/l/_binary32`
408×	`times-frac_binary32`
285×	`cancel-sign-sub-inv_binary32`

Counts

199 → 127

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	21	1048
1	44	1048
2	73	984
3	151	984
4	395	984
5	1399	980
6	4049	980
7	5046	980

prune143.0ms (1.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	127	6	133

Error

0.3b

Counts

133 → 6

Alt Table

Status	Error	Program
	3.2b	(asin.f32 (.f32 h (pow.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) -1/2)))
✓	0.7b	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (pow.f32 (/.f32 sinTheta_O (sqrt.f32 eta)) 2)))))
▶	1.5b	(asin.f32 (.f32 (/.f32 1 (sqrt.f32 (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2)))) (/.f32 h (sqrt.f32 (-.f32 eta (.f32 (/.f32 (*.f32 sinTheta_O sinTheta_O) eta) 1/2))))))
	1.7b	(asin.f32 (.f32 (/.f32 1 (pow.f32 (cbrt.f32 (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2))) 2)) (/.f32 h (cbrt.f32 (-.f32 eta (.f32 (/.f32 (*.f32 sinTheta_O sinTheta_O) eta) 1/2))))))
	3.3b	(asin.f32 (/.f32 h (.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))) 2)) (sqrt.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	3.4b	(asin.f32 (.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) 1/4)) (/.f32 h (pow.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))) 1/4))))

Compiler

Compiled 3344 to 1801 computations (46.1% saved)

localize91.0ms (0.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f32 h (sqrt.f32 (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2))))
✓	0.2b	(/.f32 1 (sqrt.f32 (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2))))
✓	0.4b	(.f32 (/.f32 1 (sqrt.f32 (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2)))) (/.f32 h (sqrt.f32 (-.f32 eta (.f32 (/.f32 (*.f32 sinTheta_O sinTheta_O) eta) 1/2)))))
✓	5.0b	(/.f32 (*.f32 sinTheta_O sinTheta_O) eta)

series279.0ms (2.6%)

Counts

4 → 96

Calls

4 calls:

121.0ms	(/.f32 h (sqrt.f32 (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2))))
113.0ms	(.f32 (/.f32 1 (sqrt.f32 (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2)))) (/.f32 h (sqrt.f32 (-.f32 eta (.f32 (/.f32 (*.f32 sinTheta_O sinTheta_O) eta) 1/2)))))
34.0ms	(/.f32 1 (sqrt.f32 (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2))))
11.0ms	(/.f32 (*.f32 sinTheta_O sinTheta_O) eta)

rewrite86.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

150× egg-rr

Counts

4 → 150

Calls

2 calls:

83.0ms

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

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	59
1	308	57
2	3982	57
3	5299	57
0	0	0
1	0	0

simplify73.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

824×	`fma-def_binary32`
793×	`associate-/r*_binary32`
177×	`associate-/r/_binary32`
134×	`cancel-sign-sub-inv_binary32`
127×	`associate-/l/_binary32`

Counts

246 → 218

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	181	2860
1	570	2852
2	2151	2714
3	5430	2714

prune253.0ms (2.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	255	0	255
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	255	6	261

Error

0.3b

Counts

261 → 6

Alt Table

Status	Error	Program
	3.2b	(asin.f32 (.f32 h (pow.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) -1/2)))
✓	0.7b	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (pow.f32 (/.f32 sinTheta_O (sqrt.f32 eta)) 2)))))
✓	1.5b	(asin.f32 (.f32 (/.f32 1 (sqrt.f32 (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2)))) (/.f32 h (sqrt.f32 (-.f32 eta (.f32 (/.f32 (*.f32 sinTheta_O sinTheta_O) eta) 1/2))))))
	1.7b	(asin.f32 (.f32 (/.f32 1 (pow.f32 (cbrt.f32 (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2))) 2)) (/.f32 h (cbrt.f32 (-.f32 eta (.f32 (/.f32 (*.f32 sinTheta_O sinTheta_O) eta) 1/2))))))
	3.3b	(asin.f32 (/.f32 h (.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))) 2)) (sqrt.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	3.4b	(asin.f32 (.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) 1/4)) (/.f32 h (pow.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))) 1/4))))

Compiler

Compiled 8661 to 5113 computations (41% saved)

regimes1.6s (15.1%)

Accuracy

Total 0.6b remaining (75.5%)

Threshold costs 0.6b (75.5%)

Counts

124 → 1

Compiler

Compiled 39578 to 25676 computations (35.1% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary32`
3×	`*-commutative_binary32`
3×	`sub-neg_binary32`
2×	`distribute-lft-neg-in_binary32`
2×	`distribute-rgt-neg-in_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	20
1	20	20
2	28	20
3	32	20
4	35	20
5	36	20
6	35	20

end107.0ms (1%)

Compiler: Compiled 212 to 136 computations (35.8% saved)

Details

analyze2.1s (19.7%)

sample4.0s (37.2%)

simplify144.0ms (1.3%)

prune2.0ms (0%)

localize53.0ms (0.5%)

series365.0ms (3.4%)

rewrite134.0ms (1.2%)

simplify130.0ms (1.2%)

prune465.0ms (4.3%)

localize40.0ms (0.4%)

series122.0ms (1.1%)

rewrite74.0ms (0.7%)

simplify58.0ms (0.5%)

prune125.0ms (1.2%)

localize39.0ms (0.4%)

series82.0ms (0.8%)

rewrite76.0ms (0.7%)

simplify88.0ms (0.8%)

prune143.0ms (1.3%)

localize91.0ms (0.8%)

series279.0ms (2.6%)

rewrite86.0ms (0.8%)

simplify73.0ms (0.7%)

prune253.0ms (2.3%)

regimes1.6s (15.1%)

simplify3.0ms (0%)

end107.0ms (1%)

Profiling