Details

analyze1.7s (6%)

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.1s (10.9%)

Results

1.8s	8256×	body	128	valid
1.1s	4671×	body	128	invalid

Compiler

Compiled 109 to 73 computations (33% saved)

simplify147.0ms (0.5%)

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

3.2b

Counts

2 → 1

Alt Table

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

localize40.0ms (0.1%)

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

series373.0ms (1.3%)

Counts

4 → 104

Calls

4 calls:

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

rewrite42.0ms (0.1%)

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

simplify140.0ms (0.5%)

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

prune301.0ms (1%)

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
	3.5b	(asin.f32 (.f32 (/.f32 1 (fabs.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (/.f32 h (sqrt.f32 (cbrt.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))))))))))
	1.0b	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta)))))
	16.2b	(asin.f32 (.f32 (/.f32 (sqrt.f32 h) (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (/.f32 (sqrt.f32 h) (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))))))))))
	0.5b	(asin.f32 (/.f32 (/.f32 h (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)))))))))
	11.5b	(asin.f32 (.f32 (/.f32 h (sqrt.f32 (-.f32 (pow.f32 eta 4) (pow.f32 (cbrt.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) 6)))) (sqrt.f32 (+.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))

Compiler

Compiled 9944 to 5967 computations (40% saved)

localize53.0ms (0.2%)

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.0b	(/.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.0b	(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))))))))

series2.0s (7.1%)

Counts

4 → 98

Calls

4 calls:

1.8s	(/.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)))))))))
141.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))))))))
57.0ms	(sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))
24.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))))))))))

rewrite94.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

44×	`add-sqr-sqrt_binary32`
26×	`sqrt-prod_binary32`
26×	`sqrt-div_binary32`
17×	`*-un-lft-identity_binary32`
11×	`associate-r_binary32`

Counts

4 → 110

Calls

4 calls:

36.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))))))))
30.0ms	(/.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)))))))))
14.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))))))))))

simplify235.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

767×	`times-frac_binary32`
615×	`fma-def_binary32`
265×	`*-commutative_binary32`
155×	`+-commutative_binary32`
106×	`associate-+r+_binary32`

Counts

208 → 222

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	778	16661
1	2554	16064
2	5017	16064

prune494.0ms (1.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	218	4	222
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	221	8	229

Error

0.0b

Counts

229 → 8

Alt Table

Status	Error	Program
	0.6b	(asin.f32 (/.f32 1 (/.f32 (.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)))))))) h)))
	0.6b	(asin.f32 (/.f32 h (.f32 (.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))) (sqrt.f32 (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))))))))))
	1.0b	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta)))))
	1.5b	(asin.f32 (/.f32 h (.f32 (fma.f32 1/2 (.f32 sinTheta_O (sqrt.f32 (/.f32 1 eta))) (sqrt.f32 eta)) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
▶	0.5b	(asin.f32 (/.f32 (/.f32 h (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)))))))))
	3.5b	(asin.f32 (.f32 (/.f32 1 (fabs.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (/.f32 h (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 h (.f32 (sqrt.f32 (-.f32 (.f32 eta eta) (.f32 (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) (/.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)))))))))

Compiler

Compiled 19253 to 14330 computations (25.6% saved)

localize54.0ms (0.2%)

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.0b	(asin.f32 (/.f32 (/.f32 h (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.3b	(/.f32 h (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))
✓	0.3b	(/.f32 (/.f32 h (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))))))))

series2.5s (8.6%)

Counts

3 → 90

Calls

3 calls:

1.7s

(/.f32 (/.f32 h (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))))))))

774.0ms

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

27.0ms

(asin.f32 (/.f32 (/.f32 h (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)))))))))

rewrite184.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

654×	`times-frac_binary32`
551×	`add-sqr-sqrt_binary32`
468×	`sqrt-prod_binary32`
379×	`*-un-lft-identity_binary32`
243×	`add-cube-cbrt_binary32`

Counts

3 → 411

Calls

3 calls:

37.0ms

(/.f32 (/.f32 h (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))))))))

16.0ms

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

0.0ms

(asin.f32 (/.f32 (/.f32 h (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)))))))))

simplify563.0ms (2%)

Algorithm

1×	egg-herbie

Rules

