Details

Time bar (total: 6.7s)

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

sample1.6s (23.2%)

Results
1.5s8256×body128valid
Compiler

Compiled 98 to 49 computations (50% saved)

simplify76.0ms (1.1%)

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

localize36.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series203.0ms (3%)

Counts
4 → 96
Calls

4 calls:

148.0ms
(/.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)))))
31.0ms
(*.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))))
14.0ms
(+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
10.0ms
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))

rewrite68.0ms (1%)

Algorithm
rewrite-expression-head
Rules
58×exp-prod_binary32
57×times-frac_binary32
48×add-sqr-sqrt_binary32
46×*-un-lft-identity_binary32
42×add-cube-cbrt_binary32
Counts
4 → 153
Calls

4 calls:

24.0ms
(/.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)))))
14.0ms
(*.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))))
8.0ms
(+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
6.0ms
(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))

simplify140.0ms (2.1%)

Algorithm
egg-herbie
Rules
857×distribute-rgt-in_binary32
838×fma-def_binary32
248×times-frac_binary32
170×associate-*l*_binary32
162×associate-/l*_binary32
Counts
249 → 261
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03065813
17505303
226305170
353395170

prune644.0ms (9.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New4925497
Fresh101
Picked101
Done000
Total4945499
Error
0.0b
Counts
499 → 5
Alt Table
StatusErrorProgram
0.1b
(*.f32 (/.f32 1 (fma.f32 s (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) s)) (/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1)))
0.1b
(/.f32 (/.f32 -1 (exp.f32 (/.f32 (fabs.f32 x) s))) (neg.f32 (*.f32 s (pow.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1) 2))))
0.6b
(exp.f32 (-.f32 (neg.f32 (/.f32 (fabs.f32 x) s)) (fma.f32 2 (log1p.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))) (log.f32 s))))
0.2b
(/.f32 (cbrt.f32 (exp.f32 (*.f32 (/.f32 (fabs.f32 x) s) -3))) (*.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)))))
0.2b
(/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (fma.f32 s (fma.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2 (pow.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) -2)) s))
Compiler

Compiled 17592 to 5386 computations (69.4% saved)

localize43.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series202.0ms (3%)

Counts
4 → 80
Calls

4 calls:

125.0ms
(*.f32 (/.f32 1 (fma.f32 s (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) s)) (/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1)))
53.0ms
(/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1))
13.0ms
(+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1)
11.0ms
(exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))

rewrite88.0ms (1.3%)

Algorithm
rewrite-expression-head
Rules
82×times-frac_binary32
81×add-sqr-sqrt_binary32
76×*-un-lft-identity_binary32
58×add-cube-cbrt_binary32
54×exp-prod_binary32
Counts
4 → 184
Calls

4 calls:

29.0ms
(*.f32 (/.f32 1 (fma.f32 s (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) s)) (/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1)))
21.0ms
(/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1))
11.0ms
(+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1)
6.0ms
(exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))

simplify219.0ms (3.3%)

Algorithm
egg-herbie
Rules
551×associate-/r*_binary32
544×fma-def_binary32
390×associate-/l/_binary32
219×associate-/r/_binary32
155×fma-neg_binary32
Counts
264 → 282
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
03187877
17577160
221706063
344956048
449666048
549376048

prune584.0ms (8.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New4620462
Fresh044
Picked011
Done000
Total4625467
Error
0.0b
Counts
467 → 5
Alt Table
StatusErrorProgram
0.1b
(*.f32 (/.f32 1 (fma.f32 s (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) s)) (/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1)))
0.1b
(/.f32 (/.f32 -1 (exp.f32 (/.f32 (fabs.f32 x) s))) (neg.f32 (*.f32 s (pow.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1) 2))))
0.6b
(exp.f32 (-.f32 (neg.f32 (/.f32 (fabs.f32 x) s)) (fma.f32 2 (log1p.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))) (log.f32 s))))
0.2b
(/.f32 (cbrt.f32 (exp.f32 (*.f32 (/.f32 (fabs.f32 x) s) -3))) (*.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)))))
0.2b
(/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (fma.f32 s (fma.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2 (pow.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) -2)) s))
Compiler

Compiled 16909 to 4696 computations (72.2% saved)

localize46.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

series311.0ms (4.6%)

Counts
3 → 56
Calls

3 calls:

266.0ms
(/.f32 (/.f32 -1 (exp.f32 (/.f32 (fabs.f32 x) s))) (neg.f32 (*.f32 s (pow.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1) 2))))
25.0ms
(/.f32 -1 (exp.f32 (/.f32 (fabs.f32 x) s)))
19.0ms
(pow.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1) 2)

rewrite44.0ms (0.7%)

