Details

analyze1.9s (3.2%)

Algorithm

1×	search
2×	egg-herbie

Rules

388×	`associate-+l+_binary64_2057`
318×	`exp-sum_binary64_2170`
296×	`associate-+r+_binary64_2056`
271×	`distribute-rgt-in_binary64_2074`
266×	`distribute-lft-in_binary64_2073`
224×	`associate-r_binary64_2064`
209×	`associate-l_binary64_2065`
206×	`associate-/r/_binary64_2070`
167×	`distribute-rgt-out_binary64_2077`
163×	`exp-diff_binary64_2172`
143×	`sub-neg_binary64_2117`
117×	`+-commutative_binary64_2054`
100×	`distribute-lft-out_binary64_2075`
93×	`distribute-neg-in_binary64_2085`
92×	`div-sub_binary64_2129`
86×	`*-commutative_binary64_2055`
57×	`associate-*r/_binary64_2066`
54×	`associate--l+_binary64_2061` `associate-+r-_binary64_2058`
51×	`associate-*l/_binary64_2067` `associate--l-_binary64_2062`
48×	`associate-+l-_binary64_2059`
36×	`associate--r+_binary64_2060`
32×	`associate-/l/_binary64_2071`
30×	`exp-prod_binary64_2176`
24×	`*-rgt-identity_binary64_2114`
22×	`*-lft-identity_binary64_2113`
21×	`associate-/r*_binary64_2068`
19×	`neg-mul-1_binary64_2120` `neg-sub0_binary64_2119`
15×	`associate--r-_binary64_2063`
12×	`times-frac_binary64_2130` `associate-/l*_binary64_2069`
11×	`sqr-pow_binary64_2096`
9×	`unswap-sqr_binary64_2092`
8×	`rec-exp_binary64_2174` `cancel-sign-sub-inv_binary64_2090`
6×	`pow-sqr_binary64_2097`
4×	`div-exp_binary64_2175` `unsub-neg_binary64_2118`
3×	`--rgt-identity_binary64_2110`
2×	`remove-double-neg_binary64_2112` `distribute-lft-neg-in_binary64_2081`
1×	`unpow3_binary64_2190` `exp-neg_binary64_2171` `1-exp_binary64_2168` `exp-1-e_binary64_2167` `cube-unmult_binary64_2161` `/-rgt-identity_binary64_2115` `sub0-neg_binary64_2111` `+-rgt-identity_binary64_2109` `distribute-lft-neg-out_binary64_2083` `distribute-rgt-neg-in_binary64_2082` `distribute-rgt1-in_binary64_2080`
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_2387` `erf-erfc_binary64_2386` `erf-odd_binary64_2385` `if-if-and-not_binary64_2384` `if-if-and_binary64_2383` `if-if-or-not_binary64_2382` `if-if-or_binary64_2381` `if-not_binary64_2380` `if-same_binary64_2379` `if-false_binary64_2378` `if-true_binary64_2377` `not-gte_binary64_2376` `not-lte_binary64_2375` `not-gt_binary64_2374` `not-lt_binary64_2373` `gte-same_binary64_2372` `lte-same_binary64_2371` `gt-same_binary64_2370` `lt-same_binary64_2369` `sinh---cosh_binary64_2316` `sinh-+-cosh_binary64_2315` `sinh-cosh_binary64_2314` `tanh-def-c_binary64_2313` `tanh-def-b_binary64_2312` `tanh-def-a_binary64_2311` `cosh-def_binary64_2310` `sinh-def_binary64_2309` `tan-neg_binary64_2256` `cos-neg_binary64_2255` `sin-neg_binary64_2254` `tan-0_binary64_2253` `cos-0_binary64_2252` `sin-0_binary64_2251` `hang-m-tan_binary64_2250` `hang-p-tan_binary64_2249` `hang-m0-tan_binary64_2248` `hang-p0-tan_binary64_2247` `hang-0m-tan_binary64_2246` `hang-0p-tan_binary64_2245` `tan-+PI/2_binary64_2244` `tan-+PI_binary64_2243` `tan-PI_binary64_2242` `tan-PI/3_binary64_2241` `tan-PI/4_binary64_2240` `tan-PI/6_binary64_2239` `cos-+PI/2_binary64_2238` `cos-+PI_binary64_2237` `cos-PI_binary64_2236` `cos-PI/2_binary64_2235` `cos-PI/3_binary64_2234` `cos-PI/4_binary64_2233` `cos-PI/6_binary64_2232` `sin-+PI/2_binary64_2231` `sin-+PI_binary64_2230` `sin-PI_binary64_2229` `sin-PI/2_binary64_2228` `sin-PI/3_binary64_2227` `sin-PI/4_binary64_2226` `sin-PI/6_binary64_2225` `sub-1-sin_binary64_2224` `sub-1-cos_binary64_2223` `-1-add-sin_binary64_2222` `-1-add-cos_binary64_2221` `1-sub-sin_binary64_2220` `1-sub-cos_binary64_2219` `cos-sin-sum_binary64_2218` `log-E_binary64_2214` `log-pow_binary64_2213` `log-rec_binary64_2212` `log-div_binary64_2211` `log-prod_binary64_2210` `pow-base-0_binary64_2208` `unpow1/3_binary64_2191` `unpow2_binary64_2189` `unpow1/2_binary64_2188` `pow-plus_binary64_2187` `exp-to-pow_binary64_2186` `pow-base-1_binary64_2184` `unpow0_binary64_2183` `unpow1_binary64_2182` `unpow-1_binary64_2181` `exp-lft-cube_binary64_2180` `exp-lft-sqr_binary64_2179` `exp-cbrt_binary64_2178` `exp-sqrt_binary64_2177` `prod-exp_binary64_2173` `e-exp-1_binary64_2169` `exp-0_binary64_2166` `rem-log-exp_binary64_2165` `rem-exp-log_binary64_2164` `cube-mult_binary64_2154` `cube-div_binary64_2153` `cube-prod_binary64_2152` `cube-neg_binary64_2151` `rem-3cbrt-rft_binary64_2150` `rem-3cbrt-lft_binary64_2149` `rem-cbrt-cube_binary64_2148` `rem-cube-cbrt_binary64_2147` `sqr-abs_binary64_2139` `sqr-neg_binary64_2138` `rem-sqrt-square_binary64_2137` `rem-square-sqrt_binary64_2136` `mul-1-neg_binary64_2116` `+-lft-identity_binary64_2108` `mul0-rgt_binary64_2107` `mul0-lft_binary64_2106` `div0_binary64_2105` `*-inverses_binary64_2104` `+-inverses_binary64_2103` `lft-mult-inverse_binary64_2102` `rgt-mult-inverse_binary64_2101` `remove-double-div_binary64_2100` `difference-of-sqr--1_binary64_2095` `difference-of-sqr-1_binary64_2094` `difference-of-squares_binary64_2093` `swap-sqr_binary64_2091` `cancel-sign-sub_binary64_2089` `distribute-neg-frac_binary64_2088` `distribute-frac-neg_binary64_2087` `distribute-neg-out_binary64_2086` `distribute-rgt-neg-out_binary64_2084` `distribute-lft1-in_binary64_2079` `distribute-rgt-out--_binary64_2078` `distribute-lft-out--_binary64_2076` `count-2_binary64_2072`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	61	156
1	160	147
2	604	119
3	3400	115
4	4793	115
5	4804	115
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	74.9%	25.1%	0
0%	74.9%	25.1%	1
0%	74.9%	25.1%	2
18.7%	56.2%	25.1%	3
37.5%	37.5%	25.1%	4
42.1%	32.8%	25.1%	5
46.8%	28.1%	25.1%	6
48%	26.9%	25.1%	7
49.2%	25.8%	25.1%	8
49.5%	25.5%	25.1%	9
49.8%	25.2%	25.1%	10
49.8%	25.2%	25.1%	11
49.8%	25.1%	25.1%	12
49.9%	25%	25.1%	13
49.9%	25%	25.1%	14

Compiler

Compiled 126 to 112 computations (11.1% saved)

sample1.5s (2.6%)

Algorithm

1×

intervals

Results

1.4s	124×	body	8192	exit
78.0ms	256×	body	128	valid
6.0ms	383×	pre	128	true
1.0ms	3×	body	128	invalid

Compiler

Compiled 249 to 223 computations (10.4% saved)

simplify55.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

388×	`associate-+l+_binary64_2057`
318×	`exp-sum_binary64_2170`
296×	`associate-+r+_binary64_2056`
271×	`distribute-rgt-in_binary64_2074`
266×	`distribute-lft-in_binary64_2073`
224×	`associate-r_binary64_2064`
209×	`associate-l_binary64_2065`
206×	`associate-/r/_binary64_2070`
167×	`distribute-rgt-out_binary64_2077`
163×	`exp-diff_binary64_2172`
143×	`sub-neg_binary64_2117`
117×	`+-commutative_binary64_2054`
100×	`distribute-lft-out_binary64_2075`
93×	`distribute-neg-in_binary64_2085`
92×	`div-sub_binary64_2129`
86×	`*-commutative_binary64_2055`
57×	`associate-*r/_binary64_2066`
54×	`associate--l+_binary64_2061` `associate-+r-_binary64_2058`
51×	`associate-*l/_binary64_2067` `associate--l-_binary64_2062`
48×	`associate-+l-_binary64_2059`
36×	`associate--r+_binary64_2060`
32×	`associate-/l/_binary64_2071`
30×	`exp-prod_binary64_2176`
24×	`*-rgt-identity_binary64_2114`
22×	`*-lft-identity_binary64_2113`
21×	`associate-/r*_binary64_2068`
19×	`neg-mul-1_binary64_2120` `neg-sub0_binary64_2119`
15×	`associate--r-_binary64_2063`
12×	`times-frac_binary64_2130` `associate-/l*_binary64_2069`
11×	`sqr-pow_binary64_2096`
9×	`unswap-sqr_binary64_2092`
8×	`rec-exp_binary64_2174` `cancel-sign-sub-inv_binary64_2090`
6×	`pow-sqr_binary64_2097`
4×	`div-exp_binary64_2175` `unsub-neg_binary64_2118`
3×	`--rgt-identity_binary64_2110`
2×	`remove-double-neg_binary64_2112` `distribute-lft-neg-in_binary64_2081`
1×	`unpow3_binary64_2190` `exp-neg_binary64_2171` `1-exp_binary64_2168` `exp-1-e_binary64_2167` `cube-unmult_binary64_2161` `/-rgt-identity_binary64_2115` `sub0-neg_binary64_2111` `+-rgt-identity_binary64_2109` `distribute-lft-neg-out_binary64_2083` `distribute-rgt-neg-in_binary64_2082` `distribute-rgt1-in_binary64_2080`
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_2387` `erf-erfc_binary64_2386` `erf-odd_binary64_2385` `if-if-and-not_binary64_2384` `if-if-and_binary64_2383` `if-if-or-not_binary64_2382` `if-if-or_binary64_2381` `if-not_binary64_2380` `if-same_binary64_2379` `if-false_binary64_2378` `if-true_binary64_2377` `not-gte_binary64_2376` `not-lte_binary64_2375` `not-gt_binary64_2374` `not-lt_binary64_2373` `gte-same_binary64_2372` `lte-same_binary64_2371` `gt-same_binary64_2370` `lt-same_binary64_2369` `sinh---cosh_binary64_2316` `sinh-+-cosh_binary64_2315` `sinh-cosh_binary64_2314` `tanh-def-c_binary64_2313` `tanh-def-b_binary64_2312` `tanh-def-a_binary64_2311` `cosh-def_binary64_2310` `sinh-def_binary64_2309` `tan-neg_binary64_2256` `cos-neg_binary64_2255` `sin-neg_binary64_2254` `tan-0_binary64_2253` `cos-0_binary64_2252` `sin-0_binary64_2251` `hang-m-tan_binary64_2250` `hang-p-tan_binary64_2249` `hang-m0-tan_binary64_2248` `hang-p0-tan_binary64_2247` `hang-0m-tan_binary64_2246` `hang-0p-tan_binary64_2245` `tan-+PI/2_binary64_2244` `tan-+PI_binary64_2243` `tan-PI_binary64_2242` `tan-PI/3_binary64_2241` `tan-PI/4_binary64_2240` `tan-PI/6_binary64_2239` `cos-+PI/2_binary64_2238` `cos-+PI_binary64_2237` `cos-PI_binary64_2236` `cos-PI/2_binary64_2235` `cos-PI/3_binary64_2234` `cos-PI/4_binary64_2233` `cos-PI/6_binary64_2232` `sin-+PI/2_binary64_2231` `sin-+PI_binary64_2230` `sin-PI_binary64_2229` `sin-PI/2_binary64_2228` `sin-PI/3_binary64_2227` `sin-PI/4_binary64_2226` `sin-PI/6_binary64_2225` `sub-1-sin_binary64_2224` `sub-1-cos_binary64_2223` `-1-add-sin_binary64_2222` `-1-add-cos_binary64_2221` `1-sub-sin_binary64_2220` `1-sub-cos_binary64_2219` `cos-sin-sum_binary64_2218` `log-E_binary64_2214` `log-pow_binary64_2213` `log-rec_binary64_2212` `log-div_binary64_2211` `log-prod_binary64_2210` `pow-base-0_binary64_2208` `unpow1/3_binary64_2191` `unpow2_binary64_2189` `unpow1/2_binary64_2188` `pow-plus_binary64_2187` `exp-to-pow_binary64_2186` `pow-base-1_binary64_2184` `unpow0_binary64_2183` `unpow1_binary64_2182` `unpow-1_binary64_2181` `exp-lft-cube_binary64_2180` `exp-lft-sqr_binary64_2179` `exp-cbrt_binary64_2178` `exp-sqrt_binary64_2177` `prod-exp_binary64_2173` `e-exp-1_binary64_2169` `exp-0_binary64_2166` `rem-log-exp_binary64_2165` `rem-exp-log_binary64_2164` `cube-mult_binary64_2154` `cube-div_binary64_2153` `cube-prod_binary64_2152` `cube-neg_binary64_2151` `rem-3cbrt-rft_binary64_2150` `rem-3cbrt-lft_binary64_2149` `rem-cbrt-cube_binary64_2148` `rem-cube-cbrt_binary64_2147` `sqr-abs_binary64_2139` `sqr-neg_binary64_2138` `rem-sqrt-square_binary64_2137` `rem-square-sqrt_binary64_2136` `mul-1-neg_binary64_2116` `+-lft-identity_binary64_2108` `mul0-rgt_binary64_2107` `mul0-lft_binary64_2106` `div0_binary64_2105` `*-inverses_binary64_2104` `+-inverses_binary64_2103` `lft-mult-inverse_binary64_2102` `rgt-mult-inverse_binary64_2101` `remove-double-div_binary64_2100` `difference-of-sqr--1_binary64_2095` `difference-of-sqr-1_binary64_2094` `difference-of-squares_binary64_2093` `swap-sqr_binary64_2091` `cancel-sign-sub_binary64_2089` `distribute-neg-frac_binary64_2088` `distribute-frac-neg_binary64_2087` `distribute-neg-out_binary64_2086` `distribute-rgt-neg-out_binary64_2084` `distribute-lft1-in_binary64_2079` `distribute-rgt-out--_binary64_2078` `distribute-lft-out--_binary64_2076` `count-2_binary64_2072`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	61	156
1	160	147
2	604	119
3	3400	115
4	4793	115
5	4804	115

