Details

analyze948.0ms (8%)

Algorithm

1×	search
2×	egg-herbie

Rules

1591×	`associate-+l+_binary64_9559`
952×	`associate-+r+_binary64_9558`
705×	`div-sub_binary64_9631`
693×	`unsub-neg_binary64_9620`
588×	`distribute-rgt-in_binary64_9576`
548×	`sub-neg_binary64_9619`
510×	`times-frac_binary64_9632`
358×	`distribute-neg-out_binary64_9588`
316×	`distribute-lft-in_binary64_9575`
276×	`cancel-sign-sub-inv_binary64_9592`
273×	`distribute-neg-in_binary64_9587`
236×	`associate-/l*_binary64_9571`
179×	`associate-/r*_binary64_9570`
176×	`+-commutative_binary64_9556`
167×	`distribute-lft-neg-in_binary64_9583`
154×	`distribute-rgt-neg-in_binary64_9584` `associate-+r-_binary64_9560`
141×	`associate--r+_binary64_9562`
125×	`distribute-neg-frac_binary64_9590`
121×	`associate--r-_binary64_9565`
115×	`associate-r_binary64_9566`
102×	`associate--l+_binary64_9563`
95×	`neg-sub0_binary64_9621`
89×	`neg-mul-1_binary64_9622` `cancel-sign-sub_binary64_9591`
83×	`*-commutative_binary64_9557`
82×	`associate-+l-_binary64_9561`
71×	`distribute-lft-neg-out_binary64_9585`
59×	`associate-l_binary64_9567`
58×	`distribute-frac-neg_binary64_9589`
46×	`associate--l-_binary64_9564`
44×	`associate-/r/_binary64_9572`
38×	`distribute-rgt-neg-out_binary64_9586` `associate-*l/_binary64_9569`
32×	`associate-/l/_binary64_9573` `associate-*r/_binary64_9568`
31×	`distribute-lft-out--_binary64_9578`
30×	`*-rgt-identity_binary64_9616`
23×	`remove-double-neg_binary64_9614`
22×	`sub0-neg_binary64_9613`
21×	`--rgt-identity_binary64_9612` `distribute-lft-out_binary64_9577`
20×	`mul0-rgt_binary64_9609` `mul0-lft_binary64_9608`
18×	`div0_binary64_9607`
16×	`log-prod_binary64_9712` `distribute-rgt-out--_binary64_9580`
14×	`*-lft-identity_binary64_9615`
13×	`+-rgt-identity_binary64_9611`
12×	`/-rgt-identity_binary64_9617` `distribute-rgt-out_binary64_9579`
11×	`distribute-rgt1-in_binary64_9582`
10×	`+-lft-identity_binary64_9610`
4×	`distribute-lft1-in_binary64_9581`
2×	`*-inverses_binary64_9606` `remove-double-div_binary64_9602` `count-2_binary64_9574`
1×	`1-exp_binary64_9670`
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_9889` `erf-erfc_binary64_9888` `erf-odd_binary64_9887` `if-if-and-not_binary64_9886` `if-if-and_binary64_9885` `if-if-or-not_binary64_9884` `if-if-or_binary64_9883` `if-not_binary64_9882` `if-same_binary64_9881` `if-false_binary64_9880` `if-true_binary64_9879` `not-gte_binary64_9878` `not-lte_binary64_9877` `not-gt_binary64_9876` `not-lt_binary64_9875` `gte-same_binary64_9874` `lte-same_binary64_9873` `gt-same_binary64_9872` `lt-same_binary64_9871` `sinh---cosh_binary64_9818` `sinh-+-cosh_binary64_9817` `sinh-cosh_binary64_9816` `tanh-def-c_binary64_9815` `tanh-def-b_binary64_9814` `tanh-def-a_binary64_9813` `cosh-def_binary64_9812` `sinh-def_binary64_9811` `tan-neg_binary64_9758` `cos-neg_binary64_9757` `sin-neg_binary64_9756` `tan-0_binary64_9755` `cos-0_binary64_9754` `sin-0_binary64_9753` `hang-m-tan_binary64_9752` `hang-p-tan_binary64_9751` `hang-m0-tan_binary64_9750` `hang-p0-tan_binary64_9749` `hang-0m-tan_binary64_9748` `hang-0p-tan_binary64_9747` `tan-+PI/2_binary64_9746` `tan-+PI_binary64_9745` `tan-PI_binary64_9744` `tan-PI/3_binary64_9743` `tan-PI/4_binary64_9742` `tan-PI/6_binary64_9741` `cos-+PI/2_binary64_9740` `cos-+PI_binary64_9739` `cos-PI_binary64_9738` `cos-PI/2_binary64_9737` `cos-PI/3_binary64_9736` `cos-PI/4_binary64_9735` `cos-PI/6_binary64_9734` `sin-+PI/2_binary64_9733` `sin-+PI_binary64_9732` `sin-PI_binary64_9731` `sin-PI/2_binary64_9730` `sin-PI/3_binary64_9729` `sin-PI/4_binary64_9728` `sin-PI/6_binary64_9727` `sub-1-sin_binary64_9726` `sub-1-cos_binary64_9725` `-1-add-sin_binary64_9724` `-1-add-cos_binary64_9723` `1-sub-sin_binary64_9722` `1-sub-cos_binary64_9721` `cos-sin-sum_binary64_9720` `log-E_binary64_9716` `log-pow_binary64_9715` `log-rec_binary64_9714` `log-div_binary64_9713` `pow-base-0_binary64_9710` `unpow1/3_binary64_9693` `unpow3_binary64_9692` `unpow2_binary64_9691` `unpow1/2_binary64_9690` `pow-plus_binary64_9689` `exp-to-pow_binary64_9688` `pow-base-1_binary64_9686` `unpow0_binary64_9685` `unpow1_binary64_9684` `unpow-1_binary64_9683` `exp-lft-cube_binary64_9682` `exp-lft-sqr_binary64_9681` `exp-cbrt_binary64_9680` `exp-sqrt_binary64_9679` `exp-prod_binary64_9678` `div-exp_binary64_9677` `rec-exp_binary64_9676` `prod-exp_binary64_9675` `exp-diff_binary64_9674` `exp-neg_binary64_9673` `exp-sum_binary64_9672` `e-exp-1_binary64_9671` `exp-1-e_binary64_9669` `exp-0_binary64_9668` `rem-log-exp_binary64_9667` `rem-exp-log_binary64_9666` `cube-unmult_binary64_9663` `cube-mult_binary64_9656` `cube-div_binary64_9655` `cube-prod_binary64_9654` `cube-neg_binary64_9653` `rem-3cbrt-rft_binary64_9652` `rem-3cbrt-lft_binary64_9651` `rem-cbrt-cube_binary64_9650` `rem-cube-cbrt_binary64_9649` `sqr-abs_binary64_9641` `sqr-neg_binary64_9640` `rem-sqrt-square_binary64_9639` `rem-square-sqrt_binary64_9638` `mul-1-neg_binary64_9618` `+-inverses_binary64_9605` `lft-mult-inverse_binary64_9604` `rgt-mult-inverse_binary64_9603` `pow-sqr_binary64_9599` `sqr-pow_binary64_9598` `difference-of-sqr--1_binary64_9597` `difference-of-sqr-1_binary64_9596` `difference-of-squares_binary64_9595` `unswap-sqr_binary64_9594` `swap-sqr_binary64_9593`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	36
1	38	36
2	71	36
3	148	36
4	268	36
5	557	36
6	1211	36
7	2023	36
8	1614	36
9	1779	36
10	1989	36
11	2146	36
12	2463	36
13	3220	36
14	2799	36
15	2804	36
16	2804	36
17	2822	36
18	2822	36
19	2824	36
20	2824	36
21	4772	36
22	4856	36
0	2	2
1	2	2

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
6.2%	93.7%	0.1%	5
6.2%	90.5%	3.2%	6
21.9%	67.1%	11%	7
23.4%	64.8%	11.8%	8
32%	52.7%	15.3%	9
33.2%	51.3%	15.5%	10
37.7%	45.2%	17.2%	11
38.3%	44.4%	17.2%	12
40.6%	41.3%	18%	13
41%	41%	18%	14

Compiler

Compiled 13 to 12 computations (7.7% saved)

sample39.0ms (0.3%)

Algorithm

1×

intervals

Results

10.0ms	194×	body	128	valid
7.0ms	35×	body	1024	valid
4.0ms	31×	body	1024	nan
2.0ms	17×	body	512	valid
2.0ms	16×	body	512	nan
1.0ms	8×	body	256	valid
1.0ms	9×	body	256	nan
1.0ms	2×	body	2048	valid
0.0ms	14×	body	128	nan

Compiler

Compiled 25 to 25 computations (0% saved)

simplify347.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

3857×	`associate--r-_binary64_9565`
1008×	`unsub-neg_binary64_9620`
480×	`sub-neg_binary64_9619`
461×	`cancel-sign-sub-inv_binary64_9592`
388×	`div-sub_binary64_9631`
301×	`distribute-neg-in_binary64_9587`
286×	`times-frac_binary64_9632` `distribute-rgt-in_binary64_9576`
228×	`distribute-lft-in_binary64_9575`
186×	`+-commutative_binary64_9556`
160×	`distribute-rgt-neg-in_binary64_9584`
151×	`associate-r_binary64_9566`
147×	`associate-/l*_binary64_9571`
140×	`associate--l+_binary64_9563`
133×	`neg-sub0_binary64_9621`
125×	`associate--r+_binary64_9562`
123×	`distribute-lft-neg-in_binary64_9583`
120×	`associate-+l-_binary64_9561`
118×	`neg-mul-1_binary64_9622`
114×	`*-commutative_binary64_9557`
112×	`associate-/r*_binary64_9570`
95×	`cancel-sign-sub_binary64_9591`
89×	`distribute-neg-out_binary64_9588`
88×	`distribute-lft-neg-out_binary64_9585`
81×	`associate--l-_binary64_9564`
77×	`distribute-rgt-neg-out_binary64_9586`
71×	`associate-/r/_binary64_9572`
67×	`distribute-neg-frac_binary64_9590`
57×	`--rgt-identity_binary64_9612`
48×	`associate-/l/_binary64_9573`
45×	`associate-+r+_binary64_9558`
44×	`associate-+l+_binary64_9559`
43×	`associate-+r-_binary64_9560`
40×	`remove-double-neg_binary64_9614`
37×	`distribute-rgt-out_binary64_9579`
33×	`associate-l_binary64_9567`
30×	`*-lft-identity_binary64_9615` `distribute-frac-neg_binary64_9589`
27×	`distribute-rgt1-in_binary64_9582`
26×	`associate-*l/_binary64_9569`
22×	`*-rgt-identity_binary64_9616`
21×	`distribute-rgt-out--_binary64_9580`
17×	`distribute-lft1-in_binary64_9581` `associate-*r/_binary64_9568`
16×	`mul0-rgt_binary64_9609`
15×	`sub0-neg_binary64_9613`
13×	`div0_binary64_9607` `distribute-lft-out--_binary64_9578`
12×	`mul0-lft_binary64_9608`
10×	`+-lft-identity_binary64_9610`
8×	`log-prod_binary64_9712` `/-rgt-identity_binary64_9617`
4×	`+-rgt-identity_binary64_9611`
3×	`count-2_binary64_9574`
1×	`1-exp_binary64_9670` `mul-1-neg_binary64_9618` `*-inverses_binary64_9606` `remove-double-div_binary64_9602`
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_9889` `erf-erfc_binary64_9888` `erf-odd_binary64_9887` `if-if-and-not_binary64_9886` `if-if-and_binary64_9885` `if-if-or-not_binary64_9884` `if-if-or_binary64_9883` `if-not_binary64_9882` `if-same_binary64_9881` `if-false_binary64_9880` `if-true_binary64_9879` `not-gte_binary64_9878` `not-lte_binary64_9877` `not-gt_binary64_9876` `not-lt_binary64_9875` `gte-same_binary64_9874` `lte-same_binary64_9873` `gt-same_binary64_9872` `lt-same_binary64_9871` `sinh---cosh_binary64_9818` `sinh-+-cosh_binary64_9817` `sinh-cosh_binary64_9816` `tanh-def-c_binary64_9815` `tanh-def-b_binary64_9814` `tanh-def-a_binary64_9813` `cosh-def_binary64_9812` `sinh-def_binary64_9811` `tan-neg_binary64_9758` `cos-neg_binary64_9757` `sin-neg_binary64_9756` `tan-0_binary64_9755` `cos-0_binary64_9754` `sin-0_binary64_9753` `hang-m-tan_binary64_9752` `hang-p-tan_binary64_9751` `hang-m0-tan_binary64_9750` `hang-p0-tan_binary64_9749` `hang-0m-tan_binary64_9748` `hang-0p-tan_binary64_9747` `tan-+PI/2_binary64_9746` `tan-+PI_binary64_9745` `tan-PI_binary64_9744` `tan-PI/3_binary64_9743` `tan-PI/4_binary64_9742` `tan-PI/6_binary64_9741` `cos-+PI/2_binary64_9740` `cos-+PI_binary64_9739` `cos-PI_binary64_9738` `cos-PI/2_binary64_9737` `cos-PI/3_binary64_9736` `cos-PI/4_binary64_9735` `cos-PI/6_binary64_9734` `sin-+PI/2_binary64_9733` `sin-+PI_binary64_9732` `sin-PI_binary64_9731` `sin-PI/2_binary64_9730` `sin-PI/3_binary64_9729` `sin-PI/4_binary64_9728` `sin-PI/6_binary64_9727` `sub-1-sin_binary64_9726` `sub-1-cos_binary64_9725` `-1-add-sin_binary64_9724` `-1-add-cos_binary64_9723` `1-sub-sin_binary64_9722` `1-sub-cos_binary64_9721` `cos-sin-sum_binary64_9720` `log-E_binary64_9716` `log-pow_binary64_9715` `log-rec_binary64_9714` `log-div_binary64_9713` `pow-base-0_binary64_9710` `unpow1/3_binary64_9693` `unpow3_binary64_9692` `unpow2_binary64_9691` `unpow1/2_binary64_9690` `pow-plus_binary64_9689` `exp-to-pow_binary64_9688` `pow-base-1_binary64_9686` `unpow0_binary64_9685` `unpow1_binary64_9684` `unpow-1_binary64_9683` `exp-lft-cube_binary64_9682` `exp-lft-sqr_binary64_9681` `exp-cbrt_binary64_9680` `exp-sqrt_binary64_9679` `exp-prod_binary64_9678` `div-exp_binary64_9677` `rec-exp_binary64_9676` `prod-exp_binary64_9675` `exp-diff_binary64_9674` `exp-neg_binary64_9673` `exp-sum_binary64_9672` `e-exp-1_binary64_9671` `exp-1-e_binary64_9669` `exp-0_binary64_9668` `rem-log-exp_binary64_9667` `rem-exp-log_binary64_9666` `cube-unmult_binary64_9663` `cube-mult_binary64_9656` `cube-div_binary64_9655` `cube-prod_binary64_9654` `cube-neg_binary64_9653` `rem-3cbrt-rft_binary64_9652` `rem-3cbrt-lft_binary64_9651` `rem-cbrt-cube_binary64_9650` `rem-cube-cbrt_binary64_9649` `sqr-abs_binary64_9641` `sqr-neg_binary64_9640` `rem-sqrt-square_binary64_9639` `rem-square-sqrt_binary64_9638` `+-inverses_binary64_9605` `lft-mult-inverse_binary64_9604` `rgt-mult-inverse_binary64_9603` `pow-sqr_binary64_9599` `sqr-pow_binary64_9598` `difference-of-sqr--1_binary64_9597` `difference-of-sqr-1_binary64_9596` `difference-of-squares_binary64_9595` `unswap-sqr_binary64_9594` `swap-sqr_binary64_9593` `distribute-lft-out_binary64_9577`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	18
1	22	18
2	39	18
3	81	18
4	151	18
5	294	18
6	569	18
7	1008	18
8	1045	18
9	1155	18
10	1512	18
11	1768	18
12	1990	18
13	2283	18
14	2412	18
15	2455	18
16	2455	18
17	2483	18
18	2487	18
19	2487	18
20	2487	18
21	2487	18
22	4202	18
23	4368	18
24	4392	18
25	4546	18
26	4671	18
27	4684	18
28	5144	18

