Details

analyze536.0ms (16.5%)

Algorithm

1×	search
2×	egg-herbie

Rules

141×	`associate-/l*_binary64_8548`
135×	`cancel-sign-sub-inv_binary64_8569`
96×	`distribute-rgt-neg-in_binary64_8561` `distribute-rgt-in_binary64_8553`
88×	`sub-neg_binary64_8596`
66×	`div-sub_binary64_8608`
64×	`distribute-neg-frac_binary64_8567`
63×	`unsub-neg_binary64_8597`
57×	`associate-/r*_binary64_8547`
53×	`distribute-lft-neg-out_binary64_8562`
51×	`distribute-lft-in_binary64_8552` `associate-r_binary64_8543`
42×	`neg-mul-1_binary64_8599`
37×	`distribute-lft-neg-in_binary64_8560`
36×	`neg-sub0_binary64_8598` `*-commutative_binary64_8534`
33×	`associate--r+_binary64_8539`
31×	`distribute-neg-in_binary64_8564`
24×	`distribute-rgt-neg-out_binary64_8563` `associate-/l/_binary64_8550`
21×	`associate-/r/_binary64_8549` `associate-*l/_binary64_8546`
18×	`remove-double-neg_binary64_8591` `+-commutative_binary64_8533`
15×	`-lft-identity_binary64_8592` `sub0-neg_binary64_8590` `associate-l*_binary64_8544` `associate-+l-_binary64_8538`
12×	`+-lft-identity_binary64_8587` `mul0-rgt_binary64_8586`
9×	`mul0-lft_binary64_8585` `associate-+l+_binary64_8536`
6×	`--rgt-identity_binary64_8589` `div0_binary64_8584` `associate--r-_binary64_8542`
4×	`associate-*r/_binary64_8545`
3×	`/-rgt-identity_binary64_8594` `*-rgt-identity_binary64_8593` `+-rgt-identity_binary64_8588` `distribute-frac-neg_binary64_8566` `associate--l+_binary64_8540` `associate-+r-_binary64_8537` `associate-+r+_binary64_8535`
1×	`1-exp_binary64_8647` `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_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` `mul-1-neg_binary64_8595` `*-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-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_8541`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	52
1	34	52
2	60	52
3	90	52
4	144	52
5	233	52
6	440	52
7	597	52
8	830	52
9	785	52
10	788	52
11	788	52
12	699	52
0	3	3
1	3	3

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
49.9%	49.9%	0.1%	5
74.9%	25%	0.1%	6
74.9%	25%	0.1%	7
74.9%	25%	0.1%	8
81.1%	18.7%	0.1%	9
81.1%	18.7%	0.1%	10
81.1%	15.6%	3.3%	11
84.3%	10.9%	4.8%	12
84.3%	10.9%	4.8%	13
84.3%	8.6%	7.2%	14

Symmetry

(sort x y)

Compiler

Compiled 10 to 10 computations (0% saved)

sample25.0ms (0.8%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
1.0ms	20×	body	128	invalid

Compiler

Compiled 19 to 22 computations (-15.8% saved)

simplify27.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

56×	`cancel-sign-sub-inv_binary64_8569`
42×	`distribute-rgt-neg-in_binary64_8561`
36×	`distribute-rgt-in_binary64_8553` `associate-/l*_binary64_8548`
33×	`distribute-neg-frac_binary64_8567`
29×	`sub-neg_binary64_8596`
24×	`associate-r_binary64_8543`
23×	`unsub-neg_binary64_8597` `associate-/r*_binary64_8547`
21×	`neg-mul-1_binary64_8599` `distribute-lft-neg-out_binary64_8562`
19×	`distribute-lft-neg-in_binary64_8560` `*-commutative_binary64_8534`
18×	`div-sub_binary64_8608` `neg-sub0_binary64_8598` `distribute-lft-in_binary64_8552` `associate--r+_binary64_8539`
15×	`distribute-neg-in_binary64_8564`
14×	`associate-l_binary64_8544`
10×	`-lft-identity_binary64_8592` `distribute-rgt-neg-out_binary64_8563` `associate-/l/_binary64_8550` `associate-/r/_binary64_8549` `associate-l/_binary64_8546` `+-commutative_binary64_8533`
8×	`mul0-rgt_binary64_8586`
7×	`remove-double-neg_binary64_8591` `mul0-lft_binary64_8585`
6×	`associate-*r/_binary64_8545` `associate--r-_binary64_8542`
5×	`sub0-neg_binary64_8590` `+-lft-identity_binary64_8587` `associate-+l-_binary64_8538`
4×	`*-rgt-identity_binary64_8593` `div0_binary64_8584`
3×	`associate-+l+_binary64_8536`
2×	`/-rgt-identity_binary64_8594` `--rgt-identity_binary64_8589`
1×	`1-exp_binary64_8647` `+-rgt-identity_binary64_8588` `associate--l+_binary64_8540` `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` `mul-1-neg_binary64_8595` `*-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-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_8541`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	15	13
2	26	13
3	37	13
4	58	13
5	97	13
6	163	13
7	254	13
8	352	13
9	384	13
10	400	13
11	403	13
12	321	13

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

Counts

1 → 1

Compiler

Compiled 9 to 9 computations (0% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (*.f64 x y) 2)
0.0b	(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))

