Details

analyze1.6s (4.6%)

Algorithm

1×	search
2×	egg-herbie

Rules

784×	`sub-neg_binary64_19508`
606×	`+-commutative_binary64_19445`
487×	`div-sub_binary64_19520`
368×	`associate-+l+_binary64_19448`
325×	`neg-mul-1_binary64_19511`
306×	`distribute-neg-in_binary64_19476`
282×	`neg-sub0_binary64_19510` `associate--l+_binary64_19452`
214×	`associate-+r+_binary64_19447`
180×	`associate--r+_binary64_19451`
160×	`associate-+r-_binary64_19449`
149×	`cancel-sign-sub-inv_binary64_19481`
140×	`associate-/l*_binary64_19460`
119×	`associate-+l-_binary64_19450`
108×	`unsub-neg_binary64_19509`
96×	`*-commutative_binary64_19446`
67×	`+-rgt-identity_binary64_19500`
66×	`distribute-neg-frac_binary64_19479`
62×	`distribute-rgt-in_binary64_19465`
56×	`associate-/r/_binary64_19461`
50×	`distribute-lft-in_binary64_19464`
46×	`distribute-rgt-neg-in_binary64_19473` `associate-r_binary64_19455`
43×	`sub0-neg_binary64_19502`
36×	`distribute-lft-neg-in_binary64_19472`
34×	`div0_binary64_19496`
22×	`distribute-rgt-out--_binary64_19469` `distribute-rgt-out_binary64_19468`
10×	`distribute-lft-neg-out_binary64_19474`
6×	`mul0-rgt_binary64_19498` `mul0-lft_binary64_19497`
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_19778` `erf-erfc_binary64_19777` `erf-odd_binary64_19776` `if-if-and-not_binary64_19775` `if-if-and_binary64_19774` `if-if-or-not_binary64_19773` `if-if-or_binary64_19772` `if-not_binary64_19771` `if-same_binary64_19770` `if-false_binary64_19769` `if-true_binary64_19768` `not-gte_binary64_19767` `not-lte_binary64_19766` `not-gt_binary64_19765` `not-lt_binary64_19764` `gte-same_binary64_19763` `lte-same_binary64_19762` `gt-same_binary64_19761` `lt-same_binary64_19760` `sinh---cosh_binary64_19707` `sinh-+-cosh_binary64_19706` `sinh-cosh_binary64_19705` `tanh-def-c_binary64_19704` `tanh-def-b_binary64_19703` `tanh-def-a_binary64_19702` `cosh-def_binary64_19701` `sinh-def_binary64_19700` `tan-neg_binary64_19647` `cos-neg_binary64_19646` `sin-neg_binary64_19645` `tan-0_binary64_19644` `cos-0_binary64_19643` `sin-0_binary64_19642` `hang-m-tan_binary64_19641` `hang-p-tan_binary64_19640` `hang-m0-tan_binary64_19639` `hang-p0-tan_binary64_19638` `hang-0m-tan_binary64_19637` `hang-0p-tan_binary64_19636` `tan-+PI/2_binary64_19635` `tan-+PI_binary64_19634` `tan-PI_binary64_19633` `tan-PI/3_binary64_19632` `tan-PI/4_binary64_19631` `tan-PI/6_binary64_19630` `cos-+PI/2_binary64_19629` `cos-+PI_binary64_19628` `cos-PI_binary64_19627` `cos-PI/2_binary64_19626` `cos-PI/3_binary64_19625` `cos-PI/4_binary64_19624` `cos-PI/6_binary64_19623` `sin-+PI/2_binary64_19622` `sin-+PI_binary64_19621` `sin-PI_binary64_19620` `sin-PI/2_binary64_19619` `sin-PI/3_binary64_19618` `sin-PI/4_binary64_19617` `sin-PI/6_binary64_19616` `sub-1-sin_binary64_19615` `sub-1-cos_binary64_19614` `-1-add-sin_binary64_19613` `-1-add-cos_binary64_19612` `1-sub-sin_binary64_19611` `1-sub-cos_binary64_19610` `cos-sin-sum_binary64_19609` `log-E_binary64_19605` `log-pow_binary64_19604` `log-rec_binary64_19603` `log-div_binary64_19602` `log-prod_binary64_19601` `pow-base-0_binary64_19599` `unpow1/3_binary64_19582` `unpow3_binary64_19581` `unpow2_binary64_19580` `unpow1/2_binary64_19579` `pow-plus_binary64_19578` `exp-to-pow_binary64_19577` `pow-base-1_binary64_19575` `unpow0_binary64_19574` `unpow1_binary64_19573` `unpow-1_binary64_19572` `exp-lft-cube_binary64_19571` `exp-lft-sqr_binary64_19570` `exp-cbrt_binary64_19569` `exp-sqrt_binary64_19568` `exp-prod_binary64_19567` `div-exp_binary64_19566` `rec-exp_binary64_19565` `prod-exp_binary64_19564` `exp-diff_binary64_19563` `exp-neg_binary64_19562` `exp-sum_binary64_19561` `e-exp-1_binary64_19560` `1-exp_binary64_19559` `exp-1-e_binary64_19558` `exp-0_binary64_19557` `rem-log-exp_binary64_19556` `rem-exp-log_binary64_19555` `cube-unmult_binary64_19552` `cube-mult_binary64_19545` `cube-div_binary64_19544` `cube-prod_binary64_19543` `cube-neg_binary64_19542` `rem-3cbrt-rft_binary64_19541` `rem-3cbrt-lft_binary64_19540` `rem-cbrt-cube_binary64_19539` `rem-cube-cbrt_binary64_19538` `sqr-abs_binary64_19530` `sqr-neg_binary64_19529` `rem-sqrt-square_binary64_19528` `rem-square-sqrt_binary64_19527` `times-frac_binary64_19521` `mul-1-neg_binary64_19507` `/-rgt-identity_binary64_19506` `-rgt-identity_binary64_19505` `-lft-identity_binary64_19504` `remove-double-neg_binary64_19503` `--rgt-identity_binary64_19501` `+-lft-identity_binary64_19499` `-inverses_binary64_19495` `+-inverses_binary64_19494` `lft-mult-inverse_binary64_19493` `rgt-mult-inverse_binary64_19492` `remove-double-div_binary64_19491` `pow-sqr_binary64_19488` `sqr-pow_binary64_19487` `difference-of-sqr--1_binary64_19486` `difference-of-sqr-1_binary64_19485` `difference-of-squares_binary64_19484` `unswap-sqr_binary64_19483` `swap-sqr_binary64_19482` `cancel-sign-sub_binary64_19480` `distribute-frac-neg_binary64_19478` `distribute-neg-out_binary64_19477` `distribute-rgt-neg-out_binary64_19475` `distribute-rgt1-in_binary64_19471` `distribute-lft1-in_binary64_19470` `distribute-lft-out--_binary64_19467` `distribute-lft-out_binary64_19466` `count-2_binary64_19463` `associate-/l/_binary64_19462` `associate-/r_binary64_19459` `associate-l/_binary64_19458` `associate-r/_binary64_19457` `associate-l_binary64_19456` `associate--r-_binary64_19454` `associate--l-_binary64_19453`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	120	496
1	316	496
2	655	496
3	1608	496
4	3278	496
5	4497	496
6	4965	496
0	6	6
1	6	6

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
1.1%	98.6%	0.3%	12
1.9%	97.8%	0.3%	13
7%	92.7%	0.3%	14

Compiler

Compiled 22 to 17 computations (22.7% saved)

sample34.0ms (0.1%)

Algorithm

1×

intervals

Results

19.0ms	255×	body	128	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 43 to 39 computations (9.3% saved)

simplify98.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

789×	`sub-neg_binary64_19508`
652×	`neg-mul-1_binary64_19511`
499×	`div-sub_binary64_19520`
495×	`cancel-sign-sub-inv_binary64_19481`
478×	`associate-/l*_binary64_19460`
430×	`distribute-neg-in_binary64_19476`
337×	`unsub-neg_binary64_19509`
335×	`distribute-rgt-in_binary64_19465`
323×	`distribute-frac-neg_binary64_19478`
245×	`neg-sub0_binary64_19510`
226×	`associate--r-_binary64_19454`
218×	`distribute-rgt-neg-in_binary64_19473`
202×	`+-commutative_binary64_19445`
200×	`associate--r+_binary64_19451`
179×	`associate-/r*_binary64_19459`
162×	`distribute-neg-frac_binary64_19479`
160×	`distribute-rgt-neg-out_binary64_19475`
157×	`distribute-lft-neg-in_binary64_19472`
154×	`associate-+l+_binary64_19448`
152×	`distribute-lft-in_binary64_19464`
139×	`associate--l-_binary64_19453`
137×	`*-commutative_binary64_19446`
136×	`associate-/r/_binary64_19461`
126×	`associate--l+_binary64_19452`
124×	`remove-double-neg_binary64_19503`
120×	`distribute-lft-neg-out_binary64_19474`
119×	`associate-+r+_binary64_19447`
117×	`associate-+l-_binary64_19450`
85×	`associate-l_binary64_19456`
77×	`associate-+r-_binary64_19449`
75×	`cancel-sign-sub_binary64_19480`
70×	`distribute-rgt-out_binary64_19468`
66×	`associate-r_binary64_19455`
49×	`distribute-neg-out_binary64_19477` `distribute-rgt-out--_binary64_19469`
46×	`sub0-neg_binary64_19502`
42×	`div0_binary64_19496`
36×	`+-rgt-identity_binary64_19500`
27×	`mul0-rgt_binary64_19498`
26×	`mul0-lft_binary64_19497` `associate-/l/_binary64_19462` `associate-*l/_binary64_19458`
25×	`*-rgt-identity_binary64_19505`
23×	`distribute-lft-out_binary64_19466`
22×	`distribute-lft-out--_binary64_19467`
19×	`/-rgt-identity_binary64_19506`
17×	`*-lft-identity_binary64_19504`
14×	`+-lft-identity_binary64_19499`
3×	`--rgt-identity_binary64_19501`
2×	`associate-*r/_binary64_19457`
1×	`1-exp_binary64_19559`
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_19778` `erf-erfc_binary64_19777` `erf-odd_binary64_19776` `if-if-and-not_binary64_19775` `if-if-and_binary64_19774` `if-if-or-not_binary64_19773` `if-if-or_binary64_19772` `if-not_binary64_19771` `if-same_binary64_19770` `if-false_binary64_19769` `if-true_binary64_19768` `not-gte_binary64_19767` `not-lte_binary64_19766` `not-gt_binary64_19765` `not-lt_binary64_19764` `gte-same_binary64_19763` `lte-same_binary64_19762` `gt-same_binary64_19761` `lt-same_binary64_19760` `sinh---cosh_binary64_19707` `sinh-+-cosh_binary64_19706` `sinh-cosh_binary64_19705` `tanh-def-c_binary64_19704` `tanh-def-b_binary64_19703` `tanh-def-a_binary64_19702` `cosh-def_binary64_19701` `sinh-def_binary64_19700` `tan-neg_binary64_19647` `cos-neg_binary64_19646` `sin-neg_binary64_19645` `tan-0_binary64_19644` `cos-0_binary64_19643` `sin-0_binary64_19642` `hang-m-tan_binary64_19641` `hang-p-tan_binary64_19640` `hang-m0-tan_binary64_19639` `hang-p0-tan_binary64_19638` `hang-0m-tan_binary64_19637` `hang-0p-tan_binary64_19636` `tan-+PI/2_binary64_19635` `tan-+PI_binary64_19634` `tan-PI_binary64_19633` `tan-PI/3_binary64_19632` `tan-PI/4_binary64_19631` `tan-PI/6_binary64_19630` `cos-+PI/2_binary64_19629` `cos-+PI_binary64_19628` `cos-PI_binary64_19627` `cos-PI/2_binary64_19626` `cos-PI/3_binary64_19625` `cos-PI/4_binary64_19624` `cos-PI/6_binary64_19623` `sin-+PI/2_binary64_19622` `sin-+PI_binary64_19621` `sin-PI_binary64_19620` `sin-PI/2_binary64_19619` `sin-PI/3_binary64_19618` `sin-PI/4_binary64_19617` `sin-PI/6_binary64_19616` `sub-1-sin_binary64_19615` `sub-1-cos_binary64_19614` `-1-add-sin_binary64_19613` `-1-add-cos_binary64_19612` `1-sub-sin_binary64_19611` `1-sub-cos_binary64_19610` `cos-sin-sum_binary64_19609` `log-E_binary64_19605` `log-pow_binary64_19604` `log-rec_binary64_19603` `log-div_binary64_19602` `log-prod_binary64_19601` `pow-base-0_binary64_19599` `unpow1/3_binary64_19582` `unpow3_binary64_19581` `unpow2_binary64_19580` `unpow1/2_binary64_19579` `pow-plus_binary64_19578` `exp-to-pow_binary64_19577` `pow-base-1_binary64_19575` `unpow0_binary64_19574` `unpow1_binary64_19573` `unpow-1_binary64_19572` `exp-lft-cube_binary64_19571` `exp-lft-sqr_binary64_19570` `exp-cbrt_binary64_19569` `exp-sqrt_binary64_19568` `exp-prod_binary64_19567` `div-exp_binary64_19566` `rec-exp_binary64_19565` `prod-exp_binary64_19564` `exp-diff_binary64_19563` `exp-neg_binary64_19562` `exp-sum_binary64_19561` `e-exp-1_binary64_19560` `exp-1-e_binary64_19558` `exp-0_binary64_19557` `rem-log-exp_binary64_19556` `rem-exp-log_binary64_19555` `cube-unmult_binary64_19552` `cube-mult_binary64_19545` `cube-div_binary64_19544` `cube-prod_binary64_19543` `cube-neg_binary64_19542` `rem-3cbrt-rft_binary64_19541` `rem-3cbrt-lft_binary64_19540` `rem-cbrt-cube_binary64_19539` `rem-cube-cbrt_binary64_19538` `sqr-abs_binary64_19530` `sqr-neg_binary64_19529` `rem-sqrt-square_binary64_19528` `rem-square-sqrt_binary64_19527` `times-frac_binary64_19521` `mul-1-neg_binary64_19507` `*-inverses_binary64_19495` `+-inverses_binary64_19494` `lft-mult-inverse_binary64_19493` `rgt-mult-inverse_binary64_19492` `remove-double-div_binary64_19491` `pow-sqr_binary64_19488` `sqr-pow_binary64_19487` `difference-of-sqr--1_binary64_19486` `difference-of-sqr-1_binary64_19485` `difference-of-squares_binary64_19484` `unswap-sqr_binary64_19483` `swap-sqr_binary64_19482` `distribute-rgt1-in_binary64_19471` `distribute-lft1-in_binary64_19470` `count-2_binary64_19463`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	31
1	36	31
2	77	31
3	169	31
4	381	31
5	751	31
6	1502	31
7	2652	31
8	3264	31
9	4095	31
10	4867	31
11	5141	31

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

