Details

analyze324.0ms (6.1%)

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

sample29.0ms (0.5%)

Algorithm

1×

intervals

Results

6.0ms	180×	body	128	valid
5.0ms	39×	body	1024	valid
4.0ms	256×	pre	128	true
2.0ms	24×	body	512	valid
1.0ms	6×	body	2048	valid
0.0ms	7×	body	256	valid

Compiler

Compiled 33 to 29 computations (12.1% saved)

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

18.3b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize13.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite114.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

17.7b

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)

series174.0ms (3.3%)

Error

0.0b

Counts

2 → 48

Calls

2 calls:

73.0ms	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)
54.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 3320 to 2676 computations (19.4% saved)

simplify109.0ms (2.1%)

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

prune86.0ms (1.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	94	5	99
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	95	5	100

Error

0.0b

Counts

100 → 5

Compiler

Compiled 2240 to 1375 computations (38.6% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))
0.0b	(exp.f64 (+.f64 1 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))))
1.7b	(+.f64 1 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))
1.8b	(log.f64 (exp.f64 (+.f64 1 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))))

rewrite161.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

67×	`*-un-lft-identity_binary64`
31×	`add-sqr-sqrt_binary64`
25×	`times-frac_binary64`
21×	`distribute-lft-out_binary64`
19×	`add-cube-cbrt_binary64`
9×	`add-log-exp_binary64`
8×	`exp-prod_binary64`
6×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64`
5×	`pow1_binary64` `log-pow_binary64` `associate-/l_binary64` `associate-/r_binary64`
4×	`div-sub_binary64` `log-prod_binary64`
3×	`associate-+r-_binary64`
2×	`exp-diff_binary64` `exp-sum_binary64` `sum-log_binary64` `flip3-+_binary64` `flip-+_binary64` `rem-exp-log_binary64` `associate-/l/_binary64` `associate-/r/_binary64`
1×	`log-div_binary64` `rem-log-exp_binary64` `+-commutative_binary64` `div-exp_binary64` `cbrt-undiv_binary64` `frac-2neg_binary64` `clear-num_binary64` `div-inv_binary64` `flip3--_binary64` `flip--_binary64`

Counts

4 → 98

Calls

4 calls:

17.0ms	(+.f64 1 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))
17.0ms	(log.f64 (exp.f64 (+.f64 1 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))))
17.0ms	(exp.f64 (+.f64 1 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))))
10.0ms	(/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))

Compiler

Compiled 1956 to 1272 computations (35% saved)

series443.0ms (8.3%)

Error

0.0b

Counts

4 → 96

Calls

4 calls:

106.0ms	(log.f64 (exp.f64 (+.f64 1 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))))
97.0ms	(exp.f64 (+.f64 1 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))))
79.0ms	(+.f64 1 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))
55.0ms	(/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))

Compiler

Compiled 7872 to 6407 computations (18.6% saved)

simplify144.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

344×	`times-frac_binary64`
270×	`associate-/l*_binary64`
262×	`associate--l+_binary64`
256×	`associate-/r*_binary64`
231×	`associate--r+_binary64`
205×	`associate-r_binary64`
163×	`sub-neg_binary64`
138×	`+-commutative_binary64`
123×	`associate-l_binary64`
117×	`associate-*r/_binary64`
113×	`distribute-rgt-in_binary64`
112×	`associate-*l/_binary64`
105×	`distribute-lft-in_binary64`
98×	`*-commutative_binary64`
85×	`associate-+r+_binary64`
82×	`cancel-sign-sub-inv_binary64`
57×	`distribute-neg-in_binary64`
36×	`associate-/r/_binary64`
29×	`sqr-pow_binary64` `associate-/l/_binary64`
28×	`neg-sub0_binary64`
27×	`neg-mul-1_binary64`
18×	`div-sub_binary64`
10×	`rem-log-exp_binary64` `distribute-rgt-neg-in_binary64`
8×	`unpow3_binary64` `swap-sqr_binary64` `distribute-rgt-out_binary64` `distribute-lft-out_binary64`
7×	`unswap-sqr_binary64` `distribute-lft-neg-in_binary64`
6×	`exp-sum_binary64` `cube-mult_binary64` `/-rgt-identity_binary64` `distribute-neg-frac_binary64`
5×	`log-prod_binary64` `unpow2_binary64`
4×	`log-div_binary64` `unpow1_binary64` `exp-prod_binary64` `prod-exp_binary64` `cube-div_binary64` `*-lft-identity_binary64` `associate--r-_binary64`
3×	`distribute-rgt1-in_binary64`
2×	`exp-diff_binary64` `cube-unmult_binary64` `cube-prod_binary64` `*-rgt-identity_binary64` `pow-sqr_binary64` `distribute-lft-neg-out_binary64` `count-2_binary64`
1×	`log-pow_binary64` `pow-plus_binary64` `exp-to-pow_binary64` `1-exp_binary64` `exp-1-e_binary64` `rem-exp-log_binary64` `unsub-neg_binary64` `mul-1-neg_binary64` `difference-of-squares_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out--_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` `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-neg_binary64` `e-exp-1_binary64` `exp-0_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_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-rgt-neg-out_binary64` `distribute-lft1-in_binary64` `associate-+l-_binary64` `associate-+l+_binary64`

Counts

194 → 128

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	507	8092
1	1464	7809
2	5045	7809

prune115.0ms (2.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	128	5	133

Error

0.0b

Counts

133 → 5

Compiler

Compiled 3555 to 2375 computations (33.2% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))
0.3b	(cbrt.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))
0.3b	(cbrt.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))
1.7b	(+.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))) (cbrt.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))) (cbrt.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))) 1)

rewrite231.0ms (4.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

142×	`*-un-lft-identity_binary64`
93×	`cbrt-prod_binary64`
75×	`times-frac_binary64`
67×	`add-sqr-sqrt_binary64`
45×	`distribute-lft-out_binary64`
37×	`add-cube-cbrt_binary64`
15×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
6×	`add-log-exp_binary64` `associate-/r/_binary64`
4×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `flip3-+_binary64` `flip-+_binary64`
3×	`pow1/3_binary64` `cbrt-div_binary64` `div-inv_binary64`
1×	`sum-log_binary64` `+-commutative_binary64`

Counts

4 → 131

Calls

4 calls:

38.0ms	(+.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))) (cbrt.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))) (cbrt.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))) 1)
10.0ms	(cbrt.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))
9.0ms	(cbrt.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))
9.0ms	(cbrt.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))

Compiler

Compiled 4712 to 2761 computations (41.4% saved)

series306.0ms (5.8%)

Error

0.0b

Counts

4 → 51

Calls

4 calls:

113.0ms	(+.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))) (cbrt.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))) (cbrt.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))) 1)
44.0ms	(cbrt.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))
43.0ms	(cbrt.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))
40.0ms	(cbrt.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))

Compiler

Compiled 5450 to 4229 computations (22.4% saved)

simplify238.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

938×	`times-frac_binary64`
360×	`sub-neg_binary64`
209×	`+-commutative_binary64`
205×	`associate-+r+_binary64`
163×	`associate-+l+_binary64`
150×	`associate-/r*_binary64`
129×	`associate--l+_binary64`
124×	`associate--r+_binary64`
119×	`associate-/l*_binary64`
98×	`*-commutative_binary64`
75×	`neg-sub0_binary64`
72×	`neg-mul-1_binary64`
69×	`associate-r_binary64`
62×	`unsub-neg_binary64`
59×	`unswap-sqr_binary64`
58×	`sqr-pow_binary64` `associate-*r/_binary64`
47×	`cancel-sign-sub-inv_binary64`
43×	`associate-*l/_binary64`
42×	`distribute-rgt-in_binary64`
41×	`associate-l_binary64`
40×	`distribute-neg-in_binary64`
36×	`distribute-lft-in_binary64`
28×	`unpow3_binary64`
26×	`cube-prod_binary64`
16×	`exp-prod_binary64`
15×	`associate-/r/_binary64`
14×	`associate-/l/_binary64`
13×	`div-sub_binary64`
12×	`pow-plus_binary64` `cube-unmult_binary64`
11×	`*-rgt-identity_binary64`
9×	`cube-mult_binary64` `distribute-rgt-neg-in_binary64`
7×	`difference-of-squares_binary64` `distribute-rgt-out_binary64`
6×	`distribute-lft-neg-in_binary64`
5×	`unpow2_binary64` `unpow1/2_binary64` `exp-diff_binary64` `exp-sum_binary64` `mul-1-neg_binary64` `*-lft-identity_binary64`
4×	`log-prod_binary64` `unpow1_binary64` `/-rgt-identity_binary64` `pow-sqr_binary64` `associate-+l-_binary64`
3×	`unpow1/3_binary64` `cube-div_binary64` `rem-sqrt-square_binary64` `swap-sqr_binary64` `distribute-rgt1-in_binary64` `distribute-lft-out_binary64` `associate-+r-_binary64`
2×	`difference-of-sqr--1_binary64` `distribute-lft-neg-out_binary64` `associate--r-_binary64`
1×	`prod-exp_binary64` `1-exp_binary64` `exp-1-e_binary64` `rem-3cbrt-lft_binary64` `rem-cube-cbrt_binary64` `difference-of-sqr-1_binary64` `distribute-neg-frac_binary64` `distribute-rgt-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` `log-div_binary64` `pow-base-0_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-cbrt-cube_binary64` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-square-sqrt_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` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64` `count-2_binary64`

Counts

182 → 107

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	346	5818
1	946	5719
2	3227	5668
3	4957	5662
4	4994	5662
5	4933	5662

prune87.0ms (1.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	107	5	112

Error

0.0b

Counts

112 → 5

Compiler

Compiled 2825 to 1699 computations (39.9% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 1 (+.f64 alpha (+.f64 2 beta)))
0.1b	(*.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 2 beta))))
4.9b	(+.f64 (*.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 2 beta)))) 1)

rewrite157.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

61×	`*-un-lft-identity_binary64`
32×	`add-sqr-sqrt_binary64` `times-frac_binary64`
23×	`add-cube-cbrt_binary64`
21×	`associate-r_binary64` `distribute-lft-out_binary64`
16×	`add-exp-log_binary64`
10×	`add-cbrt-cube_binary64`
6×	`pow1_binary64`
5×	`add-log-exp_binary64` `associate-l_binary64` `associate-/r*_binary64`
4×	`div-exp_binary64` `prod-exp_binary64` `associate-/r/_binary64`
3×	`flip3-+_binary64` `flip-+_binary64` `unswap-sqr_binary64` `associate-/l*_binary64`
2×	`1-exp_binary64` `rec-exp_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `flip3--_binary64` `frac-times_binary64` `flip--_binary64` `associate-*l/_binary64` `div-inv_binary64`
1×	`sum-log_binary64` `+-commutative_binary64` `pow-prod-down_binary64` `un-div-inv_binary64` `associate-r/_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `-commutative_binary64` `inv-pow_binary64` `pow-flip_binary64` `frac-2neg_binary64` `clear-num_binary64`

Counts

3 → 102

Calls

3 calls:

16.0ms	(*.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 2 beta))))
13.0ms	(+.f64 (*.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 2 beta)))) 1)
7.0ms	(/.f64 1 (+.f64 alpha (+.f64 2 beta)))

Compiler

Compiled 2093 to 1437 computations (31.3% saved)

series245.0ms (4.6%)

Error

0.0b

Counts

3 → 72

Calls

3 calls:

77.0ms	(+.f64 (*.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 2 beta)))) 1)
55.0ms	(*.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 2 beta))))
48.0ms	(/.f64 1 (+.f64 alpha (+.f64 2 beta)))

Compiler

Compiled 4792 to 3845 computations (19.8% saved)

simplify155.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

816×	`times-frac_binary64`
274×	`+-commutative_binary64`
243×	`associate-+r+_binary64`
221×	`associate-+l+_binary64`
199×	`associate--r+_binary64`
195×	`associate--l+_binary64`
144×	`associate-/r*_binary64`
133×	`sub-neg_binary64`
129×	`associate-/l*_binary64`
127×	`*-commutative_binary64`
106×	`distribute-rgt-in_binary64`
98×	`distribute-lft-in_binary64`
80×	`associate-r_binary64`
78×	`associate-r/_binary64` `associate-l*_binary64`
58×	`cancel-sign-sub-inv_binary64`
52×	`associate-*l/_binary64`
50×	`distribute-neg-in_binary64`
27×	`neg-sub0_binary64`
26×	`neg-mul-1_binary64`
25×	`sqr-pow_binary64`
18×	`associate-/r/_binary64`
14×	`exp-prod_binary64` `cube-prod_binary64`
12×	`*-rgt-identity_binary64`
10×	`distribute-rgt-neg-in_binary64` `associate-/l/_binary64`
8×	`log-prod_binary64`
7×	`unpow3_binary64` `div-sub_binary64` `distribute-rgt-out_binary64`
6×	`exp-sum_binary64` `cube-unmult_binary64` `swap-sqr_binary64` `distribute-neg-frac_binary64` `distribute-lft-neg-in_binary64` `associate-+r-_binary64`
5×	`unpow2_binary64` `cube-mult_binary64`
4×	`unpow1/2_binary64` `unpow1_binary64`
3×	`log-div_binary64` `exp-diff_binary64` `cube-div_binary64` `*-lft-identity_binary64` `difference-of-squares_binary64` `distribute-rgt1-in_binary64` `distribute-lft-out_binary64` `associate-+l-_binary64`
2×	`log-rec_binary64` `rem-sqrt-square_binary64` `unsub-neg_binary64` `/-rgt-identity_binary64` `distribute-lft-neg-out_binary64`
1×	`pow-plus_binary64` `prod-exp_binary64` `1-exp_binary64` `exp-1-e_binary64` `mul-1-neg_binary64` `+-rgt-identity_binary64` `pow-sqr_binary64` `difference-of-sqr-1_binary64` `distribute-lft-out--_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `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` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_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` `unswap-sqr_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out--_binary64` `count-2_binary64` `associate--r-_binary64` `associate--l-_binary64`

Counts

174 → 131

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	379	5258
1	1094	5111
2	4008	5069
3	4978	5069

prune100.0ms (1.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	131	0	131
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	131	5	136

Error

0.0b

Counts

136 → 5

Compiler

Compiled 2549 to 1613 computations (36.7% saved)

regimes725.0ms (13.6%)

Accuracy

Total 0.1b remaining (48.1%)

Threshold costs 0.1b (48.1%)

Compiler

Compiled 8569 to 6813 computations (20.5% saved)

bsearch3.0ms (0.1%)

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

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

18×	`+-commutative_binary64`
13×	`*-commutative_binary64`
12×	`sub-neg_binary64`
10×	`neg-mul-1_binary64` `neg-sub0_binary64`
5×	`distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`
4×	`unsub-neg_binary64` `distribute-neg-in_binary64`
3×	`distribute-neg-frac_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` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_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	33	93
1	48	93
2	59	93
3	80	93
4	106	93
5	121	93
6	131	93
7	135	93
8	136	93
9	132	93

end4.0ms (0.1%)

Compiler: Compiled 62 to 39 computations (37.1% saved)

sample1.1s (19.9%)

Algorithm

1×

intervals

Results

212.0ms	5917×	body	128	valid
138.0ms	8000×	pre	128	true
135.0ms	1044×	body	1024	valid
57.0ms	596×	body	512	valid
22.0ms	343×	body	256	valid
16.0ms	100×	body	2048	valid

Compiler

Compiled 225 to 168 computations (25.3% saved)

Details

analyze324.0ms (6.1%)

sample29.0ms (0.5%)

simplify251.0ms (4.7%)

prune2.0ms (0%)

localize13.0ms (0.2%)

rewrite114.0ms (2.1%)

series174.0ms (3.3%)

simplify109.0ms (2.1%)

prune86.0ms (1.6%)

localize11.0ms (0.2%)

rewrite161.0ms (3%)

series443.0ms (8.3%)

simplify144.0ms (2.7%)

prune115.0ms (2.2%)

localize14.0ms (0.3%)

rewrite231.0ms (4.3%)

series306.0ms (5.8%)

simplify238.0ms (4.5%)

prune87.0ms (1.6%)

localize9.0ms (0.2%)

rewrite157.0ms (3%)

series245.0ms (4.6%)

simplify155.0ms (2.9%)

prune100.0ms (1.9%)

regimes725.0ms (13.6%)

bsearch3.0ms (0.1%)

simplify8.0ms (0.1%)

end4.0ms (0.1%)

sample1.1s (19.9%)

Profiling