Details

analyze105.0ms (5%)

Algorithm

1×

Search

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

Compiler

Compiled 18 to 14 computations (22.2% saved)

sample1.3s (62.9%)

Results

1.3s

8256×

body

128

valid

Compiler

Compiled 36 to 28 computations (22.2% saved)

preprocess37.0ms (1.7%)

Algorithm

2×	egg-herbie

Rules

434×	`fma-def_binary32`
401×	`associate-/l*_binary32`
298×	`associate-/l/_binary32`
270×	`associate-/r*_binary32`
208×	`unswap-sqr_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	28
1	27	28
2	45	28
3	69	28
4	96	28
5	160	28
6	306	28
7	665	28
8	1503	28
9	4050	28
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

Outputs
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 s) x))))

Compiler

Compiled 11 to 9 computations (18.2% saved)

simplify21.0ms (1%)

Algorithm

1×	egg-herbie

Rules

518×	`unswap-sqr_binary32`
340×	`times-frac_binary32`
331×	`associate-l_binary32`
260×	`associate-r_binary32`
208×	`fma-def_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	17	14
2	27	14
3	40	14
4	54	14
5	88	14
6	162	14
7	344	14
8	773	14
9	2616	14

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

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

Outputs
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))

Compiler

Compiled 33 to 27 computations (18.2% saved)

localize22.0ms (1%)

Local error

Found 3 expressions with local error:

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

series10.0ms (0.5%)

Counts

3 → 72

Calls

18 calls:

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

rewrite52.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

822×	`log1p-expm1-u_binary32`
822×	`expm1-log1p-u_binary32`
97×	`add-sqr-sqrt_binary32`
94×	`*-un-lft-identity_binary32`
94×	`pow1_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	33
1	192	27
2	2671	27

Stop Event

1×	node limit

Counts

3 → 83

Calls

Call 1

Inputs
(exp.f32 (/.f32 (neg.f32 x) s))
(+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s)))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.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 (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 (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 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)) 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 1 (+.f32 (exp.f32 (/.f32 x s)) 1)))))) (#(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 (exp.f32 (/.f32 x s)) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 2) (cbrt.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 -1 (neg.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 (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 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)))))) (#(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 -.f32 (exp.f32 (log1p.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1))) (cbrt.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) -2)) (cbrt.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) -1/2) (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 -1 (/.f32 1 (+.f32 -1 (neg.f32 (exp.f32 (/.f32 x s))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 2) -1) (pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) -1) (pow.f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (+.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 (-.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 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) -1/2) 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 1 (+.f32 (exp.f32 (/.f32 x s)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (neg.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 exp.f32 (*.f32 (neg.f32 (log1p.f32 (exp.f32 (/.f32 x s)))) 1))))))

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 (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 (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 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)) 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 1 (+.f32 (exp.f32 (/.f32 x s)) 1)))))) (#(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 (exp.f32 (/.f32 x s)) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 2) (cbrt.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 -1 (neg.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 (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 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)))))) (#(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 -.f32 (exp.f32 (log1p.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1))) (cbrt.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) -2)) (cbrt.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) -1/2) (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 -1 (/.f32 1 (+.f32 -1 (neg.f32 (exp.f32 (/.f32 x s))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) 2) -1) (pow.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) -1) (pow.f32 (sqrt.f32 (+.f32 (exp.f32 (/.f32 x s)) 1)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (+.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 (-.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 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (+.f32 (exp.f32 (/.f32 x s)) 1) -1/2) 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 1 (+.f32 (exp.f32 (/.f32 x s)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 x s)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (neg.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 exp.f32 (*.f32 (neg.f32 (log1p.f32 (exp.f32 (/.f32 x s)))) 1))))))

simplify53.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

727×	`cancel-sign-sub-inv_binary32`
632×	`fma-def_binary32`
550×	`associate-/r*_binary32`
320×	`fma-neg_binary32`
193×	`associate-/r/_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	45	1020
1	128	966
2	368	918
3	1574	906

Stop Event

1×	node limit

Counts

155 → 108

Calls

Call 1

