Details

analyze177.0ms (2.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

4×	`associate-/r*_binary64_3773`
2×	`*-commutative_binary64_3760`
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` `1-exp_binary64_3873` `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` `neg-mul-1_binary64_3825` `neg-sub0_binary64_3824` `unsub-neg_binary64_3823` `sub-neg_binary64_3822` `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` `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-inv_binary64_3795` `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` `distribute-lft-neg-out_binary64_3788` `distribute-rgt-neg-in_binary64_3787` `distribute-lft-neg-in_binary64_3786` `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` `distribute-rgt-in_binary64_3779` `distribute-lft-in_binary64_3778` `count-2_binary64_3777` `associate-/l/_binary64_3776` `associate-/r/_binary64_3775` `associate-/l_binary64_3774` `associate-l/_binary64_3772` `associate-r/_binary64_3771` `associate-l_binary64_3770` `associate-r_binary64_3769` `associate--r-_binary64_3768` `associate--l-_binary64_3767` `associate--l+_binary64_3766` `associate--r+_binary64_3765` `associate-+l-_binary64_3764` `associate-+r-_binary64_3763` `associate-+l+_binary64_3762` `associate-+r+_binary64_3761` `+-commutative_binary64_3759`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	18
1	16	18
2	20	18
3	20	18
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
50%	50%	0.1%	3
50%	50%	0.1%	4
74.9%	25%	0.1%	5
74.9%	25%	0.1%	6
87.4%	12.5%	0.1%	7
87.4%	12.5%	0.1%	8
93.7%	6.2%	0.1%	9
93.7%	6.2%	0.1%	10
96.8%	3.1%	0.1%	11
96.8%	3.1%	0.1%	12
98.3%	1.6%	0.1%	13
98.3%	1.6%	0.1%	14

Compiler

Compiled 7 to 7 computations (0% saved)

sample17.0ms (0.2%)

Algorithm

1×

intervals

Results

7.0ms

256×

body

128

valid

Compiler

Compiled 13 to 15 computations (-15.4% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`associate-/r*_binary64_3773`
1×	`*-commutative_binary64_3760`
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` `1-exp_binary64_3873` `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` `neg-mul-1_binary64_3825` `neg-sub0_binary64_3824` `unsub-neg_binary64_3823` `sub-neg_binary64_3822` `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` `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-inv_binary64_3795` `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` `distribute-lft-neg-out_binary64_3788` `distribute-rgt-neg-in_binary64_3787` `distribute-lft-neg-in_binary64_3786` `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` `distribute-rgt-in_binary64_3779` `distribute-lft-in_binary64_3778` `count-2_binary64_3777` `associate-/l/_binary64_3776` `associate-/r/_binary64_3775` `associate-/l_binary64_3774` `associate-l/_binary64_3772` `associate-r/_binary64_3771` `associate-l_binary64_3770` `associate-r_binary64_3769` `associate--r-_binary64_3768` `associate--l-_binary64_3767` `associate--l+_binary64_3766` `associate--r+_binary64_3765` `associate-+l-_binary64_3764` `associate-+r-_binary64_3763` `associate-+l+_binary64_3762` `associate-+r+_binary64_3761` `+-commutative_binary64_3759`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	10	9
2	12	9
3	12	9

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

17.0b

Counts

1 → 1

Compiler

Compiled 6 to 6 computations (0% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

16.6b

(cbrt.f64 (/.f64 g (*.f64 2 a)))

rewrite30.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

7×	`cbrt-prod_binary64_3860`
3×	`add-cube-cbrt_binary64_3864` `add-sqr-sqrt_binary64_3851` `times-frac_binary64_3835` `*-un-lft-identity_binary64_3829`
1×	`pow1/3_binary64_3911` `pow1_binary64_3890` `add-log-exp_binary64_3868` `add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865` `cbrt-div_binary64_3861` `div-inv_binary64_3826`

Counts

1 → 16

Calls

1 calls:

4.0ms

(cbrt.f64 (/.f64 g (*.f64 2 a)))

Compiler

Compiled 194 to 140 computations (27.8% saved)

series369.0ms (4.9%)

Error

7.3b

Counts

1 → 6

Calls

1 calls:

360.0ms

(cbrt.f64 (/.f64 g (*.f64 2 a)))

Compiler

Compiled 240 to 227 computations (5.4% saved)

simplify117.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

624×	`exp-sum_binary64_3875`
462×	`unsub-neg_binary64_3823`
389×	`exp-diff_binary64_3877`
384×	`times-frac_binary64_3835` `sub-neg_binary64_3822`
372×	`distribute-rgt-in_binary64_3779`
350×	`div-sub_binary64_3834`
303×	`distribute-lft-in_binary64_3778`
285×	`prod-exp_binary64_3878`
284×	`exp-prod_binary64_3881`
200×	`sqr-pow_binary64_3801`
199×	`associate--l-_binary64_3767`
158×	`div-exp_binary64_3880`
157×	`associate-r_binary64_3769`
149×	`associate-l_binary64_3770`
135×	`+-commutative_binary64_3759`
129×	`log-prod_binary64_3915`
113×	`*-commutative_binary64_3760`
106×	`associate-+r+_binary64_3761`
99×	`neg-mul-1_binary64_3825`
89×	`associate-+r-_binary64_3763`
84×	`distribute-neg-in_binary64_3790`
76×	`neg-sub0_binary64_3824` `cancel-sign-sub-inv_binary64_3795`
70×	`log-div_binary64_3916`
66×	`associate-/l*_binary64_3774`
63×	`associate--r+_binary64_3765`
57×	`log-pow_binary64_3918`
55×	`pow-sqr_binary64_3802`
50×	`associate--r-_binary64_3768`
48×	`rec-exp_binary64_3879` `associate-+l-_binary64_3764`
41×	`/-rgt-identity_binary64_3820`
39×	`associate-/l/_binary64_3776`
38×	`exp-to-pow_binary64_3891`
37×	`associate--l+_binary64_3766`
35×	`associate-+l+_binary64_3762`
31×	`associate-*r/_binary64_3771`
28×	`*-rgt-identity_binary64_3819`
27×	`*-lft-identity_binary64_3818` `sub0-neg_binary64_3816`
24×	`exp-neg_binary64_3876` `unswap-sqr_binary64_3797` `distribute-rgt-neg-out_binary64_3789`
23×	`unpow3_binary64_3895`
22×	`distribute-neg-out_binary64_3791` `associate-*l/_binary64_3772`
21×	`distribute-frac-neg_binary64_3792`
20×	`cube-prod_binary64_3857`
19×	`distribute-lft-neg-out_binary64_3788` `associate-/r*_binary64_3773`
18×	`unpow1/3_binary64_3896` `pow-plus_binary64_3892`
16×	`rem-exp-log_binary64_3869`
14×	`distribute-rgt-neg-in_binary64_3787`
12×	`log-rec_binary64_3917` `cube-unmult_binary64_3866` `+-rgt-identity_binary64_3814` `associate-/r/_binary64_3775`
11×	`rem-log-exp_binary64_3870` `--rgt-identity_binary64_3815` `distribute-lft-neg-in_binary64_3786`
10×	`mul-1-neg_binary64_3821` `remove-double-neg_binary64_3817` `distribute-rgt-out_binary64_3782`
9×	`unpow1/2_binary64_3893` `distribute-lft-out_binary64_3780`
7×	`cube-mult_binary64_3859`
4×	`rem-sqrt-square_binary64_3842` `distribute-rgt-out--_binary64_3783`
3×	`exp-sqrt_binary64_3882`
2×	`unpow2_binary64_3894` `cube-div_binary64_3858` `distribute-rgt1-in_binary64_3785` `count-2_binary64_3777`
1×	`log-E_binary64_3919` `pow-base-1_binary64_3889` `unpow-1_binary64_3886` `1-exp_binary64_3873` `exp-1-e_binary64_3872` `rem-3cbrt-lft_binary64_3854` `+-lft-identity_binary64_3813` `+-inverses_binary64_3808` `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` `pow-base-0_binary64_3913` `unpow0_binary64_3888` `unpow1_binary64_3887` `exp-lft-cube_binary64_3885` `exp-lft-sqr_binary64_3884` `exp-cbrt_binary64_3883` `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` `rem-square-sqrt_binary64_3841` `mul0-rgt_binary64_3812` `mul0-lft_binary64_3811` `div0_binary64_3810` `*-inverses_binary64_3809` `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` `difference-of-squares_binary64_3798` `swap-sqr_binary64_3796` `cancel-sign-sub_binary64_3794` `distribute-neg-frac_binary64_3793` `distribute-lft-out--_binary64_3781`

Counts

22 → 18

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	72	335
1	115	335
2	174	329
3	468	295
4	1440	283
5	3343	281
6	4125	281
7	4083	281
8	4882	281
9	4788	281

prune26.0ms (0.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	11	7	18
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	11	8	19

Error

0.2b

Counts

19 → 8

Compiler

Compiled 278 to 205 computations (26.3% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.3b	(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
0.6b	(cbrt.f64 g)
0.6b	(cbrt.f64 (/.f64 1/2 a))

rewrite108.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

39×	`cbrt-prod_binary64_3860`
35×	`add-sqr-sqrt_binary64_3851`
21×	`add-cube-cbrt_binary64_3864` `*-un-lft-identity_binary64_3829`
20×	`times-frac_binary64_3835`
16×	`associate-r_binary64_3769`
6×	`unswap-sqr_binary64_3797` `associate-l_binary64_3770`
5×	`pow1_binary64_3890` `add-exp-log_binary64_3867`
4×	`pow1/3_binary64_3911`
3×	`add-log-exp_binary64_3868` `add-cbrt-cube_binary64_3865`
2×	`cbrt-div_binary64_3861` `div-inv_binary64_3826` `pow-prod-down_binary64_3900`
1×	`prod-exp_binary64_3878` `cbrt-unprod_binary64_3862` `associate-r/_binary64_3771` `-commutative_binary64_3760`

Counts

3 → 74

Calls

3 calls:

11.0ms	(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
3.0ms	(cbrt.f64 (/.f64 1/2 a))
1.0ms	(cbrt.f64 g)

Compiler

Compiled 1018 to 641 computations (37% saved)

series634.0ms (8.4%)

Error

0.2b

Counts

3 → 12

Calls

3 calls:

353.0ms	(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
145.0ms	(cbrt.f64 (/.f64 1/2 a))
122.0ms	(cbrt.f64 g)

Compiler

Compiled 435 to 408 computations (6.2% saved)

simplify94.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

390×	`exp-diff_binary64_3877`
339×	`associate-l_binary64_3770`
249×	`associate-r_binary64_3769`
243×	`associate-+l+_binary64_3762`
241×	`associate-/r*_binary64_3773`
194×	`associate--r+_binary64_3765`
172×	`distribute-rgt-in_binary64_3779`
171×	`times-frac_binary64_3835`
157×	`log-div_binary64_3916` `distribute-lft-in_binary64_3778`
143×	`exp-prod_binary64_3881` `*-commutative_binary64_3760`
140×	`log-prod_binary64_3915`
133×	`associate-/l*_binary64_3774`
124×	`exp-sum_binary64_3875`
102×	`unswap-sqr_binary64_3797`
88×	`associate-+r-_binary64_3763`
77×	`sub-neg_binary64_3822`
72×	`unsub-neg_binary64_3823`
69×	`associate--l+_binary64_3766`
66×	`associate--r-_binary64_3768`
65×	`associate-+l-_binary64_3764`
63×	`sqr-pow_binary64_3801`
61×	`div-sub_binary64_3834`
60×	`cancel-sign-sub-inv_binary64_3795`
53×	`distribute-rgt-neg-in_binary64_3787`
45×	`distribute-lft-neg-in_binary64_3786`
42×	`*-rgt-identity_binary64_3819`
38×	`*-lft-identity_binary64_3818`
35×	`distribute-neg-in_binary64_3790` `associate-/l/_binary64_3776`
32×	`associate--l-_binary64_3767`
29×	`exp-to-pow_binary64_3891`
28×	`neg-sub0_binary64_3824` `associate-*l/_binary64_3772`
27×	`neg-mul-1_binary64_3825`
26×	`associate-+r+_binary64_3761`
24×	`log-pow_binary64_3918`
23×	`cube-prod_binary64_3857`
22×	`associate-*r/_binary64_3771`
17×	`distribute-rgt-neg-out_binary64_3789` `associate-/r/_binary64_3775`
15×	`+-commutative_binary64_3759`
14×	`pow-sqr_binary64_3802`
13×	`exp-neg_binary64_3876` `distribute-neg-out_binary64_3791`
12×	`unpow1/3_binary64_3896` `distribute-lft-out_binary64_3780`
11×	`unpow3_binary64_3895`
10×	`distribute-lft-neg-out_binary64_3788`
8×	`div-exp_binary64_3880` `cube-unmult_binary64_3866`
7×	`log-rec_binary64_3917` `rem-exp-log_binary64_3869` `distribute-frac-neg_binary64_3792`
6×	`distribute-rgt-out_binary64_3782`
5×	`rem-sqrt-square_binary64_3842` `sub0-neg_binary64_3816` `+-rgt-identity_binary64_3814`
4×	`/-rgt-identity_binary64_3820` `remove-double-neg_binary64_3817` `--rgt-identity_binary64_3815` `swap-sqr_binary64_3796` `count-2_binary64_3777`
3×	`pow-plus_binary64_3892` `rec-exp_binary64_3879` `prod-exp_binary64_3878`
2×	`unpow1/2_binary64_3893` `rem-3cbrt-lft_binary64_3854`
1×	`1-exp_binary64_3873` `exp-1-e_binary64_3872` `cube-mult_binary64_3859` `mul-1-neg_binary64_3821` `distribute-rgt-out--_binary64_3783`
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` `unpow2_binary64_3894` `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` `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-cbrt-cube_binary64_3853` `rem-cube-cbrt_binary64_3852` `sqr-abs_binary64_3844` `sqr-neg_binary64_3843` `rem-square-sqrt_binary64_3841` `+-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` `difference-of-sqr-1_binary64_3799` `difference-of-squares_binary64_3798` `cancel-sign-sub_binary64_3794` `distribute-neg-frac_binary64_3793` `distribute-rgt1-in_binary64_3785` `distribute-lft1-in_binary64_3784` `distribute-lft-out--_binary64_3781`

Counts

86 → 40

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	145	1183
1	256	1179
2	659	1165
3	1709	1131
4	4562	1121
5	5185	1121

prune56.0ms (0.8%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	30	10	40
Fresh	3	3	6
Picked	1	0	1
Done	0	1	1
Total	34	14	48

Error

0.1b

Counts

48 → 14

Compiler

Compiled 629 to 428 computations (32% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 1/2) (cbrt.f64 a)))
0.4b	(/.f64 (cbrt.f64 1/2) (cbrt.f64 a))
0.6b	(cbrt.f64 a)
0.6b	(cbrt.f64 g)

rewrite207.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

100×	`cbrt-prod_binary64_3860`
89×	`add-sqr-sqrt_binary64_3851`
80×	`times-frac_binary64_3835`
61×	`add-cube-cbrt_binary64_3864` `*-un-lft-identity_binary64_3829`
40×	`associate-r_binary64_3769`
11×	`add-exp-log_binary64_3867`
10×	`unswap-sqr_binary64_3797`
6×	`pow1_binary64_3890` `associate-/l_binary64_3774` `associate-/r_binary64_3773` `associate-l_binary64_3770`
5×	`add-cbrt-cube_binary64_3865`
4×	`add-log-exp_binary64_3868`
2×	`pow1/3_binary64_3911` `div-exp_binary64_3880` `cbrt-undiv_binary64_3863` `div-inv_binary64_3826` `prod-exp_binary64_3878` `cbrt-unprod_binary64_3862`
1×	`frac-2neg_binary64_3840` `clear-num_binary64_3828` `pow-prod-down_binary64_3900` `associate-r/_binary64_3771` `-commutative_binary64_3760`

Counts

4 → 152

Calls

4 calls:

18.0ms	(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 1/2) (cbrt.f64 a)))
6.0ms	(/.f64 (cbrt.f64 1/2) (cbrt.f64 a))
1.0ms	(cbrt.f64 g)
1.0ms	(cbrt.f64 a)

Compiler

Compiled 2475 to 1393 computations (43.7% saved)

series772.0ms (10.3%)

Error

0.1b

Counts

4 → 15

Calls

4 calls:

400.0ms	(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 1/2) (cbrt.f64 a)))
139.0ms	(/.f64 (cbrt.f64 1/2) (cbrt.f64 a))
111.0ms	(cbrt.f64 g)
107.0ms	(cbrt.f64 a)

Compiler

Compiled 558 to 520 computations (6.8% saved)

simplify190.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

423×	`associate-/l/_binary64_3776`
419×	`times-frac_binary64_3835`
402×	`*-commutative_binary64_3760`
290×	`log-prod_binary64_3915`
274×	`associate-/r*_binary64_3773`
244×	`log-div_binary64_3916`
169×	`associate-l_binary64_3770`
162×	`exp-sum_binary64_3875`
161×	`sub-neg_binary64_3822`
147×	`associate-/r/_binary64_3775`
143×	`associate-r_binary64_3769`
130×	`associate-*r/_binary64_3771`
106×	`associate-/l*_binary64_3774`
93×	`exp-diff_binary64_3877`
91×	`sqr-pow_binary64_3801`
89×	`associate-*l/_binary64_3772`
85×	`exp-prod_binary64_3881` `unsub-neg_binary64_3823`
75×	`log-pow_binary64_3918`
71×	`cube-prod_binary64_3857` `div-sub_binary64_3834`
53×	`unpow3_binary64_3895` `cube-div_binary64_3858`
52×	`*-rgt-identity_binary64_3819`
48×	`*-lft-identity_binary64_3818`
43×	`neg-mul-1_binary64_3825`
42×	`neg-sub0_binary64_3824`
33×	`unswap-sqr_binary64_3797`
32×	`associate-+r-_binary64_3763`
30×	`associate-+r+_binary64_3761`
27×	`distribute-rgt-neg-in_binary64_3787` `distribute-lft-neg-in_binary64_3786`
26×	`log-rec_binary64_3917` `associate--r+_binary64_3765` `associate-+l+_binary64_3762`
24×	`/-rgt-identity_binary64_3820` `distribute-lft-in_binary64_3778` `associate-+l-_binary64_3764`
23×	`distribute-rgt-in_binary64_3779`
22×	`cancel-sign-sub-inv_binary64_3795`
19×	`+-commutative_binary64_3759`
17×	`pow-sqr_binary64_3802`
13×	`unpow1/3_binary64_3896`
12×	`cube-mult_binary64_3859`
11×	`exp-neg_binary64_3876`
10×	`exp-to-pow_binary64_3891` `associate--r-_binary64_3768` `associate--l-_binary64_3767`
9×	`rem-exp-log_binary64_3869` `associate--l+_binary64_3766`
8×	`cube-unmult_binary64_3866` `rem-sqrt-square_binary64_3842` `sub0-neg_binary64_3816` `+-rgt-identity_binary64_3814` `distribute-neg-frac_binary64_3793`
7×	`distribute-neg-in_binary64_3790`
6×	`swap-sqr_binary64_3796`
5×	`distribute-rgt-neg-out_binary64_3789` `distribute-lft-neg-out_binary64_3788`
4×	`remove-double-neg_binary64_3817` `--rgt-identity_binary64_3815` `distribute-neg-out_binary64_3791`
3×	`rem-3cbrt-lft_binary64_3854`
2×	`pow-plus_binary64_3892` `mul-1-neg_binary64_3821` `distribute-frac-neg_binary64_3792` `distribute-lft-out_binary64_3780` `count-2_binary64_3777`
1×	`log-E_binary64_3919` `unpow1/2_binary64_3893` `rec-exp_binary64_3879` `prod-exp_binary64_3878` `1-exp_binary64_3873` `exp-1-e_binary64_3872` `rem-cube-cbrt_binary64_3852` `mul0-rgt_binary64_3812` `mul0-lft_binary64_3811` `*-inverses_binary64_3809` `lft-mult-inverse_binary64_3807` `rgt-mult-inverse_binary64_3806` `remove-double-div_binary64_3805` `distribute-lft-out--_binary64_3781`
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` `pow-base-0_binary64_3913` `unpow2_binary64_3894` `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` `div-exp_binary64_3880` `e-exp-1_binary64_3874` `exp-0_binary64_3871` `rem-log-exp_binary64_3870` `cube-neg_binary64_3856` `rem-3cbrt-rft_binary64_3855` `rem-cbrt-cube_binary64_3853` `sqr-abs_binary64_3844` `sqr-neg_binary64_3843` `rem-square-sqrt_binary64_3841` `+-lft-identity_binary64_3813` `div0_binary64_3810` `+-inverses_binary64_3808` `difference-of-sqr--1_binary64_3800` `difference-of-sqr-1_binary64_3799` `difference-of-squares_binary64_3798` `cancel-sign-sub_binary64_3794` `distribute-rgt1-in_binary64_3785` `distribute-lft1-in_binary64_3784` `distribute-rgt-out--_binary64_3783` `distribute-rgt-out_binary64_3782`

Counts

167 → 68

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	217	2929
1	450	2748
2	1736	2718
3	3581	2626
4	4594	2626
5	4944	2626
6	4964	2626

prune81.0ms (1.1%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	64	4	68
Fresh	3	9	12
Picked	1	0	1
Done	0	1	1
Total	68	14	82

Error

0.0b

Counts

82 → 14

Compiler

Compiled 1014 to 698 computations (31.2% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 g)
0.6b	(cbrt.f64 (/.f64 (cbrt.f64 1/2) a))
1.0b	(cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)))
1.0b	(*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))

rewrite174.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

51×	`cbrt-prod_binary64_3860`
34×	`add-sqr-sqrt_binary64_3851`
26×	`add-cube-cbrt_binary64_3864` `*-un-lft-identity_binary64_3829`
18×	`times-frac_binary64_3835`
11×	`pow1_binary64_3890`
9×	`pow1/3_binary64_3911`
6×	`add-exp-log_binary64_3867` `swap-sqr_binary64_3796` `associate-l_binary64_3770` `associate-r_binary64_3769`
4×	`add-log-exp_binary64_3868` `add-cbrt-cube_binary64_3865` `unswap-sqr_binary64_3797`
2×	`pow-prod-down_binary64_3900` `pow-prod-up_binary64_3899` `pow-sqr_binary64_3802`
1×	`pow2_binary64_3910` `pow-plus_binary64_3892` `prod-exp_binary64_3878` `cbrt-unprod_binary64_3862` `*-commutative_binary64_3760` `cbrt-div_binary64_3861` `div-inv_binary64_3826`

Counts

4 → 91

Calls

4 calls:

9.0ms	(*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))
4.0ms	(cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)))
3.0ms	(cbrt.f64 (/.f64 (cbrt.f64 1/2) a))
1.0ms	(cbrt.f64 g)

Compiler

Compiled 1946 to 1596 computations (18% saved)

series293.0ms (3.9%)

Error

0.0b

Counts

4 → 6

Calls

4 calls:

169.0ms	(cbrt.f64 (/.f64 (cbrt.f64 1/2) a))
115.0ms	(cbrt.f64 g)
0.0ms	(*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))
0.0ms	(cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)))

