Details

analyze521.0ms (8.5%)

Algorithm

1×	search
2×	egg-herbie

Rules

614×	`div-sub_binary64_13041`
532×	`associate-/r*_binary64_12980`
522×	`associate-*l/_binary64_12979`
394×	`associate-/l/_binary64_12983`
384×	`associate-/r/_binary64_12982`
216×	`cancel-sign-sub-inv_binary64_13002`
194×	`distribute-rgt-in_binary64_12986`
190×	`associate-/l*_binary64_12981`
184×	`times-frac_binary64_13042`
160×	`neg-mul-1_binary64_13032`
152×	`neg-sub0_binary64_13031`
138×	`distribute-neg-frac_binary64_13000`
124×	`associate-r_binary64_12976`
120×	`distribute-rgt-neg-in_binary64_12994`
114×	`distribute-lft-in_binary64_12985`
110×	`distribute-lft-neg-in_binary64_12993` `associate-l_binary64_12977`
102×	`associate-*r/_binary64_12978`
82×	`sub-neg_binary64_13029`
80×	`*-commutative_binary64_12967`
70×	`unsub-neg_binary64_13030`
68×	`distribute-frac-neg_binary64_12999` `distribute-rgt-neg-out_binary64_12996`
50×	`distribute-lft-neg-out_binary64_12995`
24×	`+-commutative_binary64_12966`
20×	`sqr-pow_binary64_13008`
18×	`*-lft-identity_binary64_13025`
16×	`*-rgt-identity_binary64_13026` `mul0-rgt_binary64_13019`
14×	`mul0-lft_binary64_13018`
12×	`distribute-neg-in_binary64_12997` `distribute-rgt-out--_binary64_12990` `associate-+l-_binary64_12971`
10×	`/-rgt-identity_binary64_13027` `sub0-neg_binary64_13023` `div0_binary64_13017` `pow-sqr_binary64_13009`
8×	`mul-1-neg_binary64_13028` `distribute-rgt-out_binary64_12989`
6×	`exp-diff_binary64_13084` `exp-sum_binary64_13082` `+-rgt-identity_binary64_13021` `associate--r+_binary64_12972` `associate-+r-_binary64_12970`
4×	`unpow3_binary64_13102` `exp-prod_binary64_13088` `cube-unmult_binary64_13073` `cube-prod_binary64_13064` `--rgt-identity_binary64_13022` `unswap-sqr_binary64_13004` `associate-+l+_binary64_12969`
2×	`sinh-def_binary64_13221` `pow-plus_binary64_13099` `exp-neg_binary64_13083` `remove-double-neg_binary64_13024` `associate-+r+_binary64_12968`
1×	`1-exp_binary64_13080`
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_13299` `erf-erfc_binary64_13298` `erf-odd_binary64_13297` `if-if-and-not_binary64_13296` `if-if-and_binary64_13295` `if-if-or-not_binary64_13294` `if-if-or_binary64_13293` `if-not_binary64_13292` `if-same_binary64_13291` `if-false_binary64_13290` `if-true_binary64_13289` `not-gte_binary64_13288` `not-lte_binary64_13287` `not-gt_binary64_13286` `not-lt_binary64_13285` `gte-same_binary64_13284` `lte-same_binary64_13283` `gt-same_binary64_13282` `lt-same_binary64_13281` `sinh---cosh_binary64_13228` `sinh-+-cosh_binary64_13227` `sinh-cosh_binary64_13226` `tanh-def-c_binary64_13225` `tanh-def-b_binary64_13224` `tanh-def-a_binary64_13223` `cosh-def_binary64_13222` `tan-neg_binary64_13168` `cos-neg_binary64_13167` `sin-neg_binary64_13166` `tan-0_binary64_13165` `cos-0_binary64_13164` `sin-0_binary64_13163` `hang-m-tan_binary64_13162` `hang-p-tan_binary64_13161` `hang-m0-tan_binary64_13160` `hang-p0-tan_binary64_13159` `hang-0m-tan_binary64_13158` `hang-0p-tan_binary64_13157` `tan-+PI/2_binary64_13156` `tan-+PI_binary64_13155` `tan-PI_binary64_13154` `tan-PI/3_binary64_13153` `tan-PI/4_binary64_13152` `tan-PI/6_binary64_13151` `cos-+PI/2_binary64_13150` `cos-+PI_binary64_13149` `cos-PI_binary64_13148` `cos-PI/2_binary64_13147` `cos-PI/3_binary64_13146` `cos-PI/4_binary64_13145` `cos-PI/6_binary64_13144` `sin-+PI/2_binary64_13143` `sin-+PI_binary64_13142` `sin-PI_binary64_13141` `sin-PI/2_binary64_13140` `sin-PI/3_binary64_13139` `sin-PI/4_binary64_13138` `sin-PI/6_binary64_13137` `sub-1-sin_binary64_13136` `sub-1-cos_binary64_13135` `-1-add-sin_binary64_13134` `-1-add-cos_binary64_13133` `1-sub-sin_binary64_13132` `1-sub-cos_binary64_13131` `cos-sin-sum_binary64_13130` `log-E_binary64_13126` `log-pow_binary64_13125` `log-rec_binary64_13124` `log-div_binary64_13123` `log-prod_binary64_13122` `pow-base-0_binary64_13120` `unpow1/3_binary64_13103` `unpow2_binary64_13101` `unpow1/2_binary64_13100` `exp-to-pow_binary64_13098` `pow-base-1_binary64_13096` `unpow0_binary64_13095` `unpow1_binary64_13094` `unpow-1_binary64_13093` `exp-lft-cube_binary64_13092` `exp-lft-sqr_binary64_13091` `exp-cbrt_binary64_13090` `exp-sqrt_binary64_13089` `div-exp_binary64_13087` `rec-exp_binary64_13086` `prod-exp_binary64_13085` `e-exp-1_binary64_13081` `exp-1-e_binary64_13079` `exp-0_binary64_13078` `rem-log-exp_binary64_13077` `rem-exp-log_binary64_13076` `cube-mult_binary64_13066` `cube-div_binary64_13065` `cube-neg_binary64_13063` `rem-3cbrt-rft_binary64_13062` `rem-3cbrt-lft_binary64_13061` `rem-cbrt-cube_binary64_13060` `rem-cube-cbrt_binary64_13059` `sqr-abs_binary64_13051` `sqr-neg_binary64_13050` `rem-sqrt-square_binary64_13049` `rem-square-sqrt_binary64_13048` `+-lft-identity_binary64_13020` `*-inverses_binary64_13016` `+-inverses_binary64_13015` `lft-mult-inverse_binary64_13014` `rgt-mult-inverse_binary64_13013` `remove-double-div_binary64_13012` `difference-of-sqr--1_binary64_13007` `difference-of-sqr-1_binary64_13006` `difference-of-squares_binary64_13005` `swap-sqr_binary64_13003` `cancel-sign-sub_binary64_13001` `distribute-neg-out_binary64_12998` `distribute-rgt1-in_binary64_12992` `distribute-lft1-in_binary64_12991` `distribute-lft-out--_binary64_12988` `distribute-lft-out_binary64_12987` `count-2_binary64_12984` `associate--r-_binary64_12975` `associate--l-_binary64_12974` `associate--l+_binary64_12973`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	22
1	28	22
2	67	22
3	142	22
4	312	22
5	713	22
6	2054	22
7	4300	22
8	4977	22
9	4948	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
43.7%	56.2%	0.1%	6
43.7%	46.8%	9.5%	7
46.8%	42.1%	11%	8
46.8%	36.7%	16.5%	9
48.4%	34%	17.7%	10
48.4%	31%	20.6%	11
49.2%	29.6%	21.3%	12
49.2%	28%	22.8%	13
49.6%	27.3%	23.1%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample50.0ms (0.8%)

Algorithm

1×

intervals

Results

10.0ms	52×	body	1024	invalid
8.0ms	191×	body	128	valid
6.0ms	28×	body	1024	valid
5.0ms	35×	body	512	invalid
3.0ms	21×	body	512	valid
1.0ms	16×	body	256	valid
1.0ms	14×	body	256	invalid
1.0ms	22×	body	128	invalid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify59.0ms (1%)

Algorithm

1×	egg-herbie

Rules

544×	`times-frac_binary64_13042`
461×	`associate-/l*_binary64_12981`
417×	`div-sub_binary64_13041`
347×	`associate-l_binary64_12977`
346×	`cancel-sign-sub-inv_binary64_13002`
344×	`associate-r_binary64_12976`
333×	`unsub-neg_binary64_13030`
247×	`associate-/r*_binary64_12980`
232×	`distribute-rgt-in_binary64_12986`
231×	`neg-mul-1_binary64_13032`
225×	`associate-*l/_binary64_12979`
209×	`neg-sub0_binary64_13031`
196×	`distribute-rgt-neg-in_binary64_12994`
189×	`distribute-neg-frac_binary64_13000`
186×	`associate-/l/_binary64_12983`
178×	`distribute-lft-in_binary64_12985`
173×	`associate-/r/_binary64_12982`
164×	`distribute-lft-neg-in_binary64_12993`
162×	`associate-*r/_binary64_12978`
119×	`distribute-rgt-neg-out_binary64_12996`
111×	`distribute-lft-neg-out_binary64_12995`
91×	`*-commutative_binary64_12967`
89×	`sub-neg_binary64_13029`
66×	`distribute-frac-neg_binary64_12999`
43×	`distribute-neg-in_binary64_12997`
41×	`*-lft-identity_binary64_13025`
34×	`*-rgt-identity_binary64_13026`
22×	`/-rgt-identity_binary64_13027`
21×	`+-commutative_binary64_12966`
20×	`unswap-sqr_binary64_13004`
18×	`associate--r+_binary64_12972`
16×	`sqr-pow_binary64_13008`
14×	`associate-+l-_binary64_12971`
12×	`div0_binary64_13017`
11×	`distribute-rgt-out--_binary64_12990`
10×	`mul0-rgt_binary64_13019`
9×	`mul0-lft_binary64_13018`
8×	`pow-sqr_binary64_13009`
7×	`sub0-neg_binary64_13023` `associate-+r-_binary64_12970` `associate-+l+_binary64_12969`
6×	`distribute-lft-out_binary64_12987`
5×	`cube-unmult_binary64_13073` `cube-prod_binary64_13064` `distribute-rgt-out_binary64_12989`
4×	`exp-diff_binary64_13084` `mul-1-neg_binary64_13028` `+-rgt-identity_binary64_13021` `associate-+r+_binary64_12968`
3×	`exp-sum_binary64_13082` `--rgt-identity_binary64_13022` `+-lft-identity_binary64_13020` `associate--r-_binary64_12975`
2×	`unpow3_binary64_13102` `pow-plus_binary64_13099` `exp-prod_binary64_13088` `distribute-lft-out--_binary64_12988` `associate--l+_binary64_12973`
1×	`sinh-def_binary64_13221` `exp-neg_binary64_13083` `1-exp_binary64_13080` `remove-double-neg_binary64_13024` `associate--l-_binary64_12974`
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_13299` `erf-erfc_binary64_13298` `erf-odd_binary64_13297` `if-if-and-not_binary64_13296` `if-if-and_binary64_13295` `if-if-or-not_binary64_13294` `if-if-or_binary64_13293` `if-not_binary64_13292` `if-same_binary64_13291` `if-false_binary64_13290` `if-true_binary64_13289` `not-gte_binary64_13288` `not-lte_binary64_13287` `not-gt_binary64_13286` `not-lt_binary64_13285` `gte-same_binary64_13284` `lte-same_binary64_13283` `gt-same_binary64_13282` `lt-same_binary64_13281` `sinh---cosh_binary64_13228` `sinh-+-cosh_binary64_13227` `sinh-cosh_binary64_13226` `tanh-def-c_binary64_13225` `tanh-def-b_binary64_13224` `tanh-def-a_binary64_13223` `cosh-def_binary64_13222` `tan-neg_binary64_13168` `cos-neg_binary64_13167` `sin-neg_binary64_13166` `tan-0_binary64_13165` `cos-0_binary64_13164` `sin-0_binary64_13163` `hang-m-tan_binary64_13162` `hang-p-tan_binary64_13161` `hang-m0-tan_binary64_13160` `hang-p0-tan_binary64_13159` `hang-0m-tan_binary64_13158` `hang-0p-tan_binary64_13157` `tan-+PI/2_binary64_13156` `tan-+PI_binary64_13155` `tan-PI_binary64_13154` `tan-PI/3_binary64_13153` `tan-PI/4_binary64_13152` `tan-PI/6_binary64_13151` `cos-+PI/2_binary64_13150` `cos-+PI_binary64_13149` `cos-PI_binary64_13148` `cos-PI/2_binary64_13147` `cos-PI/3_binary64_13146` `cos-PI/4_binary64_13145` `cos-PI/6_binary64_13144` `sin-+PI/2_binary64_13143` `sin-+PI_binary64_13142` `sin-PI_binary64_13141` `sin-PI/2_binary64_13140` `sin-PI/3_binary64_13139` `sin-PI/4_binary64_13138` `sin-PI/6_binary64_13137` `sub-1-sin_binary64_13136` `sub-1-cos_binary64_13135` `-1-add-sin_binary64_13134` `-1-add-cos_binary64_13133` `1-sub-sin_binary64_13132` `1-sub-cos_binary64_13131` `cos-sin-sum_binary64_13130` `log-E_binary64_13126` `log-pow_binary64_13125` `log-rec_binary64_13124` `log-div_binary64_13123` `log-prod_binary64_13122` `pow-base-0_binary64_13120` `unpow1/3_binary64_13103` `unpow2_binary64_13101` `unpow1/2_binary64_13100` `exp-to-pow_binary64_13098` `pow-base-1_binary64_13096` `unpow0_binary64_13095` `unpow1_binary64_13094` `unpow-1_binary64_13093` `exp-lft-cube_binary64_13092` `exp-lft-sqr_binary64_13091` `exp-cbrt_binary64_13090` `exp-sqrt_binary64_13089` `div-exp_binary64_13087` `rec-exp_binary64_13086` `prod-exp_binary64_13085` `e-exp-1_binary64_13081` `exp-1-e_binary64_13079` `exp-0_binary64_13078` `rem-log-exp_binary64_13077` `rem-exp-log_binary64_13076` `cube-mult_binary64_13066` `cube-div_binary64_13065` `cube-neg_binary64_13063` `rem-3cbrt-rft_binary64_13062` `rem-3cbrt-lft_binary64_13061` `rem-cbrt-cube_binary64_13060` `rem-cube-cbrt_binary64_13059` `sqr-abs_binary64_13051` `sqr-neg_binary64_13050` `rem-sqrt-square_binary64_13049` `rem-square-sqrt_binary64_13048` `*-inverses_binary64_13016` `+-inverses_binary64_13015` `lft-mult-inverse_binary64_13014` `rgt-mult-inverse_binary64_13013` `remove-double-div_binary64_13012` `difference-of-sqr--1_binary64_13007` `difference-of-sqr-1_binary64_13006` `difference-of-squares_binary64_13005` `swap-sqr_binary64_13003` `cancel-sign-sub_binary64_13001` `distribute-neg-out_binary64_12998` `distribute-rgt1-in_binary64_12992` `distribute-lft1-in_binary64_12991` `count-2_binary64_12984`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	16	11
2	37	11
3	76	11
4	163	11
5	368	11
6	1046	11
7	3172	11
8	4150	11
9	4943	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

