Details

Time bar (total: 3.7s)

analyze92.0ms (2.5%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%2.1%97.9%0
0%2.1%97.9%1
1%1%97.9%2
1%1%97.9%3
1.5%0.5%97.9%4
1.5%0.5%97.9%5
1.8%0.3%97.9%6
1.8%0.3%97.9%7
1.9%0.1%97.9%8
1.9%0.1%97.9%9
2%0.1%97.9%10
2%0.1%97.9%11
2%0%97.9%12
2%0%97.9%13
2%0%97.9%14
Compiler

Compiled 50 to 36 computations (28% saved)

sample2.0s (56%)

Results
2.0s8256×body128valid
Compiler

Compiled 100 to 72 computations (28% saved)

preprocess31.0ms (0.8%)

Algorithm
2×egg-herbie
Rules
654×associate-/l*_binary32
635×associate-/l/_binary32
596×times-frac_binary32
556×associate-*r/_binary32
486×associate-/r/_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
041106
111786
244670
3187364
022
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 s) r))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) r) s)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 s) (*.f32 3 r)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) r) s)))
Outputs
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
(+.f32 (*.f32 (/.f32 1/4 (*.f32 s (*.f32 2 (PI.f32)))) (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) r)) (*.f32 (/.f32 3/4 (*.f32 s (*.f32 (PI.f32) 6))) (/.f32 (exp.f32 (/.f32 (neg.f32 r) (*.f32 s 3))) r)))
(fma.f32 (/.f32 1/8 (*.f32 s (PI.f32))) (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) r) (*.f32 (/.f32 1/8 (*.f32 s (PI.f32))) (/.f32 (exp.f32 (*.f32 -1/3 (/.f32 r s))) r)))
(*.f32 (/.f32 (/.f32 1/8 (PI.f32)) s) (+.f32 (/.f32 (pow.f32 (exp.f32 -1/3) (/.f32 r s)) r) (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) r)))
(*.f32 (/.f32 (/.f32 (/.f32 1/8 (PI.f32)) r) s) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 -1/3) (/.f32 r s))))
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 s) r))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) r) s)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 s) (*.f32 3 r)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) r) s)))
(+.f32 (*.f32 (/.f32 1/4 (*.f32 r (*.f32 2 (PI.f32)))) (/.f32 (exp.f32 (/.f32 (neg.f32 s) r)) s)) (*.f32 (/.f32 3/4 (*.f32 6 (*.f32 (PI.f32) r))) (/.f32 (exp.f32 (/.f32 (neg.f32 s) (*.f32 r 3))) s)))
(fma.f32 (/.f32 1/8 (*.f32 r (PI.f32))) (/.f32 (exp.f32 (neg.f32 (/.f32 s r))) s) (*.f32 (/.f32 1/8 (*.f32 r (PI.f32))) (/.f32 (exp.f32 (*.f32 -1/3 (/.f32 s r))) s)))
(*.f32 (/.f32 (/.f32 1/8 (PI.f32)) r) (+.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 s) r)) s) (/.f32 (pow.f32 (exp.f32 -1/3) (/.f32 s r)) s)))
(*.f32 (/.f32 (/.f32 (/.f32 1/8 (PI.f32)) r) s) (+.f32 (exp.f32 (/.f32 (neg.f32 s) r)) (pow.f32 (exp.f32 -1/3) (/.f32 s r))))
Compiler

Compiled 35 to 25 computations (28.6% saved)

