Details

analyze1.8s (18.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)

sample2.9s (30%)

Results

1.8s	8256×	body	128	valid
987.0ms	4715×	body	128	invalid

Compiler

Compiled 88 to 60 computations (31.8% saved)

preprocess56.0ms (0.6%)

Algorithm

2×	egg-herbie

Rules

479×	`fma-neg_binary32`
238×	`unsub-neg_binary32`
234×	`fma-def_binary32`
203×	`sub-neg_binary32`
194×	`div-sub_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	112
1	67	112
2	108	112
3	225	112
4	405	112
5	625	112
6	989	112
7	2006	112
8	3687	112
9	4699	112
0	3	3

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 21 to 13 computations (38.1% saved)

simplify39.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

664×	`div-sub_binary32`
600×	`fma-neg_binary32`
543×	`fma-def_binary32`
191×	`distribute-neg-in_binary32`
181×	`unsub-neg_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	28
1	26	28
2	40	28
3	78	28
4	139	28
5	204	28
6	319	28
7	595	28
8	1065	28
9	1967	28
10	3608	28
11	4882	28

Stop Event

1×	node limit

Counts

1 → 2

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	2	3

Error

2.8b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	2.8b	(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 81 to 48 computations (40.7% saved)

localize46.0ms (0.5%)

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

series285.0ms (3%)

Counts

4 → 104

Calls

30 calls:

47.0ms	(/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))	h	0
41.0ms	(/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))	h	-inf
38.0ms	(/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))	h	inf
37.0ms	(/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))	eta	0
14.0ms	(/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))	sinTheta_O	-inf

rewrite153.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

898×	`prod-diff_binary32`
288×	`egg-rr`
153×	`add-sqr-sqrt_binary32`
147×	`add-cbrt-cube_binary32`
147×	`log1p-expm1-u_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	98
1	311	98
2	4262	98

Stop Event

1×	node limit

Counts

4 → 288

simplify97.0ms (1%)

Algorithm

1×	egg-herbie

Rules

321×	`cancel-sign-sub-inv_binary32`
240×	`fma-def_binary32`
196×	`times-frac_binary32`
189×	`associate-/r*_binary32`
172×	`associate-/l*_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	260	4664
1	891	4519
2	3800	4517

Stop Event

1×	node limit

Counts

392 → 379

prune499.0ms (5.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	371	8	379
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	372	8	380

Error

0.2b

Counts

380 → 8

Alt Table

Status	Error	Program
▶	0.8b	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta)))))
	18.4b	(asin.f32 (.f32 (cbrt.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (.f32 (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))) sinTheta_O))))) (cbrt.f32 (/.f32 (.f32 h h) (-.f32 (.f32 eta eta) (.f32 (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))) sinTheta_O))))))
	3.0b	(asin.f32 (.f32 h (pow.f32 (-.f32 (.f32 eta eta) (.f32 (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))) sinTheta_O)) -1/2)))
	7.2b	(asin.f32 (fma.f32 1/2 (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) (pow.f32 eta 3)) h) (/.f32 h eta)))
	3.4b	(asin.f32 (/.f32 h (pow.f32 (cbrt.f32 (sqrt.f32 (-.f32 (.f32 eta eta) (.f32 (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))) sinTheta_O)))) 3)))
	2.8b	(expm1.f32 (log1p.f32 (asin.f32 (/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (.f32 (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))) sinTheta_O)))))))
	3.0b	(asin.f32 (pow.f32 (/.f32 (sqrt.f32 (-.f32 (.f32 eta eta) (.f32 (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))) sinTheta_O))) h) -1))
	2.8b	(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 eta eta (/.f32 (.f32 sinTheta_O (neg.f32 sinTheta_O)) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))

Compiler

Compiled 18554 to 11170 computations (39.8% saved)

localize29.0ms (0.3%)

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

series117.0ms (1.2%)

Counts

4 → 24

Calls

30 calls:

