Details

analyze1.8s (10.3%)

Algorithm

1×	search
2×	egg-herbie

Rules

912×	`unswap-sqr_binary64_46`
752×	`sqr-pow_binary64_50`
360×	`cube-prod_binary64_106`
336×	`unpow3_binary64_144`
320×	`cube-mult_binary64_108`
257×	`*-commutative_binary64_9`
208×	`pow-sqr_binary64_51`
200×	`associate-l_binary64_19`
192×	`pow-plus_binary64_141`
168×	`associate-r_binary64_18`
120×	`rem-sqrt-square_binary64_91`
40×	`unpow2_binary64_143` `unpow1/2_binary64_142` `unpow1_binary64_136` `cube-unmult_binary64_115`
16×	`swap-sqr_binary64_45`
6×	`associate-/l*_binary64_23`
4×	`+-commutative_binary64_8`
3×	`associate-/r/_binary64_24` `associate-l/_binary64_21` `associate-r/_binary64_20`
1×	`1-exp_binary64_122`
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_341` `erf-erfc_binary64_340` `erf-odd_binary64_339` `if-if-and-not_binary64_338` `if-if-and_binary64_337` `if-if-or-not_binary64_336` `if-if-or_binary64_335` `if-not_binary64_334` `if-same_binary64_333` `if-false_binary64_332` `if-true_binary64_331` `not-gte_binary64_330` `not-lte_binary64_329` `not-gt_binary64_328` `not-lt_binary64_327` `gte-same_binary64_326` `lte-same_binary64_325` `gt-same_binary64_324` `lt-same_binary64_323` `sinh---cosh_binary64_270` `sinh-+-cosh_binary64_269` `sinh-cosh_binary64_268` `tanh-def-c_binary64_267` `tanh-def-b_binary64_266` `tanh-def-a_binary64_265` `cosh-def_binary64_264` `sinh-def_binary64_263` `tan-neg_binary64_210` `cos-neg_binary64_209` `sin-neg_binary64_208` `tan-0_binary64_207` `cos-0_binary64_206` `sin-0_binary64_205` `hang-m-tan_binary64_204` `hang-p-tan_binary64_203` `hang-m0-tan_binary64_202` `hang-p0-tan_binary64_201` `hang-0m-tan_binary64_200` `hang-0p-tan_binary64_199` `tan-+PI/2_binary64_198` `tan-+PI_binary64_197` `tan-PI_binary64_196` `tan-PI/3_binary64_195` `tan-PI/4_binary64_194` `tan-PI/6_binary64_193` `cos-+PI/2_binary64_192` `cos-+PI_binary64_191` `cos-PI_binary64_190` `cos-PI/2_binary64_189` `cos-PI/3_binary64_188` `cos-PI/4_binary64_187` `cos-PI/6_binary64_186` `sin-+PI/2_binary64_185` `sin-+PI_binary64_184` `sin-PI_binary64_183` `sin-PI/2_binary64_182` `sin-PI/3_binary64_181` `sin-PI/4_binary64_180` `sin-PI/6_binary64_179` `sub-1-sin_binary64_178` `sub-1-cos_binary64_177` `-1-add-sin_binary64_176` `-1-add-cos_binary64_175` `1-sub-sin_binary64_174` `1-sub-cos_binary64_173` `cos-sin-sum_binary64_172` `log-E_binary64_168` `log-pow_binary64_167` `log-rec_binary64_166` `log-div_binary64_165` `log-prod_binary64_164` `pow-base-0_binary64_162` `unpow1/3_binary64_145` `exp-to-pow_binary64_140` `pow-base-1_binary64_138` `unpow0_binary64_137` `unpow-1_binary64_135` `exp-lft-cube_binary64_134` `exp-lft-sqr_binary64_133` `exp-cbrt_binary64_132` `exp-sqrt_binary64_131` `exp-prod_binary64_130` `div-exp_binary64_129` `rec-exp_binary64_128` `prod-exp_binary64_127` `exp-diff_binary64_126` `exp-neg_binary64_125` `exp-sum_binary64_124` `e-exp-1_binary64_123` `exp-1-e_binary64_121` `exp-0_binary64_120` `rem-log-exp_binary64_119` `rem-exp-log_binary64_118` `cube-div_binary64_107` `cube-neg_binary64_105` `rem-3cbrt-rft_binary64_104` `rem-3cbrt-lft_binary64_103` `rem-cbrt-cube_binary64_102` `rem-cube-cbrt_binary64_101` `sqr-abs_binary64_93` `sqr-neg_binary64_92` `rem-square-sqrt_binary64_90` `times-frac_binary64_84` `div-sub_binary64_83` `neg-mul-1_binary64_74` `neg-sub0_binary64_73` `unsub-neg_binary64_72` `sub-neg_binary64_71` `mul-1-neg_binary64_70` `/-rgt-identity_binary64_69` `-rgt-identity_binary64_68` `-lft-identity_binary64_67` `remove-double-neg_binary64_66` `sub0-neg_binary64_65` `--rgt-identity_binary64_64` `+-rgt-identity_binary64_63` `+-lft-identity_binary64_62` `mul0-rgt_binary64_61` `mul0-lft_binary64_60` `div0_binary64_59` `-inverses_binary64_58` `+-inverses_binary64_57` `lft-mult-inverse_binary64_56` `rgt-mult-inverse_binary64_55` `remove-double-div_binary64_54` `difference-of-sqr--1_binary64_49` `difference-of-sqr-1_binary64_48` `difference-of-squares_binary64_47` `cancel-sign-sub-inv_binary64_44` `cancel-sign-sub_binary64_43` `distribute-neg-frac_binary64_42` `distribute-frac-neg_binary64_41` `distribute-neg-out_binary64_40` `distribute-neg-in_binary64_39` `distribute-rgt-neg-out_binary64_38` `distribute-lft-neg-out_binary64_37` `distribute-rgt-neg-in_binary64_36` `distribute-lft-neg-in_binary64_35` `distribute-rgt1-in_binary64_34` `distribute-lft1-in_binary64_33` `distribute-rgt-out--_binary64_32` `distribute-rgt-out_binary64_31` `distribute-lft-out--_binary64_30` `distribute-lft-out_binary64_29` `distribute-rgt-in_binary64_28` `distribute-lft-in_binary64_27` `count-2_binary64_26` `associate-/l/_binary64_25` `associate-/r_binary64_22` `associate--r-_binary64_17` `associate--l-_binary64_16` `associate--l+_binary64_15` `associate--r+_binary64_14` `associate-+l-_binary64_13` `associate-+r-_binary64_12` `associate-+l+_binary64_11` `associate-+r+_binary64_10`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	136
1	86	136
2	195	136
3	357	136
4	695	136
5	868	136
6	1296	136
7	2649	136
8	2812	136
9	3009	136
10	3411	136
11	4084	136
12	4396	136
13	4716	136
14	4940	136
15	4958	136
0	3	3
1	3	3

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
0%	99.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
31.2%	68.6%	0.1%	8
31.2%	56.2%	12.6%	9
34.3%	53%	12.6%	10
37.4%	49.9%	12.6%	11
46.8%	40.6%	12.6%	12
47.8%	39.6%	12.6%	13
49.7%	37.1%	13.2%	14

Compiler

Compiled 22 to 20 computations (9.1% saved)

sample174.0ms (1%)

Algorithm

1×

intervals

Results

45.0ms	48×	body	1024	valid
44.0ms	49×	body	1024	invalid
19.0ms	158×	body	128	valid
12.0ms	22×	body	512	valid
11.0ms	7×	body	2048	valid
10.0ms	17×	body	512	invalid
6.0ms	21×	body	256	valid
5.0ms	15×	body	256	invalid
2.0ms	15×	body	128	invalid

Compiler

Compiled 43 to 42 computations (2.3% saved)

simplify144.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

1308×	`sqr-pow_binary64_50`
632×	`pow-sqr_binary64_51`
484×	`unswap-sqr_binary64_46`
332×	`cube-prod_binary64_106`
271×	`*-commutative_binary64_9`
238×	`unpow3_binary64_144` `cube-mult_binary64_108`
186×	`associate-l_binary64_19`
120×	`associate-r_binary64_18`
84×	`pow-plus_binary64_141`
42×	`rem-sqrt-square_binary64_91`
14×	`unpow2_binary64_143` `unpow1/2_binary64_142` `unpow1_binary64_136`
10×	`cube-unmult_binary64_115`
4×	`swap-sqr_binary64_45`
2×	`associate-/l*_binary64_23`
1×	`1-exp_binary64_122` `associate-/r/_binary64_24` `associate-l/_binary64_21` `associate-r/_binary64_20` `+-commutative_binary64_8`
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_341` `erf-erfc_binary64_340` `erf-odd_binary64_339` `if-if-and-not_binary64_338` `if-if-and_binary64_337` `if-if-or-not_binary64_336` `if-if-or_binary64_335` `if-not_binary64_334` `if-same_binary64_333` `if-false_binary64_332` `if-true_binary64_331` `not-gte_binary64_330` `not-lte_binary64_329` `not-gt_binary64_328` `not-lt_binary64_327` `gte-same_binary64_326` `lte-same_binary64_325` `gt-same_binary64_324` `lt-same_binary64_323` `sinh---cosh_binary64_270` `sinh-+-cosh_binary64_269` `sinh-cosh_binary64_268` `tanh-def-c_binary64_267` `tanh-def-b_binary64_266` `tanh-def-a_binary64_265` `cosh-def_binary64_264` `sinh-def_binary64_263` `tan-neg_binary64_210` `cos-neg_binary64_209` `sin-neg_binary64_208` `tan-0_binary64_207` `cos-0_binary64_206` `sin-0_binary64_205` `hang-m-tan_binary64_204` `hang-p-tan_binary64_203` `hang-m0-tan_binary64_202` `hang-p0-tan_binary64_201` `hang-0m-tan_binary64_200` `hang-0p-tan_binary64_199` `tan-+PI/2_binary64_198` `tan-+PI_binary64_197` `tan-PI_binary64_196` `tan-PI/3_binary64_195` `tan-PI/4_binary64_194` `tan-PI/6_binary64_193` `cos-+PI/2_binary64_192` `cos-+PI_binary64_191` `cos-PI_binary64_190` `cos-PI/2_binary64_189` `cos-PI/3_binary64_188` `cos-PI/4_binary64_187` `cos-PI/6_binary64_186` `sin-+PI/2_binary64_185` `sin-+PI_binary64_184` `sin-PI_binary64_183` `sin-PI/2_binary64_182` `sin-PI/3_binary64_181` `sin-PI/4_binary64_180` `sin-PI/6_binary64_179` `sub-1-sin_binary64_178` `sub-1-cos_binary64_177` `-1-add-sin_binary64_176` `-1-add-cos_binary64_175` `1-sub-sin_binary64_174` `1-sub-cos_binary64_173` `cos-sin-sum_binary64_172` `log-E_binary64_168` `log-pow_binary64_167` `log-rec_binary64_166` `log-div_binary64_165` `log-prod_binary64_164` `pow-base-0_binary64_162` `unpow1/3_binary64_145` `exp-to-pow_binary64_140` `pow-base-1_binary64_138` `unpow0_binary64_137` `unpow-1_binary64_135` `exp-lft-cube_binary64_134` `exp-lft-sqr_binary64_133` `exp-cbrt_binary64_132` `exp-sqrt_binary64_131` `exp-prod_binary64_130` `div-exp_binary64_129` `rec-exp_binary64_128` `prod-exp_binary64_127` `exp-diff_binary64_126` `exp-neg_binary64_125` `exp-sum_binary64_124` `e-exp-1_binary64_123` `exp-1-e_binary64_121` `exp-0_binary64_120` `rem-log-exp_binary64_119` `rem-exp-log_binary64_118` `cube-div_binary64_107` `cube-neg_binary64_105` `rem-3cbrt-rft_binary64_104` `rem-3cbrt-lft_binary64_103` `rem-cbrt-cube_binary64_102` `rem-cube-cbrt_binary64_101` `sqr-abs_binary64_93` `sqr-neg_binary64_92` `rem-square-sqrt_binary64_90` `times-frac_binary64_84` `div-sub_binary64_83` `neg-mul-1_binary64_74` `neg-sub0_binary64_73` `unsub-neg_binary64_72` `sub-neg_binary64_71` `mul-1-neg_binary64_70` `/-rgt-identity_binary64_69` `-rgt-identity_binary64_68` `-lft-identity_binary64_67` `remove-double-neg_binary64_66` `sub0-neg_binary64_65` `--rgt-identity_binary64_64` `+-rgt-identity_binary64_63` `+-lft-identity_binary64_62` `mul0-rgt_binary64_61` `mul0-lft_binary64_60` `div0_binary64_59` `-inverses_binary64_58` `+-inverses_binary64_57` `lft-mult-inverse_binary64_56` `rgt-mult-inverse_binary64_55` `remove-double-div_binary64_54` `difference-of-sqr--1_binary64_49` `difference-of-sqr-1_binary64_48` `difference-of-squares_binary64_47` `cancel-sign-sub-inv_binary64_44` `cancel-sign-sub_binary64_43` `distribute-neg-frac_binary64_42` `distribute-frac-neg_binary64_41` `distribute-neg-out_binary64_40` `distribute-neg-in_binary64_39` `distribute-rgt-neg-out_binary64_38` `distribute-lft-neg-out_binary64_37` `distribute-rgt-neg-in_binary64_36` `distribute-lft-neg-in_binary64_35` `distribute-rgt1-in_binary64_34` `distribute-lft1-in_binary64_33` `distribute-rgt-out--_binary64_32` `distribute-rgt-out_binary64_31` `distribute-lft-out--_binary64_30` `distribute-lft-out_binary64_29` `distribute-rgt-in_binary64_28` `distribute-lft-in_binary64_27` `count-2_binary64_26` `associate-/l/_binary64_25` `associate-/r_binary64_22` `associate--r-_binary64_17` `associate--l-_binary64_16` `associate--l+_binary64_15` `associate--r+_binary64_14` `associate-+l-_binary64_13` `associate-+r-_binary64_12` `associate-+l+_binary64_11` `associate-+r+_binary64_10`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	34
1	30	34
2	64	34
3	108	34
4	198	34
5	435	34
6	615	34
7	1068	34
8	1083	34
9	1255	34
10	1456	34
11	1778	34
12	2198	34
13	2712	34
14	3360	34
15	3572	34
16	3702	34
17	3734	34
18	3738	34
19	3738	34
20	4557	34
21	5252	34

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

