Details

analyze182.0ms (8%)

Algorithm

1×	search
2×	egg-herbie

Rules

1487×	`div-sub_binary64`
708×	`unsub-neg_binary64`
664×	`sub-neg_binary64`
621×	`times-frac_binary64`
503×	`distribute-rgt-in_binary64`
470×	`distribute-lft-in_binary64`
337×	`associate-/l*_binary64`
239×	`cancel-sign-sub-inv_binary64`
146×	`associate-/l/_binary64`
144×	`neg-mul-1_binary64`
114×	`distribute-neg-in_binary64`
113×	`associate-/r*_binary64`
111×	`distribute-rgt-neg-in_binary64`
107×	`distribute-neg-frac_binary64`
105×	`distribute-lft-neg-in_binary64`
102×	`distribute-frac-neg_binary64`
93×	`*-commutative_binary64`
91×	`neg-sub0_binary64` `distribute-lft-neg-out_binary64`
83×	`associate--r-_binary64` `associate--r+_binary64`
72×	`associate--l-_binary64`
67×	`distribute-rgt-neg-out_binary64`
40×	`associate-/r/_binary64`
38×	`+-commutative_binary64`
30×	`remove-double-neg_binary64`
27×	`/-rgt-identity_binary64` `mul0-rgt_binary64`
26×	`div0_binary64` `associate-*l/_binary64`
25×	`mul0-lft_binary64`
23×	`*-lft-identity_binary64`
20×	`associate-r_binary64` `associate-+l-_binary64`
19×	`remove-double-div_binary64`
16×	`sub0-neg_binary64` `--rgt-identity_binary64`
15×	`lft-mult-inverse_binary64`
12×	`associate-l_binary64`
10×	`*-rgt-identity_binary64` `associate-+r-_binary64` `associate-+r+_binary64`
8×	`distribute-rgt-out--_binary64`
7×	`+-rgt-identity_binary64`
6×	`cancel-sign-sub_binary64`
4×	`distribute-neg-out_binary64` `associate-+l+_binary64`
3×	`+-lft-identity_binary64` `*-inverses_binary64` `rgt-mult-inverse_binary64`
2×	`mul-1-neg_binary64` `associate--l+_binary64`
1×	`1-exp_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` `sqr-neg_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `+-inverses_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` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out_binary64` `distribute-lft-out--_binary64` `distribute-lft-out_binary64` `count-2_binary64` `associate-*r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	40
1	35	40
2	57	40
3	94	40
4	179	40
5	331	40
6	748	40
7	1370	40
8	2251	40
9	1733	40
10	1837	40
11	1973	40
12	2067	40
13	1847	40
14	2343	40
15	1871	40
16	1871	40
17	2123	40
18	1883	40
19	1883	40
20	1883	40
21	1723	40
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample28.0ms (1.2%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
5.0ms	256×	pre	128	true

Compiler

Compiled 21 to 20 computations (4.8% saved)

simplify77.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

530×	`div-sub_binary64`
326×	`times-frac_binary64`
174×	`associate-/l/_binary64`
166×	`sub-neg_binary64`
160×	`associate-/l*_binary64`
123×	`associate-/r*_binary64`
121×	`associate-/r/_binary64`
106×	`distribute-rgt-in_binary64`
103×	`distribute-lft-in_binary64`
92×	`cancel-sign-sub-inv_binary64`
76×	`unsub-neg_binary64`
61×	`distribute-neg-frac_binary64`
41×	`distribute-frac-neg_binary64`
40×	`neg-mul-1_binary64`
34×	`associate-*l/_binary64`
29×	`associate--r+_binary64`
27×	`neg-sub0_binary64` `associate--r-_binary64` `associate--l-_binary64`
24×	`*-commutative_binary64`
23×	`distribute-rgt-neg-in_binary64` `associate-*r/_binary64`
22×	`associate-r_binary64`
21×	`+-commutative_binary64`
20×	`mul0-rgt_binary64` `div0_binary64` `distribute-lft-neg-out_binary64`
19×	`distribute-rgt-neg-out_binary64`
18×	`distribute-lft-neg-in_binary64`
17×	`distribute-neg-in_binary64`
15×	`*-lft-identity_binary64` `mul0-lft_binary64`
12×	`associate-l_binary64`
11×	`sub0-neg_binary64` `associate-+l-_binary64`
9×	`associate-+l+_binary64`
8×	`+-lft-identity_binary64` `associate-+r-_binary64`
6×	`*-rgt-identity_binary64` `associate-+r+_binary64`
5×	`+-rgt-identity_binary64`
4×	`/-rgt-identity_binary64` `lft-mult-inverse_binary64`
3×	`remove-double-neg_binary64` `distribute-neg-out_binary64` `distribute-lft-out_binary64`
2×	`mul-1-neg_binary64` `*-inverses_binary64` `associate--l+_binary64`
1×	`1-exp_binary64` `--rgt-identity_binary64` `distribute-rgt-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` `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` `sqr-neg_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `+-inverses_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_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out_binary64` `distribute-lft-out--_binary64` `count-2_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	13	10
2	21	10
3	35	10
4	59	10
5	105	10
6	198	10
7	371	10
8	664	10
9	998	10
10	1100	10
11	1117	10
12	1088	10
13	1095	10
14	1097	10
15	1105	10
16	1105	10
17	1003	10

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

62.0b

Counts

1 → 1

Compiler

Compiled 7 to 6 computations (14.3% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

62.0b

(/.f64 (-.f64 x lo) (-.f64 hi lo))

rewrite32.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

62.0b

Rules

37×	`add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
25×	`times-frac_binary64`
13×	`add-cube-cbrt_binary64`
12×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
5×	`associate-/l_binary64` `associate-/r_binary64`
3×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
2×	`flip3--_binary64` `associate-/l/_binary64` `flip--_binary64` `associate-/r/_binary64`
1×	`pow1_binary64` `div-exp_binary64` `add-log-exp_binary64` `cbrt-undiv_binary64` `frac-2neg_binary64` `div-sub_binary64` `clear-num_binary64` `div-inv_binary64`