15.5b

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

rewrite56.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

10×	`add-exp-log_binary64_13074` `add-cbrt-cube_binary64_13072`
9×	`add-sqr-sqrt_binary64_13058`
7×	`add-cube-cbrt_binary64_13071` `*-un-lft-identity_binary64_13036`
5×	`pow1_binary64_13097`
3×	`add-log-exp_binary64_13075` `times-frac_binary64_13042` `sinh-def_binary64_13221` `associate-/r_binary64_12980` `associate-l_binary64_12977` `associate-r*_binary64_12976`
2×	`prod-exp_binary64_13085` `div-exp_binary64_13087` `cbrt-undiv_binary64_13070` `cbrt-unprod_binary64_13069` `associate-*r/_binary64_12978`
1×	`frac-2neg_binary64_13047` `clear-num_binary64_13035` `div-inv_binary64_13033` `associate-/l/_binary64_12983` `associate-/l_binary64_12981` `pow-prod-down_binary64_13107` `unswap-sqr_binary64_13004` `-commutative_binary64_12967`

Counts

3 → 49

Calls

3 calls:

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

Compiler

Compiled 621 to 171 computations (72.5% saved)

series644.0ms (10.5%)

Error

15.5b

Counts

3 → 26

Calls

3 calls:

317.0ms	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)
244.0ms	(*.f64 (sin.f64 x) (sinh.f64 y))
57.0ms	(sinh.f64 y)

