Details

analyze1.9s (19.2%)

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)

sample3.2s (31.8%)

Results

2.0s	8256×	body	128	valid
1.0s	4556×	body	128	invalid

Compiler

Compiled 109 to 73 computations (33% saved)

simplify142.0ms (1.4%)

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.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	2.4b	(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)

localize41.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series284.0ms (2.8%)

Counts

4 → 104

Calls

4 calls:

214.0ms	(/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))
30.0ms	(sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))
27.0ms	(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))
12.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))))))))

rewrite135.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

898×	`prod-diff_binary32`
288×	`egg-rr`
153×	`add-sqr-sqrt_binary32`
147×	`log1p-expm1-u_binary32`
147×	`expm1-log1p-u_binary32`

Counts

4 → 288

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

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

simplify130.0ms (1.3%)

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

prune519.0ms (5.2%)

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.2b

Counts

380 → 6

Alt Table

Status	Error	Program
	2.4b	(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 eta eta (neg.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))))
	3.1b	(asin.f32 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (pow.f32 eta 2) (.f32 (pow.f32 sinTheta_O 2) (sqrt.f32 (/.f32 1 (-.f32 1 (pow.f32 sinTheta_O 2)))))))) h))
	3.0b	(pow.f32 (cbrt.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))))))))) 3)
	24.7b	(/.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))))))))))
▶	1.1b	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta)))))
	2.4b	(asin.f32 (/.f32 h (log1p.f32 (expm1.f32 (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))

Compiler

Compiled 18534 to 10885 computations (41.3% saved)

localize31.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series107.0ms (1.1%)

Counts

4 → 24

Calls

4 calls:

76.0ms	(/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta))))
12.0ms	(/.f32 (pow.f32 sinTheta_O 2) eta)
11.0ms	(*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta))
8.0ms	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta)))))

rewrite84.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

705×	`prod-diff_binary32`
245×	`log1p-udef_binary32`
138×	`add-sqr-sqrt_binary32`
133×	`log1p-expm1-u_binary32`
133×	`expm1-log1p-u_binary32`

Counts

4 → 124

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

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

simplify59.0ms (0.6%)

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

prune155.0ms (1.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	137	2	139
Fresh	2	3	5
Picked	1	0	1
Done	0	0	0
Total	140	5	145

Error

0.1b

Counts

145 → 5

Alt Table

Status	Error	Program
	2.4b	(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 eta eta (neg.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))))
	24.2b	(+.f32 (fma.f32 (PI.f32) 1/2 (neg.f32 (acos.f32 (/.f32 h (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2)))))) (fma.f32 (neg.f32 (sqrt.f32 (acos.f32 (/.f32 h (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2)))))) (sqrt.f32 (acos.f32 (/.f32 h (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2))))) (acos.f32 (/.f32 h (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2))))))
	3.1b	(asin.f32 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (pow.f32 eta 2) (.f32 (pow.f32 sinTheta_O 2) (sqrt.f32 (/.f32 1 (-.f32 1 (pow.f32 sinTheta_O 2)))))))) h))
▶	0.9b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (*.f32 sinTheta_O (/.f32 1 eta)))))))
	3.0b	(pow.f32 (cbrt.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))))))))) 3)

Compiler

Compiled 3671 to 2017 computations (45.1% saved)

localize64.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series101.0ms (1%)

Counts

4 → 120

Calls

4 calls:

75.0ms	(/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (*.f32 sinTheta_O (/.f32 1 eta))))))
12.0ms	(.f32 sinTheta_O (.f32 sinTheta_O (/.f32 1 eta)))
8.0ms	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (*.f32 sinTheta_O (/.f32 1 eta)))))))
6.0ms	(*.f32 sinTheta_O (/.f32 1 eta))

rewrite84.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

836×	`prod-diff_binary32`
146×	`add-sqr-sqrt_binary32`
137×	`log1p-expm1-u_binary32`
137×	`expm1-log1p-u_binary32`
135×	`add-cbrt-cube_binary32`

Counts

4 → 113

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	45
1	289	45
2	3656	45
3	5273	45

simplify83.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

538×	`cancel-sign-sub-inv_binary32`
366×	`fma-neg_binary32`
334×	`times-frac_binary32`
326×	`neg-mul-1_binary32`
322×	`neg-sub0_binary32`

Counts

233 → 134

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	66	1908
1	193	1902
2	624	1794
3	2684	1779
4	4538	1779
5	5150	1779

prune147.0ms (1.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	130	4	134
Fresh	0	4	4
Picked	1	0	1
Done	0	0	0
Total	131	8	139

Error

0.1b

Counts

139 → 8

Alt Table

Status	Error	Program
	2.4b	(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 eta eta (neg.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))))
	24.2b	(+.f32 (fma.f32 (PI.f32) 1/2 (neg.f32 (acos.f32 (/.f32 h (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2)))))) (fma.f32 (neg.f32 (sqrt.f32 (acos.f32 (/.f32 h (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2)))))) (sqrt.f32 (acos.f32 (/.f32 h (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2))))) (acos.f32 (/.f32 h (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2))))))
	3.1b	(asin.f32 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (pow.f32 eta 2) (.f32 (pow.f32 sinTheta_O 2) (sqrt.f32 (/.f32 1 (-.f32 1 (pow.f32 sinTheta_O 2)))))))) h))
	23.8b	(-.f32 (.f32 (PI.f32) 1/2) (acos.f32 (/.f32 h (-.f32 eta (.f32 (*.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2)))))
	17.8b	(exp.f32 (log.f32 (asin.f32 (/.f32 h (-.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2))))))
