Details

Time bar (total: 1.7s)

analyze130.0ms (7.8%)

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
37.5%62.4%0.1%6
67.1%32.8%0.1%7
71%28.9%0.1%8
82.3%17.6%0.1%9
84.9%15%0.1%10
90.8%9.1%0.1%11
92.2%7.7%0.1%12
95.3%4.6%0.1%13
96%3.9%0.1%14
Compiler

Compiled 10 to 7 computations (30% saved)

sample769.0ms (46.4%)

Results
730.0ms8256×body128valid
Compiler

Compiled 29 to 20 computations (31% saved)

simplify7.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
2×associate-/l*_binary64
2×associate-/r/_binary64
1×+-commutative_binary64
1×1-exp_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11310
21710
32010
42110
52010

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
9.1b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶9.1b
(/.f64 (*.f64 x y) (+.f64 y 1))
Compiler

Compiled 27 to 18 computations (33.3% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓8.5b
(/.f64 (*.f64 x y) (+.f64 y 1))

series12.0ms (0.7%)

Counts
1 → 24
Calls

1 calls:

12.0ms
(/.f64 (*.f64 x y) (+.f64 y 1))

rewrite6.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
7×*-un-lft-identity_binary64
6×add-cbrt-cube_binary64
6×add-exp-log_binary64
4×associate-/r*_binary64
4×times-frac_binary64
Counts
1 → 27
Calls

1 calls:

4.0ms
(/.f64 (*.f64 x y) (+.f64 y 1))

simplify65.0ms (3.9%)

Algorithm
1×egg-herbie
Rules
713×fma-neg_binary64
694×times-frac_binary64
647×fma-def_binary64
447×associate-/l*_binary64
224×cancel-sign-sub-inv_binary64
Counts
51 → 54
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
082672
1217596
2717591
33018590
44493590
55048590

prune32.0ms (1.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New51354
Fresh000
Picked011
Done000
Total51455
Error
0b
Counts
55 → 4
Alt Table
StatusErrorProgram
▶0.1b
(/.f64 x (/.f64 (+.f64 y 1) y))
✓9.1b
(/.f64 (*.f64 x y) (+.f64 y 1))
32.3b
(-.f64 x (/.f64 x y))
31.3b
(*.f64 x (*.f64 (fma.f64 y y 1) (-.f64 y (*.f64 y y))))
Compiler

Compiled 741 to 414 computations (44.1% saved)

localize4.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (+.f64 y 1) y)
✓0.1b
(/.f64 x (/.f64 (+.f64 y 1) y))

series14.0ms (0.9%)

Counts
2 → 36
Calls

2 calls:

13.0ms
(/.f64 x (/.f64 (+.f64 y 1) y))
2.0ms
(/.f64 (+.f64 y 1) y)

rewrite27.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Rules
108×times-frac_binary64
92×*-un-lft-identity_binary64
60×add-sqr-sqrt_binary64
60×add-cube-cbrt_binary64
19×associate-/r*_binary64
Counts
2 → 119
Calls

2 calls:

7.0ms
(/.f64 x (/.f64 (+.f64 y 1) y))
4.0ms
(/.f64 (+.f64 y 1) y)

simplify121.0ms (7.3%)

Algorithm
1×egg-herbie
Rules
576×times-frac_binary64
492×fma-neg_binary64
406×associate-/l*_binary64
369×associate-/r/_binary64
328×div-sub_binary64
Counts
155 → 169
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01912645
14352511
213182503
338972503
446662503
553722503

prune77.0ms (4.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1681169
Fresh112
Picked101
Done011
Total1703173
Error
0b
Counts
173 → 3
Alt Table
StatusErrorProgram
▶0.1b
(/.f64 x (+.f64 1 (/.f64 1 y)))
✓9.1b
(/.f64 (*.f64 x y) (+.f64 y 1))
32.3b
(-.f64 x (/.f64 x y))
Compiler

Compiled 2618 to 1494 computations (42.9% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(/.f64 x (+.f64 1 (/.f64 1 y)))

series19.0ms (1.1%)

Counts
1 → 12
Calls

1 calls:

19.0ms
(/.f64 x (+.f64 1 (/.f64 1 y)))

rewrite8.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
23×*-un-lft-identity_binary64
15×times-frac_binary64
11×add-sqr-sqrt_binary64
11×add-cube-cbrt_binary64
8×distribute-lft-out_binary64
Counts
1 → 39
Calls

1 calls:

6.0ms
(/.f64 x (+.f64 1 (/.f64 1 y)))

simplify87.0ms (5.2%)

Algorithm
1×egg-herbie
Rules
648×fma-def_binary64
331×times-frac_binary64
319×associate-*l*_binary64
313×associate-/l*_binary64
286×fma-neg_binary64
Counts
51 → 51
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
085818
1205763
2494758
31227758
44363758
54799758
65075758

prune26.0ms (1.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New51051
Fresh011
Picked011
Done011
Total51354
Error
0b
Counts
54 → 3
Alt Table
StatusErrorProgram
✓0.1b
(/.f64 x (+.f64 1 (/.f64 1 y)))
✓9.1b
(/.f64 (*.f64 x y) (+.f64 y 1))
▶32.3b
(-.f64 x (/.f64 x y))
Compiler

Compiled 751 to 506 computations (32.6% saved)

localize9.0ms (0.5%)

Local error

Found 1 expressions with local error:

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

series7.0ms (0.4%)

Counts
1 → 15
Calls

1 calls:

7.0ms
(-.f64 x (/.f64 x y))

rewrite20.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
48×add-sqr-sqrt_binary64
45×*-un-lft-identity_binary64
43×add-cube-cbrt_binary64
39×prod-diff_binary64
37×times-frac_binary64
Counts
1 → 71
Calls

1 calls:

14.0ms
(-.f64 x (/.f64 x y))

simplify92.0ms (5.5%)

Algorithm
1×egg-herbie
Rules
457×fma-neg_binary64
391×associate-*l/_binary64
357×associate-*r/_binary64
325×associate-/l*_binary64
322×fma-def_binary64
Counts
86 → 82
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01711316
1428949
2960715
33610715
44080715
54905715
64683715

prune30.0ms (1.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New82082
Fresh000
Picked011
Done022
Total82385
Error
0b
Counts
85 → 3
Alt Table
StatusErrorProgram
✓0.1b
(/.f64 x (+.f64 1 (/.f64 1 y)))
✓9.1b
(/.f64 (*.f64 x y) (+.f64 y 1))
✓32.3b
(-.f64 x (/.f64 x y))
Compiler

Compiled 2090 to 514 computations (75.4% saved)

regimes42.0ms (2.5%)

Accuracy

Total 0.1b remaining (96.7%)

Threshold costs 0.1b (96.7%)

Counts
15 → 1
Compiler

Compiled 471 to 314 computations (33.3% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11010
2910

end45.0ms (2.7%)

Compiler

Compiled 43 to 31 computations (27.9% saved)

Profiling

Loading profile data...