prune2.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

16.7b

Counts

1 → 1

Compiler

Compiled 12 to 11 computations (8.3% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
0.0b	(/.f64 (-.f64 x y) (-.f64 1 y))
1.9b	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
4.5b	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))

rewrite354.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

14.0b

Rules

118×	`add-sqr-sqrt_binary64_9648`
107×	`*-un-lft-identity_binary64_9626`
66×	`times-frac_binary64_9632`
49×	`difference-of-squares_binary64_9595`
40×	`cancel-sign-sub-inv_binary64_9592`
32×	`add-cube-cbrt_binary64_9661`
29×	`distribute-lft-out--_binary64_9578`
16×	`log-prod_binary64_9712`
8×	`associate--r+_binary64_9562`
7×	`pow1_binary64_9687` `flip3--_binary64_9630` `flip--_binary64_9601` `add-exp-log_binary64_9664` `add-log-exp_binary64_9665`
6×	`add-cbrt-cube_binary64_9662` `associate-/r*_binary64_9570`
5×	`associate-/l*_binary64_9571`
4×	`log-div_binary64_9713` `associate-/r/_binary64_9572`
3×	`log-pow_binary64_9715` `associate--r-_binary64_9565`
2×	`diff-log_binary64_9718` `sub-neg_binary64_9619` `div-inv_binary64_9623` `div-sub_binary64_9631` `associate-/l/_binary64_9573`
1×	`rem-log-exp_binary64_9667` `div-exp_binary64_9677` `cbrt-undiv_binary64_9660` `frac-2neg_binary64_9637` `clear-num_binary64_9625`

