Details

Time bar (total: 3.8s)

analyze102.0ms (2.7%)

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

Compiled 50 to 36 computations (28% saved)

sample1.9s (51%)

Results
1.9s8256×body128valid
Compiler

Compiled 100 to 72 computations (28% saved)

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

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

localize79.0ms (2.1%)

Local error

Found 4 expressions with local error:

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

series17.0ms (0.5%)

Counts
4 → 84
Calls

21 calls:

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

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

simplify25.0ms (0.7%)

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

Useful iterations: 0 (0.0ms)

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

prune141.0ms (3.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New92698
Fresh011
Picked101
Done000
Total937100
Error
0.0b
Counts
100 → 7
Alt Table
StatusErrorProgram
26.5b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (log.f32 (pow.f32 (pow.f32 (exp.f32 s) (*.f32 (PI.f32) 6)) r))))
0.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))))
▶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)))) (pow.f32 (cbrt.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s)) 3)))
0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (exp.f32 (log.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s)))))
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.9b
(*.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 4033 to 2511 computations (37.7% saved)

localize110.0ms (2.9%)

Local error

Found 4 expressions with local error:

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

series46.0ms (1.2%)

Counts
3 → 36
Calls

12 calls:

TimeVariablePointExpression
23.0ms
r
@-inf
(*.f32 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3) r)
6.0ms
s
@0
(pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3)
5.0ms
s
@-inf
(pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3)
3.0ms
s
@0
(*.f32 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3) r)
2.0ms
s
@-inf
(*.f32 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 2 s))) 3) r)

rewrite53.0ms (1.4%)

Algorithm
1×batch-egg-rewrite
Rules
846×log1p-expm1-u_binary32
846×expm1-log1p-u_binary32
100×add-sqr-sqrt_binary32
95×pow1_binary32
94×*-un-lft-identity_binary32
Iterations

Useful iterations: 0 (0.0ms)

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

simplify14.0ms (0.4%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
010360
119360
243360
374360
477360
Stop Event
1×saturated
Counts
109 → 64
Calls
Call 1
Inputs
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
Outputs
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))

prune189.0ms (5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New80181
Fresh156
Picked011
Done000
Total81788
Error
0.0b
Counts
88 → 7
Alt Table
StatusErrorProgram
26.5b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (log.f32 (pow.f32 (pow.f32 (exp.f32 s) (*.f32 (PI.f32) 6)) r))))
0.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))))
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 (*.f32 r (*.f32 (PI.f32) 6)) 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)))) (pow.f32 (cbrt.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s)) 3)))
▶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.9b
(*.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)))
Compiler

Compiled 3582 to 2275 computations (36.5% saved)

localize95.0ms (2.5%)

Local error

Found 4 expressions with local error:

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

series3.0ms (0.1%)

Counts
2 → 36
Calls

9 calls:

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

rewrite46.0ms (1.2%)

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

Useful iterations: 0 (0.0ms)

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

simplify31.0ms (0.8%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
010360
119360
243360
374360
477360
Stop Event
1×saturated
Counts
89 → 55
Calls
Call 1
Inputs
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
Outputs
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (PI.f32)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))
(*.f32 2 (*.f32 s (*.f32 (PI.f32) r)))
(*.f32 s (*.f32 (*.f32 (PI.f32) r) 2))
(*.f32 s (*.f32 2 (*.f32 (PI.f32) r)))
(*.f32 (PI.f32) (*.f32 r (*.f32 2 s)))

prune178.0ms (4.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New78078
Fresh055
Picked011
Done011
Total78785
Error
0.0b
Counts
85 → 7
Alt Table
StatusErrorProgram
26.5b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (log.f32 (pow.f32 (pow.f32 (exp.f32 s) (*.f32 (PI.f32) 6)) r))))
▶0.1b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (*.f32 (PI.f32) r)))))
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 (*.f32 r (*.f32 (PI.f32) 6)) 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)))) (pow.f32 (cbrt.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s)) 3)))
✓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.9b
(*.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)))
Compiler

Compiled 3316 to 2071 computations (37.5% saved)

localize106.0ms (2.8%)

Local error

Found 4 expressions with local error:

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

series3.0ms (0.1%)

Counts
2 → 0
Calls

9 calls:

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

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

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

prune132.0ms (3.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New58361
Fresh224
Picked101
Done022
Total61768
Error
0.0b
Counts
68 → 7
Alt Table
StatusErrorProgram
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)))) (pow.f32 (cbrt.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s)) 3)))
26.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)))) (log.f32 (pow.f32 (pow.f32 (exp.f32 s) (*.f32 (PI.f32) r)) 6))))
✓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.9b
(*.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.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (exp.f32 (log.f32 (*.f32 (PI.f32) r)))))))
0.9b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 6 (*.f32 s (log.f32 (+.f32 1 (expm1.f32 (*.f32 (PI.f32) r))))))))
Compiler

Compiled 2448 to 1424 computations (41.8% saved)

regimes122.0ms (3.2%)

Accuracy

Total 0.0b remaining (25.4%)

Threshold costs 0.0b (25.4%)

Counts
67 → 1
Compiler

Compiled 2336 to 1371 computations (41.3% saved)

simplify24.0ms (0.6%)

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
02853
14853
25453
35953
46153
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (pow.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s) 1)))
Outputs
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (pow.f32 (*.f32 (*.f32 r (*.f32 (PI.f32) 6)) s) 1)))
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 r (*.f32 s (*.f32 2 (PI.f32))))) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 s 3)))) (*.f32 s (*.f32 r (*.f32 (PI.f32) 6)))))

end182.0ms (4.8%)

Stop Event
1×fuel
Compiler

Compiled 321 to 235 computations (26.8% saved)

Profiling

Loading profile data...