Details

Time bar (total: 4.2s)

analyze822.0ms (19.7%)

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
15.6%84.3%0.1%7
23.4%76.5%0.1%8
33.5%63.2%3.3%9
43.3%49.5%7.2%10
48.2%43.9%7.9%11
54.5%34.2%11.3%12
60.6%25.6%13.8%13
63.1%22.8%14.1%14
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample36.0ms (0.9%)

Algorithm
1×intervals
Results
18.0ms256×body128valid
1.0ms18×body128invalid
Compiler

Compiled 28 to 20 computations (28.6% saved)

simplify37.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
354×fma-def_binary64
250×fma-neg_binary64
52×cancel-sign-sub-inv_binary64
45×distribute-rgt-in_binary64
43×associate--r+_binary64
Counts
1 → 2
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
0911
11711
23011
34911
41079
51728
62558
74208
85528
96248
106548
116648
126218

prune6.0ms (0.1%)

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
(fma.f64 y (-.f64 x z) z)
▶0.0b
(+.f64 (*.f64 x y) (*.f64 z (-.f64 1 y)))
Compiler

Compiled 60 to 36 computations (40% saved)

localize12.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 z (-.f64 1 y))
✓0.0b
(+.f64 (*.f64 x y) (*.f64 z (-.f64 1 y)))

series24.0ms (0.6%)

Counts
2 → 60
Calls

2 calls:

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

rewrite43.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
37×add-sqr-sqrt_binary64
36×prod-diff_binary64
35×*-un-lft-identity_binary64
32×add-cube-cbrt_binary64
26×distribute-lft-in_binary64
Counts
2 → 91
Calls

2 calls:

12.0ms
(*.f64 z (-.f64 1 y))
12.0ms
(+.f64 (*.f64 x y) (*.f64 z (-.f64 1 y)))

simplify182.0ms (4.4%)

Algorithm
1×egg-herbie
Rules
733×fma-neg_binary64
558×fma-def_binary64
354×cancel-sign-sub-inv_binary64
305×distribute-rgt-in_binary64
293×*-commutative_binary64
Counts
151 → 141
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01381578
12741462
29831400
328351344
443411344
548571344

prune265.0ms (6.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1392141
Fresh011
Picked101
Done000
Total1403143
Error
0b
Counts
143 → 3
Alt Table
StatusErrorProgram
▶0.0b
(fma.f64 y (-.f64 x z) z)
27.7b
(+.f64 (*.f64 x y) (*.f64 (fma.f64 z (sqrt.f64 y) z) (-.f64 1 (sqrt.f64 y))))
0.2b
(+.f64 (fma.f64 y x z) (*.f64 (*.f64 (neg.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y)) z))
Compiler

Compiled 2780 to 1049 computations (62.3% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 y (-.f64 x z) z)

series18.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

18.0ms
(fma.f64 y (-.f64 x z) z)

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:

1.0ms
(fma.f64 y (-.f64 x z) z)

simplify83.0ms (2%)

Algorithm
1×egg-herbie
Rules
761×neg-sub0_binary64
711×neg-mul-1_binary64
620×distribute-neg-out_binary64
617×distribute-rgt-neg-out_binary64
417×unsub-neg_binary64
Counts
46 → 22
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
032472
166374
2142374
3355374
41792374
53571374
65347374

prune20.0ms (0.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New21122
Fresh112
Picked011
Done000
Total22325
Error
0b
Counts
25 → 3
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 y (-.f64 x z) z)
27.7b
(+.f64 (*.f64 x y) (*.f64 (fma.f64 z (sqrt.f64 y) z) (-.f64 1 (sqrt.f64 y))))
▶0.0b
(-.f64 (+.f64 (*.f64 y x) z) (*.f64 y z))
Compiler

Compiled 251 to 89 computations (64.5% saved)

localize11.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (+.f64 (*.f64 y x) z) (*.f64 y z))

series15.0ms (0.3%)

Counts
1 → 9
Calls

1 calls:

14.0ms
(-.f64 (+.f64 (*.f64 y x) z) (*.f64 y z))

