Details

Time bar (total: 4.3s)

analyze97.0ms (2.3%)

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

Results
1.9s8256×body128valid
Compiler

Compiled 100 to 72 computations (28% saved)

preprocess24.0ms (0.6%)

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

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

Compiled 169 to 117 computations (30.8% saved)

localize74.0ms (1.7%)

Local error

Found 4 expressions with local error:

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

series27.0ms (0.6%)

Counts
4 → 84
Calls

21 calls:

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

rewrite56.0ms (1.3%)

Algorithm
1×batch-egg-rewrite
Rules
276×expm1-udef_binary32
276×log1p-udef_binary32
166×associate-*r*_binary32
166×add-sqr-sqrt_binary32
155×log1p-expm1-u_binary32
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01639
133937
2445237
Stop Event
1×node limit
Counts
4 → 92

simplify27.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
48×associate-*l*_binary32
34×associate-*r*_binary32
28×*-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

prune130.0ms (3.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New91798
Fresh011
Picked101
Done000
Total928100
Error
0.1b
Counts
100 → 8
Alt Table
StatusErrorProgram
16.8b
(+.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 (*.f32 (PI.f32) (*.f32 6 s)) 3) (pow.f32 r 3)))))
24.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 (pow.f32 (exp.f32 (PI.f32)) 6) 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)))) (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))) 3)))
16.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)))) (pow.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r))) 3) 1/3)))
▶0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (neg.f32 (*.f32 r (/.f32 1/3 s))))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
1.4b
(*.f32 (/.f32 (/.f32 (/.f32 1/8 s) (PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 r) (/.f32 -1/3 s))))
0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (pow.f32 (cbrt.f32 (*.f32 (*.f32 2 (PI.f32)) 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.3b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))))))
Compiler

Compiled 4117 to 2579 computations (37.4% saved)

localize79.0ms (1.9%)

Local error

Found 4 expressions with local error:

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

series9.0ms (0.2%)

Counts
2 → 24
Calls

9 calls:

2.0ms
(*.f32 r (/.f32 1/3 s))
s
-inf
1.0ms
(*.f32 r (/.f32 1/3 s))
r
0
1.0ms
(*.f32 r (/.f32 1/3 s))
r
inf
1.0ms
(*.f32 r (/.f32 1/3 s))
r
-inf
1.0ms
(*.f32 r (/.f32 1/3 s))
s
0

rewrite32.0ms (0.8%)

Algorithm
1×batch-egg-rewrite
Rules
572×log1p-expm1-u_binary32
572×expm1-log1p-u_binary32
297×log-prod_binary32
163×pow2_binary32
115×pow1/3_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0611
112811
2156811
Stop Event
1×node limit
Counts
2 → 56

simplify12.0ms (0.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
19168
213168
317168
418168
Stop Event
1×saturated
Counts
80 → 58

prune204.0ms (4.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New88391
Fresh077
Picked101
Done000
Total891099
Error
0.1b
Counts
99 → 10
Alt Table
StatusErrorProgram
16.8b
(+.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 (*.f32 (PI.f32) (*.f32 6 s)) 3) (pow.f32 r 3)))))
0.3b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (neg.f32 (*.f32 r (/.f32 1/3 s))))) (pow.f32 (sqrt.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))) 2)))
0.3b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))))))
22.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 (neg.f32 (*.f32 r (/.f32 1/3 s))))) (-.f32 (exp.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r))))) 1)))
24.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 (pow.f32 (exp.f32 (PI.f32)) 6) 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)))) (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))) 3)))
16.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)))) (pow.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r))) 3) 1/3)))
1.4b
(*.f32 (/.f32 (/.f32 (/.f32 1/8 s) (PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 r) (/.f32 -1/3 s))))
▶0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (pow.f32 (cbrt.f32 (*.f32 (*.f32 2 (PI.f32)) 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.3b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (neg.f32 (exp.f32 (log.f32 (*.f32 (/.f32 1/3 s) r)))))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
Compiler

Compiled 4040 to 2642 computations (34.6% saved)

localize86.0ms (2%)

Local error

Found 4 expressions with local error:

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

series150.0ms (3.5%)

Counts
2 → 24
Calls

9 calls:

54.0ms
(*.f32 (pow.f32 (cbrt.f32 (*.f32 (*.f32 2 (PI.f32)) s)) 3) r)
s
-inf
24.0ms
(pow.f32 (cbrt.f32 (*.f32 (*.f32 2 (PI.f32)) s)) 3)
s
-inf
12.0ms
(*.f32 (pow.f32 (cbrt.f32 (*.f32 (*.f32 2 (PI.f32)) s)) 3) r)
s
0
12.0ms
(*.f32 (pow.f32 (cbrt.f32 (*.f32 (*.f32 2 (PI.f32)) s)) 3) r)
r
inf
12.0ms
(*.f32 (pow.f32 (cbrt.f32 (*.f32 (*.f32 2 (PI.f32)) s)) 3) r)
r
0

rewrite39.0ms (0.9%)

Algorithm
1×batch-egg-rewrite
Rules
848×log1p-expm1-u_binary32
848×expm1-log1p-u_binary32
97×add-sqr-sqrt_binary32
91×add-cbrt-cube_binary32
91×add-log-exp_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01119
122219
2238819
Stop Event
1×node limit
Counts
2 → 54

simplify12.0ms (0.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
08264
115264
237264
372264
483264
Stop Event
1×saturated
Counts
78 → 56

prune194.0ms (4.6%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New89089
Fresh099
Picked011
Done000
Total891099
Error
0.1b
Counts
99 → 10
Alt Table
StatusErrorProgram
16.8b
(+.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 (*.f32 (PI.f32) (*.f32 6 s)) 3) (pow.f32 r 3)))))
0.3b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (neg.f32 (*.f32 r (/.f32 1/3 s))))) (pow.f32 (sqrt.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))) 2)))
0.3b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (exp.f32 (log.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))))))
22.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 (neg.f32 (*.f32 r (/.f32 1/3 s))))) (-.f32 (exp.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r))))) 1)))
24.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 (pow.f32 (exp.f32 (PI.f32)) 6) 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)))) (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))) 3)))
16.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)))) (pow.f32 (pow.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r))) 3) 1/3)))
1.4b
(*.f32 (/.f32 (/.f32 (/.f32 1/8 s) (PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 r) (/.f32 -1/3 s))))
✓0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (pow.f32 (cbrt.f32 (*.f32 (*.f32 2 (PI.f32)) 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.3b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (neg.f32 (exp.f32 (log.f32 (*.f32 (/.f32 1/3 s) r)))))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))
Compiler

