Details

analyze219.0ms (5.5%)

Algorithm

1×	search
2×	egg-herbie

Rules

26×	`cancel-sign-sub-inv_binary64_8569`
24×	`distribute-rgt-in_binary64_8553` `associate--r+_binary64_8539`
20×	`sub-neg_binary64_8596`
16×	`neg-mul-1_binary64_8599`
14×	`distribute-rgt-neg-in_binary64_8561`
12×	`neg-sub0_binary64_8598`
10×	`distribute-rgt-neg-out_binary64_8563` `distribute-lft-neg-in_binary64_8560` `*-commutative_binary64_8534`
8×	`unsub-neg_binary64_8597` `distribute-lft-neg-out_binary64_8562` `associate-r_binary64_8543` `associate--r-_binary64_8542`
6×	`distribute-neg-in_binary64_8564` `associate-+l-_binary64_8538` `+-commutative_binary64_8533`
4×	`-lft-identity_binary64_8592` `remove-double-neg_binary64_8591` `sub0-neg_binary64_8590` `distribute-lft-in_binary64_8552` `associate-l*_binary64_8544`
2×	`+-rgt-identity_binary64_8588` `+-lft-identity_binary64_8587` `associate-+r-_binary64_8537` `associate-+r+_binary64_8535`
1×	`1-exp_binary64_8647`
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_8866` `erf-erfc_binary64_8865` `erf-odd_binary64_8864` `if-if-and-not_binary64_8863` `if-if-and_binary64_8862` `if-if-or-not_binary64_8861` `if-if-or_binary64_8860` `if-not_binary64_8859` `if-same_binary64_8858` `if-false_binary64_8857` `if-true_binary64_8856` `not-gte_binary64_8855` `not-lte_binary64_8854` `not-gt_binary64_8853` `not-lt_binary64_8852` `gte-same_binary64_8851` `lte-same_binary64_8850` `gt-same_binary64_8849` `lt-same_binary64_8848` `sinh---cosh_binary64_8795` `sinh-+-cosh_binary64_8794` `sinh-cosh_binary64_8793` `tanh-def-c_binary64_8792` `tanh-def-b_binary64_8791` `tanh-def-a_binary64_8790` `cosh-def_binary64_8789` `sinh-def_binary64_8788` `tan-neg_binary64_8735` `cos-neg_binary64_8734` `sin-neg_binary64_8733` `tan-0_binary64_8732` `cos-0_binary64_8731` `sin-0_binary64_8730` `hang-m-tan_binary64_8729` `hang-p-tan_binary64_8728` `hang-m0-tan_binary64_8727` `hang-p0-tan_binary64_8726` `hang-0m-tan_binary64_8725` `hang-0p-tan_binary64_8724` `tan-+PI/2_binary64_8723` `tan-+PI_binary64_8722` `tan-PI_binary64_8721` `tan-PI/3_binary64_8720` `tan-PI/4_binary64_8719` `tan-PI/6_binary64_8718` `cos-+PI/2_binary64_8717` `cos-+PI_binary64_8716` `cos-PI_binary64_8715` `cos-PI/2_binary64_8714` `cos-PI/3_binary64_8713` `cos-PI/4_binary64_8712` `cos-PI/6_binary64_8711` `sin-+PI/2_binary64_8710` `sin-+PI_binary64_8709` `sin-PI_binary64_8708` `sin-PI/2_binary64_8707` `sin-PI/3_binary64_8706` `sin-PI/4_binary64_8705` `sin-PI/6_binary64_8704` `sub-1-sin_binary64_8703` `sub-1-cos_binary64_8702` `-1-add-sin_binary64_8701` `-1-add-cos_binary64_8700` `1-sub-sin_binary64_8699` `1-sub-cos_binary64_8698` `cos-sin-sum_binary64_8697` `log-E_binary64_8693` `log-pow_binary64_8692` `log-rec_binary64_8691` `log-div_binary64_8690` `log-prod_binary64_8689` `pow-base-0_binary64_8687` `unpow1/3_binary64_8670` `unpow3_binary64_8669` `unpow2_binary64_8668` `unpow1/2_binary64_8667` `pow-plus_binary64_8666` `exp-to-pow_binary64_8665` `pow-base-1_binary64_8663` `unpow0_binary64_8662` `unpow1_binary64_8661` `unpow-1_binary64_8660` `exp-lft-cube_binary64_8659` `exp-lft-sqr_binary64_8658` `exp-cbrt_binary64_8657` `exp-sqrt_binary64_8656` `exp-prod_binary64_8655` `div-exp_binary64_8654` `rec-exp_binary64_8653` `prod-exp_binary64_8652` `exp-diff_binary64_8651` `exp-neg_binary64_8650` `exp-sum_binary64_8649` `e-exp-1_binary64_8648` `exp-1-e_binary64_8646` `exp-0_binary64_8645` `rem-log-exp_binary64_8644` `rem-exp-log_binary64_8643` `cube-unmult_binary64_8640` `cube-mult_binary64_8633` `cube-div_binary64_8632` `cube-prod_binary64_8631` `cube-neg_binary64_8630` `rem-3cbrt-rft_binary64_8629` `rem-3cbrt-lft_binary64_8628` `rem-cbrt-cube_binary64_8627` `rem-cube-cbrt_binary64_8626` `sqr-abs_binary64_8618` `sqr-neg_binary64_8617` `rem-sqrt-square_binary64_8616` `rem-square-sqrt_binary64_8615` `times-frac_binary64_8609` `div-sub_binary64_8608` `mul-1-neg_binary64_8595` `/-rgt-identity_binary64_8594` `-rgt-identity_binary64_8593` `--rgt-identity_binary64_8589` `mul0-rgt_binary64_8586` `mul0-lft_binary64_8585` `div0_binary64_8584` `-inverses_binary64_8583` `+-inverses_binary64_8582` `lft-mult-inverse_binary64_8581` `rgt-mult-inverse_binary64_8580` `remove-double-div_binary64_8579` `pow-sqr_binary64_8576` `sqr-pow_binary64_8575` `difference-of-sqr--1_binary64_8574` `difference-of-sqr-1_binary64_8573` `difference-of-squares_binary64_8572` `unswap-sqr_binary64_8571` `swap-sqr_binary64_8570` `cancel-sign-sub_binary64_8568` `distribute-neg-frac_binary64_8567` `distribute-frac-neg_binary64_8566` `distribute-neg-out_binary64_8565` `distribute-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558` `distribute-rgt-out--_binary64_8557` `distribute-rgt-out_binary64_8556` `distribute-lft-out--_binary64_8555` `distribute-lft-out_binary64_8554` `count-2_binary64_8551` `associate-/l/_binary64_8550` `associate-/r/_binary64_8549` `associate-/l_binary64_8548` `associate-/r_binary64_8547` `associate-l/_binary64_8546` `associate-r/_binary64_8545` `associate--l-_binary64_8541` `associate--l+_binary64_8540` `associate-+l+_binary64_8536`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	14	14
2	34	14
3	52	14
4	80	14
5	121	14
6	163	14
7	182	14
8	184	14
9	156	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
37.5%	62.4%	0.1%	6
56.2%	43.7%	0.1%	7
65.6%	34.3%	0.1%	8
76.5%	23.4%	0.1%	9
82%	18%	0.1%	10
87.8%	12.1%	0.1%	11
90.7%	9.2%	0.1%	12
93.8%	6.1%	0.1%	13
95.3%	4.6%	0.1%	14

Compiler

Compiled 6 to 6 computations (0% saved)

sample17.0ms (0.4%)

Algorithm

1×

intervals

Results

4.0ms	249×	body	128	valid
0.0ms	3×	body	2048	valid
0.0ms	2×	body	1024	valid
0.0ms	2×	body	512	valid
0.0ms	3×	body	128	invalid

Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify15.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

32×	`distribute-rgt-in_binary64_8553`
26×	`cancel-sign-sub-inv_binary64_8569`
22×	`sub-neg_binary64_8596`
19×	`neg-mul-1_binary64_8599` `distribute-lft-in_binary64_8552`
18×	`associate--r+_binary64_8539`
17×	`neg-sub0_binary64_8598` `distribute-lft-neg-out_binary64_8562`
15×	`unsub-neg_binary64_8597` `distribute-neg-in_binary64_8564`
13×	`distribute-rgt-neg-out_binary64_8563`
12×	`distribute-rgt-neg-in_binary64_8561`
9×	`*-commutative_binary64_8534`
8×	`associate-r_binary64_8543` `associate--r-_binary64_8542` `associate-+l-_binary64_8538`
7×	`distribute-lft-neg-in_binary64_8560`
6×	`sub0-neg_binary64_8590`
5×	`remove-double-neg_binary64_8591` `associate-l_binary64_8544`
4×	`*-lft-identity_binary64_8592` `+-commutative_binary64_8533`
3×	`+-lft-identity_binary64_8587` `associate-+l+_binary64_8536`
2×	`*-rgt-identity_binary64_8593` `--rgt-identity_binary64_8589` `associate--l+_binary64_8540`
1×	`1-exp_binary64_8647` `+-rgt-identity_binary64_8588` `distribute-rgt-out--_binary64_8557` `associate-+r-_binary64_8537` `associate-+r+_binary64_8535`
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_8866` `erf-erfc_binary64_8865` `erf-odd_binary64_8864` `if-if-and-not_binary64_8863` `if-if-and_binary64_8862` `if-if-or-not_binary64_8861` `if-if-or_binary64_8860` `if-not_binary64_8859` `if-same_binary64_8858` `if-false_binary64_8857` `if-true_binary64_8856` `not-gte_binary64_8855` `not-lte_binary64_8854` `not-gt_binary64_8853` `not-lt_binary64_8852` `gte-same_binary64_8851` `lte-same_binary64_8850` `gt-same_binary64_8849` `lt-same_binary64_8848` `sinh---cosh_binary64_8795` `sinh-+-cosh_binary64_8794` `sinh-cosh_binary64_8793` `tanh-def-c_binary64_8792` `tanh-def-b_binary64_8791` `tanh-def-a_binary64_8790` `cosh-def_binary64_8789` `sinh-def_binary64_8788` `tan-neg_binary64_8735` `cos-neg_binary64_8734` `sin-neg_binary64_8733` `tan-0_binary64_8732` `cos-0_binary64_8731` `sin-0_binary64_8730` `hang-m-tan_binary64_8729` `hang-p-tan_binary64_8728` `hang-m0-tan_binary64_8727` `hang-p0-tan_binary64_8726` `hang-0m-tan_binary64_8725` `hang-0p-tan_binary64_8724` `tan-+PI/2_binary64_8723` `tan-+PI_binary64_8722` `tan-PI_binary64_8721` `tan-PI/3_binary64_8720` `tan-PI/4_binary64_8719` `tan-PI/6_binary64_8718` `cos-+PI/2_binary64_8717` `cos-+PI_binary64_8716` `cos-PI_binary64_8715` `cos-PI/2_binary64_8714` `cos-PI/3_binary64_8713` `cos-PI/4_binary64_8712` `cos-PI/6_binary64_8711` `sin-+PI/2_binary64_8710` `sin-+PI_binary64_8709` `sin-PI_binary64_8708` `sin-PI/2_binary64_8707` `sin-PI/3_binary64_8706` `sin-PI/4_binary64_8705` `sin-PI/6_binary64_8704` `sub-1-sin_binary64_8703` `sub-1-cos_binary64_8702` `-1-add-sin_binary64_8701` `-1-add-cos_binary64_8700` `1-sub-sin_binary64_8699` `1-sub-cos_binary64_8698` `cos-sin-sum_binary64_8697` `log-E_binary64_8693` `log-pow_binary64_8692` `log-rec_binary64_8691` `log-div_binary64_8690` `log-prod_binary64_8689` `pow-base-0_binary64_8687` `unpow1/3_binary64_8670` `unpow3_binary64_8669` `unpow2_binary64_8668` `unpow1/2_binary64_8667` `pow-plus_binary64_8666` `exp-to-pow_binary64_8665` `pow-base-1_binary64_8663` `unpow0_binary64_8662` `unpow1_binary64_8661` `unpow-1_binary64_8660` `exp-lft-cube_binary64_8659` `exp-lft-sqr_binary64_8658` `exp-cbrt_binary64_8657` `exp-sqrt_binary64_8656` `exp-prod_binary64_8655` `div-exp_binary64_8654` `rec-exp_binary64_8653` `prod-exp_binary64_8652` `exp-diff_binary64_8651` `exp-neg_binary64_8650` `exp-sum_binary64_8649` `e-exp-1_binary64_8648` `exp-1-e_binary64_8646` `exp-0_binary64_8645` `rem-log-exp_binary64_8644` `rem-exp-log_binary64_8643` `cube-unmult_binary64_8640` `cube-mult_binary64_8633` `cube-div_binary64_8632` `cube-prod_binary64_8631` `cube-neg_binary64_8630` `rem-3cbrt-rft_binary64_8629` `rem-3cbrt-lft_binary64_8628` `rem-cbrt-cube_binary64_8627` `rem-cube-cbrt_binary64_8626` `sqr-abs_binary64_8618` `sqr-neg_binary64_8617` `rem-sqrt-square_binary64_8616` `rem-square-sqrt_binary64_8615` `times-frac_binary64_8609` `div-sub_binary64_8608` `mul-1-neg_binary64_8595` `/-rgt-identity_binary64_8594` `mul0-rgt_binary64_8586` `mul0-lft_binary64_8585` `div0_binary64_8584` `-inverses_binary64_8583` `+-inverses_binary64_8582` `lft-mult-inverse_binary64_8581` `rgt-mult-inverse_binary64_8580` `remove-double-div_binary64_8579` `pow-sqr_binary64_8576` `sqr-pow_binary64_8575` `difference-of-sqr--1_binary64_8574` `difference-of-sqr-1_binary64_8573` `difference-of-squares_binary64_8572` `unswap-sqr_binary64_8571` `swap-sqr_binary64_8570` `cancel-sign-sub_binary64_8568` `distribute-neg-frac_binary64_8567` `distribute-frac-neg_binary64_8566` `distribute-neg-out_binary64_8565` `distribute-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558` `distribute-rgt-out_binary64_8556` `distribute-lft-out--_binary64_8555` `distribute-lft-out_binary64_8554` `count-2_binary64_8551` `associate-/l/_binary64_8550` `associate-/r/_binary64_8549` `associate-/l_binary64_8548` `associate-/r_binary64_8547` `associate-l/_binary64_8546` `associate-*r/_binary64_8545` `associate--l-_binary64_8541`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	9	7
2	20	7
3	34	7
4	48	7
5	73	7
6	113	7
7	150	7
8	173	7
9	193	7
10	184	7
11	156	7

