Details

analyze916.0ms (5.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

1442×	`associate-+l+_binary64_4785`
775×	`associate-+r+_binary64_4784`
607×	`+-commutative_binary64_4782`
392×	`distribute-rgt-in_binary64_4802`
313×	`distribute-lft-in_binary64_4801`
111×	`*-commutative_binary64_4783`
72×	`distribute-rgt-out_binary64_4805`
21×	`count-2_binary64_4800` `associate-r_binary64_4792`
15×	`associate-l_binary64_4793`
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_5115` `erf-erfc_binary64_5114` `erf-odd_binary64_5113` `if-if-and-not_binary64_5112` `if-if-and_binary64_5111` `if-if-or-not_binary64_5110` `if-if-or_binary64_5109` `if-not_binary64_5108` `if-same_binary64_5107` `if-false_binary64_5106` `if-true_binary64_5105` `not-gte_binary64_5104` `not-lte_binary64_5103` `not-gt_binary64_5102` `not-lt_binary64_5101` `gte-same_binary64_5100` `lte-same_binary64_5099` `gt-same_binary64_5098` `lt-same_binary64_5097` `sinh---cosh_binary64_5044` `sinh-+-cosh_binary64_5043` `sinh-cosh_binary64_5042` `tanh-def-c_binary64_5041` `tanh-def-b_binary64_5040` `tanh-def-a_binary64_5039` `cosh-def_binary64_5038` `sinh-def_binary64_5037` `tan-neg_binary64_4984` `cos-neg_binary64_4983` `sin-neg_binary64_4982` `tan-0_binary64_4981` `cos-0_binary64_4980` `sin-0_binary64_4979` `hang-m-tan_binary64_4978` `hang-p-tan_binary64_4977` `hang-m0-tan_binary64_4976` `hang-p0-tan_binary64_4975` `hang-0m-tan_binary64_4974` `hang-0p-tan_binary64_4973` `tan-+PI/2_binary64_4972` `tan-+PI_binary64_4971` `tan-PI_binary64_4970` `tan-PI/3_binary64_4969` `tan-PI/4_binary64_4968` `tan-PI/6_binary64_4967` `cos-+PI/2_binary64_4966` `cos-+PI_binary64_4965` `cos-PI_binary64_4964` `cos-PI/2_binary64_4963` `cos-PI/3_binary64_4962` `cos-PI/4_binary64_4961` `cos-PI/6_binary64_4960` `sin-+PI/2_binary64_4959` `sin-+PI_binary64_4958` `sin-PI_binary64_4957` `sin-PI/2_binary64_4956` `sin-PI/3_binary64_4955` `sin-PI/4_binary64_4954` `sin-PI/6_binary64_4953` `sub-1-sin_binary64_4952` `sub-1-cos_binary64_4951` `-1-add-sin_binary64_4950` `-1-add-cos_binary64_4949` `1-sub-sin_binary64_4948` `1-sub-cos_binary64_4947` `cos-sin-sum_binary64_4946` `log-E_binary64_4942` `log-pow_binary64_4941` `log-rec_binary64_4940` `log-div_binary64_4939` `log-prod_binary64_4938` `pow-base-0_binary64_4936` `unpow1/3_binary64_4919` `unpow3_binary64_4918` `unpow2_binary64_4917` `unpow1/2_binary64_4916` `pow-plus_binary64_4915` `exp-to-pow_binary64_4914` `pow-base-1_binary64_4912` `unpow0_binary64_4911` `unpow1_binary64_4910` `unpow-1_binary64_4909` `exp-lft-cube_binary64_4908` `exp-lft-sqr_binary64_4907` `exp-cbrt_binary64_4906` `exp-sqrt_binary64_4905` `exp-prod_binary64_4904` `div-exp_binary64_4903` `rec-exp_binary64_4902` `prod-exp_binary64_4901` `exp-diff_binary64_4900` `exp-neg_binary64_4899` `exp-sum_binary64_4898` `e-exp-1_binary64_4897` `1-exp_binary64_4896` `exp-1-e_binary64_4895` `exp-0_binary64_4894` `rem-log-exp_binary64_4893` `rem-exp-log_binary64_4892` `cube-unmult_binary64_4889` `cube-mult_binary64_4882` `cube-div_binary64_4881` `cube-prod_binary64_4880` `cube-neg_binary64_4879` `rem-3cbrt-rft_binary64_4878` `rem-3cbrt-lft_binary64_4877` `rem-cbrt-cube_binary64_4876` `rem-cube-cbrt_binary64_4875` `sqr-abs_binary64_4867` `sqr-neg_binary64_4866` `rem-sqrt-square_binary64_4865` `rem-square-sqrt_binary64_4864` `times-frac_binary64_4858` `div-sub_binary64_4857` `neg-mul-1_binary64_4848` `neg-sub0_binary64_4847` `unsub-neg_binary64_4846` `sub-neg_binary64_4845` `mul-1-neg_binary64_4844` `/-rgt-identity_binary64_4843` `-rgt-identity_binary64_4842` `-lft-identity_binary64_4841` `remove-double-neg_binary64_4840` `sub0-neg_binary64_4839` `--rgt-identity_binary64_4838` `+-rgt-identity_binary64_4837` `+-lft-identity_binary64_4836` `mul0-rgt_binary64_4835` `mul0-lft_binary64_4834` `div0_binary64_4833` `-inverses_binary64_4832` `+-inverses_binary64_4831` `lft-mult-inverse_binary64_4830` `rgt-mult-inverse_binary64_4829` `remove-double-div_binary64_4828` `pow-sqr_binary64_4825` `sqr-pow_binary64_4824` `difference-of-sqr--1_binary64_4823` `difference-of-sqr-1_binary64_4822` `difference-of-squares_binary64_4821` `unswap-sqr_binary64_4820` `swap-sqr_binary64_4819` `cancel-sign-sub-inv_binary64_4818` `cancel-sign-sub_binary64_4817` `distribute-neg-frac_binary64_4816` `distribute-frac-neg_binary64_4815` `distribute-neg-out_binary64_4814` `distribute-neg-in_binary64_4813` `distribute-rgt-neg-out_binary64_4812` `distribute-lft-neg-out_binary64_4811` `distribute-rgt-neg-in_binary64_4810` `distribute-lft-neg-in_binary64_4809` `distribute-rgt1-in_binary64_4808` `distribute-lft1-in_binary64_4807` `distribute-rgt-out--_binary64_4806` `distribute-lft-out--_binary64_4804` `distribute-lft-out_binary64_4803` `associate-/l/_binary64_4799` `associate-/r/_binary64_4798` `associate-/l_binary64_4797` `associate-/r_binary64_4796` `associate-l/_binary64_4795` `associate-*r/_binary64_4794` `associate--r-_binary64_4791` `associate--l-_binary64_4790` `associate--l+_binary64_4789` `associate--r+_binary64_4788` `associate-+l-_binary64_4787` `associate-+r-_binary64_4786`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	154
1	143	133
2	431	133
3	1030	133
4	1290	133
5	1314	133
6	1314	133
7	1314	133
8	2042	133
9	2082	133
10	2106	133
11	2106	133
12	2082	133
13	2082	133
14	2184	133
15	2088	133
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
18.7%	81.1%	0.2%	10
26.5%	71.5%	1.9%	11
28.8%	66%	5.2%	12
32.7%	58.7%	8.5%	13
41.9%	48.4%	9.7%	14

Compiler

Compiled 16 to 13 computations (18.8% saved)

sample30.0ms (0.2%)

Algorithm

1×

intervals

Results

9.0ms	246×	body	128	valid
2.0ms	47×	body	128	invalid
1.0ms	5×	body	1024	valid
0.0ms	3×	body	512	valid
0.0ms	2×	body	256	valid

Compiler

Compiled 31 to 29 computations (6.5% saved)

simplify16.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

317×	`associate-+l+_binary64_4785`
210×	`associate-+r+_binary64_4784`
79×	`distribute-rgt-in_binary64_4802`
73×	`distribute-lft-in_binary64_4801`
49×	`+-commutative_binary64_4782`
25×	`*-commutative_binary64_4783`
19×	`distribute-rgt-out_binary64_4805`
6×	`count-2_binary64_4800` `associate-r_binary64_4792`
4×	`associate-l_binary64_4793`
1×	`distribute-lft-out_binary64_4803`
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_5115` `erf-erfc_binary64_5114` `erf-odd_binary64_5113` `if-if-and-not_binary64_5112` `if-if-and_binary64_5111` `if-if-or-not_binary64_5110` `if-if-or_binary64_5109` `if-not_binary64_5108` `if-same_binary64_5107` `if-false_binary64_5106` `if-true_binary64_5105` `not-gte_binary64_5104` `not-lte_binary64_5103` `not-gt_binary64_5102` `not-lt_binary64_5101` `gte-same_binary64_5100` `lte-same_binary64_5099` `gt-same_binary64_5098` `lt-same_binary64_5097` `sinh---cosh_binary64_5044` `sinh-+-cosh_binary64_5043` `sinh-cosh_binary64_5042` `tanh-def-c_binary64_5041` `tanh-def-b_binary64_5040` `tanh-def-a_binary64_5039` `cosh-def_binary64_5038` `sinh-def_binary64_5037` `tan-neg_binary64_4984` `cos-neg_binary64_4983` `sin-neg_binary64_4982` `tan-0_binary64_4981` `cos-0_binary64_4980` `sin-0_binary64_4979` `hang-m-tan_binary64_4978` `hang-p-tan_binary64_4977` `hang-m0-tan_binary64_4976` `hang-p0-tan_binary64_4975` `hang-0m-tan_binary64_4974` `hang-0p-tan_binary64_4973` `tan-+PI/2_binary64_4972` `tan-+PI_binary64_4971` `tan-PI_binary64_4970` `tan-PI/3_binary64_4969` `tan-PI/4_binary64_4968` `tan-PI/6_binary64_4967` `cos-+PI/2_binary64_4966` `cos-+PI_binary64_4965` `cos-PI_binary64_4964` `cos-PI/2_binary64_4963` `cos-PI/3_binary64_4962` `cos-PI/4_binary64_4961` `cos-PI/6_binary64_4960` `sin-+PI/2_binary64_4959` `sin-+PI_binary64_4958` `sin-PI_binary64_4957` `sin-PI/2_binary64_4956` `sin-PI/3_binary64_4955` `sin-PI/4_binary64_4954` `sin-PI/6_binary64_4953` `sub-1-sin_binary64_4952` `sub-1-cos_binary64_4951` `-1-add-sin_binary64_4950` `-1-add-cos_binary64_4949` `1-sub-sin_binary64_4948` `1-sub-cos_binary64_4947` `cos-sin-sum_binary64_4946` `log-E_binary64_4942` `log-pow_binary64_4941` `log-rec_binary64_4940` `log-div_binary64_4939` `log-prod_binary64_4938` `pow-base-0_binary64_4936` `unpow1/3_binary64_4919` `unpow3_binary64_4918` `unpow2_binary64_4917` `unpow1/2_binary64_4916` `pow-plus_binary64_4915` `exp-to-pow_binary64_4914` `pow-base-1_binary64_4912` `unpow0_binary64_4911` `unpow1_binary64_4910` `unpow-1_binary64_4909` `exp-lft-cube_binary64_4908` `exp-lft-sqr_binary64_4907` `exp-cbrt_binary64_4906` `exp-sqrt_binary64_4905` `exp-prod_binary64_4904` `div-exp_binary64_4903` `rec-exp_binary64_4902` `prod-exp_binary64_4901` `exp-diff_binary64_4900` `exp-neg_binary64_4899` `exp-sum_binary64_4898` `e-exp-1_binary64_4897` `1-exp_binary64_4896` `exp-1-e_binary64_4895` `exp-0_binary64_4894` `rem-log-exp_binary64_4893` `rem-exp-log_binary64_4892` `cube-unmult_binary64_4889` `cube-mult_binary64_4882` `cube-div_binary64_4881` `cube-prod_binary64_4880` `cube-neg_binary64_4879` `rem-3cbrt-rft_binary64_4878` `rem-3cbrt-lft_binary64_4877` `rem-cbrt-cube_binary64_4876` `rem-cube-cbrt_binary64_4875` `sqr-abs_binary64_4867` `sqr-neg_binary64_4866` `rem-sqrt-square_binary64_4865` `rem-square-sqrt_binary64_4864` `times-frac_binary64_4858` `div-sub_binary64_4857` `neg-mul-1_binary64_4848` `neg-sub0_binary64_4847` `unsub-neg_binary64_4846` `sub-neg_binary64_4845` `mul-1-neg_binary64_4844` `/-rgt-identity_binary64_4843` `-rgt-identity_binary64_4842` `-lft-identity_binary64_4841` `remove-double-neg_binary64_4840` `sub0-neg_binary64_4839` `--rgt-identity_binary64_4838` `+-rgt-identity_binary64_4837` `+-lft-identity_binary64_4836` `mul0-rgt_binary64_4835` `mul0-lft_binary64_4834` `div0_binary64_4833` `-inverses_binary64_4832` `+-inverses_binary64_4831` `lft-mult-inverse_binary64_4830` `rgt-mult-inverse_binary64_4829` `remove-double-div_binary64_4828` `pow-sqr_binary64_4825` `sqr-pow_binary64_4824` `difference-of-sqr--1_binary64_4823` `difference-of-sqr-1_binary64_4822` `difference-of-squares_binary64_4821` `unswap-sqr_binary64_4820` `swap-sqr_binary64_4819` `cancel-sign-sub-inv_binary64_4818` `cancel-sign-sub_binary64_4817` `distribute-neg-frac_binary64_4816` `distribute-frac-neg_binary64_4815` `distribute-neg-out_binary64_4814` `distribute-neg-in_binary64_4813` `distribute-rgt-neg-out_binary64_4812` `distribute-lft-neg-out_binary64_4811` `distribute-rgt-neg-in_binary64_4810` `distribute-lft-neg-in_binary64_4809` `distribute-rgt1-in_binary64_4808` `distribute-lft1-in_binary64_4807` `distribute-rgt-out--_binary64_4806` `distribute-lft-out--_binary64_4804` `associate-/l/_binary64_4799` `associate-/r/_binary64_4798` `associate-/l_binary64_4797` `associate-/r_binary64_4796` `associate-l/_binary64_4795` `associate-*r/_binary64_4794` `associate--r-_binary64_4791` `associate--l-_binary64_4790` `associate--l+_binary64_4789` `associate--r+_binary64_4788` `associate-+l-_binary64_4787` `associate-+r-_binary64_4786`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	22
1	31	19
2	81	19
3	207	19
4	378	19
5	436	19
6	440	19
7	400	19

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.1b

Counts

2 → 1

Compiler

Compiled 26 to 24 computations (7.7% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))
0.0b	(+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))

