Details

analyze1.1s (10.6%)

Algorithm

1×	search
2×	egg-herbie

Rules

749×	`times-frac_binary64_17475`
718×	`div-sub_binary64_17474`
530×	`sub-neg_binary64_17462`
212×	`unsub-neg_binary64_17463`
193×	`cancel-sign-sub-inv_binary64_17435`
174×	`neg-mul-1_binary64_17465`
164×	`+-commutative_binary64_17399`
160×	`neg-sub0_binary64_17464`
121×	`associate-/l*_binary64_17414`
116×	`associate-+l+_binary64_17402`
102×	`distribute-rgt-in_binary64_17419`
101×	`*-commutative_binary64_17400`
92×	`distribute-rgt-neg-in_binary64_17427`
88×	`distribute-lft-neg-in_binary64_17426`
86×	`distribute-lft-in_binary64_17418`
76×	`associate--r+_binary64_17405`
75×	`associate-r_binary64_17409` `associate-+l-_binary64_17404`
74×	`distribute-neg-in_binary64_17430`
68×	`associate-+r+_binary64_17401`
66×	`associate--l+_binary64_17406`
65×	`associate-/r/_binary64_17415`
61×	`distribute-neg-frac_binary64_17433`
50×	`associate--r-_binary64_17408`
45×	`associate-+r-_binary64_17403`
43×	`associate-*l/_binary64_17412`
36×	`associate-l_binary64_17410`
30×	`sub0-neg_binary64_17456`
27×	`associate-/r*_binary64_17413`
22×	`associate--l-_binary64_17407`
19×	`distribute-rgt-neg-out_binary64_17429`
14×	`remove-double-neg_binary64_17457` `distribute-frac-neg_binary64_17432`
12×	`+-rgt-identity_binary64_17454`
11×	`distribute-rgt1-in_binary64_17425`
10×	`distribute-lft-neg-out_binary64_17428`
1×	`1-exp_binary64_17513`
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_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `log-pow_binary64_17558` `log-rec_binary64_17557` `log-div_binary64_17556` `log-prod_binary64_17555` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `unpow3_binary64_17535` `unpow2_binary64_17534` `unpow1/2_binary64_17533` `pow-plus_binary64_17532` `exp-to-pow_binary64_17531` `pow-base-1_binary64_17529` `unpow0_binary64_17528` `unpow1_binary64_17527` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `exp-prod_binary64_17521` `div-exp_binary64_17520` `rec-exp_binary64_17519` `prod-exp_binary64_17518` `exp-diff_binary64_17517` `exp-neg_binary64_17516` `exp-sum_binary64_17515` `e-exp-1_binary64_17514` `exp-1-e_binary64_17512` `exp-0_binary64_17511` `rem-log-exp_binary64_17510` `rem-exp-log_binary64_17509` `cube-unmult_binary64_17506` `cube-mult_binary64_17499` `cube-div_binary64_17498` `cube-prod_binary64_17497` `cube-neg_binary64_17496` `rem-3cbrt-rft_binary64_17495` `rem-3cbrt-lft_binary64_17494` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `sqr-neg_binary64_17483` `rem-sqrt-square_binary64_17482` `rem-square-sqrt_binary64_17481` `mul-1-neg_binary64_17461` `/-rgt-identity_binary64_17460` `-rgt-identity_binary64_17459` `-lft-identity_binary64_17458` `--rgt-identity_binary64_17455` `+-lft-identity_binary64_17453` `mul0-rgt_binary64_17452` `mul0-lft_binary64_17451` `div0_binary64_17450` `-inverses_binary64_17449` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `pow-sqr_binary64_17442` `sqr-pow_binary64_17441` `difference-of-sqr--1_binary64_17440` `difference-of-sqr-1_binary64_17439` `difference-of-squares_binary64_17438` `unswap-sqr_binary64_17437` `swap-sqr_binary64_17436` `cancel-sign-sub_binary64_17434` `distribute-neg-out_binary64_17431` `distribute-lft1-in_binary64_17424` `distribute-rgt-out--_binary64_17423` `distribute-rgt-out_binary64_17422` `distribute-lft-out--_binary64_17421` `distribute-lft-out_binary64_17420` `count-2_binary64_17417` `associate-/l/_binary64_17416` `associate-r/_binary64_17411`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	209
1	156	209
2	463	209
3	1087	209
4	2829	209
5	5129	209
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
3.5%	96.2%	0.2%	10
9.8%	89.9%	0.2%	11
14.1%	85.7%	0.2%	12
22.6%	77.1%	0.2%	13
23.7%	76%	0.2%	14

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample33.0ms (0.3%)

Algorithm

1×

intervals

Results

9.0ms	227×	body	128	valid
2.0ms	11×	body	1024	valid
1.0ms	11×	body	512	valid
1.0ms	19×	body	128	invalid
1.0ms	7×	body	256	valid

Compiler

Compiled 27 to 28 computations (-3.7% saved)

