Details

analyze167.0ms (1.5%)

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 32 to 16 computations (50% saved)

sample41.0ms (0.4%)

Algorithm

1×

intervals

Results

17.0ms	256×	body	128	valid
4.0ms	256×	pre	128	true

Compiler

Compiled 62 to 31 computations (50% saved)

simplify87.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

440×	`times-frac_binary32`
349×	`distribute-rgt-in_binary32`
273×	`distribute-rgt-out_binary32`
271×	`distribute-lft-in_binary32`
253×	`associate-l_binary32`

Counts

1 → 1

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	12	43
1	38	43
2	78	41
3	161	41
4	284	41
5	599	30
6	1948	29
7	2988	29
8	3840	29
9	4880	29
10	4871	29

prune8.0ms (0.1%)

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.1b

Counts

2 → 2

Alt Table

Status	Error	Program
▶	0.1b	(/.f32 (/.f32 1 s) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
	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)))))

Status

Error

Program

▶

0.1b

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

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)))))

Compiler

Compiled 116 to 68 computations (41.4% saved)

localize48.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite698.0ms (6.3%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

194×	`times-frac_binary32`
180×	`*-un-lft-identity_binary32`
117×	`add-sqr-sqrt_binary32`
108×	`add-cube-cbrt_binary32`
83×	`exp-prod_binary32`

Counts

4 → 215

Calls

4 calls:

25.0ms	(/.f32 (/.f32 1 s) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
13.0ms	(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)
9.0ms	(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
5.0ms	(exp.f32 (/.f32 (fabs.f32 x) s))

Compiler

Compiled 5475 to 2125 computations (61.2% saved)

series201.0ms (1.8%)

Error

0.1b

Counts

4 → 44

Calls

4 calls:

62.0ms	(/.f32 (/.f32 1 s) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
37.0ms	(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
36.0ms	(exp.f32 (/.f32 (fabs.f32 x) s))
36.0ms	(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)

Compiler

Compiled 1781 to 1183 computations (33.6% saved)

simplify266.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

460×	`times-frac_binary32`
305×	`associate-/r*_binary32`
295×	`associate-/l*_binary32`
240×	`distribute-rgt-in_binary32`
238×	`associate-/l/_binary32`

Counts

259 → 188

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	285	6978
1	595	6706
2	1417	6680
3	4440	6680
4	4963	6680
5	4926	6680

prune244.0ms (2.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	183	5	188
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	184	6	190

Error

0.1b

Counts

190 → 6

Alt Table

Status	Error	Program
	23.2b	(.f32 (/.f32 (/.f32 1 s) (-.f32 (pow.f32 (exp.f32 2) (/.f32 (fabs.f32 x) s)) (.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2)))) (-.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
	0.3b	(/.f32 (/.f32 1 (sqrt.f32 s)) (*.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2)) (sqrt.f32 s)))
	0.2b	(.f32 (sqrt.f32 (/.f32 1 (.f32 s (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2))))) (sqrt.f32 (/.f32 1 (*.f32 s (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2))))))
▶	0.1b	(/.f32 (/.f32 (/.f32 1 s) (sqrt.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2)))) (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))))
	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 (pow.f32 (exp.f32 (/.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 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))

Compiler

Compiled 3201 to 1317 computations (58.9% saved)

localize79.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

rewrite617.0ms (5.6%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

206×	`times-frac_binary32`
191×	`*-un-lft-identity_binary32`
116×	`add-sqr-sqrt_binary32`
111×	`add-cube-cbrt_binary32`
80×	`sqrt-prod_binary32`

Counts

4 → 219

Calls

4 calls:

26.0ms	(/.f32 (/.f32 1 s) (sqrt.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2))))
22.0ms	(sqrt.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2)))
20.0ms	(sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
5.0ms	(exp.f32 (/.f32 (fabs.f32 x) s))

Compiler

Compiled 8883 to 3437 computations (61.3% saved)

series310.0ms (2.8%)

Error

0.1b

Counts

4 → 44

Calls

4 calls:

79.0ms	(/.f32 (/.f32 1 s) (sqrt.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2))))
66.0ms	(sqrt.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2)))
65.0ms	(sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
45.0ms	(exp.f32 (/.f32 (fabs.f32 x) s))

Compiler

Compiled 3068 to 1894 computations (38.3% saved)

simplify307.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

539×	`times-frac_binary32`
349×	`associate-/r*_binary32`
295×	`associate-/l*_binary32`
236×	`associate-l_binary32`
234×	`associate-r_binary32`

Counts

263 → 222

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	293	10525
1	622	10123
2	1453	10039
3	4563	10015
4	4918	10015

prune292.0ms (2.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	219	3	222
Fresh	2	3	5
Picked	1	0	1
Done	0	0	0
Total	222	6	228

Error

0.1b

Counts

228 → 6

Alt Table

Status	Error	Program
▶	0.1b	(/.f32 (/.f32 (sqrt.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2)))) s) (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))))
	23.2b	(.f32 (/.f32 (/.f32 1 s) (-.f32 (pow.f32 (exp.f32 2) (/.f32 (fabs.f32 x) s)) (.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2)))) (-.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
	0.2b	(.f32 (sqrt.f32 (/.f32 1 (.f32 s (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2))))) (sqrt.f32 (/.f32 1 (*.f32 s (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2))))))
	0.2b	(/.f32 (/.f32 (/.f32 1 s) (sqrt.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2)))) (sqrt.f32 (+.f32 (pow.f32 (exp.f32 (/.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 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))))
	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 (/.f32 1 s) (sqrt.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2)))) (sqrt.f32 (+.f32 (pow.f32 E.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))))

