Details

analyze305.0ms (4.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

696×	`times-frac_binary64_3835`
422×	`associate-/l/_binary64_3776`
399×	`distribute-rgt-in_binary64_3779`
368×	`unswap-sqr_binary64_3797`
350×	`associate-/r/_binary64_3775`
268×	`associate-*l/_binary64_3772`
251×	`sub-neg_binary64_3822`
232×	`distribute-neg-in_binary64_3790`
216×	`distribute-lft-in_binary64_3778`
200×	`prod-exp_binary64_3878`
191×	`unsub-neg_binary64_3823`
185×	`cancel-sign-sub-inv_binary64_3795`
166×	`sqr-pow_binary64_3801`
160×	`exp-prod_binary64_3881`
153×	`*-rgt-identity_binary64_3819`
137×	`associate--l+_binary64_3766`
131×	`associate-r_binary64_3769`
130×	`associate-/r*_binary64_3773`
126×	`associate-/l*_binary64_3774`
125×	`associate-+l-_binary64_3764`
124×	`associate-l_binary64_3770`
113×	`*-lft-identity_binary64_3818`
84×	`neg-mul-1_binary64_3825` `associate--l-_binary64_3767`
80×	`remove-double-div_binary64_3805` `associate-*r/_binary64_3771`
76×	`unpow3_binary64_3895`
74×	`cube-unmult_binary64_3866`
72×	`pow-plus_binary64_3892` `cube-prod_binary64_3857` `/-rgt-identity_binary64_3820` `pow-sqr_binary64_3802`
71×	`+-commutative_binary64_3759`
69×	`neg-sub0_binary64_3824`
58×	`distribute-neg-out_binary64_3791` `distribute-lft-neg-out_binary64_3788`
56×	`associate--r+_binary64_3765` `associate-+l+_binary64_3762`
52×	`rem-sqrt-square_binary64_3842`
48×	`div-sub_binary64_3834` `*-commutative_binary64_3760`
44×	`distribute-rgt-neg-in_binary64_3787` `distribute-lft-neg-in_binary64_3786`
36×	`div-exp_binary64_3880`
34×	`rec-exp_binary64_3879`
32×	`distribute-rgt-neg-out_binary64_3789`
31×	`associate--r-_binary64_3768`
28×	`exp-sum_binary64_3875` `cube-div_binary64_3858`
27×	`distribute-lft-out--_binary64_3781`
25×	`associate-+r+_binary64_3761`
24×	`exp-sqrt_binary64_3882` `distribute-rgt-out--_binary64_3783`
20×	`distribute-frac-neg_binary64_3792`
18×	`cube-mult_binary64_3859`
16×	`exp-lft-sqr_binary64_3884` `distribute-neg-frac_binary64_3793`
14×	`exp-diff_binary64_3877`
11×	`+-lft-identity_binary64_3813`
10×	`+-rgt-identity_binary64_3814`
9×	`remove-double-neg_binary64_3817` `associate-+r-_binary64_3763`
8×	`unpow2_binary64_3894` `mul-1-neg_binary64_3821` `sub0-neg_binary64_3816` `--rgt-identity_binary64_3815`
7×	`cancel-sign-sub_binary64_3794`
5×	`distribute-rgt-out_binary64_3782`
4×	`log-prod_binary64_3915` `unpow1/2_binary64_3893` `mul0-rgt_binary64_3812` `mul0-lft_binary64_3811` `distribute-rgt1-in_binary64_3785` `distribute-lft-out_binary64_3780`
3×	`distribute-lft1-in_binary64_3784`
1×	`1-exp_binary64_3873` `exp-1-e_binary64_3872` `count-2_binary64_3777`
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_4092` `erf-erfc_binary64_4091` `erf-odd_binary64_4090` `if-if-and-not_binary64_4089` `if-if-and_binary64_4088` `if-if-or-not_binary64_4087` `if-if-or_binary64_4086` `if-not_binary64_4085` `if-same_binary64_4084` `if-false_binary64_4083` `if-true_binary64_4082` `not-gte_binary64_4081` `not-lte_binary64_4080` `not-gt_binary64_4079` `not-lt_binary64_4078` `gte-same_binary64_4077` `lte-same_binary64_4076` `gt-same_binary64_4075` `lt-same_binary64_4074` `sinh---cosh_binary64_4021` `sinh-+-cosh_binary64_4020` `sinh-cosh_binary64_4019` `tanh-def-c_binary64_4018` `tanh-def-b_binary64_4017` `tanh-def-a_binary64_4016` `cosh-def_binary64_4015` `sinh-def_binary64_4014` `tan-neg_binary64_3961` `cos-neg_binary64_3960` `sin-neg_binary64_3959` `tan-0_binary64_3958` `cos-0_binary64_3957` `sin-0_binary64_3956` `hang-m-tan_binary64_3955` `hang-p-tan_binary64_3954` `hang-m0-tan_binary64_3953` `hang-p0-tan_binary64_3952` `hang-0m-tan_binary64_3951` `hang-0p-tan_binary64_3950` `tan-+PI/2_binary64_3949` `tan-+PI_binary64_3948` `tan-PI_binary64_3947` `tan-PI/3_binary64_3946` `tan-PI/4_binary64_3945` `tan-PI/6_binary64_3944` `cos-+PI/2_binary64_3943` `cos-+PI_binary64_3942` `cos-PI_binary64_3941` `cos-PI/2_binary64_3940` `cos-PI/3_binary64_3939` `cos-PI/4_binary64_3938` `cos-PI/6_binary64_3937` `sin-+PI/2_binary64_3936` `sin-+PI_binary64_3935` `sin-PI_binary64_3934` `sin-PI/2_binary64_3933` `sin-PI/3_binary64_3932` `sin-PI/4_binary64_3931` `sin-PI/6_binary64_3930` `sub-1-sin_binary64_3929` `sub-1-cos_binary64_3928` `-1-add-sin_binary64_3927` `-1-add-cos_binary64_3926` `1-sub-sin_binary64_3925` `1-sub-cos_binary64_3924` `cos-sin-sum_binary64_3923` `log-E_binary64_3919` `log-pow_binary64_3918` `log-rec_binary64_3917` `log-div_binary64_3916` `pow-base-0_binary64_3913` `unpow1/3_binary64_3896` `exp-to-pow_binary64_3891` `pow-base-1_binary64_3889` `unpow0_binary64_3888` `unpow1_binary64_3887` `unpow-1_binary64_3886` `exp-lft-cube_binary64_3885` `exp-cbrt_binary64_3883` `exp-neg_binary64_3876` `e-exp-1_binary64_3874` `exp-0_binary64_3871` `rem-log-exp_binary64_3870` `rem-exp-log_binary64_3869` `cube-neg_binary64_3856` `rem-3cbrt-rft_binary64_3855` `rem-3cbrt-lft_binary64_3854` `rem-cbrt-cube_binary64_3853` `rem-cube-cbrt_binary64_3852` `sqr-abs_binary64_3844` `sqr-neg_binary64_3843` `rem-square-sqrt_binary64_3841` `div0_binary64_3810` `*-inverses_binary64_3809` `+-inverses_binary64_3808` `lft-mult-inverse_binary64_3807` `rgt-mult-inverse_binary64_3806` `difference-of-sqr--1_binary64_3800` `difference-of-sqr-1_binary64_3799` `difference-of-squares_binary64_3798` `swap-sqr_binary64_3796`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	28
1	27	28
2	36	28
3	50	28
4	70	28
5	97	28
6	135	28
7	167	28
8	205	28
9	211	28
10	267	28
11	457	28
12	948	28
13	1570	28
14	2654	28
15	4356	28
16	4781	28
17	4658	28
18	4882	28
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
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
43.7%	43.7%	12.6%	6
53.1%	31.2%	15.7%	7
59.3%	18.7%	22%	8
62.4%	14%	23.5%	9
64.8%	8.6%	26.6%	10
66%	6.6%	27.4%	11
66.9%	4.1%	29%	12
67.4%	3.2%	29.4%	13
67.9%	2%	30.1%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample27.0ms (0.4%)

Algorithm

1×

intervals

Results

11.0ms	235×	body	128	valid
3.0ms	7×	body	1024	valid
2.0ms	7×	body	512	valid
1.0ms	7×	body	256	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 19 to 19 computations (0% saved)

simplify128.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

373×	`swap-sqr_binary64_3796`
365×	`div-exp_binary64_3880`
348×	`times-frac_binary64_3835`
325×	`distribute-rgt-in_binary64_3779`
284×	`pow-sqr_binary64_3802`
247×	`associate-/r*_binary64_3773`
239×	`sqr-pow_binary64_3801`
237×	`associate-/l*_binary64_3774`
227×	`*-commutative_binary64_3760`
225×	`sub-neg_binary64_3822`
211×	`associate-/l/_binary64_3776`
184×	`unswap-sqr_binary64_3797`
175×	`associate-/r/_binary64_3775`
155×	`distribute-lft-in_binary64_3778`
152×	`exp-prod_binary64_3881`
150×	`associate-*r/_binary64_3771`
146×	`prod-exp_binary64_3878`
139×	`unsub-neg_binary64_3823`
136×	`distribute-neg-in_binary64_3790`
128×	`associate-*l/_binary64_3772`
117×	`neg-mul-1_binary64_3825`
113×	`associate--r+_binary64_3765`
106×	`cancel-sign-sub-inv_binary64_3795` `distribute-neg-frac_binary64_3793`
100×	`associate--r-_binary64_3768`
98×	`neg-sub0_binary64_3824`
96×	`div-sub_binary64_3834`
91×	`cube-prod_binary64_3857`
90×	`rem-sqrt-square_binary64_3842`
89×	`*-rgt-identity_binary64_3819`
84×	`unpow3_binary64_3895`
80×	`distribute-rgt-neg-in_binary64_3787`
79×	`*-lft-identity_binary64_3818` `distribute-lft-neg-in_binary64_3786` `associate-+l+_binary64_3762`
73×	`associate-r_binary64_3769`
71×	`distribute-rgt-neg-out_binary64_3789`
70×	`associate-l_binary64_3770` `associate--l+_binary64_3766`
69×	`pow-plus_binary64_3892`
67×	`associate-+l-_binary64_3764`
60×	`+-commutative_binary64_3759`
58×	`distribute-lft-neg-out_binary64_3788`
50×	`cancel-sign-sub_binary64_3794`
47×	`cube-div_binary64_3858`
46×	`cube-mult_binary64_3859` `distribute-rgt-out_binary64_3782`
44×	`cube-unmult_binary64_3866`
43×	`associate--l-_binary64_3767`
40×	`remove-double-div_binary64_3805` `distribute-neg-out_binary64_3791`
32×	`associate-+r-_binary64_3763`
28×	`exp-sum_binary64_3875`
24×	`/-rgt-identity_binary64_3820` `distribute-frac-neg_binary64_3792` `distribute-rgt-out--_binary64_3783`
19×	`rec-exp_binary64_3879`
17×	`+-rgt-identity_binary64_3814` `distribute-lft-out--_binary64_3781`
16×	`exp-sqrt_binary64_3882` `exp-diff_binary64_3877`
14×	`unpow2_binary64_3894`
13×	`associate-+r+_binary64_3761`
12×	`+-lft-identity_binary64_3813` `distribute-lft-out_binary64_3780`
10×	`exp-lft-sqr_binary64_3884`
9×	`remove-double-neg_binary64_3817` `distribute-rgt1-in_binary64_3785`
8×	`--rgt-identity_binary64_3815`
6×	`unpow1/2_binary64_3893` `sub0-neg_binary64_3816` `mul0-rgt_binary64_3812` `mul0-lft_binary64_3811`
4×	`exp-neg_binary64_3876` `mul-1-neg_binary64_3821`
2×	`log-prod_binary64_3915` `unpow1_binary64_3887` `div0_binary64_3810` `distribute-lft1-in_binary64_3784`
1×	`1-exp_binary64_3873` `exp-1-e_binary64_3872` `count-2_binary64_3777`
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_4092` `erf-erfc_binary64_4091` `erf-odd_binary64_4090` `if-if-and-not_binary64_4089` `if-if-and_binary64_4088` `if-if-or-not_binary64_4087` `if-if-or_binary64_4086` `if-not_binary64_4085` `if-same_binary64_4084` `if-false_binary64_4083` `if-true_binary64_4082` `not-gte_binary64_4081` `not-lte_binary64_4080` `not-gt_binary64_4079` `not-lt_binary64_4078` `gte-same_binary64_4077` `lte-same_binary64_4076` `gt-same_binary64_4075` `lt-same_binary64_4074` `sinh---cosh_binary64_4021` `sinh-+-cosh_binary64_4020` `sinh-cosh_binary64_4019` `tanh-def-c_binary64_4018` `tanh-def-b_binary64_4017` `tanh-def-a_binary64_4016` `cosh-def_binary64_4015` `sinh-def_binary64_4014` `tan-neg_binary64_3961` `cos-neg_binary64_3960` `sin-neg_binary64_3959` `tan-0_binary64_3958` `cos-0_binary64_3957` `sin-0_binary64_3956` `hang-m-tan_binary64_3955` `hang-p-tan_binary64_3954` `hang-m0-tan_binary64_3953` `hang-p0-tan_binary64_3952` `hang-0m-tan_binary64_3951` `hang-0p-tan_binary64_3950` `tan-+PI/2_binary64_3949` `tan-+PI_binary64_3948` `tan-PI_binary64_3947` `tan-PI/3_binary64_3946` `tan-PI/4_binary64_3945` `tan-PI/6_binary64_3944` `cos-+PI/2_binary64_3943` `cos-+PI_binary64_3942` `cos-PI_binary64_3941` `cos-PI/2_binary64_3940` `cos-PI/3_binary64_3939` `cos-PI/4_binary64_3938` `cos-PI/6_binary64_3937` `sin-+PI/2_binary64_3936` `sin-+PI_binary64_3935` `sin-PI_binary64_3934` `sin-PI/2_binary64_3933` `sin-PI/3_binary64_3932` `sin-PI/4_binary64_3931` `sin-PI/6_binary64_3930` `sub-1-sin_binary64_3929` `sub-1-cos_binary64_3928` `-1-add-sin_binary64_3927` `-1-add-cos_binary64_3926` `1-sub-sin_binary64_3925` `1-sub-cos_binary64_3924` `cos-sin-sum_binary64_3923` `log-E_binary64_3919` `log-pow_binary64_3918` `log-rec_binary64_3917` `log-div_binary64_3916` `pow-base-0_binary64_3913` `unpow1/3_binary64_3896` `exp-to-pow_binary64_3891` `pow-base-1_binary64_3889` `unpow0_binary64_3888` `unpow-1_binary64_3886` `exp-lft-cube_binary64_3885` `exp-cbrt_binary64_3883` `e-exp-1_binary64_3874` `exp-0_binary64_3871` `rem-log-exp_binary64_3870` `rem-exp-log_binary64_3869` `cube-neg_binary64_3856` `rem-3cbrt-rft_binary64_3855` `rem-3cbrt-lft_binary64_3854` `rem-cbrt-cube_binary64_3853` `rem-cube-cbrt_binary64_3852` `sqr-abs_binary64_3844` `sqr-neg_binary64_3843` `rem-square-sqrt_binary64_3841` `*-inverses_binary64_3809` `+-inverses_binary64_3808` `lft-mult-inverse_binary64_3807` `rgt-mult-inverse_binary64_3806` `difference-of-sqr--1_binary64_3800` `difference-of-sqr-1_binary64_3799` `difference-of-squares_binary64_3798`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	18	14
2	27	14
3	39	14
4	50	14
5	70	14
6	92	14
7	112	14
8	146	14
9	151	14
10	187	14
11	308	14
12	698	14
13	1206	14
14	1833	14
15	3012	14
16	3297	14
17	3531	14
18	4130	14
19	4679	14
20	4811	14

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

Counts

1 → 1

Compiler

Compiled 9 to 8 computations (11.1% saved)

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 1 (exp.f64 x))
0.6b	(log.f64 (+.f64 1 (exp.f64 x)))

