Details

analyze948.0ms (5%)

Algorithm

1×	search
2×	egg-herbie

Rules

736×	`distribute-rgt-in_binary64_4120`
734×	`distribute-lft-in_binary64_4119`
592×	`associate-l_binary64_4111`
568×	`unsub-neg_binary64_4164`
518×	`associate-r_binary64_4110`
221×	`neg-sub0_binary64_4165`
141×	`neg-mul-1_binary64_4166` `associate-+l+_binary64_4103`
127×	`distribute-rgt-neg-out_binary64_4130` `distribute-lft-neg-out_binary64_4129`
107×	`associate-*r/_binary64_4112`
105×	`associate-*l/_binary64_4113`
84×	`*-commutative_binary64_4101`
70×	`div-sub_binary64_4175`
52×	`associate-/l*_binary64_4115`
32×	`sub-neg_binary64_4163`
24×	`distribute-lft-neg-in_binary64_4127`
22×	`distribute-rgt-neg-in_binary64_4128` `associate-+l-_binary64_4105`
20×	`associate-+r-_binary64_4104` `+-commutative_binary64_4100`
16×	`associate-/r/_binary64_4116`
14×	`associate-+r+_binary64_4102`
12×	`distribute-rgt-out_binary64_4123` `distribute-lft-out_binary64_4121`
8×	`distribute-neg-in_binary64_4131` `associate-/r*_binary64_4114`
5×	`sub0-neg_binary64_4157`
4×	`+-rgt-identity_binary64_4155` `associate--r+_binary64_4106`
3×	`distribute-neg-frac_binary64_4134`
2×	`distribute-rgt1-in_binary64_4126` `distribute-lft1-in_binary64_4125` `associate--r-_binary64_4109`
1×	`1-exp_binary64_4214`
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` `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` `mul-1-neg_binary64_4162` `/-rgt-identity_binary64_4161` `-rgt-identity_binary64_4160` `-lft-identity_binary64_4159` `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` `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-frac-neg_binary64_4133` `distribute-neg-out_binary64_4132` `distribute-rgt-out--_binary64_4124` `distribute-lft-out--_binary64_4122` `count-2_binary64_4118` `associate-/l/_binary64_4117` `associate--l-_binary64_4108` `associate--l+_binary64_4107`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	160
1	120	160
2	303	160
3	994	154
4	4495	154
5	5431	154
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
50%	50%	0.1%	4
74.9%	25%	0.1%	5
74.9%	25%	0.1%	6
74.9%	25%	0.1%	7
74.9%	25%	0.1%	8
74.9%	25%	0.1%	9
74.9%	25%	0.1%	10
74.9%	25%	0.1%	11
74.9%	25%	0.1%	12
74.9%	25%	0.1%	13
74.9%	25%	0.1%	14

Compiler

Compiled 51 to 41 computations (19.6% saved)

sample166.0ms (0.9%)

Algorithm

1×

intervals

Results

89.0ms	99×	body	1024	valid
31.0ms	46×	body	512	valid
20.0ms	88×	body	128	valid
9.0ms	22×	body	256	valid
1.0ms	1×	body	2048	valid

Compiler

Compiled 101 to 83 computations (17.8% saved)

simplify51.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

444×	`distribute-rgt-neg-out_binary64_4130`
438×	`distribute-lft-neg-out_binary64_4129`
418×	`distribute-rgt-in_binary64_4120`
417×	`distribute-lft-in_binary64_4119`
358×	`associate-*l/_binary64_4113`
350×	`unsub-neg_binary64_4164`
275×	`associate-l_binary64_4111`
239×	`associate-r_binary64_4110`
176×	`div-sub_binary64_4175`
148×	`*-commutative_binary64_4101`
124×	`distribute-neg-out_binary64_4132`
117×	`associate-/l*_binary64_4115`
103×	`neg-sub0_binary64_4165`
86×	`distribute-rgt-out_binary64_4123`
84×	`distribute-lft-out_binary64_4121`
64×	`associate-+l+_binary64_4103`
61×	`neg-mul-1_binary64_4166`
60×	`associate-+r+_binary64_4102`
58×	`associate-*r/_binary64_4112`
50×	`sub-neg_binary64_4163`
40×	`distribute-lft-neg-in_binary64_4127`
34×	`distribute-rgt-neg-in_binary64_4128`
28×	`times-frac_binary64_4176`
27×	`distribute-neg-in_binary64_4131`
26×	`+-commutative_binary64_4100`
24×	`associate-/r/_binary64_4116`
23×	`cancel-sign-sub-inv_binary64_4136`
20×	`mul0-rgt_binary64_4153` `mul0-lft_binary64_4152`
14×	`associate-/r*_binary64_4114`
12×	`mul-1-neg_binary64_4162`
11×	`distribute-frac-neg_binary64_4133` `associate-+l-_binary64_4105`
9×	`associate-+r-_binary64_4104`
7×	`sub0-neg_binary64_4157`
5×	`distribute-neg-frac_binary64_4134`
3×	`+-rgt-identity_binary64_4155` `associate-/l/_binary64_4117`
2×	`remove-double-neg_binary64_4158` `distribute-rgt1-in_binary64_4126` `distribute-lft1-in_binary64_4125`
1×	`1-exp_binary64_4214` `div0_binary64_4151`
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` `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` `/-rgt-identity_binary64_4161` `-rgt-identity_binary64_4160` `-lft-identity_binary64_4159` `--rgt-identity_binary64_4156` `+-lft-identity_binary64_4154` `*-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_binary64_4135` `distribute-rgt-out--_binary64_4124` `distribute-lft-out--_binary64_4122` `count-2_binary64_4118` `associate--r-_binary64_4109` `associate--l-_binary64_4108` `associate--l+_binary64_4107` `associate--r+_binary64_4106`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	33	80
1	80	80
2	190	80
3	581	77
4	2012	77
5	4670	77
6	4940	77

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

