Details

Time bar (total: 33.7s)

analyze912.0ms (2.7%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
031470
131470
044
144
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
6.2%93.6%0.2%9
12.5%87.3%0.2%10
15.6%80.3%4.1%11
31.2%63.9%4.9%12
39%50.9%10.1%13
44.8%44.4%10.7%14
Symmetry

(sort x y)

(sort z t)

Compiler

Compiled 8 to 8 computations (0% saved)

sample859.0ms (2.5%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
3.0ms78×body128invalid
Compiler

Compiled 2687 to 4027 computations (-49.9% saved)

simplify13.0ms (0%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
015810
115810

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 14 computations (0% saved)

localize6.0ms (0%)

Local error

Found 1 expressions with local error:

0.0b
(-.f64 (*.f64 x y) (*.f64 z t))

rewrite15.0ms (0%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
3×add-log-exp_binary64_3186
1×diff-log_binary64_3239 pow1_binary64_3208 add-exp-log_binary64_3185 add-cbrt-cube_binary64_3183 add-cube-cbrt_binary64_3182 add-sqr-sqrt_binary64_3169 flip3--_binary64_3151 *-un-lft-identity_binary64_3147 sub-neg_binary64_3140 flip--_binary64_3122 cancel-sign-sub-inv_binary64_3113
Counts
1 → 12
Calls

1 calls:

4.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
Compiler

Compiled 187 to 46 computations (75.4% saved)

series235.0ms (0.7%)

Error
0.0b
Counts
1 → 24
Calls

1 calls:

224.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
Compiler

Compiled 348 to 259 computations (25.6% saved)

simplify67.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
04946379
14946379

prune25.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New34236
Fresh000
Picked011
Done000
Total34337
Error
0.0b
Counts
37 → 3
Compiler

Compiled 348 to 69 computations (80.2% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (*.f64 t z) (*.f64 t z))
0.3b
(*.f64 (*.f64 x y) (*.f64 x y))
2.0b
(-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 t z) (*.f64 t z)))
25.2b
(/.f64 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 t z) (*.f64 t z))) (+.f64 (*.f64 t z) (*.f64 x y)))

rewrite181.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
82×pow1_binary64_3208
34×pow-prod-down_binary64_3218
30×add-exp-log_binary64_3185 add-cbrt-cube_binary64_3183
16×prod-exp_binary64_3196 cbrt-unprod_binary64_3180
13×add-cube-cbrt_binary64_3182 add-sqr-sqrt_binary64_3169 *-un-lft-identity_binary64_3147
12×times-frac_binary64_3153
8×pow-prod-up_binary64_3217 pow-sqr_binary64_3120
6×add-log-exp_binary64_3186
5×difference-of-squares_binary64_3116
4×associate-/l*_binary64_3092 pow-plus_binary64_3210
3×associate-/r*_binary64_3091
2×flip3--_binary64_3151 associate-/l/_binary64_3094 flip--_binary64_3122 associate-/r/_binary64_3093 pow2_binary64_3228 swap-sqr_binary64_3114 associate-*l*_binary64_3088 associate-*r*_binary64_3087 *-commutative_binary64_3078
1×div-exp_binary64_3198 cbrt-undiv_binary64_3181 frac-2neg_binary64_3158 div-sub_binary64_3152 clear-num_binary64_3146 div-inv_binary64_3144 flip3-+_binary64_3150 flip-+_binary64_3121 diff-log_binary64_3239 sub-neg_binary64_3140 cancel-sign-sub-inv_binary64_3113
Counts
4 → 117
Calls

4 calls:

13.0ms
(/.f64 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 t z) (*.f64 t z))) (+.f64 (*.f64 t z) (*.f64 x y)))
8.0ms
(-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 t z) (*.f64 t z)))
6.0ms
(*.f64 (*.f64 x y) (*.f64 x y))
6.0ms
(*.f64 (*.f64 t z) (*.f64 t z))
Compiler

Compiled 3865 to 504 computations (87% saved)

series1.5s (4.5%)