Inputs
1
(-.f32 1 (/.f32 x s))
(-.f32 (+.f32 1 (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (/.f32 x s))
(-.f32 (+.f32 1 (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (+.f32 (/.f32 x s) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (*.f32 -1 (/.f32 x s)))
1
(-.f32 1 (/.f32 x s))
(-.f32 (+.f32 1 (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (/.f32 x s))
(-.f32 (+.f32 1 (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (+.f32 (/.f32 x s) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))))
1
(-.f32 1 (/.f32 x s))
(-.f32 (+.f32 1 (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (/.f32 x s))
(-.f32 (+.f32 1 (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (+.f32 (/.f32 x s) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))))
2
(-.f32 2 (/.f32 x s))
(-.f32 (+.f32 2 (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (/.f32 x s))
(-.f32 (+.f32 2 (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (+.f32 (/.f32 x s) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
2
(-.f32 2 (/.f32 x s))
(-.f32 (+.f32 2 (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (/.f32 x s))
(-.f32 (+.f32 2 (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (+.f32 (/.f32 x s) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))))
2
(-.f32 2 (/.f32 x s))
(-.f32 (+.f32 2 (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (/.f32 x s))
(-.f32 (+.f32 2 (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (+.f32 (/.f32 x s) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))))
1/2
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(-.f32 (+.f32 1/2 (.f32 1/4 (/.f32 x s))) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
1/2
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(-.f32 (+.f32 1/2 (.f32 1/4 (/.f32 x s))) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
1/2
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(-.f32 (+.f32 1/2 (.f32 1/4 (/.f32 x s))) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))

Outputs
1
(-.f32 1 (/.f32 x s))
(-.f32 (+.f32 1 (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (/.f32 x s))
(+.f32 1 (-.f32 (.f32 1/2 (/.f32 (.f32 x x) (*.f32 s s))) (/.f32 x s)))
(-.f32 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 1) (/.f32 x s))
(-.f32 (fma.f32 1/2 (.f32 (/.f32 x (.f32 s s)) x) 1) (/.f32 x s))
(+.f32 1 (.f32 (/.f32 x s) (+.f32 -1 (.f32 1/2 (/.f32 x s)))))
(-.f32 (+.f32 1 (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (+.f32 (/.f32 x s) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))))
(-.f32 (+.f32 1 (.f32 1/2 (/.f32 (.f32 x x) (.f32 s s)))) (+.f32 (/.f32 x s) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))))
(-.f32 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 1) (fma.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) (/.f32 x s)))
(-.f32 (fma.f32 1/2 (.f32 (/.f32 x (.f32 s s)) x) 1) (fma.f32 1/6 (pow.f32 (/.f32 x s) 3) (/.f32 x s)))
(-.f32 (.f32 (/.f32 x s) (+.f32 -1 (.f32 1/2 (/.f32 x s)))) (fma.f32 1/6 (pow.f32 (/.f32 x s) 3) -1))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (neg.f32 (/.f32 x s)))
(exp.f32 (/.f32 (neg.f32 x) s))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (neg.f32 (/.f32 x s)))
(exp.f32 (/.f32 (neg.f32 x) s))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (neg.f32 (/.f32 x s)))
(exp.f32 (/.f32 (neg.f32 x) s))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (neg.f32 (/.f32 x s)))
(exp.f32 (/.f32 (neg.f32 x) s))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (neg.f32 (/.f32 x s)))
(exp.f32 (/.f32 (neg.f32 x) s))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (neg.f32 (/.f32 x s)))
(exp.f32 (/.f32 (neg.f32 x) s))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (neg.f32 (/.f32 x s)))
(exp.f32 (/.f32 (neg.f32 x) s))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (neg.f32 (/.f32 x s)))
(exp.f32 (/.f32 (neg.f32 x) s))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (neg.f32 (/.f32 x s)))
(exp.f32 (/.f32 (neg.f32 x) s))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (neg.f32 (/.f32 x s)))
(exp.f32 (/.f32 (neg.f32 x) s))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (neg.f32 (/.f32 x s)))
(exp.f32 (/.f32 (neg.f32 x) s))
(exp.f32 (*.f32 -1 (/.f32 x s)))
(exp.f32 (neg.f32 (/.f32 x s)))
(exp.f32 (/.f32 (neg.f32 x) s))
1
(-.f32 1 (/.f32 x s))
(-.f32 (+.f32 1 (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (/.f32 x s))
(+.f32 1 (-.f32 (.f32 1/2 (/.f32 (.f32 x x) (*.f32 s s))) (/.f32 x s)))
(-.f32 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 1) (/.f32 x s))
(-.f32 (fma.f32 1/2 (.f32 (/.f32 x (.f32 s s)) x) 1) (/.f32 x s))
(+.f32 1 (.f32 (/.f32 x s) (+.f32 -1 (.f32 1/2 (/.f32 x s)))))
(-.f32 (+.f32 1 (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (+.f32 (/.f32 x s) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))))
(-.f32 (+.f32 1 (.f32 1/2 (/.f32 (.f32 x x) (.f32 s s)))) (+.f32 (/.f32 x s) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))))
(-.f32 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 1) (fma.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) (/.f32 x s)))
(-.f32 (fma.f32 1/2 (.f32 (/.f32 x (.f32 s s)) x) 1) (fma.f32 1/6 (pow.f32 (/.f32 x s) 3) (/.f32 x s)))
(-.f32 (.f32 (/.f32 x s) (+.f32 -1 (.f32 1/2 (/.f32 x s)))) (fma.f32 1/6 (pow.f32 (/.f32 x s) 3) -1))
1
(-.f32 1 (/.f32 x s))
(-.f32 (+.f32 1 (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (/.f32 x s))
(+.f32 1 (-.f32 (.f32 1/2 (/.f32 (.f32 x x) (*.f32 s s))) (/.f32 x s)))
(-.f32 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 1) (/.f32 x s))
(-.f32 (fma.f32 1/2 (.f32 (/.f32 x (.f32 s s)) x) 1) (/.f32 x s))
(+.f32 1 (.f32 (/.f32 x s) (+.f32 -1 (.f32 1/2 (/.f32 x s)))))
(-.f32 (+.f32 1 (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (+.f32 (/.f32 x s) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))))
(-.f32 (+.f32 1 (.f32 1/2 (/.f32 (.f32 x x) (.f32 s s)))) (+.f32 (/.f32 x s) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))))
(-.f32 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 1) (fma.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) (/.f32 x s)))
(-.f32 (fma.f32 1/2 (.f32 (/.f32 x (.f32 s s)) x) 1) (fma.f32 1/6 (pow.f32 (/.f32 x s) 3) (/.f32 x s)))
(-.f32 (.f32 (/.f32 x s) (+.f32 -1 (.f32 1/2 (/.f32 x s)))) (fma.f32 1/6 (pow.f32 (/.f32 x s) 3) -1))
2
(-.f32 2 (/.f32 x s))
(-.f32 (+.f32 2 (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (/.f32 x s))
(+.f32 2 (-.f32 (.f32 1/2 (/.f32 (.f32 x x) (*.f32 s s))) (/.f32 x s)))
(-.f32 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 2) (/.f32 x s))
(-.f32 (fma.f32 1/2 (.f32 (/.f32 x (.f32 s s)) x) 2) (/.f32 x s))
(+.f32 2 (.f32 (/.f32 x s) (+.f32 -1 (.f32 1/2 (/.f32 x s)))))
(-.f32 (+.f32 2 (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (+.f32 (/.f32 x s) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))))
(+.f32 2 (-.f32 (.f32 1/2 (/.f32 (.f32 x x) (.f32 s s))) (+.f32 (/.f32 x s) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))))
(-.f32 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 2) (fma.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) (/.f32 x s)))
(-.f32 (fma.f32 1/2 (.f32 (/.f32 x (.f32 s s)) x) 2) (fma.f32 1/6 (pow.f32 (/.f32 x s) 3) (/.f32 x s)))
(-.f32 (.f32 (/.f32 x s) (+.f32 -1 (.f32 1/2 (/.f32 x s)))) (fma.f32 1/6 (pow.f32 (/.f32 x s) 3) -2))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (neg.f32 (/.f32 x s))))
(+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s)))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (neg.f32 (/.f32 x s))))
(+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s)))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (neg.f32 (/.f32 x s))))
(+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s)))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (neg.f32 (/.f32 x s))))
(+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s)))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (neg.f32 (/.f32 x s))))
(+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s)))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (neg.f32 (/.f32 x s))))
(+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s)))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (neg.f32 (/.f32 x s))))
(+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s)))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (neg.f32 (/.f32 x s))))
(+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s)))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (neg.f32 (/.f32 x s))))
(+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s)))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (neg.f32 (/.f32 x s))))
(+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s)))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (neg.f32 (/.f32 x s))))
(+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s)))
(+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s))))
(+.f32 1 (exp.f32 (neg.f32 (/.f32 x s))))
(+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s)))
2
(-.f32 2 (/.f32 x s))
(-.f32 (+.f32 2 (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (/.f32 x s))
(+.f32 2 (-.f32 (.f32 1/2 (/.f32 (.f32 x x) (*.f32 s s))) (/.f32 x s)))
(-.f32 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 2) (/.f32 x s))
(-.f32 (fma.f32 1/2 (.f32 (/.f32 x (.f32 s s)) x) 2) (/.f32 x s))
(+.f32 2 (.f32 (/.f32 x s) (+.f32 -1 (.f32 1/2 (/.f32 x s)))))
(-.f32 (+.f32 2 (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (+.f32 (/.f32 x s) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))))
(+.f32 2 (-.f32 (.f32 1/2 (/.f32 (.f32 x x) (.f32 s s))) (+.f32 (/.f32 x s) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))))
(-.f32 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 2) (fma.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) (/.f32 x s)))
(-.f32 (fma.f32 1/2 (.f32 (/.f32 x (.f32 s s)) x) 2) (fma.f32 1/6 (pow.f32 (/.f32 x s) 3) (/.f32 x s)))
(-.f32 (.f32 (/.f32 x s) (+.f32 -1 (.f32 1/2 (/.f32 x s)))) (fma.f32 1/6 (pow.f32 (/.f32 x s) 3) -2))
2
(-.f32 2 (/.f32 x s))
(-.f32 (+.f32 2 (*.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (/.f32 x s))
(+.f32 2 (-.f32 (.f32 1/2 (/.f32 (.f32 x x) (*.f32 s s))) (/.f32 x s)))
(-.f32 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 2) (/.f32 x s))
(-.f32 (fma.f32 1/2 (.f32 (/.f32 x (.f32 s s)) x) 2) (/.f32 x s))
(+.f32 2 (.f32 (/.f32 x s) (+.f32 -1 (.f32 1/2 (/.f32 x s)))))
(-.f32 (+.f32 2 (.f32 1/2 (/.f32 (pow.f32 x 2) (pow.f32 s 2)))) (+.f32 (/.f32 x s) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))))
(+.f32 2 (-.f32 (.f32 1/2 (/.f32 (.f32 x x) (.f32 s s))) (+.f32 (/.f32 x s) (.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))))
(-.f32 (fma.f32 1/2 (*.f32 (/.f32 x s) (/.f32 x s)) 2) (fma.f32 1/6 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) (/.f32 x s)))
(-.f32 (fma.f32 1/2 (.f32 (/.f32 x (.f32 s s)) x) 2) (fma.f32 1/6 (pow.f32 (/.f32 x s) 3) (/.f32 x s)))
(-.f32 (.f32 (/.f32 x s) (+.f32 -1 (.f32 1/2 (/.f32 x s)))) (fma.f32 1/6 (pow.f32 (/.f32 x s) 3) -2))
1/2
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(+.f32 1/2 (*.f32 (/.f32 x s) 1/4))
(fma.f32 (/.f32 x s) 1/4 1/2)
(-.f32 (+.f32 1/2 (.f32 1/4 (/.f32 x s))) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (+.f32 1/2 (.f32 (/.f32 x s) 1/4)) (.f32 -1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(-.f32 (fma.f32 (/.f32 x s) 1/4 1/2) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) 1/48))
(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 (/.f32 x s) 1/4 1/2))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (+.f32 1/2 (.f32 (/.f32 x s) 1/4))) (.f32 -1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (fma.f32 (/.f32 x s) 1/4 1/2)) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48))
(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (fma.f32 (/.f32 x s) 1/4 1/2)))
(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 (/.f32 x s) 1/4 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (neg.f32 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (neg.f32 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (neg.f32 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (neg.f32 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (neg.f32 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (neg.f32 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (neg.f32 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (neg.f32 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (neg.f32 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (neg.f32 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (neg.f32 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (*.f32 -1 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (neg.f32 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
1/2
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(+.f32 1/2 (*.f32 (/.f32 x s) 1/4))
(fma.f32 (/.f32 x s) 1/4 1/2)
(-.f32 (+.f32 1/2 (.f32 1/4 (/.f32 x s))) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (+.f32 1/2 (.f32 (/.f32 x s) 1/4)) (.f32 -1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(-.f32 (fma.f32 (/.f32 x s) 1/4 1/2) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) 1/48))
(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 (/.f32 x s) 1/4 1/2))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (+.f32 1/2 (.f32 (/.f32 x s) 1/4))) (.f32 -1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (fma.f32 (/.f32 x s) 1/4 1/2)) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48))
(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (fma.f32 (/.f32 x s) 1/4 1/2)))
(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 (/.f32 x s) 1/4 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)))
1/2
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(+.f32 1/2 (*.f32 (/.f32 x s) 1/4))
(fma.f32 (/.f32 x s) 1/4 1/2)
(-.f32 (+.f32 1/2 (.f32 1/4 (/.f32 x s))) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (+.f32 1/2 (.f32 (/.f32 x s) 1/4)) (.f32 -1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(-.f32 (fma.f32 (/.f32 x s) 1/4 1/2) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) 1/48))
(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 (/.f32 x s) 1/4 1/2))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (+.f32 1/2 (.f32 (/.f32 x s) 1/4))) (.f32 -1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (fma.f32 (/.f32 x s) 1/4 1/2)) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48))
(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (fma.f32 (/.f32 x s) 1/4 1/2)))
(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 (/.f32 x s) 1/4 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)))