21.1b

Counts

1 → 1

Compiler

Compiled 21 to 19 computations (9.5% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(*.f64 (/.f64 angle 180) PI.f64)
0.4b	(*.f64 (/.f64 angle 180) PI.f64)
24.4b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
24.5b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite201.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

20.1b

Rules

30×	`add-sqr-sqrt_binary64_100`
26×	`associate-l_binary64_19`
20×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78` `times-frac_binary64_84`
14×	`add-exp-log_binary64_116` `add-cbrt-cube_binary64_114`
8×	`pow1_binary64_139`
6×	`associate-r_binary64_18`
4×	`add-log-exp_binary64_117` `prod-exp_binary64_127` `cbrt-unprod_binary64_111` `unswap-sqr_binary64_46`
2×	`pow-prod-down_binary64_149` `div-exp_binary64_129` `cbrt-undiv_binary64_112` `associate-l/_binary64_21` `div-inv_binary64_75` `-commutative_binary64_9`

Counts

4 → 78

Calls

4 calls:

7.0ms	(*.f64 (/.f64 angle 180) PI.f64)
7.0ms	(*.f64 (/.f64 angle 180) PI.f64)
2.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 2162 to 1537 computations (28.9% saved)

series152.0ms (0.8%)

Error

20.7b

Counts

4 → 12

Calls

4 calls:

44.0ms	(*.f64 (/.f64 angle 180) PI.f64)
43.0ms	(*.f64 (/.f64 angle 180) PI.f64)
25.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
20.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 758 to 634 computations (16.4% saved)

simplify155.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

509×	`unsub-neg_binary64_72`
449×	`associate-/l*_binary64_23`
397×	`associate-*l/_binary64_21`
384×	`sqr-pow_binary64_50`
316×	`distribute-neg-in_binary64_39`
313×	`sub-neg_binary64_71`
301×	`*-commutative_binary64_9`
278×	`cancel-sign-sub-inv_binary64_44`
266×	`associate-*r/_binary64_20`
237×	`distribute-rgt-in_binary64_28`
211×	`pow-sqr_binary64_51`
199×	`associate--r+_binary64_14`
171×	`associate-l_binary64_19`
158×	`+-commutative_binary64_8`
153×	`associate-/l/_binary64_25`
133×	`unswap-sqr_binary64_46`
120×	`rem-sqrt-square_binary64_91`
114×	`associate-r_binary64_18` `associate--r-_binary64_17`
110×	`associate-/r/_binary64_24`
105×	`associate--l-_binary64_16`
99×	`distribute-lft-in_binary64_27`
92×	`neg-mul-1_binary64_74`
86×	`neg-sub0_binary64_73`
84×	`associate-+l+_binary64_11`
83×	`associate-/r*_binary64_22`
82×	`associate-+r+_binary64_10`
69×	`distribute-neg-out_binary64_40`
57×	`associate--l+_binary64_15`
49×	`associate-+l-_binary64_13`
45×	`*-lft-identity_binary64_67`
44×	`distribute-lft-neg-out_binary64_37`
43×	`distribute-rgt-neg-in_binary64_36` `associate-+r-_binary64_12`
42×	`*-rgt-identity_binary64_68`
39×	`cancel-sign-sub_binary64_43`
28×	`exp-prod_binary64_130` `remove-double-neg_binary64_66`
27×	`times-frac_binary64_84` `distribute-lft-neg-in_binary64_35`
26×	`log-prod_binary64_164`
23×	`distribute-rgt-neg-out_binary64_38`
20×	`cube-prod_binary64_106` `swap-sqr_binary64_45`
17×	`log-div_binary64_165`
16×	`cube-div_binary64_107` `/-rgt-identity_binary64_69`
12×	`sub0-neg_binary64_65` `distribute-rgt-out_binary64_31`
10×	`+-rgt-identity_binary64_63` `distribute-lft-out--_binary64_30`
9×	`distribute-lft-out_binary64_29`
6×	`unpow3_binary64_144` `unpow1/2_binary64_142` `cube-unmult_binary64_115` `cube-mult_binary64_108` `--rgt-identity_binary64_64`
4×	`+-lft-identity_binary64_62` `distribute-rgt1-in_binary64_34`
3×	`log-rec_binary64_166` `distribute-rgt-out--_binary64_32`
2×	`distribute-lft1-in_binary64_33`
1×	`1-exp_binary64_122` `exp-1-e_binary64_121` `count-2_binary64_26`
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_341` `erf-erfc_binary64_340` `erf-odd_binary64_339` `if-if-and-not_binary64_338` `if-if-and_binary64_337` `if-if-or-not_binary64_336` `if-if-or_binary64_335` `if-not_binary64_334` `if-same_binary64_333` `if-false_binary64_332` `if-true_binary64_331` `not-gte_binary64_330` `not-lte_binary64_329` `not-gt_binary64_328` `not-lt_binary64_327` `gte-same_binary64_326` `lte-same_binary64_325` `gt-same_binary64_324` `lt-same_binary64_323` `sinh---cosh_binary64_270` `sinh-+-cosh_binary64_269` `sinh-cosh_binary64_268` `tanh-def-c_binary64_267` `tanh-def-b_binary64_266` `tanh-def-a_binary64_265` `cosh-def_binary64_264` `sinh-def_binary64_263` `tan-neg_binary64_210` `cos-neg_binary64_209` `sin-neg_binary64_208` `tan-0_binary64_207` `cos-0_binary64_206` `sin-0_binary64_205` `hang-m-tan_binary64_204` `hang-p-tan_binary64_203` `hang-m0-tan_binary64_202` `hang-p0-tan_binary64_201` `hang-0m-tan_binary64_200` `hang-0p-tan_binary64_199` `tan-+PI/2_binary64_198` `tan-+PI_binary64_197` `tan-PI_binary64_196` `tan-PI/3_binary64_195` `tan-PI/4_binary64_194` `tan-PI/6_binary64_193` `cos-+PI/2_binary64_192` `cos-+PI_binary64_191` `cos-PI_binary64_190` `cos-PI/2_binary64_189` `cos-PI/3_binary64_188` `cos-PI/4_binary64_187` `cos-PI/6_binary64_186` `sin-+PI/2_binary64_185` `sin-+PI_binary64_184` `sin-PI_binary64_183` `sin-PI/2_binary64_182` `sin-PI/3_binary64_181` `sin-PI/4_binary64_180` `sin-PI/6_binary64_179` `sub-1-sin_binary64_178` `sub-1-cos_binary64_177` `-1-add-sin_binary64_176` `-1-add-cos_binary64_175` `1-sub-sin_binary64_174` `1-sub-cos_binary64_173` `cos-sin-sum_binary64_172` `log-E_binary64_168` `log-pow_binary64_167` `pow-base-0_binary64_162` `unpow1/3_binary64_145` `unpow2_binary64_143` `pow-plus_binary64_141` `exp-to-pow_binary64_140` `pow-base-1_binary64_138` `unpow0_binary64_137` `unpow1_binary64_136` `unpow-1_binary64_135` `exp-lft-cube_binary64_134` `exp-lft-sqr_binary64_133` `exp-cbrt_binary64_132` `exp-sqrt_binary64_131` `div-exp_binary64_129` `rec-exp_binary64_128` `prod-exp_binary64_127` `exp-diff_binary64_126` `exp-neg_binary64_125` `exp-sum_binary64_124` `e-exp-1_binary64_123` `exp-0_binary64_120` `rem-log-exp_binary64_119` `rem-exp-log_binary64_118` `cube-neg_binary64_105` `rem-3cbrt-rft_binary64_104` `rem-3cbrt-lft_binary64_103` `rem-cbrt-cube_binary64_102` `rem-cube-cbrt_binary64_101` `sqr-abs_binary64_93` `sqr-neg_binary64_92` `rem-square-sqrt_binary64_90` `div-sub_binary64_83` `mul-1-neg_binary64_70` `mul0-rgt_binary64_61` `mul0-lft_binary64_60` `div0_binary64_59` `*-inverses_binary64_58` `+-inverses_binary64_57` `lft-mult-inverse_binary64_56` `rgt-mult-inverse_binary64_55` `remove-double-div_binary64_54` `difference-of-sqr--1_binary64_49` `difference-of-sqr-1_binary64_48` `difference-of-squares_binary64_47` `distribute-neg-frac_binary64_42` `distribute-frac-neg_binary64_41`

Counts

90 → 66

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	89	1137
1	170	993
2	393	993
3	846	993
4	1889	993
5	2351	993
6	2940	993
7	3554	993
8	4186	993
9	4966	993
10	4892	993

prune195.0ms (1.1%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	40	26	66
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	41	26	67

Error

20.1b

Counts

67 → 26

Compiler

Compiled 2552 to 1881 computations (26.3% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 angle)
0.6b	(cbrt.f64 angle)
24.2b	(cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))
24.5b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite99.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

20.0b

Rules

6×	`add-cube-cbrt_binary64_113` `add-sqr-sqrt_binary64_100` `*-un-lft-identity_binary64_78` `cbrt-prod_binary64_109`
4×	`pow1_binary64_139` `add-log-exp_binary64_117` `add-exp-log_binary64_116` `add-cbrt-cube_binary64_114`
2×	`pow1/3_binary64_160`

Counts

4 → 36

Calls

4 calls:

3.0ms	(cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))
2.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
1.0ms	(cbrt.f64 angle)
1.0ms	(cbrt.f64 angle)