Counts

4 → 159

Calls

4 calls:

27.0ms	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
21.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
19.0ms	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
10.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

Compiler

Compiled 3700 to 2380 computations (35.7% saved)

series1.1s (9.6%)

Error

0.0b

Counts

4 → 68

Calls

4 calls:

360.0ms	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
298.0ms	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
206.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
167.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

Compiler

Compiled 3762 to 3036 computations (19.3% saved)

simplify153.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

797×	`times-frac_binary64_9632`
228×	`+-commutative_binary64_9556`
184×	`sub-neg_binary64_9619`
180×	`associate--l+_binary64_9563`
161×	`associate--r+_binary64_9562`
140×	`associate-+l+_binary64_9559`
118×	`*-commutative_binary64_9557`
112×	`associate-+r+_binary64_9558`
102×	`neg-mul-1_binary64_9622`
101×	`neg-sub0_binary64_9621`
100×	`associate-*l/_binary64_9569`
94×	`associate-/l*_binary64_9571`
86×	`associate-*r/_binary64_9568`
81×	`associate-/r*_binary64_9570`
75×	`distribute-neg-in_binary64_9587`
71×	`distribute-rgt-in_binary64_9576`
70×	`distribute-lft-in_binary64_9575`
69×	`associate-l_binary64_9567`
64×	`associate-r_binary64_9566`
45×	`distribute-lft-neg-out_binary64_9585`
42×	`cancel-sign-sub-inv_binary64_9592`
41×	`div-sub_binary64_9631`
40×	`distribute-rgt-neg-in_binary64_9584`
39×	`distribute-neg-frac_binary64_9590`
38×	`exp-prod_binary64_9678`
36×	`associate-/l/_binary64_9573`
24×	`sqr-pow_binary64_9598`
23×	`log-prod_binary64_9712` `distribute-rgt-neg-out_binary64_9586`
20×	`exp-sum_binary64_9672` `cube-prod_binary64_9654`
19×	`associate-+r-_binary64_9560`
17×	`log-div_binary64_9713` `distribute-lft-neg-in_binary64_9583`
14×	`associate-+l-_binary64_9561`
12×	`associate-/r/_binary64_9572` `associate--r-_binary64_9565`
10×	`cube-div_binary64_9655`
9×	`exp-diff_binary64_9674`
8×	`distribute-rgt1-in_binary64_9582`
7×	`unpow3_binary64_9692` `unsub-neg_binary64_9620` `distribute-rgt-out_binary64_9579`
6×	`log-pow_binary64_9715` `cube-unmult_binary64_9663` `cube-mult_binary64_9656` `/-rgt-identity_binary64_9617` `*-lft-identity_binary64_9615` `swap-sqr_binary64_9593`
5×	`log-rec_binary64_9714` `unpow2_binary64_9691` `unpow1/2_binary64_9690` `unpow1_binary64_9684` `rem-sqrt-square_binary64_9639` `mul-1-neg_binary64_9618`
4×	`unswap-sqr_binary64_9594`
3×	`prod-exp_binary64_9675` `rem-3cbrt-lft_binary64_9651` `rem-square-sqrt_binary64_9638` `*-rgt-identity_binary64_9616`
2×	`exp-to-pow_binary64_9688` `remove-double-neg_binary64_9614` `distribute-lft1-in_binary64_9581` `distribute-lft-out_binary64_9577`
1×	`pow-plus_binary64_9689` `div-exp_binary64_9677` `1-exp_binary64_9670` `exp-1-e_binary64_9669` `rem-exp-log_binary64_9666` `distribute-neg-out_binary64_9588` `distribute-rgt-out--_binary64_9580` `count-2_binary64_9574` `associate--l-_binary64_9564`
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_9889` `erf-erfc_binary64_9888` `erf-odd_binary64_9887` `if-if-and-not_binary64_9886` `if-if-and_binary64_9885` `if-if-or-not_binary64_9884` `if-if-or_binary64_9883` `if-not_binary64_9882` `if-same_binary64_9881` `if-false_binary64_9880` `if-true_binary64_9879` `not-gte_binary64_9878` `not-lte_binary64_9877` `not-gt_binary64_9876` `not-lt_binary64_9875` `gte-same_binary64_9874` `lte-same_binary64_9873` `gt-same_binary64_9872` `lt-same_binary64_9871` `sinh---cosh_binary64_9818` `sinh-+-cosh_binary64_9817` `sinh-cosh_binary64_9816` `tanh-def-c_binary64_9815` `tanh-def-b_binary64_9814` `tanh-def-a_binary64_9813` `cosh-def_binary64_9812` `sinh-def_binary64_9811` `tan-neg_binary64_9758` `cos-neg_binary64_9757` `sin-neg_binary64_9756` `tan-0_binary64_9755` `cos-0_binary64_9754` `sin-0_binary64_9753` `hang-m-tan_binary64_9752` `hang-p-tan_binary64_9751` `hang-m0-tan_binary64_9750` `hang-p0-tan_binary64_9749` `hang-0m-tan_binary64_9748` `hang-0p-tan_binary64_9747` `tan-+PI/2_binary64_9746` `tan-+PI_binary64_9745` `tan-PI_binary64_9744` `tan-PI/3_binary64_9743` `tan-PI/4_binary64_9742` `tan-PI/6_binary64_9741` `cos-+PI/2_binary64_9740` `cos-+PI_binary64_9739` `cos-PI_binary64_9738` `cos-PI/2_binary64_9737` `cos-PI/3_binary64_9736` `cos-PI/4_binary64_9735` `cos-PI/6_binary64_9734` `sin-+PI/2_binary64_9733` `sin-+PI_binary64_9732` `sin-PI_binary64_9731` `sin-PI/2_binary64_9730` `sin-PI/3_binary64_9729` `sin-PI/4_binary64_9728` `sin-PI/6_binary64_9727` `sub-1-sin_binary64_9726` `sub-1-cos_binary64_9725` `-1-add-sin_binary64_9724` `-1-add-cos_binary64_9723` `1-sub-sin_binary64_9722` `1-sub-cos_binary64_9721` `cos-sin-sum_binary64_9720` `log-E_binary64_9716` `pow-base-0_binary64_9710` `unpow1/3_binary64_9693` `pow-base-1_binary64_9686` `unpow0_binary64_9685` `unpow-1_binary64_9683` `exp-lft-cube_binary64_9682` `exp-lft-sqr_binary64_9681` `exp-cbrt_binary64_9680` `exp-sqrt_binary64_9679` `rec-exp_binary64_9676` `exp-neg_binary64_9673` `e-exp-1_binary64_9671` `exp-0_binary64_9668` `rem-log-exp_binary64_9667` `cube-neg_binary64_9653` `rem-3cbrt-rft_binary64_9652` `rem-cbrt-cube_binary64_9650` `rem-cube-cbrt_binary64_9649` `sqr-abs_binary64_9641` `sqr-neg_binary64_9640` `sub0-neg_binary64_9613` `--rgt-identity_binary64_9612` `+-rgt-identity_binary64_9611` `+-lft-identity_binary64_9610` `mul0-rgt_binary64_9609` `mul0-lft_binary64_9608` `div0_binary64_9607` `*-inverses_binary64_9606` `+-inverses_binary64_9605` `lft-mult-inverse_binary64_9604` `rgt-mult-inverse_binary64_9603` `remove-double-div_binary64_9602` `pow-sqr_binary64_9599` `difference-of-sqr--1_binary64_9597` `difference-of-sqr-1_binary64_9596` `difference-of-squares_binary64_9595` `cancel-sign-sub_binary64_9591` `distribute-frac-neg_binary64_9589` `distribute-lft-out--_binary64_9578`

Counts

227 → 153

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	399	5672
1	1145	5485
2	3906	5189
3	5226	5189

prune203.0ms (1.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	150	3	153
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	151	3	154

Error

Counts

154 → 3

Compiler

Compiled 3285 to 2102 computations (36% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(log.f64 (/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
0.0b	(/.f64 (-.f64 x y) (-.f64 1 y))
0.1b	(/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
1.9b	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))

rewrite383.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

177×	`add-sqr-sqrt_binary64_9648`
145×	`*-un-lft-identity_binary64_9626`
124×	`times-frac_binary64_9632`
67×	`difference-of-squares_binary64_9595`
54×	`add-cube-cbrt_binary64_9661`
36×	`cancel-sign-sub-inv_binary64_9592`
32×	`distribute-lft-out--_binary64_9578`
30×	`log-prod_binary64_9712`
14×	`associate-/r*_binary64_9570`
13×	`add-exp-log_binary64_9664`
8×	`add-cbrt-cube_binary64_9662` `associate-/r/_binary64_9572` `associate-/l*_binary64_9571`
6×	`add-log-exp_binary64_9665` `flip3--_binary64_9630` `flip--_binary64_9601`
5×	`pow1_binary64_9687` `div-exp_binary64_9677`
4×	`div-inv_binary64_9623`
3×	`rem-log-exp_binary64_9667`
2×	`div-sub_binary64_9631` `e-exp-1_binary64_9671` `cbrt-undiv_binary64_9660` `frac-2neg_binary64_9637` `clear-num_binary64_9625` `associate-/l/_binary64_9573`
1×	`diff-log_binary64_9718` `sub-neg_binary64_9619` `associate--r-_binary64_9565` `log-pow_binary64_9715` `log-div_binary64_9713`

Counts

4 → 203

Calls

4 calls:

25.0ms	(log.f64 (/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
22.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
21.0ms	(/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
10.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

Compiler

Compiled 4869 to 2865 computations (41.2% saved)

series1.9s (16.3%)

Error

Counts

4 → 66

Calls

4 calls:

1.0s	(log.f64 (/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
439.0ms	(/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
220.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
149.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

Compiler

Compiled 5064 to 3910 computations (22.8% saved)

simplify153.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

217×	`associate-/l*_binary64_9571`
209×	`associate-/r*_binary64_9570`
186×	`times-frac_binary64_9632`
183×	`sub-neg_binary64_9619`
177×	`associate-+r+_binary64_9558`
156×	`associate-+l+_binary64_9559`
149×	`associate-*l/_binary64_9569`
146×	`associate--l+_binary64_9563`
129×	`associate--r+_binary64_9562`
121×	`associate-*r/_binary64_9568`
105×	`associate-r_binary64_9566`
100×	`associate-l_binary64_9567`
90×	`+-commutative_binary64_9556`
89×	`associate-/l/_binary64_9573`
87×	`neg-sub0_binary64_9621`
83×	`neg-mul-1_binary64_9622`
76×	`distribute-rgt-in_binary64_9576`
75×	`distribute-lft-in_binary64_9575`
74×	`*-commutative_binary64_9557`
57×	`distribute-neg-in_binary64_9587`
49×	`log-div_binary64_9713`
47×	`div-sub_binary64_9631`
42×	`cancel-sign-sub-inv_binary64_9592` `distribute-lft-neg-out_binary64_9585` `associate-/r/_binary64_9572`
38×	`distribute-neg-frac_binary64_9590`
36×	`distribute-rgt-neg-in_binary64_9584`
27×	`sqr-pow_binary64_9598`
22×	`distribute-rgt-neg-out_binary64_9586`
21×	`associate--l-_binary64_9564` `associate-+l-_binary64_9561`
18×	`associate-+r-_binary64_9560`
14×	`distribute-lft-neg-in_binary64_9583`
13×	`log-prod_binary64_9712`
10×	`unswap-sqr_binary64_9594`
9×	`mul-1-neg_binary64_9618` `/-rgt-identity_binary64_9617` `associate--r-_binary64_9565`
7×	`log-rec_binary64_9714` `unpow3_binary64_9692` `distribute-rgt-out_binary64_9579`
6×	`cube-mult_binary64_9656` `distribute-rgt1-in_binary64_9582`
5×	`unpow2_binary64_9691` `unpow1_binary64_9684` `*-lft-identity_binary64_9615`
4×	`prod-exp_binary64_9675` `cube-unmult_binary64_9663` `cube-div_binary64_9655` `cube-prod_binary64_9654` `swap-sqr_binary64_9593`
3×	`exp-sum_binary64_9672` `*-rgt-identity_binary64_9616`
2×	`exp-prod_binary64_9678` `exp-diff_binary64_9674` `unsub-neg_binary64_9620` `distribute-lft1-in_binary64_9581` `distribute-lft-out_binary64_9577`
1×	`log-E_binary64_9716` `div-exp_binary64_9677` `rec-exp_binary64_9676` `e-exp-1_binary64_9671` `1-exp_binary64_9670` `rem-exp-log_binary64_9666` `rem-3cbrt-lft_binary64_9651` `rem-square-sqrt_binary64_9638` `remove-double-neg_binary64_9614` `distribute-rgt-out--_binary64_9580` `count-2_binary64_9574`
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_9889` `erf-erfc_binary64_9888` `erf-odd_binary64_9887` `if-if-and-not_binary64_9886` `if-if-and_binary64_9885` `if-if-or-not_binary64_9884` `if-if-or_binary64_9883` `if-not_binary64_9882` `if-same_binary64_9881` `if-false_binary64_9880` `if-true_binary64_9879` `not-gte_binary64_9878` `not-lte_binary64_9877` `not-gt_binary64_9876` `not-lt_binary64_9875` `gte-same_binary64_9874` `lte-same_binary64_9873` `gt-same_binary64_9872` `lt-same_binary64_9871` `sinh---cosh_binary64_9818` `sinh-+-cosh_binary64_9817` `sinh-cosh_binary64_9816` `tanh-def-c_binary64_9815` `tanh-def-b_binary64_9814` `tanh-def-a_binary64_9813` `cosh-def_binary64_9812` `sinh-def_binary64_9811` `tan-neg_binary64_9758` `cos-neg_binary64_9757` `sin-neg_binary64_9756` `tan-0_binary64_9755` `cos-0_binary64_9754` `sin-0_binary64_9753` `hang-m-tan_binary64_9752` `hang-p-tan_binary64_9751` `hang-m0-tan_binary64_9750` `hang-p0-tan_binary64_9749` `hang-0m-tan_binary64_9748` `hang-0p-tan_binary64_9747` `tan-+PI/2_binary64_9746` `tan-+PI_binary64_9745` `tan-PI_binary64_9744` `tan-PI/3_binary64_9743` `tan-PI/4_binary64_9742` `tan-PI/6_binary64_9741` `cos-+PI/2_binary64_9740` `cos-+PI_binary64_9739` `cos-PI_binary64_9738` `cos-PI/2_binary64_9737` `cos-PI/3_binary64_9736` `cos-PI/4_binary64_9735` `cos-PI/6_binary64_9734` `sin-+PI/2_binary64_9733` `sin-+PI_binary64_9732` `sin-PI_binary64_9731` `sin-PI/2_binary64_9730` `sin-PI/3_binary64_9729` `sin-PI/4_binary64_9728` `sin-PI/6_binary64_9727` `sub-1-sin_binary64_9726` `sub-1-cos_binary64_9725` `-1-add-sin_binary64_9724` `-1-add-cos_binary64_9723` `1-sub-sin_binary64_9722` `1-sub-cos_binary64_9721` `cos-sin-sum_binary64_9720` `log-pow_binary64_9715` `pow-base-0_binary64_9710` `unpow1/3_binary64_9693` `unpow1/2_binary64_9690` `pow-plus_binary64_9689` `exp-to-pow_binary64_9688` `pow-base-1_binary64_9686` `unpow0_binary64_9685` `unpow-1_binary64_9683` `exp-lft-cube_binary64_9682` `exp-lft-sqr_binary64_9681` `exp-cbrt_binary64_9680` `exp-sqrt_binary64_9679` `exp-neg_binary64_9673` `exp-1-e_binary64_9669` `exp-0_binary64_9668` `rem-log-exp_binary64_9667` `cube-neg_binary64_9653` `rem-3cbrt-rft_binary64_9652` `rem-cbrt-cube_binary64_9650` `rem-cube-cbrt_binary64_9649` `sqr-abs_binary64_9641` `sqr-neg_binary64_9640` `rem-sqrt-square_binary64_9639` `sub0-neg_binary64_9613` `--rgt-identity_binary64_9612` `+-rgt-identity_binary64_9611` `+-lft-identity_binary64_9610` `mul0-rgt_binary64_9609` `mul0-lft_binary64_9608` `div0_binary64_9607` `*-inverses_binary64_9606` `+-inverses_binary64_9605` `lft-mult-inverse_binary64_9604` `rgt-mult-inverse_binary64_9603` `remove-double-div_binary64_9602` `pow-sqr_binary64_9599` `difference-of-sqr--1_binary64_9597` `difference-of-sqr-1_binary64_9596` `difference-of-squares_binary64_9595` `cancel-sign-sub_binary64_9591` `distribute-frac-neg_binary64_9589` `distribute-neg-out_binary64_9588` `distribute-lft-out--_binary64_9578`