simplify136.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1201×	`div-sub_binary64_17474`
620×	`sub-neg_binary64_17462`
553×	`unsub-neg_binary64_17463`
363×	`neg-mul-1_binary64_17465` `neg-sub0_binary64_17464`
307×	`distribute-rgt-in_binary64_17419`
258×	`associate-/r/_binary64_17415`
253×	`associate-/l/_binary64_17416`
243×	`distribute-frac-neg_binary64_17432`
241×	`times-frac_binary64_17475`
230×	`distribute-neg-in_binary64_17430`
225×	`+-commutative_binary64_17399`
218×	`distribute-lft-in_binary64_17418`
215×	`*-commutative_binary64_17400`
191×	`distribute-rgt-neg-in_binary64_17427`
180×	`associate-+r+_binary64_17401`
175×	`distribute-lft-neg-in_binary64_17426`
173×	`distribute-neg-frac_binary64_17433`
169×	`distribute-rgt-neg-out_binary64_17429` `distribute-rgt-out--_binary64_17423`
164×	`distribute-lft-neg-out_binary64_17428`
162×	`distribute-neg-out_binary64_17431`
161×	`associate-+l+_binary64_17402`
159×	`cancel-sign-sub-inv_binary64_17435`
157×	`associate-/l*_binary64_17414`
153×	`distribute-rgt-out_binary64_17422`
133×	`associate--r+_binary64_17405`
124×	`associate-/r*_binary64_17413`
87×	`cancel-sign-sub_binary64_17434`
85×	`remove-double-neg_binary64_17457`
75×	`associate--l+_binary64_17406`
73×	`associate--r-_binary64_17408`
69×	`distribute-lft-out_binary64_17420`
53×	`associate-r_binary64_17409`
46×	`/-rgt-identity_binary64_17460`
42×	`*-lft-identity_binary64_17458` `associate--l-_binary64_17407` `associate-+l-_binary64_17404`
38×	`associate-l_binary64_17410` `associate-+r-_binary64_17403`
36×	`mul0-lft_binary64_17451`
35×	`mul0-rgt_binary64_17452`
34×	`distribute-lft-out--_binary64_17421`
29×	`*-rgt-identity_binary64_17459`
23×	`div0_binary64_17450`
19×	`sub0-neg_binary64_17456`
15×	`associate-*l/_binary64_17412`
10×	`+-rgt-identity_binary64_17454` `+-lft-identity_binary64_17453`
5×	`--rgt-identity_binary64_17455`
4×	`mul-1-neg_binary64_17461` `*-inverses_binary64_17449` `distribute-rgt1-in_binary64_17425`
3×	`remove-double-div_binary64_17445` `associate-*r/_binary64_17411`
2×	`lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446`
1×	`1-exp_binary64_17513` `distribute-lft1-in_binary64_17424`
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_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `log-pow_binary64_17558` `log-rec_binary64_17557` `log-div_binary64_17556` `log-prod_binary64_17555` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `unpow3_binary64_17535` `unpow2_binary64_17534` `unpow1/2_binary64_17533` `pow-plus_binary64_17532` `exp-to-pow_binary64_17531` `pow-base-1_binary64_17529` `unpow0_binary64_17528` `unpow1_binary64_17527` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `exp-prod_binary64_17521` `div-exp_binary64_17520` `rec-exp_binary64_17519` `prod-exp_binary64_17518` `exp-diff_binary64_17517` `exp-neg_binary64_17516` `exp-sum_binary64_17515` `e-exp-1_binary64_17514` `exp-1-e_binary64_17512` `exp-0_binary64_17511` `rem-log-exp_binary64_17510` `rem-exp-log_binary64_17509` `cube-unmult_binary64_17506` `cube-mult_binary64_17499` `cube-div_binary64_17498` `cube-prod_binary64_17497` `cube-neg_binary64_17496` `rem-3cbrt-rft_binary64_17495` `rem-3cbrt-lft_binary64_17494` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `sqr-neg_binary64_17483` `rem-sqrt-square_binary64_17482` `rem-square-sqrt_binary64_17481` `+-inverses_binary64_17448` `pow-sqr_binary64_17442` `sqr-pow_binary64_17441` `difference-of-sqr--1_binary64_17440` `difference-of-sqr-1_binary64_17439` `difference-of-squares_binary64_17438` `unswap-sqr_binary64_17437` `swap-sqr_binary64_17436` `count-2_binary64_17417`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	19
1	23	19
2	58	19
3	138	19
4	315	19
5	841	19
6	1801	19
7	3103	19
8	3317	19
9	3639	19
10	3758	19
11	4023	19
12	4215	19
13	4872	19

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

13.7b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (-.f64 z t) y)
1.8b	(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
9.5b	(/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))

rewrite134.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

6.1b

Rules

