Details

analyze157.0ms (1.6%)

Algorithm

1×	search
2×	egg-herbie

Rules

16×	`sub-neg_binary64_3822`
14×	`cancel-sign-sub-inv_binary64_3795`
10×	`distribute-rgt-in_binary64_3779`
9×	`neg-mul-1_binary64_3825`
8×	`associate--r+_binary64_3765`
7×	`unsub-neg_binary64_3823`
6×	`neg-sub0_binary64_3824` `+-commutative_binary64_3759`
5×	`distribute-neg-in_binary64_3790` `distribute-lft-neg-out_binary64_3788` `distribute-rgt-neg-in_binary64_3787` `distribute-lft-in_binary64_3778` `associate--r-_binary64_3768`
4×	`*-lft-identity_binary64_3818` `sub0-neg_binary64_3816` `associate-+l-_binary64_3764`
3×	`+-lft-identity_binary64_3813` `distribute-rgt-neg-out_binary64_3789` `associate-+l+_binary64_3762` `*-commutative_binary64_3760`
2×	`*-rgt-identity_binary64_3819` `distribute-neg-frac_binary64_3793`
1×	`1-exp_binary64_3873` `remove-double-neg_binary64_3817` `--rgt-identity_binary64_3815` `+-rgt-identity_binary64_3814` `distribute-lft-neg-in_binary64_3786` `associate--l+_binary64_3766` `associate-+r-_binary64_3763` `associate-+r+_binary64_3761`
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` `log-prod_binary64_3915` `pow-base-0_binary64_3913` `unpow1/3_binary64_3896` `unpow3_binary64_3895` `unpow2_binary64_3894` `unpow1/2_binary64_3893` `pow-plus_binary64_3892` `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-lft-sqr_binary64_3884` `exp-cbrt_binary64_3883` `exp-sqrt_binary64_3882` `exp-prod_binary64_3881` `div-exp_binary64_3880` `rec-exp_binary64_3879` `prod-exp_binary64_3878` `exp-diff_binary64_3877` `exp-neg_binary64_3876` `exp-sum_binary64_3875` `e-exp-1_binary64_3874` `exp-1-e_binary64_3872` `exp-0_binary64_3871` `rem-log-exp_binary64_3870` `rem-exp-log_binary64_3869` `cube-unmult_binary64_3866` `cube-mult_binary64_3859` `cube-div_binary64_3858` `cube-prod_binary64_3857` `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-sqrt-square_binary64_3842` `rem-square-sqrt_binary64_3841` `times-frac_binary64_3835` `div-sub_binary64_3834` `mul-1-neg_binary64_3821` `/-rgt-identity_binary64_3820` `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` `pow-sqr_binary64_3802` `sqr-pow_binary64_3801` `difference-of-sqr--1_binary64_3800` `difference-of-sqr-1_binary64_3799` `difference-of-squares_binary64_3798` `unswap-sqr_binary64_3797` `swap-sqr_binary64_3796` `cancel-sign-sub_binary64_3794` `distribute-frac-neg_binary64_3792` `distribute-neg-out_binary64_3791` `distribute-rgt1-in_binary64_3785` `distribute-lft1-in_binary64_3784` `distribute-rgt-out--_binary64_3783` `distribute-rgt-out_binary64_3782` `distribute-lft-out--_binary64_3781` `distribute-lft-out_binary64_3780` `count-2_binary64_3777` `associate-/l/_binary64_3776` `associate-/r/_binary64_3775` `associate-/l_binary64_3774` `associate-/r_binary64_3773` `associate-l/_binary64_3772` `associate-r/_binary64_3771` `associate-l_binary64_3770` `associate-r*_binary64_3769` `associate--l-_binary64_3767`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	16
1	16	16
2	21	16
3	28	16
4	35	16
5	51	16
6	73	16
7	82	16
8	94	16
9	96	16
10	90	16
11	76	16
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample19.0ms (0.2%)

Algorithm

1×

intervals

Results

5.0ms	64×	body	512	valid
4.0ms	153×	body	128	valid
1.0ms	27×	body	256	valid
1.0ms	12×	body	1024	valid

Compiler

Compiled 23 to 22 computations (4.3% saved)

simplify13.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

16×	`sub-neg_binary64_3822`
14×	`cancel-sign-sub-inv_binary64_3795`
10×	`distribute-rgt-in_binary64_3779`
9×	`neg-mul-1_binary64_3825`
8×	`associate--r+_binary64_3765`
7×	`unsub-neg_binary64_3823`
6×	`neg-sub0_binary64_3824` `+-commutative_binary64_3759`
5×	`distribute-neg-in_binary64_3790` `distribute-lft-neg-out_binary64_3788` `distribute-rgt-neg-in_binary64_3787` `distribute-lft-in_binary64_3778` `associate--r-_binary64_3768`
4×	`*-lft-identity_binary64_3818` `sub0-neg_binary64_3816` `associate-+l-_binary64_3764`
3×	`+-lft-identity_binary64_3813` `distribute-rgt-neg-out_binary64_3789` `associate-+l+_binary64_3762` `*-commutative_binary64_3760`
2×	`*-rgt-identity_binary64_3819` `distribute-neg-frac_binary64_3793`
1×	`1-exp_binary64_3873` `remove-double-neg_binary64_3817` `--rgt-identity_binary64_3815` `+-rgt-identity_binary64_3814` `distribute-lft-neg-in_binary64_3786` `associate--l+_binary64_3766` `associate-+r-_binary64_3763` `associate-+r+_binary64_3761`
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` `log-prod_binary64_3915` `pow-base-0_binary64_3913` `unpow1/3_binary64_3896` `unpow3_binary64_3895` `unpow2_binary64_3894` `unpow1/2_binary64_3893` `pow-plus_binary64_3892` `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-lft-sqr_binary64_3884` `exp-cbrt_binary64_3883` `exp-sqrt_binary64_3882` `exp-prod_binary64_3881` `div-exp_binary64_3880` `rec-exp_binary64_3879` `prod-exp_binary64_3878` `exp-diff_binary64_3877` `exp-neg_binary64_3876` `exp-sum_binary64_3875` `e-exp-1_binary64_3874` `exp-1-e_binary64_3872` `exp-0_binary64_3871` `rem-log-exp_binary64_3870` `rem-exp-log_binary64_3869` `cube-unmult_binary64_3866` `cube-mult_binary64_3859` `cube-div_binary64_3858` `cube-prod_binary64_3857` `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-sqrt-square_binary64_3842` `rem-square-sqrt_binary64_3841` `times-frac_binary64_3835` `div-sub_binary64_3834` `mul-1-neg_binary64_3821` `/-rgt-identity_binary64_3820` `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` `pow-sqr_binary64_3802` `sqr-pow_binary64_3801` `difference-of-sqr--1_binary64_3800` `difference-of-sqr-1_binary64_3799` `difference-of-squares_binary64_3798` `unswap-sqr_binary64_3797` `swap-sqr_binary64_3796` `cancel-sign-sub_binary64_3794` `distribute-frac-neg_binary64_3792` `distribute-neg-out_binary64_3791` `distribute-rgt1-in_binary64_3785` `distribute-lft1-in_binary64_3784` `distribute-rgt-out--_binary64_3783` `distribute-rgt-out_binary64_3782` `distribute-lft-out--_binary64_3781` `distribute-lft-out_binary64_3780` `count-2_binary64_3777` `associate-/l/_binary64_3776` `associate-/r/_binary64_3775` `associate-/l_binary64_3774` `associate-/r_binary64_3773` `associate-l/_binary64_3772` `associate-r/_binary64_3771` `associate-l_binary64_3770` `associate-r*_binary64_3769` `associate--l-_binary64_3767`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	16
1	16	16
2	21	16
3	28	16
4	35	16
5	51	16
6	73	16
7	82	16
8	94	16
9	96	16
10	90	16
11	76	16

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

