Details

analyze2.0s (12.1%)

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)

sample91.0ms (0.6%)

Algorithm

1×

intervals

Results

28.0ms	256×	body	128	valid
14.0ms	138×	body	128	nan
13.0ms	394×	pre	128	true

Compiler

Compiled 58 to 39 computations (32.8% saved)

simplify145.0ms (0.9%)

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

Counts

1 → 1

Alt Table

Status	Error	Program
▶	3.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))))))))

Compiler

Compiled 42 to 26 computations (38.1% saved)

localize53.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite254.0ms (1.6%)

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:

10.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	(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))))))))

Compiler

Compiled 3186 to 1555 computations (51.2% saved)

series392.0ms (2.4%)

Error

0.3b

Counts

4 → 48

Calls

4 calls:

131.0ms	(/.f32 h (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))
86.0ms	(sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))
43.0ms	(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))
43.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 2591 to 2076 computations (19.9% saved)

simplify138.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

665×	`associate-/r*_binary32`
287×	`associate-/l/_binary32`
259×	`associate-/r/_binary32`
187×	`cancel-sign-sub-inv_binary32`
138×	`associate-/l*_binary32`

Counts

155 → 83

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	369	5569
1	780	5298
2	2407	5243
3	5033	5243

prune117.0ms (0.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	77	6	83
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	77	7	84

Error

0.2b

Counts

84 → 7

Alt Table

Status	Error	Program
	12.3b	(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))))))))
	17.3b	(asin.f32 (.f32 (/.f32 h (sqrt.f32 (-.f32 (pow.f32 eta 6) (pow.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))) 3)))) (sqrt.f32 (+.f32 (.f32 (.f32 eta eta) (.f32 eta eta)) (+.f32 (.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))))) (.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 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))))))))))
	16.8b	(asin.f32 (.f32 (sqrt.f32 h) (/.f32 (sqrt.f32 h) (sqrt.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 (/.f32 (.f32 (cbrt.f32 h) (cbrt.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 (cbrt.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.7b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta)))))
✓	3.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))))))))

Compiler

Compiled 1937 to 1070 computations (44.8% saved)

localize35.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta)))))
0.1b	(.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta))
0.1b	(/.f32 h (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta))))
5.8b	(/.f32 (*.f32 sinTheta_O sinTheta_O) eta)

rewrite177.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

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:

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

series144.0ms (0.9%)

Error

0.2b

Counts

4 → 36

Calls

4 calls:

67.0ms	(/.f32 h (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta))))
27.0ms	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta)))))
22.0ms	(.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta))
20.0ms	(/.f32 (*.f32 sinTheta_O sinTheta_O) eta)

Compiler

Compiled 1210 to 889 computations (26.5% saved)

simplify127.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

456×	`associate-/l*_binary32`
435×	`times-frac_binary32`
415×	`associate-*l/_binary32`
403×	`associate-*r/_binary32`
307×	`associate-l_binary32`

Counts

122 → 66

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	171	2317
1	357	2163
2	1055	2162
3	4437	2160
4	4761	2160
5	4953	2160

prune61.0ms (0.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	64	2	66
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	65	8	73

Error

0.1b

Counts

73 → 8

Alt Table

Status	Error	Program
	3.7b	(asin.f32 (.f32 (/.f32 h (-.f32 (.f32 eta eta) (.f32 1/4 (/.f32 (pow.f32 sinTheta_O 4) (.f32 eta eta))))) (+.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta)))))
	16.8b	(asin.f32 (.f32 (sqrt.f32 h) (/.f32 (sqrt.f32 h) (sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))))
	17.3b	(asin.f32 (.f32 (/.f32 h (sqrt.f32 (-.f32 (pow.f32 eta 6) (pow.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))) 3)))) (sqrt.f32 (+.f32 (.f32 (.f32 eta eta) (.f32 eta eta)) (+.f32 (.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))))) (.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 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.6b	(asin.f32 (.f32 (/.f32 (.f32 (cbrt.f32 h) (cbrt.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 (cbrt.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.7b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta)))))
▶	0.6b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (/.f32 sinTheta_O eta))))))
✓	3.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))))))))