simplify28.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
622×associate-*l*_binary32
523×associate-*r*_binary32
423×associate-/r*_binary32
364×associate-/l*_binary32
320×associate-/l/_binary32
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02653
16643
224435
3102632
4341732
Stop Event
1×node limit
Counts
1 → 2
Calls
Call 1
Inputs
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
Outputs
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
(+.f32 (*.f32 (/.f32 1/4 (*.f32 s (*.f32 2 (PI.f32)))) (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) r)) (*.f32 (/.f32 3/4 (*.f32 6 (*.f32 (PI.f32) s))) (/.f32 (exp.f32 (/.f32 (neg.f32 r) (*.f32 s 3))) r)))
(fma.f32 (/.f32 1/8 (*.f32 s (PI.f32))) (/.f32 (exp.f32 (*.f32 -1/3 (/.f32 r s))) r) (*.f32 (/.f32 1/8 (*.f32 s (PI.f32))) (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) r)))
(*.f32 (/.f32 1/8 (*.f32 s (PI.f32))) (+.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) r) (/.f32 (pow.f32 (exp.f32 -1/3) (/.f32 r s)) r)))
(*.f32 (/.f32 (/.f32 1/8 (*.f32 s (PI.f32))) r) (+.f32 (pow.f32 (exp.f32 -1/3) (/.f32 r s)) (exp.f32 (/.f32 (neg.f32 r) s))))
(*.f32 (/.f32 (/.f32 (/.f32 1/8 s) (PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 r) (/.f32 -1/3 s))))

prune5.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
1.4b
(*.f32 (/.f32 (/.f32 (/.f32 1/8 s) (PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 r) (/.f32 -1/3 s))))
▶0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
Compiler

Compiled 169 to 117 computations (30.8% saved)

