Details

analyze1.4s (14.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 34 to 23 computations (32.4% saved)

sample72.0ms (0.7%)

Algorithm

1×

intervals

Results

22.0ms	256×	body	128	valid
11.0ms	405×	pre	128	true
9.0ms	149×	body	128	nan

Compiler

Compiled 58 to 39 computations (32.8% saved)

simplify146.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

1390×	`div-sub_binary32`
634×	`sub-neg_binary32`
538×	`unsub-neg_binary32`
406×	`associate-/r/_binary32`
318×	`distribute-neg-in_binary32`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	28
1	25	28
2	38	28
3	69	28
4	101	28
5	135	28
6	199	28
7	352	28
8	520	28
9	673	28
10	1419	28
11	1953	28
12	2967	28
13	3803	28
14	4179	28
15	4227	28
16	4309	28
17	4292	28
18	5092	28

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

3.3b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	3.3b	(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 42 to 26 computations (38.1% saved)

localize37.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite246.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

47×	`times-frac_binary32`
46×	`add-sqr-sqrt_binary32`
41×	`sqrt-prod_binary32`
27×	`*-un-lft-identity_binary32`
26×	`add-cube-cbrt_binary32`

Counts

4 → 107

Calls

4 calls:

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

Compiler

Compiled 3186 to 1555 computations (51.2% saved)

series269.0ms (2.8%)

Error

0.4b

Counts

4 → 41

Calls

4 calls:

97.0ms	(/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))
54.0ms	(sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))
46.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))))))))
40.0ms	(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))

Compiler

Compiled 2090 to 1692 computations (19% saved)

simplify160.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

732×	`associate-/l*_binary32`
415×	`associate-/r*_binary32`
397×	`associate-*l/_binary32`
212×	`div-sub_binary32`
203×	`associate-/l/_binary32`

Counts

148 → 77

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	260	4921
1	566	4647
2	1631	4598
3	4640	4598
4	5067	4598

prune99.0ms (1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	72	5	77
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	72	6	78

Error

0.4b

Counts

78 → 6

Alt Table

Status	Error	Program
	18.9b	(asin.f32 (exp.f32 (log.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	11.5b	(asin.f32 (.f32 (/.f32 h (sqrt.f32 (-.f32 (pow.f32 eta 4) (/.f32 (pow.f32 sinTheta_O 4) (-.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.7b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta)))))
	18.1b	(asin.f32 (.f32 (/.f32 (sqrt.f32 h) (fabs.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (/.f32 (sqrt.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.6b	(asin.f32 (/.f32 h (.f32 (fabs.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
✓	3.3b	(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 1459 to 790 computations (45.9% saved)

localize29.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(/.f32 h (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta))))
0.0b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta)))))
0.0b	(.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta))
5.0b	(/.f32 (*.f32 sinTheta_O sinTheta_O) eta)

rewrite157.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

21×	`add-sqr-sqrt_binary32`
20×	`add-cbrt-cube_binary32`
20×	`add-exp-log_binary32`
17×	`*-un-lft-identity_binary32`
17×	`add-cube-cbrt_binary32`

Counts

4 → 86

Calls

4 calls:

7.0ms	(.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta))
5.0ms	(/.f32 (*.f32 sinTheta_O sinTheta_O) eta)
5.0ms	(/.f32 h (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta))))
1.0ms	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta)))))

Compiler

Compiled 1739 to 790 computations (54.6% saved)

series140.0ms (1.4%)

Error

0.4b

Counts

4 → 33

Calls

4 calls:

60.0ms	(/.f32 h (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta))))
30.0ms	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta)))))
23.0ms	(/.f32 (*.f32 sinTheta_O sinTheta_O) eta)
23.0ms	(.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta))

Compiler

Compiled 1053 to 774 computations (26.5% saved)

simplify98.0ms (1%)

Algorithm

1×	egg-herbie

Rules

409×	`associate-/l*_binary32`
391×	`associate-*l/_binary32`
387×	`associate-*r/_binary32`
386×	`times-frac_binary32`
360×	`cancel-sign-sub-inv_binary32`

Counts

119 → 93

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	158	2053
1	329	1899
2	977	1896
3	4006	1896
4	5139	1896

prune107.0ms (1.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	89	4	93
Fresh	2	2	4
Picked	1	0	1
Done	0	1	1
Total	92	7	99

Error

0.1b

Counts

99 → 7

Alt Table

Status	Error	Program
	18.9b	(asin.f32 (exp.f32 (log.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.5b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O (/.f32 sinTheta_O (*.f32 (cbrt.f32 eta) (cbrt.f32 eta)))) (cbrt.f32 eta))))))
