Details

analyze938.0ms (12.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

1442×	`associate-+l+_binary64_4103`
775×	`associate-+r+_binary64_4102`
607×	`+-commutative_binary64_4100`
392×	`distribute-rgt-in_binary64_4120`
313×	`distribute-lft-in_binary64_4119`
111×	`*-commutative_binary64_4101`
72×	`distribute-rgt-out_binary64_4123`
21×	`count-2_binary64_4118` `associate-r_binary64_4110`
15×	`associate-l_binary64_4111`
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_4433` `erf-erfc_binary64_4432` `erf-odd_binary64_4431` `if-if-and-not_binary64_4430` `if-if-and_binary64_4429` `if-if-or-not_binary64_4428` `if-if-or_binary64_4427` `if-not_binary64_4426` `if-same_binary64_4425` `if-false_binary64_4424` `if-true_binary64_4423` `not-gte_binary64_4422` `not-lte_binary64_4421` `not-gt_binary64_4420` `not-lt_binary64_4419` `gte-same_binary64_4418` `lte-same_binary64_4417` `gt-same_binary64_4416` `lt-same_binary64_4415` `sinh---cosh_binary64_4362` `sinh-+-cosh_binary64_4361` `sinh-cosh_binary64_4360` `tanh-def-c_binary64_4359` `tanh-def-b_binary64_4358` `tanh-def-a_binary64_4357` `cosh-def_binary64_4356` `sinh-def_binary64_4355` `tan-neg_binary64_4302` `cos-neg_binary64_4301` `sin-neg_binary64_4300` `tan-0_binary64_4299` `cos-0_binary64_4298` `sin-0_binary64_4297` `hang-m-tan_binary64_4296` `hang-p-tan_binary64_4295` `hang-m0-tan_binary64_4294` `hang-p0-tan_binary64_4293` `hang-0m-tan_binary64_4292` `hang-0p-tan_binary64_4291` `tan-+PI/2_binary64_4290` `tan-+PI_binary64_4289` `tan-PI_binary64_4288` `tan-PI/3_binary64_4287` `tan-PI/4_binary64_4286` `tan-PI/6_binary64_4285` `cos-+PI/2_binary64_4284` `cos-+PI_binary64_4283` `cos-PI_binary64_4282` `cos-PI/2_binary64_4281` `cos-PI/3_binary64_4280` `cos-PI/4_binary64_4279` `cos-PI/6_binary64_4278` `sin-+PI/2_binary64_4277` `sin-+PI_binary64_4276` `sin-PI_binary64_4275` `sin-PI/2_binary64_4274` `sin-PI/3_binary64_4273` `sin-PI/4_binary64_4272` `sin-PI/6_binary64_4271` `sub-1-sin_binary64_4270` `sub-1-cos_binary64_4269` `-1-add-sin_binary64_4268` `-1-add-cos_binary64_4267` `1-sub-sin_binary64_4266` `1-sub-cos_binary64_4265` `cos-sin-sum_binary64_4264` `log-E_binary64_4260` `log-pow_binary64_4259` `log-rec_binary64_4258` `log-div_binary64_4257` `log-prod_binary64_4256` `pow-base-0_binary64_4254` `unpow1/3_binary64_4237` `unpow3_binary64_4236` `unpow2_binary64_4235` `unpow1/2_binary64_4234` `pow-plus_binary64_4233` `exp-to-pow_binary64_4232` `pow-base-1_binary64_4230` `unpow0_binary64_4229` `unpow1_binary64_4228` `unpow-1_binary64_4227` `exp-lft-cube_binary64_4226` `exp-lft-sqr_binary64_4225` `exp-cbrt_binary64_4224` `exp-sqrt_binary64_4223` `exp-prod_binary64_4222` `div-exp_binary64_4221` `rec-exp_binary64_4220` `prod-exp_binary64_4219` `exp-diff_binary64_4218` `exp-neg_binary64_4217` `exp-sum_binary64_4216` `e-exp-1_binary64_4215` `1-exp_binary64_4214` `exp-1-e_binary64_4213` `exp-0_binary64_4212` `rem-log-exp_binary64_4211` `rem-exp-log_binary64_4210` `cube-unmult_binary64_4207` `cube-mult_binary64_4200` `cube-div_binary64_4199` `cube-prod_binary64_4198` `cube-neg_binary64_4197` `rem-3cbrt-rft_binary64_4196` `rem-3cbrt-lft_binary64_4195` `rem-cbrt-cube_binary64_4194` `rem-cube-cbrt_binary64_4193` `sqr-abs_binary64_4185` `sqr-neg_binary64_4184` `rem-sqrt-square_binary64_4183` `rem-square-sqrt_binary64_4182` `times-frac_binary64_4176` `div-sub_binary64_4175` `neg-mul-1_binary64_4166` `neg-sub0_binary64_4165` `unsub-neg_binary64_4164` `sub-neg_binary64_4163` `mul-1-neg_binary64_4162` `/-rgt-identity_binary64_4161` `-rgt-identity_binary64_4160` `-lft-identity_binary64_4159` `remove-double-neg_binary64_4158` `sub0-neg_binary64_4157` `--rgt-identity_binary64_4156` `+-rgt-identity_binary64_4155` `+-lft-identity_binary64_4154` `mul0-rgt_binary64_4153` `mul0-lft_binary64_4152` `div0_binary64_4151` `-inverses_binary64_4150` `+-inverses_binary64_4149` `lft-mult-inverse_binary64_4148` `rgt-mult-inverse_binary64_4147` `remove-double-div_binary64_4146` `pow-sqr_binary64_4143` `sqr-pow_binary64_4142` `difference-of-sqr--1_binary64_4141` `difference-of-sqr-1_binary64_4140` `difference-of-squares_binary64_4139` `unswap-sqr_binary64_4138` `swap-sqr_binary64_4137` `cancel-sign-sub-inv_binary64_4136` `cancel-sign-sub_binary64_4135` `distribute-neg-frac_binary64_4134` `distribute-frac-neg_binary64_4133` `distribute-neg-out_binary64_4132` `distribute-neg-in_binary64_4131` `distribute-rgt-neg-out_binary64_4130` `distribute-lft-neg-out_binary64_4129` `distribute-rgt-neg-in_binary64_4128` `distribute-lft-neg-in_binary64_4127` `distribute-rgt1-in_binary64_4126` `distribute-lft1-in_binary64_4125` `distribute-rgt-out--_binary64_4124` `distribute-lft-out--_binary64_4122` `distribute-lft-out_binary64_4121` `associate-/l/_binary64_4117` `associate-/r/_binary64_4116` `associate-/l_binary64_4115` `associate-/r_binary64_4114` `associate-l/_binary64_4113` `associate-*r/_binary64_4112` `associate--r-_binary64_4109` `associate--l-_binary64_4108` `associate--l+_binary64_4107` `associate--r+_binary64_4106` `associate-+l-_binary64_4105` `associate-+r-_binary64_4104`

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)

sample32.0ms (0.4%)

Algorithm

1×

intervals

Results

9.0ms	248×	body	128	valid
3.0ms	87×	body	128	invalid
1.0ms	4×	body	1024	valid
0.0ms	2×	body	512	valid
0.0ms	2×	body	256	valid

Compiler

Compiled 31 to 29 computations (6.5% saved)

simplify15.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

317×	`associate-+l+_binary64_4103`
210×	`associate-+r+_binary64_4102`
79×	`distribute-rgt-in_binary64_4120`
73×	`distribute-lft-in_binary64_4119`
49×	`+-commutative_binary64_4100`
25×	`*-commutative_binary64_4101`
19×	`distribute-rgt-out_binary64_4123`
6×	`count-2_binary64_4118` `associate-r_binary64_4110`
4×	`associate-l_binary64_4111`
1×	`distribute-lft-out_binary64_4121`
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_4433` `erf-erfc_binary64_4432` `erf-odd_binary64_4431` `if-if-and-not_binary64_4430` `if-if-and_binary64_4429` `if-if-or-not_binary64_4428` `if-if-or_binary64_4427` `if-not_binary64_4426` `if-same_binary64_4425` `if-false_binary64_4424` `if-true_binary64_4423` `not-gte_binary64_4422` `not-lte_binary64_4421` `not-gt_binary64_4420` `not-lt_binary64_4419` `gte-same_binary64_4418` `lte-same_binary64_4417` `gt-same_binary64_4416` `lt-same_binary64_4415` `sinh---cosh_binary64_4362` `sinh-+-cosh_binary64_4361` `sinh-cosh_binary64_4360` `tanh-def-c_binary64_4359` `tanh-def-b_binary64_4358` `tanh-def-a_binary64_4357` `cosh-def_binary64_4356` `sinh-def_binary64_4355` `tan-neg_binary64_4302` `cos-neg_binary64_4301` `sin-neg_binary64_4300` `tan-0_binary64_4299` `cos-0_binary64_4298` `sin-0_binary64_4297` `hang-m-tan_binary64_4296` `hang-p-tan_binary64_4295` `hang-m0-tan_binary64_4294` `hang-p0-tan_binary64_4293` `hang-0m-tan_binary64_4292` `hang-0p-tan_binary64_4291` `tan-+PI/2_binary64_4290` `tan-+PI_binary64_4289` `tan-PI_binary64_4288` `tan-PI/3_binary64_4287` `tan-PI/4_binary64_4286` `tan-PI/6_binary64_4285` `cos-+PI/2_binary64_4284` `cos-+PI_binary64_4283` `cos-PI_binary64_4282` `cos-PI/2_binary64_4281` `cos-PI/3_binary64_4280` `cos-PI/4_binary64_4279` `cos-PI/6_binary64_4278` `sin-+PI/2_binary64_4277` `sin-+PI_binary64_4276` `sin-PI_binary64_4275` `sin-PI/2_binary64_4274` `sin-PI/3_binary64_4273` `sin-PI/4_binary64_4272` `sin-PI/6_binary64_4271` `sub-1-sin_binary64_4270` `sub-1-cos_binary64_4269` `-1-add-sin_binary64_4268` `-1-add-cos_binary64_4267` `1-sub-sin_binary64_4266` `1-sub-cos_binary64_4265` `cos-sin-sum_binary64_4264` `log-E_binary64_4260` `log-pow_binary64_4259` `log-rec_binary64_4258` `log-div_binary64_4257` `log-prod_binary64_4256` `pow-base-0_binary64_4254` `unpow1/3_binary64_4237` `unpow3_binary64_4236` `unpow2_binary64_4235` `unpow1/2_binary64_4234` `pow-plus_binary64_4233` `exp-to-pow_binary64_4232` `pow-base-1_binary64_4230` `unpow0_binary64_4229` `unpow1_binary64_4228` `unpow-1_binary64_4227` `exp-lft-cube_binary64_4226` `exp-lft-sqr_binary64_4225` `exp-cbrt_binary64_4224` `exp-sqrt_binary64_4223` `exp-prod_binary64_4222` `div-exp_binary64_4221` `rec-exp_binary64_4220` `prod-exp_binary64_4219` `exp-diff_binary64_4218` `exp-neg_binary64_4217` `exp-sum_binary64_4216` `e-exp-1_binary64_4215` `1-exp_binary64_4214` `exp-1-e_binary64_4213` `exp-0_binary64_4212` `rem-log-exp_binary64_4211` `rem-exp-log_binary64_4210` `cube-unmult_binary64_4207` `cube-mult_binary64_4200` `cube-div_binary64_4199` `cube-prod_binary64_4198` `cube-neg_binary64_4197` `rem-3cbrt-rft_binary64_4196` `rem-3cbrt-lft_binary64_4195` `rem-cbrt-cube_binary64_4194` `rem-cube-cbrt_binary64_4193` `sqr-abs_binary64_4185` `sqr-neg_binary64_4184` `rem-sqrt-square_binary64_4183` `rem-square-sqrt_binary64_4182` `times-frac_binary64_4176` `div-sub_binary64_4175` `neg-mul-1_binary64_4166` `neg-sub0_binary64_4165` `unsub-neg_binary64_4164` `sub-neg_binary64_4163` `mul-1-neg_binary64_4162` `/-rgt-identity_binary64_4161` `-rgt-identity_binary64_4160` `-lft-identity_binary64_4159` `remove-double-neg_binary64_4158` `sub0-neg_binary64_4157` `--rgt-identity_binary64_4156` `+-rgt-identity_binary64_4155` `+-lft-identity_binary64_4154` `mul0-rgt_binary64_4153` `mul0-lft_binary64_4152` `div0_binary64_4151` `-inverses_binary64_4150` `+-inverses_binary64_4149` `lft-mult-inverse_binary64_4148` `rgt-mult-inverse_binary64_4147` `remove-double-div_binary64_4146` `pow-sqr_binary64_4143` `sqr-pow_binary64_4142` `difference-of-sqr--1_binary64_4141` `difference-of-sqr-1_binary64_4140` `difference-of-squares_binary64_4139` `unswap-sqr_binary64_4138` `swap-sqr_binary64_4137` `cancel-sign-sub-inv_binary64_4136` `cancel-sign-sub_binary64_4135` `distribute-neg-frac_binary64_4134` `distribute-frac-neg_binary64_4133` `distribute-neg-out_binary64_4132` `distribute-neg-in_binary64_4131` `distribute-rgt-neg-out_binary64_4130` `distribute-lft-neg-out_binary64_4129` `distribute-rgt-neg-in_binary64_4128` `distribute-lft-neg-in_binary64_4127` `distribute-rgt1-in_binary64_4126` `distribute-lft1-in_binary64_4125` `distribute-rgt-out--_binary64_4124` `distribute-lft-out--_binary64_4122` `associate-/l/_binary64_4117` `associate-/r/_binary64_4116` `associate-/l_binary64_4115` `associate-/r_binary64_4114` `associate-l/_binary64_4113` `associate-*r/_binary64_4112` `associate--r-_binary64_4109` `associate--l-_binary64_4108` `associate--l+_binary64_4107` `associate--r+_binary64_4106` `associate-+l-_binary64_4105` `associate-+r-_binary64_4104`

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.3b

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 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
0.3b	(.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))