localize97.0ms (2.7%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(/.f32 (neg.f32 r) (*.f32 3 s))
✓0.2b
(*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)
✓0.3b
(*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)
✓0.3b
(*.f32 (*.f32 2 (PI.f32)) s)

series18.0ms (0.5%)

Counts
4 → 84
Calls

21 calls:

TimeVariablePointExpression
3.0ms
r
@0
(*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)
2.0ms
s
@inf
(/.f32 (neg.f32 r) (*.f32 3 s))
2.0ms
r
@inf
(*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)
1.0ms
s
@0
(*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)
1.0ms
s
@0
(*.f32 (*.f32 2 (PI.f32)) s)

rewrite59.0ms (1.6%)

Algorithm
1×batch-egg-rewrite
Rules
276×expm1-udef_binary32
276×log1p-udef_binary32
167×add-sqr-sqrt_binary32
166×associate-*r*_binary32
159×*-un-lft-identity_binary32
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01639
133937
2443937
Stop Event
1×node limit
Counts
4 → 92
Calls
Call 1
Inputs
(*.f32 (*.f32 2 (PI.f32)) s)
(*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)
(*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)
(/.f32 (neg.f32 r) (*.f32 3 s))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 2 s)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (PI.f32) (*.f32 2 s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 2 s)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 2 s)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 s) (*.f32 2 (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 (PI.f32) (*.f32 2 s)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 2 s)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 2 (PI.f32)) 3) (pow.f32 s 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 s 3) (pow.f32 (*.f32 2 (PI.f32)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 2 s))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (PI.f32) (*.f32 2 s))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 2 s))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 (PI.f32) (*.f32 2 s))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 s r)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 s r)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 s r)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 s r))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 s r))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 s r)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (pow.f32 (exp.f32 s) (*.f32 2 (PI.f32))) r))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 s r)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 s r)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 2 s)) 3) (pow.f32 r 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 r 3) (pow.f32 (*.f32 (PI.f32) (*.f32 2 s)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 s r))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 s r))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 s r))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 s r))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (pow.f32 (exp.f32 s) (*.f32 (PI.f32) 6)) r))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 r 3) (pow.f32 (*.f32 (PI.f32) (*.f32 6 s)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 6 s)) 3) (pow.f32 r 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s)) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 0 (*.f32 r (/.f32 1/3 s)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 r (/.f32 1/3 s)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (/.f32 0 (*.f32 s 3)) (*.f32 r (/.f32 1/3 s)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 r (/.f32 1/3 s))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 r (/.f32 1 (*.f32 s -3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 r (/.f32 1/3 s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (*.f32 r (/.f32 1/3 s)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (*.f32 r (/.f32 1/3 s))) (pow.f32 (cbrt.f32 (*.f32 r (/.f32 1/3 s))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (*.f32 r (/.f32 1/3 s))) 2) (cbrt.f32 (*.f32 r (/.f32 1/3 s))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 r) 2) (*.f32 (cbrt.f32 r) (/.f32 1/3 s)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (*.f32 r (/.f32 1/3 s))) (sqrt.f32 (*.f32 r (/.f32 1/3 s))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 r) (*.f32 (sqrt.f32 r) (/.f32 1/3 s)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1/3 s) r)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 -1 (*.f32 r (/.f32 1/3 s)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 r 1/3) (/.f32 1 s))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/3 (/.f32 r s))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 s) (*.f32 r 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (sqrt.f32 r) s) (/.f32 (sqrt.f32 r) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (sqrt.f32 r) 3) (/.f32 (sqrt.f32 r) s))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (sqrt.f32 r) 1) (/.f32 (sqrt.f32 r) (*.f32 s 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (cbrt.f32 (*.f32 9 (*.f32 s s)))) (/.f32 r (cbrt.f32 (*.f32 s 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (sqrt.f32 r) (cbrt.f32 (*.f32 9 (*.f32 s s)))) (/.f32 (sqrt.f32 r) (cbrt.f32 (*.f32 s 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (sqrt.f32 (*.f32 s 3))) (/.f32 r (sqrt.f32 (*.f32 s 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (pow.f32 (cbrt.f32 r) 2) s) (/.f32 (cbrt.f32 r) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 -1 s) (*.f32 r 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (pow.f32 (cbrt.f32 r) 2) 3) (/.f32 (cbrt.f32 r) s))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 -1/3 (/.f32 r s))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (pow.f32 (cbrt.f32 r) 2) 1) (/.f32 (cbrt.f32 r) (*.f32 s 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (pow.f32 (cbrt.f32 r) 2) (cbrt.f32 (*.f32 9 (*.f32 s s)))) (cbrt.f32 (*.f32 r (/.f32 1/3 s))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 -1 (cbrt.f32 (*.f32 9 (*.f32 s s)))) (/.f32 r (cbrt.f32 (*.f32 s 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (pow.f32 (cbrt.f32 r) 2) (sqrt.f32 (*.f32 s 3))) (/.f32 (cbrt.f32 r) (sqrt.f32 (*.f32 s 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 -1 (sqrt.f32 (*.f32 s 3))) (/.f32 r (sqrt.f32 (*.f32 s 3))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 r (/.f32 1/3 s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 r (/.f32 1/3 s)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 r (/.f32 1/3 s))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 r (/.f32 1/3 s))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 s (*.f32 r 1/3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (*.f32 r (/.f32 1/3 s)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 r (/.f32 1/3 s)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 r) (/.f32 1/3 s)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 r (/.f32 1/3 s)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 r (/.f32 1/3 s)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (/.f32 (pow.f32 r 3) (pow.f32 (*.f32 s 3) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 r (/.f32 1/3 s))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 r (/.f32 1/3 s))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 r (/.f32 1/3 s))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 r (/.f32 1/3 s))) 1))))))

simplify27.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
48×associate-*l*_binary32
34×associate-*r*_binary32
26×*-commutative_binary32
2×associate-/l*_binary32
1×associate-*r/_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
015792
130792
273792
3142792
4155792
Stop Event
1×saturated
Counts
176 → 98
Calls
Call 1
Inputs
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 -1/3 (/.f32 r s))
Outputs
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (PI.f32) r) (*.f32 2 s))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 s) (*.f32 (PI.f32) r))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 6))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 r (/.f32 -1/3 s))

