Details

Time bar (total: 3.1s)

analyze108.0ms (3.5%)

Algorithm
search
Search
TrueOtherFalseIter
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 (48.3%)

Results
1.5s8256×body128valid
Compiler

Compiled 52 to 38 computations (26.9% saved)

preprocess63.0ms (2.1%)

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

IterNodesCost
01428
13526
27826
316426
422826
530026
639526
757826
8112526
9177426
10229326
11262026
12294726
13325526
14333926
15340526
16380526
17458926
022
Stop Event
saturated
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
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)

IterNodesCost
0914
12213
24513
38913
412313
516413
621513
731513
859413
991013
10117413
11134113
12151113
13166513
14169213
15169313
Stop Event
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)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.4b
Counts
3 → 2
Alt Table
StatusErrorProgram
0.4b
(*.f32 (*.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
13.7b
(*.f32 (*.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0)))
Compiler

Compiled 61 to 42 computations (31.1% saved)

localize19.0ms (0.6%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(log1p.f32 (neg.f32 u0))
0.4b
(*.f32 (*.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))

series32.0ms (1.1%)

Counts
2 → 36
Calls

9 calls:

TimeVariablePointExpression
27.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)))

rewrite39.0ms (1.3%)

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

IterNodesCost
0818
116312
2210212
Stop Event
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 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 log1p.f32 (expm1.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)))))))

simplify38.0ms (1.2%)