Algorithm
rewrite-expression-head
Rules
150×times-frac_binary32
78×*-un-lft-identity_binary32
76×add-sqr-sqrt_binary32
76×add-cube-cbrt_binary32
16×associate-/l*_binary32
Counts
3 → 164
Calls

3 calls:

11.0ms
(/.f32 (/.f32 -1 (exp.f32 (/.f32 (fabs.f32 x) s))) (neg.f32 (*.f32 s (pow.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1) 2))))
9.0ms
(pow.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1) 2)
8.0ms
(/.f32 -1 (exp.f32 (/.f32 (fabs.f32 x) s)))

simplify213.0ms (3.2%)

Algorithm
egg-herbie
Rules
698×associate-/r/_binary32
299×associate-/r*_binary32
267×associate-/l/_binary32
212×fma-def_binary32
177×distribute-rgt-in_binary32
Counts
220 → 303
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03379035
18228451
224928322
351168322

prune440.0ms (6.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New3300330
Fresh033
Picked011
Done011
Total3305335
Error
0.0b
Counts
335 → 5
Alt Table
StatusErrorProgram
0.1b
(*.f32 (/.f32 1 (fma.f32 s (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) s)) (/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1)))
0.1b
(/.f32 (/.f32 -1 (exp.f32 (/.f32 (fabs.f32 x) s))) (neg.f32 (*.f32 s (pow.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1) 2))))
0.6b
(exp.f32 (-.f32 (neg.f32 (/.f32 (fabs.f32 x) s)) (fma.f32 2 (log1p.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))) (log.f32 s))))
0.2b
(/.f32 (cbrt.f32 (exp.f32 (*.f32 (/.f32 (fabs.f32 x) s) -3))) (*.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)))))
0.2b
(/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (fma.f32 s (fma.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2 (pow.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) -2)) s))
Compiler

Compiled 11545 to 5303 computations (54.1% saved)

localize44.0ms (0.7%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))
0.0b
(exp.f32 (/.f32 (fabs.f32 x) s))
0.0b
(pow.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) -2)
0.1b
(/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (fma.f32 s (fma.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2 (pow.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) -2)) s))

series268.0ms (4%)

Counts
3 → 56
Calls

3 calls:

229.0ms
(/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (fma.f32 s (fma.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2 (pow.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) -2)) s))
30.0ms
(pow.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) -2)
9.0ms
(exp.f32 (/.f32 (fabs.f32 x) s))

rewrite27.0ms (0.4%)

Algorithm
rewrite-expression-head
Rules
51×times-frac_binary32
50×exp-prod_binary32
47×add-sqr-sqrt_binary32
41×*-un-lft-identity_binary32
41×add-cube-cbrt_binary32
Counts
3 → 110
Calls

3 calls:

10.0ms
(/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (fma.f32 s (fma.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2 (pow.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) -2)) s))
5.0ms
(pow.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) -2)
3.0ms
(exp.f32 (/.f32 (fabs.f32 x) s))

simplify128.0ms (1.9%)

Algorithm
egg-herbie
Rules
837×fma-def_binary32
482×times-frac_binary32
401×associate-/l*_binary32
330×associate-/r*_binary32
268×associate-*l*_binary32
Counts
166 → 195
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02524341
15174041
212723946
344533946
450873946

prune574.0ms (8.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New3750375
Fresh022
Picked011
Done022
Total3755380
Error
0.0b
Counts
380 → 5
Alt Table
StatusErrorProgram
0.1b
(*.f32 (/.f32 1 (fma.f32 s (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) s)) (/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1)))
0.1b
(/.f32 (/.f32 -1 (exp.f32 (/.f32 (fabs.f32 x) s))) (neg.f32 (*.f32 s (pow.f32 (+.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 1) 2))))
0.6b
(exp.f32 (-.f32 (neg.f32 (/.f32 (fabs.f32 x) s)) (fma.f32 2 (log1p.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))) (log.f32 s))))
0.2b
(/.f32 (cbrt.f32 (exp.f32 (*.f32 (/.f32 (fabs.f32 x) s) -3))) (*.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)))))
0.2b
(/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) (fma.f32 s (fma.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))) 2 (pow.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) -2)) s))
Compiler

Compiled 12968 to 3745 computations (71.1% saved)

regimes566.0ms (8.4%)

Accuracy

Total 0.1b remaining (75%)

Threshold costs 0.1b (75%)

Counts
111 → 1
Compiler

Compiled 14233 to 8876 computations (37.6% 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
01533
12533
23133
33533
43633
53533

end84.0ms (1.2%)

Compiler

Compiled 173 to 100 computations (42.2% saved)

Profiling

Loading profile data...