Details

Time bar (total: 12.2s)

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

sample42.0ms (0.3%)

Algorithm
1×intervals
Results
9.0ms256×body128valid
3.0ms83×body128invalid
Compiler

Compiled 19 to 24 computations (-26.3% saved)

simplify36.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
055113
155113

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
7.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.2b
(-.f64 (*.f64 x y) (*.f64 z t))
7.1b
(/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)

rewrite87.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
7.3b
Rules
10×add-cube-cbrt_binary64_25006 add-sqr-sqrt_binary64_24993 *-un-lft-identity_binary64_24971
9×times-frac_binary64_24977
4×add-exp-log_binary64_25009 add-log-exp_binary64_25010 add-cbrt-cube_binary64_25007
3×associate-/l*_binary64_24916 associate-/r*_binary64_24915
2×pow1_binary64_25032 flip3--_binary64_24975 associate-/l/_binary64_24918 flip--_binary64_24946
1×div-exp_binary64_25022 cbrt-undiv_binary64_25005 frac-2neg_binary64_24982 div-sub_binary64_24976 clear-num_binary64_24970 div-inv_binary64_24968 diff-log_binary64_25063 sub-neg_binary64_24964 cancel-sign-sub-inv_binary64_24937
Counts
2 → 42
Calls

2 calls:

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

Compiled 786 to 148 computations (81.2% saved)

series687.0ms (5.6%)

Error
7.4b
Counts
2 → 51
Calls

2 calls:

462.0ms
(/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
216.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
Compiler

Compiled 732 to 727 computations (0.7% saved)

simplify62.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
049461303
149461303

prune77.0ms (0.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New811293
Fresh000
Picked101
Done000
Total821294
Error
7.2b
Counts
94 → 12
Compiler

Compiled 912 to 275 computations (69.8% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b
(-.f64 (*.f64 x y) (*.f64 z t))
7.1b
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a))

rewrite104.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
7.1b
Rules
17×add-sqr-sqrt_binary64_24993
13×associate-*r*_binary64_24911
11×add-exp-log_binary64_25009 *-un-lft-identity_binary64_24971 times-frac_binary64_24977
10×add-cube-cbrt_binary64_25006
7×add-cbrt-cube_binary64_25007
4×pow1_binary64_25032 prod-exp_binary64_25020 add-log-exp_binary64_25010
3×flip3--_binary64_24975 flip--_binary64_24946 unswap-sqr_binary64_24939 associate-*l*_binary64_24912
2×div-exp_binary64_25022 cbrt-unprod_binary64_25004 frac-times_binary64_24981 associate-*l/_binary64_24914
1×pow-prod-down_binary64_25042 1-exp_binary64_25015 rec-exp_binary64_25021 cbrt-undiv_binary64_25005 un-div-inv_binary64_24969 associate-*r/_binary64_24913 div-inv_binary64_24968 *-commutative_binary64_24902 diff-log_binary64_25063 sub-neg_binary64_24964 cancel-sign-sub-inv_binary64_24937
Counts
2 → 52
Calls

2 calls:

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

Compiled 1040 to 348 computations (66.5% saved)

series696.0ms (5.7%)

Error
7.2b
Counts
2 → 51
Calls

2 calls:

461.0ms
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a))
221.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
Compiler

Compiled 824 to 807 computations (2.1% saved)

simplify61.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
053041414

prune90.0ms (0.7%)

Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New958103
Fresh8311
Picked011
Done000
Total10312115
Error
7.2b
Counts
115 → 12
Compiler

Compiled 973 to 356 computations (63.4% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.2b
(-.f64 (*.f64 x y) (*.f64 t z))
0.4b
(/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 t z))))
7.0b
(/.f64 a (-.f64 (*.f64 x y) (*.f64 t z)))

rewrite246.0ms (2%)