rewrite71.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

6×	`add-sqr-sqrt_binary64_4192`
4×	`pow1_binary64_4231` `add-exp-log_binary64_4208` `add-log-exp_binary64_4209` `add-cbrt-cube_binary64_4206` `add-cube-cbrt_binary64_4205` `*-un-lft-identity_binary64_4170`
3×	`associate-l_binary64_4111` `associate-r_binary64_4110`
2×	`distribute-rgt-in_binary64_4120` `distribute-lft-in_binary64_4119` `flip3-+_binary64_4173` `associate-*r/_binary64_4112` `flip-+_binary64_4144` `associate-+l+_binary64_4103`
1×	`pow-prod-down_binary64_4241` `prod-exp_binary64_4219` `cbrt-unprod_binary64_4203` `unswap-sqr_binary64_4138` `*-commutative_binary64_4101` `sum-log_binary64_4261` `+-commutative_binary64_4100`

Counts

2 → 35

Calls

2 calls:

11.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)

series880.0ms (11.6%)

Error

0.1b

Counts

2 → 45

Calls

2 calls:

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

Compiler

Compiled 1686 to 1274 computations (24.4% saved)

simplify75.0ms (1%)

Algorithm

1×	egg-herbie

Rules

959×	`distribute-rgt-in_binary64_4120`
945×	`distribute-lft-in_binary64_4119`
143×	`associate-+l+_binary64_4103`
130×	`associate-l_binary64_4111`
109×	`associate-r_binary64_4110`
71×	`*-commutative_binary64_4101`
69×	`cancel-sign-sub-inv_binary64_4136`
55×	`distribute-rgt-neg-in_binary64_4128`
42×	`distribute-lft-neg-in_binary64_4127`
38×	`+-commutative_binary64_4100`
29×	`sqr-pow_binary64_4142` `associate--r+_binary64_4106`
26×	`exp-prod_binary64_4222`
25×	`associate--l+_binary64_4107`
23×	`exp-sum_binary64_4216`
21×	`sub-neg_binary64_4163`
20×	`*-lft-identity_binary64_4159`
17×	`*-rgt-identity_binary64_4160`
16×	`neg-mul-1_binary64_4166` `neg-sub0_binary64_4165` `distribute-neg-in_binary64_4131` `distribute-rgt-out_binary64_4123` `associate-+r+_binary64_4102`
13×	`distribute-lft-out_binary64_4121`
12×	`cube-prod_binary64_4198`
10×	`distribute-lft-neg-out_binary64_4129`
9×	`log-prod_binary64_4256` `associate-+r-_binary64_4104`
8×	`unpow3_binary64_4236` `unswap-sqr_binary64_4138` `swap-sqr_binary64_4137` `distribute-rgt-out--_binary64_4124`
7×	`exp-lft-sqr_binary64_4225`
6×	`cube-mult_binary64_4200` `associate-+l-_binary64_4105`
5×	`distribute-lft-out--_binary64_4122`
2×	`unsub-neg_binary64_4164` `difference-of-squares_binary64_4139` `distribute-rgt-neg-out_binary64_4130`
1×	`unpow1/2_binary64_4234` `prod-exp_binary64_4219` `1-exp_binary64_4214` `exp-1-e_binary64_4213` `cube-unmult_binary64_4207` `pow-sqr_binary64_4143`
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_4433` `erf-erfc_binary64_4432` `erf-odd_binary64_4431` `if-if-and-not_binary64_4430` `if-if-and_binary64_4429` `if-if-or-not_binary64_4428` `if-if-or_binary64_4427` `if-not_binary64_4426` `if-same_binary64_4425` `if-false_binary64_4424` `if-true_binary64_4423` `not-gte_binary64_4422` `not-lte_binary64_4421` `not-gt_binary64_4420` `not-lt_binary64_4419` `gte-same_binary64_4418` `lte-same_binary64_4417` `gt-same_binary64_4416` `lt-same_binary64_4415` `sinh---cosh_binary64_4362` `sinh-+-cosh_binary64_4361` `sinh-cosh_binary64_4360` `tanh-def-c_binary64_4359` `tanh-def-b_binary64_4358` `tanh-def-a_binary64_4357` `cosh-def_binary64_4356` `sinh-def_binary64_4355` `tan-neg_binary64_4302` `cos-neg_binary64_4301` `sin-neg_binary64_4300` `tan-0_binary64_4299` `cos-0_binary64_4298` `sin-0_binary64_4297` `hang-m-tan_binary64_4296` `hang-p-tan_binary64_4295` `hang-m0-tan_binary64_4294` `hang-p0-tan_binary64_4293` `hang-0m-tan_binary64_4292` `hang-0p-tan_binary64_4291` `tan-+PI/2_binary64_4290` `tan-+PI_binary64_4289` `tan-PI_binary64_4288` `tan-PI/3_binary64_4287` `tan-PI/4_binary64_4286` `tan-PI/6_binary64_4285` `cos-+PI/2_binary64_4284` `cos-+PI_binary64_4283` `cos-PI_binary64_4282` `cos-PI/2_binary64_4281` `cos-PI/3_binary64_4280` `cos-PI/4_binary64_4279` `cos-PI/6_binary64_4278` `sin-+PI/2_binary64_4277` `sin-+PI_binary64_4276` `sin-PI_binary64_4275` `sin-PI/2_binary64_4274` `sin-PI/3_binary64_4273` `sin-PI/4_binary64_4272` `sin-PI/6_binary64_4271` `sub-1-sin_binary64_4270` `sub-1-cos_binary64_4269` `-1-add-sin_binary64_4268` `-1-add-cos_binary64_4267` `1-sub-sin_binary64_4266` `1-sub-cos_binary64_4265` `cos-sin-sum_binary64_4264` `log-E_binary64_4260` `log-pow_binary64_4259` `log-rec_binary64_4258` `log-div_binary64_4257` `pow-base-0_binary64_4254` `unpow1/3_binary64_4237` `unpow2_binary64_4235` `pow-plus_binary64_4233` `exp-to-pow_binary64_4232` `pow-base-1_binary64_4230` `unpow0_binary64_4229` `unpow1_binary64_4228` `unpow-1_binary64_4227` `exp-lft-cube_binary64_4226` `exp-cbrt_binary64_4224` `exp-sqrt_binary64_4223` `div-exp_binary64_4221` `rec-exp_binary64_4220` `exp-diff_binary64_4218` `exp-neg_binary64_4217` `e-exp-1_binary64_4215` `exp-0_binary64_4212` `rem-log-exp_binary64_4211` `rem-exp-log_binary64_4210` `cube-div_binary64_4199` `cube-neg_binary64_4197` `rem-3cbrt-rft_binary64_4196` `rem-3cbrt-lft_binary64_4195` `rem-cbrt-cube_binary64_4194` `rem-cube-cbrt_binary64_4193` `sqr-abs_binary64_4185` `sqr-neg_binary64_4184` `rem-sqrt-square_binary64_4183` `rem-square-sqrt_binary64_4182` `times-frac_binary64_4176` `div-sub_binary64_4175` `mul-1-neg_binary64_4162` `/-rgt-identity_binary64_4161` `remove-double-neg_binary64_4158` `sub0-neg_binary64_4157` `--rgt-identity_binary64_4156` `+-rgt-identity_binary64_4155` `+-lft-identity_binary64_4154` `mul0-rgt_binary64_4153` `mul0-lft_binary64_4152` `div0_binary64_4151` `-inverses_binary64_4150` `+-inverses_binary64_4149` `lft-mult-inverse_binary64_4148` `rgt-mult-inverse_binary64_4147` `remove-double-div_binary64_4146` `difference-of-sqr--1_binary64_4141` `difference-of-sqr-1_binary64_4140` `cancel-sign-sub_binary64_4135` `distribute-neg-frac_binary64_4134` `distribute-frac-neg_binary64_4133` `distribute-neg-out_binary64_4132` `distribute-rgt1-in_binary64_4126` `distribute-lft1-in_binary64_4125` `count-2_binary64_4118` `associate-/l/_binary64_4117` `associate-/r/_binary64_4116` `associate-/l_binary64_4115` `associate-/r_binary64_4114` `associate-l/_binary64_4113` `associate-*r/_binary64_4112` `associate--r-_binary64_4109` `associate--l-_binary64_4108`

Counts

80 → 67

Iterations

Useful iterations: 2 (0.0ms)

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

prune78.0ms (1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	61	6	67
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	62	6	68

Error

0.0b

Counts

68 → 6

Compiler

Compiled 1212 to 706 computations (41.7% saved)

localize13.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite92.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

10×	`add-log-exp_binary64_4209`
7×	`add-sqr-sqrt_binary64_4192` `*-un-lft-identity_binary64_4170`
5×	`pow1_binary64_4231` `add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206` `add-cube-cbrt_binary64_4205` `associate-+l+_binary64_4103` `distribute-rgt-in_binary64_4120` `distribute-lft-in_binary64_4119`
4×	`sum-log_binary64_4261` `associate-r_binary64_4110`
3×	`flip3-+_binary64_4173` `flip-+_binary64_4144` `associate-l_binary64_4111`
2×	`+-commutative_binary64_4100` `associate-*r/_binary64_4112`
1×	`pow-prod-down_binary64_4241` `prod-exp_binary64_4219` `cbrt-unprod_binary64_4203` `unswap-sqr_binary64_4138` `distribute-lft-out_binary64_4121` `*-commutative_binary64_4101`

Counts

3 → 51

Calls

3 calls:

11.0ms	(+.f64 (+.f64 (.f64 2 (.f64 x (+.f64 z y))) (.f64 t x)) (.f64 y 5))
9.0ms	(+.f64 (.f64 2 (.f64 x (+.f64 z y))) (*.f64 t x))
7.0ms	(*.f64 x (+.f64 z y))

Compiler

Compiled 1241 to 554 computations (55.4% saved)

series1.1s (14.4%)

Error

0.0b

Counts

3 → 60

Calls

3 calls:

527.0ms	(+.f64 (+.f64 (.f64 2 (.f64 x (+.f64 z y))) (.f64 t x)) (.f64 y 5))
394.0ms	(+.f64 (.f64 2 (.f64 x (+.f64 z y))) (*.f64 t x))
126.0ms	(*.f64 x (+.f64 z y))

Compiler

Compiled 2295 to 1685 computations (26.6% saved)

simplify104.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

556×	`sub-neg_binary64_4163`
506×	`cancel-sign-sub-inv_binary64_4136`
370×	`*-commutative_binary64_4101`
279×	`distribute-rgt-neg-in_binary64_4128`
228×	`distribute-lft-neg-in_binary64_4127`
217×	`associate-+l+_binary64_4103`
201×	`associate--r+_binary64_4106`
193×	`distribute-rgt-out_binary64_4123`
175×	`associate-+r+_binary64_4102`
167×	`associate--l+_binary64_4107`
147×	`associate-l_binary64_4111`
141×	`neg-mul-1_binary64_4166`
136×	`associate-r_binary64_4110`
134×	`neg-sub0_binary64_4165`
126×	`unsub-neg_binary64_4164`
106×	`unswap-sqr_binary64_4138`
104×	`distribute-rgt-in_binary64_4120`
102×	`sqr-pow_binary64_4142`
94×	`exp-sum_binary64_4216`
93×	`distribute-lft-in_binary64_4119`
91×	`distribute-neg-in_binary64_4131`
90×	`exp-prod_binary64_4222` `+-commutative_binary64_4100`
78×	`distribute-rgt-out--_binary64_4124`
59×	`distribute-lft-out_binary64_4121`
48×	`prod-exp_binary64_4219`
44×	`cube-prod_binary64_4198`
35×	`swap-sqr_binary64_4137`
31×	`distribute-lft-neg-out_binary64_4129`
27×	`associate--r-_binary64_4109`
24×	`associate-+r-_binary64_4104`
19×	`log-prod_binary64_4256`
17×	`*-rgt-identity_binary64_4160` `+-rgt-identity_binary64_4155`
15×	`*-lft-identity_binary64_4159` `associate-+l-_binary64_4105`
14×	`pow-sqr_binary64_4143`
12×	`unpow3_binary64_4236`
11×	`distribute-lft-out--_binary64_4122` `associate-/l*_binary64_4115`
10×	`cube-mult_binary64_4200`
9×	`sub0-neg_binary64_4157`
8×	`unpow1/2_binary64_4234`
7×	`exp-lft-sqr_binary64_4225` `difference-of-squares_binary64_4139` `associate-/l/_binary64_4117` `associate-*r/_binary64_4112`
6×	`exp-diff_binary64_4218` `div-sub_binary64_4175`
5×	`associate-/r*_binary64_4114`
4×	`distribute-neg-out_binary64_4132` `associate-/r/_binary64_4116`
3×	`times-frac_binary64_4176` `distribute-rgt-neg-out_binary64_4130`
2×	`cube-unmult_binary64_4207` `rem-sqrt-square_binary64_4183` `associate--l-_binary64_4108`
1×	`1-exp_binary64_4214` `exp-1-e_binary64_4213` `distribute-rgt1-in_binary64_4126` `count-2_binary64_4118`
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_4433` `erf-erfc_binary64_4432` `erf-odd_binary64_4431` `if-if-and-not_binary64_4430` `if-if-and_binary64_4429` `if-if-or-not_binary64_4428` `if-if-or_binary64_4427` `if-not_binary64_4426` `if-same_binary64_4425` `if-false_binary64_4424` `if-true_binary64_4423` `not-gte_binary64_4422` `not-lte_binary64_4421` `not-gt_binary64_4420` `not-lt_binary64_4419` `gte-same_binary64_4418` `lte-same_binary64_4417` `gt-same_binary64_4416` `lt-same_binary64_4415` `sinh---cosh_binary64_4362` `sinh-+-cosh_binary64_4361` `sinh-cosh_binary64_4360` `tanh-def-c_binary64_4359` `tanh-def-b_binary64_4358` `tanh-def-a_binary64_4357` `cosh-def_binary64_4356` `sinh-def_binary64_4355` `tan-neg_binary64_4302` `cos-neg_binary64_4301` `sin-neg_binary64_4300` `tan-0_binary64_4299` `cos-0_binary64_4298` `sin-0_binary64_4297` `hang-m-tan_binary64_4296` `hang-p-tan_binary64_4295` `hang-m0-tan_binary64_4294` `hang-p0-tan_binary64_4293` `hang-0m-tan_binary64_4292` `hang-0p-tan_binary64_4291` `tan-+PI/2_binary64_4290` `tan-+PI_binary64_4289` `tan-PI_binary64_4288` `tan-PI/3_binary64_4287` `tan-PI/4_binary64_4286` `tan-PI/6_binary64_4285` `cos-+PI/2_binary64_4284` `cos-+PI_binary64_4283` `cos-PI_binary64_4282` `cos-PI/2_binary64_4281` `cos-PI/3_binary64_4280` `cos-PI/4_binary64_4279` `cos-PI/6_binary64_4278` `sin-+PI/2_binary64_4277` `sin-+PI_binary64_4276` `sin-PI_binary64_4275` `sin-PI/2_binary64_4274` `sin-PI/3_binary64_4273` `sin-PI/4_binary64_4272` `sin-PI/6_binary64_4271` `sub-1-sin_binary64_4270` `sub-1-cos_binary64_4269` `-1-add-sin_binary64_4268` `-1-add-cos_binary64_4267` `1-sub-sin_binary64_4266` `1-sub-cos_binary64_4265` `cos-sin-sum_binary64_4264` `log-E_binary64_4260` `log-pow_binary64_4259` `log-rec_binary64_4258` `log-div_binary64_4257` `pow-base-0_binary64_4254` `unpow1/3_binary64_4237` `unpow2_binary64_4235` `pow-plus_binary64_4233` `exp-to-pow_binary64_4232` `pow-base-1_binary64_4230` `unpow0_binary64_4229` `unpow1_binary64_4228` `unpow-1_binary64_4227` `exp-lft-cube_binary64_4226` `exp-cbrt_binary64_4224` `exp-sqrt_binary64_4223` `div-exp_binary64_4221` `rec-exp_binary64_4220` `exp-neg_binary64_4217` `e-exp-1_binary64_4215` `exp-0_binary64_4212` `rem-log-exp_binary64_4211` `rem-exp-log_binary64_4210` `cube-div_binary64_4199` `cube-neg_binary64_4197` `rem-3cbrt-rft_binary64_4196` `rem-3cbrt-lft_binary64_4195` `rem-cbrt-cube_binary64_4194` `rem-cube-cbrt_binary64_4193` `sqr-abs_binary64_4185` `sqr-neg_binary64_4184` `rem-square-sqrt_binary64_4182` `mul-1-neg_binary64_4162` `/-rgt-identity_binary64_4161` `remove-double-neg_binary64_4158` `--rgt-identity_binary64_4156` `+-lft-identity_binary64_4154` `mul0-rgt_binary64_4153` `mul0-lft_binary64_4152` `div0_binary64_4151` `-inverses_binary64_4150` `+-inverses_binary64_4149` `lft-mult-inverse_binary64_4148` `rgt-mult-inverse_binary64_4147` `remove-double-div_binary64_4146` `difference-of-sqr--1_binary64_4141` `difference-of-sqr-1_binary64_4140` `cancel-sign-sub_binary64_4135` `distribute-neg-frac_binary64_4134` `distribute-frac-neg_binary64_4133` `distribute-lft1-in_binary64_4125` `associate-l/_binary64_4113`

