Details

Time bar (total: 14.3s)

analyze746.0ms (5.2%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05061112
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
12.5%87.3%0.2%7
15.6%84.2%0.2%8
28.1%71.7%0.2%9
37.4%62.4%0.2%10
43.7%56.1%0.2%11
53%46.8%0.2%12
64.1%35.6%0.3%13
66.7%32.8%0.5%14
Symmetry

(sort z t)

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample205.0ms (1.4%)

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

Compiled 3287 to 4105 computations (-24.9% saved)

simplify163.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (158.0ms)

IterNodesCost
0501416

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 22 to 20 computations (9.1% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite95.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
14×add-sqr-sqrt_binary64_4192
12×*-un-lft-identity_binary64_4170 flip3--_binary64_4174 flip--_binary64_4145
9×add-exp-log_binary64_4208 add-cbrt-cube_binary64_4206
8×add-cube-cbrt_binary64_4205 frac-times_binary64_4180 associate-/r/_binary64_4116
6×cancel-sign-sub-inv_binary64_4136
5×associate-*l*_binary64_4111 associate-*r*_binary64_4110
4×pow1_binary64_4231 associate-*l/_binary64_4113 associate-*r/_binary64_4112 distribute-rgt-in_binary64_4120 distribute-lft-in_binary64_4119
3×times-frac_binary64_4176 associate-/l*_binary64_4115
2×prod-exp_binary64_4219 div-exp_binary64_4221 add-log-exp_binary64_4209 cbrt-undiv_binary64_4204 cbrt-unprod_binary64_4203 sub-neg_binary64_4163 difference-of-squares_binary64_4139 distribute-lft-out--_binary64_4122
1×frac-2neg_binary64_4181 clear-num_binary64_4169 div-inv_binary64_4167 associate-/r*_binary64_4114 pow-prod-down_binary64_4241 unswap-sqr_binary64_4138 *-commutative_binary64_4101
Counts
2 → 67
Calls

2 calls:

10.0ms
(*.f64 (-.f64 y z) (-.f64 y t))
9.0ms
(/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))
Compiler

Compiled 1382 to 448 computations (67.6% saved)

series777.0ms (5.4%)

Error
0.6b
Counts
2 → 42
Calls

2 calls:

523.0ms
(/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))
212.0ms
(*.f64 (-.f64 y z) (-.f64 y t))
Compiler

Compiled 2445 to 1605 computations (34.4% saved)

simplify43.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
050141876

prune111.0ms (0.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1054109
Fresh000
Picked101
Done000
Total1064110
Error
0.0b
Counts
110 → 4
Compiler

Compiled 1943 to 619 computations (68.1% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 x (-.f64 y z))
2.2b
(/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))

rewrite227.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
210×times-frac_binary64_4176
176×add-sqr-sqrt_binary64_4192 *-un-lft-identity_binary64_4170
88×add-cube-cbrt_binary64_4205
44×difference-of-squares_binary64_4139 distribute-lft-out--_binary64_4122
24×associate-/l*_binary64_4115
16×associate-/r/_binary64_4116
10×associate-/r*_binary64_4114
9×add-exp-log_binary64_4208 add-cbrt-cube_binary64_4206
8×div-inv_binary64_4167 flip3--_binary64_4174 flip--_binary64_4145
4×div-exp_binary64_4221 cbrt-undiv_binary64_4204
2×pow1_binary64_4231 add-log-exp_binary64_4209 frac-2neg_binary64_4181 clear-num_binary64_4169
1×associate-/l/_binary64_4117
Counts
2 → 185
Calls

2 calls:

13.0ms
(/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))
5.0ms
(/.f64 x (-.f64 y z))
Compiler

Compiled 4318 to 1143 computations (73.5% saved)

series673.0ms (4.7%)

Error
0.0b
Counts
2 → 36
Calls

2 calls:

500.0ms
(/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))
139.0ms
(/.f64 x (-.f64 y z))
Compiler

Compiled 2270 to 1507 computations (33.6% saved)

