Details

Time bar (total: 3.1s)

analyze355.0ms (11.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
0%99.9%0.1%5
6.2%93.6%0.1%6
20.3%79.6%0.1%7
28.9%71%0.1%8
39.8%60.1%0.1%9
57.5%42.3%0.1%10
63.9%36%0.1%11
68.6%31.3%0.1%12
79.5%20.3%0.1%13
82.9%17%0.1%14
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample980.0ms (31.8%)

Results
838.0ms8255×body128valid
0.0ms1×body2048valid
Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify219.0ms (7.1%)

Algorithm
1×egg-herbie
Rules
2674×fma-neg_binary64
2270×div-sub_binary64
1877×fma-def_binary64
968×associate-/l/_binary64
705×associate-/r/_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0913
11413
22013
32813
44113
55513
67213
78513
810213
912713
1015513
1121513
1235613
1366613
14120413
15174613
16189713
17200613
18224613
19245213
20199313
21235413
22240013
23260913
24273713
25281213
26298213
27298413
28300413
29300413
30385013
31513513

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 36 to 24 computations (33.3% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓6.3b
(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))

series26.0ms (0.8%)

Counts
1 → 36
Calls

1 calls:

26.0ms
(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))

rewrite13.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
55×add-sqr-sqrt_binary64
53×*-un-lft-identity_binary64
42×times-frac_binary64
20×difference-of-squares_binary64
15×add-cube-cbrt_binary64
Counts
1 → 62
Calls

1 calls:

8.0ms
(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))

simplify112.0ms (3.6%)

Algorithm
1×egg-herbie
Rules
450×fma-def_binary64
293×times-frac_binary64
278×associate-/l*_binary64
255×distribute-rgt-in_binary64
189×distribute-lft-in_binary64
Counts
98 → 115
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01782629
14522552
214332416
347832407
448852405
549742405