13.9b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 1 (+.f64 x 1))
0.0b	(/.f64 1 (-.f64 x 1))
3.5b	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 (-.f64 x 1)))

rewrite276.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

12.5b

Rules

118×	`*-un-lft-identity_binary64_3829`
95×	`add-sqr-sqrt_binary64_3851`
90×	`times-frac_binary64_3835`
43×	`add-cube-cbrt_binary64_3864`
30×	`distribute-lft-out--_binary64_3781`
27×	`cancel-sign-sub-inv_binary64_3795`
23×	`difference-of-squares_binary64_3798`
11×	`add-exp-log_binary64_3867` `associate-/r*_binary64_3773`
10×	`distribute-lft-out_binary64_3780`
8×	`associate-/r/_binary64_3775`
7×	`add-cbrt-cube_binary64_3865` `difference-of-sqr-1_binary64_3799` `div-inv_binary64_3826`
6×	`associate-/l*_binary64_3774`
5×	`add-log-exp_binary64_3868` `pow1_binary64_3890`
4×	`flip--_binary64_3804` `div-exp_binary64_3880`
3×	`flip3--_binary64_3833`
2×	`flip-+_binary64_3803` `inv-pow_binary64_3914` `pow-flip_binary64_3903` `1-exp_binary64_3873` `rec-exp_binary64_3879` `cbrt-undiv_binary64_3863` `frac-2neg_binary64_3840` `clear-num_binary64_3828`
1×	`diff-log_binary64_3921` `frac-sub_binary64_3838` `sub-neg_binary64_3822` `flip3-+_binary64_3832`

Counts

3 → 151

Calls

3 calls:

38.0ms	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 (-.f64 x 1)))
7.0ms	(/.f64 1 (-.f64 x 1))
6.0ms	(/.f64 1 (+.f64 x 1))

Compiler

Compiled 2962 to 2486 computations (16.1% saved)

series216.0ms (2.2%)

Error

0.3b

Counts

3 → 34

Calls

3 calls:

