Details

analyze208.0ms (7.6%)

Algorithm

1×	search
2×	egg-herbie

Rules

5×	`*-commutative_binary64_6829`
4×	`associate-l_binary64_6839`
2×	`associate-r_binary64_6838`
1×	`swap-x-y`
0×	`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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `sinh-def_binary64_7083` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `log-pow_binary64_6987` `log-rec_binary64_6986` `log-div_binary64_6985` `log-prod_binary64_6984` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `unpow3_binary64_6964` `unpow2_binary64_6963` `unpow1/2_binary64_6962` `pow-plus_binary64_6961` `exp-to-pow_binary64_6960` `pow-base-1_binary64_6958` `unpow0_binary64_6957` `unpow1_binary64_6956` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-lft-sqr_binary64_6953` `exp-cbrt_binary64_6952` `exp-sqrt_binary64_6951` `exp-prod_binary64_6950` `div-exp_binary64_6949` `rec-exp_binary64_6948` `prod-exp_binary64_6947` `exp-diff_binary64_6946` `exp-neg_binary64_6945` `exp-sum_binary64_6944` `e-exp-1_binary64_6943` `1-exp_binary64_6942` `exp-1-e_binary64_6941` `exp-0_binary64_6940` `rem-log-exp_binary64_6939` `rem-exp-log_binary64_6938` `cube-unmult_binary64_6935` `cube-mult_binary64_6928` `cube-div_binary64_6927` `cube-prod_binary64_6926` `cube-neg_binary64_6925` `rem-3cbrt-rft_binary64_6924` `rem-3cbrt-lft_binary64_6923` `rem-cbrt-cube_binary64_6922` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `sqr-neg_binary64_6912` `rem-sqrt-square_binary64_6911` `rem-square-sqrt_binary64_6910` `times-frac_binary64_6904` `div-sub_binary64_6903` `neg-mul-1_binary64_6894` `neg-sub0_binary64_6893` `unsub-neg_binary64_6892` `sub-neg_binary64_6891` `mul-1-neg_binary64_6890` `/-rgt-identity_binary64_6889` `-rgt-identity_binary64_6888` `-lft-identity_binary64_6887` `remove-double-neg_binary64_6886` `sub0-neg_binary64_6885` `--rgt-identity_binary64_6884` `+-rgt-identity_binary64_6883` `+-lft-identity_binary64_6882` `mul0-rgt_binary64_6881` `mul0-lft_binary64_6880` `div0_binary64_6879` `-inverses_binary64_6878` `+-inverses_binary64_6877` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `remove-double-div_binary64_6874` `pow-sqr_binary64_6871` `sqr-pow_binary64_6870` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868` `difference-of-squares_binary64_6867` `unswap-sqr_binary64_6866` `swap-sqr_binary64_6865` `cancel-sign-sub-inv_binary64_6864` `cancel-sign-sub_binary64_6863` `distribute-neg-frac_binary64_6862` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `distribute-neg-in_binary64_6859` `distribute-rgt-neg-out_binary64_6858` `distribute-lft-neg-out_binary64_6857` `distribute-rgt-neg-in_binary64_6856` `distribute-lft-neg-in_binary64_6855` `distribute-rgt1-in_binary64_6854` `distribute-lft1-in_binary64_6853` `distribute-rgt-out--_binary64_6852` `distribute-rgt-out_binary64_6851` `distribute-lft-out--_binary64_6850` `distribute-lft-out_binary64_6849` `distribute-rgt-in_binary64_6848` `distribute-lft-in_binary64_6847` `count-2_binary64_6846` `associate-/l/_binary64_6845` `associate-/r/_binary64_6844` `associate-/l_binary64_6843` `associate-/r_binary64_6842` `associate-l/_binary64_6841` `associate-*r/_binary64_6840` `associate--r-_binary64_6837` `associate--l-_binary64_6836` `associate--l+_binary64_6835` `associate--r+_binary64_6834` `associate-+l-_binary64_6833` `associate-+r-_binary64_6832` `associate-+l+_binary64_6831` `associate-+r+_binary64_6830` `+-commutative_binary64_6828`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	12	14
2	18	14
3	16	14
4	16	14
0	2	2
1	2	2

Search

True	Other	False	Iter
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
25%	74.9%	0.1%	5
50%	50%	0.1%	6
62.4%	31.2%	6.3%	7
71.8%	21.9%	6.3%	8
76.5%	14%	9.5%	9
80.4%	10.1%	9.5%	10
82.3%	6.6%	11%	11
84.1%	4.9%	11%	12
85%	3.2%	11.8%	13
85.8%	2.4%	11.8%	14

Symmetry

(sort x y)

Compiler

Compiled 6 to 6 computations (0% saved)

sample19.0ms (0.7%)

Algorithm

1×

intervals

Results

5.0ms	256×	body	128	valid
0.0ms	3×	body	128	invalid

Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64_6829`
3×	`associate-l_binary64_6839` `associate-r_binary64_6838`
0×	`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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `sinh-def_binary64_7083` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `log-pow_binary64_6987` `log-rec_binary64_6986` `log-div_binary64_6985` `log-prod_binary64_6984` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `unpow3_binary64_6964` `unpow2_binary64_6963` `unpow1/2_binary64_6962` `pow-plus_binary64_6961` `exp-to-pow_binary64_6960` `pow-base-1_binary64_6958` `unpow0_binary64_6957` `unpow1_binary64_6956` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-lft-sqr_binary64_6953` `exp-cbrt_binary64_6952` `exp-sqrt_binary64_6951` `exp-prod_binary64_6950` `div-exp_binary64_6949` `rec-exp_binary64_6948` `prod-exp_binary64_6947` `exp-diff_binary64_6946` `exp-neg_binary64_6945` `exp-sum_binary64_6944` `e-exp-1_binary64_6943` `1-exp_binary64_6942` `exp-1-e_binary64_6941` `exp-0_binary64_6940` `rem-log-exp_binary64_6939` `rem-exp-log_binary64_6938` `cube-unmult_binary64_6935` `cube-mult_binary64_6928` `cube-div_binary64_6927` `cube-prod_binary64_6926` `cube-neg_binary64_6925` `rem-3cbrt-rft_binary64_6924` `rem-3cbrt-lft_binary64_6923` `rem-cbrt-cube_binary64_6922` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `sqr-neg_binary64_6912` `rem-sqrt-square_binary64_6911` `rem-square-sqrt_binary64_6910` `times-frac_binary64_6904` `div-sub_binary64_6903` `neg-mul-1_binary64_6894` `neg-sub0_binary64_6893` `unsub-neg_binary64_6892` `sub-neg_binary64_6891` `mul-1-neg_binary64_6890` `/-rgt-identity_binary64_6889` `-rgt-identity_binary64_6888` `-lft-identity_binary64_6887` `remove-double-neg_binary64_6886` `sub0-neg_binary64_6885` `--rgt-identity_binary64_6884` `+-rgt-identity_binary64_6883` `+-lft-identity_binary64_6882` `mul0-rgt_binary64_6881` `mul0-lft_binary64_6880` `div0_binary64_6879` `-inverses_binary64_6878` `+-inverses_binary64_6877` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `remove-double-div_binary64_6874` `pow-sqr_binary64_6871` `sqr-pow_binary64_6870` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868` `difference-of-squares_binary64_6867` `unswap-sqr_binary64_6866` `swap-sqr_binary64_6865` `cancel-sign-sub-inv_binary64_6864` `cancel-sign-sub_binary64_6863` `distribute-neg-frac_binary64_6862` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `distribute-neg-in_binary64_6859` `distribute-rgt-neg-out_binary64_6858` `distribute-lft-neg-out_binary64_6857` `distribute-rgt-neg-in_binary64_6856` `distribute-lft-neg-in_binary64_6855` `distribute-rgt1-in_binary64_6854` `distribute-lft1-in_binary64_6853` `distribute-rgt-out--_binary64_6852` `distribute-rgt-out_binary64_6851` `distribute-lft-out--_binary64_6850` `distribute-lft-out_binary64_6849` `distribute-rgt-in_binary64_6848` `distribute-lft-in_binary64_6847` `count-2_binary64_6846` `associate-/l/_binary64_6845` `associate-/r/_binary64_6844` `associate-/l_binary64_6843` `associate-/r_binary64_6842` `associate-l/_binary64_6841` `associate-*r/_binary64_6840` `associate--r-_binary64_6837` `associate--l-_binary64_6836` `associate--l+_binary64_6835` `associate--r+_binary64_6834` `associate-+l-_binary64_6833` `associate-+r-_binary64_6832` `associate-+l+_binary64_6831` `associate-+r+_binary64_6830` `+-commutative_binary64_6828`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	16	7
3	16	7
4	16	7

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	0	0
Total	1	1

Error

0.5b

Counts

1 → 1

Compiler

Compiled 5 to 5 computations (0% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.5b	(.f64 (.f64 x 27) y)

rewrite27.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`pow1_binary64_6959` `add-exp-log_binary64_6936` `add-cbrt-cube_binary64_6934`
3×	`pow-prod-down_binary64_6969` `prod-exp_binary64_6947` `cbrt-unprod_binary64_6931` `associate-r_binary64_6838`
2×	`add-cube-cbrt_binary64_6933` `add-sqr-sqrt_binary64_6920` `*-un-lft-identity_binary64_6898`
1×	`add-log-exp_binary64_6937` `associate-l_binary64_6839` `*-commutative_binary64_6829`

Counts

1 → 18

Calls

1 calls:

5.0ms

(*.f64 (*.f64 x 27) y)

Compiler

Compiled 184 to 123 computations (33.2% saved)

series84.0ms (3.1%)

Error

0.1b

Counts

1 → 6

Calls

1 calls:

80.0ms

(*.f64 (*.f64 x 27) y)

Compiler

Compiled 90 to 75 computations (16.7% saved)

simplify65.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

840×	`associate-*l/_binary64_6841`
525×	`associate-l_binary64_6839`
380×	`associate-r_binary64_6838`
345×	`*-commutative_binary64_6829`
302×	`associate-/l/_binary64_6845`
227×	`sqr-pow_binary64_6870`
190×	`associate-/r/_binary64_6844`
175×	`log-div_binary64_6985`
174×	`associate-/l*_binary64_6843`
172×	`cube-div_binary64_6927`
129×	`associate-+l+_binary64_6831`
116×	`log-prod_binary64_6984`
110×	`cube-prod_binary64_6926`
93×	`pow-sqr_binary64_6871`
65×	`associate-+r+_binary64_6830`
61×	`+-commutative_binary64_6828`
58×	`associate-/r*_binary64_6842`
50×	`exp-prod_binary64_6950`
41×	`associate-*r/_binary64_6840`
38×	`times-frac_binary64_6904`
34×	`unswap-sqr_binary64_6866`
30×	`rem-sqrt-square_binary64_6911`
29×	`*-rgt-identity_binary64_6888`
28×	`exp-sqrt_binary64_6951`
20×	`unpow3_binary64_6964` `*-lft-identity_binary64_6887` `swap-sqr_binary64_6865`
19×	`cube-mult_binary64_6928`
15×	`sub-neg_binary64_6891`
12×	`log-rec_binary64_6986`
8×	`distribute-rgt-in_binary64_6848`
7×	`distribute-rgt-out_binary64_6851`
6×	`unpow1/2_binary64_6962`
5×	`cube-unmult_binary64_6935` `distribute-lft-out_binary64_6849`
4×	`distribute-rgt1-in_binary64_6854`
3×	`distribute-lft-in_binary64_6847`
2×	`exp-lft-sqr_binary64_6953` `/-rgt-identity_binary64_6889` `distribute-lft1-in_binary64_6853` `count-2_binary64_6846`
1×	`prod-exp_binary64_6947` `1-exp_binary64_6942` `exp-1-e_binary64_6941`
0×	`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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `sinh-def_binary64_7083` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `log-pow_binary64_6987` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `unpow2_binary64_6963` `pow-plus_binary64_6961` `exp-to-pow_binary64_6960` `pow-base-1_binary64_6958` `unpow0_binary64_6957` `unpow1_binary64_6956` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-cbrt_binary64_6952` `div-exp_binary64_6949` `rec-exp_binary64_6948` `exp-diff_binary64_6946` `exp-neg_binary64_6945` `exp-sum_binary64_6944` `e-exp-1_binary64_6943` `exp-0_binary64_6940` `rem-log-exp_binary64_6939` `rem-exp-log_binary64_6938` `cube-neg_binary64_6925` `rem-3cbrt-rft_binary64_6924` `rem-3cbrt-lft_binary64_6923` `rem-cbrt-cube_binary64_6922` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `sqr-neg_binary64_6912` `rem-square-sqrt_binary64_6910` `div-sub_binary64_6903` `neg-mul-1_binary64_6894` `neg-sub0_binary64_6893` `unsub-neg_binary64_6892` `mul-1-neg_binary64_6890` `remove-double-neg_binary64_6886` `sub0-neg_binary64_6885` `--rgt-identity_binary64_6884` `+-rgt-identity_binary64_6883` `+-lft-identity_binary64_6882` `mul0-rgt_binary64_6881` `mul0-lft_binary64_6880` `div0_binary64_6879` `*-inverses_binary64_6878` `+-inverses_binary64_6877` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `remove-double-div_binary64_6874` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868` `difference-of-squares_binary64_6867` `cancel-sign-sub-inv_binary64_6864` `cancel-sign-sub_binary64_6863` `distribute-neg-frac_binary64_6862` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `distribute-neg-in_binary64_6859` `distribute-rgt-neg-out_binary64_6858` `distribute-lft-neg-out_binary64_6857` `distribute-rgt-neg-in_binary64_6856` `distribute-lft-neg-in_binary64_6855` `distribute-rgt-out--_binary64_6852` `distribute-lft-out--_binary64_6850` `associate--r-_binary64_6837` `associate--l-_binary64_6836` `associate--l+_binary64_6835` `associate--r+_binary64_6834` `associate-+l-_binary64_6833` `associate-+r-_binary64_6832`