rewrite69.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-sqr-sqrt_binary64_4874`
4×	`add-log-exp_binary64_4891` `pow1_binary64_4913` `add-exp-log_binary64_4890` `add-cbrt-cube_binary64_4888` `add-cube-cbrt_binary64_4887` `*-un-lft-identity_binary64_4852`
3×	`associate-l_binary64_4793` `associate-r_binary64_4792`
2×	`flip3-+_binary64_4855` `flip-+_binary64_4826` `distribute-rgt-in_binary64_4802` `associate-+l+_binary64_4785` `distribute-lft-in_binary64_4801` `associate-*r/_binary64_4794`
1×	`sum-log_binary64_4943` `+-commutative_binary64_4782` `pow-prod-down_binary64_4923` `prod-exp_binary64_4901` `cbrt-unprod_binary64_4885` `unswap-sqr_binary64_4820` `*-commutative_binary64_4783`

Counts

2 → 35

Calls

2 calls:

10.0ms	(+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
10.0ms	(.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))

Compiler

Compiled 816 to 464 computations (43.1% saved)

series905.0ms (5.3%)

Error

0.1b

Counts

2 → 45

Calls

2 calls:

542.0ms	(+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
321.0ms	(.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))

Compiler

Compiled 1686 to 1274 computations (24.4% saved)

simplify73.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

959×	`distribute-rgt-in_binary64_4802`
945×	`distribute-lft-in_binary64_4801`
143×	`associate-+l+_binary64_4785`
130×	`associate-l_binary64_4793`
109×	`associate-r_binary64_4792`
69×	`cancel-sign-sub-inv_binary64_4818`
66×	`*-commutative_binary64_4783`
55×	`distribute-rgt-neg-in_binary64_4810`
42×	`distribute-lft-neg-in_binary64_4809`
35×	`+-commutative_binary64_4782`
29×	`sqr-pow_binary64_4824` `associate--r+_binary64_4788`
26×	`exp-prod_binary64_4904`
25×	`associate--l+_binary64_4789`
23×	`exp-sum_binary64_4898`
21×	`sub-neg_binary64_4845`
20×	`*-lft-identity_binary64_4841`
17×	`*-rgt-identity_binary64_4842`
16×	`neg-mul-1_binary64_4848` `neg-sub0_binary64_4847` `distribute-neg-in_binary64_4813` `distribute-rgt-out_binary64_4805` `associate-+r+_binary64_4784`
13×	`distribute-lft-out_binary64_4803`
12×	`cube-prod_binary64_4880`
10×	`distribute-lft-neg-out_binary64_4811`
9×	`log-prod_binary64_4938` `associate-+r-_binary64_4786`
8×	`unpow3_binary64_4918` `unswap-sqr_binary64_4820` `swap-sqr_binary64_4819` `distribute-rgt-out--_binary64_4806`
7×	`exp-lft-sqr_binary64_4907`
6×	`cube-mult_binary64_4882` `associate-+l-_binary64_4787`
5×	`distribute-lft-out--_binary64_4804`
2×	`unsub-neg_binary64_4846` `difference-of-squares_binary64_4821` `distribute-rgt-neg-out_binary64_4812`
1×	`unpow1/2_binary64_4916` `prod-exp_binary64_4901` `1-exp_binary64_4896` `exp-1-e_binary64_4895` `cube-unmult_binary64_4889` `pow-sqr_binary64_4825`
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_5115` `erf-erfc_binary64_5114` `erf-odd_binary64_5113` `if-if-and-not_binary64_5112` `if-if-and_binary64_5111` `if-if-or-not_binary64_5110` `if-if-or_binary64_5109` `if-not_binary64_5108` `if-same_binary64_5107` `if-false_binary64_5106` `if-true_binary64_5105` `not-gte_binary64_5104` `not-lte_binary64_5103` `not-gt_binary64_5102` `not-lt_binary64_5101` `gte-same_binary64_5100` `lte-same_binary64_5099` `gt-same_binary64_5098` `lt-same_binary64_5097` `sinh---cosh_binary64_5044` `sinh-+-cosh_binary64_5043` `sinh-cosh_binary64_5042` `tanh-def-c_binary64_5041` `tanh-def-b_binary64_5040` `tanh-def-a_binary64_5039` `cosh-def_binary64_5038` `sinh-def_binary64_5037` `tan-neg_binary64_4984` `cos-neg_binary64_4983` `sin-neg_binary64_4982` `tan-0_binary64_4981` `cos-0_binary64_4980` `sin-0_binary64_4979` `hang-m-tan_binary64_4978` `hang-p-tan_binary64_4977` `hang-m0-tan_binary64_4976` `hang-p0-tan_binary64_4975` `hang-0m-tan_binary64_4974` `hang-0p-tan_binary64_4973` `tan-+PI/2_binary64_4972` `tan-+PI_binary64_4971` `tan-PI_binary64_4970` `tan-PI/3_binary64_4969` `tan-PI/4_binary64_4968` `tan-PI/6_binary64_4967` `cos-+PI/2_binary64_4966` `cos-+PI_binary64_4965` `cos-PI_binary64_4964` `cos-PI/2_binary64_4963` `cos-PI/3_binary64_4962` `cos-PI/4_binary64_4961` `cos-PI/6_binary64_4960` `sin-+PI/2_binary64_4959` `sin-+PI_binary64_4958` `sin-PI_binary64_4957` `sin-PI/2_binary64_4956` `sin-PI/3_binary64_4955` `sin-PI/4_binary64_4954` `sin-PI/6_binary64_4953` `sub-1-sin_binary64_4952` `sub-1-cos_binary64_4951` `-1-add-sin_binary64_4950` `-1-add-cos_binary64_4949` `1-sub-sin_binary64_4948` `1-sub-cos_binary64_4947` `cos-sin-sum_binary64_4946` `log-E_binary64_4942` `log-pow_binary64_4941` `log-rec_binary64_4940` `log-div_binary64_4939` `pow-base-0_binary64_4936` `unpow1/3_binary64_4919` `unpow2_binary64_4917` `pow-plus_binary64_4915` `exp-to-pow_binary64_4914` `pow-base-1_binary64_4912` `unpow0_binary64_4911` `unpow1_binary64_4910` `unpow-1_binary64_4909` `exp-lft-cube_binary64_4908` `exp-cbrt_binary64_4906` `exp-sqrt_binary64_4905` `div-exp_binary64_4903` `rec-exp_binary64_4902` `exp-diff_binary64_4900` `exp-neg_binary64_4899` `e-exp-1_binary64_4897` `exp-0_binary64_4894` `rem-log-exp_binary64_4893` `rem-exp-log_binary64_4892` `cube-div_binary64_4881` `cube-neg_binary64_4879` `rem-3cbrt-rft_binary64_4878` `rem-3cbrt-lft_binary64_4877` `rem-cbrt-cube_binary64_4876` `rem-cube-cbrt_binary64_4875` `sqr-abs_binary64_4867` `sqr-neg_binary64_4866` `rem-sqrt-square_binary64_4865` `rem-square-sqrt_binary64_4864` `times-frac_binary64_4858` `div-sub_binary64_4857` `mul-1-neg_binary64_4844` `/-rgt-identity_binary64_4843` `remove-double-neg_binary64_4840` `sub0-neg_binary64_4839` `--rgt-identity_binary64_4838` `+-rgt-identity_binary64_4837` `+-lft-identity_binary64_4836` `mul0-rgt_binary64_4835` `mul0-lft_binary64_4834` `div0_binary64_4833` `-inverses_binary64_4832` `+-inverses_binary64_4831` `lft-mult-inverse_binary64_4830` `rgt-mult-inverse_binary64_4829` `remove-double-div_binary64_4828` `difference-of-sqr--1_binary64_4823` `difference-of-sqr-1_binary64_4822` `cancel-sign-sub_binary64_4817` `distribute-neg-frac_binary64_4816` `distribute-frac-neg_binary64_4815` `distribute-neg-out_binary64_4814` `distribute-rgt1-in_binary64_4808` `distribute-lft1-in_binary64_4807` `count-2_binary64_4800` `associate-/l/_binary64_4799` `associate-/r/_binary64_4798` `associate-/l_binary64_4797` `associate-/r_binary64_4796` `associate-l/_binary64_4795` `associate-*r/_binary64_4794` `associate--r-_binary64_4791` `associate--l-_binary64_4790`

