Details

analyze1.7s (17.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 (33.4%)

Alt Table

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

Results

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

Compiler

Compiled 151 to 99 computations (34.4% saved)

localize41.0ms (0.4%)

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

series433.0ms (4.6%)

Counts

4 → 104

Calls

4 calls:

347.0ms	(/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))
39.0ms	(sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))
34.0ms	(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))
13.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))))))))

rewrite134.0ms (1.4%)

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:

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

prune557.0ms (5.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	385	7	392
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	386	7	393

Error

0.3b

Counts

393 → 7

Alt Table

Status	Error	Program
	2.5b	(expm1.f32 (log1p.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))))))))))
▶	0.7b	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta)))))
	2.5b	(asin.f32 (/.f32 h (sqrt.f32 (+.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) (fma.f32 (neg.f32 (pow.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)) -1/2)) (.f32 sinTheta_O sinTheta_O) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))))
	2.6b	(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))
	16.8b	(pow.f32 (sqrt.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))))))))) 2)
	2.8b	(asin.f32 (.f32 (/.f32 1 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (/.f32 h (cbrt.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 (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))))

Compiler

Compiled 17809 to 10668 computations (40.1% saved)

localize34.0ms (0.4%)

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)))))
✓	4.7b	(/.f32 (pow.f32 sinTheta_O 2) eta)

series120.0ms (1.3%)

Counts

4 → 24

Calls

4 calls:

86.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)
9.0ms	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta)))))

rewrite77.0ms (0.8%)

Algorithm

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

73.0ms	(*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta))
73.0ms	(/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta))))
73.0ms	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta)))))
73.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
0	0	0
1	0	0

prune162.0ms (1.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	145	3	148
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	148	7	155

Error

0.2b

Counts

155 → 7

Alt Table

Status	Error	Program
	0.7b	(expm1.f32 (log1p.f32 (asin.f32 (/.f32 h (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2))))))
	2.5b	(asin.f32 (/.f32 h (sqrt.f32 (+.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) (fma.f32 (neg.f32 (pow.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)) -1/2)) (.f32 sinTheta_O sinTheta_O) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))))
	2.6b	(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))
▶	0.5b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (*.f32 sinTheta_O (/.f32 1 eta)))))))
	2.8b	(asin.f32 (.f32 (/.f32 1 (cbrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (/.f32 h (cbrt.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 (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))))
	15.6b	(pow.f32 (sqrt.f32 (asin.f32 (/.f32 h (-.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) 1/2))))) 2)

Compiler

Compiled 3976 to 2225 computations (44% saved)

localize33.0ms (0.4%)

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

series113.0ms (1.2%)

Counts

4 → 120

Calls

4 calls:

88.0ms	(/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (*.f32 sinTheta_O (/.f32 1 eta))))))
9.0ms	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (*.f32 sinTheta_O (/.f32 1 eta)))))))
9.0ms	(.f32 sinTheta_O (.f32 sinTheta_O (/.f32 1 eta)))
6.0ms	(*.f32 sinTheta_O (/.f32 1 eta))

rewrite80.0ms (0.8%)

Algorithm

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

77.0ms	(/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (*.f32 sinTheta_O (/.f32 1 eta))))))
77.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
0	0	0
1	0	0

prune177.0ms (1.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	227	6	233
Fresh	4	2	6
Picked	0	1	1
Done	0	0	0
Total	231	9	240

Error

0.2b

Counts

240 → 9

Alt Table

Status	Error	Program
	2.6b	(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))
	1.3b	(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))))))
	2.5b	(asin.f32 (/.f32 h (sqrt.f32 (+.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) (fma.f32 (neg.f32 (pow.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)) -1/2)) (.f32 sinTheta_O sinTheta_O) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))))
▶	1.1b	(asin.f32 (.f32 (/.f32 1 (sqrt.f32 (-.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2)))) (/.f32 h (sqrt.f32 (-.f32 eta (.f32 (*.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2))))))
	1.2b	(asin.f32 (.f32 (/.f32 1 (pow.f32 (cbrt.f32 (-.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2))) 2)) (/.f32 h (cbrt.f32 (-.f32 eta (.f32 (*.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2))))))
	16.5b	(exp.f32 (log.f32 (asin.f32 (/.f32 h (-.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2))))))
✓	0.5b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (*.f32 sinTheta_O (/.f32 1 eta)))))))
	15.6b	(pow.f32 (sqrt.f32 (asin.f32 (/.f32 h (-.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2))))) 2)
	3.1b	(asin.f32 (.f32 (/.f32 h (-.f32 (.f32 eta eta) (.f32 (pow.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 2) 1/4))) (+.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2))))

