Details

analyze365.0ms (10.6%)

Algorithm

1×	search
2×	egg-herbie

Rules

700×	`sub-neg_binary64`
457×	`div-sub_binary64`
365×	`neg-mul-1_binary64`
364×	`distribute-rgt-in_binary64`
357×	`associate-/l*_binary64`
340×	`times-frac_binary64`
327×	`neg-sub0_binary64`
325×	`cancel-sign-sub-inv_binary64`
315×	`sqr-pow_binary64`
309×	`distribute-lft-in_binary64`
268×	`distribute-rgt-neg-in_binary64`
222×	`distribute-lft-neg-in_binary64`
198×	`pow-sqr_binary64`
185×	`associate-/l/_binary64`
165×	`associate-/r*_binary64`
153×	`associate-/r/_binary64`
142×	`distribute-neg-in_binary64`
135×	`associate--r+_binary64` `*-commutative_binary64`
132×	`rem-sqrt-square_binary64`
130×	`distribute-lft-neg-out_binary64`
127×	`associate--l+_binary64`
126×	`distribute-frac-neg_binary64`
125×	`unsub-neg_binary64`
124×	`distribute-rgt-neg-out_binary64`
121×	`distribute-neg-frac_binary64`
120×	`unswap-sqr_binary64`
92×	`associate--l-_binary64`
90×	`*-lft-identity_binary64`
86×	`associate--r-_binary64`
84×	`swap-sqr_binary64`
74×	`associate-*l/_binary64`
73×	`remove-double-neg_binary64` `associate-r_binary64`
71×	`+-commutative_binary64`
64×	`associate-l_binary64`
60×	`sqr-neg_binary64` `*-rgt-identity_binary64`
44×	`/-rgt-identity_binary64`
35×	`+-rgt-identity_binary64` `associate-+l-_binary64`
32×	`associate-*r/_binary64`
25×	`+-lft-identity_binary64`
24×	`exp-prod_binary64`
21×	`cancel-sign-sub_binary64`
19×	`sub0-neg_binary64`
18×	`mul-1-neg_binary64` `mul0-rgt_binary64` `mul0-lft_binary64`
17×	`associate-+l+_binary64`
16×	`distribute-neg-out_binary64`
15×	`div0_binary64`
12×	`distribute-rgt-out--_binary64`
11×	`associate-+r+_binary64`
8×	`distribute-lft-out--_binary64` `distribute-lft-out_binary64`
7×	`remove-double-div_binary64` `associate-+r-_binary64`
6×	`unpow1/2_binary64` `--rgt-identity_binary64`
3×	`rec-exp_binary64` `exp-diff_binary64` `exp-sum_binary64`
1×	`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` `log-pow_binary64` `log-rec_binary64` `log-div_binary64` `log-prod_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `unpow3_binary64` `unpow2_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` `div-exp_binary64` `prod-exp_binary64` `exp-neg_binary64` `e-exp-1_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-square-sqrt_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` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out_binary64` `count-2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	72
1	52	72
2	73	72
3	97	72
4	151	72
5	194	72
6	284	72
7	406	72
8	559	72
9	717	72
10	1057	72
11	1727	72
12	2208	72
13	3065	72
14	3517	72
15	4220	72
16	4955	72
17	4862	72
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
25%	74.9%	0.1%	4
25%	74.9%	0.1%	5
37.4%	62.4%	0.1%	6
46.8%	53%	0.1%	7
52.3%	47.6%	0.1%	8
65.5%	34.3%	0.1%	9
71%	28.9%	0.1%	10
75%	24.9%	0.1%	11
81.6%	18.2%	0.1%	12
84.5%	15.4%	0.1%	13
86.9%	13%	0.1%	14

Compiler

Compiled 13 to 11 computations (15.4% saved)

sample20.0ms (0.6%)

Algorithm

1×

intervals

Results

10.0ms

256×

body

128

valid

Compiler

Compiled 25 to 24 computations (4% saved)

simplify138.0ms (4%)

Algorithm

1×	egg-herbie

Rules

1059×	`div-sub_binary64`
943×	`cancel-sign-sub-inv_binary64`
520×	`unswap-sqr_binary64`
430×	`distribute-rgt-in_binary64`
411×	`sub-neg_binary64`
390×	`associate-/l*_binary64`
356×	`unsub-neg_binary64`
351×	`associate-/r*_binary64`
338×	`distribute-lft-in_binary64`
334×	`associate-/l/_binary64`
302×	`*-commutative_binary64`
257×	`times-frac_binary64`
245×	`distribute-neg-frac_binary64`
242×	`neg-mul-1_binary64`
238×	`associate-r_binary64`
232×	`neg-sub0_binary64`
185×	`associate-l_binary64`
181×	`distribute-rgt-neg-in_binary64`
156×	`associate-/r/_binary64`
142×	`distribute-rgt-neg-out_binary64`
138×	`distribute-lft-neg-in_binary64`
133×	`sqr-pow_binary64`
122×	`distribute-lft-neg-out_binary64`
104×	`distribute-frac-neg_binary64`
101×	`*-lft-identity_binary64`
86×	`pow-sqr_binary64`
77×	`mul0-rgt_binary64`
75×	`mul0-lft_binary64`
68×	`associate--r+_binary64`
60×	`associate-*l/_binary64`
54×	`div0_binary64`
53×	`cube-prod_binary64`
48×	`associate-*r/_binary64`
43×	`+-lft-identity_binary64`
35×	`distribute-rgt-out--_binary64`
34×	`swap-sqr_binary64`
33×	`associate--r-_binary64`
30×	`associate--l-_binary64` `+-commutative_binary64`
27×	`remove-double-neg_binary64`
26×	`distribute-neg-in_binary64`
18×	`remove-double-div_binary64`
16×	`cube-unmult_binary64` `/-rgt-identity_binary64` `distribute-rgt-out_binary64`
14×	`sqr-neg_binary64` `*-rgt-identity_binary64`
12×	`associate-+l-_binary64`
11×	`pow-plus_binary64`
9×	`unpow3_binary64` `associate--l+_binary64`
8×	`exp-prod_binary64` `sub0-neg_binary64` `distribute-neg-out_binary64`
7×	`cancel-sign-sub_binary64`
6×	`cube-neg_binary64` `mul-1-neg_binary64`
5×	`--rgt-identity_binary64` `associate-+l+_binary64` `associate-+r+_binary64`
4×	`unpow2_binary64`
3×	`rec-exp_binary64`
2×	`*-inverses_binary64` `lft-mult-inverse_binary64` `distribute-lft-out--_binary64` `distribute-lft-out_binary64` `associate-+r-_binary64`
1×	`unpow1/2_binary64` `exp-diff_binary64` `1-exp_binary64` `exp-1-e_binary64` `cube-mult_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` `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` `div-exp_binary64` `prod-exp_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_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` `+-inverses_binary64` `rgt-mult-inverse_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `count-2_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	19	18
2	29	18
3	41	18
4	59	18
5	81	18
6	116	18
7	158	18
8	212	18
9	228	18
10	288	18
11	458	18
12	765	18
13	1263	18
14	1205	18
15	1347	18
16	1253	18
17	1281	18
18	1473	18
19	2174	18
20	2259	18
21	3190	18
22	4245	18
23	5305	18

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

2.3b

Counts

1 → 1

Compiler

Compiled 12 to 10 computations (16.7% saved)

localize11.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b

(+.f64 x (/.f64 y (-.f64 (*.f64 5081767996463981/4503599627370496 (exp.f64 z)) (*.f64 x y))))

0.8b

(-.f64 (*.f64 5081767996463981/4503599627370496 (exp.f64 z)) (*.f64 x y))

9.7b

(/.f64 y (-.f64 (*.f64 5081767996463981/4503599627370496 (exp.f64 z)) (*.f64 x y)))

rewrite94.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

2.3b

Rules

13×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
9×	`times-frac_binary64`
7×	`add-log-exp_binary64`
5×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`pow1_binary64` `associate-/l_binary64` `associate-/r_binary64`
2×	`flip3--_binary64` `associate-/r/_binary64` `flip--_binary64`
1×	`div-exp_binary64` `cbrt-undiv_binary64` `frac-2neg_binary64` `clear-num_binary64` `div-inv_binary64` `diff-log_binary64` `sub-neg_binary64` `cancel-sign-sub-inv_binary64` `sum-log_binary64` `flip3-+_binary64` `flip-+_binary64` `distribute-lft-out_binary64` `+-commutative_binary64`

Counts

3 → 53

Calls

3 calls:

10.0ms

(+.f64 x (/.f64 y (-.f64 (*.f64 5081767996463981/4503599627370496 (exp.f64 z)) (*.f64 x y))))

7.0ms

(/.f64 y (-.f64 (*.f64 5081767996463981/4503599627370496 (exp.f64 z)) (*.f64 x y)))

5.0ms

(-.f64 (*.f64 5081767996463981/4503599627370496 (exp.f64 z)) (*.f64 x y))

Compiler

Compiled 1212 to 577 computations (52.4% saved)

series167.0ms (4.9%)

Error

Counts

3 → 52

Calls

3 calls:

53.0ms

(+.f64 x (/.f64 y (-.f64 (*.f64 5081767996463981/4503599627370496 (exp.f64 z)) (*.f64 x y))))

49.0ms

(/.f64 y (-.f64 (*.f64 5081767996463981/4503599627370496 (exp.f64 z)) (*.f64 x y)))

37.0ms

(-.f64 (*.f64 5081767996463981/4503599627370496 (exp.f64 z)) (*.f64 x y))

Compiler

Compiled 1849 to 1405 computations (24% saved)

simplify118.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

492×	`times-frac_binary64`
438×	`associate-/l*_binary64`
391×	`associate-l_binary64`
255×	`associate-/r*_binary64`
181×	`associate-*l/_binary64`
157×	`cancel-sign-sub-inv_binary64`
151×	`div-sub_binary64`
137×	`associate-*r/_binary64`
120×	`associate-/l/_binary64` `associate-/r/_binary64`
114×	`distribute-rgt-in_binary64`
107×	`sub-neg_binary64`
95×	`distribute-lft-in_binary64`
81×	`distribute-rgt-neg-in_binary64`
70×	`distribute-lft-neg-in_binary64`
62×	`+-commutative_binary64`
55×	`distribute-neg-frac_binary64`
53×	`exp-prod_binary64` `associate-r_binary64`
52×	`*-commutative_binary64`
48×	`sqr-pow_binary64`
45×	`unswap-sqr_binary64`
40×	`associate-+l+_binary64`
38×	`cube-prod_binary64` `associate--l+_binary64`
36×	`neg-mul-1_binary64` `neg-sub0_binary64`
35×	`distribute-rgt-out_binary64`
29×	`associate-+r+_binary64`
28×	`associate--r+_binary64`
27×	`distribute-neg-in_binary64`
18×	`unsub-neg_binary64`
17×	`distribute-lft-neg-out_binary64` `distribute-lft-out_binary64`
14×	`unpow3_binary64` `cube-unmult_binary64`
12×	`exp-sum_binary64`
10×	`cube-div_binary64`
8×	`*-rgt-identity_binary64`
7×	`log-div_binary64` `cube-mult_binary64`
6×	`pow-plus_binary64` `distribute-rgt-neg-out_binary64` `distribute-rgt-out--_binary64` `associate-+r-_binary64`
5×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `exp-diff_binary64` `rem-sqrt-square_binary64` `+-rgt-identity_binary64`
4×	`log-prod_binary64` `prod-exp_binary64` `/-rgt-identity_binary64` `difference-of-squares_binary64` `swap-sqr_binary64`
2×	`log-pow_binary64` `pow-sqr_binary64`
1×	`div-exp_binary64` `rec-exp_binary64` `1-exp_binary64` `cube-neg_binary64` `sqr-neg_binary64` `-lft-identity_binary64` `remove-double-neg_binary64` `-inverses_binary64` `cancel-sign-sub_binary64` `distribute-rgt1-in_binary64` `count-2_binary64` `associate--r-_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` `log-rec_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` `exp-neg_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `rem-square-sqrt_binary64` `mul-1-neg_binary64` `sub0-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` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64` `associate--l-_binary64`

Counts

105 → 88

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	176	2387
1	466	2317
2	1422	2261
3	4798	2255
4	5221	2255

prune83.0ms (2.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	82	6	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	83	6	89

Error

1.2b

Counts

89 → 6

Compiler

Compiled 1467 to 769 computations (47.6% saved)

localize12.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (/.f64 1 (/.f64 (-.f64 (.f64 (exp.f64 z) 5081767996463981/4503599627370496) (.f64 y x)) y)))
0.1b	(/.f64 1 (/.f64 (-.f64 (.f64 (exp.f64 z) 5081767996463981/4503599627370496) (.f64 y x)) y))
0.8b	(-.f64 (.f64 (exp.f64 z) 5081767996463981/4503599627370496) (.f64 y x))
9.6b	(/.f64 (-.f64 (.f64 (exp.f64 z) 5081767996463981/4503599627370496) (.f64 y x)) y)

rewrite240.0ms (7%)

Algorithm

1×	rewrite-expression-head

Error

1.2b

Rules

84×	`times-frac_binary64`
57×	`*-un-lft-identity_binary64`
54×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
17×	`add-exp-log_binary64`
16×	`associate-/r*_binary64`
11×	`add-cbrt-cube_binary64`
8×	`div-exp_binary64` `add-log-exp_binary64`
7×	`div-inv_binary64`
6×	`associate-/l*_binary64`
5×	`pow1_binary64`
4×	`cbrt-undiv_binary64`
2×	`frac-2neg_binary64` `clear-num_binary64` `flip3--_binary64` `associate-/l/_binary64` `flip--_binary64` `1-exp_binary64` `rec-exp_binary64` `distribute-lft-out_binary64`
1×	`div-sub_binary64` `diff-log_binary64` `sub-neg_binary64` `cancel-sign-sub-inv_binary64` `inv-pow_binary64` `pow-flip_binary64` `associate-/r/_binary64` `sum-log_binary64` `flip3-+_binary64` `flip-+_binary64` `+-commutative_binary64`

Counts

4 → 131

Calls

4 calls:

16.0ms	(+.f64 x (/.f64 1 (/.f64 (-.f64 (.f64 (exp.f64 z) 5081767996463981/4503599627370496) (.f64 y x)) y)))
9.0ms	(/.f64 1 (/.f64 (-.f64 (.f64 (exp.f64 z) 5081767996463981/4503599627370496) (.f64 y x)) y))
7.0ms	(/.f64 (-.f64 (.f64 (exp.f64 z) 5081767996463981/4503599627370496) (.f64 y x)) y)
5.0ms	(-.f64 (.f64 (exp.f64 z) 5081767996463981/4503599627370496) (.f64 y x))

Compiler

Compiled 3451 to 1870 computations (45.8% saved)

series223.0ms (6.5%)

Error

Counts

4 → 70

Calls

4 calls:

53.0ms	(+.f64 x (/.f64 1 (/.f64 (-.f64 (.f64 (exp.f64 z) 5081767996463981/4503599627370496) (.f64 y x)) y)))
50.0ms	(/.f64 1 (/.f64 (-.f64 (.f64 (exp.f64 z) 5081767996463981/4503599627370496) (.f64 y x)) y))
46.0ms	(/.f64 (-.f64 (.f64 (exp.f64 z) 5081767996463981/4503599627370496) (.f64 y x)) y)
34.0ms	(-.f64 (.f64 (exp.f64 z) 5081767996463981/4503599627370496) (.f64 y x))

Compiler

Compiled 2374 to 1854 computations (21.9% saved)

simplify154.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

754×	`associate-/l*_binary64`
462×	`associate-/r/_binary64`
366×	`associate-/l/_binary64`
204×	`cancel-sign-sub-inv_binary64`
174×	`distribute-rgt-in_binary64`
152×	`distribute-lft-in_binary64`
133×	`sub-neg_binary64`
112×	`*-commutative_binary64`
110×	`distribute-rgt-neg-in_binary64`
98×	`associate-r_binary64`
90×	`+-commutative_binary64`
89×	`associate-*l/_binary64`
86×	`distribute-lft-neg-in_binary64`
81×	`associate-l_binary64`
80×	`times-frac_binary64`
73×	`associate-*r/_binary64`
68×	`associate-/r*_binary64`
67×	`distribute-neg-frac_binary64`
63×	`div-sub_binary64`
60×	`distribute-rgt-out_binary64`
53×	`sqr-pow_binary64`
51×	`associate--l+_binary64` `associate-+l+_binary64`
49×	`unswap-sqr_binary64`
45×	`associate-+r+_binary64`
42×	`neg-mul-1_binary64`
40×	`neg-sub0_binary64`
36×	`exp-prod_binary64` `*-rgt-identity_binary64`
30×	`distribute-neg-in_binary64` `associate--r+_binary64`
26×	`/-rgt-identity_binary64`
22×	`unsub-neg_binary64` `distribute-lft-out_binary64`
21×	`cube-prod_binary64` `distribute-lft-neg-out_binary64`
18×	`*-lft-identity_binary64`
16×	`distribute-rgt-out--_binary64`
14×	`cube-div_binary64`
11×	`unpow3_binary64`
10×	`swap-sqr_binary64`
9×	`log-div_binary64` `cube-mult_binary64` `associate-+r-_binary64`
8×	`distribute-rgt-neg-out_binary64`
7×	`log-prod_binary64`
6×	`+-rgt-identity_binary64`
5×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `exp-diff_binary64`
4×	`log-rec_binary64` `prod-exp_binary64` `exp-sum_binary64` `remove-double-div_binary64` `difference-of-squares_binary64` `associate--r-_binary64`
3×	`distribute-rgt1-in_binary64`
2×	`cube-unmult_binary64` `mul-1-neg_binary64` `sub0-neg_binary64` `+-lft-identity_binary64` `count-2_binary64`
1×	`log-pow_binary64` `div-exp_binary64` `rec-exp_binary64` `1-exp_binary64` `exp-1-e_binary64` `rem-sqrt-square_binary64` `remove-double-neg_binary64` `div0_binary64` `*-inverses_binary64` `pow-sqr_binary64` `distribute-lft-out--_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` `pow-plus_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` `exp-neg_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` `rem-square-sqrt_binary64` `--rgt-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_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--l-_binary64`

Counts

201 → 162

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	273	5103
1	708	4822
2	2316	4588
3	5140	4588

prune103.0ms (3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	161	1	162
Fresh	3	2	5
Picked	1	0	1
Done	0	0	0
Total	165	3	168

Error

Counts

168 → 3

Compiler

Compiled 2666 to 1427 computations (46.5% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (/.f64 y (+.f64 (-.f64 5081767996463981/4503599627370496 (.f64 y x)) (.f64 z 5081767996463981/4503599627370496))))
0.0b	(+.f64 (-.f64 5081767996463981/4503599627370496 (.f64 y x)) (.f64 z 5081767996463981/4503599627370496))
0.0b	(-.f64 5081767996463981/4503599627370496 (*.f64 y x))
10.6b	(/.f64 y (+.f64 (-.f64 5081767996463981/4503599627370496 (.f64 y x)) (.f64 z 5081767996463981/4503599627370496)))

rewrite93.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

14×	`*-un-lft-identity_binary64`
13×	`add-log-exp_binary64`
12×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
9×	`times-frac_binary64`
6×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`pow1_binary64`
3×	`flip3-+_binary64` `flip-+_binary64` `associate-/l_binary64` `associate-/r_binary64` `sum-log_binary64`
2×	`associate-/r/_binary64` `diff-log_binary64` `sub-neg_binary64` `cancel-sign-sub-inv_binary64` `associate-+l+_binary64` `+-commutative_binary64`
1×	`div-exp_binary64` `cbrt-undiv_binary64` `frac-2neg_binary64` `clear-num_binary64` `div-inv_binary64` `flip3--_binary64` `flip--_binary64` `associate-+l-_binary64` `distribute-lft-out_binary64`

Counts

4 → 68

Calls

4 calls:

10.0ms	(+.f64 x (/.f64 y (+.f64 (-.f64 5081767996463981/4503599627370496 (.f64 y x)) (.f64 z 5081767996463981/4503599627370496))))
6.0ms	(/.f64 y (+.f64 (-.f64 5081767996463981/4503599627370496 (.f64 y x)) (.f64 z 5081767996463981/4503599627370496)))
5.0ms	(+.f64 (-.f64 5081767996463981/4503599627370496 (.f64 y x)) (.f64 z 5081767996463981/4503599627370496))
3.0ms	(-.f64 5081767996463981/4503599627370496 (*.f64 y x))

Compiler

Compiled 1589 to 926 computations (41.7% saved)

series189.0ms (5.5%)

Error

Counts

4 → 68

Calls

4 calls:

59.0ms	(/.f64 y (+.f64 (-.f64 5081767996463981/4503599627370496 (.f64 y x)) (.f64 z 5081767996463981/4503599627370496)))
52.0ms	(+.f64 x (/.f64 y (+.f64 (-.f64 5081767996463981/4503599627370496 (.f64 y x)) (.f64 z 5081767996463981/4503599627370496))))
35.0ms	(+.f64 (-.f64 5081767996463981/4503599627370496 (.f64 y x)) (.f64 z 5081767996463981/4503599627370496))
18.0ms	(-.f64 5081767996463981/4503599627370496 (*.f64 y x))

Compiler

Compiled 2292 to 1831 computations (20.1% saved)

simplify130.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

425×	`associate-l_binary64`
393×	`times-frac_binary64`
361×	`associate-/l*_binary64`
251×	`distribute-rgt-in_binary64`
230×	`associate-/r*_binary64`
213×	`distribute-lft-in_binary64`
207×	`div-sub_binary64`
187×	`cancel-sign-sub-inv_binary64`
149×	`associate-*l/_binary64`
115×	`associate-*r/_binary64`
113×	`distribute-rgt-neg-in_binary64`
95×	`sub-neg_binary64`
93×	`distribute-lft-neg-in_binary64`
88×	`associate-/r/_binary64`
82×	`associate-/l/_binary64`
67×	`exp-prod_binary64`
59×	`+-commutative_binary64`
58×	`distribute-neg-frac_binary64`
54×	`*-commutative_binary64`
53×	`unswap-sqr_binary64` `associate-r_binary64`
48×	`sqr-pow_binary64`
47×	`neg-mul-1_binary64` `neg-sub0_binary64`
36×	`cube-prod_binary64`
30×	`exp-sum_binary64` `distribute-neg-in_binary64`
26×	`distribute-lft-neg-out_binary64`
21×	`distribute-rgt-out_binary64`
20×	`associate--l+_binary64`
17×	`associate--r+_binary64` `associate-+l+_binary64`
15×	`unsub-neg_binary64`
13×	`unpow3_binary64`
12×	`cube-unmult_binary64`
10×	`exp-diff_binary64` `cube-div_binary64` `*-rgt-identity_binary64`
9×	`distribute-rgt-out--_binary64`
8×	`log-prod_binary64` `associate-+r+_binary64`
7×	`log-div_binary64` `pow-plus_binary64` `cube-mult_binary64` `distribute-rgt-neg-out_binary64`
6×	`distribute-lft-out_binary64`
5×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `prod-exp_binary64` `rem-sqrt-square_binary64` `swap-sqr_binary64` `associate-+l-_binary64` `associate-+r-_binary64`
4×	`log-pow_binary64` `/-rgt-identity_binary64`
3×	`div-exp_binary64` `+-rgt-identity_binary64` `associate--r-_binary64`
2×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
1×	`1-exp_binary64` `cube-neg_binary64` `sqr-neg_binary64` `mul-1-neg_binary64` `*-lft-identity_binary64` `remove-double-neg_binary64` `pow-sqr_binary64` `cancel-sign-sub_binary64` `distribute-neg-out_binary64` `distribute-rgt1-in_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` `log-rec_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` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `rem-square-sqrt_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` `distribute-frac-neg_binary64` `distribute-lft1-in_binary64` `count-2_binary64`

Counts

136 → 106

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	184	2590
1	486	2510
2	1359	2498
3	4792	2498
4	5326	2498

prune61.0ms (1.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	106	3	109

Error

Counts

109 → 3

Compiler

Compiled 1421 to 820 computations (42.3% saved)

localize4.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series1.0ms (0%)

Error: 0b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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 1-exp_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 sqr-neg_binary64 rem-sqrt-square_binary64 rem-square-sqrt_binary64 times-frac_binary64 div-sub_binary64 neg-mul-1_binary64 neg-sub0_binary64 unsub-neg_binary64 sub-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 mul0-rgt_binary64 mul0-lft_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 swap-sqr_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-rgt1-in_binary64 distribute-lft1-in_binary64 distribute-rgt-out--_binary64 distribute-rgt-out_binary64 distribute-lft-out--_binary64 distribute-lft-out_binary64 distribute-rgt-in_binary64 distribute-lft-in_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 associate-*r*_binary64 associate--r-_binary64 associate--l-_binary64 associate--l+_binary64 associate--r+_binary64 associate-+l-_binary64 associate-+r-_binary64 associate-+l+_binary64 associate-+r+_binary64 *-commutative_binary64 +-commutative_binary64

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune1.0ms (0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

Counts

3 → 3

Compiler

Compiled 0 to 0 computations (0% saved)

regimes442.0ms (12.9%)

Accuracy

Total 0.4b remaining (93.9%)

Threshold costs 0.4b (93.9%)

Compiler

Compiled 5424 to 4361 computations (19.6% saved)

bsearch23.0ms (0.7%)

Steps

Iters	Range		Point
0	1.1283791670955126	1.1283791670955137	1.128379167095513
14	0.0	1.097573559024572	7.235366708299216e-68

Compiler

Compiled 4 to 6 computations (-50% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

7×	`+-commutative_binary64`
5×	`*-commutative_binary64`
4×	`sub-neg_binary64`
3×	`neg-mul-1_binary64` `neg-sub0_binary64`
2×	`cancel-sign-sub-inv_binary64` `distribute-rgt-neg-in_binary64`
1×	`1-exp_binary64` `distribute-lft-neg-out_binary64` `distribute-lft-neg-in_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_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-neg-in_binary64` `distribute-rgt-neg-out_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	56
1	38	56
2	46	56
3	51	56
4	54	56
5	55	56
6	54	56

