Details

analyze4.8s (35.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1
0%	0%	100%	2
0%	0%	100%	3
0%	0%	100%	4
0%	0%	100%	5
0%	0%	100%	6
0%	0%	100%	7
0%	0%	100%	8
0%	0%	100%	9
0%	0%	100%	10
0%	0%	100%	11
0%	0%	100%	12
0%	0%	100%	13
0%	0%	100%	14

Compiler

Compiled 37 to 28 computations (24.3% saved)

sample2.1s (15.8%)

Results

2.1s	8256×	body	128	valid
2.0ms	7×	body	128	invalid

Compiler

Compiled 88 to 67 computations (23.9% saved)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

11×	`sub-neg_binary32`
7×	`+-commutative_binary32`
6×	`fma-def_binary32`
4×	`*-commutative_binary32`
4×	`div-sub_binary32`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	27	17
4	34	17
5	44	17
6	54	17
7	69	17
8	76	17
9	79	17
10	80	17
11	60	17

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

0.3b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.3b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))

Compiler

Compiled 42 to 33 computations (21.4% saved)

localize30.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))
✓	0.2b	(/.f32 u1 (-.f32 1 u1))
✓	0.2b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
✓	0.4b	(*.f32 314159265359/50000000000 u2)

series45.0ms (0.3%)

Counts

4 → 40

Calls

4 calls:

30.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
10.0ms	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))
3.0ms	(/.f32 u1 (-.f32 1 u1))
2.0ms	(*.f32 314159265359/50000000000 u2)

rewrite36.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

81×	`add-sqr-sqrt_binary32`
69×	`*-un-lft-identity_binary32`
56×	`times-frac_binary32`
50×	`sqrt-prod_binary32`
39×	`add-cube-cbrt_binary32`

Counts

4 → 148

Calls

4 calls:

12.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
5.0ms	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))
4.0ms	(/.f32 u1 (-.f32 1 u1))
3.0ms	(*.f32 314159265359/50000000000 u2)

simplify126.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

595×	`associate-/r*_binary32`
481×	`fma-def_binary32`
401×	`times-frac_binary32`
261×	`associate-/l*_binary32`
204×	`fma-neg_binary32`

Counts

188 → 226

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	289	3681
1	635	3497
2	1868	3373
3	4856	3373
4	4924	3373

prune359.0ms (2.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	216	10	226
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	217	10	227

Error

0.0b

Counts

227 → 10

Alt Table

Status	Error	Program
	0.5b	(.f32 (.f32 (sqrt.f32 (/.f32 1 (+.f32 1 (sqrt.f32 u1)))) (sqrt.f32 (/.f32 u1 (-.f32 1 (sqrt.f32 u1))))) (cos.f32 (*.f32 314159265359/50000000000 u2)))
	0.5b	(.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) (+.f32 1 (sqrt.f32 u1)))) (.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) (-.f32 1 (sqrt.f32 u1)))) (cos.f32 (*.f32 314159265359/50000000000 u2))))
	0.6b	(.f32 (sqrt.f32 (/.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (+.f32 1 (sqrt.f32 u1)))) (.f32 (sqrt.f32 (/.f32 (cbrt.f32 u1) (-.f32 1 (sqrt.f32 u1)))) (cos.f32 (.f32 314159265359/50000000000 u2))))
	0.9b	(.f32 (.f32 (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (.f32 (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cos.f32 (.f32 314159265359/50000000000 u2))))
	6.5b	(log.f32 (exp.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))))
	0.5b	(.f32 (sqrt.f32 (/.f32 1 (.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1))))) (.f32 (sqrt.f32 (/.f32 u1 (cbrt.f32 (-.f32 1 u1)))) (cos.f32 (.f32 314159265359/50000000000 u2))))
	0.6b	(.f32 (sqrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (sqrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cos.f32 (*.f32 314159265359/50000000000 u2))))
▶	0.3b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))))
	0.3b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (cbrt.f32 (.f32 (.f32 (.f32 314159265359/50000000000 314159265359/50000000000) 314159265359/50000000000) (.f32 (.f32 u2 u2) u2)))))
	0.3b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (log.f32 (exp.f32 (.f32 314159265359/50000000000 u2)))))

Compiler

Compiled 5155 to 3775 computations (26.8% saved)

localize41.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))
	0.2b	(/.f32 u1 (-.f32 1 u1))
