Details

Time bar (total: 2.4s)

analyze4.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0.1%99.9%0
0.1%0%99.9%1
Compiler

Compiled 33 to 24 computations (27.3% saved)

sample1.5s (61.1%)

Results
1.4s8255×body128valid
0.0ms1×body256valid
Compiler

Compiled 66 to 48 computations (27.3% saved)

preprocess39.0ms (1.6%)

Algorithm
2×egg-herbie
Rules
601×fma-def_binary32
498×fma-neg_binary32
174×cancel-sign-sub-inv_binary32
94×sub-neg_binary32
89×unsub-neg_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01640
14032
210632
322232
454032
5115332
6198732
7232532
8240532
9241632
033
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
1
2
Outputs
0
1
2
Call 2
Inputs
(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
(+.f32 (-.f32 1 uy) (*.f32 uy maxCos))
(+.f32 (-.f32 1 maxCos) (*.f32 maxCos ux))
(+.f32 (-.f32 1 ux) (*.f32 ux uy))
Outputs
(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
(fma.f32 ux maxCos (-.f32 1 ux))
(-.f32 (fma.f32 ux maxCos 1) ux)
(+.f32 (-.f32 1 uy) (*.f32 uy maxCos))
(-.f32 1 (-.f32 uy (*.f32 maxCos uy)))
(fma.f32 maxCos uy (-.f32 1 uy))
(-.f32 (fma.f32 maxCos uy 1) uy)
(+.f32 (-.f32 1 maxCos) (*.f32 maxCos ux))
(+.f32 (-.f32 1 maxCos) (*.f32 ux maxCos))
(fma.f32 ux maxCos (-.f32 1 maxCos))
(-.f32 (fma.f32 ux maxCos 1) maxCos)
(+.f32 (-.f32 1 ux) (*.f32 ux uy))
(fma.f32 ux uy (-.f32 1 ux))
(-.f32 (fma.f32 ux uy 1) ux)
Compiler

Compiled 10 to 7 computations (30% saved)

simplify14.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
199×fma-def_binary32
155×fma-neg_binary32
47×cancel-sign-sub-inv_binary32
34×sub-neg_binary32
26×unsub-neg_binary32
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0710
1158
2358
3728
41678
53618
66188
77658
87978
98028
Stop Event
1×saturated
Counts
1 → 2
Calls
Call 1
Inputs
(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
Outputs
(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
(fma.f32 ux maxCos (-.f32 1 ux))
(-.f32 (fma.f32 ux maxCos 1) ux)

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.0b
Counts
3 → 2
Alt Table
StatusErrorProgram
0.1b
(-.f32 (fma.f32 ux maxCos 1) ux)
▶0.0b
(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
Compiler

Compiled 54 to 36 computations (33.3% saved)

localize16.0ms (0.7%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(*.f32 ux maxCos)
✓0.0b
(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))

series6.0ms (0.2%)

Counts
2 → 48
Calls

12 calls:

TimeVariablePointExpression
1.0ms
ux
@-inf
(*.f32 ux maxCos)
1.0ms
ux
@inf
(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
1.0ms
ux
@0
(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
1.0ms
maxCos
@0
(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
0.0ms
maxCos
@inf
(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))

rewrite43.0ms (1.8%)

Algorithm
1×batch-egg-rewrite
Rules
836×log1p-expm1-u_binary32
836×expm1-log1p-u_binary32
81×add-sqr-sqrt_binary32
79×*-un-lft-identity_binary32
79×pow1_binary32
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0714
115412
2220812
Stop Event
1×node limit
Counts
2 → 54
Calls
Call 1
Inputs
(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
(*.f32 ux maxCos)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 1 (-.f32 ux (*.f32 ux maxCos)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (/.f32 (pow.f32 (-.f32 1 ux) 2) (-.f32 1 (+.f32 ux (*.f32 ux maxCos)))) (/.f32 (pow.f32 (*.f32 ux maxCos) 2) (-.f32 1 (+.f32 ux (*.f32 ux maxCos)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 (*.f32 ux maxCos) 1) ux)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (fma.f32 ux maxCos (-.f32 1 ux)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) (pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2) (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 (pow.f32 (-.f32 1 ux) 3) (pow.f32 (*.f32 ux maxCos) 3)) (/.f32 1 (+.f32 (pow.f32 (-.f32 1 ux) 2) (*.f32 (*.f32 ux maxCos) (-.f32 (*.f32 ux maxCos) (-.f32 1 ux))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (-.f32 (pow.f32 (-.f32 1 ux) 2) (pow.f32 (*.f32 ux maxCos) 2)) (/.f32 1 (-.f32 1 (+.f32 ux (*.f32 ux maxCos)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 (+.f32 (pow.f32 (-.f32 1 ux) 2) (*.f32 (*.f32 ux maxCos) (-.f32 (*.f32 ux maxCos) (-.f32 1 ux)))) (+.f32 (pow.f32 (-.f32 1 ux) 3) (pow.f32 (*.f32 ux maxCos) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 (-.f32 1 (+.f32 ux (*.f32 ux maxCos))) (-.f32 (pow.f32 (-.f32 1 ux) 2) (pow.f32 (*.f32 ux maxCos) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (-.f32 1 ux) 3) (pow.f32 (*.f32 ux maxCos) 3)) (+.f32 (pow.f32 (-.f32 1 ux) 2) (*.f32 (*.f32 ux maxCos) (-.f32 (*.f32 ux maxCos) (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (-.f32 1 ux) 3) (pow.f32 (*.f32 ux maxCos) 3)) (+.f32 (pow.f32 (*.f32 ux maxCos) 2) (-.f32 (pow.f32 (-.f32 1 ux) 2) (*.f32 (*.f32 (-.f32 1 ux) ux) maxCos))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (pow.f32 (-.f32 1 ux) 2) (pow.f32 (*.f32 ux maxCos) 2)) (-.f32 1 (+.f32 ux (*.f32 ux maxCos))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (+.f32 (pow.f32 (-.f32 1 ux) 3) (pow.f32 (*.f32 ux maxCos) 3))) (neg.f32 (+.f32 (pow.f32 (-.f32 1 ux) 2) (*.f32 (*.f32 ux maxCos) (-.f32 (*.f32 ux maxCos) (-.f32 1 ux))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (-.f32 (pow.f32 (-.f32 1 ux) 2) (pow.f32 (*.f32 ux maxCos) 2))) (neg.f32 (-.f32 1 (+.f32 ux (*.f32 ux maxCos)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 1 (pow.f32 (-.f32 ux (*.f32 ux maxCos)) 3)) (+.f32 1 (+.f32 (*.f32 (-.f32 ux (*.f32 ux maxCos)) (-.f32 ux (*.f32 ux maxCos))) (-.f32 ux (*.f32 ux maxCos)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 1 (*.f32 (-.f32 ux (*.f32 ux maxCos)) (-.f32 ux (*.f32 ux maxCos)))) (+.f32 1 (-.f32 ux (*.f32 ux maxCos))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (pow.f32 (*.f32 ux maxCos) 2) (pow.f32 (-.f32 1 ux) 2)) (-.f32 (*.f32 ux maxCos) (-.f32 1 ux)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 1 (-.f32 1 ux) (*.f32 ux maxCos))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 1 (*.f32 ux maxCos) (-.f32 1 ux))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 ux maxCos (-.f32 1 ux))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 maxCos ux (-.f32 1 ux))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (cbrt.f32 (*.f32 ux maxCos)) 2) (cbrt.f32 (*.f32 ux maxCos)) (-.f32 1 ux))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (cbrt.f32 (-.f32 1 ux)) 2) (cbrt.f32 (-.f32 1 ux)) (*.f32 ux maxCos))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 (*.f32 ux maxCos)) (sqrt.f32 (*.f32 ux maxCos)) (-.f32 1 ux))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 (-.f32 1 ux)) (sqrt.f32 (-.f32 1 ux)) (*.f32 ux maxCos))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 ux maxCos))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 ux maxCos) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 ux maxCos)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 ux maxCos)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 ux maxCos) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 ux maxCos) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 ux) maxCos))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 ux maxCos))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 ux maxCos) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 ux maxCos)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 ux maxCos)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 ux maxCos)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 ux maxCos)))))))

