Details

Time bar (total: 14.1s)

analyze1.4s (9.9%)

Algorithm
search
egg-herbie
Rules
743×associate-/r/_binary64
592×associate-*r/_binary64
437×associate-*l*_binary64
374×associate-*r*_binary64
348×associate-*l/_binary64
315×sqr-pow_binary64
249×associate-/l*_binary64
187×associate-/r*_binary64
156×unswap-sqr_binary64
139×*-commutative_binary64
138×cube-prod_binary64
114×fabs-mul_binary64
73×associate-/l/_binary64
60×pow-sqr_binary64
57×unpow3_binary64
48×pow-plus_binary64 cube-mult_binary64
27×fabs-sqr_binary64
18×unpow2_binary64
12×cube-unmult_binary64
unpow1/2_binary64 unpow1_binary64
rem-sqrt-square_binary64 swap-sqr_binary64
+-commutative_binary64
1-exp_binary64
not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same erfc-erf_binary64 erf-erfc_binary64 erf-odd_binary64 if-if-and-not_binary64 if-if-and_binary64 if-if-or-not_binary64 if-if-or_binary64 if-not_binary64 if-same_binary64 if-false_binary64 if-true_binary64 not-gte_binary64 not-lte_binary64 not-gt_binary64 not-lt_binary64 gte-same_binary64 lte-same_binary64 gt-same_binary64 lt-same_binary64 sinh---cosh_binary64 sinh-+-cosh_binary64 sinh-cosh_binary64 tanh-def-c_binary64 tanh-def-b_binary64 tanh-def-a_binary64 cosh-def_binary64 sinh-def_binary64 tan-neg_binary64 cos-neg_binary64 sin-neg_binary64 tan-0_binary64 cos-0_binary64 sin-0_binary64 hang-m-tan_binary64 hang-p-tan_binary64 hang-m0-tan_binary64 hang-p0-tan_binary64 hang-0m-tan_binary64 hang-0p-tan_binary64 tan-+PI/2_binary64 tan-+PI_binary64 tan-PI_binary64 tan-PI/3_binary64 tan-PI/4_binary64 tan-PI/6_binary64 cos-+PI/2_binary64 cos-+PI_binary64 cos-PI_binary64 cos-PI/2_binary64 cos-PI/3_binary64 cos-PI/4_binary64 cos-PI/6_binary64 sin-+PI/2_binary64 sin-+PI_binary64 sin-PI_binary64 sin-PI/2_binary64 sin-PI/3_binary64 sin-PI/4_binary64 sin-PI/6_binary64 sub-1-sin_binary64 sub-1-cos_binary64 -1-add-sin_binary64 -1-add-cos_binary64 1-sub-sin_binary64 1-sub-cos_binary64 cos-sin-sum_binary64 log-E_binary64 log-pow_binary64 log-rec_binary64 log-div_binary64 log-prod_binary64 pow-base-0_binary64 unpow1/3_binary64 exp-to-pow_binary64 pow-base-1_binary64 unpow0_binary64 unpow-1_binary64 exp-lft-cube_binary64 exp-lft-sqr_binary64 exp-cbrt_binary64 exp-sqrt_binary64 exp-prod_binary64 div-exp_binary64 rec-exp_binary64 prod-exp_binary64 exp-diff_binary64 exp-neg_binary64 exp-sum_binary64 e-exp-1_binary64 exp-1-e_binary64 exp-0_binary64 rem-log-exp_binary64 rem-exp-log_binary64 cube-div_binary64 cube-neg_binary64 rem-3cbrt-rft_binary64 rem-3cbrt-lft_binary64 rem-cbrt-cube_binary64 rem-cube-cbrt_binary64 fabs-div_binary64 fabs-neg_binary64 fabs-sub_binary64 fabs-fabs_binary64 sqr-abs_binary64 sqr-neg_binary64 rem-square-sqrt_binary64 times-frac_binary64 div-sub_binary64 neg-mul-1_binary64 neg-sub0_binary64 unsub-neg_binary64 sub-neg_binary64 mul-1-neg_binary64 /-rgt-identity_binary64 *-rgt-identity_binary64 *-lft-identity_binary64 remove-double-neg_binary64 sub0-neg_binary64 --rgt-identity_binary64 +-rgt-identity_binary64 +-lft-identity_binary64 mul0-rgt_binary64 mul0-lft_binary64 div0_binary64 *-inverses_binary64 +-inverses_binary64 lft-mult-inverse_binary64 rgt-mult-inverse_binary64 remove-double-div_binary64 difference-of-sqr--1_binary64 difference-of-sqr-1_binary64 difference-of-squares_binary64 cancel-sign-sub-inv_binary64 cancel-sign-sub_binary64 distribute-neg-frac_binary64 distribute-frac-neg_binary64 distribute-neg-out_binary64 distribute-neg-in_binary64 distribute-rgt-neg-out_binary64 distribute-lft-neg-out_binary64 distribute-rgt-neg-in_binary64 distribute-lft-neg-in_binary64 distribute-rgt1-in_binary64 distribute-lft1-in_binary64 distribute-rgt-out--_binary64 distribute-rgt-out_binary64 distribute-lft-out--_binary64 distribute-lft-out_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64 count-2_binary64 associate--r-_binary64 associate--l-_binary64 associate--l+_binary64 associate--r+_binary64 associate-+l-_binary64 associate-+r-_binary64 associate-+l+_binary64 associate-+r+_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
027104
151104
268104
3175104
4506104
51965104
63457104
74211104
84458104
94735104
104948104
033
133
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
0%99.9%0.1%7
25%74.9%0.1%8
54.6%45.2%0.1%9
56.2%43.7%0.1%10
62.4%37.4%0.1%11
65.9%33.9%0.1%12
66.3%33.5%0.1%13
69%30.8%0.1%14
Compiler

