Details

analyze215.0ms (1.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	24.7%	75.3%	0
0%	24.7%	75.3%	1
0%	24.7%	75.3%	2
12.4%	12.4%	75.3%	3
12.4%	12.4%	75.3%	4
18.5%	6.2%	75.3%	5
18.5%	6.2%	75.3%	6
21.6%	3.1%	75.3%	7
21.6%	3.1%	75.3%	8
23.2%	1.5%	75.3%	9
23.2%	1.5%	75.3%	10
23.9%	0.8%	75.3%	11
23.9%	0.8%	75.3%	12
24.3%	0.4%	75.3%	13
24.3%	0.4%	75.3%	14

Compiler

Compiled 35 to 18 computations (48.6% saved)

sample2.1s (16.1%)

Results

2.0s

8256×

body

128

valid

Compiler

Compiled 98 to 49 computations (50% saved)

simplify85.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

505×	`fma-def_binary32`
440×	`times-frac_binary32`
349×	`distribute-rgt-in_binary32`
300×	`fma-neg_binary32`
273×	`distribute-rgt-out_binary32`

Counts

1 → 2

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	12	43
1	38	43
2	82	41
3	181	41
4	357	39
5	772	30
6	2292	29
7	3341	29
8	4243	29
9	4922	29
10	4875	29

prune4.0ms (0%)

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 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
	0.2b	(/.f32 (/.f32 1 s) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))

Status

Error

Program

▶

0.1b

(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))

0.2b

(/.f32 (/.f32 1 s) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))

Compiler

Compiled 142 to 75 computations (47.2% saved)

localize60.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
✓	0.0b	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
✓	0.1b	(.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))
✓	0.1b	(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))

series368.0ms (2.8%)

Counts

4 → 96

Calls

4 calls:

287.0ms	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
36.0ms	(.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))
23.0ms	(+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
21.0ms	(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))

rewrite132.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`exp-prod_binary32`
57×	`times-frac_binary32`
48×	`add-sqr-sqrt_binary32`
46×	`*-un-lft-identity_binary32`
42×	`add-cube-cbrt_binary32`

Counts

4 → 153

Calls

4 calls:

48.0ms	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
30.0ms	(.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))
14.0ms	(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
11.0ms	(+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))

simplify225.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

857×	`distribute-rgt-in_binary32`
838×	`fma-def_binary32`
248×	`times-frac_binary32`
170×	`associate-l_binary32`
162×	`associate-/l*_binary32`

Counts

249 → 261

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	306	5813
1	750	5303
2	2630	5170
3	5339	5170

prune1.0s (7.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	491	6	497
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	493	6	499

Error

0.0b

Counts

499 → 6

Alt Table

Status	Error	Program
	0.2b	(/.f32 (pow.f32 (exp.f32 (/.f32 (.f32 (cbrt.f32 x) (cbrt.f32 x)) (.f32 (cbrt.f32 s) (cbrt.f32 s)))) (/.f32 (neg.f32 (fabs.f32 (cbrt.f32 x))) (cbrt.f32 s))) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
▶	0.1b	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 s (+.f32 1 (+.f32 (.f32 2 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s)))) (pow.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 2)))))
	0.8b	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (exp.f32 (fma.f32 2 (log1p.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))) (log.f32 s))))
	0.2b	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 (fma.f32 s (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) s) (sqrt.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1))) (sqrt.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))))
	0.2b	(/.f32 (pow.f32 (exp.f32 (/.f32 (neg.f32 (.f32 (cbrt.f32 x) (cbrt.f32 x))) (.f32 (cbrt.f32 s) (cbrt.f32 s)))) (/.f32 (fabs.f32 (cbrt.f32 x)) (cbrt.f32 s))) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
	0.2b	(.f32 (sqrt.f32 (/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1) 2)))) (sqrt.f32 (/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (*.f32 s (pow.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1) 2)))))

Compiler

Compiled 17770 to 5488 computations (69.1% saved)

localize112.0ms (0.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 s (+.f32 1 (+.f32 (.f32 2 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s)))) (pow.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 2)))))
✓	0.1b	(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
	0.1b	(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
✓	0.1b	(pow.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)

series336.0ms (2.5%)

Counts

3 → 40

Calls

3 calls:

275.0ms

(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 s (+.f32 1 (+.f32 (*.f32 2 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))) (pow.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)))))

38.0ms

(pow.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)

23.0ms

(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))