▶	0.9b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (exp.f32 (log.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta))))))))
	3.0b	(pow.f32 (cbrt.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))))))))) 3)
	1.7b	(asin.f32 (.f32 (pow.f32 (cbrt.f32 h) 2) (.f32 (cbrt.f32 h) (/.f32 1 (-.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2))))))

Compiler

Compiled 3669 to 2069 computations (43.6% saved)

localize40.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (exp.f32 (log.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta))))))))
✓	0.1b	(*.f32 sinTheta_O (/.f32 sinTheta_O eta))
✓	1.8b	(exp.f32 (log.f32 (*.f32 sinTheta_O (/.f32 sinTheta_O eta))))
✓	12.2b	(log.f32 (*.f32 sinTheta_O (/.f32 sinTheta_O eta)))

series560.0ms (5.6%)

Counts

4 → 108

Calls

4 calls:

531.0ms	(log.f32 (*.f32 sinTheta_O (/.f32 sinTheta_O eta)))
10.0ms	(*.f32 sinTheta_O (/.f32 sinTheta_O eta))
10.0ms	(exp.f32 (log.f32 (*.f32 sinTheta_O (/.f32 sinTheta_O eta))))
8.0ms	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (exp.f32 (log.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta))))))))

rewrite76.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

709×	`prod-diff_binary32`
139×	`add-sqr-sqrt_binary32`
132×	`log1p-expm1-u_binary32`
132×	`expm1-log1p-u_binary32`
129×	`add-log-exp_binary32`

Counts

4 → 128

Calls

4 calls:

73.0ms	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (exp.f32 (log.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta))))))))
73.0ms	(*.f32 sinTheta_O (/.f32 sinTheta_O eta))
73.0ms	(exp.f32 (log.f32 (*.f32 sinTheta_O (/.f32 sinTheta_O eta))))
73.0ms	(log.f32 (*.f32 sinTheta_O (/.f32 sinTheta_O eta)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	41
1	268	41
2	3586	41
3	4964	41

simplify87.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

872×	`fma-neg_binary32`
434×	`unsub-neg_binary32`
338×	`fma-def_binary32`
280×	`log-prod_binary32`
238×	`sub-neg_binary32`

Counts

236 → 115

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	36	1288
1	75	1288
2	145	1208
3	329	1208
4	921	1196
5	2778	1196
6	4350	1196
7	4965	1196

prune114.0ms (1.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	114	1	115
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	116	7	123

Error

0.1b

Counts

123 → 7

Alt Table

Status	Error	Program
	2.4b	(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 eta eta (neg.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))))
	24.2b	(+.f32 (fma.f32 (PI.f32) 1/2 (neg.f32 (acos.f32 (/.f32 h (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2)))))) (fma.f32 (neg.f32 (sqrt.f32 (acos.f32 (/.f32 h (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2)))))) (sqrt.f32 (acos.f32 (/.f32 h (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2))))) (acos.f32 (/.f32 h (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2))))))
	3.1b	(asin.f32 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (pow.f32 eta 2) (.f32 (pow.f32 sinTheta_O 2) (sqrt.f32 (/.f32 1 (-.f32 1 (pow.f32 sinTheta_O 2)))))))) h))
	23.8b	(-.f32 (.f32 (PI.f32) 1/2) (acos.f32 (/.f32 h (-.f32 eta (.f32 (*.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2)))))
	0.9b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (log.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)))) 2)) (cbrt.f32 (log.f32 (*.f32 sinTheta_O (/.f32 sinTheta_O eta)))))))))
	3.0b	(pow.f32 (cbrt.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))))))))) 3)
	1.7b	(asin.f32 (.f32 (pow.f32 (cbrt.f32 h) 2) (.f32 (cbrt.f32 h) (/.f32 1 (-.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2))))))

Compiler

Compiled 3040 to 1614 computations (46.9% saved)

regimes1.7s (16.8%)

Accuracy

Total 0.2b remaining (59.3%)

Threshold costs 0.2b (59.3%)

Counts

139 → 2

Compiler

Compiled 39622 to 26140 computations (34% saved)

bsearch2.0ms (0%)

Steps

Iters	Range		Point
0	0.0	1.401298464324817e-45	0.0

Compiler

Compiled 13 to 8 computations (38.5% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary32`
4×	`sub-neg_binary32`
3×	`*-commutative_binary32`
3×	`neg-sub0_binary32`
3×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	54
1	30	54
2	37	54
3	42	54
4	44	54
5	43	54

end168.0ms (1.7%)

Compiler: Compiled 276 to 174 computations (37% saved)

Details

analyze1.9s (19.2%)

sample3.2s (31.8%)

simplify142.0ms (1.4%)

prune2.0ms (0%)

localize41.0ms (0.4%)

series284.0ms (2.8%)

rewrite135.0ms (1.3%)

simplify130.0ms (1.3%)

prune519.0ms (5.2%)

localize31.0ms (0.3%)

series107.0ms (1.1%)

rewrite84.0ms (0.8%)

simplify59.0ms (0.6%)

prune155.0ms (1.6%)

localize64.0ms (0.6%)

series101.0ms (1%)

rewrite84.0ms (0.8%)

simplify83.0ms (0.8%)

prune147.0ms (1.5%)

localize40.0ms (0.4%)

series560.0ms (5.6%)

rewrite76.0ms (0.8%)

simplify87.0ms (0.9%)

prune114.0ms (1.1%)

regimes1.7s (16.8%)

bsearch2.0ms (0%)

simplify3.0ms (0%)

end168.0ms (1.7%)

Profiling