Details

analyze116.0ms (3.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0.2%	99.8%	0
0%	0.2%	99.8%	1
0%	0.2%	99.8%	2
0.1%	0.1%	99.8%	3
0.1%	0.1%	99.8%	4
0.1%	0%	99.8%	5
0.1%	0%	99.8%	6
0.1%	0%	99.8%	7
0.1%	0%	99.8%	8
0.2%	0%	99.8%	9
0.2%	0%	99.8%	10
0.2%	0%	99.8%	11
0.2%	0%	99.8%	12
0.2%	0%	99.8%	13
0.2%	0%	99.8%	14

Compiler

Compiled 26 to 19 computations (26.9% saved)

sample1.5s (49.9%)

Results

1.5s

8256×

body

128

valid

Compiler

Compiled 52 to 38 computations (26.9% saved)

preprocess70.0ms (2.3%)

Algorithm

2×	egg-herbie

Rules

1209×	`fma-def_binary32`
516×	`fma-neg_binary32`
264×	`distribute-rgt-out--_binary32`
220×	`associate--l+_binary32`
202×	`distribute-rgt-in_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	28
1	35	26
2	78	26
3	164	26
4	228	26
5	300	26
6	395	26
7	578	26
8	1125	26
9	1774	26
10	2293	26
11	2620	26
12	2947	26
13	3255	26
14	3339	26
15	3405	26
16	3805	26
17	4589	26
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(.f32 (.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0)))
(.f32 (.f32 (neg.f32 u0) u0) (log.f32 (-.f32 1 alpha)))

Outputs
(.f32 (.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0)))
(.f32 (neg.f32 alpha) (.f32 alpha (log.f32 (-.f32 1 u0))))
(.f32 alpha (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0))))
(.f32 (.f32 (neg.f32 u0) u0) (log.f32 (-.f32 1 alpha)))
(.f32 (neg.f32 u0) (.f32 u0 (log.f32 (-.f32 1 alpha))))
(.f32 u0 (.f32 (neg.f32 u0) (log1p.f32 (neg.f32 alpha))))
(.f32 u0 (.f32 u0 (neg.f32 (log1p.f32 (neg.f32 alpha)))))
(.f32 (.f32 u0 (neg.f32 u0)) (log1p.f32 (neg.f32 alpha)))

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify24.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

544×	`fma-def_binary32`
230×	`fma-neg_binary32`
87×	`cancel-sign-sub-inv_binary32`
81×	`distribute-rgt-in_binary32`
69×	`distribute-lft-in_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	22	13
2	45	13
3	89	13
4	123	13
5	164	13
6	215	13
7	315	13
8	594	13
9	910	13
10	1174	13
11	1341	13
12	1511	13
13	1665	13
14	1692	13
15	1693	13

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(.f32 (.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0)))

Outputs
(.f32 (.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0)))
(.f32 (neg.f32 alpha) (.f32 alpha (log.f32 (-.f32 1 u0))))
(.f32 alpha (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0))))
(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))

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

Counts

3 → 2

Alt Table

Status	Error	Program
	13.9b	(.f32 (.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0)))
▶	0.3b	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))

Compiler

Compiled 61 to 42 computations (31.1% saved)

localize24.0ms (0.8%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(log1p.f32 (neg.f32 u0))
✓	0.3b	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))

series27.0ms (0.9%)

Counts

2 → 36

Calls

9 calls:

Time	Variable		Point	Expression
23.0ms	alpha	@	0	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
1.0ms	u0	@	0	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
1.0ms	u0	@	inf	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
1.0ms	alpha	@	inf	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
1.0ms	u0	@	-inf	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))

rewrite36.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

570×	`pow1_binary32`
523×	`add-log-exp_binary32`
522×	`expm1-log1p-u_binary32`
521×	`log1p-expm1-u_binary32`
84×	`associate-r_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	18
1	163	12
2	2102	12

Stop Event

1×	node limit

Counts

2 → 30

Calls

Call 1

Inputs
(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
(log1p.f32 (neg.f32 u0))

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

Outputs

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

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

simplify32.0ms (1%)

Algorithm

1×	egg-herbie

Rules

380×	`fma-def_binary32`
367×	`times-frac_binary32`
278×	`cancel-sign-sub-inv_binary32`
259×	`fma-neg_binary32`
239×	`distribute-rgt-out_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	81	751
1	230	685
2	720	642
3	2797	630

Stop Event

1×	node limit

Counts

66 → 80

Calls

Call 1

