Details

analyze3.3s (17.4%)

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)

sample84.0ms (0.4%)

Algorithm

1×

intervals

Results

26.0ms	256×	body	128	valid
14.0ms	141×	body	128	nan
13.0ms	397×	pre	128	true

Compiler

Compiled 68 to 46 computations (32.4% saved)

simplify149.0ms (0.8%)

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

Counts

2 → 1

Alt Table

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

localize46.0ms (0.2%)

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	(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))
✓	0.1b	(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.2b	(sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))

series394.0ms (2%)

Counts

4 → 104

Calls

4 calls:

300.0ms	(/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))
44.0ms	(sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))
33.0ms	(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))
16.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))))))))

rewrite41.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

55×	`times-frac_binary32`
50×	`add-sqr-sqrt_binary32`
46×	`sqrt-prod_binary32`
31×	`*-un-lft-identity_binary32`
29×	`add-cube-cbrt_binary32`

Counts

4 → 130

Calls

4 calls:

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

simplify152.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

340×	`associate-/l*_binary32`
315×	`fma-def_binary32`
291×	`associate-r_binary32`
263×	`associate-l_binary32`
259×	`times-frac_binary32`

Counts

234 → 238

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	506	10010
1	1379	9290
2	4997	9290

prune309.0ms (1.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	231	7	238
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	232	7	239

Error

0.0b

Counts

239 → 7

Alt Table

Status	Error	Program
	10.6b	(asin.f32 (.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 (.f32 eta eta) (.f32 eta eta)) (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.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))))))))
	0.8b	(asin.f32 (/.f32 h (.f32 (sqrt.f32 (+.f32 eta (sqrt.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (-.f32 eta (sqrt.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	0.9b	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta)))))
▶	0.5b	(asin.f32 (/.f32 h (.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	2.7b	(asin.f32 (.f32 h (/.f32 1 (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 (/.f32 1 (sqrt.f32 (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 (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	0.8b	(asin.f32 (.f32 (/.f32 (.f32 (cbrt.f32 h) (cbrt.f32 h)) (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (/.f32 (cbrt.f32 h) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))))

Compiler

Compiled 9952 to 5953 computations (40.2% saved)

localize56.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))
✓	0.1b	(sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))
✓	0.1b	(asin.f32 (/.f32 h (.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
✓	0.5b	(.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))

series325.0ms (1.7%)

Counts

4 → 72

Calls

4 calls:

173.0ms	(.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))
60.0ms	(sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))
59.0ms	(sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))
33.0ms	(asin.f32 (/.f32 h (.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))

rewrite73.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

55×	`add-sqr-sqrt_binary32`
37×	`sqrt-prod_binary32`
18×	`*-un-lft-identity_binary32`
16×	`sqrt-div_binary32`
11×	`associate-r_binary32`

Counts

4 → 101

Calls

4 calls:

28.0ms	(.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))
20.0ms	(sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))
11.0ms	(sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))
0.0ms	(asin.f32 (/.f32 h (.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))

simplify189.0ms (1%)

Algorithm

1×	egg-herbie

Rules

304×	`fma-def_binary32`
248×	`associate-/r*_binary32`
229×	`associate-r_binary32`
229×	`times-frac_binary32`
218×	`sub-neg_binary32`

Counts

173 → 189

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	417	9788
1	1211	9503
2	4561	9119
3	5073	9119

prune381.0ms (2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	187	2	189
Fresh	3	3	6
Picked	0	1	1
Done	0	0	0
Total	190	6	196

Error

0.0b

Counts

196 → 6

Alt Table

Status	Error	Program
	0.9b	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta)))))
	1.2b	(asin.f32 (/.f32 h (/.f32 (.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))) (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))))
	10.6b	(asin.f32 (.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 (.f32 eta eta) (.f32 eta eta)) (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.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))))))))
✓	0.5b	(asin.f32 (/.f32 h (.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	0.9b	(.f32 (.f32 (cbrt.f32 (asin.f32 (/.f32 h (.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))))) (cbrt.f32 (asin.f32 (/.f32 h (.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))))))) (cbrt.f32 (asin.f32 (/.f32 h (.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))))
▶	0.8b	(asin.f32 (.f32 (/.f32 (.f32 (cbrt.f32 h) (cbrt.f32 h)) (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (/.f32 (cbrt.f32 h) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))))

Compiler

Compiled 11489 to 8193 computations (28.7% saved)

localize69.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f32 (cbrt.f32 h) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))
✓	0.4b	(.f32 (/.f32 (.f32 (cbrt.f32 h) (cbrt.f32 h)) (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (/.f32 (cbrt.f32 h) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))))
✓	0.4b	(/.f32 (.f32 (cbrt.f32 h) (cbrt.f32 h)) (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))
✓	0.4b	(*.f32 (cbrt.f32 h) (cbrt.f32 h))

series3.3s (17.1%)

Counts

4 → 86

Calls

4 calls:

1.6s	(.f32 (/.f32 (.f32 (cbrt.f32 h) (cbrt.f32 h)) (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (/.f32 (cbrt.f32 h) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))))
838.0ms	(/.f32 (.f32 (cbrt.f32 h) (cbrt.f32 h)) (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))
802.0ms	(/.f32 (cbrt.f32 h) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))
43.0ms	(*.f32 (cbrt.f32 h) (cbrt.f32 h))

rewrite148.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

285×	`add-sqr-sqrt_binary32`
207×	`times-frac_binary32`
166×	`sqrt-prod_binary32`
124×	`*-un-lft-identity_binary32`
92×	`add-cube-cbrt_binary32`

