Details

analyze615.0ms (17.7%)

Algorithm

1×	search
2×	egg-herbie

Rules

1298×	`distribute-rgt-in_binary64`
1000×	`unsub-neg_binary64`
961×	`distribute-lft-in_binary64`
783×	`associate--l-_binary64`
710×	`*-commutative_binary64`
623×	`distribute-neg-out_binary64`
459×	`sub-neg_binary64`
384×	`distribute-lft-out_binary64`
328×	`+-commutative_binary64`
294×	`distribute-rgt-out_binary64`
268×	`neg-sub0_binary64`
236×	`distribute-rgt-neg-in_binary64`
231×	`cancel-sign-sub_binary64`
220×	`neg-mul-1_binary64`
208×	`distribute-rgt-out--_binary64`
173×	`distribute-lft-neg-out_binary64`
171×	`distribute-neg-in_binary64`
169×	`distribute-lft-neg-in_binary64`
160×	`associate--r+_binary64`
153×	`cancel-sign-sub-inv_binary64`
148×	`distribute-lft-out--_binary64`
133×	`associate--r-_binary64`
116×	`associate-l_binary64`
112×	`distribute-rgt-neg-out_binary64`
102×	`associate--l+_binary64`
101×	`associate-+l-_binary64`
76×	`associate-r_binary64`
62×	`associate-+r-_binary64`
61×	`sub0-neg_binary64` `associate-+r+_binary64`
49×	`associate-+l+_binary64`
45×	`remove-double-neg_binary64`
30×	`*-lft-identity_binary64`
25×	`distribute-rgt1-in_binary64`
24×	`mul0-lft_binary64`
22×	`mul0-rgt_binary64`
18×	`*-rgt-identity_binary64`
15×	`+-lft-identity_binary64`
13×	`mul-1-neg_binary64` `difference-of-squares_binary64`
8×	`--rgt-identity_binary64`
7×	`distribute-lft1-in_binary64`
6×	`+-rgt-identity_binary64` `+-inverses_binary64`
2×	`sqr-neg_binary64` `swap-sqr_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` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `times-frac_binary64` `div-sub_binary64` `/-rgt-identity_binary64` `div0_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` `unswap-sqr_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `count-2_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `associate-/l_binary64` `associate-/r_binary64` `associate-l/_binary64` `associate-*r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	60
1	52	60
2	79	60
3	171	60
4	362	60
5	873	60
6	1384	60
7	1735	60
8	2384	60
9	2541	60
10	2713	60
11	2807	60
12	2853	60
13	3388	60
14	3532	60
15	3660	60
16	4164	60
17	4216	60
18	4216	60
19	4216	60
20	2948	60
21	5803	60
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	81.1%	18.9%	7
6.2%	74.9%	18.9%	8
9.4%	65.5%	25.1%	9
15.6%	48.4%	36%	10
20.3%	43.1%	36.6%	11
22.6%	36%	41.4%	12
27.1%	25.1%	47.8%	13
29.5%	22.5%	48%	14

Compiler

Compiled 11 to 9 computations (18.2% saved)

sample24.0ms (0.7%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
2.0ms	48×	body	128	nan
1.0ms	26×	body	128	invalid

Compiler

Compiled 21 to 20 computations (4.8% saved)

simplify387.0ms (11.2%)

Algorithm

1×	egg-herbie

Rules

3990×	`distribute-rgt-in_binary64`
2232×	`associate--r-_binary64`
1285×	`sub-neg_binary64`
783×	`unsub-neg_binary64`
741×	`*-commutative_binary64`
465×	`distribute-neg-out_binary64`
451×	`distribute-rgt-out--_binary64`
401×	`distribute-rgt-out_binary64`
399×	`+-commutative_binary64`
315×	`neg-sub0_binary64`
289×	`distribute-rgt-neg-in_binary64`
272×	`neg-mul-1_binary64`
271×	`distribute-lft-neg-in_binary64`
221×	`cancel-sign-sub-inv_binary64`
203×	`distribute-lft-out_binary64`
172×	`distribute-neg-in_binary64`
162×	`distribute-lft-neg-out_binary64`
144×	`distribute-lft-out--_binary64`
135×	`associate--r+_binary64`
119×	`associate-+r-_binary64`
116×	`associate--l+_binary64`
108×	`associate-+l+_binary64`
86×	`associate--l-_binary64`
83×	`associate-+l-_binary64`
79×	`distribute-lft-in_binary64`
76×	`distribute-rgt-neg-out_binary64`
75×	`associate-+r+_binary64`
65×	`distribute-rgt1-in_binary64`
44×	`associate-r_binary64`
40×	`sub0-neg_binary64`
33×	`associate-l_binary64`
32×	`+-inverses_binary64`
30×	`remove-double-neg_binary64`
20×	`*-rgt-identity_binary64`
15×	`difference-of-squares_binary64`
11×	`*-lft-identity_binary64`
9×	`mul0-lft_binary64` `distribute-lft1-in_binary64`
8×	`+-lft-identity_binary64` `mul0-rgt_binary64`
7×	`swap-sqr_binary64` `cancel-sign-sub_binary64`
4×	`sqr-neg_binary64`
3×	`mul-1-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64`
1×	`1-exp_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` `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` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `times-frac_binary64` `div-sub_binary64` `/-rgt-identity_binary64` `div0_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` `unswap-sqr_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `associate-/l_binary64` `associate-/r_binary64` `associate-l/_binary64` `associate-*r/_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	15
1	18	15
2	28	15
3	53	15
4	103	15
5	229	15
6	354	15
7	732	15
8	1115	15
9	1919	15
10	2168	15
11	2475	15
12	2705	15
13	2819	15
14	2819	15
15	3778	15
16	3618	15
17	3938	15
18	3938	15
19	3858	15
20	4018	15
21	4098	15
22	4098	15
23	4098	15
24	4863	15
25	4880	15
26	10529	15

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

24.7b

Counts

1 → 1

Compiler

Compiled 10 to 8 computations (20% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(.f64 x (sqrt.f64 (-.f64 (.f64 y y) (*.f64 z z))))
2.2b	(-.f64 (.f64 y y) (.f64 z z))
24.6b	(sqrt.f64 (-.f64 (.f64 y y) (.f64 z z)))

rewrite59.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

13.2b

Rules

12×	`add-sqr-sqrt_binary64`
9×	`sqrt-prod_binary64`
7×	`add-cube-cbrt_binary64` `-un-lft-identity_binary64` `associate-r*_binary64`
6×	`pow1_binary64`
5×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`sqrt-div_binary64`
3×	`flip3--_binary64` `flip--_binary64` `difference-of-squares_binary64` `associate-l_binary64`
2×	`unswap-sqr_binary64` `associate-*r/_binary64`
1×	`pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `diff-log_binary64` `sub-neg_binary64` `cancel-sign-sub-inv_binary64` `pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `*-commutative_binary64`

Counts

3 → 54

Calls

3 calls:

8.0ms	(.f64 x (sqrt.f64 (-.f64 (.f64 y y) (*.f64 z z))))
4.0ms	(sqrt.f64 (-.f64 (.f64 y y) (.f64 z z)))
4.0ms	(-.f64 (.f64 y y) (.f64 z z))

Compiler

Compiled 952 to 190 computations (80% saved)

series98.0ms (2.8%)

Error

0.6b

Counts

3 → 33

Calls

3 calls:

40.0ms	(.f64 x (sqrt.f64 (-.f64 (.f64 y y) (*.f64 z z))))
26.0ms	(-.f64 (.f64 y y) (.f64 z z))
20.0ms	(sqrt.f64 (-.f64 (.f64 y y) (.f64 z z)))

Compiler

Compiled 730 to 664 computations (9% saved)

simplify113.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

719×	`times-frac_binary64`
349×	`associate-l_binary64`
292×	`associate-r_binary64`
281×	`neg-sub0_binary64`
273×	`neg-mul-1_binary64`
238×	`associate-/l*_binary64`
209×	`unswap-sqr_binary64`
162×	`cancel-sign-sub-inv_binary64`
137×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
135×	`distribute-rgt-neg-in_binary64`
126×	`exp-prod_binary64`
124×	`distribute-lft-neg-in_binary64`
112×	`distribute-lft-neg-out_binary64`
105×	`distribute-rgt-neg-out_binary64`
99×	`*-commutative_binary64`
82×	`associate-/r/_binary64`
81×	`div-sub_binary64`
66×	`sqr-pow_binary64`
57×	`sub-neg_binary64`
55×	`unsub-neg_binary64`
45×	`cube-prod_binary64`
39×	`exp-sum_binary64` `difference-of-squares_binary64`
37×	`unpow3_binary64` `distribute-rgt-out_binary64`
27×	`-rgt-identity_binary64` `-lft-identity_binary64` `distribute-neg-frac_binary64`
26×	`associate-/l/_binary64`
24×	`distribute-lft-out_binary64`
23×	`+-commutative_binary64`
21×	`log-prod_binary64` `swap-sqr_binary64`
19×	`pow-plus_binary64` `cube-unmult_binary64`
17×	`pow-sqr_binary64` `associate-/r*_binary64`
14×	`exp-diff_binary64`
13×	`mul0-rgt_binary64` `mul0-lft_binary64`
12×	`mul-1-neg_binary64`
9×	`associate-*r/_binary64`
8×	`sub0-neg_binary64` `associate-+l-_binary64`
7×	`+-rgt-identity_binary64` `associate-*l/_binary64` `associate-+r-_binary64` `associate-+l+_binary64`
6×	`cube-mult_binary64` `rem-sqrt-square_binary64`
5×	`cube-div_binary64` `sqr-neg_binary64` `associate-+r+_binary64`
4×	`unpow1/2_binary64`
3×	`unpow2_binary64` `exp-neg_binary64` `/-rgt-identity_binary64` `distribute-neg-in_binary64`
2×	`unpow1_binary64` `cube-neg_binary64` `distribute-frac-neg_binary64` `distribute-rgt-out--_binary64` `count-2_binary64`
1×	`div-exp_binary64` `1-exp_binary64` `exp-1-e_binary64` `rem-square-sqrt_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `log-rec_binary64` `log-div_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `rec-exp_binary64` `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` `remove-double-neg_binary64` `--rgt-identity_binary64` `+-lft-identity_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-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate--l+_binary64` `associate--r+_binary64`

Counts

87 → 58

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	106	1308
1	243	1182
2	671	1182
3	2052	1182
4	4252	1182
5	4992	1182
6	4932	1182

prune31.0ms (0.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	54	4	58
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	54	5	59

Error

Counts

59 → 5

Compiler

Compiled 529 to 210 computations (60.3% saved)

localize3.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

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

simplify8.0ms (0.2%)

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

prune2.0ms (0.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

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

Error

Counts

5 → 5

Compiler

Compiled 27 to 23 computations (14.8% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 1/2 (.f64 (/.f64 (.f64 z z) y) x)) (.f64 y x))
0.0b	(.f64 1/2 (.f64 (/.f64 (*.f64 z z) y) x))
5.2b	(.f64 (/.f64 (.f64 z z) y) x)
7.4b	(/.f64 (*.f64 z z) y)

rewrite88.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

32×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
14×	`add-sqr-sqrt_binary64`
13×	`prod-exp_binary64` `cbrt-unprod_binary64`
11×	`pow1_binary64`
10×	`add-cube-cbrt_binary64` `-un-lft-identity_binary64` `associate-l*_binary64`
7×	`times-frac_binary64`
6×	`div-exp_binary64` `add-log-exp_binary64` `cbrt-undiv_binary64`
4×	`pow-prod-down_binary64` `associate-r_binary64`
3×	`associate-/r*_binary64`
2×	`div-inv_binary64` `unswap-sqr_binary64` `associate-l/_binary64` `-commutative_binary64`
1×	`frac-2neg_binary64` `clear-num_binary64` `associate-/l_binary64` `associate-r/_binary64` `diff-log_binary64` `flip3--_binary64` `sub-neg_binary64` `flip--_binary64` `cancel-sign-sub-inv_binary64`

Counts

4 → 84

Calls

4 calls:

9.0ms	(-.f64 (.f64 1/2 (.f64 (/.f64 (.f64 z z) y) x)) (.f64 y x))
8.0ms	(.f64 1/2 (.f64 (/.f64 (*.f64 z z) y) x))
7.0ms	(.f64 (/.f64 (.f64 z z) y) x)
5.0ms	(/.f64 (*.f64 z z) y)

Compiler

Compiled 1664 to 525 computations (68.4% saved)

series153.0ms (4.4%)

Error

Counts

4 → 39

Calls

4 calls:

56.0ms	(-.f64 (.f64 1/2 (.f64 (/.f64 (.f64 z z) y) x)) (.f64 y x))
39.0ms	(.f64 1/2 (.f64 (/.f64 (*.f64 z z) y) x))
33.0ms	(.f64 (/.f64 (.f64 z z) y) x)
20.0ms	(/.f64 (*.f64 z z) y)

Compiler

Compiled 969 to 819 computations (15.5% saved)

simplify124.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

399×	`associate-/l*_binary64`
379×	`times-frac_binary64`
353×	`*-commutative_binary64`
222×	`cancel-sign-sub-inv_binary64`
180×	`associate-/r*_binary64`
158×	`log-div_binary64`
156×	`associate-/l/_binary64`
149×	`cube-div_binary64` `associate-/r/_binary64`
134×	`associate-l_binary64`
127×	`sub-neg_binary64`
124×	`log-prod_binary64`
118×	`associate-r_binary64`
104×	`cube-prod_binary64` `unswap-sqr_binary64`
100×	`sqr-pow_binary64`
97×	`exp-prod_binary64`
88×	`swap-sqr_binary64` `associate-*l/_binary64`
78×	`associate-*r/_binary64`
65×	`unpow3_binary64` `distribute-rgt-out_binary64`
58×	`cube-mult_binary64`
55×	`distribute-rgt-neg-in_binary64`
53×	`exp-sum_binary64`
52×	`distribute-neg-frac_binary64`
51×	`neg-mul-1_binary64` `neg-sub0_binary64`
45×	`distribute-lft-neg-in_binary64`
40×	`unsub-neg_binary64`
38×	`+-commutative_binary64`
35×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64` `associate-+r+_binary64`
33×	`associate-+l+_binary64`
28×	`/-rgt-identity_binary64` `associate-+l-_binary64` `associate-+r-_binary64`
25×	`*-rgt-identity_binary64`
22×	`exp-diff_binary64`
20×	`distribute-rgt-out--_binary64`
15×	`pow-sqr_binary64`
13×	`log-rec_binary64` `distribute-lft-neg-out_binary64` `associate--l-_binary64`
12×	`*-lft-identity_binary64` `difference-of-squares_binary64`
9×	`+-rgt-identity_binary64`
8×	`distribute-lft-out_binary64`
7×	`pow-plus_binary64` `div-sub_binary64`
6×	`cube-unmult_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `remove-double-div_binary64` `distribute-rgt-neg-out_binary64`
5×	`unpow1/2_binary64` `distribute-neg-in_binary64`
4×	`remove-double-neg_binary64` `sub0-neg_binary64` `associate--l+_binary64` `associate--r+_binary64`
3×	`log-pow_binary64` `prod-exp_binary64` `sqr-neg_binary64` `rem-sqrt-square_binary64`
2×	`cube-neg_binary64` `mul-1-neg_binary64`
1×	`unpow2_binary64` `unpow1_binary64` `div-exp_binary64` `1-exp_binary64` `exp-1-e_binary64` `div0_binary64` `*-inverses_binary64` `cancel-sign-sub_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` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `rec-exp_binary64` `exp-neg_binary64` `e-exp-1_binary64` `exp-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` `--rgt-identity_binary64` `+-lft-identity_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64`

Counts

123 → 92

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	143	1859
1	340	1616
2	1174	1609
3	3457	1609
4	4741	1609
5	4943	1609

prune28.0ms (0.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	92	5	97

Error

Counts

97 → 5

Compiler

Compiled 697 to 285 computations (59.1% saved)

localize2.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

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

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune1.0ms (0%)

Pruning

5 alts after pruning (1 fresh and 4 done)

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

Error

Counts

5 → 5

Compiler

Compiled 0 to 0 computations (0% saved)

regimes788.0ms (22.7%)

Accuracy

Total 0.4b remaining (80.3%)

Threshold costs 0.4b (80.3%)

Compiler

Compiled 2606 to 1971 computations (24.4% saved)

bsearch36.0ms (1%)

Steps

Iters	Range		Point
2	-2.395888804154242e-289	1.6304043454748802e-245	2.349185377681866e-307

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary64`
6×	`+-commutative_binary64`
5×	`neg-sub0_binary64` `sub-neg_binary64`
4×	`neg-mul-1_binary64`
1×	`mul-1-neg_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft-neg-out_binary64` `distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `unpow1_binary64` `e-exp-1_binary64` `1-exp_binary64` `exp-1-e_binary64` `exp-0_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `unsub-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-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	29
1	25	29
2	34	29
3	41	29
4	47	29
5	50	29
6	51	29
7	51	29

end1.0ms (0%)

Compiler: Compiled 19 to 14 computations (26.3% saved)

sample875.0ms (25.2%)

Algorithm

1×

intervals

Results

299.0ms	8000×	body	128	valid
74.0ms	1829×	body	128	nan
25.0ms	708×	body	128	invalid

Compiler

Compiled 93 to 88 computations (5.4% saved)

Details

analyze615.0ms (17.7%)

sample24.0ms (0.7%)

simplify387.0ms (11.2%)

prune1.0ms (0%)

localize7.0ms (0.2%)

rewrite59.0ms (1.7%)

series98.0ms (2.8%)

simplify113.0ms (3.3%)

prune31.0ms (0.9%)

localize3.0ms (0.1%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify8.0ms (0.2%)

prune2.0ms (0.1%)

localize8.0ms (0.2%)

rewrite88.0ms (2.5%)

series153.0ms (4.4%)

simplify124.0ms (3.6%)

prune28.0ms (0.8%)

localize2.0ms (0.1%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify8.0ms (0.2%)

prune1.0ms (0%)

regimes788.0ms (22.7%)

bsearch36.0ms (1%)

simplify5.0ms (0.1%)

end1.0ms (0%)

sample875.0ms (25.2%)

Profiling