Details

analyze1.7s (14.5%)

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.0s (25.7%)

Results

1.8s	8256×	body	128	valid
975.0ms	4536×	body	128	invalid

Compiler

Compiled 109 to 73 computations (33% saved)

simplify145.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)

localize39.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series368.0ms (3.2%)

Counts

4 → 104

Calls

4 calls:

281.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))))))))

rewrite136.0ms (1.2%)

Algorithm

2×	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:

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

simplify126.0ms (1.1%)

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

prune486.0ms (4.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	372	7	379
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	373	7	380

Error

0.3b

Counts

380 → 7

Alt Table

Status	Error	Program
	3.6b	(asin.f32 (.f32 (pow.f32 (cbrt.f32 h) 2) (.f32 (cbrt.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.1b	(asin.f32 (/.f32 h (.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))) (cbrt.f32 (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	2.9b	(asin.f32 (/.f32 h (sqrt.f32 (.f32 (+.f32 eta (/.f32 sinTheta_O (pow.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)) 1/4))) (-.f32 eta (/.f32 sinTheta_O (pow.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)) 1/4)))))))
	3.1b	(asin.f32 (pow.f32 (/.f32 (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))) h) -1))
	4.4b	(asin.f32 (/.f32 h (exp.f32 (log.f32 (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	3.1b	(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.5b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 (/.f32 (pow.f32 sinTheta_O 2) eta) (sqrt.f32 (/.f32 1 (-.f32 1 (pow.f32 sinTheta_O 2)))))))))

Compiler

Compiled 18552 to 10895 computations (41.3% saved)

localize47.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series298.0ms (2.6%)

Counts

4 → 36

Calls

4 calls:

208.0ms	(/.f32 h (-.f32 eta (.f32 1/2 (.f32 (/.f32 (pow.f32 sinTheta_O 2) eta) (sqrt.f32 (/.f32 1 (-.f32 1 (pow.f32 sinTheta_O 2))))))))
62.0ms	(.f32 1/2 (.f32 (/.f32 (pow.f32 sinTheta_O 2) eta) (sqrt.f32 (/.f32 1 (-.f32 1 (pow.f32 sinTheta_O 2))))))
15.0ms	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 (/.f32 (pow.f32 sinTheta_O 2) eta) (sqrt.f32 (/.f32 1 (-.f32 1 (pow.f32 sinTheta_O 2)))))))))
12.0ms	(/.f32 (pow.f32 sinTheta_O 2) eta)

rewrite86.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

327×	`log1p-udef_binary32`
187×	`add-sqr-sqrt_binary32`
180×	`log1p-expm1-u_binary32`
180×	`expm1-log1p-u_binary32`
176×	`add-log-exp_binary32`

Counts

4 → 104

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	93
1	383	84
2	4810	84
3	5222	84
0	0	0
1	0	0

simplify77.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

540×	`fma-neg_binary32`
296×	`cancel-sign-sub-inv_binary32`
255×	`associate-/r/_binary32`
237×	`associate-/l/_binary32`
203×	`associate-/r*_binary32`

Counts

140 → 165

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	224	2013
1	755	1896
2	2878	1816
3	4908	1814
4	5184	1814

prune233.0ms (2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	161	4	165
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	163	9	172

Error

0.1b

Counts

172 → 9

Alt Table

Status	Error	Program
	0.7b	(asin.f32 (.f32 h (/.f32 1 (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) (.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))) eta)))))))
	2.9b	(asin.f32 (/.f32 h (sqrt.f32 (.f32 (+.f32 eta (/.f32 sinTheta_O (pow.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)) 1/4))) (-.f32 eta (/.f32 sinTheta_O (pow.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)) 1/4)))))))
