Details

Time bar (total: 2.5min)

analyze867.0ms (0.6%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
12.5%87.4%0.1%5
18.7%81.2%0.1%6
28.1%71.8%0.1%7
32.8%67.1%0.1%8
38.2%61.7%0.1%9
41%58.9%0.1%10
43.9%56%0.1%11
45.4%54.5%0.1%12
46.9%53%0.1%13
47.7%52.2%0.1%14
Compiler

Compiled 19 to 9 computations (52.6% saved)

sample4.0s (2.7%)

Results
2.3s3987×body8192exit
776.0ms6716×body128valid
434.0ms3817×body128invalid
218.0ms735×body512valid
147.0ms773×body256valid
12.0ms32×body1024valid
Compiler

Compiled 56 to 26 computations (53.6% saved)

simplify79.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
568×neg-mul-1_binary64
503×fma-def_binary64
491×fma-neg_binary64
484×div-sub_binary64
416×distribute-neg-frac_binary64
Counts
1 → 2
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0923
12223
25823
315221
433818
5109018
6290218
7369518
8470618
9488118

prune3.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
12.9b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶12.9b
(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))
13.6b
(-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (*.f64 wj (exp.f64 wj)))))
Compiler

Compiled 94 to 48 computations (48.9% saved)

localize7.0ms (0%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 x (exp.f64 wj))
✓0.0b
(/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1))
✓5.3b
(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))

series42.0ms (0%)

Counts
3 → 52
Calls

3 calls:

17.0ms
(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))
13.0ms
(/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1))
12.0ms
(/.f64 x (exp.f64 wj))

rewrite35.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
50×*-un-lft-identity_binary64
49×add-sqr-sqrt_binary64
38×times-frac_binary64
24×add-cube-cbrt_binary64
10×difference-of-squares_binary64
Counts
3 → 100
Calls

3 calls:

14.0ms
(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))
10.0ms
(/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1))
3.0ms
(/.f64 x (exp.f64 wj))

simplify104.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
643×fma-neg_binary64
444×fma-def_binary64
331×distribute-rgt-in_binary64
292×associate--l+_binary64
278×distribute-lft-in_binary64
Counts
152 → 154
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02283154
15833016
216042995
347982993
452982993

prune87.0ms (0.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1531154
Fresh101
Picked011
Done000
Total1542156
Error
0.1b
Counts
156 → 2
Alt Table
StatusErrorProgram
✓12.9b
(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))
▶1.2b
(-.f64 (fma.f64 5/2 (*.f64 x (*.f64 wj wj)) (fma.f64 wj wj x)) (fma.f64 x (fma.f64 2 wj (*.f64 8/3 (pow.f64 wj 3))) (pow.f64 wj 3)))
Compiler

Compiled 3212 to 1387 computations (56.8% saved)

localize15.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 x (fma.f64 2 wj (*.f64 8/3 (pow.f64 wj 3))) (pow.f64 wj 3))
✓0.0b
(-.f64 (fma.f64 5/2 (*.f64 x (*.f64 wj wj)) (fma.f64 wj wj x)) (fma.f64 x (fma.f64 2 wj (*.f64 8/3 (pow.f64 wj 3))) (pow.f64 wj 3)))
✓0.2b
(*.f64 8/3 (pow.f64 wj 3))
✓5.6b
(*.f64 x (*.f64 wj wj))

series53.0ms (0%)

Counts
4 → 72
Calls

4 calls:

26.0ms
(-.f64 (fma.f64 5/2 (*.f64 x (*.f64 wj wj)) (fma.f64 wj wj x)) (fma.f64 x (fma.f64 2 wj (*.f64 8/3 (pow.f64 wj 3))) (pow.f64 wj 3)))
16.0ms
(fma.f64 x (fma.f64 2 wj (*.f64 8/3 (pow.f64 wj 3))) (pow.f64 wj 3))
8.0ms
(*.f64 x (*.f64 wj wj))
3.0ms
(*.f64 8/3 (pow.f64 wj 3))

rewrite19.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
27×add-sqr-sqrt_binary64
19×*-un-lft-identity_binary64
17×add-cube-cbrt_binary64
14×add-exp-log_binary64
13×associate-*r*_binary64
Counts
4 → 96
Calls

4 calls:

5.0ms
(*.f64 x (*.f64 wj wj))
5.0ms
(*.f64 8/3 (pow.f64 wj 3))
3.0ms
(-.f64 (fma.f64 5/2 (*.f64 x (*.f64 wj wj)) (fma.f64 wj wj x)) (fma.f64 x (fma.f64 2 wj (*.f64 8/3 (pow.f64 wj 3))) (pow.f64 wj 3)))
0.0ms
(fma.f64 x (fma.f64 2 wj (*.f64 8/3 (pow.f64 wj 3))) (pow.f64 wj 3))

simplify117.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
806×fma-def_binary64
521×distribute-rgt-in_binary64
507×distribute-lft-in_binary64
479×fma-neg_binary64
401×cancel-sign-sub-inv_binary64
Counts
168 → 173
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01913853
14093376
214383085
349853004
451893004