simplify24.0ms (1%)

Algorithm
1×egg-herbie
Rules
157×fma-def_binary32
149×fma-neg_binary32
26×associate--r+_binary32
26×sub-neg_binary32
24×distribute-rgt-in_binary32
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
014303
133267
270267
3145267
4280267
5476267
6646267
7726267
8737267
Stop Event
1×saturated
Counts
102 → 62
Calls
Call 1
Inputs
1
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(*.f32 ux (-.f32 maxCos 1))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(*.f32 -1 (*.f32 (-.f32 1 maxCos) ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 1 ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(*.f32 maxCos ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(*.f32 maxCos ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
Outputs
1
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(*.f32 ux (-.f32 maxCos 1))
(*.f32 ux (+.f32 maxCos -1))
(-.f32 (*.f32 maxCos ux) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(*.f32 -1 (*.f32 (-.f32 1 maxCos) ux))
(*.f32 ux (+.f32 maxCos -1))
(-.f32 (*.f32 maxCos ux) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 1 ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(*.f32 maxCos ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(*.f32 maxCos ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)

prune43.0ms (1.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New59362
Fresh101
Picked101
Done000
Total61364
Error
0b
Counts
64 → 3
Alt Table
StatusErrorProgram
0.5b
(pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 3)
▶0.0b
(fma.f32 ux (+.f32 maxCos -1) 1)
0.4b
(pow.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2)
Compiler

Compiled 841 to 490 computations (41.7% saved)

localize13.0ms (0.5%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f32 ux (+.f32 maxCos -1) 1)

series3.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
1.0ms
ux
@0
(fma.f32 ux (+.f32 maxCos -1) 1)
1.0ms
ux
@-inf
(fma.f32 ux (+.f32 maxCos -1) 1)
0.0ms
maxCos
@inf
(fma.f32 ux (+.f32 maxCos -1) 1)
0.0ms
maxCos
@-inf
(fma.f32 ux (+.f32 maxCos -1) 1)
0.0ms
maxCos
@0
(fma.f32 ux (+.f32 maxCos -1) 1)

rewrite32.0ms (1.3%)

Algorithm
1×batch-egg-rewrite
Rules
681×pow1_binary32
630×add-log-exp_binary32
629×log1p-expm1-u_binary32
629×expm1-log1p-u_binary32
69×add-sqr-sqrt_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
11388
216298
Stop Event
1×node limit
Counts
1 → 22
Calls
Call 1
Inputs
(fma.f32 ux (+.f32 maxCos -1) 1)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f32 1 (*.f32 ux (+.f32 maxCos -1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 ux (+.f32 maxCos -1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 ux (+.f32 maxCos -1)) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (fma.f32 ux (+.f32 maxCos -1) 1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (fma.f32 ux (+.f32 maxCos -1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (fma.f32 ux (+.f32 maxCos -1) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (fma.f32 ux (+.f32 maxCos -1) 1)) (pow.f32 (cbrt.f32 (fma.f32 ux (+.f32 maxCos -1) 1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (fma.f32 ux (+.f32 maxCos -1) 1)) 2) (cbrt.f32 (fma.f32 ux (+.f32 maxCos -1) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (fma.f32 ux (+.f32 maxCos -1) 1)) (sqrt.f32 (fma.f32 ux (+.f32 maxCos -1) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (*.f32 ux (+.f32 maxCos -1)) 3) 1) (+.f32 (*.f32 (*.f32 ux (+.f32 maxCos -1)) (*.f32 ux (+.f32 maxCos -1))) (-.f32 1 (*.f32 (*.f32 ux (+.f32 maxCos -1)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (*.f32 (*.f32 ux (+.f32 maxCos -1)) (*.f32 ux (+.f32 maxCos -1))) 1) (-.f32 (*.f32 ux (+.f32 maxCos -1)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (fma.f32 ux (+.f32 maxCos -1) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (fma.f32 ux (+.f32 maxCos -1) 1) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (fma.f32 ux (+.f32 maxCos -1) 1)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (fma.f32 ux (+.f32 maxCos -1) 1)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (fma.f32 ux (+.f32 maxCos -1) 1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (fma.f32 ux (+.f32 maxCos -1) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (fma.f32 ux (+.f32 maxCos -1) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (fma.f32 ux (+.f32 maxCos -1) 1) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (fma.f32 ux (+.f32 maxCos -1) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (fma.f32 ux (+.f32 maxCos -1) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (fma.f32 ux (+.f32 maxCos -1) 1)))))))

simplify19.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
157×fma-def_binary32
149×fma-neg_binary32
26×associate--r+_binary32
26×sub-neg_binary32
24×distribute-rgt-in_binary32
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
014207
133171
270171
3145171
4280171
5476171
6646171
7726171
8737171
Stop Event
1×saturated
Counts
46 → 30
Calls
Call 1
Inputs
1
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(*.f32 ux (-.f32 maxCos 1))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(*.f32 -1 (*.f32 (-.f32 1 maxCos) ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 1 ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(*.f32 maxCos ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(*.f32 maxCos ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
Outputs
1
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(*.f32 ux (-.f32 maxCos 1))
(*.f32 ux (+.f32 maxCos -1))
(-.f32 (*.f32 maxCos ux) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(*.f32 -1 (*.f32 (-.f32 1 maxCos) ux))
(*.f32 ux (+.f32 maxCos -1))
(-.f32 (*.f32 maxCos ux) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 1 ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(*.f32 maxCos ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(*.f32 maxCos ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 ux (+.f32 maxCos -1) 1)

prune18.0ms (0.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New30030
Fresh022
Picked011
Done000
Total30333
Error
0b
Counts
33 → 3
Alt Table
StatusErrorProgram
0.5b
(pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 3)
✓0.0b
(fma.f32 ux (+.f32 maxCos -1) 1)
▶0.4b
(pow.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2)
Compiler

Compiled 343 to 252 computations (26.5% saved)

localize21.0ms (0.9%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f32 ux maxCos (-.f32 1 ux))
✓0.1b
(sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))
✓0.4b
(pow.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2)

series55.0ms (2.3%)

Counts
3 → 40
Calls

18 calls:

TimeVariablePointExpression
23.0ms
ux
@0
(pow.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2)
7.0ms
ux
@inf
(pow.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2)
6.0ms
maxCos
@0
(pow.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2)
5.0ms
ux
@-inf
(pow.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2)
3.0ms
maxCos
@inf
(pow.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2)

rewrite44.0ms (1.8%)

Algorithm
1×batch-egg-rewrite
Rules
764×pow1_binary32
710×log1p-expm1-u_binary32
710×expm1-log1p-u_binary32
82×add-sqr-sqrt_binary32
77×*-un-lft-identity_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0926
118826
2194526
Stop Event
1×node limit
Counts
3 → 79
Calls
Call 1
Inputs
(pow.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2)
(sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))
(fma.f32 ux maxCos (-.f32 1 ux))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (-.f32 1 ux) (*.f32 ux maxCos))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 ux maxCos) (-.f32 1 ux))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 ux maxCos) 1) (-.f32 1 ux))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (+.f32 (*.f32 ux maxCos) 1) (neg.f32 ux))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 (*.f32 ux maxCos) 1) ux)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (fma.f32 ux maxCos (-.f32 1 ux)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) (pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) (*.f32 (cbrt.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2) (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/4) (*.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/4) (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/4)) (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) (cbrt.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (*.f32 ux maxCos) 3) (pow.f32 (-.f32 1 ux) 3)) (+.f32 (*.f32 (*.f32 ux maxCos) (*.f32 ux maxCos)) (-.f32 (pow.f32 (-.f32 1 ux) 2) (*.f32 (*.f32 ux maxCos) (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (*.f32 (*.f32 ux maxCos) (*.f32 ux maxCos)) (pow.f32 (-.f32 1 ux) 2)) (-.f32 (*.f32 ux maxCos) (-.f32 1 ux)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 ux maxCos (-.f32 1 ux))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) (cbrt.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/4) (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2)) (sqrt.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 1 1/2) (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2) 1/2) (pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (-.f32 1 ux) (*.f32 ux maxCos))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 ux maxCos) (-.f32 1 ux))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 ux maxCos) 1) (-.f32 1 ux))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (+.f32 (*.f32 ux maxCos) 1) (neg.f32 ux))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 (*.f32 ux maxCos) 1) ux)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (fma.f32 ux maxCos (-.f32 1 ux)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) (pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) (*.f32 (cbrt.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2) (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/4) (*.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/4) (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/4)) (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) (cbrt.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (*.f32 ux maxCos) 3) (pow.f32 (-.f32 1 ux) 3)) (+.f32 (*.f32 (*.f32 ux maxCos) (*.f32 ux maxCos)) (-.f32 (pow.f32 (-.f32 1 ux) 2) (*.f32 (*.f32 ux maxCos) (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (*.f32 (*.f32 ux maxCos) (*.f32 ux maxCos)) (pow.f32 (-.f32 1 ux) 2)) (-.f32 (*.f32 ux maxCos) (-.f32 1 ux)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))))

simplify37.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
517×fma-def_binary32
422×sub-neg_binary32
410×associate-*l*_binary32
362×associate-*r*_binary32
269×unswap-sqr_binary32
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
075587
1244532
2848509
34359503
Stop Event
1×node limit
Counts
119 → 75
Calls
Call 1
Inputs
1
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 1 ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
1
(-.f32 (+.f32 1 (*.f32 1/2 (*.f32 maxCos ux))) (*.f32 1/2 ux))
(-.f32 (+.f32 (*.f32 1/4 (*.f32 maxCos (pow.f32 ux 2))) (+.f32 1 (*.f32 1/2 (*.f32 maxCos ux)))) (+.f32 (*.f32 1/8 (pow.f32 ux 2)) (+.f32 (*.f32 1/8 (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 2))) (*.f32 1/2 ux))))
(-.f32 (+.f32 1 (+.f32 (*.f32 1/16 (*.f32 (pow.f32 maxCos 3) (pow.f32 ux 3))) (+.f32 (*.f32 1/4 (*.f32 maxCos (pow.f32 ux 2))) (+.f32 (*.f32 3/16 (*.f32 maxCos (pow.f32 ux 3))) (*.f32 1/2 (*.f32 maxCos ux)))))) (+.f32 (*.f32 1/2 ux) (+.f32 (*.f32 1/8 (pow.f32 ux 2)) (+.f32 (*.f32 3/16 (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 3))) (+.f32 (*.f32 1/8 (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 2))) (*.f32 1/16 (pow.f32 ux 3)))))))
(sqrt.f32 (-.f32 1 ux))
(+.f32 (*.f32 1/2 (*.f32 (sqrt.f32 (/.f32 1 (-.f32 1 ux))) (*.f32 maxCos ux))) (sqrt.f32 (-.f32 1 ux)))
(-.f32 (+.f32 (*.f32 1/2 (*.f32 (sqrt.f32 (/.f32 1 (-.f32 1 ux))) (*.f32 maxCos ux))) (sqrt.f32 (-.f32 1 ux))) (*.f32 1/8 (*.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 3))) (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)))))
(-.f32 (+.f32 (*.f32 1/2 (*.f32 (sqrt.f32 (/.f32 1 (-.f32 1 ux))) (*.f32 maxCos ux))) (+.f32 (*.f32 1/16 (*.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 5))) (*.f32 (pow.f32 maxCos 3) (pow.f32 ux 3)))) (sqrt.f32 (-.f32 1 ux)))) (*.f32 1/8 (*.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 3))) (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)))))
1
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(*.f32 ux (-.f32 maxCos 1))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(*.f32 -1 (*.f32 (-.f32 1 maxCos) ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 1 ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(*.f32 maxCos ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(*.f32 maxCos ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
Outputs
1
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 1 ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
1
(-.f32 (+.f32 1 (*.f32 1/2 (*.f32 maxCos ux))) (*.f32 1/2 ux))
(+.f32 1 (-.f32 (*.f32 (*.f32 maxCos ux) 1/2) (*.f32 ux 1/2)))
(+.f32 1 (*.f32 ux (-.f32 (*.f32 maxCos 1/2) 1/2)))
(fma.f32 ux (fma.f32 maxCos 1/2 -1/2) 1)
(-.f32 (+.f32 (*.f32 1/4 (*.f32 maxCos (pow.f32 ux 2))) (+.f32 1 (*.f32 1/2 (*.f32 maxCos ux)))) (+.f32 (*.f32 1/8 (pow.f32 ux 2)) (+.f32 (*.f32 1/8 (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 2))) (*.f32 1/2 ux))))
(-.f32 (fma.f32 1/4 (*.f32 maxCos (*.f32 ux ux)) (+.f32 1 (*.f32 (*.f32 maxCos ux) 1/2))) (fma.f32 1/8 (*.f32 ux ux) (fma.f32 1/8 (*.f32 (*.f32 ux ux) (*.f32 maxCos maxCos)) (*.f32 ux 1/2))))
(-.f32 (fma.f32 1/4 (*.f32 maxCos (*.f32 ux ux)) (fma.f32 (*.f32 maxCos 1/2) ux 1)) (+.f32 (*.f32 ux 1/2) (*.f32 (*.f32 ux ux) (+.f32 1/8 (*.f32 1/8 (*.f32 maxCos maxCos))))))
(fma.f32 maxCos (*.f32 (*.f32 1/4 ux) ux) (-.f32 (fma.f32 ux (fma.f32 maxCos 1/2 -1/2) 1) (*.f32 (+.f32 (*.f32 maxCos maxCos) 1) (*.f32 ux (*.f32 ux 1/8)))))
(-.f32 (+.f32 1 (+.f32 (*.f32 1/16 (*.f32 (pow.f32 maxCos 3) (pow.f32 ux 3))) (+.f32 (*.f32 1/4 (*.f32 maxCos (pow.f32 ux 2))) (+.f32 (*.f32 3/16 (*.f32 maxCos (pow.f32 ux 3))) (*.f32 1/2 (*.f32 maxCos ux)))))) (+.f32 (*.f32 1/2 ux) (+.f32 (*.f32 1/8 (pow.f32 ux 2)) (+.f32 (*.f32 3/16 (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 3))) (+.f32 (*.f32 1/8 (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 2))) (*.f32 1/16 (pow.f32 ux 3)))))))
(+.f32 1 (-.f32 (fma.f32 1/16 (*.f32 (pow.f32 maxCos 3) (pow.f32 ux 3)) (fma.f32 1/4 (*.f32 maxCos (*.f32 ux ux)) (fma.f32 3/16 (*.f32 maxCos (pow.f32 ux 3)) (*.f32 (*.f32 maxCos ux) 1/2)))) (fma.f32 1/2 ux (fma.f32 1/8 (*.f32 ux ux) (fma.f32 3/16 (*.f32 (*.f32 maxCos maxCos) (pow.f32 ux 3)) (fma.f32 1/8 (*.f32 (*.f32 ux ux) (*.f32 maxCos maxCos)) (*.f32 1/16 (pow.f32 ux 3))))))))
(+.f32 1 (-.f32 (fma.f32 1/16 (*.f32 (pow.f32 maxCos 3) (pow.f32 ux 3)) (fma.f32 1/4 (*.f32 maxCos (*.f32 ux ux)) (fma.f32 (*.f32 maxCos ux) 1/2 (*.f32 (pow.f32 ux 3) (*.f32 maxCos 3/16))))) (fma.f32 ux 1/2 (fma.f32 (*.f32 ux ux) 1/8 (fma.f32 3/16 (*.f32 maxCos (*.f32 maxCos (pow.f32 ux 3))) (fma.f32 1/8 (*.f32 (*.f32 maxCos ux) (*.f32 maxCos ux)) (*.f32 1/16 (pow.f32 ux 3))))))))
(-.f32 (+.f32 (fma.f32 1/16 (*.f32 (pow.f32 maxCos 3) (pow.f32 ux 3)) (*.f32 maxCos (+.f32 (*.f32 (pow.f32 ux 3) 3/16) (*.f32 (*.f32 1/4 ux) ux)))) (fma.f32 ux (fma.f32 maxCos 1/2 -1/2) 1)) (+.f32 (*.f32 (+.f32 (*.f32 maxCos maxCos) 1) (*.f32 ux (*.f32 ux 1/8))) (*.f32 (pow.f32 ux 3) (+.f32 (*.f32 maxCos (*.f32 maxCos 3/16)) 1/16))))
(-.f32 (+.f32 (fma.f32 1/16 (pow.f32 (*.f32 maxCos ux) 3) (*.f32 maxCos (+.f32 (*.f32 (pow.f32 ux 3) 3/16) (*.f32 (*.f32 1/4 ux) ux)))) (fma.f32 ux (fma.f32 maxCos 1/2 -1/2) 1)) (+.f32 (*.f32 (+.f32 (*.f32 maxCos maxCos) 1) (*.f32 ux (*.f32 ux 1/8))) (*.f32 (pow.f32 ux 3) (+.f32 (*.f32 maxCos (*.f32 maxCos 3/16)) 1/16))))
(sqrt.f32 (-.f32 1 ux))
(+.f32 (*.f32 1/2 (*.f32 (sqrt.f32 (/.f32 1 (-.f32 1 ux))) (*.f32 maxCos ux))) (sqrt.f32 (-.f32 1 ux)))
(fma.f32 1/2 (*.f32 (*.f32 maxCos ux) (sqrt.f32 (/.f32 1 (-.f32 1 ux)))) (sqrt.f32 (-.f32 1 ux)))
(fma.f32 (*.f32 maxCos ux) (*.f32 1/2 (sqrt.f32 (/.f32 1 (-.f32 1 ux)))) (sqrt.f32 (-.f32 1 ux)))
(-.f32 (+.f32 (*.f32 1/2 (*.f32 (sqrt.f32 (/.f32 1 (-.f32 1 ux))) (*.f32 maxCos ux))) (sqrt.f32 (-.f32 1 ux))) (*.f32 1/8 (*.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 3))) (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)))))
(+.f32 (fma.f32 1/2 (*.f32 (*.f32 maxCos ux) (sqrt.f32 (/.f32 1 (-.f32 1 ux)))) (sqrt.f32 (-.f32 1 ux))) (*.f32 -1/8 (*.f32 (*.f32 (*.f32 ux ux) (*.f32 maxCos maxCos)) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 3))))))
(+.f32 (fma.f32 1/2 (*.f32 (*.f32 maxCos ux) (sqrt.f32 (/.f32 1 (-.f32 1 ux)))) (sqrt.f32 (-.f32 1 ux))) (*.f32 (*.f32 (*.f32 ux ux) (*.f32 (*.f32 maxCos maxCos) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 3))))) -1/8))
(fma.f32 (*.f32 maxCos (*.f32 (*.f32 maxCos (*.f32 ux ux)) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 3))))) -1/8 (fma.f32 (*.f32 maxCos ux) (*.f32 1/2 (sqrt.f32 (/.f32 1 (-.f32 1 ux)))) (sqrt.f32 (-.f32 1 ux))))
(-.f32 (+.f32 (*.f32 1/2 (*.f32 (sqrt.f32 (/.f32 1 (-.f32 1 ux))) (*.f32 maxCos ux))) (+.f32 (*.f32 1/16 (*.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 5))) (*.f32 (pow.f32 maxCos 3) (pow.f32 ux 3)))) (sqrt.f32 (-.f32 1 ux)))) (*.f32 1/8 (*.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 3))) (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)))))
(+.f32 (fma.f32 1/2 (*.f32 (*.f32 maxCos ux) (sqrt.f32 (/.f32 1 (-.f32 1 ux)))) (fma.f32 1/16 (*.f32 (*.f32 (pow.f32 maxCos 3) (pow.f32 ux 3)) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 5)))) (sqrt.f32 (-.f32 1 ux)))) (*.f32 -1/8 (*.f32 (*.f32 (*.f32 ux ux) (*.f32 maxCos maxCos)) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 3))))))
(+.f32 (fma.f32 1/2 (*.f32 (*.f32 maxCos ux) (sqrt.f32 (/.f32 1 (-.f32 1 ux)))) (fma.f32 1/16 (*.f32 (pow.f32 maxCos 3) (*.f32 (pow.f32 ux 3) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 5))))) (sqrt.f32 (-.f32 1 ux)))) (*.f32 (*.f32 (*.f32 ux ux) (*.f32 (*.f32 maxCos maxCos) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 3))))) -1/8))
(fma.f32 (*.f32 maxCos (*.f32 (*.f32 maxCos (*.f32 ux ux)) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 3))))) -1/8 (fma.f32 (*.f32 maxCos ux) (*.f32 1/2 (sqrt.f32 (/.f32 1 (-.f32 1 ux)))) (fma.f32 1/16 (*.f32 (pow.f32 ux 3) (*.f32 (pow.f32 maxCos 3) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 5))))) (sqrt.f32 (-.f32 1 ux)))))
(fma.f32 (*.f32 maxCos (*.f32 (*.f32 maxCos (*.f32 ux ux)) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 3))))) -1/8 (fma.f32 (*.f32 maxCos ux) (*.f32 1/2 (sqrt.f32 (/.f32 1 (-.f32 1 ux)))) (fma.f32 1/16 (*.f32 (pow.f32 (*.f32 maxCos ux) 3) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 5)))) (sqrt.f32 (-.f32 1 ux)))))
1
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(*.f32 ux (-.f32 maxCos 1))
(*.f32 ux (+.f32 maxCos -1))
(-.f32 (*.f32 maxCos ux) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(*.f32 -1 (*.f32 (-.f32 1 maxCos) ux))
(*.f32 ux (+.f32 maxCos -1))
(-.f32 (*.f32 maxCos ux) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 1 ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(*.f32 maxCos ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(*.f32 maxCos ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))

prune47.0ms (2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New75075
Fresh011
Picked011
Done011
Total75378
Error
0b
Counts
78 → 3
Alt Table
StatusErrorProgram
▶0.5b
(pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 3)
✓0.0b
(fma.f32 ux (+.f32 maxCos -1) 1)
✓0.4b
(pow.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2)
Compiler

Compiled 1244 to 867 computations (30.3% saved)

localize20.0ms (0.8%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(fma.f32 ux maxCos (-.f32 1 ux))
✓0.0b
(cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))
✓0.5b
(pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 3)

series143.0ms (6%)

Counts
2 → 16
Calls

12 calls:

TimeVariablePointExpression
101.0ms
ux
@0
(pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 3)
35.0ms
maxCos
@0
(pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 3)
1.0ms
ux
@inf
(pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 3)
1.0ms
maxCos
@inf
(pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 3)
1.0ms
maxCos
@0
(cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))

rewrite39.0ms (1.6%)

Algorithm
1×batch-egg-rewrite
Rules
790×pow1_binary32
740×log1p-expm1-u_binary32
740×expm1-log1p-u_binary32
83×add-sqr-sqrt_binary32
78×add-cbrt-cube_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0918
119018
2199918
Stop Event
1×node limit
Counts
2 → 51
Calls
Call 1
Inputs
(pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 3)
(cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (-.f32 1 ux) (*.f32 ux maxCos))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 ux maxCos) (-.f32 1 ux))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 ux maxCos) 1) (-.f32 1 ux))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (+.f32 (*.f32 ux maxCos) 1) (neg.f32 ux))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 (*.f32 ux maxCos) 1) ux)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (fma.f32 ux maxCos (-.f32 1 ux)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) (pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2) (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) 2) (*.f32 (cbrt.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) (pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/6) (*.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/6) (pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) 2) 3) (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/6) 3) (pow.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/6) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2) 1) (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2) (pow.f32 (cbrt.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) 2)) (cbrt.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2) (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/6)) (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (*.f32 ux maxCos) 3) (pow.f32 (-.f32 1 ux) 3)) (+.f32 (*.f32 (*.f32 ux maxCos) (*.f32 ux maxCos)) (-.f32 (pow.f32 (-.f32 1 ux) 2) (*.f32 (*.f32 ux maxCos) (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (*.f32 (*.f32 ux maxCos) (*.f32 ux maxCos)) (pow.f32 (-.f32 1 ux) 2)) (-.f32 (*.f32 ux maxCos) (-.f32 1 ux)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 ux maxCos (-.f32 1 ux))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) (pow.f32 (cbrt.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) (pow.f32 (pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) 2) (cbrt.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/6) (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 1 1/3) (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2) 1/3) (cbrt.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 1/3) (pow.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (fma.f32 ux maxCos (-.f32 1 ux)) 1/6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux)))))))))