Counts

269 → 177

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	501	7828
1	1409	7597
2	5062	7597

prune233.0ms (2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	176	1	177
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	178	2	180

Error

Counts

180 → 2

Compiler

Compiled 4131 to 2409 computations (41.7% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 E.f64 (-.f64 1 x)) (*.f64 (/.f64 E.f64 (-.f64 1 x)) y))
0.1b	(/.f64 E.f64 (-.f64 1 x))
0.1b	(/.f64 E.f64 (-.f64 1 x))
0.3b	(*.f64 (/.f64 E.f64 (-.f64 1 x)) y)

rewrite237.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

75×	`add-sqr-sqrt_binary64_9648`
70×	`*-un-lft-identity_binary64_9626`
55×	`times-frac_binary64_9632`
37×	`add-cube-cbrt_binary64_9661`
24×	`associate-l_binary64_9567`
22×	`difference-of-squares_binary64_9595`
17×	`add-exp-log_binary64_9664`
13×	`add-cbrt-cube_binary64_9662`
12×	`associate-/r*_binary64_9570`
11×	`distribute-lft-out--_binary64_9578`
6×	`pow1_binary64_9687` `div-exp_binary64_9677` `add-log-exp_binary64_9665` `associate-/r/_binary64_9572` `associate-/l*_binary64_9571`
4×	`flip3--_binary64_9630` `flip--_binary64_9601`
3×	`e-exp-1_binary64_9671` `prod-exp_binary64_9675` `cbrt-undiv_binary64_9660` `associate-l/_binary64_9569` `div-inv_binary64_9623` `associate-r*_binary64_9566`
2×	`cbrt-unprod_binary64_9659` `unswap-sqr_binary64_9594` `frac-2neg_binary64_9637` `clear-num_binary64_9625`
1×	`pow-prod-down_binary64_9697` `*-commutative_binary64_9557` `diff-log_binary64_9718` `frac-sub_binary64_9635` `sub-div_binary64_9633` `sub-neg_binary64_9619` `cancel-sign-sub-inv_binary64_9592`

