Details

Time bar (total: 3.2s)

analyze105.0ms (3.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%1.5%98.5%0
0%1.5%98.5%1
0%1.5%98.5%2
0.8%0.8%98.5%3
0.8%0.8%98.5%4
1.2%0.4%98.5%5
1.2%0.4%98.5%6
1.4%0.2%98.5%7
1.4%0.2%98.5%8
1.4%0.1%98.5%9
1.4%0.1%98.5%10
1.5%0%98.5%11
1.5%0%98.5%12
1.5%0%98.5%13
1.5%0%98.5%14
Compiler

Compiled 27 to 21 computations (22.2% saved)

sample1.6s (48.4%)

Results
1.6s8256×body128valid
Compiler

Compiled 54 to 42 computations (22.2% saved)

preprocess117.0ms (3.6%)

Algorithm
2×egg-herbie
Rules
870×fma-neg_binary32
458×fma-def_binary32
424×distribute-rgt-in_binary32
319×unsub-neg_binary32
236×distribute-lft-in_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01528
13822
27122
312422
416822
522922
630022
741122
868822
996122
10109822
11129522
12150922
13175922
14182622
15185622
16193522
17236722
18364022
19391422
20406622
21409622
22411622
23411622
24452522
25474222
26478222
27480622
28482222
29482222
022
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u)))))
(*.f32 u (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 s)))))
Outputs
(*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u)))))
(*.f32 s (neg.f32 (log.f32 (+.f32 1 (*.f32 -4 u)))))
(*.f32 s (neg.f32 (log1p.f32 (*.f32 u -4))))
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
(*.f32 u (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 s)))))
(*.f32 u (neg.f32 (log.f32 (+.f32 1 (*.f32 -4 s)))))
(*.f32 u (neg.f32 (log1p.f32 (*.f32 s -4))))
(*.f32 (log1p.f32 (*.f32 s -4)) (neg.f32 u))
Compiler

Compiled 12 to 10 computations (16.7% saved)

simplify17.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
175×fma-neg_binary32
152×fma-def_binary32
46×cancel-sign-sub-inv_binary32
46×sub-neg_binary32
30×distribute-rgt-in_binary32
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01014
12411
24111
37011
49711
512711
616711
724111
835911
943511
1051111
1160311
1274111
1385311
1486611
Stop Event
1×saturated
Counts
1 → 2
Calls
Call 1
Inputs
(*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u)))))
Outputs
(*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u)))))
(*.f32 s (neg.f32 (log.f32 (+.f32 1 (*.f32 -4 u)))))
(*.f32 s (neg.f32 (log1p.f32 (*.f32 u -4))))
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.2b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.2b
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
12.9b
(*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u)))))
Compiler

Compiled 61 to 49 computations (19.7% saved)

localize18.0ms (0.5%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(log1p.f32 (*.f32 u -4))
✓0.2b
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))

series44.0ms (1.3%)

Counts
2 → 36
Calls

9 calls:

TimeVariablePointExpression
39.0ms
s
@0
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
1.0ms
u
@0
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
1.0ms
u
@inf
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
1.0ms
s
@inf
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
1.0ms
u
@-inf
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))

rewrite40.0ms (1.2%)

