Details

Time bar (total: 8.5s)

analyze1.5s (17.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)

sample53.0ms (0.6%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
4.0ms118×body128invalid
Compiler

Compiled 19 to 24 computations (-26.3% saved)

simplify40.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
055113
155113

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 18 to 18 computations (0% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.3b
(-.f64 (*.f64 x y) (*.f64 z t))
6.2b
(/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)

rewrite58.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
6.3b
Rules
10×add-cube-cbrt_binary64_20573 add-sqr-sqrt_binary64_20560 *-un-lft-identity_binary64_20538
9×times-frac_binary64_20544
4×add-exp-log_binary64_20576 add-log-exp_binary64_20577 add-cbrt-cube_binary64_20574
3×associate-/l*_binary64_20483 associate-/r*_binary64_20482
2×pow1_binary64_20599 flip3--_binary64_20542 associate-/l/_binary64_20485 flip--_binary64_20513
1×div-exp_binary64_20589 cbrt-undiv_binary64_20572 frac-2neg_binary64_20549 div-sub_binary64_20543 clear-num_binary64_20537 div-inv_binary64_20535 diff-log_binary64_20630 sub-neg_binary64_20531 cancel-sign-sub-inv_binary64_20504
Counts
2 → 42
Calls

2 calls:

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

Compiled 797 to 150 computations (81.2% saved)

series469.0ms (5.5%)

Error
6.4b
Counts
2 → 51
Calls

2 calls:

296.0ms
(/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
150.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
Compiler

Compiled 1095 to 752 computations (31.3% saved)

simplify62.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
049461303
149461303

prune73.0ms (0.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New821193
Fresh000
Picked101
Done000
Total831194
Error
6.2b
Counts
94 → 11
Compiler

Compiled 1282 to 273 computations (78.7% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.3b
(-.f64 (*.f64 x y) (*.f64 z t))
6.3b
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a))

rewrite62.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
6.2b
Rules
17×add-sqr-sqrt_binary64_20560
13×associate-*r*_binary64_20478
11×add-exp-log_binary64_20576 *-un-lft-identity_binary64_20538 times-frac_binary64_20544
10×add-cube-cbrt_binary64_20573
7×add-cbrt-cube_binary64_20574
4×pow1_binary64_20599 prod-exp_binary64_20587 add-log-exp_binary64_20577
3×flip3--_binary64_20542 flip--_binary64_20513 unswap-sqr_binary64_20506 associate-*l*_binary64_20479
2×div-exp_binary64_20589 cbrt-unprod_binary64_20571 frac-times_binary64_20548 associate-*l/_binary64_20481
1×pow-prod-down_binary64_20609 1-exp_binary64_20582 rec-exp_binary64_20588 cbrt-undiv_binary64_20572 un-div-inv_binary64_20536 associate-*r/_binary64_20480 div-inv_binary64_20535 *-commutative_binary64_20469 diff-log_binary64_20630 sub-neg_binary64_20531 cancel-sign-sub-inv_binary64_20504
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)

series472.0ms (5.5%)

Error
6.2b
Counts
2 → 51
Calls

2 calls:

290.0ms
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a))
156.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
Compiler

Compiled 1215 to 890 computations (26.7% saved)

simplify61.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
053041414

prune72.0ms (0.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New1021103
Fresh1910
Picked011
Done000
Total10311114
Error
6.2b
Counts
114 → 11
Compiler

Compiled 1480 to 435 computations (70.6% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.3b
(-.f64 (*.f64 x y) (*.f64 t z))
0.7b
(/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 t z))))
6.1b
(/.f64 a (-.f64 (*.f64 x y) (*.f64 t z)))

