Details

analyze253.0ms (1.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	1.6%	98.4%	0
0%	1.6%	98.4%	1
0%	1.6%	98.4%	2
0.4%	1.2%	98.4%	3
0.6%	1%	98.4%	4
0.9%	0.7%	98.4%	5
1%	0.5%	98.4%	6
1.2%	0.4%	98.4%	7
1.3%	0.3%	98.4%	8
1.4%	0.2%	98.4%	9
1.4%	0.1%	98.4%	10
1.5%	0.1%	98.4%	11
1.5%	0.1%	98.4%	12
1.5%	0%	98.4%	13
1.5%	0%	98.4%	14

Compiler

Compiled 54 to 41 computations (24.1% saved)

sample2.2s (9.8%)

Results

2.1s

8256×

body

128

valid

Compiler

Compiled 147 to 112 computations (23.8% saved)

simplify80.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

1145×	`fma-def_binary32`
518×	`unswap-sqr_binary32`
445×	`fma-neg_binary32`
420×	`times-frac_binary32`
354×	`associate-l_binary32`

Counts

1 → 2

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	22	59
1	42	59
2	72	59
3	120	51
4	179	48
5	319	46
6	505	46
7	788	46
8	1249	46
9	2584	46
10	4419	46
11	4832	46
12	4827	46

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.4b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.4b	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))

Compiler

Compiled 127 to 93 computations (26.8% saved)

localize68.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(exp.f32 (/.f32 (neg.f32 (PI.f32)) s))
✓	0.3b	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))
✓	0.3b	(/.f32 (PI.f32) s)
✓	0.3b	(/.f32 (neg.f32 (PI.f32)) s)

series926.0ms (4.2%)

Counts

4 → 48

Calls

4 calls:

917.0ms	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))
3.0ms	(exp.f32 (/.f32 (neg.f32 (PI.f32)) s))
3.0ms	(/.f32 (neg.f32 (PI.f32)) s)
2.0ms	(/.f32 (PI.f32) s)

rewrite91.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

250×	`add-sqr-sqrt_binary32`
237×	`log1p-expm1-u_binary32`
237×	`expm1-log1p-u_binary32`
234×	`add-log-exp_binary32`
231×	`add-exp-log_binary32`

Counts

4 → 77

Calls

4 calls:

89.0ms	(exp.f32 (/.f32 (neg.f32 (PI.f32)) s))
89.0ms	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))
89.0ms	(/.f32 (PI.f32) s)
89.0ms	(/.f32 (neg.f32 (PI.f32)) s)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	67
1	496	67
2	4969	67
3	5231	67
0	0	0
1	0	0

simplify108.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

668×	`times-frac_binary32`
443×	`associate-/r*_binary32`
423×	`associate-/l*_binary32`
277×	`fma-def_binary32`
219×	`associate-l_binary32`

Counts

125 → 119

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	387	5174
1	1408	5064
2	5004	5064

prune173.0ms (0.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	114	5	119
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	115	5	120

Error

0.3b

Counts

120 → 5

Alt Table

Status	Error	Program
▶	0.4b	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (expm1.f32 (log1p.f32 (/.f32 (PI.f32) s)))))))) -1)))
	31.4b	(exp.f32 (log.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))))
	17.1b	(cbrt.f32 (*.f32 (pow.f32 (neg.f32 s) 3) (pow.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)) 3)))
	23.8b	(log.f32 (pow.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1) (neg.f32 s)))
	0.8b	(pow.f32 (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))) 3)

Compiler

Compiled 8273 to 4746 computations (42.6% saved)

localize96.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (expm1.f32 (log1p.f32 (/.f32 (PI.f32) s)))))))) -1)))
	0.3b	(/.f32 (PI.f32) s)
	0.3b	(/.f32 (neg.f32 (PI.f32)) s)
✓	3.0b	(expm1.f32 (log1p.f32 (/.f32 (PI.f32) s)))

series975.0ms (4.4%)

Counts

2 → 36

Calls

2 calls:

972.0ms

(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (expm1.f32 (log1p.f32 (/.f32 (PI.f32) s)))))))) -1)))