Algorithm
1×batch-egg-rewrite
Rules
641×pow1_binary32
592×add-log-exp_binary32
591×expm1-log1p-u_binary32
590×log1p-expm1-u_binary32
80×add-sqr-sqrt_binary32
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0817
116215
2193815
Stop Event
1×node limit
Counts
2 → 31
Calls
Call 1
Inputs
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
(log1p.f32 (*.f32 u -4))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 0 (*.f32 (log1p.f32 (*.f32 u -4)) s))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (+.f32 (*.f32 u -4) 1) s))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 s 3) (pow.f32 (log1p.f32 (*.f32 u -4)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (log1p.f32 (*.f32 u -4)) 3) (pow.f32 s 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (log1p.f32 (*.f32 u -4)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (log1p.f32 (*.f32 u -4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (log1p.f32 (*.f32 u -4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (log1p.f32 (*.f32 u -4))) (pow.f32 (cbrt.f32 (log1p.f32 (*.f32 u -4))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (log1p.f32 (*.f32 u -4))) 2) (cbrt.f32 (log1p.f32 (*.f32 u -4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (log1p.f32 (*.f32 u -4))) (sqrt.f32 (log1p.f32 (*.f32 u -4))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (log1p.f32 (*.f32 u -4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (log1p.f32 (*.f32 u -4)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (log1p.f32 (*.f32 u -4))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (log1p.f32 (*.f32 u -4))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (log1p.f32 (*.f32 u -4)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 (*.f32 u -4) 1))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (log1p.f32 (*.f32 u -4)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (log1p.f32 (*.f32 u -4))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (log1p.f32 (*.f32 u -4))))))))

simplify36.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
836×fma-neg_binary32
526×fma-def_binary32
364×sub-neg_binary32
212×associate-+l+_binary32
186×unsub-neg_binary32
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0106726
1336675
21065632
33590624
Stop Event
1×node limit
Counts
67 → 80
Calls
Call 1
Inputs
(*.f32 4 (*.f32 s u))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 4 (*.f32 s u)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 4 (*.f32 s u))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (+.f32 (*.f32 64 (*.f32 s (pow.f32 u 4))) (*.f32 4 (*.f32 s u)))))
(*.f32 -1 (*.f32 s (-.f32 (log.f32 -4) (log.f32 (/.f32 1 u)))))
(-.f32 (+.f32 (*.f32 1/4 (/.f32 s u)) (*.f32 s (log.f32 (/.f32 1 u)))) (*.f32 s (log.f32 -4)))
(-.f32 (+.f32 (*.f32 1/4 (/.f32 s u)) (+.f32 (*.f32 s (log.f32 (/.f32 1 u))) (*.f32 1/32 (/.f32 s (pow.f32 u 2))))) (*.f32 s (log.f32 -4)))
(-.f32 (+.f32 (*.f32 1/4 (/.f32 s u)) (+.f32 (*.f32 s (log.f32 (/.f32 1 u))) (+.f32 (*.f32 1/192 (/.f32 s (pow.f32 u 3))) (*.f32 1/32 (/.f32 s (pow.f32 u 2)))))) (*.f32 s (log.f32 -4)))
(*.f32 -1 (*.f32 s (-.f32 (log.f32 4) (log.f32 (/.f32 -1 u)))))
(-.f32 (+.f32 (*.f32 s (log.f32 (/.f32 -1 u))) (*.f32 1/4 (/.f32 s u))) (*.f32 s (log.f32 4)))
(-.f32 (+.f32 (*.f32 s (log.f32 (/.f32 -1 u))) (+.f32 (*.f32 1/4 (/.f32 s u)) (*.f32 1/32 (/.f32 s (pow.f32 u 2))))) (*.f32 s (log.f32 4)))
(-.f32 (+.f32 (*.f32 s (log.f32 (/.f32 -1 u))) (+.f32 (*.f32 1/4 (/.f32 s u)) (+.f32 (*.f32 1/192 (/.f32 s (pow.f32 u 3))) (*.f32 1/32 (/.f32 s (pow.f32 u 2)))))) (*.f32 s (log.f32 4)))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(*.f32 -4 u)
(neg.f32 (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))
(neg.f32 (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u))))
(neg.f32 (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(-.f32 (log.f32 -4) (log.f32 (/.f32 1 u)))
(-.f32 (log.f32 -4) (+.f32 (log.f32 (/.f32 1 u)) (*.f32 1/4 (/.f32 1 u))))
(-.f32 (log.f32 -4) (+.f32 (*.f32 1/32 (/.f32 1 (pow.f32 u 2))) (+.f32 (log.f32 (/.f32 1 u)) (*.f32 1/4 (/.f32 1 u)))))
(-.f32 (log.f32 -4) (+.f32 (*.f32 1/32 (/.f32 1 (pow.f32 u 2))) (+.f32 (log.f32 (/.f32 1 u)) (+.f32 (*.f32 1/192 (/.f32 1 (pow.f32 u 3))) (*.f32 1/4 (/.f32 1 u))))))
(-.f32 (log.f32 4) (log.f32 (/.f32 -1 u)))
(-.f32 (log.f32 4) (+.f32 (*.f32 1/4 (/.f32 1 u)) (log.f32 (/.f32 -1 u))))
(-.f32 (log.f32 4) (+.f32 (*.f32 1/32 (/.f32 1 (pow.f32 u 2))) (+.f32 (*.f32 1/4 (/.f32 1 u)) (log.f32 (/.f32 -1 u)))))
(-.f32 (log.f32 4) (+.f32 (*.f32 1/32 (/.f32 1 (pow.f32 u 2))) (+.f32 (*.f32 1/192 (/.f32 1 (pow.f32 u 3))) (+.f32 (*.f32 1/4 (/.f32 1 u)) (log.f32 (/.f32 -1 u))))))
Outputs
(*.f32 4 (*.f32 s u))
(*.f32 u (*.f32 4 s))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 4 (*.f32 s u)))
(fma.f32 8 (*.f32 s (*.f32 u u)) (*.f32 4 (*.f32 s u)))
(fma.f32 (*.f32 s 8) (*.f32 u u) (*.f32 4 (*.f32 s u)))
(*.f32 s (*.f32 u (+.f32 (*.f32 u 8) 4)))
(*.f32 s (*.f32 u (+.f32 4 (*.f32 u 8))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 4 (*.f32 s u))))
(fma.f32 8 (*.f32 s (*.f32 u u)) (fma.f32 64/3 (*.f32 s (pow.f32 u 3)) (*.f32 4 (*.f32 s u))))
(fma.f32 8 (*.f32 s (*.f32 u u)) (fma.f32 4 (*.f32 s u) (*.f32 s (*.f32 64/3 (pow.f32 u 3)))))
(fma.f32 4 (*.f32 s u) (*.f32 s (*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (+.f32 (*.f32 64 (*.f32 s (pow.f32 u 4))) (*.f32 4 (*.f32 s u)))))
(fma.f32 8 (*.f32 s (*.f32 u u)) (fma.f32 64/3 (*.f32 s (pow.f32 u 3)) (fma.f32 64 (*.f32 s (pow.f32 u 4)) (*.f32 4 (*.f32 s u)))))
(fma.f32 8 (*.f32 s (*.f32 u u)) (fma.f32 64/3 (*.f32 s (pow.f32 u 3)) (fma.f32 4 (*.f32 s u) (*.f32 s (*.f32 64 (pow.f32 u 4))))))
(+.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) (*.f32 s (*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))))
(*.f32 -1 (*.f32 s (-.f32 (log.f32 -4) (log.f32 (/.f32 1 u)))))
(neg.f32 (*.f32 s (-.f32 (log.f32 -4) (neg.f32 (log.f32 u)))))
(*.f32 (+.f32 (log.f32 -4) (log.f32 u)) (neg.f32 s))
(*.f32 s (-.f32 (neg.f32 (log.f32 u)) (log.f32 -4)))
(-.f32 (+.f32 (*.f32 1/4 (/.f32 s u)) (*.f32 s (log.f32 (/.f32 1 u)))) (*.f32 s (log.f32 -4)))
(-.f32 (fma.f32 1/4 (/.f32 s u) (*.f32 s (neg.f32 (log.f32 u)))) (*.f32 s (log.f32 -4)))
(fma.f32 1/4 (/.f32 s u) (*.f32 s (-.f32 (neg.f32 (log.f32 u)) (log.f32 -4))))
(fma.f32 s (-.f32 (neg.f32 (log.f32 u)) (log.f32 -4)) (*.f32 1/4 (/.f32 s u)))
(-.f32 (*.f32 1/4 (/.f32 s u)) (*.f32 s (+.f32 (log.f32 -4) (log.f32 u))))
(-.f32 (+.f32 (*.f32 1/4 (/.f32 s u)) (+.f32 (*.f32 s (log.f32 (/.f32 1 u))) (*.f32 1/32 (/.f32 s (pow.f32 u 2))))) (*.f32 s (log.f32 -4)))
(-.f32 (fma.f32 1/4 (/.f32 s u) (fma.f32 s (neg.f32 (log.f32 u)) (*.f32 1/32 (/.f32 s (*.f32 u u))))) (*.f32 s (log.f32 -4)))
(fma.f32 1/4 (/.f32 s u) (+.f32 (*.f32 1/32 (/.f32 s (*.f32 u u))) (*.f32 s (-.f32 (neg.f32 (log.f32 u)) (log.f32 -4)))))
(+.f32 (*.f32 (/.f32 s u) (+.f32 1/4 (/.f32 1/32 u))) (*.f32 s (-.f32 (neg.f32 (log.f32 u)) (log.f32 -4))))
(-.f32 (*.f32 (/.f32 s u) (+.f32 1/4 (/.f32 1/32 u))) (*.f32 s (+.f32 (log.f32 -4) (log.f32 u))))
(-.f32 (+.f32 (*.f32 1/4 (/.f32 s u)) (+.f32 (*.f32 s (log.f32 (/.f32 1 u))) (+.f32 (*.f32 1/192 (/.f32 s (pow.f32 u 3))) (*.f32 1/32 (/.f32 s (pow.f32 u 2)))))) (*.f32 s (log.f32 -4)))
(-.f32 (fma.f32 1/4 (/.f32 s u) (fma.f32 s (neg.f32 (log.f32 u)) (fma.f32 1/192 (/.f32 s (pow.f32 u 3)) (*.f32 1/32 (/.f32 s (*.f32 u u)))))) (*.f32 s (log.f32 -4)))
(fma.f32 1/4 (/.f32 s u) (+.f32 (fma.f32 1/32 (/.f32 s (*.f32 u u)) (*.f32 1/192 (/.f32 s (pow.f32 u 3)))) (*.f32 s (-.f32 (neg.f32 (log.f32 u)) (log.f32 -4)))))
(+.f32 (*.f32 (/.f32 s (*.f32 u u)) (+.f32 1/32 (/.f32 1/192 u))) (fma.f32 s (-.f32 (neg.f32 (log.f32 u)) (log.f32 -4)) (*.f32 1/4 (/.f32 s u))))
(-.f32 (fma.f32 1/4 (/.f32 s u) (*.f32 (/.f32 s (*.f32 u u)) (+.f32 1/32 (/.f32 1/192 u)))) (*.f32 s (+.f32 (log.f32 -4) (log.f32 u))))
(*.f32 -1 (*.f32 s (-.f32 (log.f32 4) (log.f32 (/.f32 -1 u)))))
(neg.f32 (*.f32 s (-.f32 (log.f32 4) (log.f32 (/.f32 -1 u)))))
(*.f32 s (neg.f32 (-.f32 (log.f32 4) (log.f32 (/.f32 -1 u)))))
(*.f32 s (-.f32 (log.f32 (/.f32 -1 u)) (log.f32 4)))
(-.f32 (+.f32 (*.f32 s (log.f32 (/.f32 -1 u))) (*.f32 1/4 (/.f32 s u))) (*.f32 s (log.f32 4)))
(-.f32 (fma.f32 s (log.f32 (/.f32 -1 u)) (*.f32 1/4 (/.f32 s u))) (*.f32 s (log.f32 4)))
(fma.f32 1/4 (/.f32 s u) (*.f32 s (-.f32 (log.f32 (/.f32 -1 u)) (log.f32 4))))
(-.f32 (+.f32 (*.f32 s (log.f32 (/.f32 -1 u))) (+.f32 (*.f32 1/4 (/.f32 s u)) (*.f32 1/32 (/.f32 s (pow.f32 u 2))))) (*.f32 s (log.f32 4)))
(-.f32 (fma.f32 s (log.f32 (/.f32 -1 u)) (fma.f32 1/4 (/.f32 s u) (*.f32 1/32 (/.f32 s (*.f32 u u))))) (*.f32 s (log.f32 4)))
(+.f32 (*.f32 (/.f32 s u) (+.f32 1/4 (/.f32 1/32 u))) (*.f32 s (-.f32 (log.f32 (/.f32 -1 u)) (log.f32 4))))
(fma.f32 (/.f32 s u) (+.f32 1/4 (/.f32 1/32 u)) (*.f32 s (-.f32 (log.f32 (/.f32 -1 u)) (log.f32 4))))
(-.f32 (+.f32 (*.f32 s (log.f32 (/.f32 -1 u))) (+.f32 (*.f32 1/4 (/.f32 s u)) (+.f32 (*.f32 1/192 (/.f32 s (pow.f32 u 3))) (*.f32 1/32 (/.f32 s (pow.f32 u 2)))))) (*.f32 s (log.f32 4)))
(-.f32 (fma.f32 s (log.f32 (/.f32 -1 u)) (fma.f32 1/4 (/.f32 s u) (fma.f32 1/192 (/.f32 s (pow.f32 u 3)) (*.f32 1/32 (/.f32 s (*.f32 u u)))))) (*.f32 s (log.f32 4)))
(-.f32 (fma.f32 s (log.f32 (/.f32 -1 u)) (fma.f32 1/4 (/.f32 s u) (fma.f32 1/32 (/.f32 s (*.f32 u u)) (*.f32 1/192 (/.f32 s (pow.f32 u 3)))))) (*.f32 s (log.f32 4)))
(+.f32 (*.f32 (/.f32 s (*.f32 u u)) (+.f32 1/32 (/.f32 1/192 u))) (fma.f32 1/4 (/.f32 s u) (*.f32 s (-.f32 (log.f32 (/.f32 -1 u)) (log.f32 4)))))
(+.f32 (*.f32 1/192 (/.f32 s (pow.f32 u 3))) (fma.f32 (/.f32 s u) (+.f32 1/4 (/.f32 1/32 u)) (*.f32 s (-.f32 (log.f32 (/.f32 -1 u)) (log.f32 4)))))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(neg.f32 (*.f32 s (log.f32 (+.f32 1 (*.f32 u -4)))))
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(neg.f32 (*.f32 s (log.f32 (+.f32 1 (*.f32 u -4)))))
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(neg.f32 (*.f32 s (log.f32 (+.f32 1 (*.f32 u -4)))))
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(neg.f32 (*.f32 s (log.f32 (+.f32 1 (*.f32 u -4)))))
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(neg.f32 (*.f32 s (log.f32 (+.f32 1 (*.f32 u -4)))))
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(neg.f32 (*.f32 s (log.f32 (+.f32 1 (*.f32 u -4)))))
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(neg.f32 (*.f32 s (log.f32 (+.f32 1 (*.f32 u -4)))))
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(neg.f32 (*.f32 s (log.f32 (+.f32 1 (*.f32 u -4)))))
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(neg.f32 (*.f32 s (log.f32 (+.f32 1 (*.f32 u -4)))))
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(neg.f32 (*.f32 s (log.f32 (+.f32 1 (*.f32 u -4)))))
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(neg.f32 (*.f32 s (log.f32 (+.f32 1 (*.f32 u -4)))))
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
(*.f32 -1 (*.f32 s (log.f32 (-.f32 1 (*.f32 4 u)))))
(neg.f32 (*.f32 s (log.f32 (+.f32 1 (*.f32 u -4)))))
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
(*.f32 -4 u)
(*.f32 u -4)
(neg.f32 (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))
(neg.f32 (fma.f32 8 (*.f32 u u) (*.f32 4 u)))
(+.f32 (*.f32 u -4) (*.f32 (*.f32 u u) -8))
(*.f32 u (-.f32 -4 (*.f32 u 8)))
(neg.f32 (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u))))
(neg.f32 (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 4 u))))
(-.f32 (*.f32 (pow.f32 u 3) -64/3) (fma.f32 4 u (*.f32 8 (*.f32 u u))))
(fma.f32 (pow.f32 u 3) -64/3 (*.f32 u (-.f32 -4 (*.f32 u 8))))
(fma.f32 u (-.f32 -4 (*.f32 u 8)) (*.f32 (pow.f32 u 3) -64/3))
(neg.f32 (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(neg.f32 (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 4 u)))))
(-.f32 (*.f32 (pow.f32 u 4) -64) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 4 u (*.f32 8 (*.f32 u u)))))
(fma.f32 (pow.f32 u 4) -64 (fma.f32 (pow.f32 u 3) -64/3 (*.f32 u (-.f32 -4 (*.f32 u 8)))))
(fma.f32 u (-.f32 -4 (*.f32 u 8)) (fma.f32 (pow.f32 u 4) -64 (*.f32 (pow.f32 u 3) -64/3)))
(-.f32 (log.f32 -4) (log.f32 (/.f32 1 u)))
(-.f32 (log.f32 -4) (neg.f32 (log.f32 u)))
(+.f32 (log.f32 -4) (log.f32 u))
(-.f32 (log.f32 -4) (+.f32 (log.f32 (/.f32 1 u)) (*.f32 1/4 (/.f32 1 u))))
(-.f32 (log.f32 -4) (+.f32 (neg.f32 (log.f32 u)) (/.f32 1/4 u)))
(+.f32 (log.f32 -4) (-.f32 (log.f32 u) (/.f32 1/4 u)))
(+.f32 (log.f32 -4) (+.f32 (log.f32 u) (/.f32 -1/4 u)))
(-.f32 (log.f32 -4) (+.f32 (*.f32 1/32 (/.f32 1 (pow.f32 u 2))) (+.f32 (log.f32 (/.f32 1 u)) (*.f32 1/4 (/.f32 1 u)))))
(-.f32 (log.f32 -4) (+.f32 (+.f32 (neg.f32 (log.f32 u)) (/.f32 1/4 u)) (/.f32 1/32 (*.f32 u u))))
(-.f32 (log.f32 -4) (+.f32 (-.f32 (/.f32 1/4 u) (log.f32 u)) (/.f32 1/32 (*.f32 u u))))
(+.f32 (log.f32 -4) (+.f32 (/.f32 -1/4 u) (+.f32 (log.f32 u) (/.f32 -1/32 (*.f32 u u)))))
(+.f32 (log.f32 -4) (+.f32 (log.f32 u) (+.f32 (/.f32 -1/32 (*.f32 u u)) (/.f32 -1/4 u))))
(-.f32 (log.f32 -4) (+.f32 (*.f32 1/32 (/.f32 1 (pow.f32 u 2))) (+.f32 (log.f32 (/.f32 1 u)) (+.f32 (*.f32 1/192 (/.f32 1 (pow.f32 u 3))) (*.f32 1/4 (/.f32 1 u))))))
(-.f32 (log.f32 -4) (+.f32 (/.f32 1/32 (*.f32 u u)) (+.f32 (neg.f32 (log.f32 u)) (+.f32 (/.f32 1/4 u) (/.f32 1/192 (pow.f32 u 3))))))
(-.f32 (log.f32 -4) (+.f32 (/.f32 1/32 (*.f32 u u)) (-.f32 (+.f32 (/.f32 1/4 u) (/.f32 1/192 (pow.f32 u 3))) (log.f32 u))))
(+.f32 (log.f32 -4) (-.f32 (log.f32 u) (+.f32 (/.f32 1/4 u) (+.f32 (/.f32 1/32 (*.f32 u u)) (/.f32 1/192 (pow.f32 u 3))))))
(+.f32 (log.f32 -4) (+.f32 (/.f32 -1/32 (*.f32 u u)) (-.f32 (+.f32 (log.f32 u) (/.f32 -1/4 u)) (/.f32 1/192 (pow.f32 u 3)))))
(-.f32 (log.f32 4) (log.f32 (/.f32 -1 u)))
(-.f32 (log.f32 4) (+.f32 (*.f32 1/4 (/.f32 1 u)) (log.f32 (/.f32 -1 u))))
(-.f32 (-.f32 (log.f32 4) (/.f32 1/4 u)) (log.f32 (/.f32 -1 u)))
(-.f32 (log.f32 4) (+.f32 (log.f32 (/.f32 -1 u)) (/.f32 1/4 u)))
(+.f32 (log.f32 4) (-.f32 (/.f32 -1/4 u) (log.f32 (/.f32 -1 u))))
(-.f32 (log.f32 4) (+.f32 (*.f32 1/32 (/.f32 1 (pow.f32 u 2))) (+.f32 (*.f32 1/4 (/.f32 1 u)) (log.f32 (/.f32 -1 u)))))
(-.f32 (log.f32 4) (+.f32 (/.f32 1/32 (*.f32 u u)) (+.f32 (log.f32 (/.f32 -1 u)) (/.f32 1/4 u))))
(-.f32 (log.f32 4) (+.f32 (log.f32 (/.f32 -1 u)) (+.f32 (/.f32 1/4 u) (/.f32 1/32 (*.f32 u u)))))
(+.f32 (log.f32 4) (+.f32 (-.f32 (/.f32 -1/4 u) (log.f32 (/.f32 -1 u))) (/.f32 -1/32 (*.f32 u u))))
(+.f32 (-.f32 (log.f32 4) (log.f32 (/.f32 -1 u))) (+.f32 (/.f32 -1/32 (*.f32 u u)) (/.f32 -1/4 u)))
(-.f32 (log.f32 4) (+.f32 (*.f32 1/32 (/.f32 1 (pow.f32 u 2))) (+.f32 (*.f32 1/192 (/.f32 1 (pow.f32 u 3))) (+.f32 (*.f32 1/4 (/.f32 1 u)) (log.f32 (/.f32 -1 u))))))
(-.f32 (-.f32 (log.f32 4) (/.f32 1/32 (*.f32 u u))) (+.f32 (/.f32 1/192 (pow.f32 u 3)) (+.f32 (log.f32 (/.f32 -1 u)) (/.f32 1/4 u))))
(-.f32 (log.f32 4) (+.f32 (/.f32 1/32 (*.f32 u u)) (+.f32 (log.f32 (/.f32 -1 u)) (+.f32 (/.f32 1/4 u) (/.f32 1/192 (pow.f32 u 3))))))
(+.f32 (log.f32 4) (-.f32 (-.f32 (/.f32 -1/4 u) (log.f32 (/.f32 -1 u))) (+.f32 (/.f32 1/32 (*.f32 u u)) (/.f32 1/192 (pow.f32 u 3)))))
(+.f32 (log.f32 4) (+.f32 (/.f32 -1/32 (*.f32 u u)) (-.f32 (-.f32 (/.f32 -1/4 u) (log.f32 (/.f32 -1 u))) (/.f32 1/192 (pow.f32 u 3)))))