▶	0.3b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 (pow.f32 (/.f32 sinTheta_O (sqrt.f32 eta)) 2) (sqrt.f32 (/.f32 1 (-.f32 1 (pow.f32 sinTheta_O 2)))))))))
	0.7b	(asin.f32 (pow.f32 (/.f32 (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) (.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))) eta)))) h) -1))
	3.6b	(asin.f32 (.f32 (pow.f32 (cbrt.f32 h) 2) (.f32 (cbrt.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.1b	(asin.f32 (/.f32 h (.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))) (cbrt.f32 (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	1.3b	(asin.f32 (.f32 (/.f32 (pow.f32 (cbrt.f32 h) 2) (sqrt.f32 (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) (.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))) eta)))))) (/.f32 (cbrt.f32 h) (sqrt.f32 (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) (.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))) eta))))))))
	4.4b	(asin.f32 (/.f32 h (exp.f32 (log.f32 (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	3.1b	(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)))

Compiler

Compiled 5846 to 3843 computations (34.3% saved)

localize84.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

series290.0ms (2.5%)

Counts

4 → 93

Calls

4 calls:

223.0ms	(/.f32 h (-.f32 eta (.f32 1/2 (.f32 (pow.f32 (/.f32 sinTheta_O (sqrt.f32 eta)) 2) (sqrt.f32 (/.f32 1 (-.f32 1 (pow.f32 sinTheta_O 2))))))))
26.0ms	(pow.f32 (/.f32 sinTheta_O (sqrt.f32 eta)) 2)
23.0ms	(/.f32 sinTheta_O (sqrt.f32 eta))
17.0ms	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 (pow.f32 (/.f32 sinTheta_O (sqrt.f32 eta)) 2) (sqrt.f32 (/.f32 1 (-.f32 1 (pow.f32 sinTheta_O 2)))))))))

rewrite92.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

351×	`prod-diff_binary32`
202×	`add-sqr-sqrt_binary32`
196×	`log1p-expm1-u_binary32`
196×	`expm1-log1p-u_binary32`
191×	`add-log-exp_binary32`

Counts

4 → 124

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	81
1	421	69
2	4707	69
3	5365	69
0	0	0
1	0	0

simplify89.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

896×	`fma-def_binary32`
437×	`fma-neg_binary32`
273×	`cancel-sign-sub-inv_binary32`
254×	`associate-/r/_binary32`
207×	`neg-mul-1_binary32`

Counts

217 → 170

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	157	2992
1	520	2891
2	2151	2707
3	4590	2705
4	5026	2705

prune221.0ms (1.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	170	0	170
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	170	9	179

Error

0.1b

Counts

179 → 9

Alt Table

Status	Error	Program
	0.7b	(asin.f32 (.f32 h (/.f32 1 (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) (.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))) eta)))))))
	2.9b	(asin.f32 (/.f32 h (sqrt.f32 (.f32 (+.f32 eta (/.f32 sinTheta_O (pow.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)) 1/4))) (-.f32 eta (/.f32 sinTheta_O (pow.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)) 1/4)))))))
✓	0.3b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 (pow.f32 (/.f32 sinTheta_O (sqrt.f32 eta)) 2) (sqrt.f32 (/.f32 1 (-.f32 1 (pow.f32 sinTheta_O 2)))))))))
▶	0.7b	(asin.f32 (pow.f32 (/.f32 (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) (.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))) eta)))) h) -1))
	3.6b	(asin.f32 (.f32 (pow.f32 (cbrt.f32 h) 2) (.f32 (cbrt.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.1b	(asin.f32 (/.f32 h (.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))) (cbrt.f32 (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	1.3b	(asin.f32 (.f32 (/.f32 (pow.f32 (cbrt.f32 h) 2) (sqrt.f32 (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) (.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))) eta)))))) (/.f32 (cbrt.f32 h) (sqrt.f32 (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) (.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))) eta))))))))
	4.4b	(asin.f32 (/.f32 h (exp.f32 (log.f32 (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	3.1b	(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)))

Compiler

Compiled 6848 to 4221 computations (38.4% saved)

localize47.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series404.0ms (3.5%)

Counts

4 → 132

Calls

4 calls:

210.0ms	(pow.f32 (/.f32 (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) (.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))) eta)))) h) -1)
120.0ms	(/.f32 (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) (.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))) eta)))) h)
55.0ms	(/.f32 (.f32 sinTheta_O sinTheta_O) (.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))) eta))
18.0ms	(asin.f32 (pow.f32 (/.f32 (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) (.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))) eta)))) h) -1))

rewrite274.0ms (2.4%)

Algorithm

2×	batch-egg-rewrite

Rules

627×	`prod-diff_binary32`
360×	`egg-rr`
191×	`add-sqr-sqrt_binary32`
182×	`log1p-expm1-u_binary32`
182×	`expm1-log1p-u_binary32`

Counts

4 → 360

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	107
1	384	101
2	4761	101
3	6047	101
0	0	0
1	0	0

simplify116.0ms (1%)

Algorithm

1×	egg-herbie

Rules