Compiler

Compiled 5024 to 2035 computations (59.5% saved)

localize77.0ms (0.7%)

Local error

Found 4 expressions with local error:

0.1b	(exp.f32 (/.f32 (fabs.f32 x) s))
0.1b	(exp.f32 (/.f32 (fabs.f32 x) s))
0.1b	(sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
0.2b	(sqrt.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2))))

rewrite393.0ms (3.5%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

63×	`*-un-lft-identity_binary32`
59×	`times-frac_binary32`
53×	`add-sqr-sqrt_binary32`
50×	`exp-prod_binary32`
42×	`add-cube-cbrt_binary32`

Counts

4 → 119

Calls

4 calls:

21.0ms	(sqrt.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2))))
21.0ms	(sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
5.0ms	(exp.f32 (/.f32 (fabs.f32 x) s))
5.0ms	(exp.f32 (/.f32 (fabs.f32 x) s))

Compiler

Compiled 4934 to 1780 computations (63.9% saved)

series275.0ms (2.5%)

Error

0.1b

Counts

4 → 44

Calls

4 calls:

69.0ms	(sqrt.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2))))
64.0ms	(sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
46.0ms	(exp.f32 (/.f32 (fabs.f32 x) s))
46.0ms	(exp.f32 (/.f32 (fabs.f32 x) s))

Compiler

Compiled 3036 to 1843 computations (39.3% saved)

simplify188.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

343×	`associate-/l/_binary32`
333×	`times-frac_binary32`
327×	`unswap-sqr_binary32`
314×	`distribute-rgt-in_binary32`
274×	`distribute-lft-in_binary32`

Counts

163 → 90

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	187	3505
1	331	3406
2	749	3394
3	2670	3360
4	4851	3360
5	4992	3360
6	4913	3360

prune204.0ms (1.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	88	2	90
Fresh	2	3	5
Picked	0	1	1
Done	0	0	0
Total	90	6	96

Error

0.1b

Counts

96 → 6

Alt Table

Status	Error	Program
✓	0.1b	(/.f32 (/.f32 (sqrt.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2)))) s) (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))))
	0.2b	(.f32 (sqrt.f32 (/.f32 1 (.f32 s (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2))))) (sqrt.f32 (/.f32 1 (*.f32 s (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2))))))
	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.1b	(/.f32 (/.f32 (sqrt.f32 (/.f32 1 (+.f32 (pow.f32 (exp.f32 (sqrt.f32 (/.f32 (fabs.f32 x) s))) (/.f32 (sqrt.f32 (fabs.f32 x)) (sqrt.f32 s))) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2)))) s) (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))))
	0.2b	(/.f32 (/.f32 (sqrt.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2)))) s) (sqrt.f32 (+.f32 (pow.f32 (exp.f32 (/.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 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))))
	0.2b	(/.f32 (/.f32 (/.f32 1 s) (sqrt.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2)))) (sqrt.f32 (+.f32 (pow.f32 E.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))))

Compiler

Compiled 2924 to 1182 computations (59.6% saved)

localize101.0ms (0.9%)

Local error

Found 4 expressions with local error:

0.1b	(sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
0.2b	(sqrt.f32 (/.f32 1 (+.f32 (pow.f32 (exp.f32 (sqrt.f32 (/.f32 (fabs.f32 x) s))) (/.f32 (sqrt.f32 (fabs.f32 x)) (sqrt.f32 s))) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2))))
0.3b	(/.f32 (sqrt.f32 (fabs.f32 x)) (sqrt.f32 s))
6.2b	(sqrt.f32 (/.f32 (fabs.f32 x) s))