prune46.0ms (2.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	106	2	108
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	106	3	109

Error

0.0b

Counts

109 → 3

Alt Table

Status	Error	Program
	28.8b	(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 (/.f32 x s) 1/4 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)))
▶	23.5b	(fma.f32 (/.f32 x s) 1/4 1/2)
✓	0.0b	(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))

Status

Error

Program

28.8b

(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 (/.f32 x s) 1/4 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)))

▶

23.5b

(fma.f32 (/.f32 x s) 1/4 1/2)

✓

0.0b

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

Compiler

Compiled 1538 to 911 computations (40.8% saved)

localize14.0ms (0.6%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(fma.f32 (/.f32 x s) 1/4 1/2)

series3.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(fma.f32 (/.f32 x s) 1/4 1/2)
1.0ms	x	@	0	(fma.f32 (/.f32 x s) 1/4 1/2)
1.0ms	x	@	-inf	(fma.f32 (/.f32 x s) 1/4 1/2)
1.0ms	s	@	0	(fma.f32 (/.f32 x s) 1/4 1/2)
0.0ms	s	@	-inf	(fma.f32 (/.f32 x s) 1/4 1/2)

rewrite39.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

698×	`pow1_binary32`
649×	`add-log-exp_binary32`
649×	`log1p-expm1-u_binary32`
649×	`expm1-log1p-u_binary32`
70×	`add-sqr-sqrt_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	8
1	145	8
2	1717	8

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

Inputs
(fma.f32 (/.f32 x s) 1/4 1/2)

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

Outputs

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

simplify11.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

4×	`fma-def_binary32`
3×	`*-commutative_binary32`
2×	`associate-/l*_binary32`
1×	`+-commutative_binary32`
1×	`associate-*r/_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	204
1	12	168
2	18	168
3	22	168
4	24	168
5	25	168

Stop Event

1×

saturated

Counts

46 → 26

Calls

Call 1

Inputs
1/2
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(*.f32 1/4 (/.f32 x s))
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(*.f32 1/4 (/.f32 x s))
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(*.f32 1/4 (/.f32 x s))
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
1/2
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
1/2
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))

