Details

Time bar (total: 17.7s)

analyze875.0ms (4.9%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%74.8%25.2%5
0%74.8%25.2%6
0%74.8%25.2%7
0%74.8%25.2%8
0%74.8%25.2%9
0%62.3%37.7%10
0%56.1%43.9%11
0%56.1%43.9%12
1.6%54.5%43.9%13
2.4%53.7%43.9%14
Compiler

Compiled 17 to 16 computations (5.9% saved)

sample36.0ms (0.2%)

Algorithm
intervals
Results
16.0ms256×body128valid
2.0ms33×body128invalid
1.0ms29×body128nan
Compiler

Compiled 33 to 37 computations (-12.1% saved)

simplify549.0ms (3.1%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (452.0ms)

IterNodesCost
0370124
1370124

prune7.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 32 to 30 computations (6.3% saved)

localize14.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.3b
(*.f64 z (log.f64 t))
0.1b
(-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t)))
0.0b
(*.f64 (-.f64 a 1/2) b)
0.0b
(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 a 1/2) b))
0.0b
(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 a 1/2) b))
0.0b
(*.f64 (-.f64 a 1/2) b)
0.1b
(-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t)))
0.3b
(*.f64 z (log.f64 t))

rewrite42.0ms (0.2%)

Algorithm
rewrite-expression-head
Rules
27×add-log-exp_binary64_12052
18×add-sqr-sqrt_binary64_12035
14×*-un-lft-identity_binary64_12013
12×add-cube-cbrt_binary64_12048 log-prod_binary64_12099
10×sum-log_binary64_12104
pow1_binary64_12074
add-cbrt-cube_binary64_12049 associate-*l*_binary64_11954 add-exp-log_binary64_12051
associate-*r*_binary64_11953
distribute-lft-in_binary64_11962 flip3--_binary64_12017 associate--r+_binary64_11949 associate-*l/_binary64_11956 flip--_binary64_11988 diff-log_binary64_12105 distribute-rgt-in_binary64_11963
frac-add_binary64_12021
associate-+l+_binary64_11946
cancel-sign-sub-inv_binary64_11979 *-commutative_binary64_11944 unswap-sqr_binary64_11981 associate--l+_binary64_11950 pow-prod-down_binary64_12084 cbrt-unprod_binary64_12046 prod-exp_binary64_12062 sub-neg_binary64_12006
+-commutative_binary64_11943 flip3-+_binary64_12016 associate-+l-_binary64_11948 log-pow_binary64_12102 flip-+_binary64_11987 difference-of-squares_binary64_11982 distribute-lft-out--_binary64_11965
Counts
4 → 90
Calls

8 calls:

13.0ms
(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 a 1/2) b))
10.0ms
(-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t)))
6.0ms
(*.f64 (-.f64 a 1/2) b)
5.0ms
(*.f64 z (log.f64 t))
0.0ms
(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 a 1/2) b))

series1.2s (6.8%)

Counts
4 → 69
Calls

4 calls:

661.0ms
(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 a 1/2) b))
336.0ms
(-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t)))
130.0ms
(*.f64 z (log.f64 t))
69.0ms
(*.f64 (-.f64 a 1/2) b)
Compiler

Compiled 1718 to 1648 computations (4.1% saved)

simplify76.0ms (0.4%)

Algorithm
egg-herbie
Counts
159 → 159
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
052192736

