Details

analyze94.0ms (1.9%)

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.0s (40.5%)

Alt Table

Status	Error	Program
▶	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 6 (PI.f32)) s) r)))

Results

1.9s

8256×

body

128

valid

Compiler

Compiled 205 to 147 computations (28.3% saved)

localize97.0ms (2%)

Local error

Found 4 expressions with local error:

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

series28.0ms (0.6%)

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)
6.0ms	(/.f32 (neg.f32 r) (*.f32 3 s))
3.0ms	(.f32 (.f32 2 (PI.f32)) s)

rewrite72.0ms (1.5%)

Algorithm

2×	batch-egg-rewrite

Rules

276×	`expm1-udef_binary32`
276×	`log1p-udef_binary32`
239×	`log-pow_binary32`
166×	`associate-r_binary32`
166×	`add-sqr-sqrt_binary32`

Counts

4 → 93

Calls

4 calls:

70.0ms	(.f32 (.f32 (*.f32 6 (PI.f32)) s) r)
70.0ms	(/.f32 (neg.f32 r) (*.f32 3 s))
70.0ms	(.f32 (.f32 (*.f32 2 (PI.f32)) s) r)
70.0ms	(.f32 (.f32 2 (PI.f32)) s)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	39
1	339	37
2	3871	37
3	4992	37
0	0	0
1	0	0

prune164.0ms (3.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	168	9	177
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	169	9	178

Error

0.1b

Counts

178 → 9

Alt Table

Status	Error	Program
	16.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)))) (log.f32 (pow.f32 (exp.f32 r) (.f32 s (.f32 (PI.f32) 6))))))
	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)))) (pow.f32 (cbrt.f32 (.f32 r (.f32 s (*.f32 (PI.f32) 6)))) 3)))
	24.0b	(+.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 (exp.f32 (log1p.f32 (.f32 r (.f32 s (*.f32 (PI.f32) 6))))) 1)))
	17.8b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (pow.f32 (pow.f32 (.f32 (.f32 2 (PI.f32)) s) 3) 1/3) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.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 6 (.f32 s (*.f32 (PI.f32) 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 -1/3 (/.f32 r s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (exp.f32 (log.f32 (.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.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (pow.f32 (sqrt.f32 (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) 2)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.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)))) (pow.f32 (sqrt.f32 (.f32 r (.f32 s (*.f32 (PI.f32) 6)))) 2)))

Compiler

Compiled 6804 to 4049 computations (40.5% saved)

localize86.0ms (1.7%)

Local error

Found 4 expressions with local error:

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

series119.0ms (2.4%)

Counts

4 → 36

Calls

4 calls:

73.0ms	(pow.f32 (sqrt.f32 (.f32 r (.f32 s (*.f32 (PI.f32) 6)))) 2)
35.0ms	(sqrt.f32 (.f32 r (.f32 s (*.f32 (PI.f32) 6))))
8.0ms	(.f32 (.f32 (*.f32 2 (PI.f32)) s) r)
3.0ms	(.f32 (.f32 2 (PI.f32)) s)

rewrite70.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

730×	`log-prod_binary32`
228×	`expm1-udef_binary32`
228×	`log1p-udef_binary32`
207×	`log-pow_binary32`
155×	`associate-r_binary32`

Counts

4 → 112

Calls

4 calls:

65.0ms	(.f32 (.f32 (*.f32 2 (PI.f32)) s) r)
65.0ms	(sqrt.f32 (.f32 r (.f32 s (*.f32 (PI.f32) 6))))
65.0ms	(.f32 (.f32 2 (PI.f32)) s)
65.0ms	(pow.f32 (sqrt.f32 (.f32 r (.f32 s (*.f32 (PI.f32) 6)))) 2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	43
1	273	43
2	3095	43
3	5178	43
0	0	0
1	0	0

prune364.0ms (7.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	144	4	148
Fresh	3	5	8
Picked	1	0	1
Done	0	0	0
Total	148	9	157

Error

0.1b

Counts

157 → 9

Alt Table

Status	Error	Program
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (pow.f32 (sqrt.f32 (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) 2)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.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 (sqrt.f32 r) (.f32 (sqrt.f32 r) (.f32 s (.f32 (PI.f32) 6))))))
	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 (.f32 s (*.f32 (PI.f32) 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 -1/3 (/.f32 r s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
	16.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)))) (log.f32 (pow.f32 (exp.f32 r) (.f32 s (.f32 (PI.f32) 6))))))
	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)))) (pow.f32 (exp.f32 (log.f32 (sqrt.f32 (.f32 r (.f32 s (*.f32 (PI.f32) 6)))))) 2)))
	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)))) (pow.f32 (pow.f32 (cbrt.f32 (sqrt.f32 (.f32 r (.f32 s (*.f32 (PI.f32) 6))))) 3) 2)))