prune2.0ms (0%)

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.0b

Counts

1 → 1

Compiler

Compiled 5 to 5 computations (0% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(*.f64 200 (-.f64 x y))

rewrite35.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

9×	`add-sqr-sqrt_binary64_8625`
7×	`*-un-lft-identity_binary64_8603`
6×	`cancel-sign-sub-inv_binary64_8569`
5×	`add-cube-cbrt_binary64_8638` `associate-r_binary64_8543`
4×	`distribute-rgt-in_binary64_8553` `distribute-lft-in_binary64_8552`
3×	`pow1_binary64_8664` `add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639` `associate-l_binary64_8544`
2×	`sub-neg_binary64_8596` `associate-*r/_binary64_8545`
1×	`pow-prod-down_binary64_8674` `prod-exp_binary64_8652` `add-log-exp_binary64_8642` `cbrt-unprod_binary64_8636` `unswap-sqr_binary64_8571` `flip3--_binary64_8607` `flip--_binary64_8578` `difference-of-squares_binary64_8572` `distribute-lft-out--_binary64_8555` `*-commutative_binary64_8534`

Counts

1 → 30

Calls

1 calls:

7.0ms

(*.f64 200 (-.f64 x y))

Compiler

Compiled 338 to 187 computations (44.7% saved)

series102.0ms (2.6%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

95.0ms

(*.f64 200 (-.f64 x y))

Compiler

Compiled 162 to 152 computations (6.2% saved)

simplify49.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

555×	`unsub-neg_binary64_8597`
539×	`distribute-rgt-neg-out_binary64_8563`
501×	`*-commutative_binary64_8534`
332×	`distribute-neg-out_binary64_8565`
281×	`associate-l_binary64_8544`
263×	`neg-sub0_binary64_8598`
257×	`associate-r_binary64_8543`
245×	`neg-mul-1_binary64_8599`
178×	`distribute-lft-neg-out_binary64_8562`
132×	`distribute-rgt-in_binary64_8553`
128×	`distribute-lft-in_binary64_8552`
122×	`sqr-pow_binary64_8575`
114×	`unswap-sqr_binary64_8571`
90×	`exp-prod_binary64_8655`
80×	`associate-+r+_binary64_8535`
68×	`distribute-neg-in_binary64_8564`
62×	`cancel-sign-sub-inv_binary64_8569`
61×	`associate-+l+_binary64_8536`
53×	`swap-sqr_binary64_8570`
49×	`sub-neg_binary64_8596`
41×	`+-commutative_binary64_8533`
37×	`exp-sum_binary64_8649`
26×	`distribute-rgt-out_binary64_8556`
24×	`distribute-lft-out_binary64_8554`
22×	`pow-sqr_binary64_8576` `distribute-lft-neg-in_binary64_8560`
21×	`exp-diff_binary64_8651`
19×	`div-sub_binary64_8608`
18×	`distribute-rgt-neg-in_binary64_8561`
17×	`difference-of-squares_binary64_8572`
13×	`+-rgt-identity_binary64_8588` `mul0-rgt_binary64_8586` `mul0-lft_binary64_8585`
11×	`sub0-neg_binary64_8590`
10×	`sqr-neg_binary64_8617`
9×	`cube-unmult_binary64_8640` `mul-1-neg_binary64_8595` `associate-+l-_binary64_8538`
8×	`times-frac_binary64_8609`
7×	`associate-+r-_binary64_8537`
6×	`pow-plus_binary64_8666` `distribute-frac-neg_binary64_8566`
5×	`cube-prod_binary64_8631` `remove-double-neg_binary64_8591`
4×	`unpow3_binary64_8669`
3×	`--rgt-identity_binary64_8589` `distribute-neg-frac_binary64_8567` `associate-/l*_binary64_8548`
2×	`exp-neg_binary64_8650` `cube-mult_binary64_8633` `cube-neg_binary64_8630` `rem-sqrt-square_binary64_8616` `associate-*r/_binary64_8545` `associate--r+_binary64_8539`
1×	`log-prod_binary64_8689` `1-exp_binary64_8647` `rem-3cbrt-lft_binary64_8628` `rem-square-sqrt_binary64_8615` `+-lft-identity_binary64_8587` `cancel-sign-sub_binary64_8568` `distribute-rgt-out--_binary64_8557` `distribute-lft-out--_binary64_8555` `associate-/l/_binary64_8550` `associate-*l/_binary64_8546`
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_8866` `erf-erfc_binary64_8865` `erf-odd_binary64_8864` `if-if-and-not_binary64_8863` `if-if-and_binary64_8862` `if-if-or-not_binary64_8861` `if-if-or_binary64_8860` `if-not_binary64_8859` `if-same_binary64_8858` `if-false_binary64_8857` `if-true_binary64_8856` `not-gte_binary64_8855` `not-lte_binary64_8854` `not-gt_binary64_8853` `not-lt_binary64_8852` `gte-same_binary64_8851` `lte-same_binary64_8850` `gt-same_binary64_8849` `lt-same_binary64_8848` `sinh---cosh_binary64_8795` `sinh-+-cosh_binary64_8794` `sinh-cosh_binary64_8793` `tanh-def-c_binary64_8792` `tanh-def-b_binary64_8791` `tanh-def-a_binary64_8790` `cosh-def_binary64_8789` `sinh-def_binary64_8788` `tan-neg_binary64_8735` `cos-neg_binary64_8734` `sin-neg_binary64_8733` `tan-0_binary64_8732` `cos-0_binary64_8731` `sin-0_binary64_8730` `hang-m-tan_binary64_8729` `hang-p-tan_binary64_8728` `hang-m0-tan_binary64_8727` `hang-p0-tan_binary64_8726` `hang-0m-tan_binary64_8725` `hang-0p-tan_binary64_8724` `tan-+PI/2_binary64_8723` `tan-+PI_binary64_8722` `tan-PI_binary64_8721` `tan-PI/3_binary64_8720` `tan-PI/4_binary64_8719` `tan-PI/6_binary64_8718` `cos-+PI/2_binary64_8717` `cos-+PI_binary64_8716` `cos-PI_binary64_8715` `cos-PI/2_binary64_8714` `cos-PI/3_binary64_8713` `cos-PI/4_binary64_8712` `cos-PI/6_binary64_8711` `sin-+PI/2_binary64_8710` `sin-+PI_binary64_8709` `sin-PI_binary64_8708` `sin-PI/2_binary64_8707` `sin-PI/3_binary64_8706` `sin-PI/4_binary64_8705` `sin-PI/6_binary64_8704` `sub-1-sin_binary64_8703` `sub-1-cos_binary64_8702` `-1-add-sin_binary64_8701` `-1-add-cos_binary64_8700` `1-sub-sin_binary64_8699` `1-sub-cos_binary64_8698` `cos-sin-sum_binary64_8697` `log-E_binary64_8693` `log-pow_binary64_8692` `log-rec_binary64_8691` `log-div_binary64_8690` `pow-base-0_binary64_8687` `unpow1/3_binary64_8670` `unpow2_binary64_8668` `unpow1/2_binary64_8667` `exp-to-pow_binary64_8665` `pow-base-1_binary64_8663` `unpow0_binary64_8662` `unpow1_binary64_8661` `unpow-1_binary64_8660` `exp-lft-cube_binary64_8659` `exp-lft-sqr_binary64_8658` `exp-cbrt_binary64_8657` `exp-sqrt_binary64_8656` `div-exp_binary64_8654` `rec-exp_binary64_8653` `prod-exp_binary64_8652` `e-exp-1_binary64_8648` `exp-1-e_binary64_8646` `exp-0_binary64_8645` `rem-log-exp_binary64_8644` `rem-exp-log_binary64_8643` `cube-div_binary64_8632` `rem-3cbrt-rft_binary64_8629` `rem-cbrt-cube_binary64_8627` `rem-cube-cbrt_binary64_8626` `sqr-abs_binary64_8618` `/-rgt-identity_binary64_8594` `-rgt-identity_binary64_8593` `-lft-identity_binary64_8592` `div0_binary64_8584` `-inverses_binary64_8583` `+-inverses_binary64_8582` `lft-mult-inverse_binary64_8581` `rgt-mult-inverse_binary64_8580` `remove-double-div_binary64_8579` `difference-of-sqr--1_binary64_8574` `difference-of-sqr-1_binary64_8573` `distribute-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558` `count-2_binary64_8551` `associate-/r/_binary64_8549` `associate-/r_binary64_8547` `associate--r-_binary64_8542` `associate--l-_binary64_8541` `associate--l+_binary64_8540`

Counts

42 → 23

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	72	367
1	154	343
2	344	343
3	1347	343
4	2212	343
5	4959	343

prune19.0ms (0.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	20	3	23
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	21	3	24

Error

0.0b

Counts

24 → 3

Compiler

Compiled 188 to 127 computations (32.4% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(+.f64 (.f64 200 x) (.f64 -200 y))

rewrite15.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

3×	`add-log-exp_binary64_8642`
1×	`sum-log_binary64_8694` `pow1_binary64_8664` `add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639` `add-cube-cbrt_binary64_8638` `add-sqr-sqrt_binary64_8625` `flip3-+_binary64_8606` `*-un-lft-identity_binary64_8603` `flip-+_binary64_8577` `+-commutative_binary64_8533`

Counts

1 → 11

Calls

1 calls:

4.0ms

(+.f64 (*.f64 200 x) (*.f64 -200 y))

Compiler

Compiled 178 to 138 computations (22.5% saved)

series127.0ms (3.2%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

121.0ms

(+.f64 (*.f64 200 x) (*.f64 -200 y))

Compiler

Compiled 162 to 152 computations (6.2% saved)

simplify73.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

512×	`distribute-rgt-neg-out_binary64_8563`
402×	`distribute-rgt-in_binary64_8553`
364×	`distribute-lft-in_binary64_8552`
336×	`times-frac_binary64_8609`
320×	`*-commutative_binary64_8534`
284×	`associate-l_binary64_8544`
257×	`distribute-rgt-out_binary64_8556`
248×	`associate-r_binary64_8543`
206×	`neg-sub0_binary64_8598`
197×	`distribute-neg-in_binary64_8564`
184×	`neg-mul-1_binary64_8599`
151×	`distribute-lft-out_binary64_8554`
131×	`cancel-sign-sub-inv_binary64_8569`
126×	`distribute-lft-neg-out_binary64_8562`
106×	`unswap-sqr_binary64_8571`
104×	`sub-neg_binary64_8596`
97×	`distribute-rgt-neg-in_binary64_8561`
92×	`associate-+l+_binary64_8536`
90×	`associate-+r+_binary64_8535`
89×	`distribute-lft-neg-in_binary64_8560`
88×	`remove-double-neg_binary64_8591`
76×	`sqr-pow_binary64_8575`
60×	`cancel-sign-sub_binary64_8568`
59×	`unsub-neg_binary64_8597`
56×	`exp-prod_binary64_8655`
54×	`cube-prod_binary64_8631`
45×	`distribute-rgt-out--_binary64_8557`
36×	`mul0-rgt_binary64_8586` `mul0-lft_binary64_8585`
32×	`+-commutative_binary64_8533`
28×	`distribute-neg-out_binary64_8565`
27×	`exp-sum_binary64_8649`
22×	`exp-diff_binary64_8651`
20×	`associate-+l-_binary64_8538`
18×	`associate-+r-_binary64_8537`
17×	`pow-sqr_binary64_8576` `swap-sqr_binary64_8570`
13×	`cube-neg_binary64_8630`
12×	`unpow3_binary64_8669` `sub0-neg_binary64_8590`
11×	`distribute-lft-out--_binary64_8555`
10×	`div-sub_binary64_8608`
9×	`cube-mult_binary64_8633` `+-rgt-identity_binary64_8588`
8×	`cube-unmult_binary64_8640` `sqr-neg_binary64_8617`
7×	`difference-of-squares_binary64_8572`
6×	`associate--r-_binary64_8542`
5×	`exp-neg_binary64_8650` `distribute-frac-neg_binary64_8566`
4×	`pow-plus_binary64_8666` `--rgt-identity_binary64_8589` `associate-*r/_binary64_8545` `associate--l-_binary64_8541`
3×	`log-prod_binary64_8689` `associate-/l/_binary64_8550` `associate-/l_binary64_8548` `associate-/r_binary64_8547` `associate--r+_binary64_8539`
2×	`-lft-identity_binary64_8592` `associate-/r/_binary64_8549` `associate-l/_binary64_8546` `associate--l+_binary64_8540`
1×	`prod-exp_binary64_8652` `1-exp_binary64_8647` `exp-1-e_binary64_8646` `*-rgt-identity_binary64_8593`
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_8866` `erf-erfc_binary64_8865` `erf-odd_binary64_8864` `if-if-and-not_binary64_8863` `if-if-and_binary64_8862` `if-if-or-not_binary64_8861` `if-if-or_binary64_8860` `if-not_binary64_8859` `if-same_binary64_8858` `if-false_binary64_8857` `if-true_binary64_8856` `not-gte_binary64_8855` `not-lte_binary64_8854` `not-gt_binary64_8853` `not-lt_binary64_8852` `gte-same_binary64_8851` `lte-same_binary64_8850` `gt-same_binary64_8849` `lt-same_binary64_8848` `sinh---cosh_binary64_8795` `sinh-+-cosh_binary64_8794` `sinh-cosh_binary64_8793` `tanh-def-c_binary64_8792` `tanh-def-b_binary64_8791` `tanh-def-a_binary64_8790` `cosh-def_binary64_8789` `sinh-def_binary64_8788` `tan-neg_binary64_8735` `cos-neg_binary64_8734` `sin-neg_binary64_8733` `tan-0_binary64_8732` `cos-0_binary64_8731` `sin-0_binary64_8730` `hang-m-tan_binary64_8729` `hang-p-tan_binary64_8728` `hang-m0-tan_binary64_8727` `hang-p0-tan_binary64_8726` `hang-0m-tan_binary64_8725` `hang-0p-tan_binary64_8724` `tan-+PI/2_binary64_8723` `tan-+PI_binary64_8722` `tan-PI_binary64_8721` `tan-PI/3_binary64_8720` `tan-PI/4_binary64_8719` `tan-PI/6_binary64_8718` `cos-+PI/2_binary64_8717` `cos-+PI_binary64_8716` `cos-PI_binary64_8715` `cos-PI/2_binary64_8714` `cos-PI/3_binary64_8713` `cos-PI/4_binary64_8712` `cos-PI/6_binary64_8711` `sin-+PI/2_binary64_8710` `sin-+PI_binary64_8709` `sin-PI_binary64_8708` `sin-PI/2_binary64_8707` `sin-PI/3_binary64_8706` `sin-PI/4_binary64_8705` `sin-PI/6_binary64_8704` `sub-1-sin_binary64_8703` `sub-1-cos_binary64_8702` `-1-add-sin_binary64_8701` `-1-add-cos_binary64_8700` `1-sub-sin_binary64_8699` `1-sub-cos_binary64_8698` `cos-sin-sum_binary64_8697` `log-E_binary64_8693` `log-pow_binary64_8692` `log-rec_binary64_8691` `log-div_binary64_8690` `pow-base-0_binary64_8687` `unpow1/3_binary64_8670` `unpow2_binary64_8668` `unpow1/2_binary64_8667` `exp-to-pow_binary64_8665` `pow-base-1_binary64_8663` `unpow0_binary64_8662` `unpow1_binary64_8661` `unpow-1_binary64_8660` `exp-lft-cube_binary64_8659` `exp-lft-sqr_binary64_8658` `exp-cbrt_binary64_8657` `exp-sqrt_binary64_8656` `div-exp_binary64_8654` `rec-exp_binary64_8653` `e-exp-1_binary64_8648` `exp-0_binary64_8645` `rem-log-exp_binary64_8644` `rem-exp-log_binary64_8643` `cube-div_binary64_8632` `rem-3cbrt-rft_binary64_8629` `rem-3cbrt-lft_binary64_8628` `rem-cbrt-cube_binary64_8627` `rem-cube-cbrt_binary64_8626` `sqr-abs_binary64_8618` `rem-sqrt-square_binary64_8616` `rem-square-sqrt_binary64_8615` `mul-1-neg_binary64_8595` `/-rgt-identity_binary64_8594` `+-lft-identity_binary64_8587` `div0_binary64_8584` `*-inverses_binary64_8583` `+-inverses_binary64_8582` `lft-mult-inverse_binary64_8581` `rgt-mult-inverse_binary64_8580` `remove-double-div_binary64_8579` `difference-of-sqr--1_binary64_8574` `difference-of-sqr-1_binary64_8573` `distribute-neg-frac_binary64_8567` `distribute-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558` `count-2_binary64_8551`

Counts

23 → 14

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	31	232
1	117	208
2	365	208
3	1190	204
4	3335	204
5	4571	204
6	4998	204

prune13.0ms (0.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	13	1	14
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	13	4	17

Error

0.0b

Counts

17 → 4

Compiler

Compiled 172 to 110 computations (36% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.3b	(*.f64 (-.f64 x y) (sqrt.f64 200))
0.3b	(.f64 (sqrt.f64 200) (.f64 (-.f64 x y) (sqrt.f64 200)))

rewrite74.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

13×	`add-sqr-sqrt_binary64_8625`
11×	`associate-l_binary64_8544`
9×	`pow1_binary64_8664` `add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639` `*-un-lft-identity_binary64_8603`
7×	`add-cube-cbrt_binary64_8638` `sqrt-prod_binary64_8619` `associate-r_binary64_8543`
4×	`pow-prod-down_binary64_8674` `prod-exp_binary64_8652` `cbrt-unprod_binary64_8636` `associate-*l/_binary64_8546`
2×	`add-log-exp_binary64_8642` `flip3--_binary64_8607` `associate-r/_binary64_8545` `flip--_binary64_8578` `-commutative_binary64_8534` `unswap-sqr_binary64_8571`
1×	`difference-of-squares_binary64_8572` `distribute-lft-out--_binary64_8555`

Counts

2 → 49

Calls

2 calls:

11.0ms	(.f64 (sqrt.f64 200) (.f64 (-.f64 x y) (sqrt.f64 200)))
8.0ms	(*.f64 (-.f64 x y) (sqrt.f64 200))

Compiler

Compiled 790 to 543 computations (31.3% saved)

series397.0ms (10%)

Error

Counts

2 → 24

Calls

2 calls:

228.0ms	(.f64 (sqrt.f64 200) (.f64 (-.f64 x y) (sqrt.f64 200)))
151.0ms	(*.f64 (-.f64 x y) (sqrt.f64 200))

Compiler

Compiled 630 to 608 computations (3.5% saved)

simplify76.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

776×	`unsub-neg_binary64_8597`
503×	`associate-l_binary64_8544`
476×	`neg-sub0_binary64_8598`
448×	`neg-mul-1_binary64_8599`
412×	`associate-r_binary64_8543`
262×	`distribute-rgt-in_binary64_8553`
260×	`distribute-lft-in_binary64_8552`
239×	`distribute-rgt-neg-out_binary64_8563`
217×	`distribute-lft-neg-out_binary64_8562`
155×	`exp-prod_binary64_8655`
107×	`*-commutative_binary64_8534`
91×	`+-commutative_binary64_8533`
84×	`associate-+l+_binary64_8536`
72×	`associate-+r+_binary64_8535`
55×	`unswap-sqr_binary64_8571`
54×	`exp-sum_binary64_8649`
53×	`sqr-pow_binary64_8575`
35×	`sub-neg_binary64_8596` `cancel-sign-sub-inv_binary64_8569`
34×	`log-prod_binary64_8689`
32×	`cube-prod_binary64_8631`
30×	`distribute-lft-neg-in_binary64_8560`
29×	`*-rgt-identity_binary64_8593`
28×	`exp-neg_binary64_8650` `swap-sqr_binary64_8570`
27×	`exp-diff_binary64_8651`
25×	`div-sub_binary64_8608` `*-lft-identity_binary64_8592`
24×	`associate-/l*_binary64_8548`
22×	`distribute-rgt-neg-in_binary64_8561`
21×	`distribute-rgt-out_binary64_8556` `distribute-lft-out_binary64_8554`
18×	`sqr-neg_binary64_8617`
15×	`times-frac_binary64_8609`
13×	`mul-1-neg_binary64_8595`
10×	`cube-unmult_binary64_8640` `associate-/r*_binary64_8547`
9×	`associate-+r-_binary64_8537`
8×	`associate-*r/_binary64_8545` `associate-+l-_binary64_8538`
7×	`unpow3_binary64_8669` `pow-sqr_binary64_8576`
6×	`sub0-neg_binary64_8590` `+-rgt-identity_binary64_8588` `difference-of-squares_binary64_8572` `associate-/l/_binary64_8550`
5×	`distribute-rgt-out--_binary64_8557`
4×	`unpow1/2_binary64_8667` `cube-mult_binary64_8633` `rem-sqrt-square_binary64_8616` `associate-/r/_binary64_8549`
3×	`log-pow_binary64_8692` `cube-neg_binary64_8630` `count-2_binary64_8551`
2×	`associate-*l/_binary64_8546`
1×	`unpow2_binary64_8668` `pow-plus_binary64_8666` `unpow1_binary64_8661` `1-exp_binary64_8647` `exp-1-e_binary64_8646` `rem-square-sqrt_binary64_8615` `distribute-lft-out--_binary64_8555`
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_8866` `erf-erfc_binary64_8865` `erf-odd_binary64_8864` `if-if-and-not_binary64_8863` `if-if-and_binary64_8862` `if-if-or-not_binary64_8861` `if-if-or_binary64_8860` `if-not_binary64_8859` `if-same_binary64_8858` `if-false_binary64_8857` `if-true_binary64_8856` `not-gte_binary64_8855` `not-lte_binary64_8854` `not-gt_binary64_8853` `not-lt_binary64_8852` `gte-same_binary64_8851` `lte-same_binary64_8850` `gt-same_binary64_8849` `lt-same_binary64_8848` `sinh---cosh_binary64_8795` `sinh-+-cosh_binary64_8794` `sinh-cosh_binary64_8793` `tanh-def-c_binary64_8792` `tanh-def-b_binary64_8791` `tanh-def-a_binary64_8790` `cosh-def_binary64_8789` `sinh-def_binary64_8788` `tan-neg_binary64_8735` `cos-neg_binary64_8734` `sin-neg_binary64_8733` `tan-0_binary64_8732` `cos-0_binary64_8731` `sin-0_binary64_8730` `hang-m-tan_binary64_8729` `hang-p-tan_binary64_8728` `hang-m0-tan_binary64_8727` `hang-p0-tan_binary64_8726` `hang-0m-tan_binary64_8725` `hang-0p-tan_binary64_8724` `tan-+PI/2_binary64_8723` `tan-+PI_binary64_8722` `tan-PI_binary64_8721` `tan-PI/3_binary64_8720` `tan-PI/4_binary64_8719` `tan-PI/6_binary64_8718` `cos-+PI/2_binary64_8717` `cos-+PI_binary64_8716` `cos-PI_binary64_8715` `cos-PI/2_binary64_8714` `cos-PI/3_binary64_8713` `cos-PI/4_binary64_8712` `cos-PI/6_binary64_8711` `sin-+PI/2_binary64_8710` `sin-+PI_binary64_8709` `sin-PI_binary64_8708` `sin-PI/2_binary64_8707` `sin-PI/3_binary64_8706` `sin-PI/4_binary64_8705` `sin-PI/6_binary64_8704` `sub-1-sin_binary64_8703` `sub-1-cos_binary64_8702` `-1-add-sin_binary64_8701` `-1-add-cos_binary64_8700` `1-sub-sin_binary64_8699` `1-sub-cos_binary64_8698` `cos-sin-sum_binary64_8697` `log-E_binary64_8693` `log-rec_binary64_8691` `log-div_binary64_8690` `pow-base-0_binary64_8687` `unpow1/3_binary64_8670` `exp-to-pow_binary64_8665` `pow-base-1_binary64_8663` `unpow0_binary64_8662` `unpow-1_binary64_8660` `exp-lft-cube_binary64_8659` `exp-lft-sqr_binary64_8658` `exp-cbrt_binary64_8657` `exp-sqrt_binary64_8656` `div-exp_binary64_8654` `rec-exp_binary64_8653` `prod-exp_binary64_8652` `e-exp-1_binary64_8648` `exp-0_binary64_8645` `rem-log-exp_binary64_8644` `rem-exp-log_binary64_8643` `cube-div_binary64_8632` `rem-3cbrt-rft_binary64_8629` `rem-3cbrt-lft_binary64_8628` `rem-cbrt-cube_binary64_8627` `rem-cube-cbrt_binary64_8626` `sqr-abs_binary64_8618` `/-rgt-identity_binary64_8594` `remove-double-neg_binary64_8591` `--rgt-identity_binary64_8589` `+-lft-identity_binary64_8587` `mul0-rgt_binary64_8586` `mul0-lft_binary64_8585` `div0_binary64_8584` `*-inverses_binary64_8583` `+-inverses_binary64_8582` `lft-mult-inverse_binary64_8581` `rgt-mult-inverse_binary64_8580` `remove-double-div_binary64_8579` `difference-of-sqr--1_binary64_8574` `difference-of-sqr-1_binary64_8573` `cancel-sign-sub_binary64_8568` `distribute-neg-frac_binary64_8567` `distribute-frac-neg_binary64_8566` `distribute-neg-out_binary64_8565` `distribute-neg-in_binary64_8564` `distribute-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558` `associate--r-_binary64_8542` `associate--l-_binary64_8541` `associate--l+_binary64_8540` `associate--r+_binary64_8539`

Counts

73 → 63

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	82	892
1	186	719
2	564	719
3	1927	711
4	3656	711
5	5416	711

prune53.0ms (1.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	62	1	63
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	63	4	67

Error

0.0b

Counts

67 → 4

Compiler

Compiled 683 to 451 computations (34% saved)

localize11.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.1b

(*.f64 (-.f64 x y) (sqrt.f64 (cbrt.f64 200)))

0.3b

(*.f64 (sqrt.f64 (*.f64 (cbrt.f64 200) (cbrt.f64 200))) (*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 (cbrt.f64 200)))))

0.3b

(*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 (cbrt.f64 200))))

rewrite183.0ms (4.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

19×	`pow1_binary64_8664` `add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639`
18×	`add-sqr-sqrt_binary64_8625`
15×	`associate-l_binary64_8544`
12×	`*-un-lft-identity_binary64_8603` `sqrt-prod_binary64_8619`
11×	`associate-r_binary64_8543`
10×	`pow-prod-down_binary64_8674` `prod-exp_binary64_8652` `add-cube-cbrt_binary64_8638` `cbrt-unprod_binary64_8636`
6×	`associate-l/_binary64_8546` `associate-r/_binary64_8545`
4×	`cbrt-prod_binary64_8634`
3×	`add-log-exp_binary64_8642` `flip3--_binary64_8607` `flip--_binary64_8578` `*-commutative_binary64_8534` `unswap-sqr_binary64_8571`
1×	`difference-of-squares_binary64_8572` `distribute-lft-out--_binary64_8555`

Counts

3 → 77

Calls

3 calls:

18.0ms

(*.f64 (sqrt.f64 (*.f64 (cbrt.f64 200) (cbrt.f64 200))) (*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 (cbrt.f64 200)))))

11.0ms

(*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 (cbrt.f64 200))))

10.0ms

(*.f64 (-.f64 x y) (sqrt.f64 (cbrt.f64 200)))

Compiler

Compiled 1999 to 1610 computations (19.5% saved)

series949.0ms (23.9%)

Error

Counts

3 → 36

Calls

3 calls:

406.0ms

(*.f64 (sqrt.f64 (*.f64 (cbrt.f64 200) (cbrt.f64 200))) (*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 (cbrt.f64 200)))))

298.0ms

(*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 (cbrt.f64 200))))

195.0ms

(*.f64 (-.f64 x y) (sqrt.f64 (cbrt.f64 200)))

Compiler

Compiled 1704 to 1670 computations (2% saved)

simplify86.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

481×	`distribute-rgt-in_binary64_8553`
476×	`distribute-lft-in_binary64_8552`
468×	`*-commutative_binary64_8534`
367×	`distribute-lft-neg-out_binary64_8562`
360×	`distribute-rgt-neg-out_binary64_8563`
218×	`associate-r_binary64_8543`
194×	`associate-l_binary64_8544`
109×	`exp-prod_binary64_8655`
90×	`sqr-pow_binary64_8575`
73×	`neg-sub0_binary64_8598`
70×	`neg-mul-1_binary64_8599`
63×	`swap-sqr_binary64_8570`
62×	`unsub-neg_binary64_8597`
49×	`sub-neg_binary64_8596`
46×	`cancel-sign-sub-inv_binary64_8569`
43×	`exp-sum_binary64_8649`
42×	`log-prod_binary64_8689`
40×	`*-rgt-identity_binary64_8593`
39×	`cube-prod_binary64_8631`
38×	`*-lft-identity_binary64_8592`
27×	`+-commutative_binary64_8533`
25×	`associate-+l+_binary64_8536`
24×	`associate-+r+_binary64_8535`
23×	`unswap-sqr_binary64_8571`
22×	`div-sub_binary64_8608`
19×	`distribute-rgt-neg-in_binary64_8561`
16×	`exp-diff_binary64_8651`
12×	`unpow3_binary64_8669` `pow-sqr_binary64_8576`
11×	`cube-mult_binary64_8633` `distribute-lft-neg-in_binary64_8560`
9×	`associate-/l*_binary64_8548`
8×	`+-rgt-identity_binary64_8588` `associate-+r-_binary64_8537`
7×	`sub0-neg_binary64_8590` `associate-+l-_binary64_8538`
6×	`cube-unmult_binary64_8640` `difference-of-squares_binary64_8572`
5×	`distribute-rgt-out--_binary64_8557`
4×	`exp-neg_binary64_8650` `sqr-neg_binary64_8617` `rem-sqrt-square_binary64_8616` `distribute-rgt-out_binary64_8556`
3×	`rem-square-sqrt_binary64_8615` `mul-1-neg_binary64_8595`
1×	`unpow1/2_binary64_8667` `pow-plus_binary64_8666` `1-exp_binary64_8647` `exp-1-e_binary64_8646` `rem-cube-cbrt_binary64_8626` `distribute-lft-out--_binary64_8555`
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_8866` `erf-erfc_binary64_8865` `erf-odd_binary64_8864` `if-if-and-not_binary64_8863` `if-if-and_binary64_8862` `if-if-or-not_binary64_8861` `if-if-or_binary64_8860` `if-not_binary64_8859` `if-same_binary64_8858` `if-false_binary64_8857` `if-true_binary64_8856` `not-gte_binary64_8855` `not-lte_binary64_8854` `not-gt_binary64_8853` `not-lt_binary64_8852` `gte-same_binary64_8851` `lte-same_binary64_8850` `gt-same_binary64_8849` `lt-same_binary64_8848` `sinh---cosh_binary64_8795` `sinh-+-cosh_binary64_8794` `sinh-cosh_binary64_8793` `tanh-def-c_binary64_8792` `tanh-def-b_binary64_8791` `tanh-def-a_binary64_8790` `cosh-def_binary64_8789` `sinh-def_binary64_8788` `tan-neg_binary64_8735` `cos-neg_binary64_8734` `sin-neg_binary64_8733` `tan-0_binary64_8732` `cos-0_binary64_8731` `sin-0_binary64_8730` `hang-m-tan_binary64_8729` `hang-p-tan_binary64_8728` `hang-m0-tan_binary64_8727` `hang-p0-tan_binary64_8726` `hang-0m-tan_binary64_8725` `hang-0p-tan_binary64_8724` `tan-+PI/2_binary64_8723` `tan-+PI_binary64_8722` `tan-PI_binary64_8721` `tan-PI/3_binary64_8720` `tan-PI/4_binary64_8719` `tan-PI/6_binary64_8718` `cos-+PI/2_binary64_8717` `cos-+PI_binary64_8716` `cos-PI_binary64_8715` `cos-PI/2_binary64_8714` `cos-PI/3_binary64_8713` `cos-PI/4_binary64_8712` `cos-PI/6_binary64_8711` `sin-+PI/2_binary64_8710` `sin-+PI_binary64_8709` `sin-PI_binary64_8708` `sin-PI/2_binary64_8707` `sin-PI/3_binary64_8706` `sin-PI/4_binary64_8705` `sin-PI/6_binary64_8704` `sub-1-sin_binary64_8703` `sub-1-cos_binary64_8702` `-1-add-sin_binary64_8701` `-1-add-cos_binary64_8700` `1-sub-sin_binary64_8699` `1-sub-cos_binary64_8698` `cos-sin-sum_binary64_8697` `log-E_binary64_8693` `log-pow_binary64_8692` `log-rec_binary64_8691` `log-div_binary64_8690` `pow-base-0_binary64_8687` `unpow1/3_binary64_8670` `unpow2_binary64_8668` `exp-to-pow_binary64_8665` `pow-base-1_binary64_8663` `unpow0_binary64_8662` `unpow1_binary64_8661` `unpow-1_binary64_8660` `exp-lft-cube_binary64_8659` `exp-lft-sqr_binary64_8658` `exp-cbrt_binary64_8657` `exp-sqrt_binary64_8656` `div-exp_binary64_8654` `rec-exp_binary64_8653` `prod-exp_binary64_8652` `e-exp-1_binary64_8648` `exp-0_binary64_8645` `rem-log-exp_binary64_8644` `rem-exp-log_binary64_8643` `cube-div_binary64_8632` `cube-neg_binary64_8630` `rem-3cbrt-rft_binary64_8629` `rem-3cbrt-lft_binary64_8628` `rem-cbrt-cube_binary64_8627` `sqr-abs_binary64_8618` `times-frac_binary64_8609` `/-rgt-identity_binary64_8594` `remove-double-neg_binary64_8591` `--rgt-identity_binary64_8589` `+-lft-identity_binary64_8587` `mul0-rgt_binary64_8586` `mul0-lft_binary64_8585` `div0_binary64_8584` `-inverses_binary64_8583` `+-inverses_binary64_8582` `lft-mult-inverse_binary64_8581` `rgt-mult-inverse_binary64_8580` `remove-double-div_binary64_8579` `difference-of-sqr--1_binary64_8574` `difference-of-sqr-1_binary64_8573` `cancel-sign-sub_binary64_8568` `distribute-neg-frac_binary64_8567` `distribute-frac-neg_binary64_8566` `distribute-neg-out_binary64_8565` `distribute-neg-in_binary64_8564` `distribute-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558` `distribute-lft-out_binary64_8554` `count-2_binary64_8551` `associate-/l/_binary64_8550` `associate-/r/_binary64_8549` `associate-/r_binary64_8547` `associate-l/_binary64_8546` `associate-r/_binary64_8545` `associate--r-_binary64_8542` `associate--l-_binary64_8541` `associate--l+_binary64_8540` `associate--r+_binary64_8539`

Counts

113 → 94

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	140	2165
1	320	1814
2	1083	1790
3	3115	1790
4	5030	1790

prune122.0ms (3.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	93	1	94
Fresh	1	0	1
Picked	1	0	1
Done	0	2	2
Total	95	3	98

Error

Counts

98 → 3

Compiler

Compiled 1702 to 1373 computations (19.3% saved)

regimes277.0ms (7%)

Accuracy

Total 0.0b remaining (99.3%)

Threshold costs 0.0b (99.3%)

Compiler

Compiled 2064 to 1996 computations (3.3% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`sub-neg_binary64_8596` `*-commutative_binary64_8534` `+-commutative_binary64_8533`
1×	`neg-mul-1_binary64_8599` `neg-sub0_binary64_8598`
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_8863` `if-if-and_binary64_8862` `if-if-or-not_binary64_8861` `if-if-or_binary64_8860` `if-not_binary64_8859` `if-same_binary64_8858` `if-false_binary64_8857` `if-true_binary64_8856` `tan-0_binary64_8732` `cos-0_binary64_8731` `sin-0_binary64_8730` `unpow1_binary64_8661` `e-exp-1_binary64_8648` `1-exp_binary64_8647` `exp-1-e_binary64_8646` `exp-0_binary64_8645` `sqr-abs_binary64_8618` `sqr-neg_binary64_8617` `unsub-neg_binary64_8597` `mul-1-neg_binary64_8595` `/-rgt-identity_binary64_8594` `-rgt-identity_binary64_8593` `-lft-identity_binary64_8592` `remove-double-neg_binary64_8591` `sub0-neg_binary64_8590` `--rgt-identity_binary64_8589` `+-rgt-identity_binary64_8588` `+-lft-identity_binary64_8587` `cancel-sign-sub-inv_binary64_8569` `cancel-sign-sub_binary64_8568` `distribute-neg-frac_binary64_8567` `distribute-frac-neg_binary64_8566` `distribute-neg-out_binary64_8565` `distribute-neg-in_binary64_8564` `distribute-rgt-neg-out_binary64_8563` `distribute-lft-neg-out_binary64_8562` `distribute-rgt-neg-in_binary64_8561` `distribute-lft-neg-in_binary64_8560`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	9	7
2	14	7
3	16	7
4	17	7
5	17	7

end0.0ms (0%)

sample1.0s (26.1%)

Algorithm

1×

intervals

Results

146.0ms	7847×	body	128	valid
3.0ms	49×	body	2048	valid
2.0ms	44×	body	1024	valid
2.0ms	43×	body	512	valid
1.0ms	62×	body	128	invalid
1.0ms	17×	body	256	valid

Compiler

Compiled 522 to 506 computations (3.1% saved)

Iter	Nodes	Cost
0	8	14
1	14	14
2	34	14
3	52	14
4	80	14
5	121	14
6	163	14
7	182	14
8	184	14
9	156	14
0	2	2
1	2	2

Iter	Nodes	Cost
0	8	14
1	14	14
2	34	14
3	52	14
4	80	14
5	121	14
6	163	14
7	182	14
8	184	14
9	156	14
0	2	2
1	2	2

Details

analyze219.0ms (5.5%)

sample17.0ms (0.4%)

simplify15.0ms (0.4%)

prune2.0ms (0%)

localize4.0ms (0.1%)

rewrite35.0ms (0.9%)

series102.0ms (2.6%)

simplify49.0ms (1.2%)

prune19.0ms (0.5%)

localize5.0ms (0.1%)

rewrite15.0ms (0.4%)

series127.0ms (3.2%)

simplify73.0ms (1.8%)

prune13.0ms (0.3%)

localize5.0ms (0.1%)

rewrite74.0ms (1.9%)

series397.0ms (10%)

simplify76.0ms (1.9%)

prune53.0ms (1.3%)

localize11.0ms (0.3%)

rewrite183.0ms (4.6%)

series949.0ms (23.9%)

simplify86.0ms (2.2%)

prune122.0ms (3.1%)

regimes277.0ms (7%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.0s (26.1%)

Profiling

Iter	Nodes	Cost
0	8	14
1	14	14
2	34	14
3	52	14
4	80	14
5	121	14
6	163	14
7	182	14
8	184	14
9	156	14
0	2	2
1	2	2