Details

analyze379.0ms (6.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

86×	`distribute-rgt-in_binary64`
48×	`distribute-lft-in_binary64`
47×	`sub-neg_binary64`
46×	`cancel-sign-sub-inv_binary64`
44×	`unsub-neg_binary64`
41×	`neg-mul-1_binary64`
39×	`neg-sub0_binary64`
38×	`associate--r+_binary64`
27×	`distribute-rgt-neg-out_binary64` `distribute-lft-neg-out_binary64`
26×	`distribute-neg-in_binary64`
22×	`*-commutative_binary64`
19×	`associate-r_binary64` `associate-+l-_binary64`
18×	`distribute-rgt-neg-in_binary64`
16×	`associate--r-_binary64`
12×	`sub0-neg_binary64` `distribute-lft-neg-in_binary64` `associate-l_binary64`
10×	`distribute-neg-out_binary64`
9×	`remove-double-neg_binary64`
8×	`*-lft-identity_binary64` `associate-+l+_binary64` `+-commutative_binary64`
6×	`sqr-neg_binary64` `+-lft-identity_binary64`
4×	`*-rgt-identity_binary64` `--rgt-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `swap-sqr_binary64` `associate--l+_binary64` `associate-+r+_binary64`
3×	`distribute-rgt-out--_binary64`
2×	`distribute-rgt-out_binary64` `associate-+r-_binary64`
1×	`1-exp_binary64` `+-rgt-identity_binary64`
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` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `log-rec_binary64` `log-div_binary64` `log-prod_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `unpow3_binary64` `unpow2_binary64` `unpow1/2_binary64` `pow-plus_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow1_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `exp-prod_binary64` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-unmult_binary64` `cube-mult_binary64` `cube-div_binary64` `cube-prod_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `times-frac_binary64` `div-sub_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `div0_binary64` `-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `pow-sqr_binary64` `sqr-pow_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `unswap-sqr_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64` `distribute-lft-out_binary64` `count-2_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `associate-/l_binary64` `associate-/r_binary64` `associate-l/_binary64` `associate-*r/_binary64` `associate--l-_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	46
1	26	46
2	44	46
3	69	46
4	90	46
5	132	46
6	195	46
7	249	46
8	288	46
9	339	46
10	369	46
11	373	46
12	375	46
13	338	46
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	50%	50%	0
0%	50%	50%	1
25%	25%	50%	2
25%	25%	50%	3
31.2%	18.7%	50%	4
31.2%	18.7%	50%	5
34.3%	15.6%	50%	6
34.3%	15.6%	50%	7
35.9%	14%	50%	8
35.9%	14%	50%	9
36.7%	13.3%	50%	10
36.7%	13.3%	50%	11
37.1%	12.9%	50%	12
37.1%	12.9%	50%	13
37.3%	12.7%	50%	14

Compiler

Compiled 18 to 14 computations (22.2% saved)

sample42.0ms (0.7%)

Algorithm

1×

intervals

Results

11.0ms	187×	body	128	valid
7.0ms	24×	body	4096	valid
5.0ms	21×	body	2048	valid
3.0ms	256×	pre	128	true
3.0ms	14×	body	1024	valid
1.0ms	7×	body	512	valid
0.0ms	3×	body	256	valid

Compiler

Compiled 33 to 28 computations (15.2% saved)

simplify28.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

51×	`distribute-rgt-in_binary64`
42×	`cancel-sign-sub-inv_binary64`
37×	`sub-neg_binary64`
27×	`neg-mul-1_binary64` `unsub-neg_binary64`
26×	`distribute-lft-in_binary64` `associate--r+_binary64`
24×	`neg-sub0_binary64` `distribute-lft-neg-out_binary64`
21×	`distribute-neg-in_binary64` `distribute-rgt-neg-in_binary64`
18×	`distribute-rgt-neg-out_binary64`
13×	`distribute-lft-neg-in_binary64` `associate-r_binary64` `associate-+l-_binary64` `*-commutative_binary64`
9×	`associate--r-_binary64`
8×	`sub0-neg_binary64`
7×	`remove-double-neg_binary64` `associate-l_binary64` `+-commutative_binary64`
6×	`associate--l+_binary64` `associate-+l+_binary64`
5×	`*-lft-identity_binary64`
4×	`+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64`
3×	`sqr-neg_binary64` `*-rgt-identity_binary64` `swap-sqr_binary64` `associate--l-_binary64` `associate-+r+_binary64`
2×	`--rgt-identity_binary64`
1×	`1-exp_binary64` `+-rgt-identity_binary64` `distribute-rgt-out--_binary64` `associate-+r-_binary64`
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` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `log-rec_binary64` `log-div_binary64` `log-prod_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `unpow3_binary64` `unpow2_binary64` `unpow1/2_binary64` `pow-plus_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow1_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `exp-prod_binary64` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-unmult_binary64` `cube-mult_binary64` `cube-div_binary64` `cube-prod_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `times-frac_binary64` `div-sub_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `div0_binary64` `-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `pow-sqr_binary64` `sqr-pow_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `unswap-sqr_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out_binary64` `distribute-lft-out--_binary64` `distribute-lft-out_binary64` `count-2_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `associate-/l_binary64` `associate-/r_binary64` `associate-l/_binary64` `associate-*r/_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	23
1	18	23
2	29	23
3	43	23
4	57	23
5	82	23
6	122	23
7	163	23
8	190	23
9	216	23
10	229	23
11	231	23
12	242	23
13	255	23
14	267	23
15	288	23
16	285	23
17	286	23
18	249	23

prune1.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

38.9b

Counts

1 → 1

Compiler

Compiled 15 to 12 computations (20% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.0b	(sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
0.7b	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
30.8b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite120.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

38.6b

Rules

11×	`add-sqr-sqrt_binary64`
8×	`pow1_binary64` `add-log-exp_binary64` `*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`
5×	`sqrt-prod_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-div_binary64`
3×	`sqrt-pow1_binary64` `cancel-sign-sub-inv_binary64`
2×	`pow1/2_binary64` `flip3-+_binary64` `flip-+_binary64` `flip3--_binary64` `flip--_binary64` `difference-of-squares_binary64` `associate-*r/_binary64`
1×	`rem-sqrt-square_binary64` `diff-log_binary64` `sub-neg_binary64` `distribute-lft-out--_binary64` `pow-prod-down_binary64` `sum-log_binary64` `+-commutative_binary64`

Counts

4 → 56

Calls

4 calls:

8.0ms	(sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
7.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(+.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 1327 to 472 computations (64.4% saved)

series192.0ms (3.2%)

Error

0.5b

Counts

4 → 60

Calls

4 calls:

50.0ms	(sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
42.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
34.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
26.0ms	(+.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 2348 to 2080 computations (11.4% saved)

simplify105.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

410×	`times-frac_binary64`
409×	`associate-/l*_binary64`
259×	`cancel-sign-sub-inv_binary64`
231×	`associate-/r*_binary64`
222×	`associate-*l/_binary64`
179×	`neg-mul-1_binary64`
152×	`distribute-rgt-in_binary64`
126×	`distribute-lft-in_binary64`
123×	`sub-neg_binary64`
118×	`distribute-rgt-neg-in_binary64`
105×	`distribute-lft-neg-in_binary64`
97×	`*-commutative_binary64`
93×	`associate-r_binary64`
85×	`associate-l_binary64`
83×	`associate-/r/_binary64`
75×	`unswap-sqr_binary64`
60×	`+-commutative_binary64`
57×	`sqr-pow_binary64`
52×	`distribute-neg-frac_binary64`
51×	`neg-sub0_binary64`
47×	`distribute-neg-in_binary64`
37×	`associate-*r/_binary64`
33×	`associate--r+_binary64`
29×	`exp-prod_binary64` `associate--l+_binary64` `associate-+l+_binary64`
27×	`associate-/l/_binary64`
26×	`unsub-neg_binary64`
19×	`distribute-lft-neg-out_binary64`
18×	`distribute-rgt-out_binary64`
17×	`associate-+r+_binary64`
15×	`div-sub_binary64`
13×	`exp-sum_binary64`
11×	`unpow3_binary64` `difference-of-squares_binary64`
10×	`pow-plus_binary64` `cube-unmult_binary64` `cube-prod_binary64`
9×	`distribute-rgt-out--_binary64`
7×	`distribute-rgt-neg-out_binary64` `associate-+r-_binary64`
6×	`cube-mult_binary64` `swap-sqr_binary64`
5×	`exp-diff_binary64` `rem-sqrt-square_binary64` `+-rgt-identity_binary64`
4×	`rem-square-sqrt_binary64` `pow-sqr_binary64`
3×	`distribute-lft-out_binary64` `associate-+l-_binary64`
2×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `sub0-neg_binary64` `count-2_binary64`
1×	`log-prod_binary64` `div-exp_binary64` `prod-exp_binary64` `1-exp_binary64` `rem-3cbrt-lft_binary64` `sqr-neg_binary64` `mul-1-neg_binary64` `+-inverses_binary64` `distribute-rgt1-in_binary64` `distribute-lft-out--_binary64`
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` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `log-rec_binary64` `log-div_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `rec-exp_binary64` `exp-neg_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `/-rgt-identity_binary64` `-rgt-identity_binary64` `-lft-identity_binary64` `remove-double-neg_binary64` `--rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `*-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-lft1-in_binary64` `associate--r-_binary64` `associate--l-_binary64`

Counts

116 → 71

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	219	2429
1	559	2338
2	1645	2294
3	4872	2294
4	4965	2294

prune59.0ms (1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	65	6	71
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	66	6	72

Error

5.2b

Counts

72 → 6

Compiler

Compiled 1259 to 837 computations (33.5% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (+.f64 im (.f64 1/2 (/.f64 (.f64 re re) im))) re)
0.2b	(.f64 1/2 (/.f64 (.f64 re re) im))
7.5b	(/.f64 (*.f64 re re) im)
13.6b	(sqrt.f64 (.f64 2 (-.f64 (+.f64 im (.f64 1/2 (/.f64 (*.f64 re re) im))) re)))

rewrite107.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

3.3b

Rules

18×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
16×	`add-sqr-sqrt_binary64`
12×	`*-un-lft-identity_binary64`
10×	`add-cube-cbrt_binary64`
9×	`pow1_binary64` `add-log-exp_binary64`
7×	`times-frac_binary64` `associate-r_binary64`
5×	`prod-exp_binary64` `cbrt-unprod_binary64`
4×	`div-exp_binary64` `cbrt-undiv_binary64`
3×	`associate-r/_binary64` `associate-/r_binary64` `associate-l_binary64` `cancel-sign-sub-inv_binary64`
2×	`pow-prod-down_binary64` `sqrt-pow1_binary64` `flip3--_binary64` `sqrt-div_binary64` `flip--_binary64` `div-inv_binary64` `unswap-sqr_binary64` `diff-log_binary64`
1×	`pow1/2_binary64` `sqrt-prod_binary64` `frac-2neg_binary64` `clear-num_binary64` `associate-/l_binary64` `-commutative_binary64` `sum-log_binary64` `sub-neg_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `associate--l+_binary64`

Counts

4 → 80

Calls

4 calls:

7.0ms	(.f64 1/2 (/.f64 (.f64 re re) im))
7.0ms	(sqrt.f64 (.f64 2 (-.f64 (+.f64 im (.f64 1/2 (/.f64 (*.f64 re re) im))) re)))
6.0ms	(-.f64 (+.f64 im (.f64 1/2 (/.f64 (.f64 re re) im))) re)
5.0ms	(/.f64 (*.f64 re re) im)

Compiler

Compiled 1851 to 1014 computations (45.2% saved)

series123.0ms (2.1%)

Error

3.2b

Counts

4 → 39

Calls

4 calls:

41.0ms	(-.f64 (+.f64 im (.f64 1/2 (/.f64 (.f64 re re) im))) re)
33.0ms	(sqrt.f64 (.f64 2 (-.f64 (+.f64 im (.f64 1/2 (/.f64 (*.f64 re re) im))) re)))
20.0ms	(.f64 1/2 (/.f64 (.f64 re re) im))
19.0ms	(/.f64 (*.f64 re re) im)

Compiler

Compiled 1225 to 1099 computations (10.3% saved)

simplify120.0ms (2%)

Algorithm

1×	egg-herbie

Rules

465×	`times-frac_binary64`
457×	`associate-/l*_binary64`
383×	`associate-*l/_binary64`
346×	`associate-*r/_binary64`
273×	`distribute-lft-in_binary64`
272×	`distribute-rgt-in_binary64`
179×	`associate-/r*_binary64`
171×	`associate-/l/_binary64`
107×	`associate-/r/_binary64`
102×	`log-div_binary64`
76×	`*-commutative_binary64`
70×	`associate-l_binary64` `associate-r_binary64`
58×	`unpow3_binary64` `cube-div_binary64`
54×	`cancel-sign-sub-inv_binary64`
53×	`neg-mul-1_binary64`
52×	`log-prod_binary64`
44×	`distribute-rgt-neg-in_binary64`
42×	`distribute-lft-neg-in_binary64`
40×	`sub-neg_binary64`
39×	`cube-prod_binary64`
38×	`exp-prod_binary64`
28×	`+-commutative_binary64`
24×	`exp-sum_binary64`
22×	`unswap-sqr_binary64`
20×	`sqr-pow_binary64`
19×	`neg-sub0_binary64`
16×	`div-sub_binary64`
12×	`associate-+l+_binary64`
9×	`exp-diff_binary64` `cube-unmult_binary64` `distribute-lft-neg-out_binary64`
8×	`distribute-neg-frac_binary64` `associate-+r+_binary64`
7×	`cube-mult_binary64` `distribute-rgt-neg-out_binary64` `associate--l+_binary64` `associate-+r-_binary64`
6×	`log-rec_binary64` `div-exp_binary64` `swap-sqr_binary64`
5×	`log-pow_binary64` `pow-plus_binary64` `+-rgt-identity_binary64`
4×	`*-rgt-identity_binary64`
3×	`difference-of-squares_binary64` `distribute-rgt-out_binary64`
2×	`unpow1/2_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `/-rgt-identity_binary64` `pow-sqr_binary64`
1×	`unpow2_binary64` `unpow1_binary64` `prod-exp_binary64` `1-exp_binary64` `rem-3cbrt-lft_binary64` `sqr-neg_binary64` `unsub-neg_binary64` `mul-1-neg_binary64` `*-lft-identity_binary64` `count-2_binary64` `associate-+l-_binary64`
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` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `rec-exp_binary64` `exp-neg_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-neg-in_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out--_binary64` `distribute-lft-out_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate--r+_binary64`

Counts

119 → 76

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	165	1909
1	359	1741
2	1125	1716
3	4642	1716
4	4932	1716
5	5021	1716

prune43.0ms (0.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	74	2	76
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	75	7	82

Error

3.2b

Counts

82 → 7

Compiler

Compiled 1028 to 654 computations (36.4% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.4b	(*.f64 (sqrt.f64 2) (sqrt.f64 im))

rewrite32.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

3.2b

Rules

13×	`add-sqr-sqrt_binary64`
10×	`sqrt-prod_binary64`
6×	`associate-l_binary64` `associate-r_binary64`
5×	`pow1_binary64` `add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
4×	`unswap-sqr_binary64`
3×	`pow-prod-down_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
2×	`pow1/2_binary64` `sqrt-pow1_binary64`
1×	`prod-exp_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `sqrt-unprod_binary64` `*-commutative_binary64`

Counts

1 → 30

Calls

1 calls:

7.0ms

(*.f64 (sqrt.f64 2) (sqrt.f64 im))

Compiler

Compiled 284 to 214 computations (24.6% saved)

series8.0ms (0.1%)

Error

3.2b

Counts

1 → 3

Calls

1 calls:

8.0ms

(*.f64 (sqrt.f64 2) (sqrt.f64 im))

Compiler

Compiled 69 to 73 computations (-5.8% saved)

simplify65.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

852×	`unswap-sqr_binary64`
358×	`associate-l_binary64`
296×	`associate-*l/_binary64`
254×	`*-commutative_binary64`
248×	`associate-r_binary64`
235×	`log-div_binary64` `cube-div_binary64`
208×	`associate-*r/_binary64`
193×	`associate-/l/_binary64`
192×	`associate-+l+_binary64`
163×	`associate-/l*_binary64`
144×	`cube-prod_binary64`
133×	`sqr-pow_binary64`
131×	`log-prod_binary64`
106×	`associate-/r/_binary64`
74×	`exp-prod_binary64`
72×	`associate-+r+_binary64`
70×	`associate-/r*_binary64`
45×	`pow-sqr_binary64`
29×	`unsub-neg_binary64`
28×	`cube-unmult_binary64` `*-lft-identity_binary64`
26×	`*-rgt-identity_binary64`
25×	`times-frac_binary64`
23×	`distribute-lft-out_binary64`
22×	`pow-plus_binary64`
21×	`distribute-rgt-out_binary64`
20×	`cube-mult_binary64`
17×	`log-rec_binary64` `unpow3_binary64` `rem-sqrt-square_binary64`
15×	`exp-sqrt_binary64`
11×	`swap-sqr_binary64` `+-commutative_binary64`
8×	`exp-lft-sqr_binary64`
7×	`distribute-rgt1-in_binary64`
6×	`sub-neg_binary64`
5×	`remove-double-div_binary64` `distribute-lft1-in_binary64`
3×	`unpow1/2_binary64`
2×	`log-pow_binary64` `prod-exp_binary64` `rem-square-sqrt_binary64` `neg-mul-1_binary64` `neg-sub0_binary64` `/-rgt-identity_binary64` `distribute-rgt-in_binary64` `count-2_binary64`
1×	`unpow2_binary64` `1-exp_binary64` `exp-1-e_binary64`
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` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow1_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-cbrt_binary64` `div-exp_binary64` `rec-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `div-sub_binary64` `mul-1-neg_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `cancel-sign-sub-inv_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-neg-in_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft-neg-out_binary64` `distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out--_binary64` `distribute-lft-in_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate--l+_binary64` `associate--r+_binary64` `associate-+l-_binary64` `associate-+r-_binary64`

Counts

33 → 13

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	46	359
1	83	353
2	199	353
3	251	353
4	359	353
5	589	353
6	1215	353
7	2849	353
8	5050	353

prune19.0ms (0.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	11	2	13
Fresh	0	6	6
Picked	1	0	1
Done	0	0	0
Total	12	8	20

Error

3.2b

Counts

20 → 8

Compiler

Compiled 244 to 207 computations (15.2% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.3b	(*.f64 (sqrt.f64 im) (sqrt.f64 (sqrt.f64 2)))
0.3b	(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 im) (sqrt.f64 (sqrt.f64 2))))

rewrite76.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

3.2b

Rules

30×	`sqrt-prod_binary64`
22×	`add-sqr-sqrt_binary64`
15×	`associate-l_binary64`
14×	`pow1_binary64`
10×	`pow-prod-down_binary64` `add-cube-cbrt_binary64` `-un-lft-identity_binary64` `associate-r*_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
6×	`unswap-sqr_binary64`
5×	`pow1/2_binary64` `sqrt-pow1_binary64`
4×	`prod-exp_binary64` `cbrt-unprod_binary64`
3×	`sqrt-unprod_binary64`
2×	`add-log-exp_binary64` `*-commutative_binary64`

Counts

2 → 62

Calls

2 calls:

11.0ms	(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 im) (sqrt.f64 (sqrt.f64 2))))
8.0ms	(*.f64 (sqrt.f64 im) (sqrt.f64 (sqrt.f64 2)))

Compiler

Compiled 876 to 740 computations (15.5% saved)

series17.0ms (0.3%)

Error

3.2b

Counts

2 → 6

Calls

2 calls:

9.0ms	(*.f64 (sqrt.f64 im) (sqrt.f64 (sqrt.f64 2)))
8.0ms	(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 im) (sqrt.f64 (sqrt.f64 2))))