34.0ms	(/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta))))	h	inf
17.0ms	(/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta))))	h	-inf
15.0ms	(/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta))))	h	0
4.0ms	(/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta))))	eta	0
3.0ms	(/.f32 h (-.f32 eta (*.f32 1/2 (/.f32 (pow.f32 sinTheta_O 2) eta))))	sinTheta_O	inf

rewrite71.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

705×	`prod-diff_binary32`
138×	`add-sqr-sqrt_binary32`
133×	`log1p-expm1-u_binary32`
133×	`expm1-log1p-u_binary32`
131×	`add-cbrt-cube_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	51
1	274	51
2	3718	51

Stop Event

1×	node limit

Counts

4 → 124

simplify36.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

531×	`cancel-sign-sub-inv_binary32`
363×	`fma-neg_binary32`
334×	`times-frac_binary32`
296×	`distribute-lft-neg-in_binary32`
295×	`distribute-rgt-neg-in_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	60	804
1	178	798
2	612	786
3	3006	780

Stop Event

1×	node limit

Counts

148 → 139

prune148.0ms (1.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	135	4	139
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	139	8	147

Error

0.2b

Counts

147 → 8

Alt Table

Status	Error	Program
	1.4b	(asin.f32 (.f32 (/.f32 (pow.f32 (cbrt.f32 h) 2) 1) (/.f32 (cbrt.f32 h) (+.f32 eta (.f32 (/.f32 (*.f32 sinTheta_O sinTheta_O) eta) -1/2)))))
	3.0b	(asin.f32 (pow.f32 (/.f32 (sqrt.f32 (-.f32 (.f32 eta eta) (.f32 (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))) sinTheta_O))) h) -1))
	0.9b	(expm1.f32 (log1p.f32 (asin.f32 (/.f32 h (+.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) -1/2))))))
▶	0.7b	(asin.f32 (/.f32 h (-.f32 eta (*.f32 1/2 (pow.f32 (/.f32 sinTheta_O (sqrt.f32 eta)) 2)))))
	8.0b	(asin.f32 (.f32 (cbrt.f32 (/.f32 h (+.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) -1/2)))) (cbrt.f32 (pow.f32 (/.f32 h (+.f32 eta (.f32 (/.f32 (*.f32 sinTheta_O sinTheta_O) eta) -1/2))) 2))))
	3.0b	(asin.f32 (.f32 h (pow.f32 (-.f32 (.f32 eta eta) (.f32 (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))) sinTheta_O)) -1/2)))
	7.2b	(asin.f32 (fma.f32 1/2 (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) (pow.f32 eta 3)) h) (/.f32 h eta)))
	2.8b	(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 eta eta (/.f32 (.f32 sinTheta_O (neg.f32 sinTheta_O)) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))

Compiler

Compiled 3722 to 2054 computations (44.8% saved)

localize33.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series136.0ms (1.4%)

Counts

4 → 77

Calls

27 calls:

21.0ms	(/.f32 h (-.f32 eta (*.f32 1/2 (pow.f32 (/.f32 sinTheta_O (sqrt.f32 eta)) 2))))	h	-inf
16.0ms	(/.f32 h (-.f32 eta (*.f32 1/2 (pow.f32 (/.f32 sinTheta_O (sqrt.f32 eta)) 2))))	h	inf
15.0ms	(/.f32 h (-.f32 eta (*.f32 1/2 (pow.f32 (/.f32 sinTheta_O (sqrt.f32 eta)) 2))))	h	0
11.0ms	(*.f32 1/2 (pow.f32 (/.f32 sinTheta_O (sqrt.f32 eta)) 2))	eta	-inf
8.0ms	(/.f32 sinTheta_O (sqrt.f32 eta))	eta	-inf

rewrite62.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

735×	`prod-diff_binary32`
231×	`log1p-udef_binary32`
131×	`add-sqr-sqrt_binary32`
127×	`log1p-expm1-u_binary32`
127×	`expm1-log1p-u_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	45
1	268	39
2	3537	39

Stop Event

1×	node limit

Counts

4 → 120

simplify48.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

538×	`cancel-sign-sub-inv_binary32`
366×	`fma-neg_binary32`
334×	`times-frac_binary32`
311×	`distribute-rgt-neg-in_binary32`
233×	`associate-/l*_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	68	1278
1	196	1274
2	644	1238
3	3079	1232