rewrite42.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.5b

Rules

7×	`*-un-lft-identity_binary64_3829`
4×	`log-prod_binary64_3915` `add-log-exp_binary64_3868`
3×	`pow1_binary64_3890` `add-cube-cbrt_binary64_3864` `add-sqr-sqrt_binary64_3851` `add-exp-log_binary64_3867`
2×	`flip3-+_binary64_3832` `log-div_binary64_3916` `flip-+_binary64_3803` `distribute-lft-out_binary64_3780` `add-cbrt-cube_binary64_3865`
1×	`log-pow_binary64_3918` `rem-log-exp_binary64_3870` `sum-log_binary64_3920` `+-commutative_binary64_3759`

Counts

2 → 27

Calls

2 calls:

4.0ms	(log.f64 (+.f64 1 (exp.f64 x)))
4.0ms	(+.f64 1 (exp.f64 x))

Compiler

Compiled 376 to 216 computations (42.6% saved)

series126.0ms (1.8%)

Error

0.3b

Counts

2 → 12

Calls

2 calls:

97.0ms	(log.f64 (+.f64 1 (exp.f64 x)))
19.0ms	(+.f64 1 (exp.f64 x))

Compiler

Compiled 279 to 225 computations (19.4% saved)

simplify63.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

858×	`unswap-sqr_binary64_3797`
729×	`cancel-sign-sub-inv_binary64_3795`
386×	`*-commutative_binary64_3760`
236×	`associate-l_binary64_3770`
190×	`associate-r_binary64_3769`
186×	`distribute-rgt-in_binary64_3779`
176×	`distribute-rgt-out_binary64_3782`
155×	`distribute-rgt-neg-in_binary64_3787`
154×	`+-commutative_binary64_3759`
144×	`sub-neg_binary64_3822`
143×	`distribute-lft-neg-in_binary64_3786`
130×	`distribute-lft-out_binary64_3780`
123×	`associate-+l+_binary64_3762`
101×	`sqr-pow_binary64_3801` `distribute-lft-in_binary64_3778`
99×	`associate-+r+_binary64_3761`
87×	`neg-mul-1_binary64_3825`
78×	`neg-sub0_binary64_3824`
48×	`*-rgt-identity_binary64_3819`
47×	`associate--r+_binary64_3765`
46×	`exp-prod_binary64_3881`
44×	`distribute-lft-out--_binary64_3781`
41×	`distribute-rgt-out--_binary64_3783`
34×	`exp-sum_binary64_3875`
32×	`associate-+l-_binary64_3764`
29×	`distribute-rgt1-in_binary64_3785`
26×	`pow-sqr_binary64_3802`
23×	`log-prod_binary64_3915` `associate--l+_binary64_3766`
22×	`pow-plus_binary64_3892`
21×	`prod-exp_binary64_3878` `unsub-neg_binary64_3823`
19×	`distribute-lft-neg-out_binary64_3788`
17×	`distribute-neg-in_binary64_3790`
16×	`distribute-rgt-neg-out_binary64_3789` `distribute-lft1-in_binary64_3784` `associate-+r-_binary64_3763`
14×	`cube-prod_binary64_3857` `sub0-neg_binary64_3816`
13×	`*-lft-identity_binary64_3818`
12×	`cube-unmult_binary64_3866` `difference-of-squares_binary64_3798`
9×	`+-rgt-identity_binary64_3814`
7×	`unpow3_binary64_3895` `associate-/l*_binary64_3774`
6×	`rem-sqrt-square_binary64_3842` `mul0-rgt_binary64_3812` `mul0-lft_binary64_3811` `count-2_binary64_3777`
4×	`remove-double-neg_binary64_3817` `--rgt-identity_binary64_3815` `difference-of-sqr--1_binary64_3800`
3×	`unpow1/2_binary64_3893` `cube-mult_binary64_3859` `difference-of-sqr-1_binary64_3799` `associate--l-_binary64_3767`
2×	`exp-to-pow_binary64_3891` `unpow1_binary64_3887` `exp-lft-sqr_binary64_3884` `rem-exp-log_binary64_3869` `swap-sqr_binary64_3796` `associate-/l/_binary64_3776` `associate-/r_binary64_3773` `associate-r/_binary64_3771`
1×	`unpow2_binary64_3894` `exp-lft-cube_binary64_3885` `1-exp_binary64_3873` `exp-1-e_binary64_3872` `associate-/r/_binary64_3775`
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_4092` `erf-erfc_binary64_4091` `erf-odd_binary64_4090` `if-if-and-not_binary64_4089` `if-if-and_binary64_4088` `if-if-or-not_binary64_4087` `if-if-or_binary64_4086` `if-not_binary64_4085` `if-same_binary64_4084` `if-false_binary64_4083` `if-true_binary64_4082` `not-gte_binary64_4081` `not-lte_binary64_4080` `not-gt_binary64_4079` `not-lt_binary64_4078` `gte-same_binary64_4077` `lte-same_binary64_4076` `gt-same_binary64_4075` `lt-same_binary64_4074` `sinh---cosh_binary64_4021` `sinh-+-cosh_binary64_4020` `sinh-cosh_binary64_4019` `tanh-def-c_binary64_4018` `tanh-def-b_binary64_4017` `tanh-def-a_binary64_4016` `cosh-def_binary64_4015` `sinh-def_binary64_4014` `tan-neg_binary64_3961` `cos-neg_binary64_3960` `sin-neg_binary64_3959` `tan-0_binary64_3958` `cos-0_binary64_3957` `sin-0_binary64_3956` `hang-m-tan_binary64_3955` `hang-p-tan_binary64_3954` `hang-m0-tan_binary64_3953` `hang-p0-tan_binary64_3952` `hang-0m-tan_binary64_3951` `hang-0p-tan_binary64_3950` `tan-+PI/2_binary64_3949` `tan-+PI_binary64_3948` `tan-PI_binary64_3947` `tan-PI/3_binary64_3946` `tan-PI/4_binary64_3945` `tan-PI/6_binary64_3944` `cos-+PI/2_binary64_3943` `cos-+PI_binary64_3942` `cos-PI_binary64_3941` `cos-PI/2_binary64_3940` `cos-PI/3_binary64_3939` `cos-PI/4_binary64_3938` `cos-PI/6_binary64_3937` `sin-+PI/2_binary64_3936` `sin-+PI_binary64_3935` `sin-PI_binary64_3934` `sin-PI/2_binary64_3933` `sin-PI/3_binary64_3932` `sin-PI/4_binary64_3931` `sin-PI/6_binary64_3930` `sub-1-sin_binary64_3929` `sub-1-cos_binary64_3928` `-1-add-sin_binary64_3927` `-1-add-cos_binary64_3926` `1-sub-sin_binary64_3925` `1-sub-cos_binary64_3924` `cos-sin-sum_binary64_3923` `log-E_binary64_3919` `log-pow_binary64_3918` `log-rec_binary64_3917` `log-div_binary64_3916` `pow-base-0_binary64_3913` `unpow1/3_binary64_3896` `pow-base-1_binary64_3889` `unpow0_binary64_3888` `unpow-1_binary64_3886` `exp-cbrt_binary64_3883` `exp-sqrt_binary64_3882` `div-exp_binary64_3880` `rec-exp_binary64_3879` `exp-diff_binary64_3877` `exp-neg_binary64_3876` `e-exp-1_binary64_3874` `exp-0_binary64_3871` `rem-log-exp_binary64_3870` `cube-div_binary64_3858` `cube-neg_binary64_3856` `rem-3cbrt-rft_binary64_3855` `rem-3cbrt-lft_binary64_3854` `rem-cbrt-cube_binary64_3853` `rem-cube-cbrt_binary64_3852` `sqr-abs_binary64_3844` `sqr-neg_binary64_3843` `rem-square-sqrt_binary64_3841` `times-frac_binary64_3835` `div-sub_binary64_3834` `mul-1-neg_binary64_3821` `/-rgt-identity_binary64_3820` `+-lft-identity_binary64_3813` `div0_binary64_3810` `-inverses_binary64_3809` `+-inverses_binary64_3808` `lft-mult-inverse_binary64_3807` `rgt-mult-inverse_binary64_3806` `remove-double-div_binary64_3805` `cancel-sign-sub_binary64_3794` `distribute-neg-frac_binary64_3793` `distribute-frac-neg_binary64_3792` `distribute-neg-out_binary64_3791` `associate-l/_binary64_3772` `associate--r-_binary64_3768`

Counts

39 → 27

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	68	479
1	151	442
2	282	433
3	596	433
4	1557	433
5	2874	433
6	4963	433

prune37.0ms (0.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	25	2	27
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	25	3	28

Error

0.2b

Counts

28 → 3

Compiler

Compiled 402 to 247 computations (38.6% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(sqrt.f64 (+.f64 (exp.f64 x) 1))
0.2b	(sqrt.f64 (+.f64 (exp.f64 x) 1))
1.0b	(log.f64 (sqrt.f64 (+.f64 (exp.f64 x) 1)))
1.0b	(log.f64 (sqrt.f64 (+.f64 (exp.f64 x) 1)))

rewrite127.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

18×	`*-un-lft-identity_binary64_3829`
16×	`sqrt-prod_binary64_3845`
14×	`log-prod_binary64_3915`
12×	`add-sqr-sqrt_binary64_3851`
10×	`pow1_binary64_3890` `add-cube-cbrt_binary64_3864`
8×	`sqrt-div_binary64_3846`
6×	`log-pow_binary64_3918` `add-exp-log_binary64_3867`
4×	`pow1/2_binary64_3909` `sqrt-pow1_binary64_3847` `flip3-+_binary64_3832` `log-div_binary64_3916` `flip-+_binary64_3803` `distribute-lft-out_binary64_3780` `add-log-exp_binary64_3868` `add-cbrt-cube_binary64_3865`
2×	`rem-log-exp_binary64_3870` `rem-sqrt-square_binary64_3842`

Counts

4 → 72

Calls

4 calls:

5.0ms	(log.f64 (sqrt.f64 (+.f64 (exp.f64 x) 1)))
5.0ms	(log.f64 (sqrt.f64 (+.f64 (exp.f64 x) 1)))
5.0ms	(sqrt.f64 (+.f64 (exp.f64 x) 1))
4.0ms	(sqrt.f64 (+.f64 (exp.f64 x) 1))

Compiler

Compiled 1459 to 935 computations (35.9% saved)

series430.0ms (6.2%)

Error

0.2b

Counts

4 → 22

Calls

4 calls:

142.0ms	(log.f64 (sqrt.f64 (+.f64 (exp.f64 x) 1)))
129.0ms	(log.f64 (sqrt.f64 (+.f64 (exp.f64 x) 1)))
65.0ms	(sqrt.f64 (+.f64 (exp.f64 x) 1))
64.0ms	(sqrt.f64 (+.f64 (exp.f64 x) 1))

Compiler

Compiled 1337 to 1142 computations (14.6% saved)

simplify76.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

551×	`associate-/r*_binary64_3773`
505×	`associate-/l/_binary64_3776`
252×	`associate-/r/_binary64_3775`
212×	`distribute-neg-frac_binary64_3793`
191×	`distribute-rgt-neg-in_binary64_3787`
183×	`distribute-lft-neg-in_binary64_3786`
144×	`associate-+l+_binary64_3762`
136×	`times-frac_binary64_3835`
134×	`associate-/l*_binary64_3774`
117×	`distribute-rgt-out_binary64_3782`
96×	`associate--l+_binary64_3766`
92×	`sub-neg_binary64_3822`
90×	`associate-r_binary64_3769`
79×	`cancel-sign-sub-inv_binary64_3795`
78×	`+-commutative_binary64_3759`
77×	`distribute-rgt-out--_binary64_3783`
68×	`associate-+r+_binary64_3761`
67×	`distribute-lft-out_binary64_3780`
61×	`associate-*l/_binary64_3772`
59×	`associate-*r/_binary64_3771`
53×	`associate-l_binary64_3770`
51×	`*-commutative_binary64_3760`
50×	`unswap-sqr_binary64_3797`
40×	`neg-sub0_binary64_3824` `unsub-neg_binary64_3823`
39×	`neg-mul-1_binary64_3825`
35×	`sqr-pow_binary64_3801`
31×	`distribute-lft-out--_binary64_3781`
29×	`distribute-rgt-in_binary64_3779`
18×	`distribute-lft-in_binary64_3778`
16×	`associate-+r-_binary64_3763`
15×	`+-rgt-identity_binary64_3814`
14×	`prod-exp_binary64_3878`
13×	`associate-+l-_binary64_3764`
12×	`div-sub_binary64_3834` `associate--r+_binary64_3765`
10×	`exp-prod_binary64_3881`
8×	`log-prod_binary64_3915` `cube-unmult_binary64_3866` `cube-prod_binary64_3857`
7×	`distribute-neg-in_binary64_3790` `distribute-rgt1-in_binary64_3785`
6×	`*-rgt-identity_binary64_3819`
5×	`unpow3_binary64_3895` `sub0-neg_binary64_3816` `count-2_binary64_3777`
4×	`cube-mult_binary64_3859` `rem-sqrt-square_binary64_3842`
3×	`*-lft-identity_binary64_3818` `pow-sqr_binary64_3802`
2×	`log-pow_binary64_3918` `unpow2_binary64_3894` `unpow1/2_binary64_3893` `unpow1_binary64_3887` `cube-div_binary64_3858` `rem-square-sqrt_binary64_3841` `mul-1-neg_binary64_3821` `difference-of-squares_binary64_3798` `swap-sqr_binary64_3796` `cancel-sign-sub_binary64_3794` `distribute-lft-neg-out_binary64_3788` `distribute-lft1-in_binary64_3784`
1×	`pow-plus_binary64_3892` `exp-sum_binary64_3875` `1-exp_binary64_3873` `rem-exp-log_binary64_3869` `difference-of-sqr-1_binary64_3799`
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_4092` `erf-erfc_binary64_4091` `erf-odd_binary64_4090` `if-if-and-not_binary64_4089` `if-if-and_binary64_4088` `if-if-or-not_binary64_4087` `if-if-or_binary64_4086` `if-not_binary64_4085` `if-same_binary64_4084` `if-false_binary64_4083` `if-true_binary64_4082` `not-gte_binary64_4081` `not-lte_binary64_4080` `not-gt_binary64_4079` `not-lt_binary64_4078` `gte-same_binary64_4077` `lte-same_binary64_4076` `gt-same_binary64_4075` `lt-same_binary64_4074` `sinh---cosh_binary64_4021` `sinh-+-cosh_binary64_4020` `sinh-cosh_binary64_4019` `tanh-def-c_binary64_4018` `tanh-def-b_binary64_4017` `tanh-def-a_binary64_4016` `cosh-def_binary64_4015` `sinh-def_binary64_4014` `tan-neg_binary64_3961` `cos-neg_binary64_3960` `sin-neg_binary64_3959` `tan-0_binary64_3958` `cos-0_binary64_3957` `sin-0_binary64_3956` `hang-m-tan_binary64_3955` `hang-p-tan_binary64_3954` `hang-m0-tan_binary64_3953` `hang-p0-tan_binary64_3952` `hang-0m-tan_binary64_3951` `hang-0p-tan_binary64_3950` `tan-+PI/2_binary64_3949` `tan-+PI_binary64_3948` `tan-PI_binary64_3947` `tan-PI/3_binary64_3946` `tan-PI/4_binary64_3945` `tan-PI/6_binary64_3944` `cos-+PI/2_binary64_3943` `cos-+PI_binary64_3942` `cos-PI_binary64_3941` `cos-PI/2_binary64_3940` `cos-PI/3_binary64_3939` `cos-PI/4_binary64_3938` `cos-PI/6_binary64_3937` `sin-+PI/2_binary64_3936` `sin-+PI_binary64_3935` `sin-PI_binary64_3934` `sin-PI/2_binary64_3933` `sin-PI/3_binary64_3932` `sin-PI/4_binary64_3931` `sin-PI/6_binary64_3930` `sub-1-sin_binary64_3929` `sub-1-cos_binary64_3928` `-1-add-sin_binary64_3927` `-1-add-cos_binary64_3926` `1-sub-sin_binary64_3925` `1-sub-cos_binary64_3924` `cos-sin-sum_binary64_3923` `log-E_binary64_3919` `log-rec_binary64_3917` `log-div_binary64_3916` `pow-base-0_binary64_3913` `unpow1/3_binary64_3896` `exp-to-pow_binary64_3891` `pow-base-1_binary64_3889` `unpow0_binary64_3888` `unpow-1_binary64_3886` `exp-lft-cube_binary64_3885` `exp-lft-sqr_binary64_3884` `exp-cbrt_binary64_3883` `exp-sqrt_binary64_3882` `div-exp_binary64_3880` `rec-exp_binary64_3879` `exp-diff_binary64_3877` `exp-neg_binary64_3876` `e-exp-1_binary64_3874` `exp-1-e_binary64_3872` `exp-0_binary64_3871` `rem-log-exp_binary64_3870` `cube-neg_binary64_3856` `rem-3cbrt-rft_binary64_3855` `rem-3cbrt-lft_binary64_3854` `rem-cbrt-cube_binary64_3853` `rem-cube-cbrt_binary64_3852` `sqr-abs_binary64_3844` `sqr-neg_binary64_3843` `/-rgt-identity_binary64_3820` `remove-double-neg_binary64_3817` `--rgt-identity_binary64_3815` `+-lft-identity_binary64_3813` `mul0-rgt_binary64_3812` `mul0-lft_binary64_3811` `div0_binary64_3810` `*-inverses_binary64_3809` `+-inverses_binary64_3808` `lft-mult-inverse_binary64_3807` `rgt-mult-inverse_binary64_3806` `remove-double-div_binary64_3805` `difference-of-sqr--1_binary64_3800` `distribute-frac-neg_binary64_3792` `distribute-neg-out_binary64_3791` `distribute-rgt-neg-out_binary64_3789` `associate--r-_binary64_3768` `associate--l-_binary64_3767`