Compiler

Compiled 1169 to 782 computations (33.1% saved)

simplify84.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

972×	`times-frac_binary64_13042`
353×	`associate-*l/_binary64_12979`
276×	`associate-/l/_binary64_12983`
263×	`associate-*r/_binary64_12978`
253×	`associate-/r*_binary64_12980`
200×	`div-sub_binary64_13041`
193×	`associate-/r/_binary64_12982`
124×	`cancel-sign-sub-inv_binary64_13002`
111×	`associate-r_binary64_12976`
105×	`associate-/l*_binary64_12981`
103×	`associate-l_binary64_12977`
85×	`*-commutative_binary64_12967`
77×	`log-prod_binary64_13122`
72×	`distribute-rgt-neg-in_binary64_12994`
68×	`cube-prod_binary64_13064`
63×	`log-div_binary64_13123`
58×	`exp-prod_binary64_13088` `distribute-lft-neg-in_binary64_12993`
53×	`sub-neg_binary64_13029`
52×	`cube-div_binary64_13065`
40×	`+-commutative_binary64_12966`
32×	`distribute-rgt-in_binary64_12986`
30×	`*-rgt-identity_binary64_13026`
29×	`neg-sub0_binary64_13031`
28×	`sqr-pow_binary64_13008`
27×	`neg-mul-1_binary64_13032`
25×	`distribute-neg-frac_binary64_13000` `associate-+r+_binary64_12968`
24×	`associate-+l+_binary64_12969`
23×	`distribute-lft-in_binary64_12985`
17×	`*-lft-identity_binary64_13025`
16×	`distribute-rgt-out_binary64_12989`
15×	`/-rgt-identity_binary64_13027`
14×	`distribute-lft-neg-out_binary64_12995`
12×	`unpow3_binary64_13102` `exp-sum_binary64_13082`
11×	`distribute-rgt-out--_binary64_12990`
10×	`unswap-sqr_binary64_13004` `associate--l+_binary64_12973`
9×	`log-rec_binary64_13124`
8×	`exp-diff_binary64_13084` `cube-mult_binary64_13066` `distribute-neg-in_binary64_12997` `associate--r+_binary64_12972`
7×	`unsub-neg_binary64_13030`
6×	`exp-sqrt_binary64_13089` `distribute-lft-out--_binary64_12988`
5×	`cube-unmult_binary64_13073` `swap-sqr_binary64_13003`
3×	`mul-1-neg_binary64_13028`
2×	`log-pow_binary64_13125` `unpow1/2_binary64_13100` `pow-sqr_binary64_13009` `distribute-rgt-neg-out_binary64_12996`
1×	`sinh-def_binary64_13221` `unpow2_binary64_13101` `pow-plus_binary64_13099` `unpow1_binary64_13094` `exp-neg_binary64_13083` `1-exp_binary64_13080` `exp-1-e_binary64_13079` `rem-sqrt-square_binary64_13049` `distribute-rgt1-in_binary64_12992` `distribute-lft-out_binary64_12987`
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_13299` `erf-erfc_binary64_13298` `erf-odd_binary64_13297` `if-if-and-not_binary64_13296` `if-if-and_binary64_13295` `if-if-or-not_binary64_13294` `if-if-or_binary64_13293` `if-not_binary64_13292` `if-same_binary64_13291` `if-false_binary64_13290` `if-true_binary64_13289` `not-gte_binary64_13288` `not-lte_binary64_13287` `not-gt_binary64_13286` `not-lt_binary64_13285` `gte-same_binary64_13284` `lte-same_binary64_13283` `gt-same_binary64_13282` `lt-same_binary64_13281` `sinh---cosh_binary64_13228` `sinh-+-cosh_binary64_13227` `sinh-cosh_binary64_13226` `tanh-def-c_binary64_13225` `tanh-def-b_binary64_13224` `tanh-def-a_binary64_13223` `cosh-def_binary64_13222` `tan-neg_binary64_13168` `cos-neg_binary64_13167` `sin-neg_binary64_13166` `tan-0_binary64_13165` `cos-0_binary64_13164` `sin-0_binary64_13163` `hang-m-tan_binary64_13162` `hang-p-tan_binary64_13161` `hang-m0-tan_binary64_13160` `hang-p0-tan_binary64_13159` `hang-0m-tan_binary64_13158` `hang-0p-tan_binary64_13157` `tan-+PI/2_binary64_13156` `tan-+PI_binary64_13155` `tan-PI_binary64_13154` `tan-PI/3_binary64_13153` `tan-PI/4_binary64_13152` `tan-PI/6_binary64_13151` `cos-+PI/2_binary64_13150` `cos-+PI_binary64_13149` `cos-PI_binary64_13148` `cos-PI/2_binary64_13147` `cos-PI/3_binary64_13146` `cos-PI/4_binary64_13145` `cos-PI/6_binary64_13144` `sin-+PI/2_binary64_13143` `sin-+PI_binary64_13142` `sin-PI_binary64_13141` `sin-PI/2_binary64_13140` `sin-PI/3_binary64_13139` `sin-PI/4_binary64_13138` `sin-PI/6_binary64_13137` `sub-1-sin_binary64_13136` `sub-1-cos_binary64_13135` `-1-add-sin_binary64_13134` `-1-add-cos_binary64_13133` `1-sub-sin_binary64_13132` `1-sub-cos_binary64_13131` `cos-sin-sum_binary64_13130` `log-E_binary64_13126` `pow-base-0_binary64_13120` `unpow1/3_binary64_13103` `exp-to-pow_binary64_13098` `pow-base-1_binary64_13096` `unpow0_binary64_13095` `unpow-1_binary64_13093` `exp-lft-cube_binary64_13092` `exp-lft-sqr_binary64_13091` `exp-cbrt_binary64_13090` `div-exp_binary64_13087` `rec-exp_binary64_13086` `prod-exp_binary64_13085` `e-exp-1_binary64_13081` `exp-0_binary64_13078` `rem-log-exp_binary64_13077` `rem-exp-log_binary64_13076` `cube-neg_binary64_13063` `rem-3cbrt-rft_binary64_13062` `rem-3cbrt-lft_binary64_13061` `rem-cbrt-cube_binary64_13060` `rem-cube-cbrt_binary64_13059` `sqr-abs_binary64_13051` `sqr-neg_binary64_13050` `rem-square-sqrt_binary64_13048` `remove-double-neg_binary64_13024` `sub0-neg_binary64_13023` `--rgt-identity_binary64_13022` `+-rgt-identity_binary64_13021` `+-lft-identity_binary64_13020` `mul0-rgt_binary64_13019` `mul0-lft_binary64_13018` `div0_binary64_13017` `*-inverses_binary64_13016` `+-inverses_binary64_13015` `lft-mult-inverse_binary64_13014` `rgt-mult-inverse_binary64_13013` `remove-double-div_binary64_13012` `difference-of-sqr--1_binary64_13007` `difference-of-sqr-1_binary64_13006` `difference-of-squares_binary64_13005` `cancel-sign-sub_binary64_13001` `distribute-frac-neg_binary64_12999` `distribute-neg-out_binary64_12998` `distribute-lft1-in_binary64_12991` `count-2_binary64_12984` `associate--r-_binary64_12975` `associate--l-_binary64_12974` `associate-+l-_binary64_12971` `associate-+r-_binary64_12970`

Counts

75 → 40

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	160	1291
1	396	1154
2	1367	1089
3	4368	1089
4	5182	1089

prune37.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	37	3	40
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	37	4	41

Error

0.0b

Counts

41 → 4

Compiler

Compiled 583 to 248 computations (57.5% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite72.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

24×	`add-sqr-sqrt_binary64_13058`
19×	`add-cube-cbrt_binary64_13071` `*-un-lft-identity_binary64_13036` `times-frac_binary64_13042`
13×	`associate-l_binary64_12977`
10×	`add-exp-log_binary64_13074` `add-cbrt-cube_binary64_13072`
5×	`pow1_binary64_13097`
3×	`add-log-exp_binary64_13075` `associate-r_binary64_12976` `associate-/l_binary64_12981` `associate-/r_binary64_12980`
2×	`div-exp_binary64_13087` `prod-exp_binary64_13085` `cbrt-unprod_binary64_13069` `cbrt-undiv_binary64_13070` `unswap-sqr_binary64_13004` `div-inv_binary64_13033` `sinh-def_binary64_13221`
1×	`pow-prod-down_binary64_13107` `associate-l/_binary64_12979` `-commutative_binary64_12967` `frac-2neg_binary64_13047` `clear-num_binary64_13035` `associate-/l/_binary64_12983`

Counts

3 → 68

Calls

3 calls:

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

Compiler

Compiled 942 to 237 computations (74.8% saved)

series584.0ms (9.5%)

Error

0.0b

Counts

3 → 25

Calls

3 calls:

292.0ms	(*.f64 (/.f64 (sinh.f64 y) x) (sin.f64 x))
214.0ms	(/.f64 (sinh.f64 y) x)
58.0ms	(sinh.f64 y)

Compiler

Compiled 1062 to 731 computations (31.2% saved)

simplify101.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

398×	`associate-l_binary64_12977`
347×	`associate-/l*_binary64_12981`
322×	`div-sub_binary64_13041`
308×	`associate-*l/_binary64_12979`
300×	`associate-r_binary64_12976`
271×	`times-frac_binary64_13042`
212×	`associate-*r/_binary64_12978`
181×	`*-commutative_binary64_12967`
175×	`associate-/r*_binary64_12980`
133×	`sub-neg_binary64_13029`
130×	`log-div_binary64_13123`
111×	`associate-/r/_binary64_12982`
99×	`associate-/l/_binary64_12983`
79×	`+-commutative_binary64_12966`
74×	`associate-+l+_binary64_12969`
61×	`log-prod_binary64_13122`
56×	`cancel-sign-sub-inv_binary64_13002`
51×	`cube-prod_binary64_13064` `associate-+r+_binary64_12968`
47×	`neg-sub0_binary64_13031`
46×	`exp-prod_binary64_13088`
44×	`cube-div_binary64_13065` `distribute-rgt-neg-in_binary64_12994`
41×	`neg-mul-1_binary64_13032`
34×	`distribute-lft-neg-in_binary64_12993`
26×	`sqr-pow_binary64_13008`
24×	`distribute-rgt-in_binary64_12986`
23×	`distribute-neg-frac_binary64_13000`
21×	`associate-+l-_binary64_12971`
20×	`distribute-lft-in_binary64_12985`
18×	`unsub-neg_binary64_13030`
16×	`associate-+r-_binary64_12970`
15×	`log-rec_binary64_13124`
13×	`*-rgt-identity_binary64_13026`
12×	`exp-diff_binary64_13084` `exp-sum_binary64_13082`
9×	`mul-1-neg_binary64_13028` `distribute-neg-in_binary64_12997` `associate--r+_binary64_12972`
8×	`cube-unmult_binary64_13073` `unswap-sqr_binary64_13004` `swap-sqr_binary64_13003` `distribute-lft-neg-out_binary64_12995` `associate--l+_binary64_12973`
7×	`unpow3_binary64_13102` `*-lft-identity_binary64_13025` `distribute-lft-out--_binary64_12988`
6×	`exp-sqrt_binary64_13089` `cube-mult_binary64_13066` `distribute-rgt-out--_binary64_12990` `associate--l-_binary64_12974`
5×	`/-rgt-identity_binary64_13027`
3×	`log-pow_binary64_13125` `distribute-rgt-out_binary64_12989` `associate--r-_binary64_12975`
2×	`unpow1/2_binary64_13100` `pow-plus_binary64_13099` `pow-sqr_binary64_13009`
1×	`sinh-def_binary64_13221` `unpow2_binary64_13101` `unpow1_binary64_13094` `exp-neg_binary64_13083` `1-exp_binary64_13080` `exp-1-e_binary64_13079` `cube-neg_binary64_13063` `sqr-neg_binary64_13050` `rem-sqrt-square_binary64_13049` `distribute-rgt-neg-out_binary64_12996` `distribute-rgt1-in_binary64_12992` `distribute-lft-out_binary64_12987`
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_13299` `erf-erfc_binary64_13298` `erf-odd_binary64_13297` `if-if-and-not_binary64_13296` `if-if-and_binary64_13295` `if-if-or-not_binary64_13294` `if-if-or_binary64_13293` `if-not_binary64_13292` `if-same_binary64_13291` `if-false_binary64_13290` `if-true_binary64_13289` `not-gte_binary64_13288` `not-lte_binary64_13287` `not-gt_binary64_13286` `not-lt_binary64_13285` `gte-same_binary64_13284` `lte-same_binary64_13283` `gt-same_binary64_13282` `lt-same_binary64_13281` `sinh---cosh_binary64_13228` `sinh-+-cosh_binary64_13227` `sinh-cosh_binary64_13226` `tanh-def-c_binary64_13225` `tanh-def-b_binary64_13224` `tanh-def-a_binary64_13223` `cosh-def_binary64_13222` `tan-neg_binary64_13168` `cos-neg_binary64_13167` `sin-neg_binary64_13166` `tan-0_binary64_13165` `cos-0_binary64_13164` `sin-0_binary64_13163` `hang-m-tan_binary64_13162` `hang-p-tan_binary64_13161` `hang-m0-tan_binary64_13160` `hang-p0-tan_binary64_13159` `hang-0m-tan_binary64_13158` `hang-0p-tan_binary64_13157` `tan-+PI/2_binary64_13156` `tan-+PI_binary64_13155` `tan-PI_binary64_13154` `tan-PI/3_binary64_13153` `tan-PI/4_binary64_13152` `tan-PI/6_binary64_13151` `cos-+PI/2_binary64_13150` `cos-+PI_binary64_13149` `cos-PI_binary64_13148` `cos-PI/2_binary64_13147` `cos-PI/3_binary64_13146` `cos-PI/4_binary64_13145` `cos-PI/6_binary64_13144` `sin-+PI/2_binary64_13143` `sin-+PI_binary64_13142` `sin-PI_binary64_13141` `sin-PI/2_binary64_13140` `sin-PI/3_binary64_13139` `sin-PI/4_binary64_13138` `sin-PI/6_binary64_13137` `sub-1-sin_binary64_13136` `sub-1-cos_binary64_13135` `-1-add-sin_binary64_13134` `-1-add-cos_binary64_13133` `1-sub-sin_binary64_13132` `1-sub-cos_binary64_13131` `cos-sin-sum_binary64_13130` `log-E_binary64_13126` `pow-base-0_binary64_13120` `unpow1/3_binary64_13103` `exp-to-pow_binary64_13098` `pow-base-1_binary64_13096` `unpow0_binary64_13095` `unpow-1_binary64_13093` `exp-lft-cube_binary64_13092` `exp-lft-sqr_binary64_13091` `exp-cbrt_binary64_13090` `div-exp_binary64_13087` `rec-exp_binary64_13086` `prod-exp_binary64_13085` `e-exp-1_binary64_13081` `exp-0_binary64_13078` `rem-log-exp_binary64_13077` `rem-exp-log_binary64_13076` `rem-3cbrt-rft_binary64_13062` `rem-3cbrt-lft_binary64_13061` `rem-cbrt-cube_binary64_13060` `rem-cube-cbrt_binary64_13059` `sqr-abs_binary64_13051` `rem-square-sqrt_binary64_13048` `remove-double-neg_binary64_13024` `sub0-neg_binary64_13023` `--rgt-identity_binary64_13022` `+-rgt-identity_binary64_13021` `+-lft-identity_binary64_13020` `mul0-rgt_binary64_13019` `mul0-lft_binary64_13018` `div0_binary64_13017` `*-inverses_binary64_13016` `+-inverses_binary64_13015` `lft-mult-inverse_binary64_13014` `rgt-mult-inverse_binary64_13013` `remove-double-div_binary64_13012` `difference-of-sqr--1_binary64_13007` `difference-of-sqr-1_binary64_13006` `difference-of-squares_binary64_13005` `cancel-sign-sub_binary64_13001` `distribute-frac-neg_binary64_12999` `distribute-neg-out_binary64_12998` `distribute-lft1-in_binary64_12991` `count-2_binary64_12984`