prune58.0ms (1.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New77380
Fresh101
Picked011
Done000
Total78482
Error
0.1b
Counts
82 → 4
Alt Table
StatusErrorProgram
✓0.2b
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
2.8b
(*.f32 (fma.f32 u (-.f32 -4 (*.f32 u 8)) (*.f32 (pow.f32 u 3) -64/3)) (neg.f32 s))
12.2b
(*.f32 (log.f32 (+.f32 (*.f32 u -4) 1)) (neg.f32 s))
▶2.2b
(+.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) (*.f32 s (*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))))
Compiler

Compiled 1258 to 888 computations (29.4% saved)

localize54.0ms (1.7%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(+.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) (*.f32 s (*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))))
✓0.2b
(*.f32 s (*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3))))
✓0.3b
(*.f32 u 64/3)
✓0.3b
(*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))

series15.0ms (0.5%)

Counts
4 → 72
Calls

18 calls:

TimeVariablePointExpression
3.0ms
u
@0
(+.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) (*.f32 s (*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))))
3.0ms
s
@0
(+.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) (*.f32 s (*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))))
1.0ms
s
@inf
(+.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) (*.f32 s (*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))))
1.0ms
s
@0
(*.f32 s (*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3))))
1.0ms
u
@inf
(*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))

rewrite68.0ms (2.1%)

