Details

Time bar (total: 3.2s)

analyze880.0ms (27.7%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
9.4%90.4%0.2%8
9.4%90.4%0.2%9
10.9%88.9%0.2%10
25.9%73.9%0.2%11
47.1%52.7%0.2%12
55.3%44.5%0.2%13
59.2%40.6%0.2%14
Compiler

Compiled 22 to 15 computations (31.8% saved)

sample84.0ms (2.6%)

Algorithm
1×intervals
Results
14.0ms256×body128valid
Compiler

Compiled 47 to 33 computations (29.8% saved)

simplify57.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
508×fma-neg_binary64
504×associate-*l/_binary64
466×div-sub_binary64
450×cancel-sign-sub-inv_binary64
403×sub-neg_binary64
Counts
1 → 2
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01425
13025
27025
317722
448619
5108719
6253419
7443419
8515619

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
2.7b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶3.4b
(-.f64 x (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z)))))
13.3b
(-.f64 x (/.f64 (*.f64 (*.f64 y 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y t))))
Compiler

Compiled 110 to 70 computations (36.4% saved)

localize8.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓5.1b
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))
✓5.4b
(/.f64 (*.f64 y t) (*.f64 2 z))

series66.0ms (2.1%)

Counts
2 → 72
Calls

2 calls:

51.0ms
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))
15.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))

rewrite12.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
20×*-un-lft-identity_binary64
20×add-sqr-sqrt_binary64
16×times-frac_binary64
16×add-cbrt-cube_binary64
16×add-exp-log_binary64
Counts
2 → 62
Calls

2 calls:

5.0ms
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))
4.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))

simplify95.0ms (3%)

Algorithm
1×egg-herbie
Rules
873×fma-def_binary64
636×associate-*l/_binary64
486×associate-/l/_binary64
282×associate-/r/_binary64
213×times-frac_binary64
Counts
134 → 114
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01752886
14432809
217702787
349202776
456302776

prune82.0ms (2.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1113114
Fresh101
Picked101
Done000
Total1133116
Error
0b
Counts
116 → 3
Alt Table
StatusErrorProgram
3.4b
(-.f64 x (/.f64 1 (/.f64 (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))) y)))
▶2.4b
(-.f64 x (/.f64 (neg.f64 y) (fma.f64 (/.f64 y z) (/.f64 t 2) (neg.f64 z))))
22.6b
(-.f64 x (*.f64 -2 (/.f64 z t)))
Compiler

Compiled 2778 to 1448 computations (47.9% saved)

localize88.0ms (2.8%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓2.7b
(fma.f64 (/.f64 y z) (/.f64 t 2) (neg.f64 z))
✓5.1b
(/.f64 (neg.f64 y) (fma.f64 (/.f64 y z) (/.f64 t 2) (neg.f64 z)))

series44.0ms (1.4%)

Counts
2 → 72
Calls

2 calls:

33.0ms
(/.f64 (neg.f64 y) (fma.f64 (/.f64 y z) (/.f64 t 2) (neg.f64 z)))
11.0ms
(fma.f64 (/.f64 y z) (/.f64 t 2) (neg.f64 z))

rewrite9.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
30×times-frac_binary64
25×*-un-lft-identity_binary64
25×add-sqr-sqrt_binary64
25×add-cube-cbrt_binary64
12×distribute-lft-neg-in_binary64
Counts
2 → 69
Calls

2 calls:

3.0ms
(/.f64 (neg.f64 y) (fma.f64 (/.f64 y z) (/.f64 t 2) (neg.f64 z)))
0.0ms
(fma.f64 (/.f64 y z) (/.f64 t 2) (neg.f64 z))

simplify80.0ms (2.5%)

Algorithm
1×egg-herbie
Rules
994×times-frac_binary64
686×associate-/l*_binary64
218×associate-/r/_binary64
200×associate-/l/_binary64
159×fma-def_binary64
Counts
141 → 98
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01663678
13813569
213003548
352023548

prune77.0ms (2.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New98098
Fresh022
Picked011
Done000
Total983101
Error
0b
Counts
101 → 3
Alt Table
StatusErrorProgram
▶3.4b
(-.f64 x (/.f64 1 (/.f64 (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))) y)))
✓2.4b
(-.f64 x (/.f64 (neg.f64 y) (fma.f64 (/.f64 y z) (/.f64 t 2) (neg.f64 z))))
22.6b
(-.f64 x (*.f64 -2 (/.f64 z t)))
Compiler

