Details

analyze271.0ms (4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	2.1%	97.9%	0
0%	2.1%	97.9%	1
1%	1%	97.9%	2
1%	1%	97.9%	3
1.5%	0.5%	97.9%	4
1.5%	0.5%	97.9%	5
1.8%	0.3%	97.9%	6
1.8%	0.3%	97.9%	7
1.9%	0.1%	97.9%	8
1.9%	0.1%	97.9%	9
2%	0.1%	97.9%	10
2%	0.1%	97.9%	11
2%	0%	97.9%	12
2%	0%	97.9%	13
2%	0%	97.9%	14

Compiler

Compiled 50 to 36 computations (28% saved)

sample2.4s (35.2%)

Results

2.3s

8256×

body

128

valid

Compiler

Compiled 135 to 97 computations (28.1% saved)

simplify95.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

672×	`fma-neg_binary32`
634×	`associate-l_binary32`
530×	`associate-r_binary32`
445×	`associate-/r*_binary32`
406×	`*-commutative_binary32`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	26	53
1	66	43
2	237	35
3	864	32
4	2572	32
5	3890	32
6	4293	32
7	4871	32
8	4870	32

prune5.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.1b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
	0.8b	(.f32 (/.f32 (/.f32 1/8 (.f32 s (PI.f32))) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 (/.f32 r s)) -1/3)))

Status

Error

Program

▶

0.1b

(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))

0.8b

(*.f32 (/.f32 (/.f32 1/8 (*.f32 s (PI.f32))) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 (/.f32 r s)) -1/3)))

Compiler

Compiled 169 to 117 computations (30.8% saved)

localize119.0ms (1.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f32 (neg.f32 r) (*.f32 3 s))
✓	0.3b	(.f32 (.f32 (*.f32 2 (PI.f32)) s) r)
✓	0.3b	(.f32 (.f32 (*.f32 6 (PI.f32)) s) r)
✓	0.4b	(.f32 (.f32 2 (PI.f32)) s)

series31.0ms (0.5%)

Counts

4 → 84

Calls

4 calls:

10.0ms	(.f32 (.f32 (*.f32 2 (PI.f32)) s) r)
9.0ms	(.f32 (.f32 (*.f32 6 (PI.f32)) s) r)
7.0ms	(/.f32 (neg.f32 r) (*.f32 3 s))
5.0ms	(.f32 (.f32 2 (PI.f32)) s)

rewrite190.0ms (2.8%)

Algorithm

4×	egg-rewrite

Rules

70×	`egg`
56×	`egg`
39×	`egg`
39×	`egg`

Counts

4 → 204

Calls

4 calls:

48.0ms	(/.f32 (neg.f32 r) (*.f32 3 s))
48.0ms	(.f32 (.f32 (*.f32 2 (PI.f32)) s) r)
46.0ms	(.f32 (.f32 (*.f32 6 (PI.f32)) s) r)
44.0ms	(.f32 (.f32 2 (PI.f32)) s)

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	121	8
2	1359	8
3	5038	8
0	8	11
1	162	11
2	1884	11
3	4976	11
0	8	11
1	162	11
2	1881	11
3	4961	11
0	7	9
1	152	7
2	1697	7
3	5080	7

simplify33.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

51×	`associate-l_binary32`
35×	`associate-r_binary32`
29×	`*-commutative_binary32`
2×	`associate-/l*_binary32`
1×	`associate-*r/_binary32`

Counts

288 → 206

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	792
1	30	792
2	69	792
3	107	792
4	108	792
5	108	792

prune282.0ms (4.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	201	5	206
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	202	6	208

Error

0.1b

Counts

208 → 6

Alt Table

Status	Error	Program
	0.1b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 6 (.f32 (PI.f32) (*.f32 s r)))))
	17.5b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (pow.f32 (pow.f32 (.f32 (.f32 (*.f32 6 (PI.f32)) s) r) 3) 1/3)))
	0.1b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (sqrt.f32 r) (.f32 (sqrt.f32 r) (.f32 (.f32 6 (PI.f32)) s)))))