prune117.0ms (3.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New94498
Fresh011
Picked011
Done000
Total946100
Error
0.1b
Counts
100 → 6
Alt Table
StatusErrorProgram
24.6b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (log.f32 (pow.f32 (exp.f32 s) (*.f32 2 (PI.f32)))) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
1.4b
(*.f32 (/.f32 (/.f32 (/.f32 1/8 s) (PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 r) (/.f32 -1/3 s))))
16.4b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (pow.f32 (pow.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s) 3) 1/3)))
▶0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 2 s)))) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))))
✓0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
Compiler

Compiled 3920 to 2428 computations (38.1% saved)

localize88.0ms (2.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.2b
(*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)
✓0.3b
(*.f32 (exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 2 s)))) r)
✓0.3b
(*.f32 (PI.f32) (*.f32 2 s))
✓2.8b
(exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 2 s))))

series3.0ms (0.1%)

Counts
3 → 48
Calls

12 calls:

TimeVariablePointExpression
0.0ms
s
@0
(exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 2 s))))
0.0ms
s
@inf
(exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 2 s))))
0.0ms
s
@-inf
(exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 2 s))))
0.0ms
r
@-inf
(*.f32 (exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 2 s)))) r)
0.0ms
s
@-inf
(*.f32 (exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 2 s)))) r)

rewrite48.0ms (1.3%)

Algorithm
1×batch-egg-rewrite
Rules
835×pow1_binary32
765×log1p-expm1-u_binary32
765×expm1-log1p-u_binary32
88×add-sqr-sqrt_binary32
86×*-un-lft-identity_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01027
118527
2208627
Stop Event
1×node limit
Counts
3 → 70
Calls
Call 1
Inputs
(exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 2 s))))
(*.f32 (PI.f32) (*.f32 2 s))
(*.f32 (exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 2 s)))) r)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 s (*.f32 (PI.f32) 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (PI.f32) (*.f32 2 s))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 2 (*.f32 s (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 s (*.f32 (PI.f32) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 2 s) (PI.f32))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 s (*.f32 (PI.f32) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (*.f32 s (*.f32 (PI.f32) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (*.f32 s (*.f32 (PI.f32) 2))) (pow.f32 (cbrt.f32 (*.f32 s (*.f32 (PI.f32) 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (*.f32 s (*.f32 (PI.f32) 2))) 2) (cbrt.f32 (*.f32 s (*.f32 (PI.f32) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (*.f32 2 s)) 2) (*.f32 (cbrt.f32 (*.f32 2 s)) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (*.f32 (cbrt.f32 (PI.f32)) (*.f32 2 s)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (*.f32 s (*.f32 (PI.f32) 2))) (sqrt.f32 (*.f32 s (*.f32 (PI.f32) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (*.f32 2 s)) (*.f32 (sqrt.f32 (*.f32 2 s)) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (PI.f32)) (*.f32 (sqrt.f32 (PI.f32)) (*.f32 2 s)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (PI.f32) 2) s)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (PI.f32) s) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (PI.f32) (pow.f32 (cbrt.f32 (*.f32 2 s)) 2)) (cbrt.f32 (*.f32 2 s)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (PI.f32) (sqrt.f32 (*.f32 2 s))) (sqrt.f32 (*.f32 2 s)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (*.f32 2 s) (pow.f32 (cbrt.f32 (PI.f32)) 2)) (cbrt.f32 (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (*.f32 2 s) (sqrt.f32 (PI.f32))) (sqrt.f32 (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (*.f32 (PI.f32) 2) 1) s)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (*.f32 (PI.f32) 2) (pow.f32 (cbrt.f32 s) 2)) (cbrt.f32 s))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (*.f32 (PI.f32) 2) (sqrt.f32 s)) (sqrt.f32 s))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 s (*.f32 (PI.f32) 2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 s (*.f32 (PI.f32) 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (log.f32 (*.f32 s (*.f32 (PI.f32) 2)))) 2)) (cbrt.f32 (log.f32 (*.f32 s (*.f32 (PI.f32) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 1) (log.f32 (*.f32 s (*.f32 (PI.f32) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (sqrt.f32 (log.f32 (*.f32 s (*.f32 (PI.f32) 2))))) (sqrt.f32 (log.f32 (*.f32 s (*.f32 (PI.f32) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 (PI.f32)) (*.f32 2 s)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 s (*.f32 (PI.f32) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 (*.f32 2 s) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 2 s) 3) (pow.f32 (PI.f32) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 s (*.f32 (PI.f32) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 s (*.f32 (PI.f32) 2))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 s (*.f32 (PI.f32) 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 s (*.f32 (PI.f32) 2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 s (*.f32 (PI.f32) 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (log.f32 (*.f32 s (*.f32 (PI.f32) 2)))) 2)) (cbrt.f32 (log.f32 (*.f32 s (*.f32 (PI.f32) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 1) (log.f32 (*.f32 s (*.f32 (PI.f32) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (sqrt.f32 (log.f32 (*.f32 s (*.f32 (PI.f32) 2))))) (sqrt.f32 (log.f32 (*.f32 s (*.f32 (PI.f32) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 (PI.f32)) (*.f32 2 s)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 s (*.f32 (PI.f32) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 (*.f32 2 s) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 2 s) 3) (pow.f32 (PI.f32) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 s (*.f32 (PI.f32) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 s (*.f32 (PI.f32) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 s (*.f32 (PI.f32) 2))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 (*.f32 2 s) (*.f32 (PI.f32) r)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (*.f32 2 s) (*.f32 (PI.f32) r)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (*.f32 2 s) (*.f32 (PI.f32) r)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 (*.f32 2 s) (*.f32 (PI.f32) r)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (pow.f32 (exp.f32 (PI.f32)) (*.f32 2 s)) r))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 (*.f32 2 s) (*.f32 (PI.f32) r)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 (*.f32 2 s) (*.f32 (PI.f32) r)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 3) (pow.f32 r 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 r 3) (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 (*.f32 2 s) (*.f32 (PI.f32) r))) 1))))))

simplify18.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
26×associate-*l*_binary32
17×associate-*r*_binary32
13×*-commutative_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
010456
119456
243456
374456
477456
Stop Event
1×saturated
Counts
118 → 56
Calls
Call 1
Inputs
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
Outputs
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))

prune113.0ms (3.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New73073
Fresh044
Picked011
Done011
Total73679
Error
0.1b
Counts
79 → 6
Alt Table
StatusErrorProgram
24.6b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (log.f32 (pow.f32 (exp.f32 s) (*.f32 2 (PI.f32)))) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
1.4b
(*.f32 (/.f32 (/.f32 (/.f32 1/8 s) (PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 r) (/.f32 -1/3 s))))
16.4b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (pow.f32 (pow.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s) 3) 1/3)))
✓0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 2 s)))) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
▶0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))))
✓0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
Compiler

