Details

Time bar (total: 10.3s)

analyze2.1s (20.4%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04800143
14800143
055
155
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
0%99.8%0.2%9
0%99.8%0.2%10
16.4%83.4%0.2%11
19.9%79.9%0.2%12
21.6%77.2%1.2%13
24.8%73.7%1.4%14
Symmetry

(sort x y)

(sort z t)

Compiler

Compiled 10 to 10 computations (0% saved)

sample57.0ms (0.6%)

Algorithm
1×intervals
Results
11.0ms256×body128valid
4.0ms99×body128invalid
Compiler

Compiled 19 to 24 computations (-26.3% saved)

simplify38.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
055113
155113

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 18 to 18 computations (0% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.8b
(-.f64 (*.f64 x y) (*.f64 z t))
8.4b
(/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)

rewrite76.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
8.8b
Rules
10×add-cube-cbrt_binary64_20914 add-sqr-sqrt_binary64_20901 *-un-lft-identity_binary64_20879
9×times-frac_binary64_20885
4×add-exp-log_binary64_20917 add-log-exp_binary64_20918 add-cbrt-cube_binary64_20915
3×associate-/l*_binary64_20824 associate-/r*_binary64_20823
2×pow1_binary64_20940 flip3--_binary64_20883 associate-/l/_binary64_20826 flip--_binary64_20854
1×div-exp_binary64_20930 cbrt-undiv_binary64_20913 frac-2neg_binary64_20890 div-sub_binary64_20884 clear-num_binary64_20878 div-inv_binary64_20876 diff-log_binary64_20971 sub-neg_binary64_20872 cancel-sign-sub-inv_binary64_20845
Counts
2 → 42
Calls

2 calls:

8.0ms
(/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
7.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
Compiler

Compiled 797 to 150 computations (81.2% saved)

series501.0ms (4.9%)

Error
8.8b
Counts
2 → 51
Calls

2 calls:

309.0ms
(/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
163.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
Compiler

Compiled 1095 to 752 computations (31.3% saved)

simplify68.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
049461303
149461303

prune75.0ms (0.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New831093
Fresh000
Picked101
Done000
Total841094
Error
8.6b
Counts
94 → 10
Compiler

Compiled 1260 to 248 computations (80.3% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.8b
(-.f64 (*.f64 x y) (*.f64 z t))
8.5b
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a))

rewrite87.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
8.6b
Rules
17×add-sqr-sqrt_binary64_20901
13×associate-*r*_binary64_20819
11×add-exp-log_binary64_20917 *-un-lft-identity_binary64_20879 times-frac_binary64_20885
10×add-cube-cbrt_binary64_20914
7×add-cbrt-cube_binary64_20915
4×pow1_binary64_20940 prod-exp_binary64_20928 add-log-exp_binary64_20918
3×flip3--_binary64_20883 flip--_binary64_20854 unswap-sqr_binary64_20847 associate-*l*_binary64_20820
2×div-exp_binary64_20930 cbrt-unprod_binary64_20912 frac-times_binary64_20889 associate-*l/_binary64_20822
1×pow-prod-down_binary64_20950 1-exp_binary64_20923 rec-exp_binary64_20929 cbrt-undiv_binary64_20913 un-div-inv_binary64_20877 associate-*r/_binary64_20821 div-inv_binary64_20876 *-commutative_binary64_20810 diff-log_binary64_20971 sub-neg_binary64_20872 cancel-sign-sub-inv_binary64_20845
Counts
2 → 52
Calls

2 calls:

10.0ms
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a))
4.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
Compiler

Compiled 1079 to 363 computations (66.4% saved)

series570.0ms (5.5%)

Error
8.6b
Counts
2 → 51
Calls

2 calls:

346.0ms
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a))
175.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
Compiler

Compiled 1215 to 890 computations (26.7% saved)

simplify72.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
053041414

prune84.0ms (0.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1021103
Fresh189
Picked011
Done000
Total10310113
Error
8.6b
Counts
113 → 10
Compiler

Compiled 1476 to 416 computations (71.8% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.5b
(/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 t z))))
0.8b
(-.f64 (*.f64 x y) (*.f64 t z))
8.4b
(/.f64 a (-.f64 (*.f64 x y) (*.f64 t z)))

