Details

analyze323.0ms (6%)

Algorithm

1×	search
2×	egg-herbie

Rules

1106×	`div-sub_binary64`
857×	`sub-neg_binary64`
697×	`associate-/r*_binary64`
626×	`distribute-rgt-in_binary64`
464×	`neg-mul-1_binary64`
413×	`neg-sub0_binary64`
403×	`distribute-frac-neg_binary64`
398×	`unsub-neg_binary64`
376×	`times-frac_binary64`
317×	`distribute-rgt-neg-in_binary64`
289×	`distribute-lft-neg-in_binary64`
274×	`*-commutative_binary64`
252×	`associate-/l*_binary64`
251×	`cancel-sign-sub-inv_binary64`
223×	`associate-/r/_binary64`
220×	`associate-*l/_binary64`
199×	`distribute-neg-frac_binary64`
198×	`distribute-lft-neg-out_binary64`
188×	`distribute-rgt-neg-out_binary64`
186×	`+-commutative_binary64`
183×	`associate-/l/_binary64`
179×	`associate-+l-_binary64`
177×	`distribute-neg-in_binary64`
174×	`cancel-sign-sub_binary64`
171×	`associate--l-_binary64`
165×	`associate--r-_binary64`
118×	`associate--r+_binary64`
88×	`associate-+l+_binary64`
82×	`distribute-lft-in_binary64`
80×	`distribute-neg-out_binary64`
79×	`associate--l+_binary64`
72×	`associate-+r-_binary64`
68×	`associate-r_binary64`
61×	`associate-l_binary64`
58×	`associate-+r+_binary64`
48×	`sub0-neg_binary64`
46×	`--rgt-identity_binary64`
44×	`/-rgt-identity_binary64` `remove-double-neg_binary64`
39×	`*-lft-identity_binary64`
36×	`distribute-rgt-out--_binary64`
30×	`mul0-lft_binary64`
26×	`+-rgt-identity_binary64` `div0_binary64` `distribute-lft-out--_binary64`
20×	`+-lft-identity_binary64`
19×	`associate-*r/_binary64`
14×	`distribute-rgt1-in_binary64`
12×	`*-rgt-identity_binary64`
8×	`remove-double-div_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out_binary64`
5×	`mul0-rgt_binary64`
4×	`mul-1-neg_binary64` `*-inverses_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` `lft-mult-inverse_binary64` `rgt-mult-inverse_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-lft-out_binary64` `count-2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	38
1	33	38
2	56	38
3	99	38
4	171	38
5	310	38
6	619	38
7	1191	38
8	2566	38
9	3278	38
10	3409	38
11	3557	38
12	3617	38
13	3621	38
14	3646	38
15	3790	38
16	3881	38
17	3991	38
18	4027	38
19	4045	38
20	4045	38
21	4661	38
22	4747	38
23	4733	38
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	56.2%	43.8%	0
0%	56.2%	43.8%	1
28.1%	28.1%	43.8%	2
56.2%	0%	43.8%	3

Compiler

Compiled 20 to 16 computations (20% saved)

sample31.0ms (0.6%)

Algorithm

1×

intervals

Results

11.0ms	208×	body	128	valid
4.0ms	256×	pre	128	true
3.0ms	25×	body	1024	valid
1.0ms	12×	body	256	valid
1.0ms	8×	body	512	valid
0.0ms	3×	body	2048	valid

Compiler

Compiled 33 to 29 computations (12.1% saved)

simplify254.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

1179×	`div-sub_binary64`
672×	`sub-neg_binary64`
434×	`cancel-sign-sub-inv_binary64`
422×	`associate-/l*_binary64`
385×	`distribute-rgt-neg-in_binary64`
383×	`neg-mul-1_binary64`
347×	`distribute-rgt-in_binary64`
342×	`*-commutative_binary64`
339×	`neg-sub0_binary64`
326×	`distribute-lft-neg-in_binary64`
323×	`distribute-frac-neg_binary64`
321×	`unsub-neg_binary64`
282×	`distribute-neg-frac_binary64`
259×	`associate--r+_binary64`
251×	`distribute-lft-in_binary64`
241×	`associate-/r/_binary64`
240×	`distribute-neg-in_binary64`
210×	`distribute-rgt-neg-out_binary64`
191×	`distribute-lft-neg-out_binary64`
164×	`associate--l+_binary64`
147×	`associate--r-_binary64`
146×	`+-commutative_binary64`
141×	`times-frac_binary64`
115×	`associate-/r*_binary64`
110×	`associate--l-_binary64`
109×	`associate-/l/_binary64`
105×	`associate-+l-_binary64`
99×	`distribute-neg-out_binary64`
82×	`associate-*l/_binary64`
73×	`remove-double-neg_binary64`
49×	`associate-*r/_binary64`
45×	`associate-r_binary64` `associate-+r-_binary64`
35×	`sub0-neg_binary64` `cancel-sign-sub_binary64`
34×	`--rgt-identity_binary64`
30×	`/-rgt-identity_binary64`
29×	`associate-l_binary64`
28×	`*-lft-identity_binary64` `associate-+l+_binary64`
22×	`associate-+r+_binary64`
21×	`distribute-rgt-out_binary64`
20×	`*-rgt-identity_binary64`
18×	`remove-double-div_binary64`
17×	`distribute-rgt1-in_binary64`
15×	`distribute-rgt-out--_binary64`
14×	`+-rgt-identity_binary64` `+-lft-identity_binary64`
12×	`div0_binary64`
11×	`distribute-lft-out--_binary64`
10×	`mul0-rgt_binary64`
9×	`mul-1-neg_binary64`
7×	`mul0-lft_binary64`
6×	`distribute-lft-out_binary64`
3×	`*-inverses_binary64` `distribute-lft1-in_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` `lft-mult-inverse_binary64` `rgt-mult-inverse_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` `count-2_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	19
1	23	19
2	39	19
3	63	19
4	104	19
5	204	19
6	320	19
7	513	19
8	943	19
9	2087	19
10	2930	19
11	3705	19
12	3906	19
13	4077	19
14	4165	19
15	4198	19
16	4200	19
17	4320	19
18	4594	19
19	4698	19
20	4698	19
21	5018	19

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

