Details

analyze512.0ms (6.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

642×	`div-sub_binary64_6903`
482×	`associate-*l/_binary64_6841`
396×	`associate-/r*_binary64_6842`
392×	`cancel-sign-sub-inv_binary64_6864`
336×	`associate-/r/_binary64_6844`
326×	`associate-*r/_binary64_6840`
296×	`associate-/l/_binary64_6845`
234×	`neg-mul-1_binary64_6894`
184×	`distribute-rgt-in_binary64_6848`
178×	`sub-neg_binary64_6891`
160×	`associate-/l*_binary64_6843`
134×	`neg-sub0_binary64_6893` `distribute-neg-frac_binary64_6862`
122×	`distribute-lft-in_binary64_6847`
114×	`times-frac_binary64_6904`
104×	`distribute-rgt-neg-in_binary64_6856`
96×	`associate-r_binary64_6838`
90×	`distribute-lft-neg-in_binary64_6855` `associate-l_binary64_6839`
82×	`*-commutative_binary64_6829`
80×	`unsub-neg_binary64_6892`
58×	`distribute-rgt-neg-out_binary64_6858`
56×	`distribute-frac-neg_binary64_6861`
54×	`distribute-lft-neg-out_binary64_6857`
44×	`div0_binary64_6879`
42×	`*-lft-identity_binary64_6887`
32×	`sqr-pow_binary64_6870`
26×	`mul0-rgt_binary64_6881`
24×	`+-commutative_binary64_6828`
22×	`*-rgt-identity_binary64_6888` `mul0-lft_binary64_6880`
20×	`unswap-sqr_binary64_6866`
16×	`pow-sqr_binary64_6871`
12×	`sub0-neg_binary64_6885` `distribute-neg-in_binary64_6859` `associate-+l-_binary64_6833`
10×	`+-rgt-identity_binary64_6883` `distribute-rgt-out--_binary64_6852`
8×	`/-rgt-identity_binary64_6889`
6×	`exp-diff_binary64_6946` `exp-sum_binary64_6944` `cube-unmult_binary64_6935` `mul-1-neg_binary64_6890` `associate--r+_binary64_6834` `associate-+r-_binary64_6832`
4×	`unpow3_binary64_6964` `exp-prod_binary64_6950` `cube-prod_binary64_6926` `--rgt-identity_binary64_6884` `associate-+l+_binary64_6831`
2×	`sinh-def_binary64_7083` `pow-plus_binary64_6961` `exp-neg_binary64_6945` `remove-double-neg_binary64_6886` `associate-+r+_binary64_6830`
1×	`1-exp_binary64_6942`
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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `log-pow_binary64_6987` `log-rec_binary64_6986` `log-div_binary64_6985` `log-prod_binary64_6984` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `unpow2_binary64_6963` `unpow1/2_binary64_6962` `exp-to-pow_binary64_6960` `pow-base-1_binary64_6958` `unpow0_binary64_6957` `unpow1_binary64_6956` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-lft-sqr_binary64_6953` `exp-cbrt_binary64_6952` `exp-sqrt_binary64_6951` `div-exp_binary64_6949` `rec-exp_binary64_6948` `prod-exp_binary64_6947` `e-exp-1_binary64_6943` `exp-1-e_binary64_6941` `exp-0_binary64_6940` `rem-log-exp_binary64_6939` `rem-exp-log_binary64_6938` `cube-mult_binary64_6928` `cube-div_binary64_6927` `cube-neg_binary64_6925` `rem-3cbrt-rft_binary64_6924` `rem-3cbrt-lft_binary64_6923` `rem-cbrt-cube_binary64_6922` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `sqr-neg_binary64_6912` `rem-sqrt-square_binary64_6911` `rem-square-sqrt_binary64_6910` `+-lft-identity_binary64_6882` `*-inverses_binary64_6878` `+-inverses_binary64_6877` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `remove-double-div_binary64_6874` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868` `difference-of-squares_binary64_6867` `swap-sqr_binary64_6865` `cancel-sign-sub_binary64_6863` `distribute-neg-out_binary64_6860` `distribute-rgt1-in_binary64_6854` `distribute-lft1-in_binary64_6853` `distribute-rgt-out_binary64_6851` `distribute-lft-out--_binary64_6850` `distribute-lft-out_binary64_6849` `count-2_binary64_6846` `associate--r-_binary64_6837` `associate--l-_binary64_6836` `associate--l+_binary64_6835`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	22
1	28	22
2	61	22
3	136	22
4	300	22
5	665	22
6	1827	22
7	3936	22
8	4736	22
9	4854	22
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
12.5%	87.4%	0.1%	4
18.7%	81.2%	0.1%	5
21.9%	78%	0.1%	6
50%	43.7%	6.3%	7
50%	43.7%	6.3%	8
56.2%	34.3%	9.5%	9
56.2%	34.3%	9.5%	10
59.3%	29.7%	11%	11
59.3%	29.7%	11%	12
60.9%	27.3%	11.8%	13
60.9%	27.3%	11.8%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample67.0ms (0.8%)

Algorithm

1×

intervals

Results

12.0ms	62×	body	1024	valid
10.0ms	136×	body	128	valid
10.0ms	53×	body	1024	invalid
6.0ms	41×	body	512	valid
5.0ms	98×	body	128	invalid
4.0ms	27×	body	512	invalid
2.0ms	17×	body	256	valid
2.0ms	16×	body	256	invalid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify58.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

624×	`div-sub_binary64_6903`
491×	`times-frac_binary64_6904`
410×	`associate-/l*_binary64_6843`
354×	`cancel-sign-sub-inv_binary64_6864`
341×	`unsub-neg_binary64_6892`
307×	`associate-l_binary64_6839`
301×	`associate-r_binary64_6838`
249×	`distribute-rgt-in_binary64_6848`
236×	`neg-mul-1_binary64_6894`
212×	`associate-*l/_binary64_6841`
210×	`neg-sub0_binary64_6893`
196×	`distribute-rgt-neg-in_binary64_6856`
184×	`distribute-lft-in_binary64_6847`
181×	`distribute-neg-frac_binary64_6862`
177×	`associate-/r*_binary64_6842`
158×	`distribute-lft-neg-in_binary64_6855`
151×	`associate-/r/_binary64_6844`
145×	`associate-/l/_binary64_6845`
144×	`associate-*r/_binary64_6840`
120×	`distribute-lft-neg-out_binary64_6857`
116×	`distribute-rgt-neg-out_binary64_6858`
100×	`sub-neg_binary64_6891`
99×	`*-commutative_binary64_6829`
68×	`distribute-frac-neg_binary64_6861`
40×	`distribute-neg-in_binary64_6859`
34×	`*-lft-identity_binary64_6887`
27×	`*-rgt-identity_binary64_6888`
22×	`div0_binary64_6879` `+-commutative_binary64_6828`
16×	`associate--r+_binary64_6834`
15×	`/-rgt-identity_binary64_6889`
14×	`sqr-pow_binary64_6870` `unswap-sqr_binary64_6866`
13×	`mul0-rgt_binary64_6881`
12×	`exp-prod_binary64_6950` `associate-+l-_binary64_6833`
11×	`mul0-lft_binary64_6880` `associate--l-_binary64_6836`
9×	`distribute-rgt-out--_binary64_6852`
8×	`sub0-neg_binary64_6885`
7×	`pow-sqr_binary64_6871` `associate-+r-_binary64_6832`
6×	`exp-diff_binary64_6946` `exp-sum_binary64_6944` `associate-+l+_binary64_6831`
5×	`cube-unmult_binary64_6935` `cube-prod_binary64_6926`
4×	`exp-lft-sqr_binary64_6953` `+-rgt-identity_binary64_6883` `associate--l+_binary64_6835` `associate-+r+_binary64_6830`
3×	`exp-sqrt_binary64_6951` `mul-1-neg_binary64_6890` `--rgt-identity_binary64_6884`
2×	`unpow3_binary64_6964` `pow-plus_binary64_6961` `+-lft-identity_binary64_6882` `distribute-lft-out_binary64_6849` `associate--r-_binary64_6837`
1×	`sinh-def_binary64_7083` `prod-exp_binary64_6947` `exp-neg_binary64_6945` `1-exp_binary64_6942` `remove-double-neg_binary64_6886`
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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `log-pow_binary64_6987` `log-rec_binary64_6986` `log-div_binary64_6985` `log-prod_binary64_6984` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `unpow2_binary64_6963` `unpow1/2_binary64_6962` `exp-to-pow_binary64_6960` `pow-base-1_binary64_6958` `unpow0_binary64_6957` `unpow1_binary64_6956` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-cbrt_binary64_6952` `div-exp_binary64_6949` `rec-exp_binary64_6948` `e-exp-1_binary64_6943` `exp-1-e_binary64_6941` `exp-0_binary64_6940` `rem-log-exp_binary64_6939` `rem-exp-log_binary64_6938` `cube-mult_binary64_6928` `cube-div_binary64_6927` `cube-neg_binary64_6925` `rem-3cbrt-rft_binary64_6924` `rem-3cbrt-lft_binary64_6923` `rem-cbrt-cube_binary64_6922` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `sqr-neg_binary64_6912` `rem-sqrt-square_binary64_6911` `rem-square-sqrt_binary64_6910` `*-inverses_binary64_6878` `+-inverses_binary64_6877` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `remove-double-div_binary64_6874` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868` `difference-of-squares_binary64_6867` `swap-sqr_binary64_6865` `cancel-sign-sub_binary64_6863` `distribute-neg-out_binary64_6860` `distribute-rgt1-in_binary64_6854` `distribute-lft1-in_binary64_6853` `distribute-rgt-out_binary64_6851` `distribute-lft-out--_binary64_6850` `count-2_binary64_6846`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	16	11
2	34	11
3	73	11
4	157	11
5	344	11
6	932	11
7	2927	11
8	4087	11
9	5030	11

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

1 → 1

Compiler

Compiled 7 to 6 computations (14.3% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (sinh.f64 y) y)
0.0b	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
0.0b	(sinh.f64 y)

rewrite68.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

24×	`add-sqr-sqrt_binary64_6920`
19×	`add-cube-cbrt_binary64_6933` `*-un-lft-identity_binary64_6898` `times-frac_binary64_6904`
13×	`associate-r_binary64_6838`
10×	`add-exp-log_binary64_6936` `add-cbrt-cube_binary64_6934`
5×	`pow1_binary64_6959`
3×	`add-log-exp_binary64_6937` `associate-l_binary64_6839` `associate-/l_binary64_6843` `associate-/r_binary64_6842`
2×	`sinh-def_binary64_7083` `div-exp_binary64_6949` `prod-exp_binary64_6947` `cbrt-unprod_binary64_6931` `cbrt-undiv_binary64_6932` `unswap-sqr_binary64_6866` `div-inv_binary64_6895`
1×	`pow-prod-down_binary64_6969` `associate-r/_binary64_6840` `-commutative_binary64_6829` `frac-2neg_binary64_6909` `clear-num_binary64_6897` `associate-/l/_binary64_6845`

Counts

3 → 68

Calls

3 calls:

8.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
4.0ms	(/.f64 (sinh.f64 y) y)
1.0ms	(sinh.f64 y)

Compiler

Compiled 942 to 236 computations (74.9% saved)

series523.0ms (6.6%)

Error

Counts

3 → 22

Calls

3 calls:

332.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
98.0ms	(/.f64 (sinh.f64 y) y)
66.0ms	(sinh.f64 y)

Compiler

Compiled 897 to 646 computations (28% saved)

simplify79.0ms (1%)

Algorithm

1×	egg-herbie

Rules

508×	`associate-r_binary64_6838`
361×	`associate-/l*_binary64_6843`
321×	`times-frac_binary64_6904`
294×	`div-sub_binary64_6903`
289×	`associate-*r/_binary64_6840`
277×	`associate-*l/_binary64_6841`
230×	`*-commutative_binary64_6829`
187×	`associate-/r*_binary64_6842`
134×	`associate-/l/_binary64_6845` `associate-/r/_binary64_6844`
110×	`associate-l_binary64_6839`
80×	`associate-+l+_binary64_6831`
78×	`+-commutative_binary64_6828`
59×	`log-prod_binary64_6984` `exp-prod_binary64_6950`
48×	`associate-+r+_binary64_6830`
46×	`cube-prod_binary64_6926`
45×	`log-div_binary64_6985` `cancel-sign-sub-inv_binary64_6864`
42×	`cube-div_binary64_6927` `sub-neg_binary64_6891`
41×	`distribute-rgt-neg-in_binary64_6856`
37×	`distribute-rgt-in_binary64_6848`
35×	`distribute-neg-frac_binary64_6862`
33×	`distribute-lft-in_binary64_6847`
30×	`sqr-pow_binary64_6870`
29×	`distribute-lft-neg-in_binary64_6855`
27×	`neg-sub0_binary64_6893`
26×	`*-rgt-identity_binary64_6888`
23×	`neg-mul-1_binary64_6894` `*-lft-identity_binary64_6887`
19×	`associate-+l-_binary64_6833`
15×	`exp-sum_binary64_6944` `unswap-sqr_binary64_6866` `associate-+r-_binary64_6832`
13×	`distribute-rgt-out_binary64_6851`
12×	`exp-diff_binary64_6946`
10×	`associate--r+_binary64_6834`
9×	`distribute-lft-neg-out_binary64_6857`
8×	`unpow3_binary64_6964` `cube-unmult_binary64_6935` `/-rgt-identity_binary64_6889` `distribute-neg-in_binary64_6859` `associate--l+_binary64_6835`
7×	`distribute-rgt-out--_binary64_6852` `distribute-lft-out--_binary64_6850`
6×	`cube-mult_binary64_6928` `mul-1-neg_binary64_6890` `swap-sqr_binary64_6865` `associate--l-_binary64_6836`
5×	`exp-sqrt_binary64_6951`
4×	`log-rec_binary64_6986` `pow-plus_binary64_6961`
3×	`unsub-neg_binary64_6892` `distribute-rgt1-in_binary64_6854` `distribute-lft-out_binary64_6849` `associate--r-_binary64_6837`
2×	`log-pow_binary64_6987` `unpow1/2_binary64_6962` `pow-sqr_binary64_6871` `distribute-rgt-neg-out_binary64_6858`
1×	`sinh-def_binary64_7083` `unpow2_binary64_6963` `unpow1_binary64_6956` `exp-neg_binary64_6945` `1-exp_binary64_6942` `exp-1-e_binary64_6941` `cube-neg_binary64_6925` `sqr-neg_binary64_6912` `rem-sqrt-square_binary64_6911` `distribute-lft1-in_binary64_6853`
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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `exp-to-pow_binary64_6960` `pow-base-1_binary64_6958` `unpow0_binary64_6957` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-lft-sqr_binary64_6953` `exp-cbrt_binary64_6952` `div-exp_binary64_6949` `rec-exp_binary64_6948` `prod-exp_binary64_6947` `e-exp-1_binary64_6943` `exp-0_binary64_6940` `rem-log-exp_binary64_6939` `rem-exp-log_binary64_6938` `rem-3cbrt-rft_binary64_6924` `rem-3cbrt-lft_binary64_6923` `rem-cbrt-cube_binary64_6922` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `rem-square-sqrt_binary64_6910` `remove-double-neg_binary64_6886` `sub0-neg_binary64_6885` `--rgt-identity_binary64_6884` `+-rgt-identity_binary64_6883` `+-lft-identity_binary64_6882` `mul0-rgt_binary64_6881` `mul0-lft_binary64_6880` `div0_binary64_6879` `*-inverses_binary64_6878` `+-inverses_binary64_6877` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `remove-double-div_binary64_6874` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868` `difference-of-squares_binary64_6867` `cancel-sign-sub_binary64_6863` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `count-2_binary64_6846`

Counts

90 → 41

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	179	1404
1	435	1300
2	1325	1217
3	3979	1217
4	4963	1217

prune40.0ms (0.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	38	3	41
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	38	4	42

Error

Counts

42 → 4

Compiler

Compiled 569 to 247 computations (56.6% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 (sin.f64 x) (+.f64 (.f64 1/120 (pow.f64 y 4)) (+.f64 (+.f64 1 (.f64 1/6 (.f64 y y))) (*.f64 1/5040 (pow.f64 y 6)))))
0.1b	(*.f64 1/5040 (pow.f64 y 6))
0.1b	(*.f64 1/120 (pow.f64 y 4))
0.2b	(.f64 1/6 (.f64 y y))

rewrite200.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

26×	`add-sqr-sqrt_binary64_6920`
21×	`add-exp-log_binary64_6936`
18×	`associate-r_binary64_6838`
15×	`add-cbrt-cube_binary64_6934`
13×	`add-cube-cbrt_binary64_6933` `*-un-lft-identity_binary64_6898`
12×	`associate-l_binary64_6839`
11×	`pow1_binary64_6959`
10×	`prod-exp_binary64_6947`
8×	`unswap-sqr_binary64_6866` `unpow-prod-down_binary64_6977`
6×	`cbrt-unprod_binary64_6931`
4×	`pow-prod-down_binary64_6969` `add-log-exp_binary64_6937` `*-commutative_binary64_6829` `sqr-pow_binary64_6870`
2×	`pow-to-exp_binary64_6967` `pow-exp_binary64_6966` `associate-*r/_binary64_6840`
1×	`distribute-rgt-in_binary64_6848` `distribute-lft-in_binary64_6847` `flip3-+_binary64_6901` `flip-+_binary64_6872`

Counts

4 → 91

Calls

4 calls:

12.0ms	(.f64 (sin.f64 x) (+.f64 (.f64 1/120 (pow.f64 y 4)) (+.f64 (+.f64 1 (.f64 1/6 (.f64 y y))) (*.f64 1/5040 (pow.f64 y 6)))))
6.0ms	(.f64 1/6 (.f64 y y))
6.0ms	(*.f64 1/5040 (pow.f64 y 6))
6.0ms	(*.f64 1/120 (pow.f64 y 4))

Compiler

Compiled 2815 to 1995 computations (29.1% saved)

series452.0ms (5.7%)

Error

Counts

4 → 19

Calls

4 calls:

268.0ms	(.f64 (sin.f64 x) (+.f64 (.f64 1/120 (pow.f64 y 4)) (+.f64 (+.f64 1 (.f64 1/6 (.f64 y y))) (*.f64 1/5040 (pow.f64 y 6)))))
66.0ms	(*.f64 1/5040 (pow.f64 y 6))
50.0ms	(*.f64 1/120 (pow.f64 y 4))
42.0ms	(.f64 1/6 (.f64 y y))

Compiler

Compiled 1177 to 955 computations (18.9% saved)

simplify119.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

303×	`sub-neg_binary64_6891`
293×	`associate-r_binary64_6838`
277×	`associate-l_binary64_6839`
265×	`associate-+l+_binary64_6831`
234×	`associate-+r+_binary64_6830`
224×	`exp-prod_binary64_6950`
206×	`+-commutative_binary64_6828`
158×	`associate--r+_binary64_6834`
137×	`*-commutative_binary64_6829`
122×	`log-prod_binary64_6984`
121×	`distribute-rgt-in_binary64_6848`
120×	`distribute-lft-in_binary64_6847`
119×	`cancel-sign-sub-inv_binary64_6864`
118×	`exp-sum_binary64_6944`
105×	`unswap-sqr_binary64_6866`
100×	`cube-prod_binary64_6926`
99×	`neg-mul-1_binary64_6894` `neg-sub0_binary64_6893`
94×	`unsub-neg_binary64_6892`
82×	`associate--l+_binary64_6835`
80×	`distribute-rgt-out_binary64_6851`
65×	`distribute-neg-in_binary64_6859`
56×	`sqr-pow_binary64_6870`
54×	`distribute-rgt-neg-in_binary64_6856`
51×	`distribute-lft-neg-in_binary64_6855`
36×	`swap-sqr_binary64_6865`
32×	`log-pow_binary64_6987`
26×	`unpow3_binary64_6964`
23×	`cube-mult_binary64_6928`
22×	`*-lft-identity_binary64_6887`
21×	`*-rgt-identity_binary64_6888`
17×	`distribute-lft-out_binary64_6849`
13×	`pow-plus_binary64_6961` `associate-/l*_binary64_6843`
12×	`cube-unmult_binary64_6935`
11×	`rem-sqrt-square_binary64_6911`
9×	`pow-sqr_binary64_6871` `distribute-lft-neg-out_binary64_6857` `distribute-rgt-out--_binary64_6852`
7×	`associate-+l-_binary64_6833`
6×	`distribute-rgt-neg-out_binary64_6858` `associate-+r-_binary64_6832`
4×	`unpow1/2_binary64_6962`
3×	`unpow2_binary64_6963` `unpow1_binary64_6956` `distribute-rgt1-in_binary64_6854` `distribute-lft-out--_binary64_6850` `associate--l-_binary64_6836`
2×	`count-2_binary64_6846`
1×	`1-exp_binary64_6942` `exp-1-e_binary64_6941` `rem-cbrt-cube_binary64_6922` `rem-cube-cbrt_binary64_6921` `rem-square-sqrt_binary64_6910` `difference-of-squares_binary64_6867` `distribute-lft1-in_binary64_6853`
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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `sinh-def_binary64_7083` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `log-rec_binary64_6986` `log-div_binary64_6985` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `exp-to-pow_binary64_6960` `pow-base-1_binary64_6958` `unpow0_binary64_6957` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-lft-sqr_binary64_6953` `exp-cbrt_binary64_6952` `exp-sqrt_binary64_6951` `div-exp_binary64_6949` `rec-exp_binary64_6948` `prod-exp_binary64_6947` `exp-diff_binary64_6946` `exp-neg_binary64_6945` `e-exp-1_binary64_6943` `exp-0_binary64_6940` `rem-log-exp_binary64_6939` `rem-exp-log_binary64_6938` `cube-div_binary64_6927` `cube-neg_binary64_6925` `rem-3cbrt-rft_binary64_6924` `rem-3cbrt-lft_binary64_6923` `sqr-abs_binary64_6913` `sqr-neg_binary64_6912` `times-frac_binary64_6904` `div-sub_binary64_6903` `mul-1-neg_binary64_6890` `/-rgt-identity_binary64_6889` `remove-double-neg_binary64_6886` `sub0-neg_binary64_6885` `--rgt-identity_binary64_6884` `+-rgt-identity_binary64_6883` `+-lft-identity_binary64_6882` `mul0-rgt_binary64_6881` `mul0-lft_binary64_6880` `div0_binary64_6879` `-inverses_binary64_6878` `+-inverses_binary64_6877` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `remove-double-div_binary64_6874` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868` `cancel-sign-sub_binary64_6863` `distribute-neg-frac_binary64_6862` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `associate-/l/_binary64_6845` `associate-/r/_binary64_6844` `associate-/r_binary64_6842` `associate-l/_binary64_6841` `associate-r/_binary64_6840` `associate--r-_binary64_6837`

Counts

110 → 67

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	212	2048
1	502	1871
2	1979	1804
3	4088	1804
4	4995	1804
5	4940	1804

prune111.0ms (1.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	67	0	67
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	67	4	71

Error

Counts

71 → 4

Compiler

Compiled 1909 to 1346 computations (29.5% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (sin.f64 x) (.f64 (sin.f64 x) (+.f64 (.f64 1/6 (.f64 y y)) (.f64 1/120 (pow.f64 y 4)))))
0.1b	(*.f64 1/120 (pow.f64 y 4))
0.1b	(.f64 (sin.f64 x) (+.f64 (.f64 1/6 (.f64 y y)) (.f64 1/120 (pow.f64 y 4))))
0.2b	(.f64 1/6 (.f64 y y))

rewrite150.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

18×	`add-sqr-sqrt_binary64_6920`
16×	`add-exp-log_binary64_6936`
13×	`add-cbrt-cube_binary64_6934`
11×	`pow1_binary64_6959` `associate-r_binary64_6838`
10×	`add-cube-cbrt_binary64_6933` `*-un-lft-identity_binary64_6898`
9×	`associate-l_binary64_6839`
7×	`prod-exp_binary64_6947`
6×	`add-log-exp_binary64_6937`
5×	`cbrt-unprod_binary64_6931` `unswap-sqr_binary64_6866`
4×	`pow-prod-down_binary64_6969` `unpow-prod-down_binary64_6977`
3×	`*-commutative_binary64_6829`
2×	`distribute-rgt-in_binary64_6848` `distribute-lft-in_binary64_6847` `flip3-+_binary64_6901` `associate-*r/_binary64_6840` `flip-+_binary64_6872` `sqr-pow_binary64_6870` `associate-+r+_binary64_6830`
1×	`pow-to-exp_binary64_6967` `pow-exp_binary64_6966` `sum-log_binary64_6989` `+-commutative_binary64_6828`

Counts

4 → 79

Calls

4 calls:

12.0ms	(.f64 (sin.f64 x) (+.f64 (.f64 1/6 (.f64 y y)) (.f64 1/120 (pow.f64 y 4))))
6.0ms	(.f64 1/6 (.f64 y y))
6.0ms	(*.f64 1/120 (pow.f64 y 4))
4.0ms	(+.f64 (sin.f64 x) (.f64 (sin.f64 x) (+.f64 (.f64 1/6 (.f64 y y)) (.f64 1/120 (pow.f64 y 4)))))

Compiler

Compiled 2078 to 1220 computations (41.3% saved)

series905.0ms (11.4%)

Error

Counts

4 → 29

Calls

4 calls:

481.0ms	(+.f64 (sin.f64 x) (.f64 (sin.f64 x) (+.f64 (.f64 1/6 (.f64 y y)) (.f64 1/120 (pow.f64 y 4)))))
301.0ms	(.f64 (sin.f64 x) (+.f64 (.f64 1/6 (.f64 y y)) (.f64 1/120 (pow.f64 y 4))))
50.0ms	(*.f64 1/120 (pow.f64 y 4))
40.0ms	(.f64 1/6 (.f64 y y))

Compiler

Compiled 1431 to 1060 computations (25.9% saved)

simplify101.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

588×	`distribute-rgt-in_binary64_6848`
568×	`distribute-lft-in_binary64_6847`
265×	`cancel-sign-sub-inv_binary64_6864`
223×	`associate-r_binary64_6838`
217×	`associate-l_binary64_6839`
148×	`distribute-rgt-neg-in_binary64_6856`
129×	`distribute-lft-neg-in_binary64_6855`
127×	`exp-prod_binary64_6950` `neg-mul-1_binary64_6894` `neg-sub0_binary64_6893`
114×	`associate--r+_binary64_6834`
109×	`*-commutative_binary64_6829`
108×	`distribute-rgt-out_binary64_6851`
91×	`associate--l+_binary64_6835`
66×	`log-prod_binary64_6984`
59×	`cube-prod_binary64_6926` `sub-neg_binary64_6891`
55×	`unswap-sqr_binary64_6866`
50×	`sqr-pow_binary64_6870`
44×	`distribute-lft-out_binary64_6849`
41×	`distribute-rgt-out--_binary64_6852`
40×	`+-commutative_binary64_6828`
39×	`distribute-neg-in_binary64_6859`
26×	`exp-sum_binary64_6944`
22×	`swap-sqr_binary64_6865`
20×	`distribute-lft-neg-out_binary64_6857`
17×	`unpow3_binary64_6964` `-rgt-identity_binary64_6888` `-lft-identity_binary64_6887`
15×	`associate-+l+_binary64_6831`
14×	`distribute-rgt1-in_binary64_6854`
13×	`cube-mult_binary64_6928`
11×	`pow-plus_binary64_6961` `associate-+r+_binary64_6830`
10×	`unsub-neg_binary64_6892`
9×	`distribute-lft-out--_binary64_6850`
8×	`distribute-rgt-neg-out_binary64_6858`
7×	`log-pow_binary64_6987`
5×	`pow-sqr_binary64_6871`
4×	`unpow1/2_binary64_6962` `associate-/l*_binary64_6843`
3×	`unpow2_binary64_6963` `unpow1_binary64_6956` `associate--l-_binary64_6836`
2×	`cube-unmult_binary64_6935` `rem-sqrt-square_binary64_6911` `difference-of-squares_binary64_6867`
1×	`prod-exp_binary64_6947` `1-exp_binary64_6942` `exp-1-e_binary64_6941` `rem-square-sqrt_binary64_6910` `distribute-lft1-in_binary64_6853` `count-2_binary64_6846` `associate-+l-_binary64_6833` `associate-+r-_binary64_6832`
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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `sinh-def_binary64_7083` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `log-rec_binary64_6986` `log-div_binary64_6985` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `exp-to-pow_binary64_6960` `pow-base-1_binary64_6958` `unpow0_binary64_6957` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-lft-sqr_binary64_6953` `exp-cbrt_binary64_6952` `exp-sqrt_binary64_6951` `div-exp_binary64_6949` `rec-exp_binary64_6948` `exp-diff_binary64_6946` `exp-neg_binary64_6945` `e-exp-1_binary64_6943` `exp-0_binary64_6940` `rem-log-exp_binary64_6939` `rem-exp-log_binary64_6938` `cube-div_binary64_6927` `cube-neg_binary64_6925` `rem-3cbrt-rft_binary64_6924` `rem-3cbrt-lft_binary64_6923` `rem-cbrt-cube_binary64_6922` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `sqr-neg_binary64_6912` `times-frac_binary64_6904` `div-sub_binary64_6903` `mul-1-neg_binary64_6890` `/-rgt-identity_binary64_6889` `remove-double-neg_binary64_6886` `sub0-neg_binary64_6885` `--rgt-identity_binary64_6884` `+-rgt-identity_binary64_6883` `+-lft-identity_binary64_6882` `mul0-rgt_binary64_6881` `mul0-lft_binary64_6880` `div0_binary64_6879` `-inverses_binary64_6878` `+-inverses_binary64_6877` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `remove-double-div_binary64_6874` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868` `cancel-sign-sub_binary64_6863` `distribute-neg-frac_binary64_6862` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `associate-/l/_binary64_6845` `associate-/r/_binary64_6844` `associate-/r_binary64_6842` `associate-l/_binary64_6841` `associate-r/_binary64_6840` `associate--r-_binary64_6837`

Counts

108 → 72

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	180	2031
1	443	1935
2	1558	1887
3	4691	1887
4	4988	1887

prune88.0ms (1.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	72	4	76

Error

Counts

76 → 4

Compiler

Compiled 1550 to 924 computations (40.4% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
0.0b	(sinh.f64 y)
0.4b	(pow.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y)) 3)
17.7b	(cbrt.f64 (pow.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y)) 3))

rewrite104.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

19×	`add-sqr-sqrt_binary64_6920`
15×	`add-exp-log_binary64_6936` `add-cbrt-cube_binary64_6934`
14×	`add-cube-cbrt_binary64_6933` `*-un-lft-identity_binary64_6898`
13×	`associate-r_binary64_6838`
10×	`times-frac_binary64_6904`
9×	`pow1_binary64_6959`
8×	`cbrt-prod_binary64_6929`
4×	`add-log-exp_binary64_6937` `prod-exp_binary64_6947` `cbrt-unprod_binary64_6931`
3×	`associate-r/_binary64_6840` `pow-unpow_binary64_6975` `pow-exp_binary64_6966` `rem-cube-cbrt_binary64_6921` `associate-l*_binary64_6839`
2×	`cube-div_binary64_6927` `unpow-prod-down_binary64_6977` `unpow3_binary64_6964` `cube-mult_binary64_6928` `cube-prod_binary64_6926` `sqr-pow_binary64_6870` `pow-prod-down_binary64_6969` `pow-pow_binary64_6970` `div-exp_binary64_6949` `cbrt-undiv_binary64_6932` `unswap-sqr_binary64_6866`
1×	`pow1/3_binary64_6980` `cbrt-div_binary64_6930` `rem-cbrt-cube_binary64_6922` `pow-to-exp_binary64_6967` `sinh-def_binary64_7083` `div-inv_binary64_6895` `*-commutative_binary64_6829`

Counts

4 → 83

Calls

4 calls:

8.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
6.0ms	(pow.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y)) 3)
2.0ms	(cbrt.f64 (pow.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y)) 3))
1.0ms	(sinh.f64 y)