▶	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 (pow.f32 (cbrt.f32 r) 2) (.f32 (cbrt.f32 r) (.f32 s (.f32 (PI.f32) 6))))))
	24.0b	(+.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 (exp.f32 (log1p.f32 (.f32 r (.f32 s (*.f32 (PI.f32) 6))))) 1)))

Compiler

Compiled 6493 to 4045 computations (37.7% saved)

localize91.0ms (1.8%)

Local error

Found 4 expressions with local error:

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

series333.0ms (6.8%)

Counts

4 → 72

Calls

4 calls:

264.0ms	(.f32 (cbrt.f32 r) (.f32 s (*.f32 (PI.f32) 6)))
44.0ms	(pow.f32 (cbrt.f32 r) 2)
23.0ms	(.f32 (pow.f32 (cbrt.f32 r) 2) (.f32 (cbrt.f32 r) (.f32 s (.f32 (PI.f32) 6))))
3.0ms	(.f32 (.f32 2 (PI.f32)) s)

rewrite69.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

745×	`log-prod_binary32`
238×	`expm1-udef_binary32`
238×	`log1p-udef_binary32`
216×	`log-pow_binary32`
162×	`associate-r_binary32`

Counts

4 → 76

Calls

4 calls:

67.0ms	(.f32 (pow.f32 (cbrt.f32 r) 2) (.f32 (cbrt.f32 r) (.f32 s (.f32 (PI.f32) 6))))
67.0ms	(.f32 (cbrt.f32 r) (.f32 s (*.f32 (PI.f32) 6)))
67.0ms	(.f32 (.f32 2 (PI.f32)) s)
67.0ms	(pow.f32 (cbrt.f32 r) 2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	38
1	285	36
2	3192	36
3	5338	36
0	0	0
1	0	0

prune298.0ms (6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	146	2	148
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	148	9	157

Error

0.1b

Counts

157 → 9

Alt Table

Status	Error	Program
	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 (pow.f32 (cbrt.f32 r) 2) (exp.f32 (log.f32 (.f32 (cbrt.f32 r) (.f32 s (.f32 (PI.f32) 6))))))))
	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)))) (pow.f32 (exp.f32 (log.f32 (sqrt.f32 (.f32 r (.f32 s (*.f32 (PI.f32) 6)))))) 2)))
▶	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (pow.f32 (sqrt.f32 (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) 2)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.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 (sqrt.f32 r) (.f32 (sqrt.f32 r) (.f32 s (.f32 (PI.f32) 6))))))
	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 -1/3 (/.f32 r s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
	24.0b	(+.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 r) 2) (-.f32 (exp.f32 (log1p.f32 (.f32 (cbrt.f32 r) (.f32 s (.f32 (PI.f32) 6))))) 1))))
	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)))) (pow.f32 (pow.f32 (cbrt.f32 (sqrt.f32 (.f32 r (.f32 s (*.f32 (PI.f32) 6))))) 3) 2)))
✓	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 (pow.f32 (cbrt.f32 r) 2) (.f32 (cbrt.f32 r) (.f32 s (.f32 (PI.f32) 6))))))
	24.0b	(+.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 (exp.f32 (log1p.f32 (.f32 r (.f32 s (*.f32 (PI.f32) 6))))) 1)))

Compiler

Compiled 6613 to 3954 computations (40.2% saved)

localize86.0ms (1.7%)

Local error

Found 4 expressions with local error:

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