22×	`*-un-lft-identity_binary64_17469`
21×	`add-sqr-sqrt_binary64_17491`
11×	`cancel-sign-sub-inv_binary64_17435`
10×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505` `times-frac_binary64_17475`
9×	`add-cube-cbrt_binary64_17504`
8×	`add-log-exp_binary64_17508`
6×	`distribute-lft-out--_binary64_17421`
5×	`pow1_binary64_17530` `difference-of-squares_binary64_17438` `flip3--_binary64_17473` `flip--_binary64_17444` `associate-/r_binary64_17413` `associate-l*_binary64_17410`
4×	`associate-*l/_binary64_17412` `associate-/r/_binary64_17415`
3×	`associate-r_binary64_17409`
2×	`prod-exp_binary64_17518` `div-exp_binary64_17520` `cbrt-undiv_binary64_17503` `cbrt-unprod_binary64_17502` `div-inv_binary64_17466` `associate-/l/_binary64_17416` `diff-log_binary64_17561` `frac-sub_binary64_17478`
1×	`frac-2neg_binary64_17480` `clear-num_binary64_17468` `associate-/l_binary64_17414` `sum-log_binary64_17560` `flip3-+_binary64_17472` `flip-+_binary64_17443` `sub-neg_binary64_17462` `distribute-lft-out_binary64_17420` `associate--l+_binary64_17406` `pow-prod-down_binary64_17540` `unswap-sqr_binary64_17437` `-commutative_binary64_17400`

Counts

3 → 80

Calls

3 calls:

12.0ms	(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
10.0ms	(/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))
7.0ms	(*.f64 (-.f64 z t) y)

Compiler

Compiled 1742 to 370 computations (78.8% saved)

series1.3s (11.8%)

Error

0.5b

Counts

3 → 74

Calls

3 calls:

681.0ms	(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
367.0ms	(/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))
142.0ms	(*.f64 (-.f64 z t) y)

Compiler

Compiled 3536 to 1962 computations (44.5% saved)

simplify123.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

620×	`div-sub_binary64_17474`
374×	`cancel-sign-sub-inv_binary64_17435`
229×	`sub-neg_binary64_17462`
170×	`distribute-neg-frac_binary64_17433`
167×	`distribute-rgt-neg-in_binary64_17427`
145×	`associate-/l*_binary64_17414`
118×	`*-commutative_binary64_17400`
110×	`+-commutative_binary64_17399`
109×	`exp-prod_binary64_17521`
100×	`neg-sub0_binary64_17464`
98×	`distribute-lft-neg-out_binary64_17428`
93×	`distribute-rgt-in_binary64_17419`
91×	`associate-l_binary64_17410`
89×	`neg-mul-1_binary64_17465`
88×	`distribute-lft-in_binary64_17418`
85×	`associate--l+_binary64_17406`
84×	`associate-r_binary64_17409`
80×	`times-frac_binary64_17475`
79×	`distribute-rgt-neg-out_binary64_17429`
78×	`distribute-neg-in_binary64_17430`
69×	`associate-*l/_binary64_17412`
62×	`exp-sum_binary64_17515`
59×	`associate-*r/_binary64_17411`
57×	`associate-+l+_binary64_17402`
54×	`unsub-neg_binary64_17463`
43×	`sqr-pow_binary64_17441`
42×	`associate-/r*_binary64_17413`
41×	`cube-prod_binary64_17497` `associate--r+_binary64_17405`
38×	`exp-diff_binary64_17517`
36×	`log-prod_binary64_17555` `cube-div_binary64_17498` `associate-/l/_binary64_17416`
34×	`log-div_binary64_17556`
33×	`associate-/r/_binary64_17415`
30×	`*-rgt-identity_binary64_17459`
29×	`associate-+r+_binary64_17401`
25×	`unpow3_binary64_17535`
20×	`/-rgt-identity_binary64_17460`
19×	`cube-mult_binary64_17499` `distribute-lft-neg-in_binary64_17426`
15×	`unswap-sqr_binary64_17437`
14×	`swap-sqr_binary64_17436`
12×	`difference-of-squares_binary64_17438`
11×	`*-lft-identity_binary64_17458`
8×	`distribute-neg-out_binary64_17431`
7×	`mul-1-neg_binary64_17461` `div0_binary64_17450`
6×	`log-rec_binary64_17557` `div-exp_binary64_17520` `cube-unmult_binary64_17506` `associate--r-_binary64_17408`
5×	`distribute-frac-neg_binary64_17432` `distribute-rgt-out_binary64_17422`
4×	`associate-+r-_binary64_17403`
3×	`unpow1/2_binary64_17533` `exp-neg_binary64_17516` `rem-sqrt-square_binary64_17482` `remove-double-neg_binary64_17457` `sub0-neg_binary64_17456` `+-rgt-identity_binary64_17454`
2×	`unpow2_binary64_17534` `pow-plus_binary64_17532` `unpow1_binary64_17527` `prod-exp_binary64_17518` `cube-neg_binary64_17496` `sqr-neg_binary64_17483` `pow-sqr_binary64_17442` `distribute-rgt-out--_binary64_17423`
1×	`log-pow_binary64_17558` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `rem-3cbrt-lft_binary64_17494` `rem-square-sqrt_binary64_17481` `associate-+l-_binary64_17404`
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_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `exp-to-pow_binary64_17531` `pow-base-1_binary64_17529` `unpow0_binary64_17528` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `rec-exp_binary64_17519` `e-exp-1_binary64_17514` `exp-0_binary64_17511` `rem-log-exp_binary64_17510` `rem-exp-log_binary64_17509` `rem-3cbrt-rft_binary64_17495` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `--rgt-identity_binary64_17455` `+-lft-identity_binary64_17453` `mul0-rgt_binary64_17452` `mul0-lft_binary64_17451` `*-inverses_binary64_17449` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `difference-of-sqr--1_binary64_17440` `difference-of-sqr-1_binary64_17439` `cancel-sign-sub_binary64_17434` `distribute-rgt1-in_binary64_17425` `distribute-lft1-in_binary64_17424` `distribute-lft-out--_binary64_17421` `distribute-lft-out_binary64_17420` `count-2_binary64_17417` `associate--l-_binary64_17407`

Counts

154 → 131

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	248	3025
1	732	2884
2	2693	2878
3	4512	2878
4	5444	2878

prune121.0ms (1.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	126	5	131
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	127	5	132

Error

0.5b

Counts

132 → 5

Compiler

Compiled 2503 to 401 computations (84% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 y (-.f64 a t))
4.1b	(-.f64 y (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))))
9.9b	(*.f64 (-.f64 z t) (/.f64 y (-.f64 a t)))

rewrite126.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.5b

Rules

44×	`add-sqr-sqrt_binary64_17491`
39×	`*-un-lft-identity_binary64_17469`
31×	`times-frac_binary64_17475`
23×	`add-cube-cbrt_binary64_17504`
21×	`associate-r_binary64_17409`
10×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
8×	`difference-of-squares_binary64_17438` `distribute-lft-out--_binary64_17421`
5×	`pow1_binary64_17530` `add-log-exp_binary64_17508` `flip3--_binary64_17473` `flip--_binary64_17444` `associate-l_binary64_17410` `associate-/r*_binary64_17413`
4×	`associate-/r/_binary64_17415`
3×	`associate-/l*_binary64_17414`
2×	`div-exp_binary64_17520` `prod-exp_binary64_17518` `cbrt-unprod_binary64_17502` `cbrt-undiv_binary64_17503` `frac-times_binary64_17479` `unswap-sqr_binary64_17437` `associate-*l/_binary64_17412` `div-inv_binary64_17466`
1×	`pow-prod-down_binary64_17540` `associate-r/_binary64_17411` `-commutative_binary64_17400` `diff-log_binary64_17561` `sub-neg_binary64_17462` `cancel-sign-sub-inv_binary64_17435` `frac-2neg_binary64_17480` `clear-num_binary64_17468`

Counts

3 → 95

Calls

3 calls:

16.0ms	(*.f64 (-.f64 z t) (/.f64 y (-.f64 a t)))
6.0ms	(/.f64 y (-.f64 a t))
4.0ms	(-.f64 y (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))))

Compiler

Compiled 2087 to 538 computations (74.2% saved)

series1.1s (10.2%)

Error

0.2b

Counts

3 → 63

Calls

3 calls:

523.0ms	(-.f64 y (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))))
366.0ms	(*.f64 (-.f64 z t) (/.f64 y (-.f64 a t)))
143.0ms	(/.f64 y (-.f64 a t))

Compiler

Compiled 3390 to 1999 computations (41% saved)

simplify96.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

459×	`times-frac_binary64_17475`
426×	`distribute-rgt-in_binary64_17419`
407×	`distribute-lft-in_binary64_17418`
315×	`cancel-sign-sub-inv_binary64_17435`
163×	`sub-neg_binary64_17462`
127×	`distribute-rgt-neg-in_binary64_17427`
115×	`associate-/l*_binary64_17414`
113×	`distribute-lft-neg-in_binary64_17426`
105×	`distribute-neg-frac_binary64_17433`
102×	`associate-l_binary64_17410`
90×	`*-commutative_binary64_17400`
86×	`associate-r_binary64_17409`
80×	`+-commutative_binary64_17399`
74×	`associate-*r/_binary64_17411`
71×	`div-sub_binary64_17474`
61×	`neg-sub0_binary64_17464`
59×	`associate-*l/_binary64_17412`
55×	`associate--l+_binary64_17406`
52×	`neg-mul-1_binary64_17465` `distribute-lft-neg-out_binary64_17428`
47×	`distribute-neg-in_binary64_17430`
40×	`distribute-rgt-neg-out_binary64_17429`
38×	`associate--r+_binary64_17405`
37×	`sqr-pow_binary64_17441`
32×	`-rgt-identity_binary64_17459` `associate-/l/_binary64_17416` `associate-/r/_binary64_17415` `associate-/r_binary64_17413`
30×	`unsub-neg_binary64_17463` `distribute-rgt-out_binary64_17422`
28×	`associate-+l+_binary64_17402`
24×	`*-lft-identity_binary64_17458`
21×	`unswap-sqr_binary64_17437` `distribute-rgt-out--_binary64_17423`
20×	`exp-prod_binary64_17521`
17×	`cube-prod_binary64_17497`
14×	`log-prod_binary64_17555`
11×	`exp-sum_binary64_17515` `mul-1-neg_binary64_17461` `difference-of-squares_binary64_17438` `distribute-rgt1-in_binary64_17425`
10×	`log-div_binary64_17556` `cube-div_binary64_17498` `/-rgt-identity_binary64_17460` `associate-+r+_binary64_17401`
9×	`unpow3_binary64_17535`
7×	`cube-mult_binary64_17499`
5×	`exp-diff_binary64_17517` `swap-sqr_binary64_17436` `distribute-lft-out_binary64_17420`
3×	`distribute-lft-out--_binary64_17421`
2×	`unpow2_binary64_17534` `unpow1/2_binary64_17533` `unpow1_binary64_17527` `cube-unmult_binary64_17506` `rem-sqrt-square_binary64_17482` `pow-sqr_binary64_17442` `distribute-lft1-in_binary64_17424` `associate--r-_binary64_17408` `associate-+r-_binary64_17403`
1×	`log-rec_binary64_17557` `div-exp_binary64_17520` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `remove-double-neg_binary64_17457` `+-rgt-identity_binary64_17454` `div0_binary64_17450` `associate-+l-_binary64_17404`
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_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `log-pow_binary64_17558` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `pow-plus_binary64_17532` `exp-to-pow_binary64_17531` `pow-base-1_binary64_17529` `unpow0_binary64_17528` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `rec-exp_binary64_17519` `prod-exp_binary64_17518` `exp-neg_binary64_17516` `e-exp-1_binary64_17514` `exp-0_binary64_17511` `rem-log-exp_binary64_17510` `rem-exp-log_binary64_17509` `cube-neg_binary64_17496` `rem-3cbrt-rft_binary64_17495` `rem-3cbrt-lft_binary64_17494` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `sqr-neg_binary64_17483` `rem-square-sqrt_binary64_17481` `sub0-neg_binary64_17456` `--rgt-identity_binary64_17455` `+-lft-identity_binary64_17453` `mul0-rgt_binary64_17452` `mul0-lft_binary64_17451` `*-inverses_binary64_17449` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `difference-of-sqr--1_binary64_17440` `difference-of-sqr-1_binary64_17439` `cancel-sign-sub_binary64_17434` `distribute-frac-neg_binary64_17432` `distribute-neg-out_binary64_17431` `count-2_binary64_17417` `associate--l-_binary64_17407`

Counts

158 → 109

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	234	2969
1	601	2759
2	2066	2642
3	5043	2642

prune86.0ms (0.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	107	2	109
Fresh	2	2	4
Picked	0	1	1
Done	0	0	0
Total	109	5	114

Error

0.0b

Counts

114 → 5

Compiler

Compiled 2054 to 488 computations (76.2% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (*.f64 y (-.f64 (+.f64 (/.f64 t (-.f64 a t)) 1) (/.f64 z (-.f64 a t)))))
0.0b	(/.f64 z (-.f64 a t))
2.5b	(+.f64 (/.f64 t (-.f64 a t)) 1)
4.3b	(*.f64 y (-.f64 (+.f64 (/.f64 t (-.f64 a t)) 1) (/.f64 z (-.f64 a t))))

rewrite309.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

91×	`add-sqr-sqrt_binary64_17491` `*-un-lft-identity_binary64_17469`
84×	`cancel-sign-sub-inv_binary64_17435`
76×	`times-frac_binary64_17475`
52×	`add-cube-cbrt_binary64_17504`
46×	`distribute-rgt-in_binary64_17419` `distribute-lft-in_binary64_17418` `associate-+r+_binary64_17401`
18×	`difference-of-squares_binary64_17438` `distribute-lft-out--_binary64_17421`
10×	`associate-/r/_binary64_17415`
8×	`add-exp-log_binary64_17507` `add-log-exp_binary64_17508` `add-cbrt-cube_binary64_17505`
7×	`associate-r_binary64_17409`
6×	`pow1_binary64_17530` `flip3--_binary64_17473` `flip--_binary64_17444`
5×	`div-inv_binary64_17466` `associate-/r*_binary64_17413`
4×	`sub-neg_binary64_17462` `associate--l+_binary64_17406` `associate-*r/_binary64_17411`
3×	`flip3-+_binary64_17472` `flip-+_binary64_17443` `associate-l_binary64_17410` `associate-/l*_binary64_17414`
2×	`frac-sub_binary64_17478` `distribute-lft-out_binary64_17420` `sum-log_binary64_17560` `+-commutative_binary64_17399`
1×	`pow-prod-down_binary64_17540` `prod-exp_binary64_17518` `cbrt-unprod_binary64_17502` `unswap-sqr_binary64_17437` `*-commutative_binary64_17400` `div-exp_binary64_17520` `cbrt-undiv_binary64_17503` `frac-2neg_binary64_17480` `clear-num_binary64_17468`

Counts

4 → 178

Calls

4 calls:

29.0ms	(*.f64 y (-.f64 (+.f64 (/.f64 t (-.f64 a t)) 1) (/.f64 z (-.f64 a t))))
27.0ms	(+.f64 x (*.f64 y (-.f64 (+.f64 (/.f64 t (-.f64 a t)) 1) (/.f64 z (-.f64 a t)))))
12.0ms	(+.f64 (/.f64 t (-.f64 a t)) 1)
6.0ms	(/.f64 z (-.f64 a t))

Compiler

Compiled 5112 to 1614 computations (68.4% saved)

series1.5s (14.2%)

Error

0.0b

Counts

4 → 86

Calls

4 calls:

719.0ms	(+.f64 x (*.f64 y (-.f64 (+.f64 (/.f64 t (-.f64 a t)) 1) (/.f64 z (-.f64 a t)))))
506.0ms	(*.f64 y (-.f64 (+.f64 (/.f64 t (-.f64 a t)) 1) (/.f64 z (-.f64 a t))))
131.0ms	(/.f64 z (-.f64 a t))
92.0ms	(+.f64 (/.f64 t (-.f64 a t)) 1)

Compiler

Compiled 4336 to 2601 computations (40% saved)

simplify199.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

679×	`times-frac_binary64_17475`
364×	`cancel-sign-sub-inv_binary64_17435`
243×	`associate-l_binary64_17410`
235×	`associate-r_binary64_17409`
223×	`*-commutative_binary64_17400`
218×	`sub-neg_binary64_17462`
190×	`neg-sub0_binary64_17464`
157×	`neg-mul-1_binary64_17465`
131×	`associate-*l/_binary64_17412`
116×	`associate-*r/_binary64_17411`
111×	`+-commutative_binary64_17399`
109×	`exp-prod_binary64_17521`
103×	`distribute-rgt-in_binary64_17419`
97×	`associate-/l*_binary64_17414`
90×	`distribute-lft-in_binary64_17418`
78×	`associate--l+_binary64_17406`
74×	`div-sub_binary64_17474` `unsub-neg_binary64_17463`
72×	`*-rgt-identity_binary64_17459` `distribute-lft-neg-out_binary64_17428`
61×	`*-lft-identity_binary64_17458`
51×	`distribute-rgt-neg-out_binary64_17429`
48×	`distribute-rgt-neg-in_binary64_17427`
45×	`sqr-pow_binary64_17441`
43×	`associate--r+_binary64_17405` `associate-+l+_binary64_17402`
41×	`associate-/r*_binary64_17413`
40×	`exp-sum_binary64_17515`
38×	`distribute-neg-frac_binary64_17433`
34×	`log-prod_binary64_17555` `exp-diff_binary64_17517` `associate-/l/_binary64_17416`
26×	`associate-/r/_binary64_17415`
23×	`distribute-lft-neg-in_binary64_17426`
22×	`associate-+r+_binary64_17401`
21×	`unswap-sqr_binary64_17437`
19×	`cube-prod_binary64_17497`
17×	`distribute-neg-in_binary64_17430`
15×	`unpow3_binary64_17535`
10×	`mul-1-neg_binary64_17461` `/-rgt-identity_binary64_17460`
9×	`difference-of-squares_binary64_17438`
8×	`cube-div_binary64_17498` `swap-sqr_binary64_17436`
7×	`cube-mult_binary64_17499` `div0_binary64_17450`
6×	`log-div_binary64_17556`
4×	`unpow1/2_binary64_17533` `distribute-rgt-out--_binary64_17423`
3×	`pow-plus_binary64_17532` `cube-unmult_binary64_17506` `rem-sqrt-square_binary64_17482` `associate-+r-_binary64_17403`
2×	`unpow2_binary64_17534` `unpow1_binary64_17527` `prod-exp_binary64_17518` `rem-3cbrt-lft_binary64_17494` `rem-square-sqrt_binary64_17481` `remove-double-neg_binary64_17457` `difference-of-sqr-1_binary64_17439` `associate-+l-_binary64_17404`
1×	`log-pow_binary64_17558` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `+-rgt-identity_binary64_17454` `pow-sqr_binary64_17442` `distribute-rgt1-in_binary64_17425` `distribute-rgt-out_binary64_17422` `associate--r-_binary64_17408`
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_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `log-rec_binary64_17557` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `exp-to-pow_binary64_17531` `pow-base-1_binary64_17529` `unpow0_binary64_17528` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `div-exp_binary64_17520` `rec-exp_binary64_17519` `exp-neg_binary64_17516` `e-exp-1_binary64_17514` `exp-0_binary64_17511` `rem-log-exp_binary64_17510` `rem-exp-log_binary64_17509` `cube-neg_binary64_17496` `rem-3cbrt-rft_binary64_17495` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `sqr-neg_binary64_17483` `sub0-neg_binary64_17456` `--rgt-identity_binary64_17455` `+-lft-identity_binary64_17453` `mul0-rgt_binary64_17452` `mul0-lft_binary64_17451` `*-inverses_binary64_17449` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `difference-of-sqr--1_binary64_17440` `cancel-sign-sub_binary64_17434` `distribute-frac-neg_binary64_17432` `distribute-neg-out_binary64_17431` `distribute-lft1-in_binary64_17424` `distribute-lft-out--_binary64_17421` `distribute-lft-out_binary64_17420` `count-2_binary64_17417` `associate--l-_binary64_17407`

Counts

264 → 191

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	338	5913
1	958	5787
2	3326	5505
3	4779	5505
4	4966	5505

prune202.0ms (1.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	189	2	191
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	190	6	196

Error

Counts

196 → 6

Compiler

Compiled 4537 to 1302 computations (71.3% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite77.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

17×	`*-un-lft-identity_binary64_17469`
14×	`add-sqr-sqrt_binary64_17491`
11×	`cancel-sign-sub-inv_binary64_17435`
10×	`times-frac_binary64_17475`
7×	`add-exp-log_binary64_17507` `add-log-exp_binary64_17508` `add-cbrt-cube_binary64_17505`
6×	`add-cube-cbrt_binary64_17504`
5×	`distribute-lft-out--_binary64_17421` `associate-/r*_binary64_17413`
4×	`difference-of-squares_binary64_17438` `associate-/r/_binary64_17415`
3×	`flip3--_binary64_17473` `flip--_binary64_17444`
2×	`pow1_binary64_17530` `div-exp_binary64_17520` `cbrt-undiv_binary64_17503` `div-inv_binary64_17466` `diff-log_binary64_17561` `frac-sub_binary64_17478`
1×	`prod-exp_binary64_17518` `cbrt-unprod_binary64_17502` `frac-2neg_binary64_17480` `clear-num_binary64_17468` `associate-/l*_binary64_17414` `sum-log_binary64_17560` `flip3-+_binary64_17472` `flip-+_binary64_17443` `sub-neg_binary64_17462` `distribute-lft-out_binary64_17420` `associate--l+_binary64_17406`

Counts

2 → 56

Calls

2 calls:

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

Compiler

Compiled 1110 to 252 computations (77.3% saved)

series612.0ms (5.7%)

Error

Counts

2 → 46

Calls

2 calls:

379.0ms	(-.f64 (+.f64 x y) (/.f64 (*.f64 y z) (-.f64 a t)))
208.0ms	(/.f64 (*.f64 y z) (-.f64 a t))

Compiler

Compiled 1390 to 884 computations (36.4% saved)

simplify92.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

529×	`times-frac_binary64_17475`
398×	`distribute-rgt-in_binary64_17419`
374×	`distribute-lft-in_binary64_17418`
327×	`div-sub_binary64_17474`
259×	`associate-/l/_binary64_17416`
128×	`distribute-neg-frac_binary64_17433`
126×	`distribute-rgt-neg-in_binary64_17427`
110×	`distribute-lft-neg-in_binary64_17426`
107×	`cancel-sign-sub-inv_binary64_17435`
89×	`sub-neg_binary64_17462`
83×	`associate-/l*_binary64_17414`
80×	`*-commutative_binary64_17400`
78×	`exp-prod_binary64_17521`
77×	`associate-*l/_binary64_17412`
75×	`neg-sub0_binary64_17464`
73×	`distribute-lft-neg-out_binary64_17428`
66×	`neg-mul-1_binary64_17465`
63×	`associate-*r/_binary64_17411`
59×	`associate-l_binary64_17410`
51×	`distribute-rgt-neg-out_binary64_17429` `associate-r_binary64_17409`
50×	`+-commutative_binary64_17399`
37×	`exp-sum_binary64_17515`
32×	`distribute-neg-in_binary64_17430`
31×	`cube-prod_binary64_17497` `sqr-pow_binary64_17441`
28×	`log-div_binary64_17556` `cube-div_binary64_17498`
27×	`log-prod_binary64_17555`
26×	`unsub-neg_binary64_17463` `associate-/r/_binary64_17415`
25×	`associate-/r*_binary64_17413`
23×	`associate-+l+_binary64_17402`
21×	`*-rgt-identity_binary64_17459`
18×	`unpow3_binary64_17535`
17×	`exp-diff_binary64_17517` `associate-+r+_binary64_17401`
13×	`distribute-rgt-out_binary64_17422`
12×	`cube-mult_binary64_17499`
9×	`associate--l+_binary64_17406`
8×	`unswap-sqr_binary64_17437` `distribute-neg-out_binary64_17431` `distribute-rgt-out--_binary64_17423`
7×	`div0_binary64_17450` `difference-of-squares_binary64_17438` `swap-sqr_binary64_17436`
6×	`div-exp_binary64_17520` `cube-unmult_binary64_17506`
5×	`sqr-neg_binary64_17483` `distribute-frac-neg_binary64_17432` `associate-+r-_binary64_17403`
4×	`mul-1-neg_binary64_17461` `+-rgt-identity_binary64_17454`
3×	`log-rec_binary64_17557` `pow-plus_binary64_17532` `exp-neg_binary64_17516` `/-rgt-identity_binary64_17460` `distribute-rgt1-in_binary64_17425`
2×	`prod-exp_binary64_17518` `cube-neg_binary64_17496` `rem-sqrt-square_binary64_17482` `rem-square-sqrt_binary64_17481` `*-lft-identity_binary64_17458` `remove-double-neg_binary64_17457` `associate--r+_binary64_17405`
1×	`log-pow_binary64_17558` `unpow2_binary64_17534` `unpow1/2_binary64_17533` `unpow1_binary64_17527` `1-exp_binary64_17513` `rem-3cbrt-rft_binary64_17495` `rem-3cbrt-lft_binary64_17494` `distribute-lft1-in_binary64_17424` `distribute-lft-out_binary64_17420` `associate--r-_binary64_17408` `associate-+l-_binary64_17404`
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_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `exp-to-pow_binary64_17531` `pow-base-1_binary64_17529` `unpow0_binary64_17528` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `rec-exp_binary64_17519` `e-exp-1_binary64_17514` `exp-1-e_binary64_17512` `exp-0_binary64_17511` `rem-log-exp_binary64_17510` `rem-exp-log_binary64_17509` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `sub0-neg_binary64_17456` `--rgt-identity_binary64_17455` `+-lft-identity_binary64_17453` `mul0-rgt_binary64_17452` `mul0-lft_binary64_17451` `*-inverses_binary64_17449` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `pow-sqr_binary64_17442` `difference-of-sqr--1_binary64_17440` `difference-of-sqr-1_binary64_17439` `cancel-sign-sub_binary64_17434` `distribute-lft-out--_binary64_17421` `count-2_binary64_17417` `associate--l-_binary64_17407`

Counts

102 → 80

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	162	1623
1	467	1590
2	1622	1560
3	4707	1560
4	5485	1560

prune56.0ms (0.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	80	6	86

Error

Counts

86 → 6

Compiler

Compiled 1160 to 182 computations (84.3% saved)

regimes1.2s (11.2%)

Accuracy

Total 3.8b remaining (97.7%)

Threshold costs 0b (0%)

Compiler

Compiled 8183 to 6143 computations (24.9% saved)

bsearch69.0ms (0.6%)

Steps

Iters	Range		Point
8	7.212993296247927e-100	8.613153630358574e-96	9.402685082012352e-100
10	-2.433202793567842e+60	-1.386568290714548e+50	-1.4021112681408288e+50

Compiler

Compiled 1 to 5 computations (-400% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

13×	`+-commutative_binary64_17399`
9×	`sub-neg_binary64_17462` `*-commutative_binary64_17400`
6×	`neg-mul-1_binary64_17465` `neg-sub0_binary64_17464`
2×	`distribute-neg-frac_binary64_17433` `distribute-rgt-neg-in_binary64_17427` `distribute-lft-neg-in_binary64_17426`
1×	`if-if-or-not_binary64_17727` `1-exp_binary64_17513`
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_17729` `if-if-and_binary64_17728` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `unpow1_binary64_17527` `e-exp-1_binary64_17514` `exp-1-e_binary64_17512` `exp-0_binary64_17511` `sqr-abs_binary64_17484` `sqr-neg_binary64_17483` `unsub-neg_binary64_17463` `mul-1-neg_binary64_17461` `/-rgt-identity_binary64_17460` `-rgt-identity_binary64_17459` `-lft-identity_binary64_17458` `remove-double-neg_binary64_17457` `sub0-neg_binary64_17456` `--rgt-identity_binary64_17455` `+-rgt-identity_binary64_17454` `+-lft-identity_binary64_17453` `cancel-sign-sub-inv_binary64_17435` `cancel-sign-sub_binary64_17434` `distribute-frac-neg_binary64_17432` `distribute-neg-out_binary64_17431` `distribute-neg-in_binary64_17430` `distribute-rgt-neg-out_binary64_17429` `distribute-lft-neg-out_binary64_17428`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	67
1	46	67
2	60	67
3	75	67
4	84	67
5	88	67
6	89	67
7	88	67