Counts

80 → 69

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	99	1432
1	302	1270
2	1022	1258
3	4991	1258
4	4978	1258

prune76.0ms (0.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	65	4	69
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	65	5	70

Error

0.0b

Counts

70 → 5

Compiler

Compiled 1235 to 705 computations (42.9% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (+.f64 (.f64 5 y) (.f64 x (+.f64 t (.f64 2 (+.f64 y z)))))) (cbrt.f64 (+.f64 (.f64 5 y) (.f64 x (+.f64 t (*.f64 2 (+.f64 y z)))))))
0.5b	(cbrt.f64 (+.f64 (.f64 5 y) (.f64 x (+.f64 t (*.f64 2 (+.f64 y z))))))
0.5b	(cbrt.f64 (+.f64 (.f64 5 y) (.f64 x (+.f64 t (*.f64 2 (+.f64 y z))))))
0.5b	(cbrt.f64 (+.f64 (.f64 5 y) (.f64 x (+.f64 t (*.f64 2 (+.f64 y z))))))

rewrite322.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64_4883`
23×	`add-sqr-sqrt_binary64_4874`
18×	`cbrt-div_binary64_4884`
15×	`add-cube-cbrt_binary64_4887` `*-un-lft-identity_binary64_4852`
11×	`pow1_binary64_4913`
9×	`pow1/3_binary64_4934` `flip3-+_binary64_4855` `flip-+_binary64_4826`
6×	`add-exp-log_binary64_4890` `swap-sqr_binary64_4819` `associate-l_binary64_4793` `associate-r_binary64_4792`
4×	`add-log-exp_binary64_4891` `add-cbrt-cube_binary64_4888` `frac-times_binary64_4862` `unswap-sqr_binary64_4820`
2×	`pow-prod-down_binary64_4923` `pow-prod-up_binary64_4922` `pow-sqr_binary64_4825` `associate-l/_binary64_4795` `associate-r/_binary64_4794`
1×	`pow2_binary64_4933` `pow-plus_binary64_4915` `prod-exp_binary64_4901` `cbrt-unprod_binary64_4885` `*-commutative_binary64_4783`

Counts

4 → 87

Calls

4 calls:

12.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 5 y) (.f64 x (+.f64 t (.f64 2 (+.f64 y z)))))) (cbrt.f64 (+.f64 (.f64 5 y) (.f64 x (+.f64 t (*.f64 2 (+.f64 y z)))))))
4.0ms	(cbrt.f64 (+.f64 (.f64 5 y) (.f64 x (+.f64 t (*.f64 2 (+.f64 y z))))))
4.0ms	(cbrt.f64 (+.f64 (.f64 5 y) (.f64 x (+.f64 t (*.f64 2 (+.f64 y z))))))
4.0ms	(cbrt.f64 (+.f64 (.f64 5 y) (.f64 x (+.f64 t (*.f64 2 (+.f64 y z))))))

Compiler

Compiled 5588 to 3397 computations (39.2% saved)

series8.3s (48.8%)

Error

0.0b

Counts

4 → 98

Calls

4 calls:

4.7s	(.f64 (cbrt.f64 (+.f64 (.f64 5 y) (.f64 x (+.f64 t (.f64 2 (+.f64 y z)))))) (cbrt.f64 (+.f64 (.f64 5 y) (.f64 x (+.f64 t (*.f64 2 (+.f64 y z)))))))
1.0s	(cbrt.f64 (+.f64 (.f64 5 y) (.f64 x (+.f64 t (*.f64 2 (+.f64 y z))))))
1.0s	(cbrt.f64 (+.f64 (.f64 5 y) (.f64 x (+.f64 t (*.f64 2 (+.f64 y z))))))
1.0s	(cbrt.f64 (+.f64 (.f64 5 y) (.f64 x (+.f64 t (*.f64 2 (+.f64 y z))))))

Compiler

Compiled 27751 to 21124 computations (23.9% saved)

simplify177.0ms (1%)

Algorithm

1×	egg-herbie

Rules

539×	`times-frac_binary64_4858`
449×	`associate-/l*_binary64_4797`
306×	`associate-/r*_binary64_4796`
239×	`*-commutative_binary64_4783`
210×	`associate-*l/_binary64_4795`
203×	`associate-*r/_binary64_4794`
100×	`+-commutative_binary64_4782`
81×	`sqr-pow_binary64_4824`
78×	`associate-r_binary64_4792`
76×	`distribute-rgt-in_binary64_4802`
68×	`distribute-lft-in_binary64_4801`
62×	`associate-/r/_binary64_4798` `associate-+r+_binary64_4784`
41×	`sub-neg_binary64_4845`
37×	`cancel-sign-sub-inv_binary64_4818`
36×	`exp-prod_binary64_4904`
32×	`neg-mul-1_binary64_4848` `neg-sub0_binary64_4847` `distribute-rgt-neg-in_binary64_4810`
29×	`distribute-lft-neg-in_binary64_4809`
20×	`log-prod_binary64_4938`
17×	`unpow1/3_binary64_4919`
15×	`distribute-neg-in_binary64_4813`
14×	`unswap-sqr_binary64_4820`
13×	`associate-l_binary64_4793`
10×	`distribute-rgt-out_binary64_4805` `distribute-lft-out_binary64_4803`
9×	`unpow2_binary64_4917` `unpow1_binary64_4910`
8×	`log-div_binary64_4939` `distribute-rgt-neg-out_binary64_4812`
7×	`distribute-lft-neg-out_binary64_4811` `associate-/l/_binary64_4799`
6×	`distribute-lft-out--_binary64_4804`
5×	`unpow3_binary64_4918` `cube-mult_binary64_4882` `swap-sqr_binary64_4819`
4×	`log-rec_binary64_4940` `cube-unmult_binary64_4889` `cube-prod_binary64_4880` `remove-double-neg_binary64_4840`
3×	`log-pow_binary64_4941`
2×	`rem-3cbrt-lft_binary64_4877` `rem-sqrt-square_binary64_4865` `distribute-rgt-out--_binary64_4806` `associate--l+_binary64_4789` `associate--r+_binary64_4788`
1×	`1-exp_binary64_4896` `rem-3cbrt-rft_binary64_4878` `rem-square-sqrt_binary64_4864` `unsub-neg_binary64_4846` `*-rgt-identity_binary64_4842` `difference-of-squares_binary64_4821` `distribute-rgt1-in_binary64_4808` `count-2_binary64_4800` `associate-+r-_binary64_4786`
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_5115` `erf-erfc_binary64_5114` `erf-odd_binary64_5113` `if-if-and-not_binary64_5112` `if-if-and_binary64_5111` `if-if-or-not_binary64_5110` `if-if-or_binary64_5109` `if-not_binary64_5108` `if-same_binary64_5107` `if-false_binary64_5106` `if-true_binary64_5105` `not-gte_binary64_5104` `not-lte_binary64_5103` `not-gt_binary64_5102` `not-lt_binary64_5101` `gte-same_binary64_5100` `lte-same_binary64_5099` `gt-same_binary64_5098` `lt-same_binary64_5097` `sinh---cosh_binary64_5044` `sinh-+-cosh_binary64_5043` `sinh-cosh_binary64_5042` `tanh-def-c_binary64_5041` `tanh-def-b_binary64_5040` `tanh-def-a_binary64_5039` `cosh-def_binary64_5038` `sinh-def_binary64_5037` `tan-neg_binary64_4984` `cos-neg_binary64_4983` `sin-neg_binary64_4982` `tan-0_binary64_4981` `cos-0_binary64_4980` `sin-0_binary64_4979` `hang-m-tan_binary64_4978` `hang-p-tan_binary64_4977` `hang-m0-tan_binary64_4976` `hang-p0-tan_binary64_4975` `hang-0m-tan_binary64_4974` `hang-0p-tan_binary64_4973` `tan-+PI/2_binary64_4972` `tan-+PI_binary64_4971` `tan-PI_binary64_4970` `tan-PI/3_binary64_4969` `tan-PI/4_binary64_4968` `tan-PI/6_binary64_4967` `cos-+PI/2_binary64_4966` `cos-+PI_binary64_4965` `cos-PI_binary64_4964` `cos-PI/2_binary64_4963` `cos-PI/3_binary64_4962` `cos-PI/4_binary64_4961` `cos-PI/6_binary64_4960` `sin-+PI/2_binary64_4959` `sin-+PI_binary64_4958` `sin-PI_binary64_4957` `sin-PI/2_binary64_4956` `sin-PI/3_binary64_4955` `sin-PI/4_binary64_4954` `sin-PI/6_binary64_4953` `sub-1-sin_binary64_4952` `sub-1-cos_binary64_4951` `-1-add-sin_binary64_4950` `-1-add-cos_binary64_4949` `1-sub-sin_binary64_4948` `1-sub-cos_binary64_4947` `cos-sin-sum_binary64_4946` `log-E_binary64_4942` `pow-base-0_binary64_4936` `unpow1/2_binary64_4916` `pow-plus_binary64_4915` `exp-to-pow_binary64_4914` `pow-base-1_binary64_4912` `unpow0_binary64_4911` `unpow-1_binary64_4909` `exp-lft-cube_binary64_4908` `exp-lft-sqr_binary64_4907` `exp-cbrt_binary64_4906` `exp-sqrt_binary64_4905` `div-exp_binary64_4903` `rec-exp_binary64_4902` `prod-exp_binary64_4901` `exp-diff_binary64_4900` `exp-neg_binary64_4899` `exp-sum_binary64_4898` `e-exp-1_binary64_4897` `exp-1-e_binary64_4895` `exp-0_binary64_4894` `rem-log-exp_binary64_4893` `rem-exp-log_binary64_4892` `cube-div_binary64_4881` `cube-neg_binary64_4879` `rem-cbrt-cube_binary64_4876` `rem-cube-cbrt_binary64_4875` `sqr-abs_binary64_4867` `sqr-neg_binary64_4866` `div-sub_binary64_4857` `mul-1-neg_binary64_4844` `/-rgt-identity_binary64_4843` `-lft-identity_binary64_4841` `sub0-neg_binary64_4839` `--rgt-identity_binary64_4838` `+-rgt-identity_binary64_4837` `+-lft-identity_binary64_4836` `mul0-rgt_binary64_4835` `mul0-lft_binary64_4834` `div0_binary64_4833` `-inverses_binary64_4832` `+-inverses_binary64_4831` `lft-mult-inverse_binary64_4830` `rgt-mult-inverse_binary64_4829` `remove-double-div_binary64_4828` `pow-sqr_binary64_4825` `difference-of-sqr--1_binary64_4823` `difference-of-sqr-1_binary64_4822` `cancel-sign-sub_binary64_4817` `distribute-neg-frac_binary64_4816` `distribute-frac-neg_binary64_4815` `distribute-neg-out_binary64_4814` `distribute-lft1-in_binary64_4807` `associate--r-_binary64_4791` `associate--l-_binary64_4790` `associate-+l-_binary64_4787` `associate-+l+_binary64_4785`