Inputs
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(*.f32 u0 (pow.f32 alpha 2))
(+.f32 (.f32 u0 (pow.f32 alpha 2)) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))
(+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2)))))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))))
(.f32 -1 (.f32 (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (pow.f32 alpha 2)))
(+.f32 (/.f32 (pow.f32 alpha 2) u0) (.f32 -1 (.f32 (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (pow.f32 alpha 2))))
(+.f32 (/.f32 (pow.f32 alpha 2) u0) (+.f32 (.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2))) (.f32 -1 (.f32 (+.f32 (.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (pow.f32 alpha 2)))))
(+.f32 (.f32 1/3 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 3))) (+.f32 (/.f32 (pow.f32 alpha 2) u0) (+.f32 (.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2))) (.f32 -1 (.f32 (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (pow.f32 alpha 2))))))
(*.f32 (pow.f32 alpha 2) (log.f32 (/.f32 -1 u0)))
(+.f32 (*.f32 (pow.f32 alpha 2) (log.f32 (/.f32 -1 u0))) (/.f32 (pow.f32 alpha 2) u0))
(+.f32 (.f32 (pow.f32 alpha 2) (log.f32 (/.f32 -1 u0))) (+.f32 (/.f32 (pow.f32 alpha 2) u0) (.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2)))))
(+.f32 (.f32 (pow.f32 alpha 2) (log.f32 (/.f32 -1 u0))) (+.f32 (.f32 1/3 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 3))) (+.f32 (/.f32 (pow.f32 alpha 2) u0) (*.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2))))))
(*.f32 -1 u0)
(+.f32 (.f32 -1 u0) (.f32 -1/2 (pow.f32 u0 2)))
(+.f32 (.f32 -1 u0) (+.f32 (.f32 -1/2 (pow.f32 u0 2)) (*.f32 -1/3 (pow.f32 u0 3))))
(+.f32 (.f32 -1 u0) (+.f32 (.f32 -1/2 (pow.f32 u0 2)) (+.f32 (.f32 -1/3 (pow.f32 u0 3)) (.f32 -1/4 (pow.f32 u0 4)))))
(+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1))
(-.f32 (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (/.f32 1 u0))
(-.f32 (+.f32 (.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (+.f32 (/.f32 1 u0) (.f32 1/2 (/.f32 1 (pow.f32 u0 2)))))
(-.f32 (+.f32 (.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (+.f32 (/.f32 1 u0) (+.f32 (.f32 1/3 (/.f32 1 (pow.f32 u0 3))) (*.f32 1/2 (/.f32 1 (pow.f32 u0 2))))))
(*.f32 -1 (log.f32 (/.f32 -1 u0)))
(-.f32 (*.f32 -1 (log.f32 (/.f32 -1 u0))) (/.f32 1 u0))
(-.f32 (.f32 -1 (log.f32 (/.f32 -1 u0))) (+.f32 (/.f32 1 u0) (.f32 1/2 (/.f32 1 (pow.f32 u0 2)))))
(-.f32 (.f32 -1 (log.f32 (/.f32 -1 u0))) (+.f32 (/.f32 1 u0) (+.f32 (.f32 1/3 (/.f32 1 (pow.f32 u0 3))) (*.f32 1/2 (/.f32 1 (pow.f32 u0 2))))))

Outputs
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (.f32 alpha alpha)))
(.f32 (log1p.f32 (neg.f32 u0)) (.f32 alpha (neg.f32 alpha)))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (.f32 alpha alpha)))
(.f32 (log1p.f32 (neg.f32 u0)) (.f32 alpha (neg.f32 alpha)))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (.f32 alpha alpha)))
(.f32 (log1p.f32 (neg.f32 u0)) (.f32 alpha (neg.f32 alpha)))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (.f32 alpha alpha)))
(.f32 (log1p.f32 (neg.f32 u0)) (.f32 alpha (neg.f32 alpha)))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (.f32 alpha alpha)))
(.f32 (log1p.f32 (neg.f32 u0)) (.f32 alpha (neg.f32 alpha)))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (.f32 alpha alpha)))
(.f32 (log1p.f32 (neg.f32 u0)) (.f32 alpha (neg.f32 alpha)))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (.f32 alpha alpha)))
(.f32 (log1p.f32 (neg.f32 u0)) (.f32 alpha (neg.f32 alpha)))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (.f32 alpha alpha)))
(.f32 (log1p.f32 (neg.f32 u0)) (.f32 alpha (neg.f32 alpha)))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (.f32 alpha alpha)))
(.f32 (log1p.f32 (neg.f32 u0)) (.f32 alpha (neg.f32 alpha)))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (.f32 alpha alpha)))
(.f32 (log1p.f32 (neg.f32 u0)) (.f32 alpha (neg.f32 alpha)))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (.f32 alpha alpha)))
(.f32 (log1p.f32 (neg.f32 u0)) (.f32 alpha (neg.f32 alpha)))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (.f32 alpha alpha)))
(.f32 (log1p.f32 (neg.f32 u0)) (.f32 alpha (neg.f32 alpha)))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(*.f32 u0 (pow.f32 alpha 2))
(.f32 (.f32 alpha alpha) u0)
(.f32 alpha (.f32 alpha u0))
(+.f32 (.f32 u0 (pow.f32 alpha 2)) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))
(fma.f32 u0 (.f32 alpha alpha) (.f32 1/2 (.f32 (.f32 alpha alpha) (*.f32 u0 u0))))
(.f32 (.f32 alpha alpha) (+.f32 u0 (.f32 1/2 (.f32 u0 u0))))
(.f32 alpha (.f32 alpha (fma.f32 1/2 (*.f32 u0 u0) u0)))
(+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2)))))
(fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (.f32 alpha alpha) (pow.f32 u0 3)) (.f32 1/2 (.f32 (.f32 alpha alpha) (*.f32 u0 u0)))))
(fma.f32 (.f32 alpha alpha) u0 (.f32 (.f32 alpha alpha) (+.f32 (.f32 1/2 (.f32 u0 u0)) (.f32 1/3 (pow.f32 u0 3)))))
(.f32 (.f32 alpha alpha) (+.f32 u0 (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))))
(fma.f32 1/4 (.f32 (.f32 alpha alpha) (pow.f32 u0 4)) (fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (.f32 alpha alpha) (pow.f32 u0 3)) (.f32 1/2 (.f32 (.f32 alpha alpha) (*.f32 u0 u0))))))
(+.f32 (.f32 (.f32 alpha alpha) (+.f32 (.f32 1/2 (.f32 u0 u0)) (.f32 1/3 (pow.f32 u0 3)))) (.f32 (.f32 alpha alpha) (+.f32 (.f32 1/4 (pow.f32 u0 4)) u0)))
(.f32 (.f32 alpha alpha) (+.f32 (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))) (fma.f32 1/4 (pow.f32 u0 4) u0)))
(.f32 -1 (.f32 (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (pow.f32 alpha 2)))
(neg.f32 (.f32 (.f32 alpha alpha) (fma.f32 -1 (neg.f32 (log.f32 u0)) (log.f32 -1))))
(.f32 (.f32 alpha alpha) (neg.f32 (+.f32 (log.f32 u0) (log.f32 -1))))
(.f32 (+.f32 (log.f32 u0) (log.f32 -1)) (.f32 alpha (neg.f32 alpha)))
(.f32 alpha (.f32 alpha (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u0))))
(+.f32 (/.f32 (pow.f32 alpha 2) u0) (.f32 -1 (.f32 (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (pow.f32 alpha 2))))
(+.f32 (neg.f32 (.f32 (.f32 alpha alpha) (fma.f32 -1 (neg.f32 (log.f32 u0)) (log.f32 -1)))) (/.f32 (*.f32 alpha alpha) u0))
(-.f32 (/.f32 alpha (/.f32 u0 alpha)) (.f32 (.f32 alpha alpha) (+.f32 (log.f32 u0) (log.f32 -1))))
(-.f32 (/.f32 (.f32 alpha alpha) u0) (.f32 alpha (*.f32 alpha (+.f32 (log.f32 u0) (log.f32 -1)))))
(.f32 alpha (-.f32 (/.f32 alpha u0) (.f32 alpha (+.f32 (log.f32 u0) (log.f32 -1)))))
(+.f32 (/.f32 (pow.f32 alpha 2) u0) (+.f32 (.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2))) (.f32 -1 (.f32 (+.f32 (.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (pow.f32 alpha 2)))))
(+.f32 (/.f32 (.f32 alpha alpha) u0) (fma.f32 1/2 (/.f32 (.f32 alpha alpha) (.f32 u0 u0)) (neg.f32 (.f32 (*.f32 alpha alpha) (fma.f32 -1 (neg.f32 (log.f32 u0)) (log.f32 -1))))))
(-.f32 (fma.f32 1/2 (.f32 (/.f32 alpha u0) (/.f32 alpha u0)) (/.f32 alpha (/.f32 u0 alpha))) (.f32 (*.f32 alpha alpha) (+.f32 (log.f32 u0) (log.f32 -1))))
(-.f32 (.f32 (+.f32 (/.f32 1/2 u0) 1) (/.f32 (.f32 alpha alpha) u0)) (.f32 alpha (.f32 alpha (+.f32 (log.f32 u0) (log.f32 -1)))))
(fma.f32 (/.f32 alpha u0) alpha (.f32 (.f32 alpha alpha) (-.f32 (/.f32 1/2 (*.f32 u0 u0)) (+.f32 (log.f32 u0) (log.f32 -1)))))
(+.f32 (.f32 1/3 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 3))) (+.f32 (/.f32 (pow.f32 alpha 2) u0) (+.f32 (.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2))) (.f32 -1 (.f32 (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (pow.f32 alpha 2))))))
(fma.f32 1/3 (/.f32 (.f32 alpha alpha) (pow.f32 u0 3)) (+.f32 (/.f32 (.f32 alpha alpha) u0) (fma.f32 1/2 (/.f32 (.f32 alpha alpha) (.f32 u0 u0)) (neg.f32 (.f32 (.f32 alpha alpha) (fma.f32 -1 (neg.f32 (log.f32 u0)) (log.f32 -1)))))))
(fma.f32 1/3 (/.f32 alpha (/.f32 (pow.f32 u0 3) alpha)) (-.f32 (fma.f32 1/2 (.f32 (/.f32 alpha u0) (/.f32 alpha u0)) (/.f32 alpha (/.f32 u0 alpha))) (.f32 (*.f32 alpha alpha) (+.f32 (log.f32 u0) (log.f32 -1)))))
(+.f32 (/.f32 (.f32 alpha alpha) u0) (-.f32 (.f32 (/.f32 alpha (.f32 u0 (/.f32 u0 alpha))) (+.f32 1/2 (/.f32 1/3 u0))) (.f32 alpha (*.f32 alpha (+.f32 (log.f32 u0) (log.f32 -1))))))
(-.f32 (.f32 (.f32 (/.f32 alpha u0) alpha) (+.f32 (/.f32 1/2 u0) (+.f32 (/.f32 1/3 (.f32 u0 u0)) 1))) (.f32 (*.f32 alpha alpha) (+.f32 (log.f32 u0) (log.f32 -1))))
(*.f32 (pow.f32 alpha 2) (log.f32 (/.f32 -1 u0)))
(.f32 (.f32 alpha alpha) (log.f32 (/.f32 -1 u0)))
(+.f32 (*.f32 (pow.f32 alpha 2) (log.f32 (/.f32 -1 u0))) (/.f32 (pow.f32 alpha 2) u0))
(fma.f32 (.f32 alpha alpha) (log.f32 (/.f32 -1 u0)) (/.f32 (.f32 alpha alpha) u0))
(fma.f32 (*.f32 alpha alpha) (log.f32 (/.f32 -1 u0)) (/.f32 alpha (/.f32 u0 alpha)))
(.f32 alpha (+.f32 (/.f32 alpha u0) (.f32 alpha (log.f32 (/.f32 -1 u0)))))
(+.f32 (.f32 (pow.f32 alpha 2) (log.f32 (/.f32 -1 u0))) (+.f32 (/.f32 (pow.f32 alpha 2) u0) (.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2)))))
(+.f32 (fma.f32 (.f32 alpha alpha) (log.f32 (/.f32 -1 u0)) (/.f32 (.f32 alpha alpha) u0)) (.f32 1/2 (/.f32 (.f32 alpha alpha) (*.f32 u0 u0))))
(fma.f32 (.f32 alpha alpha) (log.f32 (/.f32 -1 u0)) (fma.f32 1/2 (.f32 (/.f32 alpha u0) (/.f32 alpha u0)) (/.f32 alpha (/.f32 u0 alpha))))
(fma.f32 (.f32 alpha alpha) (log.f32 (/.f32 -1 u0)) (.f32 (+.f32 (/.f32 1/2 u0) 1) (/.f32 (*.f32 alpha alpha) u0)))
(fma.f32 alpha (.f32 alpha (log.f32 (/.f32 -1 u0))) (.f32 (+.f32 (/.f32 1/2 u0) 1) (*.f32 (/.f32 alpha u0) alpha)))
(+.f32 (.f32 (pow.f32 alpha 2) (log.f32 (/.f32 -1 u0))) (+.f32 (.f32 1/3 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 3))) (+.f32 (/.f32 (pow.f32 alpha 2) u0) (*.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2))))))
(fma.f32 (.f32 alpha alpha) (log.f32 (/.f32 -1 u0)) (fma.f32 1/3 (/.f32 (.f32 alpha alpha) (pow.f32 u0 3)) (+.f32 (/.f32 (.f32 alpha alpha) u0) (.f32 1/2 (/.f32 (.f32 alpha alpha) (.f32 u0 u0))))))
(fma.f32 (.f32 alpha alpha) (log.f32 (/.f32 -1 u0)) (fma.f32 1/3 (/.f32 alpha (/.f32 (pow.f32 u0 3) alpha)) (fma.f32 1/2 (.f32 (/.f32 alpha u0) (/.f32 alpha u0)) (/.f32 alpha (/.f32 u0 alpha)))))
(+.f32 (fma.f32 (.f32 alpha alpha) (log.f32 (/.f32 -1 u0)) (/.f32 (.f32 alpha alpha) u0)) (.f32 (/.f32 alpha (.f32 u0 (/.f32 u0 alpha))) (+.f32 1/2 (/.f32 1/3 u0))))
(fma.f32 alpha (.f32 alpha (log.f32 (/.f32 -1 u0))) (.f32 (.f32 (/.f32 alpha u0) alpha) (+.f32 (/.f32 1/2 u0) (+.f32 (/.f32 1/3 (.f32 u0 u0)) 1))))
(*.f32 -1 u0)
(neg.f32 u0)
(+.f32 (.f32 -1 u0) (.f32 -1/2 (pow.f32 u0 2)))
(fma.f32 -1 u0 (.f32 (.f32 u0 u0) -1/2))
(-.f32 (.f32 u0 (.f32 u0 -1/2)) u0)
(.f32 u0 (+.f32 -1 (.f32 u0 -1/2)))
(+.f32 (.f32 -1 u0) (+.f32 (.f32 -1/2 (pow.f32 u0 2)) (*.f32 -1/3 (pow.f32 u0 3))))
(fma.f32 -1 u0 (fma.f32 -1/2 (.f32 u0 u0) (.f32 (pow.f32 u0 3) -1/3)))
(-.f32 (fma.f32 (.f32 u0 u0) -1/2 (.f32 (pow.f32 u0 3) -1/3)) u0)
(-.f32 (.f32 (.f32 u0 u0) (+.f32 -1/2 (*.f32 u0 -1/3))) u0)
(+.f32 (.f32 -1 u0) (+.f32 (.f32 -1/2 (pow.f32 u0 2)) (+.f32 (.f32 -1/3 (pow.f32 u0 3)) (.f32 -1/4 (pow.f32 u0 4)))))
(fma.f32 -1 u0 (fma.f32 -1/2 (.f32 u0 u0) (fma.f32 -1/3 (pow.f32 u0 3) (.f32 (pow.f32 u0 4) -1/4))))
(-.f32 (fma.f32 (.f32 u0 u0) -1/2 (fma.f32 (pow.f32 u0 3) -1/3 (.f32 (pow.f32 u0 4) -1/4))) u0)
(-.f32 (fma.f32 (pow.f32 u0 4) -1/4 (.f32 (.f32 u0 u0) (+.f32 -1/2 (*.f32 u0 -1/3)))) u0)
(+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1))
(fma.f32 -1 (neg.f32 (log.f32 u0)) (log.f32 -1))
(+.f32 (log.f32 u0) (log.f32 -1))
(-.f32 (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (/.f32 1 u0))
(-.f32 (fma.f32 -1 (neg.f32 (log.f32 u0)) (log.f32 -1)) (/.f32 1 u0))
(+.f32 (log.f32 u0) (+.f32 (log.f32 -1) (/.f32 -1 u0)))
(+.f32 (+.f32 (log.f32 u0) (log.f32 -1)) (/.f32 -1 u0))
(-.f32 (+.f32 (.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (+.f32 (/.f32 1 u0) (.f32 1/2 (/.f32 1 (pow.f32 u0 2)))))
(-.f32 (fma.f32 -1 (neg.f32 (log.f32 u0)) (log.f32 -1)) (+.f32 (/.f32 1 u0) (/.f32 1/2 (*.f32 u0 u0))))
(+.f32 (log.f32 u0) (-.f32 (+.f32 (log.f32 -1) (/.f32 -1 u0)) (/.f32 1/2 (*.f32 u0 u0))))
(+.f32 (log.f32 u0) (+.f32 (log.f32 -1) (+.f32 (/.f32 -1 u0) (/.f32 -1/2 (*.f32 u0 u0)))))
(+.f32 (log.f32 u0) (+.f32 (-.f32 (log.f32 -1) (/.f32 1/2 (*.f32 u0 u0))) (/.f32 -1 u0)))
(-.f32 (+.f32 (.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (+.f32 (/.f32 1 u0) (+.f32 (.f32 1/3 (/.f32 1 (pow.f32 u0 3))) (*.f32 1/2 (/.f32 1 (pow.f32 u0 2))))))
(-.f32 (fma.f32 -1 (neg.f32 (log.f32 u0)) (log.f32 -1)) (+.f32 (/.f32 1 u0) (+.f32 (/.f32 1/2 (*.f32 u0 u0)) (/.f32 1/3 (pow.f32 u0 3)))))
(-.f32 (+.f32 (log.f32 u0) (-.f32 (+.f32 (log.f32 -1) (/.f32 -1 u0)) (/.f32 1/2 (*.f32 u0 u0)))) (/.f32 1/3 (pow.f32 u0 3)))
(+.f32 (log.f32 u0) (+.f32 (log.f32 -1) (-.f32 (+.f32 (/.f32 -1 u0) (/.f32 -1/2 (*.f32 u0 u0))) (/.f32 1/3 (pow.f32 u0 3)))))
(+.f32 (log.f32 u0) (+.f32 (log.f32 -1) (+.f32 (/.f32 -1 u0) (+.f32 (/.f32 -1/2 (*.f32 u0 u0)) (/.f32 -1/3 (pow.f32 u0 3))))))
(*.f32 -1 (log.f32 (/.f32 -1 u0)))
(neg.f32 (log.f32 (/.f32 -1 u0)))
(-.f32 (*.f32 -1 (log.f32 (/.f32 -1 u0))) (/.f32 1 u0))
(-.f32 (neg.f32 (log.f32 (/.f32 -1 u0))) (/.f32 1 u0))
(fma.f32 -1 (log.f32 (/.f32 -1 u0)) (/.f32 -1 u0))
(-.f32 (/.f32 -1 u0) (log.f32 (/.f32 -1 u0)))
(-.f32 (.f32 -1 (log.f32 (/.f32 -1 u0))) (+.f32 (/.f32 1 u0) (.f32 1/2 (/.f32 1 (pow.f32 u0 2)))))
(-.f32 (neg.f32 (log.f32 (/.f32 -1 u0))) (+.f32 (/.f32 1 u0) (/.f32 1/2 (*.f32 u0 u0))))
(-.f32 (fma.f32 -1 (log.f32 (/.f32 -1 u0)) (/.f32 -1 u0)) (/.f32 1/2 (*.f32 u0 u0)))
(-.f32 (+.f32 (/.f32 -1 u0) (/.f32 -1/2 (*.f32 u0 u0))) (log.f32 (/.f32 -1 u0)))
(+.f32 (/.f32 -1 u0) (-.f32 (/.f32 -1/2 (*.f32 u0 u0)) (log.f32 (/.f32 -1 u0))))
(-.f32 (.f32 -1 (log.f32 (/.f32 -1 u0))) (+.f32 (/.f32 1 u0) (+.f32 (.f32 1/3 (/.f32 1 (pow.f32 u0 3))) (*.f32 1/2 (/.f32 1 (pow.f32 u0 2))))))
(-.f32 (neg.f32 (log.f32 (/.f32 -1 u0))) (+.f32 (/.f32 1 u0) (+.f32 (/.f32 1/2 (*.f32 u0 u0)) (/.f32 1/3 (pow.f32 u0 3)))))
(-.f32 (fma.f32 -1 (log.f32 (/.f32 -1 u0)) (/.f32 -1 u0)) (+.f32 (/.f32 1/2 (*.f32 u0 u0)) (/.f32 1/3 (pow.f32 u0 3))))
(+.f32 (-.f32 (/.f32 -1 u0) (log.f32 (/.f32 -1 u0))) (-.f32 (/.f32 -1/2 (*.f32 u0 u0)) (/.f32 1/3 (pow.f32 u0 3))))
(+.f32 (/.f32 -1 u0) (-.f32 (+.f32 (/.f32 -1/2 (*.f32 u0 u0)) (/.f32 -1/3 (pow.f32 u0 3))) (log.f32 (/.f32 -1 u0))))

prune40.0ms (1.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	73	7	80
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	73	9	82

Error

0.1b

Counts

82 → 9

Alt Table

Status	Error	Program
✓	0.3b	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
	9.1b	(pow.f32 (cbrt.f32 (.f32 alpha (.f32 alpha (log1p.f32 u0)))) 3)
	13.9b	(.f32 (.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0)))
	2.3b	(.f32 (.f32 alpha alpha) (+.f32 (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))) (fma.f32 1/4 (pow.f32 u0 4) u0)))
	3.0b	(+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2)))))
▶	0.3b	(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
	11.1b	(cbrt.f32 (.f32 (pow.f32 (.f32 alpha alpha) 3) (pow.f32 (log1p.f32 u0) 3)))
	9.1b	(pow.f32 (*.f32 alpha (sqrt.f32 (log1p.f32 u0))) 2)
	4.4b	(.f32 (.f32 alpha (neg.f32 alpha)) (.f32 u0 (+.f32 -1 (.f32 u0 -1/2))))

Compiler

Compiled 1438 to 862 computations (40.1% saved)

localize26.0ms (0.8%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(log1p.f32 (neg.f32 u0))
✓	0.2b	(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha))
✓	0.2b	(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))

series16.0ms (0.5%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
12.0ms	alpha	@	0	(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha))
1.0ms	u0	@	inf	(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha))
1.0ms	alpha	@	inf	(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha))
0.0ms	u0	@	0	(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha))
0.0ms	u0	@	-inf	(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha))

rewrite31.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

