Details

Time bar (total: 5.8s)

analyze97.0ms (1.7%)

Algorithm
search
Search
TrueOtherFalseIter
0%24.7%75.3%0
0%24.7%75.3%1
0%24.7%75.3%2
12.4%12.4%75.3%3
12.4%12.4%75.3%4
18.5%6.2%75.3%5
18.5%6.2%75.3%6
21.6%3.1%75.3%7
21.6%3.1%75.3%8
23.2%1.5%75.3%9
23.2%1.5%75.3%10
23.9%0.8%75.3%11
23.9%0.8%75.3%12
24.3%0.4%75.3%13
24.3%0.4%75.3%14
Compiler

Compiled 35 to 18 computations (48.6% saved)

sample113.0ms (2%)

Algorithm
intervals
Results
18.0ms256×body128valid
4.0ms256×pre128true
Compiler

Compiled 65 to 33 computations (49.2% saved)

simplify77.0ms (1.3%)

Algorithm
egg-herbie
Rules
505×fma-def_binary32
440×times-frac_binary32
349×distribute-rgt-in_binary32
300×fma-neg_binary32
273×distribute-rgt-out_binary32
Counts
1 → 2
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
01243
13843
28241
318141
435739
577230
6229229
7334129
8424329
9492229
10487529

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 1 s) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
0.1b
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
Compiler

Compiled 142 to 75 computations (47.2% saved)