Outputs
1/2
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(fma.f32 (/.f32 1/4 s) x 1/2)
(fma.f32 x (/.f32 1/4 s) 1/2)
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(fma.f32 (/.f32 1/4 s) x 1/2)
(fma.f32 x (/.f32 1/4 s) 1/2)
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(fma.f32 (/.f32 1/4 s) x 1/2)
(fma.f32 x (/.f32 1/4 s) 1/2)
(*.f32 1/4 (/.f32 x s))
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(fma.f32 (/.f32 1/4 s) x 1/2)
(fma.f32 x (/.f32 1/4 s) 1/2)
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(fma.f32 (/.f32 1/4 s) x 1/2)
(fma.f32 x (/.f32 1/4 s) 1/2)
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(fma.f32 (/.f32 1/4 s) x 1/2)
(fma.f32 x (/.f32 1/4 s) 1/2)
(*.f32 1/4 (/.f32 x s))
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(fma.f32 (/.f32 1/4 s) x 1/2)
(fma.f32 x (/.f32 1/4 s) 1/2)
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(fma.f32 (/.f32 1/4 s) x 1/2)
(fma.f32 x (/.f32 1/4 s) 1/2)
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(fma.f32 (/.f32 1/4 s) x 1/2)
(fma.f32 x (/.f32 1/4 s) 1/2)
(*.f32 1/4 (/.f32 x s))
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(fma.f32 (/.f32 1/4 s) x 1/2)
(fma.f32 x (/.f32 1/4 s) 1/2)
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(fma.f32 (/.f32 1/4 s) x 1/2)
(fma.f32 x (/.f32 1/4 s) 1/2)
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(fma.f32 (/.f32 1/4 s) x 1/2)
(fma.f32 x (/.f32 1/4 s) 1/2)
1/2
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(fma.f32 (/.f32 1/4 s) x 1/2)
(fma.f32 x (/.f32 1/4 s) 1/2)
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(fma.f32 (/.f32 1/4 s) x 1/2)
(fma.f32 x (/.f32 1/4 s) 1/2)
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(fma.f32 (/.f32 1/4 s) x 1/2)
(fma.f32 x (/.f32 1/4 s) 1/2)
1/2
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(fma.f32 (/.f32 1/4 s) x 1/2)
(fma.f32 x (/.f32 1/4 s) 1/2)
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(fma.f32 (/.f32 1/4 s) x 1/2)
(fma.f32 x (/.f32 1/4 s) 1/2)
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(fma.f32 (/.f32 1/4 s) x 1/2)
(fma.f32 x (/.f32 1/4 s) 1/2)

