Details

Time bar (total: 26.0s)

analyze1.9s (7.4%)

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%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%10
0%99.7%0.3%11
0%99.7%0.3%12
0%98.1%1.9%13
0%98.1%1.9%14
Compiler

Compiled 53 to 22 computations (58.5% saved)

sample171.0ms (0.7%)

Algorithm
intervals
Results
28.0ms57×body4096valid
28.0ms339×body128nan
24.0ms39×body8192valid
18.0ms47×body2048valid
12.0ms147×body128invalid
11.0ms23×body1024valid
5.0ms64×body128valid
5.0ms20×body512valid
1.0msbody2048invalid
1.0msbody256valid
1.0msbody4096invalid
0.0msbody512invalid
0.0msbody1024invalid
Compiler

Compiled 105 to 49 computations (53.3% saved)

simplify134.0ms (0.5%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
0501969

prune10.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 144 to 75 computations (47.9% saved)

localize22.0ms (0.1%)

Local error

Found 8 expressions with local error:

8.1b
(*.f64 c0 (*.f64 d d))
8.1b
(*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))
7.4b
(-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))
0.2b
(*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))))
18.5b
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
18.5b
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
18.5b
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
28.1b
(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))

rewrite121.0ms (0.5%)

Algorithm
rewrite-expression-head
Rules
211×add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137
117×cbrt-unprod_binary64_1134 prod-exp_binary64_1150
45×div-exp_binary64_1152 cbrt-undiv_binary64_1135
*-un-lft-identity_binary64_1101 add-log-exp_binary64_1140
add-sqr-sqrt_binary64_1123 pow1_binary64_1162 add-cube-cbrt_binary64_1136
frac-2neg_binary64_1112 clear-num_binary64_1100 div-inv_binary64_1098 associate-/l*_binary64_1046 times-frac_binary64_1107 associate-/r*_binary64_1045
sqrt-div_binary64_1118 frac-add_binary64_1109
distribute-lft-out_binary64_1052 sum-log_binary64_1192 flip--_binary64_1076 flip3--_binary64_1105 flip3-+_binary64_1104 +-commutative_binary64_1031 flip-+_binary64_1075
Counts
4 → 143
Calls

8 calls:

51.0ms
(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))
14.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
13.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
13.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
0.0ms
(*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))))

series2.0s (7.7%)

Counts
4 → 71
Calls

4 calls:

611.0ms
(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))
472.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
468.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
454.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
Compiler

Compiled 5972 to 3782 computations (36.7% saved)

simplify105.0ms (0.4%)

Algorithm
egg-herbie
Counts
214 → 214
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
050465195

