Details

Time bar (total: 2.4s)

analyze186.0ms (7.8%)

Algorithm
search
egg-herbie
Rules
18×*-commutative_binary64
12×associate-*l*_binary64 associate-*r*_binary64
distribute-rgt-in_binary64 distribute-lft-in_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 unpow3_binary64 unpow2_binary64 unpow1/2_binary64 pow-plus_binary64 exp-to-pow_binary64 pow-base-1_binary64 unpow0_binary64 unpow1_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-unmult_binary64 cube-mult_binary64 cube-div_binary64 cube-prod_binary64 cube-neg_binary64 rem-3cbrt-rft_binary64 rem-3cbrt-lft_binary64 rem-cbrt-cube_binary64 rem-cube-cbrt_binary64 sqr-abs_binary64 sqr-neg_binary64 rem-sqrt-square_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 pow-sqr_binary64 sqr-pow_binary64 difference-of-sqr--1_binary64 difference-of-sqr-1_binary64 difference-of-squares_binary64 unswap-sqr_binary64 swap-sqr_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 count-2_binary64 associate-/l/_binary64 associate-/r/_binary64 associate-/l*_binary64 associate-/r*_binary64 associate-*l/_binary64 associate-*r/_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
02348
15948
28148
38148
47948
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
25%74.9%0.1%6
34.3%40.6%25.1%7
35.9%39%25.1%8
42.1%32.8%25.1%9
42.9%19.5%37.6%10
43.3%19.1%37.6%11
45%17.5%37.6%12
45.1%10.3%44.6%13
45.2%10.2%44.6%14
Compiler

Compiled 11 to 11 computations (0% saved)

sample21.0ms (0.9%)

Algorithm
intervals
Results
9.0ms256×body128valid
1.0ms25×body128nan
0.0ms10×body128invalid
Compiler

Compiled 21 to 24 computations (-14.3% saved)

simplify15.0ms (0.6%)

Algorithm
egg-herbie
Rules
10×*-commutative_binary64
distribute-rgt-in_binary64 distribute-lft-in_binary64 associate-*l*_binary64 associate-*r*_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 unpow3_binary64 unpow2_binary64 unpow1/2_binary64 pow-plus_binary64 exp-to-pow_binary64 pow-base-1_binary64 unpow0_binary64 unpow1_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-unmult_binary64 cube-mult_binary64 cube-div_binary64 cube-prod_binary64 cube-neg_binary64 rem-3cbrt-rft_binary64 rem-3cbrt-lft_binary64 rem-cbrt-cube_binary64 rem-cube-cbrt_binary64 sqr-abs_binary64 sqr-neg_binary64 rem-sqrt-square_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 pow-sqr_binary64 sqr-pow_binary64 difference-of-sqr--1_binary64 difference-of-sqr-1_binary64 difference-of-squares_binary64 unswap-sqr_binary64 swap-sqr_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 count-2_binary64 associate-/l/_binary64 associate-/r/_binary64 associate-/l*_binary64 associate-/r*_binary64 associate-*l/_binary64 associate-*r/_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 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01212
12312
23112
33112
42912

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
0.1b
Counts
2 → 1
Compiler

