Details

Time bar (total: 2.4s)

analyze383.0ms (16.1%)

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)

sample19.0ms (0.8%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
1.0ms22×body128invalid
Compiler

Compiled 28 to 20 computations (28.6% saved)

simplify25.0ms (1%)

Algorithm
1×egg-herbie
Rules
52×cancel-sign-sub-inv_binary64
45×distribute-rgt-in_binary64
45×sub-neg_binary64
43×associate--r+_binary64
28×unsub-neg_binary64
Counts
1 → 1
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
0913
11613
22613
34213
48712
512210
616810
729110
834510
935310
1034410
1130110

prune4.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 54 to 34 computations (37% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

rewrite54.0ms (2.3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
13×add-sqr-sqrt_binary64
12×cancel-sign-sub-inv_binary64
11×*-un-lft-identity_binary64
8×distribute-lft-in_binary64
8×associate-+r+_binary64
Counts
2 → 50
Calls

2 calls:

7.0ms
(*.f64 z (-.f64 1 y))
5.0ms
(+.f64 (*.f64 x y) (*.f64 z (-.f64 1 y)))
Compiler

Compiled 785 to 391 computations (50.2% saved)

series55.0ms (2.3%)

Error
0.0b
Counts
2 → 27
Calls

2 calls:

28.0ms
(+.f64 (*.f64 x y) (*.f64 z (-.f64 1 y)))
15.0ms
(*.f64 z (-.f64 1 y))
Compiler

Compiled 535 to 313 computations (41.5% saved)

simplify108.0ms (4.5%)

Algorithm
1×egg-herbie
Rules
685×unsub-neg_binary64
414×times-frac_binary64
333×*-commutative_binary64
322×neg-mul-1_binary64
321×neg-sub0_binary64
Counts
77 → 61
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0100805
1257721
2731721
31886712
43195712
54507712
65282712

prune28.0ms (1.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New60161
Fresh011
Picked011
Done000
Total60363
Error
0b
Counts
63 → 3
Alt Table
StatusErrorProgram
14.6b
(+.f64 (*.f64 x y) (/.f64 (*.f64 z (-.f64 1 (pow.f64 y 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 y y) (*.f64 1 y)))))
✓0.0b
(+.f64 (*.f64 x y) (*.f64 z (-.f64 1 y)))
▶0.0b
(+.f64 z (*.f64 y (-.f64 x z)))
Compiler

Compiled 558 to 204 computations (63.4% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite49.0ms (2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
12×cancel-sign-sub-inv_binary64
12×add-sqr-sqrt_binary64
10×*-un-lft-identity_binary64
8×distribute-lft-in_binary64
8×associate-+r+_binary64
Counts
2 → 49
Calls

2 calls:

7.0ms
(*.f64 y (-.f64 x z))
4.0ms
(+.f64 z (*.f64 y (-.f64 x z)))
Compiler

Compiled 658 to 182 computations (72.3% saved)

series59.0ms (2.5%)

Error
0b
Counts
2 → 33
Calls

2 calls:

27.0ms
(+.f64 z (*.f64 y (-.f64 x z)))
24.0ms
(*.f64 y (-.f64 x z))
Compiler

Compiled 613 to 357 computations (41.8% saved)

simplify107.0ms (4.5%)

Algorithm
1×egg-herbie
Rules
349×distribute-rgt-in_binary64
336×distribute-lft-in_binary64
262×unsub-neg_binary64
262×exp-prod_binary64
256×+-commutative_binary64
Counts
82 → 54
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0100812
1243764
2738764
32192764
44335764
54998764
64906764

prune20.0ms (0.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New54054
Fresh011
Picked011
Done011
Total54357
Error
0b
Counts
57 → 3
Alt Table
StatusErrorProgram
▶14.6b
(+.f64 (*.f64 x y) (/.f64 (*.f64 z (-.f64 1 (pow.f64 y 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 y y) (*.f64 1 y)))))
✓0.0b
(+.f64 (*.f64 x y) (*.f64 z (-.f64 1 y)))
✓0.0b
(+.f64 z (*.f64 y (-.f64 x z)))
Compiler

Compiled 346 to 140 computations (59.5% saved)

localize15.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (*.f64 y y) (*.f64 1 y))
0.0b
(+.f64 (*.f64 x y) (/.f64 (*.f64 z (-.f64 1 (pow.f64 y 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 y y) (*.f64 1 y)))))
2.7b
(*.f64 z (-.f64 1 (pow.f64 y 3)))
11.6b
(/.f64 (*.f64 z (-.f64 1 (pow.f64 y 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 y y) (*.f64 1 y))))

rewrite181.0ms (7.6%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
26×add-sqr-sqrt_binary64
24×cancel-sign-sub-inv_binary64
22×*-un-lft-identity_binary64
14×add-cube-cbrt_binary64
13×distribute-lft-in_binary64
Counts
4 → 105
Calls

4 calls:

17.0ms
(/.f64 (*.f64 z (-.f64 1 (pow.f64 y 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 y y) (*.f64 1 y))))
14.0ms
(+.f64 (*.f64 x y) (/.f64 (*.f64 z (-.f64 1 (pow.f64 y 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 y y) (*.f64 1 y)))))
13.0ms
(*.f64 z (-.f64 1 (pow.f64 y 3)))
4.0ms
(+.f64 (*.f64 y y) (*.f64 1 y))
Compiler

Compiled 3292 to 2111 computations (35.9% saved)

series197.0ms (8.3%)

Error
0b
Counts
4 → 42
Calls

4 calls:

99.0ms
(+.f64 (*.f64 x y) (/.f64 (*.f64 z (-.f64 1 (pow.f64 y 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 y y) (*.f64 1 y)))))
37.0ms
(/.f64 (*.f64 z (-.f64 1 (pow.f64 y 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 y y) (*.f64 1 y))))
29.0ms
(*.f64 z (-.f64 1 (pow.f64 y 3)))
13.0ms
(+.f64 (*.f64 y y) (*.f64 1 y))
Compiler

Compiled 1691 to 1160 computations (31.4% saved)

simplify164.0ms (6.9%)

Algorithm
1×egg-herbie
Rules
525×exp-prod_binary64
388×cancel-sign-sub-inv_binary64
319×unswap-sqr_binary64
278×associate-*r*_binary64
268×associate-*l*_binary64
Counts
147 → 117
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02182581
15622465
223902391
342332375
445612375
549352375

prune79.0ms (3.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1170117
Fresh000
Picked011
Done022
Total1173120
Error
0b
Counts
120 → 3
Alt Table
StatusErrorProgram
14.6b
(+.f64 (*.f64 x y) (/.f64 (*.f64 z (-.f64 1 (pow.f64 y 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 y y) (*.f64 1 y)))))
0.0b
(+.f64 (*.f64 x y) (*.f64 z (-.f64 1 y)))
0.0b
(+.f64 z (*.f64 y (-.f64 x z)))
Compiler

Compiled 1719 to 1012 computations (41.1% saved)

regimes204.0ms (8.6%)

Accuracy

Total 0.0b remaining (64.7%)

Threshold costs 0.0b (64.7%)

Compiler

Compiled 2344 to 1654 computations (29.4% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0913
11613
22013
32213
42313
52213

end1.0ms (0%)

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample613.0ms (25.8%)

Algorithm
1×intervals
Results
232.0ms8000×body128valid
23.0ms704×body128invalid
Compiler

Compiled 76 to 53 computations (30.3% saved)

Profiling

Loading profile data...