Stop Event

1×	node limit

Counts

197 → 142

prune199.0ms (2.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	141	1	142
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	142	8	150

Error

0.2b

Counts

150 → 8

Alt Table

Status	Error	Program
	1.4b	(asin.f32 (.f32 (/.f32 (pow.f32 (cbrt.f32 h) 2) 1) (/.f32 (cbrt.f32 h) (+.f32 eta (.f32 (/.f32 (*.f32 sinTheta_O sinTheta_O) eta) -1/2)))))
	3.0b	(asin.f32 (pow.f32 (/.f32 (sqrt.f32 (-.f32 (.f32 eta eta) (.f32 (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))) sinTheta_O))) h) -1))
	0.9b	(expm1.f32 (log1p.f32 (asin.f32 (/.f32 h (+.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) -1/2))))))
	8.0b	(asin.f32 (.f32 (cbrt.f32 (/.f32 h (+.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) -1/2)))) (cbrt.f32 (pow.f32 (/.f32 h (+.f32 eta (.f32 (/.f32 (*.f32 sinTheta_O sinTheta_O) eta) -1/2))) 2))))
	3.0b	(asin.f32 (.f32 h (pow.f32 (-.f32 (.f32 eta eta) (.f32 (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))) sinTheta_O)) -1/2)))
	7.2b	(asin.f32 (fma.f32 1/2 (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) (pow.f32 eta 3)) h) (/.f32 h eta)))
▶	0.7b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (pow.f32 (.f32 (/.f32 (pow.f32 (cbrt.f32 sinTheta_O) 2) 1) (/.f32 (cbrt.f32 sinTheta_O) (sqrt.f32 eta))) 2)))))
	2.8b	(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 eta eta (/.f32 (.f32 sinTheta_O (neg.f32 sinTheta_O)) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))

Compiler

Compiled 2952 to 1650 computations (44.1% saved)

localize49.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(pow.f32 (*.f32 (/.f32 (pow.f32 (cbrt.f32 sinTheta_O) 2) 1) (/.f32 (cbrt.f32 sinTheta_O) (sqrt.f32 eta))) 2)
✓	0.4b	(/.f32 (cbrt.f32 sinTheta_O) (sqrt.f32 eta))
✓	0.4b	(*.f32 (/.f32 (pow.f32 (cbrt.f32 sinTheta_O) 2) 1) (/.f32 (cbrt.f32 sinTheta_O) (sqrt.f32 eta)))
✓	0.5b	(pow.f32 (cbrt.f32 sinTheta_O) 2)

series216.0ms (2.3%)

Counts

4 → 24

Calls

21 calls:

61.0ms	(*.f32 (/.f32 (pow.f32 (cbrt.f32 sinTheta_O) 2) 1) (/.f32 (cbrt.f32 sinTheta_O) (sqrt.f32 eta)))	sinTheta_O	-inf
50.0ms	(pow.f32 (*.f32 (/.f32 (pow.f32 (cbrt.f32 sinTheta_O) 2) 1) (/.f32 (cbrt.f32 sinTheta_O) (sqrt.f32 eta))) 2)	sinTheta_O	-inf
19.0ms	(pow.f32 (cbrt.f32 sinTheta_O) 2)	sinTheta_O	-inf
17.0ms	(/.f32 (cbrt.f32 sinTheta_O) (sqrt.f32 eta))	eta	-inf
11.0ms	(/.f32 (cbrt.f32 sinTheta_O) (sqrt.f32 eta))	sinTheta_O	-inf

rewrite56.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

