Details

Time bar (total: 9.5s)

analyze139.0ms (1.5%)

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 44 to 32 computations (27.3% saved)

sample48.0ms (0.5%)

Algorithm
1×intervals
Results
25.0ms256×body128valid
5.0ms256×pre128true
Compiler

Compiled 81 to 59 computations (27.2% saved)

simplify99.0ms (1%)

Algorithm
1×egg-herbie
Rules
634×associate-*l*_binary32
530×associate-*r*_binary32
445×associate-/r*_binary32
406×*-commutative_binary32
367×associate-/l*_binary32
Counts
1 → 1
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02653
16645
223535
385032
4252432
5376232
6402932
7442632
8475632
9485732
10478332

prune13.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.2b
Counts
2 → 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 1/8 (*.f32 s PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 (/.f32 r s)) -1/3)))
Compiler

Compiled 136 to 98 computations (27.9% saved)

localize75.0ms (0.8%)

Local error

Found 4 expressions with local error:

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

rewrite442.0ms (4.7%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
32×add-cbrt-cube_binary32
32×add-exp-log_binary32
27×pow1_binary32
16×cbrt-unprod_binary32
16×prod-exp_binary32
Counts
4 → 97
Calls

4 calls:

6.0ms
(*.f32 (*.f32 (*.f32 2 PI.f32) s) r)
6.0ms
(*.f32 (*.f32 (*.f32 6 PI.f32) s) r)
5.0ms
(/.f32 (neg.f32 r) (*.f32 3 s))
5.0ms
(*.f32 (*.f32 2 PI.f32) s)
Compiler

Compiled 3367 to 1941 computations (42.4% saved)

series137.0ms (1.4%)

Error
0.2b
Counts
4 → 21
Calls

4 calls:

37.0ms
(*.f32 (*.f32 (*.f32 2 PI.f32) s) r)
37.0ms
(*.f32 (*.f32 (*.f32 6 PI.f32) s) r)
33.0ms
(/.f32 (neg.f32 r) (*.f32 3 s))
18.0ms
(*.f32 (*.f32 2 PI.f32) s)
Compiler

Compiled 1591 to 1130 computations (29% saved)

simplify106.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
512×associate-/l*_binary32
421×associate-*l*_binary32
326×associate-/r*_binary32
314×distribute-rgt-neg-out_binary32
309×associate-*r*_binary32
Counts
118 → 90
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01791560
14341267
218731261
345401261
449871261
549511261

prune193.0ms (2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New82890
Fresh011
Picked101
Done000
Total83992
Error
0.1b
Counts
92 → 9
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 1 (*.f32 -3 (/.f32 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 (cbrt.f32 r) (cbrt.f32 r)) (*.f32 s (*.f32 PI.f32 6))) (cbrt.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)))) (*.f32 (*.f32 (sqrt.f32 r) (*.f32 s (*.f32 PI.f32 6))) (sqrt.f32 r))))
▶0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r)))) (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r))))) (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r)))))) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 PI.f32) s) r)))
17.6b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 PI.f32) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (cbrt.f32 (pow.f32 (*.f32 (*.f32 s (*.f32 PI.f32 r)) 6) 3))))
25.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)))) (log.f32 (exp.f32 (*.f32 (*.f32 s (*.f32 PI.f32 r)) 6)))))
1.3b
(*.f32 (/.f32 (/.f32 1/8 (*.f32 s PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 (/.f32 r s)) -1/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 (/.f32 (neg.f32 r) (*.f32 3 s)))) (exp.f32 (log.f32 (*.f32 (*.f32 s (*.f32 PI.f32 r)) 6)))))
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 1/3 (/.f32 (neg.f32 r) s)))) (*.f32 (*.f32 (*.f32 6 PI.f32) s) r)))
Compiler

Compiled 2532 to 1508 computations (40.4% saved)

localize92.0ms (1%)

Local error

Found 4 expressions with local error:

0.3b
(*.f32 PI.f32 r)
0.3b
(*.f32 PI.f32 r)
0.3b
(*.f32 (*.f32 (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r)))) (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r))))) (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r)))))
0.5b
(*.f32 (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r)))) (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r)))))

rewrite455.0ms (4.8%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
34×pow1_binary32
20×add-sqr-sqrt_binary32
15×add-exp-log_binary32
15×pow1/3_binary32
14×associate-*r*_binary32
Counts
4 → 100
Calls

4 calls:

11.0ms
(*.f32 (*.f32 (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r)))) (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r))))) (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r)))))
7.0ms
(*.f32 (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r)))) (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r)))))
7.0ms
(*.f32 PI.f32 r)
4.0ms
(*.f32 PI.f32 r)
Compiler

Compiled 4877 to 2481 computations (49.1% saved)

series248.0ms (2.6%)

Error
0.1b
Counts
4 → 18
Calls

4 calls:

102.0ms
(*.f32 (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r)))) (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r)))))
60.0ms
(*.f32 (*.f32 (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r)))) (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r))))) (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r)))))
22.0ms
(*.f32 PI.f32 r)
21.0ms
(*.f32 PI.f32 r)
Compiler

Compiled 2348 to 1670 computations (28.9% saved)

simplify105.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
440×log-prod_binary32
309×unswap-sqr_binary32
303×*-commutative_binary32
244×exp-prod_binary32
185×associate-*l*_binary32
Counts
118 → 91
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01501957
13361662
29151448
318131348
446601348
549541348

prune309.0ms (3.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New90191
Fresh088
Picked011
Done000
Total9010100
Error
0.1b
Counts
100 → 10
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 1 (*.f32 -3 (/.f32 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 (cbrt.f32 r) (cbrt.f32 r)) (*.f32 s (*.f32 PI.f32 6))) (cbrt.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)))) (*.f32 (*.f32 (sqrt.f32 r) (*.f32 s (*.f32 PI.f32 6))) (sqrt.f32 r))))
✓0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r)))) (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r))))) (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r)))))) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 PI.f32) s) r)))
0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (pow.f32 (sqrt.f32 (cbrt.f32 (*.f32 s (*.f32 r (*.f32 2 PI.f32))))) 4) (cbrt.f32 (*.f32 s (*.f32 r (*.f32 2 PI.f32)))))) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 PI.f32) s) r)))
17.6b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 PI.f32) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (cbrt.f32 (pow.f32 (*.f32 (*.f32 s (*.f32 PI.f32 r)) 6) 3))))
25.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)))) (log.f32 (exp.f32 (*.f32 (*.f32 s (*.f32 PI.f32 r)) 6)))))
1.3b
(*.f32 (/.f32 (/.f32 1/8 (*.f32 s PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 (/.f32 r s)) -1/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 (/.f32 (neg.f32 r) (*.f32 3 s)))) (exp.f32 (log.f32 (*.f32 (*.f32 s (*.f32 PI.f32 r)) 6)))))
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 1/3 (/.f32 (neg.f32 r) s)))) (*.f32 (*.f32 (*.f32 6 PI.f32) s) r)))
Compiler

Compiled 3501 to 2053 computations (41.4% saved)

localize81.0ms (0.9%)

Local error

Found 4 expressions with local error:

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