rewrite157.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
8.6b
Rules
90×times-frac_binary64_20885
55×add-cube-cbrt_binary64_20914 add-sqr-sqrt_binary64_20901 *-un-lft-identity_binary64_20879
18×associate-/r*_binary64_20823
16×add-exp-log_binary64_20917
11×associate-/r/_binary64_20825
10×add-cbrt-cube_binary64_20915
8×div-exp_binary64_20930
6×div-inv_binary64_20876 flip3--_binary64_20883 flip--_binary64_20854 associate-/l*_binary64_20824
5×add-log-exp_binary64_20918
4×pow1_binary64_20940 cbrt-undiv_binary64_20913
2×frac-2neg_binary64_20890 clear-num_binary64_20878 1-exp_binary64_20923 rec-exp_binary64_20929
1×diff-log_binary64_20971 sub-neg_binary64_20872 cancel-sign-sub-inv_binary64_20845 inv-pow_binary64_20964 pow-flip_binary64_20953
Counts
3 → 125
Calls

3 calls:

9.0ms
(/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 t z))))
5.0ms
(/.f64 a (-.f64 (*.f64 x y) (*.f64 t z)))
4.0ms
(-.f64 (*.f64 x y) (*.f64 t z))
Compiler

Compiled 3006 to 798 computations (73.5% saved)

series812.0ms (7.9%)

Error
8.6b
Counts
3 → 72
Calls

3 calls:

335.0ms
(/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 t z))))
254.0ms
(/.f64 a (-.f64 (*.f64 x y) (*.f64 t z)))
186.0ms
(-.f64 (*.f64 x y) (*.f64 t z))
Compiler

Compiled 2136 to 1579 computations (26.1% saved)

simplify91.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
197 → 197
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
050523879

prune186.0ms (1.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New1934197
Fresh268
Picked101
Done101
Total19710207
Error
8.6b
Counts
207 → 10
Compiler

Compiled 3437 to 768 computations (77.7% saved)

localize12.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.8b
(-.f64 (*.f64 x y) (*.f64 t z))
1.0b
(/.f64 1 (-.f64 (*.f64 x y) (*.f64 t z)))
7.5b
(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 t z))))

rewrite551.0ms (5.4%)

Algorithm
1×rewrite-expression-head
Error
8.6b
Rules
474×times-frac_binary64_20885
221×add-cube-cbrt_binary64_20914 add-sqr-sqrt_binary64_20901 *-un-lft-identity_binary64_20879
47×add-exp-log_binary64_20917
34×div-exp_binary64_20930
32×div-inv_binary64_20876
31×associate-/r/_binary64_20825
18×associate-/r*_binary64_20823
17×add-cbrt-cube_binary64_20915
16×flip3--_binary64_20883 flip--_binary64_20854 associate-/l*_binary64_20824
9×1-exp_binary64_20923 rec-exp_binary64_20929 cbrt-undiv_binary64_20913
5×add-log-exp_binary64_20918
4×pow1_binary64_20940
2×frac-2neg_binary64_20890 clear-num_binary64_20878
1×associate-/l/_binary64_20826 inv-pow_binary64_20964 pow-flip_binary64_20953 diff-log_binary64_20971 sub-neg_binary64_20872 cancel-sign-sub-inv_binary64_20845
Counts
3 → 300
Calls

3 calls:

22.0ms
(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 t z))))
5.0ms
(/.f64 1 (-.f64 (*.f64 x y) (*.f64 t z)))
4.0ms
(-.f64 (*.f64 x y) (*.f64 t z))
Compiler

Compiled 9169 to 3951 computations (56.9% saved)

series823.0ms (8%)

Error
8.6b
Counts
3 → 81
Calls

3 calls:

340.0ms
(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 t z))))
248.0ms
(/.f64 1 (-.f64 (*.f64 x y) (*.f64 t z)))
168.0ms
(-.f64 (*.f64 x y) (*.f64 t z))
Compiler

Compiled 3057 to 2366 computations (22.6% saved)

simplify188.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
381 → 381
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
0497011135
1497011135

prune427.0ms (4.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New3801381
Fresh099
Picked011
Done000
Total38011391
Error
8.6b
Counts
391 → 11
Compiler

Compiled 8483 to 2544 computations (70% saved)

regimes1.1s (11%)

Accuracy

Total 0.4b remaining (4.8%)

Threshold costs 0.4b (4.8%)

Compiler

Compiled 11206 to 7662 computations (31.6% saved)

bsearch0.0ms (0%)

simplify28.0ms (0.3%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04616
14616
Remove

(sort z t)

(sort x y)

Compiler

Compiled 44 to 40 computations (9.1% saved)

end0.0ms (0%)

sample2.1s (20.7%)

Algorithm
1×intervals
Results
346.0ms8000×body128valid
120.0ms2947×body128invalid
Compiler

Compiled 1183 to 813 computations (31.3% saved)

Profiling

Loading profile data...