prune12.0ms (0.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	26	0	26
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	26	3	29

Error

0.0b

Counts

29 → 3

Alt Table

Status

Error

Program

▶

28.8b

(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 (/.f32 x s) 1/4 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)))

✓

23.5b

(fma.f32 (/.f32 x s) 1/4 1/2)

✓

0.0b

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

Compiler

Compiled 334 to 219 computations (34.4% saved)

localize47.0ms (2.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)
✓	0.2b	(pow.f32 (/.f32 x s) 3)
✓	8.4b	(/.f32 (pow.f32 x 5) (pow.f32 s 5))
✓	16.7b	(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 (/.f32 x s) 1/4 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)))

series19.0ms (0.9%)

Counts

4 → 72

Calls

24 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	(/.f32 (pow.f32 x 5) (pow.f32 s 5))
2.0ms	s	@	0	(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 (/.f32 x s) 1/4 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)))
1.0ms	x	@	0	(/.f32 (pow.f32 x 5) (pow.f32 s 5))
1.0ms	s	@	0	(/.f32 (pow.f32 x 5) (pow.f32 s 5))
1.0ms	x	@	inf	(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 (/.f32 x s) 1/4 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)))

rewrite68.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

303×	`log1p-udef_binary32`
177×	`add-sqr-sqrt_binary32`
176×	`prod-diff_binary32`
171×	`add-log-exp_binary32`
171×	`log1p-expm1-u_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	62
1	376	62
2	4349	62

Stop Event

1×	node limit

Counts

4 → 116

Calls

Call 1

Inputs
(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 (/.f32 x s) 1/4 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)))
(/.f32 (pow.f32 x 5) (pow.f32 s 5))
(pow.f32 (/.f32 x s) 3)
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)

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

simplify49.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

774×	`fma-neg_binary32`
457×	`times-frac_binary32`
376×	`associate-/l*_binary32`
334×	`fma-def_binary32`
294×	`cancel-sign-sub-inv_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	27	1098
1	80	1062
2	217	1044
3	859	927
4	4964	927