26.9b

Counts

2 → 1

Compiler

Compiled 42 to 31 computations (26.2% saved)

localize14.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (+.f64 x y) z)
1.4b	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
1.7b	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
25.3b	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

rewrite175.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

26.8b

Rules

38×	`*-un-lft-identity_binary64_19515`
18×	`add-sqr-sqrt_binary64_19537`
16×	`add-cube-cbrt_binary64_19550`
15×	`times-frac_binary64_19521`
13×	`distribute-lft-out_binary64_19466`
11×	`add-log-exp_binary64_19554`
10×	`associate-*l/_binary64_19458`
8×	`add-exp-log_binary64_19553` `add-cbrt-cube_binary64_19551`
7×	`flip3-+_binary64_19518` `flip-+_binary64_19489`
6×	`pow1_binary64_19576`
5×	`associate-/r*_binary64_19459`
4×	`frac-add_binary64_19523` `associate-l_binary64_19456`
3×	`associate-/l_binary64_19460` `associate-r*_binary64_19455`
2×	`flip3--_binary64_19519` `associate-/l/_binary64_19462` `flip--_binary64_19490` `associate-/r/_binary64_19461` `sum-log_binary64_19606` `diff-log_binary64_19607`
1×	`div-exp_binary64_19566` `cbrt-undiv_binary64_19549` `frac-2neg_binary64_19526` `div-sub_binary64_19520` `clear-num_binary64_19514` `div-inv_binary64_19512` `+-commutative_binary64_19445` `sub-neg_binary64_19508` `cancel-sign-sub-inv_binary64_19481` `associate--l+_binary64_19452` `pow-prod-down_binary64_19586` `prod-exp_binary64_19564` `cbrt-unprod_binary64_19548` `unswap-sqr_binary64_19483` `*-commutative_binary64_19446`

