Details

Time bar (total: 3.4s)

analyze95.0ms (2.8%)

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)

sample1.9s (56.6%)

Results
1.9s8256×body128valid
Compiler

Compiled 100 to 72 computations (28% saved)

preprocess30.0ms (0.9%)

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)

simplify24.0ms (0.7%)

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

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.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)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
1.1b
(*.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))))
Compiler

Compiled 169 to 117 computations (30.8% saved)

localize78.0ms (2.3%)

Local error

Found 4 expressions with local error:

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

series23.0ms (0.7%)

Counts
4 → 84
Calls

21 calls:

TimeVariablePointExpression
7.0ms
r
@inf
(*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)
2.0ms
s
@inf
(*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)
2.0ms
r
@0
(*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)
1.0ms
s
@0
(*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)
1.0ms
s
@0
(*.f32 (*.f32 2 (PI.f32)) s)

rewrite61.0ms (1.8%)

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 6 (PI.f32)) s) r)
(/.f32 (neg.f32 r) (*.f32 3 s))
(*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 (*.f32 2 (PI.f32)) s))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (*.f32 2 (PI.f32)) s) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (*.f32 2 (PI.f32)) s) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 (*.f32 2 (PI.f32)) s)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 (*.f32 2 (PI.f32)) s)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 (*.f32 2 (PI.f32)) 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 (*.f32 2 (PI.f32)) s))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 (*.f32 2 (PI.f32)) 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 (*.f32 2 (PI.f32)) s)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 (*.f32 2 (PI.f32)) s)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 (*.f32 2 (PI.f32)) s)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (*.f32 2 (PI.f32)) s)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (pow.f32 (pow.f32 (exp.f32 (PI.f32)) 6) s) r))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r))) 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 cbrt.f32 (*.f32 (pow.f32 r 3) (pow.f32 (*.f32 (PI.f32) (*.f32 6 s)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))))))))
((#(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))) (cbrt.f32 (pow.f32 (*.f32 r (/.f32 1/3 s)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (pow.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 (*.f32 s s) 9))) (/.f32 r (cbrt.f32 (*.f32 s 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (sqrt.f32 r) (cbrt.f32 (*.f32 (*.f32 s s) 9))) (/.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 (*.f32 s s) 9))) (cbrt.f32 (*.f32 r (/.f32 1/3 s))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 -1 (cbrt.f32 (*.f32 (*.f32 s s) 9))) (/.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 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))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 r (/.f32 1/3 s))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 2 (*.f32 s r))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (PI.f32) (*.f32 2 (*.f32 s r))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 2 (*.f32 s r))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 (*.f32 s r)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 (PI.f32) (*.f32 2 (*.f32 s r)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 2 (*.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 (PI.f32) (*.f32 2 (*.f32 s r))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 2 (*.f32 s r))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 (*.f32 2 (PI.f32)) s) 3) (pow.f32 r 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 r 3) (pow.f32 (*.f32 (*.f32 2 (PI.f32)) s) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 2 (*.f32 s r)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 2 (*.f32 s r)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 (PI.f32) (*.f32 2 (*.f32 s r)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (PI.f32) (*.f32 2 (*.f32 s r)))))))))

simplify24.0ms (0.7%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
015792
130792
273792
3142792
4156792
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 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))
(*.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 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s (PI.f32))) r)
(*.f32 (*.f32 (PI.f32) r) (*.f32 s 6))
(*.f32 s (*.f32 6 (*.f32 (PI.f32) r)))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(*.f32 r (/.f32 -1/3 s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (PI.f32)) (*.f32 2 r))

prune146.0ms (4.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New92698
Fresh011
Picked101
Done000
Total937100
Error
0.1b
Counts
100 → 7
Alt Table
StatusErrorProgram
0.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 2 (*.f32 s r)))))) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
▶0.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 r (/.f32 -1/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)))) (exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))))))
17.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)))) (pow.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r))) 3) 1/3)))
0.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (expm1.f32 (log1p.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)))
0.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)))) (*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))))
1.1b
(*.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))))
Compiler

Compiled 4027 to 2496 computations (38% saved)