Stop Event

1×	node limit

Counts

188 → 131

Calls

Call 1

Inputs
1/2
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(-.f32 (+.f32 1/2 (.f32 1/4 (/.f32 x s))) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)))
(-.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (.f32 1/4 (/.f32 x s))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)))
(-.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (.f32 1/4 (/.f32 x s))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)))
(-.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (.f32 1/4 (/.f32 x s))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
1/2
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(-.f32 (+.f32 1/2 (.f32 1/4 (/.f32 x s))) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
1/2
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(-.f32 (+.f32 1/2 (.f32 1/4 (/.f32 x s))) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
1/2
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)))
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)))
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)))
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
1/2
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
1/2
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)

Outputs
1/2
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(-.f32 (+.f32 1/2 (.f32 1/4 (/.f32 x s))) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 1/2 (-.f32 (.f32 1/4 (/.f32 x s)) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))))
(+.f32 (fma.f32 1/4 (/.f32 x s) 1/2) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48))
(fma.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48 (fma.f32 1/4 (/.f32 x s) 1/2))
(fma.f32 1/4 (/.f32 x s) (fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 1/2))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (.f32 -1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/4 (/.f32 x s) 1/2) (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48)))
(fma.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48 (fma.f32 1/4 (/.f32 x s) (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)))
(fma.f32 1/4 (/.f32 x s) (fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)))
(*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)))
(-.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (.f32 -1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48))
(fma.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))))
(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (.f32 1/4 (/.f32 x s))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (.f32 1/4 (/.f32 x s))) (.f32 -1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (fma.f32 1/4 (/.f32 x s) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48)))
(fma.f32 1/4 (/.f32 x s) (fma.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)))))
(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 1/4 (/.f32 x s) (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)))))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (.f32 -1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/4 (/.f32 x s) 1/2) (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48)))
(fma.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48 (fma.f32 1/4 (/.f32 x s) (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)))
(fma.f32 1/4 (/.f32 x s) (fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)))
(*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)))
(-.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (.f32 -1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48))
(fma.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))))
(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (.f32 1/4 (/.f32 x s))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (.f32 1/4 (/.f32 x s))) (.f32 -1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (fma.f32 1/4 (/.f32 x s) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48)))
(fma.f32 1/4 (/.f32 x s) (fma.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)))))
(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 1/4 (/.f32 x s) (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)))))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (.f32 -1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/4 (/.f32 x s) 1/2) (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48)))
(fma.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48 (fma.f32 1/4 (/.f32 x s) (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)))
(fma.f32 1/4 (/.f32 x s) (fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)))
(*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)))
(-.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (.f32 -1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48))
(fma.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))))
(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (.f32 1/4 (/.f32 x s))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (.f32 1/4 (/.f32 x s))) (.f32 -1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (fma.f32 1/4 (/.f32 x s) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48)))
(fma.f32 1/4 (/.f32 x s) (fma.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)))))
(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 1/4 (/.f32 x s) (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)))))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (.f32 -1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/4 (/.f32 x s) 1/2) (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48)))
(fma.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48 (fma.f32 1/4 (/.f32 x s) (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)))
(fma.f32 1/4 (/.f32 x s) (fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)))
1/2
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(-.f32 (+.f32 1/2 (.f32 1/4 (/.f32 x s))) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 1/2 (-.f32 (.f32 1/4 (/.f32 x s)) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))))
(+.f32 (fma.f32 1/4 (/.f32 x s) 1/2) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48))
(fma.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48 (fma.f32 1/4 (/.f32 x s) 1/2))
(fma.f32 1/4 (/.f32 x s) (fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 1/2))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (.f32 -1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/4 (/.f32 x s) 1/2) (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48)))
(fma.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48 (fma.f32 1/4 (/.f32 x s) (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)))
(fma.f32 1/4 (/.f32 x s) (fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)))
1/2
(+.f32 1/2 (*.f32 1/4 (/.f32 x s)))
(fma.f32 1/4 (/.f32 x s) 1/2)
(-.f32 (+.f32 1/2 (.f32 1/4 (/.f32 x s))) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 1/2 (-.f32 (.f32 1/4 (/.f32 x s)) (.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3)))))
(+.f32 (fma.f32 1/4 (/.f32 x s) 1/2) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48))
(fma.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48 (fma.f32 1/4 (/.f32 x s) 1/2))
(fma.f32 1/4 (/.f32 x s) (fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 1/2))
(-.f32 (+.f32 (.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (*.f32 1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (+.f32 1/2 (.f32 1/4 (/.f32 x s)))) (.f32 -1/48 (/.f32 (pow.f32 x 3) (pow.f32 s 3))))
(+.f32 (fma.f32 1/4 (/.f32 x s) 1/2) (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) (*.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48)))
(fma.f32 (/.f32 (pow.f32 x 3) (pow.f32 s 3)) -1/48 (fma.f32 1/4 (/.f32 x s) (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)))
(fma.f32 1/4 (/.f32 x s) (fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)))
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
(/.f32 (pow.f32 x 3) (pow.f32 s 3))
(pow.f32 (/.f32 x s) 3)
1/2
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)
(fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)
(fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)
(fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)
(*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)))
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)
(fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)
(fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)
(fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)
(*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)))
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)
(fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)
(fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)
(fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)
(*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)))
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)
(fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)
(fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)
(fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)
1/2
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)
(fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)
(fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)
(fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)
1/2
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)
(fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)
(fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)
(+.f32 (*.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5))) 1/2)
(fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)
(fma.f32 (/.f32 1/480 (pow.f32 s 5)) (pow.f32 x 5) 1/2)