end1.0ms (0%)

Compiler: Compiled 37 to 27 computations (27% saved)

sample737.0ms (21.4%)

Algorithm

1×

intervals

Results

330.0ms

8000×

body

128

valid

Compiler

Compiled 92 to 90 computations (2.2% saved)

Details

analyze365.0ms (10.6%)

sample20.0ms (0.6%)

simplify138.0ms (4%)

prune1.0ms (0%)

localize11.0ms (0.3%)

rewrite94.0ms (2.7%)

series167.0ms (4.9%)

simplify118.0ms (3.4%)

prune83.0ms (2.4%)

localize12.0ms (0.4%)

rewrite240.0ms (7%)

series223.0ms (6.5%)

simplify154.0ms (4.5%)

prune103.0ms (3%)

localize9.0ms (0.3%)

rewrite93.0ms (2.7%)

series189.0ms (5.5%)

simplify130.0ms (3.8%)

prune61.0ms (1.8%)

localize4.0ms (0.1%)

rewrite0.0ms (0%)

series1.0ms (0%)

simplify10.0ms (0.3%)

prune1.0ms (0%)

regimes442.0ms (12.9%)

bsearch23.0ms (0.7%)

simplify6.0ms (0.2%)

end1.0ms (0%)

sample737.0ms (21.4%)

Profiling