localize81.0ms (2.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.3b
(*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)
✓0.3b
(*.f32 r (/.f32 -1/3 s))
0.3b
(*.f32 (*.f32 2 (PI.f32)) s)
✓0.4b
(/.f32 -1/3 s)

series3.0ms (0.1%)

Counts
2 → 24
Calls

9 calls:

TimeVariablePointExpression
1.0ms
s
@0
(/.f32 -1/3 s)
0.0ms
s
@inf
(/.f32 -1/3 s)
0.0ms
s
@-inf
(/.f32 -1/3 s)
0.0ms
s
@0
(*.f32 r (/.f32 -1/3 s))
0.0ms
r
@-inf
(*.f32 r (/.f32 -1/3 s))

rewrite38.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
616×pow1_binary32
573×add-log-exp_binary32
573×log1p-expm1-u_binary32
573×expm1-log1p-u_binary32
64×add-sqr-sqrt_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0611
112811
2155811
Stop Event
1×node limit
Counts
2 → 44
Calls
Call 1
Inputs
(/.f32 -1/3 s)
(*.f32 r (/.f32 -1/3 s))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (/.f32 -1/3 s))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 -1/3 (pow.f32 s -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 -1/3 s) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (/.f32 -1/3 s))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (/.f32 -1/3 s)) (pow.f32 (cbrt.f32 (/.f32 -1/3 s)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (/.f32 -1/3 s)) 2) (cbrt.f32 (/.f32 -1/3 s)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (/.f32 -1/3 s)) (sqrt.f32 (/.f32 -1/3 s)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/3 (/.f32 1 (neg.f32 s)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 s -1) -1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 -1/3 s) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (/.f32 -1/3 s) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (/.f32 -1/3 s)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (/.f32 -1/3 s)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 s -3) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (/.f32 1/9 (*.f32 s s)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (/.f32 -1/3 s)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (/.f32 -1/3 s))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (/.f32 -1/3 s) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (/.f32 -1/3 s)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (/.f32 -1/3 s)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (/.f32 -1/3 s)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 (/.f32 -1/3 s) r))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 r (*.f32 s -3))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 s (*.f32 -1/3 r)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 -1/3 r) s)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (*.f32 -1/3 r)) (neg.f32 s))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (/.f32 (*.f32 -1/3 r) 1) s)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (/.f32 (*.f32 -1/3 r) (pow.f32 (cbrt.f32 s) 2)) (cbrt.f32 s))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (/.f32 (*.f32 -1/3 r) (sqrt.f32 s)) (sqrt.f32 s))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 1/3 r) (neg.f32 s))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 r 1/3) (neg.f32 s))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (/.f32 -1/3 s) r) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (/.f32 -1/3 s) r) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 (/.f32 -1/3 s) r)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 (/.f32 -1/3 s) r)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 (/.f32 -1/3 s) r) 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 (/.f32 -1/3 s) r))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 (/.f32 -1/3 s) r) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (/.f32 -1/3 s) 3) (pow.f32 r 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 r 3) (pow.f32 (/.f32 -1/3 s) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (/.f32 -1/3 s) r)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 (/.f32 -1/3 s) r)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (/.f32 -1/3 s) r)))))))

simplify10.0ms (0.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
19168
213168
317168
418168
Stop Event
1×saturated
Counts
68 → 46
Calls
Call 1
Inputs
(*.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 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)
(*.f32 -1/3 (/.f32 r s))
(*.f32 (/.f32 -1/3 s) r)

prune149.0ms (4.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New75479
Fresh336
Picked101
Done000
Total79786
Error
0.1b
Counts
86 → 7
Alt Table
StatusErrorProgram
17.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)))) (pow.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r))) 3) 1/3)))
▶0.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 r (/.f32 -1/3 s)))) (pow.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r))) 1)))
17.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 r (/.f32 -1/3 s)))) (pow.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r))) 3) 1/3)))
0.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 2 (*.f32 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 r (/.f32 -1/3 s)))) (exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))))))
1.1b
(*.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.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (expm1.f32 (log1p.f32 (*.f32 (*.f32 2 (PI.f32)) s))) r)) (/.f32 (*.f32 3/4 (exp.f32 (*.f32 r (/.f32 -1/3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
Compiler

Compiled 3245 to 2075 computations (36.1% saved)

localize82.0ms (2.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(*.f32 6 (*.f32 s r))
0.3b
(*.f32 (*.f32 2 (PI.f32)) s)
0.4b
(/.f32 -1/3 s)
✓0.4b
(*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))

series6.0ms (0.2%)

Counts
2 → 24
Calls

12 calls:

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

rewrite38.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
769×pow1_binary32
707×log1p-expm1-u_binary32
707×expm1-log1p-u_binary32
87×associate-*r*_binary32
81×add-sqr-sqrt_binary32
Iterations

Useful iterations: 0 (0.0ms)

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

simplify13.0ms (0.4%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
08264
115264
237264
372264
483264
Stop Event
1×saturated
Counts
52 → 30
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)))
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)))