100.0ms	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 (-.f64 x 1)))
40.0ms	(/.f64 1 (-.f64 x 1))
39.0ms	(/.f64 1 (+.f64 x 1))

Compiler

Compiled 1103 to 943 computations (14.5% saved)

simplify129.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

331×	`sub-neg_binary64_3822`
319×	`div-sub_binary64_3834`
254×	`associate-l_binary64_3770`
246×	`associate-r_binary64_3769`
232×	`associate-*l/_binary64_3772`
227×	`associate-/l*_binary64_3774`
203×	`distribute-rgt-in_binary64_3779`
198×	`times-frac_binary64_3835`
180×	`associate-*r/_binary64_3771`
172×	`associate-/r*_binary64_3773`
161×	`unsub-neg_binary64_3823`
146×	`distribute-lft-in_binary64_3778`
133×	`*-commutative_binary64_3760`
129×	`associate-+l+_binary64_3762`
121×	`associate-+r+_binary64_3761`
120×	`neg-sub0_binary64_3824`
106×	`neg-mul-1_binary64_3825`
92×	`cancel-sign-sub-inv_binary64_3795`
87×	`associate--r+_binary64_3765`
78×	`distribute-neg-in_binary64_3790`
77×	`distribute-rgt-neg-in_binary64_3787`
73×	`distribute-neg-frac_binary64_3793`
69×	`associate-/l/_binary64_3776`
68×	`associate-+l-_binary64_3764`
67×	`associate-/r/_binary64_3775`
66×	`+-commutative_binary64_3759`
65×	`associate-+r-_binary64_3763`
58×	`exp-prod_binary64_3881`
53×	`distribute-lft-neg-in_binary64_3786`
43×	`associate--l+_binary64_3766`
40×	`distribute-lft-neg-out_binary64_3788`
32×	`distribute-rgt-neg-out_binary64_3789`
29×	`cube-prod_binary64_3857` `distribute-rgt-out_binary64_3782`
26×	`cube-div_binary64_3858`
25×	`*-rgt-identity_binary64_3819` `distribute-lft-out_binary64_3780`
21×	`log-prod_binary64_3915` `sqr-pow_binary64_3801`
19×	`log-div_binary64_3916`
16×	`distribute-frac-neg_binary64_3792`
14×	`exp-sum_binary64_3875` `unswap-sqr_binary64_3797`
13×	`cube-unmult_binary64_3866` `*-lft-identity_binary64_3818` `distribute-rgt-out--_binary64_3783`
12×	`swap-sqr_binary64_3796`
10×	`associate--l-_binary64_3767`
9×	`unpow3_binary64_3895` `distribute-rgt1-in_binary64_3785`
8×	`/-rgt-identity_binary64_3820`
7×	`pow-plus_binary64_3892` `exp-diff_binary64_3877`
6×	`+-rgt-identity_binary64_3814`
5×	`distribute-neg-out_binary64_3791`
4×	`log-rec_binary64_3917` `cube-mult_binary64_3859` `difference-of-squares_binary64_3798` `distribute-lft-out--_binary64_3781`
3×	`div0_binary64_3810`
2×	`rem-3cbrt-lft_binary64_3854` `rem-sqrt-square_binary64_3842` `rem-square-sqrt_binary64_3841` `difference-of-sqr--1_binary64_3800` `difference-of-sqr-1_binary64_3799`
1×	`log-pow_binary64_3918` `unpow2_binary64_3894` `unpow1/2_binary64_3893` `unpow1_binary64_3887` `div-exp_binary64_3880` `1-exp_binary64_3873` `exp-1-e_binary64_3872` `rem-3cbrt-rft_binary64_3855` `sqr-neg_binary64_3843` `mul-1-neg_binary64_3821` `+-lft-identity_binary64_3813` `distribute-lft1-in_binary64_3784` `count-2_binary64_3777` `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` `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` `rec-exp_binary64_3879` `prod-exp_binary64_3878` `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-cbrt-cube_binary64_3853` `rem-cube-cbrt_binary64_3852` `sqr-abs_binary64_3844` `remove-double-neg_binary64_3817` `sub0-neg_binary64_3816` `--rgt-identity_binary64_3815` `mul0-rgt_binary64_3812` `mul0-lft_binary64_3811` `*-inverses_binary64_3809` `+-inverses_binary64_3808` `lft-mult-inverse_binary64_3807` `rgt-mult-inverse_binary64_3806` `remove-double-div_binary64_3805` `pow-sqr_binary64_3802` `cancel-sign-sub_binary64_3794`

Counts

185 → 157

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	198	2973
1	514	2901
2	1431	2769
3	4102	2769
4	5065	2769

prune175.0ms (1.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	156	1	157
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	156	2	158

Error

0.3b

Counts

158 → 2

Compiler

Compiled 2651 to 2114 computations (20.3% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 -2 (*.f64 x x)) (/.f64 2 (pow.f64 x 4)))
0.0b	(/.f64 2 (pow.f64 x 6))
0.3b	(/.f64 2 (pow.f64 x 4))
0.4b	(/.f64 -2 (*.f64 x x))