12.1b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))
1.9b	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)

rewrite109.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

11.5b

Rules

58×	`*-un-lft-identity_binary64`
26×	`add-sqr-sqrt_binary64`
25×	`times-frac_binary64`
19×	`distribute-lft-out_binary64`
14×	`add-cube-cbrt_binary64`
6×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
5×	`associate-/l_binary64` `associate-/r_binary64`
4×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
2×	`pow1_binary64` `flip3-+_binary64` `flip-+_binary64` `div-sub_binary64` `associate-/l/_binary64` `associate-/r/_binary64`
1×	`sum-log_binary64` `associate-+l-_binary64` `+-commutative_binary64` `div-exp_binary64` `cbrt-undiv_binary64` `frac-2neg_binary64` `clear-num_binary64` `div-inv_binary64` `flip3--_binary64` `flip--_binary64`

Counts

2 → 65

Calls

2 calls:

18.0ms	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)
10.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 1147 to 611 computations (46.7% saved)

series183.0ms (3.4%)

Error

0.0b

Counts

2 → 48

Calls

2 calls:

78.0ms	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)
55.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 3320 to 2676 computations (19.4% saved)

simplify109.0ms (2%)

Algorithm

1×	egg-herbie

Rules

660×	`times-frac_binary64`
474×	`cancel-sign-sub-inv_binary64`
421×	`sub-neg_binary64`
194×	`+-commutative_binary64`
179×	`associate-+r+_binary64`
172×	`associate-+l+_binary64`
161×	`distribute-neg-in_binary64`
157×	`associate--r+_binary64`
149×	`associate--l+_binary64`
107×	`associate-/r*_binary64`
96×	`associate-/l*_binary64`
89×	`distribute-rgt-in_binary64`
79×	`distribute-lft-in_binary64`
73×	`*-commutative_binary64`
64×	`neg-sub0_binary64`
63×	`neg-mul-1_binary64` `distribute-neg-frac_binary64`
55×	`unsub-neg_binary64` `unswap-sqr_binary64`
41×	`sqr-pow_binary64`
37×	`associate-*r/_binary64`
36×	`div-sub_binary64`
35×	`associate-r_binary64`
33×	`associate-*l/_binary64`
25×	`associate-l_binary64`
20×	`associate-/l/_binary64`
13×	`associate-/r/_binary64`
11×	`*-rgt-identity_binary64`
10×	`cube-prod_binary64`
8×	`cube-div_binary64` `/-rgt-identity_binary64`
7×	`unpow3_binary64`
6×	`log-prod_binary64`
5×	`log-div_binary64` `unpow2_binary64` `cube-unmult_binary64` `cube-mult_binary64` `distribute-rgt-out_binary64`
4×	`unpow1/2_binary64` `unpow1_binary64` `swap-sqr_binary64`
3×	`exp-prod_binary64` `exp-diff_binary64` `*-lft-identity_binary64` `distribute-rgt-neg-in_binary64` `distribute-rgt1-in_binary64` `associate--r-_binary64` `associate-+l-_binary64`
2×	`pow-plus_binary64` `rem-sqrt-square_binary64` `mul-1-neg_binary64` `distribute-lft-out_binary64` `associate-+r-_binary64`
1×	`prod-exp_binary64` `exp-sum_binary64` `1-exp_binary64` `exp-1-e_binary64` `remove-double-neg_binary64` `pow-sqr_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `distribute-lft-neg-in_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` `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` `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` `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` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft-neg-out_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out--_binary64` `count-2_binary64`