Compiled 4131 to 2596 computations (37.2% saved)

localize83.0ms (2%)

Local error

Found 4 expressions with local error:

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

series85.0ms (2%)

Counts
3 → 24
Calls

18 calls:

21.0ms
(pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))) 3)
s
-inf
21.0ms
(pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))) 3)
r
-inf
9.0ms
(pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))) 3)
s
0
7.0ms
(pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))) 3)
s
inf
7.0ms
(pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))) 3)
r
0

rewrite48.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
881×log1p-expm1-u_binary32
881×expm1-log1p-u_binary32
100×add-sqr-sqrt_binary32
97×associate-*r*_binary32
94×add-cbrt-cube_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01129
122429
2245829
Stop Event
1×node limit
Counts
3 → 75

simplify13.0ms (0.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
08264
115264
237264
372264
483264
Stop Event
1×saturated
Counts
99 → 66

prune223.0ms (5.2%)

Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New76682
Fresh448
Picked011
Done011
Total801292
Error
0.1b
Counts
92 → 12
Alt Table
StatusErrorProgram
0.3b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (pow.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (*.f32 6 (*.f32 (*.f32 s r) (PI.f32))))) 2) 3) (cbrt.f32 (*.f32 6 (*.f32 (*.f32 s r) (PI.f32)))))))
✓0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (pow.f32 (cbrt.f32 (*.f32 (*.f32 2 (PI.f32)) 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.3b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (neg.f32 (*.f32 r (/.f32 1/3 s))))) (pow.f32 (sqrt.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))) 2)))
24.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 (pow.f32 (exp.f32 (PI.f32)) 6) 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)))) (pow.f32 (cbrt.f32 (*.f32 (PI.f32) (*.f32 6 (*.f32 s r)))) 3)))
0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (pow.f32 (cbrt.f32 (*.f32 6 (*.f32 s r))) 2) (*.f32 (cbrt.f32 (*.f32 6 (*.f32 s r))) (PI.f32)))))
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)))) (expm1.f32 (log1p.f32 (*.f32 6 (*.f32 (*.f32 s r) (PI.f32)))))))
0.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)))) (*.f32 (pow.f32 (pow.f32 (*.f32 6 (*.f32 (*.f32 s r) (PI.f32))) 1/6) 3) (pow.f32 (pow.f32 (*.f32 6 (*.f32 (*.f32 s r) (PI.f32))) 1/6) 3))))
1.4b
(*.f32 (/.f32 (/.f32 (/.f32 1/8 s) (PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 r) (/.f32 -1/3 s))))
0.3b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (neg.f32 (exp.f32 (log.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)))) (*.f32 (*.f32 (*.f32 6 (*.f32 s r)) (pow.f32 (cbrt.f32 (PI.f32)) 2)) (cbrt.f32 (PI.f32)))))
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 (PI.f32) (*.f32 6 s)) r)))
Compiler

Compiled 3701 to 2216 computations (40.1% saved)

regimes358.0ms (8.4%)

Accuracy

Total 0.1b remaining (42%)

Threshold costs 0.1b (42%)

Counts
102 → 1
Compiler

Compiled 11374 to 8362 computations (26.5% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02858
14658
25258
35758
45958
Stop Event
1×saturated

end250.0ms (5.9%)

Stop Event
1×fuel
Compiler

Compiled 545 to 396 computations (27.3% saved)

Profiling

Loading profile data...