Details

analyze60.0ms (2.8%)

Algorithm

1×

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
40.6%	59.3%	0.1%	6
53.1%	45.3%	1.7%	7
64%	31.2%	4.8%	8
70.2%	21.9%	7.9%	9
75.7%	15.2%	9.1%	10
78.8%	10.5%	10.6%	11
81.6%	7.5%	10.9%	12
83.1%	5.2%	11.7%	13
84.5%	3.7%	11.8%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample17.0ms (0.8%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 15 to 13 computations (13.3% saved)

simplify704.0ms (32.6%)

Algorithm

1×	egg-herbie

Rules

809×	`pow-plus_binary64_3892`
508×	`exp-prod_binary64_3881`
492×	`sqr-pow_binary64_3801`
382×	`pow-sqr_binary64_3802`
306×	`*-commutative_binary64_3760`
295×	`exp-sum_binary64_3875`
217×	`distribute-rgt1-in_binary64_3785`
200×	`associate-/r*_binary64_3773`
179×	`distribute-rgt-out_binary64_3782`
166×	`associate-/l/_binary64_3776`
149×	`associate-r_binary64_3769`
148×	`associate-+l+_binary64_3762`
135×	`+-commutative_binary64_3759`
127×	`pow-base-1_binary64_3889`
123×	`associate-l_binary64_3770`
98×	`distribute-lft-out_binary64_3780`
70×	`associate-+r+_binary64_3761`
41×	`swap-sqr_binary64_3796`
27×	`associate-/r/_binary64_3775` `associate-/l*_binary64_3774`
26×	`distribute-rgt-in_binary64_3779`
16×	`distribute-lft-in_binary64_3778`
15×	`*-rgt-identity_binary64_3819`
14×	`*-lft-identity_binary64_3818`
13×	`exp-lft-sqr_binary64_3884`
12×	`unswap-sqr_binary64_3797`
11×	`cube-unmult_binary64_3866` `distribute-lft1-in_binary64_3784`
10×	`exp-sqrt_binary64_3882` `count-2_binary64_3777`
9×	`cube-prod_binary64_3857`
4×	`prod-exp_binary64_3878`
3×	`unpow1_binary64_3887`
2×	`unpow3_binary64_3895` `cube-div_binary64_3858` `rem-sqrt-square_binary64_3842`
1×	`1-exp_binary64_3873` `exp-1-e_binary64_3872` `/-rgt-identity_binary64_3820` `+-rgt-identity_binary64_3814` `div0_binary64_3810` `-inverses_binary64_3809` `lft-mult-inverse_binary64_3807` `rgt-mult-inverse_binary64_3806` `associate-r/_binary64_3771`
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` `unpow2_binary64_3894` `unpow1/2_binary64_3893` `exp-to-pow_binary64_3891` `unpow0_binary64_3888` `unpow-1_binary64_3886` `exp-lft-cube_binary64_3885` `exp-cbrt_binary64_3883` `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` `rem-exp-log_binary64_3869` `cube-mult_binary64_3859` `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` `neg-mul-1_binary64_3825` `neg-sub0_binary64_3824` `unsub-neg_binary64_3823` `sub-neg_binary64_3822` `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_3808` `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-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-rgt-out--_binary64_3783` `distribute-lft-out--_binary64_3781` `associate-*l/_binary64_3772` `associate--r-_binary64_3768` `associate--l-_binary64_3767` `associate--l+_binary64_3766` `associate--r+_binary64_3765` `associate-+l-_binary64_3764` `associate-+r-_binary64_3763`

Counts

1 → 3

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	11	10
2	20	10
3	26	10
4	34	10
5	36	10
6	44	10
7	47	10
8	52	10
9	68	10
10	138	10
11	741	10
12	1365	10
13	2317	10
14	4524	10

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	3	0	3
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	3	1	4

Error

0.0b

Counts

4 → 1

Compiler

Compiled 28 to 14 computations (50% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(+.f64 (*.f64 x y) x)

rewrite13.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

3×	`add-log-exp_binary64_3868`
1×	`sum-log_binary64_3920` `pow1_binary64_3890` `add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865` `add-cube-cbrt_binary64_3864` `add-sqr-sqrt_binary64_3851` `flip3-+_binary64_3832` `*-un-lft-identity_binary64_3829` `flip-+_binary64_3803` `+-commutative_binary64_3759`

Counts

1 → 11

Calls

1 calls:

4.0ms

(+.f64 (*.f64 x y) x)

Compiler

Compiled 158 to 50 computations (68.4% saved)

series74.0ms (3.4%)

Error

Counts

1 → 9

Calls

1 calls:

68.0ms

(+.f64 (*.f64 x y) x)

Compiler

Compiled 152 to 98 computations (35.5% saved)

simplify150.0ms (7%)

Algorithm

1×	egg-herbie

Rules

560×	`unswap-sqr_binary64_3797`
544×	`unsub-neg_binary64_3823`
322×	`associate-l_binary64_3770`
268×	`distribute-rgt-out--_binary64_3783`
265×	`*-commutative_binary64_3760`
247×	`associate-r_binary64_3769`
198×	`sub-neg_binary64_3822`
150×	`distribute-rgt-in_binary64_3779`
142×	`cancel-sign-sub-inv_binary64_3795`
137×	`associate-+l-_binary64_3764` `+-commutative_binary64_3759`
129×	`associate--r+_binary64_3765`
120×	`neg-mul-1_binary64_3825`
119×	`distribute-rgt-out_binary64_3782` `distribute-lft-in_binary64_3778`
117×	`distribute-rgt-neg-in_binary64_3787`
103×	`neg-sub0_binary64_3824`
97×	`associate-+r-_binary64_3763`
93×	`sqr-pow_binary64_3801`
92×	`associate-*l/_binary64_3772`
89×	`associate--l+_binary64_3766`
88×	`associate-*r/_binary64_3771`
76×	`exp-prod_binary64_3881`
72×	`cancel-sign-sub_binary64_3794`
70×	`associate--l-_binary64_3767`
69×	`distribute-rgt1-in_binary64_3785`
67×	`associate-+l+_binary64_3762` `associate-+r+_binary64_3761`
65×	`associate-/l/_binary64_3776`
64×	`distribute-lft-neg-in_binary64_3786`
62×	`distribute-lft-neg-out_binary64_3788`
57×	`distribute-rgt-neg-out_binary64_3789`
54×	`pow-sqr_binary64_3802`
52×	`div-sub_binary64_3834` `distribute-neg-in_binary64_3790`
49×	`associate-/l*_binary64_3774`
48×	`associate--r-_binary64_3768`
46×	`exp-to-pow_binary64_3891` `distribute-lft-out_binary64_3780`
45×	`cube-prod_binary64_3857`
36×	`distribute-lft1-in_binary64_3784`
31×	`sub0-neg_binary64_3816`
30×	`pow-plus_binary64_3892` `exp-sum_binary64_3875` `associate-/r/_binary64_3775`
27×	`distribute-lft-out--_binary64_3781`
26×	`*-rgt-identity_binary64_3819`
24×	`log-prod_binary64_3915` `cube-div_binary64_3858` `*-lft-identity_binary64_3818`
22×	`times-frac_binary64_3835`
19×	`exp-diff_binary64_3877`
18×	`cube-unmult_binary64_3866` `+-rgt-identity_binary64_3814`
17×	`distribute-neg-out_binary64_3791`
14×	`log-div_binary64_3916`
13×	`exp-sqrt_binary64_3882`
10×	`log-pow_binary64_3918` `unpow3_binary64_3895` `remove-double-neg_binary64_3817` `swap-sqr_binary64_3796`
7×	`--rgt-identity_binary64_3815`
6×	`+-lft-identity_binary64_3813`
5×	`cube-mult_binary64_3859` `mul0-rgt_binary64_3812` `mul0-lft_binary64_3811`
4×	`exp-lft-sqr_binary64_3884` `cube-neg_binary64_3856` `/-rgt-identity_binary64_3820` `difference-of-squares_binary64_3798` `count-2_binary64_3777` `associate-/r*_binary64_3773`
3×	`pow-base-1_binary64_3889`
2×	`prod-exp_binary64_3878`
1×	`div-exp_binary64_3880` `1-exp_binary64_3873` `exp-1-e_binary64_3872` `rem-log-exp_binary64_3870` `sqr-neg_binary64_3843` `*-inverses_binary64_3809` `+-inverses_binary64_3808` `difference-of-sqr--1_binary64_3800` `distribute-neg-frac_binary64_3793`
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` `pow-base-0_binary64_3913` `unpow1/3_binary64_3896` `unpow2_binary64_3894` `unpow1/2_binary64_3893` `unpow0_binary64_3888` `unpow1_binary64_3887` `unpow-1_binary64_3886` `exp-lft-cube_binary64_3885` `exp-cbrt_binary64_3883` `rec-exp_binary64_3879` `exp-neg_binary64_3876` `e-exp-1_binary64_3874` `exp-0_binary64_3871` `rem-exp-log_binary64_3869` `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` `mul-1-neg_binary64_3821` `div0_binary64_3810` `lft-mult-inverse_binary64_3807` `rgt-mult-inverse_binary64_3806` `remove-double-div_binary64_3805` `difference-of-sqr-1_binary64_3799` `distribute-frac-neg_binary64_3792`

Counts

20 → 62

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	30	208
1	86	187
2	226	187
3	565	184
4	1658	184
5	2413	184
6	4495	184

prune54.0ms (2.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	61	1	62
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	61	2	63

Error

Counts

63 → 2

Compiler

Compiled 1040 to 376 computations (63.8% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(*.f64 (+.f64 y 1) x)

rewrite24.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

5×	`add-sqr-sqrt_binary64_3851` `*-un-lft-identity_binary64_3829`
4×	`associate-l_binary64_3770`
3×	`pow1_binary64_3890` `add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865` `add-cube-cbrt_binary64_3864` `associate-r_binary64_3769`
2×	`associate-*l/_binary64_3772`
1×	`pow-prod-down_binary64_3900` `prod-exp_binary64_3878` `add-log-exp_binary64_3868` `cbrt-unprod_binary64_3862` `unswap-sqr_binary64_3797` `flip3-+_binary64_3832` `flip-+_binary64_3803` `distribute-lft-out_binary64_3780` `*-commutative_binary64_3760`

Counts

1 → 21

Calls

1 calls:

6.0ms

(*.f64 (+.f64 y 1) x)

Compiler

Compiled 277 to 183 computations (33.9% saved)

series78.0ms (3.6%)

Error

Counts

1 → 9

Calls

1 calls:

73.0ms

(*.f64 (+.f64 y 1) x)

Compiler

Compiled 152 to 98 computations (35.5% saved)

simplify420.0ms (19.4%)

Algorithm

1×	egg-herbie

Rules

480×	`distribute-rgt-out_binary64_3782`
336×	`log-pow_binary64_3918`
321×	`pow-plus_binary64_3892`
293×	`associate-+r+_binary64_3761`
288×	`associate-+l+_binary64_3762`
280×	`exp-to-pow_binary64_3891`
229×	`+-commutative_binary64_3759`
212×	`associate-/r*_binary64_3773`
200×	`distribute-rgt-neg-in_binary64_3787`
190×	`distribute-lft-neg-in_binary64_3786`
179×	`sqr-pow_binary64_3801`
155×	`exp-prod_binary64_3881`
146×	`neg-mul-1_binary64_3825` `neg-sub0_binary64_3824`
140×	`pow-sqr_binary64_3802`
128×	`distribute-rgt-in_binary64_3779`
126×	`log-prod_binary64_3915`
125×	`associate-l_binary64_3770`
124×	`distribute-lft-in_binary64_3778`
123×	`*-commutative_binary64_3760`
115×	`sub-neg_binary64_3822`
105×	`associate-/r/_binary64_3775`
89×	`pow-base-1_binary64_3889`
81×	`associate-r_binary64_3769`
80×	`associate-/l*_binary64_3774`
74×	`distribute-rgt1-in_binary64_3785`
69×	`exp-sum_binary64_3875`
64×	`unsub-neg_binary64_3823`
47×	`unswap-sqr_binary64_3797`
42×	`distribute-lft1-in_binary64_3784`
37×	`div-sub_binary64_3834`
32×	`distribute-neg-frac_binary64_3793`
30×	`associate-+l-_binary64_3764`
28×	`*-rgt-identity_binary64_3819`
26×	`*-lft-identity_binary64_3818` `associate-/l/_binary64_3776`
24×	`cube-prod_binary64_3857` `associate--r+_binary64_3765`
22×	`associate-+r-_binary64_3763`
21×	`exp-lft-sqr_binary64_3884`
20×	`distribute-neg-in_binary64_3790`
19×	`exp-sqrt_binary64_3882`
18×	`count-2_binary64_3777`
14×	`associate-*r/_binary64_3771`
12×	`log-div_binary64_3916` `cube-div_binary64_3858` `distribute-lft-neg-out_binary64_3788`
11×	`distribute-rgt-neg-out_binary64_3789` `distribute-rgt-out--_binary64_3783`
7×	`cube-unmult_binary64_3866` `cancel-sign-sub-inv_binary64_3795`
6×	`unpow3_binary64_3895` `rem-log-exp_binary64_3870` `sub0-neg_binary64_3816`
5×	`exp-lft-cube_binary64_3885` `prod-exp_binary64_3878` `rem-sqrt-square_binary64_3842` `+-rgt-identity_binary64_3814`
4×	`cube-mult_binary64_3859` `times-frac_binary64_3835` `/-rgt-identity_binary64_3820` `swap-sqr_binary64_3796` `associate-*l/_binary64_3772` `associate--l+_binary64_3766`
2×	`log-rec_binary64_3917` `exp-diff_binary64_3877` `mul-1-neg_binary64_3821` `remove-double-neg_binary64_3817` `difference-of-squares_binary64_3798` `distribute-lft-out_binary64_3780` `associate--l-_binary64_3767`
1×	`log-E_binary64_3919` `1-exp_binary64_3873` `exp-1-e_binary64_3872` `rem-square-sqrt_binary64_3841` `--rgt-identity_binary64_3815` `+-lft-identity_binary64_3813` `*-inverses_binary64_3809` `rgt-mult-inverse_binary64_3806` `cancel-sign-sub_binary64_3794` `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` `pow-base-0_binary64_3913` `unpow1/3_binary64_3896` `unpow2_binary64_3894` `unpow1/2_binary64_3893` `unpow0_binary64_3888` `unpow1_binary64_3887` `unpow-1_binary64_3886` `exp-cbrt_binary64_3883` `div-exp_binary64_3880` `rec-exp_binary64_3879` `exp-neg_binary64_3876` `e-exp-1_binary64_3874` `exp-0_binary64_3871` `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` `mul0-rgt_binary64_3812` `mul0-lft_binary64_3811` `div0_binary64_3810` `+-inverses_binary64_3808` `lft-mult-inverse_binary64_3807` `remove-double-div_binary64_3805` `difference-of-sqr--1_binary64_3800` `difference-of-sqr-1_binary64_3799` `distribute-frac-neg_binary64_3792` `distribute-neg-out_binary64_3791` `distribute-lft-out--_binary64_3781`

Counts

30 → 41

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	44	283
1	102	253
2	290	253
3	693	253
4	1386	253
5	2679	253
6	3925	253

prune33.0ms (1.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

43 → 2

Compiler

Compiled 582 to 283 computations (51.4% saved)

regimes45.0ms (2.1%)

Accuracy

Total 0.0b remaining (60.9%)

Threshold costs 0.0b (60.9%)

Compiler

Compiled 189 to 135 computations (28.6% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64_3759`
1×	`1-exp_binary64_3873` `*-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` `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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	12	10

Proof

(=> (+ f64 (* f64 (+ f64 h0 1) h1) h0))
+-commutative_binary64_3759 =>
(+ f64 h0 (* f64 (+ f64 h0 1) h1))

end0.0ms (0%)

sample472.0ms (21.8%)

Algorithm

1×

intervals

Results

171.0ms	8000×	body	128	valid
1.0ms	66×	body	128	invalid

Compiler

Compiled 72 to 53 computations (26.4% saved)

Details

analyze60.0ms (2.8%)

sample17.0ms (0.8%)

simplify704.0ms (32.6%)

prune3.0ms (0.1%)

localize4.0ms (0.2%)

rewrite13.0ms (0.6%)

series74.0ms (3.4%)

simplify150.0ms (7%)

prune54.0ms (2.5%)

localize5.0ms (0.2%)

rewrite24.0ms (1.1%)

series78.0ms (3.6%)

simplify420.0ms (19.4%)

prune33.0ms (1.5%)

regimes45.0ms (2.1%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample472.0ms (21.8%)

Profiling