Compiler

Compiled 1458 to 523 computations (64.1% saved)

series1.3s (16%)

Error

Counts

4 → 34

Calls

4 calls:

572.0ms	(pow.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y)) 3)
339.0ms	(cbrt.f64 (pow.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y)) 3))
271.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
54.0ms	(sinh.f64 y)

Compiler

Compiled 1830 to 1336 computations (27% saved)

simplify80.0ms (1%)

Algorithm

1×	egg-herbie

Rules

434×	`associate-/r*_binary64_6842`
213×	`associate-r_binary64_6838`
187×	`distribute-rgt-in_binary64_6848`
184×	`associate-/r/_binary64_6844` `associate-l_binary64_6839`
183×	`distribute-lft-in_binary64_6847`
159×	`unswap-sqr_binary64_6866`
158×	`associate-/l/_binary64_6845`
117×	`*-commutative_binary64_6829`
102×	`log-prod_binary64_6984`
100×	`associate-/l*_binary64_6843`
93×	`swap-sqr_binary64_6865`
91×	`exp-prod_binary64_6950`
80×	`cancel-sign-sub-inv_binary64_6864`
78×	`distribute-rgt-neg-in_binary64_6856`
77×	`sqr-pow_binary64_6870`
73×	`times-frac_binary64_6904`
69×	`associate-*r/_binary64_6840`
62×	`cube-prod_binary64_6926`
59×	`distribute-lft-neg-in_binary64_6855`
50×	`associate-*l/_binary64_6841`
42×	`sub-neg_binary64_6891`
41×	`+-commutative_binary64_6828`
39×	`distribute-neg-frac_binary64_6862`
36×	`log-div_binary64_6985`
33×	`distribute-rgt-out_binary64_6851`
29×	`neg-sub0_binary64_6893` `*-rgt-identity_binary64_6888`
27×	`associate-+r+_binary64_6830`
26×	`*-lft-identity_binary64_6887`
25×	`associate-+l+_binary64_6831`
24×	`div-sub_binary64_6903` `distribute-lft-out_binary64_6849`
23×	`neg-mul-1_binary64_6894`
20×	`cube-div_binary64_6927` `distribute-lft-neg-out_binary64_6857`
14×	`unpow3_binary64_6964` `distribute-rgt-out--_binary64_6852`
12×	`cube-mult_binary64_6928`
11×	`mul-1-neg_binary64_6890` `pow-sqr_binary64_6871`
10×	`distribute-rgt-neg-out_binary64_6858` `distribute-lft-out--_binary64_6850`
8×	`log-pow_binary64_6987` `distribute-neg-in_binary64_6859`
7×	`cube-unmult_binary64_6935` `/-rgt-identity_binary64_6889`
6×	`distribute-rgt1-in_binary64_6854`
5×	`rem-cbrt-cube_binary64_6922` `rem-sqrt-square_binary64_6911`
4×	`pow-plus_binary64_6961` `associate--l+_binary64_6835` `associate--r+_binary64_6834`
3×	`exp-sum_binary64_6944` `unsub-neg_binary64_6892` `distribute-frac-neg_binary64_6861`
2×	`unpow1/2_binary64_6962` `unpow1_binary64_6956` `exp-diff_binary64_6946` `count-2_binary64_6846`
1×	`sinh-def_binary64_7083` `unpow2_binary64_6963` `exp-sqrt_binary64_6951` `exp-neg_binary64_6945` `1-exp_binary64_6942` `exp-1-e_binary64_6941` `rem-3cbrt-lft_binary64_6923` `distribute-lft1-in_binary64_6853` `associate-+l-_binary64_6833` `associate-+r-_binary64_6832`
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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `log-rec_binary64_6986` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `exp-to-pow_binary64_6960` `pow-base-1_binary64_6958` `unpow0_binary64_6957` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-lft-sqr_binary64_6953` `exp-cbrt_binary64_6952` `div-exp_binary64_6949` `rec-exp_binary64_6948` `prod-exp_binary64_6947` `e-exp-1_binary64_6943` `exp-0_binary64_6940` `rem-log-exp_binary64_6939` `rem-exp-log_binary64_6938` `cube-neg_binary64_6925` `rem-3cbrt-rft_binary64_6924` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `sqr-neg_binary64_6912` `rem-square-sqrt_binary64_6910` `remove-double-neg_binary64_6886` `sub0-neg_binary64_6885` `--rgt-identity_binary64_6884` `+-rgt-identity_binary64_6883` `+-lft-identity_binary64_6882` `mul0-rgt_binary64_6881` `mul0-lft_binary64_6880` `div0_binary64_6879` `*-inverses_binary64_6878` `+-inverses_binary64_6877` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `remove-double-div_binary64_6874` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868` `difference-of-squares_binary64_6867` `cancel-sign-sub_binary64_6863` `distribute-neg-out_binary64_6860` `associate--r-_binary64_6837` `associate--l-_binary64_6836`