Counts

4 → 142

Calls

4 calls:

14.0ms	(*.f64 (/.f64 E.f64 (-.f64 1 x)) y)
13.0ms	(-.f64 (/.f64 E.f64 (-.f64 1 x)) (*.f64 (/.f64 E.f64 (-.f64 1 x)) y))
7.0ms	(/.f64 E.f64 (-.f64 1 x))
6.0ms	(/.f64 E.f64 (-.f64 1 x))

Compiler

Compiled 3174 to 2032 computations (36% saved)

series463.0ms (3.9%)

Error

Counts

4 → 43

Calls

4 calls:

210.0ms	(-.f64 (/.f64 E.f64 (-.f64 1 x)) (*.f64 (/.f64 E.f64 (-.f64 1 x)) y))
143.0ms	(*.f64 (/.f64 E.f64 (-.f64 1 x)) y)
37.0ms	(/.f64 E.f64 (-.f64 1 x))
33.0ms	(/.f64 E.f64 (-.f64 1 x))

Compiler

Compiled 1974 to 1283 computations (35% saved)

simplify203.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

371×	`associate-/l*_binary64_9571`
352×	`cancel-sign-sub-inv_binary64_9592`
340×	`associate-*l/_binary64_9569`
305×	`times-frac_binary64_9632`
231×	`associate-*r/_binary64_9568`
194×	`div-sub_binary64_9631`
153×	`distribute-rgt-neg-in_binary64_9584`
152×	`associate-/r*_binary64_9570`
146×	`neg-sub0_binary64_9621`
142×	`sub-neg_binary64_9619`
141×	`neg-mul-1_binary64_9622`
130×	`distribute-lft-neg-in_binary64_9583`
117×	`distribute-rgt-in_binary64_9576`
116×	`unsub-neg_binary64_9620`
112×	`distribute-rgt-out_binary64_9579`
88×	`distribute-lft-out_binary64_9577`
80×	`associate-l_binary64_9567`
77×	`*-commutative_binary64_9557`
76×	`associate-/l/_binary64_9573`
73×	`distribute-neg-frac_binary64_9590`
69×	`distribute-lft-in_binary64_9575`
66×	`distribute-neg-in_binary64_9587`
65×	`+-commutative_binary64_9556`
63×	`associate-/r/_binary64_9572` `associate-r_binary64_9566`
40×	`associate--r+_binary64_9562`
39×	`exp-prod_binary64_9678`
38×	`associate-+l+_binary64_9559`
37×	`log-div_binary64_9713`
36×	`distribute-rgt-out--_binary64_9580`
33×	`associate--l+_binary64_9563`
31×	`log-prod_binary64_9712` `cube-prod_binary64_9654` `associate-+r+_binary64_9558`
27×	`sqr-pow_binary64_9598`
26×	`distribute-lft-neg-out_binary64_9585`
25×	`distribute-rgt1-in_binary64_9582`
24×	`cube-div_binary64_9655`
20×	`unpow3_binary64_9692` `distribute-lft-out--_binary64_9578`
17×	`unswap-sqr_binary64_9594`
16×	`*-rgt-identity_binary64_9616`
15×	`cube-mult_binary64_9656`
12×	`*-lft-identity_binary64_9615`
11×	`swap-sqr_binary64_9593`
10×	`distribute-lft1-in_binary64_9581`
9×	`exp-sum_binary64_9672`
7×	`log-rec_binary64_9714` `/-rgt-identity_binary64_9617` `distribute-rgt-neg-out_binary64_9586`
6×	`exp-diff_binary64_9674` `mul-1-neg_binary64_9618`
5×	`associate-+r-_binary64_9560`
4×	`+-rgt-identity_binary64_9611`
3×	`rec-exp_binary64_9676` `prod-exp_binary64_9675` `cube-unmult_binary64_9663` `difference-of-squares_binary64_9595`
2×	`unpow1/2_binary64_9690` `pow-plus_binary64_9689` `sqr-neg_binary64_9640` `div0_binary64_9607` `associate-+l-_binary64_9561`
1×	`log-E_binary64_9716` `unpow2_binary64_9691` `pow-base-1_binary64_9686` `unpow1_binary64_9684` `div-exp_binary64_9677` `e-exp-1_binary64_9671` `1-exp_binary64_9670` `cube-neg_binary64_9653` `rem-sqrt-square_binary64_9639` `remove-double-neg_binary64_9614` `pow-sqr_binary64_9599` `associate--r-_binary64_9565`
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_9889` `erf-erfc_binary64_9888` `erf-odd_binary64_9887` `if-if-and-not_binary64_9886` `if-if-and_binary64_9885` `if-if-or-not_binary64_9884` `if-if-or_binary64_9883` `if-not_binary64_9882` `if-same_binary64_9881` `if-false_binary64_9880` `if-true_binary64_9879` `not-gte_binary64_9878` `not-lte_binary64_9877` `not-gt_binary64_9876` `not-lt_binary64_9875` `gte-same_binary64_9874` `lte-same_binary64_9873` `gt-same_binary64_9872` `lt-same_binary64_9871` `sinh---cosh_binary64_9818` `sinh-+-cosh_binary64_9817` `sinh-cosh_binary64_9816` `tanh-def-c_binary64_9815` `tanh-def-b_binary64_9814` `tanh-def-a_binary64_9813` `cosh-def_binary64_9812` `sinh-def_binary64_9811` `tan-neg_binary64_9758` `cos-neg_binary64_9757` `sin-neg_binary64_9756` `tan-0_binary64_9755` `cos-0_binary64_9754` `sin-0_binary64_9753` `hang-m-tan_binary64_9752` `hang-p-tan_binary64_9751` `hang-m0-tan_binary64_9750` `hang-p0-tan_binary64_9749` `hang-0m-tan_binary64_9748` `hang-0p-tan_binary64_9747` `tan-+PI/2_binary64_9746` `tan-+PI_binary64_9745` `tan-PI_binary64_9744` `tan-PI/3_binary64_9743` `tan-PI/4_binary64_9742` `tan-PI/6_binary64_9741` `cos-+PI/2_binary64_9740` `cos-+PI_binary64_9739` `cos-PI_binary64_9738` `cos-PI/2_binary64_9737` `cos-PI/3_binary64_9736` `cos-PI/4_binary64_9735` `cos-PI/6_binary64_9734` `sin-+PI/2_binary64_9733` `sin-+PI_binary64_9732` `sin-PI_binary64_9731` `sin-PI/2_binary64_9730` `sin-PI/3_binary64_9729` `sin-PI/4_binary64_9728` `sin-PI/6_binary64_9727` `sub-1-sin_binary64_9726` `sub-1-cos_binary64_9725` `-1-add-sin_binary64_9724` `-1-add-cos_binary64_9723` `1-sub-sin_binary64_9722` `1-sub-cos_binary64_9721` `cos-sin-sum_binary64_9720` `log-pow_binary64_9715` `pow-base-0_binary64_9710` `unpow1/3_binary64_9693` `exp-to-pow_binary64_9688` `unpow0_binary64_9685` `unpow-1_binary64_9683` `exp-lft-cube_binary64_9682` `exp-lft-sqr_binary64_9681` `exp-cbrt_binary64_9680` `exp-sqrt_binary64_9679` `exp-neg_binary64_9673` `exp-1-e_binary64_9669` `exp-0_binary64_9668` `rem-log-exp_binary64_9667` `rem-exp-log_binary64_9666` `rem-3cbrt-rft_binary64_9652` `rem-3cbrt-lft_binary64_9651` `rem-cbrt-cube_binary64_9650` `rem-cube-cbrt_binary64_9649` `sqr-abs_binary64_9641` `rem-square-sqrt_binary64_9638` `sub0-neg_binary64_9613` `--rgt-identity_binary64_9612` `+-lft-identity_binary64_9610` `mul0-rgt_binary64_9609` `mul0-lft_binary64_9608` `*-inverses_binary64_9606` `+-inverses_binary64_9605` `lft-mult-inverse_binary64_9604` `rgt-mult-inverse_binary64_9603` `remove-double-div_binary64_9602` `difference-of-sqr--1_binary64_9597` `difference-of-sqr-1_binary64_9596` `cancel-sign-sub_binary64_9591` `distribute-frac-neg_binary64_9589` `distribute-neg-out_binary64_9588` `count-2_binary64_9574` `associate--l-_binary64_9564`

Counts

185 → 127

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	195	3213
1	502	2982
2	1568	2877
3	4312	2877
4	4958	2877
5	4993	2877
6	4950	2877

prune143.0ms (1.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

Counts

129 → 2

Compiler

Compiled 2492 to 1472 computations (40.9% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (-.f64 1 y) (+.f64 1 (/.f64 y (-.f64 1 y))))
1.9b	(+.f64 1 (/.f64 y (-.f64 1 y)))
1.9b	(+.f64 1 (/.f64 y (-.f64 1 y)))
3.7b	(log.f64 (+.f64 1 (/.f64 y (-.f64 1 y))))

rewrite202.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

18×	`*-un-lft-identity_binary64_9626`
12×	`add-sqr-sqrt_binary64_9648`
8×	`add-log-exp_binary64_9665`
7×	`pow1_binary64_9687` `add-cube-cbrt_binary64_9661` `add-exp-log_binary64_9664`
6×	`flip3-+_binary64_9629` `flip-+_binary64_9600` `add-cbrt-cube_binary64_9662` `associate-l_binary64_9567`
4×	`log-prod_binary64_9712` `distribute-lft-out_binary64_9577` `frac-times_binary64_9636` `associate-r_binary64_9566`
3×	`flip3--_binary64_9630` `flip--_binary64_9601`
2×	`log-div_binary64_9713` `sum-log_binary64_9717` `+-commutative_binary64_9556` `associate-l/_binary64_9569` `associate-r/_binary64_9568` `difference-of-squares_binary64_9595`
1×	`log-pow_binary64_9715` `rem-log-exp_binary64_9667` `pow-prod-down_binary64_9697` `prod-exp_binary64_9675` `cbrt-unprod_binary64_9659` `unswap-sqr_binary64_9594` `distribute-rgt-in_binary64_9576` `distribute-lft-in_binary64_9575` `distribute-lft-out--_binary64_9578` `*-commutative_binary64_9557`

Counts

4 → 71

Calls

4 calls:

22.0ms	(*.f64 (-.f64 1 y) (+.f64 1 (/.f64 y (-.f64 1 y))))
12.0ms	(+.f64 1 (/.f64 y (-.f64 1 y)))
12.0ms	(log.f64 (+.f64 1 (/.f64 y (-.f64 1 y))))
12.0ms	(+.f64 1 (/.f64 y (-.f64 1 y)))

Compiler

Compiled 2454 to 1874 computations (23.6% saved)

series244.0ms (2.1%)

Error

Counts

4 → 23

Calls

4 calls:

79.0ms	(*.f64 (-.f64 1 y) (+.f64 1 (/.f64 y (-.f64 1 y))))
59.0ms	(log.f64 (+.f64 1 (/.f64 y (-.f64 1 y))))
55.0ms	(+.f64 1 (/.f64 y (-.f64 1 y)))
22.0ms	(+.f64 1 (/.f64 y (-.f64 1 y)))

Compiler

Compiled 1332 to 1094 computations (17.9% saved)

simplify109.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

806×	`div-sub_binary64_9631`
546×	`distribute-rgt-in_binary64_9576`
514×	`distribute-lft-in_binary64_9575`
234×	`cancel-sign-sub-inv_binary64_9592`
196×	`associate-*l/_binary64_9569`
192×	`unsub-neg_binary64_9620`
181×	`associate-+l+_binary64_9559`
174×	`times-frac_binary64_9632`
171×	`*-commutative_binary64_9557`
168×	`exp-sum_binary64_9672`
167×	`associate-*r/_binary64_9568`
155×	`sub-neg_binary64_9619`
120×	`distribute-neg-frac_binary64_9590`
115×	`exp-prod_binary64_9678`
106×	`associate-/r*_binary64_9570`
101×	`associate-+r+_binary64_9558`
97×	`associate-/l*_binary64_9571`
78×	`neg-mul-1_binary64_9622` `neg-sub0_binary64_9621`
72×	`associate-l_binary64_9567`
71×	`log-prod_binary64_9712`
65×	`*-lft-identity_binary64_9615`
61×	`*-rgt-identity_binary64_9616`
58×	`associate-r_binary64_9566`
55×	`+-commutative_binary64_9556`
54×	`sqr-pow_binary64_9598`
53×	`associate-+l-_binary64_9561`
52×	`cube-prod_binary64_9654`
46×	`unswap-sqr_binary64_9594`
43×	`exp-diff_binary64_9674`
40×	`log-div_binary64_9713`
38×	`cube-div_binary64_9655`
34×	`associate-+r-_binary64_9560`
32×	`distribute-lft-neg-out_binary64_9585`
29×	`distribute-rgt-neg-out_binary64_9586`
25×	`/-rgt-identity_binary64_9617` `distribute-rgt-out_binary64_9579`
22×	`swap-sqr_binary64_9593` `distribute-rgt-neg-in_binary64_9584`
17×	`associate--r+_binary64_9562`
12×	`unpow3_binary64_9692` `sub0-neg_binary64_9613` `distribute-neg-in_binary64_9587` `distribute-lft-neg-in_binary64_9583`
10×	`log-rec_binary64_9714`
9×	`cube-mult_binary64_9656` `rem-sqrt-square_binary64_9639` `+-rgt-identity_binary64_9611` `distribute-lft-out_binary64_9577`
7×	`unpow1/2_binary64_9690` `remove-double-div_binary64_9602` `associate-/r/_binary64_9572`
6×	`cube-unmult_binary64_9663` `pow-sqr_binary64_9599` `difference-of-squares_binary64_9595` `distribute-rgt1-in_binary64_9582` `associate-/l/_binary64_9573` `associate--l+_binary64_9563`
5×	`prod-exp_binary64_9675` `difference-of-sqr-1_binary64_9596` `cancel-sign-sub_binary64_9591`
4×	`distribute-rgt-out--_binary64_9580`
3×	`log-pow_binary64_9715` `pow-plus_binary64_9689` `sqr-neg_binary64_9640`
2×	`pow-base-1_binary64_9686` `rec-exp_binary64_9676` `rem-exp-log_binary64_9666` `*-inverses_binary64_9606` `+-inverses_binary64_9605` `count-2_binary64_9574` `associate--l-_binary64_9564`
1×	`unpow2_binary64_9691` `unpow1_binary64_9684` `exp-neg_binary64_9673` `1-exp_binary64_9670` `exp-1-e_binary64_9669` `cube-neg_binary64_9653` `--rgt-identity_binary64_9612` `div0_binary64_9607` `distribute-neg-out_binary64_9588` `distribute-lft1-in_binary64_9581` `associate--r-_binary64_9565`
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_9889` `erf-erfc_binary64_9888` `erf-odd_binary64_9887` `if-if-and-not_binary64_9886` `if-if-and_binary64_9885` `if-if-or-not_binary64_9884` `if-if-or_binary64_9883` `if-not_binary64_9882` `if-same_binary64_9881` `if-false_binary64_9880` `if-true_binary64_9879` `not-gte_binary64_9878` `not-lte_binary64_9877` `not-gt_binary64_9876` `not-lt_binary64_9875` `gte-same_binary64_9874` `lte-same_binary64_9873` `gt-same_binary64_9872` `lt-same_binary64_9871` `sinh---cosh_binary64_9818` `sinh-+-cosh_binary64_9817` `sinh-cosh_binary64_9816` `tanh-def-c_binary64_9815` `tanh-def-b_binary64_9814` `tanh-def-a_binary64_9813` `cosh-def_binary64_9812` `sinh-def_binary64_9811` `tan-neg_binary64_9758` `cos-neg_binary64_9757` `sin-neg_binary64_9756` `tan-0_binary64_9755` `cos-0_binary64_9754` `sin-0_binary64_9753` `hang-m-tan_binary64_9752` `hang-p-tan_binary64_9751` `hang-m0-tan_binary64_9750` `hang-p0-tan_binary64_9749` `hang-0m-tan_binary64_9748` `hang-0p-tan_binary64_9747` `tan-+PI/2_binary64_9746` `tan-+PI_binary64_9745` `tan-PI_binary64_9744` `tan-PI/3_binary64_9743` `tan-PI/4_binary64_9742` `tan-PI/6_binary64_9741` `cos-+PI/2_binary64_9740` `cos-+PI_binary64_9739` `cos-PI_binary64_9738` `cos-PI/2_binary64_9737` `cos-PI/3_binary64_9736` `cos-PI/4_binary64_9735` `cos-PI/6_binary64_9734` `sin-+PI/2_binary64_9733` `sin-+PI_binary64_9732` `sin-PI_binary64_9731` `sin-PI/2_binary64_9730` `sin-PI/3_binary64_9729` `sin-PI/4_binary64_9728` `sin-PI/6_binary64_9727` `sub-1-sin_binary64_9726` `sub-1-cos_binary64_9725` `-1-add-sin_binary64_9724` `-1-add-cos_binary64_9723` `1-sub-sin_binary64_9722` `1-sub-cos_binary64_9721` `cos-sin-sum_binary64_9720` `log-E_binary64_9716` `pow-base-0_binary64_9710` `unpow1/3_binary64_9693` `exp-to-pow_binary64_9688` `unpow0_binary64_9685` `unpow-1_binary64_9683` `exp-lft-cube_binary64_9682` `exp-lft-sqr_binary64_9681` `exp-cbrt_binary64_9680` `exp-sqrt_binary64_9679` `div-exp_binary64_9677` `e-exp-1_binary64_9671` `exp-0_binary64_9668` `rem-log-exp_binary64_9667` `rem-3cbrt-rft_binary64_9652` `rem-3cbrt-lft_binary64_9651` `rem-cbrt-cube_binary64_9650` `rem-cube-cbrt_binary64_9649` `sqr-abs_binary64_9641` `rem-square-sqrt_binary64_9638` `mul-1-neg_binary64_9618` `remove-double-neg_binary64_9614` `+-lft-identity_binary64_9610` `mul0-rgt_binary64_9609` `mul0-lft_binary64_9608` `lft-mult-inverse_binary64_9604` `rgt-mult-inverse_binary64_9603` `difference-of-sqr--1_binary64_9597` `distribute-frac-neg_binary64_9589` `distribute-lft-out--_binary64_9578`