rewrite425.0ms (4.5%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
44×add-exp-log_binary32
32×add-cbrt-cube_binary32
23×pow1_binary32
21×add-sqr-sqrt_binary32
19×associate-*r*_binary32
Counts
4 → 104
Calls

4 calls:

7.0ms
(*.f32 -3 (/.f32 s r))
7.0ms
(*.f32 (*.f32 (*.f32 2 PI.f32) s) r)
6.0ms
(/.f32 1 (*.f32 -3 (/.f32 s r)))
5.0ms
(*.f32 (*.f32 2 PI.f32) s)
Compiler

Compiled 3788 to 2253 computations (40.5% saved)

series145.0ms (1.5%)

Error
0.1b
Counts
4 → 21
Calls

4 calls:

41.0ms
(*.f32 (*.f32 (*.f32 2 PI.f32) s) r)
37.0ms
(*.f32 -3 (/.f32 s r))
35.0ms
(/.f32 1 (*.f32 -3 (/.f32 s r)))
17.0ms
(*.f32 (*.f32 2 PI.f32) s)
Compiler

Compiled 1624 to 1196 computations (26.4% saved)

simplify115.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
513×*-commutative_binary32
376×sqr-pow_binary32
301×unswap-sqr_binary32
246×associate-*l*_binary32
222×associate-/l*_binary32
Counts
125 → 81
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01571419
13651201
212931192
327911192
432441192
541061192
649661192

prune213.0ms (2.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New80181
Fresh088
Picked101
Done011
Total811091
Error
0.1b
Counts
91 → 10
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 (cbrt.f32 r) (cbrt.f32 r)) (*.f32 s (*.f32 PI.f32 6))) (cbrt.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)))) (*.f32 (*.f32 (sqrt.f32 r) (*.f32 s (*.f32 PI.f32 6))) (sqrt.f32 r))))
✓0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r)))) (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r))))) (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r)))))) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 PI.f32) s) r)))
0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (pow.f32 (sqrt.f32 (cbrt.f32 (*.f32 s (*.f32 r (*.f32 2 PI.f32))))) 4) (cbrt.f32 (*.f32 s (*.f32 r (*.f32 2 PI.f32)))))) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 PI.f32) s) r)))
17.6b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 PI.f32) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (cbrt.f32 (pow.f32 (*.f32 (*.f32 s (*.f32 PI.f32 r)) 6) 3))))
25.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)))) (log.f32 (exp.f32 (*.f32 (*.f32 s (*.f32 PI.f32 r)) 6)))))
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 1 (*.f32 (*.f32 -3 (sqrt.f32 s)) (/.f32 (sqrt.f32 s) r))))) (*.f32 (*.f32 (*.f32 6 PI.f32) s) r)))
1.3b
(*.f32 (/.f32 (/.f32 1/8 (*.f32 s PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 (/.f32 r s)) -1/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 (/.f32 (neg.f32 r) (*.f32 3 s)))) (exp.f32 (log.f32 (*.f32 (*.f32 s (*.f32 PI.f32 r)) 6)))))
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 1/3 (/.f32 (neg.f32 r) s)))) (*.f32 (*.f32 (*.f32 6 PI.f32) s) r)))
Compiler

Compiled 2232 to 1399 computations (37.3% saved)

localize92.0ms (1%)

Local error

Found 4 expressions with local error:

0.3b
(*.f32 (*.f32 (*.f32 (cbrt.f32 r) (cbrt.f32 r)) (*.f32 s (*.f32 PI.f32 6))) (cbrt.f32 r))
0.4b
(*.f32 (*.f32 (cbrt.f32 r) (cbrt.f32 r)) (*.f32 s (*.f32 PI.f32 6)))
0.4b
(*.f32 (*.f32 2 PI.f32) s)
0.5b
(*.f32 (cbrt.f32 r) (cbrt.f32 r))

