Details

analyze1.1s (11.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

840×	`sub-neg_binary64_8596`
808×	`div-sub_binary64_8608`
567×	`neg-mul-1_binary64_8599`
516×	`neg-sub0_binary64_8598`
453×	`unsub-neg_binary64_8597`
364×	`distribute-neg-in_binary64_8564`
320×	`distribute-rgt-neg-in_binary64_8561`
319×	`distribute-frac-neg_binary64_8566`
275×	`associate--r+_binary64_8539`
245×	`associate-/l*_binary64_8548`
218×	`distribute-lft-neg-out_binary64_8562`
203×	`distribute-neg-frac_binary64_8567`
185×	`remove-double-neg_binary64_8591`
179×	`distribute-rgt-neg-out_binary64_8563`
176×	`+-commutative_binary64_8533`
172×	`distribute-rgt-in_binary64_8553`
156×	`distribute-lft-in_binary64_8552` `associate-r_binary64_8543`
142×	`distribute-lft-neg-in_binary64_8560`
121×	`associate-l_binary64_8544`
114×	`associate-/r/_binary64_8549`
104×	`div0_binary64_8584` `distribute-neg-out_binary64_8565`
99×	`*-commutative_binary64_8534`
91×	`associate-+l+_binary64_8536`
88×	`associate--l+_binary64_8540` `associate-+l-_binary64_8538`
85×	`associate--r-_binary64_8542`
76×	`associate-+r-_binary64_8537`
73×	`associate-*l/_binary64_8546`
70×	`cancel-sign-sub-inv_binary64_8569`
47×	`associate-/r*_binary64_8547` `associate--l-_binary64_8541`
41×	`sub0-neg_binary64_8590`
33×	`cancel-sign-sub_binary64_8568`
32×	`associate-/l/_binary64_8550`
31×	`associate-*r/_binary64_8545`
27×	`mul0-rgt_binary64_8586` `mul0-lft_binary64_8585`
21×	`--rgt-identity_binary64_8589`
18×	`distribute-lft-out--_binary64_8555`
12×	`+-rgt-identity_binary64_8588` `distribute-rgt-out--_binary64_8557`
5×	`*-lft-identity_binary64_8592`
3×	`distribute-rgt-out_binary64_8556`
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` `mul-1-neg_binary64_8595` `/-rgt-identity_binary64_8594` `-rgt-identity_binary64_8593` `+-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` `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` `distribute-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558` `distribute-lft-out_binary64_8554` `count-2_binary64_8551` `associate-+r+_binary64_8535`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	143
1	112	143
2	283	143
3	782	143
4	1934	143
5	3148	143
6	3995	143
7	4512	143
8	4839	143
9	4844	143
0	5	5
1	5	5

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
13.2%	86.5%	0.2%	11
16.8%	83%	0.2%	12
22.7%	77.1%	0.2%	13
24.1%	74.7%	1.3%	14

Compiler

Compiled 10 to 10 computations (0% saved)

sample30.0ms (0.3%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
3.0ms	97×	body	128	invalid

Compiler

Compiled 19 to 24 computations (-26.3% saved)

simplify56.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

244×	`cancel-sign-sub-inv_binary64_8569`
187×	`distribute-rgt-in_binary64_8553`
138×	`distribute-lft-in_binary64_8552`
122×	`unsub-neg_binary64_8597`
119×	`div-sub_binary64_8608`
98×	`associate-/l*_binary64_8548`
95×	`sub-neg_binary64_8596`
82×	`associate-r_binary64_8543`
76×	`associate-l_binary64_8544`
69×	`distribute-rgt-neg-in_binary64_8561`
68×	`distribute-lft-neg-in_binary64_8560`
58×	`distribute-rgt-neg-out_binary64_8563` `associate--r+_binary64_8539`
54×	`associate-/r/_binary64_8549`
50×	`distribute-neg-in_binary64_8564`
47×	`distribute-neg-frac_binary64_8567` `distribute-lft-neg-out_binary64_8562` `associate-/r*_binary64_8547`
42×	`neg-mul-1_binary64_8599`
39×	`neg-sub0_binary64_8598`
29×	`associate-/l/_binary64_8550`
28×	`distribute-rgt-out--_binary64_8557`
26×	`*-commutative_binary64_8534`
24×	`distribute-rgt-out_binary64_8556`
23×	`mul0-rgt_binary64_8586` `mul0-lft_binary64_8585` `+-commutative_binary64_8533`
19×	`associate--l+_binary64_8540`
18×	`remove-double-neg_binary64_8591`
17×	`associate--r-_binary64_8542`
16×	`associate-+l+_binary64_8536`
15×	`associate-+l-_binary64_8538`
12×	`associate-+r-_binary64_8537`
11×	`-rgt-identity_binary64_8593` `associate-r/_binary64_8545` `associate-+r+_binary64_8535`
10×	`associate-*l/_binary64_8546`
9×	`*-lft-identity_binary64_8592` `div0_binary64_8584` `distribute-frac-neg_binary64_8566`
8×	`sub0-neg_binary64_8590` `distribute-lft-out--_binary64_8555` `associate--l-_binary64_8541`
7×	`/-rgt-identity_binary64_8594`
4×	`--rgt-identity_binary64_8589` `+-rgt-identity_binary64_8588`
2×	`+-lft-identity_binary64_8587` `distribute-neg-out_binary64_8565` `distribute-lft-out_binary64_8554`
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` `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-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558` `count-2_binary64_8551`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	17	13
2	39	13
3	94	13
4	239	13
5	454	13
6	776	13
7	836	13
8	775	13
9	801	13
10	791	13
11	792	13
12	792	13
13	719	13

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

4.6b

Counts

1 → 1

Compiler

Compiled 9 to 9 computations (0% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
0.0b	(*.f64 y (-.f64 z t))
5.2b	(/.f64 (*.f64 y (-.f64 z t)) a)

rewrite94.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

17×	`add-sqr-sqrt_binary64_8625`
15×	`*-un-lft-identity_binary64_8603`
13×	`cancel-sign-sub-inv_binary64_8569`
11×	`add-cube-cbrt_binary64_8638`
10×	`add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639`
6×	`times-frac_binary64_8609`
5×	`pow1_binary64_8664` `add-log-exp_binary64_8642` `associate-r_binary64_8543`
4×	`associate-*r/_binary64_8545` `distribute-rgt-in_binary64_8553` `distribute-lft-in_binary64_8552`
3×	`flip3--_binary64_8607` `flip--_binary64_8578` `associate-/r_binary64_8547` `sub-neg_binary64_8596` `associate-l*_binary64_8544`
2×	`prod-exp_binary64_8652` `div-exp_binary64_8654` `cbrt-undiv_binary64_8637` `cbrt-unprod_binary64_8636` `div-inv_binary64_8600` `associate-/l/_binary64_8550` `difference-of-squares_binary64_8572` `distribute-lft-out--_binary64_8555`
1×	`frac-2neg_binary64_8614` `clear-num_binary64_8602` `associate-/l_binary64_8548` `pow-prod-down_binary64_8674` `unswap-sqr_binary64_8571` `-commutative_binary64_8534` `diff-log_binary64_8695`

Counts

3 → 73

Calls

3 calls:

8.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)
8.0ms	(*.f64 y (-.f64 z t))
6.0ms	(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))