417×	`cancel-sign-sub-inv_binary32`
268×	`associate-/r*_binary32`
239×	`distribute-neg-frac_binary32`
229×	`fma-def_binary32`
183×	`fma-neg_binary32`

Counts

492 → 460

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	287	4969
1	958	4848
2	3546	4828
3	4908	4828

prune747.0ms (6.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	458	2	460
Fresh	1	6	7
Picked	1	0	1
Done	0	1	1
Total	460	9	469

Error

0.1b

Counts

469 → 9

Alt Table

Status	Error	Program
	0.7b	(asin.f32 (.f32 h (/.f32 1 (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) (.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))) eta)))))))
	2.9b	(asin.f32 (/.f32 h (sqrt.f32 (.f32 (+.f32 eta (/.f32 sinTheta_O (pow.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)) 1/4))) (-.f32 eta (/.f32 sinTheta_O (pow.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)) 1/4)))))))
✓	0.3b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 (pow.f32 (/.f32 sinTheta_O (sqrt.f32 eta)) 2) (sqrt.f32 (/.f32 1 (-.f32 1 (pow.f32 sinTheta_O 2)))))))))
	1.3b	(asin.f32 (.f32 (/.f32 (pow.f32 (cbrt.f32 h) 2) (sqrt.f32 (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) (.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))) eta)))))) (/.f32 (cbrt.f32 h) (sqrt.f32 (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) (.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))) eta))))))))
	0.5b	(asin.f32 (pow.f32 (/.f32 (-.f32 eta (.f32 1/2 (.f32 (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))) (/.f32 sinTheta_O eta)))) h) -1))
	4.4b	(asin.f32 (/.f32 h (exp.f32 (log.f32 (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	3.1b	(asin.f32 (/.f32 h (.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))) (cbrt.f32 (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	0.5b	(asin.f32 (pow.f32 (+.f32 (fma.f32 1 (/.f32 eta h) (neg.f32 (.f32 (/.f32 (.f32 (/.f32 sinTheta_O (sqrt.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))) eta))) (sqrt.f32 1/2)) h) (/.f32 (.f32 (/.f32 sinTheta_O (sqrt.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))) eta))) (sqrt.f32 1/2)) 1)))) (fma.f32 (neg.f32 (/.f32 (.f32 (/.f32 sinTheta_O (sqrt.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))) eta))) (sqrt.f32 1/2)) h)) (/.f32 (.f32 (/.f32 sinTheta_O (sqrt.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))) eta))) (sqrt.f32 1/2)) 1) (.f32 (/.f32 (.f32 (/.f32 sinTheta_O (sqrt.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))) eta))) (sqrt.f32 1/2)) h) (/.f32 (.f32 (/.f32 sinTheta_O (sqrt.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))) eta))) (sqrt.f32 1/2)) 1)))) -1))
	3.1b	(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)))

Compiler

Compiled 29866 to 17266 computations (42.2% saved)

regimes2.3s (19.8%)

Accuracy

Total 0.5b remaining (74.9%)

Threshold costs 0.5b (74.9%)

Counts

167 → 1

Compiler

Compiled 69938 to 44445 computations (36.5% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`+-commutative_binary32`
7×	`*-commutative_binary32`
7×	`sub-neg_binary32`
5×	`neg-sub0_binary32`
5×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	34
1	31	34
2	41	34
3	53	34
4	61	34
5	66	34
6	68	34
7	66	34

end197.0ms (1.7%)

Compiler: Compiled 396 to 271 computations (31.6% saved)

Details

analyze1.7s (14.5%)

sample3.0s (25.7%)

simplify145.0ms (1.3%)

prune2.0ms (0%)

localize39.0ms (0.3%)

series368.0ms (3.2%)

rewrite136.0ms (1.2%)

simplify126.0ms (1.1%)

prune486.0ms (4.2%)

localize47.0ms (0.4%)

series298.0ms (2.6%)

rewrite86.0ms (0.7%)

simplify77.0ms (0.7%)

prune233.0ms (2%)

localize84.0ms (0.7%)

series290.0ms (2.5%)

rewrite92.0ms (0.8%)

simplify89.0ms (0.8%)

prune221.0ms (1.9%)

localize47.0ms (0.4%)

series404.0ms (3.5%)

rewrite274.0ms (2.4%)

simplify116.0ms (1%)

prune747.0ms (6.5%)

regimes2.3s (19.8%)

simplify3.0ms (0%)

end197.0ms (1.7%)

Profiling