Details

Time bar (total: 3.8s)

analyze111.0ms (2.9%)

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 (55.9%)

Results
2.1s8256×body128valid
Compiler

Compiled 100 to 72 computations (28% saved)

preprocess27.0ms (0.7%)

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)

simplify21.0ms (0.5%)

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.2b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
1.3b
(*.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)

localize104.0ms (2.7%)

Local error

Found 4 expressions with local error:

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

series18.0ms (0.5%)

Counts
4 → 84
Calls

21 calls:

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

rewrite57.0ms (1.5%)

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

simplify26.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
48×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
3141792
4154792
Stop Event
1×saturated
Counts
176 → 99
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))
(*.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 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
Outputs
(*.f32 -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)
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 6 (*.f32 s (*.f32 r (PI.f32))))
(*.f32 (*.f32 (*.f32 s 6) (PI.f32)) r)
(*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))
(*.f32 r (*.f32 s (*.f32 6 (PI.f32))))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 s (*.f32 (PI.f32) 2))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 s (*.f32 (PI.f32) 2))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 s (*.f32 (PI.f32) 2))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 s (*.f32 (PI.f32) 2))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 s (*.f32 (PI.f32) 2))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 s (*.f32 (PI.f32) 2))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 s (*.f32 (PI.f32) 2))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 s (*.f32 (PI.f32) 2))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 s (*.f32 (PI.f32) 2))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 s (*.f32 (PI.f32) 2))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 s (*.f32 (PI.f32) 2))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 (*.f32 2 s) (PI.f32))
(*.f32 s (*.f32 (PI.f32) 2))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 (*.f32 s (*.f32 r (PI.f32))) 2)
(*.f32 (*.f32 r (PI.f32)) (*.f32 s 2))
(*.f32 (PI.f32) (*.f32 (*.f32 r s) 2))
(*.f32 (*.f32 (PI.f32) 2) (*.f32 r s))

prune136.0ms (3.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New92799
Fresh101
Picked101
Done000
Total947101
Error
0.1b
Counts
101 → 7
Alt Table
StatusErrorProgram
0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (exp.f32 (log.f32 (*.f32 6 (*.f32 (PI.f32) (*.f32 r s)))))))
0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (*.f32 (/.f32 -1/3 s) r))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
18.4b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (cbrt.f32 (*.f32 (pow.f32 r 3) (pow.f32 (*.f32 s (*.f32 6 (PI.f32))) 3)))))
17.7b
(+.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 6 (*.f32 (PI.f32) (*.f32 r s))) 3) 1/3)))
0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (exp.f32 (log.f32 (*.f32 s (*.f32 (PI.f32) 2)))) 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 (/.f32 -1 (cbrt.f32 (*.f32 (*.f32 s s) 9))) (/.f32 r (cbrt.f32 (*.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 (pow.f32 (cbrt.f32 (*.f32 s (*.f32 (PI.f32) 2))) 3) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
Compiler

Compiled 4116 to 2527 computations (38.6% saved)

localize89.0ms (2.3%)

Local error

Found 4 expressions with local error:

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

series10.0ms (0.3%)

Counts
2 → 12
Calls

6 calls:

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

rewrite39.0ms (1%)

Algorithm
1×batch-egg-rewrite
Rules
715×pow1_binary32
669×add-log-exp_binary32
668×log1p-expm1-u_binary32
668×expm1-log1p-u_binary32
80×add-sqr-sqrt_binary32
Iterations

Useful iterations: 0 (0.0ms)

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

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
65 → 43
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))

prune179.0ms (4.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1071108
Fresh156
Picked101
Done000
Total1096115
Error
0.1b
Counts
115 → 6
Alt Table
StatusErrorProgram
18.4b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (cbrt.f32 (*.f32 (pow.f32 r 3) (pow.f32 (*.f32 s (*.f32 6 (PI.f32))) 3)))))
17.7b
(+.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 6 (*.f32 (PI.f32) (*.f32 r s))) 3) 1/3)))
0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (exp.f32 (log.f32 (*.f32 s (*.f32 (PI.f32) 2)))) 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 (/.f32 -1 (cbrt.f32 (*.f32 (*.f32 s s) 9))) (/.f32 r (cbrt.f32 (*.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 s (*.f32 (PI.f32) 2))) 3) r)) (/.f32 (*.f32 3/4 (exp.f32 (*.f32 (/.f32 -1/3 s) r))) (*.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 6 (*.f32 (PI.f32) (*.f32 r s)))))))
Compiler