end0.0ms (0%)

sample2.0s (18.4%)

Algorithm

1×

intervals

Results

288.0ms	6782×	body	128	valid
54.0ms	350×	body	1024	valid
48.0ms	455×	body	512	valid
31.0ms	364×	body	256	valid
30.0ms	767×	body	128	invalid
9.0ms	49×	body	2048	valid

Compiler

Compiled 1478 to 1081 computations (26.9% saved)

Details

analyze1.1s (10.6%)

sample33.0ms (0.3%)

simplify136.0ms (1.3%)

prune3.0ms (0%)

localize9.0ms (0.1%)

rewrite134.0ms (1.3%)

series1.3s (11.8%)

simplify123.0ms (1.2%)

prune121.0ms (1.1%)

localize10.0ms (0.1%)

rewrite126.0ms (1.2%)

series1.1s (10.2%)

simplify96.0ms (0.9%)

prune86.0ms (0.8%)

localize13.0ms (0.1%)

rewrite309.0ms (2.9%)

series1.5s (14.2%)

simplify199.0ms (1.9%)

prune202.0ms (1.9%)

localize8.0ms (0.1%)

rewrite77.0ms (0.7%)

series612.0ms (5.7%)

simplify92.0ms (0.9%)

prune56.0ms (0.5%)

regimes1.2s (11.2%)

bsearch69.0ms (0.6%)

simplify6.0ms (0.1%)

end0.0ms (0%)

sample2.0s (18.4%)

Profiling