Details

analyze1.7s (3.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.2%	98.5%	0.3%	13
1.8%	97.9%	0.3%	14

Compiler

Compiled 18 to 18 computations (0% saved)

sample49.0ms (0.1%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
12.0ms	122×	body	128	invalid

Compiler

Compiled 35 to 42 computations (-20% saved)

simplify780.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

573×	`exp-prod_binary64_6268`
471×	`swap-sqr_binary64_6183`
460×	`div-sub_binary64_6221`
272×	`sub-neg_binary64_6209`
224×	`associate-/l*_binary64_6161`
178×	`unsub-neg_binary64_6210`
151×	`cancel-sign-sub-inv_binary64_6182`
142×	`associate-l_binary64_6157`
137×	`associate-/l/_binary64_6163`
134×	`associate-r_binary64_6156`
118×	`distribute-rgt-in_binary64_6166`
100×	`distribute-lft-out--_binary64_6168` `associate--r+_binary64_6152`
96×	`distribute-lft-out_binary64_6167`
93×	`distribute-rgt-out--_binary64_6170` `distribute-rgt-out_binary64_6169`
73×	`associate--l+_binary64_6153`
68×	`neg-mul-1_binary64_6212`
65×	`neg-sub0_binary64_6211`
64×	`cancel-sign-sub_binary64_6181`
61×	`distribute-neg-in_binary64_6177`
56×	`distribute-rgt-neg-in_binary64_6174`
53×	`distribute-lft-neg-in_binary64_6173`
51×	`times-frac_binary64_6222`
50×	`associate--r-_binary64_6155` `associate-+l-_binary64_6151`
47×	`associate-/r*_binary64_6160`
46×	`associate-+r+_binary64_6148` `*-commutative_binary64_6147`
40×	`distribute-lft-neg-out_binary64_6175`
37×	`+-commutative_binary64_6146`
31×	`associate--l-_binary64_6154`
29×	`associate-*l/_binary64_6159`
28×	`remove-double-neg_binary64_6204`
27×	`sub0-neg_binary64_6203` `distribute-neg-frac_binary64_6180` `associate-/r/_binary64_6162`
26×	`distribute-rgt-neg-out_binary64_6176` `distribute-lft-in_binary64_6165` `associate-+l+_binary64_6149`
21×	`associate-+r-_binary64_6150`
20×	`associate-*r/_binary64_6158`
19×	`+-lft-identity_binary64_6200`
18×	`--rgt-identity_binary64_6202` `unswap-sqr_binary64_6184`
12×	`mul0-rgt_binary64_6199` `+-inverses_binary64_6195`
11×	`difference-of-squares_binary64_6185`
10×	`mul0-lft_binary64_6198` `distribute-neg-out_binary64_6178` `distribute-rgt1-in_binary64_6172`
7×	`cube-unmult_binary64_6253` `+-rgt-identity_binary64_6201`
6×	`sqr-neg_binary64_6230` `div0_binary64_6197`
5×	`pow-sqr_binary64_6189` `sqr-pow_binary64_6188`
4×	`pow-plus_binary64_6279` `difference-of-sqr--1_binary64_6187`
3×	`exp-diff_binary64_6264` `count-2_binary64_6164`
2×	`exp-sum_binary64_6262` `cube-prod_binary64_6244`
1×	`exp-lft-sqr_binary64_6271` `1-exp_binary64_6260` `distribute-frac-neg_binary64_6179` `distribute-lft1-in_binary64_6171`
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_6479` `erf-erfc_binary64_6478` `erf-odd_binary64_6477` `if-if-and-not_binary64_6476` `if-if-and_binary64_6475` `if-if-or-not_binary64_6474` `if-if-or_binary64_6473` `if-not_binary64_6472` `if-same_binary64_6471` `if-false_binary64_6470` `if-true_binary64_6469` `not-gte_binary64_6468` `not-lte_binary64_6467` `not-gt_binary64_6466` `not-lt_binary64_6465` `gte-same_binary64_6464` `lte-same_binary64_6463` `gt-same_binary64_6462` `lt-same_binary64_6461` `sinh---cosh_binary64_6408` `sinh-+-cosh_binary64_6407` `sinh-cosh_binary64_6406` `tanh-def-c_binary64_6405` `tanh-def-b_binary64_6404` `tanh-def-a_binary64_6403` `cosh-def_binary64_6402` `sinh-def_binary64_6401` `tan-neg_binary64_6348` `cos-neg_binary64_6347` `sin-neg_binary64_6346` `tan-0_binary64_6345` `cos-0_binary64_6344` `sin-0_binary64_6343` `hang-m-tan_binary64_6342` `hang-p-tan_binary64_6341` `hang-m0-tan_binary64_6340` `hang-p0-tan_binary64_6339` `hang-0m-tan_binary64_6338` `hang-0p-tan_binary64_6337` `tan-+PI/2_binary64_6336` `tan-+PI_binary64_6335` `tan-PI_binary64_6334` `tan-PI/3_binary64_6333` `tan-PI/4_binary64_6332` `tan-PI/6_binary64_6331` `cos-+PI/2_binary64_6330` `cos-+PI_binary64_6329` `cos-PI_binary64_6328` `cos-PI/2_binary64_6327` `cos-PI/3_binary64_6326` `cos-PI/4_binary64_6325` `cos-PI/6_binary64_6324` `sin-+PI/2_binary64_6323` `sin-+PI_binary64_6322` `sin-PI_binary64_6321` `sin-PI/2_binary64_6320` `sin-PI/3_binary64_6319` `sin-PI/4_binary64_6318` `sin-PI/6_binary64_6317` `sub-1-sin_binary64_6316` `sub-1-cos_binary64_6315` `-1-add-sin_binary64_6314` `-1-add-cos_binary64_6313` `1-sub-sin_binary64_6312` `1-sub-cos_binary64_6311` `cos-sin-sum_binary64_6310` `log-E_binary64_6306` `log-pow_binary64_6305` `log-rec_binary64_6304` `log-div_binary64_6303` `log-prod_binary64_6302` `pow-base-0_binary64_6300` `unpow1/3_binary64_6283` `unpow3_binary64_6282` `unpow2_binary64_6281` `unpow1/2_binary64_6280` `exp-to-pow_binary64_6278` `pow-base-1_binary64_6276` `unpow0_binary64_6275` `unpow1_binary64_6274` `unpow-1_binary64_6273` `exp-lft-cube_binary64_6272` `exp-cbrt_binary64_6270` `exp-sqrt_binary64_6269` `div-exp_binary64_6267` `rec-exp_binary64_6266` `prod-exp_binary64_6265` `exp-neg_binary64_6263` `e-exp-1_binary64_6261` `exp-1-e_binary64_6259` `exp-0_binary64_6258` `rem-log-exp_binary64_6257` `rem-exp-log_binary64_6256` `cube-mult_binary64_6246` `cube-div_binary64_6245` `cube-neg_binary64_6243` `rem-3cbrt-rft_binary64_6242` `rem-3cbrt-lft_binary64_6241` `rem-cbrt-cube_binary64_6240` `rem-cube-cbrt_binary64_6239` `sqr-abs_binary64_6231` `rem-sqrt-square_binary64_6229` `rem-square-sqrt_binary64_6228` `mul-1-neg_binary64_6208` `/-rgt-identity_binary64_6207` `-rgt-identity_binary64_6206` `-lft-identity_binary64_6205` `*-inverses_binary64_6196` `lft-mult-inverse_binary64_6194` `rgt-mult-inverse_binary64_6193` `remove-double-div_binary64_6192` `difference-of-sqr-1_binary64_6186`

Counts

1 → 6

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	25
1	33	25
2	73	25
3	138	25
4	269	25
5	514	25
6	750	25
7	2586	25

prune8.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	6	0	6
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	6	1	7

Error

0.0b

Counts

7 → 1

Compiler

Compiled 119 to 79 computations (33.6% saved)

localize18.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
0.0b	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))

rewrite122.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

19×	`add-log-exp_binary64_6255`
14×	`*-un-lft-identity_binary64_6216` `cancel-sign-sub-inv_binary64_6182`
9×	`add-sqr-sqrt_binary64_6238` `associate-+l+_binary64_6149`
7×	`add-cube-cbrt_binary64_6251`
6×	`sum-log_binary64_6307` `times-frac_binary64_6222`
4×	`diff-log_binary64_6308`
3×	`pow1_binary64_6277` `add-exp-log_binary64_6254` `add-cbrt-cube_binary64_6252` `flip3-+_binary64_6219` `flip-+_binary64_6190`
2×	`+-commutative_binary64_6146` `frac-sub_binary64_6225` `sub-neg_binary64_6209` `div-inv_binary64_6213` `distribute-lft-out--_binary64_6168` `associate--l+_binary64_6153` `distribute-lft-out_binary64_6167`
1×	`flip3--_binary64_6220` `flip--_binary64_6191` `difference-of-squares_binary64_6185` `associate-+l-_binary64_6151`

Counts

3 → 60

Calls

3 calls:

15.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
11.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
6.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))

Compiler

Compiled 1756 to 831 computations (52.7% saved)

series1.8s (3.6%)

Error

0.0b

Counts

3 → 102

Calls

3 calls:

799.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
651.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
286.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))

Compiler

Compiled 3459 to 2860 computations (17.3% saved)

simplify411.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

689×	`associate-l_binary64_6157`
457×	`distribute-rgt-in_binary64_6166`
428×	`distribute-lft-in_binary64_6165`
305×	`associate-*l/_binary64_6159`
262×	`associate-*r/_binary64_6158`
215×	`associate-/l*_binary64_6161`
151×	`cancel-sign-sub-inv_binary64_6182`
114×	`distribute-rgt-neg-in_binary64_6174`
85×	`distribute-lft-neg-in_binary64_6173`
82×	`sub-neg_binary64_6209`
75×	`distribute-lft-neg-out_binary64_6175`
66×	`*-commutative_binary64_6147`
61×	`neg-sub0_binary64_6211` `distribute-neg-frac_binary64_6180`
57×	`neg-mul-1_binary64_6212`
54×	`+-commutative_binary64_6146`
53×	`times-frac_binary64_6222` `associate-r_binary64_6156`
51×	`associate-/r/_binary64_6162`
46×	`sqr-pow_binary64_6188` `associate-/l/_binary64_6163`
35×	`exp-prod_binary64_6268` `associate-/r*_binary64_6160`
33×	`div-sub_binary64_6221` `distribute-rgt-neg-out_binary64_6176`
31×	`distribute-neg-in_binary64_6177`
23×	`unsub-neg_binary64_6210`
21×	`associate--l+_binary64_6153` `associate-+l+_binary64_6149`
19×	`pow-sqr_binary64_6189`
18×	`unpow3_binary64_6282` `cube-mult_binary64_6246`
17×	`exp-sum_binary64_6262`
15×	`cube-div_binary64_6245` `cube-prod_binary64_6244`
14×	`swap-sqr_binary64_6183` `distribute-rgt-out_binary64_6169`
11×	`associate-+r+_binary64_6148`
10×	`*-rgt-identity_binary64_6206`
9×	`distribute-frac-neg_binary64_6179`
8×	`prod-exp_binary64_6265` `exp-diff_binary64_6264` `distribute-rgt-out--_binary64_6170` `associate-+r-_binary64_6150`
7×	`div-exp_binary64_6267`
6×	`distribute-lft-out_binary64_6167` `associate-+l-_binary64_6151`
5×	`difference-of-squares_binary64_6185`
4×	`+-rgt-identity_binary64_6201` `unswap-sqr_binary64_6184` `associate--r+_binary64_6152`
3×	`/-rgt-identity_binary64_6207` `*-lft-identity_binary64_6205` `div0_binary64_6197` `cancel-sign-sub_binary64_6181`
2×	`cube-unmult_binary64_6253` `remove-double-neg_binary64_6204` `distribute-lft-out--_binary64_6168`
1×	`1-exp_binary64_6260` `rem-3cbrt-lft_binary64_6241` `rem-sqrt-square_binary64_6229` `rem-square-sqrt_binary64_6228` `distribute-neg-out_binary64_6178` `associate--r-_binary64_6155` `associate--l-_binary64_6154`
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_6479` `erf-erfc_binary64_6478` `erf-odd_binary64_6477` `if-if-and-not_binary64_6476` `if-if-and_binary64_6475` `if-if-or-not_binary64_6474` `if-if-or_binary64_6473` `if-not_binary64_6472` `if-same_binary64_6471` `if-false_binary64_6470` `if-true_binary64_6469` `not-gte_binary64_6468` `not-lte_binary64_6467` `not-gt_binary64_6466` `not-lt_binary64_6465` `gte-same_binary64_6464` `lte-same_binary64_6463` `gt-same_binary64_6462` `lt-same_binary64_6461` `sinh---cosh_binary64_6408` `sinh-+-cosh_binary64_6407` `sinh-cosh_binary64_6406` `tanh-def-c_binary64_6405` `tanh-def-b_binary64_6404` `tanh-def-a_binary64_6403` `cosh-def_binary64_6402` `sinh-def_binary64_6401` `tan-neg_binary64_6348` `cos-neg_binary64_6347` `sin-neg_binary64_6346` `tan-0_binary64_6345` `cos-0_binary64_6344` `sin-0_binary64_6343` `hang-m-tan_binary64_6342` `hang-p-tan_binary64_6341` `hang-m0-tan_binary64_6340` `hang-p0-tan_binary64_6339` `hang-0m-tan_binary64_6338` `hang-0p-tan_binary64_6337` `tan-+PI/2_binary64_6336` `tan-+PI_binary64_6335` `tan-PI_binary64_6334` `tan-PI/3_binary64_6333` `tan-PI/4_binary64_6332` `tan-PI/6_binary64_6331` `cos-+PI/2_binary64_6330` `cos-+PI_binary64_6329` `cos-PI_binary64_6328` `cos-PI/2_binary64_6327` `cos-PI/3_binary64_6326` `cos-PI/4_binary64_6325` `cos-PI/6_binary64_6324` `sin-+PI/2_binary64_6323` `sin-+PI_binary64_6322` `sin-PI_binary64_6321` `sin-PI/2_binary64_6320` `sin-PI/3_binary64_6319` `sin-PI/4_binary64_6318` `sin-PI/6_binary64_6317` `sub-1-sin_binary64_6316` `sub-1-cos_binary64_6315` `-1-add-sin_binary64_6314` `-1-add-cos_binary64_6313` `1-sub-sin_binary64_6312` `1-sub-cos_binary64_6311` `cos-sin-sum_binary64_6310` `log-E_binary64_6306` `log-pow_binary64_6305` `log-rec_binary64_6304` `log-div_binary64_6303` `log-prod_binary64_6302` `pow-base-0_binary64_6300` `unpow1/3_binary64_6283` `unpow2_binary64_6281` `unpow1/2_binary64_6280` `pow-plus_binary64_6279` `exp-to-pow_binary64_6278` `pow-base-1_binary64_6276` `unpow0_binary64_6275` `unpow1_binary64_6274` `unpow-1_binary64_6273` `exp-lft-cube_binary64_6272` `exp-lft-sqr_binary64_6271` `exp-cbrt_binary64_6270` `exp-sqrt_binary64_6269` `rec-exp_binary64_6266` `exp-neg_binary64_6263` `e-exp-1_binary64_6261` `exp-1-e_binary64_6259` `exp-0_binary64_6258` `rem-log-exp_binary64_6257` `rem-exp-log_binary64_6256` `cube-neg_binary64_6243` `rem-3cbrt-rft_binary64_6242` `rem-cbrt-cube_binary64_6240` `rem-cube-cbrt_binary64_6239` `sqr-abs_binary64_6231` `sqr-neg_binary64_6230` `mul-1-neg_binary64_6208` `sub0-neg_binary64_6203` `--rgt-identity_binary64_6202` `+-lft-identity_binary64_6200` `mul0-rgt_binary64_6199` `mul0-lft_binary64_6198` `*-inverses_binary64_6196` `+-inverses_binary64_6195` `lft-mult-inverse_binary64_6194` `rgt-mult-inverse_binary64_6193` `remove-double-div_binary64_6192` `difference-of-sqr--1_binary64_6187` `difference-of-sqr-1_binary64_6186` `distribute-rgt1-in_binary64_6172` `distribute-lft1-in_binary64_6171` `count-2_binary64_6164`

Counts

162 → 489

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	145	3208
1	422	3141
2	1306	3099

prune929.0ms (1.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	486	3	489
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	486	4	490

Error

Counts

490 → 4

Compiler

Compiled 14691 to 7576 computations (48.4% saved)

localize18.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (+.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 b (/.f64 (sqrt.f64 4) (/.f64 (neg.f64 a) (sqrt.f64 4))))) c)
0.0b	(+.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 b (/.f64 (sqrt.f64 4) (/.f64 (neg.f64 a) (sqrt.f64 4)))))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.2b	(/.f64 b (/.f64 (sqrt.f64 4) (/.f64 (neg.f64 a) (sqrt.f64 4))))

