Details

analyze1.1s (13%)

Algorithm

1×	search
2×	egg-herbie

Rules

32×	`associate-/l*_binary64_16732`
22×	`associate-/r/_binary64_16733` `associate-*r/_binary64_16729`
20×	`associate-/r*_binary64_16731`
10×	`times-frac_binary64_16793` `associate-/l/_binary64_16734` `associate-l/_binary64_16730` `-commutative_binary64_16718`
6×	`+-commutative_binary64_16717`
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_17050` `erf-erfc_binary64_17049` `erf-odd_binary64_17048` `if-if-and-not_binary64_17047` `if-if-and_binary64_17046` `if-if-or-not_binary64_17045` `if-if-or_binary64_17044` `if-not_binary64_17043` `if-same_binary64_17042` `if-false_binary64_17041` `if-true_binary64_17040` `not-gte_binary64_17039` `not-lte_binary64_17038` `not-gt_binary64_17037` `not-lt_binary64_17036` `gte-same_binary64_17035` `lte-same_binary64_17034` `gt-same_binary64_17033` `lt-same_binary64_17032` `sinh---cosh_binary64_16979` `sinh-+-cosh_binary64_16978` `sinh-cosh_binary64_16977` `tanh-def-c_binary64_16976` `tanh-def-b_binary64_16975` `tanh-def-a_binary64_16974` `cosh-def_binary64_16973` `sinh-def_binary64_16972` `tan-neg_binary64_16919` `cos-neg_binary64_16918` `sin-neg_binary64_16917` `tan-0_binary64_16916` `cos-0_binary64_16915` `sin-0_binary64_16914` `hang-m-tan_binary64_16913` `hang-p-tan_binary64_16912` `hang-m0-tan_binary64_16911` `hang-p0-tan_binary64_16910` `hang-0m-tan_binary64_16909` `hang-0p-tan_binary64_16908` `tan-+PI/2_binary64_16907` `tan-+PI_binary64_16906` `tan-PI_binary64_16905` `tan-PI/3_binary64_16904` `tan-PI/4_binary64_16903` `tan-PI/6_binary64_16902` `cos-+PI/2_binary64_16901` `cos-+PI_binary64_16900` `cos-PI_binary64_16899` `cos-PI/2_binary64_16898` `cos-PI/3_binary64_16897` `cos-PI/4_binary64_16896` `cos-PI/6_binary64_16895` `sin-+PI/2_binary64_16894` `sin-+PI_binary64_16893` `sin-PI_binary64_16892` `sin-PI/2_binary64_16891` `sin-PI/3_binary64_16890` `sin-PI/4_binary64_16889` `sin-PI/6_binary64_16888` `sub-1-sin_binary64_16887` `sub-1-cos_binary64_16886` `-1-add-sin_binary64_16885` `-1-add-cos_binary64_16884` `1-sub-sin_binary64_16883` `1-sub-cos_binary64_16882` `cos-sin-sum_binary64_16881` `log-E_binary64_16877` `log-pow_binary64_16876` `log-rec_binary64_16875` `log-div_binary64_16874` `log-prod_binary64_16873` `pow-base-0_binary64_16871` `unpow1/3_binary64_16854` `unpow3_binary64_16853` `unpow2_binary64_16852` `unpow1/2_binary64_16851` `pow-plus_binary64_16850` `exp-to-pow_binary64_16849` `pow-base-1_binary64_16847` `unpow0_binary64_16846` `unpow1_binary64_16845` `unpow-1_binary64_16844` `exp-lft-cube_binary64_16843` `exp-lft-sqr_binary64_16842` `exp-cbrt_binary64_16841` `exp-sqrt_binary64_16840` `exp-prod_binary64_16839` `div-exp_binary64_16838` `rec-exp_binary64_16837` `prod-exp_binary64_16836` `exp-diff_binary64_16835` `exp-neg_binary64_16834` `exp-sum_binary64_16833` `e-exp-1_binary64_16832` `1-exp_binary64_16831` `exp-1-e_binary64_16830` `exp-0_binary64_16829` `rem-log-exp_binary64_16828` `rem-exp-log_binary64_16827` `cube-unmult_binary64_16824` `cube-mult_binary64_16817` `cube-div_binary64_16816` `cube-prod_binary64_16815` `cube-neg_binary64_16814` `rem-3cbrt-rft_binary64_16813` `rem-3cbrt-lft_binary64_16812` `rem-cbrt-cube_binary64_16811` `rem-cube-cbrt_binary64_16810` `sqr-abs_binary64_16802` `sqr-neg_binary64_16801` `rem-sqrt-square_binary64_16800` `rem-square-sqrt_binary64_16799` `div-sub_binary64_16792` `neg-mul-1_binary64_16783` `neg-sub0_binary64_16782` `unsub-neg_binary64_16781` `sub-neg_binary64_16780` `mul-1-neg_binary64_16779` `/-rgt-identity_binary64_16778` `-rgt-identity_binary64_16777` `-lft-identity_binary64_16776` `remove-double-neg_binary64_16775` `sub0-neg_binary64_16774` `--rgt-identity_binary64_16773` `+-rgt-identity_binary64_16772` `+-lft-identity_binary64_16771` `mul0-rgt_binary64_16770` `mul0-lft_binary64_16769` `div0_binary64_16768` `-inverses_binary64_16767` `+-inverses_binary64_16766` `lft-mult-inverse_binary64_16765` `rgt-mult-inverse_binary64_16764` `remove-double-div_binary64_16763` `pow-sqr_binary64_16760` `sqr-pow_binary64_16759` `difference-of-sqr--1_binary64_16758` `difference-of-sqr-1_binary64_16757` `difference-of-squares_binary64_16756` `unswap-sqr_binary64_16755` `swap-sqr_binary64_16754` `cancel-sign-sub-inv_binary64_16753` `cancel-sign-sub_binary64_16752` `distribute-neg-frac_binary64_16751` `distribute-frac-neg_binary64_16750` `distribute-neg-out_binary64_16749` `distribute-neg-in_binary64_16748` `distribute-rgt-neg-out_binary64_16747` `distribute-lft-neg-out_binary64_16746` `distribute-rgt-neg-in_binary64_16745` `distribute-lft-neg-in_binary64_16744` `distribute-rgt1-in_binary64_16743` `distribute-lft1-in_binary64_16742` `distribute-rgt-out--_binary64_16741` `distribute-rgt-out_binary64_16740` `distribute-lft-out--_binary64_16739` `distribute-lft-out_binary64_16738` `distribute-rgt-in_binary64_16737` `distribute-lft-in_binary64_16736` `count-2_binary64_16735` `associate-l_binary64_16728` `associate-r*_binary64_16727` `associate--r-_binary64_16726` `associate--l-_binary64_16725` `associate--l+_binary64_16724` `associate--r+_binary64_16723` `associate-+l-_binary64_16722` `associate-+r-_binary64_16721` `associate-+l+_binary64_16720` `associate-+r+_binary64_16719`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	154
1	83	154
2	157	154
3	173	154
4	171	154
5	171	154
0	4	4
1	4	4

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
6.2%	93.6%	0.2%	9
9.4%	90.4%	0.2%	10
14%	83.4%	2.5%	11
18.7%	78.2%	3.1%	12
28.1%	65.5%	6.4%	13
30.7%	59.4%	9.9%	14

Compiler

Compiled 16 to 12 computations (25% saved)

sample39.0ms (0.5%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
9.0ms	205×	body	128	invalid

Compiler

Compiled 31 to 27 computations (12.9% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`associate-/l*_binary64_16732`
6×	`associate-/r/_binary64_16733` `associate-*r/_binary64_16729`
4×	`associate-/r*_binary64_16731`
2×	`times-frac_binary64_16793` `associate-/l/_binary64_16734` `associate-l/_binary64_16730` `-commutative_binary64_16718`
1×	`+-commutative_binary64_16717`
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_17050` `erf-erfc_binary64_17049` `erf-odd_binary64_17048` `if-if-and-not_binary64_17047` `if-if-and_binary64_17046` `if-if-or-not_binary64_17045` `if-if-or_binary64_17044` `if-not_binary64_17043` `if-same_binary64_17042` `if-false_binary64_17041` `if-true_binary64_17040` `not-gte_binary64_17039` `not-lte_binary64_17038` `not-gt_binary64_17037` `not-lt_binary64_17036` `gte-same_binary64_17035` `lte-same_binary64_17034` `gt-same_binary64_17033` `lt-same_binary64_17032` `sinh---cosh_binary64_16979` `sinh-+-cosh_binary64_16978` `sinh-cosh_binary64_16977` `tanh-def-c_binary64_16976` `tanh-def-b_binary64_16975` `tanh-def-a_binary64_16974` `cosh-def_binary64_16973` `sinh-def_binary64_16972` `tan-neg_binary64_16919` `cos-neg_binary64_16918` `sin-neg_binary64_16917` `tan-0_binary64_16916` `cos-0_binary64_16915` `sin-0_binary64_16914` `hang-m-tan_binary64_16913` `hang-p-tan_binary64_16912` `hang-m0-tan_binary64_16911` `hang-p0-tan_binary64_16910` `hang-0m-tan_binary64_16909` `hang-0p-tan_binary64_16908` `tan-+PI/2_binary64_16907` `tan-+PI_binary64_16906` `tan-PI_binary64_16905` `tan-PI/3_binary64_16904` `tan-PI/4_binary64_16903` `tan-PI/6_binary64_16902` `cos-+PI/2_binary64_16901` `cos-+PI_binary64_16900` `cos-PI_binary64_16899` `cos-PI/2_binary64_16898` `cos-PI/3_binary64_16897` `cos-PI/4_binary64_16896` `cos-PI/6_binary64_16895` `sin-+PI/2_binary64_16894` `sin-+PI_binary64_16893` `sin-PI_binary64_16892` `sin-PI/2_binary64_16891` `sin-PI/3_binary64_16890` `sin-PI/4_binary64_16889` `sin-PI/6_binary64_16888` `sub-1-sin_binary64_16887` `sub-1-cos_binary64_16886` `-1-add-sin_binary64_16885` `-1-add-cos_binary64_16884` `1-sub-sin_binary64_16883` `1-sub-cos_binary64_16882` `cos-sin-sum_binary64_16881` `log-E_binary64_16877` `log-pow_binary64_16876` `log-rec_binary64_16875` `log-div_binary64_16874` `log-prod_binary64_16873` `pow-base-0_binary64_16871` `unpow1/3_binary64_16854` `unpow3_binary64_16853` `unpow2_binary64_16852` `unpow1/2_binary64_16851` `pow-plus_binary64_16850` `exp-to-pow_binary64_16849` `pow-base-1_binary64_16847` `unpow0_binary64_16846` `unpow1_binary64_16845` `unpow-1_binary64_16844` `exp-lft-cube_binary64_16843` `exp-lft-sqr_binary64_16842` `exp-cbrt_binary64_16841` `exp-sqrt_binary64_16840` `exp-prod_binary64_16839` `div-exp_binary64_16838` `rec-exp_binary64_16837` `prod-exp_binary64_16836` `exp-diff_binary64_16835` `exp-neg_binary64_16834` `exp-sum_binary64_16833` `e-exp-1_binary64_16832` `1-exp_binary64_16831` `exp-1-e_binary64_16830` `exp-0_binary64_16829` `rem-log-exp_binary64_16828` `rem-exp-log_binary64_16827` `cube-unmult_binary64_16824` `cube-mult_binary64_16817` `cube-div_binary64_16816` `cube-prod_binary64_16815` `cube-neg_binary64_16814` `rem-3cbrt-rft_binary64_16813` `rem-3cbrt-lft_binary64_16812` `rem-cbrt-cube_binary64_16811` `rem-cube-cbrt_binary64_16810` `sqr-abs_binary64_16802` `sqr-neg_binary64_16801` `rem-sqrt-square_binary64_16800` `rem-square-sqrt_binary64_16799` `div-sub_binary64_16792` `neg-mul-1_binary64_16783` `neg-sub0_binary64_16782` `unsub-neg_binary64_16781` `sub-neg_binary64_16780` `mul-1-neg_binary64_16779` `/-rgt-identity_binary64_16778` `-rgt-identity_binary64_16777` `-lft-identity_binary64_16776` `remove-double-neg_binary64_16775` `sub0-neg_binary64_16774` `--rgt-identity_binary64_16773` `+-rgt-identity_binary64_16772` `+-lft-identity_binary64_16771` `mul0-rgt_binary64_16770` `mul0-lft_binary64_16769` `div0_binary64_16768` `-inverses_binary64_16767` `+-inverses_binary64_16766` `lft-mult-inverse_binary64_16765` `rgt-mult-inverse_binary64_16764` `remove-double-div_binary64_16763` `pow-sqr_binary64_16760` `sqr-pow_binary64_16759` `difference-of-sqr--1_binary64_16758` `difference-of-sqr-1_binary64_16757` `difference-of-squares_binary64_16756` `unswap-sqr_binary64_16755` `swap-sqr_binary64_16754` `cancel-sign-sub-inv_binary64_16753` `cancel-sign-sub_binary64_16752` `distribute-neg-frac_binary64_16751` `distribute-frac-neg_binary64_16750` `distribute-neg-out_binary64_16749` `distribute-neg-in_binary64_16748` `distribute-rgt-neg-out_binary64_16747` `distribute-lft-neg-out_binary64_16746` `distribute-rgt-neg-in_binary64_16745` `distribute-lft-neg-in_binary64_16744` `distribute-rgt1-in_binary64_16743` `distribute-lft1-in_binary64_16742` `distribute-rgt-out--_binary64_16741` `distribute-rgt-out_binary64_16740` `distribute-lft-out--_binary64_16739` `distribute-lft-out_binary64_16738` `distribute-rgt-in_binary64_16737` `distribute-lft-in_binary64_16736` `count-2_binary64_16735` `associate-l_binary64_16728` `associate-r*_binary64_16727` `associate--r-_binary64_16726` `associate--l-_binary64_16725` `associate--l+_binary64_16724` `associate--r+_binary64_16723` `associate-+l-_binary64_16722` `associate-+r-_binary64_16721` `associate-+l+_binary64_16720` `associate-+r+_binary64_16719`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	22
1	25	22
2	43	22
3	51	22
4	49	22
5	49	22

