Details

Time bar (total: 3.9s)

analyze100.0ms (2.6%)

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.1s (54.5%)

Results
2.1s8256×body128valid

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)

simplify25.0ms (0.6%)

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

eval1.0ms (0%)

Compiler

Compiled 55 to 35 computations (36.4% saved)

prune3.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
Click to see full 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)))
0.7b
(*.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 114 to 82 computations (28.1% saved)

localize79.0ms (2.1%)

Local error

Found 4 expressions with local error:

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

series16.0ms (0.4%)

Counts
4 → 84
Calls

21 calls:

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

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

simplify27.0ms (0.7%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
015792
131792
274792
3135792
4152792
Stop Event
1×saturated
Counts
176 → 99
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 -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 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
Outputs
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 -1/3 (/.f32 r s))
(/.f32 -1/3 (/.f32 s r))
(*.f32 r (/.f32 -1/3 s))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 6 (*.f32 s r)) (PI.f32))
(*.f32 s (*.f32 (PI.f32) (*.f32 r 6)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))
(*.f32 2 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 s (*.f32 2 r)))
(*.f32 s (*.f32 (PI.f32) (*.f32 2 r)))

eval53.0ms (1.4%)

Compiler

Compiled 3578 to 2183 computations (39% saved)

prune117.0ms (3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New93699
Fresh011
Picked101
Done000
Total947101
Error
0.0b
Counts
101 → 7
Alt Table
Click to see full alt table
StatusErrorProgram
0.1b
(+.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.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 s (*.f32 (PI.f32) (*.f32 r 6)))))
0.7b
(*.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 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3) 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 r (PI.f32))))))
0.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (expm1.f32 (log1p.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 s r))))) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
15.6b
(+.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 s (*.f32 (*.f32 (PI.f32) 6) r)) 3) 1/3)))
Compiler

Compiled 486 to 354 computations (27.2% saved)

localize89.0ms (2.3%)

Local error

Found 4 expressions with local error:

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

series6.0ms (0.2%)

Counts
2 → 12
Calls

6 calls:

TimeVariablePointExpression
2.0ms
s
@-inf
(pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3)
2.0ms
s
@0
(pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3)
1.0ms
s
@inf
(pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3)
0.0ms
s
@0
(*.f32 (PI.f32) (*.f32 2 s))
0.0ms
s
@-inf
(*.f32 (PI.f32) (*.f32 2 s))

rewrite42.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
713×pow1_binary32
667×add-log-exp_binary32
666×log1p-expm1-u_binary32
666×expm1-log1p-u_binary32
80×add-sqr-sqrt_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0916
118916
2189716
Stop Event
1×node limit
Counts
2 → 56
Calls
Call 1
Inputs
(pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3)
(*.f32 (PI.f32) (*.f32 2 s))
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 (cbrt.f32 (*.f32 s (*.f32 (PI.f32) 2))) (cbrt.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 2)))))) (#(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 (pow.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 (cbrt.f32 (PI.f32)) (*.f32 (cbrt.f32 (*.f32 2 s)) (cbrt.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 2))))))) (#(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 (cbrt.f32 (cbrt.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 2))) (*.f32 (cbrt.f32 (cbrt.f32 (*.f32 s (*.f32 (PI.f32) 2)))) (cbrt.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 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 (sqrt.f32 (*.f32 s (*.f32 (PI.f32) 2))) (sqrt.f32 (*.f32 s (*.f32 (PI.f32) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 1/6) (*.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 1/6) (cbrt.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (PI.f32) 2) s)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 2))) 3) (cbrt.f32 (*.f32 s (*.f32 (PI.f32) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 1/6) 3) (pow.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 1/6) 3))))) (#(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 (cbrt.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 2)) 1) (cbrt.f32 (*.f32 s (*.f32 (PI.f32) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (cbrt.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 2)) (cbrt.f32 (PI.f32))) (cbrt.f32 (*.f32 2 s)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (cbrt.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 2)) (cbrt.f32 (cbrt.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 2)))) (cbrt.f32 (cbrt.f32 (*.f32 s (*.f32 (PI.f32) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (cbrt.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 2)) (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 1/6)) (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 1/6))))) (#(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 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 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 (cbrt.f32 (*.f32 s (*.f32 (PI.f32) 2))) 3)))) (#(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 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 2)) 3/2)))) (#(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 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))))))))

simplify9.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0696
11096
21796
31996
Stop Event
1×saturated
Counts
68 → 46
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)))
Outputs
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (PI.f32) (*.f32 2 s))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (PI.f32) (*.f32 2 s))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (PI.f32) (*.f32 2 s))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (PI.f32) (*.f32 2 s))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (PI.f32) (*.f32 2 s))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (PI.f32) (*.f32 2 s))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (PI.f32) (*.f32 2 s))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (PI.f32) (*.f32 2 s))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (PI.f32) (*.f32 2 s))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (PI.f32) (*.f32 2 s))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (PI.f32) (*.f32 2 s))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (PI.f32) (*.f32 2 s))