Counts

94 → 40

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	100	1602
1	218	1480
2	550	1382
3	2052	1364
4	5208	1364

prune62.0ms (0.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	40	3	43

Error

0.2b

Counts

43 → 3

Compiler

Compiled 895 to 613 computations (31.5% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (log.f64 2) (*.f64 1/2 x))
0.0b	(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 x y))

rewrite54.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

7×	`add-log-exp_binary64_3868`
3×	`add-cube-cbrt_binary64_3864` `add-sqr-sqrt_binary64_3851` `*-un-lft-identity_binary64_3829` `log-prod_binary64_3915` `associate-+l+_binary64_3762`
2×	`sum-log_binary64_3920` `diff-log_binary64_3921` `pow1_binary64_3890` `add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865`
1×	`flip3--_binary64_3833` `sub-neg_binary64_3822` `flip--_binary64_3804` `cancel-sign-sub-inv_binary64_3795` `associate--l+_binary64_3766` `flip3-+_binary64_3832` `flip-+_binary64_3803` `+-commutative_binary64_3759`

Counts

2 → 28

Calls

2 calls:

6.0ms	(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 x y))
4.0ms	(+.f64 (log.f64 2) (*.f64 1/2 x))

Compiler

Compiled 520 to 360 computations (30.8% saved)