prune6.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

36.8b

Counts

1 → 1

Compiler

Compiled 15 to 11 computations (26.7% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

22.9b	(/.f64 (.f64 x x) (.f64 y y))
23.5b	(/.f64 (.f64 z z) (.f64 t t))

rewrite74.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

4.9b

Rules

26×	`add-exp-log_binary64_16825` `add-cbrt-cube_binary64_16823`
8×	`prod-exp_binary64_16836` `div-exp_binary64_16838` `cbrt-undiv_binary64_16821` `cbrt-unprod_binary64_16820`
2×	`pow1_binary64_16848` `add-log-exp_binary64_16826` `add-cube-cbrt_binary64_16822` `add-sqr-sqrt_binary64_16809` `frac-2neg_binary64_16798` `times-frac_binary64_16793` `-un-lft-identity_binary64_16787` `clear-num_binary64_16786` `div-inv_binary64_16784` `associate-/l_binary64_16732` `associate-/r*_binary64_16731`

Counts

2 → 42

Calls

2 calls:

7.0ms	(/.f64 (.f64 x x) (.f64 y y))
7.0ms	(/.f64 (.f64 z z) (.f64 t t))

Compiler

Compiled 918 to 174 computations (81% saved)

series241.0ms (2.9%)

Error

36.8b

Counts

2 → 12

Calls

2 calls:

117.0ms	(/.f64 (.f64 x x) (.f64 y y))
114.0ms	(/.f64 (.f64 z z) (.f64 t t))

Compiler

Compiled 540 to 394 computations (27% saved)

simplify69.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

658×	`associate-/l*_binary64_16732`
562×	`unswap-sqr_binary64_16755`
430×	`associate-*l/_binary64_16730`
324×	`associate-l_binary64_16728`
318×	`associate-/r*_binary64_16731`
278×	`associate-*r/_binary64_16729`
248×	`associate-r_binary64_16727`
200×	`associate-/l/_binary64_16734`
198×	`times-frac_binary64_16793`
156×	`associate-/r/_binary64_16733`
140×	`sub-neg_binary64_16780`
136×	`sqr-pow_binary64_16759`
86×	`log-prod_binary64_16873`
64×	`log-div_binary64_16874`
60×	`cube-prod_binary64_16815`
58×	`*-commutative_binary64_16718`
52×	`cube-div_binary64_16816`
44×	`unpow3_binary64_16853`
40×	`neg-mul-1_binary64_16783`
38×	`neg-sub0_binary64_16782`
36×	`pow-plus_binary64_16850`
34×	`cube-mult_binary64_16817` `associate-+l+_binary64_16720`
32×	`cancel-sign-sub-inv_binary64_16753`
28×	`pow-sqr_binary64_16760` `swap-sqr_binary64_16754` `associate-+r+_binary64_16719` `+-commutative_binary64_16717`
26×	`unsub-neg_binary64_16781` `associate--l+_binary64_16724` `associate--r+_binary64_16723`
24×	`distribute-lft-neg-in_binary64_16744`
22×	`distribute-rgt-neg-in_binary64_16745` `distribute-rgt-in_binary64_16737` `associate-+l-_binary64_16722`
20×	`log-pow_binary64_16876` `distribute-lft-in_binary64_16736`
18×	`cube-unmult_binary64_16824`
12×	`exp-prod_binary64_16839` `+-rgt-identity_binary64_16772` `associate-+r-_binary64_16721`
10×	`sub0-neg_binary64_16774` `count-2_binary64_16735`
8×	`mul0-rgt_binary64_16770` `mul0-lft_binary64_16769`
6×	`rem-sqrt-square_binary64_16800` `--rgt-identity_binary64_16773` `distribute-neg-in_binary64_16748` `distribute-lft-out--_binary64_16739` `distribute-lft-out_binary64_16738`
4×	`unpow2_binary64_16852` `unpow1/2_binary64_16851` `unpow1_binary64_16845` `-rgt-identity_binary64_16777` `-lft-identity_binary64_16776` `distribute-rgt-neg-out_binary64_16747` `distribute-lft-neg-out_binary64_16746` `distribute-rgt-out--_binary64_16741`
2×	`remove-double-neg_binary64_16775` `+-lft-identity_binary64_16771` `associate--r-_binary64_16726`
1×	`1-exp_binary64_16831`
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_17050` `erf-erfc_binary64_17049` `erf-odd_binary64_17048` `if-if-and-not_binary64_17047` `if-if-and_binary64_17046` `if-if-or-not_binary64_17045` `if-if-or_binary64_17044` `if-not_binary64_17043` `if-same_binary64_17042` `if-false_binary64_17041` `if-true_binary64_17040` `not-gte_binary64_17039` `not-lte_binary64_17038` `not-gt_binary64_17037` `not-lt_binary64_17036` `gte-same_binary64_17035` `lte-same_binary64_17034` `gt-same_binary64_17033` `lt-same_binary64_17032` `sinh---cosh_binary64_16979` `sinh-+-cosh_binary64_16978` `sinh-cosh_binary64_16977` `tanh-def-c_binary64_16976` `tanh-def-b_binary64_16975` `tanh-def-a_binary64_16974` `cosh-def_binary64_16973` `sinh-def_binary64_16972` `tan-neg_binary64_16919` `cos-neg_binary64_16918` `sin-neg_binary64_16917` `tan-0_binary64_16916` `cos-0_binary64_16915` `sin-0_binary64_16914` `hang-m-tan_binary64_16913` `hang-p-tan_binary64_16912` `hang-m0-tan_binary64_16911` `hang-p0-tan_binary64_16910` `hang-0m-tan_binary64_16909` `hang-0p-tan_binary64_16908` `tan-+PI/2_binary64_16907` `tan-+PI_binary64_16906` `tan-PI_binary64_16905` `tan-PI/3_binary64_16904` `tan-PI/4_binary64_16903` `tan-PI/6_binary64_16902` `cos-+PI/2_binary64_16901` `cos-+PI_binary64_16900` `cos-PI_binary64_16899` `cos-PI/2_binary64_16898` `cos-PI/3_binary64_16897` `cos-PI/4_binary64_16896` `cos-PI/6_binary64_16895` `sin-+PI/2_binary64_16894` `sin-+PI_binary64_16893` `sin-PI_binary64_16892` `sin-PI/2_binary64_16891` `sin-PI/3_binary64_16890` `sin-PI/4_binary64_16889` `sin-PI/6_binary64_16888` `sub-1-sin_binary64_16887` `sub-1-cos_binary64_16886` `-1-add-sin_binary64_16885` `-1-add-cos_binary64_16884` `1-sub-sin_binary64_16883` `1-sub-cos_binary64_16882` `cos-sin-sum_binary64_16881` `log-E_binary64_16877` `log-rec_binary64_16875` `pow-base-0_binary64_16871` `unpow1/3_binary64_16854` `exp-to-pow_binary64_16849` `pow-base-1_binary64_16847` `unpow0_binary64_16846` `unpow-1_binary64_16844` `exp-lft-cube_binary64_16843` `exp-lft-sqr_binary64_16842` `exp-cbrt_binary64_16841` `exp-sqrt_binary64_16840` `div-exp_binary64_16838` `rec-exp_binary64_16837` `prod-exp_binary64_16836` `exp-diff_binary64_16835` `exp-neg_binary64_16834` `exp-sum_binary64_16833` `e-exp-1_binary64_16832` `exp-1-e_binary64_16830` `exp-0_binary64_16829` `rem-log-exp_binary64_16828` `rem-exp-log_binary64_16827` `cube-neg_binary64_16814` `rem-3cbrt-rft_binary64_16813` `rem-3cbrt-lft_binary64_16812` `rem-cbrt-cube_binary64_16811` `rem-cube-cbrt_binary64_16810` `sqr-abs_binary64_16802` `sqr-neg_binary64_16801` `rem-square-sqrt_binary64_16799` `div-sub_binary64_16792` `mul-1-neg_binary64_16779` `/-rgt-identity_binary64_16778` `div0_binary64_16768` `*-inverses_binary64_16767` `+-inverses_binary64_16766` `lft-mult-inverse_binary64_16765` `rgt-mult-inverse_binary64_16764` `remove-double-div_binary64_16763` `difference-of-sqr--1_binary64_16758` `difference-of-sqr-1_binary64_16757` `difference-of-squares_binary64_16756` `cancel-sign-sub_binary64_16752` `distribute-neg-frac_binary64_16751` `distribute-frac-neg_binary64_16750` `distribute-neg-out_binary64_16749` `distribute-rgt1-in_binary64_16743` `distribute-lft1-in_binary64_16742` `distribute-rgt-out_binary64_16740` `associate--l-_binary64_16725`

Counts

54 → 38

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	91	830
1	229	586
2	796	536
3	3128	506
4	4060	506
5	5115	506

prune47.0ms (0.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	30	8	38
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	31	8	39

Error

4.9b

Counts

39 → 8

Compiler

Compiled 686 to 203 computations (70.4% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.3b	(*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t)))
22.9b	(/.f64 (.f64 x x) (.f64 y y))

rewrite71.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

16×	`add-exp-log_binary64_16825` `add-cbrt-cube_binary64_16823`
9×	`pow1_binary64_16848`
8×	`add-sqr-sqrt_binary64_16809`
6×	`add-cube-cbrt_binary64_16822` `*-un-lft-identity_binary64_16787`
5×	`prod-exp_binary64_16836` `cbrt-unprod_binary64_16820`
4×	`div-exp_binary64_16838` `cbrt-undiv_binary64_16821`
3×	`swap-sqr_binary64_16754` `associate-l_binary64_16728` `associate-r_binary64_16727`
2×	`add-log-exp_binary64_16826`
1×	`frac-2neg_binary64_16798` `times-frac_binary64_16793` `clear-num_binary64_16786` `div-inv_binary64_16784` `associate-/l_binary64_16732` `associate-/r_binary64_16731` `pow2_binary64_16868` `pow-prod-down_binary64_16858` `pow-prod-up_binary64_16857` `pow-plus_binary64_16850` `sqr-abs_binary64_16802` `pow-sqr_binary64_16760` `unswap-sqr_binary64_16755` `*-commutative_binary64_16718`

Counts

2 → 47

Calls

2 calls:

6.0ms	(/.f64 (.f64 x x) (.f64 y y))
4.0ms	(*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t)))

Compiler

Compiled 1127 to 180 computations (84% saved)

series222.0ms (2.7%)

Error

4.9b

Counts

2 → 12

Calls

2 calls:

124.0ms	(/.f64 (.f64 x x) (.f64 y y))
85.0ms	(*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t)))

Compiler

Compiled 558 to 364 computations (34.8% saved)

simplify87.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

528×	`times-frac_binary64_16793`
488×	`unswap-sqr_binary64_16755`
333×	`associate-/l*_binary64_16732`
284×	`associate-l_binary64_16728`
218×	`associate-*l/_binary64_16730`
201×	`log-prod_binary64_16873`
185×	`distribute-rgt-in_binary64_16737`
184×	`sqr-pow_binary64_16759`
178×	`associate-r_binary64_16727`
156×	`associate-/r*_binary64_16731`
148×	`associate-*r/_binary64_16729`
120×	`exp-prod_binary64_16839`
105×	`cube-prod_binary64_16815`
103×	`swap-sqr_binary64_16754`
95×	`associate-/l/_binary64_16734`
84×	`sub-neg_binary64_16780`
78×	`unpow3_binary64_16853`
73×	`associate-/r/_binary64_16733`
60×	`cube-mult_binary64_16817`
53×	`pow-plus_binary64_16850` `associate-+l+_binary64_16720`
51×	`pow-sqr_binary64_16760`
49×	`cancel-sign-sub-inv_binary64_16753`
47×	`associate-+r+_binary64_16719`
46×	`log-div_binary64_16874`
43×	`log-pow_binary64_16876`
38×	`*-commutative_binary64_16718`
37×	`cube-div_binary64_16816`
36×	`distribute-neg-in_binary64_16748`
29×	`distribute-rgt-neg-in_binary64_16745`
27×	`distribute-lft-neg-in_binary64_16744`
24×	`cube-unmult_binary64_16824` `distribute-lft-in_binary64_16736`
21×	`neg-mul-1_binary64_16783`
20×	`neg-sub0_binary64_16782`
19×	`rem-sqrt-square_binary64_16800`
18×	`distribute-lft-out_binary64_16738`
17×	`*-rgt-identity_binary64_16777` `distribute-rgt-out_binary64_16740`
15×	`*-lft-identity_binary64_16776` `distribute-lft-out--_binary64_16739` `associate-+l-_binary64_16722`
14×	`+-commutative_binary64_16717`
13×	`unsub-neg_binary64_16781` `associate--l+_binary64_16724` `associate--r+_binary64_16723`
10×	`count-2_binary64_16735`
9×	`unpow1/2_binary64_16851` `associate-+r-_binary64_16721`
8×	`unpow2_binary64_16852`
6×	`+-rgt-identity_binary64_16772`
5×	`unpow1_binary64_16845` `sub0-neg_binary64_16774`
4×	`mul0-rgt_binary64_16770` `mul0-lft_binary64_16769` `distribute-rgt-out--_binary64_16741`
3×	`--rgt-identity_binary64_16773` `distribute-lft-neg-out_binary64_16746`
2×	`distribute-rgt-neg-out_binary64_16747`
1×	`1-exp_binary64_16831` `exp-1-e_binary64_16830` `rem-3cbrt-rft_binary64_16813` `rem-3cbrt-lft_binary64_16812` `rem-cbrt-cube_binary64_16811` `sqr-abs_binary64_16802` `rem-square-sqrt_binary64_16799` `remove-double-neg_binary64_16775` `+-lft-identity_binary64_16771` `distribute-rgt1-in_binary64_16743` `distribute-lft1-in_binary64_16742` `associate--r-_binary64_16726`
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_17050` `erf-erfc_binary64_17049` `erf-odd_binary64_17048` `if-if-and-not_binary64_17047` `if-if-and_binary64_17046` `if-if-or-not_binary64_17045` `if-if-or_binary64_17044` `if-not_binary64_17043` `if-same_binary64_17042` `if-false_binary64_17041` `if-true_binary64_17040` `not-gte_binary64_17039` `not-lte_binary64_17038` `not-gt_binary64_17037` `not-lt_binary64_17036` `gte-same_binary64_17035` `lte-same_binary64_17034` `gt-same_binary64_17033` `lt-same_binary64_17032` `sinh---cosh_binary64_16979` `sinh-+-cosh_binary64_16978` `sinh-cosh_binary64_16977` `tanh-def-c_binary64_16976` `tanh-def-b_binary64_16975` `tanh-def-a_binary64_16974` `cosh-def_binary64_16973` `sinh-def_binary64_16972` `tan-neg_binary64_16919` `cos-neg_binary64_16918` `sin-neg_binary64_16917` `tan-0_binary64_16916` `cos-0_binary64_16915` `sin-0_binary64_16914` `hang-m-tan_binary64_16913` `hang-p-tan_binary64_16912` `hang-m0-tan_binary64_16911` `hang-p0-tan_binary64_16910` `hang-0m-tan_binary64_16909` `hang-0p-tan_binary64_16908` `tan-+PI/2_binary64_16907` `tan-+PI_binary64_16906` `tan-PI_binary64_16905` `tan-PI/3_binary64_16904` `tan-PI/4_binary64_16903` `tan-PI/6_binary64_16902` `cos-+PI/2_binary64_16901` `cos-+PI_binary64_16900` `cos-PI_binary64_16899` `cos-PI/2_binary64_16898` `cos-PI/3_binary64_16897` `cos-PI/4_binary64_16896` `cos-PI/6_binary64_16895` `sin-+PI/2_binary64_16894` `sin-+PI_binary64_16893` `sin-PI_binary64_16892` `sin-PI/2_binary64_16891` `sin-PI/3_binary64_16890` `sin-PI/4_binary64_16889` `sin-PI/6_binary64_16888` `sub-1-sin_binary64_16887` `sub-1-cos_binary64_16886` `-1-add-sin_binary64_16885` `-1-add-cos_binary64_16884` `1-sub-sin_binary64_16883` `1-sub-cos_binary64_16882` `cos-sin-sum_binary64_16881` `log-E_binary64_16877` `log-rec_binary64_16875` `pow-base-0_binary64_16871` `unpow1/3_binary64_16854` `exp-to-pow_binary64_16849` `pow-base-1_binary64_16847` `unpow0_binary64_16846` `unpow-1_binary64_16844` `exp-lft-cube_binary64_16843` `exp-lft-sqr_binary64_16842` `exp-cbrt_binary64_16841` `exp-sqrt_binary64_16840` `div-exp_binary64_16838` `rec-exp_binary64_16837` `prod-exp_binary64_16836` `exp-diff_binary64_16835` `exp-neg_binary64_16834` `exp-sum_binary64_16833` `e-exp-1_binary64_16832` `exp-0_binary64_16829` `rem-log-exp_binary64_16828` `rem-exp-log_binary64_16827` `cube-neg_binary64_16814` `rem-cube-cbrt_binary64_16810` `sqr-neg_binary64_16801` `div-sub_binary64_16792` `mul-1-neg_binary64_16779` `/-rgt-identity_binary64_16778` `div0_binary64_16768` `*-inverses_binary64_16767` `+-inverses_binary64_16766` `lft-mult-inverse_binary64_16765` `rgt-mult-inverse_binary64_16764` `remove-double-div_binary64_16763` `difference-of-sqr--1_binary64_16758` `difference-of-sqr-1_binary64_16757` `difference-of-squares_binary64_16756` `cancel-sign-sub_binary64_16752` `distribute-neg-frac_binary64_16751` `distribute-frac-neg_binary64_16750` `distribute-neg-out_binary64_16749` `associate--l-_binary64_16725`

Counts

59 → 48

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	77	803
1	171	619
2	564	579
3	2273	546
4	3763	507
5	4803	453
6	4926	453

prune59.0ms (0.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	42	6	48
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	46	10	56

Error

0.1b

Counts

56 → 10

Compiler

Compiled 977 to 327 computations (66.5% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.3b	(pow.f64 (/.f64 x y) 2)
0.3b	(*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t)))

rewrite77.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

16×	`add-sqr-sqrt_binary64_16809`
14×	`add-cube-cbrt_binary64_16822` `*-un-lft-identity_binary64_16787`
13×	`unpow-prod-down_binary64_16866`
10×	`pow1_binary64_16848`
9×	`times-frac_binary64_16793`
7×	`add-exp-log_binary64_16825`
4×	`add-cbrt-cube_binary64_16823`
3×	`swap-sqr_binary64_16754` `associate-l_binary64_16728` `associate-r_binary64_16727` `pow-unpow_binary64_16864`
2×	`add-log-exp_binary64_16826` `pow-exp_binary64_16855`
1×	`pow2_binary64_16868` `pow-prod-down_binary64_16858` `pow-prod-up_binary64_16857` `pow-plus_binary64_16850` `prod-exp_binary64_16836` `cbrt-unprod_binary64_16820` `sqr-abs_binary64_16802` `pow-sqr_binary64_16760` `unswap-sqr_binary64_16755` `*-commutative_binary64_16718` `div-inv_binary64_16784` `pow-pow_binary64_16859` `pow-to-exp_binary64_16856` `div-exp_binary64_16838` `unpow2_binary64_16852` `sqr-pow_binary64_16759`

Counts

2 → 55

Calls

2 calls:

5.0ms	(pow.f64 (/.f64 x y) 2)
4.0ms	(*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t)))