Compiled 17 to 15 computations (11.8% saved)

sample165.0ms (1.2%)

Algorithm
intervals
Results
121.0ms158×body1024valid
20.0ms43×body512valid
6.0ms20×body256valid
4.0ms34×body128valid
1.0msbody2048valid
Compiler

Compiled 33 to 32 computations (3% saved)

simplify109.0ms (0.8%)

Algorithm
egg-herbie
Rules
645×associate-/r*_binary64
634×sqr-pow_binary64
437×cube-prod_binary64
394×associate-*l*_binary64
368×*-commutative_binary64
366×fabs-mul_binary64
283×associate-/r/_binary64
264×pow-sqr_binary64
262×associate-*r*_binary64
244×associate-*l/_binary64
211×associate-/l/_binary64
208×associate-/l*_binary64
192×unpow3_binary64 cube-mult_binary64
144×unswap-sqr_binary64
141×associate-*r/_binary64
114×fabs-sqr_binary64
105×pow-plus_binary64
50×rem-sqrt-square_binary64
22×swap-sqr_binary64
14×unpow2_binary64 unpow1/2_binary64 unpow1_binary64
11×cube-unmult_binary64
1-exp_binary64 +-commutative_binary64
not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same erfc-erf_binary64 erf-erfc_binary64 erf-odd_binary64 if-if-and-not_binary64 if-if-and_binary64 if-if-or-not_binary64 if-if-or_binary64 if-not_binary64 if-same_binary64 if-false_binary64 if-true_binary64 not-gte_binary64 not-lte_binary64 not-gt_binary64 not-lt_binary64 gte-same_binary64 lte-same_binary64 gt-same_binary64 lt-same_binary64 sinh---cosh_binary64 sinh-+-cosh_binary64 sinh-cosh_binary64 tanh-def-c_binary64 tanh-def-b_binary64 tanh-def-a_binary64 cosh-def_binary64 sinh-def_binary64 tan-neg_binary64 cos-neg_binary64 sin-neg_binary64 tan-0_binary64 cos-0_binary64 sin-0_binary64 hang-m-tan_binary64 hang-p-tan_binary64 hang-m0-tan_binary64 hang-p0-tan_binary64 hang-0m-tan_binary64 hang-0p-tan_binary64 tan-+PI/2_binary64 tan-+PI_binary64 tan-PI_binary64 tan-PI/3_binary64 tan-PI/4_binary64 tan-PI/6_binary64 cos-+PI/2_binary64 cos-+PI_binary64 cos-PI_binary64 cos-PI/2_binary64 cos-PI/3_binary64 cos-PI/4_binary64 cos-PI/6_binary64 sin-+PI/2_binary64 sin-+PI_binary64 sin-PI_binary64 sin-PI/2_binary64 sin-PI/3_binary64 sin-PI/4_binary64 sin-PI/6_binary64 sub-1-sin_binary64 sub-1-cos_binary64 -1-add-sin_binary64 -1-add-cos_binary64 1-sub-sin_binary64 1-sub-cos_binary64 cos-sin-sum_binary64 log-E_binary64 log-pow_binary64 log-rec_binary64 log-div_binary64 log-prod_binary64 pow-base-0_binary64 unpow1/3_binary64 exp-to-pow_binary64 pow-base-1_binary64 unpow0_binary64 unpow-1_binary64 exp-lft-cube_binary64 exp-lft-sqr_binary64 exp-cbrt_binary64 exp-sqrt_binary64 exp-prod_binary64 div-exp_binary64 rec-exp_binary64 prod-exp_binary64 exp-diff_binary64 exp-neg_binary64 exp-sum_binary64 e-exp-1_binary64 exp-1-e_binary64 exp-0_binary64 rem-log-exp_binary64 rem-exp-log_binary64 cube-div_binary64 cube-neg_binary64 rem-3cbrt-rft_binary64 rem-3cbrt-lft_binary64 rem-cbrt-cube_binary64 rem-cube-cbrt_binary64 fabs-div_binary64 fabs-neg_binary64 fabs-sub_binary64 fabs-fabs_binary64 sqr-abs_binary64 sqr-neg_binary64 rem-square-sqrt_binary64 times-frac_binary64 div-sub_binary64 neg-mul-1_binary64 neg-sub0_binary64 unsub-neg_binary64 sub-neg_binary64 mul-1-neg_binary64 /-rgt-identity_binary64 *-rgt-identity_binary64 *-lft-identity_binary64 remove-double-neg_binary64 sub0-neg_binary64 --rgt-identity_binary64 +-rgt-identity_binary64 +-lft-identity_binary64 mul0-rgt_binary64 mul0-lft_binary64 div0_binary64 *-inverses_binary64 +-inverses_binary64 lft-mult-inverse_binary64 rgt-mult-inverse_binary64 remove-double-div_binary64 difference-of-sqr--1_binary64 difference-of-sqr-1_binary64 difference-of-squares_binary64 cancel-sign-sub-inv_binary64 cancel-sign-sub_binary64 distribute-neg-frac_binary64 distribute-frac-neg_binary64 distribute-neg-out_binary64 distribute-neg-in_binary64 distribute-rgt-neg-out_binary64 distribute-lft-neg-out_binary64 distribute-rgt-neg-in_binary64 distribute-lft-neg-in_binary64 distribute-rgt1-in_binary64 distribute-lft1-in_binary64 distribute-rgt-out--_binary64 distribute-rgt-out_binary64 distribute-lft-out--_binary64 distribute-lft-out_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64 count-2_binary64 associate--r-_binary64 associate--l-_binary64 associate--l+_binary64 associate--r+_binary64 associate-+l-_binary64 associate-+r-_binary64 associate-+l+_binary64 associate-+r+_binary64
Counts
1 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01426
12626
23626
36426
413326
533626
6103526
7173226
8242026
9263326
10290426
11325926
12365326
13455526
14487326
15487526

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
4.0b
Counts
1 → 1
Compiler