prune351.0ms (1.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New20410214
Fresh011
Picked101
Done000
Total20511216
Error
35.1b
Counts
216 → 11
Compiler

Compiled 11393 to 2197 computations (80.7% saved)

localize18.0ms (0.1%)

Local error

Found 8 expressions with local error:

8.9b
(*.f64 (/.f64 c0 (*.f64 2 w)) (*.f64 1/2 (/.f64 (*.f64 w (*.f64 (*.f64 M M) (*.f64 h (*.f64 D D)))) (*.f64 c0 (*.f64 d d)))))
8.1b
(*.f64 c0 (*.f64 d d))
7.3b
(*.f64 h (*.f64 D D))
3.1b
(*.f64 w (*.f64 (*.f64 M M) (*.f64 h (*.f64 D D))))
8.1b
(*.f64 c0 (*.f64 d d))
8.9b
(*.f64 (/.f64 c0 (*.f64 2 w)) (*.f64 1/2 (/.f64 (*.f64 w (*.f64 (*.f64 M M) (*.f64 h (*.f64 D D)))) (*.f64 c0 (*.f64 d d)))))
14.6b
(*.f64 (*.f64 M M) (*.f64 h (*.f64 D D)))
19.4b
(/.f64 (*.f64 w (*.f64 (*.f64 M M) (*.f64 h (*.f64 D D)))) (*.f64 c0 (*.f64 d d)))

rewrite136.0ms (0.5%)

Algorithm
rewrite-expression-head
Rules
819×add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137
557×cbrt-unprod_binary64_1134 prod-exp_binary64_1150
148×div-exp_binary64_1152 cbrt-undiv_binary64_1135
35×pow1_binary64_1162
21×pow-prod-down_binary64_1172
11×associate-*l*_binary64_1042
add-sqr-sqrt_binary64_1123
*-un-lft-identity_binary64_1101 add-cube-cbrt_binary64_1136
add-log-exp_binary64_1140 times-frac_binary64_1107
*-commutative_binary64_1032 associate-*r/_binary64_1043 associate-*r*_binary64_1041
div-inv_binary64_1098
frac-times_binary64_1111 frac-2neg_binary64_1112 clear-num_binary64_1100 associate-/l*_binary64_1046 unswap-sqr_binary64_1069 associate-*l/_binary64_1044 associate-/r*_binary64_1045
Counts
4 → 285
Calls

8 calls:

31.0ms
(*.f64 (/.f64 c0 (*.f64 2 w)) (*.f64 1/2 (/.f64 (*.f64 w (*.f64 (*.f64 M M) (*.f64 h (*.f64 D D)))) (*.f64 c0 (*.f64 d d)))))
20.0ms
(/.f64 (*.f64 w (*.f64 (*.f64 M M) (*.f64 h (*.f64 D D)))) (*.f64 c0 (*.f64 d d)))
11.0ms
(*.f64 (*.f64 M M) (*.f64 h (*.f64 D D)))
9.0ms
(*.f64 c0 (*.f64 d d))
0.0ms
(*.f64 w (*.f64 (*.f64 M M) (*.f64 h (*.f64 D D))))

series1.5s (5.7%)

Counts
4 → 51
Calls

4 calls:

702.0ms
(/.f64 (*.f64 w (*.f64 (*.f64 M M) (*.f64 h (*.f64 D D)))) (*.f64 c0 (*.f64 d d)))
571.0ms
(*.f64 (/.f64 c0 (*.f64 2 w)) (*.f64 1/2 (/.f64 (*.f64 w (*.f64 (*.f64 M M) (*.f64 h (*.f64 D D)))) (*.f64 c0 (*.f64 d d)))))
154.0ms
(*.f64 (*.f64 M M) (*.f64 h (*.f64 D D)))
61.0ms
(*.f64 c0 (*.f64 d d))
Compiler

Compiled 2190 to 2088 computations (4.7% saved)

simplify141.0ms (0.5%)

Algorithm
egg-herbie
Counts
336 → 336
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
054649642

prune354.0ms (1.4%)

Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New3315336
Fresh01010
Picked101
Done000
Total33215347
Error
26.7b
Counts
347 → 15
Compiler

Compiled 9338 to 2736 computations (70.7% saved)

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

15.6b
(/.f64 (*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M)) (*.f64 d d))
14.6b
(*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M))
7.3b
(*.f64 h (*.f64 D D))
0.0b
(*.f64 (/.f64 (*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M)) (*.f64 d d)) 1/4)
0.0b
(*.f64 (/.f64 (*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M)) (*.f64 d d)) 1/4)
7.3b
(*.f64 h (*.f64 D D))
14.6b
(*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M))
15.6b
(/.f64 (*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M)) (*.f64 d d))

rewrite67.0ms (0.3%)

Algorithm
rewrite-expression-head
Rules
176×add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137
107×cbrt-unprod_binary64_1134 prod-exp_binary64_1150
32×pow1_binary64_1162
28×div-exp_binary64_1152 cbrt-undiv_binary64_1135
19×pow-prod-down_binary64_1172
10×add-sqr-sqrt_binary64_1123
associate-*l*_binary64_1042
*-un-lft-identity_binary64_1101 add-cube-cbrt_binary64_1136
associate-*r*_binary64_1041
add-log-exp_binary64_1140
*-commutative_binary64_1032
div-inv_binary64_1098 times-frac_binary64_1107 unswap-sqr_binary64_1069
frac-2neg_binary64_1112 clear-num_binary64_1100 associate-/l*_binary64_1046 associate-*l/_binary64_1044 associate-/r*_binary64_1045
Counts
4 → 137
Calls

8 calls:

20.0ms
(*.f64 (/.f64 (*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M)) (*.f64 d d)) 1/4)
14.0ms
(/.f64 (*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M)) (*.f64 d d))
10.0ms
(*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M))
6.0ms
(*.f64 h (*.f64 D D))
0.0ms
(*.f64 (/.f64 (*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M)) (*.f64 d d)) 1/4)

series892.0ms (3.4%)

Counts
4 → 39
Calls

4 calls:

372.0ms
(*.f64 (/.f64 (*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M)) (*.f64 d d)) 1/4)
315.0ms
(/.f64 (*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M)) (*.f64 d d))
150.0ms
(*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M))
54.0ms
(*.f64 h (*.f64 D D))
Compiler

Compiled 1170 to 1284 computations (-9.7% saved)

simplify95.0ms (0.4%)

Algorithm
egg-herbie
Counts
176 → 176
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
050133193

prune176.0ms (0.7%)

Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New1679176
Fresh41014
Picked101
Done000
Total17219191
Error
21.9b
Counts
191 → 19
Compiler

Compiled 3657 to 1222 computations (66.6% saved)

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

7.8b
(/.f64 (*.f64 h (*.f64 D D)) d)
7.3b
(*.f64 h (*.f64 D D))
7.2b
(/.f64 (*.f64 M M) d)
0.0b
(*.f64 (*.f64 (/.f64 (*.f64 h (*.f64 D D)) d) (/.f64 (*.f64 M M) d)) 1/4)
7.2b
(/.f64 (*.f64 M M) d)
7.3b
(*.f64 h (*.f64 D D))
7.8b
(/.f64 (*.f64 h (*.f64 D D)) d)
11.6b
(*.f64 (/.f64 (*.f64 h (*.f64 D D)) d) (/.f64 (*.f64 M M) d))

rewrite44.0ms (0.2%)

Algorithm
rewrite-expression-head
Rules
77×add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137
32×cbrt-unprod_binary64_1134 prod-exp_binary64_1150
22×div-exp_binary64_1152 cbrt-undiv_binary64_1135
18×add-sqr-sqrt_binary64_1123
13×*-un-lft-identity_binary64_1101 add-cube-cbrt_binary64_1136 times-frac_binary64_1107
11×pow1_binary64_1162
10×associate-*l*_binary64_1042
associate-*r*_binary64_1041
associate-/r*_binary64_1045
add-log-exp_binary64_1140 div-inv_binary64_1098 pow-prod-down_binary64_1172
unswap-sqr_binary64_1069
*-commutative_binary64_1032 frac-2neg_binary64_1112 clear-num_binary64_1100 associate-/l*_binary64_1046
frac-times_binary64_1111 associate-*r/_binary64_1043 associate-*l/_binary64_1044
Counts
4 → 115
Calls

8 calls:

17.0ms
(*.f64 (/.f64 (*.f64 h (*.f64 D D)) d) (/.f64 (*.f64 M M) d))
7.0ms
(/.f64 (*.f64 h (*.f64 D D)) d)
6.0ms
(*.f64 h (*.f64 D D))
4.0ms
(/.f64 (*.f64 M M) d)
0.0ms
(*.f64 (*.f64 (/.f64 (*.f64 h (*.f64 D D)) d) (/.f64 (*.f64 M M) d)) 1/4)

series563.0ms (2.2%)

Counts
4 → 33
Calls

4 calls:

318.0ms
(*.f64 (/.f64 (*.f64 h (*.f64 D D)) d) (/.f64 (*.f64 M M) d))
129.0ms
(/.f64 (*.f64 h (*.f64 D D)) d)
63.0ms
(/.f64 (*.f64 M M) d)
52.0ms
(*.f64 h (*.f64 D D))
Compiler

Compiled 990 to 1038 computations (-4.8% saved)

simplify61.0ms (0.2%)

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
050062149

prune153.0ms (0.6%)

Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New1399148
Fresh61218
Picked101
Done000
Total14621167
Error
17.5b
Counts
167 → 21
Compiler

Compiled 2671 to 609 computations (77.2% saved)