596×	`pow1_binary32`
547×	`add-log-exp_binary32`
546×	`expm1-log1p-u_binary32`
545×	`log1p-expm1-u_binary32`
91×	`associate-r_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	23
1	164	15
2	2137	15

Stop Event

1×	node limit

Counts

2 → 31

Calls

Call 1

Inputs
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha))

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

Outputs

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

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

simplify45.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

458×	`fma-def_binary32`
445×	`times-frac_binary32`
314×	`distribute-rgt-out_binary32`
260×	`distribute-lft-out_binary32`
251×	`cancel-sign-sub-inv_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	83	923
1	238	845
2	700	788
3	2470	772

Stop Event

1×	node limit

Counts

79 → 82

Calls

Call 1

Inputs
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(*.f32 u0 (pow.f32 alpha 2))
(+.f32 (.f32 u0 (pow.f32 alpha 2)) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))
(+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2)))))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))))
(.f32 -1 (.f32 (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (pow.f32 alpha 2)))
(+.f32 (/.f32 (pow.f32 alpha 2) u0) (.f32 -1 (.f32 (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (pow.f32 alpha 2))))
(+.f32 (/.f32 (pow.f32 alpha 2) u0) (+.f32 (.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2))) (.f32 -1 (.f32 (+.f32 (.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (pow.f32 alpha 2)))))
(+.f32 (.f32 1/3 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 3))) (+.f32 (/.f32 (pow.f32 alpha 2) u0) (+.f32 (.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2))) (.f32 -1 (.f32 (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (pow.f32 alpha 2))))))
(*.f32 (pow.f32 alpha 2) (log.f32 (/.f32 -1 u0)))
(+.f32 (*.f32 (pow.f32 alpha 2) (log.f32 (/.f32 -1 u0))) (/.f32 (pow.f32 alpha 2) u0))
(+.f32 (.f32 (pow.f32 alpha 2) (log.f32 (/.f32 -1 u0))) (+.f32 (/.f32 (pow.f32 alpha 2) u0) (.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2)))))
(+.f32 (.f32 (pow.f32 alpha 2) (log.f32 (/.f32 -1 u0))) (+.f32 (.f32 1/3 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 3))) (+.f32 (/.f32 (pow.f32 alpha 2) u0) (*.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2))))))
(*.f32 u0 alpha)
(+.f32 (.f32 1/2 (.f32 (pow.f32 u0 2) alpha)) (*.f32 u0 alpha))
(+.f32 (.f32 1/2 (.f32 (pow.f32 u0 2) alpha)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) alpha)) (*.f32 u0 alpha)))
(+.f32 (.f32 1/2 (.f32 (pow.f32 u0 2) alpha)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) alpha)) (+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) alpha)) (*.f32 u0 alpha))))
(.f32 -1 (.f32 (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) alpha))
(+.f32 (.f32 -1 (.f32 (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) alpha)) (/.f32 alpha u0))
(+.f32 (.f32 1/2 (/.f32 alpha (pow.f32 u0 2))) (+.f32 (.f32 -1 (.f32 (+.f32 (.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) alpha)) (/.f32 alpha u0)))
(+.f32 (.f32 1/3 (/.f32 alpha (pow.f32 u0 3))) (+.f32 (.f32 1/2 (/.f32 alpha (pow.f32 u0 2))) (+.f32 (.f32 -1 (.f32 (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) alpha)) (/.f32 alpha u0))))
(*.f32 alpha (log.f32 (/.f32 -1 u0)))
(+.f32 (*.f32 alpha (log.f32 (/.f32 -1 u0))) (/.f32 alpha u0))
(+.f32 (.f32 1/2 (/.f32 alpha (pow.f32 u0 2))) (+.f32 (.f32 alpha (log.f32 (/.f32 -1 u0))) (/.f32 alpha u0)))
(+.f32 (.f32 1/3 (/.f32 alpha (pow.f32 u0 3))) (+.f32 (.f32 1/2 (/.f32 alpha (pow.f32 u0 2))) (+.f32 (*.f32 alpha (log.f32 (/.f32 -1 u0))) (/.f32 alpha u0))))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))