Counts

2 → 2

Compiler

Compiled 146 to 116 computations (20.5% saved)

localize37.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
0.7b	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
1.0b	(-.f64 3 (sqrt.f64 5))
1.9b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite519.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

47×	`cancel-sign-sub-inv_binary64_4136`
44×	`add-sqr-sqrt_binary64_4192`
35×	`*-un-lft-identity_binary64_4170`
30×	`distribute-rgt-in_binary64_4120` `distribute-lft-in_binary64_4119`
29×	`add-cube-cbrt_binary64_4205`
19×	`times-frac_binary64_4176`
11×	`pow1_binary64_4231` `add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206`
9×	`associate-l_binary64_4111`
8×	`add-log-exp_binary64_4209` `sub-neg_binary64_4163` `sqrt-prod_binary64_4186`
7×	`associate-r_binary64_4110`
6×	`associate-*r/_binary64_4112`
5×	`difference-of-squares_binary64_4139`
4×	`flip3--_binary64_4174` `flip--_binary64_4145` `pow-prod-down_binary64_4241` `prod-exp_binary64_4219` `cbrt-unprod_binary64_4203`
3×	`distribute-lft-out--_binary64_4122`
2×	`diff-log_binary64_4262` `*-commutative_binary64_4101` `unswap-sqr_binary64_4138` `div-inv_binary64_4167`
1×	`diff-cos_binary64_4321`

Counts

4 → 128

Calls

4 calls:

15.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
11.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
5.0ms	(-.f64 3 (sqrt.f64 5))
5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

Compiler

Compiled 7300 to 4859 computations (33.4% saved)

series614.0ms (3.2%)

Error

0.3b

Counts

4 → 30

Calls

4 calls:

250.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
162.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
117.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
0.0ms	(-.f64 3 (sqrt.f64 5))

Compiler

Compiled 3760 to 2873 computations (23.6% saved)

simplify137.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