Algorithm
egg-herbie
Rules
477×fma-neg_binary32
468×fma-def_binary32
366×times-frac_binary32
263×sub-neg_binary32
205×unswap-sqr_binary32
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
094752
1285698
2931650
33624644
Stop Event
node limit
Counts
66 → 80
Calls
Call 1
Inputs
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(*.f32 u0 (pow.f32 alpha 2))
(+.f32 (*.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))) (*.f32 u0 (pow.f32 alpha 2)))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))) (*.f32 u0 (pow.f32 alpha 2))))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 u0 (pow.f32 alpha 2)))))
(*.f32 -1 (*.f32 (-.f32 (log.f32 -1) (log.f32 (/.f32 1 u0))) (pow.f32 alpha 2)))
(-.f32 (+.f32 (*.f32 (log.f32 (/.f32 1 u0)) (pow.f32 alpha 2)) (/.f32 (pow.f32 alpha 2) u0)) (*.f32 (log.f32 -1) (pow.f32 alpha 2)))
(-.f32 (+.f32 (*.f32 (log.f32 (/.f32 1 u0)) (pow.f32 alpha 2)) (+.f32 (*.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2))) (/.f32 (pow.f32 alpha 2) u0))) (*.f32 (log.f32 -1) (pow.f32 alpha 2)))
(-.f32 (+.f32 (*.f32 (log.f32 (/.f32 1 u0)) (pow.f32 alpha 2)) (+.f32 (*.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2))) (+.f32 (/.f32 (pow.f32 alpha 2) u0) (*.f32 1/3 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 3)))))) (*.f32 (log.f32 -1) (pow.f32 alpha 2)))
(*.f32 (log.f32 (/.f32 -1 u0)) (pow.f32 alpha 2))
(+.f32 (*.f32 (log.f32 (/.f32 -1 u0)) (pow.f32 alpha 2)) (/.f32 (pow.f32 alpha 2) u0))
(+.f32 (*.f32 (log.f32 (/.f32 -1 u0)) (pow.f32 alpha 2)) (+.f32 (*.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2))) (/.f32 (pow.f32 alpha 2) u0)))
(+.f32 (*.f32 (log.f32 (/.f32 -1 u0)) (pow.f32 alpha 2)) (+.f32 (*.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2))) (+.f32 (/.f32 (pow.f32 alpha 2) u0) (*.f32 1/3 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 3))))))
(*.f32 -1 u0)
(neg.f32 (+.f32 u0 (*.f32 1/2 (pow.f32 u0 2))))
(neg.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))))
(neg.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))))
(-.f32 (log.f32 -1) (log.f32 (/.f32 1 u0)))
(-.f32 (log.f32 -1) (+.f32 (/.f32 1 u0) (log.f32 (/.f32 1 u0))))
(-.f32 (log.f32 -1) (+.f32 (/.f32 1 u0) (+.f32 (log.f32 (/.f32 1 u0)) (*.f32 1/2 (/.f32 1 (pow.f32 u0 2))))))
(-.f32 (log.f32 -1) (+.f32 (/.f32 1 u0) (+.f32 (*.f32 1/3 (/.f32 1 (pow.f32 u0 3))) (+.f32 (log.f32 (/.f32 1 u0)) (*.f32 1/2 (/.f32 1 (pow.f32 u0 2)))))))
(*.f32 -1 (log.f32 (/.f32 -1 u0)))
(neg.f32 (+.f32 (log.f32 (/.f32 -1 u0)) (/.f32 1 u0)))
(neg.f32 (+.f32 (log.f32 (/.f32 -1 u0)) (+.f32 (/.f32 1 u0) (*.f32 1/2 (/.f32 1 (pow.f32 u0 2))))))
(neg.f32 (+.f32 (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 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(neg.f32 (*.f32 (log.f32 (-.f32 1 u0)) (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (*.f32 alpha (neg.f32 alpha)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(neg.f32 (*.f32 (log.f32 (-.f32 1 u0)) (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (*.f32 alpha (neg.f32 alpha)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(neg.f32 (*.f32 (log.f32 (-.f32 1 u0)) (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (*.f32 alpha (neg.f32 alpha)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(neg.f32 (*.f32 (log.f32 (-.f32 1 u0)) (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (*.f32 alpha (neg.f32 alpha)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(neg.f32 (*.f32 (log.f32 (-.f32 1 u0)) (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (*.f32 alpha (neg.f32 alpha)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(neg.f32 (*.f32 (log.f32 (-.f32 1 u0)) (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (*.f32 alpha (neg.f32 alpha)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(neg.f32 (*.f32 (log.f32 (-.f32 1 u0)) (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (*.f32 alpha (neg.f32 alpha)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(neg.f32 (*.f32 (log.f32 (-.f32 1 u0)) (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (*.f32 alpha (neg.f32 alpha)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(neg.f32 (*.f32 (log.f32 (-.f32 1 u0)) (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (*.f32 alpha (neg.f32 alpha)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(neg.f32 (*.f32 (log.f32 (-.f32 1 u0)) (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (*.f32 alpha (neg.f32 alpha)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(neg.f32 (*.f32 (log.f32 (-.f32 1 u0)) (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (*.f32 alpha (neg.f32 alpha)))
(*.f32 -1 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alpha 2)))
(neg.f32 (*.f32 (log.f32 (-.f32 1 u0)) (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (*.f32 alpha alpha)))
(*.f32 (log1p.f32 (neg.f32 u0)) (*.f32 alpha (neg.f32 alpha)))
(*.f32 u0 (pow.f32 alpha 2))
(*.f32 u0 (*.f32 alpha alpha))
(*.f32 (*.f32 u0 alpha) alpha)
(*.f32 alpha (*.f32 u0 alpha))
(+.f32 (*.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))) (*.f32 u0 (pow.f32 alpha 2)))
(fma.f32 1/2 (*.f32 (*.f32 alpha alpha) (*.f32 u0 u0)) (*.f32 u0 (*.f32 alpha alpha)))
(*.f32 (*.f32 alpha alpha) (fma.f32 1/2 (*.f32 u0 u0) u0))
(*.f32 alpha (*.f32 alpha (fma.f32 u0 (*.f32 u0 1/2) u0)))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))) (*.f32 u0 (pow.f32 alpha 2))))
(fma.f32 1/3 (*.f32 (*.f32 alpha alpha) (pow.f32 u0 3)) (fma.f32 1/2 (*.f32 (*.f32 alpha alpha) (*.f32 u0 u0)) (*.f32 u0 (*.f32 alpha alpha))))
(fma.f32 1/3 (*.f32 (*.f32 alpha alpha) (pow.f32 u0 3)) (*.f32 (*.f32 alpha alpha) (fma.f32 1/2 (*.f32 u0 u0) u0)))
(*.f32 (*.f32 alpha alpha) (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 u0 (*.f32 u0 1/2) u0)))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 u0 (pow.f32 alpha 2)))))
(fma.f32 1/3 (*.f32 (*.f32 alpha alpha) (pow.f32 u0 3)) (fma.f32 1/2 (*.f32 (*.f32 alpha alpha) (*.f32 u0 u0)) (fma.f32 1/4 (*.f32 (*.f32 alpha alpha) (pow.f32 u0 4)) (*.f32 u0 (*.f32 alpha alpha)))))
(+.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 (*.f32 alpha alpha) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
(*.f32 -1 (*.f32 (-.f32 (log.f32 -1) (log.f32 (/.f32 1 u0))) (pow.f32 alpha 2)))
(neg.f32 (*.f32 (*.f32 alpha alpha) (-.f32 (log.f32 -1) (neg.f32 (log.f32 u0)))))
(*.f32 (*.f32 alpha alpha) (neg.f32 (+.f32 (log.f32 -1) (log.f32 u0))))
(*.f32 alpha (*.f32 alpha (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u0))))
(*.f32 alpha (*.f32 alpha (-.f32 (neg.f32 (log.f32 u0)) (log.f32 -1))))
(-.f32 (+.f32 (*.f32 (log.f32 (/.f32 1 u0)) (pow.f32 alpha 2)) (/.f32 (pow.f32 alpha 2) u0)) (*.f32 (log.f32 -1) (pow.f32 alpha 2)))
(-.f32 (fma.f32 (neg.f32 (log.f32 u0)) (*.f32 alpha alpha) (/.f32 (*.f32 alpha alpha) u0)) (*.f32 (*.f32 alpha alpha) (log.f32 -1)))
(-.f32 (fma.f32 (*.f32 alpha alpha) (neg.f32 (log.f32 u0)) (/.f32 alpha (/.f32 u0 alpha))) (*.f32 alpha (*.f32 alpha (log.f32 -1))))
(+.f32 (*.f32 (/.f32 alpha u0) alpha) (*.f32 alpha (*.f32 alpha (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u0)))))
(-.f32 (*.f32 (/.f32 alpha u0) alpha) (*.f32 alpha (*.f32 alpha (+.f32 (log.f32 -1) (log.f32 u0)))))
(-.f32 (+.f32 (*.f32 (log.f32 (/.f32 1 u0)) (pow.f32 alpha 2)) (+.f32 (*.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2))) (/.f32 (pow.f32 alpha 2) u0))) (*.f32 (log.f32 -1) (pow.f32 alpha 2)))
(-.f32 (fma.f32 (neg.f32 (log.f32 u0)) (*.f32 alpha alpha) (fma.f32 1/2 (/.f32 (*.f32 alpha alpha) (*.f32 u0 u0)) (/.f32 (*.f32 alpha alpha) u0))) (*.f32 (*.f32 alpha alpha) (log.f32 -1)))
(-.f32 (fma.f32 (*.f32 alpha alpha) (neg.f32 (log.f32 u0)) (fma.f32 1/2 (*.f32 (/.f32 alpha u0) (/.f32 alpha u0)) (/.f32 alpha (/.f32 u0 alpha)))) (*.f32 alpha (*.f32 alpha (log.f32 -1))))
(+.f32 (*.f32 (+.f32 (/.f32 1/2 u0) 1) (*.f32 (/.f32 alpha u0) alpha)) (*.f32 alpha (*.f32 alpha (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u0)))))
(fma.f32 (+.f32 (/.f32 1/2 u0) 1) (*.f32 (/.f32 alpha u0) alpha) (*.f32 alpha (*.f32 alpha (-.f32 (neg.f32 (log.f32 u0)) (log.f32 -1)))))
(-.f32 (+.f32 (*.f32 (log.f32 (/.f32 1 u0)) (pow.f32 alpha 2)) (+.f32 (*.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2))) (+.f32 (/.f32 (pow.f32 alpha 2) u0) (*.f32 1/3 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 3)))))) (*.f32 (log.f32 -1) (pow.f32 alpha 2)))
(-.f32 (fma.f32 (neg.f32 (log.f32 u0)) (*.f32 alpha alpha) (+.f32 (fma.f32 1/2 (/.f32 (*.f32 alpha alpha) (*.f32 u0 u0)) (/.f32 (*.f32 alpha alpha) u0)) (*.f32 1/3 (/.f32 (*.f32 alpha alpha) (pow.f32 u0 3))))) (*.f32 (*.f32 alpha alpha) (log.f32 -1)))
(-.f32 (fma.f32 (*.f32 alpha alpha) (neg.f32 (log.f32 u0)) (fma.f32 1/2 (*.f32 (/.f32 alpha u0) (/.f32 alpha u0)) (fma.f32 1/3 (/.f32 alpha (/.f32 (pow.f32 u0 3) alpha)) (/.f32 alpha (/.f32 u0 alpha))))) (*.f32 alpha (*.f32 alpha (log.f32 -1))))
(+.f32 (+.f32 (*.f32 (/.f32 alpha u0) alpha) (*.f32 (*.f32 (/.f32 alpha (*.f32 u0 u0)) alpha) (+.f32 1/2 (/.f32 1/3 u0)))) (*.f32 alpha (*.f32 alpha (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u0)))))
(+.f32 (*.f32 (*.f32 (/.f32 alpha (*.f32 u0 u0)) alpha) (+.f32 1/2 (/.f32 1/3 u0))) (-.f32 (*.f32 (/.f32 alpha u0) alpha) (*.f32 alpha (*.f32 alpha (+.f32 (log.f32 -1) (log.f32 u0))))))
(*.f32 (log.f32 (/.f32 -1 u0)) (pow.f32 alpha 2))
(*.f32 (*.f32 alpha alpha) (log.f32 (/.f32 -1 u0)))
(+.f32 (*.f32 (log.f32 (/.f32 -1 u0)) (pow.f32 alpha 2)) (/.f32 (pow.f32 alpha 2) u0))
(fma.f32 (log.f32 (/.f32 -1 u0)) (*.f32 alpha alpha) (/.f32 (*.f32 alpha alpha) u0))
(fma.f32 (*.f32 alpha alpha) (log.f32 (/.f32 -1 u0)) (/.f32 alpha (/.f32 u0 alpha)))
(fma.f32 alpha (*.f32 alpha (log.f32 (/.f32 -1 u0))) (*.f32 (/.f32 alpha u0) alpha))
(+.f32 (*.f32 (log.f32 (/.f32 -1 u0)) (pow.f32 alpha 2)) (+.f32 (*.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2))) (/.f32 (pow.f32 alpha 2) u0)))
(fma.f32 (log.f32 (/.f32 -1 u0)) (*.f32 alpha alpha) (fma.f32 1/2 (/.f32 (*.f32 alpha alpha) (*.f32 u0 u0)) (/.f32 (*.f32 alpha alpha) 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 alpha (*.f32 alpha (log.f32 (/.f32 -1 u0))) (*.f32 (+.f32 (/.f32 1/2 u0) 1) (*.f32 (/.f32 alpha u0) alpha)))
(+.f32 (*.f32 (log.f32 (/.f32 -1 u0)) (pow.f32 alpha 2)) (+.f32 (*.f32 1/2 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 2))) (+.f32 (/.f32 (pow.f32 alpha 2) u0) (*.f32 1/3 (/.f32 (pow.f32 alpha 2) (pow.f32 u0 3))))))
(fma.f32 (log.f32 (/.f32 -1 u0)) (*.f32 alpha alpha) (+.f32 (fma.f32 1/2 (/.f32 (*.f32 alpha alpha) (*.f32 u0 u0)) (/.f32 (*.f32 alpha alpha) u0)) (*.f32 1/3 (/.f32 (*.f32 alpha alpha) (pow.f32 u0 3)))))
(fma.f32 (*.f32 alpha alpha) (log.f32 (/.f32 -1 u0)) (fma.f32 1/2 (*.f32 (/.f32 alpha u0) (/.f32 alpha u0)) (fma.f32 1/3 (/.f32 alpha (/.f32 (pow.f32 u0 3) alpha)) (/.f32 alpha (/.f32 u0 alpha)))))
(fma.f32 alpha (*.f32 alpha (log.f32 (/.f32 -1 u0))) (+.f32 (*.f32 (/.f32 alpha u0) alpha) (*.f32 (*.f32 (/.f32 alpha (*.f32 u0 u0)) alpha) (+.f32 1/2 (/.f32 1/3 u0)))))
(*.f32 -1 u0)
(neg.f32 u0)
(neg.f32 (+.f32 u0 (*.f32 1/2 (pow.f32 u0 2))))
(neg.f32 (+.f32 u0 (*.f32 1/2 (*.f32 u0 u0))))
(-.f32 (*.f32 (*.f32 u0 u0) -1/2) u0)
(-.f32 (*.f32 u0 (*.f32 u0 -1/2)) u0)
(neg.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))))
(neg.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/2 (*.f32 u0 u0)))))
(-.f32 (neg.f32 u0) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3))))
(-.f32 (fma.f32 (*.f32 u0 u0) -1/2 (*.f32 (pow.f32 u0 3) -1/3)) u0)
(-.f32 (fma.f32 u0 (*.f32 u0 -1/2) (*.f32 (pow.f32 u0 3) -1/3)) u0)
(neg.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))))
(neg.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))))
(-.f32 (neg.f32 u0) (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))))
(-.f32 (neg.f32 u0) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))))
(-.f32 (log.f32 -1) (log.f32 (/.f32 1 u0)))
(-.f32 (log.f32 -1) (neg.f32 (log.f32 u0)))
(+.f32 (log.f32 -1) (log.f32 u0))
(-.f32 (log.f32 -1) (+.f32 (/.f32 1 u0) (log.f32 (/.f32 1 u0))))
(-.f32 (log.f32 -1) (+.f32 (/.f32 1 u0) (neg.f32 (log.f32 u0))))
(+.f32 (+.f32 (log.f32 -1) (/.f32 -1 u0)) (log.f32 u0))
(+.f32 (log.f32 -1) (-.f32 (log.f32 u0) (/.f32 1 u0)))
(-.f32 (log.f32 -1) (+.f32 (/.f32 1 u0) (+.f32 (log.f32 (/.f32 1 u0)) (*.f32 1/2 (/.f32 1 (pow.f32 u0 2))))))
(-.f32 (-.f32 (log.f32 -1) (/.f32 1 u0)) (+.f32 (neg.f32 (log.f32 u0)) (/.f32 1/2 (*.f32 u0 u0))))
(-.f32 (+.f32 (log.f32 -1) (/.f32 -1 u0)) (-.f32 (/.f32 1/2 (*.f32 u0 u0)) (log.f32 u0)))
(+.f32 (-.f32 (log.f32 u0) (/.f32 1 u0)) (-.f32 (log.f32 -1) (/.f32 1/2 (*.f32 u0 u0))))
(+.f32 (-.f32 (log.f32 u0) (/.f32 1 u0)) (+.f32 (log.f32 -1) (/.f32 -1/2 (*.f32 u0 u0))))
(-.f32 (log.f32 -1) (+.f32 (/.f32 1 u0) (+.f32 (*.f32 1/3 (/.f32 1 (pow.f32 u0 3))) (+.f32 (log.f32 (/.f32 1 u0)) (*.f32 1/2 (/.f32 1 (pow.f32 u0 2)))))))
(-.f32 (log.f32 -1) (+.f32 (/.f32 1 u0) (+.f32 (+.f32 (/.f32 1/3 (pow.f32 u0 3)) (neg.f32 (log.f32 u0))) (/.f32 1/2 (*.f32 u0 u0)))))
(-.f32 (log.f32 -1) (+.f32 (/.f32 1 u0) (+.f32 (-.f32 (/.f32 1/2 (*.f32 u0 u0)) (log.f32 u0)) (/.f32 1/3 (pow.f32 u0 3)))))
(-.f32 (+.f32 (-.f32 (log.f32 u0) (/.f32 1 u0)) (-.f32 (log.f32 -1) (/.f32 1/2 (*.f32 u0 u0)))) (/.f32 1/3 (pow.f32 u0 3)))
(+.f32 (log.f32 -1) (+.f32 (log.f32 u0) (+.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)))
(neg.f32 (+.f32 (log.f32 (/.f32 -1 u0)) (/.f32 1 u0)))
(neg.f32 (+.f32 (/.f32 1 u0) (log.f32 (/.f32 -1 u0))))
(-.f32 (/.f32 -1 u0) (log.f32 (/.f32 -1 u0)))
(neg.f32 (+.f32 (log.f32 (/.f32 -1 u0)) (+.f32 (/.f32 1 u0) (*.f32 1/2 (/.f32 1 (pow.f32 u0 2))))))
(neg.f32 (+.f32 (log.f32 (/.f32 -1 u0)) (+.f32 (/.f32 1 u0) (/.f32 1/2 (*.f32 u0 u0)))))
(-.f32 (-.f32 (/.f32 -1 u0) (log.f32 (/.f32 -1 u0))) (/.f32 1/2 (*.f32 u0 u0)))
(+.f32 (/.f32 -1 u0) (-.f32 (/.f32 -1/2 (*.f32 u0 u0)) (log.f32 (/.f32 -1 u0))))
(neg.f32 (+.f32 (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)))))))
(neg.f32 (+.f32 (log.f32 (/.f32 -1 u0)) (+.f32 (+.f32 (/.f32 1 u0) (/.f32 1/3 (pow.f32 u0 3))) (/.f32 1/2 (*.f32 u0 u0)))))
(-.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 (+.f32 (/.f32 -1 u0) (/.f32 -1/2 (*.f32 u0 u0))) (/.f32 1/3 (pow.f32 u0 3))) (log.f32 (/.f32 -1 u0)))
(+.f32 (/.f32 -1 u0) (-.f32 (-.f32 (/.f32 -1/2 (*.f32 u0 u0)) (/.f32 1/3 (pow.f32 u0 3))) (log.f32 (/.f32 -1 u0))))