Counts

185 → 169

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	599	11451
1	1848	10691
2	5022	10691

prune695.0ms (4.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	166	3	169
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	166	8	174

Error

0.0b

Counts

174 → 8

Compiler

Compiled 11670 to 7306 computations (37.4% saved)

localize8.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 y (+.f64 5 (.f64 2 x)))
0.0b	(+.f64 (.f64 x t) (.f64 y (+.f64 5 (*.f64 2 x))))

rewrite56.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-sqr-sqrt_binary64_4874`
4×	`add-log-exp_binary64_4891` `pow1_binary64_4913` `add-exp-log_binary64_4890` `add-cbrt-cube_binary64_4888` `add-cube-cbrt_binary64_4887` `*-un-lft-identity_binary64_4852`
3×	`associate-l_binary64_4793` `associate-r_binary64_4792`
2×	`flip3-+_binary64_4855` `flip-+_binary64_4826` `distribute-rgt-in_binary64_4802` `associate-+r+_binary64_4784` `distribute-lft-in_binary64_4801` `associate-*r/_binary64_4794`
1×	`sum-log_binary64_4943` `+-commutative_binary64_4782` `pow-prod-down_binary64_4923` `prod-exp_binary64_4901` `cbrt-unprod_binary64_4885` `unswap-sqr_binary64_4820` `*-commutative_binary64_4783`

Counts

2 → 35

Calls

2 calls:

6.0ms	(.f64 y (+.f64 5 (.f64 2 x)))
4.0ms	(+.f64 (.f64 x t) (.f64 y (+.f64 5 (*.f64 2 x))))

Compiler

Compiled 694 to 437 computations (37% saved)

series399.0ms (2.3%)

Error

0.0b

Counts

2 → 27

Calls

2 calls:

269.0ms	(+.f64 (.f64 x t) (.f64 y (+.f64 5 (*.f64 2 x))))
113.0ms	(.f64 y (+.f64 5 (.f64 2 x)))

Compiler

Compiled 715 to 576 computations (19.4% saved)

simplify98.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

620×	`sub-neg_binary64_4845`
470×	`distribute-rgt-in_binary64_4802`
458×	`distribute-lft-in_binary64_4801`
256×	`*-commutative_binary64_4783`
249×	`cancel-sign-sub-inv_binary64_4818` `+-commutative_binary64_4782`
248×	`associate--r+_binary64_4788`
213×	`associate--l+_binary64_4789`
212×	`neg-mul-1_binary64_4848`
188×	`unsub-neg_binary64_4846`
154×	`distribute-rgt-neg-in_binary64_4810`
153×	`distribute-neg-in_binary64_4813`
141×	`neg-sub0_binary64_4847`
126×	`distribute-lft-neg-in_binary64_4809`
117×	`associate-+l+_binary64_4785`
103×	`associate-l_binary64_4793`
101×	`associate-+r+_binary64_4784`
95×	`associate-r_binary64_4792`
77×	`distribute-rgt-out_binary64_4805`
74×	`associate-+l-_binary64_4787`
60×	`associate-+r-_binary64_4786`
55×	`sqr-pow_binary64_4824`
52×	`distribute-lft-neg-out_binary64_4811`
47×	`exp-prod_binary64_4904`
35×	`distribute-rgt-neg-out_binary64_4812`
30×	`distribute-rgt-out--_binary64_4806`
26×	`-rgt-identity_binary64_4842` `-lft-identity_binary64_4841` `unswap-sqr_binary64_4820` `swap-sqr_binary64_4819`
22×	`prod-exp_binary64_4901`
19×	`rem-sqrt-square_binary64_4865`
18×	`exp-sum_binary64_4898`
17×	`cube-prod_binary64_4880`
10×	`log-prod_binary64_4938` `distribute-lft-out_binary64_4803`
7×	`unpow3_binary64_4918` `pow-sqr_binary64_4825`
5×	`cube-mult_binary64_4882` `+-rgt-identity_binary64_4837` `associate--r-_binary64_4791`
4×	`unpow1/2_binary64_4916` `sub0-neg_binary64_4839` `distribute-lft-out--_binary64_4804`
3×	`exp-lft-sqr_binary64_4907` `associate-/l*_binary64_4797`
2×	`div-sub_binary64_4857` `difference-of-squares_binary64_4821` `associate-/l/_binary64_4799` `associate-*r/_binary64_4794`
1×	`exp-diff_binary64_4900` `1-exp_binary64_4896` `exp-1-e_binary64_4895` `cube-unmult_binary64_4889` `count-2_binary64_4800`
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_5115` `erf-erfc_binary64_5114` `erf-odd_binary64_5113` `if-if-and-not_binary64_5112` `if-if-and_binary64_5111` `if-if-or-not_binary64_5110` `if-if-or_binary64_5109` `if-not_binary64_5108` `if-same_binary64_5107` `if-false_binary64_5106` `if-true_binary64_5105` `not-gte_binary64_5104` `not-lte_binary64_5103` `not-gt_binary64_5102` `not-lt_binary64_5101` `gte-same_binary64_5100` `lte-same_binary64_5099` `gt-same_binary64_5098` `lt-same_binary64_5097` `sinh---cosh_binary64_5044` `sinh-+-cosh_binary64_5043` `sinh-cosh_binary64_5042` `tanh-def-c_binary64_5041` `tanh-def-b_binary64_5040` `tanh-def-a_binary64_5039` `cosh-def_binary64_5038` `sinh-def_binary64_5037` `tan-neg_binary64_4984` `cos-neg_binary64_4983` `sin-neg_binary64_4982` `tan-0_binary64_4981` `cos-0_binary64_4980` `sin-0_binary64_4979` `hang-m-tan_binary64_4978` `hang-p-tan_binary64_4977` `hang-m0-tan_binary64_4976` `hang-p0-tan_binary64_4975` `hang-0m-tan_binary64_4974` `hang-0p-tan_binary64_4973` `tan-+PI/2_binary64_4972` `tan-+PI_binary64_4971` `tan-PI_binary64_4970` `tan-PI/3_binary64_4969` `tan-PI/4_binary64_4968` `tan-PI/6_binary64_4967` `cos-+PI/2_binary64_4966` `cos-+PI_binary64_4965` `cos-PI_binary64_4964` `cos-PI/2_binary64_4963` `cos-PI/3_binary64_4962` `cos-PI/4_binary64_4961` `cos-PI/6_binary64_4960` `sin-+PI/2_binary64_4959` `sin-+PI_binary64_4958` `sin-PI_binary64_4957` `sin-PI/2_binary64_4956` `sin-PI/3_binary64_4955` `sin-PI/4_binary64_4954` `sin-PI/6_binary64_4953` `sub-1-sin_binary64_4952` `sub-1-cos_binary64_4951` `-1-add-sin_binary64_4950` `-1-add-cos_binary64_4949` `1-sub-sin_binary64_4948` `1-sub-cos_binary64_4947` `cos-sin-sum_binary64_4946` `log-E_binary64_4942` `log-pow_binary64_4941` `log-rec_binary64_4940` `log-div_binary64_4939` `pow-base-0_binary64_4936` `unpow1/3_binary64_4919` `unpow2_binary64_4917` `pow-plus_binary64_4915` `exp-to-pow_binary64_4914` `pow-base-1_binary64_4912` `unpow0_binary64_4911` `unpow1_binary64_4910` `unpow-1_binary64_4909` `exp-lft-cube_binary64_4908` `exp-cbrt_binary64_4906` `exp-sqrt_binary64_4905` `div-exp_binary64_4903` `rec-exp_binary64_4902` `exp-neg_binary64_4899` `e-exp-1_binary64_4897` `exp-0_binary64_4894` `rem-log-exp_binary64_4893` `rem-exp-log_binary64_4892` `cube-div_binary64_4881` `cube-neg_binary64_4879` `rem-3cbrt-rft_binary64_4878` `rem-3cbrt-lft_binary64_4877` `rem-cbrt-cube_binary64_4876` `rem-cube-cbrt_binary64_4875` `sqr-abs_binary64_4867` `sqr-neg_binary64_4866` `rem-square-sqrt_binary64_4864` `times-frac_binary64_4858` `mul-1-neg_binary64_4844` `/-rgt-identity_binary64_4843` `remove-double-neg_binary64_4840` `--rgt-identity_binary64_4838` `+-lft-identity_binary64_4836` `mul0-rgt_binary64_4835` `mul0-lft_binary64_4834` `div0_binary64_4833` `-inverses_binary64_4832` `+-inverses_binary64_4831` `lft-mult-inverse_binary64_4830` `rgt-mult-inverse_binary64_4829` `remove-double-div_binary64_4828` `difference-of-sqr--1_binary64_4823` `difference-of-sqr-1_binary64_4822` `cancel-sign-sub_binary64_4817` `distribute-neg-frac_binary64_4816` `distribute-frac-neg_binary64_4815` `distribute-neg-out_binary64_4814` `distribute-rgt1-in_binary64_4808` `distribute-lft1-in_binary64_4807` `associate-/r/_binary64_4798` `associate-/r_binary64_4796` `associate-*l/_binary64_4795` `associate--l-_binary64_4790`