rewrite8.9s (17.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

4143×	`times-frac_binary64_6222`
1853×	`*-un-lft-identity_binary64_6216`
1846×	`add-cube-cbrt_binary64_6251` `add-sqr-sqrt_binary64_6238`
1488×	`sqrt-prod_binary64_6232`
432×	`distribute-rgt-neg-in_binary64_6174` `distribute-lft-neg-in_binary64_6173`
389×	`associate-/r*_binary64_6160`
144×	`neg-mul-1_binary64_6212`
29×	`div-inv_binary64_6213`
20×	`add-log-exp_binary64_6255`
13×	`add-exp-log_binary64_6254` `add-cbrt-cube_binary64_6252`
10×	`sum-log_binary64_6307`
6×	`div-exp_binary64_6267` `cbrt-undiv_binary64_6250`
5×	`associate-/r/_binary64_6162`
4×	`pow1_binary64_6277` `flip3-+_binary64_6219` `flip-+_binary64_6190` `distribute-lft-out_binary64_6167`
3×	`associate-/l*_binary64_6161` `+-commutative_binary64_6146`
2×	`frac-add_binary64_6224` `associate-+l+_binary64_6149`
1×	`frac-2neg_binary64_6227` `clear-num_binary64_6215`

Counts

4 → 1619

Calls

4 calls:

319.0ms	(+.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 b (/.f64 (sqrt.f64 4) (/.f64 (neg.f64 a) (sqrt.f64 4)))))
317.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 b (/.f64 (sqrt.f64 4) (/.f64 (neg.f64 a) (sqrt.f64 4))))) c)
95.0ms	(/.f64 b (/.f64 (sqrt.f64 4) (/.f64 (neg.f64 a) (sqrt.f64 4))))
6.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))