eval67.0ms (1.8%)

Compiler

Compiled 4376 to 2776 computations (36.6% saved)

prune177.0ms (4.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1092111
Fresh336
Picked011
Done000
Total1126118
Error
0.0b
Counts
118 → 6
Alt Table
Click to see full alt table
StatusErrorProgram
0.7b
(*.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 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3) 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 s (*.f32 (PI.f32) (*.f32 r 6)))))
▶0.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (*.f32 r (PI.f32))))))
0.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 (*.f32 2 s) (sqrt.f32 (PI.f32))) (sqrt.f32 (PI.f32))) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
15.6b
(+.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 s (*.f32 (*.f32 (PI.f32) 6) r)) 3) 1/3)))
Compiler

Compiled 384 to 278 computations (27.6% saved)

localize94.0ms (2.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(*.f32 r (PI.f32))
✓0.3b
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
0.4b
(*.f32 (PI.f32) (*.f32 2 s))
0.7b
(pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3)

series4.0ms (0.1%)

Counts
2 → 0
Calls

9 calls:

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

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

eval45.0ms (1.2%)

Compiler

Compiled 2917 to 1714 computations (41.2% saved)

prune146.0ms (3.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New71374
Fresh224
Picked011
Done011
Total73780
Error
0.0b
Counts
80 → 7
Alt Table
Click to see full alt table
StatusErrorProgram
0.7b
(*.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 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3) 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 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (*.f32 r (PI.f32))))))
0.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 (*.f32 2 s) (pow.f32 (cbrt.f32 (PI.f32)) 2)) (cbrt.f32 (PI.f32))) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (*.f32 r (PI.f32))))))
0.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (sqrt.f32 (PI.f32)) (*.f32 (sqrt.f32 (PI.f32)) (*.f32 2 s))) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (*.f32 r (PI.f32))))))
15.6b
(+.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 s (*.f32 (*.f32 (PI.f32) 6) r)) 3) 1/3)))
▶0.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 3)))))
Compiler

Compiled 440 to 320 computations (27.3% saved)

localize97.0ms (2.5%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(*.f32 6 (*.f32 s (pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 3)))
0.4b
(*.f32 (PI.f32) (*.f32 2 s))
0.7b
(pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3)
✓0.7b
(pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 3)

series9.0ms (0.2%)

Counts
2 → 24
Calls

9 calls:

TimeVariablePointExpression
3.0ms
r
@-inf
(*.f32 6 (*.f32 s (pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 3)))
2.0ms
r
@-inf
(pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 3)
1.0ms
r
@0
(pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 3)
1.0ms
r
@inf
(pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 3)
0.0ms
s
@0
(*.f32 6 (*.f32 s (pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 3)))

rewrite43.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
866×log1p-expm1-u_binary32
866×expm1-log1p-u_binary32
101×add-sqr-sqrt_binary32
95×add-log-exp_binary32
95×pow1_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01116
123016
2240816
Stop Event
1×node limit
Counts
2 → 48
Calls
Call 1
Inputs
(pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 3)
(*.f32 6 (*.f32 s (pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 3)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 r (PI.f32)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 r (PI.f32))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (PI.f32) r)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 r (PI.f32)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (*.f32 r (PI.f32))) (pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (*.f32 r (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 2) (cbrt.f32 (*.f32 r (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (*.f32 r (PI.f32)))) 2) (*.f32 (cbrt.f32 (cbrt.f32 (*.f32 r (PI.f32)))) (pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 r) (*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 r) 2) (*.f32 (cbrt.f32 r) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (*.f32 (cbrt.f32 (PI.f32)) r))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (*.f32 r (PI.f32)) 1/6) (*.f32 (pow.f32 (*.f32 r (PI.f32)) 1/6) (pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 r) (*.f32 (sqrt.f32 r) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (PI.f32)) (*.f32 (sqrt.f32 (PI.f32)) r))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (*.f32 r (PI.f32))) (sqrt.f32 (*.f32 r (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (*.f32 r (PI.f32)))) 2) 3) (cbrt.f32 (*.f32 r (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (pow.f32 (*.f32 r (PI.f32)) 1/6) 3) (pow.f32 (pow.f32 (*.f32 r (PI.f32)) 1/6) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 r (pow.f32 (cbrt.f32 (PI.f32)) 2)) (cbrt.f32 (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 r (sqrt.f32 (PI.f32))) (sqrt.f32 (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (PI.f32) (pow.f32 (cbrt.f32 r) 2)) (cbrt.f32 r))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (PI.f32) (sqrt.f32 r)) (sqrt.f32 r))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 2) 1) (cbrt.f32 (*.f32 r (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 2) (pow.f32 (cbrt.f32 (cbrt.f32 (*.f32 r (PI.f32)))) 2)) (cbrt.f32 (cbrt.f32 (*.f32 r (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 2) (cbrt.f32 r)) (cbrt.f32 (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 2) (pow.f32 (*.f32 r (PI.f32)) 1/6)) (pow.f32 (*.f32 r (PI.f32)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 r (PI.f32)) 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 r (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 r (PI.f32)) 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 cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 r 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 r (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 r (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 r (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 r (PI.f32))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 (*.f32 r (PI.f32)) (*.f32 6 s)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (*.f32 r (PI.f32)) (*.f32 6 s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (*.f32 r (PI.f32)) (*.f32 6 s)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 (*.f32 r (PI.f32)) (*.f32 6 s))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 (*.f32 r (PI.f32)) (*.f32 6 s))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (*.f32 36 (pow.f32 (*.f32 r (*.f32 (PI.f32) s)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 6) (*.f32 r (*.f32 (PI.f32) s))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 (*.f32 r (PI.f32)) (*.f32 6 s)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 (*.f32 r (PI.f32)) (*.f32 6 s)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (*.f32 r (PI.f32)) (*.f32 6 s))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (*.f32 r (PI.f32)) (*.f32 6 s))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 (*.f32 r (PI.f32)) (*.f32 6 s))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 (*.f32 r (PI.f32)) (*.f32 6 s))) 1))))))