Algorithm
1×batch-egg-rewrite
Rules
305×log1p-udef_binary32
180×add-sqr-sqrt_binary32
176×pow1_binary32
174×*-un-lft-identity_binary32
172×add-log-exp_binary32
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01762
137456
2483956
Stop Event
1×node limit
Counts
4 → 104
Calls
Call 1
Inputs
(*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))
(*.f32 u 64/3)
(*.f32 s (*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3))))
(+.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) (*.f32 s (*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 u u) 8) (*.f32 64/3 (pow.f32 u 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 (*.f32 u u) 8))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 (*.f32 u u) 8) 1) (*.f32 (*.f32 64/3 (pow.f32 u 3)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (*.f32 (*.f32 u u) 8) 3) (pow.f32 (*.f32 64/3 (pow.f32 u 3)) 3)) (+.f32 (*.f32 64 (pow.f32 u 4)) (-.f32 (*.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64/3 (pow.f32 u 3))) (*.f32 (*.f32 (*.f32 u u) 8) (*.f32 64/3 (pow.f32 u 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (*.f32 64 (pow.f32 u 4)) (*.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64/3 (pow.f32 u 3)))) (-.f32 (*.f32 (*.f32 u u) 8) (*.f32 64/3 (pow.f32 u 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (+.f32 512 (*.f32 262144/27 (pow.f32 u 3))) (*.f32 u u)) (+.f32 64 (-.f32 (*.f32 (*.f32 u u) 4096/9) (*.f32 512/3 u))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (-.f32 64 (*.f32 (*.f32 u u) 4096/9)) (*.f32 u u)) (+.f32 8 (*.f32 -64/3 u)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (*.f32 u u) (+.f32 512 (*.f32 262144/27 (pow.f32 u 3)))) (+.f32 64 (-.f32 (*.f32 (*.f32 u u) 4096/9) (*.f32 512/3 u))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (*.f32 u u) (-.f32 64 (*.f32 (*.f32 u u) 4096/9))) (+.f32 8 (*.f32 -64/3 u)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 u (sqrt.f32 (fma.f32 u 64/3 8))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (*.f32 (pow.f32 u 4) (pow.f32 (fma.f32 u 64/3 8) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (pow.f32 (exp.f32 u) u) (fma.f32 u 64/3 8)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 u 6) (pow.f32 (fma.f32 u 64/3 8) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (fma.f32 u 64/3 8) 3) (pow.f32 u 6)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 u u) 8 (*.f32 64/3 (pow.f32 u 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 8 (*.f32 u u) (*.f32 64/3 (pow.f32 u 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8)))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 u 64/3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 u 64/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 u 64/3)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 u 64/3)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 262144/27 (pow.f32 u 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (*.f32 (*.f32 u u) 4096/9))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 64/3) u))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 u 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 262144/27 (pow.f32 u 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 u 64/3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 u 64/3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 u 64/3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 u 64/3)) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 (*.f32 u u) 8) s) (*.f32 (*.f32 64/3 (pow.f32 u 3)) s))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 8 (*.f32 (*.f32 u u) s)) (*.f32 (*.f32 u 64/3) (*.f32 (*.f32 u u) s)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 u 64/3) (*.f32 (*.f32 u u) s)) (*.f32 8 (*.f32 (*.f32 u u) s)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 s (*.f32 (*.f32 u u) 8)) (*.f32 s (*.f32 64/3 (pow.f32 u 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 (*.f32 u u) s) 8) (*.f32 (*.f32 (*.f32 u u) s) (*.f32 u 64/3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 (*.f32 u u) s) (*.f32 u 64/3)) (*.f32 (*.f32 (*.f32 u u) s) 8))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (*.f32 (*.f32 u u) s) (+.f32 512 (*.f32 262144/27 (pow.f32 u 3)))) (+.f32 64 (-.f32 (*.f32 (*.f32 u u) 4096/9) (*.f32 512/3 u))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (*.f32 (*.f32 u u) s) (-.f32 64 (*.f32 (*.f32 u u) 4096/9))) (+.f32 8 (*.f32 -64/3 u)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (sqrt.f32 s) (*.f32 u (sqrt.f32 (fma.f32 u 64/3 8)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 s) (*.f32 u (*.f32 u (fma.f32 u 64/3 8)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (/.f32 (pow.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 2) (*.f32 s (-.f32 (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 u (*.f32 u (fma.f32 u 64/3 8)))))) (/.f32 (pow.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) 2) (*.f32 s (-.f32 (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 u (*.f32 u (fma.f32 u 64/3 8)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (*.f32 s s)) (*.f32 (cbrt.f32 s) (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) (pow.f32 (cbrt.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 2) (cbrt.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 s) (*.f32 (sqrt.f32 s) (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) (sqrt.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 (pow.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 3) (pow.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) 3)) (/.f32 1 (+.f32 (pow.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 2) (*.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) (-.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (-.f32 (pow.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 2) (pow.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) 2)) (/.f32 1 (*.f32 s (-.f32 (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 u (*.f32 u (fma.f32 u 64/3 8)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) s)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 (+.f32 (pow.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 2) (*.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) (-.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))) (+.f32 (pow.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 3) (pow.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 (*.f32 s (-.f32 (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 u (*.f32 u (fma.f32 u 64/3 8))))) (-.f32 (pow.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 2) (pow.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 3) (pow.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) 3)) (+.f32 (pow.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 2) (*.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) (-.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 3) (pow.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) 3)) (+.f32 (pow.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) 2) (-.f32 (pow.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 2) (*.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (pow.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 2) (pow.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) 2)) (*.f32 s (-.f32 (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 u (*.f32 u (fma.f32 u 64/3 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (+.f32 (pow.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 3) (pow.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) 3))) (neg.f32 (+.f32 (pow.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 2) (*.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) (-.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (-.f32 (pow.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 2) (pow.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) 2))) (neg.f32 (*.f32 s (-.f32 (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 u (*.f32 u (fma.f32 u 64/3 8)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (pow.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) 2) (pow.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 2)) (-.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 s) (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 s (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) s (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 1 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 1 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (cbrt.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 2) (cbrt.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (cbrt.f32 (pow.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)) 2)) (cbrt.f32 (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s))) (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) (sqrt.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 (sqrt.f32 s) (*.f32 u (sqrt.f32 (fma.f32 u 64/3 8)))) (*.f32 (sqrt.f32 s) (*.f32 u (sqrt.f32 (fma.f32 u 64/3 8)))) (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 (*.f32 u u) s) (fma.f32 u 64/3 8) (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 1))))))

simplify57.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
718×distribute-rgt-out_binary32
576×distribute-lft-in_binary32
541×associate-*l*_binary32
379×fma-def_binary32
321×distribute-rgt-in_binary32
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0461173
11421053
2366985
31140983
42925983
54275983
Stop Event
1×node limit
Counts
176 → 135
Calls
Call 1
Inputs
(*.f32 8 (pow.f32 u 2))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(*.f32 64/3 (pow.f32 u 3))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(*.f32 64/3 (pow.f32 u 3))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(*.f32 64/3 u)
(*.f32 64/3 u)
(*.f32 64/3 u)
(*.f32 64/3 u)
(*.f32 64/3 u)
(*.f32 64/3 u)
(*.f32 64/3 u)
(*.f32 64/3 u)
(*.f32 64/3 u)
(*.f32 64/3 u)
(*.f32 64/3 u)
(*.f32 64/3 u)
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2))))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2))))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2))))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 8 (*.f32 s (pow.f32 u 2)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 64/3 (*.f32 s (pow.f32 u 3)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 64/3 (*.f32 s (pow.f32 u 3)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 4 (*.f32 s u))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 4 (*.f32 s u)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 4 (*.f32 s u))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (+.f32 (*.f32 64 (*.f32 s (pow.f32 u 4))) (*.f32 4 (*.f32 s u)))))
(*.f32 64 (*.f32 s (pow.f32 u 4)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4)))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (+.f32 (*.f32 4 (*.f32 s u)) (*.f32 64 (*.f32 s (pow.f32 u 4))))))
(*.f32 64 (*.f32 s (pow.f32 u 4)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4)))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (+.f32 (*.f32 4 (*.f32 s u)) (*.f32 64 (*.f32 s (pow.f32 u 4))))))
Outputs
(*.f32 8 (pow.f32 u 2))
(*.f32 8 (*.f32 u u))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u)))
(*.f32 u (*.f32 u (fma.f32 u 64/3 8)))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u)))
(*.f32 u (*.f32 u (fma.f32 u 64/3 8)))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u)))
(*.f32 u (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 64/3 (pow.f32 u 3))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u)))
(*.f32 u (*.f32 u (fma.f32 u 64/3 8)))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u)))
(*.f32 u (*.f32 u (fma.f32 u 64/3 8)))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u)))
(*.f32 u (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 64/3 (pow.f32 u 3))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u)))
(*.f32 u (*.f32 u (fma.f32 u 64/3 8)))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u)))
(*.f32 u (*.f32 u (fma.f32 u 64/3 8)))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u)))
(*.f32 u (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 64/3 u)
(*.f32 u 64/3)
(*.f32 64/3 u)
(*.f32 u 64/3)
(*.f32 64/3 u)
(*.f32 u 64/3)
(*.f32 64/3 u)
(*.f32 u 64/3)
(*.f32 64/3 u)
(*.f32 u 64/3)
(*.f32 64/3 u)
(*.f32 u 64/3)
(*.f32 64/3 u)
(*.f32 u 64/3)
(*.f32 64/3 u)
(*.f32 u 64/3)
(*.f32 64/3 u)
(*.f32 u 64/3)
(*.f32 64/3 u)
(*.f32 u 64/3)
(*.f32 64/3 u)
(*.f32 u 64/3)
(*.f32 64/3 u)
(*.f32 u 64/3)
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(*.f32 8 (*.f32 s (pow.f32 u 2)))
(*.f32 8 (*.f32 (*.f32 u u) s))
(*.f32 (*.f32 8 (*.f32 u u)) s)
(*.f32 u (*.f32 8 (*.f32 u s)))
(*.f32 8 (*.f32 u (*.f32 u s)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(*.f32 64/3 (*.f32 s (pow.f32 u 3)))
(*.f32 64/3 (*.f32 (pow.f32 u 3) s))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(*.f32 64/3 (*.f32 s (pow.f32 u 3)))
(*.f32 64/3 (*.f32 (pow.f32 u 3) s))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 (fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u))) s)
(*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s))
(*.f32 (*.f32 u s) (*.f32 u (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) s)
(*.f32 u (*.f32 (fma.f32 u 64/3 8) (*.f32 u s)))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 4 (*.f32 u (fma.f32 u 64/3 8))))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 4 (*.f32 u (fma.f32 u 64/3 8))))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 4 (*.f32 u (fma.f32 u 64/3 8))))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 4 (*.f32 u (fma.f32 u 64/3 8))))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 4 (*.f32 u (fma.f32 u 64/3 8))))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 4 (*.f32 u (fma.f32 u 64/3 8))))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 4 (*.f32 u (fma.f32 u 64/3 8))))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 4 (*.f32 u (fma.f32 u 64/3 8))))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 4 (*.f32 u (fma.f32 u 64/3 8))))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 4 (*.f32 u (fma.f32 u 64/3 8))))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 4 (*.f32 u (fma.f32 u 64/3 8))))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 4 (*.f32 u (fma.f32 u 64/3 8))))))
(*.f32 4 (*.f32 s u))
(*.f32 4 (*.f32 u s))
(*.f32 u (*.f32 s 4))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 4 (*.f32 s u)))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 4 (*.f32 u s)))
(fma.f32 4 (*.f32 u s) (*.f32 (*.f32 8 (*.f32 u u)) s))
(*.f32 s (*.f32 u (+.f32 (*.f32 8 u) 4)))
(*.f32 u (*.f32 s (+.f32 4 (*.f32 8 u))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 4 (*.f32 s u))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (fma.f32 64/3 (*.f32 (pow.f32 u 3) s) (*.f32 4 (*.f32 u s))))
(*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (*.f32 u 4)))
(*.f32 s (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4)))
(*.f32 u (*.f32 (+.f32 4 (*.f32 u (fma.f32 u 64/3 8))) s))
(*.f32 u (*.f32 s (+.f32 4 (*.f32 u (fma.f32 u 64/3 8)))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (+.f32 (*.f32 64 (*.f32 s (pow.f32 u 4))) (*.f32 4 (*.f32 s u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 4 (*.f32 u (fma.f32 u 64/3 8))))))
(*.f32 64 (*.f32 s (pow.f32 u 4)))
(*.f32 s (*.f32 64 (pow.f32 u 4)))
(*.f32 (pow.f32 u 4) (*.f32 s 64))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4))))
(fma.f32 64/3 (*.f32 (pow.f32 u 3) s) (*.f32 64 (*.f32 s (pow.f32 u 4))))
(fma.f32 64/3 (*.f32 (pow.f32 u 3) s) (*.f32 s (*.f32 64 (pow.f32 u 4))))
(*.f32 s (fma.f32 64/3 (pow.f32 u 3) (*.f32 64 (pow.f32 u 4))))
(*.f32 s (*.f32 (pow.f32 u 3) (+.f32 (*.f32 u 64) 64/3)))
(*.f32 (pow.f32 u 3) (*.f32 s (+.f32 64/3 (*.f32 u 64))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4)))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (fma.f32 64/3 (*.f32 (pow.f32 u 3) s) (*.f32 64 (*.f32 s (pow.f32 u 4)))))
(+.f32 (*.f32 s (*.f32 64 (pow.f32 u 4))) (*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s)))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (*.f32 u (fma.f32 u 64/3 8)))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (+.f32 (*.f32 4 (*.f32 s u)) (*.f32 64 (*.f32 s (pow.f32 u 4))))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 4 (*.f32 u (fma.f32 u 64/3 8))))))
(*.f32 64 (*.f32 s (pow.f32 u 4)))
(*.f32 s (*.f32 64 (pow.f32 u 4)))
(*.f32 (pow.f32 u 4) (*.f32 s 64))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4))))
(fma.f32 64/3 (*.f32 (pow.f32 u 3) s) (*.f32 64 (*.f32 s (pow.f32 u 4))))
(fma.f32 64/3 (*.f32 (pow.f32 u 3) s) (*.f32 s (*.f32 64 (pow.f32 u 4))))
(*.f32 s (fma.f32 64/3 (pow.f32 u 3) (*.f32 64 (pow.f32 u 4))))
(*.f32 s (*.f32 (pow.f32 u 3) (+.f32 (*.f32 u 64) 64/3)))
(*.f32 (pow.f32 u 3) (*.f32 s (+.f32 64/3 (*.f32 u 64))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4)))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (fma.f32 64/3 (*.f32 (pow.f32 u 3) s) (*.f32 64 (*.f32 s (pow.f32 u 4)))))
(+.f32 (*.f32 s (*.f32 64 (pow.f32 u 4))) (*.f32 (*.f32 u u) (*.f32 (fma.f32 u 64/3 8) s)))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (*.f32 u (fma.f32 u 64/3 8)))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (+.f32 (*.f32 4 (*.f32 s u)) (*.f32 64 (*.f32 s (pow.f32 u 4))))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 4 (*.f32 u (fma.f32 u 64/3 8))))))