Counts

113 → 99

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	297	4005
1	849	3892
2	2923	3850
3	5023	3850

prune82.0ms (1.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	95	4	99
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	96	4	100

Error

0.0b

Counts

100 → 4

Compiler

Compiled 2286 to 1404 computations (38.6% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))
0.0b	(/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))
1.9b	(+.f64 (log.f64 (exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))) 1)
4.9b	(log.f64 (exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))))

rewrite192.0ms (3.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

155×	`*-un-lft-identity_binary64`
75×	`times-frac_binary64`
72×	`add-sqr-sqrt_binary64`
62×	`exp-prod_binary64`
50×	`distribute-lft-out_binary64`
40×	`add-cube-cbrt_binary64`
33×	`log-pow_binary64`
16×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
6×	`pow1_binary64` `associate-/r/_binary64` `log-prod_binary64` `add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`associate-/l_binary64` `associate-/r_binary64`
4×	`flip3-+_binary64` `flip-+_binary64` `div-sub_binary64`
3×	`div-inv_binary64` `exp-diff_binary64` `associate-+l+_binary64`
2×	`log-div_binary64` `associate-/l/_binary64`
1×	`rem-log-exp_binary64` `sum-log_binary64` `associate-+l-_binary64` `+-commutative_binary64` `div-exp_binary64` `cbrt-undiv_binary64` `frac-2neg_binary64` `clear-num_binary64` `flip3--_binary64` `flip--_binary64` `rem-exp-log_binary64`

Counts

4 → 153

Calls

4 calls:

25.0ms	(+.f64 (log.f64 (exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))) 1)
13.0ms	(log.f64 (exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))))
12.0ms	(exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))
10.0ms	(/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))

Compiler

Compiled 2877 to 1818 computations (36.8% saved)

series412.0ms (7.7%)

Error

0.0b

Counts

4 → 96

Calls

4 calls:

92.0ms	(exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))
85.0ms	(+.f64 (log.f64 (exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))) 1)
81.0ms	(log.f64 (exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))))
59.0ms	(/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))

Compiler

Compiled 7271 to 5887 computations (19% saved)

simplify199.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

345×	`times-frac_binary64`
280×	`associate-/l*_binary64`
263×	`associate-/r*_binary64`
262×	`associate--l+_binary64`
211×	`associate--r+_binary64`
188×	`associate-r_binary64`
154×	`sub-neg_binary64`
146×	`+-commutative_binary64`
110×	`distribute-rgt-in_binary64` `associate-*r/_binary64`
109×	`associate-*l/_binary64`
108×	`associate-l_binary64`
106×	`distribute-lft-in_binary64`
97×	`*-commutative_binary64`
91×	`associate-+r+_binary64`
79×	`cancel-sign-sub-inv_binary64`
60×	`distribute-neg-in_binary64`
40×	`associate-/r/_binary64`
28×	`neg-sub0_binary64`
27×	`neg-mul-1_binary64`
26×	`sqr-pow_binary64`
24×	`rem-log-exp_binary64`
21×	`associate-/l/_binary64`
18×	`div-sub_binary64`
12×	`distribute-rgt-out_binary64`
10×	`log-prod_binary64`
9×	`log-div_binary64` `distribute-rgt-neg-in_binary64` `distribute-lft-out_binary64`
7×	`unswap-sqr_binary64`
6×	`unpow3_binary64` `exp-prod_binary64` `cube-mult_binary64` `/-rgt-identity_binary64` `swap-sqr_binary64` `distribute-lft-neg-in_binary64`
5×	`unpow2_binary64` `exp-diff_binary64` `associate--l-_binary64`
4×	`log-pow_binary64` `unpow1_binary64` `prod-exp_binary64` `exp-sum_binary64` `cube-unmult_binary64` `unsub-neg_binary64` `*-rgt-identity_binary64` `+-rgt-identity_binary64` `distribute-neg-frac_binary64` `distribute-rgt1-in_binary64`
3×	`associate--r-_binary64`
2×	`cube-prod_binary64` `*-lft-identity_binary64` `pow-sqr_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64`
1×	`log-rec_binary64` `pow-plus_binary64` `exp-to-pow_binary64` `exp-neg_binary64` `e-exp-1_binary64` `1-exp_binary64` `rem-exp-log_binary64` `cube-div_binary64` `mul-1-neg_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `distribute-lft-neg-out_binary64` `count-2_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` `unpow1/2_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-1-e_binary64` `exp-0_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` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-sqr--1_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-rgt-out--_binary64` `associate-+l-_binary64` `associate-+l+_binary64`

Counts

249 → 180

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	540	8144
1	1486	7921
2	4976	7921
3	4966	7921

prune130.0ms (2.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	179	1	180
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	180	4	184

Error

0.0b

Counts

184 → 4

Compiler

Compiled 4101 to 2650 computations (35.4% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))
0.0b	(pow.f64 E.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))
1.9b	(+.f64 (log.f64 (pow.f64 E.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))) 1)
4.9b	(log.f64 (pow.f64 E.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))))

rewrite159.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

111×	`*-un-lft-identity_binary64`
54×	`add-sqr-sqrt_binary64`
50×	`times-frac_binary64`
34×	`distribute-lft-out_binary64`
32×	`add-cube-cbrt_binary64`
31×	`pow-unpow_binary64`
14×	`log-prod_binary64`
11×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
9×	`unpow-prod-down_binary64` `add-exp-log_binary64`
7×	`associate-+l+_binary64`
6×	`add-cbrt-cube_binary64`
5×	`pow1_binary64` `add-log-exp_binary64` `associate-/l_binary64` `associate-/r_binary64`
4×	`div-sub_binary64` `rem-log-exp_binary64` `pow-exp_binary64` `associate-/r/_binary64`
3×	`pow-sub_binary64` `sqr-pow_binary64` `flip3-+_binary64` `flip-+_binary64`
2×	`log-div_binary64` `pow-to-exp_binary64` `e-exp-1_binary64` `div-inv_binary64` `associate-/l/_binary64`
1×	`log-pow_binary64` `sum-log_binary64` `associate-+l-_binary64` `+-commutative_binary64` `pow-pow_binary64` `div-exp_binary64` `cbrt-undiv_binary64` `frac-2neg_binary64` `clear-num_binary64` `flip3--_binary64` `flip--_binary64`

Counts

4 → 139

Calls

4 calls:

11.0ms	(/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))
11.0ms	(pow.f64 E.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))
5.0ms	(+.f64 (log.f64 (pow.f64 E.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))) 1)
3.0ms	(log.f64 (pow.f64 E.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))))

Compiler

Compiled 2932 to 1777 computations (39.4% saved)

series437.0ms (8.2%)

Error

0.0b

Counts

4 → 96

Calls

4 calls:

98.0ms	(pow.f64 E.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))
93.0ms	(+.f64 (log.f64 (pow.f64 E.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))) 1)
92.0ms	(log.f64 (pow.f64 E.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))))
60.0ms	(/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))

Compiler

Compiled 7342 to 5938 computations (19.1% saved)

simplify158.0ms (3%)

Algorithm

1×	egg-herbie

Rules

361×	`times-frac_binary64`
284×	`associate-/l*_binary64`
270×	`associate--l+_binary64`
260×	`associate-/r*_binary64`
207×	`associate-r_binary64`
162×	`sub-neg_binary64`
151×	`+-commutative_binary64`
128×	`distribute-rgt-in_binary64` `associate-l_binary64`
124×	`distribute-lft-in_binary64`
117×	`associate-*l/_binary64`
112×	`associate-*r/_binary64`
96×	`*-commutative_binary64`
92×	`associate-+r+_binary64`
81×	`cancel-sign-sub-inv_binary64`
76×	`sqr-pow_binary64`
60×	`distribute-neg-in_binary64`
44×	`associate-/l/_binary64`
40×	`associate-/r/_binary64`
36×	`associate--r+_binary64`
28×	`neg-sub0_binary64`
27×	`neg-mul-1_binary64`
26×	`pow-sqr_binary64`
25×	`div-sub_binary64`
15×	`unswap-sqr_binary64`
11×	`log-prod_binary64`
9×	`distribute-rgt-neg-in_binary64` `distribute-rgt-out_binary64` `distribute-lft-out_binary64`
8×	`log-pow_binary64`
7×	`*-rgt-identity_binary64`
6×	`unpow3_binary64` `cube-mult_binary64` `/-rgt-identity_binary64` `swap-sqr_binary64` `distribute-lft-neg-in_binary64`
5×	`unpow2_binary64` `unpow1_binary64` `distribute-rgt1-in_binary64` `associate--l-_binary64`
4×	`rem-log-exp_binary64` `cube-unmult_binary64` `unsub-neg_binary64` `*-lft-identity_binary64` `+-rgt-identity_binary64` `distribute-neg-frac_binary64`
3×	`log-div_binary64` `exp-prod_binary64` `associate--r-_binary64`
2×	`pow-plus_binary64` `pow-base-1_binary64` `cube-div_binary64` `cube-prod_binary64` `rem-sqrt-square_binary64` `distribute-lft-out--_binary64`
1×	`log-E_binary64` `unpow1/2_binary64` `exp-to-pow_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_binary64` `1-exp_binary64` `rem-exp-log_binary64` `mul-1-neg_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `distribute-lft-neg-out_binary64` `distribute-lft1-in_binary64` `count-2_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-rec_binary64` `pow-base-0_binary64` `unpow1/3_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-1-e_binary64` `exp-0_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` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-sqr--1_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-rgt-out--_binary64` `associate-+l-_binary64` `associate-+l+_binary64`

Counts

235 → 165

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	546	8188
1	1589	7928
2	5020	7928

prune131.0ms (2.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	165	0	165
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	165	4	169

Error

0.0b

Counts

169 → 4

Compiler

Compiled 3991 to 2592 computations (35.1% saved)

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 4 (*.f64 alpha alpha))
2.8b	(-.f64 (+.f64 (.f64 2 (/.f64 beta alpha)) (/.f64 2 alpha)) (+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (.f64 2 (.f64 (/.f64 beta alpha) (/.f64 beta alpha))))))
3.2b	(+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (.f64 2 (*.f64 (/.f64 beta alpha) (/.f64 beta alpha)))))
7.0b	(/.f64 beta (*.f64 alpha alpha))

rewrite202.0ms (3.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

43×	`associate-*r/_binary64`
39×	`frac-add_binary64`
30×	`add-log-exp_binary64`
21×	`frac-sub_binary64`
15×	`flip3-+_binary64` `flip-+_binary64`
14×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
12×	`sum-log_binary64`
11×	`add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
9×	`add-cube-cbrt_binary64`
6×	`times-frac_binary64` `associate-/l*_binary64` `diff-log_binary64`
4×	`pow1_binary64` `div-exp_binary64` `cbrt-undiv_binary64` `frac-times_binary64` `associate-*l/_binary64`
3×	`cancel-sign-sub-inv_binary64`
2×	`prod-exp_binary64` `cbrt-unprod_binary64` `frac-2neg_binary64` `clear-num_binary64` `div-inv_binary64` `associate-/r*_binary64`
1×	`associate-+r+_binary64` `+-commutative_binary64` `flip3--_binary64` `sub-neg_binary64` `flip--_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `associate--l+_binary64` `associate--r+_binary64`

Counts

4 → 104

Calls

4 calls:

30.0ms	(-.f64 (+.f64 (.f64 2 (/.f64 beta alpha)) (/.f64 2 alpha)) (+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (.f64 2 (.f64 (/.f64 beta alpha) (/.f64 beta alpha))))))
14.0ms	(+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (.f64 2 (*.f64 (/.f64 beta alpha) (/.f64 beta alpha)))))
5.0ms	(/.f64 4 (*.f64 alpha alpha))
4.0ms	(/.f64 beta (*.f64 alpha alpha))

Compiler

Compiled 7038 to 3192 computations (54.6% saved)

series191.0ms (3.6%)

Error

0.0b

Counts

4 → 33

Calls

4 calls:

82.0ms	(-.f64 (+.f64 (.f64 2 (/.f64 beta alpha)) (/.f64 2 alpha)) (+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (.f64 2 (.f64 (/.f64 beta alpha) (/.f64 beta alpha))))))
57.0ms	(+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (.f64 2 (*.f64 (/.f64 beta alpha) (/.f64 beta alpha)))))
24.0ms	(/.f64 beta (*.f64 alpha alpha))
11.0ms	(/.f64 4 (*.f64 alpha alpha))

Compiler

Compiled 2014 to 1573 computations (21.9% saved)

simplify176.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

477×	`associate-r_binary64`
458×	`times-frac_binary64`
451×	`associate-l_binary64`
404×	`distribute-rgt-in_binary64`
395×	`distribute-lft-in_binary64`
106×	`cancel-sign-sub-inv_binary64`
102×	`*-commutative_binary64`
81×	`associate-*r/_binary64`
77×	`associate-*l/_binary64`
76×	`distribute-rgt-neg-in_binary64`
71×	`sub-neg_binary64`
59×	`associate-/r*_binary64`
54×	`distribute-neg-in_binary64`
53×	`associate-/l*_binary64`
51×	`distribute-lft-neg-in_binary64`
47×	`neg-mul-1_binary64`
46×	`neg-sub0_binary64`
44×	`cube-prod_binary64`
41×	`exp-prod_binary64`
33×	`cube-div_binary64`
31×	`+-commutative_binary64`
29×	`sqr-pow_binary64`
27×	`distribute-lft-neg-out_binary64`
25×	`associate--l+_binary64`
22×	`div-exp_binary64`
21×	`log-prod_binary64`
19×	`unpow3_binary64`
18×	`exp-sum_binary64`
17×	`cube-mult_binary64`
16×	`unswap-sqr_binary64`
14×	`prod-exp_binary64` `swap-sqr_binary64`
11×	`distribute-rgt-out_binary64`
10×	`log-div_binary64` `associate-/r/_binary64`
9×	`distribute-neg-frac_binary64`
8×	`associate--r+_binary64`
7×	`distribute-rgt-out--_binary64`
6×	`difference-of-squares_binary64`
5×	`exp-diff_binary64` `distribute-lft-out_binary64` `associate-+r+_binary64`
4×	`pow-plus_binary64` `exp-lft-sqr_binary64`
3×	`cube-unmult_binary64` `rem-sqrt-square_binary64` `associate-+r-_binary64`
2×	`log-pow_binary64` `unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `unsub-neg_binary64` `mul-1-neg_binary64` `pow-sqr_binary64`
1×	`log-rec_binary64` `1-exp_binary64` `rem-3cbrt-lft_binary64` `rem-square-sqrt_binary64` `distribute-rgt-neg-out_binary64` `distribute-rgt1-in_binary64` `count-2_binary64` `associate--l-_binary64` `associate-+l+_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `rec-exp_binary64` `exp-neg_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `div-sub_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` `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` `distribute-lft-out--_binary64` `associate-/l/_binary64` `associate--r-_binary64` `associate-+l-_binary64`

Counts

137 → 111

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	306	7600
1	1051	7013
2	4645	6875
3	5462	6875

prune89.0ms (1.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	111	4	115

Error

0.0b

Counts

115 → 4

Compiler

Compiled 4401 to 2156 computations (51% saved)

regimes625.0ms (11.7%)

Accuracy

Total 0.3b remaining (84.9%)

Threshold costs 0.3b (84.9%)

Compiler

Compiled 8891 to 7221 computations (18.8% saved)

bsearch3.0ms (0.1%)

Compiler: Compiled 9 to 7 computations (22.2% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

13×	`+-commutative_binary64`
8×	`sub-neg_binary64` `*-commutative_binary64`
6×	`neg-mul-1_binary64` `neg-sub0_binary64`
2×	`unsub-neg_binary64` `distribute-neg-frac_binary64` `distribute-neg-in_binary64` `distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_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` `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` `mul-1-neg_binary64` `/-rgt-identity_binary64` `-rgt-identity_binary64` `-lft-identity_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_binary64` `cancel-sign-sub-inv_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft-neg-out_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	78
1	43	78
2	54	78
3	74	78
4	84	78
5	90	78
6	93	78
7	94	78
8	91	78

end1.0ms (0%)

Compiler: Compiled 52 to 35 computations (32.7% saved)

sample1.1s (20.5%)

Algorithm

1×

intervals

Results

210.0ms	5946×	body	128	valid
144.0ms	8000×	pre	128	true
134.0ms	1077×	body	1024	valid
59.0ms	586×	body	512	valid
19.0ms	96×	body	2048	valid
19.0ms	295×	body	256	valid

Compiler

Compiled 250 to 187 computations (25.2% saved)

Details

analyze323.0ms (6%)

sample31.0ms (0.6%)

simplify254.0ms (4.7%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite109.0ms (2%)

series183.0ms (3.4%)

simplify109.0ms (2%)

prune82.0ms (1.5%)

localize11.0ms (0.2%)

rewrite192.0ms (3.6%)

series412.0ms (7.7%)

simplify199.0ms (3.7%)

prune130.0ms (2.4%)

localize12.0ms (0.2%)

rewrite159.0ms (3%)

series437.0ms (8.2%)

simplify158.0ms (3%)

prune131.0ms (2.4%)

localize19.0ms (0.3%)

rewrite202.0ms (3.8%)

series191.0ms (3.6%)

simplify176.0ms (3.3%)

prune89.0ms (1.7%)

regimes625.0ms (11.7%)

bsearch3.0ms (0.1%)

simplify7.0ms (0.1%)

end1.0ms (0%)

sample1.1s (20.5%)

Profiling