2.0ms

(expm1.f32 (log1p.f32 (/.f32 (PI.f32) s)))

rewrite33.0ms (0.2%)

Algorithm

2×	batch-egg-rewrite

Rules

258×	`add-sqr-sqrt_binary32`
246×	`expm1-log1p-u_binary32`
245×	`log1p-expm1-u_binary32`
241×	`add-log-exp_binary32`
239×	`add-exp-log_binary32`

Counts

2 → 39

Calls

2 calls:

32.0ms

(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (expm1.f32 (log1p.f32 (/.f32 (PI.f32) s)))))))) -1)))

32.0ms

(expm1.f32 (log1p.f32 (/.f32 (PI.f32) s)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	51
1	515	51
2	5049	51
0	0	0
1	0	0

simplify76.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

654×	`times-frac_binary32`
435×	`associate-/r*_binary32`
417×	`associate-/l*_binary32`
310×	`associate-r_binary32`
273×	`fma-def_binary32`

Counts

75 → 72

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	375	4968
1	1374	4870
2	5305	4870

prune149.0ms (0.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	117	0	117
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	117	5	122

Error

0.3b

Counts

122 → 5

Alt Table

Status	Error	Program
✓	0.4b	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (expm1.f32 (log1p.f32 (/.f32 (PI.f32) s)))))))) -1)))
	31.4b	(exp.f32 (log.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))))
	17.1b	(cbrt.f32 (*.f32 (pow.f32 (neg.f32 s) 3) (pow.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)) 3)))
	23.8b	(log.f32 (pow.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1) (neg.f32 s)))
▶	0.8b	(pow.f32 (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))) 3)

Compiler

Compiled 8245 to 4711 computations (42.9% saved)

localize76.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))
	0.3b	(/.f32 (PI.f32) s)
	0.3b	(/.f32 (neg.f32 (PI.f32)) s)
✓	0.7b	(pow.f32 (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))) 3)

series7.9s (35.8%)

Counts

1 → 24

Calls

1 calls:

7.9s	(pow.f32 (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))) 3)

rewrite60.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

257×	`log1p-expm1-u_binary32`
257×	`expm1-log1p-u_binary32`
252×	`add-log-exp_binary32`
249×	`add-cbrt-cube_binary32`
249×	`add-exp-log_binary32`

Counts

1 → 19

Calls

1 calls:

59.0ms

(pow.f32 (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))) 3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	46
1	544	46
2	4839	46
3	4888	46
0	0	0
1	0	0

simplify269.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

886×	`fma-def_binary32`
372×	`*-commutative_binary32`
266×	`+-commutative_binary32`
240×	`associate-+r+_binary32`
179×	`distribute-rgt-in_binary32`

Counts

43 → 59

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	969	10964
1	3412	10605
2	4976	10263
3	4943	10177
4	4994	10177
5	4966	10177

prune343.0ms (1.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	152	5	157

Error

0.3b

Counts

157 → 5

Alt Table

Status	Error	Program
✓	0.4b	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (expm1.f32 (log1p.f32 (/.f32 (PI.f32) s)))))))) -1)))
	31.4b	(exp.f32 (log.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))))
▶	17.1b	(cbrt.f32 (*.f32 (pow.f32 (neg.f32 s) 3) (pow.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)) 3)))
	23.8b	(log.f32 (pow.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1) (neg.f32 s)))
✓	0.8b	(pow.f32 (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))) 3)

Compiler

Compiled 21305 to 12501 computations (41.3% saved)

localize82.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(/.f32 (neg.f32 (PI.f32)) s)
✓	0.4b	(*.f32 (pow.f32 (neg.f32 s) 3) (pow.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)) 3))
✓	0.7b	(pow.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)) 3)
✓	16.7b	(cbrt.f32 (*.f32 (pow.f32 (neg.f32 s) 3) (pow.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)) 3)))

series6.0s (27.1%)

Counts

3 → 72

Calls

3 calls:

2.3s

(*.f32 (pow.f32 (neg.f32 s) 3) (pow.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)) 3))