prune14.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

1.8b

Counts

2 → 2

Compiler

Compiled 271 to 232 computations (14.4% saved)

localize68.0ms (0.1%)

Local error

Found 4 expressions with local error:

4.4b	(-.f64 (-.f64 1 z) 1)
4.4b	(-.f64 (-.f64 1 z) 1)
4.4b	(-.f64 (-.f64 1 z) 1)
4.4b	(-.f64 (-.f64 1 z) 1)

rewrite1.2s (2%)

Algorithm

1×	rewrite-expression-head

Error

1.8b

Rules

36×	`*-un-lft-identity_binary64_2124`
28×	`add-sqr-sqrt_binary64_2146`
24×	`add-log-exp_binary64_2163` `cancel-sign-sub-inv_binary64_2090`
16×	`associate--l+_binary64_2061`
12×	`diff-log_binary64_2216` `add-cube-cbrt_binary64_2159` `distribute-lft-out--_binary64_2076`
8×	`sub-neg_binary64_2117` `difference-of-squares_binary64_2093`
4×	`pow1_binary64_2185` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160` `flip3--_binary64_2128` `flip--_binary64_2099` `difference-of-sqr-1_binary64_2094` `associate--l-_binary64_2062`

Counts

4 → 100

Calls

4 calls:

14.0ms	(-.f64 (-.f64 1 z) 1)
10.0ms	(-.f64 (-.f64 1 z) 1)
10.0ms	(-.f64 (-.f64 1 z) 1)
9.0ms	(-.f64 (-.f64 1 z) 1)

Compiler

Compiled 11372 to 9694 computations (14.8% saved)

series220.0ms (0.4%)

Error

1.8b

Counts

4 → 12

Calls

4 calls:

49.0ms	(-.f64 (-.f64 1 z) 1)
48.0ms	(-.f64 (-.f64 1 z) 1)
47.0ms	(-.f64 (-.f64 1 z) 1)
47.0ms	(-.f64 (-.f64 1 z) 1)

Compiler

Compiled 3388 to 3009 computations (11.2% saved)

simplify104.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

547×	`distribute-rgt-in_binary64_2074`
455×	`distribute-lft-in_binary64_2073`
385×	`sub-neg_binary64_2117`
314×	`difference-of-squares_binary64_2093`
305×	`associate-+l+_binary64_2057`
241×	`neg-sub0_binary64_2119`
229×	`neg-mul-1_binary64_2120`
219×	`associate-+r+_binary64_2056`
175×	`sqr-pow_binary64_2096`
138×	`exp-sum_binary64_2170`
137×	`associate-+l-_binary64_2059`
132×	`*-commutative_binary64_2055`
114×	`exp-prod_binary64_2176`
106×	`remove-double-neg_binary64_2112`
105×	`div-sub_binary64_2129` `distribute-lft-neg-out_binary64_2083`
104×	`unswap-sqr_binary64_2092`
102×	`times-frac_binary64_2130`
101×	`distribute-rgt-out_binary64_2077`
100×	`distribute-rgt-neg-out_binary64_2084`
86×	`exp-diff_binary64_2172`
85×	`associate-+r-_binary64_2058`
83×	`cube-prod_binary64_2152`
81×	`associate-l_binary64_2065`
79×	`log-prod_binary64_2210`
78×	`unsub-neg_binary64_2118`
77×	`associate-r_binary64_2064`
65×	`distribute-lft-out_binary64_2075` `associate--l+_binary64_2061`
54×	`cancel-sign-sub-inv_binary64_2090`
47×	`associate--r+_binary64_2060`
44×	`pow-sqr_binary64_2097`
39×	`+-commutative_binary64_2054`
36×	`mul0-rgt_binary64_2107` `mul0-lft_binary64_2106`
33×	`distribute-rgt-neg-in_binary64_2082`
32×	`*-rgt-identity_binary64_2114` `distribute-neg-in_binary64_2085`
29×	`swap-sqr_binary64_2091`
27×	`*-lft-identity_binary64_2113`
26×	`associate--l-_binary64_2062`
25×	`distribute-neg-out_binary64_2086`
20×	`difference-of-sqr--1_binary64_2095`
19×	`pow-plus_binary64_2187` `sub0-neg_binary64_2111` `distribute-lft-neg-in_binary64_2081`
16×	`unpow3_binary64_2190` `sqr-neg_binary64_2138`
15×	`div-exp_binary64_2175`
13×	`/-rgt-identity_binary64_2115`
12×	`mul-1-neg_binary64_2116` `associate--r-_binary64_2063`
10×	`cube-unmult_binary64_2161` `cube-mult_binary64_2154` `cancel-sign-sub_binary64_2089` `associate-/l_binary64_2069` `associate-r/_binary64_2066`
9×	`prod-exp_binary64_2173` `distribute-rgt1-in_binary64_2080`
8×	`cube-neg_binary64_2151` `rem-sqrt-square_binary64_2137` `difference-of-sqr-1_binary64_2094`
7×	`associate-/r_binary64_2068` `associate-l/_binary64_2067`
6×	`rec-exp_binary64_2174` `distribute-lft1-in_binary64_2079`
5×	`exp-neg_binary64_2171`
4×	`log-pow_binary64_2213` `associate-/r/_binary64_2070`
3×	`--rgt-identity_binary64_2110` `+-rgt-identity_binary64_2109` `distribute-rgt-out--_binary64_2078` `distribute-lft-out--_binary64_2076` `associate-/l/_binary64_2071`
2×	`unpow1/2_binary64_2188` `cube-div_binary64_2153` `rem-3cbrt-lft_binary64_2149`
1×	`1-exp_binary64_2168` `exp-1-e_binary64_2167` `rem-cbrt-cube_binary64_2148` `rem-square-sqrt_binary64_2136` `distribute-frac-neg_binary64_2087`
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_2387` `erf-erfc_binary64_2386` `erf-odd_binary64_2385` `if-if-and-not_binary64_2384` `if-if-and_binary64_2383` `if-if-or-not_binary64_2382` `if-if-or_binary64_2381` `if-not_binary64_2380` `if-same_binary64_2379` `if-false_binary64_2378` `if-true_binary64_2377` `not-gte_binary64_2376` `not-lte_binary64_2375` `not-gt_binary64_2374` `not-lt_binary64_2373` `gte-same_binary64_2372` `lte-same_binary64_2371` `gt-same_binary64_2370` `lt-same_binary64_2369` `sinh---cosh_binary64_2316` `sinh-+-cosh_binary64_2315` `sinh-cosh_binary64_2314` `tanh-def-c_binary64_2313` `tanh-def-b_binary64_2312` `tanh-def-a_binary64_2311` `cosh-def_binary64_2310` `sinh-def_binary64_2309` `tan-neg_binary64_2256` `cos-neg_binary64_2255` `sin-neg_binary64_2254` `tan-0_binary64_2253` `cos-0_binary64_2252` `sin-0_binary64_2251` `hang-m-tan_binary64_2250` `hang-p-tan_binary64_2249` `hang-m0-tan_binary64_2248` `hang-p0-tan_binary64_2247` `hang-0m-tan_binary64_2246` `hang-0p-tan_binary64_2245` `tan-+PI/2_binary64_2244` `tan-+PI_binary64_2243` `tan-PI_binary64_2242` `tan-PI/3_binary64_2241` `tan-PI/4_binary64_2240` `tan-PI/6_binary64_2239` `cos-+PI/2_binary64_2238` `cos-+PI_binary64_2237` `cos-PI_binary64_2236` `cos-PI/2_binary64_2235` `cos-PI/3_binary64_2234` `cos-PI/4_binary64_2233` `cos-PI/6_binary64_2232` `sin-+PI/2_binary64_2231` `sin-+PI_binary64_2230` `sin-PI_binary64_2229` `sin-PI/2_binary64_2228` `sin-PI/3_binary64_2227` `sin-PI/4_binary64_2226` `sin-PI/6_binary64_2225` `sub-1-sin_binary64_2224` `sub-1-cos_binary64_2223` `-1-add-sin_binary64_2222` `-1-add-cos_binary64_2221` `1-sub-sin_binary64_2220` `1-sub-cos_binary64_2219` `cos-sin-sum_binary64_2218` `log-E_binary64_2214` `log-rec_binary64_2212` `log-div_binary64_2211` `pow-base-0_binary64_2208` `unpow1/3_binary64_2191` `unpow2_binary64_2189` `exp-to-pow_binary64_2186` `pow-base-1_binary64_2184` `unpow0_binary64_2183` `unpow1_binary64_2182` `unpow-1_binary64_2181` `exp-lft-cube_binary64_2180` `exp-lft-sqr_binary64_2179` `exp-cbrt_binary64_2178` `exp-sqrt_binary64_2177` `e-exp-1_binary64_2169` `exp-0_binary64_2166` `rem-log-exp_binary64_2165` `rem-exp-log_binary64_2164` `rem-3cbrt-rft_binary64_2150` `rem-cube-cbrt_binary64_2147` `sqr-abs_binary64_2139` `+-lft-identity_binary64_2108` `div0_binary64_2105` `*-inverses_binary64_2104` `+-inverses_binary64_2103` `lft-mult-inverse_binary64_2102` `rgt-mult-inverse_binary64_2101` `remove-double-div_binary64_2100` `distribute-neg-frac_binary64_2088` `count-2_binary64_2072`