rewrite329.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

76×	`times-frac_binary64_3835`
72×	`add-sqr-sqrt_binary64_3851`
54×	`*-un-lft-identity_binary64_3829`
52×	`add-cube-cbrt_binary64_3864`
35×	`unpow-prod-down_binary64_3908`
25×	`cancel-sign-sub-inv_binary64_3795`
19×	`add-exp-log_binary64_3867`
15×	`associate-/r*_binary64_3773`
13×	`add-cbrt-cube_binary64_3865` `sqr-pow_binary64_3801`
9×	`associate-/l*_binary64_3774`
8×	`div-exp_binary64_3880` `difference-of-squares_binary64_3798`
6×	`add-log-exp_binary64_3868`
4×	`pow1_binary64_3890` `cbrt-undiv_binary64_3863` `div-inv_binary64_3826`
3×	`frac-2neg_binary64_3840` `clear-num_binary64_3828`
2×	`pow-to-exp_binary64_3898` `pow-exp_binary64_3897`
1×	`prod-exp_binary64_3878` `cbrt-unprod_binary64_3862` `diff-log_binary64_3921` `frac-sub_binary64_3838` `flip3--_binary64_3833` `sub-neg_binary64_3822` `flip--_binary64_3804` `distribute-lft-out--_binary64_3781`

Counts

4 → 157

Calls

4 calls:

21.0ms	(-.f64 (/.f64 -2 (*.f64 x x)) (/.f64 2 (pow.f64 x 4)))
5.0ms	(/.f64 -2 (*.f64 x x))
5.0ms	(/.f64 2 (pow.f64 x 4))
5.0ms	(/.f64 2 (pow.f64 x 6))

Compiler

Compiled 4059 to 3028 computations (25.4% saved)

series294.0ms (3.1%)

Error

0.3b

Counts

4 → 15

Calls

4 calls:

125.0ms	(-.f64 (/.f64 -2 (*.f64 x x)) (/.f64 2 (pow.f64 x 4)))
63.0ms	(/.f64 2 (pow.f64 x 6))
51.0ms	(/.f64 2 (pow.f64 x 4))
39.0ms	(/.f64 -2 (*.f64 x x))

Compiler

Compiled 723 to 608 computations (15.9% saved)

simplify152.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