Compiler

Compiled 64434 to 40200 computations (37.6% saved)

series1.9s (3.8%)

Error

Counts

4 → 108

Calls

4 calls:

779.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 b (/.f64 (sqrt.f64 4) (/.f64 (neg.f64 a) (sqrt.f64 4))))) c)
660.0ms	(+.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 b (/.f64 (sqrt.f64 4) (/.f64 (neg.f64 a) (sqrt.f64 4)))))
303.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
86.0ms	(/.f64 b (/.f64 (sqrt.f64 4) (/.f64 (neg.f64 a) (sqrt.f64 4))))

Compiler

Compiled 4065 to 3408 computations (16.2% saved)

simplify2.7s (5.4%)

Algorithm

1×	egg-herbie

Rules

386×	`associate-/l*_binary64_6161`
261×	`times-frac_binary64_6222`
175×	`div-sub_binary64_6221`
130×	`sub-neg_binary64_6209`
103×	`distribute-lft-neg-out_binary64_6175`
96×	`neg-mul-1_binary64_6212`
95×	`neg-sub0_binary64_6211` `distribute-frac-neg_binary64_6179`
92×	`associate-/r*_binary64_6160`
86×	`cancel-sign-sub-inv_binary64_6182`
79×	`distribute-rgt-in_binary64_6166`
72×	`associate-*l/_binary64_6159`
67×	`distribute-lft-in_binary64_6165`
63×	`*-commutative_binary64_6147`
58×	`distribute-neg-frac_binary64_6180`
57×	`associate-*r/_binary64_6158`
56×	`associate-l_binary64_6157`
49×	`remove-double-div_binary64_6192`
47×	`sqr-pow_binary64_6188`
46×	`distribute-rgt-neg-out_binary64_6176` `+-commutative_binary64_6146`
45×	`associate-r_binary64_6156`
33×	`associate-+l+_binary64_6149`
27×	`distribute-neg-in_binary64_6177`
22×	`prod-exp_binary64_6265`
19×	`pow-sqr_binary64_6189`
18×	`/-rgt-identity_binary64_6207` `associate--l+_binary64_6153` `associate-+r+_binary64_6148`
17×	`distribute-rgt-neg-in_binary64_6174`
16×	`unpow3_binary64_6282`
15×	`unsub-neg_binary64_6210`
14×	`log-div_binary64_6303` `cube-mult_binary64_6246`
11×	`cube-div_binary64_6245` `distribute-lft-neg-in_binary64_6173`
9×	`div-exp_binary64_6267`
8×	`*-lft-identity_binary64_6205` `associate--r+_binary64_6152`
7×	`cube-prod_binary64_6244` `div0_binary64_6197`
6×	`cube-unmult_binary64_6253` `*-rgt-identity_binary64_6206` `swap-sqr_binary64_6183`
5×	`log-prod_binary64_6302`
4×	`log-rec_binary64_6304` `remove-double-neg_binary64_6204` `associate-+r-_binary64_6150`
3×	`rec-exp_binary64_6266` `sqr-neg_binary64_6230` `difference-of-squares_binary64_6185` `distribute-rgt-out--_binary64_6170` `associate-/l/_binary64_6163` `associate-+l-_binary64_6151`
2×	`exp-prod_binary64_6268` `exp-sum_binary64_6262` `rem-sqrt-square_binary64_6229` `unswap-sqr_binary64_6184` `associate--r-_binary64_6155`
1×	`pow-base-1_binary64_6276` `1-exp_binary64_6260` `rem-log-exp_binary64_6257` `rem-square-sqrt_binary64_6228` `mul-1-neg_binary64_6208` `distribute-neg-out_binary64_6178`
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_6479` `erf-erfc_binary64_6478` `erf-odd_binary64_6477` `if-if-and-not_binary64_6476` `if-if-and_binary64_6475` `if-if-or-not_binary64_6474` `if-if-or_binary64_6473` `if-not_binary64_6472` `if-same_binary64_6471` `if-false_binary64_6470` `if-true_binary64_6469` `not-gte_binary64_6468` `not-lte_binary64_6467` `not-gt_binary64_6466` `not-lt_binary64_6465` `gte-same_binary64_6464` `lte-same_binary64_6463` `gt-same_binary64_6462` `lt-same_binary64_6461` `sinh---cosh_binary64_6408` `sinh-+-cosh_binary64_6407` `sinh-cosh_binary64_6406` `tanh-def-c_binary64_6405` `tanh-def-b_binary64_6404` `tanh-def-a_binary64_6403` `cosh-def_binary64_6402` `sinh-def_binary64_6401` `tan-neg_binary64_6348` `cos-neg_binary64_6347` `sin-neg_binary64_6346` `tan-0_binary64_6345` `cos-0_binary64_6344` `sin-0_binary64_6343` `hang-m-tan_binary64_6342` `hang-p-tan_binary64_6341` `hang-m0-tan_binary64_6340` `hang-p0-tan_binary64_6339` `hang-0m-tan_binary64_6338` `hang-0p-tan_binary64_6337` `tan-+PI/2_binary64_6336` `tan-+PI_binary64_6335` `tan-PI_binary64_6334` `tan-PI/3_binary64_6333` `tan-PI/4_binary64_6332` `tan-PI/6_binary64_6331` `cos-+PI/2_binary64_6330` `cos-+PI_binary64_6329` `cos-PI_binary64_6328` `cos-PI/2_binary64_6327` `cos-PI/3_binary64_6326` `cos-PI/4_binary64_6325` `cos-PI/6_binary64_6324` `sin-+PI/2_binary64_6323` `sin-+PI_binary64_6322` `sin-PI_binary64_6321` `sin-PI/2_binary64_6320` `sin-PI/3_binary64_6319` `sin-PI/4_binary64_6318` `sin-PI/6_binary64_6317` `sub-1-sin_binary64_6316` `sub-1-cos_binary64_6315` `-1-add-sin_binary64_6314` `-1-add-cos_binary64_6313` `1-sub-sin_binary64_6312` `1-sub-cos_binary64_6311` `cos-sin-sum_binary64_6310` `log-E_binary64_6306` `log-pow_binary64_6305` `pow-base-0_binary64_6300` `unpow1/3_binary64_6283` `unpow2_binary64_6281` `unpow1/2_binary64_6280` `pow-plus_binary64_6279` `exp-to-pow_binary64_6278` `unpow0_binary64_6275` `unpow1_binary64_6274` `unpow-1_binary64_6273` `exp-lft-cube_binary64_6272` `exp-lft-sqr_binary64_6271` `exp-cbrt_binary64_6270` `exp-sqrt_binary64_6269` `exp-diff_binary64_6264` `exp-neg_binary64_6263` `e-exp-1_binary64_6261` `exp-1-e_binary64_6259` `exp-0_binary64_6258` `rem-exp-log_binary64_6256` `cube-neg_binary64_6243` `rem-3cbrt-rft_binary64_6242` `rem-3cbrt-lft_binary64_6241` `rem-cbrt-cube_binary64_6240` `rem-cube-cbrt_binary64_6239` `sqr-abs_binary64_6231` `sub0-neg_binary64_6203` `--rgt-identity_binary64_6202` `+-rgt-identity_binary64_6201` `+-lft-identity_binary64_6200` `mul0-rgt_binary64_6199` `mul0-lft_binary64_6198` `*-inverses_binary64_6196` `+-inverses_binary64_6195` `lft-mult-inverse_binary64_6194` `rgt-mult-inverse_binary64_6193` `difference-of-sqr--1_binary64_6187` `difference-of-sqr-1_binary64_6186` `cancel-sign-sub_binary64_6181` `distribute-rgt1-in_binary64_6172` `distribute-lft1-in_binary64_6171` `distribute-rgt-out_binary64_6169` `distribute-lft-out--_binary64_6168` `distribute-lft-out_binary64_6167` `count-2_binary64_6164` `associate-/r/_binary64_6162` `associate--l-_binary64_6154`

Counts

1727 → 1683

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	2047	63225
1	2932	63138
2	3983	63138

prune7.7s (15.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	1683	0	1683
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	1683	4	1687

Error

Counts

1687 → 4

Compiler

Compiled 64041 to 38567 computations (39.8% saved)

localize17.0ms (0%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 a (*.f64 (cbrt.f64 4) (cbrt.f64 4)))
0.3b	(.f64 (/.f64 a (.f64 (cbrt.f64 4) (cbrt.f64 4))) (/.f64 b (cbrt.f64 4)))
0.4b	(/.f64 b (cbrt.f64 4))
1.0b	(*.f64 (cbrt.f64 4) (cbrt.f64 4))

rewrite373.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

68×	`add-sqr-sqrt_binary64_6238`
49×	`times-frac_binary64_6222`
44×	`add-cube-cbrt_binary64_6251` `*-un-lft-identity_binary64_6216`
39×	`cbrt-prod_binary64_6247`
34×	`add-exp-log_binary64_6254`
28×	`associate-r_binary64_6156`
22×	`add-cbrt-cube_binary64_6252`
13×	`pow1_binary64_6277` `associate-l_binary64_6157`
10×	`prod-exp_binary64_6265` `cbrt-unprod_binary64_6249` `unswap-sqr_binary64_6184` `div-exp_binary64_6267` `cbrt-undiv_binary64_6250`
7×	`associate-/r*_binary64_6160`
6×	`pow1/3_binary64_6298` `swap-sqr_binary64_6183` `associate-/l*_binary64_6161`
4×	`add-log-exp_binary64_6255` `div-inv_binary64_6213`
3×	`pow-prod-down_binary64_6287`
2×	`pow-prod-up_binary64_6286` `pow-sqr_binary64_6189` `*-commutative_binary64_6147` `frac-2neg_binary64_6227` `clear-num_binary64_6215`
1×	`pow2_binary64_6297` `pow-plus_binary64_6279` `frac-times_binary64_6226` `associate-l/_binary64_6159` `associate-r/_binary64_6158`

Counts

4 → 159

Calls

4 calls:

18.0ms	(.f64 (/.f64 a (.f64 (cbrt.f64 4) (cbrt.f64 4))) (/.f64 b (cbrt.f64 4)))
7.0ms	(*.f64 (cbrt.f64 4) (cbrt.f64 4))
6.0ms	(/.f64 a (*.f64 (cbrt.f64 4) (cbrt.f64 4)))
4.0ms	(/.f64 b (cbrt.f64 4))

Compiler

Compiled 4975 to 3309 computations (33.5% saved)

series499.0ms (1%)

Error

Counts

4 → 12

Calls

4 calls:

295.0ms	(.f64 (/.f64 a (.f64 (cbrt.f64 4) (cbrt.f64 4))) (/.f64 b (cbrt.f64 4)))
114.0ms	(/.f64 a (*.f64 (cbrt.f64 4) (cbrt.f64 4)))
75.0ms	(/.f64 b (cbrt.f64 4))
0.0ms	(*.f64 (cbrt.f64 4) (cbrt.f64 4))

Compiler

Compiled 783 to 679 computations (13.3% saved)

simplify826.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

445×	`associate-/r/_binary64_6162`
399×	`unswap-sqr_binary64_6184`
378×	`distribute-rgt-in_binary64_6166`
318×	`*-commutative_binary64_6147`
181×	`times-frac_binary64_6222`
176×	`associate-*r/_binary64_6158`
171×	`associate-/r*_binary64_6160`
167×	`log-prod_binary64_6302`
166×	`associate-*l/_binary64_6159`
155×	`associate-/l*_binary64_6161`
137×	`associate-l_binary64_6157`
136×	`cube-prod_binary64_6244`
117×	`sqr-pow_binary64_6188`
115×	`associate-r_binary64_6156`
101×	`cancel-sign-sub-inv_binary64_6182`
100×	`exp-prod_binary64_6268`
99×	`log-div_binary64_6303`
93×	`swap-sqr_binary64_6183`
85×	`cube-div_binary64_6245`
70×	`sub-neg_binary64_6209`
67×	`associate-/l/_binary64_6163`
55×	`distribute-rgt-neg-in_binary64_6174`
49×	`distribute-lft-neg-in_binary64_6173`
37×	`distribute-rgt-out_binary64_6169`
36×	`-rgt-identity_binary64_6206` `-lft-identity_binary64_6205`
35×	`distribute-neg-in_binary64_6177`
31×	`pow-sqr_binary64_6189`
30×	`unsub-neg_binary64_6210`
27×	`/-rgt-identity_binary64_6207`
26×	`unpow3_binary64_6282` `neg-mul-1_binary64_6212`
25×	`cube-mult_binary64_6246`
23×	`pow-plus_binary64_6279` `neg-sub0_binary64_6211` `associate-+l+_binary64_6149`
19×	`associate-+l-_binary64_6151`
17×	`associate-+r+_binary64_6148` `+-commutative_binary64_6146`
16×	`div-exp_binary64_6267` `prod-exp_binary64_6265` `rem-sqrt-square_binary64_6229` `distribute-lft-in_binary64_6165` `associate--l+_binary64_6153` `associate--r+_binary64_6152`
14×	`log-pow_binary64_6305` `exp-lft-sqr_binary64_6271`
13×	`cube-unmult_binary64_6253` `distribute-neg-frac_binary64_6180` `distribute-lft-out_binary64_6167`
12×	`distribute-rgt-out--_binary64_6170` `associate-+r-_binary64_6150`
11×	`div-sub_binary64_6221`
10×	`distribute-neg-out_binary64_6178`
9×	`distribute-rgt1-in_binary64_6172`
8×	`associate--r-_binary64_6155`
7×	`log-rec_binary64_6304`
5×	`mul0-lft_binary64_6198` `distribute-lft1-in_binary64_6171` `count-2_binary64_6164`
4×	`rec-exp_binary64_6266` `distribute-lft-neg-out_binary64_6175`
3×	`exp-sum_binary64_6262` `mul0-rgt_binary64_6199` `distribute-rgt-neg-out_binary64_6176` `distribute-lft-out--_binary64_6168`
2×	`exp-sqrt_binary64_6269` `rem-3cbrt-lft_binary64_6241` `remove-double-neg_binary64_6204` `associate--l-_binary64_6154`
1×	`unpow2_binary64_6281` `pow-base-1_binary64_6276` `unpow1_binary64_6274` `exp-diff_binary64_6264` `1-exp_binary64_6260` `exp-1-e_binary64_6259` `rem-log-exp_binary64_6257` `rem-3cbrt-rft_binary64_6242` `rem-cbrt-cube_binary64_6240` `rem-square-sqrt_binary64_6228` `sub0-neg_binary64_6203` `--rgt-identity_binary64_6202` `*-inverses_binary64_6196` `distribute-frac-neg_binary64_6179`
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_6479` `erf-erfc_binary64_6478` `erf-odd_binary64_6477` `if-if-and-not_binary64_6476` `if-if-and_binary64_6475` `if-if-or-not_binary64_6474` `if-if-or_binary64_6473` `if-not_binary64_6472` `if-same_binary64_6471` `if-false_binary64_6470` `if-true_binary64_6469` `not-gte_binary64_6468` `not-lte_binary64_6467` `not-gt_binary64_6466` `not-lt_binary64_6465` `gte-same_binary64_6464` `lte-same_binary64_6463` `gt-same_binary64_6462` `lt-same_binary64_6461` `sinh---cosh_binary64_6408` `sinh-+-cosh_binary64_6407` `sinh-cosh_binary64_6406` `tanh-def-c_binary64_6405` `tanh-def-b_binary64_6404` `tanh-def-a_binary64_6403` `cosh-def_binary64_6402` `sinh-def_binary64_6401` `tan-neg_binary64_6348` `cos-neg_binary64_6347` `sin-neg_binary64_6346` `tan-0_binary64_6345` `cos-0_binary64_6344` `sin-0_binary64_6343` `hang-m-tan_binary64_6342` `hang-p-tan_binary64_6341` `hang-m0-tan_binary64_6340` `hang-p0-tan_binary64_6339` `hang-0m-tan_binary64_6338` `hang-0p-tan_binary64_6337` `tan-+PI/2_binary64_6336` `tan-+PI_binary64_6335` `tan-PI_binary64_6334` `tan-PI/3_binary64_6333` `tan-PI/4_binary64_6332` `tan-PI/6_binary64_6331` `cos-+PI/2_binary64_6330` `cos-+PI_binary64_6329` `cos-PI_binary64_6328` `cos-PI/2_binary64_6327` `cos-PI/3_binary64_6326` `cos-PI/4_binary64_6325` `cos-PI/6_binary64_6324` `sin-+PI/2_binary64_6323` `sin-+PI_binary64_6322` `sin-PI_binary64_6321` `sin-PI/2_binary64_6320` `sin-PI/3_binary64_6319` `sin-PI/4_binary64_6318` `sin-PI/6_binary64_6317` `sub-1-sin_binary64_6316` `sub-1-cos_binary64_6315` `-1-add-sin_binary64_6314` `-1-add-cos_binary64_6313` `1-sub-sin_binary64_6312` `1-sub-cos_binary64_6311` `cos-sin-sum_binary64_6310` `log-E_binary64_6306` `pow-base-0_binary64_6300` `unpow1/3_binary64_6283` `unpow1/2_binary64_6280` `exp-to-pow_binary64_6278` `unpow0_binary64_6275` `unpow-1_binary64_6273` `exp-lft-cube_binary64_6272` `exp-cbrt_binary64_6270` `exp-neg_binary64_6263` `e-exp-1_binary64_6261` `exp-0_binary64_6258` `rem-exp-log_binary64_6256` `cube-neg_binary64_6243` `rem-cube-cbrt_binary64_6239` `sqr-abs_binary64_6231` `sqr-neg_binary64_6230` `mul-1-neg_binary64_6208` `+-rgt-identity_binary64_6201` `+-lft-identity_binary64_6200` `div0_binary64_6197` `+-inverses_binary64_6195` `lft-mult-inverse_binary64_6194` `rgt-mult-inverse_binary64_6193` `remove-double-div_binary64_6192` `difference-of-sqr--1_binary64_6187` `difference-of-sqr-1_binary64_6186` `difference-of-squares_binary64_6185` `cancel-sign-sub_binary64_6181`