prune50.0ms (1.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New73780
Fresh011
Picked011
Done000
Total73982
Error
0.1b
Counts
82 → 9
Alt Table
StatusErrorProgram
13.7b
(*.f32 (*.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0)))
4.1b
(*.f32 alpha (*.f32 alpha (fma.f32 u0 (*.f32 u0 1/2) u0)))
2.1b
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
2.1b
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 u0 (pow.f32 alpha 2)))))
0.4b
(*.f32 (*.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
8.4b
(*.f32 u0 (pow.f32 alpha 2))
10.8b
(cbrt.f32 (*.f32 (pow.f32 (*.f32 alpha alpha) 3) (pow.f32 (log1p.f32 u0) 3)))
9.2b
(pow.f32 (*.f32 alpha (sqrt.f32 (log1p.f32 u0))) 2)
9.2b
(pow.f32 (cbrt.f32 (*.f32 alpha (*.f32 alpha (log1p.f32 u0)))) 3)
Compiler

Compiled 1442 to 851 computations (41% saved)

localize66.0ms (2.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.3b
(*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))
0.3b
(*.f32 (pow.f32 u0 4) (pow.f32 alpha 2))
0.4b
(*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))
0.4b
(*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2)))

series12.0ms (0.4%)

Counts
4 → 0
Calls