Counts

111 → 92

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	122	1803
1	367	1524
2	1271	1494
3	2595	1491
4	4533	1491
5	5135	1491

prune86.0ms (1.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	90	2	92
Fresh	2	3	5
Picked	0	1	1
Done	0	0	0
Total	92	6	98

Error

0.0b

Counts

98 → 6

Compiler

Compiled 1605 to 847 computations (47.2% saved)

localize14.0ms (0.2%)

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)

rewrite108.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64_4201`
23×	`add-sqr-sqrt_binary64_4192`
15×	`add-cube-cbrt_binary64_4205` `*-un-lft-identity_binary64_4170`
11×	`pow1_binary64_4231`
9×	`pow1/3_binary64_4252`
6×	`add-exp-log_binary64_4208` `swap-sqr_binary64_4137` `associate-l_binary64_4111` `associate-r_binary64_4110`
4×	`add-log-exp_binary64_4209` `add-cbrt-cube_binary64_4206` `unswap-sqr_binary64_4138`
2×	`pow-prod-down_binary64_4241` `pow-prod-up_binary64_4240` `pow-sqr_binary64_4143`
1×	`pow2_binary64_4251` `pow-plus_binary64_4233` `prod-exp_binary64_4219` `cbrt-unprod_binary64_4203` `*-commutative_binary64_4101`

Counts

4 → 73

Calls

4 calls:

6.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
3.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 1962 to 685 computations (65.1% saved)

series466.0ms (6.2%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

140.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
104.0ms	(cbrt.f64 x)
104.0ms	(cbrt.f64 x)
104.0ms	(cbrt.f64 x)

Compiler

Compiled 879 to 630 computations (28.3% saved)

simplify103.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

586×	`log-prod_binary64_4256`
416×	`sqr-pow_binary64_4142`
335×	`associate-l_binary64_4111`
309×	`*-commutative_binary64_4101`
277×	`distribute-rgt-neg-in_binary64_4128`
257×	`distribute-lft-neg-in_binary64_4127`
227×	`associate-r_binary64_4110`
188×	`exp-prod_binary64_4222`
161×	`log-pow_binary64_4259`
149×	`cube-prod_binary64_4198`
128×	`pow-sqr_binary64_4143`
124×	`unswap-sqr_binary64_4138`
111×	`swap-sqr_binary64_4137`
104×	`associate-/l*_binary64_4115`
81×	`cancel-sign-sub-inv_binary64_4136`
75×	`associate-+l+_binary64_4103`
69×	`associate-+r+_binary64_4102`
61×	`distribute-rgt-in_binary64_4120`
60×	`distribute-lft-out_binary64_4121`
57×	`distribute-lft-in_binary64_4119`
54×	`neg-sub0_binary64_4165`
53×	`neg-mul-1_binary64_4166`
48×	`distribute-rgt-out_binary64_4123`
45×	`+-commutative_binary64_4100`
43×	`pow-plus_binary64_4233` `rem-sqrt-square_binary64_4183`
41×	`times-frac_binary64_4176` `sub-neg_binary64_4163`
37×	`associate-/r/_binary64_4116`
35×	`associate-*r/_binary64_4112`
32×	`unpow3_binary64_4236`
31×	`-rgt-identity_binary64_4160` `-lft-identity_binary64_4159` `associate-/l/_binary64_4117`
29×	`count-2_binary64_4118`
27×	`cube-mult_binary64_4200`
24×	`associate-/r*_binary64_4114`
17×	`log-div_binary64_4257` `cube-div_binary64_4199` `distribute-neg-frac_binary64_4134`
13×	`cube-unmult_binary64_4207` `distribute-rgt1-in_binary64_4126`
11×	`distribute-rgt-neg-out_binary64_4130`
10×	`unpow1/2_binary64_4234`
9×	`distribute-lft-neg-out_binary64_4129` `distribute-lft1-in_binary64_4125`
8×	`unpow2_binary64_4235` `associate-*l/_binary64_4113`
5×	`unpow1_binary64_4228`
3×	`unpow1/3_binary64_4237`
2×	`exp-sqrt_binary64_4223` `rem-3cbrt-lft_binary64_4195` `rem-cbrt-cube_binary64_4194` `mul-1-neg_binary64_4162`
1×	`exp-lft-sqr_binary64_4225` `1-exp_binary64_4214` `exp-1-e_binary64_4213` `rem-3cbrt-rft_binary64_4196` `rem-square-sqrt_binary64_4182` `sub0-neg_binary64_4157` `--rgt-identity_binary64_4156` `associate-+l-_binary64_4105`
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_4433` `erf-erfc_binary64_4432` `erf-odd_binary64_4431` `if-if-and-not_binary64_4430` `if-if-and_binary64_4429` `if-if-or-not_binary64_4428` `if-if-or_binary64_4427` `if-not_binary64_4426` `if-same_binary64_4425` `if-false_binary64_4424` `if-true_binary64_4423` `not-gte_binary64_4422` `not-lte_binary64_4421` `not-gt_binary64_4420` `not-lt_binary64_4419` `gte-same_binary64_4418` `lte-same_binary64_4417` `gt-same_binary64_4416` `lt-same_binary64_4415` `sinh---cosh_binary64_4362` `sinh-+-cosh_binary64_4361` `sinh-cosh_binary64_4360` `tanh-def-c_binary64_4359` `tanh-def-b_binary64_4358` `tanh-def-a_binary64_4357` `cosh-def_binary64_4356` `sinh-def_binary64_4355` `tan-neg_binary64_4302` `cos-neg_binary64_4301` `sin-neg_binary64_4300` `tan-0_binary64_4299` `cos-0_binary64_4298` `sin-0_binary64_4297` `hang-m-tan_binary64_4296` `hang-p-tan_binary64_4295` `hang-m0-tan_binary64_4294` `hang-p0-tan_binary64_4293` `hang-0m-tan_binary64_4292` `hang-0p-tan_binary64_4291` `tan-+PI/2_binary64_4290` `tan-+PI_binary64_4289` `tan-PI_binary64_4288` `tan-PI/3_binary64_4287` `tan-PI/4_binary64_4286` `tan-PI/6_binary64_4285` `cos-+PI/2_binary64_4284` `cos-+PI_binary64_4283` `cos-PI_binary64_4282` `cos-PI/2_binary64_4281` `cos-PI/3_binary64_4280` `cos-PI/4_binary64_4279` `cos-PI/6_binary64_4278` `sin-+PI/2_binary64_4277` `sin-+PI_binary64_4276` `sin-PI_binary64_4275` `sin-PI/2_binary64_4274` `sin-PI/3_binary64_4273` `sin-PI/4_binary64_4272` `sin-PI/6_binary64_4271` `sub-1-sin_binary64_4270` `sub-1-cos_binary64_4269` `-1-add-sin_binary64_4268` `-1-add-cos_binary64_4267` `1-sub-sin_binary64_4266` `1-sub-cos_binary64_4265` `cos-sin-sum_binary64_4264` `log-E_binary64_4260` `log-rec_binary64_4258` `pow-base-0_binary64_4254` `exp-to-pow_binary64_4232` `pow-base-1_binary64_4230` `unpow0_binary64_4229` `unpow-1_binary64_4227` `exp-lft-cube_binary64_4226` `exp-cbrt_binary64_4224` `div-exp_binary64_4221` `rec-exp_binary64_4220` `prod-exp_binary64_4219` `exp-diff_binary64_4218` `exp-neg_binary64_4217` `exp-sum_binary64_4216` `e-exp-1_binary64_4215` `exp-0_binary64_4212` `rem-log-exp_binary64_4211` `rem-exp-log_binary64_4210` `cube-neg_binary64_4197` `rem-cube-cbrt_binary64_4193` `sqr-abs_binary64_4185` `sqr-neg_binary64_4184` `div-sub_binary64_4175` `unsub-neg_binary64_4164` `/-rgt-identity_binary64_4161` `remove-double-neg_binary64_4158` `+-rgt-identity_binary64_4155` `+-lft-identity_binary64_4154` `mul0-rgt_binary64_4153` `mul0-lft_binary64_4152` `div0_binary64_4151` `*-inverses_binary64_4150` `+-inverses_binary64_4149` `lft-mult-inverse_binary64_4148` `rgt-mult-inverse_binary64_4147` `remove-double-div_binary64_4146` `difference-of-sqr--1_binary64_4141` `difference-of-sqr-1_binary64_4140` `difference-of-squares_binary64_4139` `cancel-sign-sub_binary64_4135` `distribute-frac-neg_binary64_4133` `distribute-neg-out_binary64_4132` `distribute-neg-in_binary64_4131` `distribute-rgt-out--_binary64_4124` `distribute-lft-out--_binary64_4122` `associate--r-_binary64_4109` `associate--l-_binary64_4108` `associate--l+_binary64_4107` `associate--r+_binary64_4106` `associate-+r-_binary64_4104`

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