prune91.0ms (4.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

0.0b

Counts

134 → 3

Alt Table

Status

Error

Program

✓

28.8b

(fma.f32 (pow.f32 (/.f32 x s) 3) -1/48 (fma.f32 (/.f32 x s) 1/4 (fma.f32 1/480 (/.f32 (pow.f32 x 5) (pow.f32 s 5)) 1/2)))

✓

23.5b

(fma.f32 (/.f32 x s) 1/4 1/2)

✓

0.0b

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

Compiler

Compiled 3545 to 2373 computations (33.1% saved)

regimes35.0ms (1.7%)

Accuracy

Total 0.0b remaining (39.2%)

Threshold costs 0.0b (39.2%)

Counts

9 → 1

Compiler

Compiled 132 to 96 computations (27.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary32`
2×	`*-commutative_binary32`
2×	`sub-neg_binary32`
2×	`neg-sub0_binary32`
2×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	17	14
2	21	14
3	24	14
4	25	14

Stop Event

1×

saturated

Calls

Call 1

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

Outputs
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))

end52.0ms (2.5%)

Stop Event

1×

done

Compiler

Compiled 65 to 50 computations (23.1% saved)

Details

analyze105.0ms (5%)

sample1.3s (62.9%)

preprocess37.0ms (1.7%)

simplify21.0ms (1%)

prune1.0ms (0.1%)

localize22.0ms (1%)

series10.0ms (0.5%)

rewrite52.0ms (2.4%)

simplify53.0ms (2.5%)

prune46.0ms (2.2%)

localize14.0ms (0.6%)

series3.0ms (0.2%)

rewrite39.0ms (1.8%)

simplify11.0ms (0.5%)

prune12.0ms (0.6%)

localize47.0ms (2.2%)

series19.0ms (0.9%)

rewrite68.0ms (3.2%)

simplify49.0ms (2.3%)

prune91.0ms (4.3%)

regimes35.0ms (1.7%)

simplify2.0ms (0.1%)

end52.0ms (2.5%)

Profiling