Compiler

Compiled 1397 to 874 computations (37.4% saved)

series319.0ms (1.8%)

Error

20.0b

Counts

4 → 12

Calls

4 calls:

113.0ms	(cbrt.f64 angle)
108.0ms	(cbrt.f64 angle)
46.0ms	(cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))
26.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 1147 to 927 computations (19.2% saved)

simplify76.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

634×	`associate-/r*_binary64_22`
394×	`associate-/l/_binary64_25`
366×	`associate-/r/_binary64_24`
346×	`associate-*l/_binary64_21`
290×	`div-sub_binary64_83`
247×	`log-prod_binary64_164`
239×	`associate-*r/_binary64_20`
212×	`*-commutative_binary64_9`
206×	`distribute-rgt-neg-in_binary64_36`
176×	`distribute-lft-neg-in_binary64_35`
175×	`unswap-sqr_binary64_46`
138×	`associate-l_binary64_19`
135×	`associate-/l*_binary64_23`
128×	`associate-r_binary64_18`
122×	`cancel-sign-sub-inv_binary64_44`
107×	`times-frac_binary64_84`
105×	`neg-sub0_binary64_73`
99×	`neg-mul-1_binary64_74`
97×	`distribute-neg-frac_binary64_42`
50×	`sub-neg_binary64_71`
44×	`sqr-pow_binary64_50`
32×	`cancel-sign-sub_binary64_43`
31×	`distribute-lft-neg-out_binary64_37`
24×	`distribute-frac-neg_binary64_41` `distribute-rgt-neg-out_binary64_38`
20×	`log-pow_binary64_167` `remove-double-neg_binary64_66`
19×	`swap-sqr_binary64_45`
15×	`div0_binary64_59`
14×	`distribute-rgt-in_binary64_28`
13×	`distribute-lft-in_binary64_27`
10×	`exp-prod_binary64_130` `cube-unmult_binary64_115`
9×	`mul-1-neg_binary64_70`
6×	`pow-plus_binary64_141` `rem-sqrt-square_binary64_91` `pow-sqr_binary64_51`
4×	`cube-prod_binary64_106`
3×	`sin-neg_binary64_208` `count-2_binary64_26`
2×	`cos-neg_binary64_209` `unpow1/3_binary64_145` `unpow3_binary64_144` `cube-mult_binary64_108` `unsub-neg_binary64_72` `*-lft-identity_binary64_67` `mul0-rgt_binary64_61` `associate-+l+_binary64_11` `associate-+r+_binary64_10` `+-commutative_binary64_8`
1×	`unpow2_binary64_143` `unpow1/2_binary64_142` `unpow1_binary64_136` `exp-neg_binary64_125` `1-exp_binary64_122` `cube-neg_binary64_105` `rem-3cbrt-lft_binary64_103` `rem-cube-cbrt_binary64_101` `sqr-neg_binary64_92` `rem-square-sqrt_binary64_90` `/-rgt-identity_binary64_69` `distribute-neg-in_binary64_39` `distribute-lft-out_binary64_29` `associate--r-_binary64_17` `associate--r+_binary64_14`
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_341` `erf-erfc_binary64_340` `erf-odd_binary64_339` `if-if-and-not_binary64_338` `if-if-and_binary64_337` `if-if-or-not_binary64_336` `if-if-or_binary64_335` `if-not_binary64_334` `if-same_binary64_333` `if-false_binary64_332` `if-true_binary64_331` `not-gte_binary64_330` `not-lte_binary64_329` `not-gt_binary64_328` `not-lt_binary64_327` `gte-same_binary64_326` `lte-same_binary64_325` `gt-same_binary64_324` `lt-same_binary64_323` `sinh---cosh_binary64_270` `sinh-+-cosh_binary64_269` `sinh-cosh_binary64_268` `tanh-def-c_binary64_267` `tanh-def-b_binary64_266` `tanh-def-a_binary64_265` `cosh-def_binary64_264` `sinh-def_binary64_263` `tan-neg_binary64_210` `tan-0_binary64_207` `cos-0_binary64_206` `sin-0_binary64_205` `hang-m-tan_binary64_204` `hang-p-tan_binary64_203` `hang-m0-tan_binary64_202` `hang-p0-tan_binary64_201` `hang-0m-tan_binary64_200` `hang-0p-tan_binary64_199` `tan-+PI/2_binary64_198` `tan-+PI_binary64_197` `tan-PI_binary64_196` `tan-PI/3_binary64_195` `tan-PI/4_binary64_194` `tan-PI/6_binary64_193` `cos-+PI/2_binary64_192` `cos-+PI_binary64_191` `cos-PI_binary64_190` `cos-PI/2_binary64_189` `cos-PI/3_binary64_188` `cos-PI/4_binary64_187` `cos-PI/6_binary64_186` `sin-+PI/2_binary64_185` `sin-+PI_binary64_184` `sin-PI_binary64_183` `sin-PI/2_binary64_182` `sin-PI/3_binary64_181` `sin-PI/4_binary64_180` `sin-PI/6_binary64_179` `sub-1-sin_binary64_178` `sub-1-cos_binary64_177` `-1-add-sin_binary64_176` `-1-add-cos_binary64_175` `1-sub-sin_binary64_174` `1-sub-cos_binary64_173` `cos-sin-sum_binary64_172` `log-E_binary64_168` `log-rec_binary64_166` `log-div_binary64_165` `pow-base-0_binary64_162` `exp-to-pow_binary64_140` `pow-base-1_binary64_138` `unpow0_binary64_137` `unpow-1_binary64_135` `exp-lft-cube_binary64_134` `exp-lft-sqr_binary64_133` `exp-cbrt_binary64_132` `exp-sqrt_binary64_131` `div-exp_binary64_129` `rec-exp_binary64_128` `prod-exp_binary64_127` `exp-diff_binary64_126` `exp-sum_binary64_124` `e-exp-1_binary64_123` `exp-1-e_binary64_121` `exp-0_binary64_120` `rem-log-exp_binary64_119` `rem-exp-log_binary64_118` `cube-div_binary64_107` `rem-3cbrt-rft_binary64_104` `rem-cbrt-cube_binary64_102` `sqr-abs_binary64_93` `-rgt-identity_binary64_68` `sub0-neg_binary64_65` `--rgt-identity_binary64_64` `+-rgt-identity_binary64_63` `+-lft-identity_binary64_62` `mul0-lft_binary64_60` `-inverses_binary64_58` `+-inverses_binary64_57` `lft-mult-inverse_binary64_56` `rgt-mult-inverse_binary64_55` `remove-double-div_binary64_54` `difference-of-sqr--1_binary64_49` `difference-of-sqr-1_binary64_48` `difference-of-squares_binary64_47` `distribute-neg-out_binary64_40` `distribute-rgt1-in_binary64_34` `distribute-lft1-in_binary64_33` `distribute-rgt-out--_binary64_32` `distribute-rgt-out_binary64_31` `distribute-lft-out--_binary64_30` `associate--l-_binary64_16` `associate--l+_binary64_15` `associate-+l-_binary64_13` `associate-+r-_binary64_12`

Counts

48 → 22

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	62	659
1	115	409
2	289	409
3	1153	409
4	3954	409
5	4782	409
6	4943	409

prune95.0ms (0.5%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	19	3	22
Fresh	2	23	25
Picked	1	0	1
Done	0	0	0
Total	22	26	48

Error

20.1b

Counts

48 → 26

Compiler

Compiled 1492 to 1120 computations (24.9% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 angle)
0.6b	(cbrt.f64 angle)
24.5b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
24.5b	(cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))

rewrite88.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

20.0b

Rules

6×	`add-cube-cbrt_binary64_113` `add-sqr-sqrt_binary64_100` `*-un-lft-identity_binary64_78` `cbrt-prod_binary64_109`
4×	`pow1_binary64_139` `add-log-exp_binary64_117` `add-exp-log_binary64_116` `add-cbrt-cube_binary64_114`
2×	`pow1/3_binary64_160`

Counts

4 → 36

Calls

4 calls:

3.0ms	(cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))
2.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
1.0ms	(cbrt.f64 angle)
1.0ms	(cbrt.f64 angle)

Compiler

Compiled 1315 to 792 computations (39.8% saved)

series331.0ms (1.8%)

Error

20.0b

Counts

4 → 12

Calls

4 calls:

136.0ms	(cbrt.f64 angle)
117.0ms	(cbrt.f64 angle)
31.0ms	(cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))
24.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 1064 to 844 computations (20.7% saved)

simplify75.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

512×	`associate-/l*_binary64_23`
427×	`times-frac_binary64_84`
339×	`associate-*l/_binary64_21`
268×	`associate-/l/_binary64_25`
249×	`associate-/r/_binary64_24`
239×	`log-prod_binary64_164`
233×	`associate-*r/_binary64_20`
209×	`*-commutative_binary64_9`
200×	`distribute-rgt-in_binary64_28`
193×	`associate-/r*_binary64_22`
188×	`distribute-lft-in_binary64_27`
181×	`log-div_binary64_165`
180×	`distribute-rgt-neg-in_binary64_36`
166×	`distribute-lft-neg-in_binary64_35`
162×	`associate-l_binary64_19`
159×	`distribute-neg-frac_binary64_42`
133×	`associate-r_binary64_18`
97×	`unswap-sqr_binary64_46`
95×	`distribute-lft-neg-out_binary64_37`
91×	`cancel-sign-sub-inv_binary64_44`
83×	`distribute-rgt-neg-out_binary64_38`
64×	`div-sub_binary64_83`
54×	`neg-sub0_binary64_73`
47×	`cos-neg_binary64_209` `sin-neg_binary64_208`
46×	`distribute-frac-neg_binary64_41`
45×	`neg-mul-1_binary64_74`
40×	`sqr-pow_binary64_50`
34×	`sub-neg_binary64_71`
29×	`/-rgt-identity_binary64_69`
23×	`*-lft-identity_binary64_67`
21×	`log-pow_binary64_167`
17×	`distribute-rgt-out_binary64_31`
13×	`log-rec_binary64_166` `distribute-neg-in_binary64_39`
11×	`exp-prod_binary64_130`
10×	`cube-unmult_binary64_115` `*-rgt-identity_binary64_68`
8×	`unsub-neg_binary64_72` `swap-sqr_binary64_45`
7×	`cube-div_binary64_107` `distribute-lft-out_binary64_29`
6×	`pow-sqr_binary64_51`
5×	`pow-plus_binary64_141` `cube-prod_binary64_106`
4×	`rem-sqrt-square_binary64_91`
3×	`unpow3_binary64_144` `count-2_binary64_26`
2×	`unpow1/3_binary64_145` `cube-mult_binary64_108` `mul-1-neg_binary64_70` `mul0-rgt_binary64_61` `mul0-lft_binary64_60` `associate--l+_binary64_15` `associate-+l+_binary64_11` `associate-+r+_binary64_10`
1×	`exp-neg_binary64_125` `1-exp_binary64_122` `cube-neg_binary64_105` `rem-3cbrt-lft_binary64_103` `rem-cube-cbrt_binary64_101` `sqr-neg_binary64_92` `remove-double-neg_binary64_66` `div0_binary64_59` `associate--l-_binary64_16` `+-commutative_binary64_8`
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_341` `erf-erfc_binary64_340` `erf-odd_binary64_339` `if-if-and-not_binary64_338` `if-if-and_binary64_337` `if-if-or-not_binary64_336` `if-if-or_binary64_335` `if-not_binary64_334` `if-same_binary64_333` `if-false_binary64_332` `if-true_binary64_331` `not-gte_binary64_330` `not-lte_binary64_329` `not-gt_binary64_328` `not-lt_binary64_327` `gte-same_binary64_326` `lte-same_binary64_325` `gt-same_binary64_324` `lt-same_binary64_323` `sinh---cosh_binary64_270` `sinh-+-cosh_binary64_269` `sinh-cosh_binary64_268` `tanh-def-c_binary64_267` `tanh-def-b_binary64_266` `tanh-def-a_binary64_265` `cosh-def_binary64_264` `sinh-def_binary64_263` `tan-neg_binary64_210` `tan-0_binary64_207` `cos-0_binary64_206` `sin-0_binary64_205` `hang-m-tan_binary64_204` `hang-p-tan_binary64_203` `hang-m0-tan_binary64_202` `hang-p0-tan_binary64_201` `hang-0m-tan_binary64_200` `hang-0p-tan_binary64_199` `tan-+PI/2_binary64_198` `tan-+PI_binary64_197` `tan-PI_binary64_196` `tan-PI/3_binary64_195` `tan-PI/4_binary64_194` `tan-PI/6_binary64_193` `cos-+PI/2_binary64_192` `cos-+PI_binary64_191` `cos-PI_binary64_190` `cos-PI/2_binary64_189` `cos-PI/3_binary64_188` `cos-PI/4_binary64_187` `cos-PI/6_binary64_186` `sin-+PI/2_binary64_185` `sin-+PI_binary64_184` `sin-PI_binary64_183` `sin-PI/2_binary64_182` `sin-PI/3_binary64_181` `sin-PI/4_binary64_180` `sin-PI/6_binary64_179` `sub-1-sin_binary64_178` `sub-1-cos_binary64_177` `-1-add-sin_binary64_176` `-1-add-cos_binary64_175` `1-sub-sin_binary64_174` `1-sub-cos_binary64_173` `cos-sin-sum_binary64_172` `log-E_binary64_168` `pow-base-0_binary64_162` `unpow2_binary64_143` `unpow1/2_binary64_142` `exp-to-pow_binary64_140` `pow-base-1_binary64_138` `unpow0_binary64_137` `unpow1_binary64_136` `unpow-1_binary64_135` `exp-lft-cube_binary64_134` `exp-lft-sqr_binary64_133` `exp-cbrt_binary64_132` `exp-sqrt_binary64_131` `div-exp_binary64_129` `rec-exp_binary64_128` `prod-exp_binary64_127` `exp-diff_binary64_126` `exp-sum_binary64_124` `e-exp-1_binary64_123` `exp-1-e_binary64_121` `exp-0_binary64_120` `rem-log-exp_binary64_119` `rem-exp-log_binary64_118` `rem-3cbrt-rft_binary64_104` `rem-cbrt-cube_binary64_102` `sqr-abs_binary64_93` `rem-square-sqrt_binary64_90` `sub0-neg_binary64_65` `--rgt-identity_binary64_64` `+-rgt-identity_binary64_63` `+-lft-identity_binary64_62` `*-inverses_binary64_58` `+-inverses_binary64_57` `lft-mult-inverse_binary64_56` `rgt-mult-inverse_binary64_55` `remove-double-div_binary64_54` `difference-of-sqr--1_binary64_49` `difference-of-sqr-1_binary64_48` `difference-of-squares_binary64_47` `cancel-sign-sub_binary64_43` `distribute-neg-out_binary64_40` `distribute-rgt1-in_binary64_34` `distribute-lft1-in_binary64_33` `distribute-rgt-out--_binary64_32` `distribute-lft-out--_binary64_30` `associate--r-_binary64_17` `associate--r+_binary64_14` `associate-+l-_binary64_13` `associate-+r-_binary64_12`