✓	0.2b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))))
✓	0.3b	(.f32 (sqrt.f32 314159265359/50000000000) (.f32 (sqrt.f32 314159265359/50000000000) u2))

series57.0ms (0.4%)

Counts

2 → 32

Calls

2 calls:

46.0ms

(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (*.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))))

10.0ms

(*.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))

rewrite26.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`associate-l_binary32`
32×	`add-sqr-sqrt_binary32`
29×	`sqrt-prod_binary32`
25×	`*-un-lft-identity_binary32`
19×	`times-frac_binary32`

Counts

2 → 70

Calls

2 calls:

11.0ms

(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (*.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))))

7.0ms

(*.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))

simplify91.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

403×	`fma-neg_binary32`
331×	`*-commutative_binary32`
329×	`fma-def_binary32`
299×	`associate-/r*_binary32`
257×	`unswap-sqr_binary32`

Counts

102 → 129

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	201	2054
1	453	1928
2	1315	1793
3	3527	1785
4	4920	1785

prune411.0ms (3.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	235	6	241
Fresh	4	5	9
Picked	1	0	1
Done	0	0	0
Total	240	11	251

Error

0.0b

Counts

251 → 11

Alt Table

Status	Error	Program
	0.5b	(.f32 (.f32 (sqrt.f32 (/.f32 1 (+.f32 1 (sqrt.f32 u1)))) (sqrt.f32 (/.f32 u1 (-.f32 1 (sqrt.f32 u1))))) (cos.f32 (*.f32 314159265359/50000000000 u2)))
	0.5b	(.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) (+.f32 1 (sqrt.f32 u1)))) (.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) (-.f32 1 (sqrt.f32 u1)))) (cos.f32 (*.f32 314159265359/50000000000 u2))))
	6.5b	(log.f32 (exp.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))))
	0.5b	(.f32 (sqrt.f32 (/.f32 1 (.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1))))) (.f32 (sqrt.f32 (/.f32 u1 (cbrt.f32 (-.f32 1 u1)))) (cos.f32 (.f32 314159265359/50000000000 u2))))
	0.8b	(.f32 (.f32 (.f32 (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (cos.f32 (.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))))
	0.6b	(.f32 (sqrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (sqrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cos.f32 (*.f32 314159265359/50000000000 u2))))
	0.3b	(.f32 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 1 u1) -1))) (cos.f32 (.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))))
	1.2b	(.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sqrt.f32 (cos.f32 (.f32 u2 314159265359/50000000000)))) (sqrt.f32 (cos.f32 (.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2)))))
	1.5b	(.f32 (sqrt.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 (sqrt.f32 314159265359/50000000000) (.f32 (sqrt.f32 314159265359/50000000000) u2))))) (sqrt.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))))))
▶	0.3b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 (sqrt.f32 (sqrt.f32 314159265359/50000000000)) (*.f32 u2 (pow.f32 (sqrt.f32 314159265359/50000000000) 3/2)))))
	6.5b	(.f32 (log.f32 (exp.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (cos.f32 (.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))))

Compiler

Compiled 6223 to 4817 computations (22.6% saved)

localize50.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f32 u2 (pow.f32 (sqrt.f32 314159265359/50000000000) 3/2))
	0.2b	(/.f32 u1 (-.f32 1 u1))
✓	0.2b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 (sqrt.f32 (sqrt.f32 314159265359/50000000000)) (*.f32 u2 (pow.f32 (sqrt.f32 314159265359/50000000000) 3/2)))))
✓	0.3b	(.f32 (sqrt.f32 (sqrt.f32 314159265359/50000000000)) (.f32 u2 (pow.f32 (sqrt.f32 314159265359/50000000000) 3/2)))

series77.0ms (0.6%)

Counts

3 → 44

Calls

3 calls:

46.0ms

(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (*.f32 (sqrt.f32 (sqrt.f32 314159265359/50000000000)) (*.f32 u2 (pow.f32 (sqrt.f32 314159265359/50000000000) 3/2)))))

21.0ms

(*.f32 u2 (pow.f32 (sqrt.f32 314159265359/50000000000) 3/2))

10.0ms

(*.f32 (sqrt.f32 (sqrt.f32 314159265359/50000000000)) (*.f32 u2 (pow.f32 (sqrt.f32 314159265359/50000000000) 3/2)))

rewrite35.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

45×	`add-sqr-sqrt_binary32`
39×	`sqrt-prod_binary32`
39×	`associate-l_binary32`
31×	`*-un-lft-identity_binary32`
22×	`add-cube-cbrt_binary32`