Compiled 4733 to 2963 computations (37.4% saved)

localize98.0ms (2.6%)

Local error

Found 4 expressions with local error:

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

series1.0ms (0%)

Counts
1 → 0
Calls

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

rewrite30.0ms (0.8%)

Algorithm
1×batch-egg-rewrite
Rules
400×pow1_binary32
376×add-log-exp_binary32
376×log1p-expm1-u_binary32
376×expm1-log1p-u_binary32
369×add-exp-log_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044
1874
210244
Stop Event
1×node limit
Counts
1 → 20
Calls
Call 1
Inputs
(/.f32 -1/3 s)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 1 (/.f32 -1/3 s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 -1/3 (/.f32 1 s))))) (#(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 (/.f32 1 s) -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 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 log1p.f32 (expm1.f32 (/.f32 -1/3 s)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (/.f32 -1/3 s)))))))

simplify6.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

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

prune151.0ms (4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New79180
Fresh145
Picked011
Done000
Total80686
Error
0.1b
Counts
86 → 6
Alt Table
StatusErrorProgram
18.4b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (cbrt.f32 (*.f32 (pow.f32 r 3) (pow.f32 (*.f32 s (*.f32 6 (PI.f32))) 3)))))
17.7b
(+.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 6 (*.f32 (PI.f32) (*.f32 r s))) 3) 1/3)))
0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (*.f32 (/.f32 -1 (cbrt.f32 (*.f32 (*.f32 s s) 9))) (/.f32 r (cbrt.f32 (*.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 s (*.f32 (PI.f32) 2))) 3) r)) (/.f32 (*.f32 3/4 (exp.f32 (*.f32 (/.f32 -1/3 s) r))) (*.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 6 (*.f32 (PI.f32) (*.f32 r s)))))))
▶0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (exp.f32 (log.f32 (*.f32 2 (*.f32 s (PI.f32))))) r)) (/.f32 (*.f32 3/4 (exp.f32 (*.f32 (/.f32 -1/3 s) r))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
Compiler

Compiled 3506 to 2245 computations (36% saved)

localize97.0ms (2.5%)

Local error

Found 4 expressions with local error:

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

series2.0ms (0.1%)

Counts
2 → 12
Calls

6 calls:

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

rewrite35.0ms (0.9%)

Algorithm
1×batch-egg-rewrite
Rules
640×pow1_binary32
588×add-log-exp_binary32
588×log1p-expm1-u_binary32
588×expm1-log1p-u_binary32
68×add-sqr-sqrt_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
114613
2160213
Stop Event
1×node limit
Counts
2 → 46
Calls
Call 1
Inputs
(exp.f32 (log.f32 (*.f32 2 (*.f32 s (PI.f32)))))
(*.f32 s (PI.f32))
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 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 (PI.f32) (*.f32 2 s))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 s (PI.f32)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 s (*.f32 (PI.f32) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (*.f32 s (*.f32 (PI.f32) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (*.f32 s (*.f32 (PI.f32) 2))) (pow.f32 (cbrt.f32 (*.f32 s (*.f32 (PI.f32) 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (*.f32 s (*.f32 (PI.f32) 2))) 2) (cbrt.f32 (*.f32 s (*.f32 (PI.f32) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (*.f32 s (PI.f32))) 2) (*.f32 (cbrt.f32 (*.f32 s (PI.f32))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (*.f32 s (*.f32 (PI.f32) 2))) (sqrt.f32 (*.f32 s (*.f32 (PI.f32) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (*.f32 s (PI.f32))) (*.f32 (sqrt.f32 (*.f32 s (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 2 (PI.f32)) s)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 2 (pow.f32 (cbrt.f32 (*.f32 s (PI.f32))) 2)) (cbrt.f32 (*.f32 s (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 2 (sqrt.f32 (*.f32 s (PI.f32)))) (sqrt.f32 (*.f32 s (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (*.f32 2 s) 1) (PI.f32))))) (#(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 pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 s (*.f32 (PI.f32) 2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 s (*.f32 (PI.f32) 2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 s (*.f32 (PI.f32) 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (sqrt.f32 (log.f32 (*.f32 s (*.f32 (PI.f32) 2))))) (sqrt.f32 (log.f32 (*.f32 s (*.f32 (PI.f32) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 1) (log.f32 (*.f32 s (*.f32 (PI.f32) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (log.f32 (*.f32 s (*.f32 (PI.f32) 2)))) 2)) (cbrt.f32 (log.f32 (*.f32 s (*.f32 (PI.f32) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (*.f32 (pow.f32 (*.f32 s (PI.f32)) 2) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (pow.f32 (exp.f32 s) (PI.f32)) 2))))) (#(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 expm1.f32 (log1p.f32 (*.f32 s (*.f32 (PI.f32) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 s (*.f32 (PI.f32) 2))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 s (PI.f32)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 s (PI.f32)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 s (PI.f32)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 s (PI.f32))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 s (PI.f32))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 s (PI.f32)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 s) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 s (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 s (PI.f32)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 s 3) (pow.f32 (PI.f32) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 s 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 s (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 s (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 s (PI.f32))))))))

simplify8.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
58 → 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))

prune147.0ms (3.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New82183
Fresh134
Picked101
Done011
Total84589
Error
0.1b
Counts
89 → 5
Alt Table
StatusErrorProgram
17.7b
(+.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 6 (*.f32 (PI.f32) (*.f32 r s))) 3) 1/3)))
0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (exp.f32 (log.f32 (*.f32 2 (exp.f32 (log.f32 (*.f32 s (PI.f32))))))) r)) (/.f32 (*.f32 3/4 (exp.f32 (*.f32 (/.f32 -1/3 s) r))) (*.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 (/.f32 -1 (cbrt.f32 (*.f32 (*.f32 s s) 9))) (/.f32 r (cbrt.f32 (*.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 s (*.f32 (PI.f32) 2))) 3) r)) (/.f32 (*.f32 3/4 (exp.f32 (*.f32 (/.f32 -1/3 s) r))) (*.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 6 (*.f32 (PI.f32) (*.f32 r s)))))))
Compiler

Compiled 3244 to 2001 computations (38.3% saved)

regimes131.0ms (3.4%)

Accuracy

Total 0.1b remaining (36%)

Threshold costs 0.1b (36%)

Counts
72 → 1
Compiler

Compiled 2576 to 1532 computations (40.5% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
12×*-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
02965
14665
25065
35365
45465
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (pow.f32 (cbrt.f32 (*.f32 s (PI.f32))) 2)) (cbrt.f32 (*.f32 s (PI.f32)))) r)) (/.f32 (*.f32 3/4 (exp.f32 (*.f32 (/.f32 -1/3 s) r))) (*.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 (pow.f32 (cbrt.f32 (*.f32 s (PI.f32))) 2)) (cbrt.f32 (*.f32 s (PI.f32)))) r)) (/.f32 (*.f32 3/4 (exp.f32 (*.f32 (/.f32 -1/3 s) r))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 r (*.f32 (cbrt.f32 (*.f32 s (PI.f32))) (*.f32 2 (pow.f32 (cbrt.f32 (*.f32 s (PI.f32))) 2))))) (/.f32 (*.f32 3/4 (exp.f32 (*.f32 r (/.f32 -1/3 s)))) (*.f32 r (*.f32 s (*.f32 (PI.f32) 6)))))

end132.0ms (3.5%)

Stop Event
1×fuel
Compiler

Compiled 279 to 204 computations (26.9% saved)

Profiling

Loading profile data...