simplify39.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
531×fma-def_binary32
520×associate-*l*_binary32
455×associate-*r*_binary32
422×sub-neg_binary32
203×associate-+l+_binary32
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
075541
1257522
2904499
34863493
Stop Event
1×node limit
Counts
67 → 71
Calls
Call 1
Inputs
1
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 1 ux)
(-.f32 (+.f32 1 (*.f32 (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/9) (*.f32 maxCos ux))) ux)
(-.f32 (+.f32 1 (*.f32 (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/9) (*.f32 maxCos ux))) ux)
(-.f32 (+.f32 1 (*.f32 (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/9) (*.f32 maxCos ux))) ux)
1
(-.f32 (+.f32 1 (*.f32 1/3 (*.f32 maxCos ux))) (*.f32 1/3 ux))
(-.f32 (+.f32 (*.f32 2/9 (*.f32 maxCos (pow.f32 ux 2))) (+.f32 1 (*.f32 1/3 (*.f32 maxCos ux)))) (+.f32 (*.f32 1/9 (pow.f32 ux 2)) (+.f32 (*.f32 1/9 (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 2))) (*.f32 1/3 ux))))
(-.f32 (+.f32 1 (+.f32 (*.f32 5/81 (*.f32 (pow.f32 maxCos 3) (pow.f32 ux 3))) (+.f32 (*.f32 2/9 (*.f32 maxCos (pow.f32 ux 2))) (+.f32 (*.f32 5/27 (*.f32 maxCos (pow.f32 ux 3))) (*.f32 1/3 (*.f32 maxCos ux)))))) (+.f32 (*.f32 1/3 ux) (+.f32 (*.f32 1/9 (pow.f32 ux 2)) (+.f32 (*.f32 5/27 (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 3))) (+.f32 (*.f32 1/9 (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 2))) (*.f32 5/81 (pow.f32 ux 3)))))))
(pow.f32 (-.f32 1 ux) 1/3)
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/9) (*.f32 maxCos ux))) (pow.f32 (-.f32 1 ux) 1/3))
(-.f32 (+.f32 (*.f32 1/3 (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/9) (*.f32 maxCos ux))) (pow.f32 (-.f32 1 ux) 1/3)) (*.f32 1/9 (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 7)) 1/9) (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)))))
(-.f32 (+.f32 (*.f32 1/3 (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/9) (*.f32 maxCos ux))) (+.f32 (*.f32 5/81 (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 4)) 1/3) (*.f32 (pow.f32 maxCos 3) (pow.f32 ux 3)))) (pow.f32 (-.f32 1 ux) 1/3))) (*.f32 1/9 (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 7)) 1/9) (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)))))
Outputs
1
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (fma.f32 maxCos ux 1) ux)
(fma.f32 maxCos ux (-.f32 1 ux))
(-.f32 1 ux)
(-.f32 (+.f32 1 (*.f32 (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/9) (*.f32 maxCos ux))) ux)
(+.f32 1 (-.f32 (*.f32 (*.f32 maxCos ux) (*.f32 (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/18) (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/18))) ux))
(-.f32 (fma.f32 (*.f32 maxCos ux) (*.f32 (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/18) (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/18)) 1) ux)
(-.f32 (fma.f32 (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/18) (*.f32 (*.f32 maxCos ux) (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/18)) 1) ux)
(-.f32 (+.f32 1 (*.f32 (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/9) (*.f32 maxCos ux))) ux)
(+.f32 1 (-.f32 (*.f32 (*.f32 maxCos ux) (*.f32 (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/18) (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/18))) ux))
(-.f32 (fma.f32 (*.f32 maxCos ux) (*.f32 (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/18) (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/18)) 1) ux)
(-.f32 (fma.f32 (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/18) (*.f32 (*.f32 maxCos ux) (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/18)) 1) ux)
(-.f32 (+.f32 1 (*.f32 (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/9) (*.f32 maxCos ux))) ux)
(+.f32 1 (-.f32 (*.f32 (*.f32 maxCos ux) (*.f32 (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/18) (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/18))) ux))
(-.f32 (fma.f32 (*.f32 maxCos ux) (*.f32 (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/18) (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/18)) 1) ux)
(-.f32 (fma.f32 (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/18) (*.f32 (*.f32 maxCos ux) (pow.f32 (pow.f32 (-.f32 1 ux) 4) 1/18)) 1) ux)
1
(-.f32 (+.f32 1 (*.f32 1/3 (*.f32 maxCos ux))) (*.f32 1/3 ux))
(+.f32 1 (-.f32 (*.f32 (*.f32 1/3 maxCos) ux) (*.f32 ux 1/3)))
(+.f32 1 (*.f32 1/3 (-.f32 (*.f32 maxCos ux) ux)))
(fma.f32 ux (fma.f32 maxCos 1/3 -1/3) 1)
(-.f32 (+.f32 (*.f32 2/9 (*.f32 maxCos (pow.f32 ux 2))) (+.f32 1 (*.f32 1/3 (*.f32 maxCos ux)))) (+.f32 (*.f32 1/9 (pow.f32 ux 2)) (+.f32 (*.f32 1/9 (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 2))) (*.f32 1/3 ux))))
(-.f32 (fma.f32 2/9 (*.f32 maxCos (*.f32 ux ux)) (+.f32 1 (*.f32 (*.f32 1/3 maxCos) ux))) (fma.f32 1/9 (*.f32 ux ux) (fma.f32 1/9 (*.f32 (*.f32 ux ux) (*.f32 maxCos maxCos)) (*.f32 ux 1/3))))
(-.f32 (fma.f32 2/9 (*.f32 maxCos (*.f32 ux ux)) (fma.f32 (*.f32 maxCos ux) 1/3 1)) (+.f32 (*.f32 ux 1/3) (*.f32 (*.f32 ux ux) (+.f32 1/9 (*.f32 1/9 (*.f32 maxCos maxCos))))))
(fma.f32 maxCos (*.f32 2/9 (*.f32 ux ux)) (-.f32 (fma.f32 ux (fma.f32 maxCos 1/3 -1/3) 1) (*.f32 (*.f32 ux ux) (*.f32 (+.f32 (*.f32 maxCos maxCos) 1) 1/9))))
(-.f32 (+.f32 1 (+.f32 (*.f32 5/81 (*.f32 (pow.f32 maxCos 3) (pow.f32 ux 3))) (+.f32 (*.f32 2/9 (*.f32 maxCos (pow.f32 ux 2))) (+.f32 (*.f32 5/27 (*.f32 maxCos (pow.f32 ux 3))) (*.f32 1/3 (*.f32 maxCos ux)))))) (+.f32 (*.f32 1/3 ux) (+.f32 (*.f32 1/9 (pow.f32 ux 2)) (+.f32 (*.f32 5/27 (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 3))) (+.f32 (*.f32 1/9 (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 2))) (*.f32 5/81 (pow.f32 ux 3)))))))
(+.f32 1 (-.f32 (fma.f32 5/81 (*.f32 (pow.f32 maxCos 3) (pow.f32 ux 3)) (fma.f32 2/9 (*.f32 maxCos (*.f32 ux ux)) (fma.f32 5/27 (*.f32 maxCos (pow.f32 ux 3)) (*.f32 (*.f32 1/3 maxCos) ux)))) (fma.f32 1/3 ux (fma.f32 1/9 (*.f32 ux ux) (fma.f32 5/27 (*.f32 (*.f32 maxCos maxCos) (pow.f32 ux 3)) (fma.f32 1/9 (*.f32 (*.f32 ux ux) (*.f32 maxCos maxCos)) (*.f32 5/81 (pow.f32 ux 3))))))))
(-.f32 (+.f32 1 (fma.f32 5/81 (*.f32 (pow.f32 maxCos 3) (pow.f32 ux 3)) (fma.f32 2/9 (*.f32 maxCos (*.f32 ux ux)) (fma.f32 (*.f32 maxCos ux) 1/3 (*.f32 (pow.f32 ux 3) (*.f32 maxCos 5/27)))))) (fma.f32 ux 1/3 (fma.f32 1/9 (*.f32 ux ux) (fma.f32 5/27 (*.f32 maxCos (*.f32 maxCos (pow.f32 ux 3))) (fma.f32 1/9 (*.f32 maxCos (*.f32 maxCos (*.f32 ux ux))) (*.f32 5/81 (pow.f32 ux 3)))))))
(-.f32 (+.f32 (fma.f32 5/81 (*.f32 (pow.f32 maxCos 3) (pow.f32 ux 3)) (*.f32 maxCos (+.f32 (*.f32 2/9 (*.f32 ux ux)) (*.f32 (pow.f32 ux 3) 5/27)))) (fma.f32 ux (fma.f32 maxCos 1/3 -1/3) 1)) (+.f32 (*.f32 (*.f32 ux ux) (*.f32 (+.f32 (*.f32 maxCos maxCos) 1) 1/9)) (*.f32 (pow.f32 ux 3) (+.f32 5/81 (*.f32 (*.f32 maxCos maxCos) 5/27)))))
(-.f32 (+.f32 (fma.f32 5/81 (pow.f32 (*.f32 maxCos ux) 3) (*.f32 maxCos (+.f32 (*.f32 2/9 (*.f32 ux ux)) (*.f32 (pow.f32 ux 3) 5/27)))) (fma.f32 ux (fma.f32 maxCos 1/3 -1/3) 1)) (+.f32 (*.f32 (*.f32 ux ux) (*.f32 (+.f32 (*.f32 maxCos maxCos) 1) 1/9)) (*.f32 (pow.f32 ux 3) (+.f32 5/81 (*.f32 (*.f32 maxCos maxCos) 5/27)))))
(pow.f32 (-.f32 1 ux) 1/3)
(cbrt.f32 (-.f32 1 ux))
(+.f32 (*.f32 1/3 (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/9) (*.f32 maxCos ux))) (pow.f32 (-.f32 1 ux) 1/3))
(fma.f32 1/3 (*.f32 (*.f32 maxCos ux) (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/18) (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/18))) (cbrt.f32 (-.f32 1 ux)))
(fma.f32 (*.f32 (*.f32 1/3 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/18)) (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/18)) (*.f32 maxCos ux) (cbrt.f32 (-.f32 1 ux)))
(fma.f32 1/3 (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/18) (*.f32 (*.f32 maxCos ux) (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/18))) (cbrt.f32 (-.f32 1 ux)))
(-.f32 (+.f32 (*.f32 1/3 (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/9) (*.f32 maxCos ux))) (pow.f32 (-.f32 1 ux) 1/3)) (*.f32 1/9 (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 7)) 1/9) (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)))))
(-.f32 (fma.f32 1/3 (*.f32 (*.f32 maxCos ux) (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/18) (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/18))) (cbrt.f32 (-.f32 1 ux))) (*.f32 1/9 (*.f32 (*.f32 (*.f32 ux ux) (*.f32 maxCos maxCos)) (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 7)) 1/18) (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 7)) 1/18)))))
(+.f32 (fma.f32 (*.f32 (*.f32 1/3 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/18)) (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/18)) (*.f32 maxCos ux) (cbrt.f32 (-.f32 1 ux))) (*.f32 (*.f32 (*.f32 ux ux) (*.f32 (*.f32 maxCos maxCos) (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 7)) 1/18) (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 7)) 1/18)))) -1/9))
(fma.f32 (*.f32 (*.f32 ux ux) (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 7)) 1/18) (*.f32 (*.f32 maxCos maxCos) (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 7)) 1/18)))) -1/9 (fma.f32 1/3 (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/18) (*.f32 (*.f32 maxCos ux) (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/18))) (cbrt.f32 (-.f32 1 ux))))
(-.f32 (+.f32 (*.f32 1/3 (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/9) (*.f32 maxCos ux))) (+.f32 (*.f32 5/81 (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 4)) 1/3) (*.f32 (pow.f32 maxCos 3) (pow.f32 ux 3)))) (pow.f32 (-.f32 1 ux) 1/3))) (*.f32 1/9 (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 7)) 1/9) (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)))))
(+.f32 (fma.f32 1/3 (*.f32 (*.f32 maxCos ux) (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/18) (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/18))) (fma.f32 5/81 (*.f32 (*.f32 (pow.f32 maxCos 3) (pow.f32 ux 3)) (cbrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 4)))) (cbrt.f32 (-.f32 1 ux)))) (*.f32 -1/9 (*.f32 (*.f32 (*.f32 ux ux) (*.f32 maxCos maxCos)) (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 7)) 1/18) (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 7)) 1/18)))))
(+.f32 (fma.f32 1/3 (*.f32 ux (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/18) (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/18) maxCos))) (fma.f32 5/81 (*.f32 (*.f32 (pow.f32 maxCos 3) (pow.f32 ux 3)) (cbrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 4)))) (cbrt.f32 (-.f32 1 ux)))) (*.f32 (*.f32 (*.f32 ux ux) (*.f32 (*.f32 maxCos maxCos) (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 7)) 1/18) (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 7)) 1/18)))) -1/9))
(fma.f32 (*.f32 (*.f32 ux ux) (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 7)) 1/18) (*.f32 (*.f32 maxCos maxCos) (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 7)) 1/18)))) -1/9 (fma.f32 1/3 (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/18) (*.f32 (*.f32 maxCos ux) (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/18))) (fma.f32 5/81 (*.f32 (pow.f32 maxCos 3) (*.f32 (pow.f32 ux 3) (cbrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 4))))) (cbrt.f32 (-.f32 1 ux)))))
(fma.f32 (*.f32 (*.f32 ux ux) (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 7)) 1/18) (*.f32 (*.f32 maxCos maxCos) (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 7)) 1/18)))) -1/9 (fma.f32 1/3 (*.f32 (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/18) (*.f32 (*.f32 maxCos ux) (pow.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 2)) 1/18))) (fma.f32 5/81 (*.f32 (pow.f32 (*.f32 maxCos ux) 3) (cbrt.f32 (/.f32 1 (pow.f32 (-.f32 1 ux) 4)))) (cbrt.f32 (-.f32 1 ux)))))

prune50.0ms (2.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New80080
Fresh000
Picked011
Done022
Total80383
Error
0b
Counts
83 → 3
Alt Table
StatusErrorProgram
✓0.5b
(pow.f32 (cbrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 3)
✓0.0b
(fma.f32 ux (+.f32 maxCos -1) 1)
✓0.4b
(pow.f32 (sqrt.f32 (fma.f32 ux maxCos (-.f32 1 ux))) 2)
Compiler

Compiled 1432 to 1017 computations (29% saved)

regimes60.0ms (2.5%)

Accuracy

Total 0.0b remaining (51.1%)

Threshold costs 0.0b (51.1%)

Counts
23 → 1
Compiler

Compiled 208 to 135 computations (35.1% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×+-commutative_binary32
1×*-commutative_binary32
1×1-exp_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11310
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f32 (*.f32 ux (+.f32 maxCos -1)) 1)
Outputs
(+.f32 (*.f32 ux (+.f32 maxCos -1)) 1)

end97.0ms (4.1%)

Stop Event
1×done
Compiler

Compiled 53 to 41 computations (22.6% saved)

Profiling

Loading profile data...