488×	`log-prod_binary32`
174×	`pow1/3_binary32`
170×	`expm1-udef_binary32`
170×	`log1p-udef_binary32`
163×	`log-pow_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	29
1	257	27
2	2769	27

Stop Event

1×	node limit

Counts

4 → 158

simplify45.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

434×	`unswap-sqr_binary32`
423×	`associate-*r/_binary32`
392×	`associate-/r*_binary32`
388×	`associate-/r/_binary32`
369×	`*-commutative_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	192
1	17	192
2	24	192
3	45	192
4	101	192
5	301	192
6	1212	192
7	3615	192
8	4417	192
9	4602	192
10	4818	192

Stop Event

1×	node limit

Counts

182 → 161

prune206.0ms (2.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	160	1	161
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	161	8	169

Error

0.2b

Counts

169 → 8

Alt Table

Status	Error	Program
	1.4b	(asin.f32 (.f32 (/.f32 (pow.f32 (cbrt.f32 h) 2) 1) (/.f32 (cbrt.f32 h) (+.f32 eta (.f32 (/.f32 (*.f32 sinTheta_O sinTheta_O) eta) -1/2)))))
	3.0b	(asin.f32 (pow.f32 (/.f32 (sqrt.f32 (-.f32 (.f32 eta eta) (.f32 (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))) sinTheta_O))) h) -1))
	0.9b	(expm1.f32 (log1p.f32 (asin.f32 (/.f32 h (+.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) -1/2))))))
	8.0b	(asin.f32 (.f32 (cbrt.f32 (/.f32 h (+.f32 eta (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) eta) -1/2)))) (cbrt.f32 (pow.f32 (/.f32 h (+.f32 eta (.f32 (/.f32 (*.f32 sinTheta_O sinTheta_O) eta) -1/2))) 2))))
	3.0b	(asin.f32 (.f32 h (pow.f32 (-.f32 (.f32 eta eta) (.f32 (/.f32 sinTheta_O (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))) sinTheta_O)) -1/2)))
	7.2b	(asin.f32 (fma.f32 1/2 (.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) (pow.f32 eta 3)) h) (/.f32 h eta)))
	0.7b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 (*.f32 sinTheta_O (cbrt.f32 sinTheta_O)) (/.f32 (pow.f32 (cbrt.f32 sinTheta_O) 2) eta))))))
	2.8b	(asin.f32 (/.f32 h (sqrt.f32 (fma.f32 eta eta (/.f32 (.f32 sinTheta_O (neg.f32 sinTheta_O)) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))

Compiler

Compiled 3638 to 2082 computations (42.8% saved)

regimes2.1s (22.4%)

Accuracy

Total 0.2b remaining (54%)

Threshold costs 0.2b (54%)

Counts

193 → 2

Compiler

Compiled 42980 to 30699 computations (28.6% saved)

bsearch0.0ms (0%)

Algorithm

1×	binary-search

Calls

1 calls:

0.0ms

(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))

Steps

Iters	Point		Range
0.0	∈ [	0.0	,	1.401298464324817e-45	]

Compiler

Compiled 13 to 8 computations (38.5% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`+-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	20	54
1	28	54
2	39	54
3	45	54
4	48	54

Stop Event

1×

saturated

end152.0ms (1.6%)

Stop Event

1×

fuel

Compiler

Compiled 252 to 162 computations (35.7% saved)

Details

analyze1.8s (18.5%)

sample2.9s (30%)

preprocess56.0ms (0.6%)

simplify39.0ms (0.4%)

prune2.0ms (0%)

localize46.0ms (0.5%)

series285.0ms (3%)

rewrite153.0ms (1.6%)

simplify97.0ms (1%)

prune499.0ms (5.2%)

localize29.0ms (0.3%)

series117.0ms (1.2%)

rewrite71.0ms (0.7%)

simplify36.0ms (0.4%)

prune148.0ms (1.6%)

localize33.0ms (0.3%)

series136.0ms (1.4%)

rewrite62.0ms (0.7%)

simplify48.0ms (0.5%)

prune199.0ms (2.1%)

localize49.0ms (0.5%)

series216.0ms (2.3%)

rewrite56.0ms (0.6%)

simplify45.0ms (0.5%)

prune206.0ms (2.2%)

regimes2.1s (22.4%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end152.0ms (1.6%)

Profiling