simplify13.0ms (0.3%)

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
72 → 50
Calls
Call 1
Inputs
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
Outputs
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 r (*.f32 6 (*.f32 s (PI.f32))))
(*.f32 s (*.f32 r (*.f32 6 (PI.f32))))

eval62.0ms (1.6%)

Compiler

Compiled 4016 to 2396 computations (40.3% saved)

prune237.0ms (6.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New96096
Fresh044
Picked011
Done022
Total967103
Error
0.0b
Counts
103 → 7
Alt Table
Click to see full alt table
StatusErrorProgram
0.7b
(*.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 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3) 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 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (*.f32 r (PI.f32))))))
0.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 (*.f32 2 s) (pow.f32 (cbrt.f32 (PI.f32)) 2)) (cbrt.f32 (PI.f32))) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (*.f32 r (PI.f32))))))
0.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (sqrt.f32 (PI.f32)) (*.f32 (sqrt.f32 (PI.f32)) (*.f32 2 s))) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (*.f32 r (PI.f32))))))
15.6b
(+.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 s (*.f32 (*.f32 (PI.f32) 6) r)) 3) 1/3)))
✓0.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 3)))))
Compiler

Compiled 258 to 188 computations (27.1% saved)

regimes27.0ms (0.7%)

Accuracy

Total -15.9b remaining (-16135.7%)

Threshold costs -15.9b (-16135.7%)

Counts
13 → 1
Calls
Call 1
Inputs
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 (*.f32 2 s) (pow.f32 (cbrt.f32 (PI.f32)) 2)) (cbrt.f32 (PI.f32))) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (*.f32 r (PI.f32))))))
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (sqrt.f32 (PI.f32)) (*.f32 (sqrt.f32 (PI.f32)) (*.f32 2 s))) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (*.f32 r (PI.f32))))))
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (pow.f32 (cbrt.f32 (*.f32 r (PI.f32))) 3)))))
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (*.f32 r (PI.f32))))))
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 (*.f32 2 s) (sqrt.f32 (PI.f32))) (sqrt.f32 (PI.f32))) 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 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)))
(+.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 s (*.f32 (PI.f32) (*.f32 r 6)))))
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3) 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 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 r (PI.f32))))))
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (expm1.f32 (log1p.f32 (*.f32 (*.f32 2 (PI.f32)) (*.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 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 s (*.f32 (*.f32 (PI.f32) 6) r)) 3) 1/3)))
(*.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))))
(+.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 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (*.f32 r (PI.f32))))))
Results
TimeErrorSegmentsBranch
6.0ms0.1b1s
7.0ms0.1b1r
4.0ms0.1b1(+.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 493 to 293 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 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (*.f32 r (PI.f32))))))
Outputs
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (*.f32 r (PI.f32))))))
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 r (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 s 2))) 3))) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 s 3)))) (*.f32 6 (*.f32 s (*.f32 r (PI.f32))))))

end25.0ms (0.7%)

Stop Event
1×fuel
Compiler

Compiled 76 to 56 computations (26.3% saved)

Profiling

Loading profile data...