Details

analyze650.0ms (6.5%)

Algorithm

1×	search
2×	egg-herbie

Rules

11×	`+-commutative_binary64_4100`
6×	`*-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` `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-rgt-out_binary64_4123` `distribute-lft-out--_binary64_4122` `distribute-lft-out_binary64_4121` `distribute-rgt-in_binary64_4120` `distribute-lft-in_binary64_4119` `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` `associate-+l+_binary64_4103` `associate-+r+_binary64_4102`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	154
1	43	154
2	43	154
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
6.2%	93.6%	0.2%	8
25%	74.9%	0.2%	9
28.1%	71.7%	0.2%	10
29.6%	70.2%	0.2%	11
53%	46.8%	0.2%	12
71.3%	28.5%	0.2%	13
71.7%	28.1%	0.2%	14

Compiler

Compiled 16 to 12 computations (25% saved)

sample22.0ms (0.2%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
1.0ms	21×	body	128	invalid

Compiler

Compiled 31 to 27 computations (12.9% saved)

simplify12.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2× *-commutative_binary64_4101 +-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 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-rgt-out_binary64_4123 distribute-lft-out--_binary64_4122 distribute-lft-out_binary64_4121 distribute-rgt-in_binary64_4120 distribute-lft-in_binary64_4119 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 associate-+l+_binary64_4103 associate-+r+_binary64_4102

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	22
1	16	22
2	16	22

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

26.3b

Counts

1 → 1

Compiler

Compiled 15 to 11 computations (26.7% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 c c) (.f64 d d))
0.5b	(+.f64 (.f64 a c) (.f64 b d))
25.7b	(/.f64 (+.f64 (.f64 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))

rewrite87.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

26.1b

Rules

11×	`add-cube-cbrt_binary64_4205` `add-sqr-sqrt_binary64_4192` `*-un-lft-identity_binary64_4170`
9×	`times-frac_binary64_4176`
7×	`add-log-exp_binary64_4209`
5×	`add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206`
4×	`flip3-+_binary64_4173` `flip-+_binary64_4144`
3×	`pow1_binary64_4231` `associate-/l_binary64_4115` `associate-/r_binary64_4114`
2×	`associate-/l/_binary64_4117` `associate-/r/_binary64_4116` `sum-log_binary64_4261` `+-commutative_binary64_4100`
1×	`div-exp_binary64_4221` `cbrt-undiv_binary64_4204` `frac-2neg_binary64_4181` `clear-num_binary64_4169` `div-inv_binary64_4167`

Counts

3 → 53

Calls

3 calls:

9.0ms	(/.f64 (+.f64 (.f64 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))
4.0ms	(+.f64 (.f64 c c) (.f64 d d))
4.0ms	(+.f64 (.f64 a c) (.f64 b d))

Compiler

Compiled 1469 to 193 computations (86.9% saved)

series814.0ms (8.1%)

Error

5.3b

Counts

3 → 60

Calls

3 calls:

411.0ms	(/.f64 (+.f64 (.f64 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))
216.0ms	(+.f64 (.f64 a c) (.f64 b d))
141.0ms	(+.f64 (.f64 c c) (.f64 d d))

Compiler

Compiled 2046 to 1283 computations (37.3% saved)

simplify144.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

438×	`associate-l_binary64_4111`
363×	`associate-r_binary64_4110`
342×	`cancel-sign-sub-inv_binary64_4136`
335×	`unswap-sqr_binary64_4138`
274×	`times-frac_binary64_4176`
231×	`distribute-rgt-out_binary64_4123`
187×	`distribute-rgt-neg-in_binary64_4128`
174×	`distribute-rgt-in_binary64_4120`
161×	`distribute-lft-neg-in_binary64_4127`
158×	`*-commutative_binary64_4101`
150×	`distribute-lft-in_binary64_4119`
122×	`exp-prod_binary64_4222`
113×	`div-sub_binary64_4175`
96×	`sub-neg_binary64_4163`
84×	`associate-/l*_binary64_4115`
66×	`sqr-pow_binary64_4142`
65×	`distribute-lft-neg-out_binary64_4129`
55×	`associate-/r*_binary64_4114`
54×	`associate-*l/_binary64_4113`
47×	`associate-/l/_binary64_4117`
46×	`difference-of-squares_binary64_4139`
45×	`neg-sub0_binary64_4165`
42×	`distribute-rgt-out--_binary64_4124`
41×	`exp-sum_binary64_4216` `associate-*r/_binary64_4112`
40×	`neg-mul-1_binary64_4166`
38×	`unpow3_binary64_4236`
36×	`distribute-rgt-neg-out_binary64_4130`
32×	`cube-prod_binary64_4198` `associate-+l+_binary64_4103`
31×	`+-commutative_binary64_4100`
30×	`associate-/r/_binary64_4116`
28×	`associate-+r+_binary64_4102`
24×	`pow-plus_binary64_4233`
23×	`unsub-neg_binary64_4164`
21×	`cube-unmult_binary64_4207`
19×	`associate-+r-_binary64_4104`
16×	`+-rgt-identity_binary64_4155` `pow-sqr_binary64_4143` `distribute-neg-in_binary64_4131` `associate-+l-_binary64_4105`
13×	`distribute-lft-out_binary64_4121`
11×	`sub0-neg_binary64_4157`
10×	`cube-mult_binary64_4200` `/-rgt-identity_binary64_4161`
9×	`*-rgt-identity_binary64_4160`
7×	`distribute-neg-frac_binary64_4134`
5×	`distribute-lft-out--_binary64_4122`
4×	`exp-diff_binary64_4218` `*-lft-identity_binary64_4159` `swap-sqr_binary64_4137` `cancel-sign-sub_binary64_4135`
3×	`log-div_binary64_4257` `cube-div_binary64_4199`
2×	`log-prod_binary64_4256` `unpow2_binary64_4235` `unpow1/2_binary64_4234` `unpow1_binary64_4228` `prod-exp_binary64_4219` `sqr-neg_binary64_4184` `rem-sqrt-square_binary64_4183` `associate--l-_binary64_4108` `associate--l+_binary64_4107` `associate--r+_binary64_4106`
1×	`1-exp_binary64_4214` `exp-1-e_binary64_4213`
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` `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` `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-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` `mul-1-neg_binary64_4162` `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` `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--r-_binary64_4109`

Counts

113 → 88

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	107	2212
1	307	2038
2	891	2038
3	2730	2038
4	4578	2038
5	4976	2038
6	5047	2038

prune91.0ms (0.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	80	8	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	81	8	89

Error

8.0b

Counts

89 → 8

Compiler

Compiled 1919 to 273 computations (85.8% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 c c) (.f64 d d))
0.5b	(+.f64 (.f64 d b) (.f64 c a))
0.7b	(/.f64 1 (/.f64 (+.f64 (.f64 c c) (.f64 d d)) (+.f64 (.f64 d b) (.f64 c a))))
25.2b	(/.f64 (+.f64 (.f64 c c) (.f64 d d)) (+.f64 (.f64 d b) (.f64 c a)))

rewrite204.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

8.0b

Rules

90×	`times-frac_binary64_4176`
56×	`add-cube-cbrt_binary64_4205` `add-sqr-sqrt_binary64_4192` `*-un-lft-identity_binary64_4170`
18×	`associate-/r*_binary64_4114`
17×	`add-exp-log_binary64_4208`
11×	`add-cbrt-cube_binary64_4206` `associate-/r/_binary64_4116`
8×	`div-exp_binary64_4221` `add-log-exp_binary64_4209` `flip3-+_binary64_4173` `flip-+_binary64_4144`
6×	`div-inv_binary64_4167` `associate-/l*_binary64_4115`
5×	`pow1_binary64_4231`
4×	`cbrt-undiv_binary64_4204`
2×	`frac-2neg_binary64_4181` `clear-num_binary64_4169` `associate-/l/_binary64_4117` `1-exp_binary64_4214` `rec-exp_binary64_4220` `sum-log_binary64_4261` `+-commutative_binary64_4100`
1×	`inv-pow_binary64_4255` `pow-flip_binary64_4244`

Counts

4 → 137

Calls

4 calls:

11.0ms	(/.f64 1 (/.f64 (+.f64 (.f64 c c) (.f64 d d)) (+.f64 (.f64 d b) (.f64 c a))))
9.0ms	(/.f64 (+.f64 (.f64 c c) (.f64 d d)) (+.f64 (.f64 d b) (.f64 c a)))
4.0ms	(+.f64 (.f64 c c) (.f64 d d))
4.0ms	(+.f64 (.f64 d b) (.f64 c a))

Compiler

Compiled 4559 to 868 computations (81% saved)

series1.3s (12.7%)

Error

5.3b

Counts

4 → 90

Calls

4 calls:

442.0ms	(/.f64 1 (/.f64 (+.f64 (.f64 c c) (.f64 d d)) (+.f64 (.f64 d b) (.f64 c a))))
404.0ms	(/.f64 (+.f64 (.f64 c c) (.f64 d d)) (+.f64 (.f64 d b) (.f64 c a)))
207.0ms	(+.f64 (.f64 d b) (.f64 c a))
145.0ms	(+.f64 (.f64 c c) (.f64 d d))

Compiler

Compiled 4218 to 2905 computations (31.1% saved)

simplify156.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

591×	`associate-/r*_binary64_4114`
390×	`associate-/r/_binary64_4116`
320×	`associate-/l/_binary64_4117`
319×	`distribute-rgt-in_binary64_4120`
283×	`distribute-lft-in_binary64_4119`
267×	`cancel-sign-sub-inv_binary64_4136`
121×	`unswap-sqr_binary64_4138`
119×	`associate-/l*_binary64_4115`
117×	`times-frac_binary64_4176`
116×	`associate-r_binary64_4110`
107×	`associate-l_binary64_4111`
102×	`distribute-rgt-neg-in_binary64_4128`
91×	`*-commutative_binary64_4101`
88×	`distribute-lft-neg-in_binary64_4127`
77×	`associate-*l/_binary64_4113`
75×	`sub-neg_binary64_4163`
52×	`sqr-pow_binary64_4142`
47×	`associate-*r/_binary64_4112` `+-commutative_binary64_4100`
44×	`distribute-neg-frac_binary64_4134`
38×	`neg-mul-1_binary64_4166`
36×	`distribute-rgt-out_binary64_4123`
35×	`neg-sub0_binary64_4165` `*-rgt-identity_binary64_4160`
21×	`distribute-lft-neg-out_binary64_4129`
19×	`exp-prod_binary64_4222` `distribute-lft-out_binary64_4121`
18×	`distribute-rgt-out--_binary64_4124` `associate--l+_binary64_4107`
16×	`cube-prod_binary64_4198`
13×	`*-lft-identity_binary64_4159`
12×	`unsub-neg_binary64_4164` `associate--r+_binary64_4106`
11×	`div-sub_binary64_4175` `associate-+r+_binary64_4102`
10×	`distribute-neg-in_binary64_4131` `associate-+l+_binary64_4103`
9×	`log-div_binary64_4257` `exp-sum_binary64_4216`
8×	`unpow3_binary64_4236` `cube-mult_binary64_4200` `difference-of-squares_binary64_4139`
7×	`/-rgt-identity_binary64_4161` `swap-sqr_binary64_4137`
6×	`log-prod_binary64_4256` `pow-plus_binary64_4233` `cube-unmult_binary64_4207` `pow-sqr_binary64_4143` `distribute-rgt-neg-out_binary64_4130`
5×	`distribute-lft-out--_binary64_4122` `associate-+r-_binary64_4104`
4×	`log-rec_binary64_4258` `unpow2_binary64_4235` `unpow1/2_binary64_4234` `unpow1_binary64_4228` `remove-double-div_binary64_4146`
2×	`prod-exp_binary64_4219` `cube-div_binary64_4199` `+-lft-identity_binary64_4154` `associate--r-_binary64_4109` `associate-+l-_binary64_4105`
1×	`1-exp_binary64_4214` `exp-1-e_binary64_4213` `sub0-neg_binary64_4157` `+-rgt-identity_binary64_4155` `div0_binary64_4151` `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` `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` `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-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` `mul-1-neg_binary64_4162` `remove-double-neg_binary64_4158` `--rgt-identity_binary64_4156` `mul0-rgt_binary64_4153` `mul0-lft_binary64_4152` `*-inverses_binary64_4150` `+-inverses_binary64_4149` `lft-mult-inverse_binary64_4148` `rgt-mult-inverse_binary64_4147` `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` `associate--l-_binary64_4108`

Counts

227 → 174

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	224	6678
1	605	6268
2	2221	6160
3	5087	6160

prune184.0ms (1.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	167	7	174
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	171	11	182

Error

4.1b

Counts

182 → 11

Compiler

Compiled 4959 to 917 computations (81.5% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 c c) (.f64 d d))
0.5b	(+.f64 (.f64 a c) (.f64 d b))
0.6b	(/.f64 1 (+.f64 (.f64 c c) (.f64 d d)))
25.2b	(.f64 (/.f64 1 (+.f64 (.f64 c c) (.f64 d d))) (+.f64 (.f64 a c) (*.f64 d b)))

rewrite139.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

4.1b

Rules

27×	`add-sqr-sqrt_binary64_4192`
21×	`*-un-lft-identity_binary64_4170`
20×	`add-cube-cbrt_binary64_4205` `times-frac_binary64_4176`
17×	`add-exp-log_binary64_4208`
15×	`associate-l_binary64_4111`
11×	`add-cbrt-cube_binary64_4206`
8×	`add-log-exp_binary64_4209`
7×	`pow1_binary64_4231`
6×	`flip3-+_binary64_4173` `flip-+_binary64_4144`
4×	`div-exp_binary64_4221` `prod-exp_binary64_4219` `associate-/r/_binary64_4116`
3×	`unswap-sqr_binary64_4138` `associate-r_binary64_4110` `associate-/l_binary64_4115` `associate-/r_binary64_4114`
2×	`1-exp_binary64_4214` `rec-exp_binary64_4220` `cbrt-unprod_binary64_4203` `cbrt-undiv_binary64_4204` `frac-times_binary64_4180` `associate-*r/_binary64_4112` `div-inv_binary64_4167` `sum-log_binary64_4261` `+-commutative_binary64_4100`
1×	`pow-prod-down_binary64_4241` `distribute-rgt-in_binary64_4120` `distribute-lft-in_binary64_4119` `associate-l/_binary64_4113` `-commutative_binary64_4101` `inv-pow_binary64_4255` `pow-flip_binary64_4244` `frac-2neg_binary64_4181` `clear-num_binary64_4169`

Counts

4 → 98

Calls

4 calls:

13.0ms	(.f64 (/.f64 1 (+.f64 (.f64 c c) (.f64 d d))) (+.f64 (.f64 a c) (*.f64 d b)))
5.0ms	(/.f64 1 (+.f64 (.f64 c c) (.f64 d d)))
4.0ms	(+.f64 (.f64 c c) (.f64 d d))
4.0ms	(+.f64 (.f64 a c) (.f64 d b))

Compiler

Compiled 2800 to 663 computations (76.3% saved)

series935.0ms (9.3%)

Error

2.7b

Counts

4 → 72

Calls

4 calls:

430.0ms	(.f64 (/.f64 1 (+.f64 (.f64 c c) (.f64 d d))) (+.f64 (.f64 a c) (*.f64 d b)))
203.0ms	(+.f64 (.f64 a c) (.f64 d b))
135.0ms	(+.f64 (.f64 c c) (.f64 d d))
111.0ms	(/.f64 1 (+.f64 (.f64 c c) (.f64 d d)))

Compiler

Compiled 2808 to 1902 computations (32.3% saved)

simplify177.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

452×	`distribute-rgt-in_binary64_4120`
419×	`distribute-lft-in_binary64_4119`
241×	`associate-/l*_binary64_4115`
225×	`unswap-sqr_binary64_4138`
199×	`associate-*l/_binary64_4113`
192×	`associate-l_binary64_4111`
184×	`associate-r_binary64_4110`
161×	`associate-*r/_binary64_4112`
119×	`times-frac_binary64_4176`
114×	`sub-neg_binary64_4163`
111×	`cancel-sign-sub-inv_binary64_4136`
109×	`sqr-pow_binary64_4142`
106×	`associate-/r*_binary64_4114`
103×	`div-sub_binary64_4175`
97×	`*-commutative_binary64_4101`
94×	`*-lft-identity_binary64_4159`
85×	`*-rgt-identity_binary64_4160`
76×	`neg-mul-1_binary64_4166`
75×	`neg-sub0_binary64_4165` `distribute-rgt-neg-in_binary64_4128`
74×	`exp-prod_binary64_4222`
61×	`distribute-lft-neg-in_binary64_4127`
52×	`associate-+l+_binary64_4103` `associate-+r+_binary64_4102`
46×	`difference-of-squares_binary64_4139` `associate-/r/_binary64_4116`
45×	`rem-sqrt-square_binary64_4183`
41×	`unsub-neg_binary64_4164`
39×	`+-commutative_binary64_4100`
31×	`distribute-rgt-out_binary64_4123`
28×	`associate-+r-_binary64_4104`
27×	`cube-prod_binary64_4198`
21×	`associate-+l-_binary64_4105`
20×	`distribute-lft-neg-out_binary64_4129` `associate-/l/_binary64_4117`
19×	`pow-sqr_binary64_4143`
18×	`+-rgt-identity_binary64_4155`
17×	`distribute-rgt-out--_binary64_4124`
15×	`unpow3_binary64_4236` `/-rgt-identity_binary64_4161` `distribute-lft-out_binary64_4121`
12×	`pow-plus_binary64_4233` `sub0-neg_binary64_4157`
11×	`distribute-neg-frac_binary64_4134`
10×	`exp-sum_binary64_4216` `cube-unmult_binary64_4207`
9×	`unpow1/2_binary64_4234` `cube-mult_binary64_4200` `swap-sqr_binary64_4137`
8×	`distribute-rgt-neg-out_binary64_4130`
6×	`cube-div_binary64_4199`
5×	`log-div_binary64_4257` `log-prod_binary64_4256` `distribute-neg-in_binary64_4131` `distribute-lft-out--_binary64_4122`
4×	`+-lft-identity_binary64_4154`
3×	`associate--r+_binary64_4106`
2×	`log-rec_binary64_4258` `unpow2_binary64_4235` `unpow1_binary64_4228` `prod-exp_binary64_4219` `div0_binary64_4151` `associate--l+_binary64_4107`
1×	`1-exp_binary64_4214` `exp-1-e_binary64_4213` `remove-double-neg_binary64_4158` `--rgt-identity_binary64_4156` `count-2_binary64_4118` `associate--l-_binary64_4108`
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` `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` `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-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` `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` `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` `associate--r-_binary64_4109`

Counts

170 → 146

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	150	3322
1	482	2935
2	1647	2935
3	4190	2935
4	4890	2935
5	4991	2935
6	4980	2935

prune130.0ms (1.3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	145	1	146
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	146	11	157

Error

4.1b

Counts

157 → 11

Compiler

Compiled 3370 to 775 computations (77% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

2.2b	(+.f64 (/.f64 a c) (/.f64 (.f64 d b) (.f64 c c)))
10.5b	(/.f64 (.f64 d b) (.f64 c c))

rewrite45.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

2.5b

Rules

14×	`add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206`
4×	`prod-exp_binary64_4219` `div-exp_binary64_4221` `add-log-exp_binary64_4209` `cbrt-undiv_binary64_4204` `cbrt-unprod_binary64_4203` `*-un-lft-identity_binary64_4170`
2×	`pow1_binary64_4231` `add-cube-cbrt_binary64_4205` `add-sqr-sqrt_binary64_4192`
1×	`frac-2neg_binary64_4181` `times-frac_binary64_4176` `clear-num_binary64_4169` `div-inv_binary64_4167` `associate-/l_binary64_4115` `associate-/r_binary64_4114` `sum-log_binary64_4261` `frac-add_binary64_4178` `flip3-+_binary64_4173` `flip-+_binary64_4144` `distribute-lft-out_binary64_4121` `+-commutative_binary64_4100`

Counts

2 → 34

Calls

2 calls:

9.0ms	(+.f64 (/.f64 a c) (/.f64 (.f64 d b) (.f64 c c)))
6.0ms	(/.f64 (.f64 d b) (.f64 c c))

Compiler

Compiled 667 to 136 computations (79.6% saved)

series640.0ms (6.4%)

Error

3.2b

Counts

2 → 33

Calls

2 calls:

411.0ms	(+.f64 (/.f64 a c) (/.f64 (.f64 d b) (.f64 c c)))
211.0ms	(/.f64 (.f64 d b) (.f64 c c))

Compiler

Compiled 813 to 606 computations (25.5% saved)

simplify67.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

771×	`associate-/l*_binary64_4115`
434×	`associate-*l/_binary64_4113`
413×	`associate-l_binary64_4111`
348×	`associate-/r*_binary64_4114`
347×	`associate-*r/_binary64_4112`
325×	`associate-r_binary64_4110`
305×	`distribute-neg-frac_binary64_4134`
157×	`cancel-sign-sub-inv_binary64_4136`
142×	`associate-/l/_binary64_4117`
138×	`times-frac_binary64_4176`
126×	`associate-/r/_binary64_4116`
72×	`unswap-sqr_binary64_4138`
63×	`distribute-rgt-in_binary64_4120`
55×	`neg-sub0_binary64_4165`
50×	`distribute-lft-in_binary64_4119`
49×	`neg-mul-1_binary64_4166`
47×	`sqr-pow_binary64_4142`
45×	`sub-neg_binary64_4163` `distribute-rgt-neg-in_binary64_4128`
39×	`distribute-lft-neg-in_binary64_4127`
33×	`*-commutative_binary64_4101`
31×	`cube-div_binary64_4199`
30×	`log-div_binary64_4257`
26×	`div-sub_binary64_4175`
20×	`log-prod_binary64_4256`
18×	`swap-sqr_binary64_4137`
14×	`unpow3_binary64_4236` `cube-prod_binary64_4198` `distribute-rgt-out_binary64_4123`
12×	`+-commutative_binary64_4100`
11×	`cube-mult_binary64_4200` `distribute-lft-neg-out_binary64_4129`
9×	`unsub-neg_binary64_4164`
8×	`cube-unmult_binary64_4207`
5×	`distribute-rgt-out--_binary64_4124`
4×	`pow-plus_binary64_4233` `exp-prod_binary64_4222` `distribute-lft-out_binary64_4121` `associate--l+_binary64_4107`
3×	`pow-sqr_binary64_4143`
2×	`log-pow_binary64_4259` `div0_binary64_4151` `distribute-lft-out--_binary64_4122` `associate--r+_binary64_4106` `associate-+l+_binary64_4103`
1×	`unpow2_binary64_4235` `unpow1/2_binary64_4234` `unpow1_binary64_4228` `prod-exp_binary64_4219` `1-exp_binary64_4214` `rem-sqrt-square_binary64_4183` `difference-of-squares_binary64_4139` `distribute-neg-in_binary64_4131` `distribute-rgt-neg-out_binary64_4130` `count-2_binary64_4118` `associate-+l-_binary64_4105` `associate-+r-_binary64_4104`
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` `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` `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-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` `-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` `*-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-frac-neg_binary64_4133` `distribute-neg-out_binary64_4132` `distribute-rgt1-in_binary64_4126` `distribute-lft1-in_binary64_4125` `associate--r-_binary64_4109` `associate--l-_binary64_4108` `associate-+r+_binary64_4102`

Counts

67 → 48

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	79	962
1	226	920
2	879	920
3	4254	920
4	5094	920

prune30.0ms (0.3%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	45	3	48
Fresh	1	8	9
Picked	1	0	1
Done	0	1	1
Total	47	12	59

Error

2.5b

Counts

59 → 12

Compiler

Compiled 633 to 77 computations (87.8% saved)

regimes2.0s (20.2%)

Accuracy

Total 10.6b remaining (82.5%)

Threshold costs 0b (0%)

Compiler

Compiled 11049 to 6553 computations (40.7% saved)

bsearch114.0ms (1.1%)

Steps

Iters	Range		Point
7	2.2397126809667712e+20	1.0424050862216094e+22	1.0217963801675215e+22
7	2.6643544574445404e-154	6.01967895513014e-153	4.186640121113003e-153
8	1.061166197882673e-189	5.9557130111734e-186	1.0829748826702354e-189
2	1.2942613075008417e-192	1.4386718638920895e-192	1.4206205443431834e-192
6	-1.0110182707182692e-117	-9.302543482528721e-119	-9.478533032926856e-118
7	-6.000038127480103e+106	-3.716765615833072e+105	-4.32818473896838e+105

Compiler

Compiled 1 to 4 computations (-300% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`+-commutative_binary64_4100`
3×	`*-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	47	192
1	54	192
2	54	192

end0.0ms (0%)

sample2.0s (20.3%)

Algorithm

1×

intervals

Results

323.0ms	8000×	body	128	valid
17.0ms	469×	body	128	invalid

Compiler

Compiled 2348 to 1369 computations (41.7% saved)

Details

analyze650.0ms (6.5%)

sample22.0ms (0.2%)

simplify12.0ms (0.1%)

prune2.0ms (0%)

localize9.0ms (0.1%)

rewrite87.0ms (0.9%)

series814.0ms (8.1%)

simplify144.0ms (1.4%)

prune91.0ms (0.9%)

localize11.0ms (0.1%)

rewrite204.0ms (2%)

series1.3s (12.7%)

simplify156.0ms (1.6%)

prune184.0ms (1.8%)

localize11.0ms (0.1%)

rewrite139.0ms (1.4%)

series935.0ms (9.3%)

simplify177.0ms (1.8%)

prune130.0ms (1.3%)

localize7.0ms (0.1%)

rewrite45.0ms (0.4%)

series640.0ms (6.4%)

simplify67.0ms (0.7%)

prune30.0ms (0.3%)

regimes2.0s (20.2%)

bsearch114.0ms (1.1%)

simplify6.0ms (0.1%)

end0.0ms (0%)

sample2.0s (20.3%)

Profiling