rewrite674.0ms (6.1%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

133×	`sqrt-prod_binary32`
101×	`times-frac_binary32`
99×	`add-sqr-sqrt_binary32`
92×	`*-un-lft-identity_binary32`
71×	`add-cube-cbrt_binary32`

Counts

4 → 184

Calls

4 calls:

22.0ms	(sqrt.f32 (/.f32 1 (+.f32 (pow.f32 (exp.f32 (sqrt.f32 (/.f32 (fabs.f32 x) s))) (/.f32 (sqrt.f32 (fabs.f32 x)) (sqrt.f32 s))) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2))))
21.0ms	(sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
8.0ms	(sqrt.f32 (/.f32 (fabs.f32 x) s))
7.0ms	(/.f32 (sqrt.f32 (fabs.f32 x)) (sqrt.f32 s))

Compiler

Compiled 8415 to 2709 computations (67.8% saved)

series276.0ms (2.5%)

Error

0.1b

Counts

4 → 30

Calls

4 calls:

101.0ms	(sqrt.f32 (/.f32 1 (+.f32 (pow.f32 (exp.f32 (sqrt.f32 (/.f32 (fabs.f32 x) s))) (/.f32 (sqrt.f32 (fabs.f32 x)) (sqrt.f32 s))) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2))))
70.0ms	(sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
41.0ms	(sqrt.f32 (/.f32 (fabs.f32 x) s))
39.0ms	(/.f32 (sqrt.f32 (fabs.f32 x)) (sqrt.f32 s))

Compiler

Compiled 2800 to 1669 computations (40.4% saved)

simplify305.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

398×	`cancel-sign-sub-inv_binary32`
319×	`unswap-sqr_binary32`
263×	`sqr-pow_binary32`
244×	`times-frac_binary32`
205×	`associate-/r*_binary32`

Counts

214 → 151

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	317	5574
1	536	5252
2	1175	5232
3	3472	4742
4	4097	4655
5	4799	4655
6	4981	4655
7	4823	4655

prune307.0ms (2.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	151	0	151
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	151	6	157

Error

0.1b

Counts

157 → 6

Alt Table

Status	Error	Program
	0.1b	(/.f32 (/.f32 (sqrt.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2)))) s) (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))))
	0.2b	(.f32 (sqrt.f32 (/.f32 1 (.f32 s (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2))))) (sqrt.f32 (/.f32 1 (*.f32 s (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2))))))
	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.1b	(/.f32 (/.f32 (sqrt.f32 (/.f32 1 (+.f32 (pow.f32 (exp.f32 (sqrt.f32 (/.f32 (fabs.f32 x) s))) (/.f32 (sqrt.f32 (fabs.f32 x)) (sqrt.f32 s))) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2)))) s) (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))))
	0.2b	(/.f32 (/.f32 (sqrt.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2)))) s) (sqrt.f32 (+.f32 (pow.f32 (exp.f32 (/.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 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))))
	0.2b	(/.f32 (/.f32 (/.f32 1 s) (sqrt.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2)))) (sqrt.f32 (+.f32 (pow.f32 E.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))))

Compiler

Compiled 4283 to 1550 computations (63.8% saved)

regimes3.4s (30.2%)

Accuracy

Total 0.1b remaining (41.4%)

Threshold costs 0.1b (41.4%)

Compiler

Compiled 42325 to 26876 computations (36.5% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary32`
3×	`*-commutative_binary32`
2×	`neg-mul-1_binary32` `neg-sub0_binary32` `sub-neg_binary32`
1×	`1-exp_binary32` `*-lft-identity_binary32` `distribute-neg-frac_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	58
1	30	58
2	34	58
3	36	58
4	35	58

end2.0ms (0%)

Compiler: Compiled 37 to 19 computations (48.6% saved)

sample1.6s (14.3%)

Algorithm

1×

intervals

Results

533.0ms	8000×	body	128	valid
126.0ms	8000×	pre	128	true

Compiler

Compiled 311 to 177 computations (43.1% saved)

Details

analyze167.0ms (1.5%)

sample41.0ms (0.4%)

simplify87.0ms (0.8%)

prune8.0ms (0.1%)

localize48.0ms (0.4%)

rewrite698.0ms (6.3%)

series201.0ms (1.8%)

simplify266.0ms (2.4%)

prune244.0ms (2.2%)

localize79.0ms (0.7%)

rewrite617.0ms (5.6%)

series310.0ms (2.8%)

simplify307.0ms (2.8%)

prune292.0ms (2.6%)

localize77.0ms (0.7%)

rewrite393.0ms (3.5%)

series275.0ms (2.5%)

simplify188.0ms (1.7%)

prune204.0ms (1.8%)

localize101.0ms (0.9%)

rewrite674.0ms (6.1%)

series276.0ms (2.5%)

simplify305.0ms (2.7%)

prune307.0ms (2.8%)

regimes3.4s (30.2%)

simplify4.0ms (0%)

end2.0ms (0%)

sample1.6s (14.3%)

Profiling