716×	`associate-*l/_binary64_3772`
527×	`associate-/l/_binary64_3776`
184×	`associate-/r*_binary64_3773`
178×	`log-div_binary64_3916`
177×	`associate-/r/_binary64_3775`
167×	`log-prod_binary64_3915`
148×	`exp-prod_binary64_3881`
137×	`distribute-neg-frac_binary64_3793`
126×	`distribute-rgt-neg-in_binary64_3787`
120×	`unswap-sqr_binary64_3797`
108×	`cancel-sign-sub-inv_binary64_3795`
101×	`distribute-rgt-in_binary64_3779`
97×	`distribute-lft-neg-in_binary64_3786`
96×	`*-commutative_binary64_3760`
94×	`associate-/l*_binary64_3774`
93×	`associate-*r/_binary64_3771`
91×	`distribute-lft-in_binary64_3778`
90×	`neg-sub0_binary64_3824`
88×	`sub-neg_binary64_3822`
80×	`neg-mul-1_binary64_3825`
79×	`div-sub_binary64_3834`
75×	`associate-l_binary64_3770`
73×	`distribute-lft-neg-out_binary64_3788`
67×	`times-frac_binary64_3835` `distribute-frac-neg_binary64_3792`
66×	`associate-r_binary64_3769`
61×	`distribute-rgt-neg-out_binary64_3789`
48×	`sqr-pow_binary64_3801`
44×	`log-pow_binary64_3918` `exp-sum_binary64_3875`
43×	`distribute-rgt-out_binary64_3782`
35×	`unpow3_binary64_3895` `cube-prod_binary64_3857`
29×	`+-commutative_binary64_3759`
25×	`swap-sqr_binary64_3796`
20×	`exp-diff_binary64_3877` `cube-div_binary64_3858`
17×	`pow-plus_binary64_3892`
14×	`exp-neg_binary64_3876` `*-rgt-identity_binary64_3819` `distribute-neg-in_binary64_3790`
11×	`distribute-lft-out_binary64_3780`
10×	`exp-lft-sqr_binary64_3884` `distribute-rgt-out--_binary64_3783`
9×	`associate-+r-_binary64_3763`
8×	`cube-unmult_binary64_3866` `cube-mult_binary64_3859`
7×	`log-rec_binary64_3917` `pow-sqr_binary64_3802`
6×	`rem-sqrt-square_binary64_3842` `*-lft-identity_binary64_3818`
5×	`unpow1_binary64_3887` `div0_binary64_3810`
4×	`unpow2_binary64_3894` `unpow1/2_binary64_3893` `prod-exp_binary64_3878` `unsub-neg_binary64_3823`
3×	`rem-square-sqrt_binary64_3841` `/-rgt-identity_binary64_3820` `+-rgt-identity_binary64_3814` `difference-of-squares_binary64_3798` `distribute-rgt1-in_binary64_3785`
2×	`div-exp_binary64_3880` `cube-neg_binary64_3856` `rem-3cbrt-lft_binary64_3854` `sqr-neg_binary64_3843` `distribute-lft-out--_binary64_3781` `count-2_binary64_3777` `associate--r+_binary64_3765` `associate-+l+_binary64_3762` `associate-+r+_binary64_3761`
1×	`rec-exp_binary64_3879` `1-exp_binary64_3873` `rem-cbrt-cube_binary64_3853` `rem-cube-cbrt_binary64_3852`
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` `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` `exp-sqrt_binary64_3882` `e-exp-1_binary64_3874` `exp-1-e_binary64_3872` `exp-0_binary64_3871` `rem-log-exp_binary64_3870` `rem-exp-log_binary64_3869` `rem-3cbrt-rft_binary64_3855` `sqr-abs_binary64_3844` `mul-1-neg_binary64_3821` `remove-double-neg_binary64_3817` `sub0-neg_binary64_3816` `--rgt-identity_binary64_3815` `+-lft-identity_binary64_3813` `mul0-rgt_binary64_3812` `mul0-lft_binary64_3811` `*-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` `cancel-sign-sub_binary64_3794` `distribute-neg-out_binary64_3791` `distribute-lft1-in_binary64_3784` `associate--r-_binary64_3768` `associate--l-_binary64_3767` `associate--l+_binary64_3766` `associate-+l-_binary64_3764`

Counts

172 → 114

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	269	2663
1	615	2540
2	1948	2307
3	4348	2307
4	4960	2307
5	4973	2307

prune155.0ms (1.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	111	3	114
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	111	5	116

Error

0.3b

Counts

116 → 5

Compiler

Compiled 2482 to 1794 computations (27.7% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 2 (pow.f64 x 6))
0.2b	(/.f64 x (/.f64 -2 x))
0.3b	(/.f64 2 (pow.f64 x 4))
0.4b	(/.f64 1 (/.f64 x (/.f64 -2 x)))

rewrite1.1s (11%)

Algorithm

1×	rewrite-expression-head

Error

Rules

513×	`times-frac_binary64_3835`
263×	`add-cube-cbrt_binary64_3864` `add-sqr-sqrt_binary64_3851` `*-un-lft-identity_binary64_3829`
71×	`associate-/r*_binary64_3773`
40×	`add-exp-log_binary64_3867`
24×	`div-exp_binary64_3880` `div-inv_binary64_3826` `unpow-prod-down_binary64_3908`
22×	`add-cbrt-cube_binary64_3865`
12×	`associate-/l*_binary64_3774`
11×	`cbrt-undiv_binary64_3863`
8×	`sqr-pow_binary64_3801`
6×	`associate-/r/_binary64_3775`
5×	`pow1_binary64_3890`
4×	`add-log-exp_binary64_3868` `frac-2neg_binary64_3840` `clear-num_binary64_3828`
3×	`1-exp_binary64_3873` `rec-exp_binary64_3879`
2×	`pow-to-exp_binary64_3898` `pow-exp_binary64_3897`
1×	`inv-pow_binary64_3914` `pow-flip_binary64_3903`

Counts

4 → 364

Calls

4 calls:

17.0ms	(/.f64 1 (/.f64 x (/.f64 -2 x)))
6.0ms	(/.f64 x (/.f64 -2 x))
5.0ms	(/.f64 2 (pow.f64 x 4))
5.0ms	(/.f64 2 (pow.f64 x 6))

Compiler

Compiled 10993 to 8260 computations (24.9% saved)

series187.0ms (1.9%)

Error

0.3b

Counts

4 → 12

Calls

4 calls:

56.0ms	(/.f64 2 (pow.f64 x 6))
45.0ms	(/.f64 2 (pow.f64 x 4))
40.0ms	(/.f64 1 (/.f64 x (/.f64 -2 x)))
34.0ms	(/.f64 x (/.f64 -2 x))

Compiler

Compiled 666 to 565 computations (15.2% saved)

simplify353.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

431×	`associate-/r/_binary64_3775`
309×	`associate-/l/_binary64_3776`
244×	`associate-*r/_binary64_3771`
239×	`associate-*l/_binary64_3772`
219×	`associate-/r*_binary64_3773`
207×	`log-prod_binary64_3915`
201×	`associate-/l*_binary64_3774`
181×	`*-commutative_binary64_3760`
149×	`distribute-rgt-in_binary64_3779`
127×	`associate--r-_binary64_3768`
124×	`distribute-rgt-neg-in_binary64_3787`
116×	`cancel-sign-sub-inv_binary64_3795`
110×	`distribute-lft-neg-in_binary64_3786`
108×	`times-frac_binary64_3835`
101×	`log-div_binary64_3916`
98×	`associate-l_binary64_3770`
97×	`distribute-lft-in_binary64_3778` `associate--l+_binary64_3766`
89×	`sqr-pow_binary64_3801`
83×	`cube-prod_binary64_3857` `associate-r_binary64_3769`
73×	`log-pow_binary64_3918`
72×	`sub-neg_binary64_3822` `unswap-sqr_binary64_3797`
56×	`unpow3_binary64_3895`
53×	`swap-sqr_binary64_3796`
52×	`associate--l-_binary64_3767`
51×	`cube-div_binary64_3858`
48×	`exp-prod_binary64_3881`
47×	`*-rgt-identity_binary64_3819` `distribute-neg-frac_binary64_3793`
46×	`distribute-neg-in_binary64_3790`
43×	`neg-mul-1_binary64_3825`
39×	`neg-sub0_binary64_3824`
34×	`remove-double-div_binary64_3805`
32×	`associate-+r+_binary64_3761`
25×	`unsub-neg_binary64_3823`
22×	`log-rec_binary64_3917` `associate-+r-_binary64_3763`
18×	`+-commutative_binary64_3759`
16×	`cube-unmult_binary64_3866` `pow-sqr_binary64_3802`
15×	`*-lft-identity_binary64_3818` `associate--r+_binary64_3765`
14×	`cube-mult_binary64_3859` `/-rgt-identity_binary64_3820` `distribute-rgt-neg-out_binary64_3789`
12×	`rem-sqrt-square_binary64_3842` `div-sub_binary64_3834` `distribute-lft-neg-out_binary64_3788` `distribute-rgt-out_binary64_3782`
11×	`associate-+l-_binary64_3764`
10×	`associate-+l+_binary64_3762`
8×	`pow-plus_binary64_3892` `count-2_binary64_3777`
7×	`+-rgt-identity_binary64_3814` `distribute-lft-out_binary64_3780`
5×	`sub0-neg_binary64_3816` `distribute-frac-neg_binary64_3792`
4×	`unpow2_binary64_3894` `unpow1/2_binary64_3893` `unpow1_binary64_3887` `+-lft-identity_binary64_3813` `distribute-neg-out_binary64_3791`
3×	`--rgt-identity_binary64_3815` `div0_binary64_3810` `distribute-rgt-out--_binary64_3783` `distribute-lft-out--_binary64_3781`
2×	`cube-neg_binary64_3856` `remove-double-neg_binary64_3817`
1×	`1-exp_binary64_3873` `exp-1-e_binary64_3872` `rem-cbrt-cube_binary64_3853` `rem-cube-cbrt_binary64_3852` `rem-square-sqrt_binary64_3841` `mul-1-neg_binary64_3821` `mul0-rgt_binary64_3812` `mul0-lft_binary64_3811` `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` `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` `prod-exp_binary64_3878` `exp-diff_binary64_3877` `exp-neg_binary64_3876` `exp-sum_binary64_3875` `e-exp-1_binary64_3874` `exp-0_binary64_3871` `rem-log-exp_binary64_3870` `rem-exp-log_binary64_3869` `rem-3cbrt-rft_binary64_3855` `rem-3cbrt-lft_binary64_3854` `sqr-abs_binary64_3844` `sqr-neg_binary64_3843` `*-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` `cancel-sign-sub_binary64_3794`

Counts

376 → 323

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	463	7818
1	935	6378
2	2863	6234
3	3239	6178
4	4817	6178
5	4967	6178
6	4877	6178

prune699.0ms (7.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	318	5	323
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	320	8	328

Error

Counts

328 → 8

Compiler

Compiled 8554 to 6489 computations (24.1% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 (/.f64 -2 x) x) (/.f64 2 (pow.f64 x 4)))
0.0b	(/.f64 2 (pow.f64 x 6))
0.2b	(/.f64 (/.f64 -2 x) x)
0.3b	(/.f64 2 (pow.f64 x 4))

rewrite508.0ms (5.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

161×	`times-frac_binary64_3835`
134×	`add-sqr-sqrt_binary64_3851`
98×	`*-un-lft-identity_binary64_3829`
92×	`add-cube-cbrt_binary64_3864`
36×	`unpow-prod-down_binary64_3908`
25×	`cancel-sign-sub-inv_binary64_3795`
19×	`add-exp-log_binary64_3867` `associate-/l*_binary64_3774`
17×	`associate-/r*_binary64_3773`
14×	`sqr-pow_binary64_3801`
13×	`add-cbrt-cube_binary64_3865`
12×	`difference-of-squares_binary64_3798`
9×	`div-exp_binary64_3880`
8×	`div-inv_binary64_3826`
6×	`add-log-exp_binary64_3868`
5×	`cbrt-undiv_binary64_3863`
4×	`pow1_binary64_3890`
3×	`frac-2neg_binary64_3840` `clear-num_binary64_3828`
2×	`pow-to-exp_binary64_3898` `pow-exp_binary64_3897` `distribute-lft-out--_binary64_3781`
1×	`associate-/l/_binary64_3776` `diff-log_binary64_3921` `frac-sub_binary64_3838` `flip3--_binary64_3833` `sub-neg_binary64_3822` `flip--_binary64_3804`

Counts

4 → 211

Calls

4 calls:

64.0ms	(-.f64 (/.f64 (/.f64 -2 x) x) (/.f64 2 (pow.f64 x 4)))
7.0ms	(/.f64 (/.f64 -2 x) x)
5.0ms	(/.f64 2 (pow.f64 x 4))
5.0ms	(/.f64 2 (pow.f64 x 6))

Compiler

Compiled 5643 to 4270 computations (24.3% saved)

series291.0ms (3%)

Error

Counts

4 → 15

Calls

4 calls:

128.0ms	(-.f64 (/.f64 (/.f64 -2 x) x) (/.f64 2 (pow.f64 x 4)))
55.0ms	(/.f64 2 (pow.f64 x 6))
53.0ms	(/.f64 2 (pow.f64 x 4))
39.0ms	(/.f64 (/.f64 -2 x) x)

Compiler

Compiled 723 to 613 computations (15.2% saved)

simplify195.0ms (2%)

Algorithm

1×	egg-herbie

Rules

642×	`associate-*l/_binary64_3772`
478×	`associate-*r/_binary64_3771`
314×	`associate-/r/_binary64_3775`
187×	`associate-/l/_binary64_3776`
180×	`log-prod_binary64_3915`
153×	`cube-prod_binary64_3857`
140×	`associate-/r*_binary64_3773`
139×	`exp-prod_binary64_3881`
115×	`distribute-neg-frac_binary64_3793`
105×	`*-commutative_binary64_3760`
100×	`distribute-rgt-neg-in_binary64_3787`
98×	`cube-div_binary64_3858`
97×	`log-div_binary64_3916`
96×	`associate-/l*_binary64_3774`
91×	`sub-neg_binary64_3822`
87×	`distribute-rgt-in_binary64_3779`
84×	`neg-sub0_binary64_3824`
82×	`cancel-sign-sub-inv_binary64_3795`
80×	`distribute-lft-in_binary64_3778`
79×	`distribute-lft-neg-in_binary64_3786`
77×	`neg-mul-1_binary64_3825`
71×	`distribute-lft-neg-out_binary64_3788`
62×	`div-sub_binary64_3834`
57×	`distribute-rgt-neg-out_binary64_3789`
55×	`times-frac_binary64_3835`
54×	`associate-l_binary64_3770`
50×	`associate-r_binary64_3769`
49×	`log-pow_binary64_3918` `unswap-sqr_binary64_3797`
48×	`sqr-pow_binary64_3801`
47×	`distribute-frac-neg_binary64_3792`
40×	`exp-sum_binary64_3875`
38×	`+-commutative_binary64_3759`
33×	`distribute-rgt-out_binary64_3782`
29×	`unpow3_binary64_3895`
24×	`swap-sqr_binary64_3796`
22×	`associate-+l-_binary64_3764`
20×	`exp-diff_binary64_3877`
19×	`cube-unmult_binary64_3866` `/-rgt-identity_binary64_3820`
16×	`*-rgt-identity_binary64_3819`
15×	`cube-mult_binary64_3859`
13×	`*-lft-identity_binary64_3818`
10×	`pow-plus_binary64_3892` `associate-+r-_binary64_3763`
9×	`exp-lft-sqr_binary64_3884` `exp-neg_binary64_3876`
8×	`distribute-rgt-out--_binary64_3783`
7×	`pow-sqr_binary64_3802` `distribute-neg-in_binary64_3790`
5×	`unpow1_binary64_3887` `rem-sqrt-square_binary64_3842` `distribute-lft-out_binary64_3780` `associate--r+_binary64_3765`
4×	`unpow2_binary64_3894` `unpow1/2_binary64_3893` `unsub-neg_binary64_3823` `+-rgt-identity_binary64_3814` `div0_binary64_3810`
3×	`log-rec_binary64_3917` `prod-exp_binary64_3878` `rem-square-sqrt_binary64_3841` `difference-of-squares_binary64_3798` `count-2_binary64_3777` `associate--l+_binary64_3766` `associate-+l+_binary64_3762`
2×	`div-exp_binary64_3880` `cube-neg_binary64_3856` `rem-3cbrt-lft_binary64_3854` `sqr-neg_binary64_3843` `distribute-rgt1-in_binary64_3785` `associate--l-_binary64_3767` `associate-+r+_binary64_3761`
1×	`rec-exp_binary64_3879` `1-exp_binary64_3873` `rem-cube-cbrt_binary64_3852` `distribute-neg-out_binary64_3791` `distribute-lft-out--_binary64_3781` `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` `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` `exp-sqrt_binary64_3882` `e-exp-1_binary64_3874` `exp-1-e_binary64_3872` `exp-0_binary64_3871` `rem-log-exp_binary64_3870` `rem-exp-log_binary64_3869` `rem-3cbrt-rft_binary64_3855` `rem-cbrt-cube_binary64_3853` `sqr-abs_binary64_3844` `mul-1-neg_binary64_3821` `remove-double-neg_binary64_3817` `sub0-neg_binary64_3816` `--rgt-identity_binary64_3815` `+-lft-identity_binary64_3813` `mul0-rgt_binary64_3812` `mul0-lft_binary64_3811` `*-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` `cancel-sign-sub_binary64_3794` `distribute-lft1-in_binary64_3784`

Counts

226 → 164

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	367	4008
1	832	3597
2	1936	3437
3	4128	3413
4	4984	3413
5	4909	3413

prune244.0ms (2.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	163	1	164
Fresh	2	3	5
Picked	0	1	1
Done	0	2	2
Total	165	7	172

Error

Counts

172 → 7

Compiler

Compiled 3757 to 2796 computations (25.6% saved)

regimes673.0ms (7%)

Accuracy

Total 0.1b remaining (97%)

Threshold costs 0.1b (97%)

Compiler

Compiled 6368 to 5368 computations (15.7% saved)

bsearch41.0ms (0.4%)

Steps

Iters	Range		Point
7	1712.120010448834	75851.54320161269	13871.13225992715
9	-8.154531259483533e+18	-56792998514850.57	-1061679461205214.1

Compiler

Compiled 1 to 1 computations (0% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`+-commutative_binary64_3759`
7×	`sub-neg_binary64_3822`
4×	`neg-mul-1_binary64_3825` `neg-sub0_binary64_3824` `*-commutative_binary64_3760`
2×	`distribute-neg-frac_binary64_3793`
1×	`if-if-or-not_binary64_4087`
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_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` `1-exp_binary64_3873` `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-inv_binary64_3795` `cancel-sign-sub_binary64_3794` `distribute-frac-neg_binary64_3792` `distribute-neg-out_binary64_3791` `distribute-neg-in_binary64_3790` `distribute-rgt-neg-out_binary64_3789` `distribute-lft-neg-out_binary64_3788` `distribute-rgt-neg-in_binary64_3787` `distribute-lft-neg-in_binary64_3786`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	55
1	38	55
2	51	55
3	59	55
4	64	55
5	65	55
6	65	55