rewrite35.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-cbrt-cube_binary32`
7×	`*-un-lft-identity_binary32`
7×	`add-sqr-sqrt_binary32`
7×	`add-cube-cbrt_binary32`
6×	`add-exp-log_binary32`

Counts

3 → 62

Calls

3 calls:

23.0ms

(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 s (+.f32 1 (+.f32 (*.f32 2 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))) (pow.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)))))

4.0ms

(pow.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)

2.0ms

(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))

simplify111.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

623×	`associate-/l*_binary32`
533×	`distribute-rgt-in_binary32`
502×	`distribute-lft-in_binary32`
343×	`fma-def_binary32`
136×	`associate-/l/_binary32`

Counts

102 → 121

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	158	3280
1	394	2809
2	1356	2690
3	5119	2690

prune592.0ms (4.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	246	0	246
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	246	6	252

Error

0.0b

Counts

252 → 6

Alt Table

Status	Error	Program
▶	0.2b	(/.f32 (pow.f32 (exp.f32 (/.f32 (.f32 (cbrt.f32 x) (cbrt.f32 x)) (.f32 (cbrt.f32 s) (cbrt.f32 s)))) (/.f32 (neg.f32 (fabs.f32 (cbrt.f32 x))) (cbrt.f32 s))) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
✓	0.1b	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 s (+.f32 1 (+.f32 (.f32 2 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s)))) (pow.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 2)))))
	0.8b	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (exp.f32 (fma.f32 2 (log1p.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))) (log.f32 s))))
	0.2b	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 (fma.f32 s (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) s) (sqrt.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1))) (sqrt.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))))
	0.2b	(/.f32 (pow.f32 (exp.f32 (/.f32 (neg.f32 (.f32 (cbrt.f32 x) (cbrt.f32 x))) (.f32 (cbrt.f32 s) (cbrt.f32 s)))) (/.f32 (fabs.f32 (cbrt.f32 x)) (cbrt.f32 s))) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
	0.2b	(.f32 (sqrt.f32 (/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1) 2)))) (sqrt.f32 (/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (*.f32 s (pow.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1) 2)))))

Compiler

Compiled 9659 to 4748 computations (50.8% saved)

localize120.0ms (0.9%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f32 (.f32 (cbrt.f32 x) (cbrt.f32 x)) (.f32 (cbrt.f32 s) (cbrt.f32 s)))
✓	0.3b	(/.f32 (neg.f32 (fabs.f32 (cbrt.f32 x))) (cbrt.f32 s))
✓	0.5b	(*.f32 (cbrt.f32 s) (cbrt.f32 s))
✓	0.5b	(*.f32 (cbrt.f32 x) (cbrt.f32 x))

series1.5s (11.5%)

Counts

4 → 72

Calls

4 calls:

1.0s	(/.f32 (.f32 (cbrt.f32 x) (cbrt.f32 x)) (.f32 (cbrt.f32 s) (cbrt.f32 s)))
389.0ms	(/.f32 (neg.f32 (fabs.f32 (cbrt.f32 x))) (cbrt.f32 s))
65.0ms	(*.f32 (cbrt.f32 x) (cbrt.f32 x))
39.0ms	(*.f32 (cbrt.f32 s) (cbrt.f32 s))

rewrite107.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

169×	`cbrt-prod_binary32`
167×	`add-sqr-sqrt_binary32`
157×	`times-frac_binary32`
123×	`*-un-lft-identity_binary32`
123×	`add-cube-cbrt_binary32`

Counts

4 → 311

Calls

4 calls:

16.0ms	(/.f32 (neg.f32 (fabs.f32 (cbrt.f32 x))) (cbrt.f32 s))
15.0ms	(/.f32 (.f32 (cbrt.f32 x) (cbrt.f32 x)) (.f32 (cbrt.f32 s) (cbrt.f32 s)))
11.0ms	(*.f32 (cbrt.f32 x) (cbrt.f32 x))
8.0ms	(*.f32 (cbrt.f32 s) (cbrt.f32 s))

simplify360.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

441×	`associate-/l/_binary32`
334×	`log-prod_binary32`
334×	`fma-def_binary32`
267×	`exp-prod_binary32`
224×	`unswap-sqr_binary32`

Counts

383 → 464

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	382	7938
1	752	6785
2	2091	6030
3	3489	5975
4	4940	5975

prune937.0ms (7.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	463	1	464
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	464	6	470

Error

0.0b

Counts

470 → 6

Alt Table

Status	Error	Program
	11.2b	(/.f32 (pow.f32 (exp.f32 (/.f32 (.f32 (cbrt.f32 x) (cbrt.f32 x)) (.f32 (cbrt.f32 s) (cbrt.f32 s)))) (cbrt.f32 (/.f32 x s))) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
✓	0.1b	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 s (+.f32 1 (+.f32 (.f32 2 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s)))) (pow.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 2)))))
	0.8b	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (exp.f32 (fma.f32 2 (log1p.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))) (log.f32 s))))
	0.2b	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 (fma.f32 s (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) s) (sqrt.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1))) (sqrt.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))))
▶	0.2b	(/.f32 (pow.f32 (exp.f32 (/.f32 (neg.f32 (.f32 (cbrt.f32 x) (cbrt.f32 x))) (.f32 (cbrt.f32 s) (cbrt.f32 s)))) (/.f32 (fabs.f32 (cbrt.f32 x)) (cbrt.f32 s))) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
	0.2b	(.f32 (sqrt.f32 (/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1) 2)))) (sqrt.f32 (/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (*.f32 s (pow.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1) 2)))))

Compiler

Compiled 22523 to 5860 computations (74% saved)

localize128.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f32 (neg.f32 (.f32 (cbrt.f32 x) (cbrt.f32 x))) (.f32 (cbrt.f32 s) (cbrt.f32 s)))
✓	0.3b	(/.f32 (fabs.f32 (cbrt.f32 x)) (cbrt.f32 s))
	0.5b	(*.f32 (cbrt.f32 s) (cbrt.f32 s))
	0.5b	(*.f32 (cbrt.f32 x) (cbrt.f32 x))

series1.3s (9.4%)

Counts

2 → 48

Calls

2 calls:

961.0ms	(/.f32 (neg.f32 (.f32 (cbrt.f32 x) (cbrt.f32 x))) (.f32 (cbrt.f32 s) (cbrt.f32 s)))
288.0ms	(/.f32 (fabs.f32 (cbrt.f32 x)) (cbrt.f32 s))

rewrite20.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

72×	`times-frac_binary32`
64×	`cbrt-prod_binary32`
63×	`add-sqr-sqrt_binary32`
49×	`*-un-lft-identity_binary32`
49×	`add-cube-cbrt_binary32`

Counts

2 → 128

Calls

2 calls:

5.0ms	(/.f32 (neg.f32 (.f32 (cbrt.f32 x) (cbrt.f32 x))) (.f32 (cbrt.f32 s) (cbrt.f32 s)))
5.0ms	(/.f32 (fabs.f32 (cbrt.f32 x)) (cbrt.f32 s))

simplify141.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

600×	`associate-/l*_binary32`
417×	`associate-l_binary32`
404×	`associate-r_binary32`
390×	`associate-/r*_binary32`
285×	`fma-def_binary32`

Counts

176 → 211

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	238	3933
1	467	3278
2	1071	3114
3	4573	3110
4	5009	3110

prune655.0ms (4.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	327	1	328
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	328	6	334

Error

0.0b

Counts

334 → 6

Alt Table

Status	Error	Program
	11.2b	(/.f32 (pow.f32 (exp.f32 (/.f32 (.f32 (cbrt.f32 x) (cbrt.f32 x)) (.f32 (cbrt.f32 s) (cbrt.f32 s)))) (cbrt.f32 (/.f32 x s))) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
	0.2b	(/.f32 (pow.f32 (exp.f32 (/.f32 (neg.f32 (.f32 (cbrt.f32 x) (cbrt.f32 x))) (.f32 (cbrt.f32 s) (cbrt.f32 s)))) (cbrt.f32 (/.f32 (.f32 (.f32 (fabs.f32 (cbrt.f32 x)) (fabs.f32 (cbrt.f32 x))) (fabs.f32 (cbrt.f32 x))) s))) (.f32 (.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
✓	0.1b	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 s (+.f32 1 (+.f32 (.f32 2 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s)))) (pow.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 2)))))
	0.8b	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (exp.f32 (fma.f32 2 (log1p.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))) (log.f32 s))))
	0.2b	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 (fma.f32 s (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) s) (sqrt.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1))) (sqrt.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))))
	0.2b	(.f32 (sqrt.f32 (/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1) 2)))) (sqrt.f32 (/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (*.f32 s (pow.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1) 2)))))

Compiler

Compiled 15515 to 4321 computations (72.1% saved)

regimes2.4s (18%)

Accuracy

Total 0.0b remaining (20.9%)

Threshold costs 0.0b (20.9%)

Counts

299 → 1

Compiler

Compiled 56036 to 31656 computations (43.5% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary32`
4×	`*-commutative_binary32`
2×	`sub-neg_binary32`
2×	`neg-sub0_binary32`
1×	`distribute-frac-neg_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	50
1	30	50
2	33	50
3	35	50
4	36	50
5	35	50

end179.0ms (1.4%)

Compiler: Compiled 287 to 159 computations (44.6% saved)

Details

analyze215.0ms (1.6%)

sample2.1s (16.1%)

simplify85.0ms (0.6%)

prune4.0ms (0%)

localize60.0ms (0.5%)

series368.0ms (2.8%)

rewrite132.0ms (1%)

simplify225.0ms (1.7%)

prune1.0s (7.8%)

localize112.0ms (0.8%)

series336.0ms (2.5%)

rewrite35.0ms (0.3%)

simplify111.0ms (0.8%)

prune592.0ms (4.5%)

localize120.0ms (0.9%)

series1.5s (11.5%)

rewrite107.0ms (0.8%)

simplify360.0ms (2.7%)

prune937.0ms (7.1%)

localize128.0ms (1%)

series1.3s (9.4%)

rewrite20.0ms (0.2%)

simplify141.0ms (1.1%)

prune655.0ms (4.9%)

regimes2.4s (18%)

simplify3.0ms (0%)

end179.0ms (1.4%)

Profiling