Details

Time bar (total: 4.9s)

analyze8.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
50%50%0%4
75%25%0%5
87.5%12.5%0%6
93.7%6.2%0%7
96.8%3.1%0%8
98.4%1.6%0%9
99.2%0.8%0%10
99.6%0.4%0%11
99.8%0.2%0%12
99.9%0.1%0%13
99.9%0.1%0.1%14
Compiler

Compiled 17 to 14 computations (17.6% saved)

sample1.7s (34.9%)

Results
535.0ms1411×body1024valid
496.0ms4549×body128valid
479.0ms1535×body512valid
148.0ms761×body256valid
0.0ms2×body128invalid
Compiler

Compiled 50 to 41 computations (18% saved)

simplify15.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
127×fma-neg_binary64
82×fma-def_binary64
41×cancel-sign-sub-inv_binary64
41×sub-neg_binary64
28×distribute-rgt-in_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01122
12222
23822
36122
410922
518622
624622
729622
834822
936822
1034422

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
9.4b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶9.4b
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
Compiler

Compiled 63 to 51 computations (19% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x))
✓0.0b
(/.f64 1 (+.f64 x 1))
✓0.0b
(/.f64 1 (-.f64 x 1))
✓1.4b
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))

series11.0ms (0.2%)

Counts
4 → 48
Calls

4 calls:

4.0ms
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
3.0ms
(/.f64 1 (-.f64 x 1))
2.0ms
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x))
2.0ms
(/.f64 1 (+.f64 x 1))

rewrite185.0ms (3.8%)

Algorithm
1×rewrite-expression-head
Rules
757×*-un-lft-identity_binary64
733×times-frac_binary64
558×add-sqr-sqrt_binary64
508×add-cube-cbrt_binary64
468×prod-diff_binary64
Counts
4 → 668
Calls

4 calls:

44.0ms
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
22.0ms
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x))
8.0ms
(/.f64 1 (-.f64 x 1))
4.0ms
(/.f64 1 (+.f64 x 1))

simplify404.0ms (8.3%)

Algorithm
1×egg-herbie
Rules
932×fma-neg_binary64
457×times-frac_binary64
236×fma-def_binary64
186×sub-neg_binary64
176×exp-prod_binary64
Counts
716 → 853
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
041919278
198913709
225199843
343499843
448159843

prune893.0ms (18.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New8512853
Fresh000
Picked101
Done000
Total8522854
Error
0.2b
Counts
854 → 2
Alt Table
StatusErrorProgram
▶24.9b
(/.f64 (+.f64 (*.f64 (-.f64 (*.f64 1 x) (*.f64 (+.f64 x 1) 2)) (-.f64 x 1)) (*.f64 (*.f64 (+.f64 x 1) x) 1)) (*.f64 (*.f64 (+.f64 x 1) x) (-.f64 x 1)))
34.1b
(/.f64 2 (pow.f64 x 3))
Compiler

Compiled 33609 to 26148 computations (22.2% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 1 x) (*.f64 (+.f64 x 1) 2))
✓0.0b
(*.f64 (+.f64 x 1) x)
✓0.1b
(*.f64 (*.f64 (+.f64 x 1) x) (-.f64 x 1))
✓16.0b
(+.f64 (*.f64 (-.f64 (*.f64 1 x) (*.f64 (+.f64 x 1) 2)) (-.f64 x 1)) (*.f64 (*.f64 (+.f64 x 1) x) 1))

series7.0ms (0.2%)

Counts
4 → 48
Calls

4 calls:

3.0ms
(*.f64 (*.f64 (+.f64 x 1) x) (-.f64 x 1))
2.0ms
(*.f64 (+.f64 x 1) x)
1.0ms
(-.f64 (*.f64 1 x) (*.f64 (+.f64 x 1) 2))
1.0ms
(+.f64 (*.f64 (-.f64 (*.f64 1 x) (*.f64 (+.f64 x 1) 2)) (-.f64 x 1)) (*.f64 (*.f64 (+.f64 x 1) x) 1))

rewrite41.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
46×associate-*l/_binary64
41×add-sqr-sqrt_binary64
40×*-un-lft-identity_binary64
37×prod-diff_binary64
35×add-cube-cbrt_binary64
Counts
4 → 153
Calls

4 calls:

11.0ms
(+.f64 (*.f64 (-.f64 (*.f64 1 x) (*.f64 (+.f64 x 1) 2)) (-.f64 x 1)) (*.f64 (*.f64 (+.f64 x 1) x) 1))
8.0ms
(*.f64 (*.f64 (+.f64 x 1) x) (-.f64 x 1))
4.0ms
(*.f64 (+.f64 x 1) x)
4.0ms
(-.f64 (*.f64 1 x) (*.f64 (+.f64 x 1) 2))