Counts

1 → 52

Calls

1 calls:

8.0ms

(/.f64 (-.f64 x lo) (-.f64 hi lo))

Compiler

Compiled 680 to 156 computations (77.1% saved)

series33.0ms (1.4%)

Error

51.8b

Counts

1 → 10

Calls

1 calls:

23.0ms

(/.f64 (-.f64 x lo) (-.f64 hi lo))

Compiler

Compiled 244 to 187 computations (23.4% saved)

simplify82.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

661×	`unsub-neg_binary64`
431×	`times-frac_binary64`
413×	`associate-/l*_binary64`
381×	`distribute-rgt-in_binary64`
358×	`distribute-lft-in_binary64`
266×	`div-sub_binary64`
244×	`associate-/r*_binary64`
219×	`neg-sub0_binary64`
204×	`associate-*l/_binary64`
199×	`neg-mul-1_binary64`
174×	`associate-/l/_binary64`
107×	`sub-neg_binary64`
106×	`associate-/r/_binary64`
100×	`associate-*r/_binary64`
83×	`distribute-rgt-neg-out_binary64`
77×	`distribute-lft-neg-out_binary64`
69×	`associate-l_binary64`
68×	`*-commutative_binary64`
59×	`associate-r_binary64`
50×	`cancel-sign-sub-inv_binary64`
41×	`distribute-frac-neg_binary64` `+-commutative_binary64`
28×	`distribute-neg-frac_binary64`
24×	`distribute-rgt-out_binary64`
22×	`distribute-lft-neg-in_binary64`
20×	`sqr-pow_binary64` `unswap-sqr_binary64`
19×	`*-rgt-identity_binary64`
18×	`cube-prod_binary64` `associate-+r+_binary64`
17×	`distribute-rgt-neg-in_binary64`
15×	`associate-+l+_binary64`
14×	`associate-+r-_binary64`
12×	`exp-prod_binary64` `+-rgt-identity_binary64`
10×	`cube-unmult_binary64` `mul-1-neg_binary64` `distribute-neg-in_binary64` `associate-+l-_binary64`
9×	`distribute-lft-out_binary64`
8×	`cube-div_binary64` `sub0-neg_binary64` `distribute-neg-out_binary64`
7×	`unpow3_binary64` `exp-diff_binary64` `/-rgt-identity_binary64`
6×	`sqr-neg_binary64` `difference-of-squares_binary64`
5×	`associate--r-_binary64` `associate--r+_binary64`
4×	`exp-sum_binary64` `*-lft-identity_binary64`
3×	`log-div_binary64` `log-prod_binary64` `pow-plus_binary64` `cube-neg_binary64` `div0_binary64` `swap-sqr_binary64`
2×	`cube-mult_binary64` `--rgt-identity_binary64` `distribute-rgt-out--_binary64` `associate--l-_binary64` `associate--l+_binary64`
1×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `1-exp_binary64` `rem-sqrt-square_binary64` `remove-double-neg_binary64` `*-inverses_binary64` `pow-sqr_binary64` `distribute-rgt1-in_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` `log-pow_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` `div-exp_binary64` `rec-exp_binary64` `prod-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` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_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-lft1-in_binary64` `distribute-lft-out--_binary64`

Counts

62 → 24

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	1103
1	262	1061
2	600	1055
3	1461	1055
4	4204	1055
5	5114	1055

prune12.0ms (0.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

51.9b

Counts

25 → 2

Compiler

Compiled 236 to 84 computations (64.4% saved)

localize3.0ms (0.1%)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

51.9b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

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

simplify8.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.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

51.9b

Counts

2 → 2

Compiler

Compiled 13 to 9 computations (30.8% saved)

localize8.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 x lo) hi)
0.0b	(+.f64 (/.f64 (.f64 lo x) (.f64 hi hi)) (/.f64 (-.f64 x lo) hi))
28.5b	(/.f64 (.f64 lo x) (.f64 hi hi))

rewrite73.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

51.8b

Rules

23×	`*-un-lft-identity_binary64`
21×	`add-sqr-sqrt_binary64`
17×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
16×	`times-frac_binary64`
13×	`add-cube-cbrt_binary64`
6×	`associate-/l*_binary64`
5×	`div-exp_binary64` `add-log-exp_binary64` `cbrt-undiv_binary64`
4×	`prod-exp_binary64` `cbrt-unprod_binary64` `associate-/r*_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64`
3×	`pow1_binary64`
2×	`frac-2neg_binary64` `clear-num_binary64` `div-inv_binary64` `div-sub_binary64` `associate-/l/_binary64`
1×	`sum-log_binary64` `frac-add_binary64` `flip3-+_binary64` `flip-+_binary64` `distribute-lft-out_binary64` `associate-+r-_binary64` `+-commutative_binary64` `flip3--_binary64` `flip--_binary64`

Counts

3 → 73

Calls

3 calls:

14.0ms	(+.f64 (/.f64 (.f64 lo x) (.f64 hi hi)) (/.f64 (-.f64 x lo) hi))
5.0ms	(/.f64 (.f64 lo x) (.f64 hi hi))
5.0ms	(/.f64 (-.f64 x lo) hi)

Compiler

Compiled 1447 to 276 computations (80.9% saved)

series112.0ms (4.9%)

Error

51.8b

Counts

3 → 34

Calls

3 calls:

44.0ms	(+.f64 (/.f64 (.f64 lo x) (.f64 hi hi)) (/.f64 (-.f64 x lo) hi))
35.0ms	(/.f64 (.f64 lo x) (.f64 hi hi))
24.0ms	(/.f64 (-.f64 x lo) hi)

Compiler

Compiled 948 to 658 computations (30.6% saved)

simplify65.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

837×	`associate-/l*_binary64`
590×	`associate-*l/_binary64`
381×	`associate-/r*_binary64`
351×	`distribute-rgt-in_binary64`
319×	`distribute-lft-in_binary64`
224×	`associate-/l/_binary64`
174×	`associate-/r/_binary64`
146×	`times-frac_binary64`
60×	`sub-neg_binary64`
58×	`associate-l_binary64`
55×	`cancel-sign-sub-inv_binary64`
51×	`distribute-neg-frac_binary64`
50×	`*-commutative_binary64`
46×	`associate-*r/_binary64`
38×	`associate-r_binary64`
35×	`div-sub_binary64`
33×	`neg-sub0_binary64` `distribute-lft-neg-out_binary64`
31×	`distribute-rgt-neg-in_binary64`
29×	`neg-mul-1_binary64`
28×	`distribute-lft-neg-in_binary64` `+-commutative_binary64`
27×	`sqr-pow_binary64`
26×	`distribute-rgt-neg-out_binary64`
25×	`distribute-neg-in_binary64`
22×	`cube-div_binary64`
20×	`log-div_binary64`
14×	`unswap-sqr_binary64`
11×	`unpow3_binary64` `distribute-rgt-out_binary64`
10×	`log-prod_binary64`
9×	`exp-sum_binary64`
8×	`distribute-lft-out_binary64`
7×	`exp-prod_binary64` `cube-mult_binary64` `cube-prod_binary64` `/-rgt-identity_binary64` `swap-sqr_binary64` `associate--l+_binary64`
6×	`associate-+l+_binary64`
5×	`mul-1-neg_binary64` `distribute-rgt-out--_binary64`
4×	`exp-diff_binary64` `unsub-neg_binary64` `*-rgt-identity_binary64` `remove-double-neg_binary64` `associate--r+_binary64`
3×	`cube-unmult_binary64` `distribute-lft-out--_binary64`
2×	`pow-sqr_binary64` `distribute-rgt1-in_binary64` `associate--r-_binary64` `associate-+l-_binary64` `associate-+r+_binary64`
1×	`log-pow_binary64` `unpow2_binary64` `unpow1/2_binary64` `pow-plus_binary64` `unpow1_binary64` `prod-exp_binary64` `1-exp_binary64` `rem-sqrt-square_binary64` `*-lft-identity_binary64` `difference-of-squares_binary64` `count-2_binary64` `associate--l-_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-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` `div-exp_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-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-square-sqrt_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` `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`

Counts

107 → 66

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	152	1545
1	396	1483
2	1335	1480
3	5264	1480

prune29.0ms (1.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	58	8	66
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	59	9	68

Error

51.8b

Counts

68 → 9

Compiler

Compiled 865 to 250 computations (71.1% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b	(*.f64 (/.f64 lo hi) (+.f64 (/.f64 x hi) -1))

rewrite50.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

51.8b

Rules

17×	`add-sqr-sqrt_binary64`
13×	`associate-l_binary64`
11×	`*-un-lft-identity_binary64` `times-frac_binary64`
9×	`add-cube-cbrt_binary64`
6×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-r_binary64`
3×	`pow1_binary64`
2×	`prod-exp_binary64` `cbrt-unprod_binary64` `flip3-+_binary64` `frac-times_binary64` `flip-+_binary64` `unswap-sqr_binary64` `associate-*r/_binary64` `difference-of-sqr--1_binary64`
1×	`pow-prod-down_binary64` `div-exp_binary64` `add-log-exp_binary64` `cbrt-undiv_binary64` `distribute-rgt-in_binary64` `distribute-lft-in_binary64` `associate-l/_binary64` `div-inv_binary64` `distribute-lft-out_binary64` `-commutative_binary64`