Counts

4 → 90

Calls

4 calls:

18.0ms	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
11.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
8.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
7.0ms	(*.f64 (+.f64 x y) z)

Compiler

Compiled 3256 to 447 computations (86.3% saved)

series2.7s (7.7%)

Error

4.8b

Counts

4 → 128

Calls

4 calls:

1.3s	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
637.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
408.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
120.0ms	(*.f64 (+.f64 x y) z)

Compiler

Compiled 11042 to 5416 computations (51% saved)

simplify140.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

510×	`times-frac_binary64_19521`
424×	`associate-/l*_binary64_19460`
258×	`associate-l_binary64_19456`
236×	`associate-/r*_binary64_19459`
231×	`distribute-rgt-in_binary64_19465`
212×	`distribute-lft-in_binary64_19464`
199×	`+-commutative_binary64_19445`
147×	`associate-+r+_binary64_19447`
123×	`sub-neg_binary64_19508`
105×	`*-commutative_binary64_19446`
103×	`associate-/r/_binary64_19461`
65×	`distribute-neg-in_binary64_19476`
55×	`cancel-sign-sub-inv_binary64_19481`
42×	`associate-r_binary64_19455`
41×	`sqr-pow_binary64_19487`
40×	`neg-sub0_binary64_19510`
37×	`neg-mul-1_binary64_19511`
28×	`distribute-rgt-neg-in_binary64_19473` `associate--l+_binary64_19452`
25×	`associate-*l/_binary64_19458`
22×	`associate-*r/_binary64_19457`
20×	`div-sub_binary64_19520` `distribute-lft-neg-in_binary64_19472`
19×	`associate--r+_binary64_19451`
17×	`associate-/l/_binary64_19462`
14×	`unpow3_binary64_19581`
13×	`cube-mult_binary64_19545`
8×	`exp-prod_binary64_19567` `exp-sum_binary64_19561` `cube-prod_binary64_19543` `swap-sqr_binary64_19482` `distribute-lft-neg-out_binary64_19474`
6×	`unpow2_binary64_19580` `unpow1_binary64_19573` `difference-of-squares_binary64_19484`
5×	`/-rgt-identity_binary64_19506` `distribute-rgt-out--_binary64_19469`
4×	`distribute-rgt-out_binary64_19468`
3×	`log-prod_binary64_19601` `exp-diff_binary64_19563` `cube-unmult_binary64_19552` `mul-1-neg_binary64_19507` `associate-+r-_binary64_19449`
2×	`log-div_binary64_19602` `div-exp_binary64_19566` `distribute-neg-frac_binary64_19479` `associate-+l+_binary64_19448`
1×	`prod-exp_binary64_19564` `1-exp_binary64_19559` `unsub-neg_binary64_19509` `*-rgt-identity_binary64_19505` `unswap-sqr_binary64_19483` `distribute-lft-out_binary64_19466`
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_19778` `erf-erfc_binary64_19777` `erf-odd_binary64_19776` `if-if-and-not_binary64_19775` `if-if-and_binary64_19774` `if-if-or-not_binary64_19773` `if-if-or_binary64_19772` `if-not_binary64_19771` `if-same_binary64_19770` `if-false_binary64_19769` `if-true_binary64_19768` `not-gte_binary64_19767` `not-lte_binary64_19766` `not-gt_binary64_19765` `not-lt_binary64_19764` `gte-same_binary64_19763` `lte-same_binary64_19762` `gt-same_binary64_19761` `lt-same_binary64_19760` `sinh---cosh_binary64_19707` `sinh-+-cosh_binary64_19706` `sinh-cosh_binary64_19705` `tanh-def-c_binary64_19704` `tanh-def-b_binary64_19703` `tanh-def-a_binary64_19702` `cosh-def_binary64_19701` `sinh-def_binary64_19700` `tan-neg_binary64_19647` `cos-neg_binary64_19646` `sin-neg_binary64_19645` `tan-0_binary64_19644` `cos-0_binary64_19643` `sin-0_binary64_19642` `hang-m-tan_binary64_19641` `hang-p-tan_binary64_19640` `hang-m0-tan_binary64_19639` `hang-p0-tan_binary64_19638` `hang-0m-tan_binary64_19637` `hang-0p-tan_binary64_19636` `tan-+PI/2_binary64_19635` `tan-+PI_binary64_19634` `tan-PI_binary64_19633` `tan-PI/3_binary64_19632` `tan-PI/4_binary64_19631` `tan-PI/6_binary64_19630` `cos-+PI/2_binary64_19629` `cos-+PI_binary64_19628` `cos-PI_binary64_19627` `cos-PI/2_binary64_19626` `cos-PI/3_binary64_19625` `cos-PI/4_binary64_19624` `cos-PI/6_binary64_19623` `sin-+PI/2_binary64_19622` `sin-+PI_binary64_19621` `sin-PI_binary64_19620` `sin-PI/2_binary64_19619` `sin-PI/3_binary64_19618` `sin-PI/4_binary64_19617` `sin-PI/6_binary64_19616` `sub-1-sin_binary64_19615` `sub-1-cos_binary64_19614` `-1-add-sin_binary64_19613` `-1-add-cos_binary64_19612` `1-sub-sin_binary64_19611` `1-sub-cos_binary64_19610` `cos-sin-sum_binary64_19609` `log-E_binary64_19605` `log-pow_binary64_19604` `log-rec_binary64_19603` `pow-base-0_binary64_19599` `unpow1/3_binary64_19582` `unpow1/2_binary64_19579` `pow-plus_binary64_19578` `exp-to-pow_binary64_19577` `pow-base-1_binary64_19575` `unpow0_binary64_19574` `unpow-1_binary64_19572` `exp-lft-cube_binary64_19571` `exp-lft-sqr_binary64_19570` `exp-cbrt_binary64_19569` `exp-sqrt_binary64_19568` `rec-exp_binary64_19565` `exp-neg_binary64_19562` `e-exp-1_binary64_19560` `exp-1-e_binary64_19558` `exp-0_binary64_19557` `rem-log-exp_binary64_19556` `rem-exp-log_binary64_19555` `cube-div_binary64_19544` `cube-neg_binary64_19542` `rem-3cbrt-rft_binary64_19541` `rem-3cbrt-lft_binary64_19540` `rem-cbrt-cube_binary64_19539` `rem-cube-cbrt_binary64_19538` `sqr-abs_binary64_19530` `sqr-neg_binary64_19529` `rem-sqrt-square_binary64_19528` `rem-square-sqrt_binary64_19527` `-lft-identity_binary64_19504` `remove-double-neg_binary64_19503` `sub0-neg_binary64_19502` `--rgt-identity_binary64_19501` `+-rgt-identity_binary64_19500` `+-lft-identity_binary64_19499` `mul0-rgt_binary64_19498` `mul0-lft_binary64_19497` `div0_binary64_19496` `-inverses_binary64_19495` `+-inverses_binary64_19494` `lft-mult-inverse_binary64_19493` `rgt-mult-inverse_binary64_19492` `remove-double-div_binary64_19491` `pow-sqr_binary64_19488` `difference-of-sqr--1_binary64_19486` `difference-of-sqr-1_binary64_19485` `cancel-sign-sub_binary64_19480` `distribute-frac-neg_binary64_19478` `distribute-neg-out_binary64_19477` `distribute-rgt-neg-out_binary64_19475` `distribute-rgt1-in_binary64_19471` `distribute-lft1-in_binary64_19470` `distribute-lft-out--_binary64_19467` `count-2_binary64_19463` `associate--r-_binary64_19454` `associate--l-_binary64_19453` `associate-+l-_binary64_19450`

Counts

218 → 196

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	573	8350
1	1772	8164
2	5151	8164

prune232.0ms (0.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	185	11	196
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	186	11	197

Error

5.3b

Counts

197 → 11

Compiler

Compiled 7172 to 1236 computations (82.8% saved)

localize15.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (+.f64 y (+.f64 t x)))
1.4b	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
1.7b	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
25.4b	(.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b)) (/.f64 1 (+.f64 y (+.f64 t x))))

rewrite195.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

5.3b

Rules

60×	`*-un-lft-identity_binary64_19515`
32×	`times-frac_binary64_19521`
31×	`add-sqr-sqrt_binary64_19537`
24×	`add-cube-cbrt_binary64_19550`
21×	`associate-r_binary64_19455` `distribute-lft-out_binary64_19466`
17×	`add-exp-log_binary64_19553`
11×	`add-log-exp_binary64_19554` `add-cbrt-cube_binary64_19551`
10×	`associate-*l/_binary64_19458`
7×	`pow1_binary64_19576` `flip3-+_binary64_19518` `flip-+_binary64_19489`
5×	`associate-/r*_binary64_19459`
4×	`div-exp_binary64_19566` `prod-exp_binary64_19564` `associate-/r/_binary64_19461` `frac-add_binary64_19523`
3×	`flip3--_binary64_19519` `flip--_binary64_19490` `unswap-sqr_binary64_19483` `associate-l_binary64_19456` `associate-/l*_binary64_19460`
2×	`1-exp_binary64_19559` `rec-exp_binary64_19565` `cbrt-unprod_binary64_19548` `cbrt-undiv_binary64_19549` `frac-times_binary64_19525` `div-inv_binary64_19512` `sum-log_binary64_19606` `diff-log_binary64_19607`
1×	`pow-prod-down_binary64_19586` `un-div-inv_binary64_19513` `associate-r/_binary64_19457` `-commutative_binary64_19446` `+-commutative_binary64_19445` `sub-neg_binary64_19508` `cancel-sign-sub-inv_binary64_19481` `associate--l+_binary64_19452` `inv-pow_binary64_19600` `pow-flip_binary64_19589` `frac-2neg_binary64_19526` `clear-num_binary64_19514`

Counts

4 → 118

Calls

4 calls:

23.0ms	(.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b)) (/.f64 1 (+.f64 y (+.f64 t x))))
13.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
8.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
7.0ms	(/.f64 1 (+.f64 y (+.f64 t x)))

Compiler

Compiled 4286 to 890 computations (79.2% saved)

series2.9s (8.2%)

Error

4.8b

Counts

4 → 142

Calls

4 calls:

1.4s	(.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b)) (/.f64 1 (+.f64 y (+.f64 t x))))
652.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
433.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
222.0ms	(/.f64 1 (+.f64 y (+.f64 t x)))

Compiler

Compiled 13072 to 6890 computations (47.3% saved)

simplify157.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

545×	`times-frac_binary64_19521`
455×	`associate-/l*_binary64_19460`
272×	`associate-/r*_binary64_19459`
225×	`distribute-rgt-in_binary64_19465`
224×	`+-commutative_binary64_19445`
210×	`distribute-lft-in_binary64_19464`
158×	`associate-+r+_binary64_19447`
152×	`sub-neg_binary64_19508`
124×	`associate-/r/_binary64_19461`
123×	`*-commutative_binary64_19446`
78×	`distribute-neg-in_binary64_19476`
55×	`cancel-sign-sub-inv_binary64_19481`
49×	`neg-sub0_binary64_19510`
46×	`neg-mul-1_binary64_19511`
43×	`associate-r_binary64_19455`
42×	`sqr-pow_binary64_19487`
36×	`associate--l+_binary64_19452`
29×	`distribute-rgt-neg-in_binary64_19473`
27×	`associate-*r/_binary64_19457` `associate--r+_binary64_19451`
20×	`distribute-lft-neg-in_binary64_19472`
15×	`associate-/l/_binary64_19462` `associate-l_binary64_19456`
13×	`unpow3_binary64_19581` `cube-mult_binary64_19545`
12×	`div-sub_binary64_19520`
10×	`exp-prod_binary64_19567` `swap-sqr_binary64_19482`
9×	`distribute-lft-neg-out_binary64_19474`
8×	`exp-sum_binary64_19561` `*-rgt-identity_binary64_19505`
6×	`unpow2_binary64_19580` `unpow1_binary64_19573` `cube-prod_binary64_19543` `difference-of-squares_binary64_19484`
5×	`distribute-neg-frac_binary64_19479` `distribute-rgt-out--_binary64_19469` `associate-+r-_binary64_19449`
4×	`cube-unmult_binary64_19552` `distribute-rgt-out_binary64_19468`
3×	`log-prod_binary64_19601` `mul-1-neg_binary64_19507`
2×	`log-div_binary64_19602` `div-exp_binary64_19566` `unsub-neg_binary64_19509` `/-rgt-identity_binary64_19506`
1×	`log-rec_binary64_19603` `prod-exp_binary64_19564` `exp-diff_binary64_19563` `1-exp_binary64_19559` `-lft-identity_binary64_19504` `+-rgt-identity_binary64_19500` `distribute-lft-out_binary64_19466` `associate-l/_binary64_19458` `associate-+l+_binary64_19448`
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_19778` `erf-erfc_binary64_19777` `erf-odd_binary64_19776` `if-if-and-not_binary64_19775` `if-if-and_binary64_19774` `if-if-or-not_binary64_19773` `if-if-or_binary64_19772` `if-not_binary64_19771` `if-same_binary64_19770` `if-false_binary64_19769` `if-true_binary64_19768` `not-gte_binary64_19767` `not-lte_binary64_19766` `not-gt_binary64_19765` `not-lt_binary64_19764` `gte-same_binary64_19763` `lte-same_binary64_19762` `gt-same_binary64_19761` `lt-same_binary64_19760` `sinh---cosh_binary64_19707` `sinh-+-cosh_binary64_19706` `sinh-cosh_binary64_19705` `tanh-def-c_binary64_19704` `tanh-def-b_binary64_19703` `tanh-def-a_binary64_19702` `cosh-def_binary64_19701` `sinh-def_binary64_19700` `tan-neg_binary64_19647` `cos-neg_binary64_19646` `sin-neg_binary64_19645` `tan-0_binary64_19644` `cos-0_binary64_19643` `sin-0_binary64_19642` `hang-m-tan_binary64_19641` `hang-p-tan_binary64_19640` `hang-m0-tan_binary64_19639` `hang-p0-tan_binary64_19638` `hang-0m-tan_binary64_19637` `hang-0p-tan_binary64_19636` `tan-+PI/2_binary64_19635` `tan-+PI_binary64_19634` `tan-PI_binary64_19633` `tan-PI/3_binary64_19632` `tan-PI/4_binary64_19631` `tan-PI/6_binary64_19630` `cos-+PI/2_binary64_19629` `cos-+PI_binary64_19628` `cos-PI_binary64_19627` `cos-PI/2_binary64_19626` `cos-PI/3_binary64_19625` `cos-PI/4_binary64_19624` `cos-PI/6_binary64_19623` `sin-+PI/2_binary64_19622` `sin-+PI_binary64_19621` `sin-PI_binary64_19620` `sin-PI/2_binary64_19619` `sin-PI/3_binary64_19618` `sin-PI/4_binary64_19617` `sin-PI/6_binary64_19616` `sub-1-sin_binary64_19615` `sub-1-cos_binary64_19614` `-1-add-sin_binary64_19613` `-1-add-cos_binary64_19612` `1-sub-sin_binary64_19611` `1-sub-cos_binary64_19610` `cos-sin-sum_binary64_19609` `log-E_binary64_19605` `log-pow_binary64_19604` `pow-base-0_binary64_19599` `unpow1/3_binary64_19582` `unpow1/2_binary64_19579` `pow-plus_binary64_19578` `exp-to-pow_binary64_19577` `pow-base-1_binary64_19575` `unpow0_binary64_19574` `unpow-1_binary64_19572` `exp-lft-cube_binary64_19571` `exp-lft-sqr_binary64_19570` `exp-cbrt_binary64_19569` `exp-sqrt_binary64_19568` `rec-exp_binary64_19565` `exp-neg_binary64_19562` `e-exp-1_binary64_19560` `exp-1-e_binary64_19558` `exp-0_binary64_19557` `rem-log-exp_binary64_19556` `rem-exp-log_binary64_19555` `cube-div_binary64_19544` `cube-neg_binary64_19542` `rem-3cbrt-rft_binary64_19541` `rem-3cbrt-lft_binary64_19540` `rem-cbrt-cube_binary64_19539` `rem-cube-cbrt_binary64_19538` `sqr-abs_binary64_19530` `sqr-neg_binary64_19529` `rem-sqrt-square_binary64_19528` `rem-square-sqrt_binary64_19527` `remove-double-neg_binary64_19503` `sub0-neg_binary64_19502` `--rgt-identity_binary64_19501` `+-lft-identity_binary64_19499` `mul0-rgt_binary64_19498` `mul0-lft_binary64_19497` `div0_binary64_19496` `*-inverses_binary64_19495` `+-inverses_binary64_19494` `lft-mult-inverse_binary64_19493` `rgt-mult-inverse_binary64_19492` `remove-double-div_binary64_19491` `pow-sqr_binary64_19488` `difference-of-sqr--1_binary64_19486` `difference-of-sqr-1_binary64_19485` `unswap-sqr_binary64_19483` `cancel-sign-sub_binary64_19480` `distribute-frac-neg_binary64_19478` `distribute-neg-out_binary64_19477` `distribute-rgt-neg-out_binary64_19475` `distribute-rgt1-in_binary64_19471` `distribute-lft1-in_binary64_19470` `distribute-lft-out--_binary64_19467` `count-2_binary64_19463` `associate--r-_binary64_19454` `associate--l-_binary64_19453` `associate-+l-_binary64_19450`