24 calls:

TimeVariablePointExpression
1.0ms
u0
@0
(*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2)))
1.0ms
alpha
@0
(*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2)))
1.0ms
alpha
@inf
(*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2)))
1.0ms
u0
@inf
(*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2)))
1.0ms
alpha
@0
(*.f32 (pow.f32 u0 4) (pow.f32 alpha 2))

rewrite61.0ms (2%)

Algorithm
batch-egg-rewrite
Rules
636×log-prod_binary32
227×expm1-udef_binary32
227×log1p-udef_binary32
197×log-pow_binary32
141×add-sqr-sqrt_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01540
131940
2334540
Stop Event
node limit
Counts
4 → 71
Calls
Call 1
Inputs
(*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2)))
(*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))
(*.f32 (pow.f32 u0 4) (pow.f32 alpha 2))
(*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (*.f32 1/3 (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (log.f32 (*.f32 (cbrt.f32 (pow.f32 (exp.f32 1/3) (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2)))) (cbrt.f32 (pow.f32 (exp.f32 1/3) (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2)))))) (log.f32 (cbrt.f32 (pow.f32 (exp.f32 1/3) (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (log.f32 (sqrt.f32 (pow.f32 (exp.f32 1/3) (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2))))) (log.f32 (sqrt.f32 (pow.f32 (exp.f32 1/3) (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 1/3 (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 1/3 (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 1/3 (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (*.f32 u0 (cbrt.f32 (*.f32 alpha alpha))) (cbrt.f32 1/3)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (*.f32 alpha (pow.f32 u0 3/2)) (sqrt.f32 1/3)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (*.f32 (*.f32 (pow.f32 u0 6) (pow.f32 alpha 4)) 1/9))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 1/3) (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 1/3 (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 1/3 (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 1/3 (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 1/3 (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 1/3 (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 1/3 (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (log.f32 (*.f32 (cbrt.f32 (pow.f32 (pow.f32 (exp.f32 alpha) alpha) (pow.f32 u0 3))) (cbrt.f32 (pow.f32 (pow.f32 (exp.f32 alpha) alpha) (pow.f32 u0 3))))) (log.f32 (cbrt.f32 (pow.f32 (pow.f32 (exp.f32 alpha) alpha) (pow.f32 u0 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (log.f32 (sqrt.f32 (pow.f32 (pow.f32 (exp.f32 alpha) alpha) (pow.f32 u0 3)))) (log.f32 (sqrt.f32 (pow.f32 (pow.f32 (exp.f32 alpha) alpha) (pow.f32 u0 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 u0 (cbrt.f32 (*.f32 alpha alpha))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 alpha (pow.f32 u0 3/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (*.f32 (pow.f32 u0 6) (pow.f32 alpha 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (pow.f32 (exp.f32 alpha) alpha) (pow.f32 u0 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (pow.f32 u0 3) 3) (pow.f32 (*.f32 alpha alpha) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 alpha alpha) 3) (pow.f32 (pow.f32 u0 3) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 2 (log.f32 (*.f32 alpha (pow.f32 u0 3/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (*.f32 2 (log.f32 (*.f32 alpha (pow.f32 u0 3/2)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 u0 (pow.f32 (*.f32 u0 alpha) 2))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (*.f32 alpha (*.f32 alpha (pow.f32 u0 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (log.f32 (*.f32 (cbrt.f32 (pow.f32 (pow.f32 (exp.f32 alpha) alpha) (pow.f32 u0 4))) (cbrt.f32 (pow.f32 (pow.f32 (exp.f32 alpha) alpha) (pow.f32 u0 4))))) (log.f32 (cbrt.f32 (pow.f32 (pow.f32 (exp.f32 alpha) alpha) (pow.f32 u0 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (log.f32 (sqrt.f32 (pow.f32 (pow.f32 (exp.f32 alpha) alpha) (pow.f32 u0 4)))) (log.f32 (sqrt.f32 (pow.f32 (pow.f32 (exp.f32 alpha) alpha) (pow.f32 u0 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 alpha (*.f32 alpha (pow.f32 u0 4))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 alpha (*.f32 alpha (pow.f32 u0 4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 alpha (*.f32 alpha (pow.f32 u0 4))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 alpha (*.f32 alpha (pow.f32 u0 4)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 alpha (*.f32 u0 u0)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (*.f32 (pow.f32 u0 8) (pow.f32 alpha 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (pow.f32 (exp.f32 alpha) alpha) (pow.f32 u0 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 alpha (*.f32 alpha (pow.f32 u0 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 alpha (*.f32 alpha (pow.f32 u0 4))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 alpha alpha) 3) (pow.f32 (pow.f32 u0 4) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (pow.f32 u0 4) 3) (pow.f32 (*.f32 alpha alpha) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 alpha (*.f32 alpha (pow.f32 u0 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 2 (log.f32 (*.f32 alpha (*.f32 u0 u0)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (*.f32 2 (log.f32 (*.f32 alpha (*.f32 u0 u0)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 alpha (*.f32 alpha (pow.f32 u0 4)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (pow.f32 (*.f32 u0 alpha) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (log.f32 (*.f32 (cbrt.f32 (exp.f32 (pow.f32 (*.f32 u0 alpha) 2))) (cbrt.f32 (exp.f32 (pow.f32 (*.f32 u0 alpha) 2))))) (log.f32 (cbrt.f32 (exp.f32 (pow.f32 (*.f32 u0 alpha) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (log.f32 (sqrt.f32 (exp.f32 (pow.f32 (*.f32 u0 alpha) 2)))) (log.f32 (sqrt.f32 (exp.f32 (pow.f32 (*.f32 u0 alpha) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (pow.f32 (*.f32 u0 alpha) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 u0 alpha) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (pow.f32 (*.f32 u0 alpha) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (pow.f32 (*.f32 u0 alpha) 2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 u0 alpha) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 u0 alpha) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (pow.f32 (*.f32 u0 alpha) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (pow.f32 (*.f32 u0 alpha) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (pow.f32 (*.f32 u0 alpha) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 alpha alpha) 3) (pow.f32 u0 6)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 u0 6) (pow.f32 (*.f32 alpha alpha) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (pow.f32 (*.f32 u0 alpha) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (pow.f32 (*.f32 u0 alpha) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (pow.f32 (*.f32 u0 alpha) 2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 u0 alpha)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (pow.f32 (*.f32 u0 alpha) 2)))))))

simplify8.0ms (0.3%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
Stop Event
saturated
Counts
71 → 71
Calls
Call 1
Inputs
Outputs

prune95.0ms (3.1%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New70171
Fresh167
Picked011
Done011
Total71980
Error
0.1b
Counts
80 → 9
Alt Table
StatusErrorProgram
13.7b
(*.f32 (*.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0)))
4.1b
(*.f32 alpha (*.f32 alpha (fma.f32 u0 (*.f32 u0 1/2) u0)))
2.7b
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.f32 1/2 (cbrt.f32 (pow.f32 (pow.f32 (*.f32 u0 alpha) 2) 3))) (+.f32 (*.f32 1/4 (*.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (*.f32 u0 (pow.f32 alpha 2)))))
10.8b
(cbrt.f32 (*.f32 (pow.f32 (*.f32 alpha alpha) 3) (pow.f32 (log1p.f32 u0) 3)))
2.1b
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
2.1b
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 u0 (pow.f32 alpha 2)))))
0.4b
(*.f32 (*.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
9.2b
(pow.f32 (*.f32 alpha (sqrt.f32 (log1p.f32 u0))) 2)
9.2b
(pow.f32 (cbrt.f32 (*.f32 alpha (*.f32 alpha (log1p.f32 u0)))) 3)
Compiler

Compiled 3050 to 2250 computations (26.2% saved)

localize44.0ms (1.5%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.1b
(fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))
0.3b
(*.f32 u0 1/3)
0.4b
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
0.4b
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))

series8.0ms (0.3%)

Counts
4 → 60
Calls

15 calls:

TimeVariablePointExpression
1.0ms
alpha
@0
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
1.0ms
alpha
@inf
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
1.0ms
u0
@inf
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
1.0ms
u0
@inf
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
1.0ms
u0
@0
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))

rewrite66.0ms (2.2%)

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

IterNodesCost
01666
136060
2472060
Stop Event
node limit
Counts
4 → 89
Calls
Call 1
Inputs
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
(*.f32 u0 1/3)
(fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))
Outputs
((#(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 (*.f32 u0 1/3) (-.f32 (*.f32 u0 1/3) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (-.f32 1/4 (*.f32 (*.f32 u0 u0) 1/9)) (*.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 (*.f32 u0 1/3) (-.f32 (*.f32 u0 1/3) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (*.f32 u0 u0) (-.f32 1/4 (*.f32 (*.f32 u0 u0) 1/9))) (+.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 (pow.f32 (*.f32 u0 (*.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 (*.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 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 (pow.f32 (exp.f32 u0) 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 (pow.f32 (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))) 3))))) (#(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 cbrt.f32 (*.f32 (pow.f32 (fma.f32 u0 1/3 1/2) 3) (pow.f32 u0 6)))))) (#(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 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 +.f32 (*.f32 u0 (*.f32 alpha alpha)) (*.f32 (*.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) (*.f32 u0 (*.f32 alpha alpha)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 u0 (*.f32 alpha alpha)) 1) (*.f32 (*.f32 (*.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.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 alpha alpha)) 3) (pow.f32 (*.f32 (*.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) 3)) (+.f32 (*.f32 (*.f32 u0 (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha))) (-.f32 (*.f32 (*.f32 (*.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) (*.f32 (*.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))))) (*.f32 (*.f32 u0 (*.f32 alpha alpha)) (*.f32 (*.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (*.f32 (*.f32 u0 (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha))) (*.f32 (*.f32 (*.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) (*.f32 (*.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))) (-.f32 (*.f32 u0 (*.f32 alpha alpha)) (*.f32 (*.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (+.f32 (pow.f32 u0 3) (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))) 3)) (*.f32 alpha alpha)) (fma.f32 u0 u0 (*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))) (-.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))) u0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (-.f32 (*.f32 u0 u0) (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))) 2)) (*.f32 alpha alpha)) (-.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (*.f32 alpha alpha) (+.f32 (pow.f32 u0 3) (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))) 3))) (fma.f32 u0 u0 (*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))) (-.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))) u0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (*.f32 alpha alpha) (-.f32 (*.f32 u0 u0) (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))) 2))) (-.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 alpha (sqrt.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (*.f32 (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) 2) (pow.f32 alpha 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))))) (*.f32 alpha alpha)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 alpha alpha) 3) (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) 3) (pow.f32 (*.f32 alpha alpha) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 u0 (*.f32 alpha alpha) (*.f32 (*.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 alpha alpha) u0 (*.f32 (*.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))))))))))))
((#(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 (*.f32 (*.f32 u0 u0) 1/9))))) (#(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 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 log1p.f32 (expm1.f32 (*.f32 u0 1/3)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))) (*.f32 1/4 (pow.f32 u0 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 1/4 (pow.f32 u0 4)) 1) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 u0 (*.f32 u0 1/2))) (*.f32 1/3 (pow.f32 u0 3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) (cbrt.f32 (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))) 2)) (cbrt.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) (sqrt.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (*.f32 1/4 (pow.f32 u0 4)) 3) (pow.f32 (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))) 3)) (+.f32 (*.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/4 (pow.f32 u0 4))) (-.f32 (*.f32 (pow.f32 u0 4) (pow.f32 (fma.f32 u0 1/3 1/2) 2)) (*.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (*.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/4 (pow.f32 u0 4))) (*.f32 (pow.f32 u0 4) (pow.f32 (fma.f32 u0 1/3 1/2) 2))) (-.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))))))

simplify64.0ms (2.1%)

Algorithm
egg-herbie
Rules
694×unswap-sqr_binary32
578×distribute-rgt-out_binary32
450×*-commutative_binary32
279×fma-def_binary32
248×distribute-rgt-in_binary32
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0381050
11031018
2303964
31265937
42676937
54221937
65000937
Stop Event
node limit
Counts
149 → 116
Calls
Call 1
Inputs
(*.f32 1/2 (pow.f32 u0 2))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(*.f32 1/3 (pow.f32 u0 3))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(*.f32 1/3 (pow.f32 u0 3))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 u0 (pow.f32 alpha 2))
(+.f32 (*.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))) (*.f32 u0 (pow.f32 alpha 2)))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))) (*.f32 u0 (pow.f32 alpha 2))))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 u0 (pow.f32 alpha 2)))))
(*.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/4 (*.f32 (pow.f32 u0 4) (pow.f32 alpha 2))))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 u0 (pow.f32 alpha 2)))))
(*.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/4 (*.f32 (pow.f32 u0 4) (pow.f32 alpha 2))))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 u0 (pow.f32 alpha 2)))))
(*.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/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))
(*.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/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))
(*.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/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))
Outputs
(*.f32 1/2 (pow.f32 u0 2))
(*.f32 1/2 (*.f32 u0 u0))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/2 (*.f32 u0 u0)))
(fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))
(*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/2 (*.f32 u0 u0)))
(fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))
(*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/2 (*.f32 u0 u0)))
(fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))
(*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(*.f32 1/3 (pow.f32 u0 3))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/2 (*.f32 u0 u0)))
(fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))
(*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/2 (*.f32 u0 u0)))
(fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))
(*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/2 (*.f32 u0 u0)))
(fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))
(*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(*.f32 1/3 (pow.f32 u0 3))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/2 (*.f32 u0 u0)))
(fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))
(*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/2 (*.f32 u0 u0)))
(fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))
(*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/2 (*.f32 u0 u0)))
(fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))
(*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))) (*.f32 alpha alpha))
(*.f32 u0 (pow.f32 alpha 2))
(*.f32 u0 (*.f32 alpha alpha))
(+.f32 (*.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))) (*.f32 u0 (pow.f32 alpha 2)))
(fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha)))
(*.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 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))) (*.f32 u0 (pow.f32 alpha 2))))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha))))
(+.f32 (*.f32 u0 (*.f32 alpha alpha)) (*.f32 (*.f32 alpha alpha) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 u0 (pow.f32 alpha 2)))))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))) (*.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 (pow.f32 u0 4) (*.f32 1/4 (*.f32 alpha alpha)))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (*.f32 1/4 (*.f32 (pow.f32 u0 4) (pow.f32 alpha 2))))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (*.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha))))
(*.f32 (*.f32 alpha alpha) (fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/4 (pow.f32 u0 4))))
(*.f32 (*.f32 alpha alpha) (*.f32 (pow.f32 u0 3) (+.f32 (*.f32 u0 1/4) 1/3)))
(*.f32 (*.f32 alpha alpha) (*.f32 (pow.f32 u0 3) (+.f32 1/3 (*.f32 u0 1/4))))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))) (*.f32 1/4 (*.f32 (pow.f32 u0 4) (pow.f32 alpha 2)))))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (*.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha)))))
(fma.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 alpha alpha) (*.f32 (*.f32 alpha alpha) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 alpha) (*.f32 u0 alpha)) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 u0 (pow.f32 alpha 2)))))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))) (*.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 (pow.f32 u0 4) (*.f32 1/4 (*.f32 alpha alpha)))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (*.f32 1/4 (*.f32 (pow.f32 u0 4) (pow.f32 alpha 2))))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (*.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha))))
(*.f32 (*.f32 alpha alpha) (fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/4 (pow.f32 u0 4))))
(*.f32 (*.f32 alpha alpha) (*.f32 (pow.f32 u0 3) (+.f32 (*.f32 u0 1/4) 1/3)))
(*.f32 (*.f32 alpha alpha) (*.f32 (pow.f32 u0 3) (+.f32 1/3 (*.f32 u0 1/4))))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))) (*.f32 1/4 (*.f32 (pow.f32 u0 4) (pow.f32 alpha 2)))))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (*.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha)))))
(fma.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 alpha alpha) (*.f32 (*.f32 alpha alpha) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 alpha) (*.f32 u0 alpha)) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 u0 (pow.f32 alpha 2)))))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))) (*.f32 alpha alpha))
(*.f32 1/3 u0)
(*.f32 u0 1/3)
(*.f32 1/3 u0)
(*.f32 u0 1/3)
(*.f32 1/3 u0)
(*.f32 u0 1/3)
(*.f32 1/3 u0)
(*.f32 u0 1/3)
(*.f32 1/3 u0)
(*.f32 u0 1/3)
(*.f32 1/3 u0)
(*.f32 u0 1/3)
(*.f32 1/3 u0)
(*.f32 u0 1/3)
(*.f32 1/3 u0)
(*.f32 u0 1/3)
(*.f32 1/3 u0)
(*.f32 u0 1/3)
(*.f32 1/3 u0)
(*.f32 u0 1/3)
(*.f32 1/3 u0)
(*.f32 u0 1/3)
(*.f32 1/3 u0)
(*.f32 u0 1/3)
(*.f32 1/2 (pow.f32 u0 2))
(*.f32 1/2 (*.f32 u0 u0))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/2 (*.f32 u0 u0)))
(fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))
(*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))
(fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))
(fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))
(fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))
(*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))
(fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))
(fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))
(fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))
(*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))
(*.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/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))
(fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))
(fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))
(fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))
(*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))
(fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))
(fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))
(fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))
(*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))
(*.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/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))
(fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))
(fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))
(fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))
(*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))
(fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0))))
(fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4))))
(fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 (*.f32 u0 1/3) 1/2)))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))
(*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))