series120.0ms (2.4%)

Counts

4 → 36

Calls

4 calls:

76.0ms	(pow.f32 (sqrt.f32 (.f32 (.f32 (*.f32 2 (PI.f32)) s) r)) 2)
33.0ms	(sqrt.f32 (.f32 (.f32 (*.f32 2 (PI.f32)) s) r))
8.0ms	(.f32 (.f32 (*.f32 2 (PI.f32)) s) r)
3.0ms	(.f32 (.f32 2 (PI.f32)) s)

rewrite57.0ms (1.2%)

Algorithm

2×	batch-egg-rewrite

Rules

788×	`log1p-expm1-u_binary32`
788×	`expm1-log1p-u_binary32`
159×	`log1p-udef_binary32`
100×	`egg-rr`
91×	`associate-r_binary32`

Counts

4 → 100

Calls

4 calls:

54.0ms	(.f32 (.f32 (*.f32 2 (PI.f32)) s) r)
54.0ms	(sqrt.f32 (.f32 (.f32 (*.f32 2 (PI.f32)) s) r))
54.0ms	(.f32 (.f32 2 (PI.f32)) s)
54.0ms	(pow.f32 (sqrt.f32 (.f32 (.f32 (*.f32 2 (PI.f32)) s) r)) 2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	43
1	188	43
2	2098	43
3	5089	43
0	0	0
1	0	0

prune343.0ms (7%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	136	0	136
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	136	9	145

Error

0.1b

Counts

145 → 9

Alt Table

Status	Error	Program
	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 (pow.f32 (cbrt.f32 r) 2) (exp.f32 (log.f32 (.f32 (cbrt.f32 r) (.f32 s (.f32 (PI.f32) 6))))))))
	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)))) (pow.f32 (exp.f32 (log.f32 (sqrt.f32 (.f32 r (.f32 s (*.f32 (PI.f32) 6)))))) 2)))
✓	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (pow.f32 (sqrt.f32 (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) 2)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.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 (sqrt.f32 r) (.f32 (sqrt.f32 r) (.f32 s (.f32 (PI.f32) 6))))))
	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 -1/3 (/.f32 r s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
	24.0b	(+.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 r) 2) (-.f32 (exp.f32 (log1p.f32 (.f32 (cbrt.f32 r) (.f32 s (.f32 (PI.f32) 6))))) 1))))
	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)))) (pow.f32 (pow.f32 (cbrt.f32 (sqrt.f32 (.f32 r (.f32 s (*.f32 (PI.f32) 6))))) 3) 2)))
✓	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 (pow.f32 (cbrt.f32 r) 2) (.f32 (cbrt.f32 r) (.f32 s (.f32 (PI.f32) 6))))))
	24.0b	(+.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 (exp.f32 (log1p.f32 (.f32 r (.f32 s (*.f32 (PI.f32) 6))))) 1)))

Compiler

Compiled 5590 to 3450 computations (38.3% saved)

regimes232.0ms (4.7%)

Accuracy

Total 0.1b remaining (42.9%)

Threshold costs 0.1b (42.9%)

Counts

65 → 1

Compiler

Compiled 7585 to 5533 computations (27.1% 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	29	60
1	47	60
2	53	60
3	58	60
4	60	60
5	60	60

end208.0ms (4.2%)

Compiler: Compiled 438 to 321 computations (26.7% saved)

Details

analyze94.0ms (1.9%)

sample2.0s (40.5%)

localize97.0ms (2%)

series28.0ms (0.6%)

rewrite72.0ms (1.5%)

prune164.0ms (3.3%)

localize86.0ms (1.7%)

series119.0ms (2.4%)

rewrite70.0ms (1.4%)

prune364.0ms (7.4%)

localize91.0ms (1.8%)

series333.0ms (6.8%)

rewrite69.0ms (1.4%)

prune298.0ms (6%)

localize86.0ms (1.7%)

series120.0ms (2.4%)

rewrite57.0ms (1.2%)

prune343.0ms (7%)

regimes232.0ms (4.7%)

simplify3.0ms (0.1%)

end208.0ms (4.2%)

Profiling