simplify91.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
221 → 221
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
052025408

prune203.0ms (1.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New2201221
Fresh033
Picked011
Done000
Total2205225
Error
0b
Counts
225 → 5
Compiler

Compiled 4699 to 1156 computations (75.4% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 (-.f64 y z))
0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)

rewrite69.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
14×cbrt-prod_binary64_4201
10×add-sqr-sqrt_binary64_4192 *-un-lft-identity_binary64_4170
8×add-cube-cbrt_binary64_4205
4×pow1/3_binary64_4252 pow1_binary64_4231 add-log-exp_binary64_4209 add-exp-log_binary64_4208 add-cbrt-cube_binary64_4206
2×cbrt-div_binary64_4202
1×flip3--_binary64_4174 flip--_binary64_4145 difference-of-squares_binary64_4139 distribute-lft-out--_binary64_4122
Counts
4 → 48
Calls

4 calls:

3.0ms
(cbrt.f64 (-.f64 y z))
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
Compiler

Compiled 1630 to 349 computations (78.6% saved)

series539.0ms (3.8%)

Error
0b
Counts
4 → 20
Calls

4 calls:

162.0ms
(cbrt.f64 (-.f64 y z))
119.0ms
(cbrt.f64 x)
119.0ms
(cbrt.f64 x)
108.0ms
(cbrt.f64 x)
Compiler

Compiled 1984 to 1130 computations (43% saved)

simplify42.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
05098570

prune94.0ms (0.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New68068
Fresh033
Picked011
Done011
Total68573
Error
0b
Counts
73 → 5
Compiler

Compiled 2271 to 509 computations (77.6% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.6b
(/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t))))
2.5b
(/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))

rewrite1.1s (7.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
1245×times-frac_binary64_4176
825×add-sqr-sqrt_binary64_4192 *-un-lft-identity_binary64_4170
457×add-cube-cbrt_binary64_4205
184×difference-of-squares_binary64_4139 distribute-lft-out--_binary64_4122
131×associate-/r*_binary64_4114
58×associate-/r/_binary64_4116
32×div-inv_binary64_4167
28×add-exp-log_binary64_4208
27×flip3--_binary64_4174 flip--_binary64_4145
18×div-exp_binary64_4221
16×add-cbrt-cube_binary64_4206
9×cbrt-undiv_binary64_4204
8×associate-/l*_binary64_4115
3×pow1_binary64_4231 1-exp_binary64_4214 rec-exp_binary64_4220
2×add-log-exp_binary64_4209 frac-2neg_binary64_4181 clear-num_binary64_4169 associate-/l/_binary64_4117
1×div-sub_binary64_4175 inv-pow_binary64_4255 pow-flip_binary64_4244
Counts
2 → 617
Calls

2 calls:

29.0ms
(/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t))))
13.0ms
(/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))
Compiler

Compiled 18304 to 6151 computations (66.4% saved)

series1.0s (7.3%)

Error
0b
Counts
2 → 45
Calls

2 calls:

518.0ms
(/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t))))
471.0ms
(/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))
Compiler

Compiled 2904 to 1891 computations (34.9% saved)

simplify193.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
662 → 662
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
0504021172

prune785.0ms (5.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New6620662
Fresh022
Picked011
Done022
Total6625667
Error
0b
Counts
667 → 5
Compiler

Compiled 17365 to 4699 computations (72.9% saved)

regimes535.0ms (3.7%)

Accuracy

Total 0.5b remaining (99.7%)

Threshold costs 0.5b (99.7%)

Compiler

Compiled 5249 to 4249 computations (19.1% saved)

bsearch0.0ms (0%)

simplify12.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
08346
18346
Remove

(sort z t)

Compiler

Compiled 58 to 32 computations (44.8% saved)

end0.0ms (0%)

sample6.6s (45.9%)

Algorithm
1×intervals
Results
265.0ms8000×body128valid
27.0ms458×body128invalid
Compiler

Compiled 102237 to 127471 computations (-24.7% saved)

Profiling

Loading profile data...