Compiled 16 to 16 computations (0% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.2b
(*.f64 y (sqrt.f64 z))

rewrite27.0ms (1.1%)

Algorithm
rewrite-expression-head
Error
0.0b
Rules
add-sqr-sqrt_binary64
associate-*r*_binary64
add-cube-cbrt_binary64 *-un-lft-identity_binary64 sqrt-prod_binary64
pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 associate-*l*_binary64
unswap-sqr_binary64
pow-prod-down_binary64 prod-exp_binary64 add-log-exp_binary64 cbrt-unprod_binary64 *-commutative_binary64
Counts
1 → 22
Calls

1 calls:

8.0ms
(*.f64 y (sqrt.f64 z))
Compiler

Compiled 244 to 115 computations (52.9% saved)

series18.0ms (0.8%)

Error
0.1b
Counts
1 → 6
Calls

1 calls:

17.0ms
(*.f64 y (sqrt.f64 z))
Compiler

Compiled 128 to 123 computations (3.9% saved)

simplify63.0ms (2.6%)

Algorithm
egg-herbie
Rules
566×unswap-sqr_binary64
280×sub-neg_binary64
229×sqr-pow_binary64
205×associate-*l*_binary64
200×cancel-sign-sub-inv_binary64
192×associate-+l+_binary64
177×associate-*l/_binary64
172×associate-*r/_binary64
171×*-commutative_binary64
166×log-div_binary64
165×cube-div_binary64
140×associate-*r*_binary64
127×cube-prod_binary64
123×log-prod_binary64
106×associate-/l/_binary64
84×pow-sqr_binary64
80×associate-/l*_binary64
78×associate-+l-_binary64
76×swap-sqr_binary64
73×exp-prod_binary64
72×associate-+r-_binary64 associate-+r+_binary64
65×associate-/r/_binary64
47×unpow3_binary64
45×rem-sqrt-square_binary64
42×cube-mult_binary64
32×cube-unmult_binary64
30×associate-/r*_binary64
29×distribute-lft-out_binary64
26×pow-plus_binary64
24×exp-sqrt_binary64
22×distribute-rgt-out_binary64
21×*-rgt-identity_binary64 *-lft-identity_binary64
18×distribute-rgt-in_binary64
16×log-rec_binary64 unsub-neg_binary64
13×exp-lft-sqr_binary64 prod-exp_binary64
12×times-frac_binary64 distribute-lft-in_binary64
11×neg-mul-1_binary64 neg-sub0_binary64 +-commutative_binary64
distribute-rgt1-in_binary64
unpow2_binary64 associate--l+_binary64
rem-square-sqrt_binary64 distribute-lft1-in_binary64
unpow1/2_binary64 remove-double-div_binary64 associate--l-_binary64
count-2_binary64
unpow1_binary64 1-exp_binary64 exp-1-e_binary64 /-rgt-identity_binary64 +-inverses_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 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-cbrt_binary64 div-exp_binary64 rec-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 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 lft-mult-inverse_binary64 rgt-mult-inverse_binary64 difference-of-sqr--1_binary64 difference-of-sqr-1_binary64 difference-of-squares_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-rgt-out--_binary64 distribute-lft-out--_binary64 associate--r-_binary64 associate--r+_binary64
Counts
28 → 16
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
042241
177229
2196229
3247229
4376229
5646229
6973229
72136229
83641229
94980229

prune13.0ms (0.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New12416
Fresh000
Picked011
Done000
Total12517
Error
0.0b
Counts
17 → 5
Compiler

Compiled 189 to 110 computations (41.8% saved)

localize10.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 y (fabs.f64 (cbrt.f64 z)))
0.4b
(*.f64 (*.f64 y (fabs.f64 (cbrt.f64 z))) (sqrt.f64 (cbrt.f64 z)))
0.6b
(cbrt.f64 z)
0.6b
(cbrt.f64 z)

rewrite78.0ms (3.2%)

Algorithm
rewrite-expression-head
Error
0.0b
Rules
13×add-sqr-sqrt_binary64
12×associate-*r*_binary64
11×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-cube-cbrt_binary64 *-un-lft-identity_binary64
cbrt-prod_binary64
sqrt-prod_binary64
add-log-exp_binary64 pow-prod-down_binary64 prod-exp_binary64 cbrt-unprod_binary64 associate-*l*_binary64
pow1/3_binary64 *-commutative_binary64
unswap-sqr_binary64
Counts
4 → 64
Calls

4 calls:

7.0ms
(*.f64 (*.f64 y (fabs.f64 (cbrt.f64 z))) (sqrt.f64 (cbrt.f64 z)))
4.0ms
(*.f64 y (fabs.f64 (cbrt.f64 z)))
1.0ms
(cbrt.f64 z)
1.0ms
(cbrt.f64 z)
Compiler

Compiled 1123 to 394 computations (64.9% saved)

series104.0ms (4.3%)

Error
0.0b
Counts
4 → 18
Calls

4 calls:

45.0ms
(*.f64 (*.f64 y (fabs.f64 (cbrt.f64 z))) (sqrt.f64 (cbrt.f64 z)))
16.0ms
(*.f64 y (fabs.f64 (cbrt.f64 z)))
16.0ms
(cbrt.f64 z)
15.0ms
(cbrt.f64 z)
Compiler

Compiled 694 to 619 computations (10.8% saved)

simplify66.0ms (2.8%)

Algorithm
egg-herbie
Rules
601×unswap-sqr_binary64
583×associate-+l+_binary64
427×distribute-rgt-in_binary64
414×distribute-lft-in_binary64
312×*-commutative_binary64
165×associate-*l*_binary64
137×log-prod_binary64
134×sqr-pow_binary64
125×associate-*r*_binary64
119×distribute-rgt-neg-in_binary64
113×distribute-lft-neg-in_binary64
51×exp-prod_binary64
41×pow-sqr_binary64
40×associate-/l*_binary64
35×cancel-sign-sub-inv_binary64
33×distribute-rgt-out_binary64
31×count-2_binary64
29×rem-sqrt-square_binary64
27×cube-prod_binary64
26×neg-sub0_binary64 swap-sqr_binary64 associate-+r+_binary64
25×neg-mul-1_binary64 associate-/l/_binary64
24×*-lft-identity_binary64
22×distribute-lft-out_binary64
21×log-pow_binary64 associate-*r/_binary64
16×sub-neg_binary64
15×*-rgt-identity_binary64 associate-/r/_binary64
13×cube-unmult_binary64
12×associate-/r*_binary64
10×pow-plus_binary64
+-commutative_binary64
unpow3_binary64 unpow1/2_binary64 cube-mult_binary64
unpow1/3_binary64 associate-*l/_binary64
unpow2_binary64 1-exp_binary64 exp-1-e_binary64 rem-3cbrt-lft_binary64 sqr-abs_binary64 rem-square-sqrt_binary64 mul-1-neg_binary64 distribute-rgt1-in_binary64 distribute-lft1-in_binary64 associate-+l-_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 unpow1_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-3cbrt-rft_binary64 rem-cbrt-cube_binary64 rem-cube-cbrt_binary64 sqr-neg_binary64 times-frac_binary64 div-sub_binary64 unsub-neg_binary64 /-rgt-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_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-out--_binary64 distribute-lft-out--_binary64 associate--r-_binary64 associate--l-_binary64 associate--l+_binary64 associate--r+_binary64 associate-+r-_binary64
Counts
82 → 54
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
093997
1196905
2674905
31013905
41751905
55228905

prune32.0ms (1.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New54054
Fresh033
Picked011
Done011
Total54559
Error
0.0b
Counts
59 → 5
Compiler

Compiled 576 to 244 computations (57.6% saved)

localize12.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
0.5b
(cbrt.f64 y)
0.5b
(cbrt.f64 y)
0.5b
(cbrt.f64 y)

rewrite93.0ms (3.9%)

Algorithm
rewrite-expression-head
Error
0b
Rules
25×cbrt-prod_binary64
23×add-sqr-sqrt_binary64
15×add-cube-cbrt_binary64 *-un-lft-identity_binary64
11×pow1_binary64
pow1/3_binary64
add-exp-log_binary64 swap-sqr_binary64 associate-*l*_binary64 associate-*r*_binary64
add-log-exp_binary64 add-cbrt-cube_binary64 unswap-sqr_binary64
pow-prod-down_binary64 pow-prod-up_binary64 pow-sqr_binary64
pow2_binary64 pow-plus_binary64 prod-exp_binary64 cbrt-unprod_binary64 *-commutative_binary64
Counts
4 → 73
Calls

4 calls:

6.0ms
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
1.0ms
(cbrt.f64 y)
1.0ms
(cbrt.f64 y)
1.0ms
(cbrt.f64 y)
Compiler

Compiled 1351 to 438 computations (67.6% saved)

series75.0ms (3.1%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

19.0ms
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
18.0ms
(cbrt.f64 y)
16.0ms
(cbrt.f64 y)
16.0ms
(cbrt.f64 y)
Compiler

Compiled 564 to 443 computations (21.5% saved)

simplify102.0ms (4.3%)

Algorithm
egg-herbie
Rules
586×log-prod_binary64
416×sqr-pow_binary64
335×associate-*l*_binary64
309×*-commutative_binary64
277×distribute-rgt-neg-in_binary64
257×distribute-lft-neg-in_binary64
227×associate-*r*_binary64
188×exp-prod_binary64
161×log-pow_binary64
149×cube-prod_binary64
128×pow-sqr_binary64
124×unswap-sqr_binary64
111×swap-sqr_binary64
104×associate-/l*_binary64
81×cancel-sign-sub-inv_binary64
75×associate-+l+_binary64
69×associate-+r+_binary64
61×distribute-rgt-in_binary64
60×distribute-lft-out_binary64
57×distribute-lft-in_binary64
54×neg-sub0_binary64
53×neg-mul-1_binary64
48×distribute-rgt-out_binary64
45×+-commutative_binary64
43×pow-plus_binary64 rem-sqrt-square_binary64
41×times-frac_binary64 sub-neg_binary64
37×associate-/r/_binary64
35×associate-*r/_binary64
32×unpow3_binary64
31×*-rgt-identity_binary64 *-lft-identity_binary64 associate-/l/_binary64
29×count-2_binary64
27×cube-mult_binary64
24×associate-/r*_binary64
17×log-div_binary64 cube-div_binary64 distribute-neg-frac_binary64
13×cube-unmult_binary64 distribute-rgt1-in_binary64
11×distribute-rgt-neg-out_binary64
10×unpow1/2_binary64
distribute-lft-neg-out_binary64 distribute-lft1-in_binary64
unpow2_binary64 associate-*l/_binary64
unpow1_binary64
unpow1/3_binary64
exp-sqrt_binary64 rem-3cbrt-lft_binary64 rem-cbrt-cube_binary64 mul-1-neg_binary64
exp-lft-sqr_binary64 1-exp_binary64 exp-1-e_binary64 rem-3cbrt-rft_binary64 rem-square-sqrt_binary64 sub0-neg_binary64 --rgt-identity_binary64 associate-+l-_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 exp-to-pow_binary64 pow-base-1_binary64 unpow0_binary64 unpow-1_binary64 exp-lft-cube_binary64 exp-cbrt_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-cube-cbrt_binary64 sqr-abs_binary64 sqr-neg_binary64 div-sub_binary64 unsub-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 difference-of-squares_binary64 cancel-sign-sub_binary64 distribute-frac-neg_binary64 distribute-neg-out_binary64 distribute-neg-in_binary64 distribute-rgt-out--_binary64 distribute-lft-out--_binary64 associate--r-_binary64 associate--l-_binary64 associate--l+_binary64 associate--r+_binary64 associate-+r-_binary64
Counts
85 → 50
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
056718
197666
2308646
31135632
42034548
53257548
64939548
74873548

prune27.0ms (1.1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New48250
Fresh112
Picked011
Done022
Total49655
Error
0.0b
Counts
55 → 6
Compiler

Compiled 528 to 255 computations (51.7% saved)

localize13.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.5b
(cbrt.f64 y)
0.6b
(cbrt.f64 (cbrt.f64 y))
0.6b
(cbrt.f64 (cbrt.f64 y))
1.1b
(pow.f64 (cbrt.f64 (cbrt.f64 y)) 5)

rewrite86.0ms (3.6%)

Algorithm
rewrite-expression-head
Error
0.0b
Rules
30×cbrt-prod_binary64
13×add-cube-cbrt_binary64 add-sqr-sqrt_binary64 *-un-lft-identity_binary64
unpow-prod-down_binary64
pow1_binary64 add-exp-log_binary64
pow1/3_binary64 add-log-exp_binary64 add-cbrt-cube_binary64
pow-unpow_binary64
pow-pow_binary64
pow-to-exp_binary64 pow-exp_binary64 sqr-pow_binary64
Counts
4 → 63
Calls

4 calls:

4.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 y)) 5)
1.0ms
(cbrt.f64 (cbrt.f64 y))
1.0ms
(cbrt.f64 (cbrt.f64 y))
1.0ms
(cbrt.f64 y)
Compiler

Compiled 1496 to 599 computations (60% saved)

series106.0ms (4.4%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

36.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 y)) 5)
21.0ms
(cbrt.f64 (cbrt.f64 y))
21.0ms
(cbrt.f64 (cbrt.f64 y))
19.0ms
(cbrt.f64 y)
Compiler