▶	0.1b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (pow.f32 (cbrt.f32 (.f32 6 (PI.f32))) 2) (.f32 (cbrt.f32 (.f32 6 (PI.f32))) (*.f32 s r)))))
	0.8b	(.f32 (/.f32 (/.f32 1/8 (.f32 s (PI.f32))) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 (/.f32 r s)) -1/3)))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (.f32 (.f32 6 (PI.f32)) s) (cbrt.f32 (*.f32 r r))) (cbrt.f32 r))))

Compiler

Compiled 8129 to 4953 computations (39.1% saved)

localize105.0ms (1.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(.f32 (.f32 2 (PI.f32)) s)
✓	0.4b	(.f32 (cbrt.f32 (.f32 6 (PI.f32))) (*.f32 s r))
✓	0.5b	(.f32 (pow.f32 (cbrt.f32 (.f32 6 (PI.f32))) 2) (.f32 (cbrt.f32 (.f32 6 (PI.f32))) (*.f32 s r)))
✓	1.0b	(pow.f32 (cbrt.f32 (*.f32 6 (PI.f32))) 2)

series568.0ms (8.4%)

Counts

3 → 48

Calls

3 calls:

523.0ms	(.f32 (cbrt.f32 (.f32 6 (PI.f32))) (*.f32 s r))
45.0ms	(.f32 (pow.f32 (cbrt.f32 (.f32 6 (PI.f32))) 2) (.f32 (cbrt.f32 (.f32 6 (PI.f32))) (*.f32 s r)))
0.0ms	(pow.f32 (cbrt.f32 (*.f32 6 (PI.f32))) 2)

rewrite152.0ms (2.3%)

Algorithm

3×	egg-rewrite

Rules

62×	`egg`
51×	`egg`
38×	`egg`

Counts

3 → 151

Calls

3 calls:

57.0ms	(.f32 (pow.f32 (cbrt.f32 (.f32 6 (PI.f32))) 2) (.f32 (cbrt.f32 (.f32 6 (PI.f32))) (*.f32 s r)))
46.0ms	(.f32 (cbrt.f32 (.f32 6 (PI.f32))) (*.f32 s r))
45.0ms	(pow.f32 (cbrt.f32 (*.f32 6 (PI.f32))) 2)

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	141	8
2	1362	8
3	4884	8
0	12	11
1	242	11
2	2629	11
3	4944	11
0	9	13
1	178	13
2	2028	13
3	4936	13

simplify220.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

1195×	`sqr-pow_binary32`
1182×	`fabs-mul_binary32`
1127×	`cube-prod_binary32`
606×	`cube-mult_binary32`
606×	`unpow3_binary32`

Counts

199 → 152

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	624
1	34	624
2	82	624
3	180	624
4	372	624
5	414	624
6	464	624
7	556	624
8	715	624
9	1003	624
10	971	624
11	1037	624
12	1148	624
13	1289	624
14	1502	624
15	1809	624
16	2199	624
17	2834	624
18	3350	624
19	3730	624
20	4110	624
21	4362	624
22	4561	624
23	5591	624

prune531.0ms (7.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	203	6	209
Fresh	2	3	5
Picked	1	0	1
Done	0	0	0
Total	206	9	215

Error

0.1b

Counts

215 → 9

Alt Table

Status	Error	Program
	0.8b	(.f32 (/.f32 (/.f32 1/8 (.f32 s (PI.f32))) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 (/.f32 r s)) -1/3)))
	18.3b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (pow.f32 (.f32 (.f32 36 (pow.f32 (PI.f32) 2)) (pow.f32 (.f32 (cbrt.f32 (.f32 6 (PI.f32))) (*.f32 s r)) 3)) 1/3)))
	0.1b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (sqrt.f32 r) (.f32 (sqrt.f32 r) (.f32 (.f32 6 (PI.f32)) s)))))