series377.0ms (5.4%)

Error

0.2b

Counts

2 → 18

Calls

2 calls:

249.0ms	(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 x y))
118.0ms	(+.f64 (log.f64 2) (*.f64 1/2 x))

Compiler

Compiled 288 to 251 computations (12.8% saved)

simplify110.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

435×	`unsub-neg_binary64_3823`
328×	`distribute-neg-out_binary64_3791` `*-commutative_binary64_3760`
240×	`associate-l_binary64_3770`
235×	`distribute-rgt-in_binary64_3779`
226×	`neg-sub0_binary64_3824`
221×	`neg-mul-1_binary64_3825` `distribute-lft-in_binary64_3778`
200×	`associate-r_binary64_3769`
196×	`+-commutative_binary64_3759`
183×	`cancel-sign-sub-inv_binary64_3795`
172×	`sub-neg_binary64_3822`
168×	`times-frac_binary64_3835`
133×	`distribute-rgt-out_binary64_3782`
129×	`distribute-lft-neg-out_binary64_3788`
125×	`distribute-rgt-neg-out_binary64_3789`
103×	`distribute-rgt-neg-in_binary64_3787`
98×	`unswap-sqr_binary64_3797`
97×	`distribute-lft-neg-in_binary64_3786`
90×	`sqr-pow_binary64_3801`
67×	`associate-+l+_binary64_3762`
57×	`exp-sum_binary64_3875`
56×	`distribute-lft-out_binary64_3780`
52×	`exp-prod_binary64_3881`
50×	`cancel-sign-sub_binary64_3794`
48×	`associate-+r+_binary64_3761`
43×	`associate--l+_binary64_3766`
41×	`exp-diff_binary64_3877`
36×	`difference-of-squares_binary64_3798`
32×	`associate--r+_binary64_3765`
31×	`associate-+l-_binary64_3764`
29×	`associate-+r-_binary64_3763`
26×	`swap-sqr_binary64_3796`
24×	`associate-/l*_binary64_3774`
23×	`cube-prod_binary64_3857`
20×	`sub0-neg_binary64_3816` `+-rgt-identity_binary64_3814` `associate-/r*_binary64_3773`
19×	`pow-sqr_binary64_3802`
18×	`distribute-rgt-out--_binary64_3783`
16×	`remove-double-neg_binary64_3817`
15×	`distribute-neg-in_binary64_3790`
13×	`unpow3_binary64_3895`
11×	`cube-unmult_binary64_3866`
9×	`pow-plus_binary64_3892` `mul0-rgt_binary64_3812` `mul0-lft_binary64_3811`
7×	`exp-neg_binary64_3876` `cube-mult_binary64_3859` `sqr-neg_binary64_3843` `distribute-lft-out--_binary64_3781`
6×	`div-sub_binary64_3834` `associate-l/_binary64_3772` `associate-r/_binary64_3771`
5×	`associate-/r/_binary64_3775`
4×	`mul-1-neg_binary64_3821` `associate-/l/_binary64_3776`
3×	`log-prod_binary64_3915` `cube-neg_binary64_3856` `distribute-frac-neg_binary64_3792`
2×	`unpow1/2_binary64_3893` `unpow-1_binary64_3886` `div-exp_binary64_3880`
1×	`exp-to-pow_binary64_3891` `prod-exp_binary64_3878` `1-exp_binary64_3873` `rem-exp-log_binary64_3869` `--rgt-identity_binary64_3815` `associate--r-_binary64_3768`
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_4092` `erf-erfc_binary64_4091` `erf-odd_binary64_4090` `if-if-and-not_binary64_4089` `if-if-and_binary64_4088` `if-if-or-not_binary64_4087` `if-if-or_binary64_4086` `if-not_binary64_4085` `if-same_binary64_4084` `if-false_binary64_4083` `if-true_binary64_4082` `not-gte_binary64_4081` `not-lte_binary64_4080` `not-gt_binary64_4079` `not-lt_binary64_4078` `gte-same_binary64_4077` `lte-same_binary64_4076` `gt-same_binary64_4075` `lt-same_binary64_4074` `sinh---cosh_binary64_4021` `sinh-+-cosh_binary64_4020` `sinh-cosh_binary64_4019` `tanh-def-c_binary64_4018` `tanh-def-b_binary64_4017` `tanh-def-a_binary64_4016` `cosh-def_binary64_4015` `sinh-def_binary64_4014` `tan-neg_binary64_3961` `cos-neg_binary64_3960` `sin-neg_binary64_3959` `tan-0_binary64_3958` `cos-0_binary64_3957` `sin-0_binary64_3956` `hang-m-tan_binary64_3955` `hang-p-tan_binary64_3954` `hang-m0-tan_binary64_3953` `hang-p0-tan_binary64_3952` `hang-0m-tan_binary64_3951` `hang-0p-tan_binary64_3950` `tan-+PI/2_binary64_3949` `tan-+PI_binary64_3948` `tan-PI_binary64_3947` `tan-PI/3_binary64_3946` `tan-PI/4_binary64_3945` `tan-PI/6_binary64_3944` `cos-+PI/2_binary64_3943` `cos-+PI_binary64_3942` `cos-PI_binary64_3941` `cos-PI/2_binary64_3940` `cos-PI/3_binary64_3939` `cos-PI/4_binary64_3938` `cos-PI/6_binary64_3937` `sin-+PI/2_binary64_3936` `sin-+PI_binary64_3935` `sin-PI_binary64_3934` `sin-PI/2_binary64_3933` `sin-PI/3_binary64_3932` `sin-PI/4_binary64_3931` `sin-PI/6_binary64_3930` `sub-1-sin_binary64_3929` `sub-1-cos_binary64_3928` `-1-add-sin_binary64_3927` `-1-add-cos_binary64_3926` `1-sub-sin_binary64_3925` `1-sub-cos_binary64_3924` `cos-sin-sum_binary64_3923` `log-E_binary64_3919` `log-pow_binary64_3918` `log-rec_binary64_3917` `log-div_binary64_3916` `pow-base-0_binary64_3913` `unpow1/3_binary64_3896` `unpow2_binary64_3894` `pow-base-1_binary64_3889` `unpow0_binary64_3888` `unpow1_binary64_3887` `exp-lft-cube_binary64_3885` `exp-lft-sqr_binary64_3884` `exp-cbrt_binary64_3883` `exp-sqrt_binary64_3882` `rec-exp_binary64_3879` `e-exp-1_binary64_3874` `exp-1-e_binary64_3872` `exp-0_binary64_3871` `rem-log-exp_binary64_3870` `cube-div_binary64_3858` `rem-3cbrt-rft_binary64_3855` `rem-3cbrt-lft_binary64_3854` `rem-cbrt-cube_binary64_3853` `rem-cube-cbrt_binary64_3852` `sqr-abs_binary64_3844` `rem-sqrt-square_binary64_3842` `rem-square-sqrt_binary64_3841` `/-rgt-identity_binary64_3820` `-rgt-identity_binary64_3819` `-lft-identity_binary64_3818` `+-lft-identity_binary64_3813` `div0_binary64_3810` `*-inverses_binary64_3809` `+-inverses_binary64_3808` `lft-mult-inverse_binary64_3807` `rgt-mult-inverse_binary64_3806` `remove-double-div_binary64_3805` `difference-of-sqr--1_binary64_3800` `difference-of-sqr-1_binary64_3799` `distribute-neg-frac_binary64_3793` `distribute-rgt1-in_binary64_3785` `distribute-lft1-in_binary64_3784` `count-2_binary64_3777` `associate--l-_binary64_3767`

Counts

46 → 32

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	68	695
1	193	598
2	570	589
3	1838	589
4	2894	589
5	4985	589
6	4985	589
7	4932	589

prune31.0ms (0.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	31	1	32
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	31	4	35

Error

0.2b

Counts

35 → 4

Compiler

Compiled 304 to 225 computations (26% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
0.0b	(*.f64 x (-.f64 1/2 y))
0.0b	(log.f64 (+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y))))
0.7b	(exp.f64 (log.f64 (+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))))

rewrite150.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

18×	`add-sqr-sqrt_binary64_3851`
16×	`*-un-lft-identity_binary64_3829`
14×	`add-cube-cbrt_binary64_3864`
12×	`cancel-sign-sub-inv_binary64_3795`
9×	`log-prod_binary64_3915`
8×	`pow1_binary64_3890` `distribute-rgt-in_binary64_3779` `distribute-lft-in_binary64_3778` `associate-+r+_binary64_3761`
7×	`add-exp-log_binary64_3867`
6×	`add-cbrt-cube_binary64_3865`
5×	`add-log-exp_binary64_3868` `associate-r_binary64_3769`
4×	`exp-prod_binary64_3881` `log-div_binary64_3916` `sub-neg_binary64_3822`
3×	`flip3-+_binary64_3832` `flip-+_binary64_3803` `exp-sum_binary64_3875` `associate-l_binary64_3770` `associate-+l+_binary64_3762`
2×	`log-pow_binary64_3918` `exp-diff_binary64_3877` `associate-*r/_binary64_3771`
1×	`rem-exp-log_binary64_3869` `rem-log-exp_binary64_3870` `pow-prod-down_binary64_3900` `prod-exp_binary64_3878` `cbrt-unprod_binary64_3862` `unswap-sqr_binary64_3797` `flip3--_binary64_3833` `flip--_binary64_3804` `difference-of-squares_binary64_3798` `distribute-lft-out--_binary64_3781` `*-commutative_binary64_3760` `sum-log_binary64_3920` `+-commutative_binary64_3759`

Counts

4 → 83

Calls

4 calls:

8.0ms	(*.f64 x (-.f64 1/2 y))
5.0ms	(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
5.0ms	(exp.f64 (log.f64 (+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))))
3.0ms	(log.f64 (+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y))))

Compiler

Compiled 1462 to 1128 computations (22.8% saved)

series3.4s (48.8%)

Error

0.2b

Counts

4 → 49

Calls

4 calls:

2.8s	(exp.f64 (log.f64 (+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))))
249.0ms	(log.f64 (+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y))))
243.0ms	(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
90.0ms	(*.f64 x (-.f64 1/2 y))

Compiler

Compiled 2219 to 1907 computations (14.1% saved)

simplify93.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

366×	`distribute-rgt-in_binary64_3779`
323×	`distribute-lft-in_binary64_3778`
255×	`cancel-sign-sub-inv_binary64_3795`
181×	`sub-neg_binary64_3822`
138×	`distribute-rgt-neg-in_binary64_3787`
128×	`times-frac_binary64_3835`
126×	`distribute-neg-frac_binary64_3793`
125×	`distribute-neg-in_binary64_3790`
119×	`associate-r_binary64_3769`
114×	`associate-l_binary64_3770`
112×	`distribute-lft-neg-in_binary64_3786`
111×	`associate-/l*_binary64_3774`
110×	`*-commutative_binary64_3760`
108×	`associate-/r*_binary64_3773`
96×	`unswap-sqr_binary64_3797`
95×	`+-commutative_binary64_3759`
82×	`neg-sub0_binary64_3824`
80×	`neg-mul-1_binary64_3825`
76×	`prod-exp_binary64_3878`
53×	`associate-+r+_binary64_3761`
52×	`unsub-neg_binary64_3823`
50×	`associate-+l+_binary64_3762`
43×	`sqr-pow_binary64_3801` `distribute-lft-neg-out_binary64_3788`
42×	`div-exp_binary64_3880` `associate--r+_binary64_3765`
37×	`associate-*r/_binary64_3771`
34×	`associate-*l/_binary64_3772`
33×	`distribute-rgt-neg-out_binary64_3789` `associate--l+_binary64_3766`
30×	`div-sub_binary64_3834`
28×	`distribute-rgt-out_binary64_3782`
26×	`exp-sum_binary64_3875`
22×	`log-prod_binary64_3915` `rem-exp-log_binary64_3869`
19×	`exp-prod_binary64_3881` `*-lft-identity_binary64_3818`
18×	`*-rgt-identity_binary64_3819`
16×	`associate-/r/_binary64_3775`
15×	`cube-prod_binary64_3857` `distribute-frac-neg_binary64_3792`
14×	`exp-diff_binary64_3877` `/-rgt-identity_binary64_3820`
11×	`log-div_binary64_3916` `distribute-lft-out_binary64_3780`
10×	`distribute-neg-out_binary64_3791` `associate-/l/_binary64_3776`
7×	`swap-sqr_binary64_3796` `distribute-rgt-out--_binary64_3783` `associate--r-_binary64_3768`
6×	`unpow3_binary64_3895` `cube-unmult_binary64_3866` `associate-+r-_binary64_3763`
5×	`log-pow_binary64_3918` `unpow2_binary64_3894` `unpow1/2_binary64_3893` `unpow1_binary64_3887` `cube-mult_binary64_3859`
4×	`associate-+l-_binary64_3764`
3×	`log-rec_binary64_3917` `rem-sqrt-square_binary64_3842` `*-inverses_binary64_3809`
2×	`mul-1-neg_binary64_3821` `remove-double-neg_binary64_3817` `pow-sqr_binary64_3802` `distribute-lft-out--_binary64_3781` `count-2_binary64_3777`
1×	`rec-exp_binary64_3879` `1-exp_binary64_3873` `exp-1-e_binary64_3872` `rem-log-exp_binary64_3870` `cube-div_binary64_3858` `rem-3cbrt-lft_binary64_3854` `rem-square-sqrt_binary64_3841` `sub0-neg_binary64_3816` `+-inverses_binary64_3808` `rgt-mult-inverse_binary64_3806` `difference-of-squares_binary64_3798` `distribute-rgt1-in_binary64_3785` `distribute-lft1-in_binary64_3784`
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_4092` `erf-erfc_binary64_4091` `erf-odd_binary64_4090` `if-if-and-not_binary64_4089` `if-if-and_binary64_4088` `if-if-or-not_binary64_4087` `if-if-or_binary64_4086` `if-not_binary64_4085` `if-same_binary64_4084` `if-false_binary64_4083` `if-true_binary64_4082` `not-gte_binary64_4081` `not-lte_binary64_4080` `not-gt_binary64_4079` `not-lt_binary64_4078` `gte-same_binary64_4077` `lte-same_binary64_4076` `gt-same_binary64_4075` `lt-same_binary64_4074` `sinh---cosh_binary64_4021` `sinh-+-cosh_binary64_4020` `sinh-cosh_binary64_4019` `tanh-def-c_binary64_4018` `tanh-def-b_binary64_4017` `tanh-def-a_binary64_4016` `cosh-def_binary64_4015` `sinh-def_binary64_4014` `tan-neg_binary64_3961` `cos-neg_binary64_3960` `sin-neg_binary64_3959` `tan-0_binary64_3958` `cos-0_binary64_3957` `sin-0_binary64_3956` `hang-m-tan_binary64_3955` `hang-p-tan_binary64_3954` `hang-m0-tan_binary64_3953` `hang-p0-tan_binary64_3952` `hang-0m-tan_binary64_3951` `hang-0p-tan_binary64_3950` `tan-+PI/2_binary64_3949` `tan-+PI_binary64_3948` `tan-PI_binary64_3947` `tan-PI/3_binary64_3946` `tan-PI/4_binary64_3945` `tan-PI/6_binary64_3944` `cos-+PI/2_binary64_3943` `cos-+PI_binary64_3942` `cos-PI_binary64_3941` `cos-PI/2_binary64_3940` `cos-PI/3_binary64_3939` `cos-PI/4_binary64_3938` `cos-PI/6_binary64_3937` `sin-+PI/2_binary64_3936` `sin-+PI_binary64_3935` `sin-PI_binary64_3934` `sin-PI/2_binary64_3933` `sin-PI/3_binary64_3932` `sin-PI/4_binary64_3931` `sin-PI/6_binary64_3930` `sub-1-sin_binary64_3929` `sub-1-cos_binary64_3928` `-1-add-sin_binary64_3927` `-1-add-cos_binary64_3926` `1-sub-sin_binary64_3925` `1-sub-cos_binary64_3924` `cos-sin-sum_binary64_3923` `log-E_binary64_3919` `pow-base-0_binary64_3913` `unpow1/3_binary64_3896` `pow-plus_binary64_3892` `exp-to-pow_binary64_3891` `pow-base-1_binary64_3889` `unpow0_binary64_3888` `unpow-1_binary64_3886` `exp-lft-cube_binary64_3885` `exp-lft-sqr_binary64_3884` `exp-cbrt_binary64_3883` `exp-sqrt_binary64_3882` `exp-neg_binary64_3876` `e-exp-1_binary64_3874` `exp-0_binary64_3871` `cube-neg_binary64_3856` `rem-3cbrt-rft_binary64_3855` `rem-cbrt-cube_binary64_3853` `rem-cube-cbrt_binary64_3852` `sqr-abs_binary64_3844` `sqr-neg_binary64_3843` `--rgt-identity_binary64_3815` `+-rgt-identity_binary64_3814` `+-lft-identity_binary64_3813` `mul0-rgt_binary64_3812` `mul0-lft_binary64_3811` `div0_binary64_3810` `lft-mult-inverse_binary64_3807` `remove-double-div_binary64_3805` `difference-of-sqr--1_binary64_3800` `difference-of-sqr-1_binary64_3799` `cancel-sign-sub_binary64_3794` `associate--l-_binary64_3767`