415×	`distribute-rgt-in_binary64_4120`
339×	`cancel-sign-sub-inv_binary64_4136`
301×	`associate-r_binary64_4110`
295×	`associate-l_binary64_4111`
238×	`*-commutative_binary64_4101`
193×	`sub-neg_binary64_4163`
177×	`exp-prod_binary64_4222`
172×	`distribute-rgt-neg-in_binary64_4128`
154×	`distribute-lft-neg-out_binary64_4129`
141×	`distribute-rgt-neg-out_binary64_4130`
135×	`neg-sub0_binary64_4165`
128×	`distribute-lft-neg-in_binary64_4127`
126×	`neg-mul-1_binary64_4166`
94×	`+-commutative_binary64_4100`
68×	`associate-*l/_binary64_4113`
62×	`associate-*r/_binary64_4112`
55×	`sqr-pow_binary64_4142` `distribute-neg-frac_binary64_4134`
54×	`unsub-neg_binary64_4164`
52×	`times-frac_binary64_4176`
51×	`associate--l+_binary64_4107`
50×	`*-rgt-identity_binary64_4160`
47×	`*-lft-identity_binary64_4159`
46×	`associate--r+_binary64_4106`
45×	`distribute-neg-in_binary64_4131`
37×	`unswap-sqr_binary64_4138`
35×	`associate-+l+_binary64_4103`
29×	`distribute-lft-in_binary64_4119`
28×	`distribute-rgt-out_binary64_4123` `distribute-lft-out--_binary64_4122`
26×	`associate-+r+_binary64_4102`
24×	`distribute-frac-neg_binary64_4133`
23×	`log-prod_binary64_4256`
22×	`cube-prod_binary64_4198` `distribute-rgt-out--_binary64_4124` `associate-/l*_binary64_4115`
21×	`unpow3_binary64_4236`
20×	`swap-sqr_binary64_4137`
19×	`div-sub_binary64_4175`
15×	`cube-unmult_binary64_4207`
11×	`exp-sum_binary64_4216`
10×	`associate-/l/_binary64_4117`
9×	`mul-1-neg_binary64_4162`
8×	`cube-mult_binary64_4200`
7×	`difference-of-squares_binary64_4139` `distribute-lft-out_binary64_4121`
6×	`rem-square-sqrt_binary64_4182` `associate-/r*_binary64_4114`
5×	`exp-diff_binary64_4218` `rem-3cbrt-lft_binary64_4195`
4×	`pow-plus_binary64_4233` `rem-sqrt-square_binary64_4183` `+-rgt-identity_binary64_4155` `associate-+r-_binary64_4104`
3×	`unpow1/2_binary64_4234` `/-rgt-identity_binary64_4161` `associate-/r/_binary64_4116`
2×	`unpow2_binary64_4235` `unpow1_binary64_4228` `div-exp_binary64_4221` `pow-sqr_binary64_4143` `difference-of-sqr--1_binary64_4141` `difference-of-sqr-1_binary64_4140`
1×	`1-exp_binary64_4214` `exp-1-e_binary64_4213` `cube-div_binary64_4199` `div0_binary64_4151`
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` `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` `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-neg_binary64_4197` `rem-3cbrt-rft_binary64_4196` `rem-cbrt-cube_binary64_4194` `rem-cube-cbrt_binary64_4193` `sqr-abs_binary64_4185` `sqr-neg_binary64_4184` `remove-double-neg_binary64_4158` `sub0-neg_binary64_4157` `--rgt-identity_binary64_4156` `+-lft-identity_binary64_4154` `mul0-rgt_binary64_4153` `mul0-lft_binary64_4152` `*-inverses_binary64_4150` `+-inverses_binary64_4149` `lft-mult-inverse_binary64_4148` `rgt-mult-inverse_binary64_4147` `remove-double-div_binary64_4146` `cancel-sign-sub_binary64_4135` `distribute-neg-out_binary64_4132` `distribute-rgt1-in_binary64_4126` `distribute-lft1-in_binary64_4125` `count-2_binary64_4118` `associate--r-_binary64_4109` `associate--l-_binary64_4108` `associate-+l-_binary64_4105`

Counts

158 → 111

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	383	3186
1	944	2983
2	2861	2752
3	4943	2752
4	5019	2752

prune400.0ms (2.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	105	6	111
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	106	7	113

Error

0.2b

Counts

113 → 7

Compiler

Compiled 6285 to 4238 computations (32.6% saved)

localize34.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(+.f64 (.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 (sqrt.f64 5) 3)))) (.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1))))
0.4b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
0.7b	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
1.9b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite581.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

53×	`cancel-sign-sub-inv_binary64_4136`
46×	`distribute-rgt-in_binary64_4120` `distribute-lft-in_binary64_4119`
42×	`add-sqr-sqrt_binary64_4192`
35×	`*-un-lft-identity_binary64_4170`
31×	`add-cube-cbrt_binary64_4205`
19×	`times-frac_binary64_4176`
16×	`associate-+r+_binary64_4102`
14×	`associate-*r/_binary64_4112`
11×	`pow1_binary64_4231` `add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206` `sub-neg_binary64_4163`
9×	`associate-l_binary64_4111`
8×	`add-log-exp_binary64_4209`
7×	`associate-r_binary64_4110`
4×	`flip3--_binary64_4174` `flip--_binary64_4145` `pow-prod-down_binary64_4241` `prod-exp_binary64_4219` `cbrt-unprod_binary64_4203` `sqrt-prod_binary64_4186`
3×	`difference-of-squares_binary64_4139`
2×	`distribute-lft-out--_binary64_4122` `*-commutative_binary64_4101` `unswap-sqr_binary64_4138` `div-inv_binary64_4167` `frac-add_binary64_4178`
1×	`diff-cos_binary64_4321` `diff-log_binary64_4262` `sum-log_binary64_4261` `flip3-+_binary64_4173` `flip-+_binary64_4144` `+-commutative_binary64_4100`

Counts

4 → 137

Calls

4 calls:

18.0ms	(+.f64 (.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 (sqrt.f64 5) 3)))) (.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1))))
16.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
13.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

Compiler

Compiled 8324 to 5658 computations (32% saved)

series1.1s (6%)

Error

0.2b

Counts

4 → 42

Calls

4 calls:

481.0ms	(+.f64 (.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 (sqrt.f64 5) 3)))) (.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1))))
250.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
158.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
119.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))

Compiler

Compiled 5584 to 4289 computations (23.2% saved)

simplify134.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

591×	`cancel-sign-sub-inv_binary64_4136`
399×	`associate-r_binary64_4110`
382×	`associate-l_binary64_4111`
292×	`sub-neg_binary64_4163`
278×	`*-commutative_binary64_4101`
150×	`times-frac_binary64_4176`
147×	`neg-sub0_binary64_4165`
144×	`+-commutative_binary64_4100`
137×	`neg-mul-1_binary64_4166`
105×	`associate--l+_binary64_4107`
83×	`associate--r+_binary64_4106`
77×	`unsub-neg_binary64_4164`
76×	`distribute-rgt-in_binary64_4120`
75×	`associate-*l/_binary64_4113`
72×	`sqr-pow_binary64_4142`
71×	`associate-*r/_binary64_4112`
67×	`associate-+l+_binary64_4103`
65×	`distribute-lft-in_binary64_4119`
57×	`*-rgt-identity_binary64_4160`
56×	`associate-+r+_binary64_4102`
53×	`*-lft-identity_binary64_4159`
50×	`exp-prod_binary64_4222`
47×	`distribute-lft-neg-out_binary64_4129`
46×	`cube-prod_binary64_4198`
44×	`distribute-rgt-neg-in_binary64_4128`
38×	`swap-sqr_binary64_4137`
36×	`unswap-sqr_binary64_4138`
34×	`distribute-rgt-neg-out_binary64_4130`
30×	`associate-/l*_binary64_4115`
28×	`distribute-lft-neg-in_binary64_4127`
24×	`distribute-neg-in_binary64_4131`
19×	`div-sub_binary64_4175`
17×	`unpow3_binary64_4236` `distribute-neg-frac_binary64_4134`
16×	`log-prod_binary64_4256` `cube-mult_binary64_4200`
12×	`exp-sum_binary64_4216` `cube-unmult_binary64_4207` `distribute-rgt-out_binary64_4123`
10×	`associate-/l/_binary64_4117`
8×	`cube-div_binary64_4199` `difference-of-squares_binary64_4139`
7×	`mul-1-neg_binary64_4162`
6×	`exp-diff_binary64_4218` `distribute-rgt-out--_binary64_4124` `associate-/r*_binary64_4114`
5×	`rem-square-sqrt_binary64_4182`
4×	`rem-3cbrt-lft_binary64_4195` `associate-+r-_binary64_4104`
3×	`/-rgt-identity_binary64_4161` `+-rgt-identity_binary64_4155` `pow-sqr_binary64_4143` `associate-/r/_binary64_4116`
2×	`unpow2_binary64_4235` `unpow1/2_binary64_4234` `unpow1_binary64_4228` `rem-sqrt-square_binary64_4183` `difference-of-sqr-1_binary64_4140`
1×	`div-exp_binary64_4221` `prod-exp_binary64_4219` `1-exp_binary64_4214` `exp-1-e_binary64_4213` `div0_binary64_4151` `difference-of-sqr--1_binary64_4141` `distribute-rgt1-in_binary64_4126` `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-pow_binary64_4259` `log-rec_binary64_4258` `log-div_binary64_4257` `pow-base-0_binary64_4254` `unpow1/3_binary64_4237` `pow-plus_binary64_4233` `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` `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-neg_binary64_4197` `rem-3cbrt-rft_binary64_4196` `rem-cbrt-cube_binary64_4194` `rem-cube-cbrt_binary64_4193` `sqr-abs_binary64_4185` `sqr-neg_binary64_4184` `remove-double-neg_binary64_4158` `sub0-neg_binary64_4157` `--rgt-identity_binary64_4156` `+-lft-identity_binary64_4154` `mul0-rgt_binary64_4153` `mul0-lft_binary64_4152` `*-inverses_binary64_4150` `+-inverses_binary64_4149` `lft-mult-inverse_binary64_4148` `rgt-mult-inverse_binary64_4147` `remove-double-div_binary64_4146` `cancel-sign-sub_binary64_4135` `distribute-frac-neg_binary64_4133` `distribute-neg-out_binary64_4132` `distribute-lft1-in_binary64_4125` `distribute-lft-out--_binary64_4122` `distribute-lft-out_binary64_4121` `count-2_binary64_4118` `associate--r-_binary64_4109` `associate--l-_binary64_4108`

Counts

179 → 139

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	418	4594
1	1117	4378
2	3752	4182
3	5029	4182

prune528.0ms (2.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	137	2	139
Fresh	0	6	6
Picked	1	0	1
Done	0	0	0
Total	138	8	146

Error

0.1b

Counts

146 → 8

Compiler

Compiled 8432 to 5796 computations (31.3% saved)

localize45.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.7b	(pow.f64 (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 16)) 3)
1.0b	(-.f64 3 (sqrt.f64 5))
1.0b	(cbrt.f64 16)
1.9b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite773.0ms (4.1%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

75×	`cbrt-prod_binary64_4201`
72×	`times-frac_binary64_4176`
65×	`add-sqr-sqrt_binary64_4192`
63×	`*-un-lft-identity_binary64_4170`
59×	`add-cube-cbrt_binary64_4205`
40×	`unpow-prod-down_binary64_4249` `cube-prod_binary64_4198`
9×	`cancel-sign-sub-inv_binary64_4136`
8×	`add-log-exp_binary64_4209`
7×	`add-exp-log_binary64_4208`
5×	`pow1_binary64_4231` `add-cbrt-cube_binary64_4206`
4×	`sqrt-prod_binary64_4186`
3×	`difference-of-squares_binary64_4139` `pow-unpow_binary64_4247`
2×	`diff-log_binary64_4262` `flip3--_binary64_4174` `sub-neg_binary64_4163` `flip--_binary64_4145` `distribute-lft-out--_binary64_4122` `div-inv_binary64_4167` `pow-exp_binary64_4238` `rem-cube-cbrt_binary64_4193`
1×	`diff-cos_binary64_4321` `pow1/3_binary64_4252` `pow-pow_binary64_4242` `pow-to-exp_binary64_4239` `div-exp_binary64_4221` `unpow3_binary64_4236` `cube-mult_binary64_4200` `cube-div_binary64_4199` `cbrt-undiv_binary64_4204` `sqr-pow_binary64_4142`

Counts

4 → 148

Calls

4 calls:

11.0ms	(pow.f64 (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 16)) 3)
5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
5.0ms	(-.f64 3 (sqrt.f64 5))
1.0ms	(cbrt.f64 16)

Compiler

Compiled 9775 to 6668 computations (31.8% saved)

series564.0ms (3%)

Error

0.1b

Counts

4 → 18

Calls

4 calls:

337.0ms	(pow.f64 (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 16)) 3)
166.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
0.0ms	(cbrt.f64 16)
0.0ms	(-.f64 3 (sqrt.f64 5))

Compiler

Compiled 2590 to 2052 computations (20.8% saved)

simplify138.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

546×	`associate-/l/_binary64_4117`
503×	`unswap-sqr_binary64_4138`
293×	`log-prod_binary64_4256`
230×	`sqr-pow_binary64_4142`
199×	`log-div_binary64_4257`
193×	`exp-prod_binary64_4222`
135×	`unpow3_binary64_4236`
124×	`associate-*l/_binary64_4113`
123×	`cube-div_binary64_4199`
119×	`associate-*r/_binary64_4112`
118×	`associate-/l*_binary64_4115`
98×	`cancel-sign-sub-inv_binary64_4136`
89×	`sub-neg_binary64_4163`
74×	`cube-mult_binary64_4200`
71×	`distribute-rgt-in_binary64_4120`
61×	`distribute-lft-in_binary64_4119`
51×	`associate-r_binary64_4110`
49×	`associate-l_binary64_4111` `+-commutative_binary64_4100`
46×	`cube-prod_binary64_4198`
45×	`swap-sqr_binary64_4137`
41×	`log-pow_binary64_4259`
40×	`distribute-rgt-neg-in_binary64_4128`
38×	`neg-mul-1_binary64_4166`
37×	`times-frac_binary64_4176`
34×	`neg-sub0_binary64_4165` `distribute-lft-neg-in_binary64_4127` `*-commutative_binary64_4101`
25×	`pow-plus_binary64_4233` `associate--l+_binary64_4107`
22×	`pow-sqr_binary64_4143`
21×	`associate--r+_binary64_4106`
20×	`*-rgt-identity_binary64_4160`
18×	`associate-/r*_binary64_4114`
17×	`rem-sqrt-square_binary64_4183`
16×	`distribute-lft-neg-out_binary64_4129`
15×	`distribute-neg-in_binary64_4131` `associate-/r/_binary64_4116`
14×	`associate-+l+_binary64_4103`
13×	`unsub-neg_binary64_4164`
12×	`*-lft-identity_binary64_4159`
11×	`cube-unmult_binary64_4207` `distribute-neg-frac_binary64_4134`
9×	`distribute-rgt-neg-out_binary64_4130`
8×	`associate-+r+_binary64_4102`
7×	`rem-cbrt-cube_binary64_4194`
6×	`exp-sum_binary64_4216` `rem-cube-cbrt_binary64_4193` `rem-square-sqrt_binary64_4182` `/-rgt-identity_binary64_4161`
4×	`difference-of-squares_binary64_4139` `distribute-rgt-out_binary64_4123`
3×	`unpow1/2_binary64_4234` `pow-base-1_binary64_4230` `unpow1_binary64_4228` `exp-diff_binary64_4218` `rem-3cbrt-rft_binary64_4196` `rem-3cbrt-lft_binary64_4195` `+-rgt-identity_binary64_4155` `count-2_binary64_4118` `associate-+r-_binary64_4104`
2×	`unpow2_binary64_4235` `div-exp_binary64_4221`
1×	`1-exp_binary64_4214` `div-sub_binary64_4175` `*-inverses_binary64_4150` `distribute-rgt-out--_binary64_4124` `distribute-lft-out--_binary64_4122`
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` `unpow1/3_binary64_4237` `exp-to-pow_binary64_4232` `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` `rec-exp_binary64_4220` `prod-exp_binary64_4219` `exp-neg_binary64_4217` `e-exp-1_binary64_4215` `exp-1-e_binary64_4213` `exp-0_binary64_4212` `rem-log-exp_binary64_4211` `rem-exp-log_binary64_4210` `cube-neg_binary64_4197` `sqr-abs_binary64_4185` `sqr-neg_binary64_4184` `mul-1-neg_binary64_4162` `remove-double-neg_binary64_4158` `sub0-neg_binary64_4157` `--rgt-identity_binary64_4156` `+-lft-identity_binary64_4154` `mul0-rgt_binary64_4153` `mul0-lft_binary64_4152` `div0_binary64_4151` `+-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-frac-neg_binary64_4133` `distribute-neg-out_binary64_4132` `distribute-rgt1-in_binary64_4126` `distribute-lft1-in_binary64_4125` `distribute-lft-out_binary64_4121` `associate--r-_binary64_4109` `associate--l-_binary64_4108` `associate-+l-_binary64_4105`