▶	0.1b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 6 (.f32 (PI.f32) (*.f32 s r)))))
	18.4b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (pow.f32 (cbrt.f32 (.f32 6 (PI.f32))) 2) (pow.f32 (pow.f32 (.f32 (cbrt.f32 (.f32 6 (PI.f32))) (*.f32 s r)) 3) 1/3))))
	18.5b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (pow.f32 (.f32 (pow.f32 (.f32 6 (PI.f32)) 3) (pow.f32 (*.f32 s r) 3)) 1/3)))
	0.1b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (.f32 6 (PI.f32)) (pow.f32 (cbrt.f32 (.f32 s r)) 2)) (cbrt.f32 (*.f32 s r)))))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (pow.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (pow.f32 (.f32 6 (PI.f32)) 2/3))) 2) 3) (cbrt.f32 (pow.f32 (.f32 6 (PI.f32)) 2/3))) (.f32 (cbrt.f32 (.f32 6 (PI.f32))) (*.f32 s r)))))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (pow.f32 (sqrt.f32 (cbrt.f32 (pow.f32 (.f32 6 (PI.f32)) 2/3))) 3) (pow.f32 (sqrt.f32 (cbrt.f32 (pow.f32 (.f32 6 (PI.f32)) 2/3))) 3)) (.f32 (cbrt.f32 (.f32 6 (PI.f32))) (*.f32 s r)))))

Compiler

Compiled 10142 to 6431 computations (36.6% saved)

localize88.0ms (1.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(.f32 (.f32 (*.f32 2 (PI.f32)) s) r)
✓	0.3b	(.f32 6 (.f32 (PI.f32) (*.f32 s r)))
	0.4b	(.f32 (.f32 2 (PI.f32)) s)
✓	0.4b	(.f32 (PI.f32) (.f32 s r))

series17.0ms (0.2%)

Counts

2 → 48

Calls

2 calls:

9.0ms	(.f32 6 (.f32 (PI.f32) (*.f32 s r)))
7.0ms	(.f32 (PI.f32) (.f32 s r))

rewrite105.0ms (1.6%)

Algorithm

2×	egg-rewrite

Rules

60×	`egg`
34×	`egg`

Counts

2 → 94

Calls

2 calls:

55.0ms	(.f32 6 (.f32 (PI.f32) (*.f32 s r)))
48.0ms	(.f32 (PI.f32) (.f32 s r))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	119	8
2	1412	8
3	5368	8
0	8	11
1	162	11
2	1882	11
3	4966	11

simplify21.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

26×	`associate-l_binary32`
20×	`associate-r_binary32`
17×	`*-commutative_binary32`

Counts

142 → 97

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	456
1	15	456
2	35	456
3	55	456
4	55	456
5	55	456

prune440.0ms (6.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	190	4	194
Fresh	4	4	8
Picked	1	0	1
Done	0	0	0
Total	195	8	203

Error

0.1b

Counts

203 → 8

Alt Table

Status	Error	Program
	0.8b	(.f32 (/.f32 (/.f32 1/8 (.f32 s (PI.f32))) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 (/.f32 r s)) -1/3)))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 6 (exp.f32 (log.f32 (.f32 (PI.f32) (*.f32 s r)))))))
▶	0.1b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (expm1.f32 (log1p.f32 (.f32 6 (.f32 (PI.f32) (*.f32 s r)))))))
	0.1b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 6 (*.f32 (PI.f32) s)) r)))
	18.5b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (pow.f32 (.f32 (pow.f32 (.f32 6 (PI.f32)) 3) (pow.f32 (*.f32 s r) 3)) 1/3)))
	0.1b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (.f32 6 (PI.f32)) (pow.f32 (cbrt.f32 (.f32 s r)) 2)) (cbrt.f32 (*.f32 s r)))))
	18.3b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 6 (.f32 (pow.f32 (.f32 (pow.f32 (.f32 (PI.f32) (.f32 s r)) 2) (.f32 s r)) 1/3) (cbrt.f32 (PI.f32))))))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (pow.f32 (sqrt.f32 (cbrt.f32 (pow.f32 (.f32 6 (PI.f32)) 2/3))) 3) (pow.f32 (sqrt.f32 (cbrt.f32 (pow.f32 (.f32 6 (PI.f32)) 2/3))) 3)) (.f32 (cbrt.f32 (.f32 6 (PI.f32))) (*.f32 s r)))))