Counts

260 → 215

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	650	9656
1	1969	9335
2	5198	9335

prune269.0ms (0.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	215	0	215
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	215	11	226

Error

5.3b

Counts

226 → 11

Compiler

Compiled 8214 to 1816 computations (77.9% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (+.f64 y (+.f64 t x))) (cbrt.f64 (+.f64 y (+.f64 t x))))
2.7b	(+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (*.f64 y b)))
10.0b	(/.f64 (/.f64 (+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (.f64 y b))) (.f64 (cbrt.f64 (+.f64 y (+.f64 t x))) (cbrt.f64 (+.f64 y (+.f64 t x))))) (cbrt.f64 (+.f64 (+.f64 x t) y)))
15.4b	(/.f64 (+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (.f64 y b))) (.f64 (cbrt.f64 (+.f64 y (+.f64 t x))) (cbrt.f64 (+.f64 y (+.f64 t x)))))

rewrite603.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

5.3b

Rules

188×	`*-un-lft-identity_binary64_19515`
150×	`times-frac_binary64_19521`
134×	`cbrt-div_binary64_19547`
116×	`cbrt-prod_binary64_19546`
82×	`associate-/r/_binary64_19461`
73×	`flip3-+_binary64_19518` `flip-+_binary64_19489`
72×	`add-sqr-sqrt_binary64_19537` `distribute-lft-out_binary64_19466`
64×	`add-cube-cbrt_binary64_19550`
44×	`frac-times_binary64_19525`
30×	`associate-*r/_binary64_19457`
22×	`associate-*l/_binary64_19458`
20×	`add-exp-log_binary64_19553`
18×	`associate-/l*_binary64_19460`
14×	`swap-sqr_binary64_19482`
11×	`pow1_binary64_19576` `add-cbrt-cube_binary64_19551` `div-inv_binary64_19512`
9×	`add-log-exp_binary64_19554` `associate-/r*_binary64_19459`
8×	`frac-add_binary64_19523` `associate-l_binary64_19456` `associate-r_binary64_19455`
7×	`div-exp_binary64_19566` `cbrt-undiv_binary64_19549` `associate-/l/_binary64_19462`
6×	`pow1/3_binary64_19597`
4×	`flip3--_binary64_19519` `flip--_binary64_19490` `associate-+r+_binary64_19447` `unswap-sqr_binary64_19483`
3×	`prod-exp_binary64_19564` `cbrt-unprod_binary64_19548` `associate-+r-_binary64_19449` `div-sub_binary64_19520`
2×	`frac-2neg_binary64_19526` `clear-num_binary64_19514` `sum-log_binary64_19606` `distribute-rgt-in_binary64_19465` `associate-+l+_binary64_19448` `distribute-lft-in_binary64_19464` `associate--l+_binary64_19452` `pow-prod-down_binary64_19586` `pow-prod-up_binary64_19585` `pow-sqr_binary64_19488`
1×	`diff-log_binary64_19607` `sub-neg_binary64_19508` `cancel-sign-sub-inv_binary64_19481` `+-commutative_binary64_19445` `pow2_binary64_19596` `pow-plus_binary64_19578` `*-commutative_binary64_19446`