548×	`times-frac_binary32`
476×	`associate-/l*_binary32`
443×	`associate-/l/_binary32`
418×	`fma-def_binary32`
189×	`*-commutative_binary32`

Counts

501 → 377

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	836	40425
1	2434	39699
2	5542	39699

prune723.0ms (2.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	411	3	414
Fresh	4	3	7
Picked	1	0	1
Done	0	0	0
Total	416	6	422

Error

0.0b

Counts

422 → 6

Alt Table

Status	Error	Program
▶	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))))))) (/.f32 1 (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 1 (fabs.f32 (cbrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))) (sqrt.f32 (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))) (/.f32 (/.f32 h (sqrt.f32 (cbrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))) (sqrt.f32 (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))))))
	0.5b	(asin.f32 (/.f32 (/.f32 1 (/.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) h)) (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))))
	3.5b	(asin.f32 (.f32 (/.f32 1 (fabs.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (/.f32 h (sqrt.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	1.0b	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta)))))
	3.4b	(asin.f32 (.f32 (/.f32 h (.f32 (sqrt.f32 (-.f32 (.f32 eta eta) (.f32 (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) (/.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)))))))))

Compiler

Compiled 28335 to 19035 computations (32.8% saved)

localize58.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series1.9s (6.5%)

Counts

4 → 98

Calls

4 calls:

1.6s	(/.f32 h (/.f32 (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (/.f32 1 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))))
143.0ms	(/.f32 (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (/.f32 1 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))))
86.0ms	(/.f32 1 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))
25.0ms	(asin.f32 (/.f32 h (/.f32 (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (/.f32 1 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))))))

rewrite877.0ms (3%)

Algorithm

1×	rewrite-expression-head

Rules

3996×	`times-frac_binary32`
2879×	`add-sqr-sqrt_binary32`
2184×	`sqrt-prod_binary32`
1999×	`*-un-lft-identity_binary32`
1383×	`add-cube-cbrt_binary32`

Counts

4 → 1651

Calls

4 calls:

68.0ms	(/.f32 h (/.f32 (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (/.f32 1 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))))
36.0ms	(/.f32 (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (/.f32 1 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))))
13.0ms	(/.f32 1 (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))))))) (/.f32 1 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))))))

simplify2.6s (9.1%)

Algorithm

1×	egg-herbie

Rules

730×	`fma-def_binary32`
397×	`associate-/r/_binary32`
247×	`*-commutative_binary32`
154×	`+-commutative_binary32`
126×	`associate-/l*_binary32`

Counts

1749 → 1265

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	1250	137167
1	3570	134556
2	4919	134537
3	5000	134537

prune2.6s (9.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	1264	1	1265
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	1265	6	1271

Error

0.0b

Counts

1271 → 6

Alt Table

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

Compiler

Compiled 87546 to 58231 computations (33.5% saved)

regimes7.8s (26.9%)

Accuracy

Total 0.3b remaining (92.7%)

Threshold costs 0.3b (92.7%)

Counts

507 → 1

Compiler

Compiled 237955 to 162491 computations (31.7% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary32`
5×	`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	18	46
1	28	46
2	38	46
3	44	46
4	47	46
5	46	46

end192.0ms (0.7%)

Compiler: Compiled 296 to 202 computations (31.8% saved)

Details

analyze1.7s (6%)

sample3.1s (10.9%)

simplify147.0ms (0.5%)

prune2.0ms (0%)

localize40.0ms (0.1%)

series373.0ms (1.3%)

rewrite42.0ms (0.1%)

simplify140.0ms (0.5%)

prune301.0ms (1%)

localize53.0ms (0.2%)

series2.0s (7.1%)

rewrite94.0ms (0.3%)

simplify235.0ms (0.8%)

prune494.0ms (1.7%)

localize54.0ms (0.2%)

series2.5s (8.6%)

rewrite184.0ms (0.6%)

simplify563.0ms (2%)

prune723.0ms (2.5%)

localize58.0ms (0.2%)

series1.9s (6.5%)

rewrite877.0ms (3%)

simplify2.6s (9.1%)

prune2.6s (9.1%)

regimes7.8s (26.9%)

simplify3.0ms (0%)

end192.0ms (0.7%)

Profiling