rewrite12.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
6×add-log-exp_binary64
3×fma-neg_binary64
3×*-un-lft-identity_binary64
3×add-sqr-sqrt_binary64
3×prod-diff_binary64
Counts
1 → 22
Calls

1 calls:

10.0ms
(-.f64 (+.f64 (*.f64 y x) z) (*.f64 y z))

simplify108.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
679×associate-+l+_binary64
642×fma-neg_binary64
355×*-commutative_binary64
253×fma-def_binary64
246×times-frac_binary64
Counts
31 → 46
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
061471
1154357
2476338
31871337
43832302
54914302

prune41.0ms (1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New46046
Fresh011
Picked011
Done011
Total46349
Error
0b
Counts
49 → 3
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 y (-.f64 x z) z)
▶27.7b
(+.f64 (*.f64 x y) (*.f64 (fma.f64 z (sqrt.f64 y) z) (-.f64 1 (sqrt.f64 y))))
✓0.0b
(-.f64 (+.f64 (*.f64 y x) z) (*.f64 y z))
Compiler

Compiled 710 to 162 computations (77.2% saved)

localize16.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (*.f64 x y) (*.f64 (fma.f64 z (sqrt.f64 y) z) (-.f64 1 (sqrt.f64 y))))
✓0.1b
(fma.f64 z (sqrt.f64 y) z)
✓0.1b
(*.f64 (fma.f64 z (sqrt.f64 y) z) (-.f64 1 (sqrt.f64 y)))

series132.0ms (3.2%)

Counts
3 → 54
Calls

3 calls:

57.0ms
(+.f64 (*.f64 x y) (*.f64 (fma.f64 z (sqrt.f64 y) z) (-.f64 1 (sqrt.f64 y))))
51.0ms
(*.f64 (fma.f64 z (sqrt.f64 y) z) (-.f64 1 (sqrt.f64 y)))
23.0ms
(fma.f64 z (sqrt.f64 y) z)

rewrite80.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Rules
72×prod-diff_binary64
70×add-sqr-sqrt_binary64
66×*-un-lft-identity_binary64
61×add-cube-cbrt_binary64
51×sqrt-prod_binary64
Counts
3 → 152
Calls

3 calls:

19.0ms
(+.f64 (*.f64 x y) (*.f64 (fma.f64 z (sqrt.f64 y) z) (-.f64 1 (sqrt.f64 y))))
17.0ms
(*.f64 (fma.f64 z (sqrt.f64 y) z) (-.f64 1 (sqrt.f64 y)))
1.0ms
(fma.f64 z (sqrt.f64 y) z)

simplify241.0ms (5.8%)

Algorithm
1×egg-herbie
Rules
619×fma-def_binary64
613×distribute-rgt-in_binary64
551×distribute-lft-in_binary64
431×fma-neg_binary64
172×associate-*l*_binary64
Counts
206 → 196
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01644122
13313762
211953528
346273528
449963528

prune228.0ms (5.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1960196
Fresh000
Picked011
Done022
Total1963199
Error
0b
Counts
199 → 3
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 y (-.f64 x z) z)
✓27.7b
(+.f64 (*.f64 x y) (*.f64 (fma.f64 z (sqrt.f64 y) z) (-.f64 1 (sqrt.f64 y))))
✓0.0b
(-.f64 (+.f64 (*.f64 y x) z) (*.f64 y z))
Compiler

Compiled 5965 to 1682 computations (71.8% saved)

regimes524.0ms (12.6%)

Accuracy

Total 0.0b remaining (86.1%)

Threshold costs 0.0b (86.1%)

Counts
63 → 1
Compiler

Compiled 4526 to 2776 computations (38.7% saved)

simplify5.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
6×*-commutative_binary64
5×+-commutative_binary64
4×neg-sub0_binary64
3×distribute-rgt-neg-in_binary64
3×sub-neg_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01315
12215
22713
33313
44113
54313
64413
74213

end1.0ms (0%)

Compiler

Compiled 12 to 7 computations (41.7% saved)

sample1.2s (28.8%)

Algorithm
1×intervals
Results
526.0ms8000×body128valid
71.0ms702×body128invalid
Compiler

Compiled 66 to 41 computations (37.9% saved)

Profiling

Loading profile data...