Details

Time bar (total: 6.1s)

analyze849.0ms (13.8%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0376360
1376360
033
133
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
21.8%78%0.1%6
26.5%73.3%0.1%7
32%67.9%0.1%8
46.4%52.7%0.9%9
50.9%47.2%1.9%10
54.3%43.3%2.4%11
62.1%32.5%5.4%12
64.3%28.1%7.6%13
66.3%24.6%9.2%14
Compiler

Compiled 13 to 11 computations (15.4% saved)

sample22.0ms (0.4%)

Algorithm
1×intervals
Results
9.0ms256×body128valid
1.0ms38×body128invalid
Compiler

Compiled 25 to 24 computations (4% saved)

simplify53.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
073815
173815

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 2
Compiler

Compiled 32 to 28 computations (12.5% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite77.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
15×add-sqr-sqrt_binary64_100
13×associate-*l*_binary64_19
10×add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78 times-frac_binary64_84
7×add-exp-log_binary64_116 add-cbrt-cube_binary64_114
4×pow1_binary64_139 add-log-exp_binary64_117
3×associate-*l/_binary64_21 associate-*r*_binary64_18
2×prod-exp_binary64_127 cbrt-unprod_binary64_111 unswap-sqr_binary64_46
1×pow-prod-down_binary64_149 div-exp_binary64_129 cbrt-undiv_binary64_112 div-inv_binary64_75 *-commutative_binary64_9 diff-log_binary64_170 frac-sub_binary64_87 sub-div_binary64_85 flip3--_binary64_82 sub-neg_binary64_71 flip--_binary64_53 cancel-sign-sub-inv_binary64_44
Counts
2 → 46
Calls

2 calls:

9.0ms
(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
6.0ms
(*.f64 (/.f64 x y) z)
Compiler

Compiled 910 to 423 computations (53.5% saved)

series526.0ms (8.6%)

Error
0.0b
Counts
2 → 24
Calls

2 calls:

357.0ms
(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
151.0ms
(*.f64 (/.f64 x y) z)
Compiler

Compiled 812 to 584 computations (28.1% saved)

simplify83.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
04945839
14945839

prune77.0ms (1.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New66470
Fresh011
Picked011
Done000
Total66672
Error
0.0b
Counts
72 → 6
Compiler

Compiled 1167 to 578 computations (50.5% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite66.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
15×add-sqr-sqrt_binary64_100
13×associate-*r*_binary64_18
10×add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78 times-frac_binary64_84
7×add-exp-log_binary64_116 add-cbrt-cube_binary64_114
4×pow1_binary64_139 add-log-exp_binary64_117
3×associate-*r/_binary64_20 associate-*l*_binary64_19
2×prod-exp_binary64_127 cbrt-unprod_binary64_111 unswap-sqr_binary64_46
1×pow-prod-down_binary64_149 div-exp_binary64_129 cbrt-undiv_binary64_112 div-inv_binary64_75 *-commutative_binary64_9 diff-log_binary64_170 frac-sub_binary64_87 sub-div_binary64_85 flip3--_binary64_82 sub-neg_binary64_71 flip--_binary64_53 cancel-sign-sub-inv_binary64_44
Counts
2 → 46
Calls

2 calls:

10.0ms
(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 x (/.f64 z y)))
7.0ms
(*.f64 x (/.f64 z y))
Compiler

Compiled 910 to 423 computations (53.5% saved)

series500.0ms (8.1%)

Error
0.0b
Counts
2 → 24
Calls

2 calls:

330.0ms
(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 x (/.f64 z y)))
151.0ms
(*.f64 x (/.f64 z y))
Compiler

Compiled 812 to 584 computations (28.1% saved)

simplify49.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
05035851

prune65.0ms (1.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New70070
Fresh044
Picked011
Done011
Total70676
Error
0.0b
Counts
76 → 6
Compiler

Compiled 1145 to 557 computations (51.4% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite62.0ms (1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
10×add-cube-cbrt_binary64_113 add-sqr-sqrt_binary64_100 *-un-lft-identity_binary64_78
9×times-frac_binary64_84
7×add-log-exp_binary64_117
4×add-exp-log_binary64_116 add-cbrt-cube_binary64_114
3×associate-/l*_binary64_23 associate-/r*_binary64_22
2×pow1_binary64_139 flip3--_binary64_82 associate-/l/_binary64_25 flip--_binary64_53 diff-log_binary64_170
1×div-exp_binary64_129 cbrt-undiv_binary64_112 frac-2neg_binary64_89 div-sub_binary64_83 clear-num_binary64_77 div-inv_binary64_75 sum-log_binary64_169 sub-neg_binary64_71 cancel-sign-sub-inv_binary64_44 associate--l+_binary64_15
Counts
2 → 44
Calls

2 calls:

7.0ms
(/.f64 (-.f64 (+.f64 x 4) (*.f64 x z)) y)
6.0ms
(-.f64 (+.f64 x 4) (*.f64 x z))
Compiler

Compiled 863 to 467 computations (45.9% saved)

series350.0ms (5.7%)

Error
0.0b
Counts
2 → 27
Calls

2 calls:

237.0ms
(/.f64 (-.f64 (+.f64 x 4) (*.f64 x z)) y)
95.0ms
(-.f64 (+.f64 x 4) (*.f64 x z))
Compiler

Compiled 740 to 563 computations (23.9% saved)

simplify64.0ms (1%)

Algorithm
1×egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
049601108
149601108

prune67.0ms (1.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New68371
Fresh213
Picked011
Done022
Total70777
Error
0b
Counts
77 → 7
Compiler

Compiled 1091 to 529 computations (51.5% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b
(-.f64 x (*.f64 x z))
0.2b
(/.f64 1 (/.f64 y (+.f64 4 (-.f64 x (*.f64 x z)))))
3.6b
(/.f64 y (+.f64 4 (-.f64 x (*.f64 x z))))

rewrite200.0ms (3.3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
114×times-frac_binary64_84
95×*-un-lft-identity_binary64_78
63×add-cube-cbrt_binary64_113 add-sqr-sqrt_binary64_100
22×associate-/r*_binary64_22
16×add-exp-log_binary64_116 distribute-lft-out_binary64_29
11×associate-/r/_binary64_24
10×add-cbrt-cube_binary64_114
8×div-exp_binary64_129
6×div-inv_binary64_75 associate-/l*_binary64_23
5×add-log-exp_binary64_117 flip3-+_binary64_81 flip-+_binary64_52
4×pow1_binary64_139 cbrt-undiv_binary64_112
2×frac-2neg_binary64_89 clear-num_binary64_77 1-exp_binary64_122 rec-exp_binary64_128
1×inv-pow_binary64_163 pow-flip_binary64_152 diff-log_binary64_170 flip3--_binary64_82 sub-neg_binary64_71 flip--_binary64_53 cancel-sign-sub-inv_binary64_44
Counts
3 → 141
Calls

3 calls:

10.0ms
(/.f64 1 (/.f64 y (+.f64 4 (-.f64 x (*.f64 x z)))))
6.0ms
(/.f64 y (+.f64 4 (-.f64 x (*.f64 x z))))
6.0ms
(-.f64 x (*.f64 x z))
Compiler

Compiled 3439 to 1820 computations (47.1% saved)

series719.0ms (11.7%)

Error
0b
Counts
3 → 47
Calls

3 calls:

350.0ms
(/.f64 y (+.f64 4 (-.f64 x (*.f64 x z))))
237.0ms
(/.f64 1 (/.f64 y (+.f64 4 (-.f64 x (*.f64 x z)))))
79.0ms
(-.f64 x (*.f64 x z))
Compiler

Compiled 2511 to 1921 computations (23.5% saved)

simplify86.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
188 → 188
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
049764532
149764532

prune206.0ms (3.4%)

Pruning

7 alts after pruning (3 fresh and 4 done)

PrunedKeptTotal
New1880188
Fresh033
Picked011
Done033
Total1887195
Error
0b
Counts
195 → 7
Compiler

Compiled 3935 to 2121 computations (46.1% saved)

regimes487.0ms (7.9%)

Accuracy

Total 1.6b remaining (99.8%)

Threshold costs 0b (0%)

Compiler

Compiled 4712 to 3526 computations (25.2% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04618
14618

end0.0ms (0%)

sample1.5s (24.3%)

Algorithm
1×intervals
Results
311.0ms8000×body128valid
48.0ms1216×body128invalid
Compiler

Compiled 957 to 718 computations (25% saved)

Profiling

Loading profile data...