Counts

93 → 52

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	180	1499
1	432	1391
2	1125	1315
3	3682	1315
4	4969	1315
5	5000	1315

prune49.0ms (0.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	49	3	52
Fresh	2	0	2
Picked	0	1	1
Done	0	1	1
Total	51	5	56

Error

0.0b

Counts

56 → 5

Compiler

Compiled 782 to 269 computations (65.6% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite75.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

24×	`add-sqr-sqrt_binary64_13058`
19×	`add-cube-cbrt_binary64_13071` `times-frac_binary64_13042` `*-un-lft-identity_binary64_13036`
13×	`associate-r_binary64_12976`
10×	`add-exp-log_binary64_13074` `add-cbrt-cube_binary64_13072`
5×	`pow1_binary64_13097`
3×	`add-log-exp_binary64_13075` `associate-/l_binary64_12981` `associate-/r_binary64_12980` `sinh-def_binary64_13221` `associate-l_binary64_12977`
2×	`div-exp_binary64_13087` `cbrt-undiv_binary64_13070` `div-inv_binary64_13033` `prod-exp_binary64_13085` `cbrt-unprod_binary64_13069` `unswap-sqr_binary64_13004`
1×	`frac-2neg_binary64_13047` `clear-num_binary64_13035` `pow-prod-down_binary64_13107` `frac-times_binary64_13046` `associate-l/_binary64_12979` `associate-r/_binary64_12978` `*-commutative_binary64_12967`

Counts

3 → 69

Calls

3 calls:

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

Compiler

Compiled 955 to 232 computations (75.7% saved)

series444.0ms (7.2%)

Error

0.0b

Counts

3 → 22

Calls

3 calls:

321.0ms	(*.f64 (sinh.f64 y) (/.f64 (sin.f64 x) x))
58.0ms	(sinh.f64 y)
44.0ms	(/.f64 (sin.f64 x) x)

Compiler

Compiled 848 to 590 computations (30.4% saved)

simplify86.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

391×	`associate-*l/_binary64_12979`
389×	`associate-l_binary64_12977`
352×	`associate-*r/_binary64_12978`
348×	`associate-/l*_binary64_12981`
319×	`associate-r_binary64_12976`
253×	`times-frac_binary64_13042`
220×	`div-sub_binary64_13041`
202×	`*-commutative_binary64_12967`
156×	`sub-neg_binary64_13029`
153×	`associate-/r*_binary64_12980`
122×	`associate-/l/_binary64_12983`
106×	`associate-/r/_binary64_12982`
91×	`cancel-sign-sub-inv_binary64_13002`
64×	`associate-+l+_binary64_12969`
50×	`log-div_binary64_13123`
47×	`distribute-rgt-neg-in_binary64_12994` `distribute-rgt-in_binary64_12986`
45×	`neg-sub0_binary64_13031`
44×	`cube-div_binary64_13065` `associate-+r+_binary64_12968`
42×	`log-prod_binary64_13122` `distribute-lft-in_binary64_12985`
41×	`neg-mul-1_binary64_13032`
39×	`distribute-lft-neg-in_binary64_12993`
35×	`+-commutative_binary64_12966`
33×	`exp-prod_binary64_13088`
31×	`cube-prod_binary64_13064`
30×	`sqr-pow_binary64_13008`
28×	`associate-+l-_binary64_12971`
27×	`*-rgt-identity_binary64_13026`
23×	`associate-+r-_binary64_12970`
21×	`associate--l+_binary64_12973`
18×	`*-lft-identity_binary64_13025`
17×	`unsub-neg_binary64_13030`
16×	`distribute-neg-frac_binary64_13000`
15×	`associate--r+_binary64_12972`
11×	`exp-sum_binary64_13082`
10×	`cube-unmult_binary64_13073`
9×	`distribute-lft-neg-out_binary64_12995`
8×	`unpow3_binary64_13102` `exp-sqrt_binary64_13089` `exp-diff_binary64_13084` `unswap-sqr_binary64_13004`
7×	`distribute-rgt-out--_binary64_12990` `distribute-lft-out--_binary64_12988`
6×	`/-rgt-identity_binary64_13027` `swap-sqr_binary64_13003` `distribute-neg-in_binary64_12997`
5×	`cube-mult_binary64_13066` `distribute-rgt-out_binary64_12989`
4×	`log-rec_binary64_13124`
3×	`mul-1-neg_binary64_13028` `associate--l-_binary64_12974`
2×	`log-pow_binary64_13125` `unpow1/2_binary64_13100` `pow-plus_binary64_13099` `pow-sqr_binary64_13009` `distribute-rgt-neg-out_binary64_12996` `distribute-lft-out_binary64_12987` `associate--r-_binary64_12975`
1×	`sinh-def_binary64_13221` `unpow2_binary64_13101` `unpow1_binary64_13094` `rec-exp_binary64_13086` `exp-neg_binary64_13083` `1-exp_binary64_13080` `exp-1-e_binary64_13079` `rem-sqrt-square_binary64_13049` `distribute-rgt1-in_binary64_12992`
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_13299` `erf-erfc_binary64_13298` `erf-odd_binary64_13297` `if-if-and-not_binary64_13296` `if-if-and_binary64_13295` `if-if-or-not_binary64_13294` `if-if-or_binary64_13293` `if-not_binary64_13292` `if-same_binary64_13291` `if-false_binary64_13290` `if-true_binary64_13289` `not-gte_binary64_13288` `not-lte_binary64_13287` `not-gt_binary64_13286` `not-lt_binary64_13285` `gte-same_binary64_13284` `lte-same_binary64_13283` `gt-same_binary64_13282` `lt-same_binary64_13281` `sinh---cosh_binary64_13228` `sinh-+-cosh_binary64_13227` `sinh-cosh_binary64_13226` `tanh-def-c_binary64_13225` `tanh-def-b_binary64_13224` `tanh-def-a_binary64_13223` `cosh-def_binary64_13222` `tan-neg_binary64_13168` `cos-neg_binary64_13167` `sin-neg_binary64_13166` `tan-0_binary64_13165` `cos-0_binary64_13164` `sin-0_binary64_13163` `hang-m-tan_binary64_13162` `hang-p-tan_binary64_13161` `hang-m0-tan_binary64_13160` `hang-p0-tan_binary64_13159` `hang-0m-tan_binary64_13158` `hang-0p-tan_binary64_13157` `tan-+PI/2_binary64_13156` `tan-+PI_binary64_13155` `tan-PI_binary64_13154` `tan-PI/3_binary64_13153` `tan-PI/4_binary64_13152` `tan-PI/6_binary64_13151` `cos-+PI/2_binary64_13150` `cos-+PI_binary64_13149` `cos-PI_binary64_13148` `cos-PI/2_binary64_13147` `cos-PI/3_binary64_13146` `cos-PI/4_binary64_13145` `cos-PI/6_binary64_13144` `sin-+PI/2_binary64_13143` `sin-+PI_binary64_13142` `sin-PI_binary64_13141` `sin-PI/2_binary64_13140` `sin-PI/3_binary64_13139` `sin-PI/4_binary64_13138` `sin-PI/6_binary64_13137` `sub-1-sin_binary64_13136` `sub-1-cos_binary64_13135` `-1-add-sin_binary64_13134` `-1-add-cos_binary64_13133` `1-sub-sin_binary64_13132` `1-sub-cos_binary64_13131` `cos-sin-sum_binary64_13130` `log-E_binary64_13126` `pow-base-0_binary64_13120` `unpow1/3_binary64_13103` `exp-to-pow_binary64_13098` `pow-base-1_binary64_13096` `unpow0_binary64_13095` `unpow-1_binary64_13093` `exp-lft-cube_binary64_13092` `exp-lft-sqr_binary64_13091` `exp-cbrt_binary64_13090` `div-exp_binary64_13087` `prod-exp_binary64_13085` `e-exp-1_binary64_13081` `exp-0_binary64_13078` `rem-log-exp_binary64_13077` `rem-exp-log_binary64_13076` `cube-neg_binary64_13063` `rem-3cbrt-rft_binary64_13062` `rem-3cbrt-lft_binary64_13061` `rem-cbrt-cube_binary64_13060` `rem-cube-cbrt_binary64_13059` `sqr-abs_binary64_13051` `sqr-neg_binary64_13050` `rem-square-sqrt_binary64_13048` `remove-double-neg_binary64_13024` `sub0-neg_binary64_13023` `--rgt-identity_binary64_13022` `+-rgt-identity_binary64_13021` `+-lft-identity_binary64_13020` `mul0-rgt_binary64_13019` `mul0-lft_binary64_13018` `div0_binary64_13017` `*-inverses_binary64_13016` `+-inverses_binary64_13015` `lft-mult-inverse_binary64_13014` `rgt-mult-inverse_binary64_13013` `remove-double-div_binary64_13012` `difference-of-sqr--1_binary64_13007` `difference-of-sqr-1_binary64_13006` `difference-of-squares_binary64_13005` `cancel-sign-sub_binary64_13001` `distribute-frac-neg_binary64_12999` `distribute-neg-out_binary64_12998` `distribute-lft1-in_binary64_12991` `count-2_binary64_12984`

Counts

91 → 55

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	172	1415
1	408	1310
2	1248	1304
3	4089	1304
4	4964	1304

prune45.0ms (0.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	53	2	55
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	55	5	60

Error

Counts

60 → 5

Compiler

Compiled 818 to 268 computations (67.2% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)

rewrite85.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

25×	`cbrt-prod_binary64_13067`
23×	`add-sqr-sqrt_binary64_13058`
15×	`add-cube-cbrt_binary64_13071` `*-un-lft-identity_binary64_13036`
11×	`pow1_binary64_13097`
9×	`pow1/3_binary64_13118`
6×	`add-exp-log_binary64_13074` `swap-sqr_binary64_13003` `associate-l_binary64_12977` `associate-r_binary64_12976`
4×	`add-log-exp_binary64_13075` `add-cbrt-cube_binary64_13072` `unswap-sqr_binary64_13004`
2×	`pow-prod-down_binary64_13107` `pow-prod-up_binary64_13106` `pow-sqr_binary64_13009`
1×	`pow2_binary64_13117` `pow-plus_binary64_13099` `prod-exp_binary64_13085` `cbrt-unprod_binary64_13069` `*-commutative_binary64_12967`

Counts

4 → 73

Calls

4 calls:

7.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 1378 to 305 computations (77.9% saved)

series460.0ms (7.5%)

Error

Counts

4 → 12

Calls

4 calls:

124.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
112.0ms	(cbrt.f64 x)
110.0ms	(cbrt.f64 x)
103.0ms	(cbrt.f64 x)

Compiler

Compiled 591 to 398 computations (32.7% saved)

simplify102.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

586×	`log-prod_binary64_13122`
416×	`sqr-pow_binary64_13008`
335×	`associate-l_binary64_12977`
309×	`*-commutative_binary64_12967`
277×	`distribute-rgt-neg-in_binary64_12994`
257×	`distribute-lft-neg-in_binary64_12993`
227×	`associate-r_binary64_12976`
188×	`exp-prod_binary64_13088`
161×	`log-pow_binary64_13125`
149×	`cube-prod_binary64_13064`
128×	`pow-sqr_binary64_13009`
124×	`unswap-sqr_binary64_13004`
111×	`swap-sqr_binary64_13003`
104×	`associate-/l*_binary64_12981`
81×	`cancel-sign-sub-inv_binary64_13002`
75×	`associate-+l+_binary64_12969`
69×	`associate-+r+_binary64_12968`
61×	`distribute-rgt-in_binary64_12986`
60×	`distribute-lft-out_binary64_12987`
57×	`distribute-lft-in_binary64_12985`
54×	`neg-sub0_binary64_13031`
53×	`neg-mul-1_binary64_13032`
48×	`distribute-rgt-out_binary64_12989`
45×	`+-commutative_binary64_12966`
43×	`pow-plus_binary64_13099` `rem-sqrt-square_binary64_13049`
41×	`times-frac_binary64_13042` `sub-neg_binary64_13029`
37×	`associate-/r/_binary64_12982`
35×	`associate-*r/_binary64_12978`
32×	`unpow3_binary64_13102`
31×	`-rgt-identity_binary64_13026` `-lft-identity_binary64_13025` `associate-/l/_binary64_12983`
29×	`count-2_binary64_12984`
27×	`cube-mult_binary64_13066`
24×	`associate-/r*_binary64_12980`
17×	`log-div_binary64_13123` `cube-div_binary64_13065` `distribute-neg-frac_binary64_13000`
13×	`cube-unmult_binary64_13073` `distribute-rgt1-in_binary64_12992`
11×	`distribute-rgt-neg-out_binary64_12996`
10×	`unpow1/2_binary64_13100`
9×	`distribute-lft-neg-out_binary64_12995` `distribute-lft1-in_binary64_12991`
8×	`unpow2_binary64_13101` `associate-*l/_binary64_12979`
5×	`unpow1_binary64_13094`
3×	`unpow1/3_binary64_13103`
2×	`exp-sqrt_binary64_13089` `rem-3cbrt-lft_binary64_13061` `rem-cbrt-cube_binary64_13060` `mul-1-neg_binary64_13028`
1×	`exp-lft-sqr_binary64_13091` `1-exp_binary64_13080` `exp-1-e_binary64_13079` `rem-3cbrt-rft_binary64_13062` `rem-square-sqrt_binary64_13048` `sub0-neg_binary64_13023` `--rgt-identity_binary64_13022` `associate-+l-_binary64_12971`
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_13299` `erf-erfc_binary64_13298` `erf-odd_binary64_13297` `if-if-and-not_binary64_13296` `if-if-and_binary64_13295` `if-if-or-not_binary64_13294` `if-if-or_binary64_13293` `if-not_binary64_13292` `if-same_binary64_13291` `if-false_binary64_13290` `if-true_binary64_13289` `not-gte_binary64_13288` `not-lte_binary64_13287` `not-gt_binary64_13286` `not-lt_binary64_13285` `gte-same_binary64_13284` `lte-same_binary64_13283` `gt-same_binary64_13282` `lt-same_binary64_13281` `sinh---cosh_binary64_13228` `sinh-+-cosh_binary64_13227` `sinh-cosh_binary64_13226` `tanh-def-c_binary64_13225` `tanh-def-b_binary64_13224` `tanh-def-a_binary64_13223` `cosh-def_binary64_13222` `sinh-def_binary64_13221` `tan-neg_binary64_13168` `cos-neg_binary64_13167` `sin-neg_binary64_13166` `tan-0_binary64_13165` `cos-0_binary64_13164` `sin-0_binary64_13163` `hang-m-tan_binary64_13162` `hang-p-tan_binary64_13161` `hang-m0-tan_binary64_13160` `hang-p0-tan_binary64_13159` `hang-0m-tan_binary64_13158` `hang-0p-tan_binary64_13157` `tan-+PI/2_binary64_13156` `tan-+PI_binary64_13155` `tan-PI_binary64_13154` `tan-PI/3_binary64_13153` `tan-PI/4_binary64_13152` `tan-PI/6_binary64_13151` `cos-+PI/2_binary64_13150` `cos-+PI_binary64_13149` `cos-PI_binary64_13148` `cos-PI/2_binary64_13147` `cos-PI/3_binary64_13146` `cos-PI/4_binary64_13145` `cos-PI/6_binary64_13144` `sin-+PI/2_binary64_13143` `sin-+PI_binary64_13142` `sin-PI_binary64_13141` `sin-PI/2_binary64_13140` `sin-PI/3_binary64_13139` `sin-PI/4_binary64_13138` `sin-PI/6_binary64_13137` `sub-1-sin_binary64_13136` `sub-1-cos_binary64_13135` `-1-add-sin_binary64_13134` `-1-add-cos_binary64_13133` `1-sub-sin_binary64_13132` `1-sub-cos_binary64_13131` `cos-sin-sum_binary64_13130` `log-E_binary64_13126` `log-rec_binary64_13124` `pow-base-0_binary64_13120` `exp-to-pow_binary64_13098` `pow-base-1_binary64_13096` `unpow0_binary64_13095` `unpow-1_binary64_13093` `exp-lft-cube_binary64_13092` `exp-cbrt_binary64_13090` `div-exp_binary64_13087` `rec-exp_binary64_13086` `prod-exp_binary64_13085` `exp-diff_binary64_13084` `exp-neg_binary64_13083` `exp-sum_binary64_13082` `e-exp-1_binary64_13081` `exp-0_binary64_13078` `rem-log-exp_binary64_13077` `rem-exp-log_binary64_13076` `cube-neg_binary64_13063` `rem-cube-cbrt_binary64_13059` `sqr-abs_binary64_13051` `sqr-neg_binary64_13050` `div-sub_binary64_13041` `unsub-neg_binary64_13030` `/-rgt-identity_binary64_13027` `remove-double-neg_binary64_13024` `+-rgt-identity_binary64_13021` `+-lft-identity_binary64_13020` `mul0-rgt_binary64_13019` `mul0-lft_binary64_13018` `div0_binary64_13017` `*-inverses_binary64_13016` `+-inverses_binary64_13015` `lft-mult-inverse_binary64_13014` `rgt-mult-inverse_binary64_13013` `remove-double-div_binary64_13012` `difference-of-sqr--1_binary64_13007` `difference-of-sqr-1_binary64_13006` `difference-of-squares_binary64_13005` `cancel-sign-sub_binary64_13001` `distribute-frac-neg_binary64_12999` `distribute-neg-out_binary64_12998` `distribute-neg-in_binary64_12997` `distribute-rgt-out--_binary64_12990` `distribute-lft-out--_binary64_12988` `associate--r-_binary64_12975` `associate--l-_binary64_12974` `associate--l+_binary64_12973` `associate--r+_binary64_12972` `associate-+r-_binary64_12970`

Counts

85 → 50

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	56	718
1	97	666
2	308	646
3	1135	632
4	2034	548
5	3257	548
6	4939	548
7	4873	548

prune44.0ms (0.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	50	0	50
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	50	5	55

Error

Counts

55 → 5

Compiler

Compiled 807 to 233 computations (71.1% saved)

regimes317.0ms (5.1%)

Accuracy

Total 0.1b remaining (79%)

Threshold costs 0.1b (79%)

Compiler

Compiled 2583 to 1674 computations (35.2% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1× *-commutative_binary64_12967

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_13296 if-if-and_binary64_13295 if-if-or-not_binary64_13294 if-if-or_binary64_13293 if-not_binary64_13292 if-same_binary64_13291 if-false_binary64_13290 if-true_binary64_13289 tan-0_binary64_13165 cos-0_binary64_13164 sin-0_binary64_13163 unpow1_binary64_13094 e-exp-1_binary64_13081 1-exp_binary64_13080 exp-1-e_binary64_13079 exp-0_binary64_13078 sqr-abs_binary64_13051 sqr-neg_binary64_13050 neg-mul-1_binary64_13032 neg-sub0_binary64_13031 unsub-neg_binary64_13030 sub-neg_binary64_13029 mul-1-neg_binary64_13028 /-rgt-identity_binary64_13027 *-rgt-identity_binary64_13026 *-lft-identity_binary64_13025 remove-double-neg_binary64_13024 sub0-neg_binary64_13023 --rgt-identity_binary64_13022 +-rgt-identity_binary64_13021 +-lft-identity_binary64_13020 cancel-sign-sub-inv_binary64_13002 cancel-sign-sub_binary64_13001 distribute-neg-frac_binary64_13000 distribute-frac-neg_binary64_12999 distribute-neg-out_binary64_12998 distribute-neg-in_binary64_12997 distribute-rgt-neg-out_binary64_12996 distribute-lft-neg-out_binary64_12995 distribute-rgt-neg-in_binary64_12994 distribute-lft-neg-in_binary64_12993 +-commutative_binary64_12966

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms (0%)

sample2.2s (35.9%)

Algorithm

1×

intervals

Results

374.0ms	1887×	body	1024	invalid
292.0ms	6251×	body	128	valid
140.0ms	629×	body	1024	valid
136.0ms	1034×	body	512	invalid
93.0ms	692×	body	512	valid
45.0ms	495×	body	256	invalid
44.0ms	427×	body	256	valid
42.0ms	767×	body	128	invalid
0.0ms	1×	body	2048	valid

Compiler

Compiled 638 to 420 computations (34.2% saved)

Details

analyze521.0ms (8.5%)

sample50.0ms (0.8%)

simplify59.0ms (1%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite56.0ms (0.9%)

series644.0ms (10.5%)

simplify84.0ms (1.4%)

prune37.0ms (0.6%)

localize6.0ms (0.1%)

rewrite72.0ms (1.2%)

series584.0ms (9.5%)

simplify101.0ms (1.6%)

prune49.0ms (0.8%)

localize6.0ms (0.1%)

rewrite75.0ms (1.2%)

series444.0ms (7.2%)

simplify86.0ms (1.4%)

prune45.0ms (0.7%)

localize9.0ms (0.1%)

rewrite85.0ms (1.4%)

series460.0ms (7.5%)

simplify102.0ms (1.7%)

prune44.0ms (0.7%)

regimes317.0ms (5.1%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.2s (35.9%)

Profiling