Outputs
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (.f32 alpha alpha) (neg.f32 (log1p.f32 (neg.f32 u0))))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (.f32 alpha alpha) (neg.f32 (log1p.f32 (neg.f32 u0))))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (.f32 alpha alpha) (neg.f32 (log1p.f32 (neg.f32 u0))))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (.f32 alpha alpha) (neg.f32 (log1p.f32 (neg.f32 u0))))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (.f32 alpha alpha) (neg.f32 (log1p.f32 (neg.f32 u0))))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (.f32 alpha alpha) (neg.f32 (log1p.f32 (neg.f32 u0))))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (.f32 alpha alpha) (neg.f32 (log1p.f32 (neg.f32 u0))))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (.f32 alpha alpha) (neg.f32 (log1p.f32 (neg.f32 u0))))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (.f32 alpha alpha) (neg.f32 (log1p.f32 (neg.f32 u0))))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (.f32 alpha alpha) (neg.f32 (log1p.f32 (neg.f32 u0))))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (.f32 alpha alpha) (neg.f32 (log1p.f32 (neg.f32 u0))))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(.f32 -1 (.f32 (pow.f32 alpha 2) (log.f32 (-.f32 1 u0))))
(neg.f32 (.f32 (.f32 alpha alpha) (log.f32 (-.f32 1 u0))))
(.f32 (.f32 alpha alpha) (neg.f32 (log1p.f32 (neg.f32 u0))))
(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
(*.f32 u0 (pow.f32 alpha 2))
(.f32 (.f32 alpha alpha) u0)
(.f32 alpha (.f32 alpha u0))
(+.f32 (.f32 u0 (pow.f32 alpha 2)) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))
(fma.f32 u0 (.f32 alpha alpha) (.f32 1/2 (.f32 (.f32 alpha alpha) (*.f32 u0 u0))))
(.f32 (.f32 alpha alpha) (+.f32 (.f32 1/2 (.f32 u0 u0)) u0))
(.f32 alpha (.f32 alpha (fma.f32 1/2 (*.f32 u0 u0) u0)))
(+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2)))))
(fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (.f32 alpha alpha) (pow.f32 u0 3)) (.f32 1/2 (.f32 (.f32 alpha alpha) (*.f32 u0 u0)))))
(fma.f32 (.f32 alpha alpha) u0 (.f32 (.f32 alpha alpha) (+.f32 (.f32 1/2 (.f32 u0 u0)) (.f32 1/3 (pow.f32 u0 3)))))
(.f32 (.f32 alpha alpha) (+.f32 u0 (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))))
(.f32 alpha (.f32 alpha (+.f32 (.f32 (.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)) u0)))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))))
(fma.f32 1/4 (.f32 (.f32 alpha alpha) (pow.f32 u0 4)) (fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (.f32 alpha alpha) (pow.f32 u0 3)) (.f32 1/2 (.f32 (.f32 alpha alpha) (*.f32 u0 u0))))))
(+.f32 (.f32 (.f32 alpha alpha) (+.f32 (.f32 1/2 (.f32 u0 u0)) (.f32 1/3 (pow.f32 u0 3)))) (.f32 (.f32 alpha alpha) (+.f32 (.f32 1/4 (pow.f32 u0 4)) u0)))
(.f32 (.f32 alpha alpha) (+.f32 (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))) (fma.f32 1/4 (pow.f32 u0 4) u0)))
(.f32 alpha (.f32 alpha (+.f32 u0 (.f32 (.f32 u0 u0) (+.f32 1/2 (.f32 u0 (+.f32 1/3 (.f32 1/4 u0))))))))
(.f32 -1 (.f32 (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (pow.f32 alpha 2)))
(neg.f32 (.f32 (.f32 alpha alpha) (fma.f32 -1 (neg.f32 (log.f32 u0)) (log.f32 -1))))
(.f32 (+.f32 (log.f32 -1) (log.f32 u0)) (neg.f32 (.f32 alpha alpha)))
(.f32 (.f32 alpha alpha) (-.f32 (neg.f32 (log.f32 u0)) (log.f32 -1)))
(+.f32 (/.f32 (pow.f32 alpha 2) u0) (.f32 -1 (.f32 (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (pow.f32 alpha 2))))
(+.f32 (neg.f32 (.f32 (.f32 alpha alpha) (fma.f32 -1 (neg.f32 (log.f32 u0)) (log.f32 -1)))) (/.f32 (*.f32 alpha alpha) u0))
(-.f32 (/.f32 (.f32 alpha alpha) u0) (.f32 alpha (*.f32 alpha (+.f32 (log.f32 -1) (log.f32 u0)))))
(*.f32 alpha (fma.f32 alpha (-.f32 (neg.f32 (log.f32 u0)) (log.f32 -1)) (/.f32 alpha u0)))
(+.f32 (/.f32 (pow.f32 alpha 2) u0) (+.f32 (.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2))) (.f32 -1 (.f32 (+.f32 (.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (pow.f32 alpha 2)))))
(+.f32 (/.f32 (.f32 alpha alpha) u0) (fma.f32 1/2 (/.f32 (.f32 alpha alpha) (.f32 u0 u0)) (neg.f32 (.f32 (*.f32 alpha alpha) (fma.f32 -1 (neg.f32 (log.f32 u0)) (log.f32 -1))))))
(-.f32 (fma.f32 1/2 (/.f32 (.f32 alpha alpha) (.f32 u0 u0)) (/.f32 (.f32 alpha alpha) u0)) (.f32 alpha (*.f32 alpha (+.f32 (log.f32 -1) (log.f32 u0)))))
(-.f32 (.f32 (+.f32 (/.f32 1/2 u0) 1) (/.f32 (.f32 alpha alpha) u0)) (.f32 alpha (.f32 alpha (+.f32 (log.f32 -1) (log.f32 u0)))))
(fma.f32 (/.f32 alpha u0) alpha (.f32 (.f32 alpha alpha) (-.f32 (/.f32 1/2 (*.f32 u0 u0)) (+.f32 (log.f32 -1) (log.f32 u0)))))
(+.f32 (.f32 1/3 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 3))) (+.f32 (/.f32 (pow.f32 alpha 2) u0) (+.f32 (.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2))) (.f32 -1 (.f32 (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) (pow.f32 alpha 2))))))
(fma.f32 1/3 (/.f32 (.f32 alpha alpha) (pow.f32 u0 3)) (+.f32 (/.f32 (.f32 alpha alpha) u0) (fma.f32 1/2 (/.f32 (.f32 alpha alpha) (.f32 u0 u0)) (neg.f32 (.f32 (.f32 alpha alpha) (fma.f32 -1 (neg.f32 (log.f32 u0)) (log.f32 -1)))))))
(fma.f32 1/3 (/.f32 alpha (/.f32 (pow.f32 u0 3) alpha)) (-.f32 (fma.f32 1/2 (/.f32 (.f32 alpha alpha) (.f32 u0 u0)) (/.f32 (.f32 alpha alpha) u0)) (.f32 alpha (*.f32 alpha (+.f32 (log.f32 -1) (log.f32 u0))))))
(+.f32 (/.f32 (.f32 alpha alpha) u0) (-.f32 (.f32 (/.f32 (/.f32 (.f32 alpha alpha) u0) u0) (+.f32 1/2 (/.f32 1/3 u0))) (.f32 alpha (*.f32 alpha (+.f32 (log.f32 -1) (log.f32 u0))))))
(-.f32 (.f32 (/.f32 alpha u0) (+.f32 (.f32 (/.f32 alpha u0) 1/2) alpha)) (.f32 (.f32 alpha alpha) (-.f32 (+.f32 (log.f32 -1) (log.f32 u0)) (/.f32 1/3 (pow.f32 u0 3)))))
(*.f32 (pow.f32 alpha 2) (log.f32 (/.f32 -1 u0)))
(.f32 (.f32 alpha alpha) (log.f32 (/.f32 -1 u0)))
(.f32 alpha (.f32 alpha (log.f32 (/.f32 -1 u0))))
(+.f32 (*.f32 (pow.f32 alpha 2) (log.f32 (/.f32 -1 u0))) (/.f32 (pow.f32 alpha 2) u0))
(fma.f32 (.f32 alpha alpha) (log.f32 (/.f32 -1 u0)) (/.f32 (.f32 alpha alpha) u0))
(fma.f32 alpha (.f32 alpha (log.f32 (/.f32 -1 u0))) (/.f32 (.f32 alpha alpha) u0))
(*.f32 alpha (fma.f32 alpha (log.f32 (/.f32 -1 u0)) (/.f32 alpha u0)))
(+.f32 (.f32 (pow.f32 alpha 2) (log.f32 (/.f32 -1 u0))) (+.f32 (/.f32 (pow.f32 alpha 2) u0) (.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2)))))
(+.f32 (fma.f32 (.f32 alpha alpha) (log.f32 (/.f32 -1 u0)) (/.f32 (.f32 alpha alpha) u0)) (.f32 1/2 (/.f32 (.f32 alpha alpha) (*.f32 u0 u0))))
(fma.f32 (.f32 alpha alpha) (log.f32 (/.f32 -1 u0)) (fma.f32 1/2 (/.f32 (.f32 alpha alpha) (.f32 u0 u0)) (/.f32 (.f32 alpha alpha) u0)))
(fma.f32 alpha (.f32 alpha (log.f32 (/.f32 -1 u0))) (.f32 (+.f32 (/.f32 1/2 u0) 1) (/.f32 (*.f32 alpha alpha) u0)))
(fma.f32 (.f32 alpha alpha) (log.f32 (/.f32 -1 u0)) (.f32 (/.f32 alpha u0) (+.f32 (*.f32 (/.f32 alpha u0) 1/2) alpha)))
(+.f32 (.f32 (pow.f32 alpha 2) (log.f32 (/.f32 -1 u0))) (+.f32 (.f32 1/3 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 3))) (+.f32 (/.f32 (pow.f32 alpha 2) u0) (*.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2))))))
(fma.f32 (.f32 alpha alpha) (log.f32 (/.f32 -1 u0)) (fma.f32 1/3 (/.f32 (.f32 alpha alpha) (pow.f32 u0 3)) (+.f32 (/.f32 (.f32 alpha alpha) u0) (.f32 1/2 (/.f32 (.f32 alpha alpha) (.f32 u0 u0))))))
(fma.f32 (.f32 alpha alpha) (log.f32 (/.f32 -1 u0)) (fma.f32 1/3 (/.f32 alpha (/.f32 (pow.f32 u0 3) alpha)) (fma.f32 1/2 (/.f32 (.f32 alpha alpha) (.f32 u0 u0)) (/.f32 (.f32 alpha alpha) u0))))
(fma.f32 alpha (.f32 alpha (log.f32 (/.f32 -1 u0))) (+.f32 (/.f32 (.f32 alpha alpha) u0) (.f32 (/.f32 (/.f32 (.f32 alpha alpha) u0) u0) (+.f32 1/2 (/.f32 1/3 u0)))))
(+.f32 (.f32 alpha (fma.f32 alpha (log.f32 (/.f32 -1 u0)) (/.f32 alpha u0))) (.f32 (*.f32 (/.f32 alpha u0) (/.f32 alpha u0)) (+.f32 1/2 (/.f32 1/3 u0))))
(*.f32 u0 alpha)
(*.f32 alpha u0)
(+.f32 (.f32 1/2 (.f32 (pow.f32 u0 2) alpha)) (*.f32 u0 alpha))
(fma.f32 1/2 (.f32 alpha (.f32 u0 u0)) (*.f32 alpha u0))
(.f32 alpha (+.f32 (.f32 1/2 (*.f32 u0 u0)) u0))
(.f32 alpha (fma.f32 1/2 (.f32 u0 u0) u0))
(+.f32 (.f32 1/2 (.f32 (pow.f32 u0 2) alpha)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) alpha)) (*.f32 u0 alpha)))
(fma.f32 1/2 (.f32 alpha (.f32 u0 u0)) (fma.f32 1/3 (.f32 alpha (pow.f32 u0 3)) (.f32 alpha u0)))
(fma.f32 1/2 (.f32 alpha (.f32 u0 u0)) (.f32 alpha (+.f32 (.f32 1/3 (pow.f32 u0 3)) u0)))
(.f32 alpha (+.f32 u0 (.f32 (.f32 u0 u0) (+.f32 1/2 (.f32 u0 1/3)))))
(.f32 alpha (+.f32 (.f32 (.f32 u0 u0) (+.f32 (.f32 u0 1/3) 1/2)) u0))
(+.f32 (.f32 1/2 (.f32 (pow.f32 u0 2) alpha)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) alpha)) (+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) alpha)) (*.f32 u0 alpha))))
(fma.f32 1/2 (.f32 alpha (.f32 u0 u0)) (fma.f32 1/3 (.f32 alpha (pow.f32 u0 3)) (fma.f32 1/4 (.f32 alpha (pow.f32 u0 4)) (*.f32 alpha u0))))
(fma.f32 1/2 (.f32 alpha (.f32 u0 u0)) (fma.f32 1/3 (.f32 alpha (pow.f32 u0 3)) (.f32 alpha (+.f32 u0 (*.f32 1/4 (pow.f32 u0 4))))))
(.f32 alpha (+.f32 (.f32 (.f32 u0 u0) (+.f32 1/2 (.f32 u0 1/3))) (fma.f32 1/4 (pow.f32 u0 4) u0)))
(.f32 alpha (+.f32 u0 (.f32 (.f32 u0 u0) (+.f32 1/2 (.f32 u0 (+.f32 1/3 (*.f32 1/4 u0)))))))
(.f32 -1 (.f32 (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) alpha))
(neg.f32 (*.f32 alpha (fma.f32 -1 (neg.f32 (log.f32 u0)) (log.f32 -1))))
(*.f32 alpha (neg.f32 (+.f32 (log.f32 -1) (log.f32 u0))))
(*.f32 alpha (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u0)))
(*.f32 alpha (-.f32 (neg.f32 (log.f32 u0)) (log.f32 -1)))
(+.f32 (.f32 -1 (.f32 (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) alpha)) (/.f32 alpha u0))
(fma.f32 -1 (*.f32 alpha (fma.f32 -1 (neg.f32 (log.f32 u0)) (log.f32 -1))) (/.f32 alpha u0))
(-.f32 (/.f32 alpha u0) (*.f32 alpha (+.f32 (log.f32 -1) (log.f32 u0))))
(fma.f32 (+.f32 (log.f32 -1) (log.f32 u0)) (neg.f32 alpha) (/.f32 alpha u0))
(fma.f32 alpha (-.f32 (neg.f32 (log.f32 u0)) (log.f32 -1)) (/.f32 alpha u0))
(+.f32 (.f32 1/2 (/.f32 alpha (pow.f32 u0 2))) (+.f32 (.f32 -1 (.f32 (+.f32 (.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) alpha)) (/.f32 alpha u0)))
(fma.f32 1/2 (/.f32 alpha (.f32 u0 u0)) (fma.f32 -1 (.f32 alpha (fma.f32 -1 (neg.f32 (log.f32 u0)) (log.f32 -1))) (/.f32 alpha u0)))
(fma.f32 1/2 (/.f32 alpha (.f32 u0 u0)) (-.f32 (/.f32 alpha u0) (.f32 alpha (+.f32 (log.f32 -1) (log.f32 u0)))))
(-.f32 (.f32 (+.f32 (/.f32 1/2 u0) 1) (/.f32 alpha u0)) (.f32 alpha (+.f32 (log.f32 -1) (log.f32 u0))))
(fma.f32 alpha (-.f32 (neg.f32 (log.f32 u0)) (log.f32 -1)) (*.f32 (+.f32 (/.f32 1/2 u0) 1) (/.f32 alpha u0)))
(+.f32 (.f32 1/3 (/.f32 alpha (pow.f32 u0 3))) (+.f32 (.f32 1/2 (/.f32 alpha (pow.f32 u0 2))) (+.f32 (.f32 -1 (.f32 (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u0))) (log.f32 -1)) alpha)) (/.f32 alpha u0))))
(fma.f32 1/3 (/.f32 alpha (pow.f32 u0 3)) (fma.f32 1/2 (/.f32 alpha (.f32 u0 u0)) (fma.f32 -1 (.f32 alpha (fma.f32 -1 (neg.f32 (log.f32 u0)) (log.f32 -1))) (/.f32 alpha u0))))
(fma.f32 1/3 (/.f32 alpha (pow.f32 u0 3)) (fma.f32 1/2 (/.f32 alpha (.f32 u0 u0)) (-.f32 (/.f32 alpha u0) (.f32 alpha (+.f32 (log.f32 -1) (log.f32 u0))))))
(+.f32 (/.f32 alpha u0) (-.f32 (.f32 (/.f32 alpha (.f32 u0 u0)) (+.f32 1/2 (/.f32 1/3 u0))) (*.f32 alpha (+.f32 (log.f32 -1) (log.f32 u0)))))
(+.f32 (/.f32 alpha u0) (-.f32 (.f32 (/.f32 alpha (.f32 u0 u0)) (+.f32 (/.f32 1/3 u0) 1/2)) (*.f32 alpha (+.f32 (log.f32 -1) (log.f32 u0)))))
(*.f32 alpha (log.f32 (/.f32 -1 u0)))
(+.f32 (*.f32 alpha (log.f32 (/.f32 -1 u0))) (/.f32 alpha u0))
(fma.f32 alpha (log.f32 (/.f32 -1 u0)) (/.f32 alpha u0))
(+.f32 (.f32 1/2 (/.f32 alpha (pow.f32 u0 2))) (+.f32 (.f32 alpha (log.f32 (/.f32 -1 u0))) (/.f32 alpha u0)))
(fma.f32 1/2 (/.f32 alpha (*.f32 u0 u0)) (fma.f32 alpha (log.f32 (/.f32 -1 u0)) (/.f32 alpha u0)))
(fma.f32 alpha (log.f32 (/.f32 -1 u0)) (*.f32 (+.f32 (/.f32 1/2 u0) 1) (/.f32 alpha u0)))
(+.f32 (.f32 1/3 (/.f32 alpha (pow.f32 u0 3))) (+.f32 (.f32 1/2 (/.f32 alpha (pow.f32 u0 2))) (+.f32 (*.f32 alpha (log.f32 (/.f32 -1 u0))) (/.f32 alpha u0))))
(fma.f32 1/3 (/.f32 alpha (pow.f32 u0 3)) (fma.f32 1/2 (/.f32 alpha (*.f32 u0 u0)) (fma.f32 alpha (log.f32 (/.f32 -1 u0)) (/.f32 alpha u0))))
(+.f32 (fma.f32 alpha (log.f32 (/.f32 -1 u0)) (/.f32 alpha u0)) (.f32 (/.f32 alpha (.f32 u0 u0)) (+.f32 1/2 (/.f32 1/3 u0))))
(+.f32 (fma.f32 alpha (log.f32 (/.f32 -1 u0)) (/.f32 alpha u0)) (.f32 (/.f32 alpha (.f32 u0 u0)) (+.f32 (/.f32 1/3 u0) 1/2)))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(neg.f32 (*.f32 alpha (log.f32 (-.f32 1 u0))))
(*.f32 alpha (neg.f32 (log1p.f32 (neg.f32 u0))))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(neg.f32 (*.f32 alpha (log.f32 (-.f32 1 u0))))
(*.f32 alpha (neg.f32 (log1p.f32 (neg.f32 u0))))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(neg.f32 (*.f32 alpha (log.f32 (-.f32 1 u0))))
(*.f32 alpha (neg.f32 (log1p.f32 (neg.f32 u0))))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(neg.f32 (*.f32 alpha (log.f32 (-.f32 1 u0))))
(*.f32 alpha (neg.f32 (log1p.f32 (neg.f32 u0))))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(neg.f32 (*.f32 alpha (log.f32 (-.f32 1 u0))))
(*.f32 alpha (neg.f32 (log1p.f32 (neg.f32 u0))))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(neg.f32 (*.f32 alpha (log.f32 (-.f32 1 u0))))
(*.f32 alpha (neg.f32 (log1p.f32 (neg.f32 u0))))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(neg.f32 (*.f32 alpha (log.f32 (-.f32 1 u0))))
(*.f32 alpha (neg.f32 (log1p.f32 (neg.f32 u0))))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(neg.f32 (*.f32 alpha (log.f32 (-.f32 1 u0))))
(*.f32 alpha (neg.f32 (log1p.f32 (neg.f32 u0))))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(neg.f32 (*.f32 alpha (log.f32 (-.f32 1 u0))))
(*.f32 alpha (neg.f32 (log1p.f32 (neg.f32 u0))))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(neg.f32 (*.f32 alpha (log.f32 (-.f32 1 u0))))
(*.f32 alpha (neg.f32 (log1p.f32 (neg.f32 u0))))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(neg.f32 (*.f32 alpha (log.f32 (-.f32 1 u0))))
(*.f32 alpha (neg.f32 (log1p.f32 (neg.f32 u0))))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha))
(.f32 -1 (.f32 alpha (log.f32 (-.f32 1 u0))))
(neg.f32 (*.f32 alpha (log.f32 (-.f32 1 u0))))
(*.f32 alpha (neg.f32 (log1p.f32 (neg.f32 u0))))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha))

prune63.0ms (2%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	120	1	121
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	120	10	130

Error

0.1b

Counts

130 → 10

Alt Table

Status	Error	Program
	3.0b	(.f32 alpha (+.f32 (.f32 1/2 (.f32 (pow.f32 u0 2) alpha)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) alpha)) (.f32 u0 alpha))))
	11.1b	(cbrt.f32 (.f32 (pow.f32 (.f32 alpha alpha) 3) (pow.f32 (log1p.f32 u0) 3)))
✓	0.3b	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
	9.1b	(pow.f32 (cbrt.f32 (.f32 alpha (.f32 alpha (log1p.f32 u0)))) 3)
	13.9b	(.f32 (.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0)))
▶	2.3b	(.f32 (.f32 alpha alpha) (+.f32 (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))) (fma.f32 1/4 (pow.f32 u0 4) u0)))
	3.0b	(+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2)))))
✓	0.3b	(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
	9.1b	(pow.f32 (*.f32 alpha (sqrt.f32 (log1p.f32 u0))) 2)
	4.4b	(.f32 (.f32 alpha (neg.f32 alpha)) (.f32 u0 (+.f32 -1 (.f32 u0 -1/2))))

Compiler

Compiled 2034 to 1227 computations (39.7% saved)

localize52.0ms (1.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(+.f32 (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))) (fma.f32 1/4 (pow.f32 u0 4) u0))
✓	0.3b	(.f32 (.f32 alpha alpha) (+.f32 (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))) (fma.f32 1/4 (pow.f32 u0 4) u0)))
✓	0.3b	(.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
✓	0.3b	(*.f32 u0 1/3)

series10.0ms (0.3%)

Counts

4 → 60

Calls

15 calls:

Time	Variable		Point	Expression
3.0ms	u0	@	-inf	(.f32 (.f32 alpha alpha) (+.f32 (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))) (fma.f32 1/4 (pow.f32 u0 4) u0)))
2.0ms	alpha	@	0	(.f32 (.f32 alpha alpha) (+.f32 (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))) (fma.f32 1/4 (pow.f32 u0 4) u0)))
1.0ms	u0	@	inf	(.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
1.0ms	alpha	@	inf	(.f32 (.f32 alpha alpha) (+.f32 (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))) (fma.f32 1/4 (pow.f32 u0 4) u0)))
1.0ms	u0	@	inf	(.f32 (.f32 alpha alpha) (+.f32 (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))) (fma.f32 1/4 (pow.f32 u0 4) u0)))

rewrite69.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