Compiled 700 to 549 computations (21.6% saved)

simplify76.0ms (3.2%)

Algorithm
egg-herbie
Rules
614×distribute-rgt-in_binary64
538×unswap-sqr_binary64
455×log-prod_binary64
445×distribute-rgt-neg-in_binary64
444×distribute-lft-neg-in_binary64
373×*-commutative_binary64
264×sqr-pow_binary64
226×associate-*l*_binary64
178×associate-*r*_binary64
127×cancel-sign-sub-inv_binary64
124×exp-prod_binary64
95×cube-prod_binary64
61×swap-sqr_binary64
59×neg-sub0_binary64
57×cube-unmult_binary64 neg-mul-1_binary64 pow-sqr_binary64 distribute-rgt-out_binary64
49×pow-plus_binary64
40×log-pow_binary64
35×distribute-lft-in_binary64
23×rem-sqrt-square_binary64 associate-/l*_binary64
22×distribute-lft-out_binary64
19×distribute-rgt-neg-out_binary64
18×sub-neg_binary64
13×distribute-lft-neg-out_binary64 associate-+l+_binary64 associate-+r+_binary64
11×unpow3_binary64 cube-mult_binary64 associate-/l/_binary64
count-2_binary64
*-rgt-identity_binary64 *-lft-identity_binary64 associate-*r/_binary64
mul-1-neg_binary64
unpow1/3_binary64 times-frac_binary64 +-commutative_binary64
associate-*l/_binary64
rem-3cbrt-lft_binary64 /-rgt-identity_binary64 distribute-rgt1-in_binary64 associate-/r/_binary64
unpow1/2_binary64 unpow1_binary64 1-exp_binary64 rem-cbrt-cube_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 unpow2_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-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-cube-cbrt_binary64 sqr-abs_binary64 sqr-neg_binary64 rem-square-sqrt_binary64 div-sub_binary64 unsub-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 difference-of-squares_binary64 cancel-sign-sub_binary64 distribute-neg-frac_binary64 distribute-frac-neg_binary64 distribute-neg-out_binary64 distribute-neg-in_binary64 distribute-lft1-in_binary64 distribute-rgt-out--_binary64 distribute-lft-out--_binary64 associate-/r*_binary64 associate--r-_binary64 associate--l-_binary64 associate--l+_binary64 associate--r+_binary64 associate-+l-_binary64 associate-+r-_binary64
Counts
75 → 27
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
078790
1154751
2360751
31158735
42576723
55259723

prune18.0ms (0.8%)

Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New27027
Fresh022
Picked011
Done033
Total27633
Error
0.0b
Counts
33 → 6
Compiler

Compiled 326 to 164 computations (49.7% saved)

regimes317.0ms (13.2%)

Accuracy

Total 0.1b remaining (50.5%)

Threshold costs 0.1b (50.5%)

Compiler

Compiled 3464 to 2539 computations (26.7% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

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 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
0912
11212
21212

end1.0ms (0%)

Compiler

Compiled 8 to 8 computations (0% saved)

sample825.0ms (34.5%)

Algorithm
intervals
Results
317.0ms8000×body128valid
39.0ms1028×body128nan
14.0ms379×body128invalid
Compiler

Compiled 113 to 104 computations (8% saved)

Profiling

Loading profile data...