Details

analyze219.0ms (4.3%)

Algorithm

1×	search
2×	egg-herbie

Rules

1× +-commutative_binary64_4441

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_4774 erf-erfc_binary64_4773 erf-odd_binary64_4772 if-if-and-not_binary64_4771 if-if-and_binary64_4770 if-if-or-not_binary64_4769 if-if-or_binary64_4768 if-not_binary64_4767 if-same_binary64_4766 if-false_binary64_4765 if-true_binary64_4764 not-gte_binary64_4763 not-lte_binary64_4762 not-gt_binary64_4761 not-lt_binary64_4760 gte-same_binary64_4759 lte-same_binary64_4758 gt-same_binary64_4757 lt-same_binary64_4756 sinh---cosh_binary64_4703 sinh-+-cosh_binary64_4702 sinh-cosh_binary64_4701 tanh-def-c_binary64_4700 tanh-def-b_binary64_4699 tanh-def-a_binary64_4698 cosh-def_binary64_4697 sinh-def_binary64_4696 tan-neg_binary64_4643 cos-neg_binary64_4642 sin-neg_binary64_4641 tan-0_binary64_4640 cos-0_binary64_4639 sin-0_binary64_4638 hang-m-tan_binary64_4637 hang-p-tan_binary64_4636 hang-m0-tan_binary64_4635 hang-p0-tan_binary64_4634 hang-0m-tan_binary64_4633 hang-0p-tan_binary64_4632 tan-+PI/2_binary64_4631 tan-+PI_binary64_4630 tan-PI_binary64_4629 tan-PI/3_binary64_4628 tan-PI/4_binary64_4627 tan-PI/6_binary64_4626 cos-+PI/2_binary64_4625 cos-+PI_binary64_4624 cos-PI_binary64_4623 cos-PI/2_binary64_4622 cos-PI/3_binary64_4621 cos-PI/4_binary64_4620 cos-PI/6_binary64_4619 sin-+PI/2_binary64_4618 sin-+PI_binary64_4617 sin-PI_binary64_4616 sin-PI/2_binary64_4615 sin-PI/3_binary64_4614 sin-PI/4_binary64_4613 sin-PI/6_binary64_4612 sub-1-sin_binary64_4611 sub-1-cos_binary64_4610 -1-add-sin_binary64_4609 -1-add-cos_binary64_4608 1-sub-sin_binary64_4607 1-sub-cos_binary64_4606 cos-sin-sum_binary64_4605 log-E_binary64_4601 log-pow_binary64_4600 log-rec_binary64_4599 log-div_binary64_4598 log-prod_binary64_4597 pow-base-0_binary64_4595 unpow1/3_binary64_4578 unpow3_binary64_4577 unpow2_binary64_4576 unpow1/2_binary64_4575 pow-plus_binary64_4574 exp-to-pow_binary64_4573 pow-base-1_binary64_4571 unpow0_binary64_4570 unpow1_binary64_4569 unpow-1_binary64_4568 exp-lft-cube_binary64_4567 exp-lft-sqr_binary64_4566 exp-cbrt_binary64_4565 exp-sqrt_binary64_4564 exp-prod_binary64_4563 div-exp_binary64_4562 rec-exp_binary64_4561 prod-exp_binary64_4560 exp-diff_binary64_4559 exp-neg_binary64_4558 exp-sum_binary64_4557 e-exp-1_binary64_4556 1-exp_binary64_4555 exp-1-e_binary64_4554 exp-0_binary64_4553 rem-log-exp_binary64_4552 rem-exp-log_binary64_4551 cube-unmult_binary64_4548 cube-mult_binary64_4541 cube-div_binary64_4540 cube-prod_binary64_4539 cube-neg_binary64_4538 rem-3cbrt-rft_binary64_4537 rem-3cbrt-lft_binary64_4536 rem-cbrt-cube_binary64_4535 rem-cube-cbrt_binary64_4534 sqr-abs_binary64_4526 sqr-neg_binary64_4525 rem-sqrt-square_binary64_4524 rem-square-sqrt_binary64_4523 times-frac_binary64_4517 div-sub_binary64_4516 neg-mul-1_binary64_4507 neg-sub0_binary64_4506 unsub-neg_binary64_4505 sub-neg_binary64_4504 mul-1-neg_binary64_4503 /-rgt-identity_binary64_4502 *-rgt-identity_binary64_4501 *-lft-identity_binary64_4500 remove-double-neg_binary64_4499 sub0-neg_binary64_4498 --rgt-identity_binary64_4497 +-rgt-identity_binary64_4496 +-lft-identity_binary64_4495 mul0-rgt_binary64_4494 mul0-lft_binary64_4493 div0_binary64_4492 *-inverses_binary64_4491 +-inverses_binary64_4490 lft-mult-inverse_binary64_4489 rgt-mult-inverse_binary64_4488 remove-double-div_binary64_4487 pow-sqr_binary64_4484 sqr-pow_binary64_4483 difference-of-sqr--1_binary64_4482 difference-of-sqr-1_binary64_4481 difference-of-squares_binary64_4480 unswap-sqr_binary64_4479 swap-sqr_binary64_4478 cancel-sign-sub-inv_binary64_4477 cancel-sign-sub_binary64_4476 distribute-neg-frac_binary64_4475 distribute-frac-neg_binary64_4474 distribute-neg-out_binary64_4473 distribute-neg-in_binary64_4472 distribute-rgt-neg-out_binary64_4471 distribute-lft-neg-out_binary64_4470 distribute-rgt-neg-in_binary64_4469 distribute-lft-neg-in_binary64_4468 distribute-rgt1-in_binary64_4467 distribute-lft1-in_binary64_4466 distribute-rgt-out--_binary64_4465 distribute-rgt-out_binary64_4464 distribute-lft-out--_binary64_4463 distribute-lft-out_binary64_4462 distribute-rgt-in_binary64_4461 distribute-lft-in_binary64_4460 count-2_binary64_4459 associate-/l/_binary64_4458 associate-/r/_binary64_4457 associate-/l*_binary64_4456 associate-/r*_binary64_4455 associate-*l/_binary64_4454 associate-*r/_binary64_4453 associate-*l*_binary64_4452 associate-*r*_binary64_4451 associate--r-_binary64_4450 associate--l-_binary64_4449 associate--l+_binary64_4448 associate--r+_binary64_4447 associate-+l-_binary64_4446 associate-+r-_binary64_4445 associate-+l+_binary64_4444 associate-+r+_binary64_4443 *-commutative_binary64_4442

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	9	26
2	9	26
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
25%	74.9%	0.1%	3
62.4%	37.5%	0.1%	4
68.7%	31.2%	0.1%	5
68.7%	18.7%	12.6%	6
68.7%	18.7%	12.6%	7
68.7%	12.5%	18.8%	8
68.7%	12.5%	18.8%	9
68.7%	9.4%	22%	10
68.7%	9.4%	22%	11
68.7%	7.8%	23.5%	12
68.7%	7.8%	23.5%	13
68.7%	7%	24.3%	14

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample22.0ms (0.4%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
0.0ms	19×	body	128	overflowed

Compiler

Compiled 17 to 15 computations (11.8% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1× +-commutative_binary64_4441

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	8	13
2	8	13

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

0.8b

Counts

1 → 1

Compiler

Compiled 8 to 6 computations (25% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (exp.f64 a) (exp.f64 b))
0.7b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

rewrite57.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

21×	`*-un-lft-identity_binary64_4511`
12×	`times-frac_binary64_4517`
11×	`add-cube-cbrt_binary64_4546` `add-sqr-sqrt_binary64_4533`
5×	`distribute-lft-out_binary64_4462`
4×	`add-log-exp_binary64_4550` `add-cbrt-cube_binary64_4547` `associate-/r*_binary64_4455`
3×	`add-exp-log_binary64_4549` `associate-/l*_binary64_4456`
2×	`pow1_binary64_4572` `flip3-+_binary64_4514` `associate-/r/_binary64_4457` `flip-+_binary64_4485`
1×	`div-exp_binary64_4562` `cbrt-undiv_binary64_4545` `frac-2neg_binary64_4522` `clear-num_binary64_4510` `div-inv_binary64_4508` `sum-log_binary64_4602` `+-commutative_binary64_4441`

Counts

2 → 45

Calls

2 calls:

8.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
4.0ms	(+.f64 (exp.f64 a) (exp.f64 b))

Compiler

Compiled 750 to 153 computations (79.6% saved)

series331.0ms (6.5%)

Error

0.4b

Counts

2 → 23

Calls

2 calls:

253.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
52.0ms	(+.f64 (exp.f64 a) (exp.f64 b))

Compiler

Compiled 1011 to 668 computations (33.9% saved)

simplify101.0ms (2%)

Algorithm

1×	egg-herbie

Rules

347×	`sub-neg_binary64_4504`
278×	`associate-/l*_binary64_4456`
267×	`times-frac_binary64_4517` `associate-+l+_binary64_4444`
230×	`div-sub_binary64_4516`
189×	`associate-/r*_binary64_4455`
167×	`+-commutative_binary64_4441`
166×	`distribute-neg-frac_binary64_4475` `associate-+r+_binary64_4443`
165×	`distribute-rgt-neg-in_binary64_4469`
124×	`unswap-sqr_binary64_4479`
120×	`associate-l_binary64_4452`
114×	`associate-*l/_binary64_4454` `associate--l+_binary64_4448`
113×	`distribute-rgt-in_binary64_4461`
109×	`associate--r+_binary64_4447`
104×	`associate-r_binary64_4451`
97×	`*-commutative_binary64_4442`
96×	`distribute-lft-in_binary64_4460`
83×	`associate-/r/_binary64_4457`
80×	`associate-/l/_binary64_4458`
79×	`cancel-sign-sub-inv_binary64_4477` `associate-*r/_binary64_4453`
69×	`unsub-neg_binary64_4505`
56×	`distribute-neg-in_binary64_4472`
54×	`neg-mul-1_binary64_4507` `neg-sub0_binary64_4506` `sqr-pow_binary64_4483`
43×	`associate-+l-_binary64_4446`
40×	`associate-+r-_binary64_4445`
38×	`*-rgt-identity_binary64_4501`
34×	`exp-prod_binary64_4563`
32×	`cube-prod_binary64_4539`
24×	`cube-unmult_binary64_4548`
23×	`unpow3_binary64_4577`
21×	`+-rgt-identity_binary64_4496`
18×	`distribute-rgt-out_binary64_4464`
17×	`prod-exp_binary64_4560`
16×	`exp-sum_binary64_4557`
15×	`exp-diff_binary64_4559` `*-lft-identity_binary64_4500` `distribute-lft-neg-in_binary64_4468`
14×	`pow-plus_binary64_4574`
13×	`sub0-neg_binary64_4498`
12×	`distribute-lft-out_binary64_4462`
10×	`distribute-lft-neg-out_binary64_4470`
8×	`cube-mult_binary64_4541` `difference-of-squares_binary64_4480`
7×	`cube-div_binary64_4540`
6×	`log-prod_binary64_4597` `pow-sqr_binary64_4484`
5×	`log-div_binary64_4598` `div-exp_binary64_4562` `rem-sqrt-square_binary64_4524` `associate--l-_binary64_4449`
4×	`unpow2_binary64_4576` `unpow1/2_binary64_4575` `unpow1_binary64_4569` `/-rgt-identity_binary64_4502` `distribute-rgt1-in_binary64_4467`
3×	`rec-exp_binary64_4561` `distribute-rgt-out--_binary64_4465`
2×	`log-pow_binary64_4600` `rem-log-exp_binary64_4552` `swap-sqr_binary64_4478` `cancel-sign-sub_binary64_4476` `distribute-lft1-in_binary64_4466` `count-2_binary64_4459`
1×	`exp-to-pow_binary64_4573` `1-exp_binary64_4555` `exp-1-e_binary64_4554` `rem-exp-log_binary64_4551` `cube-neg_binary64_4538` `sqr-neg_binary64_4525` `remove-double-neg_binary64_4499` `--rgt-identity_binary64_4497` `mul0-rgt_binary64_4494` `mul0-lft_binary64_4493` `div0_binary64_4492` `distribute-rgt-neg-out_binary64_4471` `distribute-lft-out--_binary64_4463` `associate--r-_binary64_4450`
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_4774` `erf-erfc_binary64_4773` `erf-odd_binary64_4772` `if-if-and-not_binary64_4771` `if-if-and_binary64_4770` `if-if-or-not_binary64_4769` `if-if-or_binary64_4768` `if-not_binary64_4767` `if-same_binary64_4766` `if-false_binary64_4765` `if-true_binary64_4764` `not-gte_binary64_4763` `not-lte_binary64_4762` `not-gt_binary64_4761` `not-lt_binary64_4760` `gte-same_binary64_4759` `lte-same_binary64_4758` `gt-same_binary64_4757` `lt-same_binary64_4756` `sinh---cosh_binary64_4703` `sinh-+-cosh_binary64_4702` `sinh-cosh_binary64_4701` `tanh-def-c_binary64_4700` `tanh-def-b_binary64_4699` `tanh-def-a_binary64_4698` `cosh-def_binary64_4697` `sinh-def_binary64_4696` `tan-neg_binary64_4643` `cos-neg_binary64_4642` `sin-neg_binary64_4641` `tan-0_binary64_4640` `cos-0_binary64_4639` `sin-0_binary64_4638` `hang-m-tan_binary64_4637` `hang-p-tan_binary64_4636` `hang-m0-tan_binary64_4635` `hang-p0-tan_binary64_4634` `hang-0m-tan_binary64_4633` `hang-0p-tan_binary64_4632` `tan-+PI/2_binary64_4631` `tan-+PI_binary64_4630` `tan-PI_binary64_4629` `tan-PI/3_binary64_4628` `tan-PI/4_binary64_4627` `tan-PI/6_binary64_4626` `cos-+PI/2_binary64_4625` `cos-+PI_binary64_4624` `cos-PI_binary64_4623` `cos-PI/2_binary64_4622` `cos-PI/3_binary64_4621` `cos-PI/4_binary64_4620` `cos-PI/6_binary64_4619` `sin-+PI/2_binary64_4618` `sin-+PI_binary64_4617` `sin-PI_binary64_4616` `sin-PI/2_binary64_4615` `sin-PI/3_binary64_4614` `sin-PI/4_binary64_4613` `sin-PI/6_binary64_4612` `sub-1-sin_binary64_4611` `sub-1-cos_binary64_4610` `-1-add-sin_binary64_4609` `-1-add-cos_binary64_4608` `1-sub-sin_binary64_4607` `1-sub-cos_binary64_4606` `cos-sin-sum_binary64_4605` `log-E_binary64_4601` `log-rec_binary64_4599` `pow-base-0_binary64_4595` `unpow1/3_binary64_4578` `pow-base-1_binary64_4571` `unpow0_binary64_4570` `unpow-1_binary64_4568` `exp-lft-cube_binary64_4567` `exp-lft-sqr_binary64_4566` `exp-cbrt_binary64_4565` `exp-sqrt_binary64_4564` `exp-neg_binary64_4558` `e-exp-1_binary64_4556` `exp-0_binary64_4553` `rem-3cbrt-rft_binary64_4537` `rem-3cbrt-lft_binary64_4536` `rem-cbrt-cube_binary64_4535` `rem-cube-cbrt_binary64_4534` `sqr-abs_binary64_4526` `rem-square-sqrt_binary64_4523` `mul-1-neg_binary64_4503` `+-lft-identity_binary64_4495` `*-inverses_binary64_4491` `+-inverses_binary64_4490` `lft-mult-inverse_binary64_4489` `rgt-mult-inverse_binary64_4488` `remove-double-div_binary64_4487` `difference-of-sqr--1_binary64_4482` `difference-of-sqr-1_binary64_4481` `distribute-frac-neg_binary64_4474` `distribute-neg-out_binary64_4473`

Counts

68 → 54

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	139	1510
1	360	1439
2	1081	1404
3	3741	1404
4	4808	1404
5	5174	1404

prune56.0ms (1.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	52	2	54
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	3	55

Error

0.4b

Counts

55 → 3

Compiler

Compiled 958 to 323 computations (66.3% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (exp.f64 a))
0.0b	(sqrt.f64 (exp.f64 a))
0.7b	(*.f64 (sqrt.f64 (exp.f64 a)) (/.f64 (sqrt.f64 (exp.f64 a)) (+.f64 (exp.f64 b) (exp.f64 a))))
0.8b	(/.f64 (sqrt.f64 (exp.f64 a)) (+.f64 (exp.f64 b) (exp.f64 a)))

rewrite173.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

68×	`*-un-lft-identity_binary64_4511`
60×	`add-sqr-sqrt_binary64_4533`
52×	`times-frac_binary64_4517`
42×	`add-cube-cbrt_binary64_4546`
41×	`sqrt-prod_binary64_4527`
30×	`associate-r_binary64_4451`
13×	`distribute-lft-out_binary64_4462`
11×	`add-exp-log_binary64_4549` `add-cbrt-cube_binary64_4547`
8×	`pow1_binary64_4572` `sqrt-pow1_binary64_4529`
6×	`associate-/l_binary64_4456` `unswap-sqr_binary64_4479` `associate-l*_binary64_4452` `exp-prod_binary64_4563`
4×	`add-log-exp_binary64_4550` `associate-/r/_binary64_4457` `associate-/r*_binary64_4455`
2×	`div-exp_binary64_4562` `cbrt-undiv_binary64_4545` `div-inv_binary64_4508` `flip3-+_binary64_4514` `flip-+_binary64_4485` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `pow1/2_binary64_4591` `rem-sqrt-square_binary64_4524`
1×	`frac-2neg_binary64_4522` `clear-num_binary64_4510` `pow-prod-down_binary64_4582` `associate-r/_binary64_4453` `-commutative_binary64_4442`

Counts

4 → 136

Calls

4 calls:

21.0ms	(*.f64 (sqrt.f64 (exp.f64 a)) (/.f64 (sqrt.f64 (exp.f64 a)) (+.f64 (exp.f64 b) (exp.f64 a))))
9.0ms	(/.f64 (sqrt.f64 (exp.f64 a)) (+.f64 (exp.f64 b) (exp.f64 a)))
2.0ms	(sqrt.f64 (exp.f64 a))
2.0ms	(sqrt.f64 (exp.f64 a))

Compiler

Compiled 3115 to 465 computations (85.1% saved)

series696.0ms (13.7%)

Error

0.4b

Counts

4 → 35

Calls

4 calls:

345.0ms	(/.f64 (sqrt.f64 (exp.f64 a)) (+.f64 (exp.f64 b) (exp.f64 a)))
240.0ms	(*.f64 (sqrt.f64 (exp.f64 a)) (/.f64 (sqrt.f64 (exp.f64 a)) (+.f64 (exp.f64 b) (exp.f64 a))))
32.0ms	(sqrt.f64 (exp.f64 a))
31.0ms	(sqrt.f64 (exp.f64 a))

Compiler

Compiled 2167 to 1367 computations (36.9% saved)

simplify121.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

398×	`associate-/r*_binary64_4455`
352×	`associate--l+_binary64_4448`
327×	`associate-/l/_binary64_4458`
202×	`cancel-sign-sub-inv_binary64_4477`
197×	`associate-/r/_binary64_4457`
161×	`distribute-rgt-in_binary64_4461`
146×	`sub-neg_binary64_4504`
138×	`distribute-lft-in_binary64_4460` `associate-r_binary64_4451`
131×	`associate-/l_binary64_4456` `associate-l*_binary64_4452`
119×	`times-frac_binary64_4517`
98×	`+-commutative_binary64_4441`
83×	`*-commutative_binary64_4442`
76×	`associate-*r/_binary64_4453`
73×	`associate-*l/_binary64_4454`
70×	`distribute-neg-in_binary64_4472`
67×	`associate-+r+_binary64_4443`
63×	`associate-+l+_binary64_4444`
61×	`unswap-sqr_binary64_4479`
58×	`distribute-rgt-out_binary64_4464`
55×	`distribute-rgt-neg-in_binary64_4469`
44×	`*-rgt-identity_binary64_4501` `sqr-pow_binary64_4483` `associate--r+_binary64_4447`
43×	`distribute-lft-neg-in_binary64_4468`
40×	`distribute-neg-frac_binary64_4475`
37×	`neg-mul-1_binary64_4507` `neg-sub0_binary64_4506`
36×	`distribute-lft-out_binary64_4462`
33×	`unsub-neg_binary64_4505`
32×	`*-lft-identity_binary64_4500`
19×	`exp-prod_binary64_4563`
18×	`cube-prod_binary64_4539`
17×	`log-prod_binary64_4597`
16×	`distribute-lft-out--_binary64_4463`
14×	`/-rgt-identity_binary64_4502`
12×	`log-div_binary64_4598` `swap-sqr_binary64_4478` `distribute-rgt-out--_binary64_4465` `associate--l-_binary64_4449`
8×	`prod-exp_binary64_4560` `cube-unmult_binary64_4548` `cube-div_binary64_4540`
7×	`distribute-lft-neg-out_binary64_4470` `distribute-rgt1-in_binary64_4467`
6×	`unpow3_binary64_4577` `cube-mult_binary64_4541`
4×	`unpow2_binary64_4576` `unpow1/2_binary64_4575` `unpow1_binary64_4569` `rem-sqrt-square_binary64_4524`
3×	`log-rec_binary64_4599` `div-sub_binary64_4516` `distribute-lft1-in_binary64_4466` `count-2_binary64_4459`
2×	`rem-square-sqrt_binary64_4523` `pow-sqr_binary64_4484`
1×	`pow-plus_binary64_4574` `1-exp_binary64_4555` `exp-1-e_binary64_4554` `rem-log-exp_binary64_4552` `difference-of-squares_binary64_4480` `associate--r-_binary64_4450` `associate-+l-_binary64_4446` `associate-+r-_binary64_4445`
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_4774` `erf-erfc_binary64_4773` `erf-odd_binary64_4772` `if-if-and-not_binary64_4771` `if-if-and_binary64_4770` `if-if-or-not_binary64_4769` `if-if-or_binary64_4768` `if-not_binary64_4767` `if-same_binary64_4766` `if-false_binary64_4765` `if-true_binary64_4764` `not-gte_binary64_4763` `not-lte_binary64_4762` `not-gt_binary64_4761` `not-lt_binary64_4760` `gte-same_binary64_4759` `lte-same_binary64_4758` `gt-same_binary64_4757` `lt-same_binary64_4756` `sinh---cosh_binary64_4703` `sinh-+-cosh_binary64_4702` `sinh-cosh_binary64_4701` `tanh-def-c_binary64_4700` `tanh-def-b_binary64_4699` `tanh-def-a_binary64_4698` `cosh-def_binary64_4697` `sinh-def_binary64_4696` `tan-neg_binary64_4643` `cos-neg_binary64_4642` `sin-neg_binary64_4641` `tan-0_binary64_4640` `cos-0_binary64_4639` `sin-0_binary64_4638` `hang-m-tan_binary64_4637` `hang-p-tan_binary64_4636` `hang-m0-tan_binary64_4635` `hang-p0-tan_binary64_4634` `hang-0m-tan_binary64_4633` `hang-0p-tan_binary64_4632` `tan-+PI/2_binary64_4631` `tan-+PI_binary64_4630` `tan-PI_binary64_4629` `tan-PI/3_binary64_4628` `tan-PI/4_binary64_4627` `tan-PI/6_binary64_4626` `cos-+PI/2_binary64_4625` `cos-+PI_binary64_4624` `cos-PI_binary64_4623` `cos-PI/2_binary64_4622` `cos-PI/3_binary64_4621` `cos-PI/4_binary64_4620` `cos-PI/6_binary64_4619` `sin-+PI/2_binary64_4618` `sin-+PI_binary64_4617` `sin-PI_binary64_4616` `sin-PI/2_binary64_4615` `sin-PI/3_binary64_4614` `sin-PI/4_binary64_4613` `sin-PI/6_binary64_4612` `sub-1-sin_binary64_4611` `sub-1-cos_binary64_4610` `-1-add-sin_binary64_4609` `-1-add-cos_binary64_4608` `1-sub-sin_binary64_4607` `1-sub-cos_binary64_4606` `cos-sin-sum_binary64_4605` `log-E_binary64_4601` `log-pow_binary64_4600` `pow-base-0_binary64_4595` `unpow1/3_binary64_4578` `exp-to-pow_binary64_4573` `pow-base-1_binary64_4571` `unpow0_binary64_4570` `unpow-1_binary64_4568` `exp-lft-cube_binary64_4567` `exp-lft-sqr_binary64_4566` `exp-cbrt_binary64_4565` `exp-sqrt_binary64_4564` `div-exp_binary64_4562` `rec-exp_binary64_4561` `exp-diff_binary64_4559` `exp-neg_binary64_4558` `exp-sum_binary64_4557` `e-exp-1_binary64_4556` `exp-0_binary64_4553` `rem-exp-log_binary64_4551` `cube-neg_binary64_4538` `rem-3cbrt-rft_binary64_4537` `rem-3cbrt-lft_binary64_4536` `rem-cbrt-cube_binary64_4535` `rem-cube-cbrt_binary64_4534` `sqr-abs_binary64_4526` `sqr-neg_binary64_4525` `mul-1-neg_binary64_4503` `remove-double-neg_binary64_4499` `sub0-neg_binary64_4498` `--rgt-identity_binary64_4497` `+-rgt-identity_binary64_4496` `+-lft-identity_binary64_4495` `mul0-rgt_binary64_4494` `mul0-lft_binary64_4493` `div0_binary64_4492` `*-inverses_binary64_4491` `+-inverses_binary64_4490` `lft-mult-inverse_binary64_4489` `rgt-mult-inverse_binary64_4488` `remove-double-div_binary64_4487` `difference-of-sqr--1_binary64_4482` `difference-of-sqr-1_binary64_4481` `cancel-sign-sub_binary64_4476` `distribute-frac-neg_binary64_4474` `distribute-neg-out_binary64_4473` `distribute-rgt-neg-out_binary64_4471`

Counts

171 → 104

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	231	3943
1	596	3786
2	2224	3658
3	4972	3658

prune113.0ms (2.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	104	3	107

Error

0.4b

Counts

107 → 3

Compiler

Compiled 2263 to 628 computations (72.2% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 1 (+.f64 1 (exp.f64 b)))
0.0b	(+.f64 1 (exp.f64 b))

rewrite56.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

21×	`*-un-lft-identity_binary64_4511`
12×	`times-frac_binary64_4517`
11×	`add-cube-cbrt_binary64_4546` `add-sqr-sqrt_binary64_4533`
6×	`add-exp-log_binary64_4549`
5×	`distribute-lft-out_binary64_4462`
4×	`add-log-exp_binary64_4550` `add-cbrt-cube_binary64_4547` `associate-/r*_binary64_4455`
3×	`pow1_binary64_4572` `associate-/l*_binary64_4456`
2×	`flip3-+_binary64_4514` `flip-+_binary64_4485` `div-exp_binary64_4562` `associate-/r/_binary64_4457`
1×	`sum-log_binary64_4602` `+-commutative_binary64_4441` `inv-pow_binary64_4596` `pow-flip_binary64_4585` `1-exp_binary64_4555` `rec-exp_binary64_4561` `cbrt-undiv_binary64_4545` `frac-2neg_binary64_4522` `clear-num_binary64_4510` `div-inv_binary64_4508`

Counts

2 → 49

Calls

2 calls:

6.0ms	(/.f64 1 (+.f64 1 (exp.f64 b)))
4.0ms	(+.f64 1 (exp.f64 b))

Compiler

Compiled 634 to 468 computations (26.2% saved)

series81.0ms (1.6%)

Error

0.4b

Counts

2 → 12

Calls

2 calls:

53.0ms	(/.f64 1 (+.f64 1 (exp.f64 b)))
18.0ms	(+.f64 1 (exp.f64 b))

Compiler

Compiled 212 to 207 computations (2.4% saved)

simplify89.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

494×	`unswap-sqr_binary64_4479`
479×	`sub-neg_binary64_4504`
415×	`cancel-sign-sub-inv_binary64_4477`
315×	`*-commutative_binary64_4442`
301×	`times-frac_binary64_4517`
212×	`distribute-rgt-neg-in_binary64_4469`
201×	`associate-+r-_binary64_4445`
192×	`associate-l_binary64_4452`
180×	`distribute-lft-neg-in_binary64_4468`
175×	`distribute-rgt-in_binary64_4461`
154×	`associate-r_binary64_4451`
143×	`distribute-rgt-out_binary64_4464`
134×	`associate-/l*_binary64_4456`
122×	`associate--r+_binary64_4447`
119×	`associate-+l+_binary64_4444`
117×	`sqr-pow_binary64_4483`
115×	`neg-mul-1_binary64_4507`
108×	`neg-sub0_binary64_4506`
105×	`associate-+r+_binary64_4443`
103×	`associate--l+_binary64_4448`
101×	`associate-+l-_binary64_4446`
99×	`distribute-neg-in_binary64_4472`
78×	`distribute-lft-out_binary64_4462`
72×	`associate-/r*_binary64_4455`
71×	`div-sub_binary64_4516` `distribute-lft-in_binary64_4460`
67×	`exp-prod_binary64_4563`
66×	`*-rgt-identity_binary64_4501`
62×	`+-commutative_binary64_4441`
58×	`associate--l-_binary64_4449`
54×	`unsub-neg_binary64_4505`
51×	`associate-*l/_binary64_4454`
50×	`associate-/l/_binary64_4458`
46×	`associate--r-_binary64_4450`
44×	`associate-/r/_binary64_4457`
34×	`pow-sqr_binary64_4484`
32×	`cube-prod_binary64_4539` `distribute-rgt1-in_binary64_4467`
31×	`distribute-lft-neg-out_binary64_4470`
27×	`associate-*r/_binary64_4453`
24×	`sub0-neg_binary64_4498`
23×	`*-lft-identity_binary64_4500`
21×	`remove-double-neg_binary64_4499`
20×	`pow-plus_binary64_4574`
18×	`distribute-rgt-out--_binary64_4465`
17×	`cube-unmult_binary64_4548` `distribute-lft1-in_binary64_4466`
15×	`--rgt-identity_binary64_4497`
14×	`+-rgt-identity_binary64_4496`
12×	`/-rgt-identity_binary64_4502` `difference-of-squares_binary64_4480`
11×	`distribute-rgt-neg-out_binary64_4471`
10×	`+-lft-identity_binary64_4495`
9×	`rem-sqrt-square_binary64_4524`
8×	`unpow3_binary64_4577`
7×	`exp-sum_binary64_4557` `cube-div_binary64_4540` `distribute-lft-out--_binary64_4463`
6×	`swap-sqr_binary64_4478`
5×	`prod-exp_binary64_4560`
4×	`log-div_binary64_4598` `unpow1/2_binary64_4575` `div-exp_binary64_4562` `exp-diff_binary64_4559` `cube-mult_binary64_4541` `difference-of-sqr--1_binary64_4482` `count-2_binary64_4459`
3×	`rec-exp_binary64_4561` `mul0-rgt_binary64_4494` `mul0-lft_binary64_4493` `remove-double-div_binary64_4487` `difference-of-sqr-1_binary64_4481`
2×	`log-rec_binary64_4599` `log-prod_binary64_4597` `unpow1_binary64_4569` `exp-lft-sqr_binary64_4566` `mul-1-neg_binary64_4503` `+-inverses_binary64_4490` `distribute-neg-out_binary64_4473`
1×	`unpow2_binary64_4576` `exp-lft-cube_binary64_4567` `exp-neg_binary64_4558` `1-exp_binary64_4555` `exp-1-e_binary64_4554` `cube-neg_binary64_4538` `sqr-neg_binary64_4525` `distribute-neg-frac_binary64_4475`
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_4774` `erf-erfc_binary64_4773` `erf-odd_binary64_4772` `if-if-and-not_binary64_4771` `if-if-and_binary64_4770` `if-if-or-not_binary64_4769` `if-if-or_binary64_4768` `if-not_binary64_4767` `if-same_binary64_4766` `if-false_binary64_4765` `if-true_binary64_4764` `not-gte_binary64_4763` `not-lte_binary64_4762` `not-gt_binary64_4761` `not-lt_binary64_4760` `gte-same_binary64_4759` `lte-same_binary64_4758` `gt-same_binary64_4757` `lt-same_binary64_4756` `sinh---cosh_binary64_4703` `sinh-+-cosh_binary64_4702` `sinh-cosh_binary64_4701` `tanh-def-c_binary64_4700` `tanh-def-b_binary64_4699` `tanh-def-a_binary64_4698` `cosh-def_binary64_4697` `sinh-def_binary64_4696` `tan-neg_binary64_4643` `cos-neg_binary64_4642` `sin-neg_binary64_4641` `tan-0_binary64_4640` `cos-0_binary64_4639` `sin-0_binary64_4638` `hang-m-tan_binary64_4637` `hang-p-tan_binary64_4636` `hang-m0-tan_binary64_4635` `hang-p0-tan_binary64_4634` `hang-0m-tan_binary64_4633` `hang-0p-tan_binary64_4632` `tan-+PI/2_binary64_4631` `tan-+PI_binary64_4630` `tan-PI_binary64_4629` `tan-PI/3_binary64_4628` `tan-PI/4_binary64_4627` `tan-PI/6_binary64_4626` `cos-+PI/2_binary64_4625` `cos-+PI_binary64_4624` `cos-PI_binary64_4623` `cos-PI/2_binary64_4622` `cos-PI/3_binary64_4621` `cos-PI/4_binary64_4620` `cos-PI/6_binary64_4619` `sin-+PI/2_binary64_4618` `sin-+PI_binary64_4617` `sin-PI_binary64_4616` `sin-PI/2_binary64_4615` `sin-PI/3_binary64_4614` `sin-PI/4_binary64_4613` `sin-PI/6_binary64_4612` `sub-1-sin_binary64_4611` `sub-1-cos_binary64_4610` `-1-add-sin_binary64_4609` `-1-add-cos_binary64_4608` `1-sub-sin_binary64_4607` `1-sub-cos_binary64_4606` `cos-sin-sum_binary64_4605` `log-E_binary64_4601` `log-pow_binary64_4600` `pow-base-0_binary64_4595` `unpow1/3_binary64_4578` `exp-to-pow_binary64_4573` `pow-base-1_binary64_4571` `unpow0_binary64_4570` `unpow-1_binary64_4568` `exp-cbrt_binary64_4565` `exp-sqrt_binary64_4564` `e-exp-1_binary64_4556` `exp-0_binary64_4553` `rem-log-exp_binary64_4552` `rem-exp-log_binary64_4551` `rem-3cbrt-rft_binary64_4537` `rem-3cbrt-lft_binary64_4536` `rem-cbrt-cube_binary64_4535` `rem-cube-cbrt_binary64_4534` `sqr-abs_binary64_4526` `rem-square-sqrt_binary64_4523` `div0_binary64_4492` `*-inverses_binary64_4491` `lft-mult-inverse_binary64_4489` `rgt-mult-inverse_binary64_4488` `cancel-sign-sub_binary64_4476` `distribute-frac-neg_binary64_4474`

Counts

61 → 49

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	86	785
1	194	732
2	405	729
3	775	729
4	1945	729
5	3755	729
6	5289	729

prune46.0ms (0.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	48	1	49
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	49	3	52

Error

0.4b

Counts

52 → 3

Compiler

Compiled 583 to 435 computations (25.4% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (exp.f64 b) 1)
0.0b	(sqrt.f64 (/.f64 1 (+.f64 (exp.f64 b) 1)))
0.0b	(sqrt.f64 (/.f64 1 (+.f64 (exp.f64 b) 1)))
0.5b	(*.f64 (sqrt.f64 (/.f64 1 (+.f64 (exp.f64 b) 1))) (sqrt.f64 (/.f64 1 (+.f64 (exp.f64 b) 1))))

rewrite460.0ms (9.1%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

150×	`sqrt-prod_binary64_4527`
130×	`*-un-lft-identity_binary64_4511`
120×	`add-sqr-sqrt_binary64_4533`
108×	`times-frac_binary64_4517`
60×	`add-cube-cbrt_binary64_4546`
31×	`pow1_binary64_4572` `swap-sqr_binary64_4478`
30×	`sqrt-pow1_binary64_4529`
25×	`distribute-lft-out_binary64_4462`
21×	`associate-l_binary64_4452` `associate-r_binary64_4451`
16×	`unswap-sqr_binary64_4479`
12×	`rem-sqrt-square_binary64_4524` `associate-/r/_binary64_4457`
10×	`pow1/2_binary64_4591` `inv-pow_binary64_4596` `pow-flip_binary64_4585`
9×	`pow-prod-up_binary64_4581`
8×	`div-inv_binary64_4508`
7×	`flip3-+_binary64_4514` `flip-+_binary64_4485`
6×	`add-exp-log_binary64_4549` `add-log-exp_binary64_4550` `add-cbrt-cube_binary64_4547` `sqrt-div_binary64_4528`
5×	`pow-prod-down_binary64_4582` `pow-sqr_binary64_4484`
3×	`sqr-abs_binary64_4526`
1×	`pow2_binary64_4592` `pow-plus_binary64_4574` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `sqrt-unprod_binary64_4531` `rem-square-sqrt_binary64_4523` `frac-times_binary64_4521` `associate-l/_binary64_4454` `associate-r/_binary64_4453` `*-commutative_binary64_4442` `sum-log_binary64_4602` `+-commutative_binary64_4441`

Counts

4 → 206

Calls

4 calls:

31.0ms	(*.f64 (sqrt.f64 (/.f64 1 (+.f64 (exp.f64 b) 1))) (sqrt.f64 (/.f64 1 (+.f64 (exp.f64 b) 1))))
11.0ms	(sqrt.f64 (/.f64 1 (+.f64 (exp.f64 b) 1)))
7.0ms	(sqrt.f64 (/.f64 1 (+.f64 (exp.f64 b) 1)))
4.0ms	(+.f64 (exp.f64 b) 1)

Compiler

Compiled 5173 to 4005 computations (22.6% saved)

series253.0ms (5%)

Error

0.4b

Counts

4 → 24

Calls

4 calls:

73.0ms	(sqrt.f64 (/.f64 1 (+.f64 (exp.f64 b) 1)))
73.0ms	(sqrt.f64 (/.f64 1 (+.f64 (exp.f64 b) 1)))
56.0ms	(*.f64 (sqrt.f64 (/.f64 1 (+.f64 (exp.f64 b) 1))) (sqrt.f64 (/.f64 1 (+.f64 (exp.f64 b) 1))))
24.0ms	(+.f64 (exp.f64 b) 1)

Compiler

Compiled 930 to 841 computations (9.6% saved)

simplify227.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

552×	`cancel-sign-sub-inv_binary64_4477`
292×	`associate-l_binary64_4452`
246×	`associate-r_binary64_4451`
239×	`associate-/l/_binary64_4458`
221×	`times-frac_binary64_4517`
201×	`associate-/r/_binary64_4457`
192×	`sub-neg_binary64_4504`
168×	`neg-mul-1_binary64_4507`
161×	`neg-sub0_binary64_4506`
153×	`*-commutative_binary64_4442`
130×	`unswap-sqr_binary64_4479`
128×	`distribute-rgt-in_binary64_4461`
121×	`div-sub_binary64_4516`
119×	`associate-/l*_binary64_4456`
108×	`distribute-rgt-neg-in_binary64_4469`
105×	`distribute-neg-frac_binary64_4475`
103×	`exp-prod_binary64_4563`
100×	`distribute-lft-neg-in_binary64_4468`
94×	`distribute-rgt-out_binary64_4464`
91×	`log-prod_binary64_4597`
80×	`*-lft-identity_binary64_4500`
78×	`distribute-lft-in_binary64_4460`
74×	`cube-prod_binary64_4539`
70×	`sqr-pow_binary64_4483`
69×	`associate-/r*_binary64_4455`
67×	`*-rgt-identity_binary64_4501`
59×	`associate-+l+_binary64_4444`
57×	`+-commutative_binary64_4441`
50×	`swap-sqr_binary64_4478` `associate-*l/_binary64_4454`
46×	`rem-sqrt-square_binary64_4524`
44×	`unsub-neg_binary64_4505` `associate--r+_binary64_4447`
41×	`pow-sqr_binary64_4484` `distribute-lft-out_binary64_4462`
40×	`associate-+r+_binary64_4443`
39×	`associate-*r/_binary64_4453`
37×	`unpow3_binary64_4577` `pow-plus_binary64_4574`
26×	`associate--l+_binary64_4448`
24×	`associate-+l-_binary64_4446`
23×	`cube-unmult_binary64_4548`
22×	`log-div_binary64_4598`
20×	`cube-mult_binary64_4541` `/-rgt-identity_binary64_4502`
19×	`rem-square-sqrt_binary64_4523` `distribute-neg-in_binary64_4472`
18×	`remove-double-neg_binary64_4499`
17×	`associate-+r-_binary64_4445`
16×	`cube-div_binary64_4540`
14×	`log-pow_binary64_4600`
13×	`distribute-rgt-out--_binary64_4465`
11×	`sub0-neg_binary64_4498` `+-rgt-identity_binary64_4496` `distribute-rgt1-in_binary64_4467`
7×	`distribute-lft1-in_binary64_4466` `count-2_binary64_4459`
5×	`log-rec_binary64_4599` `unpow1/2_binary64_4575` `distribute-lft-out--_binary64_4463`
4×	`unpow2_binary64_4576` `prod-exp_binary64_4560`
3×	`remove-double-div_binary64_4487` `distribute-lft-neg-out_binary64_4470`
2×	`sqr-neg_binary64_4525` `mul-1-neg_binary64_4503` `div0_binary64_4492` `associate--l-_binary64_4449`
1×	`unpow1_binary64_4569` `exp-diff_binary64_4559` `exp-sum_binary64_4557` `1-exp_binary64_4555` `exp-1-e_binary64_4554` `cube-neg_binary64_4538` `rem-3cbrt-rft_binary64_4537` `rem-3cbrt-lft_binary64_4536` `rem-cbrt-cube_binary64_4535` `+-lft-identity_binary64_4495` `difference-of-sqr-1_binary64_4481` `distribute-neg-out_binary64_4473`
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_4774` `erf-erfc_binary64_4773` `erf-odd_binary64_4772` `if-if-and-not_binary64_4771` `if-if-and_binary64_4770` `if-if-or-not_binary64_4769` `if-if-or_binary64_4768` `if-not_binary64_4767` `if-same_binary64_4766` `if-false_binary64_4765` `if-true_binary64_4764` `not-gte_binary64_4763` `not-lte_binary64_4762` `not-gt_binary64_4761` `not-lt_binary64_4760` `gte-same_binary64_4759` `lte-same_binary64_4758` `gt-same_binary64_4757` `lt-same_binary64_4756` `sinh---cosh_binary64_4703` `sinh-+-cosh_binary64_4702` `sinh-cosh_binary64_4701` `tanh-def-c_binary64_4700` `tanh-def-b_binary64_4699` `tanh-def-a_binary64_4698` `cosh-def_binary64_4697` `sinh-def_binary64_4696` `tan-neg_binary64_4643` `cos-neg_binary64_4642` `sin-neg_binary64_4641` `tan-0_binary64_4640` `cos-0_binary64_4639` `sin-0_binary64_4638` `hang-m-tan_binary64_4637` `hang-p-tan_binary64_4636` `hang-m0-tan_binary64_4635` `hang-p0-tan_binary64_4634` `hang-0m-tan_binary64_4633` `hang-0p-tan_binary64_4632` `tan-+PI/2_binary64_4631` `tan-+PI_binary64_4630` `tan-PI_binary64_4629` `tan-PI/3_binary64_4628` `tan-PI/4_binary64_4627` `tan-PI/6_binary64_4626` `cos-+PI/2_binary64_4625` `cos-+PI_binary64_4624` `cos-PI_binary64_4623` `cos-PI/2_binary64_4622` `cos-PI/3_binary64_4621` `cos-PI/4_binary64_4620` `cos-PI/6_binary64_4619` `sin-+PI/2_binary64_4618` `sin-+PI_binary64_4617` `sin-PI_binary64_4616` `sin-PI/2_binary64_4615` `sin-PI/3_binary64_4614` `sin-PI/4_binary64_4613` `sin-PI/6_binary64_4612` `sub-1-sin_binary64_4611` `sub-1-cos_binary64_4610` `-1-add-sin_binary64_4609` `-1-add-cos_binary64_4608` `1-sub-sin_binary64_4607` `1-sub-cos_binary64_4606` `cos-sin-sum_binary64_4605` `log-E_binary64_4601` `pow-base-0_binary64_4595` `unpow1/3_binary64_4578` `exp-to-pow_binary64_4573` `pow-base-1_binary64_4571` `unpow0_binary64_4570` `unpow-1_binary64_4568` `exp-lft-cube_binary64_4567` `exp-lft-sqr_binary64_4566` `exp-cbrt_binary64_4565` `exp-sqrt_binary64_4564` `div-exp_binary64_4562` `rec-exp_binary64_4561` `exp-neg_binary64_4558` `e-exp-1_binary64_4556` `exp-0_binary64_4553` `rem-log-exp_binary64_4552` `rem-exp-log_binary64_4551` `rem-cube-cbrt_binary64_4534` `sqr-abs_binary64_4526` `--rgt-identity_binary64_4497` `mul0-rgt_binary64_4494` `mul0-lft_binary64_4493` `*-inverses_binary64_4491` `+-inverses_binary64_4490` `lft-mult-inverse_binary64_4489` `rgt-mult-inverse_binary64_4488` `difference-of-sqr--1_binary64_4482` `difference-of-squares_binary64_4480` `cancel-sign-sub_binary64_4476` `distribute-frac-neg_binary64_4474` `distribute-rgt-neg-out_binary64_4471` `associate--r-_binary64_4450`

Counts

230 → 199

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	176	4015
1	341	3810
2	959	3788
3	2514	3693
4	4383	3693
5	4831	3693
6	4966	3693

prune257.0ms (5.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	197	2	199
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	198	4	202

Error

0.4b

Counts

202 → 4

Compiler

Compiled 3616 to 2758 computations (23.7% saved)

regimes390.0ms (7.7%)

Accuracy

Total 0.4b remaining (67.9%)

Threshold costs 0.4b (67.9%)

Compiler

Compiled 3707 to 3046 computations (17.8% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64_4441`
2×	`sub-neg_binary64_4504`
1×	`neg-mul-1_binary64_4507` `neg-sub0_binary64_4506` `*-commutative_binary64_4442`
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_4771` `if-if-and_binary64_4770` `if-if-or-not_binary64_4769` `if-if-or_binary64_4768` `if-not_binary64_4767` `if-same_binary64_4766` `if-false_binary64_4765` `if-true_binary64_4764` `tan-0_binary64_4640` `cos-0_binary64_4639` `sin-0_binary64_4638` `unpow1_binary64_4569` `e-exp-1_binary64_4556` `1-exp_binary64_4555` `exp-1-e_binary64_4554` `exp-0_binary64_4553` `sqr-abs_binary64_4526` `sqr-neg_binary64_4525` `unsub-neg_binary64_4505` `mul-1-neg_binary64_4503` `/-rgt-identity_binary64_4502` `-rgt-identity_binary64_4501` `-lft-identity_binary64_4500` `remove-double-neg_binary64_4499` `sub0-neg_binary64_4498` `--rgt-identity_binary64_4497` `+-rgt-identity_binary64_4496` `+-lft-identity_binary64_4495` `cancel-sign-sub-inv_binary64_4477` `cancel-sign-sub_binary64_4476` `distribute-neg-frac_binary64_4475` `distribute-frac-neg_binary64_4474` `distribute-neg-out_binary64_4473` `distribute-neg-in_binary64_4472` `distribute-rgt-neg-out_binary64_4471` `distribute-lft-neg-out_binary64_4470` `distribute-rgt-neg-in_binary64_4469` `distribute-lft-neg-in_binary64_4468`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	15
1	12	15
2	17	15
3	19	15
4	20	15
5	20	15

end0.0ms (0%)

sample1.3s (25.3%)

Algorithm

1×

intervals

Results

246.0ms	8000×	body	128	valid
17.0ms	707×	body	128	overflowed

Compiler

Compiled 638 to 527 computations (17.4% saved)

Details

analyze219.0ms (4.3%)

sample22.0ms (0.4%)

simplify8.0ms (0.2%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite57.0ms (1.1%)

series331.0ms (6.5%)

simplify101.0ms (2%)

prune56.0ms (1.1%)

localize8.0ms (0.2%)

rewrite173.0ms (3.4%)

series696.0ms (13.7%)

simplify121.0ms (2.4%)

prune113.0ms (2.2%)

localize4.0ms (0.1%)

rewrite56.0ms (1.1%)

series81.0ms (1.6%)

simplify89.0ms (1.8%)

prune46.0ms (0.9%)

localize7.0ms (0.1%)

rewrite460.0ms (9.1%)

series253.0ms (5%)

simplify227.0ms (4.5%)

prune257.0ms (5.1%)

regimes390.0ms (7.7%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.3s (25.3%)

Profiling