end0.0ms (0%)

sample3.4s (35.4%)

Algorithm

1×

intervals

Results

161.0ms	2022×	body	512	valid
125.0ms	4560×	body	128	valid
63.0ms	1016×	body	256	valid
44.0ms	402×	body	1024	valid

Compiler

Compiled 3167 to 2665 computations (15.9% saved)

Iter	Nodes	Cost
0	8	16
1	16	16
2	21	16
3	28	16
4	35	16
5	51	16
6	73	16
7	82	16
8	94	16
9	96	16
10	90	16
11	76	16
0	1	1
1	1	1

Iter	Nodes	Cost
0	8	16
1	16	16
2	21	16
3	28	16
4	35	16
5	51	16
6	73	16
7	82	16
8	94	16
9	96	16
10	90	16
11	76	16

Iter	Nodes	Cost
0	8	16
1	16	16
2	21	16
3	28	16
4	35	16
5	51	16
6	73	16
7	82	16
8	94	16
9	96	16
10	90	16
11	76	16
0	1	1
1	1	1

Iter	Nodes	Cost
0	8	16
1	16	16
2	21	16
3	28	16
4	35	16
5	51	16
6	73	16
7	82	16
8	94	16
9	96	16
10	90	16
11	76	16

Details

analyze157.0ms (1.6%)