Compiler

Compiled 169 to 177 computations (-4.7% saved)

simplify108.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

402×	`log-div_binary64`
357×	`associate-l_binary64`
346×	`associate-*l/_binary64`
294×	`log-prod_binary64`
259×	`cube-div_binary64`
237×	`associate-+l+_binary64`
219×	`associate-r_binary64`
198×	`associate-*r/_binary64`
166×	`unswap-sqr_binary64`
164×	`associate-/l/_binary64`
163×	`associate-/l*_binary64`
161×	`*-commutative_binary64`
141×	`exp-prod_binary64`
137×	`sqr-pow_binary64`
118×	`unpow3_binary64`
113×	`cube-prod_binary64`
99×	`associate-+l-_binary64`
92×	`associate-/r/_binary64`
84×	`associate--l+_binary64` `associate-+r+_binary64`
70×	`swap-sqr_binary64`
59×	`associate-+r-_binary64`
55×	`associate-/r*_binary64`
52×	`pow-sqr_binary64`
32×	`times-frac_binary64` `*-lft-identity_binary64`
29×	`distribute-lft-out_binary64`
24×	`exp-sqrt_binary64`
23×	`*-rgt-identity_binary64`
21×	`log-rec_binary64` `rem-sqrt-square_binary64` `distribute-rgt-out_binary64`
17×	`cube-mult_binary64`
16×	`distribute-rgt-in_binary64`
13×	`+-commutative_binary64`
12×	`exp-lft-sqr_binary64`
11×	`associate--l-_binary64`
9×	`sub-neg_binary64`
8×	`log-pow_binary64` `distribute-lft-in_binary64`
7×	`unsub-neg_binary64` `distribute-rgt1-in_binary64`
6×	`cube-unmult_binary64` `remove-double-div_binary64`
5×	`unpow1/2_binary64` `pow-plus_binary64` `distribute-lft1-in_binary64`
3×	`rem-square-sqrt_binary64` `count-2_binary64`
2×	`/-rgt-identity_binary64`
1×	`prod-exp_binary64` `1-exp_binary64` `exp-1-e_binary64` `neg-mul-1_binary64` `neg-sub0_binary64`
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` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `unpow2_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow1_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-cbrt_binary64` `div-exp_binary64` `rec-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `div-sub_binary64` `mul-1-neg_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `cancel-sign-sub-inv_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-neg-in_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft-neg-out_binary64` `distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out--_binary64` `associate--r-_binary64` `associate--r+_binary64`

Counts

68 → 48

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	73	1043
1	140	850
2	369	829
3	639	829
4	746	829
5	1016	829
6	2531	829
7	4371	829
8	4901	829

prune35.0ms (0.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	45	3	48
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	47	9	56

Error

3.2b

Counts

56 → 9

Compiler

Compiled 475 to 391 computations (17.7% saved)

regimes2.7s (45.3%)

Accuracy

Total 10.0b remaining (74.6%)

Threshold costs 0b (0%)

Compiler

Compiled 16926 to 14524 computations (14.2% saved)

bsearch98.0ms (1.6%)

Steps

Iters	Range		Point
8	53264088.86001226	126397514161.02191	24805927178.950237
8	-2.4623705131978845e-132	-1.2331592229653978e-136	-1.2571986496294196e-136
8	-5.26620246387369e-111	-4.616109000547917e-115	-5.178839982241449e-111
8	-1.8175523759947823e-99	-1.3886729242493952e-103	-1.4186350356885884e-103
10	-1.6380860049273312e+155	-9.20399781939666e+141	-2.1320242768716358e+145

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify10.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

12×	`*-commutative_binary64`
3×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`1-exp_binary64` `neg-mul-1_binary64` `neg-sub0_binary64`
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` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `unpow1_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `unsub-neg_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `-rgt-identity_binary64` `-lft-identity_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_binary64` `cancel-sign-sub-inv_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-neg-in_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft-neg-out_binary64` `distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	130
1	63	130
2	67	130
3	69	130
4	70	130
5	68	130

end2.0ms (0%)

Compiler: Compiled 86 to 63 computations (26.7% saved)

sample1.4s (24.2%)

Algorithm

1×

intervals

Results

300.0ms	6050×	body	128	valid
160.0ms	659×	body	2048	valid
151.0ms	513×	body	4096	valid
100.0ms	8000×	pre	128	true
76.0ms	419×	body	1024	valid
30.0ms	222×	body	512	valid
12.0ms	137×	body	256	valid

Compiler

Compiled 290 to 248 computations (14.5% saved)

Iter	Nodes	Cost
0	19	46
1	26	46
2	44	46
3	69	46
4	90	46
5	132	46
6	195	46
7	249	46
8	288	46
9	339	46
10	369	46
11	373	46
12	375	46
13	338	46
0	2	2
1	2	2

Iter	Nodes	Cost
0	13	23
1	18	23
2	29	23
3	43	23
4	57	23
5	82	23
6	122	23
7	163	23
8	190	23
9	216	23
10	229	23
11	231	23
12	242	23
13	255	23
14	267	23
15	288	23
16	285	23
17	286	23
18	249	23

Iter	Nodes	Cost
0	19	46
1	26	46
2	44	46
3	69	46
4	90	46
5	132	46
6	195	46
7	249	46
8	288	46
9	339	46
10	369	46
11	373	46
12	375	46
13	338	46
0	2	2
1	2	2

Iter	Nodes	Cost
0	13	23
1	18	23
2	29	23
3	43	23
4	57	23
5	82	23
6	122	23
7	163	23
8	190	23
9	216	23
10	229	23
11	231	23
12	242	23
13	255	23
14	267	23
15	288	23
16	285	23
17	286	23
18	249	23

Details

analyze379.0ms (6.4%)

sample42.0ms (0.7%)

simplify28.0ms (0.5%)

prune1.0ms (0%)

localize10.0ms (0.2%)

rewrite120.0ms (2%)

series192.0ms (3.2%)

simplify105.0ms (1.8%)

prune59.0ms (1%)

localize11.0ms (0.2%)

rewrite107.0ms (1.8%)

series123.0ms (2.1%)

simplify120.0ms (2%)

prune43.0ms (0.7%)

localize5.0ms (0.1%)

rewrite32.0ms (0.5%)

series8.0ms (0.1%)

simplify65.0ms (1.1%)

prune19.0ms (0.3%)

localize7.0ms (0.1%)

rewrite76.0ms (1.3%)

series17.0ms (0.3%)

simplify108.0ms (1.8%)

prune35.0ms (0.6%)

regimes2.7s (45.3%)

bsearch98.0ms (1.6%)

simplify10.0ms (0.2%)

end2.0ms (0%)

sample1.4s (24.2%)

Profiling

Iter	Nodes	Cost
0	19	46
1	26	46
2	44	46
3	69	46
4	90	46
5	132	46
6	195	46
7	249	46
8	288	46
9	339	46
10	369	46
11	373	46
12	375	46
13	338	46
0	2	2
1	2	2

Iter	Nodes	Cost
0	13	23
1	18	23
2	29	23
3	43	23
4	57	23
5	82	23
6	122	23
7	163	23
8	190	23
9	216	23
10	229	23
11	231	23
12	242	23
13	255	23
14	267	23
15	288	23
16	285	23
17	286	23
18	249	23