Details

Time bar (total: 1.9s)

analyze96.0ms (5%)

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
25%74.9%0.1%5
50%50%0.1%6
56.2%37.5%6.3%7
68.7%25%6.3%8
71.8%18.7%9.5%9
78%12.5%9.5%10
79.6%9.4%11%11
82.7%6.2%11%12
83.5%4.7%11.8%13
85.1%3.1%11.8%14
Compiler

Compiled 14 to 11 computations (21.4% saved)

sample1.0s (53.6%)

Results
878.0ms8256×body128valid
6.0ms69×body128invalid
Compiler

Compiled 41 to 32 computations (22% saved)

simplify50.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
723×fma-neg_binary64
586×fma-def_binary64
222×cancel-sign-sub-inv_binary64
115×sub-neg_binary64
82×associate--r+_binary64
Counts
1 → 2
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01116
12714
25812
310912
422911
545011
666111
794011
8119411
9132011
10134711
11126811

prune3.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.0b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.0b
(-.f64 (fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000) x)
0.0b
(+.f64 (-.f64 (*.f64 x (-.f64 y 1)) (*.f64 y 1/2)) 918938533204673/1000000000000000)
Compiler

Compiled 67 to 49 computations (26.9% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000) x)
✓0.0b
(fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000)

series9.0ms (0.5%)

Counts
2 → 48
Calls

2 calls:

5.0ms
(-.f64 (fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000) x)
4.0ms
(fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000)

rewrite12.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
12×*-un-lft-identity_binary64
12×add-sqr-sqrt_binary64
10×add-cube-cbrt_binary64
9×prod-diff_binary64
4×add-log-exp_binary64
Counts
2 → 41
Calls

2 calls:

3.0ms
(-.f64 (fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000) x)
0.0ms
(fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000)

simplify101.0ms (5.3%)

Algorithm
1×egg-herbie
Rules
358×associate-*l*_binary64
354×fma-def_binary64
354×fma-neg_binary64
350×exp-prod_binary64
295×times-frac_binary64
Counts
89 → 75
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0911075
1180952
2566914
32481909
44057909
54972909
64899909

prune51.0ms (2.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New74175
Fresh011
Picked011
Done000
Total74377
Error
0b
Counts
77 → 3
Alt Table
StatusErrorProgram
✓0.0b
(-.f64 (fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000) x)
24.3b
(/.f64 (-.f64 (*.f64 (fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000) (fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000)) (*.f64 x x)) (+.f64 (fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000) x))
▶0.0b
(+.f64 (-.f64 (*.f64 x (-.f64 y 1)) (*.f64 y 1/2)) 918938533204673/1000000000000000)
Compiler

Compiled 1276 to 790 computations (38.1% saved)

localize8.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 x (-.f64 y 1)) (*.f64 y 1/2))
✓0.0b
(*.f64 x (-.f64 y 1))

series9.0ms (0.5%)

Counts
2 → 48
Calls

2 calls:

5.0ms
(-.f64 (*.f64 x (-.f64 y 1)) (*.f64 y 1/2))
4.0ms
(*.f64 x (-.f64 y 1))

rewrite21.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
38×add-sqr-sqrt_binary64
37×prod-diff_binary64
35×*-un-lft-identity_binary64
32×add-cube-cbrt_binary64
26×associate--l+_binary64
Counts
2 → 94
Calls

2 calls:

7.0ms
(-.f64 (*.f64 x (-.f64 y 1)) (*.f64 y 1/2))
6.0ms
(*.f64 x (-.f64 y 1))

simplify100.0ms (5.3%)

Algorithm
1×egg-herbie
Rules
918×fma-neg_binary64
455×associate-*l*_binary64
370×associate-*r*_binary64
279×cancel-sign-sub-inv_binary64
251×fma-def_binary64
Counts
142 → 152
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01181303
12531178
26961170
324871167
444881167
549101167

prune143.0ms (7.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1511152
Fresh101
Picked101
Done011
Total1532155
Error
0b
Counts
155 → 2
Alt Table
StatusErrorProgram
✓0.0b
(-.f64 (fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000) x)
▶0.0b
(+.f64 (fma.f64 x (-.f64 y 1) (*.f64 y -1/2)) 918938533204673/1000000000000000)
Compiler

Compiled 3191 to 2373 computations (25.6% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 x (-.f64 y 1) (*.f64 y -1/2))

series5.0ms (0.3%)

Counts
1 → 24
Calls

1 calls:

5.0ms
(fma.f64 x (-.f64 y 1) (*.f64 y -1/2))

rewrite1.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
1×*-un-lft-identity_binary64
1×add-sqr-sqrt_binary64
1×add-cube-cbrt_binary64
1×add-cbrt-cube_binary64
1×add-exp-log_binary64
Counts
1 → 10
Calls

1 calls:

0.0ms
(fma.f64 x (-.f64 y 1) (*.f64 y -1/2))

simplify69.0ms (3.6%)

Algorithm
1×egg-herbie
Rules
635×fma-neg_binary64
434×associate-+r+_binary64
430×neg-sub0_binary64
414×associate-+l+_binary64
407×neg-mul-1_binary64
Counts
34 → 29
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
035396
168355
2148345
3324345
41189345
53351345
64393345
74987345

prune20.0ms (1.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New29029
Fresh000
Picked011
Done011
Total29231
Error
0b
Counts
31 → 2
Alt Table
StatusErrorProgram
✓0.0b
(-.f64 (fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000) x)
✓0.0b
(+.f64 (fma.f64 x (-.f64 y 1) (*.f64 y -1/2)) 918938533204673/1000000000000000)
Compiler

Compiled 382 to 271 computations (29.1% saved)

regimes125.0ms (6.6%)

Accuracy

Total 0.0b remaining (80.7%)

Threshold costs 0.0b (80.7%)

Counts
32 → 1
Compiler

Compiled 1528 to 1136 computations (25.7% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
3×+-commutative_binary64
3×sub-neg_binary64
2×*-commutative_binary64
1×*-lft-identity_binary64
1×neg-sub0_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01011
11811
22311
32511
42611
52411

end45.0ms (2.4%)

Compiler

Compiled 42 to 30 computations (28.6% saved)

Profiling

Loading profile data...