Compiler

Compiled 1187 to 331 computations (72.1% saved)

series962.0ms (10.1%)

Error

0.2b

Counts

3 → 63

Calls

3 calls:

485.0ms	(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
303.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)
136.0ms	(*.f64 y (-.f64 z t))

Compiler

Compiled 1636 to 1032 computations (36.9% saved)

simplify94.0ms (1%)

Algorithm

1×	egg-herbie

Rules

617×	`times-frac_binary64_8609`
478×	`distribute-rgt-in_binary64_8553`
475×	`distribute-lft-in_binary64_8552`
134×	`distribute-rgt-neg-in_binary64_8561`
110×	`distribute-neg-frac_binary64_8567`
105×	`distribute-lft-neg-in_binary64_8560`
99×	`cancel-sign-sub-inv_binary64_8569` `associate-l_binary64_8544`
85×	`*-commutative_binary64_8534`
84×	`log-prod_binary64_8689` `exp-prod_binary64_8655`
81×	`associate-/l_binary64_8548` `associate-r*_binary64_8543`
75×	`div-sub_binary64_8608`
71×	`distribute-lft-neg-out_binary64_8562`
69×	`sub-neg_binary64_8596`
67×	`associate-*l/_binary64_8546`
61×	`distribute-rgt-neg-out_binary64_8563`
54×	`neg-sub0_binary64_8598`
48×	`neg-mul-1_binary64_8599`
47×	`associate-*r/_binary64_8545`
41×	`log-div_binary64_8690`
35×	`distribute-neg-in_binary64_8564`
32×	`+-commutative_binary64_8533`
27×	`*-rgt-identity_binary64_8593` `sqr-pow_binary64_8575`
24×	`cube-div_binary64_8632`
23×	`cube-prod_binary64_8631`
22×	`exp-sum_binary64_8649`
21×	`*-lft-identity_binary64_8592`
19×	`associate-/l/_binary64_8550`
18×	`associate-/r*_binary64_8547`
16×	`swap-sqr_binary64_8570`
13×	`exp-diff_binary64_8651` `associate-/r/_binary64_8549`
10×	`/-rgt-identity_binary64_8594`
9×	`unpow3_binary64_8669`
8×	`remove-double-neg_binary64_8591`
7×	`cube-mult_binary64_8633` `mul-1-neg_binary64_8595`
6×	`log-rec_binary64_8691` `unsub-neg_binary64_8597` `difference-of-squares_binary64_8572` `distribute-rgt-out_binary64_8556` `associate-+l+_binary64_8536`
5×	`cube-unmult_binary64_8640` `unswap-sqr_binary64_8571` `associate-+r+_binary64_8535`
4×	`associate--l+_binary64_8540` `associate-+r-_binary64_8537`
3×	`+-rgt-identity_binary64_8588` `div0_binary64_8584` `cancel-sign-sub_binary64_8568` `distribute-frac-neg_binary64_8566` `associate--r-_binary64_8542` `associate--r+_binary64_8539`
2×	`exp-neg_binary64_8650` `rem-3cbrt-lft_binary64_8628` `rem-sqrt-square_binary64_8616` `rem-square-sqrt_binary64_8615` `distribute-rgt-out--_binary64_8557`
1×	`log-pow_binary64_8692` `div-exp_binary64_8654` `1-exp_binary64_8647` `exp-1-e_binary64_8646` `pow-sqr_binary64_8576` `associate-+l-_binary64_8538`
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` `pow-base-0_binary64_8687` `unpow1/3_binary64_8670` `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` `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-neg_binary64_8630` `rem-3cbrt-rft_binary64_8629` `rem-cbrt-cube_binary64_8627` `rem-cube-cbrt_binary64_8626` `sqr-abs_binary64_8618` `sqr-neg_binary64_8617` `sub0-neg_binary64_8590` `--rgt-identity_binary64_8589` `+-lft-identity_binary64_8587` `mul0-rgt_binary64_8586` `mul0-lft_binary64_8585` `*-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-out_binary64_8565` `distribute-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558` `distribute-lft-out--_binary64_8555` `distribute-lft-out_binary64_8554` `count-2_binary64_8551` `associate--l-_binary64_8541`

Counts

136 → 97

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	166	1662
1	426	1503
2	1436	1503
3	4954	1503
4	5027	1503

prune78.0ms (0.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	89	8	97
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	89	9	98

Error

0.0b

Counts

98 → 9

Compiler

Compiled 1258 to 277 computations (78% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 a)
0.5b	(cbrt.f64 a)
1.3b	(/.f64 (.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t)) (cbrt.f64 a))
5.3b	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t))

rewrite155.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

27×	`add-exp-log_binary64_8641`
21×	`add-sqr-sqrt_binary64_8625`
19×	`add-cbrt-cube_binary64_8639`
17×	`*-un-lft-identity_binary64_8603`
15×	`add-cube-cbrt_binary64_8638`
12×	`cbrt-prod_binary64_8634`
10×	`times-frac_binary64_8609`
8×	`prod-exp_binary64_8652` `div-exp_binary64_8654` `cbrt-unprod_binary64_8636` `cbrt-undiv_binary64_8637`
7×	`associate-l_binary64_8544`
6×	`pow1_binary64_8664` `cancel-sign-sub-inv_binary64_8569` `associate-/r*_binary64_8547`
5×	`associate-r_binary64_8543` `associate-/l/_binary64_8550`
4×	`add-log-exp_binary64_8642` `flip3--_binary64_8607` `frac-times_binary64_8613` `flip--_binary64_8578` `distribute-rgt-in_binary64_8553` `distribute-lft-in_binary64_8552` `associate-*r/_binary64_8545`
2×	`unswap-sqr_binary64_8571` `sub-neg_binary64_8596` `associate-*l/_binary64_8546` `div-inv_binary64_8600` `pow1/3_binary64_8685`
1×	`pow-prod-down_binary64_8674` `difference-of-squares_binary64_8572` `distribute-lft-out--_binary64_8555` `-commutative_binary64_8534` `frac-2neg_binary64_8614` `clear-num_binary64_8602` `associate-/l_binary64_8548`

Counts

4 → 100

Calls

4 calls:

15.0ms	(/.f64 (.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t)) (cbrt.f64 a))
14.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t))
4.0ms	(cbrt.f64 a)
1.0ms	(cbrt.f64 a)

Compiler

Compiled 2395 to 501 computations (79.1% saved)

series1.6s (16.9%)

Error

0.0b

Counts

4 → 42

Calls

4 calls:

1.0s	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t))
330.0ms	(/.f64 (.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t)) (cbrt.f64 a))
112.0ms	(cbrt.f64 a)
104.0ms	(cbrt.f64 a)

Compiler

Compiled 1932 to 1445 computations (25.2% saved)

simplify86.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

395×	`distribute-rgt-in_binary64_8553`
385×	`distribute-lft-in_binary64_8552`
354×	`associate-/r/_binary64_8549`
152×	`associate-l_binary64_8544`
138×	`associate-r_binary64_8543`
134×	`associate-/l*_binary64_8548`
129×	`times-frac_binary64_8609`
119×	`associate-*l/_binary64_8546`
117×	`*-commutative_binary64_8534`
106×	`div-sub_binary64_8608`
98×	`associate-/r*_binary64_8547`
86×	`unswap-sqr_binary64_8571`
85×	`distribute-rgt-neg-in_binary64_8561`
80×	`associate-*r/_binary64_8545`
72×	`distribute-lft-neg-in_binary64_8560`
70×	`associate-/l/_binary64_8550`
66×	`sub-neg_binary64_8596`
65×	`cancel-sign-sub-inv_binary64_8569`
53×	`distribute-neg-frac_binary64_8567`
47×	`distribute-rgt-neg-out_binary64_8563`
44×	`log-div_binary64_8690`
43×	`neg-sub0_binary64_8598` `distribute-lft-neg-out_binary64_8562`
41×	`sqr-pow_binary64_8575`
39×	`log-prod_binary64_8689`
37×	`neg-mul-1_binary64_8599`
34×	`cube-div_binary64_8632`
29×	`*-rgt-identity_binary64_8593`
27×	`cube-prod_binary64_8631`
23×	`swap-sqr_binary64_8570`
21×	`exp-prod_binary64_8655` `*-lft-identity_binary64_8592`
19×	`/-rgt-identity_binary64_8594`
18×	`+-commutative_binary64_8533`
13×	`distribute-frac-neg_binary64_8566` `distribute-neg-in_binary64_8564`
11×	`distribute-rgt-out_binary64_8556`
10×	`cube-unmult_binary64_8640`
8×	`mul-1-neg_binary64_8595`
7×	`exp-sum_binary64_8649`
6×	`associate-+l-_binary64_8538`
5×	`log-pow_binary64_8692` `pow-plus_binary64_8666` `rem-sqrt-square_binary64_8616` `unsub-neg_binary64_8597` `distribute-lft-out_binary64_8554` `associate--l+_binary64_8540` `associate-+l+_binary64_8536`
4×	`log-rec_binary64_8691` `unpow3_binary64_8669` `exp-diff_binary64_8651` `pow-sqr_binary64_8576` `distribute-rgt-out--_binary64_8557` `distribute-lft-out--_binary64_8555`
3×	`unpow1/3_binary64_8670` `cube-mult_binary64_8633` `difference-of-squares_binary64_8572` `associate-+r-_binary64_8537` `associate-+r+_binary64_8535`
2×	`unpow2_binary64_8668` `unpow1/2_binary64_8667` `unpow1_binary64_8661` `rem-3cbrt-lft_binary64_8628` `count-2_binary64_8551`
1×	`1-exp_binary64_8647` `exp-1-e_binary64_8646` `rem-3cbrt-rft_binary64_8629` `rem-cube-cbrt_binary64_8626` `rem-square-sqrt_binary64_8615` `remove-double-neg_binary64_8591` `+-rgt-identity_binary64_8588` `associate--l-_binary64_8541` `associate--r+_binary64_8539`
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` `pow-base-0_binary64_8687` `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` `exp-neg_binary64_8650` `e-exp-1_binary64_8648` `exp-0_binary64_8645` `rem-log-exp_binary64_8644` `rem-exp-log_binary64_8643` `cube-neg_binary64_8630` `rem-cbrt-cube_binary64_8627` `sqr-abs_binary64_8618` `sqr-neg_binary64_8617` `sub0-neg_binary64_8590` `--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-out_binary64_8565` `distribute-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558` `associate--r-_binary64_8542`

