Details

analyze527.0ms (7.5%)

Algorithm

1×	search
2×	egg-herbie

Rules

728×	`unswap-sqr_binary64_12663`
408×	`associate-/r/_binary64_12641`
384×	`associate-*l/_binary64_12638`
358×	`associate-/l/_binary64_12642`
280×	`*-commutative_binary64_12626`
218×	`associate-l_binary64_12636`
210×	`div-sub_binary64_12700`
206×	`associate-r_binary64_12635`
204×	`associate-/l*_binary64_12640`
174×	`rem-sqrt-square_binary64_12708` `distribute-rgt-in_binary64_12645`
130×	`distribute-lft-in_binary64_12644`
100×	`sqr-pow_binary64_12667`
96×	`sub-neg_binary64_12688`
90×	`prod-exp_binary64_12744` `times-frac_binary64_12701`
88×	`associate-/r*_binary64_12639`
82×	`associate-*r/_binary64_12637`
70×	`*-lft-identity_binary64_12684`
68×	`exp-prod_binary64_12747`
54×	`distribute-rgt-out_binary64_12648`
50×	`pow-sqr_binary64_12668`
48×	`*-rgt-identity_binary64_12685`
44×	`div0_binary64_12676`
34×	`mul0-rgt_binary64_12678` `mul0-lft_binary64_12677` `associate--l-_binary64_12633`
30×	`cube-prod_binary64_12723`
26×	`distribute-neg-frac_binary64_12659` `+-commutative_binary64_12625`
24×	`pow-plus_binary64_12758` `exp-sum_binary64_12741` `cube-unmult_binary64_12732`
20×	`exp-diff_binary64_12743`
18×	`exp-sqrt_binary64_12748`
16×	`/-rgt-identity_binary64_12686` `distribute-rgt-neg-in_binary64_12653`
14×	`unpow3_binary64_12761` `exp-lft-sqr_binary64_12750` `distribute-lft-neg-in_binary64_12652`
12×	`rec-exp_binary64_12745` `+-rgt-identity_binary64_12680`
10×	`neg-mul-1_binary64_12691` `neg-sub0_binary64_12690`
8×	`unpow1_binary64_12753`
6×	`unpow2_binary64_12760` `cancel-sign-sub-inv_binary64_12661` `distribute-neg-in_binary64_12656`
4×	`unpow1/2_binary64_12759` `unpow-1_binary64_12752`
2×	`cosh-def_binary64_12881` `exp-neg_binary64_12742` `sub0-neg_binary64_12682` `--rgt-identity_binary64_12681` `associate--r+_binary64_12631` `associate-+l-_binary64_12630`
1×	`1-exp_binary64_12739` `exp-1-e_binary64_12738`
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_12958` `erf-erfc_binary64_12957` `erf-odd_binary64_12956` `if-if-and-not_binary64_12955` `if-if-and_binary64_12954` `if-if-or-not_binary64_12953` `if-if-or_binary64_12952` `if-not_binary64_12951` `if-same_binary64_12950` `if-false_binary64_12949` `if-true_binary64_12948` `not-gte_binary64_12947` `not-lte_binary64_12946` `not-gt_binary64_12945` `not-lt_binary64_12944` `gte-same_binary64_12943` `lte-same_binary64_12942` `gt-same_binary64_12941` `lt-same_binary64_12940` `sinh---cosh_binary64_12887` `sinh-+-cosh_binary64_12886` `sinh-cosh_binary64_12885` `tanh-def-c_binary64_12884` `tanh-def-b_binary64_12883` `tanh-def-a_binary64_12882` `sinh-def_binary64_12880` `tan-neg_binary64_12827` `cos-neg_binary64_12826` `sin-neg_binary64_12825` `tan-0_binary64_12824` `cos-0_binary64_12823` `sin-0_binary64_12822` `hang-m-tan_binary64_12821` `hang-p-tan_binary64_12820` `hang-m0-tan_binary64_12819` `hang-p0-tan_binary64_12818` `hang-0m-tan_binary64_12817` `hang-0p-tan_binary64_12816` `tan-+PI/2_binary64_12815` `tan-+PI_binary64_12814` `tan-PI_binary64_12813` `tan-PI/3_binary64_12812` `tan-PI/4_binary64_12811` `tan-PI/6_binary64_12810` `cos-+PI/2_binary64_12809` `cos-+PI_binary64_12808` `cos-PI_binary64_12807` `cos-PI/2_binary64_12806` `cos-PI/3_binary64_12805` `cos-PI/4_binary64_12804` `cos-PI/6_binary64_12803` `sin-+PI/2_binary64_12802` `sin-+PI_binary64_12801` `sin-PI_binary64_12800` `sin-PI/2_binary64_12799` `sin-PI/3_binary64_12798` `sin-PI/4_binary64_12797` `sin-PI/6_binary64_12796` `sub-1-sin_binary64_12795` `sub-1-cos_binary64_12794` `-1-add-sin_binary64_12793` `-1-add-cos_binary64_12792` `1-sub-sin_binary64_12791` `1-sub-cos_binary64_12790` `cos-sin-sum_binary64_12789` `log-E_binary64_12785` `log-pow_binary64_12784` `log-rec_binary64_12783` `log-div_binary64_12782` `log-prod_binary64_12781` `pow-base-0_binary64_12779` `unpow1/3_binary64_12762` `exp-to-pow_binary64_12757` `pow-base-1_binary64_12755` `unpow0_binary64_12754` `exp-lft-cube_binary64_12751` `exp-cbrt_binary64_12749` `div-exp_binary64_12746` `e-exp-1_binary64_12740` `exp-0_binary64_12737` `rem-log-exp_binary64_12736` `rem-exp-log_binary64_12735` `cube-mult_binary64_12725` `cube-div_binary64_12724` `cube-neg_binary64_12722` `rem-3cbrt-rft_binary64_12721` `rem-3cbrt-lft_binary64_12720` `rem-cbrt-cube_binary64_12719` `rem-cube-cbrt_binary64_12718` `sqr-abs_binary64_12710` `sqr-neg_binary64_12709` `rem-square-sqrt_binary64_12707` `unsub-neg_binary64_12689` `mul-1-neg_binary64_12687` `remove-double-neg_binary64_12683` `+-lft-identity_binary64_12679` `*-inverses_binary64_12675` `+-inverses_binary64_12674` `lft-mult-inverse_binary64_12673` `rgt-mult-inverse_binary64_12672` `remove-double-div_binary64_12671` `difference-of-sqr--1_binary64_12666` `difference-of-sqr-1_binary64_12665` `difference-of-squares_binary64_12664` `swap-sqr_binary64_12662` `cancel-sign-sub_binary64_12660` `distribute-frac-neg_binary64_12658` `distribute-neg-out_binary64_12657` `distribute-rgt-neg-out_binary64_12655` `distribute-lft-neg-out_binary64_12654` `distribute-rgt1-in_binary64_12651` `distribute-lft1-in_binary64_12650` `distribute-rgt-out--_binary64_12649` `distribute-lft-out--_binary64_12647` `distribute-lft-out_binary64_12646` `count-2_binary64_12643` `associate--r-_binary64_12634` `associate--l+_binary64_12632` `associate-+r-_binary64_12629` `associate-+l+_binary64_12628` `associate-+r+_binary64_12627`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	22
1	28	22
2	57	22
3	111	22
4	196	22
5	301	22
6	584	22
7	1529	22
8	2799	22
9	3559	22
10	4707	22
11	4855	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
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	68.7%	6.3%	6
43.7%	46.8%	9.5%	7
43.7%	42.1%	14.1%	8
46.8%	36.7%	16.5%	9
46.8%	34%	19.2%	10
48.4%	31%	20.6%	11
48.4%	29.6%	22%	12
49.2%	28%	22.8%	13
49.2%	27.3%	23.5%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample61.0ms (0.9%)

Algorithm

1×

intervals

Results

14.0ms	66×	body	1024	valid
12.0ms	60×	body	1024	invalid
7.0ms	133×	body	128	valid
5.0ms	33×	body	512	valid
4.0ms	33×	body	512	invalid
2.0ms	23×	body	256	valid
1.0ms	18×	body	128	invalid
1.0ms	1×	body	2048	valid
1.0ms	6×	body	256	invalid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify116.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

772×	`unswap-sqr_binary64_12663`
448×	`associate-/l*_binary64_12640`
363×	`times-frac_binary64_12701`
280×	`associate-/r*_binary64_12639`
256×	`*-commutative_binary64_12626`
246×	`div-exp_binary64_12746`
238×	`rem-sqrt-square_binary64_12708`
207×	`sqr-pow_binary64_12667`
159×	`associate-*l/_binary64_12638`
139×	`pow-sqr_binary64_12668`
130×	`cube-prod_binary64_12723` `associate-*r/_binary64_12637`
123×	`associate-/l/_binary64_12642`
122×	`associate-/r/_binary64_12641`
115×	`distribute-rgt-in_binary64_12645`
109×	`associate-l_binary64_12636`
103×	`associate-r_binary64_12635`
102×	`unpow3_binary64_12761`
90×	`div-sub_binary64_12700`
86×	`distribute-lft-in_binary64_12644`
75×	`*-lft-identity_binary64_12684`
73×	`exp-prod_binary64_12747`
65×	`*-rgt-identity_binary64_12685`
47×	`cube-mult_binary64_12725`
38×	`pow-plus_binary64_12758`
35×	`exp-diff_binary64_12743`
32×	`distribute-rgt-out_binary64_12648`
29×	`distribute-rgt-neg-in_binary64_12653`
27×	`prod-exp_binary64_12744`
25×	`exp-sum_binary64_12741`
22×	`distribute-lft-neg-in_binary64_12652`
20×	`sub-neg_binary64_12688`
19×	`cancel-sign-sub-inv_binary64_12661`
18×	`cube-unmult_binary64_12732` `neg-mul-1_binary64_12691` `+-commutative_binary64_12625`
17×	`distribute-neg-frac_binary64_12659`
16×	`rec-exp_binary64_12745` `/-rgt-identity_binary64_12686` `distribute-frac-neg_binary64_12658` `distribute-lft-neg-out_binary64_12654`
14×	`distribute-rgt-neg-out_binary64_12655`
11×	`neg-sub0_binary64_12690`
10×	`unpow2_binary64_12760` `unpow1/2_binary64_12759` `unpow1_binary64_12753` `exp-sqrt_binary64_12748`
9×	`remove-double-div_binary64_12671`
8×	`exp-lft-sqr_binary64_12750` `distribute-neg-in_binary64_12656`
7×	`associate-+l-_binary64_12630`
5×	`unsub-neg_binary64_12689`
3×	`unpow-1_binary64_12752` `exp-neg_binary64_12742` `remove-double-neg_binary64_12683` `distribute-neg-out_binary64_12657` `distribute-rgt-out--_binary64_12649` `distribute-lft-out_binary64_12646` `associate--l-_binary64_12633` `associate--r+_binary64_12631`
2×	`cube-div_binary64_12724` `+-rgt-identity_binary64_12680` `distribute-rgt1-in_binary64_12651`
1×	`cosh-def_binary64_12881` `1-exp_binary64_12739` `exp-1-e_binary64_12738` `sub0-neg_binary64_12682` `--rgt-identity_binary64_12681` `associate-+r-_binary64_12629` `associate-+l+_binary64_12628` `associate-+r+_binary64_12627`
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_12958` `erf-erfc_binary64_12957` `erf-odd_binary64_12956` `if-if-and-not_binary64_12955` `if-if-and_binary64_12954` `if-if-or-not_binary64_12953` `if-if-or_binary64_12952` `if-not_binary64_12951` `if-same_binary64_12950` `if-false_binary64_12949` `if-true_binary64_12948` `not-gte_binary64_12947` `not-lte_binary64_12946` `not-gt_binary64_12945` `not-lt_binary64_12944` `gte-same_binary64_12943` `lte-same_binary64_12942` `gt-same_binary64_12941` `lt-same_binary64_12940` `sinh---cosh_binary64_12887` `sinh-+-cosh_binary64_12886` `sinh-cosh_binary64_12885` `tanh-def-c_binary64_12884` `tanh-def-b_binary64_12883` `tanh-def-a_binary64_12882` `sinh-def_binary64_12880` `tan-neg_binary64_12827` `cos-neg_binary64_12826` `sin-neg_binary64_12825` `tan-0_binary64_12824` `cos-0_binary64_12823` `sin-0_binary64_12822` `hang-m-tan_binary64_12821` `hang-p-tan_binary64_12820` `hang-m0-tan_binary64_12819` `hang-p0-tan_binary64_12818` `hang-0m-tan_binary64_12817` `hang-0p-tan_binary64_12816` `tan-+PI/2_binary64_12815` `tan-+PI_binary64_12814` `tan-PI_binary64_12813` `tan-PI/3_binary64_12812` `tan-PI/4_binary64_12811` `tan-PI/6_binary64_12810` `cos-+PI/2_binary64_12809` `cos-+PI_binary64_12808` `cos-PI_binary64_12807` `cos-PI/2_binary64_12806` `cos-PI/3_binary64_12805` `cos-PI/4_binary64_12804` `cos-PI/6_binary64_12803` `sin-+PI/2_binary64_12802` `sin-+PI_binary64_12801` `sin-PI_binary64_12800` `sin-PI/2_binary64_12799` `sin-PI/3_binary64_12798` `sin-PI/4_binary64_12797` `sin-PI/6_binary64_12796` `sub-1-sin_binary64_12795` `sub-1-cos_binary64_12794` `-1-add-sin_binary64_12793` `-1-add-cos_binary64_12792` `1-sub-sin_binary64_12791` `1-sub-cos_binary64_12790` `cos-sin-sum_binary64_12789` `log-E_binary64_12785` `log-pow_binary64_12784` `log-rec_binary64_12783` `log-div_binary64_12782` `log-prod_binary64_12781` `pow-base-0_binary64_12779` `unpow1/3_binary64_12762` `exp-to-pow_binary64_12757` `pow-base-1_binary64_12755` `unpow0_binary64_12754` `exp-lft-cube_binary64_12751` `exp-cbrt_binary64_12749` `e-exp-1_binary64_12740` `exp-0_binary64_12737` `rem-log-exp_binary64_12736` `rem-exp-log_binary64_12735` `cube-neg_binary64_12722` `rem-3cbrt-rft_binary64_12721` `rem-3cbrt-lft_binary64_12720` `rem-cbrt-cube_binary64_12719` `rem-cube-cbrt_binary64_12718` `sqr-abs_binary64_12710` `sqr-neg_binary64_12709` `rem-square-sqrt_binary64_12707` `mul-1-neg_binary64_12687` `+-lft-identity_binary64_12679` `mul0-rgt_binary64_12678` `mul0-lft_binary64_12677` `div0_binary64_12676` `*-inverses_binary64_12675` `+-inverses_binary64_12674` `lft-mult-inverse_binary64_12673` `rgt-mult-inverse_binary64_12672` `difference-of-sqr--1_binary64_12666` `difference-of-sqr-1_binary64_12665` `difference-of-squares_binary64_12664` `swap-sqr_binary64_12662` `cancel-sign-sub_binary64_12660` `distribute-lft1-in_binary64_12650` `distribute-lft-out--_binary64_12647` `count-2_binary64_12643` `associate--r-_binary64_12634` `associate--l+_binary64_12632`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	16	11
2	32	11
3	60	11
4	103	11
5	157	11
6	303	11
7	756	11
8	1982	11
9	2020	11
10	2297	11
11	3821	11
12	4005	11
13	4617	11
14	4868	11
15	4648	11
16	4950	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.1b

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	(cosh.f64 x)
0.0b	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
0.1b	(/.f64 (sin.f64 y) y)