Counts

3 → 105

Calls

3 calls:

12.0ms

(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (*.f32 (sqrt.f32 (sqrt.f32 314159265359/50000000000)) (*.f32 u2 (pow.f32 (sqrt.f32 314159265359/50000000000) 3/2)))))

7.0ms

(*.f32 (sqrt.f32 (sqrt.f32 314159265359/50000000000)) (*.f32 u2 (pow.f32 (sqrt.f32 314159265359/50000000000) 3/2)))

5.0ms

(*.f32 u2 (pow.f32 (sqrt.f32 314159265359/50000000000) 3/2))

simplify119.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

560×	`*-commutative_binary32`
422×	`fma-neg_binary32`
334×	`fma-def_binary32`
299×	`associate-/r*_binary32`
230×	`associate-r_binary32`

Counts

149 → 173

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	253	3786
1	544	3259
2	1685	3086
3	4235	2354
4	4894	2354

prune317.0ms (2.4%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	235	1	236
Fresh	3	7	10
Picked	0	1	1
Done	0	0	0
Total	238	9	247

Error

0.0b

Counts

247 → 9

Alt Table

Status	Error	Program
	0.5b	(.f32 (.f32 (sqrt.f32 (/.f32 1 (+.f32 1 (sqrt.f32 u1)))) (sqrt.f32 (/.f32 u1 (-.f32 1 (sqrt.f32 u1))))) (cos.f32 (*.f32 314159265359/50000000000 u2)))
	0.5b	(.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) (+.f32 1 (sqrt.f32 u1)))) (.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) (-.f32 1 (sqrt.f32 u1)))) (cos.f32 (*.f32 314159265359/50000000000 u2))))
	6.5b	(log.f32 (exp.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))))
▶	0.5b	(.f32 (sqrt.f32 (/.f32 1 (.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1))))) (.f32 (sqrt.f32 (/.f32 u1 (cbrt.f32 (-.f32 1 u1)))) (cos.f32 (.f32 314159265359/50000000000 u2))))
	0.8b	(.f32 (.f32 (.f32 (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (cos.f32 (.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))))
	0.6b	(.f32 (sqrt.f32 (/.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (+.f32 1 (sqrt.f32 u1)))) (.f32 (cos.f32 (.f32 u2 314159265359/50000000000)) (sqrt.f32 (/.f32 (cbrt.f32 u1) (-.f32 1 (sqrt.f32 u1))))))
	0.6b	(.f32 (sqrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (sqrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cos.f32 (*.f32 314159265359/50000000000 u2))))
✓	0.3b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 (sqrt.f32 (sqrt.f32 314159265359/50000000000)) (*.f32 u2 (pow.f32 (sqrt.f32 314159265359/50000000000) 3/2)))))
	6.5b	(.f32 (log.f32 (exp.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (cos.f32 (.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))))

Compiler

Compiled 6359 to 5072 computations (20.2% saved)

localize94.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f32 1 (*.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1))))
✓	0.3b	(.f32 (sqrt.f32 (/.f32 1 (.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1))))) (.f32 (sqrt.f32 (/.f32 u1 (cbrt.f32 (-.f32 1 u1)))) (cos.f32 (.f32 314159265359/50000000000 u2))))
	0.4b	(*.f32 314159265359/50000000000 u2)
✓	0.4b	(*.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1)))

series63.0ms (0.5%)

Counts

3 → 40

Calls

3 calls:

49.0ms

(*.f32 (sqrt.f32 (/.f32 1 (*.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1))))) (*.f32 (sqrt.f32 (/.f32 u1 (cbrt.f32 (-.f32 1 u1)))) (cos.f32 (*.f32 314159265359/50000000000 u2))))

7.0ms

(/.f32 1 (*.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1))))

7.0ms

(*.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1)))

rewrite63.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`cbrt-div_binary32`
36×	`add-sqr-sqrt_binary32`
34×	`*-un-lft-identity_binary32`
32×	`cbrt-prod_binary32`
27×	`associate-l_binary32`

Counts

3 → 144

Calls

3 calls:

26.0ms

(*.f32 (sqrt.f32 (/.f32 1 (*.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1))))) (*.f32 (sqrt.f32 (/.f32 u1 (cbrt.f32 (-.f32 1 u1)))) (cos.f32 (*.f32 314159265359/50000000000 u2))))

10.0ms

(*.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1)))