Compiled 16 to 14 computations (12.5% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 th))
0.2b
(pow.f64 (sin.f64 kx) 2)
0.3b
(pow.f64 (sin.f64 ky) 2)
3.7b
(sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))

rewrite206.0ms (1.5%)

Algorithm
rewrite-expression-head
Error
3.8b
Rules
41×*-un-lft-identity_binary64
34×add-sqr-sqrt_binary64
30×associate-*l*_binary64
26×times-frac_binary64
25×add-cube-cbrt_binary64
21×sqrt-prod_binary64
14×unpow-prod-down_binary64
11×add-exp-log_binary64
pow1_binary64 add-cbrt-cube_binary64
distribute-lft-out_binary64
pow-unpow_binary64
add-log-exp_binary64 sqrt-div_binary64
unswap-sqr_binary64 associate-*r*_binary64
flip3-+_binary64 flip-+_binary64 pow-pow_binary64 pow-to-exp_binary64 pow-exp_binary64 unpow2_binary64 sqr-pow_binary64 prod-exp_binary64 cbrt-unprod_binary64 associate-/r/_binary64
pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 pow-prod-down_binary64 div-exp_binary64 cbrt-undiv_binary64 associate-*l/_binary64 div-inv_binary64 *-commutative_binary64
Counts
4 → 103
Calls

4 calls:

17.0ms
(*.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 th))
8.0ms
(sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
3.0ms
(pow.f64 (sin.f64 ky) 2)
3.0ms
(pow.f64 (sin.f64 kx) 2)
Compiler

Compiled 2431 to 1345 computations (44.7% saved)

series211.0ms (1.5%)

Error
2.6b
Counts
4 → 35
Calls

4 calls:

119.0ms
(*.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 th))
43.0ms
(sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
13.0ms
(pow.f64 (sin.f64 ky) 2)
11.0ms
(pow.f64 (sin.f64 kx) 2)
Compiler

Compiled 1880 to 1394 computations (25.9% saved)

simplify101.0ms (0.7%)

Algorithm
egg-herbie
Rules
701×associate-/l*_binary64
532×associate-/r*_binary64
343×associate-*l/_binary64
268×cancel-sign-sub-inv_binary64
144×associate-/r/_binary64
122×distribute-rgt-neg-in_binary64
109×distribute-lft-neg-in_binary64
104×associate-*r*_binary64
100×associate-*l*_binary64
95×unswap-sqr_binary64 *-commutative_binary64
91×sub-neg_binary64 sqr-pow_binary64
84×times-frac_binary64
63×distribute-neg-frac_binary64
48×associate-*r/_binary64
45×+-commutative_binary64
41×neg-mul-1_binary64 neg-sub0_binary64
29×associate-/l/_binary64 associate--l+_binary64
27×distribute-rgt-in_binary64
26×log-prod_binary64
22×associate--r+_binary64
21×cube-prod_binary64
19×exp-prod_binary64 pow-sqr_binary64
17×unsub-neg_binary64 distribute-rgt-out_binary64
14×associate-+l+_binary64
13×swap-sqr_binary64 distribute-lft-neg-out_binary64
11×cube-unmult_binary64 distribute-neg-in_binary64
10×log-pow_binary64 unpow2_binary64 unpow1/2_binary64 unpow1_binary64
unpow3_binary64 fabs-mul_binary64 difference-of-squares_binary64 distribute-rgt-out--_binary64 distribute-lft-in_binary64
associate-+r+_binary64
log-div_binary64 cube-mult_binary64
pow-plus_binary64 rem-sqrt-square_binary64 *-rgt-identity_binary64 distribute-lft-out_binary64
cube-div_binary64 *-lft-identity_binary64
distribute-lft-out--_binary64
rem-square-sqrt_binary64
rem-3cbrt-rft_binary64 distribute-rgt1-in_binary64 associate-+l-_binary64 associate-+r-_binary64
1-exp_binary64 exp-1-e_binary64 /-rgt-identity_binary64 distribute-rgt-neg-out_binary64
not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same erfc-erf_binary64 erf-erfc_binary64 erf-odd_binary64 if-if-and-not_binary64 if-if-and_binary64 if-if-or-not_binary64 if-if-or_binary64 if-not_binary64 if-same_binary64 if-false_binary64 if-true_binary64 not-gte_binary64 not-lte_binary64 not-gt_binary64 not-lt_binary64 gte-same_binary64 lte-same_binary64 gt-same_binary64 lt-same_binary64 sinh---cosh_binary64 sinh-+-cosh_binary64 sinh-cosh_binary64 tanh-def-c_binary64 tanh-def-b_binary64 tanh-def-a_binary64 cosh-def_binary64 sinh-def_binary64 tan-neg_binary64 cos-neg_binary64 sin-neg_binary64 tan-0_binary64 cos-0_binary64 sin-0_binary64 hang-m-tan_binary64 hang-p-tan_binary64 hang-m0-tan_binary64 hang-p0-tan_binary64 hang-0m-tan_binary64 hang-0p-tan_binary64 tan-+PI/2_binary64 tan-+PI_binary64 tan-PI_binary64 tan-PI/3_binary64 tan-PI/4_binary64 tan-PI/6_binary64 cos-+PI/2_binary64 cos-+PI_binary64 cos-PI_binary64 cos-PI/2_binary64 cos-PI/3_binary64 cos-PI/4_binary64 cos-PI/6_binary64 sin-+PI/2_binary64 sin-+PI_binary64 sin-PI_binary64 sin-PI/2_binary64 sin-PI/3_binary64 sin-PI/4_binary64 sin-PI/6_binary64 sub-1-sin_binary64 sub-1-cos_binary64 -1-add-sin_binary64 -1-add-cos_binary64 1-sub-sin_binary64 1-sub-cos_binary64 cos-sin-sum_binary64 log-E_binary64 log-rec_binary64 pow-base-0_binary64 unpow1/3_binary64 exp-to-pow_binary64 pow-base-1_binary64 unpow0_binary64 unpow-1_binary64 exp-lft-cube_binary64 exp-lft-sqr_binary64 exp-cbrt_binary64 exp-sqrt_binary64 div-exp_binary64 rec-exp_binary64 prod-exp_binary64 exp-diff_binary64 exp-neg_binary64 exp-sum_binary64 e-exp-1_binary64 exp-0_binary64 rem-log-exp_binary64 rem-exp-log_binary64 cube-neg_binary64 rem-3cbrt-lft_binary64 rem-cbrt-cube_binary64 rem-cube-cbrt_binary64 fabs-div_binary64 fabs-sqr_binary64 fabs-neg_binary64 fabs-sub_binary64 fabs-fabs_binary64 sqr-abs_binary64 sqr-neg_binary64 div-sub_binary64 mul-1-neg_binary64 remove-double-neg_binary64 sub0-neg_binary64 --rgt-identity_binary64 +-rgt-identity_binary64 +-lft-identity_binary64 mul0-rgt_binary64 mul0-lft_binary64 div0_binary64 *-inverses_binary64 +-inverses_binary64 lft-mult-inverse_binary64 rgt-mult-inverse_binary64 remove-double-div_binary64 difference-of-sqr--1_binary64 difference-of-sqr-1_binary64 cancel-sign-sub_binary64 distribute-frac-neg_binary64 distribute-neg-out_binary64 distribute-lft1-in_binary64 count-2_binary64 associate--r-_binary64 associate--l-_binary64
Counts
138 → 97
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02383125
15782923
217572872
350332872

prune112.0ms (0.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New871097
Fresh000
Picked101
Done000
Total881098
Error
2.5b
Counts
98 → 10
Compiler

Compiled 2024 to 1155 computations (42.9% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b
(pow.f64 (sin.f64 kx) 2)
0.3b
(pow.f64 (sin.f64 ky) 2)
0.3b
(*.f64 (sin.f64 ky) (/.f64 (sin.f64 th) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))
3.7b
(sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))

rewrite184.0ms (1.3%)

Algorithm
rewrite-expression-head
Error
2.5b
Rules
41×*-un-lft-identity_binary64
34×add-sqr-sqrt_binary64
30×associate-*r*_binary64
26×times-frac_binary64
25×add-cube-cbrt_binary64
21×sqrt-prod_binary64
14×unpow-prod-down_binary64
11×add-exp-log_binary64
pow1_binary64 add-cbrt-cube_binary64
distribute-lft-out_binary64
pow-unpow_binary64
add-log-exp_binary64 sqrt-div_binary64
unswap-sqr_binary64 associate-*l*_binary64
flip3-+_binary64 flip-+_binary64 prod-exp_binary64 cbrt-unprod_binary64 associate-/r/_binary64 pow-pow_binary64 pow-to-exp_binary64 pow-exp_binary64 unpow2_binary64 sqr-pow_binary64
pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 pow-prod-down_binary64 div-exp_binary64 cbrt-undiv_binary64 associate-*r/_binary64 div-inv_binary64 *-commutative_binary64
Counts
4 → 103
Calls

4 calls:

19.0ms
(*.f64 (sin.f64 ky) (/.f64 (sin.f64 th) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))
8.0ms
(sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
3.0ms
(pow.f64 (sin.f64 kx) 2)
3.0ms
(pow.f64 (sin.f64 ky) 2)
Compiler

Compiled 2431 to 1344 computations (44.7% saved)

series214.0ms (1.5%)

Error
2.5b
Counts
4 → 35
Calls

4 calls:

119.0ms
(*.f64 (sin.f64 ky) (/.f64 (sin.f64 th) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))
43.0ms
(sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
11.0ms
(pow.f64 (sin.f64 ky) 2)
11.0ms
(pow.f64 (sin.f64 kx) 2)
Compiler

Compiled 1880 to 1394 computations (25.9% saved)

simplify126.0ms (0.9%)

Algorithm
egg-herbie
Rules
720×associate-/l*_binary64
538×associate-/r*_binary64
276×cancel-sign-sub-inv_binary64
176×associate-/r/_binary64
154×associate-*l*_binary64
152×associate-*r*_binary64
127×distribute-rgt-neg-in_binary64
113×distribute-lft-neg-in_binary64
112×unswap-sqr_binary64
93×times-frac_binary64
92×sqr-pow_binary64 associate-/l/_binary64
91×sub-neg_binary64
90×*-commutative_binary64
69×associate-*r/_binary64
65×distribute-neg-frac_binary64
46×+-commutative_binary64
45×associate-*l/_binary64
39×neg-mul-1_binary64 neg-sub0_binary64
32×log-prod_binary64
31×distribute-rgt-in_binary64
29×associate--l+_binary64
26×cube-prod_binary64 *-rgt-identity_binary64
25×*-lft-identity_binary64
24×exp-prod_binary64
22×log-pow_binary64 associate--r+_binary64
19×pow-sqr_binary64
17×unsub-neg_binary64 distribute-rgt-out_binary64
14×associate-+l+_binary64
13×distribute-lft-neg-out_binary64 distribute-lft-in_binary64
11×cube-unmult_binary64 /-rgt-identity_binary64 swap-sqr_binary64
10×unpow2_binary64 unpow1/2_binary64 unpow1_binary64 fabs-mul_binary64 distribute-neg-in_binary64
unpow3_binary64 difference-of-squares_binary64 distribute-rgt-out--_binary64
cube-mult_binary64 associate-+r+_binary64
pow-plus_binary64 rem-sqrt-square_binary64 distribute-lft-out_binary64
log-div_binary64 distribute-lft-out--_binary64
cube-div_binary64 rem-square-sqrt_binary64
log-rec_binary64 rem-3cbrt-rft_binary64 distribute-rgt1-in_binary64 associate-+l-_binary64 associate-+r-_binary64
1-exp_binary64 exp-1-e_binary64 distribute-rgt-neg-out_binary64
not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same erfc-erf_binary64 erf-erfc_binary64 erf-odd_binary64 if-if-and-not_binary64 if-if-and_binary64 if-if-or-not_binary64 if-if-or_binary64 if-not_binary64 if-same_binary64 if-false_binary64 if-true_binary64 not-gte_binary64 not-lte_binary64 not-gt_binary64 not-lt_binary64 gte-same_binary64 lte-same_binary64 gt-same_binary64 lt-same_binary64 sinh---cosh_binary64 sinh-+-cosh_binary64 sinh-cosh_binary64 tanh-def-c_binary64 tanh-def-b_binary64 tanh-def-a_binary64 cosh-def_binary64 sinh-def_binary64 tan-neg_binary64 cos-neg_binary64 sin-neg_binary64 tan-0_binary64 cos-0_binary64 sin-0_binary64 hang-m-tan_binary64 hang-p-tan_binary64 hang-m0-tan_binary64 hang-p0-tan_binary64 hang-0m-tan_binary64 hang-0p-tan_binary64 tan-+PI/2_binary64 tan-+PI_binary64 tan-PI_binary64 tan-PI/3_binary64 tan-PI/4_binary64 tan-PI/6_binary64 cos-+PI/2_binary64 cos-+PI_binary64 cos-PI_binary64 cos-PI/2_binary64 cos-PI/3_binary64 cos-PI/4_binary64 cos-PI/6_binary64 sin-+PI/2_binary64 sin-+PI_binary64 sin-PI_binary64 sin-PI/2_binary64 sin-PI/3_binary64 sin-PI/4_binary64 sin-PI/6_binary64 sub-1-sin_binary64 sub-1-cos_binary64 -1-add-sin_binary64 -1-add-cos_binary64 1-sub-sin_binary64 1-sub-cos_binary64 cos-sin-sum_binary64 log-E_binary64 pow-base-0_binary64 unpow1/3_binary64 exp-to-pow_binary64 pow-base-1_binary64 unpow0_binary64 unpow-1_binary64 exp-lft-cube_binary64 exp-lft-sqr_binary64 exp-cbrt_binary64 exp-sqrt_binary64 div-exp_binary64 rec-exp_binary64 prod-exp_binary64 exp-diff_binary64 exp-neg_binary64 exp-sum_binary64 e-exp-1_binary64 exp-0_binary64 rem-log-exp_binary64 rem-exp-log_binary64 cube-neg_binary64 rem-3cbrt-lft_binary64 rem-cbrt-cube_binary64 rem-cube-cbrt_binary64 fabs-div_binary64 fabs-sqr_binary64 fabs-neg_binary64 fabs-sub_binary64 fabs-fabs_binary64 sqr-abs_binary64 sqr-neg_binary64 div-sub_binary64 mul-1-neg_binary64 remove-double-neg_binary64 sub0-neg_binary64 --rgt-identity_binary64 +-rgt-identity_binary64 +-lft-identity_binary64 mul0-rgt_binary64 mul0-lft_binary64 div0_binary64 *-inverses_binary64 +-inverses_binary64 lft-mult-inverse_binary64 rgt-mult-inverse_binary64 remove-double-div_binary64 difference-of-sqr--1_binary64 difference-of-sqr-1_binary64 cancel-sign-sub_binary64 distribute-frac-neg_binary64 distribute-neg-out_binary64 distribute-lft1-in_binary64 count-2_binary64 associate--r-_binary64 associate--l-_binary64
Counts
138 → 82
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02402963
15912770
220522713
349852713
449562713

prune74.0ms (0.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New79382
Fresh189
Picked101
Done000
Total811192
Error
2.5b
Counts
92 → 11
Compiler

Compiled 1424 to 823 computations (42.2% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sin.f64 th) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))
0.4b
(/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))
3.7b
(sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
3.7b
(sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))

rewrite395.0ms (2.8%)

Algorithm
rewrite-expression-head
Error
2.5b
Rules
164×sqrt-prod_binary64
130×add-sqr-sqrt_binary64
123×times-frac_binary64
120×*-un-lft-identity_binary64
72×add-cube-cbrt_binary64
39×associate-*l*_binary64 associate-*r*_binary64
24×unpow-prod-down_binary64 distribute-lft-out_binary64
18×add-exp-log_binary64 add-cbrt-cube_binary64
16×sqrt-div_binary64 unswap-sqr_binary64
11×associate-/r*_binary64
pow1_binary64
associate-/r/_binary64
flip3-+_binary64 flip-+_binary64 div-exp_binary64 cbrt-undiv_binary64
add-log-exp_binary64 prod-exp_binary64 cbrt-unprod_binary64
div-inv_binary64 associate-/l*_binary64
pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64
frac-2neg_binary64 clear-num_binary64 pow-prod-down_binary64 frac-times_binary64 associate-*l/_binary64 associate-*r/_binary64 *-commutative_binary64
Counts
4 → 209
Calls

4 calls:

57.0ms
(*.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sin.f64 th) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))
13.0ms
(/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))
8.0ms
(sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
8.0ms
(sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
Compiler

Compiled 7409 to 4466 computations (39.7% saved)

series357.0ms (2.5%)

Error
2.5b
Counts
4 → 41
Calls

4 calls:

121.0ms
(*.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sin.f64 th) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))
108.0ms
(/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))
49.0ms
(sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
48.0ms
(sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
Compiler

Compiled 3270 to 2394 computations (26.8% saved)

simplify373.0ms (2.7%)

Algorithm
egg-herbie
Rules
774×times-frac_binary64
440×associate-/l/_binary64
319×cancel-sign-sub-inv_binary64
193×associate-/l*_binary64
187×associate-*l/_binary64
176×*-commutative_binary64
174×associate-*r/_binary64
152×associate-*r*_binary64
142×associate-*l*_binary64
124×distribute-rgt-neg-in_binary64
110×distribute-lft-neg-in_binary64
94×sub-neg_binary64
66×associate-/r*_binary64
59×distribute-neg-frac_binary64
57×sqr-pow_binary64
56×unswap-sqr_binary64
44×+-commutative_binary64
41×log-prod_binary64
40×log-div_binary64
39×neg-mul-1_binary64 neg-sub0_binary64
33×cube-prod_binary64
32×*-rgt-identity_binary64
31×distribute-rgt-out_binary64
30×cube-div_binary64
26×associate-/r/_binary64 associate--l+_binary64
25×*-lft-identity_binary64
24×distribute-rgt-in_binary64
21×associate--r+_binary64
20×exp-prod_binary64 associate-+l+_binary64
16×unpow3_binary64
15×distribute-lft-neg-out_binary64 associate-+r+_binary64
14×unsub-neg_binary64
13×distribute-rgt-out--_binary64
12×cube-unmult_binary64 cube-mult_binary64 /-rgt-identity_binary64 distribute-neg-in_binary64 distribute-lft-in_binary64
10×swap-sqr_binary64
pow-plus_binary64 difference-of-squares_binary64
pow-sqr_binary64
unpow1/2_binary64 rem-sqrt-square_binary64 associate-+l-_binary64
unpow2_binary64 unpow1_binary64 distribute-lft-out--_binary64 associate-+r-_binary64
log-pow_binary64 distribute-lft-out_binary64
log-rec_binary64 rem-square-sqrt_binary64
1-exp_binary64 exp-1-e_binary64 distribute-rgt-neg-out_binary64 count-2_binary64 associate--r-_binary64
not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same erfc-erf_binary64 erf-erfc_binary64 erf-odd_binary64 if-if-and-not_binary64 if-if-and_binary64 if-if-or-not_binary64 if-if-or_binary64 if-not_binary64 if-same_binary64 if-false_binary64 if-true_binary64 not-gte_binary64 not-lte_binary64 not-gt_binary64 not-lt_binary64 gte-same_binary64 lte-same_binary64 gt-same_binary64 lt-same_binary64 sinh---cosh_binary64 sinh-+-cosh_binary64 sinh-cosh_binary64 tanh-def-c_binary64 tanh-def-b_binary64 tanh-def-a_binary64 cosh-def_binary64 sinh-def_binary64 tan-neg_binary64 cos-neg_binary64 sin-neg_binary64 tan-0_binary64 cos-0_binary64 sin-0_binary64 hang-m-tan_binary64 hang-p-tan_binary64 hang-m0-tan_binary64 hang-p0-tan_binary64 hang-0m-tan_binary64 hang-0p-tan_binary64 tan-+PI/2_binary64 tan-+PI_binary64 tan-PI_binary64 tan-PI/3_binary64 tan-PI/4_binary64 tan-PI/6_binary64 cos-+PI/2_binary64 cos-+PI_binary64 cos-PI_binary64 cos-PI/2_binary64 cos-PI/3_binary64 cos-PI/4_binary64 cos-PI/6_binary64 sin-+PI/2_binary64 sin-+PI_binary64 sin-PI_binary64 sin-PI/2_binary64 sin-PI/3_binary64 sin-PI/4_binary64 sin-PI/6_binary64 sub-1-sin_binary64 sub-1-cos_binary64 -1-add-sin_binary64 -1-add-cos_binary64 1-sub-sin_binary64 1-sub-cos_binary64 cos-sin-sum_binary64 log-E_binary64 pow-base-0_binary64 unpow1/3_binary64 exp-to-pow_binary64 pow-base-1_binary64 unpow0_binary64 unpow-1_binary64 exp-lft-cube_binary64 exp-lft-sqr_binary64 exp-cbrt_binary64 exp-sqrt_binary64 div-exp_binary64 rec-exp_binary64 prod-exp_binary64 exp-diff_binary64 exp-neg_binary64 exp-sum_binary64 e-exp-1_binary64 exp-0_binary64 rem-log-exp_binary64 rem-exp-log_binary64 cube-neg_binary64 rem-3cbrt-rft_binary64 rem-3cbrt-lft_binary64 rem-cbrt-cube_binary64 rem-cube-cbrt_binary64 fabs-div_binary64 fabs-mul_binary64 fabs-sqr_binary64 fabs-neg_binary64 fabs-sub_binary64 fabs-fabs_binary64 sqr-abs_binary64 sqr-neg_binary64 div-sub_binary64 mul-1-neg_binary64 remove-double-neg_binary64 sub0-neg_binary64 --rgt-identity_binary64 +-rgt-identity_binary64 +-lft-identity_binary64 mul0-rgt_binary64 mul0-lft_binary64 div0_binary64 *-inverses_binary64 +-inverses_binary64 lft-mult-inverse_binary64 rgt-mult-inverse_binary64 remove-double-div_binary64 difference-of-sqr--1_binary64 difference-of-sqr-1_binary64 cancel-sign-sub_binary64 distribute-frac-neg_binary64 distribute-neg-out_binary64 distribute-rgt1-in_binary64 distribute-lft1-in_binary64 associate--l-_binary64
Counts
250 → 140
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
029810992
17979839
224999508
348769508
449839508
549399508

prune136.0ms (1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New1400140
Fresh01010
Picked011
Done000
Total14011151
Error
2.5b
Counts
151 → 11
Compiler

Compiled 3213 to 1892 computations (41.1% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b
(pow.f64 (sin.f64 ky) 2)
0.3b
(*.f64 (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))
4.2b
(cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
4.2b
(cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))

rewrite237.0ms (1.7%)

Algorithm
rewrite-expression-head
Error
2.5b
Rules
49×add-sqr-sqrt_binary64
33×cbrt-prod_binary64
30×*-un-lft-identity_binary64
18×sqrt-prod_binary64
16×cbrt-div_binary64
15×unswap-sqr_binary64
14×add-cube-cbrt_binary64 fabs-mul_binary64
13×associate-*l*_binary64
11×unpow-prod-down_binary64 associate-*r*_binary64
fabs-sqr_binary64
flip3-+_binary64 flip-+_binary64 distribute-lft-out_binary64
pow1_binary64 add-exp-log_binary64
add-cbrt-cube_binary64 sqrt-div_binary64 fabs-div_binary64
add-log-exp_binary64 frac-times_binary64
pow-unpow_binary64
pow1/3_binary64 rem-sqrt-square_binary64 mul-fabs_binary64 associate-*l/_binary64 associate-*r/_binary64
pow3_binary64 pow-prod-down_binary64 prod-exp_binary64 cbrt-unprod_binary64 *-commutative_binary64 pow-pow_binary64 pow-to-exp_binary64 pow-exp_binary64 unpow2_binary64 sqr-pow_binary64
Counts
4 → 109
Calls

4 calls:

25.0ms
(*.f64 (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))
8.0ms
(cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
8.0ms
(cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
3.0ms
(pow.f64 (sin.f64 ky) 2)
Compiler

Compiled 4288 to 2687 computations (37.3% saved)

series334.0ms (2.4%)

Error
2.5b
Counts
4 → 35
Calls

4 calls:

102.0ms
(*.f64 (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))
88.0ms
(cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
87.0ms
(cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
14.0ms
(pow.f64 (sin.f64 ky) 2)
Compiler

Compiled 3599 to 2750 computations (23.6% saved)

simplify224.0ms (1.6%)

Algorithm
egg-herbie
Rules
469×*-commutative_binary64
438×distribute-rgt-neg-in_binary64
409×distribute-lft-neg-in_binary64
328×cancel-sign-sub-inv_binary64
179×unswap-sqr_binary64
176×sub-neg_binary64
175×associate-*r*_binary64
167×associate-*l*_binary64
166×sqr-pow_binary64
153×associate-/r*_binary64
145×log-prod_binary64
123×distribute-rgt-in_binary64
113×neg-mul-1_binary64 neg-sub0_binary64
111×exp-prod_binary64
98×distribute-rgt-out_binary64
96×distribute-lft-in_binary64
69×distribute-rgt-out--_binary64
64×log-pow_binary64
63×+-commutative_binary64
49×associate-/l/_binary64
47×cube-prod_binary64
42×fabs-mul_binary64
40×difference-of-squares_binary64
35×pow-sqr_binary64
33×unpow3_binary64 associate--l+_binary64
32×rem-sqrt-square_binary64
31×pow-plus_binary64 unsub-neg_binary64
30×associate-+l+_binary64
29×associate-+l-_binary64
28×associate-/l*_binary64
27×cube-unmult_binary64
26×swap-sqr_binary64
25×distribute-lft-neg-out_binary64 distribute-lft-out_binary64 associate-+r+_binary64
24×distribute-neg-in_binary64 associate--r+_binary64
22×distribute-lft-out--_binary64 associate-+r-_binary64
21×*-rgt-identity_binary64
19×*-lft-identity_binary64
18×+-rgt-identity_binary64
12×unpow1/3_binary64
10×sub0-neg_binary64
unpow2_binary64 unpow1/2_binary64
unpow1_binary64 count-2_binary64
fabs-sqr_binary64
cube-mult_binary64 distribute-rgt-neg-out_binary64
cancel-sign-sub_binary64
associate-*r/_binary64
rem-square-sqrt_binary64 distribute-neg-out_binary64 associate-/r/_binary64
1-exp_binary64 exp-1-e_binary64 rem-3cbrt-rft_binary64 rem-3cbrt-lft_binary64 rem-cbrt-cube_binary64 sqr-abs_binary64 distribute-rgt1-in_binary64
not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same erfc-erf_binary64 erf-erfc_binary64 erf-odd_binary64 if-if-and-not_binary64 if-if-and_binary64 if-if-or-not_binary64 if-if-or_binary64 if-not_binary64 if-same_binary64 if-false_binary64 if-true_binary64 not-gte_binary64 not-lte_binary64 not-gt_binary64 not-lt_binary64 gte-same_binary64 lte-same_binary64 gt-same_binary64 lt-same_binary64 sinh---cosh_binary64 sinh-+-cosh_binary64 sinh-cosh_binary64 tanh-def-c_binary64 tanh-def-b_binary64 tanh-def-a_binary64 cosh-def_binary64 sinh-def_binary64 tan-neg_binary64 cos-neg_binary64 sin-neg_binary64 tan-0_binary64 cos-0_binary64 sin-0_binary64 hang-m-tan_binary64 hang-p-tan_binary64 hang-m0-tan_binary64 hang-p0-tan_binary64 hang-0m-tan_binary64 hang-0p-tan_binary64 tan-+PI/2_binary64 tan-+PI_binary64 tan-PI_binary64 tan-PI/3_binary64 tan-PI/4_binary64 tan-PI/6_binary64 cos-+PI/2_binary64 cos-+PI_binary64 cos-PI_binary64 cos-PI/2_binary64 cos-PI/3_binary64 cos-PI/4_binary64 cos-PI/6_binary64 sin-+PI/2_binary64 sin-+PI_binary64 sin-PI_binary64 sin-PI/2_binary64 sin-PI/3_binary64 sin-PI/4_binary64 sin-PI/6_binary64 sub-1-sin_binary64 sub-1-cos_binary64 -1-add-sin_binary64 -1-add-cos_binary64 1-sub-sin_binary64 1-sub-cos_binary64 cos-sin-sum_binary64 log-E_binary64 log-rec_binary64 log-div_binary64 pow-base-0_binary64 exp-to-pow_binary64 pow-base-1_binary64 unpow0_binary64 unpow-1_binary64 exp-lft-cube_binary64 exp-lft-sqr_binary64 exp-cbrt_binary64 exp-sqrt_binary64 div-exp_binary64 rec-exp_binary64 prod-exp_binary64 exp-diff_binary64 exp-neg_binary64 exp-sum_binary64 e-exp-1_binary64 exp-0_binary64 rem-log-exp_binary64 rem-exp-log_binary64 cube-div_binary64 cube-neg_binary64 rem-cube-cbrt_binary64 fabs-div_binary64 fabs-neg_binary64 fabs-sub_binary64 fabs-fabs_binary64 sqr-neg_binary64 times-frac_binary64 div-sub_binary64 mul-1-neg_binary64 /-rgt-identity_binary64 remove-double-neg_binary64 --rgt-identity_binary64 +-lft-identity_binary64 mul0-rgt_binary64 mul0-lft_binary64 div0_binary64 *-inverses_binary64 +-inverses_binary64 lft-mult-inverse_binary64 rgt-mult-inverse_binary64 remove-double-div_binary64 difference-of-sqr--1_binary64 difference-of-sqr-1_binary64 distribute-neg-frac_binary64 distribute-frac-neg_binary64 distribute-lft1-in_binary64 associate-*l/_binary64 associate--r-_binary64 associate--l-_binary64
Counts
144 → 126
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
02265031
15014160
213503613
326573581
448453536
549863536
648763536

prune133.0ms (0.9%)

Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New1251126
Fresh189
Picked011
Done011
Total12611137
Error
2.5b
Counts
137 → 11
Compiler

Compiled 2987 to 1826 computations (38.9% saved)

regimes3.7s (26.3%)

Accuracy

Total 2.2b remaining (56.1%)

Threshold costs 0b (0%)

Compiler

Compiled 50262 to 40260 computations (19.9% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm
egg-herbie
Rules
*-commutative_binary64 +-commutative_binary64
not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same if-if-and-not_binary64 if-if-and_binary64 if-if-or-not_binary64 if-if-or_binary64 if-not_binary64 if-same_binary64 if-false_binary64 if-true_binary64 tan-0_binary64 cos-0_binary64 sin-0_binary64 unpow1_binary64 e-exp-1_binary64 1-exp_binary64 exp-1-e_binary64 exp-0_binary64 fabs-div_binary64 fabs-mul_binary64 fabs-sqr_binary64 fabs-neg_binary64 fabs-sub_binary64 fabs-fabs_binary64 sqr-abs_binary64 sqr-neg_binary64 neg-mul-1_binary64 neg-sub0_binary64 unsub-neg_binary64 sub-neg_binary64 mul-1-neg_binary64 /-rgt-identity_binary64 *-rgt-identity_binary64 *-lft-identity_binary64 remove-double-neg_binary64 sub0-neg_binary64 --rgt-identity_binary64 +-rgt-identity_binary64 +-lft-identity_binary64 cancel-sign-sub-inv_binary64 cancel-sign-sub_binary64 distribute-neg-frac_binary64 distribute-frac-neg_binary64 distribute-neg-out_binary64 distribute-neg-in_binary64 distribute-rgt-neg-out_binary64 distribute-lft-neg-out_binary64 distribute-rgt-neg-in_binary64 distribute-lft-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01426
11626
21626

end1.0ms (0%)

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample5.2s (37%)

Algorithm
intervals
Results
3.5s4610×body1024valid
690.0ms1429×body512valid
188.0ms1403×body128valid
164.0ms536×body256valid
28.0ms22×body2048valid
Compiler

Compiled 271 to 227 computations (16.2% saved)

Profiling

Loading profile data...