Details

Time bar (total: 5.9s)

analyze101.0ms (1.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
25%74.9%0.1%5
37.5%62.4%0.1%6
50%46.8%3.2%7
56.2%37.5%6.3%8
62.4%25.8%11.8%9
65.6%20.3%14.1%10
68.7%13.5%17.9%11
70.2%10.5%19.2%12
71.8%6.9%21.3%13
72.6%5.4%22%14
Compiler

Compiled 12 to 11 computations (8.3% saved)

sample21.0ms (0.4%)

Algorithm
1×intervals
Results
13.0ms256×body128valid
0.0ms12×body128invalid
Compiler

Compiled 23 to 23 computations (0% saved)

simplify165.0ms (2.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
0495716
1495716

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
4.3b
Counts
2 → 1
Compiler

Compiled 22 to 20 computations (9.1% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

4.0b
(/.f64 (*.f64 (-.f64 1 x) (-.f64 3 x)) (*.f64 y 3))
0.0b
(*.f64 (-.f64 1 x) (-.f64 3 x))
0.0b
(*.f64 (-.f64 1 x) (-.f64 3 x))
4.0b
(/.f64 (*.f64 (-.f64 1 x) (-.f64 3 x)) (*.f64 y 3))

rewrite33.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
16×add-cbrt-cube_binary64_13072 add-exp-log_binary64_13074
13×add-sqr-sqrt_binary64_13058
12×flip--_binary64_13011 flip3--_binary64_13040
11×*-un-lft-identity_binary64_13036
8×frac-times_binary64_13046 associate-/l/_binary64_12983
6×associate-*l*_binary64_12977 cancel-sign-sub-inv_binary64_13002 add-cube-cbrt_binary64_13071
5×associate-*r*_binary64_12976 prod-exp_binary64_13085 cbrt-unprod_binary64_13069
4×distribute-rgt-in_binary64_12986 distribute-lft-in_binary64_12985 cbrt-undiv_binary64_13070 div-exp_binary64_13087 associate-*l/_binary64_12979 pow1_binary64_13097 associate-*r/_binary64_12978
3×difference-of-squares_binary64_13005
2×add-log-exp_binary64_13075 sub-neg_binary64_13029 distribute-lft-out--_binary64_12988
1×clear-num_binary64_13035 unswap-sqr_binary64_13004 div-inv_binary64_13033 associate-/r*_binary64_12980 associate-/l*_binary64_12981 times-frac_binary64_13042 *-commutative_binary64_12967 frac-2neg_binary64_13047 pow-prod-down_binary64_13107
Counts
2 → 68
Calls

4 calls:

15.0ms
(/.f64 (*.f64 (-.f64 1 x) (-.f64 3 x)) (*.f64 y 3))
12.0ms
(*.f64 (-.f64 1 x) (-.f64 3 x))
0.0ms
(*.f64 (-.f64 1 x) (-.f64 3 x))
0.0ms
(/.f64 (*.f64 (-.f64 1 x) (-.f64 3 x)) (*.f64 y 3))

series223.0ms (3.8%)

Counts
2 → 21
Calls

2 calls:

170.0ms
(/.f64 (*.f64 (-.f64 1 x) (-.f64 3 x)) (*.f64 y 3))
53.0ms
(*.f64 (-.f64 1 x) (-.f64 3 x))
Compiler

Compiled 360 to 325 computations (9.7% saved)

simplify63.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
049431315
149431315

prune107.0ms (1.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New85489
Fresh000
Picked101
Done000
Total86490
Error
0.0b
Counts
90 → 4
Compiler

Compiled 1440 to 1052 computations (26.9% saved)

localize8.0ms (0.1%)

Local error

Found 6 expressions with local error:

0.1b
(/.f64 (-.f64 1 x) (/.f64 y (/.f64 (-.f64 3 x) 3)))
0.1b
(/.f64 y (/.f64 (-.f64 3 x) 3))
0.0b
(/.f64 (-.f64 3 x) 3)
0.0b
(/.f64 (-.f64 3 x) 3)
0.1b
(/.f64 y (/.f64 (-.f64 3 x) 3))
0.1b
(/.f64 (-.f64 1 x) (/.f64 y (/.f64 (-.f64 3 x) 3)))

rewrite144.0ms (2.5%)

Algorithm
1×rewrite-expression-head
Rules
1218×times-frac_binary64_13042
808×*-un-lft-identity_binary64_13036 add-sqr-sqrt_binary64_13058
461×add-cube-cbrt_binary64_13071
205×difference-of-squares_binary64_13005
142×distribute-lft-out--_binary64_12988
84×associate-/r*_binary64_12980
35×div-inv_binary64_13033
19×add-cbrt-cube_binary64_13072 add-exp-log_binary64_13074
14×associate-/l*_binary64_12981
10×cbrt-undiv_binary64_13070 div-exp_binary64_13087
9×associate-/r/_binary64_12982
4×associate-/l/_binary64_12983
3×clear-num_binary64_13035 add-log-exp_binary64_13075 pow1_binary64_13097 frac-2neg_binary64_13047
2×flip--_binary64_13011 div-sub_binary64_13041 flip3--_binary64_13040
Counts
3 → 592
Calls

6 calls:

31.0ms
(/.f64 (-.f64 1 x) (/.f64 y (/.f64 (-.f64 3 x) 3)))
9.0ms
(/.f64 y (/.f64 (-.f64 3 x) 3))
7.0ms
(/.f64 (-.f64 3 x) 3)
0.0ms
(/.f64 (-.f64 3 x) 3)
0.0ms
(/.f64 y (/.f64 (-.f64 3 x) 3))

series287.0ms (4.9%)

Counts
3 → 33
Calls

3 calls:

172.0ms
(/.f64 (-.f64 1 x) (/.f64 y (/.f64 (-.f64 3 x) 3)))
87.0ms
(/.f64 y (/.f64 (-.f64 3 x) 3))
28.0ms
(/.f64 (-.f64 3 x) 3)
Compiler

Compiled 625 to 539 computations (13.8% saved)

simplify207.0ms (3.5%)

Algorithm
1×egg-herbie
Counts
625 → 625
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
0511220379

prune1.2s (21%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New6241625
Fresh123
Picked011
Done000
Total6254629
Error
0b
Counts
629 → 4
Compiler

Compiled 15175 to 10645 computations (29.9% saved)

localize7.0ms (0.1%)

Local error

Found 6 expressions with local error:

0.3b
(*.f64 (/.f64 (-.f64 1 x) y) (-.f64 3 x))
0.3b
(/.f64 (*.f64 (/.f64 (-.f64 1 x) y) (-.f64 3 x)) 3)
0.0b
(/.f64 (-.f64 1 x) y)
0.0b
(/.f64 (-.f64 1 x) y)
0.3b
(/.f64 (*.f64 (/.f64 (-.f64 1 x) y) (-.f64 3 x)) 3)
0.3b
(*.f64 (/.f64 (-.f64 1 x) y) (-.f64 3 x))

rewrite50.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
57×add-sqr-sqrt_binary64_13058
52×*-un-lft-identity_binary64_13036
40×times-frac_binary64_13042
29×add-cube-cbrt_binary64_13071
22×associate-*l*_binary64_12977
19×add-cbrt-cube_binary64_13072 add-exp-log_binary64_13074
15×difference-of-squares_binary64_13005
8×distribute-lft-out--_binary64_12988
7×associate-/l*_binary64_12981 associate-/l/_binary64_12983
6×cbrt-undiv_binary64_13070 div-exp_binary64_13087 associate-/r*_binary64_12980 cancel-sign-sub-inv_binary64_13002
5×flip--_binary64_13011 associate-*r*_binary64_12976 flip3--_binary64_13040 pow1_binary64_13097
4×distribute-rgt-in_binary64_12986 distribute-lft-in_binary64_12985 prod-exp_binary64_13085 associate-*r/_binary64_12978 frac-times_binary64_13046 cbrt-unprod_binary64_13069
3×add-log-exp_binary64_13075 div-inv_binary64_13033
2×clear-num_binary64_13035 unswap-sqr_binary64_13004 sub-neg_binary64_13029 associate-*l/_binary64_12979 frac-2neg_binary64_13047
1×div-sub_binary64_13041 *-commutative_binary64_12967 pow-prod-down_binary64_13107
Counts
3 → 125
Calls

6 calls:

16.0ms
(*.f64 (/.f64 (-.f64 1 x) y) (-.f64 3 x))
16.0ms
(/.f64 (*.f64 (/.f64 (-.f64 1 x) y) (-.f64 3 x)) 3)
8.0ms
(/.f64 (-.f64 1 x) y)
0.0ms
(/.f64 (-.f64 1 x) y)
0.0ms
(/.f64 (*.f64 (/.f64 (-.f64 1 x) y) (-.f64 3 x)) 3)

series376.0ms (6.4%)

Counts
3 → 33
Calls

3 calls:

162.0ms
(/.f64 (*.f64 (/.f64 (-.f64 1 x) y) (-.f64 3 x)) 3)
142.0ms
(*.f64 (/.f64 (-.f64 1 x) y) (-.f64 3 x))
71.0ms
(/.f64 (-.f64 1 x) y)
Compiler

Compiled 661 to 585 computations (11.5% saved)

simplify56.0ms (1%)

Algorithm
1×egg-herbie
Counts
158 → 158
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
052432390

prune139.0ms (2.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1580158
Fresh022
Picked011
Done011
Total1584162
Error
0b
Counts
162 → 4
Compiler

Compiled 2586 to 1784 computations (31% saved)

localize9.0ms (0.1%)

Local error

Found 6 expressions with local error:

3.9b
(/.f64 (*.f64 3 y) (*.f64 (-.f64 1 x) (-.f64 3 x)))
0.1b
(/.f64 1 (/.f64 (*.f64 3 y) (*.f64 (-.f64 1 x) (-.f64 3 x))))
0.0b
(*.f64 (-.f64 1 x) (-.f64 3 x))
0.0b
(*.f64 (-.f64 1 x) (-.f64 3 x))
0.1b
(/.f64 1 (/.f64 (*.f64 3 y) (*.f64 (-.f64 1 x) (-.f64 3 x))))
3.9b
(/.f64 (*.f64 3 y) (*.f64 (-.f64 1 x) (-.f64 3 x)))

rewrite58.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
61×add-exp-log_binary64_13074
44×times-frac_binary64_13042
41×associate-/r/_binary64_12982
36×flip--_binary64_13011 flip3--_binary64_13040
35×add-cbrt-cube_binary64_13072
32×add-sqr-sqrt_binary64_13058
30×*-un-lft-identity_binary64_13036
26×div-exp_binary64_13087
25×add-cube-cbrt_binary64_13071
24×frac-times_binary64_13046
17×prod-exp_binary64_13085
14×associate-/r*_binary64_12980
13×cbrt-undiv_binary64_13070
12×associate-*l/_binary64_12979 associate-*r/_binary64_12978
9×cbrt-unprod_binary64_13069
6×div-inv_binary64_13033 associate-*l*_binary64_12977 pow1_binary64_13097 cancel-sign-sub-inv_binary64_13002
5×associate-*r*_binary64_12976 rec-exp_binary64_13086 1-exp_binary64_13080
4×distribute-rgt-in_binary64_12986 distribute-lft-in_binary64_12985 associate-/l*_binary64_12981
3×add-log-exp_binary64_13075 difference-of-squares_binary64_13005
2×clear-num_binary64_13035 sub-neg_binary64_13029 distribute-lft-out--_binary64_12988 frac-2neg_binary64_13047
1×inv-pow_binary64_13121 unswap-sqr_binary64_13004 pow-flip_binary64_13110 *-commutative_binary64_12967 pow-prod-down_binary64_13107
Counts
3 → 156
Calls

6 calls:

16.0ms
(/.f64 1 (/.f64 (*.f64 3 y) (*.f64 (-.f64 1 x) (-.f64 3 x))))
13.0ms
(/.f64 (*.f64 3 y) (*.f64 (-.f64 1 x) (-.f64 3 x)))
12.0ms
(*.f64 (-.f64 1 x) (-.f64 3 x))
0.0ms
(*.f64 (-.f64 1 x) (-.f64 3 x))
0.0ms
(/.f64 1 (/.f64 (*.f64 3 y) (*.f64 (-.f64 1 x) (-.f64 3 x))))

series361.0ms (6.2%)

Counts
3 → 36
Calls

3 calls:

167.0ms
(/.f64 1 (/.f64 (*.f64 3 y) (*.f64 (-.f64 1 x) (-.f64 3 x))))
138.0ms
(/.f64 (*.f64 3 y) (*.f64 (-.f64 1 x) (-.f64 3 x)))
56.0ms
(*.f64 (-.f64 1 x) (-.f64 3 x))
Compiler

Compiled 692 to 619 computations (10.5% saved)

simplify87.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
192 → 192
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
051563927

prune207.0ms (3.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1920192
Fresh011
Picked011
Done022
Total1924196
Error
0b
Counts
196 → 4
Compiler

Compiled 3613 to 2682 computations (25.8% saved)

simplify52.0ms (0.9%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
01111714
11111714

regimes178.0ms (3%)

Compiler

Compiled 1609 to 1412 computations (12.2% saved)

bsearch0.0ms (0%)

regimes47.0ms (0.8%)

Compiler

Compiled 220 to 216 computations (1.8% saved)

bsearch0.0ms (0%)

regimes83.0ms (1.4%)

Compiler

Compiled 198 to 196 computations (1% saved)

bsearch32.0ms (0.5%)

Steps
ItersRangePoint
8
0.05711394243750176
16.6955986935044
0.7992915933367786
9
-315662.0720445743
-0.020360082043879523
-4.6757515790102016
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes67.0ms (1.1%)

Compiler

Compiled 126 to 130 computations (-3.2% saved)

bsearch32.0ms (0.6%)

Steps
ItersRangePoint
8
0.05711394243750176
16.6955986935044
4.920863345884939
9
-315662.0720445743
-0.020360082043879523
-1.721800375688621
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes56.0ms (1%)

Compiler

Compiled 72 to 82 computations (-13.9% saved)

bsearch28.0ms (0.5%)

Steps
ItersRangePoint
8
0.05711394243750176
16.6955986935044
0.5746400256711233
9
-315662.0720445743
-0.020360082043879523
-1.721800375688621
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes47.0ms (0.8%)

Compiler

Compiled 30 to 46 computations (-53.3% saved)

bsearch28.0ms (0.5%)

Steps
ItersRangePoint
8
0.05711394243750176
16.6955986935044
0.5906865662186701
9
-315662.0720445743
-0.020360082043879523
-1.721800375688621
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes20.0ms (0.3%)

Compiler

Compiled 16 to 34 computations (-112.5% saved)

bsearch0.0ms (0%)

regimes21.0ms (0.4%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch38.0ms (0.6%)

Steps
ItersRangePoint
7
-1.445257481217001e-307
2.010042508335654e-307
4.948546683679213e-309
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes14.0ms (0.2%)

Accuracy

Total 0.1b remaining (98.9%)

Threshold costs 0.1b (98.9%)

Compiler

Compiled 8 to 20 computations (-150% saved)

bsearch8.0ms (0.1%)

Compiler

Compiled 142 to 109 computations (23.2% saved)

simplify5.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
090196
190196

end0.0ms (0%)

sample1.2s (19.7%)

Algorithm
1×intervals
Results
252.0ms8000×body128valid
9.0ms311×body128invalid
Compiler

Compiled 641 to 549 computations (14.4% saved)

Pareto

0.33541706926411885

Profiling

Loading profile data...