prune130.0ms (4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1332135
Fresh112
Picked101
Done011
Total1354139
Error
0.0b
Counts
139 → 4
Alt Table
StatusErrorProgram
12.2b
(*.f32 (log.f32 (+.f32 (*.f32 u -4) 1)) (neg.f32 s))
▶2.0b
(fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)))
✓0.2b
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
2.4b
(pow.f32 (sqrt.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 2)
Compiler

Compiled 3728 to 2584 computations (30.7% saved)

localize43.0ms (1.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)))
✓0.2b
(*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)
✓0.2b
(*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s))
✓0.3b
(*.f32 u (fma.f32 u 64/3 8))

series12.0ms (0.4%)

Counts
4 → 84
Calls

21 calls:

TimeVariablePointExpression
2.0ms
s
@inf
(*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)
1.0ms
s
@0
(*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)
1.0ms
s
@0
(*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s))
1.0ms
s
@-inf
(fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)))
1.0ms
u
@-inf
(*.f32 u (fma.f32 u 64/3 8))

rewrite58.0ms (1.8%)

Algorithm
1×batch-egg-rewrite
Rules
365×prod-diff_binary32
254×expm1-udef_binary32
254×log1p-udef_binary32
144×add-sqr-sqrt_binary32
141×pow1_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01561
130861
2349061
Stop Event
1×node limit
Counts
4 → 70
Calls
Call 1
Inputs
(*.f32 u (fma.f32 u 64/3 8))
(*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s))
(*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)
(fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 u 64/3) u) (*.f32 8 u))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 u (*.f32 u 64/3)) (*.f32 u 8))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 u (fma.f32 u 64/3 8)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 u (fma.f32 u 64/3 8)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 u (fma.f32 u 64/3 8)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 u (fma.f32 u 64/3 8))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 u (fma.f32 u 64/3 8))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 u (fma.f32 u 64/3 8)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 (fma.f32 u 64/3 8)) u))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 u (fma.f32 u 64/3 8)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 u (fma.f32 u 64/3 8)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 u 3) (pow.f32 (fma.f32 u 64/3 8) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (fma.f32 u 64/3 8) 3) (pow.f32 u 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 u (fma.f32 u 64/3 8))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 u (fma.f32 u 64/3 8))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 u (fma.f32 u 64/3 8))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 u (fma.f32 u 64/3 8))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (pow.f32 (pow.f32 (exp.f32 (fma.f32 u 64/3 8)) u) s) u))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 u 3) (pow.f32 (*.f32 u (*.f32 (fma.f32 u 64/3 8) s)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 u (*.f32 (fma.f32 u 64/3 8) s)) 3) (pow.f32 u 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 u (*.f32 (fma.f32 u 64/3 8) s)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 u (*.f32 (fma.f32 u 64/3 8) s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 u (*.f32 (fma.f32 u 64/3 8) s)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 u (*.f32 (fma.f32 u 64/3 8) s))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 u (*.f32 (fma.f32 u 64/3 8) s))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 u (*.f32 (fma.f32 u 64/3 8) s)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (pow.f32 (exp.f32 (fma.f32 u 64/3 8)) u) s))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 u (*.f32 (fma.f32 u 64/3 8) s)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 u (*.f32 (fma.f32 u 64/3 8) s)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 u (fma.f32 u 64/3 8)) 3) (pow.f32 s 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 s 3) (pow.f32 (*.f32 u (fma.f32 u 64/3 8)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 u (*.f32 (fma.f32 u 64/3 8) s))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 u (*.f32 (fma.f32 u 64/3 8) s))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 u (*.f32 (fma.f32 u 64/3 8) s))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 u (*.f32 (fma.f32 u 64/3 8) s))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))) (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 1) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))) (pow.f32 (cbrt.f32 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))) 2) (cbrt.f32 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))) (sqrt.f32 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 3) (pow.f32 (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))) 3)) (+.f32 (*.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) (-.f32 (pow.f32 (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))) 2) (*.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (*.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) (pow.f32 (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))) 2)) (-.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))) 1))))))