rewrite86.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

24×	`add-sqr-sqrt_binary64_12717`
19×	`add-cube-cbrt_binary64_12730` `times-frac_binary64_12701` `*-un-lft-identity_binary64_12695`
13×	`associate-r_binary64_12635`
10×	`add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
5×	`pow1_binary64_12756`
3×	`add-log-exp_binary64_12734` `associate-/l_binary64_12640` `associate-/r_binary64_12639` `cosh-def_binary64_12881` `associate-l_binary64_12636`
2×	`div-exp_binary64_12746` `cbrt-undiv_binary64_12729` `div-inv_binary64_12692` `prod-exp_binary64_12744` `cbrt-unprod_binary64_12728` `unswap-sqr_binary64_12663`
1×	`frac-2neg_binary64_12706` `clear-num_binary64_12694` `pow-prod-down_binary64_12766` `frac-times_binary64_12705` `associate-l/_binary64_12638` `associate-r/_binary64_12637` `*-commutative_binary64_12626`

Counts

3 → 69

Calls

3 calls:

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

Compiler

Compiled 955 to 232 computations (75.7% saved)

series396.0ms (5.6%)

Error

0.1b

Counts

3 → 20

Calls

3 calls:

289.0ms	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
50.0ms	(cosh.f64 x)
38.0ms	(/.f64 (sin.f64 y) y)

Compiler

Compiled 766 to 537 computations (29.9% saved)

simplify98.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

384×	`associate-*l/_binary64_12638`
364×	`associate-l_binary64_12636`
342×	`associate-*r/_binary64_12637`
324×	`associate-/l*_binary64_12640`
293×	`associate-r_binary64_12635`
261×	`cancel-sign-sub-inv_binary64_12661`
257×	`distribute-rgt-in_binary64_12645`
220×	`times-frac_binary64_12701`
167×	`*-commutative_binary64_12626`
134×	`associate-/r*_binary64_12639`
119×	`distribute-rgt-neg-in_binary64_12653`
117×	`associate-/l/_binary64_12642`
107×	`distribute-lft-neg-in_binary64_12652`
105×	`neg-mul-1_binary64_12691`
95×	`unswap-sqr_binary64_12663`
89×	`log-div_binary64_12782`
85×	`distribute-rgt-out_binary64_12648`
80×	`cube-div_binary64_12724`
78×	`sub-neg_binary64_12688`
77×	`associate-/r/_binary64_12641`
71×	`log-prod_binary64_12781` `cube-prod_binary64_12723`
66×	`exp-prod_binary64_12747`
58×	`associate-+l+_binary64_12628`
56×	`*-lft-identity_binary64_12684`
55×	`*-rgt-identity_binary64_12685` `+-commutative_binary64_12625`
50×	`sqr-pow_binary64_12667`
44×	`distribute-lft-out_binary64_12646`
41×	`distribute-lft-in_binary64_12644`
39×	`associate-+r+_binary64_12627`
34×	`unpow3_binary64_12761`
30×	`neg-sub0_binary64_12690` `/-rgt-identity_binary64_12686`
28×	`cube-mult_binary64_12725`
24×	`exp-sum_binary64_12741`
19×	`swap-sqr_binary64_12662`
16×	`distribute-neg-in_binary64_12656` `distribute-rgt-out--_binary64_12649`
15×	`associate-+l-_binary64_12630`
12×	`associate-+r-_binary64_12629`
11×	`log-rec_binary64_12783` `cube-unmult_binary64_12732`
9×	`pow-plus_binary64_12758` `distribute-neg-frac_binary64_12659`
8×	`unsub-neg_binary64_12689` `pow-sqr_binary64_12668` `associate--l+_binary64_12632` `associate--r+_binary64_12631`
7×	`exp-sqrt_binary64_12748`
6×	`distribute-lft-neg-out_binary64_12654`
5×	`+-rgt-identity_binary64_12680` `remove-double-div_binary64_12671`
4×	`unpow1/2_binary64_12759` `rem-sqrt-square_binary64_12708`
3×	`log-pow_binary64_12784` `div-sub_binary64_12700` `sub0-neg_binary64_12682` `distribute-lft-out--_binary64_12647` `associate--l-_binary64_12633`
2×	`unpow2_binary64_12760` `unpow1_binary64_12753` `rec-exp_binary64_12745`
1×	`cosh-def_binary64_12881` `exp-diff_binary64_12743` `exp-neg_binary64_12742` `1-exp_binary64_12739` `exp-1-e_binary64_12738` `associate--r-_binary64_12634`
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_12958` `erf-erfc_binary64_12957` `erf-odd_binary64_12956` `if-if-and-not_binary64_12955` `if-if-and_binary64_12954` `if-if-or-not_binary64_12953` `if-if-or_binary64_12952` `if-not_binary64_12951` `if-same_binary64_12950` `if-false_binary64_12949` `if-true_binary64_12948` `not-gte_binary64_12947` `not-lte_binary64_12946` `not-gt_binary64_12945` `not-lt_binary64_12944` `gte-same_binary64_12943` `lte-same_binary64_12942` `gt-same_binary64_12941` `lt-same_binary64_12940` `sinh---cosh_binary64_12887` `sinh-+-cosh_binary64_12886` `sinh-cosh_binary64_12885` `tanh-def-c_binary64_12884` `tanh-def-b_binary64_12883` `tanh-def-a_binary64_12882` `sinh-def_binary64_12880` `tan-neg_binary64_12827` `cos-neg_binary64_12826` `sin-neg_binary64_12825` `tan-0_binary64_12824` `cos-0_binary64_12823` `sin-0_binary64_12822` `hang-m-tan_binary64_12821` `hang-p-tan_binary64_12820` `hang-m0-tan_binary64_12819` `hang-p0-tan_binary64_12818` `hang-0m-tan_binary64_12817` `hang-0p-tan_binary64_12816` `tan-+PI/2_binary64_12815` `tan-+PI_binary64_12814` `tan-PI_binary64_12813` `tan-PI/3_binary64_12812` `tan-PI/4_binary64_12811` `tan-PI/6_binary64_12810` `cos-+PI/2_binary64_12809` `cos-+PI_binary64_12808` `cos-PI_binary64_12807` `cos-PI/2_binary64_12806` `cos-PI/3_binary64_12805` `cos-PI/4_binary64_12804` `cos-PI/6_binary64_12803` `sin-+PI/2_binary64_12802` `sin-+PI_binary64_12801` `sin-PI_binary64_12800` `sin-PI/2_binary64_12799` `sin-PI/3_binary64_12798` `sin-PI/4_binary64_12797` `sin-PI/6_binary64_12796` `sub-1-sin_binary64_12795` `sub-1-cos_binary64_12794` `-1-add-sin_binary64_12793` `-1-add-cos_binary64_12792` `1-sub-sin_binary64_12791` `1-sub-cos_binary64_12790` `cos-sin-sum_binary64_12789` `log-E_binary64_12785` `pow-base-0_binary64_12779` `unpow1/3_binary64_12762` `exp-to-pow_binary64_12757` `pow-base-1_binary64_12755` `unpow0_binary64_12754` `unpow-1_binary64_12752` `exp-lft-cube_binary64_12751` `exp-lft-sqr_binary64_12750` `exp-cbrt_binary64_12749` `div-exp_binary64_12746` `prod-exp_binary64_12744` `e-exp-1_binary64_12740` `exp-0_binary64_12737` `rem-log-exp_binary64_12736` `rem-exp-log_binary64_12735` `cube-neg_binary64_12722` `rem-3cbrt-rft_binary64_12721` `rem-3cbrt-lft_binary64_12720` `rem-cbrt-cube_binary64_12719` `rem-cube-cbrt_binary64_12718` `sqr-abs_binary64_12710` `sqr-neg_binary64_12709` `rem-square-sqrt_binary64_12707` `mul-1-neg_binary64_12687` `remove-double-neg_binary64_12683` `--rgt-identity_binary64_12681` `+-lft-identity_binary64_12679` `mul0-rgt_binary64_12678` `mul0-lft_binary64_12677` `div0_binary64_12676` `*-inverses_binary64_12675` `+-inverses_binary64_12674` `lft-mult-inverse_binary64_12673` `rgt-mult-inverse_binary64_12672` `difference-of-sqr--1_binary64_12666` `difference-of-sqr-1_binary64_12665` `difference-of-squares_binary64_12664` `cancel-sign-sub_binary64_12660` `distribute-frac-neg_binary64_12658` `distribute-neg-out_binary64_12657` `distribute-rgt-neg-out_binary64_12655` `distribute-rgt1-in_binary64_12651` `distribute-lft1-in_binary64_12650` `count-2_binary64_12643`