Counts

4 → 282

Calls

4 calls:

35.0ms	(/.f64 (/.f64 (+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (.f64 y b))) (.f64 (cbrt.f64 (+.f64 y (+.f64 t x))) (cbrt.f64 (+.f64 y (+.f64 t x))))) (cbrt.f64 (+.f64 (+.f64 x t) y)))
28.0ms	(/.f64 (+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (.f64 y b))) (.f64 (cbrt.f64 (+.f64 y (+.f64 t x))) (cbrt.f64 (+.f64 y (+.f64 t x)))))
18.0ms	(+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (*.f64 y b)))
17.0ms	(*.f64 (cbrt.f64 (+.f64 y (+.f64 t x))) (cbrt.f64 (+.f64 y (+.f64 t x))))

Compiler

Compiled 16960 to 1694 computations (90% saved)

series18.5s (53.2%)

Error

4.7b

Counts

4 → 142

Calls

4 calls:

15.2s	(/.f64 (+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (.f64 y b))) (.f64 (cbrt.f64 (+.f64 y (+.f64 t x))) (cbrt.f64 (+.f64 y (+.f64 t x)))))
1.3s	(/.f64 (/.f64 (+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (.f64 y b))) (.f64 (cbrt.f64 (+.f64 y (+.f64 t x))) (cbrt.f64 (+.f64 y (+.f64 t x))))) (cbrt.f64 (+.f64 (+.f64 x t) y)))
670.0ms	(*.f64 (cbrt.f64 (+.f64 y (+.f64 t x))) (cbrt.f64 (+.f64 y (+.f64 t x))))
660.0ms	(+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (*.f64 y b)))

