Details

analyze17.0ms (0.4%)

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
50%	50%	0.1%	3
74.9%	25%	0.1%	4
74.9%	25%	0.1%	5
87.4%	12.5%	0.1%	6
87.4%	12.5%	0.1%	7
93.7%	6.2%	0.1%	8
93.7%	6.2%	0.1%	9
96.8%	3.1%	0.1%	10
96.8%	3.1%	0.1%	11
98.3%	1.6%	0.1%	12
98.3%	1.6%	0.1%	13
99.1%	0.8%	0.1%	14

Compiler

Compiled 6 to 6 computations (0% saved)

sample19.0ms (0.4%)

Algorithm

1×

intervals

Results

10.0ms

256×

body

128

valid

Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify660.0ms (14.9%)

Algorithm

1×	egg-herbie

Rules

652×	`exp-prod_binary64_3540`
462×	`associate-/l*_binary64_3433`
423×	`cube-div_binary64_3517`
295×	`associate-*r/_binary64_3430`
231×	`swap-sqr_binary64_3455`
221×	`times-frac_binary64_3494`
219×	`cancel-sign-sub-inv_binary64_3454`
217×	`*-commutative_binary64_3419`
216×	`exp-sum_binary64_3534`
184×	`distribute-neg-frac_binary64_3452`
169×	`associate-/l/_binary64_3435`
168×	`associate-/r*_binary64_3432`
109×	`exp-diff_binary64_3536`
102×	`distribute-rgt1-in_binary64_3444`
95×	`associate-+l+_binary64_3421`
82×	`associate-/r/_binary64_3434`
81×	`associate-+r+_binary64_3420`
79×	`distribute-lft-neg-in_binary64_3445` `associate--l+_binary64_3425`
74×	`distribute-rgt-neg-in_binary64_3446` `associate--r+_binary64_3424`
73×	`distribute-rgt-neg-out_binary64_3448`
68×	`pow-plus_binary64_3551`
57×	`associate-+l-_binary64_3423`
56×	`associate-+r-_binary64_3422`
55×	`sub-neg_binary64_3481`
51×	`associate--l-_binary64_3426`
49×	`distribute-neg-in_binary64_3449`
46×	`unsub-neg_binary64_3482`
45×	`associate--r-_binary64_3427`
43×	`sqr-pow_binary64_3460`
42×	`neg-mul-1_binary64_3484`
40×	`distribute-lft-neg-out_binary64_3447`
39×	`neg-sub0_binary64_3483`
38×	`distribute-rgt-in_binary64_3438`
36×	`exp-neg_binary64_3535`
24×	`+-commutative_binary64_3418`
23×	`distribute-frac-neg_binary64_3451`
19×	`distribute-rgt-out_binary64_3441` `associate-r_binary64_3428`
18×	`cube-unmult_binary64_3525`
16×	`pow-base-1_binary64_3548` `distribute-lft-in_binary64_3437`
15×	`pow-sqr_binary64_3461`
11×	`exp-lft-sqr_binary64_3543`
10×	`distribute-rgt-out--_binary64_3442`
9×	`remove-double-neg_binary64_3476` `unswap-sqr_binary64_3456`
8×	`sub0-neg_binary64_3475`
6×	`-rgt-identity_binary64_3478` `-lft-identity_binary64_3477` `+-lft-identity_binary64_3472` `count-2_binary64_3436`
5×	`+-rgt-identity_binary64_3473` `associate-l_binary64_3429`
4×	`div-sub_binary64_3493` `distribute-neg-out_binary64_3450` `distribute-lft1-in_binary64_3443`
3×	`sqr-neg_binary64_3502` `--rgt-identity_binary64_3474` `+-inverses_binary64_3467` `distribute-lft-out--_binary64_3440` `distribute-lft-out_binary64_3439` `associate-*l/_binary64_3431`
2×	`cube-prod_binary64_3516` `mul0-lft_binary64_3470`
1×	`unpow3_binary64_3554` `1-exp_binary64_3532` `exp-1-e_binary64_3531` `cube-neg_binary64_3515` `div0_binary64_3469` `difference-of-sqr--1_binary64_3459` `difference-of-squares_binary64_3457`
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_3751` `erf-erfc_binary64_3750` `erf-odd_binary64_3749` `if-if-and-not_binary64_3748` `if-if-and_binary64_3747` `if-if-or-not_binary64_3746` `if-if-or_binary64_3745` `if-not_binary64_3744` `if-same_binary64_3743` `if-false_binary64_3742` `if-true_binary64_3741` `not-gte_binary64_3740` `not-lte_binary64_3739` `not-gt_binary64_3738` `not-lt_binary64_3737` `gte-same_binary64_3736` `lte-same_binary64_3735` `gt-same_binary64_3734` `lt-same_binary64_3733` `sinh---cosh_binary64_3680` `sinh-+-cosh_binary64_3679` `sinh-cosh_binary64_3678` `tanh-def-c_binary64_3677` `tanh-def-b_binary64_3676` `tanh-def-a_binary64_3675` `cosh-def_binary64_3674` `sinh-def_binary64_3673` `tan-neg_binary64_3620` `cos-neg_binary64_3619` `sin-neg_binary64_3618` `tan-0_binary64_3617` `cos-0_binary64_3616` `sin-0_binary64_3615` `hang-m-tan_binary64_3614` `hang-p-tan_binary64_3613` `hang-m0-tan_binary64_3612` `hang-p0-tan_binary64_3611` `hang-0m-tan_binary64_3610` `hang-0p-tan_binary64_3609` `tan-+PI/2_binary64_3608` `tan-+PI_binary64_3607` `tan-PI_binary64_3606` `tan-PI/3_binary64_3605` `tan-PI/4_binary64_3604` `tan-PI/6_binary64_3603` `cos-+PI/2_binary64_3602` `cos-+PI_binary64_3601` `cos-PI_binary64_3600` `cos-PI/2_binary64_3599` `cos-PI/3_binary64_3598` `cos-PI/4_binary64_3597` `cos-PI/6_binary64_3596` `sin-+PI/2_binary64_3595` `sin-+PI_binary64_3594` `sin-PI_binary64_3593` `sin-PI/2_binary64_3592` `sin-PI/3_binary64_3591` `sin-PI/4_binary64_3590` `sin-PI/6_binary64_3589` `sub-1-sin_binary64_3588` `sub-1-cos_binary64_3587` `-1-add-sin_binary64_3586` `-1-add-cos_binary64_3585` `1-sub-sin_binary64_3584` `1-sub-cos_binary64_3583` `cos-sin-sum_binary64_3582` `log-E_binary64_3578` `log-pow_binary64_3577` `log-rec_binary64_3576` `log-div_binary64_3575` `log-prod_binary64_3574` `pow-base-0_binary64_3572` `unpow1/3_binary64_3555` `unpow2_binary64_3553` `unpow1/2_binary64_3552` `exp-to-pow_binary64_3550` `unpow0_binary64_3547` `unpow1_binary64_3546` `unpow-1_binary64_3545` `exp-lft-cube_binary64_3544` `exp-cbrt_binary64_3542` `exp-sqrt_binary64_3541` `div-exp_binary64_3539` `rec-exp_binary64_3538` `prod-exp_binary64_3537` `e-exp-1_binary64_3533` `exp-0_binary64_3530` `rem-log-exp_binary64_3529` `rem-exp-log_binary64_3528` `cube-mult_binary64_3518` `rem-3cbrt-rft_binary64_3514` `rem-3cbrt-lft_binary64_3513` `rem-cbrt-cube_binary64_3512` `rem-cube-cbrt_binary64_3511` `sqr-abs_binary64_3503` `rem-sqrt-square_binary64_3501` `rem-square-sqrt_binary64_3500` `mul-1-neg_binary64_3480` `/-rgt-identity_binary64_3479` `mul0-rgt_binary64_3471` `*-inverses_binary64_3468` `lft-mult-inverse_binary64_3466` `rgt-mult-inverse_binary64_3465` `remove-double-div_binary64_3464` `difference-of-sqr-1_binary64_3458` `cancel-sign-sub_binary64_3453`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7
2	15	7
3	23	7
4	37	7
5	56	7
6	110	7
7	271	7
8	1808	7
9	3325	7

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

1 → 1

Compiler

Compiled 5 to 5 computations (0% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(-.f64 x (/.f64 y 200))

rewrite38.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

13×	`add-sqr-sqrt_binary64_3510` `cancel-sign-sub-inv_binary64_3454`
10×	`*-un-lft-identity_binary64_3488` `times-frac_binary64_3494`
8×	`add-cube-cbrt_binary64_3523`
3×	`add-log-exp_binary64_3527`
2×	`difference-of-squares_binary64_3457`
1×	`diff-log_binary64_3580` `pow1_binary64_3549` `add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524` `flip3--_binary64_3492` `sub-neg_binary64_3481` `flip--_binary64_3463` `div-inv_binary64_3485` `distribute-lft-out--_binary64_3440`

Counts

1 → 27

Calls

1 calls:

9.0ms

(-.f64 x (/.f64 y 200))

Compiler

Compiled 353 to 244 computations (30.9% saved)

series82.0ms (1.9%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

76.0ms

(-.f64 x (/.f64 y 200))

Compiler

Compiled 114 to 104 computations (8.8% saved)

simplify285.0ms (6.4%)

Algorithm

1×	egg-herbie

Rules

570×	`unsub-neg_binary64_3482`
354×	`neg-mul-1_binary64_3484`
351×	`neg-sub0_binary64_3483`
316×	`exp-prod_binary64_3540`
286×	`div-sub_binary64_3493`
239×	`associate-l_binary64_3429`
219×	`associate-/l*_binary64_3433`
196×	`associate-r_binary64_3428`
184×	`associate-*l/_binary64_3431`
165×	`distribute-lft-neg-out_binary64_3447`
131×	`times-frac_binary64_3494`
130×	`distribute-rgt-neg-out_binary64_3448`
129×	`associate-*r/_binary64_3430`
118×	`exp-diff_binary64_3536`
108×	`distribute-frac-neg_binary64_3451`
89×	`sub-neg_binary64_3481`
86×	`distribute-neg-frac_binary64_3452`
83×	`cube-prod_binary64_3516` `cancel-sign-sub-inv_binary64_3454`
81×	`sqr-neg_binary64_3502`
80×	`*-commutative_binary64_3419`
76×	`associate-/l/_binary64_3435`
75×	`distribute-rgt-in_binary64_3438`
73×	`distribute-lft-in_binary64_3437`
71×	`distribute-rgt-neg-in_binary64_3446`
70×	`cube-div_binary64_3517`
59×	`associate-/r*_binary64_3432`
58×	`exp-sum_binary64_3534`
55×	`exp-neg_binary64_3535`
54×	`+-commutative_binary64_3418`
51×	`swap-sqr_binary64_3455`
48×	`sqr-pow_binary64_3460` `associate-+l-_binary64_3423`
46×	`distribute-lft-neg-in_binary64_3445`
41×	`distribute-lft-out_binary64_3439`
40×	`unswap-sqr_binary64_3456` `distribute-neg-out_binary64_3450` `associate--l-_binary64_3426`
39×	`*-lft-identity_binary64_3477`
38×	`associate-+r+_binary64_3420`
34×	`associate-/r/_binary64_3434`
29×	`unpow3_binary64_3554` `associate-+l+_binary64_3421`
27×	`mul0-rgt_binary64_3471` `mul0-lft_binary64_3470`
23×	`*-rgt-identity_binary64_3478`
21×	`cube-mult_binary64_3518`
20×	`difference-of-squares_binary64_3457`
18×	`div0_binary64_3469` `pow-sqr_binary64_3461`
15×	`/-rgt-identity_binary64_3479`
14×	`cube-unmult_binary64_3525` `distribute-rgt-out_binary64_3441`
10×	`div-exp_binary64_3539` `remove-double-div_binary64_3464`
9×	`pow-plus_binary64_3551` `prod-exp_binary64_3537`
8×	`associate--r+_binary64_3424`
7×	`rem-sqrt-square_binary64_3501` `associate-+r-_binary64_3422`
6×	`sub0-neg_binary64_3475`
4×	`+-rgt-identity_binary64_3473`
3×	`rec-exp_binary64_3538` `rem-square-sqrt_binary64_3500` `mul-1-neg_binary64_3480`
2×	`log-prod_binary64_3574` `rem-3cbrt-lft_binary64_3513` `distribute-neg-in_binary64_3449`
1×	`pow-base-1_binary64_3548` `1-exp_binary64_3532` `exp-1-e_binary64_3531` `cube-neg_binary64_3515` `rem-3cbrt-rft_binary64_3514` `rem-cbrt-cube_binary64_3512` `--rgt-identity_binary64_3474` `distribute-rgt1-in_binary64_3444` `distribute-rgt-out--_binary64_3442` `distribute-lft-out--_binary64_3440` `count-2_binary64_3436`
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_3751` `erf-erfc_binary64_3750` `erf-odd_binary64_3749` `if-if-and-not_binary64_3748` `if-if-and_binary64_3747` `if-if-or-not_binary64_3746` `if-if-or_binary64_3745` `if-not_binary64_3744` `if-same_binary64_3743` `if-false_binary64_3742` `if-true_binary64_3741` `not-gte_binary64_3740` `not-lte_binary64_3739` `not-gt_binary64_3738` `not-lt_binary64_3737` `gte-same_binary64_3736` `lte-same_binary64_3735` `gt-same_binary64_3734` `lt-same_binary64_3733` `sinh---cosh_binary64_3680` `sinh-+-cosh_binary64_3679` `sinh-cosh_binary64_3678` `tanh-def-c_binary64_3677` `tanh-def-b_binary64_3676` `tanh-def-a_binary64_3675` `cosh-def_binary64_3674` `sinh-def_binary64_3673` `tan-neg_binary64_3620` `cos-neg_binary64_3619` `sin-neg_binary64_3618` `tan-0_binary64_3617` `cos-0_binary64_3616` `sin-0_binary64_3615` `hang-m-tan_binary64_3614` `hang-p-tan_binary64_3613` `hang-m0-tan_binary64_3612` `hang-p0-tan_binary64_3611` `hang-0m-tan_binary64_3610` `hang-0p-tan_binary64_3609` `tan-+PI/2_binary64_3608` `tan-+PI_binary64_3607` `tan-PI_binary64_3606` `tan-PI/3_binary64_3605` `tan-PI/4_binary64_3604` `tan-PI/6_binary64_3603` `cos-+PI/2_binary64_3602` `cos-+PI_binary64_3601` `cos-PI_binary64_3600` `cos-PI/2_binary64_3599` `cos-PI/3_binary64_3598` `cos-PI/4_binary64_3597` `cos-PI/6_binary64_3596` `sin-+PI/2_binary64_3595` `sin-+PI_binary64_3594` `sin-PI_binary64_3593` `sin-PI/2_binary64_3592` `sin-PI/3_binary64_3591` `sin-PI/4_binary64_3590` `sin-PI/6_binary64_3589` `sub-1-sin_binary64_3588` `sub-1-cos_binary64_3587` `-1-add-sin_binary64_3586` `-1-add-cos_binary64_3585` `1-sub-sin_binary64_3584` `1-sub-cos_binary64_3583` `cos-sin-sum_binary64_3582` `log-E_binary64_3578` `log-pow_binary64_3577` `log-rec_binary64_3576` `log-div_binary64_3575` `pow-base-0_binary64_3572` `unpow1/3_binary64_3555` `unpow2_binary64_3553` `unpow1/2_binary64_3552` `exp-to-pow_binary64_3550` `unpow0_binary64_3547` `unpow1_binary64_3546` `unpow-1_binary64_3545` `exp-lft-cube_binary64_3544` `exp-lft-sqr_binary64_3543` `exp-cbrt_binary64_3542` `exp-sqrt_binary64_3541` `e-exp-1_binary64_3533` `exp-0_binary64_3530` `rem-log-exp_binary64_3529` `rem-exp-log_binary64_3528` `rem-cube-cbrt_binary64_3511` `sqr-abs_binary64_3503` `remove-double-neg_binary64_3476` `+-lft-identity_binary64_3472` `*-inverses_binary64_3468` `+-inverses_binary64_3467` `lft-mult-inverse_binary64_3466` `rgt-mult-inverse_binary64_3465` `difference-of-sqr--1_binary64_3459` `difference-of-sqr-1_binary64_3458` `cancel-sign-sub_binary64_3453` `distribute-lft1-in_binary64_3443` `associate--r-_binary64_3427` `associate--l+_binary64_3425`