292×	`log1p-udef_binary32`
175×	`add-sqr-sqrt_binary32`
170×	`pow1_binary32`
169×	`*-un-lft-identity_binary32`
168×	`add-log-exp_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	65
1	361	59
2	4772	59

Stop Event

1×	node limit

Counts

4 → 101

Calls

Call 1

Inputs
(*.f32 u0 1/3)
(.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(.f32 (.f32 alpha alpha) (+.f32 (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))) (fma.f32 1/4 (pow.f32 u0 4) u0)))
(+.f32 (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))) (fma.f32 1/4 (pow.f32 u0 4) u0))

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

simplify52.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

694×	`unswap-sqr_binary32`
541×	`distribute-rgt-out_binary32`
472×	`*-commutative_binary32`
326×	`fma-def_binary32`
260×	`distribute-rgt-in_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	41	1030
1	114	908
2	335	852
3	1395	848
4	2899	848
5	4526	848

Stop Event

1×	node limit

Counts

161 → 134

Calls

Call 1

Inputs
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/2 (pow.f32 u0 2))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (.f32 1/3 (pow.f32 u0 3)))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (.f32 1/3 (pow.f32 u0 3)))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (.f32 1/3 (pow.f32 u0 3)))
(*.f32 1/3 (pow.f32 u0 3))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (.f32 1/3 (pow.f32 u0 3)))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (.f32 1/3 (pow.f32 u0 3)))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (.f32 1/3 (pow.f32 u0 3)))
(*.f32 1/3 (pow.f32 u0 3))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (.f32 1/3 (pow.f32 u0 3)))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (.f32 1/3 (pow.f32 u0 3)))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (.f32 1/3 (pow.f32 u0 3)))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(*.f32 u0 (pow.f32 alpha 2))
(+.f32 (.f32 u0 (pow.f32 alpha 2)) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))
(+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2)))))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))))
(.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2)))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (.f32 (pow.f32 u0 2) (pow.f32 alpha 2)))))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))))
(.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2)))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (.f32 (pow.f32 u0 2) (pow.f32 alpha 2)))))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))))
u0
(+.f32 u0 (*.f32 1/2 (pow.f32 u0 2)))
(+.f32 u0 (+.f32 (.f32 1/2 (pow.f32 u0 2)) (.f32 1/3 (pow.f32 u0 3))))
(+.f32 u0 (+.f32 (.f32 1/2 (pow.f32 u0 2)) (+.f32 (.f32 1/3 (pow.f32 u0 3)) (*.f32 1/4 (pow.f32 u0 4)))))
(*.f32 1/4 (pow.f32 u0 4))
(+.f32 (.f32 1/3 (pow.f32 u0 3)) (.f32 1/4 (pow.f32 u0 4)))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (+.f32 (.f32 1/3 (pow.f32 u0 3)) (*.f32 1/4 (pow.f32 u0 4))))
(+.f32 u0 (+.f32 (.f32 1/2 (pow.f32 u0 2)) (+.f32 (.f32 1/3 (pow.f32 u0 3)) (*.f32 1/4 (pow.f32 u0 4)))))
(*.f32 1/4 (pow.f32 u0 4))
(+.f32 (.f32 1/3 (pow.f32 u0 3)) (.f32 1/4 (pow.f32 u0 4)))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (+.f32 (.f32 1/3 (pow.f32 u0 3)) (*.f32 1/4 (pow.f32 u0 4))))
(+.f32 u0 (+.f32 (.f32 1/2 (pow.f32 u0 2)) (+.f32 (.f32 1/3 (pow.f32 u0 3)) (*.f32 1/4 (pow.f32 u0 4)))))

Outputs
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/3 u0)
(*.f32 1/2 (pow.f32 u0 2))
(.f32 1/2 (.f32 u0 u0))
(.f32 u0 (.f32 u0 1/2))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (.f32 1/3 (pow.f32 u0 3)))
(fma.f32 1/2 (.f32 u0 u0) (.f32 1/3 (pow.f32 u0 3)))
(.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (.f32 1/3 (pow.f32 u0 3)))
(fma.f32 1/2 (.f32 u0 u0) (.f32 1/3 (pow.f32 u0 3)))
(.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (.f32 1/3 (pow.f32 u0 3)))
(fma.f32 1/2 (.f32 u0 u0) (.f32 1/3 (pow.f32 u0 3)))
(.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)))
(*.f32 1/3 (pow.f32 u0 3))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (.f32 1/3 (pow.f32 u0 3)))
(fma.f32 1/2 (.f32 u0 u0) (.f32 1/3 (pow.f32 u0 3)))
(.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (.f32 1/3 (pow.f32 u0 3)))
(fma.f32 1/2 (.f32 u0 u0) (.f32 1/3 (pow.f32 u0 3)))
(.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (.f32 1/3 (pow.f32 u0 3)))
(fma.f32 1/2 (.f32 u0 u0) (.f32 1/3 (pow.f32 u0 3)))
(.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)))
(*.f32 1/3 (pow.f32 u0 3))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (.f32 1/3 (pow.f32 u0 3)))
(fma.f32 1/2 (.f32 u0 u0) (.f32 1/3 (pow.f32 u0 3)))
(.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (.f32 1/3 (pow.f32 u0 3)))
(fma.f32 1/2 (.f32 u0 u0) (.f32 1/3 (pow.f32 u0 3)))
(.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (.f32 1/3 (pow.f32 u0 3)))
(fma.f32 1/2 (.f32 u0 u0) (.f32 1/3 (pow.f32 u0 3)))
(.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 (.f32 1/3 u0) 1/2) (.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (.f32 1/4 (pow.f32 u0 4)))) (.f32 alpha alpha))
(.f32 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (fma.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 (.f32 1/3 u0) 1/2) (.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (.f32 1/4 (pow.f32 u0 4)))) (.f32 alpha alpha))
(.f32 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (fma.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 (.f32 1/3 u0) 1/2) (.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (.f32 1/4 (pow.f32 u0 4)))) (.f32 alpha alpha))
(.f32 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (fma.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 (.f32 1/3 u0) 1/2) (.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (.f32 1/4 (pow.f32 u0 4)))) (.f32 alpha alpha))
(.f32 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (fma.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 (.f32 1/3 u0) 1/2) (.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (.f32 1/4 (pow.f32 u0 4)))) (.f32 alpha alpha))
(.f32 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (fma.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 (.f32 1/3 u0) 1/2) (.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (.f32 1/4 (pow.f32 u0 4)))) (.f32 alpha alpha))
(.f32 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (fma.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 (.f32 1/3 u0) 1/2) (.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (.f32 1/4 (pow.f32 u0 4)))) (.f32 alpha alpha))
(.f32 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (fma.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 (.f32 1/3 u0) 1/2) (.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (.f32 1/4 (pow.f32 u0 4)))) (.f32 alpha alpha))
(.f32 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (fma.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 (.f32 1/3 u0) 1/2) (.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (.f32 1/4 (pow.f32 u0 4)))) (.f32 alpha alpha))
(.f32 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (fma.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 (.f32 1/3 u0) 1/2) (.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (.f32 1/4 (pow.f32 u0 4)))) (.f32 alpha alpha))
(.f32 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (fma.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 (.f32 1/3 u0) 1/2) (.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (.f32 1/4 (pow.f32 u0 4)))) (.f32 alpha alpha))
(.f32 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (fma.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 (.f32 1/3 u0) 1/2) (.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (.f32 1/4 (pow.f32 u0 4)))) (.f32 alpha alpha))
(.f32 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (fma.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(*.f32 u0 (pow.f32 alpha 2))
(.f32 u0 (.f32 alpha alpha))
(+.f32 (.f32 u0 (pow.f32 alpha 2)) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))
(fma.f32 u0 (.f32 alpha alpha) (.f32 1/2 (.f32 (.f32 u0 u0) (*.f32 alpha alpha))))
(.f32 (.f32 alpha alpha) (fma.f32 1/2 (*.f32 u0 u0) u0))
(.f32 (.f32 alpha alpha) (fma.f32 u0 (*.f32 u0 1/2) u0))
(.f32 alpha (.f32 alpha (fma.f32 u0 (*.f32 u0 1/2) u0)))
(+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2)))))
(fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (*.f32 alpha alpha)))))
(fma.f32 u0 (.f32 alpha alpha) (.f32 (.f32 alpha alpha) (.f32 u0 (*.f32 u0 (fma.f32 1/3 u0 1/2)))))
(.f32 (.f32 alpha alpha) (fma.f32 u0 (*.f32 u0 (fma.f32 1/3 u0 1/2)) u0))
(.f32 alpha (.f32 alpha (fma.f32 u0 (*.f32 u0 (fma.f32 1/3 u0 1/2)) u0)))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 (.f32 1/3 u0) 1/2) (.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (.f32 1/4 (pow.f32 u0 4)))) (.f32 alpha alpha))
(.f32 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (fma.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2)))
(.f32 1/4 (.f32 (pow.f32 u0 4) (*.f32 alpha alpha)))
(.f32 (.f32 1/4 (pow.f32 u0 4)) (*.f32 alpha alpha))
(.f32 (pow.f32 u0 4) (.f32 1/4 (*.f32 alpha alpha)))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (.f32 1/3 (.f32 (pow.f32 u0 3) (*.f32 alpha alpha))))
(.f32 (.f32 alpha alpha) (fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/4 (pow.f32 u0 4))))
(.f32 alpha (.f32 alpha (fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/4 (pow.f32 u0 4)))))
(.f32 alpha (.f32 alpha (.f32 (pow.f32 u0 3) (+.f32 (.f32 u0 1/4) 1/3))))
(.f32 alpha (.f32 alpha (.f32 (pow.f32 u0 3) (+.f32 1/3 (.f32 u0 1/4)))))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (.f32 (pow.f32 u0 2) (pow.f32 alpha 2)))))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (.f32 alpha alpha)))))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (.f32 (.f32 alpha alpha) (.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)))))
(.f32 (fma.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)) (.f32 1/4 (pow.f32 u0 4))) (.f32 alpha alpha))
(.f32 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)))) (.f32 alpha alpha))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 (.f32 1/3 u0) 1/2) (.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (.f32 1/4 (pow.f32 u0 4)))) (.f32 alpha alpha))
(.f32 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (fma.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2)))
(.f32 1/4 (.f32 (pow.f32 u0 4) (*.f32 alpha alpha)))
(.f32 (.f32 1/4 (pow.f32 u0 4)) (*.f32 alpha alpha))
(.f32 (pow.f32 u0 4) (.f32 1/4 (*.f32 alpha alpha)))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (.f32 1/3 (.f32 (pow.f32 u0 3) (*.f32 alpha alpha))))
(.f32 (.f32 alpha alpha) (fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/4 (pow.f32 u0 4))))
(.f32 alpha (.f32 alpha (fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/4 (pow.f32 u0 4)))))
(.f32 alpha (.f32 alpha (.f32 (pow.f32 u0 3) (+.f32 (.f32 u0 1/4) 1/3))))
(.f32 alpha (.f32 alpha (.f32 (pow.f32 u0 3) (+.f32 1/3 (.f32 u0 1/4)))))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (.f32 (pow.f32 u0 2) (pow.f32 alpha 2)))))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (.f32 alpha alpha)))))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (.f32 (.f32 alpha alpha) (.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)))))
(.f32 (fma.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)) (.f32 1/4 (pow.f32 u0 4))) (.f32 alpha alpha))
(.f32 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)))) (.f32 alpha alpha))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 (.f32 1/3 u0) 1/2) (.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (.f32 1/4 (pow.f32 u0 4)))) (.f32 alpha alpha))
(.f32 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
(.f32 (fma.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) (*.f32 alpha alpha))
u0
(+.f32 u0 (*.f32 1/2 (pow.f32 u0 2)))
(+.f32 u0 (.f32 1/2 (.f32 u0 u0)))
(fma.f32 1/2 (*.f32 u0 u0) u0)
(fma.f32 u0 (*.f32 u0 1/2) u0)
(+.f32 u0 (+.f32 (.f32 1/2 (pow.f32 u0 2)) (.f32 1/3 (pow.f32 u0 3))))
(+.f32 u0 (fma.f32 1/2 (.f32 u0 u0) (.f32 1/3 (pow.f32 u0 3))))
(+.f32 u0 (.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2))))
(fma.f32 u0 (*.f32 u0 (fma.f32 1/3 u0 1/2)) u0)
(+.f32 u0 (+.f32 (.f32 1/2 (pow.f32 u0 2)) (+.f32 (.f32 1/3 (pow.f32 u0 3)) (*.f32 1/4 (pow.f32 u0 4)))))
(+.f32 u0 (fma.f32 1/2 (.f32 u0 u0) (fma.f32 1/3 (pow.f32 u0 3) (.f32 1/4 (pow.f32 u0 4)))))
(+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (.f32 1/4 (pow.f32 u0 4))))
(fma.f32 (*.f32 u0 u0) (fma.f32 1/3 u0 1/2) (fma.f32 1/4 (pow.f32 u0 4) u0))
(fma.f32 u0 (*.f32 u0 (fma.f32 1/3 u0 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0))
(*.f32 1/4 (pow.f32 u0 4))
(+.f32 (.f32 1/3 (pow.f32 u0 3)) (.f32 1/4 (pow.f32 u0 4)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/4 (pow.f32 u0 4)))
(.f32 (pow.f32 u0 3) (+.f32 (.f32 u0 1/4) 1/3))
(.f32 (pow.f32 u0 3) (+.f32 1/3 (.f32 u0 1/4)))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (+.f32 (.f32 1/3 (pow.f32 u0 3)) (*.f32 1/4 (pow.f32 u0 4))))
(fma.f32 1/2 (.f32 u0 u0) (fma.f32 1/3 (pow.f32 u0 3) (.f32 1/4 (pow.f32 u0 4))))
(fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (.f32 1/4 (pow.f32 u0 4)))
(fma.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)) (.f32 1/4 (pow.f32 u0 4)))
(fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2))))
(+.f32 u0 (+.f32 (.f32 1/2 (pow.f32 u0 2)) (+.f32 (.f32 1/3 (pow.f32 u0 3)) (*.f32 1/4 (pow.f32 u0 4)))))
(+.f32 u0 (fma.f32 1/2 (.f32 u0 u0) (fma.f32 1/3 (pow.f32 u0 3) (.f32 1/4 (pow.f32 u0 4)))))
(+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (.f32 1/4 (pow.f32 u0 4))))
(fma.f32 (*.f32 u0 u0) (fma.f32 1/3 u0 1/2) (fma.f32 1/4 (pow.f32 u0 4) u0))
(fma.f32 u0 (*.f32 u0 (fma.f32 1/3 u0 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0))
(*.f32 1/4 (pow.f32 u0 4))
(+.f32 (.f32 1/3 (pow.f32 u0 3)) (.f32 1/4 (pow.f32 u0 4)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/4 (pow.f32 u0 4)))
(.f32 (pow.f32 u0 3) (+.f32 (.f32 u0 1/4) 1/3))
(.f32 (pow.f32 u0 3) (+.f32 1/3 (.f32 u0 1/4)))
(+.f32 (.f32 1/2 (pow.f32 u0 2)) (+.f32 (.f32 1/3 (pow.f32 u0 3)) (*.f32 1/4 (pow.f32 u0 4))))
(fma.f32 1/2 (.f32 u0 u0) (fma.f32 1/3 (pow.f32 u0 3) (.f32 1/4 (pow.f32 u0 4))))
(fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (.f32 1/4 (pow.f32 u0 4)))
(fma.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2)) (.f32 1/4 (pow.f32 u0 4)))
(fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (.f32 u0 (fma.f32 1/3 u0 1/2))))
(+.f32 u0 (+.f32 (.f32 1/2 (pow.f32 u0 2)) (+.f32 (.f32 1/3 (pow.f32 u0 3)) (*.f32 1/4 (pow.f32 u0 4)))))
(+.f32 u0 (fma.f32 1/2 (.f32 u0 u0) (fma.f32 1/3 (pow.f32 u0 3) (.f32 1/4 (pow.f32 u0 4)))))
(+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 1/3 u0 1/2) (.f32 1/4 (pow.f32 u0 4))))
(fma.f32 (*.f32 u0 u0) (fma.f32 1/3 u0 1/2) (fma.f32 1/4 (pow.f32 u0 4) u0))
(fma.f32 u0 (*.f32 u0 (fma.f32 1/3 u0 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0))

prune139.0ms (4.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	130	4	134
Fresh	6	1	7
Picked	1	0	1
Done	0	2	2
Total	137	7	144

Error

0.0b

Counts

144 → 7

Alt Table

Status	Error	Program
	13.9b	(.f32 (.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0)))
▶	2.3b	(sqrt.f32 (.f32 (pow.f32 (fma.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) 2) (pow.f32 alpha 4)))
	2.7b	(pow.f32 (cbrt.f32 (.f32 (.f32 alpha alpha) (fma.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)))) 3)
	2.6b	(.f32 (.f32 alpha alpha) (pow.f32 (sqrt.f32 (fma.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0))) 2))