Compiled 2453 to 1114 computations (54.6% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.6b
(/.f64 1 (/.f64 (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))) y))
✓5.0b
(/.f64 (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))) y)
5.4b
(/.f64 (*.f64 y t) (*.f64 2 z))

series48.0ms (1.5%)

Counts
2 → 72
Calls

2 calls:

30.0ms
(/.f64 1 (/.f64 (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))) y))
17.0ms
(/.f64 (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))) y)

rewrite31.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
132×times-frac_binary64
100×*-un-lft-identity_binary64
100×add-sqr-sqrt_binary64
68×add-cube-cbrt_binary64
22×associate-/r*_binary64
Counts
2 → 142
Calls

2 calls:

9.0ms
(/.f64 1 (/.f64 (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))) y))
6.0ms
(/.f64 (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))) y)

simplify151.0ms (4.7%)

Algorithm
1×egg-herbie
Rules
891×fma-def_binary64
712×associate-/l*_binary64
579×associate-/r*_binary64
379×associate-/r/_binary64
352×associate-/l/_binary64
Counts
214 → 212
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01915873
14585514
215695390
348915054
455055054

prune183.0ms (5.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New2480248
Fresh011
Picked011
Done011
Total2483251
Error
0b
Counts
251 → 3
Alt Table
StatusErrorProgram
✓3.4b
(-.f64 x (/.f64 1 (/.f64 (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))) y)))
✓2.4b
(-.f64 x (/.f64 (neg.f64 y) (fma.f64 (/.f64 y z) (/.f64 t 2) (neg.f64 z))))
▶22.6b
(-.f64 x (*.f64 -2 (/.f64 z t)))
Compiler

Compiled 6703 to 3578 computations (46.6% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 x (*.f64 -2 (/.f64 z t)))
✓0.0b
(*.f64 -2 (/.f64 z t))

series17.0ms (0.5%)

Counts
2 → 36
Calls

2 calls:

9.0ms
(-.f64 x (*.f64 -2 (/.f64 z t)))
8.0ms
(*.f64 -2 (/.f64 z t))

rewrite11.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
17×add-sqr-sqrt_binary64
13×associate-*r*_binary64
12×*-un-lft-identity_binary64
12×add-cube-cbrt_binary64
10×times-frac_binary64
Counts
2 → 54
Calls

2 calls:

5.0ms
(*.f64 -2 (/.f64 z t))
4.0ms
(-.f64 x (*.f64 -2 (/.f64 z t)))

simplify63.0ms (2%)

Algorithm
1×egg-herbie
Rules
569×fma-def_binary64
566×associate-/l*_binary64
275×associate-/l/_binary64
241×distribute-rgt-in_binary64
221×times-frac_binary64
Counts
90 → 88
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0110899
1244849
2640829
31931829
44657829
54959829

prune46.0ms (1.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New88088
Fresh000
Picked011
Done022
Total88391
Error
0b
Counts
91 → 3
Alt Table
StatusErrorProgram
✓3.4b
(-.f64 x (/.f64 1 (/.f64 (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))) y)))
✓2.4b
(-.f64 x (/.f64 (neg.f64 y) (fma.f64 (/.f64 y z) (/.f64 t 2) (neg.f64 z))))
✓22.6b
(-.f64 x (*.f64 -2 (/.f64 z t)))
Compiler

Compiled 1186 to 598 computations (49.6% saved)

regimes187.0ms (5.9%)

Accuracy

Total 0.1b remaining (91.9%)

Threshold costs 0.1b (91.9%)

Counts
21 → 1
Compiler

Compiled 2008 to 1402 computations (30.2% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×+-commutative_binary64
2×sub-neg_binary64
1×*-commutative_binary64
1×distribute-neg-frac_binary64
1×neg-sub0_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01217
11617
22217
32417
42517
52317

end1.0ms (0%)

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample836.0ms (26.3%)

Algorithm
1×intervals
Results
478.0ms8000×body128valid
Compiler

Compiled 90 to 63 computations (30% saved)

Profiling

Loading profile data...