▶	0.4b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (/.f32 sinTheta_O eta))))))
	3.9b	(asin.f32 (.f32 (/.f32 h (-.f32 (.f32 eta eta) (.f32 (/.f32 (pow.f32 sinTheta_O 4) (.f32 eta eta)) 1/4))) (+.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta)))))
	0.9b	(asin.f32 (/.f32 1 (/.f32 (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2)) h)))
	3.6b	(asin.f32 (/.f32 h (.f32 (fabs.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
✓	3.3b	(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 1374 to 702 computations (48.9% saved)

localize29.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (/.f32 sinTheta_O eta)))))
0.0b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (/.f32 sinTheta_O eta))))))
0.0b	(.f32 1/2 (.f32 sinTheta_O (/.f32 sinTheta_O eta)))
0.2b	(*.f32 sinTheta_O (/.f32 sinTheta_O eta))

rewrite178.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

26×	`add-sqr-sqrt_binary32`
21×	`*-un-lft-identity_binary32`
21×	`add-cube-cbrt_binary32`
20×	`add-cbrt-cube_binary32`
20×	`add-exp-log_binary32`

Counts

4 → 90

Calls

4 calls:

7.0ms	(*.f32 sinTheta_O (/.f32 sinTheta_O eta))
6.0ms	(.f32 1/2 (.f32 sinTheta_O (/.f32 sinTheta_O eta)))
5.0ms	(/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (/.f32 sinTheta_O eta)))))
1.0ms	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (/.f32 sinTheta_O eta))))))

Compiler

Compiled 1791 to 814 computations (54.6% saved)

series138.0ms (1.4%)

Error

0.1b

Counts

4 → 33

Calls

4 calls:

61.0ms	(/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (/.f32 sinTheta_O eta)))))
28.0ms	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (/.f32 sinTheta_O eta))))))
24.0ms	(.f32 1/2 (.f32 sinTheta_O (/.f32 sinTheta_O eta)))
21.0ms	(*.f32 sinTheta_O (/.f32 sinTheta_O eta))

Compiler

Compiled 1053 to 774 computations (26.5% saved)

simplify96.0ms (1%)

Algorithm

1×	egg-herbie

Rules

499×	`distribute-neg-frac_binary32`
448×	`associate-/l*_binary32`
403×	`times-frac_binary32`
402×	`associate-*r/_binary32`
373×	`associate-*l/_binary32`

Counts

123 → 103

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	168	2083
1	363	1911
2	1195	1905
3	3721	1897
4	5148	1897

prune113.0ms (1.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	103	7	110

Error

0.1b

Counts

110 → 7

Alt Table

Status	Error	Program
	18.9b	(asin.f32 (exp.f32 (log.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.5b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O (/.f32 sinTheta_O (*.f32 (cbrt.f32 eta) (cbrt.f32 eta)))) (cbrt.f32 eta))))))