Counts

112 → 100

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	54	1032
1	107	772
2	209	728
3	775	720
4	3390	704
5	4184	704
6	5392	704

prune482.0ms (0.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

1.8b

Counts

102 → 2

Compiler

Compiled 6074 to 5101 computations (16% saved)

localize56.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(.f64 (.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
1.0b	(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z)))
1.0b	(sqrt.f64 (*.f64 PI.f64 2))
2.6b	(+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))

rewrite916.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

45×	`*-un-lft-identity_binary64_2124`
44×	`add-log-exp_binary64_2163` `frac-add_binary64_2132`
31×	`sum-log_binary64_2215` `distribute-lft-out_binary64_2075`
10×	`add-exp-log_binary64_2162`
9×	`pow1_binary64_2185` `add-cbrt-cube_binary64_2160` `flip3-+_binary64_2127` `flip-+_binary64_2098`
7×	`prod-exp_binary64_2173`
5×	`add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146`
4×	`associate-r_binary64_2064`
3×	`cbrt-unprod_binary64_2157`
2×	`associate-+l+_binary64_2057` `+-commutative_binary64_2054` `pow-prod-down_binary64_2195` `sqrt-pow1_binary64_2142`
1×	`pow1/2_binary64_2204` `sqrt-prod_binary64_2140` `pow-to-exp_binary64_2193` `pow-exp_binary64_2192` `pow-sub_binary64_2200` `associate-r/_binary64_2066` `associate-l/_binary64_2067` `associate-l_binary64_2065` `exp-sum_binary64_2170` `*-commutative_binary64_2055`