Counts

24 → 14

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	43	236
1	97	200
2	369	200
3	997	200
4	1235	200
5	1559	200
6	1792	200
7	4142	200
8	4888	200

prune19.0ms (0.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	9	5	14
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	9	6	15

Error

0.0b

Counts

15 → 6

Compiler

Compiled 186 to 120 computations (35.5% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.3b	(.f64 27 (.f64 x y))

rewrite22.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`pow1_binary64_6959` `add-exp-log_binary64_6936` `add-cbrt-cube_binary64_6934`
3×	`pow-prod-down_binary64_6969` `prod-exp_binary64_6947` `cbrt-unprod_binary64_6931` `associate-l_binary64_6839`
2×	`add-cube-cbrt_binary64_6933` `add-sqr-sqrt_binary64_6920` `*-un-lft-identity_binary64_6898`
1×	`add-log-exp_binary64_6937` `associate-r_binary64_6838` `*-commutative_binary64_6829`

Counts

1 → 18

Calls

1 calls:

5.0ms

(*.f64 27 (*.f64 x y))

Compiler

Compiled 220 to 147 computations (33.2% saved)

series83.0ms (3%)

Error

0.0b

Counts

1 → 6

Calls

1 calls:

80.0ms

(*.f64 27 (*.f64 x y))

Compiler

Compiled 126 to 111 computations (11.9% saved)

simplify72.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

495×	`associate-/l*_binary64_6843`
484×	`log-div_binary64_6985` `cube-div_binary64_6927`
401×	`*-commutative_binary64_6829`
334×	`associate-l_binary64_6839`
304×	`sub-neg_binary64_6891`
221×	`associate-r_binary64_6838`
209×	`log-prod_binary64_6984`
208×	`cube-prod_binary64_6926`
206×	`sqr-pow_binary64_6870`
195×	`associate-/l/_binary64_6845`
179×	`associate-/r*_binary64_6842`
161×	`times-frac_binary64_6904`
116×	`exp-prod_binary64_6950`
93×	`pow-sqr_binary64_6871`
86×	`unpow3_binary64_6964` `cube-mult_binary64_6928`
78×	`unswap-sqr_binary64_6866`
70×	`associate-/r/_binary64_6844`
69×	`swap-sqr_binary64_6865`
67×	`associate-*r/_binary64_6840`
54×	`associate-+r-_binary64_6832`
46×	`associate-+l-_binary64_6833`
34×	`log-rec_binary64_6986`
33×	`associate-+r+_binary64_6830`
30×	`prod-exp_binary64_6947` `neg-mul-1_binary64_6894` `neg-sub0_binary64_6893` `associate-*l/_binary64_6841`
29×	`exp-sqrt_binary64_6951`
25×	`unsub-neg_binary64_6892` `associate-+l+_binary64_6831`
21×	`associate--l-_binary64_6836`
18×	`exp-lft-sqr_binary64_6953`
15×	`/-rgt-identity_binary64_6889` `*-lft-identity_binary64_6887`
14×	`rem-sqrt-square_binary64_6911`
10×	`remove-double-div_binary64_6874`
8×	`associate--l+_binary64_6835`
7×	`*-rgt-identity_binary64_6888`
6×	`+-commutative_binary64_6828`
4×	`cube-unmult_binary64_6935`
2×	`unpow1_binary64_6956` `rem-square-sqrt_binary64_6910`
1×	`1-exp_binary64_6942` `exp-1-e_binary64_6941`
0×	`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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `sinh-def_binary64_7083` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `log-pow_binary64_6987` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `unpow2_binary64_6963` `unpow1/2_binary64_6962` `pow-plus_binary64_6961` `exp-to-pow_binary64_6960` `pow-base-1_binary64_6958` `unpow0_binary64_6957` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-cbrt_binary64_6952` `div-exp_binary64_6949` `rec-exp_binary64_6948` `exp-diff_binary64_6946` `exp-neg_binary64_6945` `exp-sum_binary64_6944` `e-exp-1_binary64_6943` `exp-0_binary64_6940` `rem-log-exp_binary64_6939` `rem-exp-log_binary64_6938` `cube-neg_binary64_6925` `rem-3cbrt-rft_binary64_6924` `rem-3cbrt-lft_binary64_6923` `rem-cbrt-cube_binary64_6922` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `sqr-neg_binary64_6912` `div-sub_binary64_6903` `mul-1-neg_binary64_6890` `remove-double-neg_binary64_6886` `sub0-neg_binary64_6885` `--rgt-identity_binary64_6884` `+-rgt-identity_binary64_6883` `+-lft-identity_binary64_6882` `mul0-rgt_binary64_6881` `mul0-lft_binary64_6880` `div0_binary64_6879` `*-inverses_binary64_6878` `+-inverses_binary64_6877` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868` `difference-of-squares_binary64_6867` `cancel-sign-sub-inv_binary64_6864` `cancel-sign-sub_binary64_6863` `distribute-neg-frac_binary64_6862` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `distribute-neg-in_binary64_6859` `distribute-rgt-neg-out_binary64_6858` `distribute-lft-neg-out_binary64_6857` `distribute-rgt-neg-in_binary64_6856` `distribute-lft-neg-in_binary64_6855` `distribute-rgt1-in_binary64_6854` `distribute-lft1-in_binary64_6853` `distribute-rgt-out--_binary64_6852` `distribute-rgt-out_binary64_6851` `distribute-lft-out--_binary64_6850` `distribute-lft-out_binary64_6849` `distribute-rgt-in_binary64_6848` `distribute-lft-in_binary64_6847` `count-2_binary64_6846` `associate--r-_binary64_6837` `associate--r+_binary64_6834`

Counts

24 → 7

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	38	234
1	82	198
2	253	198
3	645	198
4	822	198
5	951	198
6	1169	198
7	1548	198
8	2411	198
9	3899	198
10	5051	198

prune11.0ms (0.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	6	1	7
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	8	5	13

Error

0.0b

Counts

13 → 5

Compiler

Compiled 113 to 87 computations (23% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.2b	(.f64 (sqrt.f64 27) (.f64 (*.f64 x y) (sqrt.f64 27)))
0.3b	(.f64 (.f64 x y) (sqrt.f64 27))

rewrite73.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

16×	`pow1_binary64_6959` `add-exp-log_binary64_6936` `add-cbrt-cube_binary64_6934`
9×	`pow-prod-down_binary64_6969` `prod-exp_binary64_6947` `cbrt-unprod_binary64_6931`
7×	`associate-l_binary64_6839` `associate-r_binary64_6838`
6×	`add-cube-cbrt_binary64_6933` `add-sqr-sqrt_binary64_6920` `*-un-lft-identity_binary64_6898` `sqrt-prod_binary64_6914`
2×	`add-log-exp_binary64_6937` `*-commutative_binary64_6829`

Counts

2 → 45

Calls

2 calls:

10.0ms	(.f64 (sqrt.f64 27) (.f64 (*.f64 x y) (sqrt.f64 27)))
6.0ms	(.f64 (.f64 x y) (sqrt.f64 27))

Compiler

Compiled 794 to 600 computations (24.4% saved)

series313.0ms (11.5%)

Error

0.0b

Counts

2 → 12

Calls

2 calls:

178.0ms	(.f64 (sqrt.f64 27) (.f64 (*.f64 x y) (sqrt.f64 27)))
127.0ms	(.f64 (.f64 x y) (sqrt.f64 27))

Compiler

Compiled 378 to 345 computations (8.7% saved)

simplify66.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

358×	`*-commutative_binary64_6829`
344×	`unswap-sqr_binary64_6866`
335×	`associate-/l*_binary64_6843`
313×	`associate-/l/_binary64_6845`
311×	`associate-*l/_binary64_6841`
307×	`associate-/r/_binary64_6844`
301×	`associate-+l+_binary64_6831`
247×	`sqr-pow_binary64_6870`
177×	`associate-l_binary64_6839`
170×	`associate-+r+_binary64_6830`
159×	`associate-r_binary64_6838`
125×	`distribute-rgt-in_binary64_6848`
113×	`distribute-lft-in_binary64_6847`
103×	`associate-/r*_binary64_6842`
101×	`pow-sqr_binary64_6871`
91×	`times-frac_binary64_6904`
88×	`swap-sqr_binary64_6865`
70×	`exp-prod_binary64_6950`
65×	`log-prod_binary64_6984`
57×	`cube-prod_binary64_6926`
54×	`associate-*r/_binary64_6840`
39×	`rem-sqrt-square_binary64_6911`
27×	`+-commutative_binary64_6828`
22×	`distribute-lft-out_binary64_6849`
19×	`distribute-rgt-out_binary64_6851`
17×	`*-rgt-identity_binary64_6888`
14×	`*-lft-identity_binary64_6887`
9×	`log-div_binary64_6985` `cube-div_binary64_6927`
8×	`unpow1/2_binary64_6962` `cube-unmult_binary64_6935` `distribute-rgt1-in_binary64_6854`
7×	`unpow3_binary64_6964` `count-2_binary64_6846`
6×	`cube-mult_binary64_6928`
5×	`distribute-lft1-in_binary64_6853`
4×	`log-pow_binary64_6987` `/-rgt-identity_binary64_6889`
3×	`pow-plus_binary64_6961`
1×	`unpow2_binary64_6963` `unpow1_binary64_6956` `exp-lft-sqr_binary64_6953` `exp-sqrt_binary64_6951` `1-exp_binary64_6942` `exp-1-e_binary64_6941` `rem-square-sqrt_binary64_6910`
0×	`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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `sinh-def_binary64_7083` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `log-rec_binary64_6986` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `exp-to-pow_binary64_6960` `pow-base-1_binary64_6958` `unpow0_binary64_6957` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-cbrt_binary64_6952` `div-exp_binary64_6949` `rec-exp_binary64_6948` `prod-exp_binary64_6947` `exp-diff_binary64_6946` `exp-neg_binary64_6945` `exp-sum_binary64_6944` `e-exp-1_binary64_6943` `exp-0_binary64_6940` `rem-log-exp_binary64_6939` `rem-exp-log_binary64_6938` `cube-neg_binary64_6925` `rem-3cbrt-rft_binary64_6924` `rem-3cbrt-lft_binary64_6923` `rem-cbrt-cube_binary64_6922` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `sqr-neg_binary64_6912` `div-sub_binary64_6903` `neg-mul-1_binary64_6894` `neg-sub0_binary64_6893` `unsub-neg_binary64_6892` `sub-neg_binary64_6891` `mul-1-neg_binary64_6890` `remove-double-neg_binary64_6886` `sub0-neg_binary64_6885` `--rgt-identity_binary64_6884` `+-rgt-identity_binary64_6883` `+-lft-identity_binary64_6882` `mul0-rgt_binary64_6881` `mul0-lft_binary64_6880` `div0_binary64_6879` `*-inverses_binary64_6878` `+-inverses_binary64_6877` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `remove-double-div_binary64_6874` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868` `difference-of-squares_binary64_6867` `cancel-sign-sub-inv_binary64_6864` `cancel-sign-sub_binary64_6863` `distribute-neg-frac_binary64_6862` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `distribute-neg-in_binary64_6859` `distribute-rgt-neg-out_binary64_6858` `distribute-lft-neg-out_binary64_6857` `distribute-rgt-neg-in_binary64_6856` `distribute-lft-neg-in_binary64_6855` `distribute-rgt-out--_binary64_6852` `distribute-lft-out--_binary64_6850` `associate--r-_binary64_6837` `associate--l-_binary64_6836` `associate--l+_binary64_6835` `associate--r+_binary64_6834` `associate-+l-_binary64_6833` `associate-+r-_binary64_6832`

Counts

57 → 45

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	69	750
1	163	556
2	598	556
3	929	548
4	1346	548
5	2293	548
6	4933	548

prune43.0ms (1.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	43	2	45
Fresh	2	0	2
Picked	0	1	1
Done	0	2	2
Total	45	5	50

Error

Counts

50 → 5

Compiler

Compiled 582 to 433 computations (25.6% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.2b	(*.f64 (sqrt.f64 27) y)
0.2b	(.f64 (sqrt.f64 27) (.f64 x (*.f64 (sqrt.f64 27) y)))
0.2b	(.f64 x (.f64 (sqrt.f64 27) y))

rewrite101.0ms (3.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

19×	`pow1_binary64_6959` `add-exp-log_binary64_6936` `add-cbrt-cube_binary64_6934`
15×	`associate-l_binary64_6839`
13×	`add-sqr-sqrt_binary64_6920`
10×	`pow-prod-down_binary64_6969` `prod-exp_binary64_6947` `cbrt-unprod_binary64_6931`
9×	`add-cube-cbrt_binary64_6933` `*-un-lft-identity_binary64_6898`
7×	`sqrt-prod_binary64_6914`
5×	`associate-r_binary64_6838`
3×	`add-log-exp_binary64_6937` `*-commutative_binary64_6829`
2×	`unswap-sqr_binary64_6866`

Counts

3 → 64

Calls

3 calls:

10.0ms	(.f64 (sqrt.f64 27) (.f64 x (*.f64 (sqrt.f64 27) y)))
6.0ms	(.f64 x (.f64 (sqrt.f64 27) y))
5.0ms	(*.f64 (sqrt.f64 27) y)

Compiler

Compiled 1102 to 896 computations (18.7% saved)

series377.0ms (13.8%)

Error

Counts

3 → 15

Calls

3 calls:

180.0ms	(.f64 (sqrt.f64 27) (.f64 x (*.f64 (sqrt.f64 27) y)))
134.0ms	(.f64 x (.f64 (sqrt.f64 27) y))
50.0ms	(*.f64 (sqrt.f64 27) y)

Compiler

Compiled 477 to 441 computations (7.5% saved)

simplify77.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

485×	`unswap-sqr_binary64_6866`
482×	`distribute-rgt-in_binary64_6848`
450×	`distribute-lft-in_binary64_6847`
406×	`*-commutative_binary64_6829`
344×	`associate-+l+_binary64_6831`
247×	`sqr-pow_binary64_6870`
197×	`associate-r_binary64_6838`
166×	`associate-l_binary64_6839`
156×	`associate-+r+_binary64_6830`
120×	`associate-/l*_binary64_6843`
103×	`times-frac_binary64_6904`
100×	`pow-sqr_binary64_6871`
85×	`swap-sqr_binary64_6865`
77×	`exp-prod_binary64_6950`
69×	`log-prod_binary64_6984`
64×	`cube-prod_binary64_6926` `associate-/l/_binary64_6845`
56×	`associate-*r/_binary64_6840`
53×	`associate-/r/_binary64_6844`
40×	`rem-sqrt-square_binary64_6911`
33×	`+-commutative_binary64_6828`
27×	`associate-/r*_binary64_6842`
25×	`distribute-lft-out_binary64_6849`
22×	`distribute-rgt-out_binary64_6851`
20×	`*-rgt-identity_binary64_6888`
19×	`*-lft-identity_binary64_6887`
16×	`log-div_binary64_6985` `cube-div_binary64_6927` `associate-*l/_binary64_6841`
10×	`unpow1/2_binary64_6962` `distribute-rgt1-in_binary64_6854`
8×	`cube-unmult_binary64_6935`
6×	`unpow3_binary64_6964`
5×	`cube-mult_binary64_6928` `distribute-lft1-in_binary64_6853`
4×	`log-pow_binary64_6987`
3×	`count-2_binary64_6846`
2×	`exp-lft-sqr_binary64_6953` `exp-sqrt_binary64_6951`
1×	`unpow2_binary64_6963` `pow-plus_binary64_6961` `unpow1_binary64_6956` `1-exp_binary64_6942` `exp-1-e_binary64_6941` `rem-square-sqrt_binary64_6910` `/-rgt-identity_binary64_6889`
0×	`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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `sinh-def_binary64_7083` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `log-rec_binary64_6986` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `exp-to-pow_binary64_6960` `pow-base-1_binary64_6958` `unpow0_binary64_6957` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-cbrt_binary64_6952` `div-exp_binary64_6949` `rec-exp_binary64_6948` `prod-exp_binary64_6947` `exp-diff_binary64_6946` `exp-neg_binary64_6945` `exp-sum_binary64_6944` `e-exp-1_binary64_6943` `exp-0_binary64_6940` `rem-log-exp_binary64_6939` `rem-exp-log_binary64_6938` `cube-neg_binary64_6925` `rem-3cbrt-rft_binary64_6924` `rem-3cbrt-lft_binary64_6923` `rem-cbrt-cube_binary64_6922` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `sqr-neg_binary64_6912` `div-sub_binary64_6903` `neg-mul-1_binary64_6894` `neg-sub0_binary64_6893` `unsub-neg_binary64_6892` `sub-neg_binary64_6891` `mul-1-neg_binary64_6890` `remove-double-neg_binary64_6886` `sub0-neg_binary64_6885` `--rgt-identity_binary64_6884` `+-rgt-identity_binary64_6883` `+-lft-identity_binary64_6882` `mul0-rgt_binary64_6881` `mul0-lft_binary64_6880` `div0_binary64_6879` `*-inverses_binary64_6878` `+-inverses_binary64_6877` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `remove-double-div_binary64_6874` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868` `difference-of-squares_binary64_6867` `cancel-sign-sub-inv_binary64_6864` `cancel-sign-sub_binary64_6863` `distribute-neg-frac_binary64_6862` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `distribute-neg-in_binary64_6859` `distribute-rgt-neg-out_binary64_6858` `distribute-lft-neg-out_binary64_6857` `distribute-rgt-neg-in_binary64_6856` `distribute-lft-neg-in_binary64_6855` `distribute-rgt-out--_binary64_6852` `distribute-lft-out--_binary64_6850` `associate--r-_binary64_6837` `associate--l-_binary64_6836` `associate--l+_binary64_6835` `associate--r+_binary64_6834` `associate-+l-_binary64_6833` `associate-+r-_binary64_6832`

Counts

79 → 52

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	79	947
1	183	741
2	667	741
3	1012	733
4	1461	733
5	2576	733
6	5115	733

prune49.0ms (1.8%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	52	0	52
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	52	5	57

Error

Counts

57 → 5

Compiler

Compiled 658 to 492 computations (25.2% saved)

regimes221.0ms (8.1%)

Accuracy

Total 0.3b remaining (99.5%)

Threshold costs 0.3b (99.5%)

Compiler

Compiled 1643 to 1449 computations (11.8% saved)

bsearch0.0ms (0%)

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2× *-commutative_binary64_6829

0× 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_7158 if-if-and_binary64_7157 if-if-or-not_binary64_7156 if-if-or_binary64_7155 if-not_binary64_7154 if-same_binary64_7153 if-false_binary64_7152 if-true_binary64_7151 tan-0_binary64_7027 cos-0_binary64_7026 sin-0_binary64_7025 unpow1_binary64_6956 e-exp-1_binary64_6943 1-exp_binary64_6942 exp-1-e_binary64_6941 exp-0_binary64_6940 sqr-abs_binary64_6913 sqr-neg_binary64_6912 neg-mul-1_binary64_6894 neg-sub0_binary64_6893 unsub-neg_binary64_6892 sub-neg_binary64_6891 mul-1-neg_binary64_6890 /-rgt-identity_binary64_6889 *-rgt-identity_binary64_6888 *-lft-identity_binary64_6887 remove-double-neg_binary64_6886 sub0-neg_binary64_6885 --rgt-identity_binary64_6884 +-rgt-identity_binary64_6883 +-lft-identity_binary64_6882 cancel-sign-sub-inv_binary64_6864 cancel-sign-sub_binary64_6863 distribute-neg-frac_binary64_6862 distribute-frac-neg_binary64_6861 distribute-neg-out_binary64_6860 distribute-neg-in_binary64_6859 distribute-rgt-neg-out_binary64_6858 distribute-lft-neg-out_binary64_6857 distribute-rgt-neg-in_binary64_6856 distribute-lft-neg-in_binary64_6855 +-commutative_binary64_6828

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7
2	8	7

Remove

(sort x y)

Compiler

Compiled 10 to 10 computations (0% saved)

end0.0ms (0%)

sample765.0ms (28%)

Algorithm

1×

intervals

Results

140.0ms	8000×	body	128	valid
1.0ms	80×	body	128	invalid

Compiler

Compiled 375 to 334 computations (10.9% saved)

Details

analyze208.0ms (7.6%)

sample19.0ms (0.7%)

simplify8.0ms (0.3%)

prune1.0ms (0.1%)

localize3.0ms (0.1%)

rewrite27.0ms (1%)

series84.0ms (3.1%)

simplify65.0ms (2.4%)

prune19.0ms (0.7%)

localize5.0ms (0.2%)

rewrite22.0ms (0.8%)

series83.0ms (3%)

simplify72.0ms (2.6%)

prune11.0ms (0.4%)

localize7.0ms (0.2%)

rewrite73.0ms (2.7%)

series313.0ms (11.5%)

simplify66.0ms (2.4%)

prune43.0ms (1.6%)

localize9.0ms (0.3%)

rewrite101.0ms (3.7%)

series377.0ms (13.8%)

simplify77.0ms (2.8%)

prune49.0ms (1.8%)

regimes221.0ms (8.1%)

bsearch0.0ms (0%)

simplify8.0ms (0.3%)

end0.0ms (0%)

sample765.0ms (28%)

Profiling