Details

analyze412.0ms (6.6%)

Algorithm

1×	search
2×	egg-herbie

Rules

948×	`div-sub_binary64_23953`
542×	`sub-neg_binary64_23941`
535×	`associate-/l*_binary64_23893`
531×	`distribute-rgt-in_binary64_23898`
459×	`unsub-neg_binary64_23942`
417×	`associate-/l/_binary64_23895`
390×	`distribute-lft-in_binary64_23897`
360×	`times-frac_binary64_23954`
331×	`cancel-sign-sub-inv_binary64_23914`
297×	`associate-/r*_binary64_23892`
189×	`associate-/r/_binary64_23894`
167×	`distribute-neg-in_binary64_23909`
150×	`distribute-rgt-neg-in_binary64_23906`
137×	`*-commutative_binary64_23879`
129×	`neg-mul-1_binary64_23944`
127×	`distribute-neg-frac_binary64_23912`
110×	`distribute-frac-neg_binary64_23911`
109×	`distribute-lft-neg-in_binary64_23905`
108×	`neg-sub0_binary64_23943`
100×	`associate--r-_binary64_23887`
74×	`associate-*l/_binary64_23891`
72×	`associate--l-_binary64_23886` `associate-+r-_binary64_23882`
63×	`distribute-rgt-neg-out_binary64_23908`
61×	`distribute-lft-neg-out_binary64_23907`
59×	`+-commutative_binary64_23878`
46×	`associate--r+_binary64_23884`
44×	`associate-r_binary64_23888`
38×	`associate-*r/_binary64_23890`
37×	`associate-+l-_binary64_23883`
32×	`associate-l_binary64_23889`
28×	`mul0-rgt_binary64_23931`
27×	`remove-double-neg_binary64_23936` `mul0-lft_binary64_23930`
26×	`div0_binary64_23929`
23×	`*-lft-identity_binary64_23937`
20×	`+-rgt-identity_binary64_23933` `associate--l+_binary64_23885`
17×	`sub0-neg_binary64_23935`
16×	`--rgt-identity_binary64_23934`
14×	`mul-1-neg_binary64_23940`
12×	`/-rgt-identity_binary64_23939` `*-rgt-identity_binary64_23938`
9×	`associate-+l+_binary64_23881`
8×	`associate-+r+_binary64_23880`
7×	`remove-double-div_binary64_23924` `distribute-neg-out_binary64_23910`
6×	`+-lft-identity_binary64_23932`
4×	`distribute-lft-out--_binary64_23900`
2×	`*-inverses_binary64_23928`
1×	`1-exp_binary64_23992` `distribute-rgt-out--_binary64_23902` `distribute-rgt-out_binary64_23901`
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_24211` `erf-erfc_binary64_24210` `erf-odd_binary64_24209` `if-if-and-not_binary64_24208` `if-if-and_binary64_24207` `if-if-or-not_binary64_24206` `if-if-or_binary64_24205` `if-not_binary64_24204` `if-same_binary64_24203` `if-false_binary64_24202` `if-true_binary64_24201` `not-gte_binary64_24200` `not-lte_binary64_24199` `not-gt_binary64_24198` `not-lt_binary64_24197` `gte-same_binary64_24196` `lte-same_binary64_24195` `gt-same_binary64_24194` `lt-same_binary64_24193` `sinh---cosh_binary64_24140` `sinh-+-cosh_binary64_24139` `sinh-cosh_binary64_24138` `tanh-def-c_binary64_24137` `tanh-def-b_binary64_24136` `tanh-def-a_binary64_24135` `cosh-def_binary64_24134` `sinh-def_binary64_24133` `tan-neg_binary64_24080` `cos-neg_binary64_24079` `sin-neg_binary64_24078` `tan-0_binary64_24077` `cos-0_binary64_24076` `sin-0_binary64_24075` `hang-m-tan_binary64_24074` `hang-p-tan_binary64_24073` `hang-m0-tan_binary64_24072` `hang-p0-tan_binary64_24071` `hang-0m-tan_binary64_24070` `hang-0p-tan_binary64_24069` `tan-+PI/2_binary64_24068` `tan-+PI_binary64_24067` `tan-PI_binary64_24066` `tan-PI/3_binary64_24065` `tan-PI/4_binary64_24064` `tan-PI/6_binary64_24063` `cos-+PI/2_binary64_24062` `cos-+PI_binary64_24061` `cos-PI_binary64_24060` `cos-PI/2_binary64_24059` `cos-PI/3_binary64_24058` `cos-PI/4_binary64_24057` `cos-PI/6_binary64_24056` `sin-+PI/2_binary64_24055` `sin-+PI_binary64_24054` `sin-PI_binary64_24053` `sin-PI/2_binary64_24052` `sin-PI/3_binary64_24051` `sin-PI/4_binary64_24050` `sin-PI/6_binary64_24049` `sub-1-sin_binary64_24048` `sub-1-cos_binary64_24047` `-1-add-sin_binary64_24046` `-1-add-cos_binary64_24045` `1-sub-sin_binary64_24044` `1-sub-cos_binary64_24043` `cos-sin-sum_binary64_24042` `log-E_binary64_24038` `log-pow_binary64_24037` `log-rec_binary64_24036` `log-div_binary64_24035` `log-prod_binary64_24034` `pow-base-0_binary64_24032` `unpow1/3_binary64_24015` `unpow3_binary64_24014` `unpow2_binary64_24013` `unpow1/2_binary64_24012` `pow-plus_binary64_24011` `exp-to-pow_binary64_24010` `pow-base-1_binary64_24008` `unpow0_binary64_24007` `unpow1_binary64_24006` `unpow-1_binary64_24005` `exp-lft-cube_binary64_24004` `exp-lft-sqr_binary64_24003` `exp-cbrt_binary64_24002` `exp-sqrt_binary64_24001` `exp-prod_binary64_24000` `div-exp_binary64_23999` `rec-exp_binary64_23998` `prod-exp_binary64_23997` `exp-diff_binary64_23996` `exp-neg_binary64_23995` `exp-sum_binary64_23994` `e-exp-1_binary64_23993` `exp-1-e_binary64_23991` `exp-0_binary64_23990` `rem-log-exp_binary64_23989` `rem-exp-log_binary64_23988` `cube-unmult_binary64_23985` `cube-mult_binary64_23978` `cube-div_binary64_23977` `cube-prod_binary64_23976` `cube-neg_binary64_23975` `rem-3cbrt-rft_binary64_23974` `rem-3cbrt-lft_binary64_23973` `rem-cbrt-cube_binary64_23972` `rem-cube-cbrt_binary64_23971` `sqr-abs_binary64_23963` `sqr-neg_binary64_23962` `rem-sqrt-square_binary64_23961` `rem-square-sqrt_binary64_23960` `+-inverses_binary64_23927` `lft-mult-inverse_binary64_23926` `rgt-mult-inverse_binary64_23925` `pow-sqr_binary64_23921` `sqr-pow_binary64_23920` `difference-of-sqr--1_binary64_23919` `difference-of-sqr-1_binary64_23918` `difference-of-squares_binary64_23917` `unswap-sqr_binary64_23916` `swap-sqr_binary64_23915` `cancel-sign-sub_binary64_23913` `distribute-rgt1-in_binary64_23904` `distribute-lft1-in_binary64_23903` `distribute-lft-out_binary64_23899` `count-2_binary64_23896`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	26
1	25	26
2	46	26
3	89	26
4	169	26
5	269	26
6	804	26
7	1200	26
8	1956	26
9	1807	26
10	1894	26
11	2070	26
12	2090	26
13	1918	26
14	2650	26
15	2170	26
16	2176	26
17	2182	26
18	2194	26
19	2188	26
20	2188	26
21	2188	26
22	2284	26
23	2332	26
24	2142	26
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
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
56.2%	43.7%	0.1%	5
65.6%	34.3%	0.1%	6
79.6%	20.3%	0.1%	7
83.5%	16.4%	0.1%	8
90.1%	9.8%	0.1%	9
91.9%	8%	0.1%	10
95.1%	4.8%	0.1%	11
96%	4%	0.1%	12
97.5%	2.4%	0.1%	13
97.9%	2%	0.1%	14

Compiler

Compiled 10 to 8 computations (20% saved)

sample15.0ms (0.2%)

Algorithm

1×

intervals

Results

6.0ms

256×

body

128

valid

Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify217.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

700×	`div-sub_binary64_23953`
434×	`sub-neg_binary64_23941`
412×	`distribute-rgt-in_binary64_23898`
366×	`associate-/l*_binary64_23893`
361×	`associate-/l/_binary64_23895`
333×	`distribute-lft-in_binary64_23897`
313×	`associate-/r/_binary64_23894`
250×	`times-frac_binary64_23954` `unsub-neg_binary64_23942`
233×	`associate-/r*_binary64_23892`
232×	`cancel-sign-sub-inv_binary64_23914`
129×	`*-commutative_binary64_23879`
117×	`neg-mul-1_binary64_23944`
110×	`distribute-frac-neg_binary64_23911` `distribute-rgt-neg-in_binary64_23906`
99×	`distribute-neg-frac_binary64_23912`
93×	`associate--r+_binary64_23884`
83×	`distribute-lft-neg-in_binary64_23905` `associate--l-_binary64_23886`
82×	`distribute-neg-in_binary64_23909`
75×	`neg-sub0_binary64_23943`
73×	`distribute-lft-neg-out_binary64_23907`
72×	`distribute-rgt-neg-out_binary64_23908`
54×	`associate-*l/_binary64_23891`
51×	`associate--r-_binary64_23887`
50×	`associate-+l-_binary64_23883`
40×	`associate--l+_binary64_23885`
32×	`distribute-rgt-out--_binary64_23902` `+-commutative_binary64_23878`
29×	`sub0-neg_binary64_23935`
28×	`mul0-rgt_binary64_23931` `associate-+r-_binary64_23882`
26×	`div0_binary64_23929`
23×	`mul0-lft_binary64_23930`
19×	`*-lft-identity_binary64_23937`
18×	`distribute-neg-out_binary64_23910`
16×	`mul-1-neg_binary64_23940`
15×	`+-rgt-identity_binary64_23933`
14×	`associate-r_binary64_23888`
12×	`/-rgt-identity_binary64_23939` `associate-l_binary64_23889` `associate-+l+_binary64_23881`
11×	`associate-+r+_binary64_23880`
9×	`associate-*r/_binary64_23890`
7×	`remove-double-neg_binary64_23936` `remove-double-div_binary64_23924`
5×	`*-rgt-identity_binary64_23938` `--rgt-identity_binary64_23934`
4×	`distribute-rgt1-in_binary64_23904`
3×	`*-inverses_binary64_23928` `distribute-lft-out--_binary64_23900`
2×	`+-lft-identity_binary64_23932` `lft-mult-inverse_binary64_23926`
1×	`1-exp_binary64_23992` `distribute-rgt-out_binary64_23901`
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_24211` `erf-erfc_binary64_24210` `erf-odd_binary64_24209` `if-if-and-not_binary64_24208` `if-if-and_binary64_24207` `if-if-or-not_binary64_24206` `if-if-or_binary64_24205` `if-not_binary64_24204` `if-same_binary64_24203` `if-false_binary64_24202` `if-true_binary64_24201` `not-gte_binary64_24200` `not-lte_binary64_24199` `not-gt_binary64_24198` `not-lt_binary64_24197` `gte-same_binary64_24196` `lte-same_binary64_24195` `gt-same_binary64_24194` `lt-same_binary64_24193` `sinh---cosh_binary64_24140` `sinh-+-cosh_binary64_24139` `sinh-cosh_binary64_24138` `tanh-def-c_binary64_24137` `tanh-def-b_binary64_24136` `tanh-def-a_binary64_24135` `cosh-def_binary64_24134` `sinh-def_binary64_24133` `tan-neg_binary64_24080` `cos-neg_binary64_24079` `sin-neg_binary64_24078` `tan-0_binary64_24077` `cos-0_binary64_24076` `sin-0_binary64_24075` `hang-m-tan_binary64_24074` `hang-p-tan_binary64_24073` `hang-m0-tan_binary64_24072` `hang-p0-tan_binary64_24071` `hang-0m-tan_binary64_24070` `hang-0p-tan_binary64_24069` `tan-+PI/2_binary64_24068` `tan-+PI_binary64_24067` `tan-PI_binary64_24066` `tan-PI/3_binary64_24065` `tan-PI/4_binary64_24064` `tan-PI/6_binary64_24063` `cos-+PI/2_binary64_24062` `cos-+PI_binary64_24061` `cos-PI_binary64_24060` `cos-PI/2_binary64_24059` `cos-PI/3_binary64_24058` `cos-PI/4_binary64_24057` `cos-PI/6_binary64_24056` `sin-+PI/2_binary64_24055` `sin-+PI_binary64_24054` `sin-PI_binary64_24053` `sin-PI/2_binary64_24052` `sin-PI/3_binary64_24051` `sin-PI/4_binary64_24050` `sin-PI/6_binary64_24049` `sub-1-sin_binary64_24048` `sub-1-cos_binary64_24047` `-1-add-sin_binary64_24046` `-1-add-cos_binary64_24045` `1-sub-sin_binary64_24044` `1-sub-cos_binary64_24043` `cos-sin-sum_binary64_24042` `log-E_binary64_24038` `log-pow_binary64_24037` `log-rec_binary64_24036` `log-div_binary64_24035` `log-prod_binary64_24034` `pow-base-0_binary64_24032` `unpow1/3_binary64_24015` `unpow3_binary64_24014` `unpow2_binary64_24013` `unpow1/2_binary64_24012` `pow-plus_binary64_24011` `exp-to-pow_binary64_24010` `pow-base-1_binary64_24008` `unpow0_binary64_24007` `unpow1_binary64_24006` `unpow-1_binary64_24005` `exp-lft-cube_binary64_24004` `exp-lft-sqr_binary64_24003` `exp-cbrt_binary64_24002` `exp-sqrt_binary64_24001` `exp-prod_binary64_24000` `div-exp_binary64_23999` `rec-exp_binary64_23998` `prod-exp_binary64_23997` `exp-diff_binary64_23996` `exp-neg_binary64_23995` `exp-sum_binary64_23994` `e-exp-1_binary64_23993` `exp-1-e_binary64_23991` `exp-0_binary64_23990` `rem-log-exp_binary64_23989` `rem-exp-log_binary64_23988` `cube-unmult_binary64_23985` `cube-mult_binary64_23978` `cube-div_binary64_23977` `cube-prod_binary64_23976` `cube-neg_binary64_23975` `rem-3cbrt-rft_binary64_23974` `rem-3cbrt-lft_binary64_23973` `rem-cbrt-cube_binary64_23972` `rem-cube-cbrt_binary64_23971` `sqr-abs_binary64_23963` `sqr-neg_binary64_23962` `rem-sqrt-square_binary64_23961` `rem-square-sqrt_binary64_23960` `+-inverses_binary64_23927` `rgt-mult-inverse_binary64_23925` `pow-sqr_binary64_23921` `sqr-pow_binary64_23920` `difference-of-sqr--1_binary64_23919` `difference-of-sqr-1_binary64_23918` `difference-of-squares_binary64_23917` `unswap-sqr_binary64_23916` `swap-sqr_binary64_23915` `cancel-sign-sub_binary64_23913` `distribute-lft1-in_binary64_23903` `distribute-lft-out_binary64_23899` `count-2_binary64_23896`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	18	13
2	35	13
3	71	13
4	135	13
5	221	13
6	569	13
7	929	13
8	1760	13
9	1962	13
10	2270	13
11	2228	13
12	2282	13
13	2296	13
14	2198	13
15	2188	13
16	2188	13
17	2188	13
18	2188	13
19	2284	13
20	2332	13
21	2142	13

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