Compiler

Compiled 351 to 339 computations (3.4% saved)

simplify143.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

452×	`associate-/l*_binary64_3774`
403×	`log-prod_binary64_3915`
334×	`times-frac_binary64_3835`
269×	`exp-prod_binary64_3881`
253×	`associate-*l/_binary64_3772`
247×	`log-div_binary64_3916`
222×	`associate-/l/_binary64_3776`
200×	`exp-sum_binary64_3875`
195×	`associate-l_binary64_3770`
187×	`associate-/r_binary64_3773` `-commutative_binary64_3760`
185×	`div-exp_binary64_3880`
179×	`associate-*r/_binary64_3771`
162×	`sqr-pow_binary64_3801`
155×	`log-pow_binary64_3918`
154×	`sub-neg_binary64_3822`
135×	`associate-r_binary64_3769`
131×	`associate-/r/_binary64_3775`
108×	`associate-+r+_binary64_3761`
107×	`div-sub_binary64_3834`
104×	`associate-+l+_binary64_3762`
87×	`unswap-sqr_binary64_3797`
84×	`exp-diff_binary64_3877`
59×	`associate-+l-_binary64_3764`
54×	`pow-sqr_binary64_3802`
49×	`distribute-rgt-in_binary64_3779`
48×	`distribute-lft-in_binary64_3778`
46×	`prod-exp_binary64_3878` `associate-+r-_binary64_3763`
43×	`log-rec_binary64_3917`
42×	`unsub-neg_binary64_3823`
40×	`pow-plus_binary64_3892`
32×	`exp-to-pow_binary64_3891` `*-lft-identity_binary64_3818` `distribute-rgt-neg-in_binary64_3787` `distribute-lft-neg-in_binary64_3786`
31×	`neg-mul-1_binary64_3825` `neg-sub0_binary64_3824`
28×	`cube-div_binary64_3858`
27×	`*-rgt-identity_binary64_3819`
24×	`+-commutative_binary64_3759`
22×	`unpow3_binary64_3895` `cube-prod_binary64_3857` `swap-sqr_binary64_3796`
21×	`associate--l+_binary64_3766`
19×	`unpow1/3_binary64_3896` `rem-sqrt-square_binary64_3842`
18×	`cube-unmult_binary64_3866`
16×	`/-rgt-identity_binary64_3820`
13×	`cancel-sign-sub-inv_binary64_3795` `associate--l-_binary64_3767`
12×	`+-rgt-identity_binary64_3814`
10×	`rec-exp_binary64_3879` `count-2_binary64_3777`
9×	`associate--r+_binary64_3765`
8×	`distribute-neg-in_binary64_3790`
7×	`rem-exp-log_binary64_3869` `associate--r-_binary64_3768`
6×	`unpow1/2_binary64_3893` `remove-double-div_binary64_3805`
5×	`unpow2_binary64_3894` `rem-3cbrt-lft_binary64_3854`
4×	`mul-1-neg_binary64_3821` `distribute-rgt-neg-out_binary64_3789` `distribute-lft-neg-out_binary64_3788`
3×	`unpow1_binary64_3887` `sub0-neg_binary64_3816` `distribute-rgt-out_binary64_3782`
2×	`exp-neg_binary64_3876` `rem-3cbrt-rft_binary64_3855` `distribute-lft-out_binary64_3780`
1×	`pow-base-1_binary64_3889` `exp-lft-sqr_binary64_3884` `exp-sqrt_binary64_3882` `1-exp_binary64_3873` `exp-1-e_binary64_3872` `rem-log-exp_binary64_3870` `cube-mult_binary64_3859` `rem-cbrt-cube_binary64_3853` `rem-square-sqrt_binary64_3841` `--rgt-identity_binary64_3815` `+-lft-identity_binary64_3813` `+-inverses_binary64_3808`
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` `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` `cube-neg_binary64_3856` `rem-cube-cbrt_binary64_3852` `sqr-abs_binary64_3844` `sqr-neg_binary64_3843` `remove-double-neg_binary64_3817` `mul0-rgt_binary64_3812` `mul0-lft_binary64_3811` `div0_binary64_3810` `*-inverses_binary64_3809` `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` `distribute-neg-frac_binary64_3793` `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-lft-out--_binary64_3781`

Counts

97 → 64

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	154	1287
1	228	1279
2	512	1267
3	1249	1217
4	3507	1049
5	4304	977
6	4706	977
7	5032	977

prune90.0ms (1.2%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	62	2	64
Fresh	3	9	12
Picked	0	1	1
Done	0	1	1
Total	65	13	78

Error

0.0b

Counts

78 → 13

Compiler

Compiled 1166 to 954 computations (18.2% saved)

regimes1.2s (15.8%)

Accuracy

Total 0.9b remaining (98.7%)

Threshold costs 0.9b (98.7%)

Compiler

Compiled 9371 to 8348 computations (10.9% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1× *-commutative_binary64_3760

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 1-exp_binary64_3873 exp-1-e_binary64_3872 exp-0_binary64_3871 sqr-abs_binary64_3844 sqr-neg_binary64_3843 neg-mul-1_binary64_3825 neg-sub0_binary64_3824 unsub-neg_binary64_3823 sub-neg_binary64_3822 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-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 distribute-lft-neg-out_binary64_3788 distribute-rgt-neg-in_binary64_3787 distribute-lft-neg-in_binary64_3786 +-commutative_binary64_3759

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	10	13
2	10	13

end0.0ms (0%)

sample2.7s (36%)

Algorithm

1×

intervals

Results

245.0ms

8000×

body

128

valid

Compiler

Compiled 1811 to 1616 computations (10.8% saved)

Details

analyze177.0ms (2.4%)

sample17.0ms (0.2%)

simplify9.0ms (0.1%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite30.0ms (0.4%)

series369.0ms (4.9%)

simplify117.0ms (1.5%)

prune26.0ms (0.3%)

localize6.0ms (0.1%)

rewrite108.0ms (1.4%)

series634.0ms (8.4%)

simplify94.0ms (1.3%)

prune56.0ms (0.8%)

localize8.0ms (0.1%)

rewrite207.0ms (2.8%)

series772.0ms (10.3%)

simplify190.0ms (2.5%)

prune81.0ms (1.1%)

localize11.0ms (0.2%)

rewrite174.0ms (2.3%)

series293.0ms (3.9%)

simplify143.0ms (1.9%)

prune90.0ms (1.2%)

regimes1.2s (15.8%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.7s (36%)

Profiling