Counts

142 → 112

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	197	2766
1	529	1942
2	2126	1942
3	4958	1942

prune109.0ms (1.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	109	3	112
Fresh	4	3	7
Picked	0	1	1
Done	0	1	1
Total	113	8	121

Error

0.0b

Counts

121 → 8

Compiler

Compiled 2001 to 751 computations (62.5% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
1.3b	(/.f64 (.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 a)) (*.f64 (-.f64 z t) (/.f64 (cbrt.f64 y) (cbrt.f64 a)))) (cbrt.f64 a))

rewrite144.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

51×	`add-exp-log_binary64_8641`
23×	`add-cbrt-cube_binary64_8639`
19×	`div-exp_binary64_8654` `cbrt-undiv_binary64_8637`
18×	`prod-exp_binary64_8652` `cbrt-unprod_binary64_8636`
15×	`cbrt-prod_binary64_8634`
11×	`add-cube-cbrt_binary64_8638` `add-sqr-sqrt_binary64_8625` `*-un-lft-identity_binary64_8603` `associate-/l/_binary64_8550`
9×	`frac-times_binary64_8613`
7×	`associate-*r/_binary64_8545`
6×	`times-frac_binary64_8609` `associate-/r*_binary64_8547`
5×	`associate-*l/_binary64_8546`
4×	`pow1_binary64_8664` `add-log-exp_binary64_8642` `flip3--_binary64_8607` `flip--_binary64_8578`
3×	`pow1/3_binary64_8685`
1×	`frac-2neg_binary64_8614` `clear-num_binary64_8602` `div-inv_binary64_8600` `associate-/l*_binary64_8548`