Compiler

Compiled 1212 to 366 computations (69.8% saved)

series200.0ms (2.4%)

Error

0.1b

Counts

2 → 12

Calls

2 calls:

110.0ms	(pow.f64 (/.f64 x y) 2)
79.0ms	(*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t)))

Compiler

Compiled 522 to 374 computations (28.4% saved)

simplify98.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

462×	`log-div_binary64_16874`
395×	`associate-/r*_binary64_16731`
391×	`associate-/l/_binary64_16734`
329×	`log-prod_binary64_16873`
294×	`associate-l_binary64_16728`
201×	`associate-r_binary64_16727`
179×	`associate-/r/_binary64_16733`
157×	`sqr-pow_binary64_16759`
132×	`associate-*l/_binary64_16730`
115×	`associate-*r/_binary64_16729`
114×	`log-pow_binary64_16876`
111×	`unpow3_binary64_16853`
99×	`unswap-sqr_binary64_16755`
96×	`cube-prod_binary64_16815`
87×	`exp-prod_binary64_16839`
85×	`swap-sqr_binary64_16754`
74×	`associate-/l*_binary64_16732`
58×	`associate-+l+_binary64_16720`
54×	`associate-+r+_binary64_16719`
53×	`pow-plus_binary64_16850`
49×	`rem-sqrt-square_binary64_16800`
43×	`*-commutative_binary64_16718`
42×	`distribute-rgt-in_binary64_16737`
38×	`cube-div_binary64_16816`
36×	`cube-unmult_binary64_16824` `times-frac_binary64_16793`
35×	`pow-sqr_binary64_16760`
33×	`distribute-lft-in_binary64_16736`
25×	`unpow2_binary64_16852` `unpow1/2_binary64_16851`
23×	`unpow1_binary64_16845` `*-rgt-identity_binary64_16777`
19×	`associate-+l-_binary64_16722`
17×	`*-lft-identity_binary64_16776`
12×	`sub-neg_binary64_16780` `associate-+r-_binary64_16721`
10×	`distribute-lft-out_binary64_16738`
9×	`log-rec_binary64_16875` `cube-mult_binary64_16817`
8×	`/-rgt-identity_binary64_16778` `count-2_binary64_16735`
7×	`associate--r+_binary64_16723`
6×	`distribute-rgt-out_binary64_16740`
5×	`cancel-sign-sub-inv_binary64_16753`
4×	`associate--l+_binary64_16724`
3×	`rem-3cbrt-rft_binary64_16813` `rem-square-sqrt_binary64_16799` `neg-sub0_binary64_16782` `associate--r-_binary64_16726` `+-commutative_binary64_16717`
2×	`rem-3cbrt-lft_binary64_16812` `neg-mul-1_binary64_16783` `unsub-neg_binary64_16781` `distribute-rgt-neg-out_binary64_16747` `distribute-lft-neg-out_binary64_16746` `distribute-lft-out--_binary64_16739` `associate--l-_binary64_16725`
1×	`1-exp_binary64_16831` `exp-1-e_binary64_16830` `sqr-abs_binary64_16802` `sub0-neg_binary64_16774` `+-rgt-identity_binary64_16772` `distribute-neg-in_binary64_16748` `distribute-rgt-neg-in_binary64_16745`
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_17050` `erf-erfc_binary64_17049` `erf-odd_binary64_17048` `if-if-and-not_binary64_17047` `if-if-and_binary64_17046` `if-if-or-not_binary64_17045` `if-if-or_binary64_17044` `if-not_binary64_17043` `if-same_binary64_17042` `if-false_binary64_17041` `if-true_binary64_17040` `not-gte_binary64_17039` `not-lte_binary64_17038` `not-gt_binary64_17037` `not-lt_binary64_17036` `gte-same_binary64_17035` `lte-same_binary64_17034` `gt-same_binary64_17033` `lt-same_binary64_17032` `sinh---cosh_binary64_16979` `sinh-+-cosh_binary64_16978` `sinh-cosh_binary64_16977` `tanh-def-c_binary64_16976` `tanh-def-b_binary64_16975` `tanh-def-a_binary64_16974` `cosh-def_binary64_16973` `sinh-def_binary64_16972` `tan-neg_binary64_16919` `cos-neg_binary64_16918` `sin-neg_binary64_16917` `tan-0_binary64_16916` `cos-0_binary64_16915` `sin-0_binary64_16914` `hang-m-tan_binary64_16913` `hang-p-tan_binary64_16912` `hang-m0-tan_binary64_16911` `hang-p0-tan_binary64_16910` `hang-0m-tan_binary64_16909` `hang-0p-tan_binary64_16908` `tan-+PI/2_binary64_16907` `tan-+PI_binary64_16906` `tan-PI_binary64_16905` `tan-PI/3_binary64_16904` `tan-PI/4_binary64_16903` `tan-PI/6_binary64_16902` `cos-+PI/2_binary64_16901` `cos-+PI_binary64_16900` `cos-PI_binary64_16899` `cos-PI/2_binary64_16898` `cos-PI/3_binary64_16897` `cos-PI/4_binary64_16896` `cos-PI/6_binary64_16895` `sin-+PI/2_binary64_16894` `sin-+PI_binary64_16893` `sin-PI_binary64_16892` `sin-PI/2_binary64_16891` `sin-PI/3_binary64_16890` `sin-PI/4_binary64_16889` `sin-PI/6_binary64_16888` `sub-1-sin_binary64_16887` `sub-1-cos_binary64_16886` `-1-add-sin_binary64_16885` `-1-add-cos_binary64_16884` `1-sub-sin_binary64_16883` `1-sub-cos_binary64_16882` `cos-sin-sum_binary64_16881` `log-E_binary64_16877` `pow-base-0_binary64_16871` `unpow1/3_binary64_16854` `exp-to-pow_binary64_16849` `pow-base-1_binary64_16847` `unpow0_binary64_16846` `unpow-1_binary64_16844` `exp-lft-cube_binary64_16843` `exp-lft-sqr_binary64_16842` `exp-cbrt_binary64_16841` `exp-sqrt_binary64_16840` `div-exp_binary64_16838` `rec-exp_binary64_16837` `prod-exp_binary64_16836` `exp-diff_binary64_16835` `exp-neg_binary64_16834` `exp-sum_binary64_16833` `e-exp-1_binary64_16832` `exp-0_binary64_16829` `rem-log-exp_binary64_16828` `rem-exp-log_binary64_16827` `cube-neg_binary64_16814` `rem-cbrt-cube_binary64_16811` `rem-cube-cbrt_binary64_16810` `sqr-neg_binary64_16801` `div-sub_binary64_16792` `mul-1-neg_binary64_16779` `remove-double-neg_binary64_16775` `--rgt-identity_binary64_16773` `+-lft-identity_binary64_16771` `mul0-rgt_binary64_16770` `mul0-lft_binary64_16769` `div0_binary64_16768` `*-inverses_binary64_16767` `+-inverses_binary64_16766` `lft-mult-inverse_binary64_16765` `rgt-mult-inverse_binary64_16764` `remove-double-div_binary64_16763` `difference-of-sqr--1_binary64_16758` `difference-of-sqr-1_binary64_16757` `difference-of-squares_binary64_16756` `cancel-sign-sub_binary64_16752` `distribute-neg-frac_binary64_16751` `distribute-frac-neg_binary64_16750` `distribute-neg-out_binary64_16749` `distribute-lft-neg-in_binary64_16744` `distribute-rgt1-in_binary64_16743` `distribute-lft1-in_binary64_16742` `distribute-rgt-out--_binary64_16741`

Counts

67 → 48

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	107	887
1	222	699
2	529	653
3	1764	630
4	4252	623
5	4904	623
6	5119	623

prune66.0ms (0.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	43	5	48
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	45	13	58

Error

0.1b

Counts

58 → 13

Compiler

Compiled 1085 to 428 computations (60.6% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (sqrt.f64 (fabs.f64 (/.f64 z t))) (pow.f64 (fabs.f64 (/.f64 z t)) 3/2))
0.3b	(pow.f64 (fabs.f64 (/.f64 z t)) 3/2)
0.3b	(pow.f64 (/.f64 x y) 2)
10.9b	(sqrt.f64 (fabs.f64 (/.f64 z t)))

rewrite146.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

30×	`add-sqr-sqrt_binary64_16809`
21×	`unpow-prod-down_binary64_16866`
19×	`add-cube-cbrt_binary64_16822` `*-un-lft-identity_binary64_16787`
13×	`add-exp-log_binary64_16825`
9×	`sqrt-prod_binary64_16803` `times-frac_binary64_16793`
8×	`pow1_binary64_16848`
7×	`associate-r_binary64_16727`
6×	`add-cbrt-cube_binary64_16823` `pow-unpow_binary64_16864` `unswap-sqr_binary64_16755` `associate-l_binary64_16728`
5×	`sqr-pow_binary64_16759`
4×	`add-log-exp_binary64_16826` `pow-exp_binary64_16855`
3×	`pow-to-exp_binary64_16856` `prod-exp_binary64_16836`
2×	`pow1/2_binary64_16867` `sqrt-pow1_binary64_16805` `pow-pow_binary64_16859` `pow-prod-up_binary64_16857`
1×	`rem-sqrt-square_binary64_16800` `div-inv_binary64_16784` `div-exp_binary64_16838` `unpow2_binary64_16852` `cbrt-unprod_binary64_16820` `*-commutative_binary64_16718`

Counts

4 → 92

Calls

4 calls:

7.0ms	(*.f64 (sqrt.f64 (fabs.f64 (/.f64 z t))) (pow.f64 (fabs.f64 (/.f64 z t)) 3/2))
5.0ms	(pow.f64 (/.f64 x y) 2)
2.0ms	(pow.f64 (fabs.f64 (/.f64 z t)) 3/2)
1.0ms	(sqrt.f64 (fabs.f64 (/.f64 z t)))

Compiler

Compiled 2372 to 912 computations (61.6% saved)

series714.0ms (8.6%)

Error

0.1b

Counts

4 → 24

Calls

4 calls:

312.0ms	(pow.f64 (/.f64 x y) 2)
245.0ms	(pow.f64 (fabs.f64 (/.f64 z t)) 3/2)
68.0ms	(*.f64 (sqrt.f64 (fabs.f64 (/.f64 z t))) (pow.f64 (fabs.f64 (/.f64 z t)) 3/2))
65.0ms	(sqrt.f64 (fabs.f64 (/.f64 z t)))

Compiler

Compiled 1242 to 854 computations (31.2% saved)

simplify113.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

457×	`associate-l_binary64_16728`
398×	`associate-/l/_binary64_16734`
397×	`associate-/r*_binary64_16731`
333×	`associate-r_binary64_16727`
258×	`log-div_binary64_16874`
193×	`sqr-pow_binary64_16759`
178×	`associate-/r/_binary64_16733`
167×	`log-prod_binary64_16873`
135×	`cube-prod_binary64_16815`
126×	`exp-prod_binary64_16839`
113×	`unswap-sqr_binary64_16755`
110×	`associate-*l/_binary64_16730`
108×	`swap-sqr_binary64_16754`
95×	`associate-*r/_binary64_16729`
79×	`log-pow_binary64_16876`
78×	`*-commutative_binary64_16718`
72×	`associate-/l*_binary64_16732`
61×	`distribute-rgt-in_binary64_16737`
59×	`rem-sqrt-square_binary64_16800`
52×	`pow-plus_binary64_16850` `distribute-lft-in_binary64_16736`
45×	`cube-unmult_binary64_16824` `pow-sqr_binary64_16760`
36×	`times-frac_binary64_16793`
32×	`cube-div_binary64_16816`
28×	`*-rgt-identity_binary64_16777`
25×	`*-lft-identity_binary64_16776`
24×	`unpow1/2_binary64_16851`
23×	`unpow2_binary64_16852` `unpow1_binary64_16845`
11×	`unpow3_binary64_16853`
10×	`sub-neg_binary64_16780` `count-2_binary64_16735`
9×	`cube-mult_binary64_16817`
8×	`/-rgt-identity_binary64_16778` `distribute-rgt-out_binary64_16740` `distribute-lft-out_binary64_16738`
6×	`associate-+l+_binary64_16720` `associate-+r+_binary64_16719`
5×	`cancel-sign-sub-inv_binary64_16753`
4×	`pow-base-1_binary64_16847`
3×	`log-rec_binary64_16875` `rem-square-sqrt_binary64_16799` `neg-sub0_binary64_16782` `+-commutative_binary64_16717`
2×	`rem-3cbrt-rft_binary64_16813` `neg-mul-1_binary64_16783` `unsub-neg_binary64_16781` `distribute-rgt-neg-out_binary64_16747` `distribute-lft-neg-out_binary64_16746` `distribute-lft-out--_binary64_16739` `associate-+l-_binary64_16722` `associate-+r-_binary64_16721`
1×	`1-exp_binary64_16831` `exp-1-e_binary64_16830` `rem-3cbrt-lft_binary64_16812` `rem-cbrt-cube_binary64_16811` `sqr-abs_binary64_16802` `sub0-neg_binary64_16774` `+-rgt-identity_binary64_16772` `distribute-neg-in_binary64_16748` `distribute-rgt-neg-in_binary64_16745`
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_17050` `erf-erfc_binary64_17049` `erf-odd_binary64_17048` `if-if-and-not_binary64_17047` `if-if-and_binary64_17046` `if-if-or-not_binary64_17045` `if-if-or_binary64_17044` `if-not_binary64_17043` `if-same_binary64_17042` `if-false_binary64_17041` `if-true_binary64_17040` `not-gte_binary64_17039` `not-lte_binary64_17038` `not-gt_binary64_17037` `not-lt_binary64_17036` `gte-same_binary64_17035` `lte-same_binary64_17034` `gt-same_binary64_17033` `lt-same_binary64_17032` `sinh---cosh_binary64_16979` `sinh-+-cosh_binary64_16978` `sinh-cosh_binary64_16977` `tanh-def-c_binary64_16976` `tanh-def-b_binary64_16975` `tanh-def-a_binary64_16974` `cosh-def_binary64_16973` `sinh-def_binary64_16972` `tan-neg_binary64_16919` `cos-neg_binary64_16918` `sin-neg_binary64_16917` `tan-0_binary64_16916` `cos-0_binary64_16915` `sin-0_binary64_16914` `hang-m-tan_binary64_16913` `hang-p-tan_binary64_16912` `hang-m0-tan_binary64_16911` `hang-p0-tan_binary64_16910` `hang-0m-tan_binary64_16909` `hang-0p-tan_binary64_16908` `tan-+PI/2_binary64_16907` `tan-+PI_binary64_16906` `tan-PI_binary64_16905` `tan-PI/3_binary64_16904` `tan-PI/4_binary64_16903` `tan-PI/6_binary64_16902` `cos-+PI/2_binary64_16901` `cos-+PI_binary64_16900` `cos-PI_binary64_16899` `cos-PI/2_binary64_16898` `cos-PI/3_binary64_16897` `cos-PI/4_binary64_16896` `cos-PI/6_binary64_16895` `sin-+PI/2_binary64_16894` `sin-+PI_binary64_16893` `sin-PI_binary64_16892` `sin-PI/2_binary64_16891` `sin-PI/3_binary64_16890` `sin-PI/4_binary64_16889` `sin-PI/6_binary64_16888` `sub-1-sin_binary64_16887` `sub-1-cos_binary64_16886` `-1-add-sin_binary64_16885` `-1-add-cos_binary64_16884` `1-sub-sin_binary64_16883` `1-sub-cos_binary64_16882` `cos-sin-sum_binary64_16881` `log-E_binary64_16877` `pow-base-0_binary64_16871` `unpow1/3_binary64_16854` `exp-to-pow_binary64_16849` `unpow0_binary64_16846` `unpow-1_binary64_16844` `exp-lft-cube_binary64_16843` `exp-lft-sqr_binary64_16842` `exp-cbrt_binary64_16841` `exp-sqrt_binary64_16840` `div-exp_binary64_16838` `rec-exp_binary64_16837` `prod-exp_binary64_16836` `exp-diff_binary64_16835` `exp-neg_binary64_16834` `exp-sum_binary64_16833` `e-exp-1_binary64_16832` `exp-0_binary64_16829` `rem-log-exp_binary64_16828` `rem-exp-log_binary64_16827` `cube-neg_binary64_16814` `rem-cube-cbrt_binary64_16810` `sqr-neg_binary64_16801` `div-sub_binary64_16792` `mul-1-neg_binary64_16779` `remove-double-neg_binary64_16775` `--rgt-identity_binary64_16773` `+-lft-identity_binary64_16771` `mul0-rgt_binary64_16770` `mul0-lft_binary64_16769` `div0_binary64_16768` `*-inverses_binary64_16767` `+-inverses_binary64_16766` `lft-mult-inverse_binary64_16765` `rgt-mult-inverse_binary64_16764` `remove-double-div_binary64_16763` `difference-of-sqr--1_binary64_16758` `difference-of-sqr-1_binary64_16757` `difference-of-squares_binary64_16756` `cancel-sign-sub_binary64_16752` `distribute-neg-frac_binary64_16751` `distribute-frac-neg_binary64_16750` `distribute-neg-out_binary64_16749` `distribute-lft-neg-in_binary64_16744` `distribute-rgt1-in_binary64_16743` `distribute-lft1-in_binary64_16742` `distribute-rgt-out--_binary64_16741` `associate--r-_binary64_16726` `associate--l-_binary64_16725` `associate--l+_binary64_16724` `associate--r+_binary64_16723`