prune202.0ms (1.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1527159
Fresh000
Picked101
Done000
Total1537160
Error
0.0b
Counts
160 → 7
Compiler

Compiled 3258 to 1111 computations (65.9% saved)

localize19.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b
(log.f64 (cbrt.f64 t))
0.0b
(log.f64 (cbrt.f64 t))
0.0b
(*.f64 (-.f64 a 1/2) b)
0.0b
(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (+.f64 (*.f64 z (*.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 z (log.f64 (cbrt.f64 t))))) (*.f64 (-.f64 a 1/2) b))
0.2b
(*.f64 z (log.f64 (cbrt.f64 t)))
0.3b
(+.f64 (*.f64 z (*.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 z (log.f64 (cbrt.f64 t))))
0.6b
(cbrt.f64 t)
0.6b
(cbrt.f64 t)

rewrite31.0ms (0.2%)

Algorithm
rewrite-expression-head
Rules
48×log-prod_binary64_12099
36×distribute-lft-in_binary64_11962 distribute-rgt-in_binary64_11963
30×cbrt-prod_binary64_12044
26×add-sqr-sqrt_binary64_12035
24×add-cube-cbrt_binary64_12048 associate-+l+_binary64_11946 *-un-lft-identity_binary64_12013
12×associate-+r+_binary64_11945
pow1_binary64_12074
add-cbrt-cube_binary64_12049 add-log-exp_binary64_12052 add-exp-log_binary64_12051
associate-*r*_binary64_11953
pow1/3_binary64_12095 associate-*l*_binary64_11954
log-pow_binary64_12102
distribute-lft-out_binary64_11964 +-commutative_binary64_11943 sum-log_binary64_12104 flip3-+_binary64_12016 *-commutative_binary64_11944 unswap-sqr_binary64_11981 pow-prod-down_binary64_12084 flip-+_binary64_11987 cbrt-unprod_binary64_12046 prod-exp_binary64_12062
Counts
4 → 102
Calls

8 calls:

11.0ms
(+.f64 (*.f64 z (*.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 z (log.f64 (cbrt.f64 t))))
6.0ms
(*.f64 z (log.f64 (cbrt.f64 t)))
1.0ms
(cbrt.f64 t)
1.0ms
(cbrt.f64 t)
0.0ms
(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (+.f64 (*.f64 z (*.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 z (log.f64 (cbrt.f64 t))))) (*.f64 (-.f64 a 1/2) b))

series735.0ms (4.2%)

Counts
4 → 18
Calls

4 calls:

293.0ms
(+.f64 (*.f64 z (*.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 z (log.f64 (cbrt.f64 t))))
280.0ms
(*.f64 z (log.f64 (cbrt.f64 t)))
81.0ms
(cbrt.f64 t)
81.0ms
(cbrt.f64 t)
Compiler

Compiled 912 to 828 computations (9.2% saved)

simplify102.0ms (0.6%)

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 0 (81.0ms)

IterNodesCost
050741320

prune162.0ms (0.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1182120
Fresh246
Picked101
Done000
Total1216127
Error
0.0b
Counts
127 → 6
Compiler

Compiled 3497 to 1473 computations (57.9% saved)

localize24.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b
(log.f64 (pow.f64 t 1/3))
0.0b
(log.f64 (cbrt.f64 t))
0.0b
(*.f64 (-.f64 a 1/2) b)
0.0b
(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (+.f64 (*.f64 z (*.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 z (log.f64 (pow.f64 t 1/3))))) (*.f64 (-.f64 a 1/2) b))
0.2b
(*.f64 z (log.f64 (pow.f64 t 1/3)))
0.3b
(+.f64 (*.f64 z (*.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 z (log.f64 (pow.f64 t 1/3))))
0.6b
(cbrt.f64 t)
5.0b
(pow.f64 t 1/3)

rewrite34.0ms (0.2%)

Algorithm
rewrite-expression-head
Rules
52×log-prod_binary64_12099
38×distribute-lft-in_binary64_11962 distribute-rgt-in_binary64_11963
27×add-sqr-sqrt_binary64_12035
25×add-cube-cbrt_binary64_12048 *-un-lft-identity_binary64_12013
24×associate-+l+_binary64_11946
15×cbrt-prod_binary64_12044 unpow-prod-down_binary64_12092
14×associate-+r+_binary64_11945
add-exp-log_binary64_12051 pow1_binary64_12074
add-cbrt-cube_binary64_12049 add-log-exp_binary64_12052
sqr-pow_binary64_11985
associate-*r*_binary64_11953
associate-*l*_binary64_11954 pow-unpow_binary64_12090
distribute-lft-out_binary64_11964 +-commutative_binary64_11943 sum-log_binary64_12104 flip3-+_binary64_12016 *-commutative_binary64_11944 unswap-sqr_binary64_11981 pow1/3_binary64_12095 log-pow_binary64_12102 pow-prod-down_binary64_12084 flip-+_binary64_11987 pow-to-exp_binary64_12082 cbrt-unprod_binary64_12046 pow-pow_binary64_12085 prod-exp_binary64_12062 unpow1/3_binary64_12080 pow-exp_binary64_12081
Counts
4 → 112
Calls

8 calls:

12.0ms
(+.f64 (*.f64 z (*.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 z (log.f64 (pow.f64 t 1/3))))
6.0ms
(*.f64 z (log.f64 (pow.f64 t 1/3)))
2.0ms
(pow.f64 t 1/3)
1.0ms
(cbrt.f64 t)
0.0ms
(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (+.f64 (*.f64 z (*.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 z (log.f64 (pow.f64 t 1/3))))) (*.f64 (-.f64 a 1/2) b))

series789.0ms (4.5%)

Counts
4 → 18
Calls

4 calls:

370.0ms
(+.f64 (*.f64 z (*.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 z (log.f64 (pow.f64 t 1/3))))
275.0ms
(*.f64 z (log.f64 (pow.f64 t 1/3)))
72.0ms
(cbrt.f64 t)
72.0ms
(pow.f64 t 1/3)
Compiler

Compiled 954 to 866 computations (9.2% saved)

simplify87.0ms (0.5%)

Algorithm
egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
050071237

prune167.0ms (0.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1300130
Fresh055
Picked011
Done000
Total1306136
Error
0.0b
Counts
136 → 6
Compiler

Compiled 3707 to 1699 computations (54.2% saved)

localize22.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 (*.f64 z (*.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (*.f64 z 1/3) (log.f64 t))))
0.0b
(log.f64 (cbrt.f64 t))
0.0b
(*.f64 (-.f64 a 1/2) b)
0.0b
(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (+.f64 (*.f64 z (*.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (*.f64 z 1/3) (log.f64 t)))) (*.f64 (-.f64 a 1/2) b))
0.3b
(+.f64 (*.f64 z (*.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (*.f64 z 1/3) (log.f64 t)))
0.3b
(*.f64 z 1/3)
0.4b
(*.f64 (*.f64 z 1/3) (log.f64 t))
0.6b
(cbrt.f64 t)

rewrite36.0ms (0.2%)

Algorithm
rewrite-expression-head
Rules
36×log-prod_binary64_12099
30×distribute-lft-in_binary64_11962 distribute-rgt-in_binary64_11963
24×associate-+l+_binary64_11946
22×add-sqr-sqrt_binary64_12035
20×add-cube-cbrt_binary64_12048 *-un-lft-identity_binary64_12013
15×cbrt-prod_binary64_12044
12×pow1_binary64_12074
11×add-cbrt-cube_binary64_12049 add-exp-log_binary64_12051
associate-*r*_binary64_11953
associate-+r+_binary64_11945 add-log-exp_binary64_12052
associate-*l*_binary64_11954 pow-prod-down_binary64_12084 cbrt-unprod_binary64_12046 prod-exp_binary64_12062
*-commutative_binary64_11944
+-commutative_binary64_11943 sum-log_binary64_12104 flip3-+_binary64_12016 unswap-sqr_binary64_11981 pow1/3_binary64_12095 log-pow_binary64_12102 flip-+_binary64_11987
Counts
4 → 95
Calls

8 calls:

14.0ms
(+.f64 (*.f64 z (*.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (*.f64 z 1/3) (log.f64 t)))
6.0ms
(*.f64 (*.f64 z 1/3) (log.f64 t))
4.0ms
(*.f64 z 1/3)
1.0ms
(cbrt.f64 t)
0.0ms
(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (+.f64 (*.f64 z (*.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (*.f64 z 1/3) (log.f64 t)))) (*.f64 (-.f64 a 1/2) b))

series674.0ms (3.8%)

Counts
4 → 18
Calls

4 calls:

436.0ms
(+.f64 (*.f64 z (*.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (*.f64 z 1/3) (log.f64 t)))
152.0ms
(*.f64 (*.f64 z 1/3) (log.f64 t))
66.0ms
(cbrt.f64 t)
20.0ms
(*.f64 z 1/3)
Compiler

Compiled 1002 to 898 computations (10.4% saved)

simplify94.0ms (0.5%)

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 0 (74.0ms)

IterNodesCost
049601194
149601194

prune142.0ms (0.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1130113
Fresh044
Picked011
Done011
Total1136119
Error
0.0b
Counts
119 → 6
Compiler

Compiled 3205 to 1429 computations (55.4% saved)

simplify36.0ms (0.2%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (19.0ms)

IterNodesCost
09971260
19971260

regimes944.0ms (5.3%)

Compiler

Compiled 9806 to 8615 computations (12.1% saved)

bsearch0.0ms (0%)

regimes792.0ms (4.5%)

Compiler

Compiled 7398 to 7187 computations (2.9% saved)

bsearch0.0ms (0%)

regimes975.0ms (5.5%)

Compiler

Compiled 7112 to 6934 computations (2.5% saved)

bsearch0.0ms (0%)

regimes532.0ms (3%)

Compiler

Compiled 3883 to 4421 computations (-13.9% saved)

bsearch0.0ms (0%)

regimes438.0ms (2.5%)

Compiler

Compiled 2832 to 3397 computations (-20% saved)

bsearch0.0ms (0%)

regimes340.0ms (1.9%)

Compiler

Compiled 1609 to 2264 computations (-40.7% saved)

bsearch0.0ms (0%)

regimes617.0ms (3.5%)

Compiler

Compiled 1614 to 2374 computations (-47.1% saved)

bsearch1.0ms (0%)

Compiler

Compiled 5 to 9 computations (-80% saved)

regimes608.0ms (3.4%)

Compiler

Compiled 1446 to 2206 computations (-52.6% saved)

bsearch109.0ms (0.6%)

Steps
ItersRangePoint
10
2.3208707048561385e+106
6.733113687960393e+120
1.0108056647527016e+110
8
-2.2194613092713792e-58
-3.3819402439660274e-62
-1.2566158354924457e-58
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes849.0ms (4.8%)

Compiler

Compiled 1011 to 1718 computations (-69.9% saved)

bsearch93.0ms (0.5%)

Steps
ItersRangePoint
10
2.1473520339321793e+122
8.638406363929472e+137
2.858469858985963e+131
7
-1.2403199574952348e+23
-1.3532747721562742e+21
-1.1828078958522263e+23
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes325.0ms (1.8%)

Compiler

Compiled 458 to 1024 computations (-123.6% saved)

bsearch107.0ms (0.6%)

Steps
ItersRangePoint
10
2.1473520339321793e+122
8.638406363929472e+137
2.8183139587770886e+137
7
-1.6521962134816316e+74
-8.515628113628322e+72
-1.6333961189459529e+74
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes150.0ms (0.9%)

Compiler

Compiled 358 to 840 computations (-134.6% saved)

bsearch0.0ms (0%)

regimes362.0ms (2%)

Compiler

Compiled 244 to 658 computations (-169.7% saved)

bsearch76.0ms (0.4%)

Steps
ItersRangePoint
6
5.3846469206423195e+79
5.328848299197429e+80
8.363689555113998e+79
8
-6.533299074650122e+135
-4.5361228823645034e+132
-2.0494752822550678e+134
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes276.0ms (1.6%)

Compiler

Compiled 188 to 578 computations (-207.4% saved)

bsearch95.0ms (0.5%)

Steps
ItersRangePoint
9
1.7959567868645064e+143
5.663186374253756e+152
1.8625377596714915e+147
8
-2.036177572626118e+193
-7.125327805943446e+190
-1.224134889511494e+192
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes498.0ms (2.8%)

Compiler

Compiled 148 to 556 computations (-275.7% saved)

bsearch524.0ms (3%)

Steps
ItersRangePoint
9
1.7959567868645064e+143
5.663186374253756e+152
2.8656966078373864e+150
9
3.3986484731343315e+88
3.2752101880270356e+93
2.1575185153870931e+89
9
3.655393063738431e+63
6.4628961601999e+71
1.6710165652471078e+71
6
4.475331543642728e+58
3.976696189947239e+59
2.2205578951413834e+59
9
37528178644893.484
2.6053234635041807e+18
307979719320171.0
10
3.277282825456737e-57
7.813127179352265e-47
6.812370483895836e-50
4
1.6184707388085953e-171
2.6027339138271235e-171
1.730650257365584e-171
9
-1.1914237767089558e-206
-1.1758110240959995e-211
-4.8227182944494455e-209
10
-7.383805208775678e-18
-9.784588209795282e-28
-7.049875901991692e-18
10
-6.72819905951814e+28
-7.338549511175388e+17
-7.44107789962921e+17
8
-6.533299074650122e+135
-4.5361228823645034e+132
-5.1781902181087815e+132
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes255.0ms (1.4%)

Compiler

Compiled 60 to 312 computations (-420% saved)

bsearch73.0ms (0.4%)

Steps
ItersRangePoint
6
5.3846469206423195e+79
5.328848299197429e+80
1.8962071903446619e+80
8
-6.533299074650122e+135
-4.5361228823645034e+132
-4.594492640159438e+132
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes63.0ms (0.4%)

Compiler

Compiled 36 to 234 computations (-550% saved)

bsearch0.0ms (0%)

regimes59.0ms (0.3%)

Compiler

Compiled 30 to 198 computations (-560% saved)

bsearch0.0ms (0%)

regimes51.0ms (0.3%)

Accuracy

Total 0.1b remaining (93.1%)

Threshold costs 0.1b (93.1%)

Compiler

Compiled 24 to 156 computations (-550% saved)

bsearch20.0ms (0.1%)

Compiler

Compiled 443 to 361 computations (18.5% saved)

simplify14.0ms (0.1%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0391608
1391608

end0.0ms (0%)

sample2.3s (12.9%)

Algorithm
intervals
Results
489.0ms7997×body128valid
78.0ms1249×body128invalid
63.0ms1156×body128nan
1.0msbody1024valid
0.0msbody256valid
Compiler

Compiled 1274 to 1114 computations (12.6% saved)

Pareto

0.7159501926379493

Profiling

Loading profile data...