Counts

39 → 24

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	91	350
1	245	335
2	678	335
3	2234	335
4	3587	335

prune18.0ms (0.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	22	2	24
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	22	3	25

Error

0.0b

Counts

25 → 3

Compiler

Compiled 193 to 121 computations (37.3% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 x (*.f64 y 1/200))
0.1b	(*.f64 y 1/200)

rewrite32.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-sqr-sqrt_binary64_3510`
4×	`pow1_binary64_3549` `add-exp-log_binary64_3526` `add-log-exp_binary64_3527` `add-cbrt-cube_binary64_3524` `add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
3×	`associate-l_binary64_3429` `associate-r_binary64_3428`
1×	`pow-prod-down_binary64_3559` `prod-exp_binary64_3537` `cbrt-unprod_binary64_3521` `unswap-sqr_binary64_3456` `*-commutative_binary64_3419` `diff-log_binary64_3580` `flip3--_binary64_3492` `sub-neg_binary64_3481` `flip--_binary64_3463` `cancel-sign-sub-inv_binary64_3454`

Counts

2 → 30

Calls

2 calls:

5.0ms	(*.f64 y 1/200)
3.0ms	(-.f64 x (*.f64 y 1/200))

Compiler

Compiled 315 to 220 computations (30.2% saved)

series119.0ms (2.7%)

Error

0.0b

Counts

2 → 15

Calls

2 calls:

84.0ms	(-.f64 x (*.f64 y 1/200))
28.0ms	(*.f64 y 1/200)

Compiler

Compiled 159 to 143 computations (10.1% saved)

simplify187.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

1014×	`unsub-neg_binary64_3482`
396×	`times-frac_binary64_3494`
205×	`neg-sub0_binary64_3483`
202×	`distribute-rgt-in_binary64_3438`
197×	`neg-mul-1_binary64_3484`
194×	`distribute-rgt-neg-in_binary64_3446`
175×	`associate-l_binary64_3429`
171×	`distribute-lft-in_binary64_3437`
164×	`distribute-lft-neg-in_binary64_3445`
155×	`distribute-rgt-neg-out_binary64_3448` `distribute-rgt-out_binary64_3441`
151×	`exp-prod_binary64_3540`
150×	`distribute-lft-neg-out_binary64_3447`
140×	`sub-neg_binary64_3481`
134×	`associate-r_binary64_3428`
131×	`cancel-sign-sub-inv_binary64_3454`
127×	`exp-to-pow_binary64_3550`
120×	`unswap-sqr_binary64_3456`
117×	`*-commutative_binary64_3419`
96×	`sqr-pow_binary64_3460`
87×	`exp-sum_binary64_3534`
71×	`+-commutative_binary64_3418`
54×	`associate-/l*_binary64_3433`
53×	`distribute-neg-out_binary64_3450`
51×	`pow-sqr_binary64_3461`
44×	`distribute-neg-in_binary64_3449`
42×	`associate-+l-_binary64_3423`
38×	`difference-of-squares_binary64_3457`
31×	`*-lft-identity_binary64_3477` `associate-+r+_binary64_3420`
30×	`log-prod_binary64_3574` `cube-prod_binary64_3516`
29×	`*-rgt-identity_binary64_3478`
28×	`mul0-rgt_binary64_3471` `mul0-lft_binary64_3470`
26×	`pow-plus_binary64_3551` `associate-/r*_binary64_3432`
25×	`associate-/l/_binary64_3435`
24×	`div-sub_binary64_3493`
23×	`log-pow_binary64_3577` `associate-+l+_binary64_3421`
21×	`associate--r+_binary64_3424`
20×	`exp-diff_binary64_3536` `swap-sqr_binary64_3455`
18×	`associate-*r/_binary64_3430`
15×	`cube-unmult_binary64_3525` `associate-+r-_binary64_3422`
14×	`sqr-neg_binary64_3502`
12×	`distribute-rgt1-in_binary64_3444`
11×	`associate--l+_binary64_3425`
10×	`exp-neg_binary64_3535`
9×	`associate-*l/_binary64_3431`
8×	`mul-1-neg_binary64_3480` `+-rgt-identity_binary64_3473` `distribute-rgt-out--_binary64_3442`
7×	`associate-/r/_binary64_3434`
6×	`unpow3_binary64_3554` `sub0-neg_binary64_3475`
5×	`pow-base-1_binary64_3548` `div-exp_binary64_3539`
4×	`distribute-frac-neg_binary64_3451` `distribute-lft-out_binary64_3439`
3×	`cube-mult_binary64_3518` `cube-div_binary64_3517` `cube-neg_binary64_3515` `distribute-lft1-in_binary64_3443`
2×	`log-div_binary64_3575` `exp-sqrt_binary64_3541` `/-rgt-identity_binary64_3479` `--rgt-identity_binary64_3474`
1×	`exp-lft-sqr_binary64_3543` `prod-exp_binary64_3537` `1-exp_binary64_3532` `exp-1-e_binary64_3531` `rem-log-exp_binary64_3529` `remove-double-neg_binary64_3476` `+-lft-identity_binary64_3472` `*-inverses_binary64_3468` `rgt-mult-inverse_binary64_3465` `cancel-sign-sub_binary64_3453` `count-2_binary64_3436`
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_3751` `erf-erfc_binary64_3750` `erf-odd_binary64_3749` `if-if-and-not_binary64_3748` `if-if-and_binary64_3747` `if-if-or-not_binary64_3746` `if-if-or_binary64_3745` `if-not_binary64_3744` `if-same_binary64_3743` `if-false_binary64_3742` `if-true_binary64_3741` `not-gte_binary64_3740` `not-lte_binary64_3739` `not-gt_binary64_3738` `not-lt_binary64_3737` `gte-same_binary64_3736` `lte-same_binary64_3735` `gt-same_binary64_3734` `lt-same_binary64_3733` `sinh---cosh_binary64_3680` `sinh-+-cosh_binary64_3679` `sinh-cosh_binary64_3678` `tanh-def-c_binary64_3677` `tanh-def-b_binary64_3676` `tanh-def-a_binary64_3675` `cosh-def_binary64_3674` `sinh-def_binary64_3673` `tan-neg_binary64_3620` `cos-neg_binary64_3619` `sin-neg_binary64_3618` `tan-0_binary64_3617` `cos-0_binary64_3616` `sin-0_binary64_3615` `hang-m-tan_binary64_3614` `hang-p-tan_binary64_3613` `hang-m0-tan_binary64_3612` `hang-p0-tan_binary64_3611` `hang-0m-tan_binary64_3610` `hang-0p-tan_binary64_3609` `tan-+PI/2_binary64_3608` `tan-+PI_binary64_3607` `tan-PI_binary64_3606` `tan-PI/3_binary64_3605` `tan-PI/4_binary64_3604` `tan-PI/6_binary64_3603` `cos-+PI/2_binary64_3602` `cos-+PI_binary64_3601` `cos-PI_binary64_3600` `cos-PI/2_binary64_3599` `cos-PI/3_binary64_3598` `cos-PI/4_binary64_3597` `cos-PI/6_binary64_3596` `sin-+PI/2_binary64_3595` `sin-+PI_binary64_3594` `sin-PI_binary64_3593` `sin-PI/2_binary64_3592` `sin-PI/3_binary64_3591` `sin-PI/4_binary64_3590` `sin-PI/6_binary64_3589` `sub-1-sin_binary64_3588` `sub-1-cos_binary64_3587` `-1-add-sin_binary64_3586` `-1-add-cos_binary64_3585` `1-sub-sin_binary64_3584` `1-sub-cos_binary64_3583` `cos-sin-sum_binary64_3582` `log-E_binary64_3578` `log-rec_binary64_3576` `pow-base-0_binary64_3572` `unpow1/3_binary64_3555` `unpow2_binary64_3553` `unpow1/2_binary64_3552` `unpow0_binary64_3547` `unpow1_binary64_3546` `unpow-1_binary64_3545` `exp-lft-cube_binary64_3544` `exp-cbrt_binary64_3542` `rec-exp_binary64_3538` `e-exp-1_binary64_3533` `exp-0_binary64_3530` `rem-exp-log_binary64_3528` `rem-3cbrt-rft_binary64_3514` `rem-3cbrt-lft_binary64_3513` `rem-cbrt-cube_binary64_3512` `rem-cube-cbrt_binary64_3511` `sqr-abs_binary64_3503` `rem-sqrt-square_binary64_3501` `rem-square-sqrt_binary64_3500` `div0_binary64_3469` `+-inverses_binary64_3467` `lft-mult-inverse_binary64_3466` `remove-double-div_binary64_3464` `difference-of-sqr--1_binary64_3459` `difference-of-sqr-1_binary64_3458` `distribute-neg-frac_binary64_3452` `distribute-lft-out--_binary64_3440` `associate--r-_binary64_3427` `associate--l-_binary64_3426`

Counts

45 → 42

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	59	353
1	127	338
2	352	338
3	851	338
4	1689	338
5	2919	338

prune41.0ms (0.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	41	1	42
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	41	4	45

Error

0.0b

Counts

45 → 4

Compiler

Compiled 563 to 385 computations (31.6% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (.f64 y 1/200)) (cbrt.f64 (*.f64 y 1/200)))
0.6b	(cbrt.f64 (*.f64 1/200 y))
0.6b	(cbrt.f64 (*.f64 y 1/200))
0.6b	(cbrt.f64 (*.f64 y 1/200))

rewrite97.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

11×	`pow1_binary64_3549`
10×	`add-sqr-sqrt_binary64_3510`
9×	`pow1/3_binary64_3570`
8×	`add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
7×	`cbrt-prod_binary64_3519`
6×	`add-exp-log_binary64_3526`
4×	`add-log-exp_binary64_3527` `add-cbrt-cube_binary64_3524` `swap-sqr_binary64_3455` `associate-l_binary64_3429` `associate-r_binary64_3428`
2×	`pow-prod-down_binary64_3559` `pow-prod-up_binary64_3558` `pow-sqr_binary64_3461`
1×	`pow2_binary64_3569` `pow-plus_binary64_3551` `prod-exp_binary64_3537` `cbrt-unprod_binary64_3521` `unswap-sqr_binary64_3456` `*-commutative_binary64_3419`

Counts

4 → 58

Calls

4 calls:

6.0ms	(.f64 (cbrt.f64 (.f64 y 1/200)) (cbrt.f64 (*.f64 y 1/200)))
2.0ms	(cbrt.f64 (*.f64 y 1/200))
2.0ms	(cbrt.f64 (*.f64 y 1/200))
2.0ms	(cbrt.f64 (*.f64 1/200 y))

Compiler

Compiled 1215 to 946 computations (22.1% saved)

series617.0ms (13.9%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

188.0ms	(.f64 (cbrt.f64 (.f64 y 1/200)) (cbrt.f64 (*.f64 y 1/200)))
146.0ms	(cbrt.f64 (*.f64 y 1/200))
137.0ms	(cbrt.f64 (*.f64 y 1/200))
131.0ms	(cbrt.f64 (*.f64 1/200 y))

Compiler

Compiled 657 to 572 computations (12.9% saved)

simplify488.0ms (11%)

Algorithm

1×	egg-herbie

Rules

330×	`associate-/l*_binary64_3433`
284×	`log-div_binary64_3575`
283×	`associate-l_binary64_3429`
278×	`exp-prod_binary64_3540`
273×	`log-prod_binary64_3574`
272×	`cube-div_binary64_3517`
269×	`associate-/r*_binary64_3432`
250×	`unswap-sqr_binary64_3456`
245×	`*-commutative_binary64_3419`
232×	`cube-prod_binary64_3516`
208×	`associate-r_binary64_3428`
194×	`sqr-pow_binary64_3460`
167×	`associate-/r/_binary64_3434`
84×	`pow-sqr_binary64_3461`
78×	`swap-sqr_binary64_3455`
75×	`distribute-rgt-in_binary64_3438`
71×	`associate-/l/_binary64_3435`
56×	`div-sub_binary64_3493`
52×	`*-lft-identity_binary64_3477` `distribute-lft-in_binary64_3437`
47×	`*-rgt-identity_binary64_3478`
42×	`times-frac_binary64_3494`
41×	`pow-plus_binary64_3551` `exp-sqrt_binary64_3541`
37×	`exp-sum_binary64_3534`
36×	`associate-*l/_binary64_3431`
31×	`exp-lft-sqr_binary64_3543`
30×	`distribute-rgt-out_binary64_3441`
26×	`unpow3_binary64_3554`
23×	`log-pow_binary64_3577`
22×	`cube-unmult_binary64_3525` `sub-neg_binary64_3481`
21×	`cube-mult_binary64_3518` `/-rgt-identity_binary64_3479`
20×	`log-rec_binary64_3576` `associate-*r/_binary64_3430`
15×	`associate-+l+_binary64_3421`
14×	`rem-sqrt-square_binary64_3501`
13×	`associate-+r+_binary64_3420`
11×	`unsub-neg_binary64_3482` `distribute-lft-out_binary64_3439`
10×	`exp-to-pow_binary64_3550`
9×	`exp-diff_binary64_3536`
8×	`sub0-neg_binary64_3475` `associate-+l-_binary64_3423`
7×	`neg-mul-1_binary64_3484`
6×	`prod-exp_binary64_3537`
5×	`count-2_binary64_3436`
4×	`unpow2_binary64_3553` `pow-base-1_binary64_3548` `div-exp_binary64_3539` `neg-sub0_binary64_3483` `remove-double-div_binary64_3464` `distribute-rgt1-in_binary64_3444` `distribute-rgt-out--_binary64_3442`
3×	`unpow1/3_binary64_3555` `unpow1_binary64_3546` `rem-3cbrt-lft_binary64_3513` `cancel-sign-sub-inv_binary64_3454` `distribute-lft-neg-in_binary64_3445` `associate-+r-_binary64_3422`
2×	`rec-exp_binary64_3538` `+-lft-identity_binary64_3472` `mul0-lft_binary64_3470` `+-inverses_binary64_3467` `associate--l-_binary64_3426` `associate--l+_binary64_3425` `+-commutative_binary64_3418`
1×	`1-exp_binary64_3532` `exp-1-e_binary64_3531` `rem-log-exp_binary64_3529` `rem-exp-log_binary64_3528` `rem-3cbrt-rft_binary64_3514` `rem-cbrt-cube_binary64_3512` `rem-square-sqrt_binary64_3500` `mul-1-neg_binary64_3480` `+-rgt-identity_binary64_3473` `mul0-rgt_binary64_3471` `*-inverses_binary64_3468` `distribute-neg-out_binary64_3450` `distribute-rgt-neg-in_binary64_3446`
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_3751` `erf-erfc_binary64_3750` `erf-odd_binary64_3749` `if-if-and-not_binary64_3748` `if-if-and_binary64_3747` `if-if-or-not_binary64_3746` `if-if-or_binary64_3745` `if-not_binary64_3744` `if-same_binary64_3743` `if-false_binary64_3742` `if-true_binary64_3741` `not-gte_binary64_3740` `not-lte_binary64_3739` `not-gt_binary64_3738` `not-lt_binary64_3737` `gte-same_binary64_3736` `lte-same_binary64_3735` `gt-same_binary64_3734` `lt-same_binary64_3733` `sinh---cosh_binary64_3680` `sinh-+-cosh_binary64_3679` `sinh-cosh_binary64_3678` `tanh-def-c_binary64_3677` `tanh-def-b_binary64_3676` `tanh-def-a_binary64_3675` `cosh-def_binary64_3674` `sinh-def_binary64_3673` `tan-neg_binary64_3620` `cos-neg_binary64_3619` `sin-neg_binary64_3618` `tan-0_binary64_3617` `cos-0_binary64_3616` `sin-0_binary64_3615` `hang-m-tan_binary64_3614` `hang-p-tan_binary64_3613` `hang-m0-tan_binary64_3612` `hang-p0-tan_binary64_3611` `hang-0m-tan_binary64_3610` `hang-0p-tan_binary64_3609` `tan-+PI/2_binary64_3608` `tan-+PI_binary64_3607` `tan-PI_binary64_3606` `tan-PI/3_binary64_3605` `tan-PI/4_binary64_3604` `tan-PI/6_binary64_3603` `cos-+PI/2_binary64_3602` `cos-+PI_binary64_3601` `cos-PI_binary64_3600` `cos-PI/2_binary64_3599` `cos-PI/3_binary64_3598` `cos-PI/4_binary64_3597` `cos-PI/6_binary64_3596` `sin-+PI/2_binary64_3595` `sin-+PI_binary64_3594` `sin-PI_binary64_3593` `sin-PI/2_binary64_3592` `sin-PI/3_binary64_3591` `sin-PI/4_binary64_3590` `sin-PI/6_binary64_3589` `sub-1-sin_binary64_3588` `sub-1-cos_binary64_3587` `-1-add-sin_binary64_3586` `-1-add-cos_binary64_3585` `1-sub-sin_binary64_3584` `1-sub-cos_binary64_3583` `cos-sin-sum_binary64_3582` `log-E_binary64_3578` `pow-base-0_binary64_3572` `unpow1/2_binary64_3552` `unpow0_binary64_3547` `unpow-1_binary64_3545` `exp-lft-cube_binary64_3544` `exp-cbrt_binary64_3542` `exp-neg_binary64_3535` `e-exp-1_binary64_3533` `exp-0_binary64_3530` `cube-neg_binary64_3515` `rem-cube-cbrt_binary64_3511` `sqr-abs_binary64_3503` `sqr-neg_binary64_3502` `remove-double-neg_binary64_3476` `--rgt-identity_binary64_3474` `div0_binary64_3469` `lft-mult-inverse_binary64_3466` `rgt-mult-inverse_binary64_3465` `difference-of-sqr--1_binary64_3459` `difference-of-sqr-1_binary64_3458` `difference-of-squares_binary64_3457` `cancel-sign-sub_binary64_3453` `distribute-neg-frac_binary64_3452` `distribute-frac-neg_binary64_3451` `distribute-neg-in_binary64_3449` `distribute-rgt-neg-out_binary64_3448` `distribute-lft-neg-out_binary64_3447` `distribute-lft1-in_binary64_3443` `distribute-lft-out--_binary64_3440` `associate--r-_binary64_3427` `associate--r+_binary64_3424`

Counts

70 → 98

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	65	724
1	112	713
2	341	711
3	1097	704
4	3164	634

prune158.0ms (3.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	97	1	98
Fresh	1	0	1
Picked	1	0	1
Done	0	2	2
Total	99	3	102

Error

Counts

102 → 3

Compiler

Compiled 2242 to 1749 computations (22% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (*.f64 y 1/200))
0.6b	(cbrt.f64 (*.f64 1/200 y))
0.6b	(cbrt.f64 y)
1.0b	(cbrt.f64 1/200)

rewrite67.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

8×	`cbrt-prod_binary64_3519`
6×	`add-cube-cbrt_binary64_3523` `add-sqr-sqrt_binary64_3510` `*-un-lft-identity_binary64_3488`
4×	`pow1/3_binary64_3570` `pow1_binary64_3549` `add-log-exp_binary64_3527` `add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524`

Counts

4 → 40

Calls

4 calls:

2.0ms	(cbrt.f64 (*.f64 1/200 y))
2.0ms	(cbrt.f64 (*.f64 y 1/200))
2.0ms	(cbrt.f64 1/200)
1.0ms	(cbrt.f64 y)

Compiler

Compiled 854 to 625 computations (26.8% saved)

series405.0ms (9.1%)

Error

Counts

4 → 9

Calls

4 calls:

133.0ms	(cbrt.f64 (*.f64 1/200 y))
133.0ms	(cbrt.f64 (*.f64 y 1/200))
126.0ms	(cbrt.f64 y)
0.0ms	(cbrt.f64 1/200)

Compiler

Compiled 531 to 456 computations (14.1% saved)

simplify207.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

636×	`unswap-sqr_binary64_3456`
455×	`associate-l_binary64_3429`
402×	`distribute-rgt-in_binary64_3438`
396×	`distribute-lft-in_binary64_3437`
346×	`distribute-rgt-out_binary64_3441`
302×	`associate-r_binary64_3428`
286×	`log-prod_binary64_3574`
263×	`associate-/l*_binary64_3433`
226×	`distribute-rgt-neg-in_binary64_3446` `distribute-lft-neg-in_binary64_3445`
142×	`associate-+l+_binary64_3421`
137×	`associate-+r+_binary64_3420`
122×	`associate-/l/_binary64_3435`
121×	`cancel-sign-sub-inv_binary64_3454`
103×	`sqr-pow_binary64_3460`
86×	`count-2_binary64_3436`
66×	`times-frac_binary64_3494`
63×	`pow-sqr_binary64_3461`
57×	`associate-/r/_binary64_3434`
48×	`distribute-rgt1-in_binary64_3444`
46×	`*-commutative_binary64_3419`
44×	`associate-*l/_binary64_3431`
39×	`associate-*r/_binary64_3430`
37×	`neg-sub0_binary64_3483`
36×	`cube-prod_binary64_3516` `neg-mul-1_binary64_3484`
31×	`log-pow_binary64_3577` `exp-prod_binary64_3540`
30×	`distribute-lft-out_binary64_3439`
25×	`rem-sqrt-square_binary64_3501`
24×	`unsub-neg_binary64_3482`
18×	`distribute-lft1-in_binary64_3443`
17×	`distribute-rgt-neg-out_binary64_3448` `distribute-lft-neg-out_binary64_3447`
15×	`sub-neg_binary64_3481`
14×	`cube-unmult_binary64_3525`
12×	`pow-plus_binary64_3551`
9×	`unpow3_binary64_3554`
8×	`mul0-rgt_binary64_3471` `mul0-lft_binary64_3470`
6×	`swap-sqr_binary64_3455`
4×	`cube-mult_binary64_3518` `rem-3cbrt-lft_binary64_3513` `+-commutative_binary64_3418`
3×	`/-rgt-identity_binary64_3479`
2×	`unpow1/3_binary64_3555`
1×	`exp-sum_binary64_3534` `1-exp_binary64_3532` `rem-cbrt-cube_binary64_3512` `mul-1-neg_binary64_3480` `-rgt-identity_binary64_3478` `-lft-identity_binary64_3477` `sub0-neg_binary64_3475` `--rgt-identity_binary64_3474` `+-rgt-identity_binary64_3473` `-inverses_binary64_3468` `associate-/r_binary64_3432` `associate-+l-_binary64_3423` `associate-+r-_binary64_3422`
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_3751` `erf-erfc_binary64_3750` `erf-odd_binary64_3749` `if-if-and-not_binary64_3748` `if-if-and_binary64_3747` `if-if-or-not_binary64_3746` `if-if-or_binary64_3745` `if-not_binary64_3744` `if-same_binary64_3743` `if-false_binary64_3742` `if-true_binary64_3741` `not-gte_binary64_3740` `not-lte_binary64_3739` `not-gt_binary64_3738` `not-lt_binary64_3737` `gte-same_binary64_3736` `lte-same_binary64_3735` `gt-same_binary64_3734` `lt-same_binary64_3733` `sinh---cosh_binary64_3680` `sinh-+-cosh_binary64_3679` `sinh-cosh_binary64_3678` `tanh-def-c_binary64_3677` `tanh-def-b_binary64_3676` `tanh-def-a_binary64_3675` `cosh-def_binary64_3674` `sinh-def_binary64_3673` `tan-neg_binary64_3620` `cos-neg_binary64_3619` `sin-neg_binary64_3618` `tan-0_binary64_3617` `cos-0_binary64_3616` `sin-0_binary64_3615` `hang-m-tan_binary64_3614` `hang-p-tan_binary64_3613` `hang-m0-tan_binary64_3612` `hang-p0-tan_binary64_3611` `hang-0m-tan_binary64_3610` `hang-0p-tan_binary64_3609` `tan-+PI/2_binary64_3608` `tan-+PI_binary64_3607` `tan-PI_binary64_3606` `tan-PI/3_binary64_3605` `tan-PI/4_binary64_3604` `tan-PI/6_binary64_3603` `cos-+PI/2_binary64_3602` `cos-+PI_binary64_3601` `cos-PI_binary64_3600` `cos-PI/2_binary64_3599` `cos-PI/3_binary64_3598` `cos-PI/4_binary64_3597` `cos-PI/6_binary64_3596` `sin-+PI/2_binary64_3595` `sin-+PI_binary64_3594` `sin-PI_binary64_3593` `sin-PI/2_binary64_3592` `sin-PI/3_binary64_3591` `sin-PI/4_binary64_3590` `sin-PI/6_binary64_3589` `sub-1-sin_binary64_3588` `sub-1-cos_binary64_3587` `-1-add-sin_binary64_3586` `-1-add-cos_binary64_3585` `1-sub-sin_binary64_3584` `1-sub-cos_binary64_3583` `cos-sin-sum_binary64_3582` `log-E_binary64_3578` `log-rec_binary64_3576` `log-div_binary64_3575` `pow-base-0_binary64_3572` `unpow2_binary64_3553` `unpow1/2_binary64_3552` `exp-to-pow_binary64_3550` `pow-base-1_binary64_3548` `unpow0_binary64_3547` `unpow1_binary64_3546` `unpow-1_binary64_3545` `exp-lft-cube_binary64_3544` `exp-lft-sqr_binary64_3543` `exp-cbrt_binary64_3542` `exp-sqrt_binary64_3541` `div-exp_binary64_3539` `rec-exp_binary64_3538` `prod-exp_binary64_3537` `exp-diff_binary64_3536` `exp-neg_binary64_3535` `e-exp-1_binary64_3533` `exp-1-e_binary64_3531` `exp-0_binary64_3530` `rem-log-exp_binary64_3529` `rem-exp-log_binary64_3528` `cube-div_binary64_3517` `cube-neg_binary64_3515` `rem-3cbrt-rft_binary64_3514` `rem-cube-cbrt_binary64_3511` `sqr-abs_binary64_3503` `sqr-neg_binary64_3502` `rem-square-sqrt_binary64_3500` `div-sub_binary64_3493` `remove-double-neg_binary64_3476` `+-lft-identity_binary64_3472` `div0_binary64_3469` `+-inverses_binary64_3467` `lft-mult-inverse_binary64_3466` `rgt-mult-inverse_binary64_3465` `remove-double-div_binary64_3464` `difference-of-sqr--1_binary64_3459` `difference-of-sqr-1_binary64_3458` `difference-of-squares_binary64_3457` `cancel-sign-sub_binary64_3453` `distribute-neg-frac_binary64_3452` `distribute-frac-neg_binary64_3451` `distribute-neg-out_binary64_3450` `distribute-neg-in_binary64_3449` `distribute-rgt-out--_binary64_3442` `distribute-lft-out--_binary64_3440` `associate--r-_binary64_3427` `associate--l-_binary64_3426` `associate--l+_binary64_3425` `associate--r+_binary64_3424`

Counts

49 → 28

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	56	342
1	67	341
2	141	341
3	369	341
4	1318	341
5	4489	333

prune40.0ms (0.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

31 → 3

Compiler

Compiled 576 to 418 computations (27.4% saved)

regimes154.0ms (3.5%)

Accuracy

Total 0.0b remaining (80%)

Threshold costs 0.0b (80%)

Compiler

Compiled 868 to 810 computations (6.7% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`sub-neg_binary64_3481` `+-commutative_binary64_3418`
2×	`neg-mul-1_binary64_3484` `neg-sub0_binary64_3483` `*-commutative_binary64_3419`
1×	`distribute-neg-frac_binary64_3452`
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_3748` `if-if-and_binary64_3747` `if-if-or-not_binary64_3746` `if-if-or_binary64_3745` `if-not_binary64_3744` `if-same_binary64_3743` `if-false_binary64_3742` `if-true_binary64_3741` `tan-0_binary64_3617` `cos-0_binary64_3616` `sin-0_binary64_3615` `unpow1_binary64_3546` `e-exp-1_binary64_3533` `1-exp_binary64_3532` `exp-1-e_binary64_3531` `exp-0_binary64_3530` `sqr-abs_binary64_3503` `sqr-neg_binary64_3502` `unsub-neg_binary64_3482` `mul-1-neg_binary64_3480` `/-rgt-identity_binary64_3479` `-rgt-identity_binary64_3478` `-lft-identity_binary64_3477` `remove-double-neg_binary64_3476` `sub0-neg_binary64_3475` `--rgt-identity_binary64_3474` `+-rgt-identity_binary64_3473` `+-lft-identity_binary64_3472` `cancel-sign-sub-inv_binary64_3454` `cancel-sign-sub_binary64_3453` `distribute-frac-neg_binary64_3451` `distribute-neg-out_binary64_3450` `distribute-neg-in_binary64_3449` `distribute-rgt-neg-out_binary64_3448` `distribute-lft-neg-out_binary64_3447` `distribute-rgt-neg-in_binary64_3446` `distribute-lft-neg-in_binary64_3445`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7
2	15	7
3	19	7
4	22	7
5	23	7

Proof

(- f64 h0 (/ f64 h1 200))

end0.0ms (0%)

sample669.0ms (15.1%)

Algorithm

1×

intervals

Results

154.0ms

8000×

body

128

valid

Compiler

Compiled 223 to 209 computations (6.3% saved)

Details

analyze17.0ms (0.4%)

sample19.0ms (0.4%)

simplify660.0ms (14.9%)

prune2.0ms (0.1%)

localize4.0ms (0.1%)

rewrite38.0ms (0.9%)

series82.0ms (1.9%)

simplify285.0ms (6.4%)

prune18.0ms (0.4%)

localize4.0ms (0.1%)

rewrite32.0ms (0.7%)

series119.0ms (2.7%)

simplify187.0ms (4.2%)

prune41.0ms (0.9%)

localize11.0ms (0.2%)

rewrite97.0ms (2.2%)

series617.0ms (13.9%)

simplify488.0ms (11%)

prune158.0ms (3.6%)

localize15.0ms (0.3%)

rewrite67.0ms (1.5%)

series405.0ms (9.1%)

simplify207.0ms (4.7%)

prune40.0ms (0.9%)

regimes154.0ms (3.5%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample669.0ms (15.1%)

Profiling