Counts

166 → 128

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	296	3288
1	841	2541
2	2321	2493
3	4270	2493
4	4905	2493

prune553.0ms (2.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	127	1	128
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	127	9	136

Error

0.1b

Counts

136 → 9

Compiler

Compiled 8278 to 5734 computations (30.7% saved)

localize51.0ms (0.3%)

Local error

Found 4 expressions with local error:

1.0b	(cbrt.f64 16)
1.0b	(cbrt.f64 16)
1.0b	(cbrt.f64 16)
1.9b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite224.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

10×	`add-sqr-sqrt_binary64_4192` `*-un-lft-identity_binary64_4170`
9×	`cbrt-prod_binary64_4201`
8×	`add-cube-cbrt_binary64_4205`
6×	`add-log-exp_binary64_4209`
4×	`pow1_binary64_4231` `add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206`
3×	`cancel-sign-sub-inv_binary64_4136` `pow1/3_binary64_4252`
1×	`diff-cos_binary64_4321` `diff-log_binary64_4262` `flip3--_binary64_4174` `sub-neg_binary64_4163` `flip--_binary64_4145` `difference-of-squares_binary64_4139` `distribute-lft-out--_binary64_4122`

Counts

4 → 50

Calls

4 calls:

5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
1.0ms	(cbrt.f64 16)
1.0ms	(cbrt.f64 16)
1.0ms	(cbrt.f64 16)

Compiler

Compiled 3461 to 2512 computations (27.4% saved)

series224.0ms (1.2%)

Error

0.1b

Counts

4 → 12

Calls

4 calls:

179.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
0.0ms	(cbrt.f64 16)
0.0ms	(cbrt.f64 16)
0.0ms	(cbrt.f64 16)

Compiler

Compiled 1920 to 1568 computations (18.3% saved)

simplify123.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

575×	`sub-neg_binary64_4163`
484×	`unsub-neg_binary64_4164`
434×	`cancel-sign-sub-inv_binary64_4136`
307×	`neg-mul-1_binary64_4166`
293×	`*-commutative_binary64_4101`
288×	`unswap-sqr_binary64_4138`
265×	`neg-sub0_binary64_4165`
253×	`associate-+l+_binary64_4103`
235×	`distribute-rgt-in_binary64_4120`
208×	`associate-+r+_binary64_4102`
207×	`associate-+l-_binary64_4105`
195×	`distribute-lft-in_binary64_4119`
177×	`associate--l+_binary64_4107`
120×	`associate-r_binary64_4110`
114×	`associate-l_binary64_4111`
111×	`+-commutative_binary64_4100`
90×	`distribute-rgt-neg-in_binary64_4128` `distribute-lft-neg-in_binary64_4127`
87×	`sqr-pow_binary64_4142`
85×	`associate--r+_binary64_4106`
76×	`cube-prod_binary64_4198`
66×	`sub0-neg_binary64_4157`
64×	`distribute-neg-out_binary64_4132`
62×	`associate-+r-_binary64_4104`
53×	`unpow3_binary64_4236`
46×	`distribute-lft-neg-out_binary64_4129`
43×	`distribute-rgt-neg-out_binary64_4130`
38×	`pow-plus_binary64_4233`
36×	`exp-prod_binary64_4222` `cube-unmult_binary64_4207`
33×	`exp-sum_binary64_4216`
32×	`+-rgt-identity_binary64_4155` `mul0-rgt_binary64_4153` `mul0-lft_binary64_4152`
31×	`associate--l-_binary64_4108`
29×	`distribute-rgt-out_binary64_4123`
28×	`swap-sqr_binary64_4137`
27×	`distribute-rgt-out--_binary64_4124`
26×	`cube-mult_binary64_4200`
25×	`distribute-lft-out--_binary64_4122`
22×	`difference-of-squares_binary64_4139` `distribute-lft-out_binary64_4121`
21×	`pow-sqr_binary64_4143`
20×	`exp-diff_binary64_4218` `cancel-sign-sub_binary64_4135`
18×	`times-frac_binary64_4176` `div-sub_binary64_4175`
16×	`distribute-neg-in_binary64_4131`
12×	`+-lft-identity_binary64_4154`
10×	`remove-double-neg_binary64_4158`
8×	`sqr-neg_binary64_4184` `--rgt-identity_binary64_4156` `associate-/l*_binary64_4115`
6×	`mul-1-neg_binary64_4162`
5×	`rem-sqrt-square_binary64_4183`
4×	`cube-neg_binary64_4197`
3×	`log-prod_binary64_4256` `unpow2_binary64_4235` `*-lft-identity_binary64_4159` `distribute-neg-frac_binary64_4134` `distribute-frac-neg_binary64_4133` `associate--r-_binary64_4109`
2×	`unpow1/2_binary64_4234` `unpow1_binary64_4228` `unpow-1_binary64_4227` `rem-3cbrt-lft_binary64_4195` `associate-/r/_binary64_4116` `associate-/r*_binary64_4114`
1×	`cos-neg_binary64_4301` `sin-neg_binary64_4300` `div-exp_binary64_4221` `1-exp_binary64_4214` `exp-1-e_binary64_4213` `rem-square-sqrt_binary64_4182` `difference-of-sqr--1_binary64_4141` `difference-of-sqr-1_binary64_4140`
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` `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` `exp-to-pow_binary64_4232` `pow-base-1_binary64_4230` `unpow0_binary64_4229` `exp-lft-cube_binary64_4226` `exp-lft-sqr_binary64_4225` `exp-cbrt_binary64_4224` `exp-sqrt_binary64_4223` `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` `rem-3cbrt-rft_binary64_4196` `rem-cbrt-cube_binary64_4194` `rem-cube-cbrt_binary64_4193` `sqr-abs_binary64_4185` `/-rgt-identity_binary64_4161` `-rgt-identity_binary64_4160` `div0_binary64_4151` `-inverses_binary64_4150` `+-inverses_binary64_4149` `lft-mult-inverse_binary64_4148` `rgt-mult-inverse_binary64_4147` `remove-double-div_binary64_4146` `distribute-rgt1-in_binary64_4126` `distribute-lft1-in_binary64_4125` `count-2_binary64_4118` `associate-/l/_binary64_4117` `associate-l/_binary64_4113` `associate-r/_binary64_4112`

Counts

62 → 20

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	95	628
1	206	611
2	442	611
3	1330	611
4	3216	611
5	4376	611
6	4950	611
7	4997	611
8	4890	611

prune77.0ms (0.4%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	19	1	20
Fresh	0	7	7
Picked	1	0	1
Done	0	1	1
Total	20	9	29

Error

0.1b

Counts

29 → 9

Compiler

Compiled 1404 to 1030 computations (26.6% saved)

regimes1.2s (6.5%)

Accuracy

Total 0.3b remaining (74.5%)

Threshold costs 0.3b (74.5%)

Compiler

Compiled 16418 to 13204 computations (19.6% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

13×	`+-commutative_binary64_4100`
11×	`*-commutative_binary64_4101`
8×	`sub-neg_binary64_4163`
5×	`neg-mul-1_binary64_4166` `neg-sub0_binary64_4165`
2×	`distribute-neg-frac_binary64_4134`
1×	`1-exp_binary64_4214`
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` `exp-1-e_binary64_4213` `exp-0_binary64_4212` `sqr-abs_binary64_4185` `sqr-neg_binary64_4184` `unsub-neg_binary64_4164` `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-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	36	80
1	55	80
2	69	80
3	79	80
4	86	80
5	88	80
6	87	80

end0.0ms (0%)

sample9.6s (50.8%)

Algorithm

1×

intervals

Results

3.1s	3408×	body	1024	valid
861.0ms	1380×	body	512	valid
501.0ms	2584×	body	128	valid
244.0ms	611×	body	256	valid
24.0ms	17×	body	2048	valid

Compiler

Compiled 5539 to 4455 computations (19.6% saved)

Details

analyze948.0ms (5%)

sample166.0ms (0.9%)

simplify51.0ms (0.3%)

prune10.0ms (0.1%)

localize37.0ms (0.2%)

rewrite519.0ms (2.7%)

series614.0ms (3.2%)

simplify137.0ms (0.7%)

prune400.0ms (2.1%)

localize34.0ms (0.2%)

rewrite581.0ms (3.1%)

series1.1s (6%)

simplify134.0ms (0.7%)

prune528.0ms (2.8%)

localize45.0ms (0.2%)

rewrite773.0ms (4.1%)

series564.0ms (3%)

simplify138.0ms (0.7%)

prune553.0ms (2.9%)

localize51.0ms (0.3%)

rewrite224.0ms (1.2%)

series224.0ms (1.2%)

simplify123.0ms (0.7%)

prune77.0ms (0.4%)

regimes1.2s (6.5%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample9.6s (50.8%)

Profiling