Counts

1 → 41

Calls

1 calls:

14.0ms

(*.f64 (/.f64 lo hi) (+.f64 (/.f64 x hi) -1))

Compiler

Compiled 701 to 304 computations (56.6% saved)

series40.0ms (1.8%)

Error

51.8b

Counts

1 → 12

Calls

1 calls:

38.0ms

(*.f64 (/.f64 lo hi) (+.f64 (/.f64 x hi) -1))

Compiler

Compiled 221 to 187 computations (15.4% saved)

simplify67.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

438×	`associate-*l/_binary64`
431×	`associate-l_binary64`
376×	`associate-*r/_binary64`
350×	`distribute-rgt-in_binary64` `associate-r_binary64`
322×	`distribute-lft-in_binary64`
303×	`associate-/l*_binary64`
283×	`distribute-rgt-neg-out_binary64`
227×	`times-frac_binary64`
176×	`div-sub_binary64`
149×	`*-commutative_binary64`
146×	`associate-/r*_binary64`
105×	`cancel-sign-sub-inv_binary64`
70×	`unsub-neg_binary64`
68×	`distribute-neg-frac_binary64`
64×	`sub-neg_binary64` `distribute-frac-neg_binary64`
57×	`exp-prod_binary64`
50×	`sqr-pow_binary64`
43×	`*-rgt-identity_binary64`
42×	`unswap-sqr_binary64`
41×	`neg-sub0_binary64`
40×	`*-lft-identity_binary64` `distribute-neg-in_binary64`
38×	`mul-1-neg_binary64`
36×	`swap-sqr_binary64`
35×	`associate-/r/_binary64`
32×	`cube-prod_binary64`
30×	`log-prod_binary64`
21×	`cube-div_binary64`
20×	`associate-/l/_binary64`
19×	`log-div_binary64`
18×	`+-commutative_binary64`
15×	`/-rgt-identity_binary64` `associate-+l+_binary64`
13×	`neg-mul-1_binary64` `distribute-lft-neg-out_binary64` `associate-+r+_binary64`
11×	`associate-+l-_binary64`
9×	`exp-diff_binary64` `cancel-sign-sub_binary64` `associate-+r-_binary64`
8×	`exp-sum_binary64`
7×	`unpow3_binary64` `distribute-neg-out_binary64`
6×	`cube-unmult_binary64` `sqr-neg_binary64` `+-rgt-identity_binary64` `distribute-lft-neg-in_binary64`
5×	`cube-mult_binary64` `sub0-neg_binary64` `pow-sqr_binary64` `distribute-rgt-neg-in_binary64`
4×	`exp-neg_binary64`
3×	`log-rec_binary64` `cube-neg_binary64` `difference-of-sqr-1_binary64` `distribute-rgt-out_binary64`
2×	`log-pow_binary64` `unpow1/2_binary64` `difference-of-sqr--1_binary64` `distribute-rgt1-in_binary64` `distribute-rgt-out--_binary64`
1×	`unpow2_binary64` `pow-plus_binary64` `unpow1_binary64` `1-exp_binary64` `exp-1-e_binary64` `rem-sqrt-square_binary64` `remove-double-neg_binary64` `--rgt-identity_binary64` `div0_binary64` `*-inverses_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate--l+_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` `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` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `e-exp-1_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` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-squares_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64` `distribute-lft-out_binary64` `count-2_binary64`

Counts

53 → 47

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	896
1	359	811
2	1000	806
3	3524	806
4	4957	806

prune27.0ms (1.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	37	10	47
Fresh	7	0	7
Picked	1	0	1
Done	0	1	1
Total	45	11	56

Error

51.8b

Counts

56 → 11

Compiler

Compiled 568 to 247 computations (56.5% saved)

regimes433.0ms (18.9%)

Accuracy

Total 0.2b remaining (0.3%)

Threshold costs 0.2b (0.3%)

Compiler

Compiled 6561 to 4012 computations (38.9% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`1-exp_binary64` `*-rgt-identity_binary64` `+-commutative_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` `neg-mul-1_binary64` `neg-sub0_binary64` `unsub-neg_binary64` `sub-neg_binary64` `mul-1-neg_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	11	13
1	16	13
2	15	13

end1.0ms (0%)

Compiler: Compiled 9 to 8 computations (11.1% saved)

sample906.0ms (39.6%)

Algorithm

1×

intervals

Results

193.0ms	8000×	body	128	valid
149.0ms	8000×	pre	128	true

Compiler

Compiled 196 to 157 computations (19.9% saved)

Details

analyze182.0ms (8%)

sample28.0ms (1.2%)

simplify77.0ms (3.4%)

prune1.0ms (0.1%)

localize5.0ms (0.2%)

rewrite32.0ms (1.4%)

series33.0ms (1.4%)

simplify82.0ms (3.6%)

prune12.0ms (0.5%)

localize3.0ms (0.1%)

rewrite1.0ms (0%)

series0.0ms (0%)

simplify8.0ms (0.3%)

prune1.0ms (0.1%)

localize8.0ms (0.4%)

rewrite73.0ms (3.2%)

series112.0ms (4.9%)

simplify65.0ms (2.8%)

prune29.0ms (1.3%)

localize6.0ms (0.3%)

rewrite50.0ms (2.2%)

series40.0ms (1.8%)

simplify67.0ms (2.9%)

prune27.0ms (1.2%)

regimes433.0ms (18.9%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample906.0ms (39.6%)

Profiling