Counts

89 → 53

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	157	1350
1	345	1242
2	1046	1242
3	3465	1214
4	4689	1214
5	4978	1214

prune62.0ms (0.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	43	10	53
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	44	10	54

Error

0.0b

Counts

54 → 10

Compiler

Compiled 854 to 282 computations (67% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(cosh.f64 x)
0.0b	(*.f64 (sin.f64 y) (cosh.f64 x))
0.1b	(/.f64 (*.f64 (sin.f64 y) (cosh.f64 x)) y)

rewrite52.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

10×	`add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
9×	`add-sqr-sqrt_binary64_12717`
7×	`add-cube-cbrt_binary64_12730` `*-un-lft-identity_binary64_12695`
5×	`pow1_binary64_12756`
3×	`add-log-exp_binary64_12734` `times-frac_binary64_12701` `cosh-def_binary64_12881` `associate-/r_binary64_12639` `associate-l_binary64_12636` `associate-r*_binary64_12635`
2×	`prod-exp_binary64_12744` `div-exp_binary64_12746` `cbrt-undiv_binary64_12729` `cbrt-unprod_binary64_12728` `associate-*r/_binary64_12637`
1×	`frac-2neg_binary64_12706` `clear-num_binary64_12694` `div-inv_binary64_12692` `associate-/l/_binary64_12642` `associate-/l_binary64_12640` `pow-prod-down_binary64_12766` `unswap-sqr_binary64_12663` `-commutative_binary64_12626`

Counts

3 → 49

Calls

3 calls:

6.0ms	(/.f64 (*.f64 (sin.f64 y) (cosh.f64 x)) y)
5.0ms	(*.f64 (sin.f64 y) (cosh.f64 x))
1.0ms	(cosh.f64 x)

Compiler

Compiled 621 to 171 computations (72.5% saved)

series577.0ms (8.2%)

Error

0.0b

Counts

3 → 26

Calls

3 calls:

299.0ms	(/.f64 (*.f64 (sin.f64 y) (cosh.f64 x)) y)
200.0ms	(*.f64 (sin.f64 y) (cosh.f64 x))
53.0ms	(cosh.f64 x)

Compiler

Compiled 1131 to 777 computations (31.3% saved)

simplify99.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

939×	`times-frac_binary64_12701`
427×	`associate-l_binary64_12636`
340×	`associate-*l/_binary64_12638`
275×	`associate-*r/_binary64_12637`
259×	`associate-/l/_binary64_12642`
239×	`associate-/r*_binary64_12639`
176×	`cancel-sign-sub-inv_binary64_12661`
172×	`associate-/r/_binary64_12641`
141×	`log-prod_binary64_12781`
137×	`log-div_binary64_12782`
104×	`associate-r_binary64_12635`
96×	`unswap-sqr_binary64_12663`
89×	`associate-/l*_binary64_12640`
76×	`cube-prod_binary64_12723` `*-rgt-identity_binary64_12685` `distribute-rgt-neg-in_binary64_12653`
70×	`*-commutative_binary64_12626`
68×	`distribute-lft-neg-in_binary64_12652`
64×	`exp-prod_binary64_12747`
59×	`sub-neg_binary64_12688`
57×	`sqr-pow_binary64_12667`
56×	`*-lft-identity_binary64_12684`
54×	`unpow3_binary64_12761` `cube-div_binary64_12724`
52×	`neg-sub0_binary64_12690`
51×	`neg-mul-1_binary64_12691`
49×	`distribute-rgt-out_binary64_12648`
44×	`+-commutative_binary64_12625`
36×	`/-rgt-identity_binary64_12686`
24×	`associate-+r+_binary64_12627`
23×	`associate-+l+_binary64_12628`
22×	`distribute-rgt-in_binary64_12645`
21×	`distribute-lft-out_binary64_12646`
20×	`distribute-lft-in_binary64_12644`
19×	`log-rec_binary64_12783`
15×	`unsub-neg_binary64_12689`
11×	`distribute-neg-frac_binary64_12659`
10×	`distribute-neg-in_binary64_12656` `associate--l+_binary64_12632`
9×	`cube-unmult_binary64_12732` `distribute-lft-neg-out_binary64_12654` `distribute-rgt-out--_binary64_12649` `associate--r+_binary64_12631`
8×	`cube-mult_binary64_12725` `pow-sqr_binary64_12668`
7×	`swap-sqr_binary64_12662`
6×	`distribute-lft-out--_binary64_12647`
5×	`exp-sqrt_binary64_12748` `exp-sum_binary64_12741` `div-sub_binary64_12700`
3×	`log-pow_binary64_12784` `unpow1/2_binary64_12759` `pow-plus_binary64_12758` `distribute-rgt1-in_binary64_12651`
2×	`unpow2_binary64_12760` `unpow1_binary64_12753` `rem-sqrt-square_binary64_12708` `remove-double-div_binary64_12671`
1×	`cosh-def_binary64_12881` `exp-neg_binary64_12742` `1-exp_binary64_12739` `exp-1-e_binary64_12738` `remove-double-neg_binary64_12683` `div0_binary64_12676` `associate--l-_binary64_12633`
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_12958` `erf-erfc_binary64_12957` `erf-odd_binary64_12956` `if-if-and-not_binary64_12955` `if-if-and_binary64_12954` `if-if-or-not_binary64_12953` `if-if-or_binary64_12952` `if-not_binary64_12951` `if-same_binary64_12950` `if-false_binary64_12949` `if-true_binary64_12948` `not-gte_binary64_12947` `not-lte_binary64_12946` `not-gt_binary64_12945` `not-lt_binary64_12944` `gte-same_binary64_12943` `lte-same_binary64_12942` `gt-same_binary64_12941` `lt-same_binary64_12940` `sinh---cosh_binary64_12887` `sinh-+-cosh_binary64_12886` `sinh-cosh_binary64_12885` `tanh-def-c_binary64_12884` `tanh-def-b_binary64_12883` `tanh-def-a_binary64_12882` `sinh-def_binary64_12880` `tan-neg_binary64_12827` `cos-neg_binary64_12826` `sin-neg_binary64_12825` `tan-0_binary64_12824` `cos-0_binary64_12823` `sin-0_binary64_12822` `hang-m-tan_binary64_12821` `hang-p-tan_binary64_12820` `hang-m0-tan_binary64_12819` `hang-p0-tan_binary64_12818` `hang-0m-tan_binary64_12817` `hang-0p-tan_binary64_12816` `tan-+PI/2_binary64_12815` `tan-+PI_binary64_12814` `tan-PI_binary64_12813` `tan-PI/3_binary64_12812` `tan-PI/4_binary64_12811` `tan-PI/6_binary64_12810` `cos-+PI/2_binary64_12809` `cos-+PI_binary64_12808` `cos-PI_binary64_12807` `cos-PI/2_binary64_12806` `cos-PI/3_binary64_12805` `cos-PI/4_binary64_12804` `cos-PI/6_binary64_12803` `sin-+PI/2_binary64_12802` `sin-+PI_binary64_12801` `sin-PI_binary64_12800` `sin-PI/2_binary64_12799` `sin-PI/3_binary64_12798` `sin-PI/4_binary64_12797` `sin-PI/6_binary64_12796` `sub-1-sin_binary64_12795` `sub-1-cos_binary64_12794` `-1-add-sin_binary64_12793` `-1-add-cos_binary64_12792` `1-sub-sin_binary64_12791` `1-sub-cos_binary64_12790` `cos-sin-sum_binary64_12789` `log-E_binary64_12785` `pow-base-0_binary64_12779` `unpow1/3_binary64_12762` `exp-to-pow_binary64_12757` `pow-base-1_binary64_12755` `unpow0_binary64_12754` `unpow-1_binary64_12752` `exp-lft-cube_binary64_12751` `exp-lft-sqr_binary64_12750` `exp-cbrt_binary64_12749` `div-exp_binary64_12746` `rec-exp_binary64_12745` `prod-exp_binary64_12744` `exp-diff_binary64_12743` `e-exp-1_binary64_12740` `exp-0_binary64_12737` `rem-log-exp_binary64_12736` `rem-exp-log_binary64_12735` `cube-neg_binary64_12722` `rem-3cbrt-rft_binary64_12721` `rem-3cbrt-lft_binary64_12720` `rem-cbrt-cube_binary64_12719` `rem-cube-cbrt_binary64_12718` `sqr-abs_binary64_12710` `sqr-neg_binary64_12709` `rem-square-sqrt_binary64_12707` `mul-1-neg_binary64_12687` `sub0-neg_binary64_12682` `--rgt-identity_binary64_12681` `+-rgt-identity_binary64_12680` `+-lft-identity_binary64_12679` `mul0-rgt_binary64_12678` `mul0-lft_binary64_12677` `*-inverses_binary64_12675` `+-inverses_binary64_12674` `lft-mult-inverse_binary64_12673` `rgt-mult-inverse_binary64_12672` `difference-of-sqr--1_binary64_12666` `difference-of-sqr-1_binary64_12665` `difference-of-squares_binary64_12664` `cancel-sign-sub_binary64_12660` `distribute-frac-neg_binary64_12658` `distribute-neg-out_binary64_12657` `distribute-rgt-neg-out_binary64_12655` `distribute-lft1-in_binary64_12650` `count-2_binary64_12643` `associate--r-_binary64_12634` `associate-+l-_binary64_12630` `associate-+r-_binary64_12629`

Counts

75 → 42

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	157	1233
1	356	1094
2	1228	1047
3	4323	1047
4	4826	1047
5	4987	1047

prune45.0ms (0.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	39	3	42
Fresh	4	5	9
Picked	1	0	1
Done	0	0	0
Total	44	8	52

Error

0.0b

Counts

52 → 8

Compiler

Compiled 665 to 267 computations (59.8% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (cbrt.f64 (pow.f64 (cosh.f64 x) 3)) (/.f64 (sin.f64 y) y))
0.0b	(cbrt.f64 (pow.f64 (cosh.f64 x) 3))
0.0b	(pow.f64 (cosh.f64 x) 3)
0.1b	(/.f64 (sin.f64 y) y)

rewrite162.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

52×	`add-sqr-sqrt_binary64_12717`
32×	`cbrt-prod_binary64_12726`
29×	`add-cube-cbrt_binary64_12730` `*-un-lft-identity_binary64_12695`
23×	`times-frac_binary64_12701`
15×	`associate-l_binary64_12636`
13×	`associate-r_binary64_12635`
12×	`add-exp-log_binary64_12733`
11×	`unpow-prod-down_binary64_12774` `cube-prod_binary64_12723`
10×	`add-cbrt-cube_binary64_12731` `unswap-sqr_binary64_12663`
7×	`pow1_binary64_12756`
5×	`sqr-pow_binary64_12667`
4×	`add-log-exp_binary64_12734` `cosh-def_binary64_12881` `cube-div_binary64_12724`
3×	`associate-/l_binary64_12640` `associate-/r_binary64_12639` `pow-unpow_binary64_12772` `unpow3_binary64_12761` `cube-mult_binary64_12725` `cbrt-div_binary64_12727`
2×	`div-exp_binary64_12746` `cbrt-undiv_binary64_12729` `div-inv_binary64_12692` `prod-exp_binary64_12744` `cbrt-unprod_binary64_12728`
1×	`frac-2neg_binary64_12706` `clear-num_binary64_12694` `pow-pow_binary64_12767` `pow-to-exp_binary64_12764` `pow-exp_binary64_12763` `rem-cube-cbrt_binary64_12718` `pow1/3_binary64_12777` `rem-cbrt-cube_binary64_12719` `pow-prod-down_binary64_12766` `frac-times_binary64_12705` `associate-l/_binary64_12638` `associate-r/_binary64_12637` `*-commutative_binary64_12626`

Counts

4 → 127

Calls

4 calls:

14.0ms	(*.f64 (cbrt.f64 (pow.f64 (cosh.f64 x) 3)) (/.f64 (sin.f64 y) y))
4.0ms	(/.f64 (sin.f64 y) y)
3.0ms	(pow.f64 (cosh.f64 x) 3)
2.0ms	(cbrt.f64 (pow.f64 (cosh.f64 x) 3))

Compiler

Compiled 2233 to 982 computations (56% saved)

series548.0ms (7.8%)

Error

0.0b

Counts

4 → 26

Calls

4 calls:

296.0ms	(*.f64 (cbrt.f64 (pow.f64 (cosh.f64 x) 3)) (/.f64 (sin.f64 y) y))
128.0ms	(pow.f64 (cosh.f64 x) 3)
58.0ms	(cbrt.f64 (pow.f64 (cosh.f64 x) 3))
40.0ms	(/.f64 (sin.f64 y) y)

Compiler

Compiled 1026 to 745 computations (27.4% saved)

simplify113.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

567×	`associate-/l*_binary64_12640`
392×	`times-frac_binary64_12701`
326×	`unswap-sqr_binary64_12663`
278×	`log-prod_binary64_12781`
177×	`associate-l_binary64_12636`
165×	`associate-r_binary64_12635`
124×	`associate-/l/_binary64_12642`
97×	`log-div_binary64_12782`
96×	`*-commutative_binary64_12626`
93×	`distribute-rgt-in_binary64_12645`
88×	`associate-/r/_binary64_12641`
87×	`cancel-sign-sub-inv_binary64_12661` `distribute-lft-in_binary64_12644`
82×	`associate-*r/_binary64_12637`
79×	`exp-prod_binary64_12747`
69×	`associate-*l/_binary64_12638`
60×	`sqr-pow_binary64_12667`
52×	`cube-prod_binary64_12723`
42×	`+-commutative_binary64_12625`
38×	`distribute-rgt-neg-in_binary64_12653`
34×	`swap-sqr_binary64_12662` `distribute-lft-neg-in_binary64_12652`
26×	`associate-+r+_binary64_12627`
25×	`log-pow_binary64_12784`
24×	`sub-neg_binary64_12688` `*-rgt-identity_binary64_12685` `associate-+l+_binary64_12628`
21×	`*-lft-identity_binary64_12684`
19×	`distribute-rgt-out_binary64_12648`
14×	`neg-mul-1_binary64_12691` `neg-sub0_binary64_12690`
13×	`pow-sqr_binary64_12668` `associate-/r*_binary64_12639`
11×	`cube-div_binary64_12724` `distribute-lft-out_binary64_12646`
10×	`rem-sqrt-square_binary64_12708`
9×	`pow-plus_binary64_12758`
8×	`unpow3_binary64_12761` `exp-sqrt_binary64_12748` `cube-unmult_binary64_12732`
7×	`cube-mult_binary64_12725`
6×	`/-rgt-identity_binary64_12686`
5×	`rem-cbrt-cube_binary64_12719`
4×	`log-rec_binary64_12783` `distribute-neg-in_binary64_12656` `distribute-lft-neg-out_binary64_12654` `associate--l+_binary64_12632` `associate--r+_binary64_12631`
3×	`unpow1/2_binary64_12759` `unpow1_binary64_12753` `exp-sum_binary64_12741` `unsub-neg_binary64_12689` `distribute-neg-frac_binary64_12659` `count-2_binary64_12643`
2×	`unpow2_binary64_12760` `distribute-rgt-out--_binary64_12649` `distribute-lft-out--_binary64_12647`
1×	`cosh-def_binary64_12881` `exp-neg_binary64_12742` `1-exp_binary64_12739` `exp-1-e_binary64_12738` `rem-3cbrt-lft_binary64_12720` `rem-cube-cbrt_binary64_12718` `rem-square-sqrt_binary64_12707` `associate-+l-_binary64_12630` `associate-+r-_binary64_12629`
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_12958` `erf-erfc_binary64_12957` `erf-odd_binary64_12956` `if-if-and-not_binary64_12955` `if-if-and_binary64_12954` `if-if-or-not_binary64_12953` `if-if-or_binary64_12952` `if-not_binary64_12951` `if-same_binary64_12950` `if-false_binary64_12949` `if-true_binary64_12948` `not-gte_binary64_12947` `not-lte_binary64_12946` `not-gt_binary64_12945` `not-lt_binary64_12944` `gte-same_binary64_12943` `lte-same_binary64_12942` `gt-same_binary64_12941` `lt-same_binary64_12940` `sinh---cosh_binary64_12887` `sinh-+-cosh_binary64_12886` `sinh-cosh_binary64_12885` `tanh-def-c_binary64_12884` `tanh-def-b_binary64_12883` `tanh-def-a_binary64_12882` `sinh-def_binary64_12880` `tan-neg_binary64_12827` `cos-neg_binary64_12826` `sin-neg_binary64_12825` `tan-0_binary64_12824` `cos-0_binary64_12823` `sin-0_binary64_12822` `hang-m-tan_binary64_12821` `hang-p-tan_binary64_12820` `hang-m0-tan_binary64_12819` `hang-p0-tan_binary64_12818` `hang-0m-tan_binary64_12817` `hang-0p-tan_binary64_12816` `tan-+PI/2_binary64_12815` `tan-+PI_binary64_12814` `tan-PI_binary64_12813` `tan-PI/3_binary64_12812` `tan-PI/4_binary64_12811` `tan-PI/6_binary64_12810` `cos-+PI/2_binary64_12809` `cos-+PI_binary64_12808` `cos-PI_binary64_12807` `cos-PI/2_binary64_12806` `cos-PI/3_binary64_12805` `cos-PI/4_binary64_12804` `cos-PI/6_binary64_12803` `sin-+PI/2_binary64_12802` `sin-+PI_binary64_12801` `sin-PI_binary64_12800` `sin-PI/2_binary64_12799` `sin-PI/3_binary64_12798` `sin-PI/4_binary64_12797` `sin-PI/6_binary64_12796` `sub-1-sin_binary64_12795` `sub-1-cos_binary64_12794` `-1-add-sin_binary64_12793` `-1-add-cos_binary64_12792` `1-sub-sin_binary64_12791` `1-sub-cos_binary64_12790` `cos-sin-sum_binary64_12789` `log-E_binary64_12785` `pow-base-0_binary64_12779` `unpow1/3_binary64_12762` `exp-to-pow_binary64_12757` `pow-base-1_binary64_12755` `unpow0_binary64_12754` `unpow-1_binary64_12752` `exp-lft-cube_binary64_12751` `exp-lft-sqr_binary64_12750` `exp-cbrt_binary64_12749` `div-exp_binary64_12746` `rec-exp_binary64_12745` `prod-exp_binary64_12744` `exp-diff_binary64_12743` `e-exp-1_binary64_12740` `exp-0_binary64_12737` `rem-log-exp_binary64_12736` `rem-exp-log_binary64_12735` `cube-neg_binary64_12722` `rem-3cbrt-rft_binary64_12721` `sqr-abs_binary64_12710` `sqr-neg_binary64_12709` `div-sub_binary64_12700` `mul-1-neg_binary64_12687` `remove-double-neg_binary64_12683` `sub0-neg_binary64_12682` `--rgt-identity_binary64_12681` `+-rgt-identity_binary64_12680` `+-lft-identity_binary64_12679` `mul0-rgt_binary64_12678` `mul0-lft_binary64_12677` `div0_binary64_12676` `*-inverses_binary64_12675` `+-inverses_binary64_12674` `lft-mult-inverse_binary64_12673` `rgt-mult-inverse_binary64_12672` `remove-double-div_binary64_12671` `difference-of-sqr--1_binary64_12666` `difference-of-sqr-1_binary64_12665` `difference-of-squares_binary64_12664` `cancel-sign-sub_binary64_12660` `distribute-frac-neg_binary64_12658` `distribute-neg-out_binary64_12657` `distribute-rgt-neg-out_binary64_12655` `distribute-rgt1-in_binary64_12651` `distribute-lft1-in_binary64_12650` `associate--r-_binary64_12634` `associate--l-_binary64_12633`

Counts

153 → 111

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	225	2227
1	462	2097
2	1673	2085
3	4671	2085
4	5050	2085

prune99.0ms (1.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	111	8	119

Error

0.0b

Counts

119 → 8

Compiler

Compiled 1717 to 580 computations (66.2% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(cosh.f64 x)
0.0b	(/.f64 (cosh.f64 x) y)
0.3b	(*.f64 (sin.f64 y) (/.f64 (cosh.f64 x) y))

rewrite69.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

24×	`add-sqr-sqrt_binary64_12717`
19×	`add-cube-cbrt_binary64_12730` `*-un-lft-identity_binary64_12695` `times-frac_binary64_12701`
13×	`associate-r_binary64_12635`
10×	`add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
5×	`pow1_binary64_12756`
3×	`add-log-exp_binary64_12734` `associate-l_binary64_12636` `associate-/l_binary64_12640` `associate-/r_binary64_12639`
2×	`div-exp_binary64_12746` `prod-exp_binary64_12744` `cbrt-unprod_binary64_12728` `cbrt-undiv_binary64_12729` `unswap-sqr_binary64_12663` `div-inv_binary64_12692` `cosh-def_binary64_12881`
1×	`pow-prod-down_binary64_12766` `associate-r/_binary64_12637` `-commutative_binary64_12626` `frac-2neg_binary64_12706` `clear-num_binary64_12694` `associate-/l/_binary64_12642`

Counts

3 → 68

Calls

3 calls:

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

Compiler

Compiled 942 to 237 computations (74.8% saved)

series556.0ms (7.9%)

Error

0.0b

Counts

3 → 25

Calls

3 calls:

286.0ms	(*.f64 (sin.f64 y) (/.f64 (cosh.f64 x) y))
188.0ms	(/.f64 (cosh.f64 x) y)
57.0ms	(cosh.f64 x)

Compiler

Compiled 1034 to 735 computations (28.9% saved)

simplify131.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

407×	`associate-l_binary64_12636`
312×	`associate-/l*_binary64_12640`
309×	`associate-r_binary64_12635`
270×	`associate-*r/_binary64_12637`
269×	`associate-*l/_binary64_12638`
259×	`times-frac_binary64_12701`
257×	`cancel-sign-sub-inv_binary64_12661`
159×	`*-commutative_binary64_12626`
150×	`associate-/r*_binary64_12639`
129×	`distribute-rgt-in_binary64_12645`
123×	`distribute-lft-in_binary64_12644`
119×	`associate-/l/_binary64_12642`
111×	`distribute-rgt-neg-in_binary64_12653`
105×	`log-prod_binary64_12781` `cube-prod_binary64_12723`
104×	`log-div_binary64_12782`
100×	`distribute-lft-neg-in_binary64_12652`
99×	`associate-/r/_binary64_12641`
95×	`cube-div_binary64_12724`
85×	`unswap-sqr_binary64_12663`
83×	`exp-prod_binary64_12747`
81×	`distribute-rgt-out_binary64_12648`
78×	`associate-+l+_binary64_12628`
74×	`sub-neg_binary64_12688`
69×	`+-commutative_binary64_12625`
58×	`unpow3_binary64_12761`
54×	`associate-+r+_binary64_12627`
52×	`*-rgt-identity_binary64_12685`
50×	`sqr-pow_binary64_12667`
47×	`*-lft-identity_binary64_12684`
42×	`cube-mult_binary64_12725` `distribute-lft-out_binary64_12646`
41×	`associate--l-_binary64_12633`
32×	`swap-sqr_binary64_12662`
28×	`neg-mul-1_binary64_12691` `neg-sub0_binary64_12690`
25×	`/-rgt-identity_binary64_12686`
15×	`exp-sum_binary64_12741`
14×	`log-rec_binary64_12783` `distribute-neg-in_binary64_12656` `distribute-rgt-out--_binary64_12649` `associate-+l-_binary64_12630`
12×	`distribute-neg-frac_binary64_12659`
11×	`cube-unmult_binary64_12732`
10×	`unsub-neg_binary64_12689` `associate-+r-_binary64_12629`
9×	`pow-plus_binary64_12758`
8×	`pow-sqr_binary64_12668` `associate--r-_binary64_12634` `associate--l+_binary64_12632` `associate--r+_binary64_12631`
6×	`distribute-lft-neg-out_binary64_12654`
5×	`+-rgt-identity_binary64_12680`
4×	`log-pow_binary64_12784` `unpow1/2_binary64_12759` `exp-sqrt_binary64_12748`
3×	`remove-double-div_binary64_12671` `distribute-lft-out--_binary64_12647`
2×	`unpow2_binary64_12760` `unpow1_binary64_12753` `rem-sqrt-square_binary64_12708` `sub0-neg_binary64_12682` `count-2_binary64_12643`
1×	`cosh-def_binary64_12881` `exp-diff_binary64_12743` `exp-neg_binary64_12742` `1-exp_binary64_12739` `exp-1-e_binary64_12738`
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_12958` `erf-erfc_binary64_12957` `erf-odd_binary64_12956` `if-if-and-not_binary64_12955` `if-if-and_binary64_12954` `if-if-or-not_binary64_12953` `if-if-or_binary64_12952` `if-not_binary64_12951` `if-same_binary64_12950` `if-false_binary64_12949` `if-true_binary64_12948` `not-gte_binary64_12947` `not-lte_binary64_12946` `not-gt_binary64_12945` `not-lt_binary64_12944` `gte-same_binary64_12943` `lte-same_binary64_12942` `gt-same_binary64_12941` `lt-same_binary64_12940` `sinh---cosh_binary64_12887` `sinh-+-cosh_binary64_12886` `sinh-cosh_binary64_12885` `tanh-def-c_binary64_12884` `tanh-def-b_binary64_12883` `tanh-def-a_binary64_12882` `sinh-def_binary64_12880` `tan-neg_binary64_12827` `cos-neg_binary64_12826` `sin-neg_binary64_12825` `tan-0_binary64_12824` `cos-0_binary64_12823` `sin-0_binary64_12822` `hang-m-tan_binary64_12821` `hang-p-tan_binary64_12820` `hang-m0-tan_binary64_12819` `hang-p0-tan_binary64_12818` `hang-0m-tan_binary64_12817` `hang-0p-tan_binary64_12816` `tan-+PI/2_binary64_12815` `tan-+PI_binary64_12814` `tan-PI_binary64_12813` `tan-PI/3_binary64_12812` `tan-PI/4_binary64_12811` `tan-PI/6_binary64_12810` `cos-+PI/2_binary64_12809` `cos-+PI_binary64_12808` `cos-PI_binary64_12807` `cos-PI/2_binary64_12806` `cos-PI/3_binary64_12805` `cos-PI/4_binary64_12804` `cos-PI/6_binary64_12803` `sin-+PI/2_binary64_12802` `sin-+PI_binary64_12801` `sin-PI_binary64_12800` `sin-PI/2_binary64_12799` `sin-PI/3_binary64_12798` `sin-PI/4_binary64_12797` `sin-PI/6_binary64_12796` `sub-1-sin_binary64_12795` `sub-1-cos_binary64_12794` `-1-add-sin_binary64_12793` `-1-add-cos_binary64_12792` `1-sub-sin_binary64_12791` `1-sub-cos_binary64_12790` `cos-sin-sum_binary64_12789` `log-E_binary64_12785` `pow-base-0_binary64_12779` `unpow1/3_binary64_12762` `exp-to-pow_binary64_12757` `pow-base-1_binary64_12755` `unpow0_binary64_12754` `unpow-1_binary64_12752` `exp-lft-cube_binary64_12751` `exp-lft-sqr_binary64_12750` `exp-cbrt_binary64_12749` `div-exp_binary64_12746` `rec-exp_binary64_12745` `prod-exp_binary64_12744` `e-exp-1_binary64_12740` `exp-0_binary64_12737` `rem-log-exp_binary64_12736` `rem-exp-log_binary64_12735` `cube-neg_binary64_12722` `rem-3cbrt-rft_binary64_12721` `rem-3cbrt-lft_binary64_12720` `rem-cbrt-cube_binary64_12719` `rem-cube-cbrt_binary64_12718` `sqr-abs_binary64_12710` `sqr-neg_binary64_12709` `rem-square-sqrt_binary64_12707` `div-sub_binary64_12700` `mul-1-neg_binary64_12687` `remove-double-neg_binary64_12683` `--rgt-identity_binary64_12681` `+-lft-identity_binary64_12679` `mul0-rgt_binary64_12678` `mul0-lft_binary64_12677` `div0_binary64_12676` `*-inverses_binary64_12675` `+-inverses_binary64_12674` `lft-mult-inverse_binary64_12673` `rgt-mult-inverse_binary64_12672` `difference-of-sqr--1_binary64_12666` `difference-of-sqr-1_binary64_12665` `difference-of-squares_binary64_12664` `cancel-sign-sub_binary64_12660` `distribute-frac-neg_binary64_12658` `distribute-neg-out_binary64_12657` `distribute-rgt-neg-out_binary64_12655` `distribute-rgt1-in_binary64_12651` `distribute-lft1-in_binary64_12650`

Counts

93 → 43

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	170	1512
1	368	1374
2	1077	1314
3	3238	1288
4	4600	1288
5	4989	1288
6	4948	1288

prune31.0ms (0.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	43	0	43
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	43	8	51

Error

0.0b

Counts

51 → 8

Compiler

Compiled 557 to 211 computations (62.1% saved)

regimes484.0ms (6.8%)

Accuracy

Total 0.1b remaining (72.7%)

Threshold costs 0.1b (72.7%)

Compiler

Compiled 4060 to 2785 computations (31.4% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1× *-commutative_binary64_12626

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_12955 if-if-and_binary64_12954 if-if-or-not_binary64_12953 if-if-or_binary64_12952 if-not_binary64_12951 if-same_binary64_12950 if-false_binary64_12949 if-true_binary64_12948 tan-0_binary64_12824 cos-0_binary64_12823 sin-0_binary64_12822 unpow1_binary64_12753 e-exp-1_binary64_12740 1-exp_binary64_12739 exp-1-e_binary64_12738 exp-0_binary64_12737 sqr-abs_binary64_12710 sqr-neg_binary64_12709 neg-mul-1_binary64_12691 neg-sub0_binary64_12690 unsub-neg_binary64_12689 sub-neg_binary64_12688 mul-1-neg_binary64_12687 /-rgt-identity_binary64_12686 *-rgt-identity_binary64_12685 *-lft-identity_binary64_12684 remove-double-neg_binary64_12683 sub0-neg_binary64_12682 --rgt-identity_binary64_12681 +-rgt-identity_binary64_12680 +-lft-identity_binary64_12679 cancel-sign-sub-inv_binary64_12661 cancel-sign-sub_binary64_12660 distribute-neg-frac_binary64_12659 distribute-frac-neg_binary64_12658 distribute-neg-out_binary64_12657 distribute-neg-in_binary64_12656 distribute-rgt-neg-out_binary64_12655 distribute-lft-neg-out_binary64_12654 distribute-rgt-neg-in_binary64_12653 distribute-lft-neg-in_binary64_12652 +-commutative_binary64_12625

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	8	11
2	8	11

end0.0ms (0%)

sample2.7s (38.5%)

Algorithm

1×

intervals

Results

440.0ms	1997×	body	1024	valid
376.0ms	1869×	body	1024	invalid
243.0ms	4517×	body	128	valid
144.0ms	975×	body	512	valid
138.0ms	966×	body	512	invalid
54.0ms	504×	body	256	valid
50.0ms	478×	body	256	invalid
44.0ms	709×	body	128	invalid
3.0ms	7×	body	2048	valid
0.0ms	1×	body	2048	invalid

Compiler

Compiled 775 to 536 computations (30.8% saved)

Details

analyze527.0ms (7.5%)

sample61.0ms (0.9%)

simplify116.0ms (1.6%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite86.0ms (1.2%)

series396.0ms (5.6%)

simplify98.0ms (1.4%)

prune62.0ms (0.9%)

localize6.0ms (0.1%)

rewrite52.0ms (0.7%)

series577.0ms (8.2%)

simplify99.0ms (1.4%)

prune45.0ms (0.6%)

localize11.0ms (0.2%)

rewrite162.0ms (2.3%)

series548.0ms (7.8%)

simplify113.0ms (1.6%)

prune99.0ms (1.4%)

localize6.0ms (0.1%)

rewrite69.0ms (1%)

series556.0ms (7.9%)

simplify131.0ms (1.9%)

prune31.0ms (0.4%)

regimes484.0ms (6.8%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.7s (38.5%)

Profiling