Compiler

Compiled 896 to 492 computations (45.1% saved)

localize36.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite161.0ms (1%)

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:

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

series144.0ms (0.9%)

Error

0.1b

Counts

4 → 36

Calls

4 calls:

67.0ms	(/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (/.f32 sinTheta_O eta)))))
27.0ms	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (/.f32 sinTheta_O eta))))))
24.0ms	(*.f32 sinTheta_O (/.f32 sinTheta_O eta))
22.0ms	(.f32 1/2 (.f32 sinTheta_O (/.f32 sinTheta_O eta)))

Compiler

Compiled 1210 to 889 computations (26.5% saved)

simplify128.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

481×	`associate-/l*_binary32`
433×	`times-frac_binary32`
404×	`associate-*r/_binary32`
379×	`associate-*l/_binary32`
288×	`cancel-sign-sub-inv_binary32`

Counts

126 → 104

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	181	2347
1	392	2175
2	1262	2169
3	3963	2161
4	4871	2161
5	4954	2161

prune103.0ms (0.6%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	103	1	104
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	103	9	112

Error

0.1b

Counts

112 → 9

Alt Table

Status	Error	Program
	3.7b	(asin.f32 (.f32 (/.f32 h (-.f32 (.f32 eta eta) (.f32 1/4 (/.f32 (pow.f32 sinTheta_O 4) (.f32 eta eta))))) (+.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta)))))
	16.8b	(asin.f32 (.f32 (sqrt.f32 h) (/.f32 (sqrt.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 (.f32 sinTheta_O sinTheta_O) eta)))))
▶	0.7b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 (.f32 sinTheta_O (.f32 (cbrt.f32 sinTheta_O) (cbrt.f32 sinTheta_O))) (/.f32 (cbrt.f32 sinTheta_O) eta))))))
	17.3b	(asin.f32 (.f32 (/.f32 h (sqrt.f32 (-.f32 (pow.f32 eta 6) (pow.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))) 3)))) (sqrt.f32 (+.f32 (.f32 (.f32 eta eta) (.f32 eta eta)) (+.f32 (.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))))) (.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 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.6b	(asin.f32 (.f32 (/.f32 (.f32 (cbrt.f32 h) (cbrt.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 (cbrt.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.6b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (/.f32 sinTheta_O eta))))))
✓	3.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))))))))

Compiler

Compiled 1710 to 864 computations (49.5% saved)

localize63.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.1b	(.f32 sinTheta_O (.f32 (cbrt.f32 sinTheta_O) (cbrt.f32 sinTheta_O)))
0.2b	(/.f32 (cbrt.f32 sinTheta_O) eta)
0.4b	(*.f32 (cbrt.f32 sinTheta_O) (cbrt.f32 sinTheta_O))
2.6b	(.f32 (.f32 sinTheta_O (*.f32 (cbrt.f32 sinTheta_O) (cbrt.f32 sinTheta_O))) (/.f32 (cbrt.f32 sinTheta_O) eta))

rewrite332.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

50×	`add-sqr-sqrt_binary32`
41×	`*-un-lft-identity_binary32`
41×	`add-cube-cbrt_binary32`
37×	`cbrt-prod_binary32`
36×	`times-frac_binary32`

Counts

4 → 147

Calls

4 calls:

12.0ms	(.f32 (.f32 sinTheta_O (*.f32 (cbrt.f32 sinTheta_O) (cbrt.f32 sinTheta_O))) (/.f32 (cbrt.f32 sinTheta_O) eta))
10.0ms	(*.f32 (cbrt.f32 sinTheta_O) (cbrt.f32 sinTheta_O))
7.0ms	(.f32 sinTheta_O (.f32 (cbrt.f32 sinTheta_O) (cbrt.f32 sinTheta_O)))
3.0ms	(/.f32 (cbrt.f32 sinTheta_O) eta)

Compiler

Compiled 3543 to 1173 computations (66.9% saved)

series132.0ms (0.8%)

Error

0.1b

Counts

4 → 18

Calls

4 calls:

42.0ms	(/.f32 (cbrt.f32 sinTheta_O) eta)
28.0ms	(.f32 (.f32 sinTheta_O (*.f32 (cbrt.f32 sinTheta_O) (cbrt.f32 sinTheta_O))) (/.f32 (cbrt.f32 sinTheta_O) eta))
24.0ms	(.f32 sinTheta_O (.f32 (cbrt.f32 sinTheta_O) (cbrt.f32 sinTheta_O)))
22.0ms	(*.f32 (cbrt.f32 sinTheta_O) (cbrt.f32 sinTheta_O))

Compiler

Compiled 947 to 681 computations (28.1% saved)

simplify151.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

593×	`times-frac_binary32`
453×	`associate-l_binary32`
411×	`associate-r_binary32`
405×	`unswap-sqr_binary32`
354×	`log-prod_binary32`

Counts

165 → 128

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	218	2462
1	520	1982
2	2364	1833
3	3968	1792
4	4627	1782
5	4957	1782

prune147.0ms (0.9%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	128	9	137

Error

0.1b

Counts

137 → 9

Alt Table

Status	Error	Program
	3.7b	(asin.f32 (.f32 (/.f32 h (-.f32 (.f32 eta eta) (.f32 1/4 (/.f32 (pow.f32 sinTheta_O 4) (.f32 eta eta))))) (+.f32 eta (.f32 1/2 (/.f32 (.f32 sinTheta_O sinTheta_O) eta)))))
	16.8b	(asin.f32 (.f32 (sqrt.f32 h) (/.f32 (sqrt.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 (.f32 sinTheta_O sinTheta_O) eta)))))
✓	0.7b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 (.f32 sinTheta_O (.f32 (cbrt.f32 sinTheta_O) (cbrt.f32 sinTheta_O))) (/.f32 (cbrt.f32 sinTheta_O) eta))))))
	17.3b	(asin.f32 (.f32 (/.f32 h (sqrt.f32 (-.f32 (pow.f32 eta 6) (pow.f32 (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))) 3)))) (sqrt.f32 (+.f32 (.f32 (.f32 eta eta) (.f32 eta eta)) (+.f32 (.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))))) (.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 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.6b	(asin.f32 (.f32 (/.f32 (.f32 (cbrt.f32 h) (cbrt.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 (cbrt.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.6b	(asin.f32 (/.f32 h (-.f32 eta (.f32 1/2 (.f32 sinTheta_O (/.f32 sinTheta_O eta))))))
✓	3.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))))))))

Compiler

Compiled 1888 to 929 computations (50.8% saved)

regimes6.7s (40.9%)

Accuracy

Total 0.3b remaining (65.3%)

Threshold costs 0.3b (65.3%)

Compiler

Compiled 62746 to 37764 computations (39.8% saved)

simplify10.0ms (0.1%)

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

end4.0ms (0%)

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

sample4.5s (27.7%)

Algorithm

1×

intervals

Results

1.3s	8000×	body	128	valid
615.0ms	4558×	body	128	nan
588.0ms	12558×	pre	128	true

Compiler

Compiled 351 to 211 computations (39.9% saved)

Details

analyze2.0s (12.1%)

sample91.0ms (0.6%)

simplify145.0ms (0.9%)

prune3.0ms (0%)

localize53.0ms (0.3%)

rewrite254.0ms (1.6%)

series392.0ms (2.4%)

simplify138.0ms (0.8%)

prune117.0ms (0.7%)

localize35.0ms (0.2%)

rewrite177.0ms (1.1%)

series144.0ms (0.9%)

simplify127.0ms (0.8%)

prune61.0ms (0.4%)

localize36.0ms (0.2%)

rewrite161.0ms (1%)

series144.0ms (0.9%)

simplify128.0ms (0.8%)

prune103.0ms (0.6%)

localize63.0ms (0.4%)

rewrite332.0ms (2%)

series132.0ms (0.8%)

simplify151.0ms (0.9%)

prune147.0ms (0.9%)

regimes6.7s (40.9%)

simplify10.0ms (0.1%)

end4.0ms (0%)

sample4.5s (27.7%)

Profiling