✓	0.3b	(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
	2.4b	(+.f32 (.f32 u0 (.f32 (.f32 u0 (fma.f32 u0 1/3 1/2)) (.f32 alpha alpha))) (.f32 alpha (.f32 alpha (fma.f32 1/4 (pow.f32 u0 4) u0))))
✓	0.3b	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))

Compiler

Compiled 3652 to 2373 computations (35% saved)

localize51.0ms (1.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f32 (.f32 (pow.f32 (fma.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) 2) (pow.f32 alpha 4)))
✓	0.3b	(.f32 (pow.f32 (fma.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) 2) (pow.f32 alpha 4))
✓	0.3b	(*.f32 u0 (fma.f32 u0 1/3 1/2))
✓	0.4b	(pow.f32 (fma.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) 2)

series10.0ms (0.3%)

Counts

4 → 72

Calls

18 calls:

Time	Variable		Point	Expression
2.0ms	alpha	@	0	(.f32 (pow.f32 (fma.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) 2) (pow.f32 alpha 4))
1.0ms	alpha	@	inf	(.f32 (pow.f32 (fma.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) 2) (pow.f32 alpha 4))
1.0ms	u0	@	inf	(pow.f32 (fma.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) 2)
1.0ms	u0	@	0	(pow.f32 (fma.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) 2)
1.0ms	u0	@	-inf	(*.f32 u0 (fma.f32 u0 1/3 1/2))

rewrite70.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

272×	`expm1-udef_binary32`
272×	`log1p-udef_binary32`
161×	`add-sqr-sqrt_binary32`
158×	`pow1_binary32`
155×	`*-un-lft-identity_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	88
1	352	83
2	3762	83

Stop Event

1×	node limit

Counts

4 → 82

Calls

Call 1

Inputs
(pow.f32 (fma.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) 2)
(*.f32 u0 (fma.f32 u0 1/3 1/2))
(.f32 (pow.f32 (fma.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) 2) (pow.f32 alpha 4))
(sqrt.f32 (.f32 (pow.f32 (fma.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) 2) (pow.f32 alpha 4)))

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

simplify58.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

785×	`fma-def_binary32`
617×	`distribute-rgt-out_binary32`
568×	`associate-l_binary32`
448×	`associate-r_binary32`
137×	`*-commutative_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	90	1961
1	251	1679
2	807	1404
3	4025	1402

Stop Event

1×	node limit

Counts

154 → 137

Calls

Call 1

Inputs
(pow.f32 u0 2)
(+.f32 (pow.f32 u0 3) (pow.f32 u0 2))
(+.f32 (*.f32 11/12 (pow.f32 u0 4)) (+.f32 (pow.f32 u0 3) (pow.f32 u0 2)))
(+.f32 (.f32 5/6 (pow.f32 u0 5)) (+.f32 (.f32 11/12 (pow.f32 u0 4)) (+.f32 (pow.f32 u0 3) (pow.f32 u0 2))))
(*.f32 1/16 (pow.f32 u0 8))
(+.f32 (.f32 1/6 (pow.f32 u0 7)) (.f32 1/16 (pow.f32 u0 8)))
(+.f32 (.f32 1/6 (pow.f32 u0 7)) (+.f32 (.f32 1/16 (pow.f32 u0 8)) (*.f32 13/36 (pow.f32 u0 6))))
(+.f32 (.f32 1/6 (pow.f32 u0 7)) (+.f32 (.f32 1/16 (pow.f32 u0 8)) (+.f32 (.f32 5/6 (pow.f32 u0 5)) (.f32 13/36 (pow.f32 u0 6)))))
(*.f32 1/16 (pow.f32 u0 8))
(+.f32 (.f32 1/6 (pow.f32 u0 7)) (.f32 1/16 (pow.f32 u0 8)))
(+.f32 (.f32 1/6 (pow.f32 u0 7)) (+.f32 (.f32 1/16 (pow.f32 u0 8)) (*.f32 13/36 (pow.f32 u0 6))))
(+.f32 (.f32 1/6 (pow.f32 u0 7)) (+.f32 (.f32 1/16 (pow.f32 u0 8)) (+.f32 (.f32 5/6 (pow.f32 u0 5)) (.f32 13/36 (pow.f32 u0 6)))))
(*.f32 1/2 u0)
(+.f32 (.f32 1/3 (pow.f32 u0 2)) (.f32 1/2 u0))
(+.f32 (.f32 1/3 (pow.f32 u0 2)) (.f32 1/2 u0))
(+.f32 (.f32 1/3 (pow.f32 u0 2)) (.f32 1/2 u0))
(*.f32 1/3 (pow.f32 u0 2))
(+.f32 (.f32 1/2 u0) (.f32 1/3 (pow.f32 u0 2)))
(+.f32 (.f32 1/2 u0) (.f32 1/3 (pow.f32 u0 2)))
(+.f32 (.f32 1/2 u0) (.f32 1/3 (pow.f32 u0 2)))
(*.f32 1/3 (pow.f32 u0 2))
(+.f32 (.f32 1/2 u0) (.f32 1/3 (pow.f32 u0 2)))
(+.f32 (.f32 1/2 u0) (.f32 1/3 (pow.f32 u0 2)))
(+.f32 (.f32 1/2 u0) (.f32 1/3 (pow.f32 u0 2)))
(*.f32 (pow.f32 u0 2) (pow.f32 alpha 4))
(+.f32 (.f32 (pow.f32 u0 2) (pow.f32 alpha 4)) (.f32 (pow.f32 u0 3) (pow.f32 alpha 4)))
(+.f32 (.f32 11/12 (.f32 (pow.f32 u0 4) (pow.f32 alpha 4))) (+.f32 (.f32 (pow.f32 u0 2) (pow.f32 alpha 4)) (.f32 (pow.f32 u0 3) (pow.f32 alpha 4))))
(+.f32 (.f32 11/12 (.f32 (pow.f32 u0 4) (pow.f32 alpha 4))) (+.f32 (.f32 (pow.f32 u0 2) (pow.f32 alpha 4)) (+.f32 (.f32 (pow.f32 u0 3) (pow.f32 alpha 4)) (.f32 5/6 (.f32 (pow.f32 u0 5) (pow.f32 alpha 4))))))
(.f32 1/16 (.f32 (pow.f32 u0 8) (pow.f32 alpha 4)))
(+.f32 (.f32 1/6 (.f32 (pow.f32 u0 7) (pow.f32 alpha 4))) (.f32 1/16 (.f32 (pow.f32 u0 8) (pow.f32 alpha 4))))
(+.f32 (.f32 1/6 (.f32 (pow.f32 u0 7) (pow.f32 alpha 4))) (+.f32 (.f32 13/36 (.f32 (pow.f32 u0 6) (pow.f32 alpha 4))) (.f32 1/16 (.f32 (pow.f32 u0 8) (pow.f32 alpha 4)))))
(+.f32 (.f32 1/6 (.f32 (pow.f32 u0 7) (pow.f32 alpha 4))) (+.f32 (.f32 13/36 (.f32 (pow.f32 u0 6) (pow.f32 alpha 4))) (+.f32 (.f32 1/16 (.f32 (pow.f32 u0 8) (pow.f32 alpha 4))) (.f32 5/6 (.f32 (pow.f32 u0 5) (pow.f32 alpha 4))))))
(.f32 1/16 (.f32 (pow.f32 u0 8) (pow.f32 alpha 4)))
(+.f32 (.f32 1/6 (.f32 (pow.f32 u0 7) (pow.f32 alpha 4))) (.f32 1/16 (.f32 (pow.f32 u0 8) (pow.f32 alpha 4))))
(+.f32 (.f32 1/6 (.f32 (pow.f32 u0 7) (pow.f32 alpha 4))) (+.f32 (.f32 13/36 (.f32 (pow.f32 u0 6) (pow.f32 alpha 4))) (.f32 1/16 (.f32 (pow.f32 u0 8) (pow.f32 alpha 4)))))
(+.f32 (.f32 1/6 (.f32 (pow.f32 u0 7) (pow.f32 alpha 4))) (+.f32 (.f32 13/36 (.f32 (pow.f32 u0 6) (pow.f32 alpha 4))) (+.f32 (.f32 1/16 (.f32 (pow.f32 u0 8) (pow.f32 alpha 4))) (.f32 5/6 (.f32 (pow.f32 u0 5) (pow.f32 alpha 4))))))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(*.f32 u0 (pow.f32 alpha 2))
(+.f32 (.f32 u0 (pow.f32 alpha 2)) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))
(+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2)))))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))))
(.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2)))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (.f32 (pow.f32 u0 2) (pow.f32 alpha 2)))))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))))
(.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2)))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (.f32 (pow.f32 u0 2) (pow.f32 alpha 2)))))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))