simplify59.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
1059×fma-def_binary32
581×distribute-rgt-out_binary32
555×associate-*l*_binary32
329×distribute-rgt-in_binary32
290×associate-*r*_binary32
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0551542
11761233
24331165
311211129
435421129
546821129
Stop Event
1×node limit
Counts
154 → 107
Calls
Call 1
Inputs
(*.f32 8 u)
(+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u))
(+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u))
(+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u))
(*.f32 64/3 (pow.f32 u 2))
(+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u))
(+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u))
(+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u))
(*.f32 64/3 (pow.f32 u 2))
(+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u))
(+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u))
(+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u))
(*.f32 8 (*.f32 s (pow.f32 u 2)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 64/3 (*.f32 s (pow.f32 u 3)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 64/3 (*.f32 s (pow.f32 u 3)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2))))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2))))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2))))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(*.f32 8 (*.f32 s u))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 2))) (*.f32 8 (*.f32 s u)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 2))) (*.f32 8 (*.f32 s u)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 2))) (*.f32 8 (*.f32 s u)))
(*.f32 64/3 (*.f32 s (pow.f32 u 2)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 2))) (*.f32 8 (*.f32 s u)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 2))) (*.f32 8 (*.f32 s u)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 2))) (*.f32 8 (*.f32 s u)))
(*.f32 64/3 (*.f32 s (pow.f32 u 2)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 2))) (*.f32 8 (*.f32 s u)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 2))) (*.f32 8 (*.f32 s u)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 2))) (*.f32 8 (*.f32 s u)))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u)))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u)))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u)))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u)))
(*.f32 s (*.f32 u (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 u (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 u (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 u (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 u (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 u (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 u (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (*.f32 u (+.f32 8 (*.f32 64/3 u))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 4 (*.f32 s u))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 4 (*.f32 s u)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 4 (*.f32 s u))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (+.f32 (*.f32 64 (*.f32 s (pow.f32 u 4))) (*.f32 4 (*.f32 s u)))))
(*.f32 64 (*.f32 s (pow.f32 u 4)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4)))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (+.f32 (*.f32 4 (*.f32 s u)) (*.f32 64 (*.f32 s (pow.f32 u 4))))))
(*.f32 64 (*.f32 s (pow.f32 u 4)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4)))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (+.f32 (*.f32 4 (*.f32 s u)) (*.f32 64 (*.f32 s (pow.f32 u 4))))))
Outputs
(*.f32 8 u)
(+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u))
(fma.f32 64/3 (*.f32 u u) (*.f32 8 u))
(*.f32 u (fma.f32 u 64/3 8))
(+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u))
(fma.f32 64/3 (*.f32 u u) (*.f32 8 u))
(*.f32 u (fma.f32 u 64/3 8))
(+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u))
(fma.f32 64/3 (*.f32 u u) (*.f32 8 u))
(*.f32 u (fma.f32 u 64/3 8))
(*.f32 64/3 (pow.f32 u 2))
(*.f32 64/3 (*.f32 u u))
(*.f32 u (*.f32 u 64/3))
(+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u))
(fma.f32 64/3 (*.f32 u u) (*.f32 8 u))
(*.f32 u (fma.f32 u 64/3 8))
(+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u))
(fma.f32 64/3 (*.f32 u u) (*.f32 8 u))
(*.f32 u (fma.f32 u 64/3 8))
(+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u))
(fma.f32 64/3 (*.f32 u u) (*.f32 8 u))
(*.f32 u (fma.f32 u 64/3 8))
(*.f32 64/3 (pow.f32 u 2))
(*.f32 64/3 (*.f32 u u))
(*.f32 u (*.f32 u 64/3))
(+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u))
(fma.f32 64/3 (*.f32 u u) (*.f32 8 u))
(*.f32 u (fma.f32 u 64/3 8))
(+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u))
(fma.f32 64/3 (*.f32 u u) (*.f32 8 u))
(*.f32 u (fma.f32 u 64/3 8))
(+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u))
(fma.f32 64/3 (*.f32 u u) (*.f32 8 u))
(*.f32 u (fma.f32 u 64/3 8))
(*.f32 8 (*.f32 s (pow.f32 u 2)))
(*.f32 8 (*.f32 (*.f32 u u) s))
(*.f32 8 (*.f32 u (*.f32 u s)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(*.f32 64/3 (*.f32 s (pow.f32 u 3)))
(*.f32 (pow.f32 u 3) (*.f32 64/3 s))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(*.f32 64/3 (*.f32 s (pow.f32 u 3)))
(*.f32 (pow.f32 u 3) (*.f32 64/3 s))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(*.f32 s (*.f32 (pow.f32 u 2) (+.f32 8 (*.f32 64/3 u))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 64/3 (*.f32 s (pow.f32 u 3))))
(*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u 64/3 8))))
(*.f32 8 (*.f32 s u))
(*.f32 8 (*.f32 u s))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 2))) (*.f32 8 (*.f32 s u)))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 2))) (*.f32 8 (*.f32 s u)))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 2))) (*.f32 8 (*.f32 s u)))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 64/3 (*.f32 s (pow.f32 u 2)))
(*.f32 (*.f32 64/3 s) (*.f32 u u))
(*.f32 64/3 (*.f32 u (*.f32 u s)))
(*.f32 u (*.f32 u (*.f32 64/3 s)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 2))) (*.f32 8 (*.f32 s u)))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 2))) (*.f32 8 (*.f32 s u)))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 2))) (*.f32 8 (*.f32 s u)))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 64/3 (*.f32 s (pow.f32 u 2)))
(*.f32 (*.f32 64/3 s) (*.f32 u u))
(*.f32 64/3 (*.f32 u (*.f32 u s)))
(*.f32 u (*.f32 u (*.f32 64/3 s)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 2))) (*.f32 8 (*.f32 s u)))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 2))) (*.f32 8 (*.f32 s u)))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 2))) (*.f32 8 (*.f32 s u)))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u)))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u)))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u)))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 2)) (*.f32 8 u)))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 s (*.f32 u (+.f32 8 (*.f32 64/3 u))))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 s (*.f32 u (+.f32 8 (*.f32 64/3 u))))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 s (*.f32 u (+.f32 8 (*.f32 64/3 u))))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 s (*.f32 u (+.f32 8 (*.f32 64/3 u))))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 s (*.f32 u (+.f32 8 (*.f32 64/3 u))))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 s (*.f32 u (+.f32 8 (*.f32 64/3 u))))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 s (*.f32 u (+.f32 8 (*.f32 64/3 u))))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 s (*.f32 u (+.f32 8 (*.f32 64/3 u))))
(fma.f32 64/3 (*.f32 (*.f32 u u) s) (*.f32 8 (*.f32 u s)))
(*.f32 (fma.f32 u 64/3 8) (*.f32 u s))
(*.f32 u (*.f32 s (fma.f32 u 64/3 8)))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 u (fma.f32 u (fma.f32 u 64/3 8) 4) (*.f32 64 (pow.f32 u 4))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 u (fma.f32 u (fma.f32 u 64/3 8) 4) (*.f32 64 (pow.f32 u 4))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 u (fma.f32 u (fma.f32 u 64/3 8) 4) (*.f32 64 (pow.f32 u 4))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 u (fma.f32 u (fma.f32 u 64/3 8) 4) (*.f32 64 (pow.f32 u 4))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 u (fma.f32 u (fma.f32 u 64/3 8) 4) (*.f32 64 (pow.f32 u 4))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 u (fma.f32 u (fma.f32 u 64/3 8) 4) (*.f32 64 (pow.f32 u 4))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 u (fma.f32 u (fma.f32 u 64/3 8) 4) (*.f32 64 (pow.f32 u 4))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 u (fma.f32 u (fma.f32 u 64/3 8) 4) (*.f32 64 (pow.f32 u 4))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 u (fma.f32 u (fma.f32 u 64/3 8) 4) (*.f32 64 (pow.f32 u 4))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 u (fma.f32 u (fma.f32 u 64/3 8) 4) (*.f32 64 (pow.f32 u 4))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 u (fma.f32 u (fma.f32 u 64/3 8) 4) (*.f32 64 (pow.f32 u 4))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 8 (pow.f32 u 2)) (*.f32 4 u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 u (fma.f32 u (fma.f32 u 64/3 8) 4) (*.f32 64 (pow.f32 u 4))))
(*.f32 4 (*.f32 s u))
(*.f32 (*.f32 u s) 4)
(*.f32 u (*.f32 s 4))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (*.f32 4 (*.f32 s u)))
(fma.f32 8 (*.f32 (*.f32 u u) s) (*.f32 (*.f32 u s) 4))
(fma.f32 8 (*.f32 u (*.f32 u s)) (*.f32 (*.f32 u s) 4))
(*.f32 s (*.f32 u (+.f32 (*.f32 8 u) 4)))
(*.f32 u (*.f32 s (fma.f32 8 u 4)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 4 (*.f32 s u))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (fma.f32 64/3 (*.f32 s (pow.f32 u 3)) (*.f32 (*.f32 u s) 4)))
(*.f32 s (+.f32 (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)) (*.f32 u 4)))
(*.f32 s (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4)))
(*.f32 (*.f32 u s) (fma.f32 u (fma.f32 u 64/3 8) 4))
(*.f32 u (*.f32 s (fma.f32 u (fma.f32 u 64/3 8) 4)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (+.f32 (*.f32 64 (*.f32 s (pow.f32 u 4))) (*.f32 4 (*.f32 s u)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 u (fma.f32 u (fma.f32 u 64/3 8) 4) (*.f32 64 (pow.f32 u 4))))
(*.f32 64 (*.f32 s (pow.f32 u 4)))
(*.f32 s (*.f32 64 (pow.f32 u 4)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4))))
(fma.f32 64/3 (*.f32 s (pow.f32 u 3)) (*.f32 64 (*.f32 s (pow.f32 u 4))))
(fma.f32 64 (*.f32 s (pow.f32 u 4)) (*.f32 (pow.f32 u 3) (*.f32 64/3 s)))
(*.f32 s (fma.f32 64/3 (pow.f32 u 3) (*.f32 64 (pow.f32 u 4))))
(*.f32 s (*.f32 (pow.f32 u 3) (+.f32 64/3 (*.f32 u 64))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4)))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (fma.f32 64/3 (*.f32 s (pow.f32 u 3)) (*.f32 64 (*.f32 s (pow.f32 u 4)))))
(+.f32 (*.f32 s (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 (*.f32 u u) 64 (fma.f32 u 64/3 8))))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u (*.f32 u 64) (fma.f32 u 64/3 8)))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (+.f32 (*.f32 4 (*.f32 s u)) (*.f32 64 (*.f32 s (pow.f32 u 4))))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 u (fma.f32 u (fma.f32 u 64/3 8) 4) (*.f32 64 (pow.f32 u 4))))
(*.f32 64 (*.f32 s (pow.f32 u 4)))
(*.f32 s (*.f32 64 (pow.f32 u 4)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4))))
(fma.f32 64/3 (*.f32 s (pow.f32 u 3)) (*.f32 64 (*.f32 s (pow.f32 u 4))))
(fma.f32 64 (*.f32 s (pow.f32 u 4)) (*.f32 (pow.f32 u 3) (*.f32 64/3 s)))
(*.f32 s (fma.f32 64/3 (pow.f32 u 3) (*.f32 64 (pow.f32 u 4))))
(*.f32 s (*.f32 (pow.f32 u 3) (+.f32 64/3 (*.f32 u 64))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4)))))
(fma.f32 8 (*.f32 (*.f32 u u) s) (fma.f32 64/3 (*.f32 s (pow.f32 u 3)) (*.f32 64 (*.f32 s (pow.f32 u 4)))))
(+.f32 (*.f32 s (*.f32 64 (pow.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 (*.f32 u u) (fma.f32 u 64/3 8))))
(*.f32 (*.f32 u u) (*.f32 s (fma.f32 (*.f32 u u) 64 (fma.f32 u 64/3 8))))
(*.f32 u (*.f32 u (*.f32 s (fma.f32 u (*.f32 u 64) (fma.f32 u 64/3 8)))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (+.f32 (*.f32 4 (*.f32 s u)) (*.f32 64 (*.f32 s (pow.f32 u 4))))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (fma.f32 64/3 (pow.f32 u 3) (fma.f32 8 (*.f32 u u) (*.f32 u 4)))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (+.f32 (*.f32 (*.f32 u u) (fma.f32 u 64/3 8)) (*.f32 u 4))))
(*.f32 s (fma.f32 64 (pow.f32 u 4) (*.f32 u (+.f32 (*.f32 u (fma.f32 u 64/3 8)) 4))))
(*.f32 s (fma.f32 u (fma.f32 u (fma.f32 u 64/3 8) 4) (*.f32 64 (pow.f32 u 4))))

prune94.0ms (2.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1070107
Fresh022
Picked011
Done011
Total1074111
Error
0.0b
Counts
111 → 4
Alt Table
StatusErrorProgram
12.2b
(*.f32 (log.f32 (+.f32 (*.f32 u -4) 1)) (neg.f32 s))
✓2.0b
(fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)))
✓0.2b
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
▶2.4b
(pow.f32 (sqrt.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 2)
Compiler

Compiled 2525 to 1709 computations (32.3% saved)

localize49.0ms (1.5%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(*.f32 u (*.f32 u (fma.f32 u 64/3 8)))
0.3b
(*.f32 u (fma.f32 u 64/3 8))
✓0.4b
(pow.f32 (sqrt.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 2)
✓1.0b
(sqrt.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))

series53.0ms (1.6%)

Counts
3 → 28
Calls

15 calls:

TimeVariablePointExpression
13.0ms
u
@0
(pow.f32 (sqrt.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 2)
10.0ms
s
@0
(pow.f32 (sqrt.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 2)
9.0ms
s
@0
(sqrt.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))
6.0ms
s
@inf
(sqrt.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))
4.0ms
s
@inf
(pow.f32 (sqrt.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 2)

rewrite66.0ms (2%)

Algorithm
1×batch-egg-rewrite
Rules
288×expm1-udef_binary32
288×log1p-udef_binary32
170×add-sqr-sqrt_binary32
165×pow1_binary32
163×*-un-lft-identity_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01863
138163
2436163
Stop Event
1×node limit
Counts
3 → 83
Calls
Call 1
Inputs
(sqrt.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))
(pow.f32 (sqrt.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 2)
(*.f32 u (*.f32 u (fma.f32 u 64/3 8)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) (cbrt.f32 (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))) (cbrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) (sqrt.f32 s))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 s) (sqrt.f32 (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 1/4) (pow.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 2)) (sqrt.f32 (cbrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 1 1/2) (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (pow.f32 (cbrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 2) 1/2) (pow.f32 (cbrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f32 (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 s (*.f32 (fma.f32 u 64/3 8) (*.f32 u u))) (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) (*.f32 s (*.f32 (fma.f32 u 64/3 8) (*.f32 u u))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 s (*.f32 (fma.f32 u 64/3 8) (*.f32 u u))) 1) (*.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) s)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) (pow.f32 (cbrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) (*.f32 (cbrt.f32 (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))) (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 2) (cbrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 2) (*.f32 (cbrt.f32 (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) s))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (*.f32 s s)) (*.f32 (cbrt.f32 s) (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) (*.f32 (sqrt.f32 (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) s))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 s) (*.f32 (sqrt.f32 s) (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 s) (*.f32 (sqrt.f32 (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 1/4) (*.f32 (pow.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 1/4) (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) (pow.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 1/4)) (pow.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 s (pow.f32 (cbrt.f32 (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 2)) (cbrt.f32 (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 s (sqrt.f32 (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) (sqrt.f32 (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) (cbrt.f32 (*.f32 s s))) (cbrt.f32 s))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) (sqrt.f32 s)) (sqrt.f32 s))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) (cbrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))) (cbrt.f32 (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (sqrt.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) (sqrt.f32 s)) (sqrt.f32 (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (*.f32 s (*.f32 (fma.f32 u 64/3 8) (*.f32 u u))) 3) (pow.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 3)) (+.f32 (*.f32 (*.f32 s (*.f32 (fma.f32 u 64/3 8) (*.f32 u u))) (*.f32 s (*.f32 (fma.f32 u 64/3 8) (*.f32 u u)))) (-.f32 (*.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) (*.f32 (*.f32 s (*.f32 (fma.f32 u 64/3 8) (*.f32 u u))) (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (*.f32 (*.f32 s (*.f32 (fma.f32 u 64/3 8) (*.f32 u u))) (*.f32 s (*.f32 (fma.f32 u 64/3 8) (*.f32 u u)))) (*.f32 (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) (-.f32 (*.f32 s (*.f32 (fma.f32 u 64/3 8) (*.f32 u u))) (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (+.f32 (pow.f32 (*.f32 (fma.f32 u 64/3 8) (*.f32 u u)) 3) (pow.f32 (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) 3)) s) (+.f32 (pow.f32 (*.f32 (fma.f32 u 64/3 8) (*.f32 u u)) 2) (*.f32 (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (-.f32 (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 (fma.f32 u 64/3 8) (*.f32 u u))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (-.f32 (pow.f32 (*.f32 (fma.f32 u 64/3 8) (*.f32 u u)) 2) (pow.f32 (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) 2)) s) (-.f32 (*.f32 (fma.f32 u 64/3 8) (*.f32 u u)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 s (+.f32 (pow.f32 (*.f32 (fma.f32 u 64/3 8) (*.f32 u u)) 3) (pow.f32 (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) 3))) (+.f32 (pow.f32 (*.f32 (fma.f32 u 64/3 8) (*.f32 u u)) 2) (*.f32 (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (-.f32 (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 (fma.f32 u 64/3 8) (*.f32 u u))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 s (-.f32 (pow.f32 (*.f32 (fma.f32 u 64/3 8) (*.f32 u u)) 2) (pow.f32 (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) 2))) (-.f32 (*.f32 (fma.f32 u 64/3 8) (*.f32 u u)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) s))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4))))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 s 3) (pow.f32 (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))) 3) (pow.f32 s 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 s (*.f32 (fma.f32 u 64/3 8) (*.f32 u u)) (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 (fma.f32 u 64/3 8) (*.f32 u u)) s (*.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 s (fma.f32 u (*.f32 u (fma.f32 u 64/3 8)) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 u 64/3) (*.f32 u u)) (*.f32 8 (*.f32 u u)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 u u) (*.f32 u 64/3)) (*.f32 8 (*.f32 u u)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 (fma.f32 u 64/3 8) (*.f32 u u)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (fma.f32 u 64/3 8) (*.f32 u u)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 (fma.f32 u 64/3 8) (*.f32 u u))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 u (sqrt.f32 (fma.f32 u 64/3 8))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (fma.f32 u 64/3 8) (*.f32 u u)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 (fma.f32 u 64/3 8) (*.f32 u u)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 u) (*.f32 u (fma.f32 u 64/3 8))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 (fma.f32 u 64/3 8) (*.f32 u u)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 (fma.f32 u 64/3 8) (*.f32 u u)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (fma.f32 u 64/3 8) (*.f32 u u))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (fma.f32 u 64/3 8) (*.f32 u u))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 (fma.f32 u 64/3 8) (*.f32 u u))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 (fma.f32 u 64/3 8) (*.f32 u u))) 1))))))