Counts

48 → 21

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	58	579
1	102	409
2	246	409
3	859	409
4	2940	409
5	4652	409
6	4944	409

prune89.0ms (0.5%)

Pruning

26 alts after pruning (25 fresh and 1 done)

	Pruned	Kept	Total
New	21	0	21
Fresh	0	25	25
Picked	0	1	1
Done	0	0	0
Total	21	26	47

Error

20.1b

Counts

47 → 26

Compiler

Compiled 1411 to 1052 computations (25.4% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 PI.f64 (/.f64 angle (cbrt.f64 180))))
1.0b	(*.f64 (cbrt.f64 180) (cbrt.f64 180))
24.2b	(cos.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 PI.f64 (/.f64 angle (cbrt.f64 180)))))
24.5b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite296.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

19.9b

Rules

84×	`add-exp-log_binary64_116`
45×	`prod-exp_binary64_127`
31×	`add-cbrt-cube_binary64_114`
22×	`add-sqr-sqrt_binary64_100`
19×	`cbrt-unprod_binary64_111` `div-exp_binary64_129`
16×	`pow1_binary64_139` `cbrt-prod_binary64_109`
14×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
13×	`associate-l_binary64_19`
9×	`cbrt-undiv_binary64_112`
7×	`associate-r_binary64_18`
6×	`pow1/3_binary64_160` `swap-sqr_binary64_45` `1-exp_binary64_122` `rec-exp_binary64_128`
5×	`pow-prod-down_binary64_149`
4×	`add-log-exp_binary64_117` `unswap-sqr_binary64_46`
3×	`associate-*r/_binary64_20` `times-frac_binary64_84`
2×	`pow-prod-up_binary64_148` `pow-sqr_binary64_51` `*-commutative_binary64_9`
1×	`pow2_binary64_159` `pow-plus_binary64_141` `frac-times_binary64_88` `associate-*l/_binary64_21` `div-inv_binary64_75`