Compiled 3045 to 1891 computations (37.9% saved)

localize80.0ms (2.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.3b
(*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)
✓0.3b
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
0.3b
(*.f32 (*.f32 2 (PI.f32)) s)
✓0.4b
(*.f32 (PI.f32) r)

series3.0ms (0.1%)

Counts
2 → 0
Calls

9 calls:

TimeVariablePointExpression
0.0ms
r
@inf
(*.f32 (PI.f32) r)
0.0ms
r
@-inf
(*.f32 (PI.f32) r)
0.0ms
r
@0
(*.f32 (PI.f32) r)
0.0ms
s
@-inf
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
0.0ms
r
@-inf
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))

rewrite40.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
774×pow1_binary32
712×log1p-expm1-u_binary32
712×expm1-log1p-u_binary32
90×associate-*r*_binary32
81×add-sqr-sqrt_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0816
116216
2193416
Stop Event
1×node limit
Counts
2 → 28
Calls
Call 1
Inputs
(*.f32 (PI.f32) r)
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 (PI.f32) r))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (PI.f32) r) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (PI.f32) r) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 (PI.f32) r)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 (PI.f32) r)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 (PI.f32) r) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 (PI.f32)) r))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 (PI.f32) r))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 (PI.f32) r) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 r 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 r 3) (pow.f32 (PI.f32) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (PI.f32) r)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (PI.f32) r)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 (PI.f32) r)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 (PI.f32) r)) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (*.f32 36 (pow.f32 (*.f32 (*.f32 s r) (PI.f32)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 6) (*.f32 (*.f32 s r) (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s))) 1))))))