0.0b

Counts

1 → 1

Compiler

Compiled 9 to 7 computations (22.2% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

rewrite81.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

58×	`*-un-lft-identity_binary64_23948`
40×	`add-sqr-sqrt_binary64_23970`
30×	`times-frac_binary64_23954`
19×	`distribute-lft-out--_binary64_23900`
14×	`add-cube-cbrt_binary64_23983`
13×	`difference-of-squares_binary64_23917`
6×	`distribute-lft-out_binary64_23899` `associate-/r*_binary64_23892`
5×	`associate-/l*_binary64_23893`
3×	`add-exp-log_binary64_23986` `add-cbrt-cube_binary64_23984`
2×	`flip3--_binary64_23952` `associate-/l/_binary64_23895` `flip--_binary64_23923` `associate-/r/_binary64_23894`
1×	`pow1_binary64_24009` `div-exp_binary64_23999` `add-log-exp_binary64_23987` `cbrt-undiv_binary64_23982` `frac-2neg_binary64_23959` `div-sub_binary64_23953` `clear-num_binary64_23947` `div-inv_binary64_23945`

Counts

1 → 58

Calls

1 calls:

11.0ms

(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

Compiler

Compiled 1117 to 472 computations (57.7% saved)

series252.0ms (4.1%)

Error

0.0b

Counts

1 → 23

Calls

1 calls:

211.0ms

(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

Compiler

Compiled 1499 to 1192 computations (20.5% saved)

simplify128.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

428×	`times-frac_binary64_23954`
386×	`associate-/l*_binary64_23893`
287×	`distribute-rgt-in_binary64_23898`
237×	`distribute-lft-in_binary64_23897`
229×	`sub-neg_binary64_23941`
201×	`cancel-sign-sub-inv_binary64_23914`
168×	`associate-/r/_binary64_23894`
160×	`distribute-neg-in_binary64_23909`
122×	`+-commutative_binary64_23878`
109×	`associate-/l/_binary64_23895`
102×	`associate-+r+_binary64_23880`
87×	`associate-+l+_binary64_23881`
86×	`associate-/r*_binary64_23892`
73×	`associate--l+_binary64_23885`
71×	`neg-sub0_binary64_23943` `associate--r+_binary64_23884`
70×	`neg-mul-1_binary64_23944`
69×	`div-sub_binary64_23953`
56×	`distribute-neg-frac_binary64_23912`
47×	`*-commutative_binary64_23879`
45×	`unsub-neg_binary64_23942`
40×	`distribute-rgt-out_binary64_23901`
38×	`distribute-rgt-neg-in_binary64_23906`
34×	`distribute-lft-neg-in_binary64_23905`
33×	`sqr-pow_binary64_23920`
28×	`unswap-sqr_binary64_23916` `associate-*r/_binary64_23890`
25×	`associate-*l/_binary64_23891`
22×	`distribute-lft-neg-out_binary64_23907`
18×	`associate-r_binary64_23888`
16×	`unpow3_binary64_24014`
15×	`distribute-rgt-neg-out_binary64_23908`
12×	`associate-l_binary64_23889`
10×	`cube-unmult_binary64_23985` `cube-div_binary64_23977`
9×	`distribute-rgt1-in_binary64_23904`
8×	`*-rgt-identity_binary64_23938` `distribute-rgt-out--_binary64_23902`
7×	`/-rgt-identity_binary64_23939`
5×	`cube-mult_binary64_23978`
4×	`log-div_binary64_24035` `log-prod_binary64_24034` `unpow2_binary64_24013` `unpow1/2_binary64_24012` `pow-plus_binary64_24011` `unpow1_binary64_24006` `cube-prod_binary64_23976`
3×	`difference-of-squares_binary64_23917` `associate--r-_binary64_23887`
2×	`exp-diff_binary64_23996` `rem-sqrt-square_binary64_23961` `remove-double-neg_binary64_23936` `distribute-lft1-in_binary64_23903` `distribute-lft-out_binary64_23899`
1×	`exp-prod_binary64_24000` `exp-sum_binary64_23994` `1-exp_binary64_23992` `mul-1-neg_binary64_23940` `*-lft-identity_binary64_23937` `sub0-neg_binary64_23935`
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_24211` `erf-erfc_binary64_24210` `erf-odd_binary64_24209` `if-if-and-not_binary64_24208` `if-if-and_binary64_24207` `if-if-or-not_binary64_24206` `if-if-or_binary64_24205` `if-not_binary64_24204` `if-same_binary64_24203` `if-false_binary64_24202` `if-true_binary64_24201` `not-gte_binary64_24200` `not-lte_binary64_24199` `not-gt_binary64_24198` `not-lt_binary64_24197` `gte-same_binary64_24196` `lte-same_binary64_24195` `gt-same_binary64_24194` `lt-same_binary64_24193` `sinh---cosh_binary64_24140` `sinh-+-cosh_binary64_24139` `sinh-cosh_binary64_24138` `tanh-def-c_binary64_24137` `tanh-def-b_binary64_24136` `tanh-def-a_binary64_24135` `cosh-def_binary64_24134` `sinh-def_binary64_24133` `tan-neg_binary64_24080` `cos-neg_binary64_24079` `sin-neg_binary64_24078` `tan-0_binary64_24077` `cos-0_binary64_24076` `sin-0_binary64_24075` `hang-m-tan_binary64_24074` `hang-p-tan_binary64_24073` `hang-m0-tan_binary64_24072` `hang-p0-tan_binary64_24071` `hang-0m-tan_binary64_24070` `hang-0p-tan_binary64_24069` `tan-+PI/2_binary64_24068` `tan-+PI_binary64_24067` `tan-PI_binary64_24066` `tan-PI/3_binary64_24065` `tan-PI/4_binary64_24064` `tan-PI/6_binary64_24063` `cos-+PI/2_binary64_24062` `cos-+PI_binary64_24061` `cos-PI_binary64_24060` `cos-PI/2_binary64_24059` `cos-PI/3_binary64_24058` `cos-PI/4_binary64_24057` `cos-PI/6_binary64_24056` `sin-+PI/2_binary64_24055` `sin-+PI_binary64_24054` `sin-PI_binary64_24053` `sin-PI/2_binary64_24052` `sin-PI/3_binary64_24051` `sin-PI/4_binary64_24050` `sin-PI/6_binary64_24049` `sub-1-sin_binary64_24048` `sub-1-cos_binary64_24047` `-1-add-sin_binary64_24046` `-1-add-cos_binary64_24045` `1-sub-sin_binary64_24044` `1-sub-cos_binary64_24043` `cos-sin-sum_binary64_24042` `log-E_binary64_24038` `log-pow_binary64_24037` `log-rec_binary64_24036` `pow-base-0_binary64_24032` `unpow1/3_binary64_24015` `exp-to-pow_binary64_24010` `pow-base-1_binary64_24008` `unpow0_binary64_24007` `unpow-1_binary64_24005` `exp-lft-cube_binary64_24004` `exp-lft-sqr_binary64_24003` `exp-cbrt_binary64_24002` `exp-sqrt_binary64_24001` `div-exp_binary64_23999` `rec-exp_binary64_23998` `prod-exp_binary64_23997` `exp-neg_binary64_23995` `e-exp-1_binary64_23993` `exp-1-e_binary64_23991` `exp-0_binary64_23990` `rem-log-exp_binary64_23989` `rem-exp-log_binary64_23988` `cube-neg_binary64_23975` `rem-3cbrt-rft_binary64_23974` `rem-3cbrt-lft_binary64_23973` `rem-cbrt-cube_binary64_23972` `rem-cube-cbrt_binary64_23971` `sqr-abs_binary64_23963` `sqr-neg_binary64_23962` `rem-square-sqrt_binary64_23960` `--rgt-identity_binary64_23934` `+-rgt-identity_binary64_23933` `+-lft-identity_binary64_23932` `mul0-rgt_binary64_23931` `mul0-lft_binary64_23930` `div0_binary64_23929` `*-inverses_binary64_23928` `+-inverses_binary64_23927` `lft-mult-inverse_binary64_23926` `rgt-mult-inverse_binary64_23925` `remove-double-div_binary64_23924` `pow-sqr_binary64_23921` `difference-of-sqr--1_binary64_23919` `difference-of-sqr-1_binary64_23918` `swap-sqr_binary64_23915` `cancel-sign-sub_binary64_23913` `distribute-frac-neg_binary64_23911` `distribute-neg-out_binary64_23910` `distribute-lft-out--_binary64_23900` `count-2_binary64_23896` `associate--l-_binary64_23886` `associate-+l-_binary64_23883` `associate-+r-_binary64_23882`

Counts

81 → 74

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	219	2358
1	607	2296
2	1959	2179
3	4973	2179
4	4989	2179
5	4955	2179

prune93.0ms (1.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	70	4	74
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	71	4	75

Error

Counts

75 → 4

Compiler

Compiled 1686 to 818 computations (51.5% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 2 (+.f64 y x)) (-.f64 x y))
0.1b	(/.f64 1 (/.f64 (-.f64 2 (+.f64 y x)) (-.f64 x y)))

rewrite337.0ms (5.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

292×	`*-un-lft-identity_binary64_23948`
258×	`times-frac_binary64_23954`
214×	`add-sqr-sqrt_binary64_23970`
100×	`add-cube-cbrt_binary64_23983`
83×	`distribute-lft-out--_binary64_23900`
57×	`difference-of-squares_binary64_23917`
41×	`associate-/r*_binary64_23892`
26×	`distribute-lft-out_binary64_23899`
15×	`add-exp-log_binary64_23986`
11×	`associate-/r/_binary64_23894`
9×	`add-cbrt-cube_binary64_23984` `associate-/l*_binary64_23893`
8×	`div-exp_binary64_23999`
6×	`div-inv_binary64_23945` `flip3--_binary64_23952` `flip--_binary64_23923`
4×	`cbrt-undiv_binary64_23982`
3×	`pow1_binary64_24009`
2×	`1-exp_binary64_23992` `rec-exp_binary64_23998` `add-log-exp_binary64_23987` `frac-2neg_binary64_23959` `clear-num_binary64_23947` `associate-/l/_binary64_23895`
1×	`inv-pow_binary64_24033` `pow-flip_binary64_24022` `div-sub_binary64_23953`

Counts

2 → 226

Calls

2 calls:

17.0ms	(/.f64 1 (/.f64 (-.f64 2 (+.f64 y x)) (-.f64 x y)))
15.0ms	(/.f64 (-.f64 2 (+.f64 y x)) (-.f64 x y))

Compiler

Compiled 5434 to 2774 computations (49% saved)

series479.0ms (7.7%)

Error

Counts

2 → 47

Calls

2 calls:

229.0ms	(/.f64 1 (/.f64 (-.f64 2 (+.f64 y x)) (-.f64 x y)))
173.0ms	(/.f64 (-.f64 2 (+.f64 y x)) (-.f64 x y))

Compiler

Compiled 2879 to 2318 computations (19.5% saved)

simplify204.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

835×	`times-frac_binary64_23954`
204×	`+-commutative_binary64_23878`
178×	`div-sub_binary64_23953`
176×	`associate-/r/_binary64_23894`
163×	`associate-+r+_binary64_23880`
155×	`associate-+l+_binary64_23881`
150×	`associate--l+_binary64_23885`
139×	`associate--r+_binary64_23884`
131×	`*-commutative_binary64_23879`
126×	`associate-/r*_binary64_23892`
122×	`sub-neg_binary64_23941`
119×	`associate-*l/_binary64_23891`
117×	`associate-/l*_binary64_23893`
108×	`associate-/l/_binary64_23895`
83×	`associate-*r/_binary64_23890`
76×	`distribute-rgt-in_binary64_23898`
73×	`distribute-lft-in_binary64_23897`
56×	`cancel-sign-sub-inv_binary64_23914`
51×	`associate-r_binary64_23888`
50×	`distribute-neg-in_binary64_23909`
34×	`neg-sub0_binary64_23943`
33×	`neg-mul-1_binary64_23944`
29×	`associate-l_binary64_23889`
20×	`distribute-rgt-out_binary64_23901`
19×	`sqr-pow_binary64_23920`
15×	`distribute-lft-out_binary64_23899`
10×	`cube-prod_binary64_23976` `distribute-rgt-neg-in_binary64_23906`
9×	`log-div_binary64_24035` `exp-prod_binary64_24000`
8×	`/-rgt-identity_binary64_23939` `distribute-neg-frac_binary64_23912` `distribute-lft-neg-in_binary64_23905`
7×	`cube-unmult_binary64_23985`
6×	`log-prod_binary64_24034` `associate--r-_binary64_23887`
4×	`log-rec_binary64_24036` `unpow3_binary64_24014` `unpow2_binary64_24013` `unpow1/2_binary64_24012` `unpow1_binary64_24006` `exp-diff_binary64_23996` `exp-sum_binary64_23994` `cube-mult_binary64_23978` `remove-double-div_binary64_23924` `associate-+r-_binary64_23882`
3×	`mul-1-neg_binary64_23940`
2×	`cube-div_binary64_23977` `rem-sqrt-square_binary64_23961` `-rgt-identity_binary64_23938` `-inverses_binary64_23928` `difference-of-squares_binary64_23917` `swap-sqr_binary64_23915` `distribute-rgt-out--_binary64_23902` `distribute-lft-out--_binary64_23900`
1×	`1-exp_binary64_23992` `*-lft-identity_binary64_23937` `sub0-neg_binary64_23935` `unswap-sqr_binary64_23916` `distribute-lft-neg-out_binary64_23907`
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_24211` `erf-erfc_binary64_24210` `erf-odd_binary64_24209` `if-if-and-not_binary64_24208` `if-if-and_binary64_24207` `if-if-or-not_binary64_24206` `if-if-or_binary64_24205` `if-not_binary64_24204` `if-same_binary64_24203` `if-false_binary64_24202` `if-true_binary64_24201` `not-gte_binary64_24200` `not-lte_binary64_24199` `not-gt_binary64_24198` `not-lt_binary64_24197` `gte-same_binary64_24196` `lte-same_binary64_24195` `gt-same_binary64_24194` `lt-same_binary64_24193` `sinh---cosh_binary64_24140` `sinh-+-cosh_binary64_24139` `sinh-cosh_binary64_24138` `tanh-def-c_binary64_24137` `tanh-def-b_binary64_24136` `tanh-def-a_binary64_24135` `cosh-def_binary64_24134` `sinh-def_binary64_24133` `tan-neg_binary64_24080` `cos-neg_binary64_24079` `sin-neg_binary64_24078` `tan-0_binary64_24077` `cos-0_binary64_24076` `sin-0_binary64_24075` `hang-m-tan_binary64_24074` `hang-p-tan_binary64_24073` `hang-m0-tan_binary64_24072` `hang-p0-tan_binary64_24071` `hang-0m-tan_binary64_24070` `hang-0p-tan_binary64_24069` `tan-+PI/2_binary64_24068` `tan-+PI_binary64_24067` `tan-PI_binary64_24066` `tan-PI/3_binary64_24065` `tan-PI/4_binary64_24064` `tan-PI/6_binary64_24063` `cos-+PI/2_binary64_24062` `cos-+PI_binary64_24061` `cos-PI_binary64_24060` `cos-PI/2_binary64_24059` `cos-PI/3_binary64_24058` `cos-PI/4_binary64_24057` `cos-PI/6_binary64_24056` `sin-+PI/2_binary64_24055` `sin-+PI_binary64_24054` `sin-PI_binary64_24053` `sin-PI/2_binary64_24052` `sin-PI/3_binary64_24051` `sin-PI/4_binary64_24050` `sin-PI/6_binary64_24049` `sub-1-sin_binary64_24048` `sub-1-cos_binary64_24047` `-1-add-sin_binary64_24046` `-1-add-cos_binary64_24045` `1-sub-sin_binary64_24044` `1-sub-cos_binary64_24043` `cos-sin-sum_binary64_24042` `log-E_binary64_24038` `log-pow_binary64_24037` `pow-base-0_binary64_24032` `unpow1/3_binary64_24015` `pow-plus_binary64_24011` `exp-to-pow_binary64_24010` `pow-base-1_binary64_24008` `unpow0_binary64_24007` `unpow-1_binary64_24005` `exp-lft-cube_binary64_24004` `exp-lft-sqr_binary64_24003` `exp-cbrt_binary64_24002` `exp-sqrt_binary64_24001` `div-exp_binary64_23999` `rec-exp_binary64_23998` `prod-exp_binary64_23997` `exp-neg_binary64_23995` `e-exp-1_binary64_23993` `exp-1-e_binary64_23991` `exp-0_binary64_23990` `rem-log-exp_binary64_23989` `rem-exp-log_binary64_23988` `cube-neg_binary64_23975` `rem-3cbrt-rft_binary64_23974` `rem-3cbrt-lft_binary64_23973` `rem-cbrt-cube_binary64_23972` `rem-cube-cbrt_binary64_23971` `sqr-abs_binary64_23963` `sqr-neg_binary64_23962` `rem-square-sqrt_binary64_23960` `unsub-neg_binary64_23942` `remove-double-neg_binary64_23936` `--rgt-identity_binary64_23934` `+-rgt-identity_binary64_23933` `+-lft-identity_binary64_23932` `mul0-rgt_binary64_23931` `mul0-lft_binary64_23930` `div0_binary64_23929` `+-inverses_binary64_23927` `lft-mult-inverse_binary64_23926` `rgt-mult-inverse_binary64_23925` `pow-sqr_binary64_23921` `difference-of-sqr--1_binary64_23919` `difference-of-sqr-1_binary64_23918` `cancel-sign-sub_binary64_23913` `distribute-frac-neg_binary64_23911` `distribute-neg-out_binary64_23910` `distribute-rgt-neg-out_binary64_23908` `distribute-rgt1-in_binary64_23904` `distribute-lft1-in_binary64_23903` `count-2_binary64_23896` `associate--l-_binary64_23886` `associate-+l-_binary64_23883`

Counts

273 → 256

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	380	8238
1	1060	7740
2	3826	7707
3	5227	7707

prune312.0ms (5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	256	0	256
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	256	4	260

Error

Counts

260 → 4

Compiler

Compiled 5932 to 2811 computations (52.6% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 1 (-.f64 2 (+.f64 y x)))
0.1b	(*.f64 (-.f64 x y) (/.f64 1 (-.f64 2 (+.f64 y x))))

rewrite142.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

62×	`*-un-lft-identity_binary64_23948`
47×	`add-sqr-sqrt_binary64_23970`
38×	`times-frac_binary64_23954`
24×	`add-cube-cbrt_binary64_23983` `associate-r_binary64_23888`
15×	`add-exp-log_binary64_23986` `distribute-lft-out--_binary64_23900`
9×	`add-cbrt-cube_binary64_23984`
8×	`difference-of-squares_binary64_23917`
7×	`distribute-lft-out_binary64_23899`
6×	`associate-/r*_binary64_23892`
5×	`pow1_binary64_24009` `associate-l_binary64_23889`
4×	`div-exp_binary64_23999` `prod-exp_binary64_23997` `flip3--_binary64_23952` `flip--_binary64_23923` `associate-/r/_binary64_23894`
3×	`unswap-sqr_binary64_23916` `associate-/l*_binary64_23893`
2×	`1-exp_binary64_23992` `rec-exp_binary64_23998` `add-log-exp_binary64_23987` `cbrt-unprod_binary64_23981` `cbrt-undiv_binary64_23982` `frac-times_binary64_23958` `associate-*l/_binary64_23891` `div-inv_binary64_23945`
1×	`pow-prod-down_binary64_24019` `un-div-inv_binary64_23946` `associate-r/_binary64_23890` `-commutative_binary64_23879` `inv-pow_binary64_24033` `pow-flip_binary64_24022` `frac-2neg_binary64_23959` `clear-num_binary64_23947`

Counts

2 → 98

Calls

2 calls:

19.0ms	(*.f64 (-.f64 x y) (/.f64 1 (-.f64 2 (+.f64 y x))))
9.0ms	(/.f64 1 (-.f64 2 (+.f64 y x)))

Compiler

Compiled 1968 to 1099 computations (44.2% saved)

series501.0ms (8%)

Error

Counts

2 → 44

Calls

2 calls:

246.0ms	(*.f64 (-.f64 x y) (/.f64 1 (-.f64 2 (+.f64 y x))))
181.0ms	(/.f64 1 (-.f64 2 (+.f64 y x)))

Compiler

Compiled 2880 to 2246 computations (22% saved)

simplify131.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

554×	`times-frac_binary64_23954`
308×	`sub-neg_binary64_23941`
306×	`neg-mul-1_binary64_23944`
263×	`cancel-sign-sub-inv_binary64_23914`
238×	`distribute-neg-in_binary64_23909`
183×	`+-commutative_binary64_23878`
154×	`associate-+r+_binary64_23880`
153×	`div-sub_binary64_23953`
133×	`associate-+l+_binary64_23881`
114×	`associate-/r*_binary64_23892`
101×	`associate--r+_binary64_23884`
100×	`associate-/l*_binary64_23893`
95×	`*-commutative_binary64_23879`
90×	`associate--l+_binary64_23885`
76×	`neg-sub0_binary64_23943`
71×	`associate-l_binary64_23889`
69×	`associate-*r/_binary64_23890`
66×	`associate-r_binary64_23888`
63×	`unsub-neg_binary64_23942`
57×	`distribute-neg-frac_binary64_23912`
50×	`distribute-rgt-neg-in_binary64_23906`
47×	`distribute-rgt-in_binary64_23898`
45×	`distribute-lft-in_binary64_23897`
42×	`distribute-lft-neg-out_binary64_23907` `distribute-lft-neg-in_binary64_23905`
41×	`associate-*l/_binary64_23891`
40×	`sqr-pow_binary64_23920`
38×	`unswap-sqr_binary64_23916`
33×	`*-rgt-identity_binary64_23938`
32×	`distribute-rgt-neg-out_binary64_23908`
25×	`exp-prod_binary64_24000`
22×	`*-lft-identity_binary64_23937`
20×	`cube-prod_binary64_23976`
19×	`associate-/r/_binary64_23894`
13×	`associate-/l/_binary64_23895`
11×	`cube-unmult_binary64_23985`
10×	`unpow3_binary64_24014` `/-rgt-identity_binary64_23939`
8×	`exp-sum_binary64_23994`
7×	`log-prod_binary64_24034`
6×	`cube-mult_binary64_23978` `difference-of-squares_binary64_23917`
5×	`unpow1/2_binary64_24012` `cube-div_binary64_23977` `associate-+r-_binary64_23882`
4×	`log-div_binary64_24035` `unpow2_binary64_24013` `pow-plus_binary64_24011` `unpow1_binary64_24006` `exp-neg_binary64_23995` `rem-sqrt-square_binary64_23961` `swap-sqr_binary64_23915` `distribute-rgt-out_binary64_23901`
3×	`exp-diff_binary64_23996`
2×	`log-rec_binary64_24036` `sub0-neg_binary64_23935` `+-rgt-identity_binary64_23933` `associate--r-_binary64_23887` `associate-+l-_binary64_23883`
1×	`1-exp_binary64_23992` `exp-1-e_binary64_23991` `cube-neg_binary64_23975` `sqr-neg_binary64_23962` `mul-1-neg_binary64_23940` `remove-double-neg_binary64_23936` `+-lft-identity_binary64_23932` `pow-sqr_binary64_23921` `distribute-rgt-out--_binary64_23902`
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_24211` `erf-erfc_binary64_24210` `erf-odd_binary64_24209` `if-if-and-not_binary64_24208` `if-if-and_binary64_24207` `if-if-or-not_binary64_24206` `if-if-or_binary64_24205` `if-not_binary64_24204` `if-same_binary64_24203` `if-false_binary64_24202` `if-true_binary64_24201` `not-gte_binary64_24200` `not-lte_binary64_24199` `not-gt_binary64_24198` `not-lt_binary64_24197` `gte-same_binary64_24196` `lte-same_binary64_24195` `gt-same_binary64_24194` `lt-same_binary64_24193` `sinh---cosh_binary64_24140` `sinh-+-cosh_binary64_24139` `sinh-cosh_binary64_24138` `tanh-def-c_binary64_24137` `tanh-def-b_binary64_24136` `tanh-def-a_binary64_24135` `cosh-def_binary64_24134` `sinh-def_binary64_24133` `tan-neg_binary64_24080` `cos-neg_binary64_24079` `sin-neg_binary64_24078` `tan-0_binary64_24077` `cos-0_binary64_24076` `sin-0_binary64_24075` `hang-m-tan_binary64_24074` `hang-p-tan_binary64_24073` `hang-m0-tan_binary64_24072` `hang-p0-tan_binary64_24071` `hang-0m-tan_binary64_24070` `hang-0p-tan_binary64_24069` `tan-+PI/2_binary64_24068` `tan-+PI_binary64_24067` `tan-PI_binary64_24066` `tan-PI/3_binary64_24065` `tan-PI/4_binary64_24064` `tan-PI/6_binary64_24063` `cos-+PI/2_binary64_24062` `cos-+PI_binary64_24061` `cos-PI_binary64_24060` `cos-PI/2_binary64_24059` `cos-PI/3_binary64_24058` `cos-PI/4_binary64_24057` `cos-PI/6_binary64_24056` `sin-+PI/2_binary64_24055` `sin-+PI_binary64_24054` `sin-PI_binary64_24053` `sin-PI/2_binary64_24052` `sin-PI/3_binary64_24051` `sin-PI/4_binary64_24050` `sin-PI/6_binary64_24049` `sub-1-sin_binary64_24048` `sub-1-cos_binary64_24047` `-1-add-sin_binary64_24046` `-1-add-cos_binary64_24045` `1-sub-sin_binary64_24044` `1-sub-cos_binary64_24043` `cos-sin-sum_binary64_24042` `log-E_binary64_24038` `log-pow_binary64_24037` `pow-base-0_binary64_24032` `unpow1/3_binary64_24015` `exp-to-pow_binary64_24010` `pow-base-1_binary64_24008` `unpow0_binary64_24007` `unpow-1_binary64_24005` `exp-lft-cube_binary64_24004` `exp-lft-sqr_binary64_24003` `exp-cbrt_binary64_24002` `exp-sqrt_binary64_24001` `div-exp_binary64_23999` `rec-exp_binary64_23998` `prod-exp_binary64_23997` `e-exp-1_binary64_23993` `exp-0_binary64_23990` `rem-log-exp_binary64_23989` `rem-exp-log_binary64_23988` `rem-3cbrt-rft_binary64_23974` `rem-3cbrt-lft_binary64_23973` `rem-cbrt-cube_binary64_23972` `rem-cube-cbrt_binary64_23971` `sqr-abs_binary64_23963` `rem-square-sqrt_binary64_23960` `--rgt-identity_binary64_23934` `mul0-rgt_binary64_23931` `mul0-lft_binary64_23930` `div0_binary64_23929` `*-inverses_binary64_23928` `+-inverses_binary64_23927` `lft-mult-inverse_binary64_23926` `rgt-mult-inverse_binary64_23925` `remove-double-div_binary64_23924` `difference-of-sqr--1_binary64_23919` `difference-of-sqr-1_binary64_23918` `cancel-sign-sub_binary64_23913` `distribute-frac-neg_binary64_23911` `distribute-neg-out_binary64_23910` `distribute-rgt1-in_binary64_23904` `distribute-lft1-in_binary64_23903` `distribute-lft-out--_binary64_23900` `distribute-lft-out_binary64_23899` `count-2_binary64_23896` `associate--l-_binary64_23886`

Counts

142 → 101

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	293	3396
1	784	3244
2	2803	3229
3	4607	3229
4	5009	3229

prune117.0ms (1.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	101	4	105

Error

Counts

105 → 4

Compiler

Compiled 2308 to 1233 computations (46.6% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (+.f64 y x) (-.f64 2 (+.f64 y x)))
4.5b	(-.f64 (.f64 x x) (.f64 y y))
29.5b	(/.f64 (-.f64 (.f64 x x) (.f64 y y)) (*.f64 (+.f64 y x) (-.f64 2 (+.f64 y x))))

rewrite143.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

20×	`*-un-lft-identity_binary64_23948`
13×	`add-sqr-sqrt_binary64_23970`
10×	`add-exp-log_binary64_23986` `add-cbrt-cube_binary64_23984`
9×	`add-cube-cbrt_binary64_23983` `cancel-sign-sub-inv_binary64_23914`
8×	`flip3--_binary64_23952` `flip--_binary64_23923` `frac-times_binary64_23958` `associate-/r/_binary64_23894`
6×	`flip3-+_binary64_23951` `flip-+_binary64_23922` `associate-r_binary64_23888`
5×	`pow1_binary64_24009` `add-log-exp_binary64_23987` `distribute-rgt-in_binary64_23898` `distribute-lft-in_binary64_23897`
4×	`times-frac_binary64_23954` `difference-of-squares_binary64_23917` `associate-l/_binary64_23891` `associate-r/_binary64_23890` `associate-/l_binary64_23893` `distribute-lft-out_binary64_23899` `associate-l*_binary64_23889`
3×	`sub-neg_binary64_23941`
2×	`prod-exp_binary64_23997` `div-exp_binary64_23999` `cbrt-undiv_binary64_23982` `cbrt-unprod_binary64_23981` `associate-/l/_binary64_23895` `distribute-lft-out--_binary64_23900`
1×	`frac-2neg_binary64_23959` `div-sub_binary64_23953` `clear-num_binary64_23947` `div-inv_binary64_23945` `associate-/r_binary64_23892` `diff-log_binary64_24040` `pow-prod-down_binary64_24019` `unswap-sqr_binary64_23916` `-commutative_binary64_23879`

Counts

3 → 87

Calls

3 calls:

15.0ms	(*.f64 (+.f64 y x) (-.f64 2 (+.f64 y x)))
15.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 y y)) (*.f64 (+.f64 y x) (-.f64 2 (+.f64 y x))))
4.0ms	(-.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 2493 to 747 computations (70% saved)

series897.0ms (14.4%)

Error

Counts

3 → 52

Calls

3 calls:

480.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 y y)) (*.f64 (+.f64 y x) (-.f64 2 (+.f64 y x))))
207.0ms	(*.f64 (+.f64 y x) (-.f64 2 (+.f64 y x)))
141.0ms	(-.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 3322 to 2419 computations (27.2% saved)

simplify109.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

363×	`cancel-sign-sub-inv_binary64_23914`
292×	`sub-neg_binary64_23941`
228×	`times-frac_binary64_23954`
219×	`associate-/r*_binary64_23892`
159×	`+-commutative_binary64_23878`
154×	`associate-l_binary64_23889`
150×	`associate-/l*_binary64_23893`
148×	`distribute-rgt-in_binary64_23898`
146×	`associate-r_binary64_23888`
143×	`*-commutative_binary64_23879`
137×	`div-sub_binary64_23953`
136×	`distribute-lft-in_binary64_23897`
135×	`associate-+r+_binary64_23880`
107×	`associate-+l+_binary64_23881`
96×	`neg-sub0_binary64_23943`
92×	`unswap-sqr_binary64_23916` `associate--r+_binary64_23884`
91×	`neg-mul-1_binary64_23944`
78×	`associate--l+_binary64_23885`
71×	`unsub-neg_binary64_23942`
47×	`sqr-pow_binary64_23920` `associate-*r/_binary64_23890`
41×	`distribute-neg-in_binary64_23909`
35×	`associate-*l/_binary64_23891`
31×	`exp-prod_binary64_24000`
28×	`*-lft-identity_binary64_23937`
24×	`distribute-rgt-neg-in_binary64_23906`
21×	`cube-prod_binary64_23976`
20×	`exp-sum_binary64_23994`
19×	`distribute-lft-neg-in_binary64_23905`
18×	`log-prod_binary64_24034` `swap-sqr_binary64_23915`
15×	`*-rgt-identity_binary64_23938` `difference-of-squares_binary64_23917` `distribute-lft-neg-out_binary64_23907`
14×	`/-rgt-identity_binary64_23939`
13×	`associate-/r/_binary64_23894`
12×	`distribute-rgt-neg-out_binary64_23908`
10×	`cube-unmult_binary64_23985` `distribute-rgt-out_binary64_23901`
8×	`log-div_binary64_24035` `distribute-rgt-out--_binary64_23902`
7×	`unpow3_binary64_24014` `exp-diff_binary64_23996` `cube-mult_binary64_23978`
6×	`pow-plus_binary64_24011`
5×	`pow-sqr_binary64_23921`
4×	`unpow2_binary64_24013` `unpow1/2_binary64_24012` `unpow1_binary64_24006` `associate-+r-_binary64_23882`
3×	`cube-div_binary64_23977` `mul-1-neg_binary64_23940`
2×	`remove-double-neg_binary64_23936` `+-rgt-identity_binary64_23933` `distribute-neg-frac_binary64_23912` `distribute-lft-out_binary64_23899` `associate-+l-_binary64_23883`
1×	`div-exp_binary64_23999` `1-exp_binary64_23992` `exp-1-e_binary64_23991` `rem-3cbrt-lft_binary64_23973` `sqr-neg_binary64_23962` `rem-sqrt-square_binary64_23961` `rem-square-sqrt_binary64_23960` `sub0-neg_binary64_23935` `div0_binary64_23929` `*-inverses_binary64_23928` `associate--r-_binary64_23887`
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_24211` `erf-erfc_binary64_24210` `erf-odd_binary64_24209` `if-if-and-not_binary64_24208` `if-if-and_binary64_24207` `if-if-or-not_binary64_24206` `if-if-or_binary64_24205` `if-not_binary64_24204` `if-same_binary64_24203` `if-false_binary64_24202` `if-true_binary64_24201` `not-gte_binary64_24200` `not-lte_binary64_24199` `not-gt_binary64_24198` `not-lt_binary64_24197` `gte-same_binary64_24196` `lte-same_binary64_24195` `gt-same_binary64_24194` `lt-same_binary64_24193` `sinh---cosh_binary64_24140` `sinh-+-cosh_binary64_24139` `sinh-cosh_binary64_24138` `tanh-def-c_binary64_24137` `tanh-def-b_binary64_24136` `tanh-def-a_binary64_24135` `cosh-def_binary64_24134` `sinh-def_binary64_24133` `tan-neg_binary64_24080` `cos-neg_binary64_24079` `sin-neg_binary64_24078` `tan-0_binary64_24077` `cos-0_binary64_24076` `sin-0_binary64_24075` `hang-m-tan_binary64_24074` `hang-p-tan_binary64_24073` `hang-m0-tan_binary64_24072` `hang-p0-tan_binary64_24071` `hang-0m-tan_binary64_24070` `hang-0p-tan_binary64_24069` `tan-+PI/2_binary64_24068` `tan-+PI_binary64_24067` `tan-PI_binary64_24066` `tan-PI/3_binary64_24065` `tan-PI/4_binary64_24064` `tan-PI/6_binary64_24063` `cos-+PI/2_binary64_24062` `cos-+PI_binary64_24061` `cos-PI_binary64_24060` `cos-PI/2_binary64_24059` `cos-PI/3_binary64_24058` `cos-PI/4_binary64_24057` `cos-PI/6_binary64_24056` `sin-+PI/2_binary64_24055` `sin-+PI_binary64_24054` `sin-PI_binary64_24053` `sin-PI/2_binary64_24052` `sin-PI/3_binary64_24051` `sin-PI/4_binary64_24050` `sin-PI/6_binary64_24049` `sub-1-sin_binary64_24048` `sub-1-cos_binary64_24047` `-1-add-sin_binary64_24046` `-1-add-cos_binary64_24045` `1-sub-sin_binary64_24044` `1-sub-cos_binary64_24043` `cos-sin-sum_binary64_24042` `log-E_binary64_24038` `log-pow_binary64_24037` `log-rec_binary64_24036` `pow-base-0_binary64_24032` `unpow1/3_binary64_24015` `exp-to-pow_binary64_24010` `pow-base-1_binary64_24008` `unpow0_binary64_24007` `unpow-1_binary64_24005` `exp-lft-cube_binary64_24004` `exp-lft-sqr_binary64_24003` `exp-cbrt_binary64_24002` `exp-sqrt_binary64_24001` `rec-exp_binary64_23998` `prod-exp_binary64_23997` `exp-neg_binary64_23995` `e-exp-1_binary64_23993` `exp-0_binary64_23990` `rem-log-exp_binary64_23989` `rem-exp-log_binary64_23988` `cube-neg_binary64_23975` `rem-3cbrt-rft_binary64_23974` `rem-cbrt-cube_binary64_23972` `rem-cube-cbrt_binary64_23971` `sqr-abs_binary64_23963` `--rgt-identity_binary64_23934` `+-lft-identity_binary64_23932` `mul0-rgt_binary64_23931` `mul0-lft_binary64_23930` `+-inverses_binary64_23927` `lft-mult-inverse_binary64_23926` `rgt-mult-inverse_binary64_23925` `remove-double-div_binary64_23924` `difference-of-sqr--1_binary64_23919` `difference-of-sqr-1_binary64_23918` `cancel-sign-sub_binary64_23913` `distribute-frac-neg_binary64_23911` `distribute-neg-out_binary64_23910` `distribute-rgt1-in_binary64_23904` `distribute-lft1-in_binary64_23903` `distribute-lft-out--_binary64_23900` `count-2_binary64_23896` `associate-/l/_binary64_23895` `associate--l-_binary64_23886`

Counts

139 → 106

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	309	3679
1	939	3195
2	3747	3108
3	5013	3108

prune114.0ms (1.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	106	4	110

Error

Counts

110 → 4

Compiler

Compiled 2610 to 1026 computations (60.7% saved)

regimes288.0ms (4.6%)

Accuracy

Total 0.0b remaining (94.4%)

Threshold costs 0.0b (94.4%)

Compiler

Compiled 2603 to 1968 computations (24.4% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

7×	`+-commutative_binary64_23878`
6×	`sub-neg_binary64_23941`
4×	`neg-mul-1_binary64_23944` `neg-sub0_binary64_23943` `*-commutative_binary64_23879`
2×	`unsub-neg_binary64_23942` `distribute-neg-in_binary64_23909`
1×	`distribute-neg-frac_binary64_23912`
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_24208` `if-if-and_binary64_24207` `if-if-or-not_binary64_24206` `if-if-or_binary64_24205` `if-not_binary64_24204` `if-same_binary64_24203` `if-false_binary64_24202` `if-true_binary64_24201` `tan-0_binary64_24077` `cos-0_binary64_24076` `sin-0_binary64_24075` `unpow1_binary64_24006` `e-exp-1_binary64_23993` `1-exp_binary64_23992` `exp-1-e_binary64_23991` `exp-0_binary64_23990` `sqr-abs_binary64_23963` `sqr-neg_binary64_23962` `mul-1-neg_binary64_23940` `/-rgt-identity_binary64_23939` `-rgt-identity_binary64_23938` `-lft-identity_binary64_23937` `remove-double-neg_binary64_23936` `sub0-neg_binary64_23935` `--rgt-identity_binary64_23934` `+-rgt-identity_binary64_23933` `+-lft-identity_binary64_23932` `cancel-sign-sub-inv_binary64_23914` `cancel-sign-sub_binary64_23913` `distribute-frac-neg_binary64_23911` `distribute-neg-out_binary64_23910` `distribute-rgt-neg-out_binary64_23908` `distribute-lft-neg-out_binary64_23907` `distribute-rgt-neg-in_binary64_23906` `distribute-lft-neg-in_binary64_23905`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	22
1	14	22
2	27	22
3	37	22
4	43	22
5	45	22
6	45	22

end0.0ms (0%)

sample1.2s (19.6%)

Algorithm

1×

intervals

Results

219.0ms	7998×	body	128	valid
0.0ms	1×	body	1024	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 868 to 651 computations (25% saved)

Details

analyze412.0ms (6.6%)

sample15.0ms (0.2%)

simplify217.0ms (3.5%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite81.0ms (1.3%)

series252.0ms (4.1%)

simplify128.0ms (2.1%)

prune93.0ms (1.5%)

localize7.0ms (0.1%)

rewrite337.0ms (5.4%)

series479.0ms (7.7%)

simplify204.0ms (3.3%)

prune312.0ms (5%)

localize9.0ms (0.1%)

rewrite142.0ms (2.3%)

series501.0ms (8%)

simplify131.0ms (2.1%)

prune117.0ms (1.9%)

localize9.0ms (0.1%)

rewrite143.0ms (2.3%)

series897.0ms (14.4%)

simplify109.0ms (1.8%)

prune114.0ms (1.8%)

regimes288.0ms (4.6%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.2s (19.6%)

Profiling