Counts

4 → 105

Calls

4 calls:

17.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 PI.f64 (/.f64 angle (cbrt.f64 180))))
7.0ms	(*.f64 (cbrt.f64 180) (cbrt.f64 180))
3.0ms	(cos.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 PI.f64 (/.f64 angle (cbrt.f64 180)))))
2.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 3959 to 3233 computations (18.3% saved)

series215.0ms (1.2%)

Error

20.0b

Counts

4 → 9

Calls

4 calls:

131.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 PI.f64 (/.f64 angle (cbrt.f64 180))))
44.0ms	(cos.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 PI.f64 (/.f64 angle (cbrt.f64 180)))))
25.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.0ms	(*.f64 (cbrt.f64 180) (cbrt.f64 180))

Compiler

Compiled 700 to 609 computations (13% saved)

simplify125.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

423×	`associate-/l*_binary64_23`
387×	`associate-/r*_binary64_22`
345×	`log-div_binary64_165`
331×	`*-commutative_binary64_9`
321×	`cube-div_binary64_107`
284×	`associate--l+_binary64_15`
177×	`associate-r_binary64_18`
152×	`associate-l_binary64_19`
149×	`log-prod_binary64_164`
136×	`associate--r-_binary64_17`
135×	`exp-prod_binary64_130`
131×	`cube-prod_binary64_106`
127×	`associate-/l/_binary64_25`
118×	`sub-neg_binary64_71`
100×	`unpow3_binary64_144`
98×	`cube-mult_binary64_108` `sqr-pow_binary64_50`
95×	`distribute-rgt-in_binary64_28`
94×	`distribute-neg-in_binary64_39`
88×	`swap-sqr_binary64_45`
78×	`associate-+r+_binary64_10`
75×	`associate--l-_binary64_16`
68×	`distribute-lft-in_binary64_27`
65×	`cancel-sign-sub-inv_binary64_44`
64×	`associate-+l+_binary64_11`
63×	`associate-+l-_binary64_13`
62×	`associate-*l/_binary64_21`
61×	`associate-*r/_binary64_20`
53×	`times-frac_binary64_84`
51×	`associate--r+_binary64_14` `associate-+r-_binary64_12`
48×	`/-rgt-identity_binary64_69`
46×	`associate-/r/_binary64_24`
42×	`log-rec_binary64_166`
31×	`*-lft-identity_binary64_67`
30×	`unswap-sqr_binary64_46`
24×	`+-commutative_binary64_8`
22×	`neg-mul-1_binary64_74` `unsub-neg_binary64_72`
20×	`*-rgt-identity_binary64_68`
18×	`neg-sub0_binary64_73`
14×	`log-pow_binary64_167`
12×	`pow-sqr_binary64_51`
11×	`cube-unmult_binary64_115`
9×	`+-rgt-identity_binary64_63`
7×	`pow-plus_binary64_141` `sub0-neg_binary64_65` `remove-double-div_binary64_54` `distribute-rgt-neg-in_binary64_36` `distribute-lft-neg-in_binary64_35`
6×	`count-2_binary64_26`
5×	`unpow1/2_binary64_142` `+-lft-identity_binary64_62` `distribute-rgt-out_binary64_31`
4×	`distribute-neg-out_binary64_40`
3×	`rem-sqrt-square_binary64_91` `--rgt-identity_binary64_64` `distribute-rgt1-in_binary64_34` `distribute-lft-out_binary64_29`
2×	`unpow2_binary64_143` `rem-3cbrt-lft_binary64_103` `distribute-rgt-out--_binary64_32` `distribute-lft-out--_binary64_30`
1×	`1-exp_binary64_122` `exp-1-e_binary64_121` `rem-3cbrt-rft_binary64_104` `rem-square-sqrt_binary64_90` `+-inverses_binary64_57` `distribute-rgt-neg-out_binary64_38` `distribute-lft-neg-out_binary64_37` `distribute-lft1-in_binary64_33`
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_341` `erf-erfc_binary64_340` `erf-odd_binary64_339` `if-if-and-not_binary64_338` `if-if-and_binary64_337` `if-if-or-not_binary64_336` `if-if-or_binary64_335` `if-not_binary64_334` `if-same_binary64_333` `if-false_binary64_332` `if-true_binary64_331` `not-gte_binary64_330` `not-lte_binary64_329` `not-gt_binary64_328` `not-lt_binary64_327` `gte-same_binary64_326` `lte-same_binary64_325` `gt-same_binary64_324` `lt-same_binary64_323` `sinh---cosh_binary64_270` `sinh-+-cosh_binary64_269` `sinh-cosh_binary64_268` `tanh-def-c_binary64_267` `tanh-def-b_binary64_266` `tanh-def-a_binary64_265` `cosh-def_binary64_264` `sinh-def_binary64_263` `tan-neg_binary64_210` `cos-neg_binary64_209` `sin-neg_binary64_208` `tan-0_binary64_207` `cos-0_binary64_206` `sin-0_binary64_205` `hang-m-tan_binary64_204` `hang-p-tan_binary64_203` `hang-m0-tan_binary64_202` `hang-p0-tan_binary64_201` `hang-0m-tan_binary64_200` `hang-0p-tan_binary64_199` `tan-+PI/2_binary64_198` `tan-+PI_binary64_197` `tan-PI_binary64_196` `tan-PI/3_binary64_195` `tan-PI/4_binary64_194` `tan-PI/6_binary64_193` `cos-+PI/2_binary64_192` `cos-+PI_binary64_191` `cos-PI_binary64_190` `cos-PI/2_binary64_189` `cos-PI/3_binary64_188` `cos-PI/4_binary64_187` `cos-PI/6_binary64_186` `sin-+PI/2_binary64_185` `sin-+PI_binary64_184` `sin-PI_binary64_183` `sin-PI/2_binary64_182` `sin-PI/3_binary64_181` `sin-PI/4_binary64_180` `sin-PI/6_binary64_179` `sub-1-sin_binary64_178` `sub-1-cos_binary64_177` `-1-add-sin_binary64_176` `-1-add-cos_binary64_175` `1-sub-sin_binary64_174` `1-sub-cos_binary64_173` `cos-sin-sum_binary64_172` `log-E_binary64_168` `pow-base-0_binary64_162` `unpow1/3_binary64_145` `exp-to-pow_binary64_140` `pow-base-1_binary64_138` `unpow0_binary64_137` `unpow1_binary64_136` `unpow-1_binary64_135` `exp-lft-cube_binary64_134` `exp-lft-sqr_binary64_133` `exp-cbrt_binary64_132` `exp-sqrt_binary64_131` `div-exp_binary64_129` `rec-exp_binary64_128` `prod-exp_binary64_127` `exp-diff_binary64_126` `exp-neg_binary64_125` `exp-sum_binary64_124` `e-exp-1_binary64_123` `exp-0_binary64_120` `rem-log-exp_binary64_119` `rem-exp-log_binary64_118` `cube-neg_binary64_105` `rem-cbrt-cube_binary64_102` `rem-cube-cbrt_binary64_101` `sqr-abs_binary64_93` `sqr-neg_binary64_92` `div-sub_binary64_83` `mul-1-neg_binary64_70` `remove-double-neg_binary64_66` `mul0-rgt_binary64_61` `mul0-lft_binary64_60` `div0_binary64_59` `*-inverses_binary64_58` `lft-mult-inverse_binary64_56` `rgt-mult-inverse_binary64_55` `difference-of-sqr--1_binary64_49` `difference-of-sqr-1_binary64_48` `difference-of-squares_binary64_47` `cancel-sign-sub_binary64_43` `distribute-neg-frac_binary64_42` `distribute-frac-neg_binary64_41`

Counts

114 → 87

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	161	2309
1	293	1226
2	1040	1218
3	2771	1211
4	4641	1203
5	4926	1203
6	4906	1203

prune148.0ms (0.8%)

Pruning

28 alts after pruning (27 fresh and 1 done)

	Pruned	Kept	Total
New	83	4	87
Fresh	1	23	24
Picked	1	0	1
Done	0	1	1
Total	85	28	113

Error

20.0b

Counts

113 → 28

Compiler

Compiled 2417 to 1815 computations (24.9% saved)

regimes2.9s (16.3%)

Accuracy

Total 1.4b remaining (6.8%)

Threshold costs 0b (0%)

Compiler

Compiled 35142 to 29916 computations (14.9% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64_9`
1×	`+-commutative_binary64_8`
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_338` `if-if-and_binary64_337` `if-if-or-not_binary64_336` `if-if-or_binary64_335` `if-not_binary64_334` `if-same_binary64_333` `if-false_binary64_332` `if-true_binary64_331` `tan-0_binary64_207` `cos-0_binary64_206` `sin-0_binary64_205` `unpow1_binary64_136` `e-exp-1_binary64_123` `1-exp_binary64_122` `exp-1-e_binary64_121` `exp-0_binary64_120` `sqr-abs_binary64_93` `sqr-neg_binary64_92` `neg-mul-1_binary64_74` `neg-sub0_binary64_73` `unsub-neg_binary64_72` `sub-neg_binary64_71` `mul-1-neg_binary64_70` `/-rgt-identity_binary64_69` `-rgt-identity_binary64_68` `-lft-identity_binary64_67` `remove-double-neg_binary64_66` `sub0-neg_binary64_65` `--rgt-identity_binary64_64` `+-rgt-identity_binary64_63` `+-lft-identity_binary64_62` `cancel-sign-sub-inv_binary64_44` `cancel-sign-sub_binary64_43` `distribute-neg-frac_binary64_42` `distribute-frac-neg_binary64_41` `distribute-neg-out_binary64_40` `distribute-neg-in_binary64_39` `distribute-rgt-neg-out_binary64_38` `distribute-lft-neg-out_binary64_37` `distribute-rgt-neg-in_binary64_36` `distribute-lft-neg-in_binary64_35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	53
1	31	53
2	31	53