simplify101.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
613×associate-+l+_binary64
601×associate-*l*_binary64
445×associate-*r*_binary64
364×distribute-rgt-in_binary64
350×distribute-lft-in_binary64
Counts
201 → 255
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02583792
17913063
232782739
354282739

prune298.0ms (6.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New2950295
Fresh011
Picked011
Done000
Total2952297
Error
0.2b
Counts
297 → 2
Alt Table
StatusErrorProgram
✓24.9b
(/.f64 (+.f64 (*.f64 (-.f64 (*.f64 1 x) (*.f64 (+.f64 x 1) 2)) (-.f64 x 1)) (*.f64 (*.f64 (+.f64 x 1) x) 1)) (*.f64 (*.f64 (+.f64 x 1) x) (-.f64 x 1)))
▶34.1b
(/.f64 2 (pow.f64 x 3))
Compiler

Compiled 13226 to 9673 computations (26.9% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.3b
(/.f64 2 (pow.f64 x 3))

series3.0ms (0.1%)

Counts
1 → 0
Calls

1 calls:

3.0ms
(/.f64 2 (pow.f64 x 3))

rewrite7.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
36×times-frac_binary64
26×*-un-lft-identity_binary64
26×add-sqr-sqrt_binary64
26×add-cube-cbrt_binary64
12×associate-/r*_binary64
Counts
1 → 67
Calls

1 calls:

4.0ms
(/.f64 2 (pow.f64 x 3))

simplify90.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
625×associate-/r*_binary64
441×fma-def_binary64
393×times-frac_binary64
368×associate-*l*_binary64
295×log-prod_binary64
Counts
67 → 67
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
098886
1145856
2528856
33173800
44256800
54968800
64943800

prune49.0ms (1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New65267
Fresh000
Picked011
Done011
Total65469
Error
0.0b
Counts
69 → 4
Alt Table
StatusErrorProgram
✓24.9b
(/.f64 (+.f64 (*.f64 (-.f64 (*.f64 1 x) (*.f64 (+.f64 x 1) 2)) (-.f64 x 1)) (*.f64 (*.f64 (+.f64 x 1) x) 1)) (*.f64 (*.f64 (+.f64 x 1) x) (-.f64 x 1)))
33.9b
(/.f64 (/.f64 2 x) (*.f64 x x))
▶33.9b
(/.f64 (/.f64 2 (*.f64 x x)) x)
✓34.1b
(/.f64 2 (pow.f64 x 3))
Compiler

Compiled 882 to 698 computations (20.9% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(/.f64 (/.f64 2 (*.f64 x x)) x)
✓0.4b
(/.f64 2 (*.f64 x x))

series5.0ms (0.1%)

Counts
2 → 24
Calls

2 calls:

3.0ms
(/.f64 (/.f64 2 (*.f64 x x)) x)
2.0ms
(/.f64 2 (*.f64 x x))

rewrite11.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
36×times-frac_binary64
20×*-un-lft-identity_binary64
20×add-sqr-sqrt_binary64
20×add-cube-cbrt_binary64
16×add-cbrt-cube_binary64
Counts
2 → 73
Calls

2 calls:

5.0ms
(/.f64 (/.f64 2 (*.f64 x x)) x)
3.0ms
(/.f64 2 (*.f64 x x))

simplify115.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
565×fma-neg_binary64
514×fma-def_binary64
311×div-sub_binary64
272×*-commutative_binary64
270×cancel-sign-sub-inv_binary64
Counts
97 → 102
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01211258
12401147
25711138
317251111
423001099
532611099
644741099
749811099
848481099

prune56.0ms (1.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1011102
Fresh101
Picked011
Done022
Total1024106
Error
0b
Counts
106 → 4
Alt Table
StatusErrorProgram
✓24.9b
(/.f64 (+.f64 (*.f64 (-.f64 (*.f64 1 x) (*.f64 (+.f64 x 1) 2)) (-.f64 x 1)) (*.f64 (*.f64 (+.f64 x 1) x) 1)) (*.f64 (*.f64 (+.f64 x 1) x) (-.f64 x 1)))
✓33.9b
(/.f64 (/.f64 2 (*.f64 x x)) x)
✓34.1b
(/.f64 2 (pow.f64 x 3))
34.0b
(/.f64 (*.f64 (/.f64 (sqrt.f64 2) x) (/.f64 (sqrt.f64 2) x)) x)
Compiler

Compiled 1367 to 804 computations (41.2% saved)

regimes677.0ms (13.9%)

Accuracy

Total 0.2b remaining (88.3%)

Threshold costs 0.2b (88.3%)

Counts
303 → 1
Compiler

Compiled 13980 to 11371 computations (18.7% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Rules
2×+-commutative_binary64
2×*-commutative_binary64
1×sub-neg_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0916
11716
21816
31616

end153.0ms (3.1%)

Compiler

Compiled 82 to 61 computations (25.6% saved)

Profiling

Loading profile data...