Details

Time bar (total: 20.9s)

analyze2.2s (10.3%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056241248
066
166
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)

sample190.0ms (0.9%)

Algorithm
1×intervals
Results
31.0ms399×body128nan
30.0ms56×body4096valid
26.0ms52×body2048valid
25.0ms38×body8192valid
12.0ms148×body128invalid
7.0ms24×body1024valid
6.0ms73×body128valid
2.0ms5×body1024invalid
1.0ms8×body256valid
1.0ms3×body2048invalid
1.0ms5×body512valid
0.0ms1×body4096invalid
0.0ms2×body512invalid
Compiler

Compiled 105 to 49 computations (53.3% saved)

simplify48.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
0501969

prune7.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 144 to 75 computations (47.9% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

15.8b
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
15.8b
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
15.8b
(/.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))))

rewrite343.0ms (1.6%)

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

4 calls:

48.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))))
20.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
14.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
14.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
Compiler

Compiled 10068 to 1192 computations (88.2% saved)

series2.1s (10.2%)

Error
31.5b
Counts
4 → 71
Calls

4 calls:

585.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))))
492.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
490.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
482.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
Compiler

Compiled 8794 to 4804 computations (45.4% saved)

simplify120.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
214 → 214
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
050465195

prune284.0ms (1.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New2095214
Fresh011
Picked011
Done000
Total2097216
Error
31.8b
Counts
216 → 7
Compiler

Compiled 11189 to 2114 computations (81.1% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

9.7b
(*.f64 (*.f64 d d) c0)
11.2b
(*.f64 (/.f64 c0 (*.f64 2 w)) (*.f64 1/2 (/.f64 (*.f64 (*.f64 M M) (*.f64 w (*.f64 (*.f64 D D) h))) (*.f64 (*.f64 d d) c0))))
12.6b
(*.f64 (*.f64 M M) (*.f64 w (*.f64 (*.f64 D D) h)))
15.2b
(/.f64 (*.f64 (*.f64 M M) (*.f64 w (*.f64 (*.f64 D D) h))) (*.f64 (*.f64 d d) c0))

rewrite963.0ms (4.6%)

Algorithm
1×rewrite-expression-head
Error
25.2b
Rules
917×add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137
623×prod-exp_binary64_1150 cbrt-unprod_binary64_1134
166×div-exp_binary64_1152 cbrt-undiv_binary64_1135
46×pow1_binary64_1162
30×pow-prod-down_binary64_1172
9×associate-*l*_binary64_1042
8×add-sqr-sqrt_binary64_1123
7×add-cube-cbrt_binary64_1136 *-un-lft-identity_binary64_1101
5×associate-*r*_binary64_1041
4×add-log-exp_binary64_1140 times-frac_binary64_1107
3×*-commutative_binary64_1032 associate-*r/_binary64_1043
2×div-inv_binary64_1098
1×frac-2neg_binary64_1112 clear-num_binary64_1100 associate-/l*_binary64_1046 associate-/r*_binary64_1045 frac-times_binary64_1111 associate-*l/_binary64_1044 unswap-sqr_binary64_1069
Counts
4 → 315
Calls

4 calls:

35.0ms
(*.f64 (/.f64 c0 (*.f64 2 w)) (*.f64 1/2 (/.f64 (*.f64 (*.f64 M M) (*.f64 w (*.f64 (*.f64 D D) h))) (*.f64 (*.f64 d d) c0))))
20.0ms
(/.f64 (*.f64 (*.f64 M M) (*.f64 w (*.f64 (*.f64 D D) h))) (*.f64 (*.f64 d d) c0))
14.0ms
(*.f64 (*.f64 M M) (*.f64 w (*.f64 (*.f64 D D) h)))
6.0ms
(*.f64 (*.f64 d d) c0)
Compiler

Compiled 15201 to 3559 computations (76.6% saved)

series1.6s (7.8%)

Error
27.0b
Counts
4 → 54
Calls

4 calls:

700.0ms
(/.f64 (*.f64 (*.f64 M M) (*.f64 w (*.f64 (*.f64 D D) h))) (*.f64 (*.f64 d d) c0))
553.0ms
(*.f64 (/.f64 c0 (*.f64 2 w)) (*.f64 1/2 (/.f64 (*.f64 (*.f64 M M) (*.f64 w (*.f64 (*.f64 D D) h))) (*.f64 (*.f64 d d) c0))))
261.0ms
(*.f64 (*.f64 M M) (*.f64 w (*.f64 (*.f64 D D) h)))
64.0ms
(*.f64 (*.f64 d d) c0)
Compiler

Compiled 3510 to 2965 computations (15.5% saved)

simplify178.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
369 → 369
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
0511812573

prune509.0ms (2.4%)

Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New3609369
Fresh145
Picked101
Done011
Total36214376
Error
23.9b
Counts
376 → 14
Compiler

Compiled 11373 to 4390 computations (61.4% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

9.7b
(*.f64 c0 (*.f64 d d))
11.9b
(*.f64 (*.f64 M M) (*.f64 (*.f64 D D) h))
15.2b
(/.f64 (*.f64 w (*.f64 (*.f64 M M) (*.f64 (*.f64 D D) h))) (*.f64 c0 (*.f64 d d)))
19.0b
(pow.f64 (exp.f64 (*.f64 (/.f64 c0 w) 1/4)) (/.f64 (*.f64 w (*.f64 (*.f64 M M) (*.f64 (*.f64 D D) h))) (*.f64 c0 (*.f64 d d))))

rewrite221.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
23.3b
Rules
168×add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137
108×prod-exp_binary64_1150 cbrt-unprod_binary64_1134
31×pow1_binary64_1162
24×div-exp_binary64_1152 cbrt-undiv_binary64_1135
18×pow-prod-down_binary64_1172
8×add-sqr-sqrt_binary64_1123
7×add-cube-cbrt_binary64_1136 *-un-lft-identity_binary64_1101
5×pow-unpow_binary64_1178 add-log-exp_binary64_1140
4×associate-*l*_binary64_1042
3×unpow-prod-down_binary64_1180 pow-pow_binary64_1173
2×times-frac_binary64_1107 div-inv_binary64_1098 associate-*r*_binary64_1041 *-commutative_binary64_1032
1×exp-to-pow_binary64_1163 exp-prod_binary64_1153 pow-to-exp_binary64_1170 pow-exp_binary64_1169 sqr-pow_binary64_1073 frac-2neg_binary64_1112 clear-num_binary64_1100 associate-/l*_binary64_1046 associate-/r*_binary64_1045 unswap-sqr_binary64_1069
Counts
4 → 129
Calls

4 calls:

19.0ms
(/.f64 (*.f64 w (*.f64 (*.f64 M M) (*.f64 (*.f64 D D) h))) (*.f64 c0 (*.f64 d d)))
11.0ms
(*.f64 (*.f64 M M) (*.f64 (*.f64 D D) h))
9.0ms
(*.f64 c0 (*.f64 d d))
5.0ms
(pow.f64 (exp.f64 (*.f64 (/.f64 c0 w) 1/4)) (/.f64 (*.f64 w (*.f64 (*.f64 M M) (*.f64 (*.f64 D D) h))) (*.f64 c0 (*.f64 d d))))
Compiler

Compiled 5029 to 1097 computations (78.2% saved)

series1.4s (6.8%)

Error
23.3b
Counts
4 → 51
Calls

4 calls:

670.0ms
(/.f64 (*.f64 w (*.f64 (*.f64 M M) (*.f64 (*.f64 D D) h))) (*.f64 c0 (*.f64 d d)))
477.0ms
(pow.f64 (exp.f64 (*.f64 (/.f64 c0 w) 1/4)) (/.f64 (*.f64 w (*.f64 (*.f64 M M) (*.f64 (*.f64 D D) h))) (*.f64 c0 (*.f64 d d))))
160.0ms
(*.f64 (*.f64 M M) (*.f64 (*.f64 D D) h))
62.0ms
(*.f64 c0 (*.f64 d d))
Compiler

Compiled 3451 to 2866 computations (17% saved)

simplify82.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
180 → 180
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
051174069

prune197.0ms (0.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1791180
Fresh21012
Picked101
Done011
Total18212194
Error
23.3b
Counts
194 → 12
Compiler

Compiled 5346 to 1503 computations (71.9% saved)

localize2.0ms (0%)

rewrite1.0ms (0%)

Algorithm
1×rewrite-expression-head
Error
23.3b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

series1.0ms (0%)

Error
23.3b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

simplify7.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune1.0ms (0%)

Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New000
Fresh01010
Picked011
Done011
Total01212
Error
23.3b
Counts
12 → 12
Compiler

Compiled 0 to 0 computations (0% saved)

regimes2.9s (13.7%)

Accuracy

Total 4.6b remaining (15.4%)

Threshold costs 0b (0%)

Compiler

Compiled 41539 to 26144 computations (37.1% saved)

bsearch9.0ms (0%)

Compiler

Compiled 52 to 21 computations (59.6% saved)

simplify8.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
091431
191431

end0.0ms (0%)

sample7.5s (35.7%)

Algorithm
1×intervals
Results
1.1s2169×body4096valid
964.0ms11969×body128nan
759.0ms1137×body8192valid
504.0ms1254×body2048valid
337.0ms4108×body128invalid
199.0ms634×body1024valid
197.0ms2384×body128valid
67.0ms273×body512valid
26.0ms60×body2048invalid
26.0ms149×body256valid
20.0ms64×body1024invalid
9.0ms39×body512invalid
5.0ms8×body8192exit
5.0ms29×body256invalid
3.0ms7×body4096invalid
Compiler

Compiled 3698 to 2226 computations (39.8% saved)

Profiling

Loading profile data...