Counts

62 → 46

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	84	925
1	241	865
2	854	865
3	2627	865
4	4119	865
5	4933	865
6	4956	865

prune48.0ms (0.3%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	44	2	46
Fresh	3	2	5
Picked	0	1	1
Done	0	2	2
Total	47	7	54

Error

0.0b

Counts

54 → 7

Compiler

Compiled 740 to 466 computations (37% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 25 (.f64 x (.f64 x 4)))
0.0b	(+.f64 (.f64 x t) (/.f64 (.f64 y (-.f64 25 (.f64 x (.f64 x 4)))) (-.f64 5 (*.f64 2 x))))
2.9b	(.f64 y (-.f64 25 (.f64 x (*.f64 x 4))))
5.0b	(/.f64 (.f64 y (-.f64 25 (.f64 x (.f64 x 4)))) (-.f64 5 (.f64 2 x)))

rewrite151.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

11×	`add-exp-log_binary64_4890` `add-cbrt-cube_binary64_4888`
10×	`add-sqr-sqrt_binary64_4874`
8×	`add-log-exp_binary64_4891` `add-cube-cbrt_binary64_4887` `*-un-lft-identity_binary64_4852`
6×	`pow1_binary64_4913`
4×	`flip3--_binary64_4856` `associate-*r/_binary64_4794` `flip--_binary64_4827`
3×	`times-frac_binary64_4858` `associate-/r_binary64_4796` `sub-neg_binary64_4845` `cancel-sign-sub-inv_binary64_4818` `associate-l_binary64_4793` `associate-r*_binary64_4792`
2×	`prod-exp_binary64_4901` `div-exp_binary64_4903` `cbrt-undiv_binary64_4886` `cbrt-unprod_binary64_4885` `associate-/l/_binary64_4799` `associate-/r/_binary64_4798` `distribute-rgt-in_binary64_4802` `distribute-lft-in_binary64_4801`
1×	`frac-2neg_binary64_4863` `clear-num_binary64_4851` `div-inv_binary64_4849` `associate-/l_binary64_4797` `pow-prod-down_binary64_4923` `unswap-sqr_binary64_4820` `-commutative_binary64_4783` `sum-log_binary64_4943` `flip3-+_binary64_4855` `flip-+_binary64_4826` `+-commutative_binary64_4782` `diff-log_binary64_4944`

Counts

4 → 72

Calls

4 calls:

9.0ms	(/.f64 (.f64 y (-.f64 25 (.f64 x (.f64 x 4)))) (-.f64 5 (.f64 2 x)))
8.0ms	(+.f64 (.f64 x t) (/.f64 (.f64 y (-.f64 25 (.f64 x (.f64 x 4)))) (-.f64 5 (*.f64 2 x))))
6.0ms	(.f64 y (-.f64 25 (.f64 x (*.f64 x 4))))
3.0ms	(-.f64 25 (.f64 x (.f64 x 4)))

Compiler

Compiled 2197 to 1493 computations (32% saved)

series1.4s (8%)

Error

0.0b

Counts

4 → 42

Calls

4 calls:

802.0ms	(+.f64 (.f64 x t) (/.f64 (.f64 y (-.f64 25 (.f64 x (.f64 x 4)))) (-.f64 5 (*.f64 2 x))))
291.0ms	(/.f64 (.f64 y (-.f64 25 (.f64 x (.f64 x 4)))) (-.f64 5 (.f64 2 x)))
166.0ms	(.f64 y (-.f64 25 (.f64 x (*.f64 x 4))))
65.0ms	(-.f64 25 (.f64 x (.f64 x 4)))

Compiler

Compiled 1854 to 1546 computations (16.6% saved)

simplify104.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

649×	`times-frac_binary64_4858`
474×	`distribute-rgt-in_binary64_4802`
236×	`exp-prod_binary64_4904`
208×	`cancel-sign-sub-inv_binary64_4818`
197×	`distribute-rgt-neg-in_binary64_4810`
174×	`associate-l_binary64_4793`
166×	`distribute-lft-neg-in_binary64_4809`
153×	`associate-r_binary64_4792`
104×	`associate-/l*_binary64_4797`
98×	`cube-prod_binary64_4880`
86×	`*-commutative_binary64_4783`
85×	`distribute-neg-frac_binary64_4816`
68×	`div-sub_binary64_4857`
54×	`sub-neg_binary64_4845`
53×	`associate-*l/_binary64_4795`
52×	`associate-*r/_binary64_4794`
48×	`sqr-pow_binary64_4824`
47×	`log-prod_binary64_4938` `neg-sub0_binary64_4847` `distribute-lft-neg-out_binary64_4811`
44×	`neg-mul-1_binary64_4848`
42×	`exp-sum_binary64_4898` `distribute-lft-in_binary64_4801`
40×	`log-div_binary64_4939`
39×	`cube-div_binary64_4881`
34×	`distribute-rgt-out_binary64_4805` `+-commutative_binary64_4782`
33×	`swap-sqr_binary64_4819`
26×	`*-rgt-identity_binary64_4842`
24×	`distribute-rgt-neg-out_binary64_4812` `associate-/l/_binary64_4799`
23×	`unpow3_binary64_4918` `unswap-sqr_binary64_4820`
21×	`exp-diff_binary64_4900` `associate-/r*_binary64_4796`
19×	`cube-mult_binary64_4882`
18×	`distribute-neg-in_binary64_4813` `associate-/r/_binary64_4798`
17×	`*-lft-identity_binary64_4841`
14×	`distribute-lft-out_binary64_4803`
12×	`exp-lft-sqr_binary64_4907`
11×	`/-rgt-identity_binary64_4843`
8×	`distribute-rgt-out--_binary64_4806`
7×	`associate-+l+_binary64_4785`
6×	`log-rec_binary64_4940` `unsub-neg_binary64_4846`
5×	`prod-exp_binary64_4901` `cube-unmult_binary64_4889` `pow-sqr_binary64_4825`
4×	`associate--l+_binary64_4789` `associate-+r+_binary64_4784`
3×	`pow-plus_binary64_4915` `mul-1-neg_binary64_4844`
2×	`unpow2_binary64_4917` `unpow1/2_binary64_4916` `exp-neg_binary64_4899` `remove-double-neg_binary64_4840` `distribute-lft-out--_binary64_4804`
1×	`unpow1_binary64_4910` `div-exp_binary64_4903` `1-exp_binary64_4896` `exp-1-e_binary64_4895` `*-inverses_binary64_4832` `rgt-mult-inverse_binary64_4829` `difference-of-squares_binary64_4821` `associate--r-_binary64_4791` `associate--r+_binary64_4788` `associate-+l-_binary64_4787` `associate-+r-_binary64_4786`
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_5115` `erf-erfc_binary64_5114` `erf-odd_binary64_5113` `if-if-and-not_binary64_5112` `if-if-and_binary64_5111` `if-if-or-not_binary64_5110` `if-if-or_binary64_5109` `if-not_binary64_5108` `if-same_binary64_5107` `if-false_binary64_5106` `if-true_binary64_5105` `not-gte_binary64_5104` `not-lte_binary64_5103` `not-gt_binary64_5102` `not-lt_binary64_5101` `gte-same_binary64_5100` `lte-same_binary64_5099` `gt-same_binary64_5098` `lt-same_binary64_5097` `sinh---cosh_binary64_5044` `sinh-+-cosh_binary64_5043` `sinh-cosh_binary64_5042` `tanh-def-c_binary64_5041` `tanh-def-b_binary64_5040` `tanh-def-a_binary64_5039` `cosh-def_binary64_5038` `sinh-def_binary64_5037` `tan-neg_binary64_4984` `cos-neg_binary64_4983` `sin-neg_binary64_4982` `tan-0_binary64_4981` `cos-0_binary64_4980` `sin-0_binary64_4979` `hang-m-tan_binary64_4978` `hang-p-tan_binary64_4977` `hang-m0-tan_binary64_4976` `hang-p0-tan_binary64_4975` `hang-0m-tan_binary64_4974` `hang-0p-tan_binary64_4973` `tan-+PI/2_binary64_4972` `tan-+PI_binary64_4971` `tan-PI_binary64_4970` `tan-PI/3_binary64_4969` `tan-PI/4_binary64_4968` `tan-PI/6_binary64_4967` `cos-+PI/2_binary64_4966` `cos-+PI_binary64_4965` `cos-PI_binary64_4964` `cos-PI/2_binary64_4963` `cos-PI/3_binary64_4962` `cos-PI/4_binary64_4961` `cos-PI/6_binary64_4960` `sin-+PI/2_binary64_4959` `sin-+PI_binary64_4958` `sin-PI_binary64_4957` `sin-PI/2_binary64_4956` `sin-PI/3_binary64_4955` `sin-PI/4_binary64_4954` `sin-PI/6_binary64_4953` `sub-1-sin_binary64_4952` `sub-1-cos_binary64_4951` `-1-add-sin_binary64_4950` `-1-add-cos_binary64_4949` `1-sub-sin_binary64_4948` `1-sub-cos_binary64_4947` `cos-sin-sum_binary64_4946` `log-E_binary64_4942` `log-pow_binary64_4941` `pow-base-0_binary64_4936` `unpow1/3_binary64_4919` `exp-to-pow_binary64_4914` `pow-base-1_binary64_4912` `unpow0_binary64_4911` `unpow-1_binary64_4909` `exp-lft-cube_binary64_4908` `exp-cbrt_binary64_4906` `exp-sqrt_binary64_4905` `rec-exp_binary64_4902` `e-exp-1_binary64_4897` `exp-0_binary64_4894` `rem-log-exp_binary64_4893` `rem-exp-log_binary64_4892` `cube-neg_binary64_4879` `rem-3cbrt-rft_binary64_4878` `rem-3cbrt-lft_binary64_4877` `rem-cbrt-cube_binary64_4876` `rem-cube-cbrt_binary64_4875` `sqr-abs_binary64_4867` `sqr-neg_binary64_4866` `rem-sqrt-square_binary64_4865` `rem-square-sqrt_binary64_4864` `sub0-neg_binary64_4839` `--rgt-identity_binary64_4838` `+-rgt-identity_binary64_4837` `+-lft-identity_binary64_4836` `mul0-rgt_binary64_4835` `mul0-lft_binary64_4834` `div0_binary64_4833` `+-inverses_binary64_4831` `lft-mult-inverse_binary64_4830` `remove-double-div_binary64_4828` `difference-of-sqr--1_binary64_4823` `difference-of-sqr-1_binary64_4822` `cancel-sign-sub_binary64_4817` `distribute-frac-neg_binary64_4815` `distribute-neg-out_binary64_4814` `distribute-rgt1-in_binary64_4808` `distribute-lft1-in_binary64_4807` `count-2_binary64_4800` `associate--l-_binary64_4790`

Counts

114 → 98

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	169	2454
1	472	2224
2	1780	2198
3	4564	2198
4	4973	2198

prune127.0ms (0.7%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	96	2	98
Fresh	1	2	3
Picked	0	1	1
Done	1	2	3
Total	98	7	105

Error

0.0b

Counts

105 → 7

Compiler

Compiled 2258 to 1394 computations (38.3% saved)

regimes801.0ms (4.7%)

Accuracy

Total 0.1b remaining (89.1%)

Threshold costs 0.1b (89.1%)

Compiler

Compiled 9558 to 7696 computations (19.5% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64_4783`
3×	`+-commutative_binary64_4782`
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_5112` `if-if-and_binary64_5111` `if-if-or-not_binary64_5110` `if-if-or_binary64_5109` `if-not_binary64_5108` `if-same_binary64_5107` `if-false_binary64_5106` `if-true_binary64_5105` `tan-0_binary64_4981` `cos-0_binary64_4980` `sin-0_binary64_4979` `unpow1_binary64_4910` `e-exp-1_binary64_4897` `1-exp_binary64_4896` `exp-1-e_binary64_4895` `exp-0_binary64_4894` `sqr-abs_binary64_4867` `sqr-neg_binary64_4866` `neg-mul-1_binary64_4848` `neg-sub0_binary64_4847` `unsub-neg_binary64_4846` `sub-neg_binary64_4845` `mul-1-neg_binary64_4844` `/-rgt-identity_binary64_4843` `-rgt-identity_binary64_4842` `-lft-identity_binary64_4841` `remove-double-neg_binary64_4840` `sub0-neg_binary64_4839` `--rgt-identity_binary64_4838` `+-rgt-identity_binary64_4837` `+-lft-identity_binary64_4836` `cancel-sign-sub-inv_binary64_4818` `cancel-sign-sub_binary64_4817` `distribute-neg-frac_binary64_4816` `distribute-frac-neg_binary64_4815` `distribute-neg-out_binary64_4814` `distribute-neg-in_binary64_4813` `distribute-rgt-neg-out_binary64_4812` `distribute-lft-neg-out_binary64_4811` `distribute-rgt-neg-in_binary64_4810` `distribute-lft-neg-in_binary64_4809`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	28
1	25	28
2	25	28

end0.0ms (0%)

sample2.2s (13%)

Algorithm

1×

intervals

Results

312.0ms	7767×	body	128	valid
77.0ms	1933×	body	128	invalid
18.0ms	131×	body	1024	valid
10.0ms	60×	body	512	valid
3.0ms	42×	body	256	valid

Compiler

Compiled 1939 to 1561 computations (19.5% saved)

Details

analyze916.0ms (5.4%)

sample30.0ms (0.2%)

simplify16.0ms (0.1%)

prune4.0ms (0%)

localize9.0ms (0.1%)

rewrite69.0ms (0.4%)

series905.0ms (5.3%)

simplify73.0ms (0.4%)

prune76.0ms (0.4%)

localize13.0ms (0.1%)

rewrite322.0ms (1.9%)

series8.3s (48.8%)

simplify177.0ms (1%)

prune695.0ms (4.1%)

localize8.0ms (0%)

rewrite56.0ms (0.3%)

series399.0ms (2.3%)

simplify98.0ms (0.6%)

prune48.0ms (0.3%)

localize14.0ms (0.1%)

rewrite151.0ms (0.9%)

series1.4s (8%)

simplify104.0ms (0.6%)

prune127.0ms (0.7%)

regimes801.0ms (4.7%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.2s (13%)

Profiling