Algorithm
1×rewrite-expression-head
Error
7.1b
Rules
90×times-frac_binary64_24977
55×add-cube-cbrt_binary64_25006 add-sqr-sqrt_binary64_24993 *-un-lft-identity_binary64_24971
18×associate-/r*_binary64_24915
16×add-exp-log_binary64_25009
11×associate-/r/_binary64_24917
10×add-cbrt-cube_binary64_25007
8×div-exp_binary64_25022
6×div-inv_binary64_24968 flip3--_binary64_24975 flip--_binary64_24946 associate-/l*_binary64_24916
5×add-log-exp_binary64_25010
4×pow1_binary64_25032 cbrt-undiv_binary64_25005
2×frac-2neg_binary64_24982 clear-num_binary64_24970 1-exp_binary64_25015 rec-exp_binary64_25021
1×inv-pow_binary64_25056 pow-flip_binary64_25045 diff-log_binary64_25063 sub-neg_binary64_24964 cancel-sign-sub-inv_binary64_24937
Counts
3 → 125
Calls

3 calls:

8.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 2967 to 786 computations (73.5% saved)

series1.1s (8.8%)

Error
7.1b
Counts
3 → 78
Calls

3 calls:

470.0ms
(/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 t z))))
375.0ms
(/.f64 a (-.f64 (*.f64 x y) (*.f64 t z)))
212.0ms
(-.f64 (*.f64 x y) (*.f64 t z))
Compiler

Compiled 1770 to 1620 computations (8.5% saved)

simplify80.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
203 → 203
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
052454011

prune181.0ms (1.5%)

Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New19310203
Fresh7310
Picked101
Done011
Total20114215
Error
7.1b
Counts
215 → 14
Compiler

Compiled 2311 to 633 computations (72.6% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b
(-.f64 (*.f64 x y) (*.f64 t z))
7.1b
(/.f64 (-.f64 (*.f64 x y) (*.f64 t z)) a)

rewrite81.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
7.1b
Rules
10×add-cube-cbrt_binary64_25006 add-sqr-sqrt_binary64_24993 *-un-lft-identity_binary64_24971
9×times-frac_binary64_24977
4×add-exp-log_binary64_25009 add-log-exp_binary64_25010 add-cbrt-cube_binary64_25007
3×associate-/l*_binary64_24916 associate-/r*_binary64_24915
2×pow1_binary64_25032 flip3--_binary64_24975 associate-/l/_binary64_24918 flip--_binary64_24946
1×div-exp_binary64_25022 cbrt-undiv_binary64_25005 frac-2neg_binary64_24982 div-sub_binary64_24976 clear-num_binary64_24970 div-inv_binary64_24968 diff-log_binary64_25063 sub-neg_binary64_24964 cancel-sign-sub-inv_binary64_24937
Counts
2 → 42
Calls

2 calls:

5.0ms
(/.f64 (-.f64 (*.f64 x y) (*.f64 t z)) a)
3.0ms
(-.f64 (*.f64 x y) (*.f64 t z))
Compiler

Compiled 786 to 148 computations (81.2% saved)

series696.0ms (5.7%)

Error
7.1b
Counts
2 → 51
Calls

2 calls:

468.0ms
(/.f64 (-.f64 (*.f64 x y) (*.f64 t z)) a)
217.0ms
(-.f64 (*.f64 x y) (*.f64 t z))
Compiler

Compiled 732 to 727 computations (0.7% saved)

simplify65.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
049271303
149271303

prune64.0ms (0.5%)

Pruning

14 alts after pruning (12 fresh and 2 done)

PrunedKeptTotal
New91293
Fresh21012
Picked011
Done011
Total9314107
Error
7.1b
Counts
107 → 14
Compiler

Compiled 679 to 123 computations (81.9% saved)

regimes5.1s (41.5%)

Accuracy

Total 0.5b remaining (6.4%)

Threshold costs 0.5b (6.4%)

Compiler

Compiled 50215 to 37256 computations (25.8% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04616
14616

end21.0ms (0.2%)

Remove

(sort z t)

(sort x y)

Compiler

Compiled 55 to 50 computations (9.1% saved)

sample1.1s (9.3%)

Algorithm
1×intervals
Results
296.0ms8000×body128valid
103.0ms3055×body128invalid
Compiler

Compiled 302 to 227 computations (24.8% saved)

Profiling

Loading profile data...