simplify6.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

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

prune138.0ms (3.8%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New58361
Fresh123
Picked011
Done022
Total59867
Error
0.1b
Counts
67 → 8
Alt Table
StatusErrorProgram
✓0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 2 s)))) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
▶0.3b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (exp.f32 (log.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s))))))
24.6b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (log.f32 (pow.f32 (exp.f32 s) (*.f32 2 (PI.f32)))) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
1.4b
(*.f32 (/.f32 (/.f32 (/.f32 1/8 s) (PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 r) (/.f32 -1/3 s))))
16.4b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (pow.f32 (pow.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s)) 3) 1/3)))
1.0b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (log.f32 (pow.f32 (exp.f32 (PI.f32)) r))))))
✓0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))))
✓0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
Compiler

Compiled 2648 to 1568 computations (40.8% saved)

localize93.0ms (2.6%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.3b
(*.f32 (*.f32 2 (PI.f32)) s)
✓0.4b
(*.f32 (*.f32 (PI.f32) r) (*.f32 6 s))
0.4b
(*.f32 (PI.f32) r)
✓2.6b
(exp.f32 (log.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s))))

series3.0ms (0.1%)

Counts
2 → 48
Calls

12 calls:

TimeVariablePointExpression
0.0ms
r
@0
(exp.f32 (log.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s))))
0.0ms
r
@-inf
(exp.f32 (log.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s))))
0.0ms
s
@inf
(exp.f32 (log.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s))))
0.0ms
r
@inf
(exp.f32 (log.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s))))
0.0ms
s
@-inf
(exp.f32 (log.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s))))

rewrite46.0ms (1.3%)