Counts

4 → 86

Calls

4 calls:

101.0ms	(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z)))
23.0ms	(+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))
17.0ms	(.f64 (.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
2.0ms	(sqrt.f64 (*.f64 PI.f64 2))

Compiler

Compiled 9153 to 7239 computations (20.9% saved)

series530.0ms (0.9%)

Error

0.3b

Counts

4 → 22

Calls

4 calls:

284.0ms	(.f64 (.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
121.0ms	(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z)))
44.0ms	(+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))
0.0ms	(sqrt.f64 (*.f64 PI.f64 2))

Compiler

Compiled 3266 to 2624 computations (19.7% saved)

simplify155.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

638×	`associate-l_binary64_2065`
503×	`associate-r_binary64_2064`
368×	`distribute-rgt-in_binary64_2074`
340×	`distribute-lft-in_binary64_2073`
215×	`*-commutative_binary64_2055`
90×	`+-commutative_binary64_2054`
76×	`associate-*r/_binary64_2066`
65×	`associate-*l/_binary64_2067`
63×	`sub-neg_binary64_2117`
54×	`cancel-sign-sub-inv_binary64_2090`
47×	`sqr-pow_binary64_2096`
33×	`neg-mul-1_binary64_2120` `neg-sub0_binary64_2119`
29×	`distribute-neg-frac_binary64_2088` `distribute-rgt-neg-in_binary64_2082`
22×	`unpow3_binary64_2190` `cube-mult_binary64_2154` `distribute-neg-in_binary64_2085`
20×	`prod-exp_binary64_2173` `associate-/l*_binary64_2069`
17×	`distribute-rgt-out_binary64_2077`
15×	`distribute-lft-neg-in_binary64_2081` `associate-+r+_binary64_2056`
14×	`distribute-lft-neg-out_binary64_2083`
10×	`exp-prod_binary64_2176` `associate--l+_binary64_2061`
9×	`log-prod_binary64_2210`
8×	`exp-sum_binary64_2170` `swap-sqr_binary64_2091` `distribute-rgt-out--_binary64_2078` `associate-+l+_binary64_2057`
7×	`cube-div_binary64_2153` `associate-+r-_binary64_2058`
6×	`cube-unmult_binary64_2161` `difference-of-squares_binary64_2093`
3×	`unswap-sqr_binary64_2092`
2×	`log-pow_binary64_2213` `unpow2_binary64_2189` `unpow1_binary64_2182` `-rgt-identity_binary64_2114` `pow-sqr_binary64_2097` `associate-/r_binary64_2068` `associate--r+_binary64_2060`
1×	`log-div_binary64_2211` `unpow1/2_binary64_2188` `exp-to-pow_binary64_2186` `exp-diff_binary64_2172` `1-exp_binary64_2168` `rem-log-exp_binary64_2165` `rem-exp-log_binary64_2164` `rem-sqrt-square_binary64_2137` `rem-square-sqrt_binary64_2136` `div-sub_binary64_2129` `distribute-lft-out--_binary64_2076` `count-2_binary64_2072`
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_2387` `erf-erfc_binary64_2386` `erf-odd_binary64_2385` `if-if-and-not_binary64_2384` `if-if-and_binary64_2383` `if-if-or-not_binary64_2382` `if-if-or_binary64_2381` `if-not_binary64_2380` `if-same_binary64_2379` `if-false_binary64_2378` `if-true_binary64_2377` `not-gte_binary64_2376` `not-lte_binary64_2375` `not-gt_binary64_2374` `not-lt_binary64_2373` `gte-same_binary64_2372` `lte-same_binary64_2371` `gt-same_binary64_2370` `lt-same_binary64_2369` `sinh---cosh_binary64_2316` `sinh-+-cosh_binary64_2315` `sinh-cosh_binary64_2314` `tanh-def-c_binary64_2313` `tanh-def-b_binary64_2312` `tanh-def-a_binary64_2311` `cosh-def_binary64_2310` `sinh-def_binary64_2309` `tan-neg_binary64_2256` `cos-neg_binary64_2255` `sin-neg_binary64_2254` `tan-0_binary64_2253` `cos-0_binary64_2252` `sin-0_binary64_2251` `hang-m-tan_binary64_2250` `hang-p-tan_binary64_2249` `hang-m0-tan_binary64_2248` `hang-p0-tan_binary64_2247` `hang-0m-tan_binary64_2246` `hang-0p-tan_binary64_2245` `tan-+PI/2_binary64_2244` `tan-+PI_binary64_2243` `tan-PI_binary64_2242` `tan-PI/3_binary64_2241` `tan-PI/4_binary64_2240` `tan-PI/6_binary64_2239` `cos-+PI/2_binary64_2238` `cos-+PI_binary64_2237` `cos-PI_binary64_2236` `cos-PI/2_binary64_2235` `cos-PI/3_binary64_2234` `cos-PI/4_binary64_2233` `cos-PI/6_binary64_2232` `sin-+PI/2_binary64_2231` `sin-+PI_binary64_2230` `sin-PI_binary64_2229` `sin-PI/2_binary64_2228` `sin-PI/3_binary64_2227` `sin-PI/4_binary64_2226` `sin-PI/6_binary64_2225` `sub-1-sin_binary64_2224` `sub-1-cos_binary64_2223` `-1-add-sin_binary64_2222` `-1-add-cos_binary64_2221` `1-sub-sin_binary64_2220` `1-sub-cos_binary64_2219` `cos-sin-sum_binary64_2218` `log-E_binary64_2214` `log-rec_binary64_2212` `pow-base-0_binary64_2208` `unpow1/3_binary64_2191` `pow-plus_binary64_2187` `pow-base-1_binary64_2184` `unpow0_binary64_2183` `unpow-1_binary64_2181` `exp-lft-cube_binary64_2180` `exp-lft-sqr_binary64_2179` `exp-cbrt_binary64_2178` `exp-sqrt_binary64_2177` `div-exp_binary64_2175` `rec-exp_binary64_2174` `exp-neg_binary64_2171` `e-exp-1_binary64_2169` `exp-1-e_binary64_2167` `exp-0_binary64_2166` `cube-prod_binary64_2152` `cube-neg_binary64_2151` `rem-3cbrt-rft_binary64_2150` `rem-3cbrt-lft_binary64_2149` `rem-cbrt-cube_binary64_2148` `rem-cube-cbrt_binary64_2147` `sqr-abs_binary64_2139` `sqr-neg_binary64_2138` `times-frac_binary64_2130` `unsub-neg_binary64_2118` `mul-1-neg_binary64_2116` `/-rgt-identity_binary64_2115` `-lft-identity_binary64_2113` `remove-double-neg_binary64_2112` `sub0-neg_binary64_2111` `--rgt-identity_binary64_2110` `+-rgt-identity_binary64_2109` `+-lft-identity_binary64_2108` `mul0-rgt_binary64_2107` `mul0-lft_binary64_2106` `div0_binary64_2105` `-inverses_binary64_2104` `+-inverses_binary64_2103` `lft-mult-inverse_binary64_2102` `rgt-mult-inverse_binary64_2101` `remove-double-div_binary64_2100` `difference-of-sqr--1_binary64_2095` `difference-of-sqr-1_binary64_2094` `cancel-sign-sub_binary64_2089` `distribute-frac-neg_binary64_2087` `distribute-neg-out_binary64_2086` `distribute-rgt-neg-out_binary64_2084` `distribute-rgt1-in_binary64_2080` `distribute-lft1-in_binary64_2079` `distribute-lft-out_binary64_2075` `associate-/l/_binary64_2071` `associate-/r/_binary64_2070` `associate--r-_binary64_2063` `associate--l-_binary64_2062` `associate-+l-_binary64_2059`

Counts

108 → 86

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	508	8619
1	1402	8306
2	5189	8306

prune563.0ms (1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	82	4	86
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	83	5	88

Error

0.2b

Counts

88 → 5

Compiler

Compiled 8205 to 6507 computations (20.7% saved)

localize34.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z)))
0.4b	(.f64 (.f64 z z) 2533639962396748701166118939/4648579506574807007232000)
1.0b	(.f64 (.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
1.0b	(sqrt.f64 (*.f64 PI.f64 2))

rewrite280.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

17×	`add-exp-log_binary64_2162`
16×	`add-cbrt-cube_binary64_2160`
15×	`add-sqr-sqrt_binary64_2146`
14×	`pow1_binary64_2185` `add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
10×	`prod-exp_binary64_2173`
9×	`times-frac_binary64_2130`
7×	`associate-r_binary64_2064`
6×	`cbrt-unprod_binary64_2157`
5×	`pow-prod-down_binary64_2195`
4×	`add-log-exp_binary64_2163`
3×	`associate-/l_binary64_2069` `associate-/r_binary64_2068`
2×	`sqrt-pow1_binary64_2142` `associate-l_binary64_2065` `*-commutative_binary64_2055`
1×	`pow1/2_binary64_2204` `sqrt-prod_binary64_2140` `pow-to-exp_binary64_2193` `pow-exp_binary64_2192` `pow-sub_binary64_2200` `associate-r/_binary64_2066` `associate-l/_binary64_2067` `exp-sum_binary64_2170` `unswap-sqr_binary64_2092` `div-exp_binary64_2175` `cbrt-undiv_binary64_2158` `frac-2neg_binary64_2135` `clear-num_binary64_2123` `div-inv_binary64_2121`

Counts

4 → 78

Calls

4 calls:

17.0ms	(.f64 (.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
6.0ms	(.f64 (.f64 z z) 2533639962396748701166118939/4648579506574807007232000)
4.0ms	(/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z)))
3.0ms	(sqrt.f64 (*.f64 PI.f64 2))

Compiler

Compiled 3583 to 2309 computations (35.6% saved)

series399.0ms (0.7%)

Error

0.1b

Counts

4 → 12

Calls

4 calls:

265.0ms	(.f64 (.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
60.0ms	(/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z)))
40.0ms	(.f64 (.f64 z z) 2533639962396748701166118939/4648579506574807007232000)
0.0ms	(sqrt.f64 (*.f64 PI.f64 2))

Compiler

Compiled 1685 to 1334 computations (20.8% saved)

simplify117.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

310×	`associate-l_binary64_2065`
270×	`cancel-sign-sub-inv_binary64_2090`
258×	`associate-r_binary64_2064`
216×	`associate-/l*_binary64_2069`
187×	`unswap-sqr_binary64_2092`
158×	`*-commutative_binary64_2055`
153×	`associate-*r/_binary64_2066`
138×	`associate-*l/_binary64_2067`
137×	`exp-prod_binary64_2176`
134×	`times-frac_binary64_2130`
128×	`sub-neg_binary64_2117`
126×	`associate-+l+_binary64_2057`
123×	`log-prod_binary64_2210`
118×	`sqr-pow_binary64_2096`
80×	`associate-+r+_binary64_2056`
70×	`+-commutative_binary64_2054`
69×	`distribute-rgt-neg-in_binary64_2082`
66×	`prod-exp_binary64_2173`
65×	`neg-mul-1_binary64_2120` `neg-sub0_binary64_2119` `distribute-lft-neg-in_binary64_2081`
62×	`cube-prod_binary64_2152`
58×	`exp-sum_binary64_2170` `associate--l+_binary64_2061`
55×	`swap-sqr_binary64_2091`
53×	`distribute-neg-frac_binary64_2088`
48×	`associate-/l/_binary64_2071`
43×	`log-div_binary64_2211`
40×	`distribute-lft-out_binary64_2075`
39×	`unpow3_binary64_2190`
36×	`associate-/r*_binary64_2068`
34×	`unsub-neg_binary64_2118`
31×	`log-pow_binary64_2213`
28×	`pow-sqr_binary64_2097`
26×	`*-lft-identity_binary64_2113`
25×	`*-rgt-identity_binary64_2114`
24×	`distribute-lft-out--_binary64_2076`
23×	`distribute-rgt-out_binary64_2077`
22×	`associate-+l-_binary64_2059`
20×	`cube-div_binary64_2153` `associate-/r/_binary64_2070`
19×	`associate-+r-_binary64_2058`
18×	`associate--r+_binary64_2060`
13×	`cube-unmult_binary64_2161`
12×	`exp-diff_binary64_2172` `div-sub_binary64_2129` `distribute-rgt-out--_binary64_2078`
11×	`cube-mult_binary64_2154`
10×	`unpow1/2_binary64_2188` `pow-plus_binary64_2187` `exp-to-pow_binary64_2186`
9×	`+-rgt-identity_binary64_2109`
8×	`distribute-rgt-in_binary64_2074`
7×	`div-exp_binary64_2175`
6×	`log-rec_binary64_2212` `/-rgt-identity_binary64_2115` `distribute-lft-in_binary64_2073`
5×	`rem-log-exp_binary64_2165` `sub0-neg_binary64_2111` `distribute-lft-neg-out_binary64_2083`
4×	`rem-sqrt-square_binary64_2137` `count-2_binary64_2072`
3×	`unpow2_binary64_2189` `unpow1_binary64_2182`
2×	`exp-sqrt_binary64_2177` `rec-exp_binary64_2174` `exp-neg_binary64_2171` `rem-exp-log_binary64_2164` `distribute-neg-in_binary64_2085` `distribute-rgt-neg-out_binary64_2084` `associate--l-_binary64_2062`
1×	`log-E_binary64_2214` `1-exp_binary64_2168` `exp-1-e_binary64_2167` `rem-square-sqrt_binary64_2136` `cancel-sign-sub_binary64_2089` `distribute-rgt1-in_binary64_2080` `distribute-lft1-in_binary64_2079` `associate--r-_binary64_2063`
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_2387` `erf-erfc_binary64_2386` `erf-odd_binary64_2385` `if-if-and-not_binary64_2384` `if-if-and_binary64_2383` `if-if-or-not_binary64_2382` `if-if-or_binary64_2381` `if-not_binary64_2380` `if-same_binary64_2379` `if-false_binary64_2378` `if-true_binary64_2377` `not-gte_binary64_2376` `not-lte_binary64_2375` `not-gt_binary64_2374` `not-lt_binary64_2373` `gte-same_binary64_2372` `lte-same_binary64_2371` `gt-same_binary64_2370` `lt-same_binary64_2369` `sinh---cosh_binary64_2316` `sinh-+-cosh_binary64_2315` `sinh-cosh_binary64_2314` `tanh-def-c_binary64_2313` `tanh-def-b_binary64_2312` `tanh-def-a_binary64_2311` `cosh-def_binary64_2310` `sinh-def_binary64_2309` `tan-neg_binary64_2256` `cos-neg_binary64_2255` `sin-neg_binary64_2254` `tan-0_binary64_2253` `cos-0_binary64_2252` `sin-0_binary64_2251` `hang-m-tan_binary64_2250` `hang-p-tan_binary64_2249` `hang-m0-tan_binary64_2248` `hang-p0-tan_binary64_2247` `hang-0m-tan_binary64_2246` `hang-0p-tan_binary64_2245` `tan-+PI/2_binary64_2244` `tan-+PI_binary64_2243` `tan-PI_binary64_2242` `tan-PI/3_binary64_2241` `tan-PI/4_binary64_2240` `tan-PI/6_binary64_2239` `cos-+PI/2_binary64_2238` `cos-+PI_binary64_2237` `cos-PI_binary64_2236` `cos-PI/2_binary64_2235` `cos-PI/3_binary64_2234` `cos-PI/4_binary64_2233` `cos-PI/6_binary64_2232` `sin-+PI/2_binary64_2231` `sin-+PI_binary64_2230` `sin-PI_binary64_2229` `sin-PI/2_binary64_2228` `sin-PI/3_binary64_2227` `sin-PI/4_binary64_2226` `sin-PI/6_binary64_2225` `sub-1-sin_binary64_2224` `sub-1-cos_binary64_2223` `-1-add-sin_binary64_2222` `-1-add-cos_binary64_2221` `1-sub-sin_binary64_2220` `1-sub-cos_binary64_2219` `cos-sin-sum_binary64_2218` `pow-base-0_binary64_2208` `unpow1/3_binary64_2191` `pow-base-1_binary64_2184` `unpow0_binary64_2183` `unpow-1_binary64_2181` `exp-lft-cube_binary64_2180` `exp-lft-sqr_binary64_2179` `exp-cbrt_binary64_2178` `e-exp-1_binary64_2169` `exp-0_binary64_2166` `cube-neg_binary64_2151` `rem-3cbrt-rft_binary64_2150` `rem-3cbrt-lft_binary64_2149` `rem-cbrt-cube_binary64_2148` `rem-cube-cbrt_binary64_2147` `sqr-abs_binary64_2139` `sqr-neg_binary64_2138` `mul-1-neg_binary64_2116` `remove-double-neg_binary64_2112` `--rgt-identity_binary64_2110` `+-lft-identity_binary64_2108` `mul0-rgt_binary64_2107` `mul0-lft_binary64_2106` `div0_binary64_2105` `*-inverses_binary64_2104` `+-inverses_binary64_2103` `lft-mult-inverse_binary64_2102` `rgt-mult-inverse_binary64_2101` `remove-double-div_binary64_2100` `difference-of-sqr--1_binary64_2095` `difference-of-sqr-1_binary64_2094` `difference-of-squares_binary64_2093` `distribute-frac-neg_binary64_2087` `distribute-neg-out_binary64_2086`

Counts

90 → 49

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	207	1924
1	477	1715
2	1609	1669
3	3403	1669
4	4841	1669
5	4951	1669

prune123.0ms (0.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	44	5	49
Fresh	2	1	3
Picked	1	0	1
Done	0	1	1
Total	47	7	54

Error

0.0b

Counts

54 → 7

Compiler

Compiled 1865 to 1313 computations (29.6% saved)

localize37.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 (.f64 z z) 2533639962396748701166118939/4648579506574807007232000)
0.4b	(.f64 1/6 (.f64 z (pow.f64 PI.f64 2)))
1.0b	(.f64 (.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
1.0b	(sqrt.f64 (*.f64 PI.f64 2))

rewrite279.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`add-exp-log_binary64_2162`
19×	`add-cbrt-cube_binary64_2160`
17×	`prod-exp_binary64_2173`
16×	`pow1_binary64_2185`
9×	`cbrt-unprod_binary64_2157`
8×	`add-sqr-sqrt_binary64_2146` `associate-r_binary64_2064`
7×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
6×	`pow-prod-down_binary64_2195`
5×	`associate-l_binary64_2065`
4×	`add-log-exp_binary64_2163`
3×	`*-commutative_binary64_2055`
2×	`sqrt-pow1_binary64_2142` `pow-to-exp_binary64_2193` `pow-exp_binary64_2192`
1×	`pow1/2_binary64_2204` `sqrt-prod_binary64_2140` `pow-sub_binary64_2200` `associate-r/_binary64_2066` `associate-l/_binary64_2067` `exp-sum_binary64_2170` `unswap-sqr_binary64_2092`

Counts

4 → 70

Calls

4 calls:

18.0ms	(.f64 (.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
6.0ms	(.f64 1/6 (.f64 z (pow.f64 PI.f64 2)))
6.0ms	(.f64 (.f64 z z) 2533639962396748701166118939/4648579506574807007232000)
3.0ms	(sqrt.f64 (*.f64 PI.f64 2))

Compiler

Compiled 3372 to 2539 computations (24.7% saved)

series415.0ms (0.7%)

Error

0.0b

Counts

4 → 11

Calls

4 calls:

276.0ms	(.f64 (.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
61.0ms	(.f64 1/6 (.f64 z (pow.f64 PI.f64 2)))
49.0ms	(.f64 (.f64 z z) 2533639962396748701166118939/4648579506574807007232000)
0.0ms	(sqrt.f64 (*.f64 PI.f64 2))

Compiler

Compiled 1675 to 1370 computations (18.2% saved)

simplify108.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

367×	`associate-l_binary64_2065`
319×	`associate-r_binary64_2064`
292×	`unswap-sqr_binary64_2092`
266×	`cancel-sign-sub-inv_binary64_2090`
179×	`*-commutative_binary64_2055`
174×	`distribute-rgt-neg-in_binary64_2082`
165×	`exp-prod_binary64_2176`
148×	`log-prod_binary64_2210`
143×	`sqr-pow_binary64_2096`
132×	`associate-+l+_binary64_2057`
115×	`sub-neg_binary64_2117`
101×	`associate-*r/_binary64_2066`
87×	`associate-+r+_binary64_2056`
77×	`cube-prod_binary64_2152`
74×	`+-commutative_binary64_2054`
73×	`associate-*l/_binary64_2067`
70×	`swap-sqr_binary64_2091`
66×	`prod-exp_binary64_2173`
64×	`distribute-lft-neg-in_binary64_2081`
61×	`neg-mul-1_binary64_2120` `neg-sub0_binary64_2119`
58×	`exp-sum_binary64_2170` `associate--l+_binary64_2061`
45×	`unpow3_binary64_2190`
40×	`distribute-lft-out_binary64_2075`
34×	`unsub-neg_binary64_2118` `associate-/l*_binary64_2069`
32×	`log-pow_binary64_2213`
31×	`log-div_binary64_2211` `pow-sqr_binary64_2097`
24×	`distribute-lft-out--_binary64_2076`
23×	`distribute-rgt-out_binary64_2077`
22×	`*-lft-identity_binary64_2113`
20×	`*-rgt-identity_binary64_2114` `associate-+l-_binary64_2059`
19×	`distribute-neg-in_binary64_2085`
18×	`associate--r+_binary64_2060`
17×	`cube-mult_binary64_2154` `associate-+r-_binary64_2058`
16×	`cube-div_binary64_2153`
15×	`cube-unmult_binary64_2161`
14×	`pow-plus_binary64_2187`
12×	`exp-to-pow_binary64_2186` `exp-diff_binary64_2172` `distribute-rgt-out--_binary64_2078`
10×	`unpow1/2_binary64_2188`
8×	`div-sub_binary64_2129` `+-rgt-identity_binary64_2109` `distribute-rgt-in_binary64_2074`
7×	`div-exp_binary64_2175`
6×	`distribute-lft-in_binary64_2073`
5×	`rem-log-exp_binary64_2165` `distribute-lft-neg-out_binary64_2083`
4×	`log-rec_binary64_2212` `rem-sqrt-square_binary64_2137` `sub0-neg_binary64_2111` `count-2_binary64_2072`
3×	`unpow2_binary64_2189` `unpow1_binary64_2182` `distribute-neg-frac_binary64_2088`
2×	`exp-sqrt_binary64_2177` `exp-neg_binary64_2171` `rem-exp-log_binary64_2164` `times-frac_binary64_2130` `/-rgt-identity_binary64_2115` `distribute-rgt-neg-out_binary64_2084` `associate-/l/_binary64_2071`
1×	`log-E_binary64_2214` `1-exp_binary64_2168` `exp-1-e_binary64_2167` `rem-square-sqrt_binary64_2136` `cancel-sign-sub_binary64_2089` `distribute-rgt1-in_binary64_2080` `distribute-lft1-in_binary64_2079` `associate--r-_binary64_2063`
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_2387` `erf-erfc_binary64_2386` `erf-odd_binary64_2385` `if-if-and-not_binary64_2384` `if-if-and_binary64_2383` `if-if-or-not_binary64_2382` `if-if-or_binary64_2381` `if-not_binary64_2380` `if-same_binary64_2379` `if-false_binary64_2378` `if-true_binary64_2377` `not-gte_binary64_2376` `not-lte_binary64_2375` `not-gt_binary64_2374` `not-lt_binary64_2373` `gte-same_binary64_2372` `lte-same_binary64_2371` `gt-same_binary64_2370` `lt-same_binary64_2369` `sinh---cosh_binary64_2316` `sinh-+-cosh_binary64_2315` `sinh-cosh_binary64_2314` `tanh-def-c_binary64_2313` `tanh-def-b_binary64_2312` `tanh-def-a_binary64_2311` `cosh-def_binary64_2310` `sinh-def_binary64_2309` `tan-neg_binary64_2256` `cos-neg_binary64_2255` `sin-neg_binary64_2254` `tan-0_binary64_2253` `cos-0_binary64_2252` `sin-0_binary64_2251` `hang-m-tan_binary64_2250` `hang-p-tan_binary64_2249` `hang-m0-tan_binary64_2248` `hang-p0-tan_binary64_2247` `hang-0m-tan_binary64_2246` `hang-0p-tan_binary64_2245` `tan-+PI/2_binary64_2244` `tan-+PI_binary64_2243` `tan-PI_binary64_2242` `tan-PI/3_binary64_2241` `tan-PI/4_binary64_2240` `tan-PI/6_binary64_2239` `cos-+PI/2_binary64_2238` `cos-+PI_binary64_2237` `cos-PI_binary64_2236` `cos-PI/2_binary64_2235` `cos-PI/3_binary64_2234` `cos-PI/4_binary64_2233` `cos-PI/6_binary64_2232` `sin-+PI/2_binary64_2231` `sin-+PI_binary64_2230` `sin-PI_binary64_2229` `sin-PI/2_binary64_2228` `sin-PI/3_binary64_2227` `sin-PI/4_binary64_2226` `sin-PI/6_binary64_2225` `sub-1-sin_binary64_2224` `sub-1-cos_binary64_2223` `-1-add-sin_binary64_2222` `-1-add-cos_binary64_2221` `1-sub-sin_binary64_2220` `1-sub-cos_binary64_2219` `cos-sin-sum_binary64_2218` `pow-base-0_binary64_2208` `unpow1/3_binary64_2191` `pow-base-1_binary64_2184` `unpow0_binary64_2183` `unpow-1_binary64_2181` `exp-lft-cube_binary64_2180` `exp-lft-sqr_binary64_2179` `exp-cbrt_binary64_2178` `rec-exp_binary64_2174` `e-exp-1_binary64_2169` `exp-0_binary64_2166` `cube-neg_binary64_2151` `rem-3cbrt-rft_binary64_2150` `rem-3cbrt-lft_binary64_2149` `rem-cbrt-cube_binary64_2148` `rem-cube-cbrt_binary64_2147` `sqr-abs_binary64_2139` `sqr-neg_binary64_2138` `mul-1-neg_binary64_2116` `remove-double-neg_binary64_2112` `--rgt-identity_binary64_2110` `+-lft-identity_binary64_2108` `mul0-rgt_binary64_2107` `mul0-lft_binary64_2106` `div0_binary64_2105` `-inverses_binary64_2104` `+-inverses_binary64_2103` `lft-mult-inverse_binary64_2102` `rgt-mult-inverse_binary64_2101` `remove-double-div_binary64_2100` `difference-of-sqr--1_binary64_2095` `difference-of-sqr-1_binary64_2094` `difference-of-squares_binary64_2093` `distribute-frac-neg_binary64_2087` `distribute-neg-out_binary64_2086` `associate-/r/_binary64_2070` `associate-/r_binary64_2068` `associate--l-_binary64_2062`

Counts

81 → 49

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	188	1635
1	466	1433
2	1685	1387
3	3173	1387
4	4812	1387
5	4924	1387

prune115.0ms (0.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	49	0	49
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	49	7	56

Error

0.0b

Counts

56 → 7

Compiler

Compiled 1636 to 1253 computations (23.4% saved)

regimes1.9s (3.4%)

Accuracy

Total 0.4b remaining (75.7%)

Threshold costs 0.4b (75.7%)

Compiler

Compiled 25110 to 20794 computations (17.2% saved)

bsearch0.0ms (0%)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative_binary64_2055`
13×	`+-commutative_binary64_2054`
11×	`sub-neg_binary64_2117`
1×	`1-exp_binary64_2168` `neg-mul-1_binary64_2120` `neg-sub0_binary64_2119`
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_2384` `if-if-and_binary64_2383` `if-if-or-not_binary64_2382` `if-if-or_binary64_2381` `if-not_binary64_2380` `if-same_binary64_2379` `if-false_binary64_2378` `if-true_binary64_2377` `tan-0_binary64_2253` `cos-0_binary64_2252` `sin-0_binary64_2251` `unpow1_binary64_2182` `e-exp-1_binary64_2169` `exp-1-e_binary64_2167` `exp-0_binary64_2166` `sqr-abs_binary64_2139` `sqr-neg_binary64_2138` `unsub-neg_binary64_2118` `mul-1-neg_binary64_2116` `/-rgt-identity_binary64_2115` `-rgt-identity_binary64_2114` `-lft-identity_binary64_2113` `remove-double-neg_binary64_2112` `sub0-neg_binary64_2111` `--rgt-identity_binary64_2110` `+-rgt-identity_binary64_2109` `+-lft-identity_binary64_2108` `cancel-sign-sub-inv_binary64_2090` `cancel-sign-sub_binary64_2089` `distribute-neg-frac_binary64_2088` `distribute-frac-neg_binary64_2087` `distribute-neg-out_binary64_2086` `distribute-neg-in_binary64_2085` `distribute-rgt-neg-out_binary64_2084` `distribute-lft-neg-out_binary64_2083` `distribute-rgt-neg-in_binary64_2082` `distribute-lft-neg-in_binary64_2081`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	70	133
1	98	133
2	111	133
3	113	133
4	114	133
5	113	133

end4.0ms (0%)

Compiler: Compiled 83 to 70 computations (15.7% saved)

sample45.7s (79.9%)

Algorithm

1×

intervals

Results

41.7s	3832×	body	8192	exit
2.5s	8000×	body	128	valid
202.0ms	11923×	pre	128	true
28.0ms	91×	body	128	invalid

Compiler

Compiled 665 to 564 computations (15.2% saved)

Details

analyze1.9s (3.2%)

sample1.5s (2.6%)

simplify55.0ms (0.1%)

prune14.0ms (0%)

localize68.0ms (0.1%)

rewrite1.2s (2%)

series220.0ms (0.4%)

simplify104.0ms (0.2%)

prune482.0ms (0.8%)

localize56.0ms (0.1%)

rewrite916.0ms (1.6%)

series530.0ms (0.9%)

simplify155.0ms (0.3%)

prune563.0ms (1%)

localize34.0ms (0.1%)

rewrite280.0ms (0.5%)

series399.0ms (0.7%)

simplify117.0ms (0.2%)

prune123.0ms (0.2%)

localize37.0ms (0.1%)

rewrite279.0ms (0.5%)

series415.0ms (0.7%)

simplify108.0ms (0.2%)

prune115.0ms (0.2%)

regimes1.9s (3.4%)

bsearch0.0ms (0%)

simplify7.0ms (0%)

end4.0ms (0%)

sample45.7s (79.9%)

Profiling