rewrite136.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Error
6.2b
Rules
90×times-frac_binary64_20544
55×add-cube-cbrt_binary64_20573 add-sqr-sqrt_binary64_20560 *-un-lft-identity_binary64_20538
18×associate-/r*_binary64_20482
16×add-exp-log_binary64_20576
11×associate-/r/_binary64_20484
10×add-cbrt-cube_binary64_20574
8×div-exp_binary64_20589
6×div-inv_binary64_20535 flip3--_binary64_20542 flip--_binary64_20513 associate-/l*_binary64_20483
5×add-log-exp_binary64_20577
4×pow1_binary64_20599 cbrt-undiv_binary64_20572
2×frac-2neg_binary64_20549 clear-num_binary64_20537 1-exp_binary64_20582 rec-exp_binary64_20588
1×inv-pow_binary64_20623 pow-flip_binary64_20612 diff-log_binary64_20630 sub-neg_binary64_20531 cancel-sign-sub-inv_binary64_20504
Counts
3 → 125
Calls

3 calls:

9.0ms
(/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 t z))))
6.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)

series664.0ms (7.8%)

Error
6.2b
Counts
3 → 72
Calls

3 calls:

283.0ms
(/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 t z))))
207.0ms
(/.f64 a (-.f64 (*.f64 x y) (*.f64 t z)))
137.0ms
(-.f64 (*.f64 x y) (*.f64 t z))
Compiler

Compiled 2124 to 1567 computations (26.2% saved)

simplify93.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
197 → 197
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
061783879

prune141.0ms (1.7%)

Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New1934197
Fresh189
Picked101
Done011
Total19513208
Error
6.2b
Counts
208 → 13
Compiler

Compiled 3474 to 803 computations (76.9% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.3b
(-.f64 (*.f64 x y) (*.f64 t z))
0.5b
(/.f64 1 (-.f64 (*.f64 x y) (*.f64 t z)))
6.1b
(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 t z))))

rewrite661.0ms (7.8%)

Algorithm
1×rewrite-expression-head
Error
6.2b
Rules
474×times-frac_binary64_20544
221×add-cube-cbrt_binary64_20573 add-sqr-sqrt_binary64_20560 *-un-lft-identity_binary64_20538
47×add-exp-log_binary64_20576
34×div-exp_binary64_20589
32×div-inv_binary64_20535
31×associate-/r/_binary64_20484
18×associate-/r*_binary64_20482
17×add-cbrt-cube_binary64_20574
16×flip3--_binary64_20542 flip--_binary64_20513 associate-/l*_binary64_20483
9×1-exp_binary64_20582 rec-exp_binary64_20588 cbrt-undiv_binary64_20572
5×add-log-exp_binary64_20577
4×pow1_binary64_20599
2×frac-2neg_binary64_20549 clear-num_binary64_20537
1×associate-/l/_binary64_20485 inv-pow_binary64_20623 pow-flip_binary64_20612 diff-log_binary64_20630 sub-neg_binary64_20531 cancel-sign-sub-inv_binary64_20504
Counts
3 → 300
Calls

3 calls:

19.0ms
(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 t z))))
6.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)

series596.0ms (7%)

Error
6.2b
Counts
3 → 69
Calls

3 calls:

297.0ms
(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 t z))))
159.0ms
(-.f64 (*.f64 x y) (*.f64 t z))
102.0ms
(/.f64 1 (-.f64 (*.f64 x y) (*.f64 t z)))
Compiler

Compiled 2157 to 1694 computations (21.5% saved)

simplify145.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
369 → 369
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
0500610745

prune341.0ms (4%)

Pruning

14 alts after pruning (12 fresh and 2 done)

PrunedKeptTotal
New3672369
Fresh11011
Picked011
Done011
Total36814382
Error
6.2b
Counts
382 → 14
Compiler

Compiled 8171 to 2467 computations (69.8% saved)

regimes959.0ms (11.3%)

Accuracy

Total 0.4b remaining (4.7%)

Threshold costs 0.4b (4.7%)

Compiler

Compiled 11583 to 7695 computations (33.6% saved)

bsearch0.0ms (0%)

simplify23.0ms (0.3%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03813
13813
Remove

(sort z t)

(sort x y)

Compiler

Compiled 36 to 36 computations (0% saved)

end0.0ms (0%)

sample1.8s (21.3%)

Algorithm
1×intervals
Results
272.0ms8000×body128valid
108.0ms3038×body128invalid
Compiler

Compiled 1339 to 887 computations (33.8% saved)

Profiling

Loading profile data...