sample19.0ms (0.2%)

simplify13.0ms (0.1%)

prune2.0ms (0%)

localize10.0ms (0.1%)

rewrite276.0ms (2.9%)

series216.0ms (2.2%)

simplify129.0ms (1.3%)

prune175.0ms (1.8%)

localize12.0ms (0.1%)

rewrite329.0ms (3.4%)

series294.0ms (3.1%)

simplify152.0ms (1.6%)

prune155.0ms (1.6%)

localize12.0ms (0.1%)

rewrite1.1s (11%)

series187.0ms (1.9%)

simplify353.0ms (3.7%)

prune699.0ms (7.3%)

localize11.0ms (0.1%)

rewrite508.0ms (5.3%)

series291.0ms (3%)

simplify195.0ms (2%)

prune244.0ms (2.5%)

regimes673.0ms (7%)

bsearch41.0ms (0.4%)

simplify5.0ms (0%)

end0.0ms (0%)

sample3.4s (35.4%)

Profiling

Iter	Nodes	Cost
0	8	16
1	16	16
2	21	16
3	28	16
4	35	16
5	51	16
6	73	16
7	82	16
8	94	16
9	96	16
10	90	16
11	76	16
0	1	1
1	1	1

Iter	Nodes	Cost
0	8	16
1	16	16
2	21	16
3	28	16
4	35	16
5	51	16
6	73	16
7	82	16
8	94	16
9	96	16
10	90	16
11	76	16