Counts

116 → 64

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	150	1747
1	298	1600
2	721	1473
3	2240	1462
4	4777	1462
5	5127	1462

prune71.0ms (0.9%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	60	4	64
Fresh	3	9	12
Picked	1	0	1
Done	0	0	0
Total	64	13	77

Error

0.0b

Counts

77 → 13

Compiler

Compiled 1318 to 476 computations (63.9% saved)

regimes2.1s (25.1%)

Accuracy

Total 0.4b remaining (94.5%)

Threshold costs 0.4b (94.5%)

Compiler

Compiled 25747 to 16210 computations (37% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1× +-commutative_binary64_16717

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_17047 if-if-and_binary64_17046 if-if-or-not_binary64_17045 if-if-or_binary64_17044 if-not_binary64_17043 if-same_binary64_17042 if-false_binary64_17041 if-true_binary64_17040 tan-0_binary64_16916 cos-0_binary64_16915 sin-0_binary64_16914 unpow1_binary64_16845 e-exp-1_binary64_16832 1-exp_binary64_16831 exp-1-e_binary64_16830 exp-0_binary64_16829 sqr-abs_binary64_16802 sqr-neg_binary64_16801 neg-mul-1_binary64_16783 neg-sub0_binary64_16782 unsub-neg_binary64_16781 sub-neg_binary64_16780 mul-1-neg_binary64_16779 /-rgt-identity_binary64_16778 *-rgt-identity_binary64_16777 *-lft-identity_binary64_16776 remove-double-neg_binary64_16775 sub0-neg_binary64_16774 --rgt-identity_binary64_16773 +-rgt-identity_binary64_16772 +-lft-identity_binary64_16771 cancel-sign-sub-inv_binary64_16753 cancel-sign-sub_binary64_16752 distribute-neg-frac_binary64_16751 distribute-frac-neg_binary64_16750 distribute-neg-out_binary64_16749 distribute-neg-in_binary64_16748 distribute-rgt-neg-out_binary64_16747 distribute-lft-neg-out_binary64_16746 distribute-rgt-neg-in_binary64_16745 distribute-lft-neg-in_binary64_16744 *-commutative_binary64_16718

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	18
1	13	18
2	13	18

end0.0ms (0%)

sample2.7s (32.2%)

Algorithm

1×

intervals

Results

369.0ms	8000×	body	128	valid
270.0ms	6049×	body	128	invalid

Compiler

Compiled 2021 to 1285 computations (36.4% saved)

Details

analyze1.1s (13%)

sample39.0ms (0.5%)

simplify10.0ms (0.1%)

prune6.0ms (0.1%)

localize10.0ms (0.1%)

rewrite74.0ms (0.9%)

series241.0ms (2.9%)

simplify69.0ms (0.8%)

prune47.0ms (0.6%)

localize10.0ms (0.1%)

rewrite71.0ms (0.9%)

series222.0ms (2.7%)

simplify87.0ms (1.1%)

prune59.0ms (0.7%)

localize9.0ms (0.1%)

rewrite77.0ms (0.9%)

series200.0ms (2.4%)

simplify98.0ms (1.2%)

prune66.0ms (0.8%)

localize14.0ms (0.2%)

rewrite146.0ms (1.8%)

series714.0ms (8.6%)

simplify113.0ms (1.4%)

prune71.0ms (0.9%)

regimes2.1s (25.1%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.7s (32.2%)

Profiling