prune138.0ms (4.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1115116
Fresh426
Picked101
Done112
Total1178125
Error
0.1b
Counts
125 → 8
Alt Table
StatusErrorProgram
0.4b
(*.f32 (*.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
2.0b
(fma.f32 u0 (*.f32 alpha alpha) (*.f32 (*.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))
2.7b
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.f32 1/2 (cbrt.f32 (pow.f32 (pow.f32 (*.f32 u0 alpha) 2) 3))) (+.f32 (*.f32 1/4 (*.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (*.f32 u0 (pow.f32 alpha 2)))))
2.4b
(pow.f32 (*.f32 alpha (sqrt.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))) 2)
5.4b
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (log.f32 (pow.f32 (pow.f32 (exp.f32 u0) u0) (fma.f32 u0 1/3 1/2))))))
13.7b
(*.f32 (*.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0)))
2.1b
(sqrt.f32 (*.f32 (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) 2) (pow.f32 alpha 4)))
2.5b
(pow.f32 (cbrt.f32 (*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))))))) 3)
Compiler

Compiled 3210 to 2064 computations (35.7% saved)

localize44.0ms (1.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.2b
(fma.f32 u0 (*.f32 alpha alpha) (*.f32 (*.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))
0.3b
(*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))
0.3b
(*.f32 (*.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))))
0.3b
(*.f32 u0 (fma.f32 u0 1/3 1/2))