rewrite68.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

16×	`add-sqr-sqrt_binary64_8625`
13×	`*-un-lft-identity_binary64_8603` `times-frac_binary64_8609` `cancel-sign-sub-inv_binary64_8569`
11×	`add-cube-cbrt_binary64_8638`
7×	`add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639`
4×	`add-log-exp_binary64_8642`
3×	`associate-/r*_binary64_8547`
2×	`pow1_binary64_8664` `difference-of-squares_binary64_8572` `div-inv_binary64_8600` `div-exp_binary64_8654` `cbrt-undiv_binary64_8637`
1×	`diff-log_binary64_8695` `frac-sub_binary64_8612` `flip3--_binary64_8607` `sub-neg_binary64_8596` `flip--_binary64_8578` `distribute-lft-out--_binary64_8555` `prod-exp_binary64_8652` `cbrt-unprod_binary64_8636` `frac-2neg_binary64_8614` `clear-num_binary64_8602` `associate-/l*_binary64_8548`

Counts

2 → 49

Calls

2 calls:

12.0ms	(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
5.0ms	(/.f64 (*.f64 x y) 2)

Compiler

Compiled 820 to 532 computations (35.1% saved)

series282.0ms (8.7%)

Error

0.0b

Counts

2 → 24

Calls

2 calls:

192.0ms	(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
74.0ms	(/.f64 (*.f64 x y) 2)

Compiler

Compiled 479 to 417 computations (12.9% saved)

simplify99.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

375×	`associate-/l*_binary64_8548`
315×	`distribute-rgt-in_binary64_8553`
300×	`associate-*l/_binary64_8546`
296×	`exp-prod_binary64_8655`
268×	`distribute-lft-in_binary64_8552`
237×	`associate-*r/_binary64_8545`
231×	`associate-l_binary64_8544`
206×	`associate-r_binary64_8543`
159×	`associate-/l/_binary64_8550`
158×	`*-commutative_binary64_8534`
140×	`cancel-sign-sub-inv_binary64_8569`
116×	`sub-neg_binary64_8596`
115×	`distribute-lft-neg-out_binary64_8562`
107×	`div-sub_binary64_8608`
97×	`distribute-rgt-neg-out_binary64_8563`
96×	`associate-/r/_binary64_8549`
93×	`distribute-neg-frac_binary64_8567`
85×	`times-frac_binary64_8609`
81×	`cube-div_binary64_8632`
80×	`associate-/r*_binary64_8547`
74×	`unsub-neg_binary64_8597`
66×	`cube-prod_binary64_8631`
64×	`swap-sqr_binary64_8570`
63×	`neg-sub0_binary64_8598`
62×	`unpow3_binary64_8669` `distribute-rgt-neg-in_binary64_8561`
58×	`neg-mul-1_binary64_8599`
51×	`exp-diff_binary64_8651` `exp-sum_binary64_8649`
48×	`sqr-pow_binary64_8575` `distribute-frac-neg_binary64_8566`
47×	`distribute-lft-neg-in_binary64_8560`
43×	`associate--l-_binary64_8541`
38×	`+-commutative_binary64_8533`
34×	`log-div_binary64_8690` `sqr-neg_binary64_8617`
31×	`unswap-sqr_binary64_8571`
29×	`associate--l+_binary64_8540`
28×	`cube-mult_binary64_8633`
25×	`distribute-rgt-out_binary64_8556`
23×	`log-prod_binary64_8689`
18×	`exp-neg_binary64_8650` `*-rgt-identity_binary64_8593` `mul0-rgt_binary64_8586` `mul0-lft_binary64_8585`
16×	`cube-unmult_binary64_8640`
13×	`associate-+l-_binary64_8538` `associate-+r-_binary64_8537`
12×	`*-lft-identity_binary64_8592` `div0_binary64_8584`
10×	`distribute-lft-out_binary64_8554`
8×	`/-rgt-identity_binary64_8594` `sub0-neg_binary64_8590` `+-rgt-identity_binary64_8588` `difference-of-squares_binary64_8572` `associate--r-_binary64_8542` `associate-+l+_binary64_8536`
7×	`pow-plus_binary64_8666`
6×	`associate-+r+_binary64_8535`
5×	`log-rec_binary64_8691`
4×	`rem-sqrt-square_binary64_8616` `pow-sqr_binary64_8576`
3×	`exp-sqrt_binary64_8656` `rem-square-sqrt_binary64_8615` `mul-1-neg_binary64_8595`
2×	`cube-neg_binary64_8630` `rem-3cbrt-lft_binary64_8628` `distribute-neg-in_binary64_8564`
1×	`unpow1/2_binary64_8667` `div-exp_binary64_8654` `prod-exp_binary64_8652` `1-exp_binary64_8647` `rem-3cbrt-rft_binary64_8629` `rem-cbrt-cube_binary64_8627` `remove-double-neg_binary64_8591` `count-2_binary64_8551`
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` `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` `rec-exp_binary64_8653` `e-exp-1_binary64_8648` `exp-1-e_binary64_8646` `exp-0_binary64_8645` `rem-log-exp_binary64_8644` `rem-exp-log_binary64_8643` `rem-cube-cbrt_binary64_8626` `sqr-abs_binary64_8618` `--rgt-identity_binary64_8589` `+-lft-identity_binary64_8587` `*-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-out_binary64_8565` `distribute-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558` `distribute-rgt-out--_binary64_8557` `distribute-lft-out--_binary64_8555` `associate--r+_binary64_8539`

Counts

73 → 50

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	142	819
1	352	792
2	978	780
3	2775	780
4	4531	780
5	4940	780
6	4975	780

prune43.0ms (1.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	49	1	50
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	49	2	51

Error

Counts

51 → 2

Compiler

Compiled 633 to 393 computations (37.9% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 1/2 (.f64 x y))
0.0b	(+.f64 (.f64 -1/8 z) (.f64 1/2 (*.f64 x y)))
0.1b	(pow.f64 (+.f64 (.f64 -1/8 z) (.f64 1/2 (*.f64 x y))) 3)
39.7b	(cbrt.f64 (pow.f64 (+.f64 (.f64 -1/8 z) (.f64 1/2 (*.f64 x y))) 3))

rewrite123.0ms (3.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

12×	`cbrt-prod_binary64_8634`
11×	`add-cube-cbrt_binary64_8638` `add-sqr-sqrt_binary64_8625` `*-un-lft-identity_binary64_8603`
10×	`pow1_binary64_8664` `add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639`
6×	`add-log-exp_binary64_8642` `unpow-prod-down_binary64_8682` `cube-prod_binary64_8631`
4×	`cube-div_binary64_8632`
3×	`flip3-+_binary64_8606` `flip-+_binary64_8577` `pow-unpow_binary64_8680` `pow-prod-down_binary64_8674` `prod-exp_binary64_8652` `cbrt-unprod_binary64_8636` `associate-l_binary64_8544`
2×	`cbrt-div_binary64_8635` `unpow3_binary64_8669` `cube-mult_binary64_8633` `sqr-pow_binary64_8575`
1×	`pow1/3_binary64_8685` `rem-cbrt-cube_binary64_8627` `pow-pow_binary64_8675` `pow-to-exp_binary64_8672` `pow-exp_binary64_8671` `rem-cube-cbrt_binary64_8626` `sum-log_binary64_8694` `+-commutative_binary64_8533` `associate-r_binary64_8543` `*-commutative_binary64_8534`

Counts

4 → 77

Calls

4 calls:

5.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 -1/8 z) (.f64 1/2 (*.f64 x y))) 3))
5.0ms	(.f64 1/2 (.f64 x y))
5.0ms	(pow.f64 (+.f64 (.f64 -1/8 z) (.f64 1/2 (*.f64 x y))) 3)
4.0ms	(+.f64 (.f64 -1/8 z) (.f64 1/2 (*.f64 x y)))

Compiler

Compiled 1776 to 1222 computations (31.2% saved)

series943.0ms (29.1%)

Error

Counts

4 → 78

Calls

4 calls:

301.0ms	(pow.f64 (+.f64 (.f64 -1/8 z) (.f64 1/2 (*.f64 x y))) 3)
248.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 -1/8 z) (.f64 1/2 (*.f64 x y))) 3))
226.0ms	(+.f64 (.f64 -1/8 z) (.f64 1/2 (*.f64 x y)))
84.0ms	(.f64 1/2 (.f64 x y))

Compiler

Compiled 2757 to 2357 computations (14.5% saved)

simplify157.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

620×	`exp-prod_binary64_8655`
500×	`*-commutative_binary64_8534`
323×	`unswap-sqr_binary64_8571`
252×	`distribute-rgt-in_binary64_8553`
234×	`distribute-lft-in_binary64_8552`
220×	`cancel-sign-sub-inv_binary64_8569`
211×	`log-prod_binary64_8689`
181×	`associate-r_binary64_8543`
163×	`associate-l_binary64_8544`
156×	`cube-prod_binary64_8631`
139×	`unsub-neg_binary64_8597`
132×	`distribute-rgt-neg-in_binary64_8561`
131×	`neg-mul-1_binary64_8599` `neg-sub0_binary64_8598`
121×	`distribute-lft-neg-in_binary64_8560`
115×	`sub-neg_binary64_8596`
103×	`exp-sum_binary64_8649`
102×	`unpow3_binary64_8669`
87×	`distribute-rgt-out_binary64_8556`
79×	`sqr-pow_binary64_8575`
50×	`pow-sqr_binary64_8576`
46×	`log-pow_binary64_8692`
44×	`swap-sqr_binary64_8570`
38×	`distribute-lft-neg-out_binary64_8562`
31×	`distribute-rgt-neg-out_binary64_8563`
30×	`pow-plus_binary64_8666` `+-commutative_binary64_8533`
28×	`cube-mult_binary64_8633` `associate-+l+_binary64_8536`
23×	`distribute-rgt-out--_binary64_8557` `distribute-lft-out_binary64_8554` `associate-+r+_binary64_8535`
22×	`associate-+l-_binary64_8538` `associate-+r-_binary64_8537`
17×	`cube-unmult_binary64_8640`
16×	`rem-sqrt-square_binary64_8616`
14×	`exp-neg_binary64_8650` `associate--l+_binary64_8540`
13×	`+-rgt-identity_binary64_8588`
12×	`sub0-neg_binary64_8590`
10×	`unpow1/2_binary64_8667` `sqr-neg_binary64_8617` `remove-double-neg_binary64_8591`
8×	`rem-cbrt-cube_binary64_8627`
6×	`exp-diff_binary64_8651` `associate--r+_binary64_8539`
5×	`associate-/l*_binary64_8548`
4×	`unpow1_binary64_8661` `-rgt-identity_binary64_8593` `-lft-identity_binary64_8592` `distribute-lft-out--_binary64_8555`
3×	`unpow2_binary64_8668` `cube-neg_binary64_8630` `div-sub_binary64_8608` `count-2_binary64_8551` `associate-/l/_binary64_8550` `associate-*r/_binary64_8545`
2×	`distribute-neg-out_binary64_8565` `distribute-neg-in_binary64_8564` `associate--r-_binary64_8542`
1×	`prod-exp_binary64_8652` `1-exp_binary64_8647` `rem-3cbrt-lft_binary64_8628` `rem-cube-cbrt_binary64_8626` `rem-square-sqrt_binary64_8615` `--rgt-identity_binary64_8589` `difference-of-squares_binary64_8572` `associate-/r/_binary64_8549` `associate--l-_binary64_8541`
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` `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` `sqr-abs_binary64_8618` `times-frac_binary64_8609` `mul-1-neg_binary64_8595` `/-rgt-identity_binary64_8594` `+-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-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558` `associate-/r_binary64_8547` `associate-*l/_binary64_8546`

Counts

155 → 105

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	147	3239
1	371	2990
2	1248	2916
3	3641	2916
4	4807	2913
5	5311	2913

prune113.0ms (3.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	105	2	107

Error

Counts

107 → 2

Compiler

Compiled 1957 to 1165 computations (40.5% saved)

regimes131.0ms (4%)

Accuracy

Total 0.0b remaining (89.1%)

Threshold costs 0.0b (89.1%)

Compiler

Compiled 599 to 640 computations (-6.8% saved)

bsearch0.0ms (0%)

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

3×	`sub-neg_binary64_8596` `*-commutative_binary64_8534` `+-commutative_binary64_8533`
2×	`neg-mul-1_binary64_8599` `neg-sub0_binary64_8598`
1×	`distribute-neg-frac_binary64_8567`
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-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	10	13
1	13	13
2	20	13
3	24	13
4	27	13
5	28	13
6	28	13

Remove

(sort x y)

Compiler

Compiled 18 to 18 computations (0% saved)

end0.0ms (0%)

sample670.0ms (20.7%)

Algorithm

1×

intervals

Results

245.0ms	7999×	body	128	valid
14.0ms	515×	body	128	invalid
0.0ms	1×	body	1024	valid

Compiler

Compiled 98 to 104 computations (-6.1% saved)

Iter	Nodes	Cost
0	21	52
1	34	52
2	60	52
3	90	52
4	144	52
5	233	52
6	440	52
7	597	52
8	830	52
9	785	52
10	788	52
11	788	52
12	699	52
0	3	3
1	3	3

Iter	Nodes	Cost
0	10	13
1	15	13
2	26	13
3	37	13
4	58	13
5	97	13
6	163	13
7	254	13
8	352	13
9	384	13
10	400	13
11	403	13
12	321	13

Iter	Nodes	Cost
0	21	52
1	34	52
2	60	52
3	90	52
4	144	52
5	233	52
6	440	52
7	597	52
8	830	52
9	785	52
10	788	52
11	788	52
12	699	52
0	3	3
1	3	3

Iter	Nodes	Cost
0	10	13
1	15	13
2	26	13
3	37	13
4	58	13
5	97	13
6	163	13
7	254	13
8	352	13
9	384	13
10	400	13
11	403	13
12	321	13

Details

analyze536.0ms (16.5%)

sample25.0ms (0.8%)

simplify27.0ms (0.8%)

prune2.0ms (0.1%)

localize6.0ms (0.2%)

rewrite68.0ms (2.1%)

series282.0ms (8.7%)

simplify99.0ms (3.1%)

prune43.0ms (1.3%)

localize9.0ms (0.3%)

rewrite123.0ms (3.8%)

series943.0ms (29.1%)

simplify157.0ms (4.8%)

prune113.0ms (3.5%)

regimes131.0ms (4%)

bsearch0.0ms (0%)

simplify10.0ms (0.3%)

end0.0ms (0%)

sample670.0ms (20.7%)

Profiling

Iter	Nodes	Cost
0	21	52
1	34	52
2	60	52
3	90	52
4	144	52
5	233	52
6	440	52
7	597	52
8	830	52
9	785	52
10	788	52
11	788	52
12	699	52
0	3	3
1	3	3

Iter	Nodes	Cost
0	10	13
1	15	13
2	26	13
3	37	13
4	58	13
5	97	13
6	163	13
7	254	13
8	352	13
9	384	13
10	400	13
11	403	13
12	321	13