Counts

4 → 87

Calls

4 calls:

24.0ms	(/.f64 (.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 a)) (*.f64 (-.f64 z t) (/.f64 (cbrt.f64 y) (cbrt.f64 a)))) (cbrt.f64 a))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

Compiler

Compiled 2740 to 500 computations (81.8% saved)

series718.0ms (7.6%)

Error

0.0b

Counts

4 → 27

Calls

4 calls:

374.0ms	(/.f64 (.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 a)) (*.f64 (-.f64 z t) (/.f64 (cbrt.f64 y) (cbrt.f64 a)))) (cbrt.f64 a))
115.0ms	(cbrt.f64 y)
106.0ms	(cbrt.f64 y)
102.0ms	(cbrt.f64 y)

Compiler

Compiled 1239 to 793 computations (36% saved)

simplify99.0ms (1%)

Algorithm

1×	egg-herbie

Rules

597×	`associate-/r/_binary64_8549`
371×	`distribute-rgt-in_binary64_8553`
354×	`distribute-lft-in_binary64_8552`
161×	`associate-r_binary64_8543`
151×	`times-frac_binary64_8609`
140×	`associate-l_binary64_8544`
136×	`associate-/l*_binary64_8548`
108×	`associate-*l/_binary64_8546`
103×	`log-div_binary64_8690`
92×	`associate-/r_binary64_8547` `-commutative_binary64_8534`
91×	`associate-*r/_binary64_8545`
83×	`associate-/l/_binary64_8550`
80×	`distribute-rgt-neg-in_binary64_8561`
73×	`distribute-lft-neg-in_binary64_8560`
62×	`sub-neg_binary64_8596`
57×	`distribute-neg-frac_binary64_8567`
50×	`cancel-sign-sub-inv_binary64_8569`
46×	`log-prod_binary64_8689`
45×	`unswap-sqr_binary64_8571`
36×	`cube-div_binary64_8632`
31×	`div-sub_binary64_8608`
28×	`swap-sqr_binary64_8570`
25×	`neg-sub0_binary64_8598`
24×	`cube-prod_binary64_8631`
20×	`sqr-pow_binary64_8575` `distribute-neg-in_binary64_8564` `+-commutative_binary64_8533`
18×	`neg-mul-1_binary64_8599`
15×	`exp-prod_binary64_8655` `associate--l+_binary64_8540`
14×	`distribute-lft-neg-out_binary64_8562`
13×	`*-rgt-identity_binary64_8593` `distribute-frac-neg_binary64_8566` `distribute-rgt-neg-out_binary64_8563` `associate-+l+_binary64_8536`
12×	`mul-1-neg_binary64_8595`
11×	`associate-+l-_binary64_8538`
10×	`cube-unmult_binary64_8640` `associate-+r+_binary64_8535`
8×	`log-pow_binary64_8692` `distribute-rgt-out_binary64_8556`
5×	`log-rec_binary64_8691` `distribute-rgt-out--_binary64_8557`
4×	`pow-plus_binary64_8666` `rem-sqrt-square_binary64_8616` `/-rgt-identity_binary64_8594` `*-lft-identity_binary64_8592` `associate-+r-_binary64_8537`
3×	`pow-sqr_binary64_8576` `count-2_binary64_8551`
2×	`unpow1/3_binary64_8670` `exp-sum_binary64_8649` `unsub-neg_binary64_8597` `distribute-lft-out--_binary64_8555` `associate--l-_binary64_8541` `associate--r+_binary64_8539`
1×	`unpow3_binary64_8669` `exp-diff_binary64_8651` `1-exp_binary64_8647` `cube-mult_binary64_8633` `rem-3cbrt-rft_binary64_8629` `rem-3cbrt-lft_binary64_8628` `rem-cube-cbrt_binary64_8626` `remove-double-neg_binary64_8591` `distribute-lft-out_binary64_8554` `associate--r-_binary64_8542`
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` `pow-base-0_binary64_8687` `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` `exp-neg_binary64_8650` `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-neg_binary64_8630` `rem-cbrt-cube_binary64_8627` `sqr-abs_binary64_8618` `sqr-neg_binary64_8617` `rem-square-sqrt_binary64_8615` `sub0-neg_binary64_8590` `--rgt-identity_binary64_8589` `+-rgt-identity_binary64_8588` `+-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` `difference-of-squares_binary64_8572` `cancel-sign-sub_binary64_8568` `distribute-neg-out_binary64_8565` `distribute-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558`

Counts

114 → 73

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	172	2927
1	398	1340
2	1892	1340
3	4962	1340
4	4997	1340

prune69.0ms (0.7%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	72	1	73
Fresh	1	4	5
Picked	0	1	1
Done	0	2	2
Total	73	8	81

Error

0.0b

Counts

81 → 8

Compiler

Compiled 1384 to 327 computations (76.4% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 a)
0.5b	(cbrt.f64 a)
0.5b	(cbrt.f64 a)
5.4b	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 t z) (cbrt.f64 a)))

rewrite152.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

54×	`add-sqr-sqrt_binary64_8625`
40×	`times-frac_binary64_8609`
38×	`*-un-lft-identity_binary64_8603`
34×	`associate-r_binary64_8543`
26×	`add-cube-cbrt_binary64_8638` `cbrt-prod_binary64_8634`
25×	`add-exp-log_binary64_8641`
18×	`add-cbrt-cube_binary64_8639`
8×	`prod-exp_binary64_8652` `cbrt-unprod_binary64_8636`
7×	`div-exp_binary64_8654` `cbrt-undiv_binary64_8637` `associate-l_binary64_8544`
6×	`pow1_binary64_8664` `unswap-sqr_binary64_8571` `difference-of-squares_binary64_8572` `distribute-lft-out--_binary64_8555`
4×	`add-log-exp_binary64_8642`
3×	`pow1/3_binary64_8685`
2×	`div-inv_binary64_8600`
1×	`pow-prod-down_binary64_8674` `frac-times_binary64_8613` `associate-l/_binary64_8546` `associate-r/_binary64_8545` `*-commutative_binary64_8534`

Counts

4 → 104

Calls

4 calls:

23.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 t z) (cbrt.f64 a)))
1.0ms	(cbrt.f64 a)
1.0ms	(cbrt.f64 a)
1.0ms	(cbrt.f64 a)

Compiler

Compiled 2571 to 508 computations (80.2% saved)

series672.0ms (7.1%)

Error

0.0b

Counts

4 → 27

Calls

4 calls:

332.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 t z) (cbrt.f64 a)))
112.0ms	(cbrt.f64 a)
107.0ms	(cbrt.f64 a)
99.0ms	(cbrt.f64 a)

Compiler

Compiled 1029 to 701 computations (31.9% saved)

simplify148.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

433×	`*-commutative_binary64_8534`
256×	`associate-/r/_binary64_8549`
203×	`associate-*r/_binary64_8545`
184×	`log-prod_binary64_8689`
178×	`distribute-rgt-in_binary64_8553` `distribute-lft-in_binary64_8552`
161×	`associate-*l/_binary64_8546`
153×	`associate-/l*_binary64_8548`
145×	`sub-neg_binary64_8596`
142×	`div-sub_binary64_8608`
128×	`times-frac_binary64_8609`
127×	`associate-l_binary64_8544`
118×	`log-div_binary64_8690`
114×	`associate-/r*_binary64_8547`
108×	`unswap-sqr_binary64_8571`
107×	`associate-r_binary64_8543`
101×	`cube-prod_binary64_8631`
99×	`neg-sub0_binary64_8598`
92×	`neg-mul-1_binary64_8599`
84×	`sqr-pow_binary64_8575`
80×	`exp-prod_binary64_8655`
76×	`cube-div_binary64_8632`
73×	`unpow3_binary64_8669`
68×	`associate-/l/_binary64_8550`
49×	`*-rgt-identity_binary64_8593`
47×	`*-lft-identity_binary64_8592`
36×	`unsub-neg_binary64_8597`
34×	`cancel-sign-sub-inv_binary64_8569`
32×	`distribute-rgt-neg-in_binary64_8561`
29×	`distribute-lft-neg-in_binary64_8560`
26×	`cube-mult_binary64_8633`
25×	`distribute-lft-neg-out_binary64_8562`
22×	`distribute-rgt-neg-out_binary64_8563` `associate-+l-_binary64_8538` `associate-+l+_binary64_8536` `+-commutative_binary64_8533`
21×	`distribute-neg-frac_binary64_8567`
20×	`exp-sum_binary64_8649` `associate-+r+_binary64_8535`
19×	`associate-+r-_binary64_8537`
17×	`exp-diff_binary64_8651` `swap-sqr_binary64_8570` `associate--r+_binary64_8539`
15×	`log-pow_binary64_8692`
13×	`/-rgt-identity_binary64_8594`
10×	`cube-unmult_binary64_8640`
9×	`cube-neg_binary64_8630` `mul-1-neg_binary64_8595` `+-rgt-identity_binary64_8588` `div0_binary64_8584` `distribute-frac-neg_binary64_8566` `distribute-neg-in_binary64_8564` `associate--l+_binary64_8540`
8×	`pow-sqr_binary64_8576`
7×	`pow-plus_binary64_8666`
6×	`remove-double-neg_binary64_8591` `associate--r-_binary64_8542`
5×	`log-rec_binary64_8691` `sqr-neg_binary64_8617` `sub0-neg_binary64_8590`
4×	`rem-sqrt-square_binary64_8616`
2×	`unpow1/3_binary64_8670` `exp-neg_binary64_8650` `distribute-rgt-out--_binary64_8557` `count-2_binary64_8551`
1×	`unpow1/2_binary64_8667` `1-exp_binary64_8647` `exp-1-e_binary64_8646` `rem-3cbrt-lft_binary64_8628` `rem-cube-cbrt_binary64_8626` `--rgt-identity_binary64_8589` `distribute-rgt-out_binary64_8556` `distribute-lft-out_binary64_8554` `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` `pow-base-0_binary64_8687` `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` `rem-3cbrt-rft_binary64_8629` `rem-cbrt-cube_binary64_8627` `sqr-abs_binary64_8618` `rem-square-sqrt_binary64_8615` `+-lft-identity_binary64_8587` `mul0-rgt_binary64_8586` `mul0-lft_binary64_8585` `*-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` `difference-of-squares_binary64_8572` `cancel-sign-sub_binary64_8568` `distribute-neg-out_binary64_8565` `distribute-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558` `distribute-lft-out--_binary64_8555`

Counts

131 → 93

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	168	2555
1	462	1780
2	2046	1780
3	3651	1780
4	4839	1780
5	4993	1780
6	4942	1780

prune87.0ms (0.9%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	92	1	93
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	92	9	101

Error

0.0b

Counts

101 → 9

Compiler

Compiled 1739 to 475 computations (72.7% saved)

regimes1.2s (12.3%)

Accuracy

Total 1.1b remaining (99.8%)

Threshold costs 0b (0%)

Compiler

Compiled 12343 to 8461 computations (31.5% saved)

bsearch0.0ms (0%)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

102×	`neg-mul-1_binary64_8599` `neg-sub0_binary64_8598`
66×	`unsub-neg_binary64_8597` `distribute-neg-out_binary64_8565`
42×	`distribute-rgt-neg-out_binary64_8563`
39×	`remove-double-neg_binary64_8591`
35×	`distribute-rgt-neg-in_binary64_8561`
32×	`distribute-lft-neg-out_binary64_8562`
19×	`distribute-lft-neg-in_binary64_8560`
17×	`sub-neg_binary64_8596`
14×	`*-commutative_binary64_8534` `+-commutative_binary64_8533`
10×	`+-rgt-identity_binary64_8588` `+-lft-identity_binary64_8587` `distribute-neg-in_binary64_8564`
8×	`cancel-sign-sub-inv_binary64_8569` `distribute-frac-neg_binary64_8566`
4×	`distribute-neg-frac_binary64_8567`
1×	`sqr-neg_binary64_8617` `--rgt-identity_binary64_8589`
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` `mul-1-neg_binary64_8595` `/-rgt-identity_binary64_8594` `-rgt-identity_binary64_8593` `-lft-identity_binary64_8592` `sub0-neg_binary64_8590` `cancel-sign-sub_binary64_8568`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	53
1	28	53
2	43	53
3	57	53
4	77	53
5	94	53
6	115	53
7	135	53
8	137	53
9	231	53
10	337	53
11	270	53
12	270	53