series11.0ms (0.4%)

Counts
4 → 72
Calls

18 calls:

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

rewrite56.0ms (1.8%)

Algorithm
batch-egg-rewrite
Rules
372×prod-diff_binary32
253×expm1-udef_binary32
253×log1p-udef_binary32
145×add-sqr-sqrt_binary32
141×pow1_binary32
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01574
131070
2348470
Stop Event
node limit
Counts
4 → 75
Calls
Call 1
Inputs
(*.f32 u0 (fma.f32 u0 1/3 1/2))
(*.f32 (*.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))))
(*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))
(fma.f32 u0 (*.f32 alpha alpha) (*.f32 (*.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))
Outputs
((#(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 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 log1p.f32 (expm1.f32 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 alpha alpha)) (*.f32 (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)) (*.f32 alpha alpha)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 alpha alpha) (*.f32 1/4 (pow.f32 u0 4))) (*.f32 (*.f32 alpha alpha) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 alpha (*.f32 alpha (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 alpha (*.f32 alpha (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 alpha (*.f32 alpha (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 alpha (*.f32 alpha (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 alpha (sqrt.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (*.f32 (pow.f32 alpha 4) (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (pow.f32 (exp.f32 alpha) alpha) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 alpha (*.f32 alpha (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 alpha (*.f32 alpha (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 alpha alpha) 3) (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))) 3) (pow.f32 (*.f32 alpha alpha) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 alpha (*.f32 alpha (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 alpha (*.f32 alpha (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 alpha (*.f32 alpha (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 alpha (*.f32 alpha (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 u0 1/3) (*.f32 u0 u0)) (*.f32 1/2 (*.f32 u0 u0)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 u0 u0) (*.f32 u0 1/3)) (*.f32 (*.f32 u0 u0) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))) 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 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 (*.f32 u0 u0)) (fma.f32 u0 1/3 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 u0 3) (pow.f32 (*.f32 u0 (fma.f32 u0 1/3 1/2)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 u0 (fma.f32 u0 1/3 1/2)) 3) (pow.f32 u0 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 alpha (*.f32 alpha (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))) (*.f32 u0 (*.f32 alpha alpha)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 u0 (*.f32 alpha alpha)) (*.f32 alpha (*.f32 alpha (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 u0 (*.f32 alpha alpha)) 1) (*.f32 alpha (*.f32 alpha (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))) (pow.f32 (cbrt.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))) 2) (cbrt.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))) (sqrt.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (*.f32 u0 (*.f32 alpha alpha)) 3) (pow.f32 (*.f32 alpha (*.f32 alpha (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))) 3)) (+.f32 (*.f32 (*.f32 u0 (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha))) (-.f32 (*.f32 (pow.f32 alpha 4) (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))) 2)) (*.f32 (*.f32 u0 (*.f32 alpha alpha)) (*.f32 alpha (*.f32 alpha (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (*.f32 (*.f32 u0 (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha))) (*.f32 (pow.f32 alpha 4) (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))) 2))) (-.f32 (*.f32 u0 (*.f32 alpha alpha)) (*.f32 alpha (*.f32 alpha (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0))))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))))))))))

simplify60.0ms (2%)

Algorithm
egg-herbie
Rules
694×unswap-sqr_binary32
586×distribute-rgt-out_binary32
448×*-commutative_binary32
309×fma-def_binary32
233×distribute-rgt-in_binary32
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0411749
11101471
23221408
313371369
428051369
543681369
Stop Event
node limit
Counts
147 → 105
Calls
Call 1
Inputs
(*.f32 1/2 u0)
(+.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 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 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 1/2 (*.f32 (pow.f32 u0 2) (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/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 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/4 (*.f32 (pow.f32 u0 4) (pow.f32 alpha 2))))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 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/4 (*.f32 (pow.f32 u0 4) (pow.f32 alpha 2))))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 1/2 (pow.f32 u0 2))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(*.f32 1/3 (pow.f32 u0 3))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(*.f32 1/3 (pow.f32 u0 3))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(*.f32 u0 (pow.f32 alpha 2))
(+.f32 (*.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))) (*.f32 u0 (pow.f32 alpha 2)))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))) (*.f32 u0 (pow.f32 alpha 2))))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 u0 (pow.f32 alpha 2)))))
(*.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/4 (*.f32 (pow.f32 u0 4) (pow.f32 alpha 2))))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 u0 (pow.f32 alpha 2)))))
(*.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/4 (*.f32 (pow.f32 u0 4) (pow.f32 alpha 2))))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 u0 (pow.f32 alpha 2)))))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
Outputs
(*.f32 1/2 u0)
(+.f32 (*.f32 1/2 u0) (*.f32 1/3 (pow.f32 u0 2)))
(fma.f32 1/2 u0 (*.f32 1/3 (*.f32 u0 u0)))
(fma.f32 1/2 u0 (*.f32 u0 (*.f32 u0 1/3)))
(*.f32 u0 (+.f32 1/2 (*.f32 u0 1/3)))
(+.f32 (*.f32 1/2 u0) (*.f32 1/3 (pow.f32 u0 2)))
(fma.f32 1/2 u0 (*.f32 1/3 (*.f32 u0 u0)))
(fma.f32 1/2 u0 (*.f32 u0 (*.f32 u0 1/3)))
(*.f32 u0 (+.f32 1/2 (*.f32 u0 1/3)))
(+.f32 (*.f32 1/2 u0) (*.f32 1/3 (pow.f32 u0 2)))
(fma.f32 1/2 u0 (*.f32 1/3 (*.f32 u0 u0)))
(fma.f32 1/2 u0 (*.f32 u0 (*.f32 u0 1/3)))
(*.f32 u0 (+.f32 1/2 (*.f32 u0 1/3)))
(*.f32 1/3 (pow.f32 u0 2))
(*.f32 1/3 (*.f32 u0 u0))
(*.f32 u0 (*.f32 u0 1/3))
(+.f32 (*.f32 1/2 u0) (*.f32 1/3 (pow.f32 u0 2)))
(fma.f32 1/2 u0 (*.f32 1/3 (*.f32 u0 u0)))
(fma.f32 1/2 u0 (*.f32 u0 (*.f32 u0 1/3)))
(*.f32 u0 (+.f32 1/2 (*.f32 u0 1/3)))
(+.f32 (*.f32 1/2 u0) (*.f32 1/3 (pow.f32 u0 2)))
(fma.f32 1/2 u0 (*.f32 1/3 (*.f32 u0 u0)))
(fma.f32 1/2 u0 (*.f32 u0 (*.f32 u0 1/3)))
(*.f32 u0 (+.f32 1/2 (*.f32 u0 1/3)))
(+.f32 (*.f32 1/2 u0) (*.f32 1/3 (pow.f32 u0 2)))
(fma.f32 1/2 u0 (*.f32 1/3 (*.f32 u0 u0)))
(fma.f32 1/2 u0 (*.f32 u0 (*.f32 u0 1/3)))
(*.f32 u0 (+.f32 1/2 (*.f32 u0 1/3)))
(*.f32 1/3 (pow.f32 u0 2))
(*.f32 1/3 (*.f32 u0 u0))
(*.f32 u0 (*.f32 u0 1/3))
(+.f32 (*.f32 1/2 u0) (*.f32 1/3 (pow.f32 u0 2)))
(fma.f32 1/2 u0 (*.f32 1/3 (*.f32 u0 u0)))
(fma.f32 1/2 u0 (*.f32 u0 (*.f32 u0 1/3)))
(*.f32 u0 (+.f32 1/2 (*.f32 u0 1/3)))
(+.f32 (*.f32 1/2 u0) (*.f32 1/3 (pow.f32 u0 2)))
(fma.f32 1/2 u0 (*.f32 1/3 (*.f32 u0 u0)))
(fma.f32 1/2 u0 (*.f32 u0 (*.f32 u0 1/3)))
(*.f32 u0 (+.f32 1/2 (*.f32 u0 1/3)))
(+.f32 (*.f32 1/2 u0) (*.f32 1/3 (pow.f32 u0 2)))
(fma.f32 1/2 u0 (*.f32 1/3 (*.f32 u0 u0)))
(fma.f32 1/2 u0 (*.f32 u0 (*.f32 u0 1/3)))
(*.f32 u0 (+.f32 1/2 (*.f32 u0 1/3)))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2)))) (pow.f32 alpha 2))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2)))
(*.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)))
(*.f32 1/2 (*.f32 u0 (*.f32 u0 (*.f32 alpha alpha))))
(*.f32 (*.f32 1/2 (*.f32 u0 alpha)) (*.f32 u0 alpha))
(+.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/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (*.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha))))
(*.f32 (*.f32 alpha alpha) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3))))
(*.f32 (*.f32 alpha alpha) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))
(*.f32 u0 (*.f32 (*.f32 alpha alpha) (*.f32 u0 (+.f32 1/2 (*.f32 u0 1/3)))))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.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 (pow.f32 u0 4) (*.f32 (*.f32 1/4 alpha) alpha))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (*.f32 1/4 (*.f32 (pow.f32 u0 4) (pow.f32 alpha 2))))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (*.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha))))
(*.f32 (*.f32 alpha alpha) (fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/4 (pow.f32 u0 4))))
(*.f32 (*.f32 alpha 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/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.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 (pow.f32 u0 4) (*.f32 (*.f32 1/4 alpha) alpha))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (*.f32 1/4 (*.f32 (pow.f32 u0 4) (pow.f32 alpha 2))))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (*.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha))))
(*.f32 (*.f32 alpha alpha) (fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/4 (pow.f32 u0 4))))
(*.f32 (*.f32 alpha 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/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(*.f32 1/2 (pow.f32 u0 2))
(*.f32 1/2 (*.f32 u0 u0))
(*.f32 u0 (*.f32 1/2 u0))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/2 (*.f32 u0 u0)))
(fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/2 (*.f32 u0 u0)))
(fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/2 (*.f32 u0 u0)))
(fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(*.f32 1/3 (pow.f32 u0 3))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/2 (*.f32 u0 u0)))
(fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/2 (*.f32 u0 u0)))
(fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/2 (*.f32 u0 u0)))
(fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(*.f32 1/3 (pow.f32 u0 3))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/2 (*.f32 u0 u0)))
(fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/2 (*.f32 u0 u0)))
(fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(+.f32 (*.f32 1/3 (pow.f32 u0 3)) (*.f32 1/2 (pow.f32 u0 2)))
(fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/2 (*.f32 u0 u0)))
(fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/3 (pow.f32 u0 3)))
(*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
(*.f32 u0 (pow.f32 alpha 2))
(*.f32 u0 (*.f32 alpha alpha))
(*.f32 alpha (*.f32 u0 alpha))
(+.f32 (*.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))) (*.f32 u0 (pow.f32 alpha 2)))
(fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha)))
(*.f32 (*.f32 alpha alpha) (+.f32 (*.f32 u0 (*.f32 1/2 u0)) u0))
(*.f32 (*.f32 alpha alpha) (fma.f32 1/2 (*.f32 u0 u0) u0))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.f32 1/2 (*.f32 (pow.f32 u0 2) (pow.f32 alpha 2))) (*.f32 u0 (pow.f32 alpha 2))))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha))))
(+.f32 (*.f32 u0 (*.f32 alpha alpha)) (*.f32 (*.f32 alpha alpha) (fma.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/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 u0 (pow.f32 alpha 2)))))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (fma.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha)))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))))
(*.f32 1/4 (*.f32 (pow.f32 u0 4) (pow.f32 alpha 2)))
(*.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha)))
(*.f32 (pow.f32 u0 4) (*.f32 (*.f32 1/4 alpha) alpha))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (*.f32 1/4 (*.f32 (pow.f32 u0 4) (pow.f32 alpha 2))))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (*.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha))))
(*.f32 (*.f32 alpha alpha) (fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/4 (pow.f32 u0 4))))
(*.f32 (*.f32 alpha 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/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 u0 (pow.f32 alpha 2)))))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (fma.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha)))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))))
(*.f32 1/4 (*.f32 (pow.f32 u0 4) (pow.f32 alpha 2)))
(*.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha)))
(*.f32 (pow.f32 u0 4) (*.f32 (*.f32 1/4 alpha) alpha))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (*.f32 1/4 (*.f32 (pow.f32 u0 4) (pow.f32 alpha 2))))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (*.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha))))
(*.f32 (*.f32 alpha alpha) (fma.f32 1/3 (pow.f32 u0 3) (*.f32 1/4 (pow.f32 u0 4))))
(*.f32 (*.f32 alpha 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/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 1/2 (*.f32 u0 u0)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))) (*.f32 alpha alpha))
(*.f32 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3)))) (*.f32 alpha alpha))
(*.f32 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))) (*.f32 alpha alpha))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (*.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 u0 (pow.f32 alpha 2)))))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (fma.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha)))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (fma.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha)))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (fma.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha)))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (fma.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha)))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (fma.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha)))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (fma.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha)))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (fma.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha)))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (fma.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha)))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (fma.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha)))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (fma.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha)))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (fma.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha)))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (fma.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha)))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))))
(*.f32 (+.f32 u0 (+.f32 (*.f32 1/3 (pow.f32 u0 3)) (+.f32 (*.f32 1/4 (pow.f32 u0 4)) (*.f32 1/2 (pow.f32 u0 2))))) (pow.f32 alpha 2))
(fma.f32 1/3 (*.f32 (pow.f32 u0 3) (*.f32 alpha alpha)) (fma.f32 1/2 (*.f32 (*.f32 u0 u0) (*.f32 alpha alpha)) (fma.f32 1/4 (*.f32 (pow.f32 u0 4) (*.f32 alpha alpha)) (*.f32 u0 (*.f32 alpha alpha)))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) (*.f32 1/4 (pow.f32 u0 4)))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 (*.f32 u0 u0) (+.f32 1/2 (*.f32 u0 (+.f32 (*.f32 u0 1/4) 1/3))))))
(*.f32 alpha (*.f32 alpha (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4)))))))))
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (*.f32 u0 (*.f32 u0 (+.f32 1/2 (*.f32 u0 (+.f32 1/3 (*.f32 u0 1/4))))))))