simplify37.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
782×associate-/l*_binary32
568×associate-*l*_binary32
480×distribute-rgt-out_binary32
341×associate-*r*_binary32
256×distribute-lft-out_binary32
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
045539
1122533
2318488
31026446
43104446
Stop Event
1×node limit
Counts
111 → 104
Calls
Call 1
Inputs
(*.f32 8 (*.f32 (sqrt.f32 s) (pow.f32 u 2)))
(+.f32 (*.f32 8 (*.f32 (sqrt.f32 s) (pow.f32 u 2))) (*.f32 4/3 (*.f32 (sqrt.f32 s) u)))
(+.f32 (*.f32 8 (*.f32 (sqrt.f32 s) (pow.f32 u 2))) (+.f32 (*.f32 7/18 (sqrt.f32 s)) (*.f32 4/3 (*.f32 (sqrt.f32 s) u))))
(+.f32 (*.f32 5/27 (*.f32 (sqrt.f32 s) (/.f32 1 u))) (+.f32 (*.f32 8 (*.f32 (sqrt.f32 s) (pow.f32 u 2))) (+.f32 (*.f32 7/18 (sqrt.f32 s)) (*.f32 4/3 (*.f32 (sqrt.f32 s) u)))))
(*.f32 8 (*.f32 (sqrt.f32 s) (pow.f32 u 2)))
(+.f32 (*.f32 8 (*.f32 (sqrt.f32 s) (pow.f32 u 2))) (*.f32 4/3 (*.f32 (sqrt.f32 s) u)))
(+.f32 (*.f32 8 (*.f32 (sqrt.f32 s) (pow.f32 u 2))) (+.f32 (*.f32 7/18 (sqrt.f32 s)) (*.f32 4/3 (*.f32 (sqrt.f32 s) u))))
(+.f32 (*.f32 5/27 (*.f32 (sqrt.f32 s) (/.f32 1 u))) (+.f32 (*.f32 8 (*.f32 (sqrt.f32 s) (pow.f32 u 2))) (+.f32 (*.f32 7/18 (sqrt.f32 s)) (*.f32 4/3 (*.f32 (sqrt.f32 s) u)))))
(*.f32 64 (*.f32 s (pow.f32 u 4)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4)))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (+.f32 (*.f32 4 (*.f32 s u)) (*.f32 64 (*.f32 s (pow.f32 u 4))))))
(*.f32 64 (*.f32 s (pow.f32 u 4)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4)))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (+.f32 (*.f32 4 (*.f32 s u)) (*.f32 64 (*.f32 s (pow.f32 u 4))))))
(*.f32 8 (pow.f32 u 2))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(*.f32 64/3 (pow.f32 u 3))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(*.f32 64/3 (pow.f32 u 3))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
Outputs
(*.f32 8 (*.f32 (sqrt.f32 s) (pow.f32 u 2)))
(*.f32 8 (*.f32 (sqrt.f32 s) (*.f32 u u)))
(*.f32 (sqrt.f32 s) (*.f32 8 (*.f32 u u)))
(+.f32 (*.f32 8 (*.f32 (sqrt.f32 s) (pow.f32 u 2))) (*.f32 4/3 (*.f32 (sqrt.f32 s) u)))
(fma.f32 8 (*.f32 (sqrt.f32 s) (*.f32 u u)) (*.f32 4/3 (*.f32 (sqrt.f32 s) u)))
(fma.f32 8 (*.f32 (sqrt.f32 s) (*.f32 u u)) (*.f32 (sqrt.f32 s) (*.f32 u 4/3)))
(*.f32 (sqrt.f32 s) (+.f32 (*.f32 8 (*.f32 u u)) (*.f32 u 4/3)))
(*.f32 (*.f32 (sqrt.f32 s) u) (+.f32 (*.f32 8 u) 4/3))
(*.f32 (sqrt.f32 s) (*.f32 u (+.f32 (*.f32 8 u) 4/3)))
(+.f32 (*.f32 8 (*.f32 (sqrt.f32 s) (pow.f32 u 2))) (+.f32 (*.f32 7/18 (sqrt.f32 s)) (*.f32 4/3 (*.f32 (sqrt.f32 s) u))))
(fma.f32 8 (*.f32 (sqrt.f32 s) (*.f32 u u)) (fma.f32 7/18 (sqrt.f32 s) (*.f32 4/3 (*.f32 (sqrt.f32 s) u))))
(fma.f32 8 (*.f32 (sqrt.f32 s) (*.f32 u u)) (fma.f32 (sqrt.f32 s) 7/18 (*.f32 (sqrt.f32 s) (*.f32 u 4/3))))
(fma.f32 8 (*.f32 (sqrt.f32 s) (*.f32 u u)) (*.f32 (sqrt.f32 s) (+.f32 (*.f32 u 4/3) 7/18)))
(*.f32 (sqrt.f32 s) (+.f32 7/18 (*.f32 u (+.f32 (*.f32 8 u) 4/3))))
(+.f32 (*.f32 5/27 (*.f32 (sqrt.f32 s) (/.f32 1 u))) (+.f32 (*.f32 8 (*.f32 (sqrt.f32 s) (pow.f32 u 2))) (+.f32 (*.f32 7/18 (sqrt.f32 s)) (*.f32 4/3 (*.f32 (sqrt.f32 s) u)))))
(fma.f32 5/27 (*.f32 (sqrt.f32 s) (/.f32 1 u)) (fma.f32 8 (*.f32 (sqrt.f32 s) (*.f32 u u)) (fma.f32 7/18 (sqrt.f32 s) (*.f32 4/3 (*.f32 (sqrt.f32 s) u)))))
(fma.f32 5/27 (/.f32 (sqrt.f32 s) u) (fma.f32 8 (*.f32 (sqrt.f32 s) (*.f32 u u)) (fma.f32 (sqrt.f32 s) 7/18 (*.f32 (sqrt.f32 s) (*.f32 u 4/3)))))
(+.f32 (*.f32 (sqrt.f32 s) (+.f32 (*.f32 u 4/3) 7/18)) (*.f32 (sqrt.f32 s) (+.f32 (*.f32 8 (*.f32 u u)) (/.f32 5/27 u))))
(*.f32 (sqrt.f32 s) (+.f32 (+.f32 (*.f32 8 (*.f32 u u)) (/.f32 5/27 u)) (+.f32 7/18 (*.f32 u 4/3))))
(*.f32 (sqrt.f32 s) (+.f32 (+.f32 7/18 (*.f32 8 (*.f32 u u))) (+.f32 (*.f32 u 4/3) (/.f32 5/27 u))))
(*.f32 8 (*.f32 (sqrt.f32 s) (pow.f32 u 2)))
(*.f32 8 (*.f32 (sqrt.f32 s) (*.f32 u u)))
(*.f32 (sqrt.f32 s) (*.f32 8 (*.f32 u u)))
(+.f32 (*.f32 8 (*.f32 (sqrt.f32 s) (pow.f32 u 2))) (*.f32 4/3 (*.f32 (sqrt.f32 s) u)))
(fma.f32 8 (*.f32 (sqrt.f32 s) (*.f32 u u)) (*.f32 4/3 (*.f32 (sqrt.f32 s) u)))
(fma.f32 8 (*.f32 (sqrt.f32 s) (*.f32 u u)) (*.f32 (sqrt.f32 s) (*.f32 u 4/3)))
(*.f32 (sqrt.f32 s) (+.f32 (*.f32 8 (*.f32 u u)) (*.f32 u 4/3)))
(*.f32 (*.f32 (sqrt.f32 s) u) (+.f32 (*.f32 8 u) 4/3))
(*.f32 (sqrt.f32 s) (*.f32 u (+.f32 (*.f32 8 u) 4/3)))
(+.f32 (*.f32 8 (*.f32 (sqrt.f32 s) (pow.f32 u 2))) (+.f32 (*.f32 7/18 (sqrt.f32 s)) (*.f32 4/3 (*.f32 (sqrt.f32 s) u))))
(fma.f32 8 (*.f32 (sqrt.f32 s) (*.f32 u u)) (fma.f32 7/18 (sqrt.f32 s) (*.f32 4/3 (*.f32 (sqrt.f32 s) u))))
(fma.f32 8 (*.f32 (sqrt.f32 s) (*.f32 u u)) (fma.f32 (sqrt.f32 s) 7/18 (*.f32 (sqrt.f32 s) (*.f32 u 4/3))))
(fma.f32 8 (*.f32 (sqrt.f32 s) (*.f32 u u)) (*.f32 (sqrt.f32 s) (+.f32 (*.f32 u 4/3) 7/18)))
(*.f32 (sqrt.f32 s) (+.f32 7/18 (*.f32 u (+.f32 (*.f32 8 u) 4/3))))
(+.f32 (*.f32 5/27 (*.f32 (sqrt.f32 s) (/.f32 1 u))) (+.f32 (*.f32 8 (*.f32 (sqrt.f32 s) (pow.f32 u 2))) (+.f32 (*.f32 7/18 (sqrt.f32 s)) (*.f32 4/3 (*.f32 (sqrt.f32 s) u)))))
(fma.f32 5/27 (*.f32 (sqrt.f32 s) (/.f32 1 u)) (fma.f32 8 (*.f32 (sqrt.f32 s) (*.f32 u u)) (fma.f32 7/18 (sqrt.f32 s) (*.f32 4/3 (*.f32 (sqrt.f32 s) u)))))
(fma.f32 5/27 (/.f32 (sqrt.f32 s) u) (fma.f32 8 (*.f32 (sqrt.f32 s) (*.f32 u u)) (fma.f32 (sqrt.f32 s) 7/18 (*.f32 (sqrt.f32 s) (*.f32 u 4/3)))))
(+.f32 (*.f32 (sqrt.f32 s) (+.f32 (*.f32 u 4/3) 7/18)) (*.f32 (sqrt.f32 s) (+.f32 (*.f32 8 (*.f32 u u)) (/.f32 5/27 u))))
(*.f32 (sqrt.f32 s) (+.f32 (+.f32 (*.f32 8 (*.f32 u u)) (/.f32 5/27 u)) (+.f32 7/18 (*.f32 u 4/3))))
(*.f32 (sqrt.f32 s) (+.f32 (+.f32 7/18 (*.f32 8 (*.f32 u u))) (+.f32 (*.f32 u 4/3) (/.f32 5/27 u))))
(*.f32 64 (*.f32 s (pow.f32 u 4)))
(*.f32 (pow.f32 u 4) (*.f32 s 64))
(*.f32 s (*.f32 64 (pow.f32 u 4)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4))))
(fma.f32 64/3 (*.f32 s (pow.f32 u 3)) (*.f32 64 (*.f32 s (pow.f32 u 4))))
(fma.f32 64 (*.f32 s (pow.f32 u 4)) (*.f32 (pow.f32 u 3) (*.f32 s 64/3)))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))))
(*.f32 s (*.f32 (pow.f32 u 3) (+.f32 (*.f32 u 64) 64/3)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4)))))
(fma.f32 8 (*.f32 s (*.f32 u u)) (fma.f32 64/3 (*.f32 s (pow.f32 u 3)) (*.f32 64 (*.f32 s (pow.f32 u 4)))))
(fma.f32 8 (*.f32 s (*.f32 u u)) (fma.f32 64 (*.f32 s (pow.f32 u 4)) (*.f32 (pow.f32 u 3) (*.f32 s 64/3))))
(fma.f32 s (*.f32 64 (pow.f32 u 4)) (*.f32 s (*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (*.f32 u (*.f32 u (+.f32 8 (*.f32 u 64/3))))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (+.f32 (*.f32 4 (*.f32 s u)) (*.f32 64 (*.f32 s (pow.f32 u 4))))))
(fma.f32 8 (*.f32 s (*.f32 u u)) (fma.f32 64/3 (*.f32 s (pow.f32 u 3)) (fma.f32 4 (*.f32 s u) (*.f32 64 (*.f32 s (pow.f32 u 4))))))
(fma.f32 8 (*.f32 s (*.f32 u u)) (fma.f32 64/3 (*.f32 s (pow.f32 u 3)) (fma.f32 (*.f32 s 64) (pow.f32 u 4) (*.f32 s (*.f32 u 4)))))
(+.f32 (*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (*.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))))
(*.f32 s (+.f32 (+.f32 (*.f32 64 (pow.f32 u 4)) (*.f32 u 4)) (*.f32 u (*.f32 u (+.f32 8 (*.f32 u 64/3))))))
(+.f32 (*.f32 64 (*.f32 s (pow.f32 u 4))) (*.f32 s (*.f32 u (+.f32 4 (*.f32 u (+.f32 8 (*.f32 u 64/3)))))))
(*.f32 64 (*.f32 s (pow.f32 u 4)))
(*.f32 (pow.f32 u 4) (*.f32 s 64))
(*.f32 s (*.f32 64 (pow.f32 u 4)))
(+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4))))
(fma.f32 64/3 (*.f32 s (pow.f32 u 3)) (*.f32 64 (*.f32 s (pow.f32 u 4))))
(fma.f32 64 (*.f32 s (pow.f32 u 4)) (*.f32 (pow.f32 u 3) (*.f32 s 64/3)))
(*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))))
(*.f32 s (*.f32 (pow.f32 u 3) (+.f32 (*.f32 u 64) 64/3)))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (*.f32 64 (*.f32 s (pow.f32 u 4)))))
(fma.f32 8 (*.f32 s (*.f32 u u)) (fma.f32 64/3 (*.f32 s (pow.f32 u 3)) (*.f32 64 (*.f32 s (pow.f32 u 4)))))
(fma.f32 8 (*.f32 s (*.f32 u u)) (fma.f32 64 (*.f32 s (pow.f32 u 4)) (*.f32 (pow.f32 u 3) (*.f32 s 64/3))))
(fma.f32 s (*.f32 64 (pow.f32 u 4)) (*.f32 s (*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))))
(*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (*.f32 u (*.f32 u (+.f32 8 (*.f32 u 64/3))))))
(+.f32 (*.f32 8 (*.f32 s (pow.f32 u 2))) (+.f32 (*.f32 64/3 (*.f32 s (pow.f32 u 3))) (+.f32 (*.f32 4 (*.f32 s u)) (*.f32 64 (*.f32 s (pow.f32 u 4))))))
(fma.f32 8 (*.f32 s (*.f32 u u)) (fma.f32 64/3 (*.f32 s (pow.f32 u 3)) (fma.f32 4 (*.f32 s u) (*.f32 64 (*.f32 s (pow.f32 u 4))))))
(fma.f32 8 (*.f32 s (*.f32 u u)) (fma.f32 64/3 (*.f32 s (pow.f32 u 3)) (fma.f32 (*.f32 s 64) (pow.f32 u 4) (*.f32 s (*.f32 u 4)))))
(+.f32 (*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (*.f32 u 4))) (*.f32 s (*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))))
(*.f32 s (+.f32 (+.f32 (*.f32 64 (pow.f32 u 4)) (*.f32 u 4)) (*.f32 u (*.f32 u (+.f32 8 (*.f32 u 64/3))))))
(+.f32 (*.f32 64 (*.f32 s (pow.f32 u 4))) (*.f32 s (*.f32 u (+.f32 4 (*.f32 u (+.f32 8 (*.f32 u 64/3)))))))
(*.f32 8 (pow.f32 u 2))
(*.f32 8 (*.f32 u u))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u)))
(*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))
(*.f32 u (*.f32 u (+.f32 8 (*.f32 u 64/3))))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u)))
(*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))
(*.f32 u (*.f32 u (+.f32 8 (*.f32 u 64/3))))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u)))
(*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))
(*.f32 u (*.f32 u (+.f32 8 (*.f32 u 64/3))))
(*.f32 64/3 (pow.f32 u 3))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u)))
(*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))
(*.f32 u (*.f32 u (+.f32 8 (*.f32 u 64/3))))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u)))
(*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))
(*.f32 u (*.f32 u (+.f32 8 (*.f32 u 64/3))))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u)))
(*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))
(*.f32 u (*.f32 u (+.f32 8 (*.f32 u 64/3))))
(*.f32 64/3 (pow.f32 u 3))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u)))
(*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))
(*.f32 u (*.f32 u (+.f32 8 (*.f32 u 64/3))))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u)))
(*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))
(*.f32 u (*.f32 u (+.f32 8 (*.f32 u 64/3))))
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 8 (pow.f32 u 2)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 8 (*.f32 u u)))
(*.f32 (*.f32 u u) (+.f32 8 (*.f32 u 64/3)))
(*.f32 u (*.f32 u (+.f32 8 (*.f32 u 64/3))))