localize44.0ms (0.8%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)
0.0b
(/.f32 (/.f32 1 s) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
0.0b
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
0.1b
(exp.f32 (/.f32 (fabs.f32 x) s))

series99.0ms (1.7%)

Counts
4 → 80
Calls

4 calls:

67.0ms
(/.f32 (/.f32 1 s) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
13.0ms
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)
10.0ms
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
9.0ms
(exp.f32 (/.f32 (fabs.f32 x) s))

rewrite67.0ms (1.2%)

Algorithm
rewrite-expression-head
Rules
194×times-frac_binary32
181×*-un-lft-identity_binary32
118×add-sqr-sqrt_binary32
109×add-cube-cbrt_binary32
83×exp-prod_binary32
Counts
4 → 226
Calls

4 calls:

20.0ms
(/.f32 (/.f32 1 s) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
11.0ms
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)
7.0ms
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
4.0ms
(exp.f32 (/.f32 (fabs.f32 x) s))

simplify238.0ms (4.1%)

Algorithm
egg-herbie
Rules
512×times-frac_binary32
341×associate-/l*_binary32
334×associate-/r*_binary32
292×distribute-rgt-in_binary32
268×distribute-lft-in_binary32
Counts
306 → 305
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03117856
16537564
216367474
345917474
449657474
549147474

prune437.0ms (7.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New3005305
Fresh101
Picked101
Done000
Total3025307
Error
0.0b
Counts
307 → 5
Alt Table
StatusErrorProgram
0.2b
(*.f32 (sqrt.f32 (/.f32 1 s)) (/.f32 (sqrt.f32 (/.f32 1 s)) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))))
0.1b
(/.f32 (/.f32 1 s) (+.f32 (pow.f32 (exp.f32 (*.f32 (cbrt.f32 (/.f32 (fabs.f32 x) s)) (cbrt.f32 (/.f32 (fabs.f32 x) s)))) (cbrt.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
0.1b
(/.f32 (/.f32 1 s) (+.f32 (pow.f32 (E.f32) (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
0.1b
(/.f32 1 (*.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)) s))
0.2b
(*.f32 (sqrt.f32 (/.f32 (/.f32 1 s) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))) (sqrt.f32 (/.f32 (/.f32 1 s) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))))
Compiler

Compiled 9229 to 3651 computations (60.4% saved)

localize47.0ms (0.8%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)
0.0b
(/.f32 (/.f32 1 s) (+.f32 (pow.f32 (E.f32) (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
0.0b
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
0.0b
(pow.f32 (E.f32) (/.f32 (fabs.f32 x) s))

series520.0ms (9%)

Counts
2 → 48
Calls

2 calls:

315.0ms
(/.f32 (/.f32 1 s) (+.f32 (pow.f32 (E.f32) (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
205.0ms
(pow.f32 (E.f32) (/.f32 (fabs.f32 x) s))

rewrite66.0ms (1.1%)

Algorithm
rewrite-expression-head
Rules
143×*-un-lft-identity_binary32
140×times-frac_binary32
76×add-sqr-sqrt_binary32
73×add-cube-cbrt_binary32
42×distribute-lft-out_binary32
Counts
2 → 146
Calls

2 calls:

44.0ms
(/.f32 (/.f32 1 s) (+.f32 (pow.f32 (E.f32) (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
3.0ms
(pow.f32 (E.f32) (/.f32 (fabs.f32 x) s))

simplify287.0ms (5%)

Algorithm
egg-herbie
Rules
393×times-frac_binary32
320×associate-/r*_binary32
296×associate-/l/_binary32
294×associate-/l*_binary32
287×associate-*l*_binary32
Counts
194 → 183
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02236608
15526077
214386003
346426003
449486003
549876003
649326003

prune531.0ms (9.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New3152317
Fresh134
Picked011
Done000
Total3166322
Error
0.0b
Counts
322 → 6
Alt Table
StatusErrorProgram
22.2b
(*.f32 (/.f32 (/.f32 1 s) (fma.f32 (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))) (-.f32 -2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))) (pow.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2))) (-.f32 (pow.f32 (E.f32) (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
0.1b
(/.f32 (/.f32 1 s) (+.f32 (pow.f32 (E.f32) (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
0.3b
(*.f32 (/.f32 (*.f32 (cbrt.f32 (/.f32 1 s)) (cbrt.f32 (/.f32 1 s))) (*.f32 (cbrt.f32 (+.f32 (pow.f32 (E.f32) (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))) (cbrt.f32 (+.f32 (pow.f32 (E.f32) (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))))) (/.f32 (cbrt.f32 (/.f32 1 s)) (cbrt.f32 (+.f32 (pow.f32 (E.f32) (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))))
0.1b
(/.f32 1 (*.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)) s))
0.2b
(*.f32 (sqrt.f32 (/.f32 1 s)) (/.f32 (sqrt.f32 (/.f32 1 s)) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))))
0.2b
(*.f32 (sqrt.f32 (/.f32 (/.f32 1 s) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))) (sqrt.f32 (/.f32 (/.f32 1 s) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))))
Compiler

Compiled 9976 to 3850 computations (61.4% saved)

localize44.0ms (0.8%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(/.f32 1 (*.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)) s))
0.0b
(+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)
0.0b
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
0.1b
(exp.f32 (/.f32 (fabs.f32 x) s))

series66.0ms (1.1%)

Counts
1 → 24
Calls

1 calls:

66.0ms
(/.f32 1 (*.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)) s))

rewrite20.0ms (0.3%)

Algorithm
rewrite-expression-head
Rules
12×add-exp-log_binary32
add-cbrt-cube_binary32
div-exp_binary32
pow1_binary32
associate-/l*_binary32
Counts
1 → 32
Calls

1 calls:

18.0ms
(/.f32 1 (*.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)) s))

simplify87.0ms (1.5%)

Algorithm
egg-herbie
Rules
565×distribute-rgt-in_binary32
546×distribute-lft-in_binary32
328×fma-neg_binary32
300×cancel-sign-sub-inv_binary32
264×associate-*l*_binary32
Counts
56 → 53
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0961788
12511594
28361582
334901543
447011543
549951543

prune392.0ms (6.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New2380238
Fresh044
Picked011
Done011
Total2386244
Error
0.0b
Counts
244 → 6
Alt Table
StatusErrorProgram
22.2b
(*.f32 (/.f32 (/.f32 1 s) (fma.f32 (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))) (-.f32 -2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))) (pow.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2))) (-.f32 (pow.f32 (E.f32) (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
0.1b
(/.f32 (/.f32 1 s) (+.f32 (pow.f32 (E.f32) (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
0.3b
(*.f32 (/.f32 (*.f32 (cbrt.f32 (/.f32 1 s)) (cbrt.f32 (/.f32 1 s))) (*.f32 (cbrt.f32 (+.f32 (pow.f32 (E.f32) (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))) (cbrt.f32 (+.f32 (pow.f32 (E.f32) (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))))) (/.f32 (cbrt.f32 (/.f32 1 s)) (cbrt.f32 (+.f32 (pow.f32 (E.f32) (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))))
0.1b
(/.f32 1 (*.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)) s))
0.2b
(*.f32 (sqrt.f32 (/.f32 1 s)) (/.f32 (sqrt.f32 (/.f32 1 s)) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))))
0.2b
(*.f32 (sqrt.f32 (/.f32 (/.f32 1 s) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))) (sqrt.f32 (/.f32 (/.f32 1 s) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))))
Compiler

Compiled 6640 to 2619 computations (60.6% saved)

localize47.0ms (0.8%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))
0.1b
(exp.f32 (/.f32 (fabs.f32 x) s))
0.1b
(sqrt.f32 (/.f32 1 s))
0.2b
(*.f32 (sqrt.f32 (/.f32 1 s)) (/.f32 (sqrt.f32 (/.f32 1 s)) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))))

series103.0ms (1.8%)

Counts
3 → 28
Calls

3 calls:

87.0ms
(*.f32 (sqrt.f32 (/.f32 1 s)) (/.f32 (sqrt.f32 (/.f32 1 s)) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))))
11.0ms
(exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))
5.0ms
(sqrt.f32 (/.f32 1 s))

rewrite93.0ms (1.6%)

Algorithm
rewrite-expression-head
Rules
221×times-frac_binary32
194×*-un-lft-identity_binary32
179×add-sqr-sqrt_binary32
118×sqrt-prod_binary32
104×add-cube-cbrt_binary32
Counts
3 → 237
Calls

3 calls:

43.0ms
(*.f32 (sqrt.f32 (/.f32 1 s)) (/.f32 (sqrt.f32 (/.f32 1 s)) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))))
6.0ms
(exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))
3.0ms
(sqrt.f32 (/.f32 1 s))

simplify188.0ms (3.3%)

Algorithm
egg-herbie
Rules
660×fma-def_binary32
608×associate-/l*_binary32
519×times-frac_binary32
273×associate-/l/_binary32
224×distribute-rgt-in_binary32
Counts
265 → 279
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02837575
16557086
219227012
346927012
451577012

prune535.0ms (9.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New3611362
Fresh123
Picked101
Done022
Total3635368
Error
0.0b
Counts
368 → 5
Alt Table
StatusErrorProgram
22.2b
(*.f32 (/.f32 (/.f32 1 s) (fma.f32 (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))) (-.f32 -2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))) (pow.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) 2))) (-.f32 (pow.f32 (E.f32) (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
0.1b
(/.f32 (/.f32 1 s) (+.f32 (pow.f32 (E.f32) (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))
0.3b
(*.f32 (/.f32 (*.f32 (cbrt.f32 (/.f32 1 s)) (cbrt.f32 (/.f32 1 s))) (*.f32 (cbrt.f32 (+.f32 (pow.f32 (E.f32) (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))) (cbrt.f32 (+.f32 (pow.f32 (E.f32) (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))))) (/.f32 (cbrt.f32 (/.f32 1 s)) (cbrt.f32 (+.f32 (pow.f32 (E.f32) (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))))
0.1b
(/.f32 1 (*.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)) s))
0.2b
(*.f32 (sqrt.f32 (/.f32 1 s)) (/.f32 (sqrt.f32 (/.f32 1 s)) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (/.f32 1 (exp.f32 (/.f32 (fabs.f32 x) s)))))))
Compiler

Compiled 13107 to 6248 computations (52.3% saved)

regimes292.0ms (5.1%)

Accuracy

Total 0.0b remaining (23.6%)

Threshold costs 0.0b (23.6%)

Counts
60 → 1
Compiler

Compiled 7731 to 4934 computations (36.2% saved)

simplify3.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01529
12329
22729
33029
43129
53029

end1.0ms (0%)

Compiler

Compiled 20 to 14 computations (30% saved)

sample1.3s (21.9%)

Algorithm
intervals
Results
576.0ms8000×body128valid
140.0ms8000×pre128true
Compiler

Compiled 238 to 142 computations (40.3% saved)

Profiling

Loading profile data...