Counts

171 → 312

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	188	2889
1	445	2293
2	2082	2211
3	2989	2190

prune652.0ms (1.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	312	0	312
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	312	4	316

Error

Counts

316 → 4

Compiler

Compiled 9327 to 5938 computations (36.3% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (+.f64 c (+.f64 (*.f64 x y) (-.f64 (/.f64 z (/.f64 16 t)) (/.f64 a (/.f64 4 b))))))
0.5b	(cbrt.f64 (+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c))
0.5b	(cbrt.f64 (+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c))
0.5b	(.f64 (cbrt.f64 (+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)) c)) (cbrt.f64 (+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)))

rewrite571.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

71×	`*-un-lft-identity_binary64_6216`
50×	`cbrt-prod_binary64_6247`
23×	`add-sqr-sqrt_binary64_6238`
21×	`distribute-lft-out_binary64_6167`
18×	`cbrt-div_binary64_6248`
15×	`add-cube-cbrt_binary64_6251`
14×	`swap-sqr_binary64_6183`
11×	`pow1_binary64_6277`
10×	`distribute-lft-out--_binary64_6168`
9×	`pow1/3_binary64_6298` `flip3-+_binary64_6219` `flip-+_binary64_6190`
8×	`associate-l_binary64_6157` `associate-r_binary64_6156`
6×	`add-exp-log_binary64_6254`
4×	`add-log-exp_binary64_6255` `add-cbrt-cube_binary64_6252` `frac-times_binary64_6226` `unswap-sqr_binary64_6184`
2×	`pow-prod-down_binary64_6287` `pow-prod-up_binary64_6286` `pow-sqr_binary64_6189` `associate-l/_binary64_6159` `associate-r/_binary64_6158`
1×	`pow2_binary64_6297` `pow-plus_binary64_6279` `prod-exp_binary64_6265` `cbrt-unprod_binary64_6249` `*-commutative_binary64_6147`