prune170.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1712173
Fresh000
Picked011
Done011
Total1714175
Error
0.1b
Counts
175 → 4
Alt Table
StatusErrorProgram
▶31.2b
(exp.f64 (log.f64 (-.f64 (+.f64 (fma.f64 wj wj x) (*.f64 (*.f64 wj x) (fma.f64 wj 5/2 -2))) (*.f64 (pow.f64 wj 3) (fma.f64 x 8/3 1)))))
✓12.9b
(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))
54.5b
(fma.f64 wj wj (*.f64 (*.f64 wj wj) (-.f64 (*.f64 5/2 x) (*.f64 (fma.f64 x 8/3 1) wj))))
✓1.2b
(-.f64 (fma.f64 5/2 (*.f64 x (*.f64 wj wj)) (fma.f64 wj wj x)) (fma.f64 x (fma.f64 2 wj (*.f64 8/3 (pow.f64 wj 3))) (pow.f64 wj 3)))
Compiler

Compiled 6270 to 3435 computations (45.2% saved)

localize17.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (*.f64 wj x) (fma.f64 wj 5/2 -2))
✓0.2b
(fma.f64 x 8/3 1)
✓3.3b
(exp.f64 (log.f64 (-.f64 (+.f64 (fma.f64 wj wj x) (*.f64 (*.f64 wj x) (fma.f64 wj 5/2 -2))) (*.f64 (pow.f64 wj 3) (fma.f64 x 8/3 1)))))
✓5.7b
(*.f64 (pow.f64 wj 3) (fma.f64 x 8/3 1))

series41.0ms (0%)

Counts
4 → 84
Calls

4 calls:

18.0ms
(exp.f64 (log.f64 (-.f64 (+.f64 (fma.f64 wj wj x) (*.f64 (*.f64 wj x) (fma.f64 wj 5/2 -2))) (*.f64 (pow.f64 wj 3) (fma.f64 x 8/3 1)))))
12.0ms
(*.f64 (pow.f64 wj 3) (fma.f64 x 8/3 1))
9.0ms
(*.f64 (*.f64 wj x) (fma.f64 wj 5/2 -2))
1.0ms
(fma.f64 x 8/3 1)

rewrite21.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
18×add-sqr-sqrt_binary64
14×add-exp-log_binary64
13×associate-*l*_binary64
11×*-un-lft-identity_binary64
11×add-cube-cbrt_binary64
Counts
4 → 86
Calls

4 calls:

9.0ms
(exp.f64 (log.f64 (-.f64 (+.f64 (fma.f64 wj wj x) (*.f64 (*.f64 wj x) (fma.f64 wj 5/2 -2))) (*.f64 (pow.f64 wj 3) (fma.f64 x 8/3 1)))))
4.0ms
(*.f64 (pow.f64 wj 3) (fma.f64 x 8/3 1))
4.0ms
(*.f64 (*.f64 wj x) (fma.f64 wj 5/2 -2))
0.0ms
(fma.f64 x 8/3 1)

simplify150.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
638×cancel-sign-sub-inv_binary64
401×exp-prod_binary64
292×fma-neg_binary64
286×associate-+l+_binary64
276×associate-*l*_binary64
Counts
170 → 166
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01933286
14442750
219302727
344002703
449992703
549522703

prune121.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1642166
Fresh101
Picked101
Done022
Total1664170
Error
0.1b
Counts
170 → 4
Alt Table
StatusErrorProgram
✓12.9b
(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))
38.9b
(cbrt.f64 (pow.f64 (-.f64 (fma.f64 wj (*.f64 x (fma.f64 wj 5/2 -2)) (fma.f64 wj wj x)) (*.f64 (fma.f64 8/3 x 1) (pow.f64 wj 3))) 3))
▶31.4b
(pow.f64 (E.f64) (log.f64 (-.f64 (+.f64 (fma.f64 wj wj x) (*.f64 (*.f64 wj x) (fma.f64 wj 5/2 -2))) (*.f64 (pow.f64 wj 3) (fma.f64 x 8/3 1)))))
✓1.2b
(-.f64 (fma.f64 5/2 (*.f64 x (*.f64 wj wj)) (fma.f64 wj wj x)) (fma.f64 x (fma.f64 2 wj (*.f64 8/3 (pow.f64 wj 3))) (pow.f64 wj 3)))
Compiler

Compiled 5208 to 3236 computations (37.9% saved)

localize19.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(*.f64 (*.f64 wj x) (fma.f64 wj 5/2 -2))
0.2b
(fma.f64 x 8/3 1)
✓3.4b
(pow.f64 (E.f64) (log.f64 (-.f64 (+.f64 (fma.f64 wj wj x) (*.f64 (*.f64 wj x) (fma.f64 wj 5/2 -2))) (*.f64 (pow.f64 wj 3) (fma.f64 x 8/3 1)))))
5.7b
(*.f64 (pow.f64 wj 3) (fma.f64 x 8/3 1))

series2.4min (96%)

Profiling

Loading profile data...