9.0ms

(/.f32 1 (*.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1))))

simplify166.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

685×	`times-frac_binary32`
545×	`fma-def_binary32`
252×	`fma-neg_binary32`
224×	`associate-r_binary32`
214×	`associate-l_binary32`

Counts

184 → 247

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	298	4593
1	695	4193
2	2089	3706
3	4546	3602
4	4874	3602
5	4909	3602

prune387.0ms (2.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	268	1	269
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	269	9	278

Error

0.0b

Counts

278 → 9

Alt Table

Status	Error	Program
	0.5b	(.f32 (.f32 (sqrt.f32 (/.f32 1 (+.f32 1 (sqrt.f32 u1)))) (sqrt.f32 (/.f32 u1 (-.f32 1 (sqrt.f32 u1))))) (cos.f32 (*.f32 314159265359/50000000000 u2)))
	0.5b	(.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) (+.f32 1 (sqrt.f32 u1)))) (.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) (-.f32 1 (sqrt.f32 u1)))) (cos.f32 (*.f32 314159265359/50000000000 u2))))
	6.5b	(log.f32 (exp.f32 (.f32 (/.f32 1 (cbrt.f32 (-.f32 1 u1))) (.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)) (sqrt.f32 (/.f32 u1 (cbrt.f32 (-.f32 1 u1))))))))
	6.5b	(.f32 (log.f32 (exp.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (cos.f32 (.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))))
	0.8b	(.f32 (.f32 (.f32 (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (cos.f32 (.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))))
	0.6b	(.f32 (sqrt.f32 (/.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (+.f32 1 (sqrt.f32 u1)))) (.f32 (cos.f32 (.f32 u2 314159265359/50000000000)) (sqrt.f32 (/.f32 (cbrt.f32 u1) (-.f32 1 (sqrt.f32 u1))))))
	0.6b	(.f32 (sqrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (sqrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cos.f32 (*.f32 314159265359/50000000000 u2))))
✓	0.5b	(.f32 (sqrt.f32 (/.f32 1 (.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1))))) (.f32 (sqrt.f32 (/.f32 u1 (cbrt.f32 (-.f32 1 u1)))) (cos.f32 (.f32 314159265359/50000000000 u2))))
✓	0.3b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 (sqrt.f32 (sqrt.f32 314159265359/50000000000)) (*.f32 u2 (pow.f32 (sqrt.f32 314159265359/50000000000) 3/2)))))

Compiler

Compiled 9048 to 7239 computations (20% saved)

regimes3.7s (27.8%)

Accuracy

Total 0.2b remaining (74.7%)

Threshold costs 0.2b (74.7%)

Counts

337 → 1

Compiler

Compiled 70567 to 56369 computations (20.1% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary32`
2×	`+-commutative_binary32`
2×	`sub-neg_binary32`
1×	`neg-sub0_binary32`
1×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	28
1	22	28
2	26	28
3	28	28
4	29	28
5	28	28

end153.0ms (1.1%)

Compiler: Compiled 267 to 212 computations (20.6% saved)

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	27	17
4	34	17
5	44	17
6	54	17
7	69	17
8	76	17
9	79	17
10	80	17
11	60	17

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	27	17
4	34	17
5	44	17
6	54	17
7	69	17
8	76	17
9	79	17
10	80	17
11	60	17

Details

analyze4.8s (35.9%)

sample2.1s (15.8%)

simplify11.0ms (0.1%)

prune2.0ms (0%)

localize30.0ms (0.2%)

series45.0ms (0.3%)

rewrite36.0ms (0.3%)

simplify126.0ms (0.9%)

prune359.0ms (2.7%)

localize41.0ms (0.3%)

series57.0ms (0.4%)

rewrite26.0ms (0.2%)

simplify91.0ms (0.7%)

prune411.0ms (3.1%)

localize50.0ms (0.4%)

series77.0ms (0.6%)

rewrite35.0ms (0.3%)

simplify119.0ms (0.9%)

prune317.0ms (2.4%)

localize94.0ms (0.7%)

series63.0ms (0.5%)

rewrite63.0ms (0.5%)

simplify166.0ms (1.2%)

prune387.0ms (2.9%)

regimes3.7s (27.8%)

simplify4.0ms (0%)

end153.0ms (1.1%)

Profiling

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	27	17
4	34	17
5	44	17
6	54	17
7	69	17
8	76	17
9	79	17
10	80	17
11	60	17