Algorithm
1×batch-egg-rewrite
Rules
857×pow1_binary32
788×log1p-expm1-u_binary32
788×expm1-log1p-u_binary32
90×associate-*r*_binary32
89×add-sqr-sqrt_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01022
118722
2214022
Stop Event
1×node limit
Counts
2 → 61
Calls
Call 1
Inputs
(exp.f32 (log.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s))))
(*.f32 (*.f32 (PI.f32) r) (*.f32 6 s))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (PI.f32) (*.f32 r (*.f32 6 s)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 r (*.f32 (PI.f32) (*.f32 6 s)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (PI.f32) r) (*.f32 6 s))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 6 (*.f32 s (*.f32 (PI.f32) r)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 s (*.f32 (PI.f32) (*.f32 r 6)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 6 s) (*.f32 (PI.f32) r))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s)))) (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s)))) 2) (cbrt.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (pow.f32 (PI.f32) 2)) (*.f32 (cbrt.f32 (PI.f32)) (*.f32 r (*.f32 6 s))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (*.f32 6 s)) 2) (*.f32 (cbrt.f32 (*.f32 6 s)) (*.f32 (PI.f32) r)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) r)) 2) (*.f32 (cbrt.f32 (*.f32 (PI.f32) r)) (*.f32 6 s)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s)))) (sqrt.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (PI.f32)) (*.f32 (sqrt.f32 (PI.f32)) (*.f32 r (*.f32 6 s))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (*.f32 6 s)) (*.f32 (sqrt.f32 (*.f32 6 s)) (*.f32 (PI.f32) r)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (*.f32 (PI.f32) r)) (*.f32 (sqrt.f32 (*.f32 (PI.f32) r)) (*.f32 6 s)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 r (*.f32 6 s)) (PI.f32))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (PI.f32) (*.f32 r 6)) s)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (*.f32 (PI.f32) r) s) 6)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (*.f32 (PI.f32) r) (pow.f32 (cbrt.f32 (*.f32 6 s)) 2)) (cbrt.f32 (*.f32 6 s)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (*.f32 (PI.f32) r) (sqrt.f32 (*.f32 6 s))) (sqrt.f32 (*.f32 6 s)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (*.f32 6 s) (PI.f32)) r)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (*.f32 6 s) (pow.f32 (cbrt.f32 (*.f32 (PI.f32) r)) 2)) (cbrt.f32 (*.f32 (PI.f32) r)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (*.f32 6 s) (sqrt.f32 (*.f32 (PI.f32) r))) (sqrt.f32 (*.f32 (PI.f32) r)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (*.f32 (PI.f32) (*.f32 r 6)) 1) s)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (*.f32 (PI.f32) (*.f32 r 6)) (pow.f32 (cbrt.f32 s) 2)) (cbrt.f32 s))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (*.f32 (PI.f32) (*.f32 r 6)) (sqrt.f32 s)) (sqrt.f32 s))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 1) (log.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (sqrt.f32 (log.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s)))))) (sqrt.f32 (log.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (log.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s))))) 2)) (cbrt.f32 (log.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s))))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 (PI.f32)) (*.f32 r (*.f32 6 s))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 (PI.f32) r) 3) (pow.f32 (*.f32 6 s) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 6 s) 3) (pow.f32 (*.f32 (PI.f32) r) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s)))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 1) (log.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (sqrt.f32 (log.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s)))))) (sqrt.f32 (log.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (log.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s))))) 2)) (cbrt.f32 (log.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s))))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 (PI.f32)) (*.f32 r (*.f32 6 s))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 (PI.f32) r) 3) (pow.f32 (*.f32 6 s) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 6 s) 3) (pow.f32 (*.f32 (PI.f32) r) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 r (*.f32 6 s)))))))))

simplify18.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
26×associate-*l*_binary32
20×associate-*r*_binary32
17×*-commutative_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08528
115528
237528
372528
483528
Stop Event
1×saturated
Counts
109 → 46
Calls
Call 1
Inputs
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
Outputs
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 6 r)))

prune183.0ms (5%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New74377
Fresh224
Picked101
Done033
Total77885
Error
0.1b
Counts
85 → 8
Alt Table
StatusErrorProgram
0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) r)) 2) (*.f32 (cbrt.f32 (*.f32 (PI.f32) r)) (*.f32 6 s)))))
1.4b
(*.f32 (/.f32 (/.f32 (/.f32 1/8 s) (PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 r) (/.f32 -1/3 s))))
0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 (PI.f32) (*.f32 r 6)) (pow.f32 (cbrt.f32 s) 2)) (cbrt.f32 s))))
✓0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 2 s)))) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
1.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (exp.f32 (log.f32 (*.f32 (log.f32 (pow.f32 (exp.f32 (PI.f32)) r)) (*.f32 6 s))))))
16.4b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (pow.f32 (pow.f32 (*.f32 (*.f32 (PI.f32) r) (*.f32 6 s)) 3) 1/3)))
✓0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))))
✓0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
Compiler

Compiled 3186 to 1939 computations (39.1% saved)

regimes76.0ms (2.1%)

Accuracy

Total 0.1b remaining (37.7%)

Threshold costs 0.1b (37.7%)

Counts
41 → 1
Compiler

Compiled 1508 to 895 computations (40.6% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02858
14658
25258
35758
45958
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (pow.f32 (sqrt.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s)) 2)))
Outputs
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (pow.f32 (sqrt.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s)) 2)))
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 r (*.f32 s (*.f32 2 (PI.f32))))) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 s 3)))) (pow.f32 (sqrt.f32 (*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))) 2)))

end172.0ms (4.7%)

Stop Event
1×fuel
Compiler

Compiled 367 to 265 computations (27.8% saved)

Profiling

Loading profile data...