rewrite546.0ms (5.8%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
66×pow1_binary32
61×add-exp-log_binary32
42×pow-prod-down_binary32
41×cbrt-unprod_binary32
41×prod-exp_binary32
Counts
4 → 122
Calls

4 calls:

15.0ms
(*.f32 (*.f32 (*.f32 (cbrt.f32 r) (cbrt.f32 r)) (*.f32 s (*.f32 PI.f32 6))) (cbrt.f32 r))
11.0ms
(*.f32 (*.f32 (cbrt.f32 r) (cbrt.f32 r)) (*.f32 s (*.f32 PI.f32 6)))
6.0ms
(*.f32 (cbrt.f32 r) (cbrt.f32 r))
5.0ms
(*.f32 (*.f32 2 PI.f32) s)
Compiler

Compiled 4857 to 2417 computations (50.2% saved)

series192.0ms (2%)

Error
0.1b
Counts
4 → 18
Calls

4 calls:

68.0ms
(*.f32 (*.f32 (cbrt.f32 r) (cbrt.f32 r)) (*.f32 s (*.f32 PI.f32 6)))
45.0ms
(*.f32 (*.f32 (*.f32 (cbrt.f32 r) (cbrt.f32 r)) (*.f32 s (*.f32 PI.f32 6))) (cbrt.f32 r))
29.0ms
(*.f32 (cbrt.f32 r) (cbrt.f32 r))
18.0ms
(*.f32 (*.f32 2 PI.f32) s)
Compiler

Compiled 1741 to 1232 computations (29.2% saved)

simplify169.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
480×log-prod_binary32
460×associate-*l*_binary32
455×sqr-pow_binary32
383×associate-*r*_binary32
360×unswap-sqr_binary32
Counts
140 → 119
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01742722
14221766
216041694
322221660
435931568
544271568
649661568
750161568

prune255.0ms (2.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New1172119
Fresh268
Picked011
Done011
Total11910129
Error
0.1b
Counts
129 → 10
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 (cbrt.f32 r) (cbrt.f32 r)) (*.f32 s (*.f32 PI.f32 6))) (cbrt.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)))) (*.f32 (*.f32 (sqrt.f32 r) (*.f32 s (*.f32 PI.f32 6))) (sqrt.f32 r))))
0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r)))) (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r))))) (cbrt.f32 (*.f32 2 (*.f32 s (*.f32 PI.f32 r)))))) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 PI.f32) s) r)))
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 (*.f32 (pow.f32 r 2/3) (*.f32 s (*.f32 PI.f32 6))) (cbrt.f32 r))))
0.2b
(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (pow.f32 (sqrt.f32 (cbrt.f32 (*.f32 s (*.f32 r (*.f32 2 PI.f32))))) 4) (cbrt.f32 (*.f32 s (*.f32 r (*.f32 2 PI.f32)))))) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 PI.f32) s) r)))
25.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)))) (log.f32 (exp.f32 (*.f32 (*.f32 s (*.f32 PI.f32 r)) 6)))))
1.3b
(*.f32 (/.f32 (/.f32 1/8 (*.f32 s PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 (/.f32 r s)) -1/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 (/.f32 (neg.f32 r) (*.f32 3 s)))) (exp.f32 (log.f32 (*.f32 (*.f32 s (*.f32 PI.f32 r)) 6)))))
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 1/3 (/.f32 (neg.f32 r) 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 (*.f32 (exp.f32 (*.f32 2 (log.f32 (cbrt.f32 r)))) (*.f32 s (*.f32 PI.f32 6))) (cbrt.f32 r))))
Compiler

Compiled 2298 to 1277 computations (44.4% saved)

regimes2.5s (26.2%)

Accuracy

Total 0.0b remaining (40.6%)

Threshold costs 0.0b (40.6%)

Compiler

Compiled 31309 to 21802 computations (30.4% saved)

simplify16.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
84×distribute-rgt-neg-in_binary32
54×distribute-lft-neg-in_binary32
52×distribute-lft-neg-out_binary32
46×cancel-sign-sub-inv_binary32
42×neg-sub0_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03567
16067
28067
310267
413267
515867
619767
724767
828167
931067
1033567
1135167
1236967
1337867
1438067
1536867

end3.0ms (0%)

Compiler

Compiled 44 to 30 computations (31.8% saved)

sample2.3s (24.2%)

Algorithm
1×intervals
Results
826.0ms8000×body128valid
175.0ms8000×pre128true
Compiler

Compiled 487 to 342 computations (29.8% saved)

Profiling

Loading profile data...