prune81.0ms (2.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1123115
Fresh000
Picked011
Done000
Total1124116
Error
0.0b
Counts
116 → 4
Alt Table
StatusErrorProgram
✓6.3b
(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
36.7b
(neg.f64 (+.f64 (/.f64 (*.f64 z x) y) (+.f64 (/.f64 (pow.f64 z 2) y) z)))
▶30.9b
(+.f64 y (fma.f64 (/.f64 y z) x x))
33.4b
(-.f64 (neg.f64 (*.f64 (+.f64 (/.f64 x y) 1) (/.f64 z (/.f64 y z)))) (fma.f64 (/.f64 z y) x z))
Compiler

Compiled 2540 to 1089 computations (57.1% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 y (fma.f64 (/.f64 y z) x x))
✓2.0b
(fma.f64 (/.f64 y z) x x)

series23.0ms (0.7%)

Counts
2 → 72
Calls

2 calls:

13.0ms
(fma.f64 (/.f64 y z) x x)
10.0ms
(+.f64 y (fma.f64 (/.f64 y z) x x))

rewrite4.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
5×*-un-lft-identity_binary64
4×add-log-exp_binary64
3×fma-def_binary64
3×add-sqr-sqrt_binary64
3×add-cube-cbrt_binary64
Counts
2 → 28
Calls

2 calls:

2.0ms
(+.f64 y (fma.f64 (/.f64 y z) x x))
0.0ms
(fma.f64 (/.f64 y z) x x)

simplify86.0ms (2.8%)

Algorithm
1×egg-herbie
Rules
682×associate-+l+_binary64
671×associate-+r+_binary64
227×unsub-neg_binary64
203×distribute-rgt-in_binary64
196×distribute-lft-in_binary64
Counts
100 → 59
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
050991
1118962
2285962
31330962
44687962
54937962
64990962

prune25.0ms (0.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New59059
Fresh022
Picked011
Done011
Total59463
Error
0.0b
Counts
63 → 4
Alt Table
StatusErrorProgram
✓6.3b
(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
36.7b
(neg.f64 (+.f64 (/.f64 (*.f64 z x) y) (+.f64 (/.f64 (pow.f64 z 2) y) z)))
✓30.9b
(+.f64 y (fma.f64 (/.f64 y z) x x))
▶33.4b
(-.f64 (neg.f64 (*.f64 (+.f64 (/.f64 x y) 1) (/.f64 z (/.f64 y z)))) (fma.f64 (/.f64 z y) x z))
Compiler

Compiled 856 to 263 computations (69.3% saved)

localize11.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(/.f64 z (/.f64 y z))
✓2.9b
(fma.f64 (/.f64 z y) x z)
✓2.9b
(*.f64 (+.f64 (/.f64 x y) 1) (/.f64 z (/.f64 y z)))
✓7.3b
(-.f64 (neg.f64 (*.f64 (+.f64 (/.f64 x y) 1) (/.f64 z (/.f64 y z)))) (fma.f64 (/.f64 z y) x z))

series112.0ms (3.6%)

Counts
4 → 132
Calls

4 calls:

60.0ms
(-.f64 (neg.f64 (*.f64 (+.f64 (/.f64 x y) 1) (/.f64 z (/.f64 y z)))) (fma.f64 (/.f64 z y) x z))
32.0ms
(*.f64 (+.f64 (/.f64 x y) 1) (/.f64 z (/.f64 y z)))
11.0ms
(fma.f64 (/.f64 z y) x z)
10.0ms
(/.f64 z (/.f64 y z))

rewrite39.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Rules
144×times-frac_binary64
104×add-sqr-sqrt_binary64
97×*-un-lft-identity_binary64
93×add-cube-cbrt_binary64
44×associate-*r*_binary64
Counts
4 → 200
Calls

4 calls:

15.0ms
(*.f64 (+.f64 (/.f64 x y) 1) (/.f64 z (/.f64 y z)))
5.0ms
(-.f64 (neg.f64 (*.f64 (+.f64 (/.f64 x y) 1) (/.f64 z (/.f64 y z)))) (fma.f64 (/.f64 z y) x z))
4.0ms
(/.f64 z (/.f64 y z))
0.0ms
(fma.f64 (/.f64 z y) x z)

simplify172.0ms (5.6%)

Algorithm
1×egg-herbie
Rules
795×fma-neg_binary64
233×associate-*l*_binary64
207×associate-/r/_binary64
193×cancel-sign-sub-inv_binary64
192×*-commutative_binary64
Counts
332 → 364
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03577164
17986436
230405132
344105132
449405132

prune179.0ms (5.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New3631364
Fresh101
Picked011
Done022
Total3644368
Error
0.0b
Counts
368 → 4
Alt Table
StatusErrorProgram
▶32.9b
(*.f64 -1 (*.f64 z (+.f64 1 (/.f64 x y))))
✓6.3b
(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
✓30.9b
(+.f64 y (fma.f64 (/.f64 y z) x x))
✓33.4b
(-.f64 (neg.f64 (*.f64 (+.f64 (/.f64 x y) 1) (/.f64 z (/.f64 y z)))) (fma.f64 (/.f64 z y) x z))
Compiler

Compiled 10667 to 2965 computations (72.2% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series11.0ms (0.4%)

Counts
1 → 32
Calls

1 calls:

11.0ms
(*.f64 z (+.f64 1 (/.f64 x y)))

rewrite7.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
5×*-un-lft-identity_binary64
5×add-sqr-sqrt_binary64
4×associate-*r*_binary64
3×associate-*l*_binary64
3×add-cube-cbrt_binary64
Counts
1 → 25
Calls

1 calls:

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

simplify65.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
798×fma-def_binary64
688×distribute-rgt-in_binary64
614×distribute-lft-in_binary64
580×times-frac_binary64
307×associate-*l/_binary64
Counts
57 → 47
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
054626
1135506
2424504
31036504
44202504
54732504
64970504

prune28.0ms (0.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New46147
Fresh000
Picked101
Done033
Total47451
Error
0b
Counts
51 → 4
Alt Table
StatusErrorProgram
36.2b
(*.f64 -1 (/.f64 (*.f64 z (-.f64 1 (*.f64 (/.f64 x y) (/.f64 x y)))) (-.f64 1 (/.f64 x y))))
✓30.9b
(+.f64 y (fma.f64 (/.f64 y z) x x))
✓6.3b
(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
✓33.4b
(-.f64 (neg.f64 (*.f64 (+.f64 (/.f64 x y) 1) (/.f64 z (/.f64 y z)))) (fma.f64 (/.f64 z y) x z))
Compiler

Compiled 753 to 387 computations (48.6% saved)

regimes430.0ms (13.9%)

Accuracy

Total 0.2b remaining (61%)

Threshold costs 0.2b (61%)

Counts
71 → 3
Compiler

Compiled 4392 to 2790 computations (36.5% saved)

bsearch2.0ms (0.1%)

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify10.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
17×distribute-rgt-neg-in_binary64
16×cancel-sign-sub-inv_binary64
15×+-commutative_binary64
14×sub-neg_binary64
14×neg-sub0_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
02798
14298
25898
37798
49596
511696
612796
713596
814096
914496
1014996
1115496
1215696
1315296

end76.0ms (2.5%)

Compiler

Compiled 203 to 110 computations (45.8% saved)

Profiling

Loading profile data...