Compiler

Compiled 8034 to 4464 computations (44.4% saved)

localize94.0ms (1.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(.f32 (.f32 (*.f32 2 (PI.f32)) s) r)
	0.3b	(.f32 6 (.f32 (PI.f32) (*.f32 s r)))
	0.4b	(.f32 (.f32 2 (PI.f32)) s)
	0.4b	(.f32 (PI.f32) (.f32 s r))

prune448.0ms (6.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	194	0	194
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	194	8	202

Error

0.1b

Counts

202 → 8

Alt Table

Status	Error	Program
	0.8b	(.f32 (/.f32 (/.f32 1/8 (.f32 s (PI.f32))) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 (/.f32 r s)) -1/3)))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 6 (exp.f32 (log.f32 (.f32 (PI.f32) (*.f32 s r)))))))
✓	0.1b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (expm1.f32 (log1p.f32 (.f32 6 (.f32 (PI.f32) (*.f32 s r)))))))
	0.1b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 6 (*.f32 (PI.f32) s)) r)))
	18.5b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (pow.f32 (.f32 (pow.f32 (.f32 6 (PI.f32)) 3) (pow.f32 (*.f32 s r) 3)) 1/3)))
	0.1b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (.f32 6 (PI.f32)) (pow.f32 (cbrt.f32 (.f32 s r)) 2)) (cbrt.f32 (*.f32 s r)))))
	18.3b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 6 (.f32 (pow.f32 (.f32 (pow.f32 (.f32 (PI.f32) (.f32 s r)) 2) (.f32 s r)) 1/3) (cbrt.f32 (PI.f32))))))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (pow.f32 (sqrt.f32 (cbrt.f32 (pow.f32 (.f32 6 (PI.f32)) 2/3))) 3) (pow.f32 (sqrt.f32 (cbrt.f32 (pow.f32 (.f32 6 (PI.f32)) 2/3))) 3)) (.f32 (cbrt.f32 (.f32 6 (PI.f32))) (*.f32 s r)))))

Compiler

Compiled 8105 to 4621 computations (43% saved)

regimes359.0ms (5.3%)

Accuracy

Total 0.1b remaining (41.5%)

Threshold costs 0.1b (41.5%)

Counts

97 → 1

Compiler

Compiled 11311 to 8200 computations (27.5% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	53
1	44	53
2	50	53
3	55	53
4	57	53
5	57	53

end193.0ms (2.9%)

Compiler: Compiled 387 to 281 computations (27.4% saved)

Details

analyze271.0ms (4%)

sample2.4s (35.2%)

simplify95.0ms (1.4%)

prune5.0ms (0.1%)

localize119.0ms (1.8%)

series31.0ms (0.5%)

rewrite190.0ms (2.8%)

simplify33.0ms (0.5%)

prune282.0ms (4.2%)

localize105.0ms (1.6%)

series568.0ms (8.4%)

rewrite152.0ms (2.3%)

simplify220.0ms (3.3%)

prune531.0ms (7.9%)

localize88.0ms (1.3%)

series17.0ms (0.2%)

rewrite105.0ms (1.6%)

simplify21.0ms (0.3%)

prune440.0ms (6.5%)

localize94.0ms (1.4%)

prune448.0ms (6.6%)

regimes359.0ms (5.3%)

simplify3.0ms (0.1%)

end193.0ms (2.9%)

Profiling