Details

analyze370.0ms (7.2%)

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` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_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)

sample39.0ms (0.8%)

Algorithm

1×

intervals

Results

9.0ms	195×	body	128	valid
8.0ms	25×	body	2048	valid
4.0ms	14×	body	4096	valid
3.0ms	256×	pre	128	true
2.0ms	10×	body	1024	valid
1.0ms	9×	body	512	valid
0.0ms	3×	body	256	valid

Compiler

Compiled 33 to 28 computations (15.2% saved)

simplify27.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` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_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

37.6b

Counts

1 → 1

Compiler

Compiled 15 to 12 computations (20% saved)

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.6b	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
27.9b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite96.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

37.4b

Rules

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

Counts

3 → 43

Calls

3 calls:

7.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
6.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(+.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 997 to 365 computations (63.4% saved)

series120.0ms (2.3%)

Error

6.9b

Counts

3 → 39

Calls

3 calls:

45.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
28.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
27.0ms	(+.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 1229 to 1088 computations (11.5% saved)

simplify117.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

443×	`unswap-sqr_binary64`
324×	`associate-l_binary64`
309×	`associate-r_binary64`
283×	`distribute-rgt-neg-in_binary64`
270×	`distribute-lft-neg-in_binary64`
198×	`distribute-rgt-out_binary64`
157×	`distribute-neg-frac_binary64`
135×	`times-frac_binary64`
117×	`sub-neg_binary64`
96×	`distribute-rgt-in_binary64`
86×	`distribute-lft-in_binary64`
85×	`associate-/l*_binary64`
84×	`exp-prod_binary64`
81×	`*-commutative_binary64`
76×	`distribute-lft-neg-out_binary64`
74×	`cancel-sign-sub-inv_binary64`
67×	`associate-/r*_binary64`
61×	`neg-sub0_binary64` `sqr-pow_binary64`
60×	`distribute-rgt-neg-out_binary64`
59×	`neg-mul-1_binary64`
54×	`cube-prod_binary64`
52×	`difference-of-squares_binary64`
51×	`+-commutative_binary64`
50×	`unpow3_binary64`
41×	`associate-+l+_binary64`
40×	`swap-sqr_binary64`
39×	`unsub-neg_binary64` `distribute-rgt-out--_binary64`
35×	`exp-sum_binary64`
33×	`associate-*l/_binary64`
28×	`associate-+r+_binary64`
27×	`associate-*r/_binary64`
26×	`associate-+l-_binary64` `associate-+r-_binary64`
25×	`pow-plus_binary64`
21×	`cube-unmult_binary64`
20×	`distribute-neg-in_binary64`
18×	`sub0-neg_binary64` `+-rgt-identity_binary64`
14×	`div-sub_binary64`
12×	`exp-diff_binary64`
11×	`pow-sqr_binary64`
10×	`associate--l+_binary64`
8×	`cube-mult_binary64` `associate-/r/_binary64` `associate--r+_binary64`
7×	`mul0-rgt_binary64`
6×	`mul0-lft_binary64`
5×	`cancel-sign-sub_binary64`
4×	`rem-sqrt-square_binary64` `mul-1-neg_binary64`
3×	`unpow2_binary64` `remove-double-neg_binary64` `distribute-frac-neg_binary64` `distribute-lft-out_binary64`
2×	`unpow1/2_binary64` `unpow1_binary64` `rem-square-sqrt_binary64` `*-lft-identity_binary64` `+-inverses_binary64` `count-2_binary64` `associate--r-_binary64`
1×	`log-prod_binary64` `div-exp_binary64` `prod-exp_binary64` `exp-neg_binary64` `1-exp_binary64` `rem-3cbrt-lft_binary64` `fabs-mul_binary64` `sqr-neg_binary64` `--rgt-identity_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` `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` `fabs-div_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `/-rgt-identity_binary64` `-rgt-identity_binary64` `+-lft-identity_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` `distribute-neg-out_binary64` `distribute-lft1-in_binary64` `associate-/l/_binary64` `associate--l-_binary64`

Counts

82 → 48

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	104	1200
1	262	1120
2	666	1117
3	2660	1117
4	4817	1117
5	4982	1117
6	4920	1117

prune31.0ms (0.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	44	4	48
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	44	5	49

Error

8.9b

Counts

49 → 5

Compiler

Compiled 640 to 381 computations (40.5% saved)

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (+.f64 im (.f64 1/2 (/.f64 (.f64 re re) im))) re)
6.9b	(/.f64 (*.f64 re re) im)
13.7b	(sqrt.f64 (.f64 2 (-.f64 (+.f64 im (.f64 1/2 (/.f64 (*.f64 re re) im))) re)))

rewrite72.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

6.9b

Rules

8×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
6×	`pow1_binary64` `add-cube-cbrt_binary64`
3×	`times-frac_binary64` `associate-/r*_binary64` `cancel-sign-sub-inv_binary64`
2×	`sqrt-pow1_binary64` `flip3--_binary64` `associate-*r/_binary64` `sqrt-div_binary64` `flip--_binary64` `div-exp_binary64` `cbrt-undiv_binary64` `diff-log_binary64`
1×	`pow1/2_binary64` `pow-prod-down_binary64` `sqrt-prod_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `frac-2neg_binary64` `clear-num_binary64` `div-inv_binary64` `associate-/l*_binary64` `sum-log_binary64` `sub-neg_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `associate--l+_binary64`

Counts

3 → 52

Calls

3 calls:

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

Compiler

Compiled 1247 to 696 computations (44.2% saved)

series86.0ms (1.7%)

Error

6.9b

Counts

3 → 29

Calls

3 calls:

29.0ms	(-.f64 (+.f64 im (.f64 1/2 (/.f64 (.f64 re re) im))) re)
28.0ms	(sqrt.f64 (.f64 2 (-.f64 (+.f64 im (.f64 1/2 (/.f64 (*.f64 re re) im))) re)))
20.0ms	(/.f64 (*.f64 re re) im)

Compiler

Compiled 899 to 814 computations (9.5% saved)

simplify99.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

356×	`associate-l_binary64`
334×	`associate-r_binary64`
316×	`associate-/l*_binary64`
275×	`times-frac_binary64`
273×	`distribute-lft-in_binary64`
272×	`distribute-rgt-in_binary64`
243×	`cancel-sign-sub-inv_binary64`
183×	`associate-*l/_binary64`
164×	`unswap-sqr_binary64`
146×	`associate-*r/_binary64`
144×	`*-commutative_binary64`
137×	`associate-/l/_binary64`
101×	`associate-/r*_binary64`
80×	`sub-neg_binary64`
77×	`associate-+l+_binary64`
71×	`swap-sqr_binary64` `associate-/r/_binary64`
61×	`log-div_binary64`
53×	`unsub-neg_binary64` `associate-+r+_binary64`
48×	`sqr-pow_binary64`
46×	`neg-sub0_binary64`
45×	`exp-prod_binary64`
44×	`distribute-rgt-neg-in_binary64`
43×	`log-prod_binary64` `+-commutative_binary64`
42×	`distribute-lft-neg-in_binary64`
41×	`neg-mul-1_binary64`
36×	`cube-prod_binary64`
33×	`exp-sum_binary64`
27×	`cube-div_binary64`
16×	`div-sub_binary64`
15×	`associate-+l-_binary64`
13×	`associate-+r-_binary64`
12×	`exp-diff_binary64` `+-rgt-identity_binary64` `associate--l+_binary64`
11×	`/-rgt-identity_binary64`
10×	`cube-unmult_binary64`
9×	`log-pow_binary64` `sub0-neg_binary64` `distribute-lft-neg-out_binary64`
8×	`pow-plus_binary64` `distribute-neg-frac_binary64`
7×	`unpow3_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `difference-of-squares_binary64` `distribute-rgt-neg-out_binary64` `associate--l-_binary64`
6×	`-rgt-identity_binary64` `-lft-identity_binary64`
5×	`log-rec_binary64` `div-exp_binary64` `pow-sqr_binary64`
4×	`mul-1-neg_binary64`
3×	`cube-mult_binary64` `distribute-rgt-out_binary64`
2×	`unpow1/2_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64`
1×	`unpow2_binary64` `unpow1_binary64` `prod-exp_binary64` `1-exp_binary64` `rem-3cbrt-lft_binary64` `fabs-mul_binary64` `sqr-neg_binary64` `remove-double-neg_binary64` `div0_binary64` `count-2_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` `fabs-div_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `--rgt-identity_binary64` `+-lft-identity_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--r+_binary64`

Counts

81 → 53

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	128	1332
1	274	1236
2	840	1212
3	3914	1185
4	4964	1185
5	4922	1185

prune34.0ms (0.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	51	2	53
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	52	6	58

Error

6.8b

Counts

58 → 6

Compiler

Compiled 786 to 471 computations (40.1% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite29.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

6.8b

Rules

15×	`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` `rem-sqrt-square_binary64`
1×	`prod-exp_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `sqrt-unprod_binary64` `mul-fabs_binary64` `*-commutative_binary64`

Counts

1 → 31

Calls

1 calls:

7.0ms

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

Compiler

Compiled 292 to 220 computations (24.7% saved)

series8.0ms (0.2%)

Error

6.8b

Counts

1 → 3

Calls

1 calls:

8.0ms

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

Compiler

Compiled 69 to 73 computations (-5.8% saved)

simplify86.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

564×	`log-div_binary64`
359×	`associate-l_binary64`
296×	`associate-*l/_binary64`
288×	`unswap-sqr_binary64`
259×	`*-commutative_binary64`
249×	`associate-r_binary64`
242×	`cube-div_binary64`
208×	`associate-*r/_binary64`
201×	`fabs-div_binary64`
193×	`associate-/l/_binary64`
192×	`associate-+l+_binary64`
163×	`associate-/l*_binary64`
154×	`fabs-mul_binary64`
152×	`cube-prod_binary64`
147×	`associate-+l-_binary64`
137×	`log-prod_binary64`
132×	`sqr-pow_binary64`
106×	`associate-/r/_binary64`
76×	`exp-prod_binary64`
72×	`associate-+r+_binary64`
70×	`associate-/r*_binary64`
66×	`swap-sqr_binary64`
60×	`associate--l+_binary64`
45×	`pow-sqr_binary64`
33×	`log-rec_binary64`
29×	`unsub-neg_binary64` `distribute-lft-out_binary64`
28×	`cube-unmult_binary64` `*-lft-identity_binary64`
26×	`*-rgt-identity_binary64`
25×	`times-frac_binary64`
22×	`pow-plus_binary64` `distribute-rgt-out_binary64`
21×	`fabs-sqr_binary64`
19×	`rem-sqrt-square_binary64`
18×	`distribute-rgt-in_binary64`
17×	`unpow3_binary64`
16×	`exp-sqrt_binary64` `cube-mult_binary64`
12×	`distribute-lft-in_binary64`
11×	`log-pow_binary64` `+-commutative_binary64`
9×	`exp-lft-sqr_binary64` `distribute-rgt1-in_binary64` `associate--l-_binary64`
6×	`sub-neg_binary64`
5×	`remove-double-div_binary64` `distribute-lft1-in_binary64`
3×	`unpow1/2_binary64`
2×	`prod-exp_binary64` `rem-square-sqrt_binary64` `neg-mul-1_binary64` `neg-sub0_binary64` `/-rgt-identity_binary64` `distribute-neg-out_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` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_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-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` `associate-+r-_binary64`

Counts

34 → 13

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	46	367
1	83	361
2	199	361
3	251	361
4	360	361
5	590	361
6	1218	361
7	2923	361
8	4877	361
9	5212	361

prune13.0ms (0.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	11	2	13
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	12	7	19

Error

6.8b

Counts

19 → 7

Compiler

Compiled 182 to 158 computations (13.2% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite86.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

6.8b

Rules

38×	`add-sqr-sqrt_binary64`
35×	`sqrt-prod_binary64`
16×	`rem-sqrt-square_binary64`
15×	`associate-l_binary64`
14×	`pow1_binary64`
10×	`pow-prod-down_binary64` `add-cube-cbrt_binary64` `mul-fabs_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 → 68

Calls

2 calls:

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

Compiler

Compiled 902 to 762 computations (15.5% saved)

series16.0ms (0.3%)

Error

6.8b

Counts

2 → 6

Calls

2 calls:

8.0ms	(*.f64 (sqrt.f64 im) (sqrt.f64 (sqrt.f64 2)))
7.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)

simplify106.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

421×	`log-div_binary64`
354×	`associate-l_binary64`
346×	`associate-*l/_binary64`
302×	`log-prod_binary64`
259×	`cube-div_binary64`
237×	`associate-+l+_binary64`
219×	`associate-r_binary64`
198×	`associate-*r/_binary64`
168×	`unswap-sqr_binary64`
164×	`associate-/l/_binary64`
162×	`associate-/l*_binary64`
161×	`*-commutative_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`
69×	`exp-prod_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`
23×	`log-rec_binary64` `*-rgt-identity_binary64`
21×	`rem-sqrt-square_binary64` `distribute-rgt-out_binary64`
19×	`fabs-div_binary64`
18×	`fabs-mul_binary64`
17×	`cube-mult_binary64`
16×	`distribute-rgt-in_binary64`
14×	`exp-sqrt_binary64`
13×	`+-commutative_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` `exp-lft-sqr_binary64` `distribute-lft1-in_binary64`
3×	`fabs-sqr_binary64` `rem-square-sqrt_binary64` `count-2_binary64`
2×	`pow-plus_binary64` `/-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` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_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

74 → 48

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	73	1131
1	140	902
2	369	881
3	640	881
4	747	881
5	1017	881
6	2534	881
7	4446	881
8	4946	881

prune31.0ms (0.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	45	3	48
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	47	8	55

Error

6.8b

Counts

55 → 8

Compiler

Compiled 473 to 391 computations (17.3% saved)

regimes2.1s (40.9%)

Accuracy

Total 10.3b remaining (57.5%)

Threshold costs 0b (0%)

Compiler

Compiled 13780 to 11864 computations (13.9% saved)

bsearch127.0ms (2.5%)

Steps

Iters	Range		Point
7	2.4511880597785937e+172	9.004903262728873e+173	2.4827971193717914e+172
7	1.3009362110532013e+150	2.3401096779811728e+152	2.2785101745041676e+152
9	5.198615719892845e+23	7.357841371404457e+28	5.24919610962508e+23
9	-8.479680384203167e-129	-8.398292143734063e-135	-8.505474022050854e-135
9	-5.238360841261381e+71	-2.2595230574525435e+66	-1.0699785804869837e+71

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative_binary64`
6×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`1-exp_binary64` `neg-sub0_binary64` `unsub-neg_binary64` `mul-1-neg_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` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `neg-mul-1_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: 1 (0.0ms)

Iter	Nodes	Cost
0	59	148
1	83	146
2	86	146
3	87	146
4	88	146
5	86	146

end2.0ms (0%)

Compiler: Compiled 97 to 66 computations (32% saved)

sample1.4s (27.2%)

Algorithm

1×

intervals

Results

293.0ms	6114×	body	128	valid
147.0ms	505×	body	4096	valid
138.0ms	595×	body	2048	valid
111.0ms	8000×	pre	128	true
81.0ms	414×	body	1024	valid
32.0ms	244×	body	512	valid
11.0ms	128×	body	256	valid

Compiler

Compiled 254 to 214 computations (15.7% 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

analyze370.0ms (7.2%)

sample39.0ms (0.8%)

simplify27.0ms (0.5%)

prune1.0ms (0%)

localize10.0ms (0.2%)

rewrite96.0ms (1.9%)

series120.0ms (2.3%)

simplify117.0ms (2.3%)

prune31.0ms (0.6%)

localize10.0ms (0.2%)

rewrite72.0ms (1.4%)

series86.0ms (1.7%)

simplify99.0ms (1.9%)

prune34.0ms (0.7%)

localize5.0ms (0.1%)

rewrite29.0ms (0.6%)

series8.0ms (0.2%)

simplify86.0ms (1.7%)

prune13.0ms (0.3%)

localize7.0ms (0.1%)

rewrite86.0ms (1.7%)

series16.0ms (0.3%)

simplify106.0ms (2.1%)

prune31.0ms (0.6%)

regimes2.1s (40.9%)

bsearch127.0ms (2.5%)

simplify8.0ms (0.2%)

end2.0ms (0%)

sample1.4s (27.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