Details

Time bar (total: 44.2s)

analyze1.4s (3.3%)

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)

sample1.2s (2.8%)

Algorithm
1×intervals
Results
12.0ms256×body128valid
6.0ms115×body128invalid
Compiler

Compiled 3729 to 5589 computations (-49.9% saved)

simplify39.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
055113
155113

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 18 to 18 computations (0% saved)

localize8.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite64.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Error
9.6b
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:

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)

series693.0ms (1.6%)

Error
9.6b
Counts
2 → 51
Calls

2 calls:

467.0ms
(/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
201.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
Compiler

Compiled 1095 to 752 computations (31.3% saved)

simplify63.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
049461303
149461303

prune81.0ms (0.2%)

Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New811293
Fresh000
Picked011
Done000
Total811394
Error
9.4b
Counts
94 → 13
Compiler

Compiled 1306 to 278 computations (78.7% saved)

localize8.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b
(-.f64 (*.f64 x y) (*.f64 z t))
9.3b
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a))

rewrite67.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Error
9.4b
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)

series677.0ms (1.5%)

Error
9.4b
Counts
2 → 51
Calls

2 calls:

445.0ms
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a))
206.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
Compiler

Compiled 1215 to 890 computations (26.7% saved)

simplify61.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
053041414

prune84.0ms (0.2%)

Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New1003103
Fresh2911
Picked101
Done011
Total10313116
Error
9.4b
Counts
116 → 13
Compiler

Compiled 1532 to 464 computations (69.7% saved)

localize12.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b
(-.f64 (*.f64 x y) (*.f64 t z))
0.4b
(/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 t z))))
9.2b
(/.f64 a (-.f64 (*.f64 x y) (*.f64 t z)))

rewrite160.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Error
9.4b
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×inv-pow_binary64_20964 pow-flip_binary64_20953 diff-log_binary64_20971 sub-neg_binary64_20872 cancel-sign-sub-inv_binary64_20845
Counts
3 → 125
Calls

3 calls:

8.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)

series952.0ms (2.2%)

Error
9.4b
Counts
3 → 66
Calls

3 calls:

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

Compiled 1764 to 1326 computations (24.8% saved)

simplify92.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
049533747
149533747

prune156.0ms (0.4%)

Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New1874191
Fresh3811
Picked101
Done011
Total19113204
Error
9.4b
Counts
204 → 13
Compiler

Compiled 3360 to 775 computations (76.9% saved)

localize9.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b
(-.f64 (*.f64 x y) (*.f64 t z))
0.4b
(/.f64 1 (-.f64 (*.f64 x y) (*.f64 t z)))
9.2b
(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 t z))))

rewrite544.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Error
9.4b
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:

16.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)

series863.0ms (1.9%)

Error
9.4b
Counts
3 → 69
Calls

3 calls:

454.0ms
(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 t z))))
213.0ms
(-.f64 (*.f64 x y) (*.f64 t z))
151.0ms
(/.f64 1 (-.f64 (*.f64 x y) (*.f64 t z)))
Compiler

Compiled 2157 to 1694 computations (21.5% saved)

simplify137.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
369 → 369
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
0500610745

prune399.0ms (0.9%)

Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New3663369
Fresh01111
Picked101
Done011
Total36715382
Error
9.4b
Counts
382 → 15
Compiler

Compiled 8171 to 2467 computations (69.8% saved)

regimes1.1s (2.5%)

Accuracy

Total 0.4b remaining (4.7%)

Threshold costs 0.4b (4.7%)

Compiler

Compiled 11786 to 8214 computations (30.3% saved)

bsearch0.0ms (0%)

simplify22.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04616
14616
Remove

(sort z t)

(sort x y)

Compiler

Compiled 44 to 40 computations (9.1% saved)

end0.0ms (0%)

sample35.2s (79.7%)

Algorithm
1×intervals
Results
264.0ms8000×body128valid
187.0ms3156×body128invalid
Compiler

Compiled 112800 to 168208 computations (-49.1% saved)

Profiling

Loading profile data...