✓	0.4b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (/.f32 sinTheta_O eta))))))
	3.9b	(asin.f32 (.f32 (/.f32 h (-.f32 (.f32 eta eta) (.f32 (/.f32 (pow.f32 sinTheta_O 4) (.f32 eta eta)) 1/4))) (+.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta)))))
	0.9b	(asin.f32 (/.f32 1 (/.f32 (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2)) h)))
	3.6b	(asin.f32 (/.f32 h (.f32 (fabs.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
✓	3.3b	(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 1499 to 753 computations (49.8% saved)

localize41.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.1b	(.f32 sinTheta_O (/.f32 sinTheta_O (.f32 (cbrt.f32 eta) (cbrt.f32 eta))))
0.2b	(/.f32 sinTheta_O (*.f32 (cbrt.f32 eta) (cbrt.f32 eta)))
0.5b	(*.f32 (cbrt.f32 eta) (cbrt.f32 eta))
1.5b	(/.f32 (.f32 sinTheta_O (/.f32 sinTheta_O (.f32 (cbrt.f32 eta) (cbrt.f32 eta)))) (cbrt.f32 eta))

rewrite314.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

34×	`add-exp-log_binary32`
33×	`add-sqr-sqrt_binary32`
22×	`cbrt-prod_binary32`
22×	`add-cbrt-cube_binary32`
21×	`*-un-lft-identity_binary32`

Counts

4 → 121

Calls

4 calls:

10.0ms	(/.f32 (.f32 sinTheta_O (/.f32 sinTheta_O (.f32 (cbrt.f32 eta) (cbrt.f32 eta)))) (cbrt.f32 eta))
9.0ms	(.f32 sinTheta_O (/.f32 sinTheta_O (.f32 (cbrt.f32 eta) (cbrt.f32 eta))))
7.0ms	(*.f32 (cbrt.f32 eta) (cbrt.f32 eta))
6.0ms	(/.f32 sinTheta_O (*.f32 (cbrt.f32 eta) (cbrt.f32 eta)))

Compiler

Compiled 2891 to 1021 computations (64.7% saved)

series184.0ms (1.9%)

Error

0.1b

Counts

4 → 21

Calls

4 calls:

57.0ms	(/.f32 sinTheta_O (*.f32 (cbrt.f32 eta) (cbrt.f32 eta)))
56.0ms	(.f32 sinTheta_O (/.f32 sinTheta_O (.f32 (cbrt.f32 eta) (cbrt.f32 eta))))
29.0ms	(/.f32 (.f32 sinTheta_O (/.f32 sinTheta_O (.f32 (cbrt.f32 eta) (cbrt.f32 eta)))) (cbrt.f32 eta))
23.0ms	(*.f32 (cbrt.f32 eta) (cbrt.f32 eta))

Compiler

Compiled 1103 to 840 computations (23.8% saved)

simplify118.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

594×	`associate-/r/_binary32`
462×	`log-prod_binary32`
342×	`unswap-sqr_binary32`
247×	`*-commutative_binary32`
198×	`log-div_binary32`

Counts

142 → 117

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	152	2416
1	329	1732
2	1377	1586
3	2721	1527
4	4567	1527
5	4944	1527

prune161.0ms (1.7%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	116	1	117
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	116	8	124

Error

0.1b

Counts

124 → 8

Alt Table

Status	Error	Program
	18.9b	(asin.f32 (exp.f32 (log.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.5b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O (/.f32 sinTheta_O (*.f32 (cbrt.f32 eta) (cbrt.f32 eta)))) (cbrt.f32 eta))))))
	0.4b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (/.f32 sinTheta_O eta))))))
	2.8b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (/.f32 (neg.f32 (.f32 sinTheta_O (/.f32 sinTheta_O (cbrt.f32 (*.f32 eta eta))))) (neg.f32 (cbrt.f32 eta)))))))
	3.9b	(asin.f32 (.f32 (/.f32 h (-.f32 (.f32 eta eta) (.f32 (/.f32 (pow.f32 sinTheta_O 4) (.f32 eta eta)) 1/4))) (+.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta)))))
	0.9b	(asin.f32 (/.f32 1 (/.f32 (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2)) h)))
	3.6b	(asin.f32 (/.f32 h (.f32 (fabs.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))
	3.3b	(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 1624 to 748 computations (53.9% saved)

regimes2.8s (29.1%)

Accuracy

Total 0.3b remaining (64.4%)

Threshold costs 0.3b (64.4%)

Compiler

Compiled 36177 to 22333 computations (38.3% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	45
1	28	45
2	38	45
3	44	45
4	47	45
5	46	45

end2.0ms (0%)

Compiler: Compiled 31 to 21 computations (32.3% saved)

sample2.5s (26%)

Algorithm

1×

intervals

Results

619.0ms	8000×	body	128	valid
350.0ms	12449×	pre	128	true
284.0ms	4449×	body	128	nan

Compiler

Compiled 257 to 166 computations (35.4% saved)

Details

analyze1.4s (14.7%)

sample72.0ms (0.7%)

simplify146.0ms (1.5%)

prune3.0ms (0%)

localize37.0ms (0.4%)

rewrite246.0ms (2.5%)

series269.0ms (2.8%)

simplify160.0ms (1.6%)

prune99.0ms (1%)

localize29.0ms (0.3%)

rewrite157.0ms (1.6%)

series140.0ms (1.4%)

simplify98.0ms (1%)

prune107.0ms (1.1%)

localize29.0ms (0.3%)

rewrite178.0ms (1.8%)

series138.0ms (1.4%)

simplify96.0ms (1%)

prune113.0ms (1.2%)

localize41.0ms (0.4%)

rewrite314.0ms (3.2%)

series184.0ms (1.9%)

simplify118.0ms (1.2%)

prune161.0ms (1.7%)

regimes2.8s (29.1%)

simplify4.0ms (0%)

end2.0ms (0%)

sample2.5s (26%)

Profiling