simplify32.0ms (0.1%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
04652429
14652429

regimes1.3s (5.2%)

Compiler

Compiled 16693 to 11650 computations (30.2% saved)

bsearch288.0ms (1.1%)

Steps
ItersRangePoint
11
4.018175614756482e+120
1.3684241757827806e+148
1.6115875034803501e+146
9
-4.4772087407990466e+66
-2.034952296359149e+60
-2.9238707485049054e+63
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes1.3s (4.9%)

Compiler

Compiled 17811 to 12302 computations (30.9% saved)

bsearch113.0ms (0.4%)

Steps
ItersRangePoint
3
5.6687343061814175e+32
6.767081933492621e+32
6.647082908848975e+32
7
2.2153706524366192e-188
6.37009449511957e-187
1.0089094772484812e-187
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes1.2s (4.6%)

Compiler

Compiled 17499 to 11938 computations (31.8% saved)

bsearch3.0ms (0%)

Compiler

Compiled 3 to 7 computations (-133.3% saved)

regimes1.2s (4.7%)

Compiler

Compiled 15280 to 10131 computations (33.7% saved)

bsearch3.0ms (0%)

Compiler

Compiled 3 to 7 computations (-133.3% saved)

regimes971.0ms (3.7%)

Compiler

Compiled 14995 to 9865 computations (34.2% saved)

bsearch3.0ms (0%)

Compiler

Compiled 3 to 7 computations (-133.3% saved)

regimes943.0ms (3.6%)

Compiler

Compiled 14695 to 9585 computations (34.8% saved)

bsearch3.0ms (0%)

Compiler

Compiled 3 to 7 computations (-133.3% saved)

regimes397.0ms (1.5%)

Compiler

Compiled 6774 to 3783 computations (44.2% saved)

bsearch2.0ms (0%)

Compiler

Compiled 3 to 7 computations (-133.3% saved)

regimes365.0ms (1.4%)

Compiler

Compiled 6554 to 3613 computations (44.9% saved)

bsearch0.0ms (0%)

regimes388.0ms (1.5%)

Compiler

Compiled 6356 to 3460 computations (45.6% saved)

bsearch317.0ms (1.2%)

Steps
ItersRangePoint
9
6.94747932740297e+134
1.1449910120276822e+142
1.1307209009648695e+142
9
-1.2712034250190952e+160
-4.482179529985705e+153
-1.3365260190186299e+154
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes453.0ms (1.7%)

Compiler

Compiled 5454 to 2978 computations (45.4% saved)

bsearch152.0ms (0.6%)

Steps
ItersRangePoint
10
-5.1569446058726387e-79
-6.32794670603664e-91
-8.948325751090156e-85
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes318.0ms (1.2%)

Compiler

Compiled 4801 to 2600 computations (45.8% saved)

bsearch284.0ms (1.1%)

Steps
ItersRangePoint
11
-4.2520105509743804e-251
-2.5671891161182967e-273
-1.8297134400212148e-258
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes181.0ms (0.7%)

Compiler

Compiled 3216 to 1662 computations (48.3% saved)

bsearch0.0ms (0%)

regimes112.0ms (0.4%)

Accuracy

Total 8.0b remaining (31%)

Threshold costs 0b (0%)

Compiler

Compiled 1544 to 919 computations (40.5% saved)

bsearch30.0ms (0.1%)

Compiler

Compiled 998 to 455 computations (54.4% saved)

simplify14.0ms (0.1%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
02211377
12211377

end0.0ms (0%)

sample6.5s (25%)

Algorithm
intervals
Results
1.0s2098×body4096valid
942.0ms11884×body128nan
726.0ms1169×body8192valid
516.0ms1311×body2048valid
310.0ms3904×body128invalid
192.0ms617×body1024valid
183.0ms2317×body128valid
76.0ms336×body512valid
25.0ms152×body256valid
20.0ms53×body2048invalid
16.0ms55×body1024invalid
7.0ms32×body512invalid
7.0ms11×body8192exit
6.0ms28×body256invalid
3.0msbody4096invalid
Compiler

Compiled 2575 to 1599 computations (37.9% saved)

Pareto

-0.3564204301273282

Profiling

Loading profile data...