Counts

4 → 300

Calls

4 calls:

46.0ms	(.f32 (/.f32 (.f32 (cbrt.f32 h) (cbrt.f32 h)) (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (/.f32 (cbrt.f32 h) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))))
16.0ms	(/.f32 (cbrt.f32 h) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))
15.0ms	(/.f32 (.f32 (cbrt.f32 h) (cbrt.f32 h)) (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))
6.0ms	(*.f32 (cbrt.f32 h) (cbrt.f32 h))

simplify317.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

816×	`associate-/l*_binary32`
516×	`fma-def_binary32`
310×	`*-commutative_binary32`
137×	`associate-/l/_binary32`
125×	`unswap-sqr_binary32`

Counts

386 → 424

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	849	22880
1	2648	21337
2	5489	21337

prune662.0ms (3.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	424	0	424
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	424	6	430

Error

0.0b

Counts

430 → 6

Alt Table

Status	Error	Program
▶	0.9b	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta)))))
	1.2b	(asin.f32 (/.f32 h (/.f32 (.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))) (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))))
	10.6b	(asin.f32 (.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 (.f32 eta eta) (.f32 eta eta)) (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.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))))))))
✓	0.5b	(asin.f32 (/.f32 h (.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	0.9b	(.f32 (.f32 (cbrt.f32 (asin.f32 (/.f32 h (.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))))) (cbrt.f32 (asin.f32 (/.f32 h (.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))))))) (cbrt.f32 (asin.f32 (/.f32 h (.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))))
✓	0.8b	(asin.f32 (.f32 (/.f32 (.f32 (cbrt.f32 h) (cbrt.f32 h)) (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (/.f32 (cbrt.f32 h) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))))

Compiler

Compiled 28319 to 17972 computations (36.5% saved)

localize41.0ms (0.2%)

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.1b	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta)))))
✓	5.4b	(/.f32 (pow.f32 sinTheta_O 2) eta)

series129.0ms (0.7%)

Counts

4 → 24

Calls

4 calls:

94.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))
12.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)))))

rewrite26.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

61×	`times-frac_binary32`
57×	`add-sqr-sqrt_binary32`
45×	`*-un-lft-identity_binary32`
45×	`add-cube-cbrt_binary32`
28×	`associate-r_binary32`

Counts

4 → 146

Calls

4 calls:

8.0ms	(*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta))
4.0ms	(/.f32 (pow.f32 sinTheta_O 2) eta)
3.0ms	(/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta))))
0.0ms	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta)))))

simplify113.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

745×	`times-frac_binary32`
683×	`associate-/l*_binary32`
303×	`associate-/l/_binary32`
256×	`associate-/r/_binary32`
192×	`fma-def_binary32`

Counts

170 → 256

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	263	3462
1	553	3057
2	1565	2942
3	4827	2936
4	4993	2936

prune367.0ms (1.9%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	256	0	256
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	256	6	262

Error

0.0b

Counts

262 → 6

Alt Table

Status	Error	Program
✓	0.9b	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta)))))
	1.2b	(asin.f32 (/.f32 h (/.f32 (.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))) (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))))
	10.6b	(asin.f32 (.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 (.f32 eta eta) (.f32 eta eta)) (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.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))))))))
✓	0.5b	(asin.f32 (/.f32 h (.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	0.9b	(.f32 (.f32 (cbrt.f32 (asin.f32 (/.f32 h (.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))))) (cbrt.f32 (asin.f32 (/.f32 h (.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))))))) (cbrt.f32 (asin.f32 (/.f32 h (.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))))
✓	0.8b	(asin.f32 (.f32 (/.f32 (.f32 (cbrt.f32 h) (cbrt.f32 h)) (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (/.f32 (cbrt.f32 h) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))))

Compiler

Compiled 5562 to 3269 computations (41.2% saved)

regimes5.7s (29.4%)

Accuracy

Total 0.5b remaining (95%)

Threshold costs 0.5b (95%)

Counts

370 → 1

Compiler

Compiled 158115 to 101733 computations (35.7% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	70
1	32	70
2	42	70
3	48	70
4	51	70
5	50	70

end1.0ms (0%)

Compiler: Compiled 46 to 31 computations (32.6% saved)

sample2.9s (15%)

Algorithm

1×

intervals

Results

872.0ms	8000×	body	128	valid
464.0ms	12628×	pre	128	true
438.0ms	4628×	body	128	nan

Compiler

Compiled 364 to 234 computations (35.7% saved)

Details

analyze3.3s (17.4%)

sample84.0ms (0.4%)

simplify149.0ms (0.8%)

prune2.0ms (0%)

localize46.0ms (0.2%)

series394.0ms (2%)

rewrite41.0ms (0.2%)

simplify152.0ms (0.8%)

prune309.0ms (1.6%)

localize56.0ms (0.3%)

series325.0ms (1.7%)

rewrite73.0ms (0.4%)

simplify189.0ms (1%)

prune381.0ms (2%)

localize69.0ms (0.4%)

series3.3s (17.1%)

rewrite148.0ms (0.8%)

simplify317.0ms (1.6%)

prune662.0ms (3.4%)

localize41.0ms (0.2%)

series129.0ms (0.7%)

rewrite26.0ms (0.1%)

simplify113.0ms (0.6%)

prune367.0ms (1.9%)

regimes5.7s (29.4%)

simplify4.0ms (0%)

end1.0ms (0%)

sample2.9s (15%)

Profiling