Outputs
(pow.f32 u0 2)
(*.f32 u0 u0)
(+.f32 (pow.f32 u0 3) (pow.f32 u0 2))
(+.f32 (*.f32 u0 u0) (pow.f32 u0 3))
(fma.f32 u0 u0 (pow.f32 u0 3))
(*.f32 u0 (fma.f32 u0 u0 u0))
(+.f32 (*.f32 11/12 (pow.f32 u0 4)) (+.f32 (pow.f32 u0 3) (pow.f32 u0 2)))
(fma.f32 11/12 (pow.f32 u0 4) (+.f32 (*.f32 u0 u0) (pow.f32 u0 3)))
(fma.f32 11/12 (pow.f32 u0 4) (fma.f32 u0 u0 (pow.f32 u0 3)))
(fma.f32 u0 (fma.f32 u0 u0 u0) (*.f32 11/12 (pow.f32 u0 4)))
(+.f32 (.f32 5/6 (pow.f32 u0 5)) (+.f32 (.f32 11/12 (pow.f32 u0 4)) (+.f32 (pow.f32 u0 3) (pow.f32 u0 2))))
(fma.f32 5/6 (pow.f32 u0 5) (fma.f32 11/12 (pow.f32 u0 4) (+.f32 (*.f32 u0 u0) (pow.f32 u0 3))))
(fma.f32 5/6 (pow.f32 u0 5) (fma.f32 11/12 (pow.f32 u0 4) (fma.f32 u0 u0 (pow.f32 u0 3))))
(fma.f32 11/12 (pow.f32 u0 4) (fma.f32 5/6 (pow.f32 u0 5) (*.f32 u0 (fma.f32 u0 u0 u0))))
(*.f32 1/16 (pow.f32 u0 8))
(+.f32 (.f32 1/6 (pow.f32 u0 7)) (.f32 1/16 (pow.f32 u0 8)))
(fma.f32 1/6 (pow.f32 u0 7) (*.f32 1/16 (pow.f32 u0 8)))
(fma.f32 1/16 (pow.f32 u0 8) (*.f32 1/6 (pow.f32 u0 7)))
(+.f32 (.f32 1/6 (pow.f32 u0 7)) (+.f32 (.f32 1/16 (pow.f32 u0 8)) (*.f32 13/36 (pow.f32 u0 6))))
(fma.f32 1/6 (pow.f32 u0 7) (fma.f32 1/16 (pow.f32 u0 8) (*.f32 13/36 (pow.f32 u0 6))))
(fma.f32 1/16 (pow.f32 u0 8) (fma.f32 1/6 (pow.f32 u0 7) (*.f32 13/36 (pow.f32 u0 6))))
(+.f32 (.f32 1/6 (pow.f32 u0 7)) (+.f32 (.f32 1/16 (pow.f32 u0 8)) (+.f32 (.f32 5/6 (pow.f32 u0 5)) (.f32 13/36 (pow.f32 u0 6)))))
(fma.f32 1/6 (pow.f32 u0 7) (fma.f32 1/16 (pow.f32 u0 8) (fma.f32 5/6 (pow.f32 u0 5) (*.f32 13/36 (pow.f32 u0 6)))))
(fma.f32 1/16 (pow.f32 u0 8) (fma.f32 1/6 (pow.f32 u0 7) (fma.f32 5/6 (pow.f32 u0 5) (*.f32 13/36 (pow.f32 u0 6)))))
(*.f32 1/16 (pow.f32 u0 8))
(+.f32 (.f32 1/6 (pow.f32 u0 7)) (.f32 1/16 (pow.f32 u0 8)))
(fma.f32 1/6 (pow.f32 u0 7) (*.f32 1/16 (pow.f32 u0 8)))
(fma.f32 1/16 (pow.f32 u0 8) (*.f32 1/6 (pow.f32 u0 7)))
(+.f32 (.f32 1/6 (pow.f32 u0 7)) (+.f32 (.f32 1/16 (pow.f32 u0 8)) (*.f32 13/36 (pow.f32 u0 6))))
(fma.f32 1/6 (pow.f32 u0 7) (fma.f32 1/16 (pow.f32 u0 8) (*.f32 13/36 (pow.f32 u0 6))))
(fma.f32 1/16 (pow.f32 u0 8) (fma.f32 1/6 (pow.f32 u0 7) (*.f32 13/36 (pow.f32 u0 6))))
(+.f32 (.f32 1/6 (pow.f32 u0 7)) (+.f32 (.f32 1/16 (pow.f32 u0 8)) (+.f32 (.f32 5/6 (pow.f32 u0 5)) (.f32 13/36 (pow.f32 u0 6)))))
(fma.f32 1/6 (pow.f32 u0 7) (fma.f32 1/16 (pow.f32 u0 8) (fma.f32 5/6 (pow.f32 u0 5) (*.f32 13/36 (pow.f32 u0 6)))))
(fma.f32 1/16 (pow.f32 u0 8) (fma.f32 1/6 (pow.f32 u0 7) (fma.f32 5/6 (pow.f32 u0 5) (*.f32 13/36 (pow.f32 u0 6)))))
(*.f32 1/2 u0)
(*.f32 u0 1/2)
(+.f32 (.f32 1/3 (pow.f32 u0 2)) (.f32 1/2 u0))
(fma.f32 1/2 u0 (.f32 (.f32 u0 u0) 1/3))
(fma.f32 u0 1/2 (.f32 (.f32 u0 u0) 1/3))
(*.f32 u0 (fma.f32 u0 1/3 1/2))
(+.f32 (.f32 1/3 (pow.f32 u0 2)) (.f32 1/2 u0))
(fma.f32 1/2 u0 (.f32 (.f32 u0 u0) 1/3))
(fma.f32 u0 1/2 (.f32 (.f32 u0 u0) 1/3))
(*.f32 u0 (fma.f32 u0 1/3 1/2))
(+.f32 (.f32 1/3 (pow.f32 u0 2)) (.f32 1/2 u0))
(fma.f32 1/2 u0 (.f32 (.f32 u0 u0) 1/3))
(fma.f32 u0 1/2 (.f32 (.f32 u0 u0) 1/3))
(*.f32 u0 (fma.f32 u0 1/3 1/2))
(*.f32 1/3 (pow.f32 u0 2))
(.f32 (.f32 u0 u0) 1/3)
(+.f32 (.f32 1/2 u0) (.f32 1/3 (pow.f32 u0 2)))
(fma.f32 1/2 u0 (.f32 (.f32 u0 u0) 1/3))
(fma.f32 u0 1/2 (.f32 (.f32 u0 u0) 1/3))
(*.f32 u0 (fma.f32 u0 1/3 1/2))
(+.f32 (.f32 1/2 u0) (.f32 1/3 (pow.f32 u0 2)))
(fma.f32 1/2 u0 (.f32 (.f32 u0 u0) 1/3))
(fma.f32 u0 1/2 (.f32 (.f32 u0 u0) 1/3))
(*.f32 u0 (fma.f32 u0 1/3 1/2))
(+.f32 (.f32 1/2 u0) (.f32 1/3 (pow.f32 u0 2)))
(fma.f32 1/2 u0 (.f32 (.f32 u0 u0) 1/3))
(fma.f32 u0 1/2 (.f32 (.f32 u0 u0) 1/3))
(*.f32 u0 (fma.f32 u0 1/3 1/2))
(*.f32 1/3 (pow.f32 u0 2))
(.f32 (.f32 u0 u0) 1/3)
(+.f32 (.f32 1/2 u0) (.f32 1/3 (pow.f32 u0 2)))
(fma.f32 1/2 u0 (.f32 (.f32 u0 u0) 1/3))
(fma.f32 u0 1/2 (.f32 (.f32 u0 u0) 1/3))
(*.f32 u0 (fma.f32 u0 1/3 1/2))
(+.f32 (.f32 1/2 u0) (.f32 1/3 (pow.f32 u0 2)))
(fma.f32 1/2 u0 (.f32 (.f32 u0 u0) 1/3))
(fma.f32 u0 1/2 (.f32 (.f32 u0 u0) 1/3))
(*.f32 u0 (fma.f32 u0 1/3 1/2))
(+.f32 (.f32 1/2 u0) (.f32 1/3 (pow.f32 u0 2)))
(fma.f32 1/2 u0 (.f32 (.f32 u0 u0) 1/3))
(fma.f32 u0 1/2 (.f32 (.f32 u0 u0) 1/3))
(*.f32 u0 (fma.f32 u0 1/3 1/2))
(*.f32 (pow.f32 u0 2) (pow.f32 alpha 4))
(.f32 (.f32 u0 u0) (pow.f32 alpha 4))
(+.f32 (.f32 (pow.f32 u0 2) (pow.f32 alpha 4)) (.f32 (pow.f32 u0 3) (pow.f32 alpha 4)))
(.f32 (pow.f32 alpha 4) (+.f32 (.f32 u0 u0) (pow.f32 u0 3)))
(*.f32 (fma.f32 u0 u0 (pow.f32 u0 3)) (pow.f32 alpha 4))
(.f32 u0 (.f32 (fma.f32 u0 u0 u0) (pow.f32 alpha 4)))
(.f32 u0 (.f32 (pow.f32 alpha 4) (fma.f32 u0 u0 u0)))
(+.f32 (.f32 11/12 (.f32 (pow.f32 u0 4) (pow.f32 alpha 4))) (+.f32 (.f32 (pow.f32 u0 2) (pow.f32 alpha 4)) (.f32 (pow.f32 u0 3) (pow.f32 alpha 4))))
(fma.f32 11/12 (.f32 (pow.f32 u0 4) (pow.f32 alpha 4)) (.f32 (pow.f32 alpha 4) (+.f32 (*.f32 u0 u0) (pow.f32 u0 3))))
(fma.f32 11/12 (.f32 (pow.f32 u0 4) (pow.f32 alpha 4)) (.f32 (fma.f32 u0 u0 (pow.f32 u0 3)) (pow.f32 alpha 4)))
(.f32 (pow.f32 alpha 4) (fma.f32 u0 (fma.f32 u0 u0 u0) (.f32 11/12 (pow.f32 u0 4))))
(+.f32 (.f32 11/12 (.f32 (pow.f32 u0 4) (pow.f32 alpha 4))) (+.f32 (.f32 (pow.f32 u0 2) (pow.f32 alpha 4)) (+.f32 (.f32 (pow.f32 u0 3) (pow.f32 alpha 4)) (.f32 5/6 (.f32 (pow.f32 u0 5) (pow.f32 alpha 4))))))
(fma.f32 11/12 (.f32 (pow.f32 u0 4) (pow.f32 alpha 4)) (+.f32 (.f32 (pow.f32 alpha 4) (+.f32 (.f32 u0 u0) (pow.f32 u0 3))) (.f32 5/6 (*.f32 (pow.f32 u0 5) (pow.f32 alpha 4)))))
(+.f32 (.f32 (pow.f32 alpha 4) (+.f32 (pow.f32 u0 3) (.f32 5/6 (pow.f32 u0 5)))) (.f32 (pow.f32 alpha 4) (+.f32 (.f32 11/12 (pow.f32 u0 4)) (*.f32 u0 u0))))
(.f32 (pow.f32 alpha 4) (fma.f32 11/12 (pow.f32 u0 4) (fma.f32 5/6 (pow.f32 u0 5) (.f32 u0 (fma.f32 u0 u0 u0)))))
(.f32 1/16 (.f32 (pow.f32 u0 8) (pow.f32 alpha 4)))
(.f32 (.f32 1/16 (pow.f32 u0 8)) (pow.f32 alpha 4))
(.f32 (pow.f32 u0 8) (.f32 1/16 (pow.f32 alpha 4)))
(+.f32 (.f32 1/6 (.f32 (pow.f32 u0 7) (pow.f32 alpha 4))) (.f32 1/16 (.f32 (pow.f32 u0 8) (pow.f32 alpha 4))))
(fma.f32 1/6 (.f32 (pow.f32 u0 7) (pow.f32 alpha 4)) (.f32 (*.f32 1/16 (pow.f32 u0 8)) (pow.f32 alpha 4)))
(.f32 (pow.f32 alpha 4) (fma.f32 1/16 (pow.f32 u0 8) (.f32 1/6 (pow.f32 u0 7))))
(+.f32 (.f32 1/6 (.f32 (pow.f32 u0 7) (pow.f32 alpha 4))) (+.f32 (.f32 13/36 (.f32 (pow.f32 u0 6) (pow.f32 alpha 4))) (.f32 1/16 (.f32 (pow.f32 u0 8) (pow.f32 alpha 4)))))
(fma.f32 1/6 (.f32 (pow.f32 u0 7) (pow.f32 alpha 4)) (fma.f32 13/36 (.f32 (pow.f32 u0 6) (pow.f32 alpha 4)) (.f32 (.f32 1/16 (pow.f32 u0 8)) (pow.f32 alpha 4))))
(fma.f32 1/6 (.f32 (pow.f32 u0 7) (pow.f32 alpha 4)) (.f32 (pow.f32 alpha 4) (fma.f32 1/16 (pow.f32 u0 8) (*.f32 13/36 (pow.f32 u0 6)))))
(.f32 (pow.f32 alpha 4) (fma.f32 1/16 (pow.f32 u0 8) (fma.f32 1/6 (pow.f32 u0 7) (.f32 13/36 (pow.f32 u0 6)))))
(+.f32 (.f32 1/6 (.f32 (pow.f32 u0 7) (pow.f32 alpha 4))) (+.f32 (.f32 13/36 (.f32 (pow.f32 u0 6) (pow.f32 alpha 4))) (+.f32 (.f32 1/16 (.f32 (pow.f32 u0 8) (pow.f32 alpha 4))) (.f32 5/6 (.f32 (pow.f32 u0 5) (pow.f32 alpha 4))))))
(fma.f32 1/6 (.f32 (pow.f32 u0 7) (pow.f32 alpha 4)) (fma.f32 13/36 (.f32 (pow.f32 u0 6) (pow.f32 alpha 4)) (fma.f32 1/16 (.f32 (pow.f32 u0 8) (pow.f32 alpha 4)) (.f32 5/6 (*.f32 (pow.f32 u0 5) (pow.f32 alpha 4))))))
(+.f32 (.f32 (pow.f32 alpha 4) (fma.f32 1/16 (pow.f32 u0 8) (.f32 5/6 (pow.f32 u0 5)))) (.f32 (pow.f32 alpha 4) (+.f32 (.f32 1/6 (pow.f32 u0 7)) (*.f32 13/36 (pow.f32 u0 6)))))
(.f32 (pow.f32 alpha 4) (fma.f32 1/16 (pow.f32 u0 8) (fma.f32 1/6 (pow.f32 u0 7) (fma.f32 5/6 (pow.f32 u0 5) (.f32 13/36 (pow.f32 u0 6))))))
(.f32 1/16 (.f32 (pow.f32 u0 8) (pow.f32 alpha 4)))
(.f32 (.f32 1/16 (pow.f32 u0 8)) (pow.f32 alpha 4))
(.f32 (pow.f32 u0 8) (.f32 1/16 (pow.f32 alpha 4)))
(+.f32 (.f32 1/6 (.f32 (pow.f32 u0 7) (pow.f32 alpha 4))) (.f32 1/16 (.f32 (pow.f32 u0 8) (pow.f32 alpha 4))))
(fma.f32 1/6 (.f32 (pow.f32 u0 7) (pow.f32 alpha 4)) (.f32 (*.f32 1/16 (pow.f32 u0 8)) (pow.f32 alpha 4)))
(.f32 (pow.f32 alpha 4) (fma.f32 1/16 (pow.f32 u0 8) (.f32 1/6 (pow.f32 u0 7))))
(+.f32 (.f32 1/6 (.f32 (pow.f32 u0 7) (pow.f32 alpha 4))) (+.f32 (.f32 13/36 (.f32 (pow.f32 u0 6) (pow.f32 alpha 4))) (.f32 1/16 (.f32 (pow.f32 u0 8) (pow.f32 alpha 4)))))
(fma.f32 1/6 (.f32 (pow.f32 u0 7) (pow.f32 alpha 4)) (fma.f32 13/36 (.f32 (pow.f32 u0 6) (pow.f32 alpha 4)) (.f32 (.f32 1/16 (pow.f32 u0 8)) (pow.f32 alpha 4))))
(fma.f32 1/6 (.f32 (pow.f32 u0 7) (pow.f32 alpha 4)) (.f32 (pow.f32 alpha 4) (fma.f32 1/16 (pow.f32 u0 8) (*.f32 13/36 (pow.f32 u0 6)))))
(.f32 (pow.f32 alpha 4) (fma.f32 1/16 (pow.f32 u0 8) (fma.f32 1/6 (pow.f32 u0 7) (.f32 13/36 (pow.f32 u0 6)))))
(+.f32 (.f32 1/6 (.f32 (pow.f32 u0 7) (pow.f32 alpha 4))) (+.f32 (.f32 13/36 (.f32 (pow.f32 u0 6) (pow.f32 alpha 4))) (+.f32 (.f32 1/16 (.f32 (pow.f32 u0 8) (pow.f32 alpha 4))) (.f32 5/6 (.f32 (pow.f32 u0 5) (pow.f32 alpha 4))))))
(fma.f32 1/6 (.f32 (pow.f32 u0 7) (pow.f32 alpha 4)) (fma.f32 13/36 (.f32 (pow.f32 u0 6) (pow.f32 alpha 4)) (fma.f32 1/16 (.f32 (pow.f32 u0 8) (pow.f32 alpha 4)) (.f32 5/6 (*.f32 (pow.f32 u0 5) (pow.f32 alpha 4))))))
(+.f32 (.f32 (pow.f32 alpha 4) (fma.f32 1/16 (pow.f32 u0 8) (.f32 5/6 (pow.f32 u0 5)))) (.f32 (pow.f32 alpha 4) (+.f32 (.f32 1/6 (pow.f32 u0 7)) (*.f32 13/36 (pow.f32 u0 6)))))
(.f32 (pow.f32 alpha 4) (fma.f32 1/16 (pow.f32 u0 8) (fma.f32 1/6 (pow.f32 u0 7) (fma.f32 5/6 (pow.f32 u0 5) (.f32 13/36 (pow.f32 u0 6))))))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 1/2 (.f32 u0 1/3)) (.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (*.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0)) 2))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 1/2 (.f32 u0 1/3)) (.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (*.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0)) 2))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 1/2 (.f32 u0 1/3)) (.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (*.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0)) 2))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 1/2 (.f32 u0 1/3)) (.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (*.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0)) 2))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 1/2 (.f32 u0 1/3)) (.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (*.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0)) 2))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 1/2 (.f32 u0 1/3)) (.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (*.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0)) 2))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 1/2 (.f32 u0 1/3)) (.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (*.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0)) 2))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 1/2 (.f32 u0 1/3)) (.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (*.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0)) 2))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 1/2 (.f32 u0 1/3)) (.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (*.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0)) 2))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 1/2 (.f32 u0 1/3)) (.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (*.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0)) 2))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 1/2 (.f32 u0 1/3)) (.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (*.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0)) 2))
(.f32 (pow.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) 2) (pow.f32 alpha 4))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (+.f32 1/2 (.f32 u0 1/3)) (.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (*.f32 (pow.f32 u0 4) 1/4))) 2))
(.f32 (pow.f32 alpha 4) (pow.f32 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0)) 2))
(*.f32 u0 (pow.f32 alpha 2))
(.f32 u0 (.f32 alpha alpha))
(+.f32 (.f32 u0 (pow.f32 alpha 2)) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))
(fma.f32 u0 (.f32 alpha alpha) (.f32 1/2 (.f32 (.f32 u0 u0) (*.f32 alpha alpha))))
(.f32 (.f32 alpha alpha) (+.f32 u0 (.f32 u0 (.f32 u0 1/2))))
(.f32 alpha (.f32 alpha (fma.f32 u0 (*.f32 u0 1/2) u0)))
(+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2)))))
(fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (*.f32 alpha alpha)))))
(fma.f32 u0 (.f32 alpha alpha) (.f32 (.f32 alpha alpha) (.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2))))
(.f32 alpha (.f32 alpha (fma.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)) u0)))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (*.f32 alpha alpha))))))
(+.f32 (.f32 (.f32 alpha alpha) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))) (.f32 (.f32 alpha alpha) (+.f32 (*.f32 (pow.f32 u0 4) 1/4) u0)))
(.f32 alpha (.f32 alpha (fma.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0))))
(.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2)))
(.f32 1/4 (.f32 (pow.f32 u0 4) (*.f32 alpha alpha)))
(.f32 1/4 (.f32 alpha (*.f32 alpha (pow.f32 u0 4))))
(.f32 (pow.f32 u0 4) (.f32 alpha (*.f32 alpha 1/4)))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (.f32 (.f32 1/3 (pow.f32 u0 3)) (*.f32 alpha alpha)))
(.f32 (.f32 alpha alpha) (+.f32 (.f32 (pow.f32 u0 3) 1/3) (.f32 (pow.f32 u0 4) 1/4)))
(.f32 (.f32 alpha alpha) (fma.f32 (pow.f32 u0 4) 1/4 (*.f32 (pow.f32 u0 3) 1/3)))
(.f32 (.f32 alpha alpha) (.f32 (pow.f32 u0 3) (+.f32 (.f32 1/4 u0) 1/3)))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (.f32 (pow.f32 u0 2) (pow.f32 alpha 2)))))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (.f32 alpha alpha)))))
(fma.f32 1/4 (.f32 alpha (.f32 alpha (pow.f32 u0 4))) (.f32 (.f32 alpha alpha) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))))
(.f32 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (.f32 (pow.f32 u0 4) 1/4)) (.f32 alpha alpha))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (*.f32 alpha alpha))))))
(+.f32 (.f32 (.f32 alpha alpha) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))) (.f32 (.f32 alpha alpha) (+.f32 (*.f32 (pow.f32 u0 4) 1/4) u0)))
(.f32 alpha (.f32 alpha (fma.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0))))
(.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2)))
(.f32 1/4 (.f32 (pow.f32 u0 4) (*.f32 alpha alpha)))
(.f32 1/4 (.f32 alpha (*.f32 alpha (pow.f32 u0 4))))
(.f32 (pow.f32 u0 4) (.f32 alpha (*.f32 alpha 1/4)))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (.f32 (.f32 1/3 (pow.f32 u0 3)) (*.f32 alpha alpha)))
(.f32 (.f32 alpha alpha) (+.f32 (.f32 (pow.f32 u0 3) 1/3) (.f32 (pow.f32 u0 4) 1/4)))
(.f32 (.f32 alpha alpha) (fma.f32 (pow.f32 u0 4) 1/4 (*.f32 (pow.f32 u0 3) 1/3)))
(.f32 (.f32 alpha alpha) (.f32 (pow.f32 u0 3) (+.f32 (.f32 1/4 u0) 1/3)))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (.f32 (pow.f32 u0 2) (pow.f32 alpha 2)))))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (.f32 alpha alpha)))))
(fma.f32 1/4 (.f32 alpha (.f32 alpha (pow.f32 u0 4))) (.f32 (.f32 alpha alpha) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))))
(.f32 (fma.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2) (.f32 (pow.f32 u0 4) 1/4)) (.f32 alpha alpha))
(+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (+.f32 (.f32 u0 (pow.f32 alpha 2)) (+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))))))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (*.f32 alpha alpha))))))
(+.f32 (.f32 (.f32 alpha alpha) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))) (.f32 (.f32 alpha alpha) (+.f32 (*.f32 (pow.f32 u0 4) 1/4) u0)))
(.f32 alpha (.f32 alpha (fma.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0))))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (*.f32 alpha alpha))))))
(+.f32 (.f32 (.f32 alpha alpha) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))) (.f32 (.f32 alpha alpha) (+.f32 (*.f32 (pow.f32 u0 4) 1/4) u0)))
(.f32 alpha (.f32 alpha (fma.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0))))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (*.f32 alpha alpha))))))
(+.f32 (.f32 (.f32 alpha alpha) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))) (.f32 (.f32 alpha alpha) (+.f32 (*.f32 (pow.f32 u0 4) 1/4) u0)))
(.f32 alpha (.f32 alpha (fma.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0))))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (*.f32 alpha alpha))))))
(+.f32 (.f32 (.f32 alpha alpha) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))) (.f32 (.f32 alpha alpha) (+.f32 (*.f32 (pow.f32 u0 4) 1/4) u0)))
(.f32 alpha (.f32 alpha (fma.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0))))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (*.f32 alpha alpha))))))
(+.f32 (.f32 (.f32 alpha alpha) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))) (.f32 (.f32 alpha alpha) (+.f32 (*.f32 (pow.f32 u0 4) 1/4) u0)))
(.f32 alpha (.f32 alpha (fma.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0))))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (*.f32 alpha alpha))))))
(+.f32 (.f32 (.f32 alpha alpha) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))) (.f32 (.f32 alpha alpha) (+.f32 (*.f32 (pow.f32 u0 4) 1/4) u0)))
(.f32 alpha (.f32 alpha (fma.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0))))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (*.f32 alpha alpha))))))
(+.f32 (.f32 (.f32 alpha alpha) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))) (.f32 (.f32 alpha alpha) (+.f32 (*.f32 (pow.f32 u0 4) 1/4) u0)))
(.f32 alpha (.f32 alpha (fma.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0))))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (*.f32 alpha alpha))))))
(+.f32 (.f32 (.f32 alpha alpha) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))) (.f32 (.f32 alpha alpha) (+.f32 (*.f32 (pow.f32 u0 4) 1/4) u0)))
(.f32 alpha (.f32 alpha (fma.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0))))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (*.f32 alpha alpha))))))
(+.f32 (.f32 (.f32 alpha alpha) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))) (.f32 (.f32 alpha alpha) (+.f32 (*.f32 (pow.f32 u0 4) 1/4) u0)))
(.f32 alpha (.f32 alpha (fma.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0))))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (*.f32 alpha alpha))))))
(+.f32 (.f32 (.f32 alpha alpha) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))) (.f32 (.f32 alpha alpha) (+.f32 (*.f32 (pow.f32 u0 4) 1/4) u0)))
(.f32 alpha (.f32 alpha (fma.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0))))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (*.f32 alpha alpha))))))
(+.f32 (.f32 (.f32 alpha alpha) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))) (.f32 (.f32 alpha alpha) (+.f32 (*.f32 (pow.f32 u0 4) 1/4) u0)))
(.f32 alpha (.f32 alpha (fma.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0))))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (*.f32 alpha alpha))))))
(+.f32 (.f32 (.f32 alpha alpha) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))) (.f32 (.f32 alpha alpha) (+.f32 (*.f32 (pow.f32 u0 4) 1/4) u0)))
(.f32 alpha (.f32 alpha (fma.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0))))
(.f32 (+.f32 u0 (+.f32 (.f32 (pow.f32 u0 2) (+.f32 1/2 (.f32 1/3 u0))) (.f32 1/4 (pow.f32 u0 4)))) (pow.f32 alpha 2))
(fma.f32 1/4 (.f32 (pow.f32 u0 4) (.f32 alpha alpha)) (fma.f32 u0 (.f32 alpha alpha) (fma.f32 1/3 (.f32 (pow.f32 u0 3) (.f32 alpha alpha)) (.f32 1/2 (.f32 (.f32 u0 u0) (*.f32 alpha alpha))))))
(+.f32 (.f32 (.f32 alpha alpha) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))) (.f32 (.f32 alpha alpha) (+.f32 (*.f32 (pow.f32 u0 4) 1/4) u0)))
(.f32 alpha (.f32 alpha (fma.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2) (fma.f32 (pow.f32 u0 4) 1/4 u0))))