prune109.0ms (3.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1041105
Fresh156
Picked011
Done011
Total1058113
Error
0.0b
Counts
113 → 8
Alt Table
StatusErrorProgram
0.4b
(*.f32 (*.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
2.0b
(fma.f32 u0 (*.f32 alpha alpha) (*.f32 (*.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))
5.4b
(*.f32 (*.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (log.f32 (pow.f32 (pow.f32 (exp.f32 u0) u0) (fma.f32 u0 1/3 1/2))))))
2.2b
(fma.f32 u0 (*.f32 alpha alpha) (*.f32 (*.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (log.f32 (pow.f32 (exp.f32 (fma.f32 u0 1/3 1/2)) u0))))))
13.7b
(*.f32 (*.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0)))
2.1b
(sqrt.f32 (*.f32 (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) 2) (pow.f32 alpha 4)))
2.4b
(pow.f32 (*.f32 alpha (sqrt.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))) 2)
2.5b
(pow.f32 (cbrt.f32 (*.f32 alpha (*.f32 alpha (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (*.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))))))) 3)
Compiler

Compiled 2724 to 1538 computations (43.5% saved)

regimes254.0ms (8.3%)

Accuracy

Total 0.2b remaining (75.4%)

Threshold costs 0.2b (75.4%)

Counts
79 → 1
Compiler

Compiled 1671 to 998 computations (40.3% saved)

simplify3.0ms (0.1%)

Algorithm
egg-herbie
Rules
*-commutative_binary32
neg-sub0_binary32
neg-mul-1_binary32
+-commutative_binary32
sub-neg_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
11813
22813
33913
44413
54713
64813
Stop Event
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)))

end103.0ms (3.4%)

Stop Event
fuel
Compiler

Compiled 184 to 126 computations (31.5% saved)

Profiling

Loading profile data...