Details

analyze545.0ms (8.5%)

Algorithm

1×	search
2×	egg-herbie

Rules

181×	`associate-+l+_binary64_4103`
122×	`associate-+r+_binary64_4102`
94×	`distribute-lft-out_binary64_4121`
67×	`+-commutative_binary64_4100`
66×	`distribute-rgt-in_binary64_4120`
52×	`*-commutative_binary64_4101`
44×	`distribute-rgt-out_binary64_4123`
10×	`distribute-lft-in_binary64_4119`
1×	`swap-d2-d3`
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` `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-l_binary64_4111` `associate-r*_binary64_4110` `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	28	76
1	56	64
2	125	40
3	260	40
4	375	40
5	357	40
6	355	40
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
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
37.4%	62.4%	0.1%	8
40.6%	57.7%	1.7%	9
45.2%	51.1%	3.7%	10
57.7%	33.5%	8.7%	11
59.7%	29.4%	10.9%	12
62%	25%	13%	13
68.3%	17.4%	14.4%	14

Symmetry

(sort d2 d3)

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample26.0ms (0.4%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
1.0ms	22×	body	128	invalid

Compiler

Compiled 27 to 26 computations (3.7% saved)

simplify11.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

61×	`associate-+l+_binary64_4103`
40×	`associate-+r+_binary64_4102`
34×	`distribute-lft-out_binary64_4121`
33×	`+-commutative_binary64_4100`
20×	`distribute-rgt-in_binary64_4120`
18×	`*-commutative_binary64_4101`
14×	`distribute-rgt-out_binary64_4123`
2×	`distribute-lft-in_binary64_4119`
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` `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-l_binary64_4111` `associate-r*_binary64_4110` `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: 2 (0.0ms)

Iter	Nodes	Cost
0	12	19
1	20	16
2	40	10
3	101	10
4	155	10
5	149	10
6	135	10

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 2

Compiler

Compiled 27 to 25 computations (7.4% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 d2 (+.f64 d3 37))
0.0b	(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))

rewrite55.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

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

Counts

2 → 39

Calls

2 calls:

9.0ms	(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
6.0ms	(+.f64 d2 (+.f64 d3 37))

Compiler

Compiled 530 to 342 computations (35.5% saved)

series220.0ms (3.4%)

Error

0.0b

Counts

2 → 27

Calls

2 calls:

146.0ms	(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
57.0ms	(+.f64 d2 (+.f64 d3 37))

Compiler

Compiled 475 to 362 computations (23.8% saved)

simplify87.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

818×	`distribute-rgt-in_binary64_4120`
784×	`distribute-lft-in_binary64_4119`
384×	`associate-l_binary64_4111`
303×	`sub-neg_binary64_4163`
299×	`associate-r_binary64_4110`
215×	`distribute-rgt-out_binary64_4123`
194×	`cancel-sign-sub-inv_binary64_4136`
169×	`distribute-lft-out_binary64_4121`
124×	`unswap-sqr_binary64_4138`
110×	`associate--l+_binary64_4107`
107×	`*-commutative_binary64_4101`
95×	`sqr-pow_binary64_4142`
89×	`rem-sqrt-square_binary64_4183`
84×	`associate-+l+_binary64_4103`
81×	`associate--r+_binary64_4106`
78×	`associate-+r+_binary64_4102`
70×	`unsub-neg_binary64_4164`
62×	`associate-+l-_binary64_4105`
52×	`exp-prod_binary64_4222`
49×	`neg-mul-1_binary64_4166`
48×	`neg-sub0_binary64_4165` `distribute-neg-in_binary64_4131`
47×	`associate-+r-_binary64_4104`
35×	`*-lft-identity_binary64_4159`
32×	`sub0-neg_binary64_4157`
31×	`*-rgt-identity_binary64_4160`
27×	`+-rgt-identity_binary64_4155`
25×	`+-commutative_binary64_4100`
22×	`exp-sum_binary64_4216` `pow-sqr_binary64_4143` `swap-sqr_binary64_4137`
19×	`distribute-lft-neg-out_binary64_4129`
16×	`distribute-rgt-neg-out_binary64_4130` `distribute-rgt-neg-in_binary64_4128`
14×	`unpow1/2_binary64_4234`
13×	`distribute-lft-neg-in_binary64_4127` `distribute-rgt-out--_binary64_4124`
9×	`log-prod_binary64_4256` `cube-unmult_binary64_4207`
8×	`associate--l-_binary64_4108`
6×	`unpow3_binary64_4236`
5×	`prod-exp_binary64_4219`
4×	`cube-prod_binary64_4198` `difference-of-squares_binary64_4139`
2×	`pow-plus_binary64_4233` `exp-diff_binary64_4218` `cube-mult_binary64_4200` `sqr-neg_binary64_4184` `associate-/l*_binary64_4115` `associate--r-_binary64_4109`
1×	`1-exp_binary64_4214` `exp-1-e_binary64_4213` `div-sub_binary64_4175` `remove-double-neg_binary64_4158` `count-2_binary64_4118` `associate-/l/_binary64_4117` `associate-*r/_binary64_4112`
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` `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` `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` `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` `distribute-lft-out--_binary64_4122` `associate-/r/_binary64_4116` `associate-/r_binary64_4114` `associate-*l/_binary64_4113`

Counts

66 → 35

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	69	688
1	195	631
2	720	631
3	2786	631
4	4066	631
5	4942	631
6	4991	631

prune31.0ms (0.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	34	1	35
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	34	3	37

Error

0.0b

Counts

37 → 3

Compiler

Compiled 429 to 283 computations (34% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (+.f64 d3 5) d1)
0.0b	(+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1))
0.0b	(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))

rewrite74.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`
4×	`sum-log_binary64_4261` `associate-l_binary64_4111`
3×	`flip3-+_binary64_4173` `flip-+_binary64_4144` `associate-r_binary64_4110`
2×	`+-commutative_binary64_4100` `associate-*l/_binary64_4113`
1×	`associate-+l+_binary64_4103` `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 → 45

Calls

3 calls:

7.0ms	(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
6.0ms	(*.f64 (+.f64 d3 5) d1)
4.0ms	(+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1))

Compiler

Compiled 1001 to 590 computations (41.1% saved)

series523.0ms (8.2%)

Error

0.0b

Counts

3 → 39

Calls

3 calls:

212.0ms	(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
202.0ms	(+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1))
83.0ms	(*.f64 (+.f64 d3 5) d1)

Compiler

Compiled 1100 to 775 computations (29.5% saved)

simplify88.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

686×	`distribute-rgt-in_binary64_4120`
654×	`distribute-lft-in_binary64_4119`
318×	`cancel-sign-sub-inv_binary64_4136`
283×	`*-commutative_binary64_4101`
257×	`unsub-neg_binary64_4164`
220×	`distribute-neg-in_binary64_4131`
218×	`neg-mul-1_binary64_4166`
212×	`neg-sub0_binary64_4165`
199×	`associate-+l+_binary64_4103`
159×	`associate-+r+_binary64_4102`
157×	`sub-neg_binary64_4163`
147×	`distribute-rgt-neg-in_binary64_4128`
118×	`distribute-lft-neg-in_binary64_4127`
99×	`exp-sum_binary64_4216`
92×	`associate-l_binary64_4111`
89×	`distribute-rgt-out--_binary64_4124`
83×	`associate-r_binary64_4110`
79×	`distribute-rgt-out_binary64_4123`
68×	`+-commutative_binary64_4100`
66×	`unswap-sqr_binary64_4138`
64×	`distribute-lft-neg-out_binary64_4129`
62×	`sqr-pow_binary64_4142`
61×	`associate--r+_binary64_4106`
50×	`exp-prod_binary64_4222`
48×	`distribute-lft-out_binary64_4121`
46×	`associate--l+_binary64_4107`
42×	`distribute-rgt-neg-out_binary64_4130`
27×	`cube-prod_binary64_4198`
24×	`swap-sqr_binary64_4137`
22×	`-rgt-identity_binary64_4160` `-lft-identity_binary64_4159`
19×	`associate-+r-_binary64_4104`
18×	`log-prod_binary64_4256`
14×	`+-rgt-identity_binary64_4155` `associate-+l-_binary64_4105`
12×	`unpow3_binary64_4236`
10×	`cube-mult_binary64_4200`
8×	`sub0-neg_binary64_4157` `pow-sqr_binary64_4143` `distribute-lft-out--_binary64_4122`
6×	`difference-of-squares_binary64_4139` `distribute-neg-out_binary64_4132`
5×	`prod-exp_binary64_4219`
2×	`unpow1/2_binary64_4234` `exp-diff_binary64_4218` `rem-sqrt-square_binary64_4183`
1×	`1-exp_binary64_4214` `exp-1-e_binary64_4213` `cube-unmult_binary64_4207`
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-lft-sqr_binary64_4225` `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` `div-sub_binary64_4175` `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-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

84 → 53

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	1135
1	314	994
2	1051	901
3	3703	901
4	4542	901
5	4992	901

prune54.0ms (0.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	52	1	53
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	53	3	56

Error

0.0b

Counts

56 → 3

Compiler

Compiled 831 to 533 computations (35.9% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.7b	(*.f64 (cbrt.f64 (+.f64 d3 5)) (cbrt.f64 (+.f64 d3 5)))
0.8b	(cbrt.f64 (+.f64 d3 5))
0.8b	(cbrt.f64 (+.f64 d3 5))
0.8b	(cbrt.f64 (+.f64 d3 5))

rewrite192.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

36×	`cbrt-prod_binary64_4201`
35×	`*-un-lft-identity_binary64_4170`
23×	`add-sqr-sqrt_binary64_4192`
18×	`cbrt-div_binary64_4202`
15×	`add-cube-cbrt_binary64_4205`
11×	`pow1_binary64_4231`
9×	`pow1/3_binary64_4252` `flip3-+_binary64_4173` `flip-+_binary64_4144` `distribute-lft-out_binary64_4121` `swap-sqr_binary64_4137`
7×	`associate-l_binary64_4111` `associate-r_binary64_4110`
6×	`add-exp-log_binary64_4208`
4×	`add-log-exp_binary64_4209` `add-cbrt-cube_binary64_4206` `frac-times_binary64_4180` `unswap-sqr_binary64_4138`
2×	`pow-prod-down_binary64_4241` `pow-prod-up_binary64_4240` `pow-sqr_binary64_4143` `associate-l/_binary64_4113` `associate-r/_binary64_4112`
1×	`pow2_binary64_4251` `pow-plus_binary64_4233` `prod-exp_binary64_4219` `cbrt-unprod_binary64_4203` `*-commutative_binary64_4101`

Counts

4 → 95

Calls

4 calls:

11.0ms	(*.f64 (cbrt.f64 (+.f64 d3 5)) (cbrt.f64 (+.f64 d3 5)))
4.0ms	(cbrt.f64 (+.f64 d3 5))
3.0ms	(cbrt.f64 (+.f64 d3 5))
3.0ms	(cbrt.f64 (+.f64 d3 5))

Compiler

Compiled 3023 to 2145 computations (29% saved)

series391.0ms (6.1%)

Error

0.0b

Counts

4 → 34

Calls

4 calls:

102.0ms	(*.f64 (cbrt.f64 (+.f64 d3 5)) (cbrt.f64 (+.f64 d3 5)))
77.0ms	(cbrt.f64 (+.f64 d3 5))
75.0ms	(cbrt.f64 (+.f64 d3 5))
75.0ms	(cbrt.f64 (+.f64 d3 5))

Compiler

Compiled 2636 to 2155 computations (18.2% saved)

simplify171.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

491×	`cancel-sign-sub-inv_binary64_4136`
418×	`associate-l_binary64_4111`
375×	`associate-r_binary64_4110`
367×	`unswap-sqr_binary64_4138`
251×	`distribute-lft-out_binary64_4121`
243×	`distribute-rgt-out_binary64_4123`
190×	`distribute-rgt-neg-in_binary64_4128`
186×	`distribute-lft-neg-in_binary64_4127`
170×	`*-commutative_binary64_4101`
111×	`distribute-rgt-out--_binary64_4124`
94×	`sub-neg_binary64_4163`
85×	`exp-prod_binary64_4222`
81×	`sqr-pow_binary64_4142`
80×	`distribute-lft-out--_binary64_4122`
78×	`log-prod_binary64_4256`
62×	`+-commutative_binary64_4100`
40×	`associate-+l+_binary64_4103`
39×	`neg-sub0_binary64_4165`
38×	`neg-mul-1_binary64_4166`
36×	`associate-+r+_binary64_4102`
31×	`distribute-rgt-in_binary64_4120`
27×	`distribute-lft-in_binary64_4119` `associate--l+_binary64_4107`
26×	`log-pow_binary64_4259` `swap-sqr_binary64_4137`
21×	`unpow3_binary64_4236` `associate-+r-_binary64_4104`
20×	`pow-plus_binary64_4233` `cube-prod_binary64_4198` `unsub-neg_binary64_4164` `+-rgt-identity_binary64_4155`
17×	`exp-sum_binary64_4216` `-rgt-identity_binary64_4160` `-lft-identity_binary64_4159`
16×	`cube-unmult_binary64_4207` `associate-+l-_binary64_4105`
14×	`pow-sqr_binary64_4143`
12×	`log-div_binary64_4257`
11×	`unpow1/3_binary64_4237`
10×	`distribute-rgt1-in_binary64_4126` `associate-/r*_binary64_4114`
9×	`sub0-neg_binary64_4157`
7×	`exp-diff_binary64_4218`
6×	`rem-sqrt-square_binary64_4183` `div-sub_binary64_4175` `distribute-rgt-neg-out_binary64_4130` `distribute-lft-neg-out_binary64_4129`
5×	`exp-to-pow_binary64_4232` `distribute-neg-in_binary64_4131`
4×	`log-rec_binary64_4258` `unpow2_binary64_4235` `distribute-lft1-in_binary64_4125` `associate-/l*_binary64_4115`
3×	`unpow1/2_binary64_4234` `rem-exp-log_binary64_4210` `associate--r-_binary64_4109`
2×	`exp-neg_binary64_4217` `rem-3cbrt-lft_binary64_4195` `+-lft-identity_binary64_4154` `count-2_binary64_4118` `associate--r+_binary64_4106`
1×	`log-E_binary64_4260` `unpow1_binary64_4228` `rec-exp_binary64_4220` `prod-exp_binary64_4219` `1-exp_binary64_4214` `exp-1-e_binary64_4213` `cube-mult_binary64_4200` `rem-3cbrt-rft_binary64_4196` `rem-square-sqrt_binary64_4182` `remove-double-neg_binary64_4158` `+-inverses_binary64_4149` `associate-/l/_binary64_4117`
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` `pow-base-0_binary64_4254` `pow-base-1_binary64_4230` `unpow0_binary64_4229` `unpow-1_binary64_4227` `exp-lft-cube_binary64_4226` `exp-lft-sqr_binary64_4225` `exp-cbrt_binary64_4224` `exp-sqrt_binary64_4223` `div-exp_binary64_4221` `e-exp-1_binary64_4215` `exp-0_binary64_4212` `rem-log-exp_binary64_4211` `cube-div_binary64_4199` `cube-neg_binary64_4197` `rem-cbrt-cube_binary64_4194` `rem-cube-cbrt_binary64_4193` `sqr-abs_binary64_4185` `sqr-neg_binary64_4184` `times-frac_binary64_4176` `mul-1-neg_binary64_4162` `/-rgt-identity_binary64_4161` `--rgt-identity_binary64_4156` `mul0-rgt_binary64_4153` `mul0-lft_binary64_4152` `div0_binary64_4151` `-inverses_binary64_4150` `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-neg-frac_binary64_4134` `distribute-frac-neg_binary64_4133` `distribute-neg-out_binary64_4132` `associate-/r/_binary64_4116` `associate-l/_binary64_4113` `associate-*r/_binary64_4112` `associate--l-_binary64_4108`

Counts

129 → 116

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	138	2127
1	303	2027
2	763	1886
3	2273	1840
4	4858	1767
5	4985	1767
6	4999	1767
7	4899	1767

prune192.0ms (3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	116	0	116
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	116	3	119

Error

0.0b

Counts

119 → 3

Compiler

Compiled 3391 to 2346 computations (30.8% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (cbrt.f64 (+.f64 d3 (+.f64 d2 37))) (cbrt.f64 (+.f64 d3 (+.f64 d2 37))))
0.7b	(cbrt.f64 (+.f64 d3 (+.f64 d2 37)))
0.7b	(cbrt.f64 (+.f64 d3 (+.f64 d2 37)))
0.7b	(cbrt.f64 (+.f64 d2 (+.f64 d3 37)))

rewrite225.0ms (3.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

74×	`*-un-lft-identity_binary64_4170`
51×	`cbrt-prod_binary64_4201`
33×	`distribute-lft-out_binary64_4121`
23×	`add-sqr-sqrt_binary64_4192`
18×	`cbrt-div_binary64_4202`
15×	`add-cube-cbrt_binary64_4205`
14×	`swap-sqr_binary64_4137`
11×	`pow1_binary64_4231`
9×	`pow1/3_binary64_4252` `flip3-+_binary64_4173` `flip-+_binary64_4144`
8×	`associate-l_binary64_4111` `associate-r_binary64_4110`
6×	`add-exp-log_binary64_4208`
4×	`add-log-exp_binary64_4209` `add-cbrt-cube_binary64_4206` `frac-times_binary64_4180` `unswap-sqr_binary64_4138`
2×	`pow-prod-down_binary64_4241` `pow-prod-up_binary64_4240` `pow-sqr_binary64_4143` `associate-l/_binary64_4113` `associate-r/_binary64_4112`
1×	`pow2_binary64_4251` `pow-plus_binary64_4233` `prod-exp_binary64_4219` `cbrt-unprod_binary64_4203` `*-commutative_binary64_4101`

Counts

4 → 105

Calls

4 calls:

20.0ms	(*.f64 (cbrt.f64 (+.f64 d3 (+.f64 d2 37))) (cbrt.f64 (+.f64 d3 (+.f64 d2 37))))
5.0ms	(cbrt.f64 (+.f64 d3 (+.f64 d2 37)))
5.0ms	(cbrt.f64 (+.f64 d3 (+.f64 d2 37)))
5.0ms	(cbrt.f64 (+.f64 d2 (+.f64 d3 37)))

Compiler

Compiled 3308 to 2350 computations (29% saved)

series1.5s (22.9%)

Error

0.0b

Counts

4 → 60

Calls

4 calls:

566.0ms	(*.f64 (cbrt.f64 (+.f64 d3 (+.f64 d2 37))) (cbrt.f64 (+.f64 d3 (+.f64 d2 37))))
286.0ms	(cbrt.f64 (+.f64 d3 (+.f64 d2 37)))
232.0ms	(cbrt.f64 (+.f64 d3 (+.f64 d2 37)))
226.0ms	(cbrt.f64 (+.f64 d2 (+.f64 d3 37)))

Compiler

Compiled 6808 to 5699 computations (16.3% saved)

simplify133.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

594×	`cancel-sign-sub-inv_binary64_4136`
377×	`unswap-sqr_binary64_4138`
369×	`associate-r_binary64_4110`
280×	`associate-l_binary64_4111`
200×	`sub-neg_binary64_4163`
199×	`*-commutative_binary64_4101`
145×	`+-commutative_binary64_4100`
132×	`sqr-pow_binary64_4142`
128×	`associate-+r+_binary64_4102`
122×	`distribute-neg-in_binary64_4131`
109×	`associate-+l+_binary64_4103`
72×	`associate--l+_binary64_4107`
66×	`associate--r+_binary64_4106`
62×	`neg-mul-1_binary64_4166` `neg-sub0_binary64_4165`
54×	`distribute-rgt-in_binary64_4120`
50×	`distribute-lft-in_binary64_4119`
42×	`unsub-neg_binary64_4164`
27×	`unpow1/3_binary64_4237`
16×	`exp-prod_binary64_4222`
15×	`distribute-rgt-out_binary64_4123` `associate-/r*_binary64_4114`
14×	`log-prod_binary64_4256`
12×	`distribute-rgt-neg-in_binary64_4128`
11×	`cube-unmult_binary64_4207` `cube-prod_binary64_4198`
10×	`exp-sum_binary64_4216`
9×	`*-rgt-identity_binary64_4160`
8×	`*-lft-identity_binary64_4159` `difference-of-squares_binary64_4139` `swap-sqr_binary64_4137` `distribute-lft-neg-in_binary64_4127`
6×	`pow-sqr_binary64_4143`
4×	`unpow3_binary64_4236` `unpow2_binary64_4235` `unpow1/2_binary64_4234` `unpow1_binary64_4228` `cube-mult_binary64_4200` `distribute-lft-neg-out_binary64_4129`
3×	`log-pow_binary64_4259` `pow-plus_binary64_4233` `rem-3cbrt-lft_binary64_4195` `rem-sqrt-square_binary64_4183`
2×	`log-div_binary64_4257` `exp-diff_binary64_4218` `div-sub_binary64_4175` `distribute-rgt-out--_binary64_4124` `associate--r-_binary64_4109` `associate-+l-_binary64_4105` `associate-+r-_binary64_4104`
1×	`1-exp_binary64_4214` `exp-1-e_binary64_4213` `rem-3cbrt-rft_binary64_4196` `rem-square-sqrt_binary64_4182` `+-inverses_binary64_4149` `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-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-lft-sqr_binary64_4225` `exp-cbrt_binary64_4224` `exp-sqrt_binary64_4223` `div-exp_binary64_4221` `rec-exp_binary64_4220` `prod-exp_binary64_4219` `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-cbrt-cube_binary64_4194` `rem-cube-cbrt_binary64_4193` `sqr-abs_binary64_4185` `sqr-neg_binary64_4184` `times-frac_binary64_4176` `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` `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-rgt-neg-out_binary64_4130` `distribute-rgt1-in_binary64_4126` `distribute-lft1-in_binary64_4125` `distribute-lft-out--_binary64_4122` `distribute-lft-out_binary64_4121` `associate-/l/_binary64_4117` `associate-/r/_binary64_4116` `associate-/l_binary64_4115` `associate-l/_binary64_4113` `associate-r/_binary64_4112` `associate--l-_binary64_4108`

Counts

165 → 152

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	345	5063
1	917	4849
2	3094	4619
3	5003	4619

prune313.0ms (4.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	152	3	155

Error

0.0b

Counts

155 → 3

Compiler

Compiled 5182 to 3738 computations (27.9% saved)

regimes351.0ms (5.5%)

Accuracy

Total 0.0b remaining (90.4%)

Threshold costs 0.0b (90.4%)

Compiler

Compiled 3280 to 2817 computations (14.1% saved)

bsearch0.0ms (0%)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64_4100`
1×	`*-commutative_binary64_4101`
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	8	10
1	11	10
2	11	10

Remove

(sort d2 d3)

Compiler

Compiled 14 to 14 computations (0% saved)

end0.0ms (0%)

sample1.2s (18.7%)

Algorithm

1×

intervals

Results

260.0ms	7967×	body	128	valid
29.0ms	682×	body	128	invalid
1.0ms	16×	body	512	valid
1.0ms	9×	body	1024	valid
0.0ms	8×	body	256	valid

Compiler

Compiled 614 to 529 computations (13.8% saved)

Details

analyze545.0ms (8.5%)

sample26.0ms (0.4%)

simplify11.0ms (0.2%)

prune4.0ms (0.1%)

localize5.0ms (0.1%)

rewrite55.0ms (0.9%)

series220.0ms (3.4%)

simplify87.0ms (1.4%)

prune31.0ms (0.5%)

localize9.0ms (0.1%)

rewrite74.0ms (1.2%)

series523.0ms (8.2%)

simplify88.0ms (1.4%)

prune54.0ms (0.9%)

localize12.0ms (0.2%)

rewrite192.0ms (3%)

series391.0ms (6.1%)

simplify171.0ms (2.7%)

prune192.0ms (3%)

localize12.0ms (0.2%)

rewrite225.0ms (3.5%)

series1.5s (22.9%)

simplify133.0ms (2.1%)

prune313.0ms (4.9%)

regimes351.0ms (5.5%)

bsearch0.0ms (0%)

simplify9.0ms (0.1%)

end0.0ms (0%)

sample1.2s (18.7%)

Profiling