prune135.0ms (4.4%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	137	0	137
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	137	7	144

Error

0.0b

Counts

144 → 7

Alt Table

Status	Error	Program
	13.9b	(.f32 (.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0)))
✓	2.3b	(sqrt.f32 (.f32 (pow.f32 (fma.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)) 2) (pow.f32 alpha 4)))
	2.7b	(pow.f32 (cbrt.f32 (.f32 (.f32 alpha alpha) (fma.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0)))) 3)
	2.6b	(.f32 (.f32 alpha alpha) (pow.f32 (sqrt.f32 (fma.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)) (fma.f32 1/4 (pow.f32 u0 4) u0))) 2))
✓	0.3b	(.f32 alpha (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))
	2.4b	(+.f32 (.f32 u0 (.f32 (.f32 u0 (fma.f32 u0 1/3 1/2)) (.f32 alpha alpha))) (.f32 alpha (.f32 alpha (fma.f32 1/4 (pow.f32 u0 4) u0))))
✓	0.3b	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))

Compiler

Compiled 3364 to 2392 computations (28.9% saved)

regimes253.0ms (8.2%)

Accuracy

Total 0.3b remaining (85.2%)

Threshold costs 0.3b (85.2%)

Counts

77 → 1

Compiler

Compiled 1475 to 901 computations (38.9% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	18	13
2	28	13
3	39	13
4	44	13
5	47	13
6	48	13

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))

Outputs
(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))

end95.0ms (3.1%)

Stop Event

1×

fuel

Compiler

Compiled 145 to 101 computations (30.3% saved)

Details

analyze116.0ms (3.7%)

sample1.5s (49.9%)

preprocess70.0ms (2.3%)

simplify24.0ms (0.8%)

prune4.0ms (0.1%)

localize24.0ms (0.8%)

series27.0ms (0.9%)

rewrite36.0ms (1.2%)

simplify32.0ms (1%)

prune40.0ms (1.3%)

localize26.0ms (0.8%)

series16.0ms (0.5%)

rewrite31.0ms (1%)

simplify45.0ms (1.5%)

prune63.0ms (2%)

localize52.0ms (1.7%)

series10.0ms (0.3%)

rewrite69.0ms (2.2%)

simplify52.0ms (1.7%)

prune139.0ms (4.5%)

localize51.0ms (1.6%)

series10.0ms (0.3%)

rewrite70.0ms (2.3%)

simplify58.0ms (1.9%)

prune135.0ms (4.4%)

regimes253.0ms (8.2%)

simplify2.0ms (0.1%)

end95.0ms (3.1%)

Profiling