Compiler

Compiled 34294 to 21368 computations (37.7% saved)

simplify372.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

594×	`associate-r_binary64_19455`
425×	`associate-+r+_binary64_19447`
234×	`associate-l_binary64_19456`
123×	`associate-/l*_binary64_19460`
94×	`associate-/l/_binary64_19462`
78×	`sqr-pow_binary64_19487`
58×	`sub-neg_binary64_19508`
39×	`associate--l+_binary64_19452`
34×	`associate-/r*_binary64_19459`
32×	`unpow1/3_binary64_19582`
30×	`associate--r+_binary64_19451`
20×	`distribute-rgt-in_binary64_19465`
19×	`cancel-sign-sub-inv_binary64_19481` `distribute-lft-in_binary64_19464`
15×	`/-rgt-identity_binary64_19506`
12×	`associate-*r/_binary64_19457`
11×	`unpow3_binary64_19581` `cube-mult_binary64_19545`
8×	`distribute-lft-out_binary64_19466`
7×	`unpow2_binary64_19580`
6×	`mul-1-neg_binary64_19507` `associate-+r-_binary64_19449`
5×	`difference-of-squares_binary64_19484` `associate-/r/_binary64_19461`
4×	`exp-prod_binary64_19567` `times-frac_binary64_19521` `div-sub_binary64_19520` `neg-mul-1_binary64_19511` `neg-sub0_binary64_19510`
3×	`cube-prod_binary64_19543` `swap-sqr_binary64_19482` `distribute-rgt-out--_binary64_19469`
2×	`log-div_binary64_19602` `distribute-rgt-out_binary64_19468` `associate-*l/_binary64_19458`
1×	`log-prod_binary64_19601` `div-exp_binary64_19566` `prod-exp_binary64_19564` `exp-sum_binary64_19561` `1-exp_binary64_19559` `rem-sqrt-square_binary64_19528` `rem-square-sqrt_binary64_19527` `*-rgt-identity_binary64_19505` `unswap-sqr_binary64_19483` `distribute-neg-frac_binary64_19479` `distribute-neg-in_binary64_19476` `distribute-rgt-neg-in_binary64_19473` `distribute-lft-neg-in_binary64_19472` `count-2_binary64_19463` `associate--r-_binary64_19454` `associate--l-_binary64_19453` `associate-+l+_binary64_19448`
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_19778` `erf-erfc_binary64_19777` `erf-odd_binary64_19776` `if-if-and-not_binary64_19775` `if-if-and_binary64_19774` `if-if-or-not_binary64_19773` `if-if-or_binary64_19772` `if-not_binary64_19771` `if-same_binary64_19770` `if-false_binary64_19769` `if-true_binary64_19768` `not-gte_binary64_19767` `not-lte_binary64_19766` `not-gt_binary64_19765` `not-lt_binary64_19764` `gte-same_binary64_19763` `lte-same_binary64_19762` `gt-same_binary64_19761` `lt-same_binary64_19760` `sinh---cosh_binary64_19707` `sinh-+-cosh_binary64_19706` `sinh-cosh_binary64_19705` `tanh-def-c_binary64_19704` `tanh-def-b_binary64_19703` `tanh-def-a_binary64_19702` `cosh-def_binary64_19701` `sinh-def_binary64_19700` `tan-neg_binary64_19647` `cos-neg_binary64_19646` `sin-neg_binary64_19645` `tan-0_binary64_19644` `cos-0_binary64_19643` `sin-0_binary64_19642` `hang-m-tan_binary64_19641` `hang-p-tan_binary64_19640` `hang-m0-tan_binary64_19639` `hang-p0-tan_binary64_19638` `hang-0m-tan_binary64_19637` `hang-0p-tan_binary64_19636` `tan-+PI/2_binary64_19635` `tan-+PI_binary64_19634` `tan-PI_binary64_19633` `tan-PI/3_binary64_19632` `tan-PI/4_binary64_19631` `tan-PI/6_binary64_19630` `cos-+PI/2_binary64_19629` `cos-+PI_binary64_19628` `cos-PI_binary64_19627` `cos-PI/2_binary64_19626` `cos-PI/3_binary64_19625` `cos-PI/4_binary64_19624` `cos-PI/6_binary64_19623` `sin-+PI/2_binary64_19622` `sin-+PI_binary64_19621` `sin-PI_binary64_19620` `sin-PI/2_binary64_19619` `sin-PI/3_binary64_19618` `sin-PI/4_binary64_19617` `sin-PI/6_binary64_19616` `sub-1-sin_binary64_19615` `sub-1-cos_binary64_19614` `-1-add-sin_binary64_19613` `-1-add-cos_binary64_19612` `1-sub-sin_binary64_19611` `1-sub-cos_binary64_19610` `cos-sin-sum_binary64_19609` `log-E_binary64_19605` `log-pow_binary64_19604` `log-rec_binary64_19603` `pow-base-0_binary64_19599` `unpow1/2_binary64_19579` `pow-plus_binary64_19578` `exp-to-pow_binary64_19577` `pow-base-1_binary64_19575` `unpow0_binary64_19574` `unpow1_binary64_19573` `unpow-1_binary64_19572` `exp-lft-cube_binary64_19571` `exp-lft-sqr_binary64_19570` `exp-cbrt_binary64_19569` `exp-sqrt_binary64_19568` `rec-exp_binary64_19565` `exp-diff_binary64_19563` `exp-neg_binary64_19562` `e-exp-1_binary64_19560` `exp-1-e_binary64_19558` `exp-0_binary64_19557` `rem-log-exp_binary64_19556` `rem-exp-log_binary64_19555` `cube-unmult_binary64_19552` `cube-div_binary64_19544` `cube-neg_binary64_19542` `rem-3cbrt-rft_binary64_19541` `rem-3cbrt-lft_binary64_19540` `rem-cbrt-cube_binary64_19539` `rem-cube-cbrt_binary64_19538` `sqr-abs_binary64_19530` `sqr-neg_binary64_19529` `unsub-neg_binary64_19509` `-lft-identity_binary64_19504` `remove-double-neg_binary64_19503` `sub0-neg_binary64_19502` `--rgt-identity_binary64_19501` `+-rgt-identity_binary64_19500` `+-lft-identity_binary64_19499` `mul0-rgt_binary64_19498` `mul0-lft_binary64_19497` `div0_binary64_19496` `-inverses_binary64_19495` `+-inverses_binary64_19494` `lft-mult-inverse_binary64_19493` `rgt-mult-inverse_binary64_19492` `remove-double-div_binary64_19491` `pow-sqr_binary64_19488` `difference-of-sqr--1_binary64_19486` `difference-of-sqr-1_binary64_19485` `cancel-sign-sub_binary64_19480` `distribute-frac-neg_binary64_19478` `distribute-neg-out_binary64_19477` `distribute-rgt-neg-out_binary64_19475` `distribute-lft-neg-out_binary64_19474` `distribute-rgt1-in_binary64_19471` `distribute-lft1-in_binary64_19470` `distribute-lft-out--_binary64_19467` `associate-+l-_binary64_19450` `*-commutative_binary64_19446` `+-commutative_binary64_19445`

Counts

424 → 286

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2074	36077
1	5387	36077

prune867.0ms (2.5%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	282	4	286
Fresh	3	6	9
Picked	0	1	1
Done	0	1	1
Total	285	12	297

Error

5.2b

Counts

297 → 12

Compiler

Compiled 23623 to 7051 computations (70.2% saved)

localize4.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

5.2b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 5.2b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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_19778 erf-erfc_binary64_19777 erf-odd_binary64_19776 if-if-and-not_binary64_19775 if-if-and_binary64_19774 if-if-or-not_binary64_19773 if-if-or_binary64_19772 if-not_binary64_19771 if-same_binary64_19770 if-false_binary64_19769 if-true_binary64_19768 not-gte_binary64_19767 not-lte_binary64_19766 not-gt_binary64_19765 not-lt_binary64_19764 gte-same_binary64_19763 lte-same_binary64_19762 gt-same_binary64_19761 lt-same_binary64_19760 sinh---cosh_binary64_19707 sinh-+-cosh_binary64_19706 sinh-cosh_binary64_19705 tanh-def-c_binary64_19704 tanh-def-b_binary64_19703 tanh-def-a_binary64_19702 cosh-def_binary64_19701 sinh-def_binary64_19700 tan-neg_binary64_19647 cos-neg_binary64_19646 sin-neg_binary64_19645 tan-0_binary64_19644 cos-0_binary64_19643 sin-0_binary64_19642 hang-m-tan_binary64_19641 hang-p-tan_binary64_19640 hang-m0-tan_binary64_19639 hang-p0-tan_binary64_19638 hang-0m-tan_binary64_19637 hang-0p-tan_binary64_19636 tan-+PI/2_binary64_19635 tan-+PI_binary64_19634 tan-PI_binary64_19633 tan-PI/3_binary64_19632 tan-PI/4_binary64_19631 tan-PI/6_binary64_19630 cos-+PI/2_binary64_19629 cos-+PI_binary64_19628 cos-PI_binary64_19627 cos-PI/2_binary64_19626 cos-PI/3_binary64_19625 cos-PI/4_binary64_19624 cos-PI/6_binary64_19623 sin-+PI/2_binary64_19622 sin-+PI_binary64_19621 sin-PI_binary64_19620 sin-PI/2_binary64_19619 sin-PI/3_binary64_19618 sin-PI/4_binary64_19617 sin-PI/6_binary64_19616 sub-1-sin_binary64_19615 sub-1-cos_binary64_19614 -1-add-sin_binary64_19613 -1-add-cos_binary64_19612 1-sub-sin_binary64_19611 1-sub-cos_binary64_19610 cos-sin-sum_binary64_19609 log-E_binary64_19605 log-pow_binary64_19604 log-rec_binary64_19603 log-div_binary64_19602 log-prod_binary64_19601 pow-base-0_binary64_19599 unpow1/3_binary64_19582 unpow3_binary64_19581 unpow2_binary64_19580 unpow1/2_binary64_19579 pow-plus_binary64_19578 exp-to-pow_binary64_19577 pow-base-1_binary64_19575 unpow0_binary64_19574 unpow1_binary64_19573 unpow-1_binary64_19572 exp-lft-cube_binary64_19571 exp-lft-sqr_binary64_19570 exp-cbrt_binary64_19569 exp-sqrt_binary64_19568 exp-prod_binary64_19567 div-exp_binary64_19566 rec-exp_binary64_19565 prod-exp_binary64_19564 exp-diff_binary64_19563 exp-neg_binary64_19562 exp-sum_binary64_19561 e-exp-1_binary64_19560 1-exp_binary64_19559 exp-1-e_binary64_19558 exp-0_binary64_19557 rem-log-exp_binary64_19556 rem-exp-log_binary64_19555 cube-unmult_binary64_19552 cube-mult_binary64_19545 cube-div_binary64_19544 cube-prod_binary64_19543 cube-neg_binary64_19542 rem-3cbrt-rft_binary64_19541 rem-3cbrt-lft_binary64_19540 rem-cbrt-cube_binary64_19539 rem-cube-cbrt_binary64_19538 sqr-abs_binary64_19530 sqr-neg_binary64_19529 rem-sqrt-square_binary64_19528 rem-square-sqrt_binary64_19527 times-frac_binary64_19521 div-sub_binary64_19520 neg-mul-1_binary64_19511 neg-sub0_binary64_19510 unsub-neg_binary64_19509 sub-neg_binary64_19508 mul-1-neg_binary64_19507 /-rgt-identity_binary64_19506 *-rgt-identity_binary64_19505 *-lft-identity_binary64_19504 remove-double-neg_binary64_19503 sub0-neg_binary64_19502 --rgt-identity_binary64_19501 +-rgt-identity_binary64_19500 +-lft-identity_binary64_19499 mul0-rgt_binary64_19498 mul0-lft_binary64_19497 div0_binary64_19496 *-inverses_binary64_19495 +-inverses_binary64_19494 lft-mult-inverse_binary64_19493 rgt-mult-inverse_binary64_19492 remove-double-div_binary64_19491 pow-sqr_binary64_19488 sqr-pow_binary64_19487 difference-of-sqr--1_binary64_19486 difference-of-sqr-1_binary64_19485 difference-of-squares_binary64_19484 unswap-sqr_binary64_19483 swap-sqr_binary64_19482 cancel-sign-sub-inv_binary64_19481 cancel-sign-sub_binary64_19480 distribute-neg-frac_binary64_19479 distribute-frac-neg_binary64_19478 distribute-neg-out_binary64_19477 distribute-neg-in_binary64_19476 distribute-rgt-neg-out_binary64_19475 distribute-lft-neg-out_binary64_19474 distribute-rgt-neg-in_binary64_19473 distribute-lft-neg-in_binary64_19472 distribute-rgt1-in_binary64_19471 distribute-lft1-in_binary64_19470 distribute-rgt-out--_binary64_19469 distribute-rgt-out_binary64_19468 distribute-lft-out--_binary64_19467 distribute-lft-out_binary64_19466 distribute-rgt-in_binary64_19465 distribute-lft-in_binary64_19464 count-2_binary64_19463 associate-/l/_binary64_19462 associate-/r/_binary64_19461 associate-/l*_binary64_19460 associate-/r*_binary64_19459 associate-*l/_binary64_19458 associate-*r/_binary64_19457 associate-*l*_binary64_19456 associate-*r*_binary64_19455 associate--r-_binary64_19454 associate--l-_binary64_19453 associate--l+_binary64_19452 associate--r+_binary64_19451 associate-+l-_binary64_19450 associate-+r-_binary64_19449 associate-+l+_binary64_19448 associate-+r+_binary64_19447 *-commutative_binary64_19446 +-commutative_binary64_19445

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune0.0ms (0%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	9	9
Picked	1	1
Done	2	2
Total	12	12

Error

5.2b

Counts

12 → 12

Compiler

Compiled 0 to 0 computations (0% saved)

regimes3.3s (9.6%)

Accuracy

Total 3.3b remaining (43.5%)

Threshold costs 0b (0%)

Compiler

Compiled 21293 to 13986 computations (34.3% saved)

bsearch9.0ms (0%)

Compiler: Compiled 21 to 16 computations (23.8% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Rules

13×	`+-commutative_binary64_19445`
7×	`sub-neg_binary64_19508` `*-commutative_binary64_19446`
4×	`neg-mul-1_binary64_19511` `neg-sub0_binary64_19510`
2×	`cancel-sign-sub-inv_binary64_19481` `distribute-rgt-neg-in_binary64_19473`
1×	`if-if-or-not_binary64_19773` `distribute-neg-frac_binary64_19479` `distribute-lft-neg-out_binary64_19474` `distribute-lft-neg-in_binary64_19472`
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_19775` `if-if-and_binary64_19774` `if-if-or_binary64_19772` `if-not_binary64_19771` `if-same_binary64_19770` `if-false_binary64_19769` `if-true_binary64_19768` `tan-0_binary64_19644` `cos-0_binary64_19643` `sin-0_binary64_19642` `unpow1_binary64_19573` `e-exp-1_binary64_19560` `1-exp_binary64_19559` `exp-1-e_binary64_19558` `exp-0_binary64_19557` `sqr-abs_binary64_19530` `sqr-neg_binary64_19529` `unsub-neg_binary64_19509` `mul-1-neg_binary64_19507` `/-rgt-identity_binary64_19506` `-rgt-identity_binary64_19505` `-lft-identity_binary64_19504` `remove-double-neg_binary64_19503` `sub0-neg_binary64_19502` `--rgt-identity_binary64_19501` `+-rgt-identity_binary64_19500` `+-lft-identity_binary64_19499` `cancel-sign-sub_binary64_19480` `distribute-frac-neg_binary64_19478` `distribute-neg-out_binary64_19477` `distribute-neg-in_binary64_19476` `distribute-rgt-neg-out_binary64_19475`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	121
1	50	121
2	66	121
3	74	121
4	78	121
5	78	121

end0.0ms (0%)

sample2.5s (7.3%)

Algorithm

1×

intervals

Results

418.0ms	7997×	body	128	valid
0.0ms	1×	body	2048	valid
0.0ms	2×	body	256	valid

Compiler

Compiled 3193 to 2049 computations (35.8% saved)

Details

analyze1.6s (4.6%)

sample34.0ms (0.1%)

simplify98.0ms (0.3%)

prune3.0ms (0%)

localize14.0ms (0%)

rewrite175.0ms (0.5%)

series2.7s (7.7%)

simplify140.0ms (0.4%)

prune232.0ms (0.7%)

localize15.0ms (0%)

rewrite195.0ms (0.6%)

series2.9s (8.2%)

simplify157.0ms (0.5%)

prune269.0ms (0.8%)

localize23.0ms (0.1%)

rewrite603.0ms (1.7%)

series18.5s (53.2%)

simplify372.0ms (1.1%)

prune867.0ms (2.5%)

localize4.0ms (0%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify8.0ms (0%)

prune0.0ms (0%)

regimes3.3s (9.6%)

bsearch9.0ms (0%)

simplify8.0ms (0%)

end0.0ms (0%)

sample2.5s (7.3%)

Profiling