Details

analyze119.0ms (3.7%)

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)

sample1.6s (50.7%)

Results

1.6s

8256×

body

128

valid

preprocess35.0ms (1.1%)

Algorithm

2×	egg-herbie

Rules

1068×	`fma-def_binary32`
462×	`associate-/l*_binary32`
340×	`distribute-rgt-in_binary32`
266×	`associate-/l/_binary32`
263×	`associate-/r*_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	86
1	69	86
2	207	82
3	485	82
4	1076	78
5	2341	60
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs

(/.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)))))

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

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

Compiler

Compiled 28 to 13 computations (53.6% saved)

simplify36.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

505×	`fma-def_binary32`
440×	`times-frac_binary32`
346×	`distribute-rgt-in_binary32`
272×	`distribute-rgt-out_binary32`
271×	`distribute-lft-in_binary32`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	12	43
1	38	43
2	107	41
3	246	41
4	518	39
5	1075	30
6	3430	29
7	4946	29

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(/.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)))))

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

prune4.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.0b

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

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

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

Compiler

Compiled 142 to 78 computations (45.1% saved)

localize47.0ms (1.5%)

Local error

Found 4 expressions with local error:

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

series15.0ms (0.5%)

Counts

4 → 80

Calls

24 calls:

Time	Variable		Point	Expression
2.0ms	x	@	0	(exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))
2.0ms	x	@	-inf	(/.f32 1 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) 2)))
1.0ms	s	@	inf	(/.f32 1 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) 2)))
1.0ms	x	@	inf	(/.f32 1 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) 2)))
1.0ms	x	@	0	(/.f32 1 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) 2)))

rewrite70.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

654×	`prod-diff_binary32`
156×	`add-sqr-sqrt_binary32`
151×	`*-un-lft-identity_binary32`
151×	`pow1_binary32`
146×	`add-log-exp_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	55
1	305	41
2	4452	41

Stop Event

1×	node limit

Counts