Error
0.0b
Counts
4 → 60
Calls

4 calls:

697.0ms
(/.f64 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 t z) (*.f64 t z))) (+.f64 (*.f64 t z) (*.f64 x y)))
569.0ms
(-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 t z) (*.f64 t z)))
113.0ms
(*.f64 (*.f64 t z) (*.f64 t z))
111.0ms
(*.f64 (*.f64 x y) (*.f64 x y))
Compiler

Compiled 2388 to 1558 computations (34.8% saved)

simplify73.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
177 → 177
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
049772514
149772514

prune174.0ms (0.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1743177
Fresh011
Picked101
Done011
Total1755180
Error
0b
Counts
180 → 5
Compiler

Compiled 3915 to 994 computations (74.6% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (+.f64 (*.f64 x y) (*.f64 t z)) (/.f64 (+.f64 (*.f64 t z) (*.f64 x y)) (-.f64 (*.f64 x y) (*.f64 t z))))
0.0b
(+.f64 (*.f64 x y) (*.f64 t z))
0.0b
(-.f64 (*.f64 x y) (*.f64 t z))
1.0b
(/.f64 (+.f64 (*.f64 t z) (*.f64 x y)) (-.f64 (*.f64 x y) (*.f64 t z)))

rewrite218.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
90×times-frac_binary64_3153
56×add-cube-cbrt_binary64_3182 add-sqr-sqrt_binary64_3169 *-un-lft-identity_binary64_3147
18×associate-/r*_binary64_3091
11×add-exp-log_binary64_3185 add-cbrt-cube_binary64_3183 associate-/r/_binary64_3093
8×add-log-exp_binary64_3186
6×div-inv_binary64_3144 flip3--_binary64_3151 flip--_binary64_3122 associate-/l*_binary64_3092
4×pow1_binary64_3208 div-exp_binary64_3198 cbrt-undiv_binary64_3181 associate-/l/_binary64_3094
3×flip3-+_binary64_3150 flip-+_binary64_3121
2×frac-2neg_binary64_3158 clear-num_binary64_3146
1×diff-log_binary64_3239 sub-neg_binary64_3140 cancel-sign-sub-inv_binary64_3113 sum-log_binary64_3238 +-commutative_binary64_3077
Counts
4 → 134
Calls

4 calls:

13.0ms
(/.f64 (+.f64 (*.f64 x y) (*.f64 t z)) (/.f64 (+.f64 (*.f64 t z) (*.f64 x y)) (-.f64 (*.f64 x y) (*.f64 t z))))
9.0ms
(/.f64 (+.f64 (*.f64 t z) (*.f64 x y)) (-.f64 (*.f64 x y) (*.f64 t z)))
6.0ms
(-.f64 (*.f64 x y) (*.f64 t z))
4.0ms
(+.f64 (*.f64 x y) (*.f64 t z))
Compiler

Compiled 5691 to 544 computations (90.4% saved)

series943.0ms (2.8%)

Error
0b
Counts
4 → 96
Calls

4 calls:

245.0ms
(/.f64 (+.f64 (*.f64 x y) (*.f64 t z)) (/.f64 (+.f64 (*.f64 t z) (*.f64 x y)) (-.f64 (*.f64 x y) (*.f64 t z))))
228.0ms
(/.f64 (+.f64 (*.f64 t z) (*.f64 x y)) (-.f64 (*.f64 x y) (*.f64 t z)))
224.0ms
(-.f64 (*.f64 x y) (*.f64 t z))
185.0ms
(+.f64 (*.f64 x y) (*.f64 t z))
Compiler

Compiled 4074 to 1763 computations (56.7% saved)

simplify94.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
230 → 230
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
061155788

prune219.0ms (0.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New2300230
Fresh033
Picked011
Done011
Total2305235
Error
0b
Counts
235 → 5
Compiler

Compiled 6212 to 534 computations (91.4% saved)

localize14.0ms (0%)

Local error

Found 4 expressions with local error:

1.3b
(/.f64 (+.f64 (*.f64 t z) (*.f64 x y)) (*.f64 (cbrt.f64 (+.f64 (*.f64 t z) (*.f64 x y))) (cbrt.f64 (+.f64 (*.f64 t z) (*.f64 x y)))))
1.6b
(cbrt.f64 (+.f64 (*.f64 t z) (*.f64 x y)))
1.6b
(cbrt.f64 (+.f64 (*.f64 t z) (*.f64 x y)))
1.6b
(cbrt.f64 (+.f64 (*.f64 t z) (*.f64 x y)))

rewrite148.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
18×cbrt-div_binary64_3179
10×flip3-+_binary64_3150 flip-+_binary64_3121
9×add-exp-log_binary64_3185 add-cube-cbrt_binary64_3182 cbrt-prod_binary64_3178 add-sqr-sqrt_binary64_3169 *-un-lft-identity_binary64_3147
8×associate-/r/_binary64_3093
7×pow1/3_binary64_3229 add-cbrt-cube_binary64_3183
6×pow1_binary64_3208
4×add-log-exp_binary64_3186 frac-times_binary64_3157
3×times-frac_binary64_3153 associate-/l*_binary64_3092
2×pow-div_binary64_3222 div-exp_binary64_3198 cbrt-undiv_binary64_3181 associate-/l/_binary64_3094 associate-*l/_binary64_3090 associate-*r/_binary64_3089
1×pow-prod-up_binary64_3217 pow-sqr_binary64_3120 prod-exp_binary64_3196 cbrt-unprod_binary64_3180 frac-2neg_binary64_3158 clear-num_binary64_3146 div-inv_binary64_3144 associate-/r*_binary64_3091
Counts
4 → 72
Calls

4 calls:

14.0ms
(/.f64 (+.f64 (*.f64 t z) (*.f64 x y)) (*.f64 (cbrt.f64 (+.f64 (*.f64 t z) (*.f64 x y))) (cbrt.f64 (+.f64 (*.f64 t z) (*.f64 x y)))))
6.0ms
(cbrt.f64 (+.f64 (*.f64 t z) (*.f64 x y)))
4.0ms
(cbrt.f64 (+.f64 (*.f64 t z) (*.f64 x y)))
4.0ms
(cbrt.f64 (+.f64 (*.f64 t z) (*.f64 x y)))
Compiler

Compiled 4027 to 364 computations (91% saved)

series2.1s (6.2%)

Error
0b
Counts
4 → 96
Calls

4 calls:

502.0ms
(/.f64 (+.f64 (*.f64 t z) (*.f64 x y)) (*.f64 (cbrt.f64 (+.f64 (*.f64 t z) (*.f64 x y))) (cbrt.f64 (+.f64 (*.f64 t z) (*.f64 x y)))))
483.0ms
(cbrt.f64 (+.f64 (*.f64 t z) (*.f64 x y)))
471.0ms
(cbrt.f64 (+.f64 (*.f64 t z) (*.f64 x y)))
458.0ms
(cbrt.f64 (+.f64 (*.f64 t z) (*.f64 x y)))
Compiler

Compiled 13444 to 6304 computations (53.1% saved)

simplify82.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
168 → 168
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
049554307
149554307

prune261.0ms (0.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1680168
Fresh022
Picked011
Done022
Total1685173
Error
0b
Counts
173 → 5
Compiler

Compiled 7950 to 1051 computations (86.8% saved)

regimes375.0ms (1.1%)

Accuracy

Total 0.0b remaining (67.9%)

Threshold costs 0.0b (67.9%)

Compiler

Compiled 4528 to 2460 computations (45.7% saved)

bsearch0.0ms (0%)

simplify25.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03610
13610
Remove

(sort z t)

(sort x y)

Compiler

Compiled 28 to 28 computations (0% saved)

end0.0ms (0%)

sample25.1s (74.6%)

Algorithm
1×intervals
Results
201.0ms8000×body128valid
106.0ms2490×body128invalid
Compiler

Compiled 84577 to 126241 computations (-49.3% saved)

Profiling

Loading profile data...