end0.0ms (0%)

sample1.8s (19.3%)

Algorithm

1×

intervals

Results

287.0ms	8000×	body	128	valid
77.0ms	2499×	body	128	invalid

Compiler

Compiled 1414 to 962 computations (32% saved)

Iter	Nodes	Cost
0	10	13
1	17	13
2	39	13
3	94	13
4	239	13
5	454	13
6	776	13
7	836	13
8	775	13
9	801	13
10	791	13
11	792	13
12	792	13
13	719	13

Iter	Nodes	Cost
0	19	53
1	28	53
2	43	53
3	57	53
4	77	53
5	94	53
6	115	53
7	135	53
8	137	53
9	231	53
10	337	53
11	270	53
12	270	53

Iter	Nodes	Cost
0	10	13
1	17	13
2	39	13
3	94	13
4	239	13
5	454	13
6	776	13
7	836	13
8	775	13
9	801	13
10	791	13
11	792	13
12	792	13
13	719	13

Iter	Nodes	Cost
0	19	53
1	28	53
2	43	53
3	57	53
4	77	53
5	94	53
6	115	53
7	135	53
8	137	53
9	231	53
10	337	53
11	270	53
12	270	53

Details

analyze1.1s (11.4%)

sample30.0ms (0.3%)

simplify56.0ms (0.6%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite94.0ms (1%)

series962.0ms (10.1%)

simplify94.0ms (1%)

prune78.0ms (0.8%)

localize11.0ms (0.1%)

rewrite155.0ms (1.6%)

series1.6s (16.9%)

simplify86.0ms (0.9%)

prune109.0ms (1.1%)

localize17.0ms (0.2%)

rewrite144.0ms (1.5%)

series718.0ms (7.6%)

simplify99.0ms (1%)

prune69.0ms (0.7%)

localize11.0ms (0.1%)

rewrite152.0ms (1.6%)

series672.0ms (7.1%)

simplify148.0ms (1.6%)

prune87.0ms (0.9%)

regimes1.2s (12.3%)

bsearch0.0ms (0%)

simplify10.0ms (0.1%)

end0.0ms (0%)

sample1.8s (19.3%)

Profiling

Iter	Nodes	Cost
0	10	13
1	17	13
2	39	13
3	94	13
4	239	13
5	454	13
6	776	13
7	836	13
8	775	13
9	801	13
10	791	13
11	792	13
12	792	13
13	719	13

Iter	Nodes	Cost
0	19	53
1	28	53
2	43	53
3	57	53
4	77	53
5	94	53
6	115	53
7	135	53
8	137	53
9	231	53
10	337	53
11	270	53
12	270	53