prune131.0ms (4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1260126
Fresh011
Picked011
Done022
Total1264130
Error
0.0b
Counts
130 → 4
Alt Table
StatusErrorProgram
12.2b
(*.f32 (log.f32 (+.f32 (*.f32 u -4) 1)) (neg.f32 s))
✓2.0b
(fma.f32 s (fma.f32 4 u (*.f32 64 (pow.f32 u 4))) (*.f32 u (*.f32 (*.f32 u (fma.f32 u 64/3 8)) s)))
✓0.2b
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
✓2.4b
(pow.f32 (sqrt.f32 (*.f32 s (+.f32 (*.f32 u (*.f32 u (fma.f32 u 64/3 8))) (fma.f32 4 u (*.f32 64 (pow.f32 u 4)))))) 2)
Compiler

Compiled 3502 to 2489 computations (28.9% saved)

regimes229.0ms (7.1%)

Accuracy

Total 0.2b remaining (75.5%)

Threshold costs 0.2b (75.5%)

Counts
67 → 1
Compiler

Compiled 1217 to 837 computations (31.2% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0811
11611
22411
33011
43311
53411
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))
Outputs
(*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s))

end75.0ms (2.3%)

Stop Event
1×fuel
Compiler

Compiled 84 to 63 computations (25% saved)

Profiling

Loading profile data...