Counts

117 → 64

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	225	2068
1	550	1967
2	2129	1892
3	5273	1892

prune57.0ms (0.7%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	64	4	68

Error

Counts

68 → 4

Compiler

Compiled 1010 to 433 computations (57.1% saved)

regimes331.0ms (4.2%)

Accuracy

Total 0.0b remaining (32.9%)

Threshold costs 0.0b (32.9%)

Compiler

Compiled 2511 to 1966 computations (21.7% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1× 1-exp_binary64_6942 *-commutative_binary64_6829

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_7158 if-if-and_binary64_7157 if-if-or-not_binary64_7156 if-if-or_binary64_7155 if-not_binary64_7154 if-same_binary64_7153 if-false_binary64_7152 if-true_binary64_7151 tan-0_binary64_7027 cos-0_binary64_7026 sin-0_binary64_7025 unpow1_binary64_6956 e-exp-1_binary64_6943 exp-1-e_binary64_6941 exp-0_binary64_6940 sqr-abs_binary64_6913 sqr-neg_binary64_6912 neg-mul-1_binary64_6894 neg-sub0_binary64_6893 unsub-neg_binary64_6892 sub-neg_binary64_6891 mul-1-neg_binary64_6890 /-rgt-identity_binary64_6889 *-rgt-identity_binary64_6888 *-lft-identity_binary64_6887 remove-double-neg_binary64_6886 sub0-neg_binary64_6885 --rgt-identity_binary64_6884 +-rgt-identity_binary64_6883 +-lft-identity_binary64_6882 cancel-sign-sub-inv_binary64_6864 cancel-sign-sub_binary64_6863 distribute-neg-frac_binary64_6862 distribute-frac-neg_binary64_6861 distribute-neg-out_binary64_6860 distribute-neg-in_binary64_6859 distribute-rgt-neg-out_binary64_6858 distribute-lft-neg-out_binary64_6857 distribute-rgt-neg-in_binary64_6856 distribute-lft-neg-in_binary64_6855 +-commutative_binary64_6828

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	12	14
2	11	14

end0.0ms (0%)

sample2.6s (32.5%)

Algorithm

1×

intervals

Results

419.0ms	1947×	body	1024	valid
380.0ms	1989×	body	1024	invalid
224.0ms	4462×	body	128	valid
151.0ms	1076×	body	512	valid
144.0ms	1013×	body	512	invalid
140.0ms	2612×	body	128	invalid
48.0ms	504×	body	256	valid
48.0ms	467×	body	256	invalid
4.0ms	11×	body	2048	valid

Compiler

Compiled 475 to 379 computations (20.2% saved)

Details

analyze512.0ms (6.4%)

sample67.0ms (0.8%)

simplify58.0ms (0.7%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite68.0ms (0.9%)

series523.0ms (6.6%)

simplify79.0ms (1%)

prune40.0ms (0.5%)

localize17.0ms (0.2%)

rewrite200.0ms (2.5%)

series452.0ms (5.7%)

simplify119.0ms (1.5%)

prune111.0ms (1.4%)

localize11.0ms (0.1%)

rewrite150.0ms (1.9%)

series905.0ms (11.4%)

simplify101.0ms (1.3%)

prune88.0ms (1.1%)

localize8.0ms (0.1%)

rewrite104.0ms (1.3%)

series1.3s (16%)

simplify80.0ms (1%)

prune57.0ms (0.7%)

regimes331.0ms (4.2%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.6s (32.5%)

Profiling