Counts

132 → 95

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	275	2959
1	692	2431
2	2393	2221
3	4954	2221

prune87.0ms (1.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	94	1	95
Fresh	0	0	0
Picked	1	0	1
Done	0	3	3
Total	95	4	99

Error

0.2b

Counts

99 → 4

Compiler

Compiled 1187 to 891 computations (24.9% saved)

regimes204.0ms (2.9%)

Accuracy

Total 0.3b remaining (51.7%)

Threshold costs 0.3b (51.7%)

Compiler

Compiled 1195 to 1123 computations (6% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64_3760` `+-commutative_binary64_3759`
4×	`sub-neg_binary64_3822`
3×	`neg-mul-1_binary64_3825` `neg-sub0_binary64_3824`
2×	`cancel-sign-sub-inv_binary64_3795` `distribute-rgt-neg-in_binary64_3787`
1×	`1-exp_binary64_3873` `distribute-lft-neg-out_binary64_3788` `distribute-lft-neg-in_binary64_3786`
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_4089` `if-if-and_binary64_4088` `if-if-or-not_binary64_4087` `if-if-or_binary64_4086` `if-not_binary64_4085` `if-same_binary64_4084` `if-false_binary64_4083` `if-true_binary64_4082` `tan-0_binary64_3958` `cos-0_binary64_3957` `sin-0_binary64_3956` `unpow1_binary64_3887` `e-exp-1_binary64_3874` `exp-1-e_binary64_3872` `exp-0_binary64_3871` `sqr-abs_binary64_3844` `sqr-neg_binary64_3843` `unsub-neg_binary64_3823` `mul-1-neg_binary64_3821` `/-rgt-identity_binary64_3820` `-rgt-identity_binary64_3819` `-lft-identity_binary64_3818` `remove-double-neg_binary64_3817` `sub0-neg_binary64_3816` `--rgt-identity_binary64_3815` `+-rgt-identity_binary64_3814` `+-lft-identity_binary64_3813` `cancel-sign-sub_binary64_3794` `distribute-neg-frac_binary64_3793` `distribute-frac-neg_binary64_3792` `distribute-neg-out_binary64_3791` `distribute-neg-in_binary64_3790` `distribute-rgt-neg-out_binary64_3789`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	36
1	22	36
2	31	36
3	37	36
4	41	36
5	42	36
6	41	36

end2.0ms (0%)

Compiler: Compiled 22 to 17 computations (22.7% saved)

sample977.0ms (14.1%)

Algorithm

1×

intervals

Results

376.0ms	7425×	body	128	valid
85.0ms	204×	body	1024	valid
49.0ms	216×	body	512	valid
20.0ms	154×	body	256	valid
2.0ms	37×	body	128	invalid
1.0ms	1×	body	2048	valid
0.0ms	9×	body	128	overflowed

Compiler

Compiled 113 to 102 computations (9.7% saved)

Details

analyze305.0ms (4.4%)

sample27.0ms (0.4%)

simplify128.0ms (1.8%)

prune2.0ms (0%)

localize11.0ms (0.2%)

rewrite42.0ms (0.6%)

series126.0ms (1.8%)

simplify63.0ms (0.9%)

prune37.0ms (0.5%)

localize11.0ms (0.2%)

rewrite127.0ms (1.8%)

series430.0ms (6.2%)

simplify76.0ms (1.1%)

prune62.0ms (0.9%)

localize8.0ms (0.1%)

rewrite54.0ms (0.8%)

series377.0ms (5.4%)

simplify110.0ms (1.6%)

prune31.0ms (0.4%)

localize11.0ms (0.2%)

rewrite150.0ms (2.2%)

series3.4s (48.8%)

simplify93.0ms (1.3%)

prune87.0ms (1.3%)

regimes204.0ms (2.9%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end2.0ms (0%)

sample977.0ms (14.1%)

Profiling