Counts

4 → 104

Calls

4 calls:

103.0ms	(cbrt.f64 (+.f64 c (+.f64 (*.f64 x y) (-.f64 (/.f64 z (/.f64 16 t)) (/.f64 a (/.f64 4 b))))))
36.0ms	(.f64 (cbrt.f64 (+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)) c)) (cbrt.f64 (+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)))
14.0ms	(cbrt.f64 (+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c))
13.0ms	(cbrt.f64 (+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c))

Compiler

Compiled 8079 to 4136 computations (48.8% saved)

series11.4s (22.8%)

Error

Counts

4 → 163

Calls

4 calls:

4.4s	(.f64 (cbrt.f64 (+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)) c)) (cbrt.f64 (+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)))
2.1s	(cbrt.f64 (+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c))
2.0s	(cbrt.f64 (+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c))
2.0s	(cbrt.f64 (+.f64 c (+.f64 (*.f64 x y) (-.f64 (/.f64 z (/.f64 16 t)) (/.f64 a (/.f64 4 b))))))

Compiler

Compiled 44351 to 31226 computations (29.6% saved)

simplify1.5s (3%)

Algorithm

1×	egg-herbie

Rules

697×	`times-frac_binary64_6222`
639×	`associate-/l*_binary64_6161`
298×	`*-commutative_binary64_6147`
177×	`cancel-sign-sub-inv_binary64_6182`
134×	`sub-neg_binary64_6209`
97×	`sqr-pow_binary64_6188`
93×	`distribute-rgt-neg-in_binary64_6174`
91×	`associate-r_binary64_6156`
89×	`distribute-rgt-in_binary64_6166`
87×	`neg-mul-1_binary64_6212`
85×	`distribute-lft-in_binary64_6165`
81×	`neg-sub0_binary64_6211`
74×	`associate-/r/_binary64_6162`
72×	`associate-/r_binary64_6160` `associate-r/_binary64_6158`
71×	`+-commutative_binary64_6146`
54×	`exp-prod_binary64_6268` `distribute-lft-neg-in_binary64_6173`
47×	`log-prod_binary64_6302`
45×	`distribute-lft-neg-out_binary64_6175`
35×	`distribute-neg-in_binary64_6177`
31×	`associate-+r+_binary64_6148`
25×	`associate--l+_binary64_6153`
24×	`pow-sqr_binary64_6189`
19×	`unpow1/3_binary64_6283`
18×	`distribute-neg-frac_binary64_6180` `associate-l_binary64_6157`
17×	`distribute-rgt-out_binary64_6169`
15×	`distribute-lft-out_binary64_6167`
13×	`log-div_binary64_6303`
12×	`distribute-rgt-neg-out_binary64_6176`
11×	`unpow2_binary64_6281`
10×	`associate--r+_binary64_6152`
7×	`unswap-sqr_binary64_6184`
6×	`log-pow_binary64_6305` `log-rec_binary64_6304` `remove-double-neg_binary64_6204`
5×	`cube-unmult_binary64_6253`
4×	`difference-of-squares_binary64_6185` `distribute-lft-out--_binary64_6168`
3×	`unpow3_binary64_6282` `cube-mult_binary64_6246` `rem-3cbrt-lft_binary64_6241` `*-rgt-identity_binary64_6206` `count-2_binary64_6164`
2×	`rem-sqrt-square_binary64_6229` `swap-sqr_binary64_6183` `distribute-rgt-out--_binary64_6170` `associate-+r-_binary64_6150`
1×	`pow-plus_binary64_6279` `prod-exp_binary64_6265` `1-exp_binary64_6260` `rem-log-exp_binary64_6257` `rem-3cbrt-rft_binary64_6242` `rem-square-sqrt_binary64_6228` `*-inverses_binary64_6196` `associate--l-_binary64_6154` `associate-+l-_binary64_6151`
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_6479` `erf-erfc_binary64_6478` `erf-odd_binary64_6477` `if-if-and-not_binary64_6476` `if-if-and_binary64_6475` `if-if-or-not_binary64_6474` `if-if-or_binary64_6473` `if-not_binary64_6472` `if-same_binary64_6471` `if-false_binary64_6470` `if-true_binary64_6469` `not-gte_binary64_6468` `not-lte_binary64_6467` `not-gt_binary64_6466` `not-lt_binary64_6465` `gte-same_binary64_6464` `lte-same_binary64_6463` `gt-same_binary64_6462` `lt-same_binary64_6461` `sinh---cosh_binary64_6408` `sinh-+-cosh_binary64_6407` `sinh-cosh_binary64_6406` `tanh-def-c_binary64_6405` `tanh-def-b_binary64_6404` `tanh-def-a_binary64_6403` `cosh-def_binary64_6402` `sinh-def_binary64_6401` `tan-neg_binary64_6348` `cos-neg_binary64_6347` `sin-neg_binary64_6346` `tan-0_binary64_6345` `cos-0_binary64_6344` `sin-0_binary64_6343` `hang-m-tan_binary64_6342` `hang-p-tan_binary64_6341` `hang-m0-tan_binary64_6340` `hang-p0-tan_binary64_6339` `hang-0m-tan_binary64_6338` `hang-0p-tan_binary64_6337` `tan-+PI/2_binary64_6336` `tan-+PI_binary64_6335` `tan-PI_binary64_6334` `tan-PI/3_binary64_6333` `tan-PI/4_binary64_6332` `tan-PI/6_binary64_6331` `cos-+PI/2_binary64_6330` `cos-+PI_binary64_6329` `cos-PI_binary64_6328` `cos-PI/2_binary64_6327` `cos-PI/3_binary64_6326` `cos-PI/4_binary64_6325` `cos-PI/6_binary64_6324` `sin-+PI/2_binary64_6323` `sin-+PI_binary64_6322` `sin-PI_binary64_6321` `sin-PI/2_binary64_6320` `sin-PI/3_binary64_6319` `sin-PI/4_binary64_6318` `sin-PI/6_binary64_6317` `sub-1-sin_binary64_6316` `sub-1-cos_binary64_6315` `-1-add-sin_binary64_6314` `-1-add-cos_binary64_6313` `1-sub-sin_binary64_6312` `1-sub-cos_binary64_6311` `cos-sin-sum_binary64_6310` `log-E_binary64_6306` `pow-base-0_binary64_6300` `unpow1/2_binary64_6280` `exp-to-pow_binary64_6278` `pow-base-1_binary64_6276` `unpow0_binary64_6275` `unpow1_binary64_6274` `unpow-1_binary64_6273` `exp-lft-cube_binary64_6272` `exp-lft-sqr_binary64_6271` `exp-cbrt_binary64_6270` `exp-sqrt_binary64_6269` `div-exp_binary64_6267` `rec-exp_binary64_6266` `exp-diff_binary64_6264` `exp-neg_binary64_6263` `exp-sum_binary64_6262` `e-exp-1_binary64_6261` `exp-1-e_binary64_6259` `exp-0_binary64_6258` `rem-exp-log_binary64_6256` `cube-div_binary64_6245` `cube-prod_binary64_6244` `cube-neg_binary64_6243` `rem-cbrt-cube_binary64_6240` `rem-cube-cbrt_binary64_6239` `sqr-abs_binary64_6231` `sqr-neg_binary64_6230` `div-sub_binary64_6221` `unsub-neg_binary64_6210` `mul-1-neg_binary64_6208` `/-rgt-identity_binary64_6207` `-lft-identity_binary64_6205` `sub0-neg_binary64_6203` `--rgt-identity_binary64_6202` `+-rgt-identity_binary64_6201` `+-lft-identity_binary64_6200` `mul0-rgt_binary64_6199` `mul0-lft_binary64_6198` `div0_binary64_6197` `+-inverses_binary64_6195` `lft-mult-inverse_binary64_6194` `rgt-mult-inverse_binary64_6193` `remove-double-div_binary64_6192` `difference-of-sqr--1_binary64_6187` `difference-of-sqr-1_binary64_6186` `cancel-sign-sub_binary64_6181` `distribute-frac-neg_binary64_6179` `distribute-neg-out_binary64_6178` `distribute-rgt1-in_binary64_6172` `distribute-lft1-in_binary64_6171` `associate-/l/_binary64_6163` `associate-l/_binary64_6159` `associate--r-_binary64_6155` `associate-+l+_binary64_6149`

Counts

267 → 445

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	729	15990
1	2415	15094

prune3.0s (6.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	445	0	445
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	445	4	449

Error

Counts

449 → 4

Compiler

Compiled 35159 to 19518 computations (44.5% saved)

regimes1.7s (3.3%)

Accuracy

Total 0.1b remaining (95.1%)

Threshold costs 0.1b (95.1%)

Compiler

Compiled 18614 to 16191 computations (13% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64_6147` `+-commutative_binary64_6146`
5×	`sub-neg_binary64_6209`
4×	`neg-mul-1_binary64_6212` `neg-sub0_binary64_6211`
2×	`distribute-rgt-neg-in_binary64_6174` `distribute-lft-neg-in_binary64_6173`
1×	`distribute-neg-frac_binary64_6180`
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_6476` `if-if-and_binary64_6475` `if-if-or-not_binary64_6474` `if-if-or_binary64_6473` `if-not_binary64_6472` `if-same_binary64_6471` `if-false_binary64_6470` `if-true_binary64_6469` `tan-0_binary64_6345` `cos-0_binary64_6344` `sin-0_binary64_6343` `unpow1_binary64_6274` `e-exp-1_binary64_6261` `1-exp_binary64_6260` `exp-1-e_binary64_6259` `exp-0_binary64_6258` `sqr-abs_binary64_6231` `sqr-neg_binary64_6230` `unsub-neg_binary64_6210` `mul-1-neg_binary64_6208` `/-rgt-identity_binary64_6207` `-rgt-identity_binary64_6206` `-lft-identity_binary64_6205` `remove-double-neg_binary64_6204` `sub0-neg_binary64_6203` `--rgt-identity_binary64_6202` `+-rgt-identity_binary64_6201` `+-lft-identity_binary64_6200` `cancel-sign-sub-inv_binary64_6182` `cancel-sign-sub_binary64_6181` `distribute-frac-neg_binary64_6179` `distribute-neg-out_binary64_6178` `distribute-neg-in_binary64_6177` `distribute-rgt-neg-out_binary64_6176` `distribute-lft-neg-out_binary64_6175`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	25
1	25	25
2	32	25
3	42	25
4	49	25
5	54	25
6	56	25

Proof

(+ f64 (- f64 (+ f64 (* f64 h0 h1) (/ f64 (* f64 h2 h3) 16)) (/ f64 (* f64 h4 h5) 4)) h6)

end0.0ms (0%)

sample2.3s (4.6%)

Algorithm

1×

intervals

Results

437.0ms	8000×	body	128	valid
212.0ms	3947×	body	128	invalid

Compiler

Compiled 1267 to 1103 computations (12.9% saved)

Details

analyze1.7s (3.4%)

sample49.0ms (0.1%)

simplify780.0ms (1.6%)

prune8.0ms (0%)

localize18.0ms (0%)

rewrite122.0ms (0.2%)

series1.8s (3.6%)

simplify411.0ms (0.8%)

prune929.0ms (1.9%)

localize18.0ms (0%)

rewrite8.9s (17.8%)

series1.9s (3.8%)

simplify2.7s (5.4%)

prune7.7s (15.5%)

localize17.0ms (0%)

rewrite373.0ms (0.7%)

series499.0ms (1%)

simplify826.0ms (1.7%)

prune652.0ms (1.3%)

localize27.0ms (0.1%)

rewrite571.0ms (1.1%)

series11.4s (22.8%)

simplify1.5s (3%)

prune3.0s (6.1%)

regimes1.7s (3.3%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample2.3s (4.6%)

Profiling