4 → 97

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (exp.f32 (/.f32 x s)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (exp.f32 (/.f32 x s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (exp.f32 (/.f32 x s)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (exp.f32 (/.f32 x s))) (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (cbrt.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) (sqrt.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (/.f32 x s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 x) (/.f32 1 s))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (E.f32) (/.f32 x s))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (exp.f32 (/.f32 x s)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (/.f32 x s)) 2)) (cbrt.f32 (/.f32 x s)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (sqrt.f32 (/.f32 x s))) (sqrt.f32 (/.f32 x s)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (exp.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (exp.f32 (/.f32 x s)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (exp.f32 (/.f32 x s))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (exp.f32 (/.f32 x s)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (exp.f32 (/.f32 x s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (exp.f32 (/.f32 x s)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (exp.f32 (/.f32 x s))) (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (cbrt.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) (sqrt.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (/.f32 x s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 x) (/.f32 1 s))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (E.f32) (/.f32 x s))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (exp.f32 (/.f32 x s)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (/.f32 x s)) 2)) (cbrt.f32 (/.f32 x s)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (sqrt.f32 (/.f32 x s))) (sqrt.f32 (/.f32 x s)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (exp.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (exp.f32 (/.f32 x s)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (exp.f32 (/.f32 x s))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2)))) (cbrt.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2)) -2)) (/.f32 1 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2)) -1/2) (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2)) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 -1 (/.f32 1 (+.f32 (neg.f32 (+.f32 (exp.f32 (/.f32 x s)) (exp.f32 (/.f32 x s)))) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2))) 2) -1) (pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2))) -1) (pow.f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (+.f32 (pow.f32 (exp.f32 (/.f32 x s)) 3) (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 2) 3))) (+.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2) (.f32 (+.f32 (exp.f32 (/.f32 x s)) 2) (-.f32 (+.f32 (exp.f32 (/.f32 x s)) 2) (exp.f32 (/.f32 x s))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (-.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2) (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 2) 2))) (-.f32 (+.f32 (exp.f32 (/.f32 x s)) -2) (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 1 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2)) -1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (neg.f32 (log.f32 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (neg.f32 (log.f32 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 2)))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (+.f32 (exp.f32 (/.f32 x s)) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (/.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2) (+.f32 (exp.f32 (/.f32 x s)) -2)) (/.f32 4 (+.f32 (exp.f32 (/.f32 x s)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (+.f32 (exp.f32 (/.f32 x s)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 (exp.f32 (/.f32 x s)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 2)) (pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 2)) 2) (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 2)) (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 8 (pow.f32 (exp.f32 (/.f32 x s)) 3)) (/.f32 1 (+.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2) (-.f32 4 (.f32 (exp.f32 (/.f32 x s)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2) -4) (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 (+.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2) (-.f32 4 (.f32 (exp.f32 (/.f32 x s)) 2))) (+.f32 8 (pow.f32 (exp.f32 (/.f32 x s)) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 (+.f32 (exp.f32 (/.f32 x s)) -2) (+.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 8 (pow.f32 (exp.f32 (/.f32 x s)) 3)) (+.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2) (-.f32 4 (.f32 (exp.f32 (/.f32 x s)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 8 (pow.f32 (exp.f32 (/.f32 x s)) 3)) (+.f32 4 (-.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2) (.f32 (exp.f32 (/.f32 x s)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2) -4) (+.f32 (exp.f32 (/.f32 x s)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (+.f32 8 (pow.f32 (exp.f32 (/.f32 x s)) 3))) (neg.f32 (+.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2) (-.f32 4 (.f32 (exp.f32 (/.f32 x s)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (+.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2) -4)) (neg.f32 (+.f32 (exp.f32 (/.f32 x s)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 4 (pow.f32 (exp.f32 (/.f32 x s)) 2)) (-.f32 2 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (+.f32 (exp.f32 (/.f32 x s)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (+.f32 (exp.f32 (/.f32 x s)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (+.f32 (exp.f32 (/.f32 x s)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (+.f32 (exp.f32 (/.f32 x s)) 2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 1 (exp.f32 (/.f32 x s)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (cbrt.f32 (exp.f32 (/.f32 x s))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) (sqrt.f32 (exp.f32 (/.f32 x s))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (+.f32 (exp.f32 (/.f32 x s)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (+.f32 (exp.f32 (/.f32 x s)) 2)))))))

simplify47.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

698×	`fma-def_binary32`
248×	`times-frac_binary32`
234×	`associate-l_binary32`
233×	`associate-r_binary32`
187×	`distribute-rgt-out_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	91	1430
1	275	1310
2	1195	1248
3	4867	1248

Stop Event

1×	node limit

Counts

177 → 110

Calls

Call 1

Inputs
1
(+.f32 1 (/.f32 (fabs.f32 x) s))
(+.f32 1 (+.f32 (*.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (/.f32 (fabs.f32 x) s)))
(+.f32 1 (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (+.f32 (.f32 1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3))) (/.f32 (fabs.f32 x) s))))
1
(+.f32 1 (/.f32 (fabs.f32 x) s))
(+.f32 1 (+.f32 (*.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (/.f32 (fabs.f32 x) s)))
(+.f32 1 (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (+.f32 (.f32 1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3))) (/.f32 (fabs.f32 x) s))))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
1
(+.f32 1 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(+.f32 1 (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (.f32 -1 (/.f32 (fabs.f32 x) s))))
(+.f32 1 (+.f32 (.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (*.f32 -1 (/.f32 (fabs.f32 x) s)))))
1
(+.f32 1 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(+.f32 1 (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (.f32 -1 (/.f32 (fabs.f32 x) s))))
(+.f32 1 (+.f32 (.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (*.f32 -1 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
1/4
(+.f32 1/4 (.f32 -1/16 (/.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) s)))
(+.f32 1/4 (+.f32 (.f32 -1 (/.f32 (+.f32 (.f32 -1/64 (pow.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) 2)) (.f32 1/16 (pow.f32 (fabs.f32 x) 2))) (pow.f32 s 2))) (.f32 -1/16 (/.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) s))))
(+.f32 1/4 (+.f32 (.f32 -1 (/.f32 (+.f32 (.f32 -1/64 (pow.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) 2)) (.f32 1/16 (pow.f32 (fabs.f32 x) 2))) (pow.f32 s 2))) (+.f32 (.f32 -1 (/.f32 (+.f32 (.f32 -1/64 (.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) (pow.f32 (fabs.f32 x) 2))) (+.f32 (.f32 -1/4 (.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) (+.f32 (.f32 -1/64 (pow.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) 2)) (.f32 1/16 (pow.f32 (fabs.f32 x) 2))))) (.f32 1/16 (+.f32 (.f32 1/6 (pow.f32 (fabs.f32 x) 3)) (.f32 -1/6 (pow.f32 (fabs.f32 x) 3)))))) (pow.f32 s 3))) (.f32 -1/16 (/.f32 (+.f32 (*.f32 -1 (fabs.f32 x)) (fabs.f32 x)) s)))))
1/4
(+.f32 1/4 (.f32 1/16 (/.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) s)))
(+.f32 1/4 (+.f32 (.f32 -1 (/.f32 (+.f32 (.f32 -1/64 (pow.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) 2)) (.f32 1/16 (pow.f32 (fabs.f32 x) 2))) (pow.f32 s 2))) (.f32 1/16 (/.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) s))))
(+.f32 1/4 (+.f32 (.f32 -1/64 (/.f32 (.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) (pow.f32 (fabs.f32 x) 2)) (pow.f32 s 3))) (+.f32 (.f32 -1 (/.f32 (+.f32 (.f32 -1/64 (pow.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) 2)) (.f32 1/16 (pow.f32 (fabs.f32 x) 2))) (pow.f32 s 2))) (+.f32 (.f32 1/16 (/.f32 (+.f32 (.f32 1/6 (pow.f32 (fabs.f32 x) 3)) (.f32 -1/6 (pow.f32 (fabs.f32 x) 3))) (pow.f32 s 3))) (+.f32 (.f32 1/16 (/.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) s)) (.f32 -1/4 (/.f32 (.f32 (+.f32 (.f32 -1/64 (pow.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) 2)) (.f32 1/16 (pow.f32 (fabs.f32 x) 2))) (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x))) (pow.f32 s 3))))))))
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
3
(+.f32 3 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(+.f32 3 (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (.f32 -1 (/.f32 (fabs.f32 x) s))))
(+.f32 3 (+.f32 (.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (*.f32 -1 (/.f32 (fabs.f32 x) s)))))
3
(+.f32 3 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(+.f32 3 (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (.f32 -1 (/.f32 (fabs.f32 x) s))))
(+.f32 3 (+.f32 (.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (*.f32 -1 (/.f32 (fabs.f32 x) s)))))

Outputs
1
(+.f32 1 (/.f32 (fabs.f32 x) s))
(+.f32 1 (+.f32 (*.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (/.f32 (fabs.f32 x) s)))
(+.f32 1 (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (*.f32 s s)) (/.f32 (fabs.f32 x) s)))
(+.f32 1 (fma.f32 1/2 (/.f32 (.f32 x x) (.f32 s s)) (/.f32 (fabs.f32 x) s)))
(+.f32 1 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) (/.f32 (fabs.f32 x) s)))
(+.f32 1 (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (+.f32 (.f32 1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3))) (/.f32 (fabs.f32 x) s))))
(+.f32 1 (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (*.f32 s s)) (fma.f32 1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3)) (/.f32 (fabs.f32 x) s))))
(+.f32 1 (fma.f32 1/2 (/.f32 (.f32 x x) (.f32 s s)) (fma.f32 1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3)) (/.f32 (fabs.f32 x) s))))
(+.f32 (fma.f32 1/6 (pow.f32 (/.f32 (fabs.f32 x) s) 3) (/.f32 (fabs.f32 x) s)) (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 1))
1
(+.f32 1 (/.f32 (fabs.f32 x) s))
(+.f32 1 (+.f32 (*.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (/.f32 (fabs.f32 x) s)))
(+.f32 1 (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (*.f32 s s)) (/.f32 (fabs.f32 x) s)))
(+.f32 1 (fma.f32 1/2 (/.f32 (.f32 x x) (.f32 s s)) (/.f32 (fabs.f32 x) s)))
(+.f32 1 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) (/.f32 (fabs.f32 x) s)))
(+.f32 1 (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (+.f32 (.f32 1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3))) (/.f32 (fabs.f32 x) s))))
(+.f32 1 (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (*.f32 s s)) (fma.f32 1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3)) (/.f32 (fabs.f32 x) s))))
(+.f32 1 (fma.f32 1/2 (/.f32 (.f32 x x) (.f32 s s)) (fma.f32 1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3)) (/.f32 (fabs.f32 x) s))))
(+.f32 (fma.f32 1/6 (pow.f32 (/.f32 (fabs.f32 x) s) 3) (/.f32 (fabs.f32 x) s)) (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 1))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
1
(+.f32 1 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(+.f32 1 (/.f32 (neg.f32 (fabs.f32 x)) s))
(-.f32 1 (/.f32 (fabs.f32 x) s))
(+.f32 1 (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (.f32 -1 (/.f32 (fabs.f32 x) s))))
(+.f32 1 (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (*.f32 s s)) (/.f32 (neg.f32 (fabs.f32 x)) s)))
(-.f32 (+.f32 1 (.f32 1/2 (/.f32 (.f32 x x) (*.f32 s s)))) (/.f32 (fabs.f32 x) s))
(-.f32 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 1) (/.f32 (fabs.f32 x) s))
(+.f32 1 (+.f32 (.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (*.f32 -1 (/.f32 (fabs.f32 x) s)))))
(+.f32 1 (fma.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3)) (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (*.f32 s s)) (/.f32 (neg.f32 (fabs.f32 x)) s))))
(+.f32 (fma.f32 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3)) -1/6 (.f32 1/2 (/.f32 (.f32 x x) (*.f32 s s)))) (-.f32 1 (/.f32 (fabs.f32 x) s)))
(fma.f32 (pow.f32 (/.f32 (fabs.f32 x) s) 3) -1/6 (-.f32 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 1) (/.f32 (fabs.f32 x) s)))
1
(+.f32 1 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(+.f32 1 (/.f32 (neg.f32 (fabs.f32 x)) s))
(-.f32 1 (/.f32 (fabs.f32 x) s))
(+.f32 1 (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (.f32 -1 (/.f32 (fabs.f32 x) s))))
(+.f32 1 (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (*.f32 s s)) (/.f32 (neg.f32 (fabs.f32 x)) s)))
(-.f32 (+.f32 1 (.f32 1/2 (/.f32 (.f32 x x) (*.f32 s s)))) (/.f32 (fabs.f32 x) s))
(-.f32 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 1) (/.f32 (fabs.f32 x) s))
(+.f32 1 (+.f32 (.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (*.f32 -1 (/.f32 (fabs.f32 x) s)))))
(+.f32 1 (fma.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3)) (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (*.f32 s s)) (/.f32 (neg.f32 (fabs.f32 x)) s))))
(+.f32 (fma.f32 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3)) -1/6 (.f32 1/2 (/.f32 (.f32 x x) (*.f32 s s)))) (-.f32 1 (/.f32 (fabs.f32 x) s)))
(fma.f32 (pow.f32 (/.f32 (fabs.f32 x) s) 3) -1/6 (-.f32 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 1) (/.f32 (fabs.f32 x) s)))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 2 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 2 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 2 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 2 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 2 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 2 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 2 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 2 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 2 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 2 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 2 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 2 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 2 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 2 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 2 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 1 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (+.f32 2 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 1 (+.f32 2 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
1/4
(+.f32 1/4 (.f32 -1/16 (/.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) s)))
1/4
(+.f32 1/4 (+.f32 (.f32 -1 (/.f32 (+.f32 (.f32 -1/64 (pow.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) 2)) (.f32 1/16 (pow.f32 (fabs.f32 x) 2))) (pow.f32 s 2))) (.f32 -1/16 (/.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) s))))
(+.f32 1/4 (fma.f32 -1 (/.f32 (fma.f32 -1/64 (pow.f32 (.f32 0 (fabs.f32 x)) 2) (.f32 (pow.f32 (fabs.f32 x) 2) 1/16)) (.f32 s s)) (.f32 -1/16 (/.f32 (*.f32 0 (fabs.f32 x)) s))))
(+.f32 1/4 (-.f32 (/.f32 0 s) (/.f32 (fma.f32 (.f32 x x) 1/16 0) (.f32 s s))))
(-.f32 1/4 (/.f32 (.f32 x (.f32 x 1/16)) (*.f32 s s)))
(+.f32 1/4 (+.f32 (.f32 -1 (/.f32 (+.f32 (.f32 -1/64 (pow.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) 2)) (.f32 1/16 (pow.f32 (fabs.f32 x) 2))) (pow.f32 s 2))) (+.f32 (.f32 -1 (/.f32 (+.f32 (.f32 -1/64 (.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) (pow.f32 (fabs.f32 x) 2))) (+.f32 (.f32 -1/4 (.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) (+.f32 (.f32 -1/64 (pow.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) 2)) (.f32 1/16 (pow.f32 (fabs.f32 x) 2))))) (.f32 1/16 (+.f32 (.f32 1/6 (pow.f32 (fabs.f32 x) 3)) (.f32 -1/6 (pow.f32 (fabs.f32 x) 3)))))) (pow.f32 s 3))) (.f32 -1/16 (/.f32 (+.f32 (*.f32 -1 (fabs.f32 x)) (fabs.f32 x)) s)))))
(+.f32 1/4 (fma.f32 -1 (/.f32 (fma.f32 -1/64 (pow.f32 (.f32 0 (fabs.f32 x)) 2) (.f32 (pow.f32 (fabs.f32 x) 2) 1/16)) (.f32 s s)) (.f32 -1/16 (/.f32 (*.f32 0 (fabs.f32 x)) s))))
(+.f32 1/4 (-.f32 (/.f32 0 s) (/.f32 (fma.f32 (.f32 x x) 1/16 0) (.f32 s s))))
(-.f32 1/4 (/.f32 (.f32 x (.f32 x 1/16)) (*.f32 s s)))
1/4
(+.f32 1/4 (.f32 1/16 (/.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) s)))
1/4
(+.f32 1/4 (+.f32 (.f32 -1 (/.f32 (+.f32 (.f32 -1/64 (pow.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) 2)) (.f32 1/16 (pow.f32 (fabs.f32 x) 2))) (pow.f32 s 2))) (.f32 1/16 (/.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) s))))
(+.f32 1/4 (fma.f32 -1 (/.f32 (fma.f32 -1/64 (pow.f32 (.f32 0 (fabs.f32 x)) 2) (.f32 (pow.f32 (fabs.f32 x) 2) 1/16)) (.f32 s s)) (.f32 -1/16 (/.f32 (*.f32 0 (fabs.f32 x)) s))))
(+.f32 1/4 (-.f32 (/.f32 0 s) (/.f32 (fma.f32 (.f32 x x) 1/16 0) (.f32 s s))))
(-.f32 1/4 (/.f32 (.f32 x (.f32 x 1/16)) (*.f32 s s)))
(+.f32 1/4 (+.f32 (.f32 -1/64 (/.f32 (.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) (pow.f32 (fabs.f32 x) 2)) (pow.f32 s 3))) (+.f32 (.f32 -1 (/.f32 (+.f32 (.f32 -1/64 (pow.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) 2)) (.f32 1/16 (pow.f32 (fabs.f32 x) 2))) (pow.f32 s 2))) (+.f32 (.f32 1/16 (/.f32 (+.f32 (.f32 1/6 (pow.f32 (fabs.f32 x) 3)) (.f32 -1/6 (pow.f32 (fabs.f32 x) 3))) (pow.f32 s 3))) (+.f32 (.f32 1/16 (/.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) s)) (.f32 -1/4 (/.f32 (.f32 (+.f32 (.f32 -1/64 (pow.f32 (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x)) 2)) (.f32 1/16 (pow.f32 (fabs.f32 x) 2))) (+.f32 (.f32 -1 (fabs.f32 x)) (fabs.f32 x))) (pow.f32 s 3))))))))
(+.f32 1/4 (fma.f32 -1 (/.f32 (fma.f32 -1/64 (pow.f32 (.f32 0 (fabs.f32 x)) 2) (.f32 (pow.f32 (fabs.f32 x) 2) 1/16)) (.f32 s s)) (.f32 -1/16 (/.f32 (*.f32 0 (fabs.f32 x)) s))))
(+.f32 1/4 (-.f32 (/.f32 0 s) (/.f32 (fma.f32 (.f32 x x) 1/16 0) (.f32 s s))))
(-.f32 1/4 (/.f32 (.f32 x (.f32 x 1/16)) (*.f32 s s)))
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 2 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 2 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 2 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 2 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 2 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 2 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 2 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 2 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 2 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 2 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 2 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 2 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 2 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 2 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 2 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 2)
(+.f32 2 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
3
(+.f32 3 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(+.f32 3 (/.f32 (neg.f32 (fabs.f32 x)) s))
(-.f32 3 (/.f32 (fabs.f32 x) s))
(+.f32 3 (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (.f32 -1 (/.f32 (fabs.f32 x) s))))
(+.f32 3 (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (*.f32 s s)) (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 3 (-.f32 (.f32 1/2 (/.f32 (.f32 x x) (*.f32 s s))) (/.f32 (fabs.f32 x) s)))
(-.f32 (fma.f32 (/.f32 1/2 s) (/.f32 x (/.f32 s x)) 3) (/.f32 (fabs.f32 x) s))
(+.f32 3 (+.f32 (.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (*.f32 -1 (/.f32 (fabs.f32 x) s)))))
(+.f32 3 (fma.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3)) (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (*.f32 s s)) (/.f32 (neg.f32 (fabs.f32 x)) s))))
(+.f32 3 (-.f32 (fma.f32 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3)) -1/6 (.f32 1/2 (/.f32 (.f32 x x) (*.f32 s s)))) (/.f32 (fabs.f32 x) s)))
(fma.f32 (pow.f32 (/.f32 (fabs.f32 x) s) 3) -1/6 (-.f32 (fma.f32 (/.f32 1/2 s) (/.f32 x (/.f32 s x)) 3) (/.f32 (fabs.f32 x) s)))
3
(+.f32 3 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(+.f32 3 (/.f32 (neg.f32 (fabs.f32 x)) s))
(-.f32 3 (/.f32 (fabs.f32 x) s))
(+.f32 3 (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (.f32 -1 (/.f32 (fabs.f32 x) s))))
(+.f32 3 (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (*.f32 s s)) (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 3 (-.f32 (.f32 1/2 (/.f32 (.f32 x x) (*.f32 s s))) (/.f32 (fabs.f32 x) s)))
(-.f32 (fma.f32 (/.f32 1/2 s) (/.f32 x (/.f32 s x)) 3) (/.f32 (fabs.f32 x) s))
(+.f32 3 (+.f32 (.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (*.f32 -1 (/.f32 (fabs.f32 x) s)))))
(+.f32 3 (fma.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3)) (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (*.f32 s s)) (/.f32 (neg.f32 (fabs.f32 x)) s))))
(+.f32 3 (-.f32 (fma.f32 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3)) -1/6 (.f32 1/2 (/.f32 (.f32 x x) (*.f32 s s)))) (/.f32 (fabs.f32 x) s)))
(fma.f32 (pow.f32 (/.f32 (fabs.f32 x) s) 3) -1/6 (-.f32 (fma.f32 (/.f32 1/2 s) (/.f32 x (/.f32 s x)) 3) (/.f32 (fabs.f32 x) s)))

prune125.0ms (3.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	108	2	110
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	108	4	112

Error

0.0b

Counts

112 → 4

Alt Table

Status	Error	Program
	15.9b	(/.f32 (/.f32 1 (+.f32 (pow.f32 (exp.f32 (sqrt.f32 (/.f32 x s))) (sqrt.f32 (/.f32 x s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) 2))) s)
✓	0.0b	(/.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) 2))) s)
▶	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)))))
	11.2b	(/.f32 (/.f32 1 (+.f32 (-.f32 (exp.f32 (log1p.f32 (exp.f32 (/.f32 x s)))) 1) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) 2))) s)

Compiler

Compiled 2866 to 1425 computations (50.3% saved)

localize39.0ms (1.2%)

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

series23.0ms (0.7%)

Counts

4 → 96

Calls

24 calls:

Time	Variable		Point	Expression
4.0ms	x	@	0	(/.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)))))
3.0ms	s	@	0	(/.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)))))
2.0ms	s	@	inf	(/.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)))))
2.0ms	s	@	-inf	(/.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)))))
2.0ms	x	@	-inf	(/.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)))))

rewrite65.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

726×	`prod-diff_binary32`
137×	`add-sqr-sqrt_binary32`
134×	`*-un-lft-identity_binary32`
134×	`pow1_binary32`
127×	`add-log-exp_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	82
1	267	50
2	4114	50

Stop Event

1×	node limit

Counts

4 → 126

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (exp.f32 (/.f32 x s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (exp.f32 (/.f32 x s)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (exp.f32 (/.f32 x s))) (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (cbrt.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) (sqrt.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (exp.f32 (/.f32 x s)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (/.f32 x s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (E.f32) (/.f32 x s))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 x) (/.f32 1 s))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (exp.f32 (/.f32 x s)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (/.f32 x s)) 2)) (cbrt.f32 (/.f32 x s)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (sqrt.f32 (/.f32 x s))) (sqrt.f32 (/.f32 x s)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (exp.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (exp.f32 (/.f32 x s)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (exp.f32 (/.f32 x s))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (/.f32 (exp.f32 (/.f32 x s)) (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (exp.f32 (/.f32 x s)) (/.f32 (/.f32 1 s) (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (/.f32 (exp.f32 (/.f32 x s)) (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (exp.f32 (/.f32 x s)) (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (/.f32 (exp.f32 (/.f32 x s)) (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)))) (cbrt.f32 (pow.f32 (/.f32 (exp.f32 (/.f32 x s)) (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (pow.f32 (/.f32 (exp.f32 (/.f32 x s)) (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))) 2)) (cbrt.f32 (/.f32 (exp.f32 (/.f32 x s)) (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) (/.f32 (/.f32 1 s) (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) (.f32 (sqrt.f32 s) (+.f32 (exp.f32 (/.f32 x s)) 1))) (/.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) (.f32 (sqrt.f32 s) (+.f32 (exp.f32 (/.f32 x s)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (exp.f32 (/.f32 x s))) (.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) (/.f32 (/.f32 1 s) (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (neg.f32 (exp.f32 (/.f32 x s))) (/.f32 1 (.f32 (neg.f32 s) (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 s) (/.f32 (exp.f32 (/.f32 x s)) (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (/.f32 1 s) (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)) (exp.f32 (/.f32 x s)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (exp.f32 (/.f32 x s)) (+.f32 s (.f32 s (exp.f32 (/.f32 x s))))) (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) s) (/.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) s) (/.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) (+.f32 (exp.f32 (/.f32 x s)) 1)) (/.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) (+.f32 s (.f32 s (exp.f32 (/.f32 x s))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) 1) (/.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) 1) (/.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) (+.f32 s (.f32 s (exp.f32 (/.f32 x s))))) (/.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) (+.f32 (exp.f32 (/.f32 x s)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1)) (/.f32 (exp.f32 (/.f32 x s)) (+.f32 s (.f32 s (exp.f32 (/.f32 x s))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (+.f32 (exp.f32 (/.f32 x s)) 1)) (/.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) (+.f32 s (.f32 s (exp.f32 (/.f32 x s))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (+.f32 s (.f32 s (exp.f32 (/.f32 x s))))) (/.f32 (exp.f32 (/.f32 x s)) (+.f32 (exp.f32 (/.f32 x s)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (+.f32 s (.f32 s (exp.f32 (/.f32 x s))))) (/.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) (+.f32 (exp.f32 (/.f32 x s)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (pow.f32 (cbrt.f32 (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))) 2)) (/.f32 (exp.f32 (/.f32 x s)) (cbrt.f32 (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (pow.f32 (cbrt.f32 (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))) 2)) (cbrt.f32 (/.f32 (exp.f32 (/.f32 x s)) (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) (pow.f32 (cbrt.f32 (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))) 2)) (/.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) (cbrt.f32 (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (.f32 (sqrt.f32 s) (+.f32 (exp.f32 (/.f32 x s)) 1))) (/.f32 (exp.f32 (/.f32 x s)) (.f32 (sqrt.f32 s) (+.f32 (exp.f32 (/.f32 x s)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (.f32 (sqrt.f32 s) (+.f32 (exp.f32 (/.f32 x s)) 1))) (/.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) (.f32 (sqrt.f32 s) (+.f32 (exp.f32 (/.f32 x s)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (/.f32 (exp.f32 (/.f32 x s)) (+.f32 s (.f32 s (exp.f32 (/.f32 x s))))) (+.f32 1 (pow.f32 (exp.f32 (/.f32 x s)) 3))) (+.f32 1 (.f32 (exp.f32 (/.f32 x s)) (expm1.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (/.f32 (exp.f32 (/.f32 x s)) (+.f32 s (.f32 s (exp.f32 (/.f32 x s))))) (-.f32 1 (pow.f32 (exp.f32 (/.f32 x s)) 2))) (-.f32 1 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 (exp.f32 (/.f32 x s)) (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (/.f32 (exp.f32 (/.f32 x s)) (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (/.f32 (exp.f32 (/.f32 x s)) (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) (.f32 (sqrt.f32 s) (+.f32 (exp.f32 (/.f32 x s)) 1))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)) (exp.f32 (/.f32 x s))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (/.f32 (exp.f32 (/.f32 x s)) (.f32 (neg.f32 s) (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (/.f32 (exp.f32 (/.f32 x s)) (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (/.f32 (exp.f32 (/.f32 x s)) (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (/.f32 (exp.f32 (/.f32 x s)) (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (/.f32 (exp.f32 (/.f32 x s)) (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (/.f32 (pow.f32 (exp.f32 (/.f32 x s)) 3) (pow.f32 (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (-.f32 (/.f32 x s) (log.f32 (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (-.f32 (/.f32 x s) (log.f32 (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (/.f32 (exp.f32 (/.f32 x s)) (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (/.f32 (exp.f32 (/.f32 x s)) (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 s (.f32 s (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 s (.f32 (.f32 s (exp.f32 (/.f32 x s))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 s (exp.f32 (/.f32 x s))) s)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (+.f32 s (.f32 s (exp.f32 (/.f32 x s)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 s 3) (pow.f32 (.f32 s (exp.f32 (/.f32 x s))) 3)) (+.f32 (.f32 s s) (-.f32 (.f32 (.f32 s (exp.f32 (/.f32 x s))) (.f32 s (exp.f32 (/.f32 x s)))) (.f32 s (.f32 s (exp.f32 (/.f32 x s)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (.f32 s s) (.f32 (.f32 s (exp.f32 (/.f32 x s))) (.f32 s (exp.f32 (/.f32 x s))))) (-.f32 s (.f32 s (exp.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (+.f32 1 (pow.f32 (exp.f32 (/.f32 x s)) 3)) s) (+.f32 1 (.f32 (exp.f32 (/.f32 x s)) (expm1.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (-.f32 1 (pow.f32 (exp.f32 (/.f32 x s)) 2)) s) (-.f32 1 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 s (+.f32 1 (pow.f32 (exp.f32 (/.f32 x s)) 3))) (+.f32 1 (.f32 (exp.f32 (/.f32 x s)) (expm1.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 s (-.f32 1 (pow.f32 (exp.f32 (/.f32 x s)) 2))) (-.f32 1 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (+.f32 s (.f32 s (exp.f32 (/.f32 x s)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (+.f32 s (.f32 s (exp.f32 (/.f32 x s)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (+.f32 s (.f32 s (exp.f32 (/.f32 x s))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (+.f32 s (.f32 s (exp.f32 (/.f32 x s))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (+.f32 s (.f32 s (exp.f32 (/.f32 x s)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 s) (+.f32 (exp.f32 (/.f32 x s)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (+.f32 s (.f32 s (exp.f32 (/.f32 x s)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (+.f32 s (.f32 s (exp.f32 (/.f32 x s)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 s 3) (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 3) (pow.f32 s 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (+.f32 (log.f32 s) (log1p.f32 (exp.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (+.f32 (log.f32 s) (log1p.f32 (exp.f32 (/.f32 x s)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 s 1 (.f32 s (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 1 s (.f32 s (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (cbrt.f32 s) 2) (cbrt.f32 s) (.f32 s (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 s) (sqrt.f32 s) (.f32 s (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (+.f32 s (.f32 s (exp.f32 (/.f32 x s))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (+.f32 s (*.f32 s (exp.f32 (/.f32 x s))))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (/.f32 1 (-.f32 1 (exp.f32 (/.f32 x s)))) (/.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2) (-.f32 1 (exp.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) (pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 2) (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 1 (pow.f32 (exp.f32 (/.f32 x s)) 3)) (/.f32 1 (+.f32 1 (.f32 (exp.f32 (/.f32 x s)) (expm1.f32 (/.f32 x s))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (-.f32 1 (pow.f32 (exp.f32 (/.f32 x s)) 2)) (/.f32 1 (-.f32 1 (exp.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 (+.f32 1 (.f32 (exp.f32 (/.f32 x s)) (expm1.f32 (/.f32 x s)))) (+.f32 1 (pow.f32 (exp.f32 (/.f32 x s)) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 (-.f32 1 (exp.f32 (/.f32 x s))) (-.f32 1 (pow.f32 (exp.f32 (/.f32 x s)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 1 (pow.f32 (exp.f32 (/.f32 x s)) 3)) (+.f32 1 (.f32 (exp.f32 (/.f32 x s)) (expm1.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 1 (pow.f32 (exp.f32 (/.f32 x s)) 3)) (+.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2) (-.f32 1 (exp.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 1 (pow.f32 (exp.f32 (/.f32 x s)) 2)) (-.f32 1 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (+.f32 1 (pow.f32 (exp.f32 (/.f32 x s)) 3))) (neg.f32 (+.f32 1 (.f32 (exp.f32 (/.f32 x s)) (expm1.f32 (/.f32 x s))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (-.f32 1 (pow.f32 (exp.f32 (/.f32 x s)) 2))) (neg.f32 (-.f32 1 (exp.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2) 1) (expm1.f32 (/.f32 x s)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log1p.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log1p.f32 (exp.f32 (/.f32 x s))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 1 (exp.f32 (/.f32 x s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (cbrt.f32 (exp.f32 (/.f32 x s))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) (sqrt.f32 (exp.f32 (/.f32 x s))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)))))))

simplify56.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

890×	`fma-def_binary32`
647×	`times-frac_binary32`
277×	`cancel-sign-sub-inv_binary32`
193×	`fma-neg_binary32`
164×	`distribute-rgt-in_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	138	2396
1	460	2160
2	1759	2010

Stop Event

1×	node limit

Counts

222 → 167

Calls

Call 1

Inputs
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
1
(+.f32 1 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(+.f32 1 (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (.f32 -1 (/.f32 (fabs.f32 x) s))))
(+.f32 1 (+.f32 (.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (*.f32 -1 (/.f32 (fabs.f32 x) s)))))
1
(+.f32 1 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(+.f32 1 (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (.f32 -1 (/.f32 (fabs.f32 x) s))))
(+.f32 1 (+.f32 (.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (*.f32 -1 (/.f32 (fabs.f32 x) s)))))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 1/4 s)
(-.f32 (+.f32 (.f32 1/4 (/.f32 1 s)) (.f32 1/8 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 3)))) (.f32 1/16 (/.f32 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)) (pow.f32 s 3))))
(-.f32 (+.f32 (.f32 -1/24 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 4))) (+.f32 (.f32 1/4 (/.f32 1 s)) (.f32 1/8 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 3))))) (+.f32 (.f32 -1 (/.f32 (.f32 (-.f32 (.f32 1/8 (pow.f32 (fabs.f32 x) 2)) (.f32 1/16 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)))) (fabs.f32 x)) (pow.f32 s 4))) (+.f32 (.f32 1/16 (/.f32 (+.f32 (.f32 -2/3 (pow.f32 (fabs.f32 x) 3)) (.f32 -1 (pow.f32 (fabs.f32 x) 3))) (pow.f32 s 4))) (.f32 1/16 (/.f32 (+.f32 (*.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)) (pow.f32 s 3))))))
(-.f32 (+.f32 (.f32 -1/24 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 4))) (+.f32 (.f32 1/8 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 3))) (+.f32 (.f32 1/4 (/.f32 1 s)) (.f32 1/96 (/.f32 (pow.f32 (fabs.f32 x) 4) (pow.f32 s 5)))))) (+.f32 (.f32 -1 (/.f32 (.f32 (-.f32 (.f32 -1/24 (pow.f32 (fabs.f32 x) 3)) (+.f32 (.f32 -1 (.f32 (fabs.f32 x) (-.f32 (.f32 1/8 (pow.f32 (fabs.f32 x) 2)) (.f32 1/16 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)))))) (.f32 1/16 (+.f32 (.f32 -2/3 (pow.f32 (fabs.f32 x) 3)) (.f32 -1 (pow.f32 (fabs.f32 x) 3)))))) (fabs.f32 x)) (pow.f32 s 5))) (+.f32 (.f32 -1 (/.f32 (.f32 (-.f32 (.f32 1/8 (pow.f32 (fabs.f32 x) 2)) (.f32 1/16 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)))) (fabs.f32 x)) (pow.f32 s 4))) (+.f32 (.f32 1/16 (/.f32 (+.f32 (.f32 1/4 (pow.f32 (fabs.f32 x) 4)) (+.f32 (.f32 1/3 (pow.f32 (fabs.f32 x) 4)) (.f32 1/6 (pow.f32 (fabs.f32 x) 4)))) (pow.f32 s 5))) (+.f32 (.f32 1/4 (/.f32 (.f32 (-.f32 (.f32 1/8 (pow.f32 (fabs.f32 x) 2)) (.f32 1/16 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)))) (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2))) (pow.f32 s 5))) (+.f32 (.f32 1/16 (/.f32 (+.f32 (.f32 -2/3 (pow.f32 (fabs.f32 x) 3)) (.f32 -1 (pow.f32 (fabs.f32 x) 3))) (pow.f32 s 4))) (.f32 1/16 (/.f32 (+.f32 (*.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)) (pow.f32 s 3)))))))))
(/.f32 1/4 s)
(-.f32 (+.f32 (.f32 1/4 (/.f32 1 s)) (.f32 1/8 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 3)))) (.f32 1/16 (/.f32 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)) (pow.f32 s 3))))
(-.f32 (+.f32 (.f32 -1 (/.f32 (-.f32 (.f32 1/24 (pow.f32 (fabs.f32 x) 3)) (+.f32 (.f32 1/16 (+.f32 (pow.f32 (fabs.f32 x) 3) (.f32 2/3 (pow.f32 (fabs.f32 x) 3)))) (.f32 (fabs.f32 x) (-.f32 (.f32 1/8 (pow.f32 (fabs.f32 x) 2)) (.f32 1/16 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2))))))) (pow.f32 s 4))) (+.f32 (.f32 1/4 (/.f32 1 s)) (.f32 1/8 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 3))))) (.f32 1/16 (/.f32 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)) (pow.f32 s 3))))
(-.f32 (+.f32 (.f32 -1 (/.f32 (-.f32 (.f32 1/24 (pow.f32 (fabs.f32 x) 3)) (+.f32 (.f32 1/16 (+.f32 (pow.f32 (fabs.f32 x) 3) (.f32 2/3 (pow.f32 (fabs.f32 x) 3)))) (.f32 (fabs.f32 x) (-.f32 (.f32 1/8 (pow.f32 (fabs.f32 x) 2)) (.f32 1/16 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2))))))) (pow.f32 s 4))) (+.f32 (.f32 1/4 (/.f32 1 s)) (+.f32 (.f32 1/96 (/.f32 (pow.f32 (fabs.f32 x) 4) (pow.f32 s 5))) (.f32 1/8 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 3)))))) (+.f32 (/.f32 (.f32 (-.f32 (.f32 1/24 (pow.f32 (fabs.f32 x) 3)) (+.f32 (.f32 1/16 (+.f32 (pow.f32 (fabs.f32 x) 3) (.f32 2/3 (pow.f32 (fabs.f32 x) 3)))) (.f32 (-.f32 (.f32 1/8 (pow.f32 (fabs.f32 x) 2)) (.f32 1/16 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)))) (fabs.f32 x)))) (fabs.f32 x)) (pow.f32 s 5)) (+.f32 (.f32 1/16 (/.f32 (+.f32 (.f32 1/4 (pow.f32 (fabs.f32 x) 4)) (+.f32 (.f32 1/3 (pow.f32 (fabs.f32 x) 4)) (.f32 1/6 (pow.f32 (fabs.f32 x) 4)))) (pow.f32 s 5))) (+.f32 (.f32 1/16 (/.f32 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)) (pow.f32 s 3))) (.f32 1/4 (/.f32 (.f32 (-.f32 (.f32 1/8 (pow.f32 (fabs.f32 x) 2)) (.f32 1/16 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)))) (+.f32 (*.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2))) (pow.f32 s 5)))))))
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(*.f32 2 s)
(+.f32 (.f32 -1 (fabs.f32 x)) (.f32 2 s))
(+.f32 (.f32 -1 (fabs.f32 x)) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) s)) (*.f32 2 s)))
(+.f32 (.f32 -1 (fabs.f32 x)) (+.f32 (.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 2))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) s)) (.f32 2 s))))
(*.f32 2 s)
(+.f32 (.f32 -1 (fabs.f32 x)) (.f32 2 s))
(+.f32 (.f32 -1 (fabs.f32 x)) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) s)) (*.f32 2 s)))
(+.f32 (.f32 -1 (fabs.f32 x)) (+.f32 (.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 2))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) s)) (.f32 2 s))))
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
2
(+.f32 2 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(+.f32 2 (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (.f32 -1 (/.f32 (fabs.f32 x) s))))
(+.f32 2 (+.f32 (.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (*.f32 -1 (/.f32 (fabs.f32 x) s)))))
2
(+.f32 2 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(+.f32 2 (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (.f32 -1 (/.f32 (fabs.f32 x) s))))
(+.f32 2 (+.f32 (.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (*.f32 -1 (/.f32 (fabs.f32 x) s)))))

Outputs
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
(exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
1
(+.f32 1 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(+.f32 (/.f32 (neg.f32 (fabs.f32 x)) s) 1)
(-.f32 1 (/.f32 (fabs.f32 x) s))
(+.f32 1 (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (.f32 -1 (/.f32 (fabs.f32 x) s))))
(+.f32 1 (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (*.f32 s s)) (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 1 (-.f32 (.f32 1/2 (/.f32 (/.f32 (.f32 x x) s) s)) (/.f32 (fabs.f32 x) s)))
(-.f32 (fma.f32 (/.f32 1/2 s) (/.f32 (*.f32 x x) s) 1) (/.f32 (fabs.f32 x) s))
(+.f32 1 (+.f32 (.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (*.f32 -1 (/.f32 (fabs.f32 x) s)))))
(+.f32 1 (fma.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3)) (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (*.f32 s s)) (/.f32 (neg.f32 (fabs.f32 x)) s))))
(+.f32 1 (fma.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3)) (-.f32 (.f32 1/2 (/.f32 (/.f32 (.f32 x x) s) s)) (/.f32 (fabs.f32 x) s))))
(fma.f32 -1/6 (pow.f32 (/.f32 (fabs.f32 x) s) 3) (-.f32 (fma.f32 (/.f32 1/2 s) (/.f32 (*.f32 x x) s) 1) (/.f32 (fabs.f32 x) s)))
1
(+.f32 1 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(+.f32 (/.f32 (neg.f32 (fabs.f32 x)) s) 1)
(-.f32 1 (/.f32 (fabs.f32 x) s))
(+.f32 1 (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (.f32 -1 (/.f32 (fabs.f32 x) s))))
(+.f32 1 (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (*.f32 s s)) (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 1 (-.f32 (.f32 1/2 (/.f32 (/.f32 (.f32 x x) s) s)) (/.f32 (fabs.f32 x) s)))
(-.f32 (fma.f32 (/.f32 1/2 s) (/.f32 (*.f32 x x) s) 1) (/.f32 (fabs.f32 x) s))
(+.f32 1 (+.f32 (.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (*.f32 -1 (/.f32 (fabs.f32 x) s)))))
(+.f32 1 (fma.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3)) (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (*.f32 s s)) (/.f32 (neg.f32 (fabs.f32 x)) s))))
(+.f32 1 (fma.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3)) (-.f32 (.f32 1/2 (/.f32 (/.f32 (.f32 x x) s) s)) (/.f32 (fabs.f32 x) s))))
(fma.f32 -1/6 (pow.f32 (/.f32 (fabs.f32 x) s) 3) (-.f32 (fma.f32 (/.f32 1/2 s) (/.f32 (*.f32 x x) s) 1) (/.f32 (fabs.f32 x) s)))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2)))
(/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2)))
(/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2)))
(/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2)))
(/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2)))
(/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2)))
(/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2)))
(/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2)))
(/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2)))
(/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2)))
(/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2)))
(/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2)))
(/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2)))
(/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2)))
(/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2)))
(/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2))
(/.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) (.f32 s (pow.f32 (+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1) 2)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2)))
(/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (pow.f32 (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1) 2))
(/.f32 1/4 s)
(-.f32 (+.f32 (.f32 1/4 (/.f32 1 s)) (.f32 1/8 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 3)))) (.f32 1/16 (/.f32 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)) (pow.f32 s 3))))
(+.f32 (/.f32 1/4 s) (-.f32 (.f32 1/8 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 3))) (.f32 1/16 (/.f32 (*.f32 3 (pow.f32 (fabs.f32 x) 2)) (pow.f32 s 3)))))
(+.f32 (fma.f32 1/8 (/.f32 (.f32 x x) (pow.f32 s 3)) (/.f32 1/4 s)) (/.f32 (.f32 -3/16 (*.f32 x x)) (pow.f32 s 3)))
(-.f32 (+.f32 (.f32 -1/24 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 4))) (+.f32 (.f32 1/4 (/.f32 1 s)) (.f32 1/8 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 3))))) (+.f32 (.f32 -1 (/.f32 (.f32 (-.f32 (.f32 1/8 (pow.f32 (fabs.f32 x) 2)) (.f32 1/16 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)))) (fabs.f32 x)) (pow.f32 s 4))) (+.f32 (.f32 1/16 (/.f32 (+.f32 (.f32 -2/3 (pow.f32 (fabs.f32 x) 3)) (.f32 -1 (pow.f32 (fabs.f32 x) 3))) (pow.f32 s 4))) (.f32 1/16 (/.f32 (+.f32 (*.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)) (pow.f32 s 3))))))
(-.f32 (fma.f32 -1/24 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 4)) (+.f32 (/.f32 1/4 s) (.f32 1/8 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 3))))) (fma.f32 -1 (/.f32 (+.f32 (.f32 (pow.f32 (fabs.f32 x) 2) 1/8) (.f32 -1/16 (.f32 3 (pow.f32 (fabs.f32 x) 2)))) (/.f32 (pow.f32 s 4) (fabs.f32 x))) (.f32 1/16 (+.f32 (/.f32 (.f32 (pow.f32 (fabs.f32 x) 3) -5/3) (pow.f32 s 4)) (/.f32 (*.f32 3 (pow.f32 (fabs.f32 x) 2)) (pow.f32 s 3))))))
(-.f32 (fma.f32 -1/24 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 4)) (fma.f32 1/8 (/.f32 (.f32 x x) (pow.f32 s 3)) (/.f32 1/4 s))) (-.f32 (+.f32 (/.f32 (.f32 3/16 (.f32 x x)) (pow.f32 s 3)) (/.f32 (.f32 (pow.f32 (fabs.f32 x) 3) -5/48) (pow.f32 s 4))) (/.f32 (fma.f32 (.f32 x x) 1/8 (.f32 -3/16 (*.f32 x x))) (/.f32 (pow.f32 s 4) (fabs.f32 x)))))
(+.f32 (-.f32 (fma.f32 1/8 (/.f32 (.f32 x x) (pow.f32 s 3)) (fma.f32 -1/24 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 4)) (/.f32 1/4 s))) (-.f32 (.f32 (pow.f32 (/.f32 (fabs.f32 x) s) 3) (/.f32 -5/48 s)) (/.f32 (.f32 (pow.f32 (fabs.f32 x) 3) -1/16) (pow.f32 s 4)))) (/.f32 (.f32 -3/16 (*.f32 x x)) (pow.f32 s 3)))
(-.f32 (+.f32 (.f32 -1/24 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 4))) (+.f32 (.f32 1/8 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 3))) (+.f32 (.f32 1/4 (/.f32 1 s)) (.f32 1/96 (/.f32 (pow.f32 (fabs.f32 x) 4) (pow.f32 s 5)))))) (+.f32 (.f32 -1 (/.f32 (.f32 (-.f32 (.f32 -1/24 (pow.f32 (fabs.f32 x) 3)) (+.f32 (.f32 -1 (.f32 (fabs.f32 x) (-.f32 (.f32 1/8 (pow.f32 (fabs.f32 x) 2)) (.f32 1/16 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)))))) (.f32 1/16 (+.f32 (.f32 -2/3 (pow.f32 (fabs.f32 x) 3)) (.f32 -1 (pow.f32 (fabs.f32 x) 3)))))) (fabs.f32 x)) (pow.f32 s 5))) (+.f32 (.f32 -1 (/.f32 (.f32 (-.f32 (.f32 1/8 (pow.f32 (fabs.f32 x) 2)) (.f32 1/16 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)))) (fabs.f32 x)) (pow.f32 s 4))) (+.f32 (.f32 1/16 (/.f32 (+.f32 (.f32 1/4 (pow.f32 (fabs.f32 x) 4)) (+.f32 (.f32 1/3 (pow.f32 (fabs.f32 x) 4)) (.f32 1/6 (pow.f32 (fabs.f32 x) 4)))) (pow.f32 s 5))) (+.f32 (.f32 1/4 (/.f32 (.f32 (-.f32 (.f32 1/8 (pow.f32 (fabs.f32 x) 2)) (.f32 1/16 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)))) (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2))) (pow.f32 s 5))) (+.f32 (.f32 1/16 (/.f32 (+.f32 (.f32 -2/3 (pow.f32 (fabs.f32 x) 3)) (.f32 -1 (pow.f32 (fabs.f32 x) 3))) (pow.f32 s 4))) (.f32 1/16 (/.f32 (+.f32 (*.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)) (pow.f32 s 3)))))))))
(-.f32 (fma.f32 -1/24 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 4)) (+.f32 (/.f32 1/4 s) (fma.f32 1/96 (/.f32 (pow.f32 (fabs.f32 x) 4) (pow.f32 s 5)) (.f32 1/8 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 3)))))) (fma.f32 -1 (/.f32 (-.f32 (.f32 (pow.f32 (fabs.f32 x) 3) -1/24) (fma.f32 -1 (.f32 (fabs.f32 x) (+.f32 (.f32 (pow.f32 (fabs.f32 x) 2) 1/8) (.f32 -1/16 (.f32 3 (pow.f32 (fabs.f32 x) 2))))) (.f32 1/16 (.f32 (pow.f32 (fabs.f32 x) 3) -5/3)))) (/.f32 (pow.f32 s 5) (fabs.f32 x))) (fma.f32 -1 (/.f32 (+.f32 (.f32 (pow.f32 (fabs.f32 x) 2) 1/8) (.f32 -1/16 (.f32 3 (pow.f32 (fabs.f32 x) 2)))) (/.f32 (pow.f32 s 4) (fabs.f32 x))) (fma.f32 1/16 (/.f32 (fma.f32 1/4 (pow.f32 (fabs.f32 x) 4) (.f32 (pow.f32 (fabs.f32 x) 4) 1/2)) (pow.f32 s 5)) (fma.f32 1/4 (/.f32 (+.f32 (.f32 (pow.f32 (fabs.f32 x) 2) 1/8) (.f32 -1/16 (.f32 3 (pow.f32 (fabs.f32 x) 2)))) (/.f32 (pow.f32 s 5) (.f32 3 (pow.f32 (fabs.f32 x) 2)))) (.f32 1/16 (+.f32 (/.f32 (.f32 (pow.f32 (fabs.f32 x) 3) -5/3) (pow.f32 s 4)) (/.f32 (*.f32 3 (pow.f32 (fabs.f32 x) 2)) (pow.f32 s 3)))))))))
(-.f32 (fma.f32 -1/24 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 4)) (fma.f32 1/8 (/.f32 (.f32 x x) (pow.f32 s 3)) (fma.f32 1/96 (/.f32 (pow.f32 (fabs.f32 x) 4) (pow.f32 s 5)) (/.f32 1/4 s)))) (-.f32 (-.f32 (+.f32 (fma.f32 1/16 (/.f32 (.f32 (pow.f32 (fabs.f32 x) 4) 3/4) (pow.f32 s 5)) (fma.f32 1/4 (/.f32 (fma.f32 (.f32 x x) 1/8 (.f32 -3/16 (.f32 x x))) (/.f32 (pow.f32 s 5) (.f32 (.f32 x x) 3))) (/.f32 (.f32 3/16 (.f32 x x)) (pow.f32 s 3)))) (/.f32 (.f32 (pow.f32 (fabs.f32 x) 3) -5/48) (pow.f32 s 4))) (/.f32 (fma.f32 (.f32 x x) 1/8 (.f32 -3/16 (.f32 x x))) (/.f32 (pow.f32 s 4) (fabs.f32 x)))) (/.f32 (-.f32 (.f32 (pow.f32 (fabs.f32 x) 3) -1/24) (-.f32 (.f32 (pow.f32 (fabs.f32 x) 3) -5/48) (.f32 (fabs.f32 x) (fma.f32 (.f32 x x) 1/8 (.f32 -3/16 (*.f32 x x)))))) (/.f32 (pow.f32 s 5) (fabs.f32 x)))))
(+.f32 (fma.f32 -1/24 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 4)) (fma.f32 1/96 (/.f32 (pow.f32 (fabs.f32 x) 4) (pow.f32 s 5)) (fma.f32 1/8 (/.f32 (.f32 x x) (pow.f32 s 3)) (/.f32 1/4 s)))) (-.f32 (.f32 (fabs.f32 x) (+.f32 (/.f32 (+.f32 (.f32 (pow.f32 (fabs.f32 x) 3) 1/16) (.f32 (pow.f32 (fabs.f32 x) 3) -1/16)) (pow.f32 s 5)) (/.f32 (.f32 (.f32 x x) -1/16) (pow.f32 s 4)))) (+.f32 (fma.f32 1/4 (/.f32 (.f32 (.f32 x x) (.f32 -3/16 (.f32 x x))) (pow.f32 s 5)) (fma.f32 1/16 (/.f32 (.f32 (pow.f32 (fabs.f32 x) 4) 3/4) (pow.f32 s 5)) (/.f32 (.f32 (.f32 x x) 3/16) (pow.f32 s 3)))) (.f32 (pow.f32 (/.f32 (fabs.f32 x) s) 3) (/.f32 -5/48 s)))))
(/.f32 1/4 s)
(-.f32 (+.f32 (.f32 1/4 (/.f32 1 s)) (.f32 1/8 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 3)))) (.f32 1/16 (/.f32 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)) (pow.f32 s 3))))
(+.f32 (/.f32 1/4 s) (-.f32 (.f32 1/8 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 3))) (.f32 1/16 (/.f32 (*.f32 3 (pow.f32 (fabs.f32 x) 2)) (pow.f32 s 3)))))
(+.f32 (fma.f32 1/8 (/.f32 (.f32 x x) (pow.f32 s 3)) (/.f32 1/4 s)) (/.f32 (.f32 -3/16 (*.f32 x x)) (pow.f32 s 3)))
(-.f32 (+.f32 (.f32 -1 (/.f32 (-.f32 (.f32 1/24 (pow.f32 (fabs.f32 x) 3)) (+.f32 (.f32 1/16 (+.f32 (pow.f32 (fabs.f32 x) 3) (.f32 2/3 (pow.f32 (fabs.f32 x) 3)))) (.f32 (fabs.f32 x) (-.f32 (.f32 1/8 (pow.f32 (fabs.f32 x) 2)) (.f32 1/16 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2))))))) (pow.f32 s 4))) (+.f32 (.f32 1/4 (/.f32 1 s)) (.f32 1/8 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 3))))) (.f32 1/16 (/.f32 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)) (pow.f32 s 3))))
(+.f32 (fma.f32 -1 (/.f32 (-.f32 (.f32 (pow.f32 (fabs.f32 x) 3) 1/24) (fma.f32 1/16 (.f32 5/3 (pow.f32 (fabs.f32 x) 3)) (.f32 (fabs.f32 x) (+.f32 (.f32 (pow.f32 (fabs.f32 x) 2) 1/8) (.f32 -1/16 (.f32 3 (pow.f32 (fabs.f32 x) 2))))))) (pow.f32 s 4)) (+.f32 (/.f32 1/4 s) (.f32 1/8 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 3))))) (.f32 -1/16 (/.f32 (*.f32 3 (pow.f32 (fabs.f32 x) 2)) (pow.f32 s 3))))
(+.f32 (-.f32 (fma.f32 1/8 (/.f32 (.f32 x x) (pow.f32 s 3)) (/.f32 1/4 s)) (/.f32 (-.f32 (.f32 (pow.f32 (fabs.f32 x) 3) 1/24) (fma.f32 (fabs.f32 x) (fma.f32 (.f32 x x) 1/8 (.f32 -3/16 (.f32 x x))) (.f32 5/48 (pow.f32 (fabs.f32 x) 3)))) (pow.f32 s 4))) (/.f32 (.f32 -3/16 (.f32 x x)) (pow.f32 s 3)))
(+.f32 (-.f32 (/.f32 1/4 s) (/.f32 (+.f32 (.f32 (pow.f32 (fabs.f32 x) 3) 5/48) (.f32 (pow.f32 (fabs.f32 x) 3) -5/48)) (pow.f32 s 4))) (fma.f32 1/8 (/.f32 (.f32 x x) (pow.f32 s 3)) (/.f32 (.f32 -3/16 (*.f32 x x)) (pow.f32 s 3))))
(-.f32 (+.f32 (.f32 -1 (/.f32 (-.f32 (.f32 1/24 (pow.f32 (fabs.f32 x) 3)) (+.f32 (.f32 1/16 (+.f32 (pow.f32 (fabs.f32 x) 3) (.f32 2/3 (pow.f32 (fabs.f32 x) 3)))) (.f32 (fabs.f32 x) (-.f32 (.f32 1/8 (pow.f32 (fabs.f32 x) 2)) (.f32 1/16 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2))))))) (pow.f32 s 4))) (+.f32 (.f32 1/4 (/.f32 1 s)) (+.f32 (.f32 1/96 (/.f32 (pow.f32 (fabs.f32 x) 4) (pow.f32 s 5))) (.f32 1/8 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 3)))))) (+.f32 (/.f32 (.f32 (-.f32 (.f32 1/24 (pow.f32 (fabs.f32 x) 3)) (+.f32 (.f32 1/16 (+.f32 (pow.f32 (fabs.f32 x) 3) (.f32 2/3 (pow.f32 (fabs.f32 x) 3)))) (.f32 (-.f32 (.f32 1/8 (pow.f32 (fabs.f32 x) 2)) (.f32 1/16 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)))) (fabs.f32 x)))) (fabs.f32 x)) (pow.f32 s 5)) (+.f32 (.f32 1/16 (/.f32 (+.f32 (.f32 1/4 (pow.f32 (fabs.f32 x) 4)) (+.f32 (.f32 1/3 (pow.f32 (fabs.f32 x) 4)) (.f32 1/6 (pow.f32 (fabs.f32 x) 4)))) (pow.f32 s 5))) (+.f32 (.f32 1/16 (/.f32 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)) (pow.f32 s 3))) (.f32 1/4 (/.f32 (.f32 (-.f32 (.f32 1/8 (pow.f32 (fabs.f32 x) 2)) (.f32 1/16 (+.f32 (.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2)))) (+.f32 (*.f32 2 (pow.f32 (fabs.f32 x) 2)) (pow.f32 (fabs.f32 x) 2))) (pow.f32 s 5)))))))
(-.f32 (fma.f32 -1 (/.f32 (-.f32 (.f32 (pow.f32 (fabs.f32 x) 3) 1/24) (fma.f32 1/16 (.f32 5/3 (pow.f32 (fabs.f32 x) 3)) (.f32 (fabs.f32 x) (+.f32 (.f32 (pow.f32 (fabs.f32 x) 2) 1/8) (.f32 -1/16 (.f32 3 (pow.f32 (fabs.f32 x) 2))))))) (pow.f32 s 4)) (+.f32 (/.f32 1/4 s) (fma.f32 1/96 (/.f32 (pow.f32 (fabs.f32 x) 4) (pow.f32 s 5)) (.f32 1/8 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 3)))))) (+.f32 (/.f32 (-.f32 (.f32 (pow.f32 (fabs.f32 x) 3) 1/24) (fma.f32 1/16 (.f32 5/3 (pow.f32 (fabs.f32 x) 3)) (.f32 (fabs.f32 x) (+.f32 (.f32 (pow.f32 (fabs.f32 x) 2) 1/8) (.f32 -1/16 (.f32 3 (pow.f32 (fabs.f32 x) 2))))))) (/.f32 (pow.f32 s 5) (fabs.f32 x))) (fma.f32 1/16 (/.f32 (fma.f32 1/4 (pow.f32 (fabs.f32 x) 4) (.f32 (pow.f32 (fabs.f32 x) 4) 1/2)) (pow.f32 s 5)) (fma.f32 1/16 (/.f32 (.f32 3 (pow.f32 (fabs.f32 x) 2)) (pow.f32 s 3)) (.f32 1/4 (/.f32 (+.f32 (.f32 (pow.f32 (fabs.f32 x) 2) 1/8) (.f32 -1/16 (.f32 3 (pow.f32 (fabs.f32 x) 2)))) (/.f32 (pow.f32 s 5) (.f32 3 (pow.f32 (fabs.f32 x) 2)))))))))
(-.f32 (-.f32 (fma.f32 1/8 (/.f32 (.f32 x x) (pow.f32 s 3)) (fma.f32 1/96 (/.f32 (pow.f32 (fabs.f32 x) 4) (pow.f32 s 5)) (/.f32 1/4 s))) (/.f32 (-.f32 (.f32 (pow.f32 (fabs.f32 x) 3) 1/24) (fma.f32 (fabs.f32 x) (fma.f32 (.f32 x x) 1/8 (.f32 -3/16 (.f32 x x))) (.f32 5/48 (pow.f32 (fabs.f32 x) 3)))) (pow.f32 s 4))) (+.f32 (.f32 (/.f32 (-.f32 (.f32 (pow.f32 (fabs.f32 x) 3) 1/24) (fma.f32 (fabs.f32 x) (fma.f32 (.f32 x x) 1/8 (.f32 -3/16 (.f32 x x))) (.f32 5/48 (pow.f32 (fabs.f32 x) 3)))) (pow.f32 s 5)) (fabs.f32 x)) (fma.f32 1/16 (/.f32 (.f32 (pow.f32 (fabs.f32 x) 4) 3/4) (pow.f32 s 5)) (fma.f32 1/4 (/.f32 (fma.f32 (.f32 x x) 1/8 (.f32 -3/16 (.f32 x x))) (/.f32 (pow.f32 s 5) (.f32 (.f32 x x) 3))) (/.f32 (.f32 3/16 (.f32 x x)) (pow.f32 s 3))))))
(-.f32 (-.f32 (fma.f32 1/96 (/.f32 (pow.f32 (fabs.f32 x) 4) (pow.f32 s 5)) (fma.f32 1/8 (/.f32 (.f32 x x) (pow.f32 s 3)) (/.f32 1/4 s))) (/.f32 (+.f32 (.f32 (pow.f32 (fabs.f32 x) 3) 5/48) (.f32 (pow.f32 (fabs.f32 x) 3) -5/48)) (pow.f32 s 4))) (fma.f32 (/.f32 (+.f32 (.f32 (pow.f32 (fabs.f32 x) 3) 5/48) (.f32 (pow.f32 (fabs.f32 x) 3) -5/48)) (pow.f32 s 5)) (fabs.f32 x) (fma.f32 1/4 (/.f32 (.f32 (.f32 x x) (.f32 -3/16 (.f32 x x))) (pow.f32 s 5)) (fma.f32 1/16 (/.f32 (.f32 (pow.f32 (fabs.f32 x) 4) 3/4) (pow.f32 s 5)) (/.f32 (.f32 (.f32 x x) 3/16) (pow.f32 s 3))))))
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(*.f32 s (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1))
(fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(*.f32 s (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1))
(fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(*.f32 s (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1))
(fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(*.f32 s (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1))
(fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)
(*.f32 2 s)
(*.f32 s 2)
(+.f32 (.f32 -1 (fabs.f32 x)) (.f32 2 s))
(fma.f32 -1 (fabs.f32 x) (*.f32 s 2))
(-.f32 (*.f32 s 2) (fabs.f32 x))
(+.f32 (.f32 -1 (fabs.f32 x)) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) s)) (*.f32 2 s)))
(fma.f32 -1 (fabs.f32 x) (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) s) (*.f32 s 2)))
(-.f32 (fma.f32 1/2 (/.f32 (.f32 x x) s) (.f32 s 2)) (fabs.f32 x))
(-.f32 (fma.f32 s 2 (.f32 1/2 (/.f32 (.f32 x x) s))) (fabs.f32 x))
(+.f32 (.f32 -1 (fabs.f32 x)) (+.f32 (.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 2))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) s)) (.f32 2 s))))
(fma.f32 -1 (fabs.f32 x) (fma.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (.f32 s s)) (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) s) (.f32 s 2))))
(-.f32 (fma.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (.f32 s s)) (fma.f32 1/2 (/.f32 (.f32 x x) s) (*.f32 s 2))) (fabs.f32 x))
(fma.f32 (/.f32 -1/6 s) (/.f32 (pow.f32 (fabs.f32 x) 3) s) (-.f32 (fma.f32 s 2 (.f32 1/2 (/.f32 (.f32 x x) s))) (fabs.f32 x)))
(*.f32 2 s)
(*.f32 s 2)
(+.f32 (.f32 -1 (fabs.f32 x)) (.f32 2 s))
(fma.f32 -1 (fabs.f32 x) (*.f32 s 2))
(-.f32 (*.f32 s 2) (fabs.f32 x))
(+.f32 (.f32 -1 (fabs.f32 x)) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) s)) (*.f32 2 s)))
(fma.f32 -1 (fabs.f32 x) (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) s) (*.f32 s 2)))
(-.f32 (fma.f32 1/2 (/.f32 (.f32 x x) s) (.f32 s 2)) (fabs.f32 x))
(-.f32 (fma.f32 s 2 (.f32 1/2 (/.f32 (.f32 x x) s))) (fabs.f32 x))
(+.f32 (.f32 -1 (fabs.f32 x)) (+.f32 (.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 2))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) s)) (.f32 2 s))))
(fma.f32 -1 (fabs.f32 x) (fma.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (.f32 s s)) (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) s) (.f32 s 2))))
(-.f32 (fma.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (.f32 s s)) (fma.f32 1/2 (/.f32 (.f32 x x) s) (*.f32 s 2))) (fabs.f32 x))
(fma.f32 (/.f32 -1/6 s) (/.f32 (pow.f32 (fabs.f32 x) 3) s) (-.f32 (fma.f32 s 2 (.f32 1/2 (/.f32 (.f32 x x) s))) (fabs.f32 x)))
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(*.f32 s (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1))
(fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(*.f32 s (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1))
(fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(*.f32 s (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1))
(fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(*.f32 s (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1))
(fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(*.f32 s (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1))
(fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(*.f32 s (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1))
(fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(*.f32 s (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1))
(fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(*.f32 s (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1))
(fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(*.f32 s (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1))
(fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(*.f32 s (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1))
(fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(*.f32 s (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1))
(fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)
(.f32 s (+.f32 (exp.f32 (.f32 -1 (/.f32 (fabs.f32 x) s))) 1))
(*.f32 s (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1))
(fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1)
(+.f32 (exp.f32 (*.f32 -1 (/.f32 (fabs.f32 x) s))) 1)
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 1)
2
(+.f32 2 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(+.f32 (/.f32 (neg.f32 (fabs.f32 x)) s) 2)
(-.f32 2 (/.f32 (fabs.f32 x) s))
(+.f32 2 (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (.f32 -1 (/.f32 (fabs.f32 x) s))))
(+.f32 2 (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (*.f32 s s)) (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 (.f32 1/2 (/.f32 (/.f32 (.f32 x x) s) s)) (-.f32 2 (/.f32 (fabs.f32 x) s)))
(-.f32 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 2) (/.f32 (fabs.f32 x) s))
(+.f32 2 (+.f32 (.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (*.f32 -1 (/.f32 (fabs.f32 x) s)))))
(+.f32 2 (fma.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3)) (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (*.f32 s s)) (/.f32 (neg.f32 (fabs.f32 x)) s))))
(+.f32 2 (fma.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3)) (-.f32 (.f32 1/2 (/.f32 (/.f32 (.f32 x x) s) s)) (/.f32 (fabs.f32 x) s))))
(fma.f32 -1/6 (pow.f32 (/.f32 (fabs.f32 x) s) 3) (-.f32 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 2) (/.f32 (fabs.f32 x) s)))
2
(+.f32 2 (*.f32 -1 (/.f32 (fabs.f32 x) s)))
(+.f32 (/.f32 (neg.f32 (fabs.f32 x)) s) 2)
(-.f32 2 (/.f32 (fabs.f32 x) s))
(+.f32 2 (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (.f32 -1 (/.f32 (fabs.f32 x) s))))
(+.f32 2 (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (*.f32 s s)) (/.f32 (neg.f32 (fabs.f32 x)) s)))
(+.f32 (.f32 1/2 (/.f32 (/.f32 (.f32 x x) s) s)) (-.f32 2 (/.f32 (fabs.f32 x) s)))
(-.f32 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 2) (/.f32 (fabs.f32 x) s))
(+.f32 2 (+.f32 (.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (pow.f32 s 2))) (*.f32 -1 (/.f32 (fabs.f32 x) s)))))
(+.f32 2 (fma.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3)) (fma.f32 1/2 (/.f32 (pow.f32 (fabs.f32 x) 2) (*.f32 s s)) (/.f32 (neg.f32 (fabs.f32 x)) s))))
(+.f32 2 (fma.f32 -1/6 (/.f32 (pow.f32 (fabs.f32 x) 3) (pow.f32 s 3)) (-.f32 (.f32 1/2 (/.f32 (/.f32 (.f32 x x) s) s)) (/.f32 (fabs.f32 x) s))))
(fma.f32 -1/6 (pow.f32 (/.f32 (fabs.f32 x) s) 3) (-.f32 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 2) (/.f32 (fabs.f32 x) s)))

prune414.0ms (12.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	267	1	268
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	268	4	272

Error

0.0b

Counts

272 → 4

Alt Table

Status	Error	Program
	15.9b	(/.f32 (/.f32 1 (+.f32 (pow.f32 (exp.f32 (sqrt.f32 (/.f32 x s))) (sqrt.f32 (/.f32 x s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) 2))) s)
✓	0.0b	(/.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) 2))) s)
	11.8b	(.f32 (/.f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (pow.f32 (cbrt.f32 (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))) 2)) (cbrt.f32 (/.f32 (exp.f32 (/.f32 x s)) (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)))))
▶	11.2b	(/.f32 (/.f32 1 (+.f32 (-.f32 (exp.f32 (log1p.f32 (exp.f32 (/.f32 x s)))) 1) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) 2))) s)

Compiler

Compiled 8560 to 3447 computations (59.7% saved)

localize60.0ms (1.9%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(exp.f32 (log1p.f32 (exp.f32 (/.f32 x s))))
✓	0.0b	(exp.f32 (/.f32 x s))
✓	0.2b	(-.f32 (exp.f32 (log1p.f32 (exp.f32 (/.f32 x s)))) 1)
✓	1.4b	(log1p.f32 (exp.f32 (/.f32 x s)))

series84.0ms (2.6%)

Counts

4 → 84

Calls

24 calls:

Time	Variable		Point	Expression
30.0ms	x	@	inf	(log1p.f32 (exp.f32 (/.f32 x s)))
28.0ms	x	@	-inf	(log1p.f32 (exp.f32 (/.f32 x s)))
14.0ms	s	@	0	(log1p.f32 (exp.f32 (/.f32 x s)))
1.0ms	x	@	0	(log1p.f32 (exp.f32 (/.f32 x s)))
1.0ms	s	@	inf	(log1p.f32 (exp.f32 (/.f32 x s)))

rewrite64.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

816×	`pow1_binary32`
755×	`expm1-log1p-u_binary32`
754×	`log1p-expm1-u_binary32`
82×	`add-sqr-sqrt_binary32`
79×	`*-un-lft-identity_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	30
1	182	29
2	2084	29

Stop Event

1×	node limit

Counts

4 → 119

Calls

Call 1

Inputs
(log1p.f32 (exp.f32 (/.f32 x s)))
(-.f32 (exp.f32 (log1p.f32 (exp.f32 (/.f32 x s)))) 1)
(exp.f32 (/.f32 x s))
(exp.f32 (log1p.f32 (exp.f32 (/.f32 x s))))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (log1p.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (log.f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))) (log.f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (log.f32 (pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 2)) (log.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (log1p.f32 (exp.f32 (/.f32 x s))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (log1p.f32 (exp.f32 (/.f32 x s))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (log1p.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (log1p.f32 (exp.f32 (/.f32 x s)))) (pow.f32 (cbrt.f32 (log1p.f32 (exp.f32 (/.f32 x s)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (log1p.f32 (exp.f32 (/.f32 x s)))) 2) (cbrt.f32 (log1p.f32 (exp.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (log1p.f32 (exp.f32 (/.f32 x s)))) (sqrt.f32 (log1p.f32 (exp.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (log1p.f32 (exp.f32 (/.f32 x s))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (log1p.f32 (exp.f32 (/.f32 x s))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (log1p.f32 (exp.f32 (/.f32 x s)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (log1p.f32 (exp.f32 (/.f32 x s)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (log1p.f32 (exp.f32 (/.f32 x s))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (log1p.f32 (exp.f32 (/.f32 x s))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (log1p.f32 (exp.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (log1p.f32 (exp.f32 (/.f32 x s)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (log1p.f32 (exp.f32 (/.f32 x s)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 -1 (+.f32 (exp.f32 (/.f32 x s)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (exp.f32 (/.f32 x s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (exp.f32 (/.f32 x s)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (exp.f32 (/.f32 x s))) (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (cbrt.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (exp.f32 (/.f32 x s))) (sqrt.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 3) -1) (/.f32 1 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) -1) (/.f32 1 (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 1) (-.f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1)) (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 3) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1) (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 3) -1) (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 3) -1) (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) (-.f32 1 (*.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) -1) (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) -1) (-.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) -1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 3) -1)) (neg.f32 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) -1)) (neg.f32 (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (/.f32 x s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (E.f32) (/.f32 x s))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 x) (/.f32 1 s))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (exp.f32 (/.f32 x s)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (sqrt.f32 (/.f32 x s))) (sqrt.f32 (/.f32 x s)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (/.f32 x s)) 2)) (cbrt.f32 (/.f32 x s)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (exp.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (exp.f32 (/.f32 x s)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (/.f32 x s))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 2) (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (exp.f32 (/.f32 x s))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 -1 (+.f32 (exp.f32 (/.f32 x s)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (/.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 3) (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1))) (/.f32 1 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (/.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1)) (/.f32 1 (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (exp.f32 (/.f32 x s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (exp.f32 (/.f32 x s)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (exp.f32 (/.f32 x s))) (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (cbrt.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (exp.f32 (/.f32 x s))) (sqrt.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 3) -1) (/.f32 1 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) -1) (/.f32 1 (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 1) (-.f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1)) (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 3) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1) (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 3) -1) (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 3) -1) (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) (-.f32 1 (*.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) -1) (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) -1) (-.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) -1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 3) -1)) (neg.f32 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (+.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2) -1)) (neg.f32 (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (/.f32 x s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (E.f32) (/.f32 x s))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 x) (/.f32 1 s))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (exp.f32 (/.f32 x s)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (exp.f32 (/.f32 x s))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (sqrt.f32 (/.f32 x s))) (sqrt.f32 (/.f32 x s)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (/.f32 x s)) 2)) (cbrt.f32 (/.f32 x s)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (exp.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (exp.f32 (/.f32 x s)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 2) (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (exp.f32 (/.f32 x s))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (exp.f32 (/.f32 x s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 1 (exp.f32 (/.f32 x s)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) (pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 2) (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 2) (.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) (*.f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 1 (pow.f32 (exp.f32 (/.f32 x s)) 3)) (+.f32 1 (-.f32 (pow.f32 (exp.f32 (/.f32 x s)) 2) (exp.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 1 (pow.f32 (exp.f32 (/.f32 x s)) 2)) (-.f32 1 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (E.f32) (log1p.f32 (exp.f32 (/.f32 x s))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (sqrt.f32 (log1p.f32 (exp.f32 (/.f32 x s))))) (sqrt.f32 (log1p.f32 (exp.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (log1p.f32 (exp.f32 (/.f32 x s)))) 2)) (cbrt.f32 (log1p.f32 (exp.f32 (/.f32 x s)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)))))))

simplify36.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

940×	`fma-def_binary32`
369×	`associate-+l+_binary32`
314×	`associate-l_binary32`
280×	`associate-r_binary32`
243×	`associate-+r+_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	115	1383
1	342	1231
2	1278	1082

Stop Event

1×	node limit

Counts

203 → 121

Calls

Call 1

Inputs
(log.f32 2)
(+.f32 (log.f32 2) (*.f32 1/2 (/.f32 x s)))
(+.f32 (.f32 1/8 (/.f32 (pow.f32 x 2) (pow.f32 s 2))) (+.f32 (log.f32 2) (.f32 1/2 (/.f32 x s))))
(+.f32 (.f32 1/8 (/.f32 (pow.f32 x 2) (pow.f32 s 2))) (+.f32 (log.f32 2) (+.f32 (.f32 1/2 (/.f32 x s)) (*.f32 -1/192 (/.f32 (pow.f32 x 4) (pow.f32 s 4))))))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log.f32 2)
(+.f32 (log.f32 2) (*.f32 1/2 (/.f32 x s)))
(+.f32 (.f32 1/2 (/.f32 (+.f32 (.f32 1/2 (pow.f32 x 2)) (.f32 -1/4 (pow.f32 x 2))) (pow.f32 s 2))) (+.f32 (log.f32 2) (.f32 1/2 (/.f32 x s))))
(+.f32 (.f32 1/6 (/.f32 (+.f32 (.f32 1/2 (pow.f32 x 3)) (+.f32 (.f32 -3/4 (pow.f32 x 3)) (.f32 1/4 (pow.f32 x 3)))) (pow.f32 s 3))) (+.f32 (.f32 1/2 (/.f32 (+.f32 (.f32 1/2 (pow.f32 x 2)) (.f32 -1/4 (pow.f32 x 2))) (pow.f32 s 2))) (+.f32 (log.f32 2) (.f32 1/2 (/.f32 x s)))))
(log.f32 2)
(+.f32 (log.f32 2) (*.f32 1/2 (/.f32 x s)))
(+.f32 (.f32 1/2 (/.f32 (+.f32 (.f32 1/2 (pow.f32 x 2)) (.f32 -1/4 (pow.f32 x 2))) (pow.f32 s 2))) (+.f32 (log.f32 2) (.f32 1/2 (/.f32 x s))))
(+.f32 (.f32 1/2 (/.f32 (+.f32 (.f32 1/2 (pow.f32 x 2)) (.f32 -1/4 (pow.f32 x 2))) (pow.f32 s 2))) (+.f32 (log.f32 2) (+.f32 (.f32 1/2 (/.f32 x s)) (.f32 -1/6 (/.f32 (+.f32 (.f32 -1/4 (pow.f32 x 3)) (+.f32 (.f32 3/4 (pow.f32 x 3)) (.f32 -1/2 (pow.f32 x 3)))) (pow.f32 s 3))))))
1
(+.f32 1 (/.f32 x s))
(+.f32 1 (+.f32 (/.f32 x s) (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))))
(+.f32 1 (+.f32 (/.f32 x s) (+.f32 (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3))) (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2))))))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
1
(+.f32 1 (/.f32 x s))
(+.f32 (.f32 2 (/.f32 (+.f32 (.f32 1/8 (pow.f32 x 2)) (.f32 1/2 (+.f32 (.f32 1/2 (pow.f32 x 2)) (*.f32 -1/4 (pow.f32 x 2))))) (pow.f32 s 2))) (+.f32 1 (/.f32 x s)))
(+.f32 (.f32 2 (/.f32 (+.f32 (.f32 1/8 (pow.f32 x 2)) (.f32 1/2 (+.f32 (.f32 1/2 (pow.f32 x 2)) (.f32 -1/4 (pow.f32 x 2))))) (pow.f32 s 2))) (+.f32 1 (+.f32 (/.f32 x s) (.f32 2 (/.f32 (+.f32 (.f32 1/6 (+.f32 (.f32 1/2 (pow.f32 x 3)) (+.f32 (.f32 -3/4 (pow.f32 x 3)) (.f32 1/4 (pow.f32 x 3))))) (+.f32 (.f32 1/48 (pow.f32 x 3)) (.f32 1/4 (.f32 (+.f32 (.f32 1/2 (pow.f32 x 2)) (*.f32 -1/4 (pow.f32 x 2))) x)))) (pow.f32 s 3))))))
1
(+.f32 1 (/.f32 x s))
(+.f32 (.f32 2 (/.f32 (+.f32 (.f32 1/8 (pow.f32 x 2)) (.f32 1/2 (+.f32 (.f32 1/2 (pow.f32 x 2)) (*.f32 -1/4 (pow.f32 x 2))))) (pow.f32 s 2))) (+.f32 1 (/.f32 x s)))
(+.f32 (.f32 2 (/.f32 (+.f32 (.f32 1/8 (pow.f32 x 2)) (.f32 1/2 (+.f32 (.f32 1/2 (pow.f32 x 2)) (.f32 -1/4 (pow.f32 x 2))))) (pow.f32 s 2))) (+.f32 1 (+.f32 (/.f32 x s) (.f32 -2 (/.f32 (+.f32 (.f32 -1/4 (.f32 (+.f32 (.f32 1/2 (pow.f32 x 2)) (.f32 -1/4 (pow.f32 x 2))) x)) (+.f32 (.f32 -1/48 (pow.f32 x 3)) (.f32 1/6 (+.f32 (.f32 -1/4 (pow.f32 x 3)) (+.f32 (.f32 3/4 (pow.f32 x 3)) (*.f32 -1/2 (pow.f32 x 3))))))) (pow.f32 s 3))))))
1
(+.f32 1 (/.f32 x s))
(+.f32 1 (+.f32 (/.f32 x s) (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))))
(+.f32 1 (+.f32 (/.f32 x s) (+.f32 (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3))) (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2))))))
1
(+.f32 1 (/.f32 x s))
(+.f32 1 (+.f32 (/.f32 x s) (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))))
(+.f32 1 (+.f32 (/.f32 x s) (+.f32 (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3))) (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2))))))
1
(+.f32 1 (/.f32 x s))
(+.f32 1 (+.f32 (/.f32 x s) (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))))
(+.f32 1 (+.f32 (/.f32 x s) (+.f32 (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3))) (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2))))))
2
(+.f32 2 (/.f32 x s))
(+.f32 2 (+.f32 (/.f32 x s) (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))))
(+.f32 2 (+.f32 (/.f32 x s) (+.f32 (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3))) (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2))))))
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
2
(+.f32 2 (/.f32 x s))
(+.f32 (.f32 2 (/.f32 (+.f32 (.f32 1/8 (pow.f32 x 2)) (.f32 1/2 (+.f32 (.f32 1/2 (pow.f32 x 2)) (*.f32 -1/4 (pow.f32 x 2))))) (pow.f32 s 2))) (+.f32 2 (/.f32 x s)))
(+.f32 (.f32 2 (/.f32 (+.f32 (.f32 1/8 (pow.f32 x 2)) (.f32 1/2 (+.f32 (.f32 1/2 (pow.f32 x 2)) (.f32 -1/4 (pow.f32 x 2))))) (pow.f32 s 2))) (+.f32 2 (+.f32 (/.f32 x s) (.f32 2 (/.f32 (+.f32 (.f32 1/6 (+.f32 (.f32 1/2 (pow.f32 x 3)) (+.f32 (.f32 -3/4 (pow.f32 x 3)) (.f32 1/4 (pow.f32 x 3))))) (+.f32 (.f32 1/48 (pow.f32 x 3)) (.f32 1/4 (.f32 (+.f32 (.f32 1/2 (pow.f32 x 2)) (*.f32 -1/4 (pow.f32 x 2))) x)))) (pow.f32 s 3))))))
2
(+.f32 2 (/.f32 x s))
(+.f32 (.f32 2 (/.f32 (+.f32 (.f32 1/8 (pow.f32 x 2)) (.f32 1/2 (+.f32 (.f32 1/2 (pow.f32 x 2)) (*.f32 -1/4 (pow.f32 x 2))))) (pow.f32 s 2))) (+.f32 2 (/.f32 x s)))
(+.f32 (.f32 -2 (/.f32 (+.f32 (.f32 -1/4 (.f32 (+.f32 (.f32 1/2 (pow.f32 x 2)) (.f32 -1/4 (pow.f32 x 2))) x)) (+.f32 (.f32 -1/48 (pow.f32 x 3)) (.f32 1/6 (+.f32 (.f32 3/4 (pow.f32 x 3)) (+.f32 (.f32 -1/4 (pow.f32 x 3)) (.f32 -1/2 (pow.f32 x 3))))))) (pow.f32 s 3))) (+.f32 (.f32 2 (/.f32 (+.f32 (.f32 1/8 (pow.f32 x 2)) (.f32 1/2 (+.f32 (.f32 1/2 (pow.f32 x 2)) (*.f32 -1/4 (pow.f32 x 2))))) (pow.f32 s 2))) (+.f32 2 (/.f32 x s))))

Outputs
(log.f32 2)
(+.f32 (log.f32 2) (*.f32 1/2 (/.f32 x s)))
(fma.f32 1/2 (/.f32 x s) (log.f32 2))
(+.f32 (.f32 1/8 (/.f32 (pow.f32 x 2) (pow.f32 s 2))) (+.f32 (log.f32 2) (.f32 1/2 (/.f32 x s))))
(fma.f32 1/8 (/.f32 (.f32 x x) (.f32 s s)) (+.f32 (log.f32 2) (*.f32 1/2 (/.f32 x s))))
(fma.f32 1/8 (*.f32 (/.f32 x s) (/.f32 x s)) (fma.f32 1/2 (/.f32 x s) (log.f32 2)))
(+.f32 (.f32 1/8 (/.f32 (pow.f32 x 2) (pow.f32 s 2))) (+.f32 (log.f32 2) (+.f32 (.f32 1/2 (/.f32 x s)) (*.f32 -1/192 (/.f32 (pow.f32 x 4) (pow.f32 s 4))))))
(fma.f32 1/8 (/.f32 (.f32 x x) (.f32 s s)) (+.f32 (log.f32 2) (fma.f32 1/2 (/.f32 x s) (/.f32 (*.f32 -1/192 (pow.f32 x 4)) (pow.f32 s 4)))))
(+.f32 (fma.f32 1/2 (/.f32 x s) (.f32 -1/192 (/.f32 (pow.f32 x 4) (pow.f32 s 4)))) (fma.f32 1/8 (.f32 (/.f32 x s) (/.f32 x s)) (log.f32 2)))
(fma.f32 1/8 (*.f32 (/.f32 x s) (/.f32 x s)) (fma.f32 1/2 (/.f32 x s) (fma.f32 -1/192 (/.f32 (pow.f32 x 4) (pow.f32 s 4)) (log.f32 2))))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log1p.f32 (exp.f32 (/.f32 x s)))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log1p.f32 (exp.f32 (/.f32 x s)))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log1p.f32 (exp.f32 (/.f32 x s)))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log1p.f32 (exp.f32 (/.f32 x s)))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log1p.f32 (exp.f32 (/.f32 x s)))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log1p.f32 (exp.f32 (/.f32 x s)))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log1p.f32 (exp.f32 (/.f32 x s)))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log1p.f32 (exp.f32 (/.f32 x s)))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log1p.f32 (exp.f32 (/.f32 x s)))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log1p.f32 (exp.f32 (/.f32 x s)))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log1p.f32 (exp.f32 (/.f32 x s)))
(log.f32 (+.f32 (exp.f32 (/.f32 x s)) 1))
(log1p.f32 (exp.f32 (/.f32 x s)))
(log.f32 2)
(+.f32 (log.f32 2) (*.f32 1/2 (/.f32 x s)))
(fma.f32 1/2 (/.f32 x s) (log.f32 2))
(+.f32 (.f32 1/2 (/.f32 (+.f32 (.f32 1/2 (pow.f32 x 2)) (.f32 -1/4 (pow.f32 x 2))) (pow.f32 s 2))) (+.f32 (log.f32 2) (.f32 1/2 (/.f32 x s))))
(fma.f32 1/8 (/.f32 (.f32 x x) (.f32 s s)) (+.f32 (log.f32 2) (*.f32 1/2 (/.f32 x s))))
(fma.f32 1/8 (*.f32 (/.f32 x s) (/.f32 x s)) (fma.f32 1/2 (/.f32 x s) (log.f32 2)))
(+.f32 (.f32 1/6 (/.f32 (+.f32 (.f32 1/2 (pow.f32 x 3)) (+.f32 (.f32 -3/4 (pow.f32 x 3)) (.f32 1/4 (pow.f32 x 3)))) (pow.f32 s 3))) (+.f32 (.f32 1/2 (/.f32 (+.f32 (.f32 1/2 (pow.f32 x 2)) (.f32 -1/4 (pow.f32 x 2))) (pow.f32 s 2))) (+.f32 (log.f32 2) (.f32 1/2 (/.f32 x s)))))
(fma.f32 1/6 (/.f32 (fma.f32 1/2 (pow.f32 x 3) (.f32 (pow.f32 x 3) -1/2)) (pow.f32 s 3)) (fma.f32 1/2 (/.f32 (.f32 (.f32 x x) 1/4) (.f32 s s)) (+.f32 (log.f32 2) (*.f32 1/2 (/.f32 x s)))))
(fma.f32 1/6 (/.f32 (.f32 (pow.f32 x 3) 0) (pow.f32 s 3)) (fma.f32 1/8 (.f32 (/.f32 x s) (/.f32 x s)) (fma.f32 1/2 (/.f32 x s) (log.f32 2))))
(+.f32 (log.f32 2) (fma.f32 1/8 (*.f32 (/.f32 x s) (/.f32 x s)) (fma.f32 1/2 (/.f32 x s) (/.f32 0 (pow.f32 s 3)))))
(log.f32 2)
(+.f32 (log.f32 2) (*.f32 1/2 (/.f32 x s)))
(fma.f32 1/2 (/.f32 x s) (log.f32 2))
(+.f32 (.f32 1/2 (/.f32 (+.f32 (.f32 1/2 (pow.f32 x 2)) (.f32 -1/4 (pow.f32 x 2))) (pow.f32 s 2))) (+.f32 (log.f32 2) (.f32 1/2 (/.f32 x s))))
(fma.f32 1/8 (/.f32 (.f32 x x) (.f32 s s)) (+.f32 (log.f32 2) (*.f32 1/2 (/.f32 x s))))
(fma.f32 1/8 (*.f32 (/.f32 x s) (/.f32 x s)) (fma.f32 1/2 (/.f32 x s) (log.f32 2)))
(+.f32 (.f32 1/2 (/.f32 (+.f32 (.f32 1/2 (pow.f32 x 2)) (.f32 -1/4 (pow.f32 x 2))) (pow.f32 s 2))) (+.f32 (log.f32 2) (+.f32 (.f32 1/2 (/.f32 x s)) (.f32 -1/6 (/.f32 (+.f32 (.f32 -1/4 (pow.f32 x 3)) (+.f32 (.f32 3/4 (pow.f32 x 3)) (.f32 -1/2 (pow.f32 x 3)))) (pow.f32 s 3))))))
(fma.f32 1/6 (/.f32 (fma.f32 1/2 (pow.f32 x 3) (.f32 (pow.f32 x 3) -1/2)) (pow.f32 s 3)) (fma.f32 1/2 (/.f32 (.f32 (.f32 x x) 1/4) (.f32 s s)) (+.f32 (log.f32 2) (*.f32 1/2 (/.f32 x s)))))
(fma.f32 1/6 (/.f32 (.f32 (pow.f32 x 3) 0) (pow.f32 s 3)) (fma.f32 1/8 (.f32 (/.f32 x s) (/.f32 x s)) (fma.f32 1/2 (/.f32 x s) (log.f32 2))))
(+.f32 (log.f32 2) (fma.f32 1/8 (*.f32 (/.f32 x s) (/.f32 x s)) (fma.f32 1/2 (/.f32 x s) (/.f32 0 (pow.f32 s 3)))))
1
(+.f32 1 (/.f32 x s))
(+.f32 (/.f32 x s) 1)
(+.f32 1 (+.f32 (/.f32 x s) (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))))
(+.f32 1 (+.f32 (/.f32 x s) (/.f32 (.f32 1/2 (.f32 x x)) (*.f32 s s))))
(+.f32 1 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) (/.f32 x s)))
(+.f32 (/.f32 x s) (fma.f32 (/.f32 (*.f32 x x) s) (/.f32 1/2 s) 1))
(+.f32 1 (+.f32 (/.f32 x s) (+.f32 (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3))) (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2))))))
(+.f32 (+.f32 (/.f32 x s) 1) (fma.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) (/.f32 (.f32 1/2 (.f32 x x)) (*.f32 s s))))
(+.f32 (/.f32 x s) (+.f32 (fma.f32 1/2 (.f32 (/.f32 x s) (/.f32 x s)) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))) 1))
(+.f32 1 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) (fma.f32 1/6 (pow.f32 (/.f32 x s) 3) (/.f32 x s))))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
(exp.f32 (/.f32 x s))
1
(+.f32 1 (/.f32 x s))
(+.f32 (/.f32 x s) 1)
(+.f32 (.f32 2 (/.f32 (+.f32 (.f32 1/8 (pow.f32 x 2)) (.f32 1/2 (+.f32 (.f32 1/2 (pow.f32 x 2)) (*.f32 -1/4 (pow.f32 x 2))))) (pow.f32 s 2))) (+.f32 1 (/.f32 x s)))
(fma.f32 2 (/.f32 (fma.f32 1/8 (.f32 x x) (.f32 1/2 (.f32 (.f32 x x) 1/4))) (*.f32 s s)) (+.f32 (/.f32 x s) 1))
(fma.f32 2 (/.f32 (fma.f32 1/8 (.f32 x x) (.f32 x (.f32 x 1/8))) (.f32 s s)) (+.f32 (/.f32 x s) 1))
(+.f32 (/.f32 x s) (fma.f32 (/.f32 2 s) (/.f32 (.f32 x (.f32 x 1/4)) s) 1))
(+.f32 (.f32 2 (/.f32 (+.f32 (.f32 1/8 (pow.f32 x 2)) (.f32 1/2 (+.f32 (.f32 1/2 (pow.f32 x 2)) (.f32 -1/4 (pow.f32 x 2))))) (pow.f32 s 2))) (+.f32 1 (+.f32 (/.f32 x s) (.f32 2 (/.f32 (+.f32 (.f32 1/6 (+.f32 (.f32 1/2 (pow.f32 x 3)) (+.f32 (.f32 -3/4 (pow.f32 x 3)) (.f32 1/4 (pow.f32 x 3))))) (+.f32 (.f32 1/48 (pow.f32 x 3)) (.f32 1/4 (.f32 (+.f32 (.f32 1/2 (pow.f32 x 2)) (*.f32 -1/4 (pow.f32 x 2))) x)))) (pow.f32 s 3))))))
(fma.f32 2 (/.f32 (fma.f32 1/8 (.f32 x x) (.f32 1/2 (.f32 (.f32 x x) 1/4))) (.f32 s s)) (+.f32 (+.f32 (/.f32 x s) 1) (.f32 2 (/.f32 (fma.f32 1/6 (fma.f32 1/2 (pow.f32 x 3) (.f32 (pow.f32 x 3) -1/2)) (fma.f32 1/48 (pow.f32 x 3) (.f32 1/4 (.f32 x (.f32 (*.f32 x x) 1/4))))) (pow.f32 s 3)))))
(+.f32 (fma.f32 2 (/.f32 (fma.f32 1/6 (.f32 (pow.f32 x 3) 0) (fma.f32 (pow.f32 x 3) 1/48 (.f32 1/4 (.f32 (pow.f32 x 3) 1/4)))) (pow.f32 s 3)) (/.f32 x s)) (fma.f32 2 (/.f32 (fma.f32 1/8 (.f32 x x) (.f32 x (.f32 x 1/8))) (*.f32 s s)) 1))
(+.f32 (fma.f32 2 (/.f32 (fma.f32 (pow.f32 x 3) 1/48 (.f32 (pow.f32 x 3) 1/16)) (pow.f32 s 3)) (/.f32 x s)) (fma.f32 (/.f32 2 s) (/.f32 (.f32 x (*.f32 x 1/4)) s) 1))
1
(+.f32 1 (/.f32 x s))
(+.f32 (/.f32 x s) 1)
(+.f32 (.f32 2 (/.f32 (+.f32 (.f32 1/8 (pow.f32 x 2)) (.f32 1/2 (+.f32 (.f32 1/2 (pow.f32 x 2)) (*.f32 -1/4 (pow.f32 x 2))))) (pow.f32 s 2))) (+.f32 1 (/.f32 x s)))
(fma.f32 2 (/.f32 (fma.f32 1/8 (.f32 x x) (.f32 1/2 (.f32 (.f32 x x) 1/4))) (*.f32 s s)) (+.f32 (/.f32 x s) 1))
(fma.f32 2 (/.f32 (fma.f32 1/8 (.f32 x x) (.f32 x (.f32 x 1/8))) (.f32 s s)) (+.f32 (/.f32 x s) 1))
(+.f32 (/.f32 x s) (fma.f32 (/.f32 2 s) (/.f32 (.f32 x (.f32 x 1/4)) s) 1))
(+.f32 (.f32 2 (/.f32 (+.f32 (.f32 1/8 (pow.f32 x 2)) (.f32 1/2 (+.f32 (.f32 1/2 (pow.f32 x 2)) (.f32 -1/4 (pow.f32 x 2))))) (pow.f32 s 2))) (+.f32 1 (+.f32 (/.f32 x s) (.f32 -2 (/.f32 (+.f32 (.f32 -1/4 (.f32 (+.f32 (.f32 1/2 (pow.f32 x 2)) (.f32 -1/4 (pow.f32 x 2))) x)) (+.f32 (.f32 -1/48 (pow.f32 x 3)) (.f32 1/6 (+.f32 (.f32 -1/4 (pow.f32 x 3)) (+.f32 (.f32 3/4 (pow.f32 x 3)) (*.f32 -1/2 (pow.f32 x 3))))))) (pow.f32 s 3))))))
(fma.f32 2 (/.f32 (fma.f32 1/8 (.f32 x x) (.f32 1/2 (.f32 (.f32 x x) 1/4))) (.f32 s s)) (+.f32 (+.f32 (/.f32 x s) 1) (.f32 -2 (/.f32 (fma.f32 -1/4 (.f32 x (.f32 (.f32 x x) 1/4)) (fma.f32 -1/48 (pow.f32 x 3) (.f32 1/6 (fma.f32 -1/4 (pow.f32 x 3) (*.f32 (pow.f32 x 3) 1/4))))) (pow.f32 s 3)))))
(+.f32 (fma.f32 -2 (/.f32 (fma.f32 -1/4 (.f32 (pow.f32 x 3) 1/4) (fma.f32 1/6 (.f32 (pow.f32 x 3) 0) (.f32 (pow.f32 x 3) -1/48))) (pow.f32 s 3)) (/.f32 x s)) (fma.f32 2 (/.f32 (fma.f32 1/8 (.f32 x x) (.f32 x (.f32 x 1/8))) (*.f32 s s)) 1))
(+.f32 (fma.f32 -2 (/.f32 (fma.f32 (pow.f32 x 3) -1/48 (.f32 (pow.f32 x 3) -1/16)) (pow.f32 s 3)) (/.f32 x s)) (fma.f32 (/.f32 2 s) (/.f32 (.f32 x (*.f32 x 1/4)) s) 1))
1
(+.f32 1 (/.f32 x s))
(+.f32 (/.f32 x s) 1)
(+.f32 1 (+.f32 (/.f32 x s) (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))))
(+.f32 1 (+.f32 (/.f32 x s) (/.f32 (.f32 1/2 (.f32 x x)) (*.f32 s s))))
(+.f32 1 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) (/.f32 x s)))
(+.f32 (/.f32 x s) (fma.f32 (/.f32 (*.f32 x x) s) (/.f32 1/2 s) 1))
(+.f32 1 (+.f32 (/.f32 x s) (+.f32 (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3))) (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2))))))
(+.f32 (+.f32 (/.f32 x s) 1) (fma.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) (/.f32 (.f32 1/2 (.f32 x x)) (*.f32 s s))))
(+.f32 (/.f32 x s) (+.f32 (fma.f32 1/2 (.f32 (/.f32 x s) (/.f32 x s)) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))) 1))
(+.f32 1 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) (fma.f32 1/6 (pow.f32 (/.f32 x s) 3) (/.f32 x s))))
1
(+.f32 1 (/.f32 x s))
(+.f32 (/.f32 x s) 1)
(+.f32 1 (+.f32 (/.f32 x s) (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))))
(+.f32 1 (+.f32 (/.f32 x s) (/.f32 (.f32 1/2 (.f32 x x)) (*.f32 s s))))
(+.f32 1 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) (/.f32 x s)))
(+.f32 (/.f32 x s) (fma.f32 (/.f32 (*.f32 x x) s) (/.f32 1/2 s) 1))
(+.f32 1 (+.f32 (/.f32 x s) (+.f32 (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3))) (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2))))))
(+.f32 (+.f32 (/.f32 x s) 1) (fma.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) (/.f32 (.f32 1/2 (.f32 x x)) (*.f32 s s))))
(+.f32 (/.f32 x s) (+.f32 (fma.f32 1/2 (.f32 (/.f32 x s) (/.f32 x s)) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))) 1))
(+.f32 1 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) (fma.f32 1/6 (pow.f32 (/.f32 x s) 3) (/.f32 x s))))
1
(+.f32 1 (/.f32 x s))
(+.f32 (/.f32 x s) 1)
(+.f32 1 (+.f32 (/.f32 x s) (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))))
(+.f32 1 (+.f32 (/.f32 x s) (/.f32 (.f32 1/2 (.f32 x x)) (*.f32 s s))))
(+.f32 1 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) (/.f32 x s)))
(+.f32 (/.f32 x s) (fma.f32 (/.f32 (*.f32 x x) s) (/.f32 1/2 s) 1))
(+.f32 1 (+.f32 (/.f32 x s) (+.f32 (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3))) (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2))))))
(+.f32 (+.f32 (/.f32 x s) 1) (fma.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) (/.f32 (.f32 1/2 (.f32 x x)) (*.f32 s s))))
(+.f32 (/.f32 x s) (+.f32 (fma.f32 1/2 (.f32 (/.f32 x s) (/.f32 x s)) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))) 1))
(+.f32 1 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) (fma.f32 1/6 (pow.f32 (/.f32 x s) 3) (/.f32 x s))))
2
(+.f32 2 (/.f32 x s))
(+.f32 2 (+.f32 (/.f32 x s) (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))))
(+.f32 (+.f32 2 (/.f32 x s)) (/.f32 (.f32 1/2 (.f32 x x)) (*.f32 s s)))
(+.f32 2 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) (/.f32 x s)))
(fma.f32 (/.f32 (*.f32 x x) s) (/.f32 1/2 s) (+.f32 2 (/.f32 x s)))
(+.f32 2 (+.f32 (/.f32 x s) (+.f32 (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3))) (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2))))))
(+.f32 (+.f32 2 (/.f32 x s)) (fma.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) (/.f32 (.f32 1/2 (.f32 x x)) (*.f32 s s))))
(+.f32 2 (+.f32 (/.f32 x s) (fma.f32 1/2 (.f32 (/.f32 x s) (/.f32 x s)) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))))
(+.f32 2 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) (fma.f32 1/6 (pow.f32 (/.f32 x s) 3) (/.f32 x s))))
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
(+.f32 (exp.f32 (/.f32 x s)) 1)
2
(+.f32 2 (/.f32 x s))
(+.f32 (.f32 2 (/.f32 (+.f32 (.f32 1/8 (pow.f32 x 2)) (.f32 1/2 (+.f32 (.f32 1/2 (pow.f32 x 2)) (*.f32 -1/4 (pow.f32 x 2))))) (pow.f32 s 2))) (+.f32 2 (/.f32 x s)))
(fma.f32 2 (/.f32 (fma.f32 1/8 (.f32 x x) (.f32 1/2 (.f32 (.f32 x x) 1/4))) (*.f32 s s)) (+.f32 2 (/.f32 x s)))
(+.f32 (/.f32 x s) (fma.f32 2 (/.f32 (fma.f32 1/8 (.f32 x x) (.f32 x (.f32 x 1/8))) (.f32 s s)) 2))
(+.f32 2 (fma.f32 2 (.f32 (/.f32 x s) (/.f32 (.f32 x 1/4) s)) (/.f32 x s)))
(+.f32 (.f32 2 (/.f32 (+.f32 (.f32 1/8 (pow.f32 x 2)) (.f32 1/2 (+.f32 (.f32 1/2 (pow.f32 x 2)) (.f32 -1/4 (pow.f32 x 2))))) (pow.f32 s 2))) (+.f32 2 (+.f32 (/.f32 x s) (.f32 2 (/.f32 (+.f32 (.f32 1/6 (+.f32 (.f32 1/2 (pow.f32 x 3)) (+.f32 (.f32 -3/4 (pow.f32 x 3)) (.f32 1/4 (pow.f32 x 3))))) (+.f32 (.f32 1/48 (pow.f32 x 3)) (.f32 1/4 (.f32 (+.f32 (.f32 1/2 (pow.f32 x 2)) (*.f32 -1/4 (pow.f32 x 2))) x)))) (pow.f32 s 3))))))
(fma.f32 2 (/.f32 (fma.f32 1/8 (.f32 x x) (.f32 1/2 (.f32 (.f32 x x) 1/4))) (.f32 s s)) (+.f32 2 (+.f32 (/.f32 x s) (.f32 2 (/.f32 (fma.f32 1/6 (fma.f32 1/2 (pow.f32 x 3) (.f32 (pow.f32 x 3) -1/2)) (fma.f32 1/48 (pow.f32 x 3) (.f32 1/4 (.f32 x (.f32 (*.f32 x x) 1/4))))) (pow.f32 s 3))))))
(+.f32 (fma.f32 2 (/.f32 (fma.f32 1/6 (.f32 (pow.f32 x 3) 0) (fma.f32 (pow.f32 x 3) 1/48 (.f32 1/4 (.f32 (pow.f32 x 3) 1/4)))) (pow.f32 s 3)) (/.f32 x s)) (fma.f32 2 (/.f32 (fma.f32 1/8 (.f32 x x) (.f32 x (.f32 x 1/8))) (*.f32 s s)) 2))
(+.f32 (fma.f32 2 (/.f32 (fma.f32 (pow.f32 x 3) 1/48 (.f32 (pow.f32 x 3) 1/16)) (pow.f32 s 3)) (/.f32 x s)) (fma.f32 2 (.f32 (/.f32 x s) (/.f32 (*.f32 x 1/4) s)) 2))
2
(+.f32 2 (/.f32 x s))
(+.f32 (.f32 2 (/.f32 (+.f32 (.f32 1/8 (pow.f32 x 2)) (.f32 1/2 (+.f32 (.f32 1/2 (pow.f32 x 2)) (*.f32 -1/4 (pow.f32 x 2))))) (pow.f32 s 2))) (+.f32 2 (/.f32 x s)))
(fma.f32 2 (/.f32 (fma.f32 1/8 (.f32 x x) (.f32 1/2 (.f32 (.f32 x x) 1/4))) (*.f32 s s)) (+.f32 2 (/.f32 x s)))
(+.f32 (/.f32 x s) (fma.f32 2 (/.f32 (fma.f32 1/8 (.f32 x x) (.f32 x (.f32 x 1/8))) (.f32 s s)) 2))
(+.f32 2 (fma.f32 2 (.f32 (/.f32 x s) (/.f32 (.f32 x 1/4) s)) (/.f32 x s)))
(+.f32 (.f32 -2 (/.f32 (+.f32 (.f32 -1/4 (.f32 (+.f32 (.f32 1/2 (pow.f32 x 2)) (.f32 -1/4 (pow.f32 x 2))) x)) (+.f32 (.f32 -1/48 (pow.f32 x 3)) (.f32 1/6 (+.f32 (.f32 3/4 (pow.f32 x 3)) (+.f32 (.f32 -1/4 (pow.f32 x 3)) (.f32 -1/2 (pow.f32 x 3))))))) (pow.f32 s 3))) (+.f32 (.f32 2 (/.f32 (+.f32 (.f32 1/8 (pow.f32 x 2)) (.f32 1/2 (+.f32 (.f32 1/2 (pow.f32 x 2)) (*.f32 -1/4 (pow.f32 x 2))))) (pow.f32 s 2))) (+.f32 2 (/.f32 x s))))
(fma.f32 -2 (/.f32 (fma.f32 -1/4 (.f32 x (.f32 (.f32 x x) 1/4)) (fma.f32 -1/48 (pow.f32 x 3) (.f32 1/6 (fma.f32 3/4 (pow.f32 x 3) (.f32 (pow.f32 x 3) -3/4))))) (pow.f32 s 3)) (fma.f32 2 (/.f32 (fma.f32 1/8 (.f32 x x) (.f32 1/2 (.f32 (.f32 x x) 1/4))) (.f32 s s)) (+.f32 2 (/.f32 x s))))
(+.f32 (fma.f32 2 (/.f32 (fma.f32 1/8 (.f32 x x) (.f32 x (.f32 x 1/8))) (.f32 s s)) 2) (fma.f32 -2 (/.f32 (fma.f32 -1/4 (.f32 (pow.f32 x 3) 1/4) (fma.f32 1/6 (.f32 (pow.f32 x 3) 0) (*.f32 (pow.f32 x 3) -1/48))) (pow.f32 s 3)) (/.f32 x s)))
(+.f32 (fma.f32 -2 (/.f32 (fma.f32 (pow.f32 x 3) -1/48 (.f32 (pow.f32 x 3) -1/16)) (pow.f32 s 3)) (/.f32 x s)) (fma.f32 2 (.f32 (/.f32 x s) (/.f32 (*.f32 x 1/4) s)) 2))

prune123.0ms (3.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	121	0	121
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	121	4	125

Error

0.0b

Counts

125 → 4

Alt Table

Status	Error	Program
	15.9b	(/.f32 (/.f32 1 (+.f32 (pow.f32 (exp.f32 (sqrt.f32 (/.f32 x s))) (sqrt.f32 (/.f32 x s))) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) 2))) s)
✓	0.0b	(/.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) 2))) s)
▶	11.8b	(.f32 (/.f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (pow.f32 (cbrt.f32 (.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))) 2)) (cbrt.f32 (/.f32 (exp.f32 (/.f32 x s)) (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)))))
✓	11.2b	(/.f32 (/.f32 1 (+.f32 (-.f32 (exp.f32 (log1p.f32 (exp.f32 (/.f32 x s)))) 1) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) 2))) s)

Compiler

Compiled 3936 to 2196 computations (44.2% saved)

localize92.0ms (2.9%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(cbrt.f32 (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)))
✓	0.3b	(pow.f32 (cbrt.f32 (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))) 2)
✓	1.6b	(/.f32 (exp.f32 (/.f32 x s)) (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2)))
✓	1.7b	(/.f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (pow.f32 (cbrt.f32 (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))) 2))

series25.0ms (0.8%)

Calls

5 calls:

Time	Variable		Point	Expression
10.0ms	s	@	inf	(/.f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (pow.f32 (cbrt.f32 (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))) 2))
5.0ms	x	@	0	(/.f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (pow.f32 (cbrt.f32 (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))) 2))
4.0ms	x	@	inf	(/.f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (pow.f32 (cbrt.f32 (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))) 2))
4.0ms	x	@	-inf	(/.f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (pow.f32 (cbrt.f32 (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))) 2))
1.0ms	s	@	0	(/.f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (pow.f32 (cbrt.f32 (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))) 2))

end0.0ms (0%)

Calls

1 calls:

Time	Variable		Point	Expression
0.0ms	s	@	-inf	(/.f32 (pow.f32 (cbrt.f32 (exp.f32 (/.f32 x s))) 2) (pow.f32 (cbrt.f32 (*.f32 s (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) 2))) 2))

Details

analyze119.0ms (3.7%)

sample1.6s (50.7%)

preprocess35.0ms (1.1%)

simplify36.0ms (1.1%)

prune4.0ms (0.1%)

localize47.0ms (1.5%)

series15.0ms (0.5%)

rewrite70.0ms (2.2%)

simplify47.0ms (1.5%)

prune125.0ms (3.9%)

localize39.0ms (1.2%)

series23.0ms (0.7%)

rewrite65.0ms (2%)

simplify56.0ms (1.7%)

prune414.0ms (12.9%)

localize60.0ms (1.9%)

series84.0ms (2.6%)

rewrite64.0ms (2%)

simplify36.0ms (1.1%)

prune123.0ms (3.9%)

localize92.0ms (2.9%)

series25.0ms (0.8%)

end0.0ms (0%)

Profiling