prune65.0ms (0.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	50	0	50
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	50	6	56

Error

0.0b

Counts

56 → 6

Compiler

Compiled 1305 to 573 computations (56.1% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite55.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`add-sqr-sqrt_binary64_4192`
4×	`pow1_binary64_4231` `add-exp-log_binary64_4208` `add-log-exp_binary64_4209` `add-cbrt-cube_binary64_4206` `add-cube-cbrt_binary64_4205` `*-un-lft-identity_binary64_4170`
3×	`associate-l_binary64_4111` `associate-r_binary64_4110`
2×	`distribute-rgt-in_binary64_4120` `distribute-lft-in_binary64_4119` `flip3-+_binary64_4173` `associate-*r/_binary64_4112` `flip-+_binary64_4144` `associate-+r+_binary64_4102`
1×	`pow-prod-down_binary64_4241` `prod-exp_binary64_4219` `cbrt-unprod_binary64_4203` `unswap-sqr_binary64_4138` `*-commutative_binary64_4101` `sum-log_binary64_4261` `+-commutative_binary64_4100`

Counts

2 → 35

Calls

2 calls:

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

Compiler

Compiled 694 to 437 computations (37% saved)

series374.0ms (4.9%)

Error

0.0b

Counts

2 → 27

Calls

2 calls:

251.0ms	(+.f64 (.f64 t x) (.f64 y (+.f64 5 (*.f64 2 x))))
107.0ms	(.f64 y (+.f64 5 (.f64 2 x)))

Compiler

Compiled 715 to 575 computations (19.6% saved)

simplify99.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

620×	`sub-neg_binary64_4163`
468×	`distribute-rgt-in_binary64_4120`
456×	`distribute-lft-in_binary64_4119`
254×	`*-commutative_binary64_4101`
249×	`cancel-sign-sub-inv_binary64_4136`
248×	`associate--r+_binary64_4106` `+-commutative_binary64_4100`
213×	`associate--l+_binary64_4107`
209×	`neg-mul-1_binary64_4166`
188×	`unsub-neg_binary64_4164`
154×	`distribute-rgt-neg-in_binary64_4128`
153×	`distribute-neg-in_binary64_4131`
138×	`neg-sub0_binary64_4165`
126×	`distribute-lft-neg-in_binary64_4127`
117×	`associate-+l+_binary64_4103`
103×	`associate-l_binary64_4111`
101×	`associate-+r+_binary64_4102`
95×	`associate-r_binary64_4110`
77×	`distribute-rgt-out_binary64_4123`
74×	`associate-+l-_binary64_4105`
60×	`associate-+r-_binary64_4104`
55×	`sqr-pow_binary64_4142`
52×	`distribute-lft-neg-out_binary64_4129`
47×	`exp-prod_binary64_4222`
35×	`distribute-rgt-neg-out_binary64_4130`
30×	`distribute-rgt-out--_binary64_4124`
27×	`-rgt-identity_binary64_4160` `-lft-identity_binary64_4159`
26×	`pow-sqr_binary64_4143` `unswap-sqr_binary64_4138` `swap-sqr_binary64_4137`
22×	`prod-exp_binary64_4219` `sub0-neg_binary64_4157`
20×	`exp-sum_binary64_4216`
19×	`rem-sqrt-square_binary64_4183`
18×	`+-rgt-identity_binary64_4155`
17×	`cube-prod_binary64_4198`
10×	`log-prod_binary64_4256` `distribute-lft-out_binary64_4121`
7×	`unpow3_binary64_4236`
5×	`cube-mult_binary64_4200` `associate--r-_binary64_4109`
4×	`unpow1/2_binary64_4234` `distribute-lft-out--_binary64_4122`
3×	`exp-lft-sqr_binary64_4225` `associate-/l*_binary64_4115`
2×	`div-sub_binary64_4175` `difference-of-squares_binary64_4139` `associate-/l/_binary64_4117` `associate-*r/_binary64_4112`
1×	`exp-diff_binary64_4218` `1-exp_binary64_4214` `exp-1-e_binary64_4213` `cube-unmult_binary64_4207` `remove-double-neg_binary64_4158` `count-2_binary64_4118`
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_4433` `erf-erfc_binary64_4432` `erf-odd_binary64_4431` `if-if-and-not_binary64_4430` `if-if-and_binary64_4429` `if-if-or-not_binary64_4428` `if-if-or_binary64_4427` `if-not_binary64_4426` `if-same_binary64_4425` `if-false_binary64_4424` `if-true_binary64_4423` `not-gte_binary64_4422` `not-lte_binary64_4421` `not-gt_binary64_4420` `not-lt_binary64_4419` `gte-same_binary64_4418` `lte-same_binary64_4417` `gt-same_binary64_4416` `lt-same_binary64_4415` `sinh---cosh_binary64_4362` `sinh-+-cosh_binary64_4361` `sinh-cosh_binary64_4360` `tanh-def-c_binary64_4359` `tanh-def-b_binary64_4358` `tanh-def-a_binary64_4357` `cosh-def_binary64_4356` `sinh-def_binary64_4355` `tan-neg_binary64_4302` `cos-neg_binary64_4301` `sin-neg_binary64_4300` `tan-0_binary64_4299` `cos-0_binary64_4298` `sin-0_binary64_4297` `hang-m-tan_binary64_4296` `hang-p-tan_binary64_4295` `hang-m0-tan_binary64_4294` `hang-p0-tan_binary64_4293` `hang-0m-tan_binary64_4292` `hang-0p-tan_binary64_4291` `tan-+PI/2_binary64_4290` `tan-+PI_binary64_4289` `tan-PI_binary64_4288` `tan-PI/3_binary64_4287` `tan-PI/4_binary64_4286` `tan-PI/6_binary64_4285` `cos-+PI/2_binary64_4284` `cos-+PI_binary64_4283` `cos-PI_binary64_4282` `cos-PI/2_binary64_4281` `cos-PI/3_binary64_4280` `cos-PI/4_binary64_4279` `cos-PI/6_binary64_4278` `sin-+PI/2_binary64_4277` `sin-+PI_binary64_4276` `sin-PI_binary64_4275` `sin-PI/2_binary64_4274` `sin-PI/3_binary64_4273` `sin-PI/4_binary64_4272` `sin-PI/6_binary64_4271` `sub-1-sin_binary64_4270` `sub-1-cos_binary64_4269` `-1-add-sin_binary64_4268` `-1-add-cos_binary64_4267` `1-sub-sin_binary64_4266` `1-sub-cos_binary64_4265` `cos-sin-sum_binary64_4264` `log-E_binary64_4260` `log-pow_binary64_4259` `log-rec_binary64_4258` `log-div_binary64_4257` `pow-base-0_binary64_4254` `unpow1/3_binary64_4237` `unpow2_binary64_4235` `pow-plus_binary64_4233` `exp-to-pow_binary64_4232` `pow-base-1_binary64_4230` `unpow0_binary64_4229` `unpow1_binary64_4228` `unpow-1_binary64_4227` `exp-lft-cube_binary64_4226` `exp-cbrt_binary64_4224` `exp-sqrt_binary64_4223` `div-exp_binary64_4221` `rec-exp_binary64_4220` `exp-neg_binary64_4217` `e-exp-1_binary64_4215` `exp-0_binary64_4212` `rem-log-exp_binary64_4211` `rem-exp-log_binary64_4210` `cube-div_binary64_4199` `cube-neg_binary64_4197` `rem-3cbrt-rft_binary64_4196` `rem-3cbrt-lft_binary64_4195` `rem-cbrt-cube_binary64_4194` `rem-cube-cbrt_binary64_4193` `sqr-abs_binary64_4185` `sqr-neg_binary64_4184` `rem-square-sqrt_binary64_4182` `times-frac_binary64_4176` `mul-1-neg_binary64_4162` `/-rgt-identity_binary64_4161` `--rgt-identity_binary64_4156` `+-lft-identity_binary64_4154` `mul0-rgt_binary64_4153` `mul0-lft_binary64_4152` `div0_binary64_4151` `-inverses_binary64_4150` `+-inverses_binary64_4149` `lft-mult-inverse_binary64_4148` `rgt-mult-inverse_binary64_4147` `remove-double-div_binary64_4146` `difference-of-sqr--1_binary64_4141` `difference-of-sqr-1_binary64_4140` `cancel-sign-sub_binary64_4135` `distribute-neg-frac_binary64_4134` `distribute-frac-neg_binary64_4133` `distribute-neg-out_binary64_4132` `distribute-rgt1-in_binary64_4126` `distribute-lft1-in_binary64_4125` `associate-/r/_binary64_4116` `associate-/r_binary64_4114` `associate-*l/_binary64_4113` `associate--l-_binary64_4108`

Counts

62 → 50

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	82	925
1	241	865
2	852	865
3	2617	865
4	4104	865
5	4887	865
6	4909	865

prune46.0ms (0.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	48	2	50
Fresh	1	2	3
Picked	1	0	1
Done	0	2	2
Total	50	6	56

Error

Counts

56 → 6

Compiler

Compiled 729 to 437 computations (40.1% saved)

regimes731.0ms (9.6%)

Accuracy

Total 0.1b remaining (90.4%)

Threshold costs 0.1b (90.4%)

Compiler

Compiled 7393 to 6226 computations (15.8% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64_4101`
3×	`+-commutative_binary64_4100`
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_4430` `if-if-and_binary64_4429` `if-if-or-not_binary64_4428` `if-if-or_binary64_4427` `if-not_binary64_4426` `if-same_binary64_4425` `if-false_binary64_4424` `if-true_binary64_4423` `tan-0_binary64_4299` `cos-0_binary64_4298` `sin-0_binary64_4297` `unpow1_binary64_4228` `e-exp-1_binary64_4215` `1-exp_binary64_4214` `exp-1-e_binary64_4213` `exp-0_binary64_4212` `sqr-abs_binary64_4185` `sqr-neg_binary64_4184` `neg-mul-1_binary64_4166` `neg-sub0_binary64_4165` `unsub-neg_binary64_4164` `sub-neg_binary64_4163` `mul-1-neg_binary64_4162` `/-rgt-identity_binary64_4161` `-rgt-identity_binary64_4160` `-lft-identity_binary64_4159` `remove-double-neg_binary64_4158` `sub0-neg_binary64_4157` `--rgt-identity_binary64_4156` `+-rgt-identity_binary64_4155` `+-lft-identity_binary64_4154` `cancel-sign-sub-inv_binary64_4136` `cancel-sign-sub_binary64_4135` `distribute-neg-frac_binary64_4134` `distribute-frac-neg_binary64_4133` `distribute-neg-out_binary64_4132` `distribute-neg-in_binary64_4131` `distribute-rgt-neg-out_binary64_4130` `distribute-lft-neg-out_binary64_4129` `distribute-rgt-neg-in_binary64_4128` `distribute-lft-neg-in_binary64_4127`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	22
1	21	22
2	21	22

end0.0ms (0%)

sample2.0s (26.6%)

Algorithm

1×

intervals

Results

294.0ms	7756×	body	128	valid
73.0ms	1950×	body	128	invalid
16.0ms	96×	body	1024	valid
12.0ms	86×	body	512	valid
4.0ms	62×	body	256	valid

Compiler

Compiled 1502 to 1264 computations (15.8% saved)

Details

analyze938.0ms (12.4%)

sample32.0ms (0.4%)

simplify15.0ms (0.2%)

prune4.0ms (0%)

localize9.0ms (0.1%)

rewrite71.0ms (0.9%)

series880.0ms (11.6%)

simplify75.0ms (1%)

prune78.0ms (1%)

localize13.0ms (0.2%)

rewrite92.0ms (1.2%)

series1.1s (14.4%)

simplify104.0ms (1.4%)

prune86.0ms (1.1%)

localize14.0ms (0.2%)

rewrite108.0ms (1.4%)

series466.0ms (6.2%)

simplify103.0ms (1.4%)

prune65.0ms (0.9%)

localize7.0ms (0.1%)

rewrite55.0ms (0.7%)

series374.0ms (4.9%)

simplify99.0ms (1.3%)

prune46.0ms (0.6%)

regimes731.0ms (9.6%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.0s (26.6%)

Profiling