end0.0ms (0%)

sample10.2s (56.4%)

Algorithm

1×

intervals

Results

1.4s	1604×	body	1024	valid
1.2s	1333×	body	1024	invalid
630.0ms	5011×	body	128	valid
457.0ms	791×	body	512	valid
405.0ms	658×	body	512	invalid
214.0ms	166×	body	2048	valid
132.0ms	425×	body	256	valid
120.0ms	341×	body	256	invalid
82.0ms	615×	body	128	invalid
15.0ms	3×	body	4096	valid

Compiler

Compiled 5621 to 4777 computations (15% saved)

Details

analyze1.8s (10.3%)

sample174.0ms (1%)

simplify144.0ms (0.8%)

prune2.0ms (0%)

localize13.0ms (0.1%)

rewrite201.0ms (1.1%)

series152.0ms (0.8%)

simplify155.0ms (0.9%)

prune195.0ms (1.1%)

localize22.0ms (0.1%)

rewrite99.0ms (0.5%)

series319.0ms (1.8%)

simplify76.0ms (0.4%)

prune95.0ms (0.5%)

localize21.0ms (0.1%)

rewrite88.0ms (0.5%)

series331.0ms (1.8%)

simplify75.0ms (0.4%)

prune89.0ms (0.5%)

localize21.0ms (0.1%)

rewrite296.0ms (1.6%)

series215.0ms (1.2%)

simplify125.0ms (0.7%)

prune148.0ms (0.8%)

regimes2.9s (16.3%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample10.2s (56.4%)

Profiling