prune127.0ms (3.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New65267
Fresh156
Picked101
Done000
Total67774
Error
0.1b
Counts
74 → 7
Alt Table
StatusErrorProgram
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 r (log1p.f32 (expm1.f32 (/.f32 -1/3 s)))))) (pow.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r))) 1)))
0.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 2 (*.f32 s r)))))) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
17.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)))) (pow.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r))) 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 r (/.f32 -1/3 s)))) (exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))))))
17.5b
(+.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 r (/.f32 -1/3 s)))) (pow.f32 (*.f32 (PI.f32) (pow.f32 (pow.f32 (*.f32 6 (*.f32 s r)) 3) 1/3)) 1)))
1.1b
(*.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.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (expm1.f32 (log1p.f32 (*.f32 (*.f32 2 (PI.f32)) s))) r)) (/.f32 (*.f32 3/4 (exp.f32 (*.f32 r (/.f32 -1/3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
Compiler

Compiled 2979 to 1909 computations (35.9% saved)

localize103.0ms (3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.3b
(*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)
0.3b
(*.f32 r (/.f32 -1/3 s))
0.3b
(*.f32 (*.f32 2 (PI.f32)) s)
0.4b
(/.f32 -1/3 s)

prune146.0ms (4.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New79079
Fresh066
Picked011
Done000
Total79786
Error
0.1b
Counts
86 → 7
Alt Table
StatusErrorProgram
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 r (log1p.f32 (expm1.f32 (/.f32 -1/3 s)))))) (pow.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r))) 1)))
0.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 2 (*.f32 s r)))))) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
17.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)))) (pow.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r))) 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 r (/.f32 -1/3 s)))) (exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))))))
17.5b
(+.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 r (/.f32 -1/3 s)))) (pow.f32 (*.f32 (PI.f32) (pow.f32 (pow.f32 (*.f32 6 (*.f32 s r)) 3) 1/3)) 1)))
1.1b
(*.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.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (expm1.f32 (log1p.f32 (*.f32 (*.f32 2 (PI.f32)) s))) r)) (/.f32 (*.f32 3/4 (exp.f32 (*.f32 r (/.f32 -1/3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
Compiler

Compiled 3163 to 2055 computations (35% saved)

regimes46.0ms (1.3%)

Accuracy

Total 0.1b remaining (35.8%)

Threshold costs 0.1b (35.8%)

Counts
24 → 1
Compiler

Compiled 853 to 511 computations (40.1% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02651
14251
24651
34951
45051
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 2 (*.f32 s (PI.f32))) r)) (/.f32 (*.f32 3/4 (exp.f32 (*.f32 r (/.f32 -1/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 2 (*.f32 s (PI.f32))) r)) (/.f32 (*.f32 3/4 (exp.f32 (*.f32 r (/.f32 -1/3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 r (*.f32 2 (*.f32 s (PI.f32))))) (/.f32 (*.f32 3/4 (exp.f32 (*.f32 r (/.f32 -1/3 s)))) (*.f32 r (*.f32 s (*.f32 (PI.f32) 6)))))

end156.0ms (4.5%)

Stop Event
1×fuel
Compiler

Compiled 316 to 236 computations (25.3% saved)

Profiling

Loading profile data...