2.1s

(pow.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)) 3)

1.6s

(cbrt.f32 (*.f32 (pow.f32 (neg.f32 s) 3) (pow.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)) 3)))

rewrite44.0ms (0.2%)

Algorithm

2×	batch-egg-rewrite

Rules

270×	`log1p-expm1-u_binary32`
270×	`expm1-log1p-u_binary32`
264×	`add-log-exp_binary32`
263×	`add-cbrt-cube_binary32`
261×	`add-exp-log_binary32`

Counts

3 → 48

Calls

3 calls:

42.0ms

(*.f32 (pow.f32 (neg.f32 s) 3) (pow.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)) 3))

42.0ms

(pow.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)) 3)

42.0ms

(cbrt.f32 (*.f32 (pow.f32 (neg.f32 s) 3) (pow.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)) 3)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	139
1	580	139
2	4946	139
0	0	0
1	0	0

simplify246.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

524×	`associate-+r+_binary32`
494×	`fma-def_binary32`
380×	`associate-/l*_binary32`
360×	`associate-*r/_binary32`
280×	`associate-/r*_binary32`

Counts

120 → 152

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1748	27395
1	5968	27395

prune1.2s (5.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	170	5	175
Fresh	0	2	2
Picked	1	0	1
Done	0	2	2
Total	171	9	180

Error

0.2b

Counts

180 → 9

Alt Table

Status	Error	Program
	17.3b	(cbrt.f32 (.f32 (pow.f32 (neg.f32 s) 3) (.f32 (pow.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)) 3/2) (pow.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)) 3/2))))
✓	0.4b	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (expm1.f32 (log1p.f32 (/.f32 (PI.f32) s)))))))) -1)))
	17.5b	(cbrt.f32 (.f32 (pow.f32 (neg.f32 s) 3) (exp.f32 (.f32 3 (log.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))))))
	31.4b	(exp.f32 (log.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))))
	17.3b	(cbrt.f32 (*.f32 (pow.f32 (neg.f32 s) 3) (-.f32 (exp.f32 (log1p.f32 (pow.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)) 3))) 1)))
	13.2b	(.f32 (pow.f32 (pow.f32 (.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1))) 2) 1/3) (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))))
	0.9b	(.f32 (pow.f32 (cbrt.f32 (.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))) 2) (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))))
	23.8b	(log.f32 (pow.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1) (neg.f32 s)))
✓	0.8b	(pow.f32 (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))) 3)

Compiler

Compiled 35781 to 21776 computations (39.1% saved)

regimes331.0ms (1.5%)

Accuracy

Total 0.1b remaining (44.8%)

Threshold costs 0.1b (44.8%)

Counts

61 → 1

Compiler

Compiled 7377 to 5651 computations (23.4% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

11×	`+-commutative_binary32`
8×	`*-commutative_binary32`
7×	`sub-neg_binary32`
6×	`neg-sub0_binary32`
6×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	50
1	40	50
2	54	50
3	65	50
4	70	50
5	71	50
6	70	50

end334.0ms (1.5%)

Compiler: Compiled 457 to 354 computations (22.5% saved)

Details

analyze253.0ms (1.1%)

sample2.2s (9.8%)

simplify80.0ms (0.4%)

prune4.0ms (0%)

localize68.0ms (0.3%)

series926.0ms (4.2%)

rewrite91.0ms (0.4%)

simplify108.0ms (0.5%)

prune173.0ms (0.8%)

localize96.0ms (0.4%)

series975.0ms (4.4%)

rewrite33.0ms (0.2%)

simplify76.0ms (0.3%)

prune149.0ms (0.7%)

localize76.0ms (0.3%)

series7.9s (35.8%)

rewrite60.0ms (0.3%)

simplify269.0ms (1.2%)

prune343.0ms (1.6%)

localize82.0ms (0.4%)

series6.0s (27.1%)

rewrite44.0ms (0.2%)

simplify246.0ms (1.1%)

prune1.2s (5.4%)

regimes331.0ms (1.5%)

simplify4.0ms (0%)

end334.0ms (1.5%)

Profiling