Compiler

Compiled 5009 to 2899 computations (42.1% saved)

localize41.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series243.0ms (2.6%)

Counts

4 → 96

Calls

4 calls:

118.0ms	(/.f32 h (sqrt.f32 (-.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2))))
84.0ms	(.f32 (/.f32 1 (sqrt.f32 (-.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2)))) (/.f32 h (sqrt.f32 (-.f32 eta (.f32 (*.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2)))))
30.0ms	(/.f32 1 (sqrt.f32 (-.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2))))
11.0ms	(*.f32 sinTheta_O (/.f32 sinTheta_O eta))

rewrite93.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

789×	`prod-diff_binary32`
151×	`add-sqr-sqrt_binary32`
142×	`log1p-expm1-u_binary32`
142×	`expm1-log1p-u_binary32`
140×	`add-cbrt-cube_binary32`

Counts

4 → 139

Calls

4 calls:

89.0ms	(*.f32 sinTheta_O (/.f32 sinTheta_O eta))
89.0ms	(/.f32 1 (sqrt.f32 (-.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2))))
89.0ms	(/.f32 h (sqrt.f32 (-.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2))))
89.0ms	(.f32 (/.f32 1 (sqrt.f32 (-.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2)))) (/.f32 h (sqrt.f32 (-.f32 eta (.f32 (*.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	59
1	307	57
2	3987	57
3	5512	57
0	0	0
1	0	0

prune272.0ms (2.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	281	2	283
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	282	10	292

Error

0.2b

Counts

292 → 10

Alt Table

Status	Error	Program
	1.9b	(asin.f32 (.f32 (exp.f32 (log.f32 (pow.f32 (-.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2)) -1/2))) (/.f32 h (sqrt.f32 (-.f32 eta (.f32 (*.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2))))))
	2.5b	(asin.f32 (/.f32 h (sqrt.f32 (+.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))) (fma.f32 (neg.f32 (pow.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)) -1/2)) (.f32 sinTheta_O sinTheta_O) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))))
	2.6b	(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))
	1.3b	(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))))))
✓	1.1b	(asin.f32 (.f32 (/.f32 1 (sqrt.f32 (-.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2)))) (/.f32 h (sqrt.f32 (-.f32 eta (.f32 (*.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2))))))
	1.2b	(asin.f32 (.f32 (/.f32 1 (pow.f32 (cbrt.f32 (-.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2))) 2)) (/.f32 h (cbrt.f32 (-.f32 eta (.f32 (*.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2))))))
	16.5b	(exp.f32 (log.f32 (asin.f32 (/.f32 h (-.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2))))))
✓	0.5b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (*.f32 sinTheta_O (/.f32 1 eta)))))))
	15.6b	(pow.f32 (sqrt.f32 (asin.f32 (/.f32 h (-.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2))))) 2)
	0.9b	(asin.f32 (/.f32 (pow.f32 (-.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2)) -1/2) (/.f32 (sqrt.f32 (-.f32 eta (.f32 (.f32 sinTheta_O (/.f32 sinTheta_O eta)) 1/2))) h)))

Compiler

Compiled 8561 to 5044 computations (41.1% saved)

regimes1.9s (19.8%)

Accuracy

Total 0.5b remaining (78.8%)

Threshold costs 0.5b (78.8%)

Counts

141 → 1

Compiler

Compiled 41855 to 27677 computations (33.9% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary32`
5×	`+-commutative_binary32`
5×	`sub-neg_binary32`
4×	`distribute-rgt-neg-in_binary32`
4×	`neg-sub0_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	18	18
2	35	18
3	44	18
4	50	18
5	52	18
6	51	18

end137.0ms (1.5%)

Compiler: Compiled 290 to 186 computations (35.9% saved)

Details

analyze1.7s (17.6%)

sample3.1s (33.4%)

localize41.0ms (0.4%)

series433.0ms (4.6%)

rewrite134.0ms (1.4%)

prune557.0ms (5.9%)

localize34.0ms (0.4%)

series120.0ms (1.3%)

rewrite77.0ms (0.8%)

prune162.0ms (1.7%)

localize33.0ms (0.4%)

series113.0ms (1.2%)

rewrite80.0ms (0.8%)

prune177.0ms (1.9%)

localize41.0ms (0.4%)

series243.0ms (2.6%)

rewrite93.0ms (1%)

prune272.0ms (2.9%)

regimes1.9s (19.8%)

simplify3.0ms (0%)

end137.0ms (1.5%)

Profiling