Counts

94 → 52

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	121	1478
1	328	1384
2	1028	1342
3	3378	1317
4	4440	1317
5	5941	1317

prune78.0ms (0.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

54 → 2

Compiler

Compiled 1498 to 1120 computations (25.2% saved)

regimes1.2s (10%)

Accuracy

Total 0.0b remaining (94.8%)

Threshold costs 0.0b (94.8%)

Compiler

Compiled 12821 to 10524 computations (17.9% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`sub-neg_binary64_9619` `+-commutative_binary64_9556`
6×	`*-commutative_binary64_9557`
5×	`neg-mul-1_binary64_9622` `neg-sub0_binary64_9621`
2×	`cancel-sign-sub-inv_binary64_9592` `distribute-rgt-neg-in_binary64_9584`
1×	`e-exp-1_binary64_9671` `1-exp_binary64_9670` `distribute-neg-frac_binary64_9590` `distribute-lft-neg-out_binary64_9585` `distribute-lft-neg-in_binary64_9583`
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_9886` `if-if-and_binary64_9885` `if-if-or-not_binary64_9884` `if-if-or_binary64_9883` `if-not_binary64_9882` `if-same_binary64_9881` `if-false_binary64_9880` `if-true_binary64_9879` `tan-0_binary64_9755` `cos-0_binary64_9754` `sin-0_binary64_9753` `unpow1_binary64_9684` `exp-1-e_binary64_9669` `exp-0_binary64_9668` `sqr-abs_binary64_9641` `sqr-neg_binary64_9640` `unsub-neg_binary64_9620` `mul-1-neg_binary64_9618` `/-rgt-identity_binary64_9617` `-rgt-identity_binary64_9616` `-lft-identity_binary64_9615` `remove-double-neg_binary64_9614` `sub0-neg_binary64_9613` `--rgt-identity_binary64_9612` `+-rgt-identity_binary64_9611` `+-lft-identity_binary64_9610` `cancel-sign-sub_binary64_9591` `distribute-frac-neg_binary64_9589` `distribute-neg-out_binary64_9588` `distribute-neg-in_binary64_9587` `distribute-rgt-neg-out_binary64_9586`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	21	23
2	35	23
3	45	23
4	52	23
5	54	23
6	53	23

end0.0ms (0%)

sample3.0s (25.8%)

Algorithm

1×

intervals

Results

302.0ms	5848×	body	128	valid
205.0ms	1046×	body	1024	valid
155.0ms	1002×	body	1024	nan
87.0ms	652×	body	512	valid
66.0ms	625×	body	512	nan
33.0ms	379×	body	256	valid
24.0ms	347×	body	256	nan
21.0ms	75×	body	2048	valid
19.0ms	472×	body	128	nan
1.0ms	4×	body	2048	nan

Compiler

Compiled 2041 to 1669 computations (18.2% saved)

Details

analyze948.0ms (8%)

sample39.0ms (0.3%)

simplify347.0ms (2.9%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite354.0ms (3%)

series1.1s (9.6%)

simplify153.0ms (1.3%)

prune203.0ms (1.7%)

localize9.0ms (0.1%)

rewrite383.0ms (3.2%)

series1.9s (16.3%)

simplify153.0ms (1.3%)

prune233.0ms (2%)

localize8.0ms (0.1%)

rewrite237.0ms (2%)

series463.0ms (3.9%)

simplify203.0ms (1.7%)

prune143.0ms (1.2%)

localize11.0ms (0.1%)

rewrite202.0ms (1.7%)

series244.0ms (2.1%)

simplify109.0ms (0.9%)

prune78.0ms (0.7%)

regimes1.2s (10%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample3.0s (25.8%)

Profiling