Details

analyze402.0ms (6.3%)

Algorithm

1×	search
2×	egg-herbie

Rules

8×	`*-commutative_binary64_6488`
4×	`+-commutative_binary64_6487`
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_6820` `erf-erfc_binary64_6819` `erf-odd_binary64_6818` `if-if-and-not_binary64_6817` `if-if-and_binary64_6816` `if-if-or-not_binary64_6815` `if-if-or_binary64_6814` `if-not_binary64_6813` `if-same_binary64_6812` `if-false_binary64_6811` `if-true_binary64_6810` `not-gte_binary64_6809` `not-lte_binary64_6808` `not-gt_binary64_6807` `not-lt_binary64_6806` `gte-same_binary64_6805` `lte-same_binary64_6804` `gt-same_binary64_6803` `lt-same_binary64_6802` `sinh---cosh_binary64_6749` `sinh-+-cosh_binary64_6748` `sinh-cosh_binary64_6747` `tanh-def-c_binary64_6746` `tanh-def-b_binary64_6745` `tanh-def-a_binary64_6744` `cosh-def_binary64_6743` `sinh-def_binary64_6742` `tan-neg_binary64_6689` `cos-neg_binary64_6688` `sin-neg_binary64_6687` `tan-0_binary64_6686` `cos-0_binary64_6685` `sin-0_binary64_6684` `hang-m-tan_binary64_6683` `hang-p-tan_binary64_6682` `hang-m0-tan_binary64_6681` `hang-p0-tan_binary64_6680` `hang-0m-tan_binary64_6679` `hang-0p-tan_binary64_6678` `tan-+PI/2_binary64_6677` `tan-+PI_binary64_6676` `tan-PI_binary64_6675` `tan-PI/3_binary64_6674` `tan-PI/4_binary64_6673` `tan-PI/6_binary64_6672` `cos-+PI/2_binary64_6671` `cos-+PI_binary64_6670` `cos-PI_binary64_6669` `cos-PI/2_binary64_6668` `cos-PI/3_binary64_6667` `cos-PI/4_binary64_6666` `cos-PI/6_binary64_6665` `sin-+PI/2_binary64_6664` `sin-+PI_binary64_6663` `sin-PI_binary64_6662` `sin-PI/2_binary64_6661` `sin-PI/3_binary64_6660` `sin-PI/4_binary64_6659` `sin-PI/6_binary64_6658` `sub-1-sin_binary64_6657` `sub-1-cos_binary64_6656` `-1-add-sin_binary64_6655` `-1-add-cos_binary64_6654` `1-sub-sin_binary64_6653` `1-sub-cos_binary64_6652` `cos-sin-sum_binary64_6651` `log-E_binary64_6647` `log-pow_binary64_6646` `log-rec_binary64_6645` `log-div_binary64_6644` `log-prod_binary64_6643` `pow-base-0_binary64_6641` `unpow1/3_binary64_6624` `unpow3_binary64_6623` `unpow2_binary64_6622` `unpow1/2_binary64_6621` `pow-plus_binary64_6620` `exp-to-pow_binary64_6619` `pow-base-1_binary64_6617` `unpow0_binary64_6616` `unpow1_binary64_6615` `unpow-1_binary64_6614` `exp-lft-cube_binary64_6613` `exp-lft-sqr_binary64_6612` `exp-cbrt_binary64_6611` `exp-sqrt_binary64_6610` `exp-prod_binary64_6609` `div-exp_binary64_6608` `rec-exp_binary64_6607` `prod-exp_binary64_6606` `exp-diff_binary64_6605` `exp-neg_binary64_6604` `exp-sum_binary64_6603` `e-exp-1_binary64_6602` `1-exp_binary64_6601` `exp-1-e_binary64_6600` `exp-0_binary64_6599` `rem-log-exp_binary64_6598` `rem-exp-log_binary64_6597` `cube-unmult_binary64_6594` `cube-mult_binary64_6587` `cube-div_binary64_6586` `cube-prod_binary64_6585` `cube-neg_binary64_6584` `rem-3cbrt-rft_binary64_6583` `rem-3cbrt-lft_binary64_6582` `rem-cbrt-cube_binary64_6581` `rem-cube-cbrt_binary64_6580` `sqr-abs_binary64_6572` `sqr-neg_binary64_6571` `rem-sqrt-square_binary64_6570` `rem-square-sqrt_binary64_6569` `times-frac_binary64_6563` `div-sub_binary64_6562` `neg-mul-1_binary64_6553` `neg-sub0_binary64_6552` `unsub-neg_binary64_6551` `sub-neg_binary64_6550` `mul-1-neg_binary64_6549` `/-rgt-identity_binary64_6548` `-rgt-identity_binary64_6547` `-lft-identity_binary64_6546` `remove-double-neg_binary64_6545` `sub0-neg_binary64_6544` `--rgt-identity_binary64_6543` `+-rgt-identity_binary64_6542` `+-lft-identity_binary64_6541` `mul0-rgt_binary64_6540` `mul0-lft_binary64_6539` `div0_binary64_6538` `-inverses_binary64_6537` `+-inverses_binary64_6536` `lft-mult-inverse_binary64_6535` `rgt-mult-inverse_binary64_6534` `remove-double-div_binary64_6533` `pow-sqr_binary64_6530` `sqr-pow_binary64_6529` `difference-of-sqr--1_binary64_6528` `difference-of-sqr-1_binary64_6527` `difference-of-squares_binary64_6526` `unswap-sqr_binary64_6525` `swap-sqr_binary64_6524` `cancel-sign-sub-inv_binary64_6523` `cancel-sign-sub_binary64_6522` `distribute-neg-frac_binary64_6521` `distribute-frac-neg_binary64_6520` `distribute-neg-out_binary64_6519` `distribute-neg-in_binary64_6518` `distribute-rgt-neg-out_binary64_6517` `distribute-lft-neg-out_binary64_6516` `distribute-rgt-neg-in_binary64_6515` `distribute-lft-neg-in_binary64_6514` `distribute-rgt1-in_binary64_6513` `distribute-lft1-in_binary64_6512` `distribute-rgt-out--_binary64_6511` `distribute-rgt-out_binary64_6510` `distribute-lft-out--_binary64_6509` `distribute-lft-out_binary64_6508` `distribute-rgt-in_binary64_6507` `distribute-lft-in_binary64_6506` `count-2_binary64_6505` `associate-/l/_binary64_6504` `associate-/r/_binary64_6503` `associate-/l_binary64_6502` `associate-/r_binary64_6501` `associate-l/_binary64_6500` `associate-r/_binary64_6499` `associate-l_binary64_6498` `associate-r*_binary64_6497` `associate--r-_binary64_6496` `associate--l-_binary64_6495` `associate--l+_binary64_6494` `associate--r+_binary64_6493` `associate-+l-_binary64_6492` `associate-+r-_binary64_6491` `associate-+l+_binary64_6490` `associate-+r+_binary64_6489`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	56
1	34	56
2	34	56
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
37.4%	62.4%	0.1%	6
49.9%	49.9%	0.1%	7
62.4%	37.4%	0.1%	8
62.4%	37.4%	0.1%	9
71.8%	28.1%	0.1%	10
79.6%	20.3%	0.1%	11
79.6%	20.3%	0.1%	12
85%	14.8%	0.1%	13
89.3%	10.5%	0.1%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample45.0ms (0.7%)

Algorithm

1×

intervals

Results

14.0ms	54×	body	1024	valid
9.0ms	146×	body	128	valid
8.0ms	39×	body	512	valid
2.0ms	17×	body	256	valid

Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify13.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64_6488`
1×	`+-commutative_binary64_6487`
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_6820` `erf-erfc_binary64_6819` `erf-odd_binary64_6818` `if-if-and-not_binary64_6817` `if-if-and_binary64_6816` `if-if-or-not_binary64_6815` `if-if-or_binary64_6814` `if-not_binary64_6813` `if-same_binary64_6812` `if-false_binary64_6811` `if-true_binary64_6810` `not-gte_binary64_6809` `not-lte_binary64_6808` `not-gt_binary64_6807` `not-lt_binary64_6806` `gte-same_binary64_6805` `lte-same_binary64_6804` `gt-same_binary64_6803` `lt-same_binary64_6802` `sinh---cosh_binary64_6749` `sinh-+-cosh_binary64_6748` `sinh-cosh_binary64_6747` `tanh-def-c_binary64_6746` `tanh-def-b_binary64_6745` `tanh-def-a_binary64_6744` `cosh-def_binary64_6743` `sinh-def_binary64_6742` `tan-neg_binary64_6689` `cos-neg_binary64_6688` `sin-neg_binary64_6687` `tan-0_binary64_6686` `cos-0_binary64_6685` `sin-0_binary64_6684` `hang-m-tan_binary64_6683` `hang-p-tan_binary64_6682` `hang-m0-tan_binary64_6681` `hang-p0-tan_binary64_6680` `hang-0m-tan_binary64_6679` `hang-0p-tan_binary64_6678` `tan-+PI/2_binary64_6677` `tan-+PI_binary64_6676` `tan-PI_binary64_6675` `tan-PI/3_binary64_6674` `tan-PI/4_binary64_6673` `tan-PI/6_binary64_6672` `cos-+PI/2_binary64_6671` `cos-+PI_binary64_6670` `cos-PI_binary64_6669` `cos-PI/2_binary64_6668` `cos-PI/3_binary64_6667` `cos-PI/4_binary64_6666` `cos-PI/6_binary64_6665` `sin-+PI/2_binary64_6664` `sin-+PI_binary64_6663` `sin-PI_binary64_6662` `sin-PI/2_binary64_6661` `sin-PI/3_binary64_6660` `sin-PI/4_binary64_6659` `sin-PI/6_binary64_6658` `sub-1-sin_binary64_6657` `sub-1-cos_binary64_6656` `-1-add-sin_binary64_6655` `-1-add-cos_binary64_6654` `1-sub-sin_binary64_6653` `1-sub-cos_binary64_6652` `cos-sin-sum_binary64_6651` `log-E_binary64_6647` `log-pow_binary64_6646` `log-rec_binary64_6645` `log-div_binary64_6644` `log-prod_binary64_6643` `pow-base-0_binary64_6641` `unpow1/3_binary64_6624` `unpow3_binary64_6623` `unpow2_binary64_6622` `unpow1/2_binary64_6621` `pow-plus_binary64_6620` `exp-to-pow_binary64_6619` `pow-base-1_binary64_6617` `unpow0_binary64_6616` `unpow1_binary64_6615` `unpow-1_binary64_6614` `exp-lft-cube_binary64_6613` `exp-lft-sqr_binary64_6612` `exp-cbrt_binary64_6611` `exp-sqrt_binary64_6610` `exp-prod_binary64_6609` `div-exp_binary64_6608` `rec-exp_binary64_6607` `prod-exp_binary64_6606` `exp-diff_binary64_6605` `exp-neg_binary64_6604` `exp-sum_binary64_6603` `e-exp-1_binary64_6602` `1-exp_binary64_6601` `exp-1-e_binary64_6600` `exp-0_binary64_6599` `rem-log-exp_binary64_6598` `rem-exp-log_binary64_6597` `cube-unmult_binary64_6594` `cube-mult_binary64_6587` `cube-div_binary64_6586` `cube-prod_binary64_6585` `cube-neg_binary64_6584` `rem-3cbrt-rft_binary64_6583` `rem-3cbrt-lft_binary64_6582` `rem-cbrt-cube_binary64_6581` `rem-cube-cbrt_binary64_6580` `sqr-abs_binary64_6572` `sqr-neg_binary64_6571` `rem-sqrt-square_binary64_6570` `rem-square-sqrt_binary64_6569` `times-frac_binary64_6563` `div-sub_binary64_6562` `neg-mul-1_binary64_6553` `neg-sub0_binary64_6552` `unsub-neg_binary64_6551` `sub-neg_binary64_6550` `mul-1-neg_binary64_6549` `/-rgt-identity_binary64_6548` `-rgt-identity_binary64_6547` `-lft-identity_binary64_6546` `remove-double-neg_binary64_6545` `sub0-neg_binary64_6544` `--rgt-identity_binary64_6543` `+-rgt-identity_binary64_6542` `+-lft-identity_binary64_6541` `mul0-rgt_binary64_6540` `mul0-lft_binary64_6539` `div0_binary64_6538` `-inverses_binary64_6537` `+-inverses_binary64_6536` `lft-mult-inverse_binary64_6535` `rgt-mult-inverse_binary64_6534` `remove-double-div_binary64_6533` `pow-sqr_binary64_6530` `sqr-pow_binary64_6529` `difference-of-sqr--1_binary64_6528` `difference-of-sqr-1_binary64_6527` `difference-of-squares_binary64_6526` `unswap-sqr_binary64_6525` `swap-sqr_binary64_6524` `cancel-sign-sub-inv_binary64_6523` `cancel-sign-sub_binary64_6522` `distribute-neg-frac_binary64_6521` `distribute-frac-neg_binary64_6520` `distribute-neg-out_binary64_6519` `distribute-neg-in_binary64_6518` `distribute-rgt-neg-out_binary64_6517` `distribute-lft-neg-out_binary64_6516` `distribute-rgt-neg-in_binary64_6515` `distribute-lft-neg-in_binary64_6514` `distribute-rgt1-in_binary64_6513` `distribute-lft1-in_binary64_6512` `distribute-rgt-out--_binary64_6511` `distribute-rgt-out_binary64_6510` `distribute-lft-out--_binary64_6509` `distribute-lft-out_binary64_6508` `distribute-rgt-in_binary64_6507` `distribute-lft-in_binary64_6506` `count-2_binary64_6505` `associate-/l/_binary64_6504` `associate-/r/_binary64_6503` `associate-/l_binary64_6502` `associate-/r_binary64_6501` `associate-l/_binary64_6500` `associate-r/_binary64_6499` `associate-l_binary64_6498` `associate-r*_binary64_6497` `associate--r-_binary64_6496` `associate--l-_binary64_6495` `associate--l+_binary64_6494` `associate--r+_binary64_6493` `associate-+l-_binary64_6492` `associate-+r-_binary64_6491` `associate-+l+_binary64_6490` `associate-+r+_binary64_6489`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	12	14
2	12	14

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.1b

Counts

1 → 1

Compiler

Compiled 9 to 8 computations (11.1% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
0.0b	(cos.f64 y)
0.1b	(*.f64 z (sin.f64 y))
0.1b	(*.f64 x (cos.f64 y))

rewrite74.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

12×	`add-sqr-sqrt_binary64_6579`
8×	`pow1_binary64_6618` `add-exp-log_binary64_6595` `add-cbrt-cube_binary64_6593` `add-cube-cbrt_binary64_6592` `*-un-lft-identity_binary64_6557`
6×	`add-log-exp_binary64_6596` `associate-l_binary64_6498` `associate-r_binary64_6497`
2×	`pow-prod-down_binary64_6628` `prod-exp_binary64_6606` `cbrt-unprod_binary64_6590` `unswap-sqr_binary64_6525` `*-commutative_binary64_6488`
1×	`sum-log_binary64_6648` `flip3-+_binary64_6560` `flip-+_binary64_6531` `+-commutative_binary64_6487`

Counts

4 → 54

Calls

4 calls:

5.0ms	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
4.0ms	(*.f64 x (cos.f64 y))
4.0ms	(*.f64 z (sin.f64 y))
1.0ms	(cos.f64 y)

Compiler

Compiled 822 to 199 computations (75.8% saved)

series537.0ms (8.5%)

Error

0.1b

Counts

4 → 40

Calls

4 calls:

298.0ms	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
108.0ms	(*.f64 x (cos.f64 y))
87.0ms	(*.f64 z (sin.f64 y))
17.0ms	(cos.f64 y)

Compiler

Compiled 1020 to 667 computations (34.6% saved)

simplify109.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

725×	`unswap-sqr_binary64_6525`
441×	`cancel-sign-sub-inv_binary64_6523`
436×	`sub-neg_binary64_6550`
412×	`distribute-rgt-neg-in_binary64_6515`
304×	`*-commutative_binary64_6488`
285×	`distribute-lft-neg-in_binary64_6514`
201×	`neg-mul-1_binary64_6553`
199×	`associate-+l+_binary64_6490`
193×	`unsub-neg_binary64_6551`
188×	`distribute-rgt-in_binary64_6507`
174×	`neg-sub0_binary64_6552`
173×	`associate-+r+_binary64_6489`
165×	`distribute-lft-in_binary64_6506`
164×	`distribute-rgt-out_binary64_6510`
156×	`sqr-pow_binary64_6529`
139×	`distribute-neg-in_binary64_6518`
123×	`associate-l_binary64_6498` `associate-+l-_binary64_6492`
116×	`associate-r_binary64_6497`
93×	`+-commutative_binary64_6487`
75×	`distribute-rgt-out--_binary64_6511`
73×	`sub0-neg_binary64_6544`
66×	`associate--l+_binary64_6494`
61×	`associate--l-_binary64_6495`
60×	`distribute-lft-neg-out_binary64_6516`
57×	`associate-+r-_binary64_6491`
56×	`remove-double-neg_binary64_6545`
55×	`pow-sqr_binary64_6530`
50×	`associate--r-_binary64_6496`
43×	`distribute-lft-out_binary64_6508`
37×	`associate--r+_binary64_6493`
36×	`+-rgt-identity_binary64_6542`
35×	`cube-prod_binary64_6585`
30×	`distribute-lft-out--_binary64_6509`
28×	`distribute-rgt-neg-out_binary64_6517`
26×	`exp-prod_binary64_6609`
25×	`*-lft-identity_binary64_6546`
24×	`log-prod_binary64_6643`
21×	`*-rgt-identity_binary64_6547`
18×	`rem-sqrt-square_binary64_6570` `--rgt-identity_binary64_6543` `associate-/l*_binary64_6502`
16×	`swap-sqr_binary64_6524` `cancel-sign-sub_binary64_6522`
14×	`cube-unmult_binary64_6594` `mul0-rgt_binary64_6540` `distribute-neg-out_binary64_6519` `associate-/l/_binary64_6504`
13×	`unpow3_binary64_6623` `mul0-lft_binary64_6539`
9×	`distribute-rgt1-in_binary64_6513`
8×	`pow-plus_binary64_6620` `exp-sum_binary64_6603` `div-sub_binary64_6562` `associate-*r/_binary64_6499`
7×	`unpow1/2_binary64_6621`
4×	`cube-neg_binary64_6584` `difference-of-squares_binary64_6526` `associate-/r/_binary64_6503` `associate-/r*_binary64_6501`
3×	`exp-diff_binary64_6605` `cube-mult_binary64_6587` `sqr-neg_binary64_6571` `count-2_binary64_6505`
2×	`unpow2_binary64_6622` `/-rgt-identity_binary64_6548` `associate-*l/_binary64_6500`
1×	`cos-neg_binary64_6688` `sin-neg_binary64_6687` `unpow1_binary64_6615` `prod-exp_binary64_6606` `1-exp_binary64_6601` `exp-1-e_binary64_6600` `distribute-lft1-in_binary64_6512`
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_6820` `erf-erfc_binary64_6819` `erf-odd_binary64_6818` `if-if-and-not_binary64_6817` `if-if-and_binary64_6816` `if-if-or-not_binary64_6815` `if-if-or_binary64_6814` `if-not_binary64_6813` `if-same_binary64_6812` `if-false_binary64_6811` `if-true_binary64_6810` `not-gte_binary64_6809` `not-lte_binary64_6808` `not-gt_binary64_6807` `not-lt_binary64_6806` `gte-same_binary64_6805` `lte-same_binary64_6804` `gt-same_binary64_6803` `lt-same_binary64_6802` `sinh---cosh_binary64_6749` `sinh-+-cosh_binary64_6748` `sinh-cosh_binary64_6747` `tanh-def-c_binary64_6746` `tanh-def-b_binary64_6745` `tanh-def-a_binary64_6744` `cosh-def_binary64_6743` `sinh-def_binary64_6742` `tan-neg_binary64_6689` `tan-0_binary64_6686` `cos-0_binary64_6685` `sin-0_binary64_6684` `hang-m-tan_binary64_6683` `hang-p-tan_binary64_6682` `hang-m0-tan_binary64_6681` `hang-p0-tan_binary64_6680` `hang-0m-tan_binary64_6679` `hang-0p-tan_binary64_6678` `tan-+PI/2_binary64_6677` `tan-+PI_binary64_6676` `tan-PI_binary64_6675` `tan-PI/3_binary64_6674` `tan-PI/4_binary64_6673` `tan-PI/6_binary64_6672` `cos-+PI/2_binary64_6671` `cos-+PI_binary64_6670` `cos-PI_binary64_6669` `cos-PI/2_binary64_6668` `cos-PI/3_binary64_6667` `cos-PI/4_binary64_6666` `cos-PI/6_binary64_6665` `sin-+PI/2_binary64_6664` `sin-+PI_binary64_6663` `sin-PI_binary64_6662` `sin-PI/2_binary64_6661` `sin-PI/3_binary64_6660` `sin-PI/4_binary64_6659` `sin-PI/6_binary64_6658` `sub-1-sin_binary64_6657` `sub-1-cos_binary64_6656` `-1-add-sin_binary64_6655` `-1-add-cos_binary64_6654` `1-sub-sin_binary64_6653` `1-sub-cos_binary64_6652` `cos-sin-sum_binary64_6651` `log-E_binary64_6647` `log-pow_binary64_6646` `log-rec_binary64_6645` `log-div_binary64_6644` `pow-base-0_binary64_6641` `unpow1/3_binary64_6624` `exp-to-pow_binary64_6619` `pow-base-1_binary64_6617` `unpow0_binary64_6616` `unpow-1_binary64_6614` `exp-lft-cube_binary64_6613` `exp-lft-sqr_binary64_6612` `exp-cbrt_binary64_6611` `exp-sqrt_binary64_6610` `div-exp_binary64_6608` `rec-exp_binary64_6607` `exp-neg_binary64_6604` `e-exp-1_binary64_6602` `exp-0_binary64_6599` `rem-log-exp_binary64_6598` `rem-exp-log_binary64_6597` `cube-div_binary64_6586` `rem-3cbrt-rft_binary64_6583` `rem-3cbrt-lft_binary64_6582` `rem-cbrt-cube_binary64_6581` `rem-cube-cbrt_binary64_6580` `sqr-abs_binary64_6572` `rem-square-sqrt_binary64_6569` `times-frac_binary64_6563` `mul-1-neg_binary64_6549` `+-lft-identity_binary64_6541` `div0_binary64_6538` `*-inverses_binary64_6537` `+-inverses_binary64_6536` `lft-mult-inverse_binary64_6535` `rgt-mult-inverse_binary64_6534` `remove-double-div_binary64_6533` `difference-of-sqr--1_binary64_6528` `difference-of-sqr-1_binary64_6527` `distribute-neg-frac_binary64_6521` `distribute-frac-neg_binary64_6520`

Counts

94 → 38

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	120	1066
1	308	1030
2	889	1015
3	1689	1012
4	3346	1012
5	4307	1012
6	5593	1012

prune46.0ms (0.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	32	6	38
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	33	6	39

Error

0.0b

Counts

39 → 6

Compiler

Compiled 715 to 260 computations (63.6% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 z (sin.f64 y))
0.1b	(*.f64 x (cbrt.f64 (pow.f64 (cos.f64 y) 3)))
0.3b	(cbrt.f64 (pow.f64 (cos.f64 y) 3))
0.4b	(pow.f64 (cos.f64 y) 3)

rewrite141.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

28×	`add-sqr-sqrt_binary64_6579` `cbrt-prod_binary64_6588`
18×	`associate-r_binary64_6497`
17×	`add-cube-cbrt_binary64_6592` `*-un-lft-identity_binary64_6557`
10×	`unpow-prod-down_binary64_6636` `cube-prod_binary64_6585`
9×	`pow1_binary64_6618` `add-exp-log_binary64_6595`
8×	`add-cbrt-cube_binary64_6593`
6×	`unswap-sqr_binary64_6525` `associate-l_binary64_6498`
4×	`add-log-exp_binary64_6596` `sqr-pow_binary64_6529`
3×	`pow-unpow_binary64_6634` `unpow3_binary64_6623` `cube-mult_binary64_6587`
2×	`pow-prod-down_binary64_6628` `prod-exp_binary64_6606` `cbrt-unprod_binary64_6590` `*-commutative_binary64_6488`
1×	`pow-pow_binary64_6629` `pow-to-exp_binary64_6626` `pow-exp_binary64_6625` `rem-cube-cbrt_binary64_6580` `pow1/3_binary64_6639` `rem-cbrt-cube_binary64_6581`

Counts

4 → 96

Calls

4 calls:

9.0ms	(*.f64 x (cbrt.f64 (pow.f64 (cos.f64 y) 3)))
4.0ms	(*.f64 z (sin.f64 y))
3.0ms	(pow.f64 (cos.f64 y) 3)
3.0ms	(cbrt.f64 (pow.f64 (cos.f64 y) 3))

Compiler

Compiled 1763 to 843 computations (52.2% saved)

series292.0ms (4.6%)

Error

0.0b

Counts

4 → 28

Calls

4 calls:

99.0ms	(*.f64 x (cbrt.f64 (pow.f64 (cos.f64 y) 3)))
91.0ms	(*.f64 z (sin.f64 y))
57.0ms	(pow.f64 (cos.f64 y) 3)
19.0ms	(cbrt.f64 (pow.f64 (cos.f64 y) 3))

Compiler

Compiled 952 to 692 computations (27.3% saved)

simplify113.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

312×	`*-commutative_binary64_6488`
294×	`sub-neg_binary64_6550`
277×	`cancel-sign-sub-inv_binary64_6523`
272×	`log-prod_binary64_6643` `unswap-sqr_binary64_6525`
270×	`exp-prod_binary64_6609`
219×	`cube-prod_binary64_6585`
190×	`pow-sqr_binary64_6530`
186×	`associate-+l+_binary64_6490`
171×	`sqr-pow_binary64_6529`
154×	`associate-r_binary64_6497`
151×	`associate-l_binary64_6498`
150×	`distribute-rgt-neg-in_binary64_6515`
145×	`associate-+r+_binary64_6489`
144×	`neg-mul-1_binary64_6553`
129×	`distribute-lft-neg-in_binary64_6514`
107×	`associate-+l-_binary64_6492`
104×	`neg-sub0_binary64_6552`
100×	`unpow3_binary64_6623`
87×	`cube-mult_binary64_6587`
74×	`+-commutative_binary64_6487`
65×	`associate--l+_binary64_6494`
63×	`swap-sqr_binary64_6524`
62×	`log-pow_binary64_6646`
55×	`associate-/l*_binary64_6502`
51×	`sub0-neg_binary64_6544`
46×	`associate-+r-_binary64_6491`
40×	`unsub-neg_binary64_6551`
36×	`pow-plus_binary64_6620` `rem-sqrt-square_binary64_6570`
35×	`distribute-rgt-in_binary64_6507`
33×	`+-rgt-identity_binary64_6542`
32×	`associate--r+_binary64_6493`
31×	`*-lft-identity_binary64_6546`
26×	`distribute-lft-in_binary64_6506`
25×	`*-rgt-identity_binary64_6547`
24×	`distribute-rgt-out_binary64_6510`
22×	`cube-unmult_binary64_6594`
20×	`distribute-rgt-out--_binary64_6511`
17×	`remove-double-neg_binary64_6545` `associate-/l/_binary64_6504` `associate--l-_binary64_6495`
12×	`count-2_binary64_6505` `associate-*r/_binary64_6499`
7×	`times-frac_binary64_6563` `distribute-lft-out--_binary64_6509` `distribute-lft-out_binary64_6508`
6×	`unpow1/2_binary64_6621` `--rgt-identity_binary64_6543` `distribute-neg-in_binary64_6518` `associate-/r/_binary64_6503` `associate-/r*_binary64_6501`
5×	`associate--r-_binary64_6496`
4×	`unpow2_binary64_6622` `rem-cbrt-cube_binary64_6581` `sqr-neg_binary64_6571` `distribute-lft-neg-out_binary64_6516`
3×	`cube-neg_binary64_6584` `+-lft-identity_binary64_6541` `distribute-rgt1-in_binary64_6513` `associate-*l/_binary64_6500`
2×	`unpow1_binary64_6615` `exp-sum_binary64_6603` `/-rgt-identity_binary64_6548`
1×	`cos-neg_binary64_6688` `sin-neg_binary64_6687` `exp-diff_binary64_6605` `1-exp_binary64_6601` `exp-1-e_binary64_6600` `rem-3cbrt-lft_binary64_6582` `rem-cube-cbrt_binary64_6580` `rem-square-sqrt_binary64_6569` `div-sub_binary64_6562` `mul0-rgt_binary64_6540` `mul0-lft_binary64_6539`
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_6820` `erf-erfc_binary64_6819` `erf-odd_binary64_6818` `if-if-and-not_binary64_6817` `if-if-and_binary64_6816` `if-if-or-not_binary64_6815` `if-if-or_binary64_6814` `if-not_binary64_6813` `if-same_binary64_6812` `if-false_binary64_6811` `if-true_binary64_6810` `not-gte_binary64_6809` `not-lte_binary64_6808` `not-gt_binary64_6807` `not-lt_binary64_6806` `gte-same_binary64_6805` `lte-same_binary64_6804` `gt-same_binary64_6803` `lt-same_binary64_6802` `sinh---cosh_binary64_6749` `sinh-+-cosh_binary64_6748` `sinh-cosh_binary64_6747` `tanh-def-c_binary64_6746` `tanh-def-b_binary64_6745` `tanh-def-a_binary64_6744` `cosh-def_binary64_6743` `sinh-def_binary64_6742` `tan-neg_binary64_6689` `tan-0_binary64_6686` `cos-0_binary64_6685` `sin-0_binary64_6684` `hang-m-tan_binary64_6683` `hang-p-tan_binary64_6682` `hang-m0-tan_binary64_6681` `hang-p0-tan_binary64_6680` `hang-0m-tan_binary64_6679` `hang-0p-tan_binary64_6678` `tan-+PI/2_binary64_6677` `tan-+PI_binary64_6676` `tan-PI_binary64_6675` `tan-PI/3_binary64_6674` `tan-PI/4_binary64_6673` `tan-PI/6_binary64_6672` `cos-+PI/2_binary64_6671` `cos-+PI_binary64_6670` `cos-PI_binary64_6669` `cos-PI/2_binary64_6668` `cos-PI/3_binary64_6667` `cos-PI/4_binary64_6666` `cos-PI/6_binary64_6665` `sin-+PI/2_binary64_6664` `sin-+PI_binary64_6663` `sin-PI_binary64_6662` `sin-PI/2_binary64_6661` `sin-PI/3_binary64_6660` `sin-PI/4_binary64_6659` `sin-PI/6_binary64_6658` `sub-1-sin_binary64_6657` `sub-1-cos_binary64_6656` `-1-add-sin_binary64_6655` `-1-add-cos_binary64_6654` `1-sub-sin_binary64_6653` `1-sub-cos_binary64_6652` `cos-sin-sum_binary64_6651` `log-E_binary64_6647` `log-rec_binary64_6645` `log-div_binary64_6644` `pow-base-0_binary64_6641` `unpow1/3_binary64_6624` `exp-to-pow_binary64_6619` `pow-base-1_binary64_6617` `unpow0_binary64_6616` `unpow-1_binary64_6614` `exp-lft-cube_binary64_6613` `exp-lft-sqr_binary64_6612` `exp-cbrt_binary64_6611` `exp-sqrt_binary64_6610` `div-exp_binary64_6608` `rec-exp_binary64_6607` `prod-exp_binary64_6606` `exp-neg_binary64_6604` `e-exp-1_binary64_6602` `exp-0_binary64_6599` `rem-log-exp_binary64_6598` `rem-exp-log_binary64_6597` `cube-div_binary64_6586` `rem-3cbrt-rft_binary64_6583` `sqr-abs_binary64_6572` `mul-1-neg_binary64_6549` `div0_binary64_6538` `*-inverses_binary64_6537` `+-inverses_binary64_6536` `lft-mult-inverse_binary64_6535` `rgt-mult-inverse_binary64_6534` `remove-double-div_binary64_6533` `difference-of-sqr--1_binary64_6528` `difference-of-sqr-1_binary64_6527` `difference-of-squares_binary64_6526` `cancel-sign-sub_binary64_6522` `distribute-neg-frac_binary64_6521` `distribute-frac-neg_binary64_6520` `distribute-neg-out_binary64_6519` `distribute-rgt-neg-out_binary64_6517` `distribute-lft1-in_binary64_6512`

Counts

124 → 77

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	154	1239
1	322	1150
2	1030	1129
3	2178	1126
4	4186	1123
5	4767	1123
6	4910	1123

prune91.0ms (1.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	72	5	77
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	74	9	83

Error

0.0b

Counts

83 → 9

Compiler

Compiled 1380 to 582 computations (57.8% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 x (cbrt.f64 (.f64 (pow.f64 (cos.f64 y) 2) (cos.f64 y))))
0.2b	(*.f64 (pow.f64 (cos.f64 y) 2) (cos.f64 y))
0.3b	(pow.f64 (cos.f64 y) 2)
0.3b	(cbrt.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (cos.f64 y)))

rewrite116.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

19×	`add-sqr-sqrt_binary64_6579`
12×	`add-exp-log_binary64_6595`
11×	`add-cube-cbrt_binary64_6592` `-un-lft-identity_binary64_6557` `associate-l*_binary64_6498`
8×	`pow1_binary64_6618`
7×	`add-cbrt-cube_binary64_6593` `unpow-prod-down_binary64_6636` `associate-r_binary64_6497`
5×	`unpow2_binary64_6622` `unswap-sqr_binary64_6525`
4×	`add-log-exp_binary64_6596` `prod-exp_binary64_6606`
3×	`pow-unpow_binary64_6634` `sqr-pow_binary64_6529`
2×	`cbrt-prod_binary64_6588` `pow3_binary64_6640` `pow-to-exp_binary64_6626` `pow-exp_binary64_6625` `cbrt-unprod_binary64_6590` `*-commutative_binary64_6488`
1×	`pow1/3_binary64_6639` `rem-cbrt-cube_binary64_6581` `pow-pow_binary64_6629` `pow-prod-up_binary64_6627` `pow-plus_binary64_6620` `pow-prod-down_binary64_6628`

Counts

4 → 77

Calls

4 calls:

6.0ms	(*.f64 (pow.f64 (cos.f64 y) 2) (cos.f64 y))
5.0ms	(.f64 x (cbrt.f64 (.f64 (pow.f64 (cos.f64 y) 2) (cos.f64 y))))
4.0ms	(cbrt.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (cos.f64 y)))
2.0ms	(pow.f64 (cos.f64 y) 2)

Compiler

Compiled 1630 to 756 computations (53.6% saved)

series257.0ms (4.1%)

Error

0.0b

Counts

4 → 27

Calls

4 calls:

115.0ms	(.f64 x (cbrt.f64 (.f64 (pow.f64 (cos.f64 y) 2) (cos.f64 y))))
60.0ms	(*.f64 (pow.f64 (cos.f64 y) 2) (cos.f64 y))
38.0ms	(pow.f64 (cos.f64 y) 2)
20.0ms	(cbrt.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (cos.f64 y)))

Compiler

Compiled 931 to 664 computations (28.7% saved)

simplify124.0ms (2%)

Algorithm

1×	egg-herbie

Rules

502×	`cancel-sign-sub-inv_binary64_6523`
379×	`distribute-rgt-in_binary64_6507`
369×	`sub-neg_binary64_6550`
260×	`*-commutative_binary64_6488`
220×	`sqr-pow_binary64_6529`
200×	`log-prod_binary64_6643`
197×	`exp-prod_binary64_6609`
195×	`pow-sqr_binary64_6530`
178×	`neg-mul-1_binary64_6553`
167×	`distribute-rgt-neg-in_binary64_6515`
158×	`associate-+l+_binary64_6490`
154×	`cube-prod_binary64_6585`
152×	`distribute-neg-in_binary64_6518`
142×	`associate-+l-_binary64_6492`
132×	`neg-sub0_binary64_6552`
123×	`associate-l_binary64_6498`
122×	`unswap-sqr_binary64_6525` `associate-+r+_binary64_6489`
121×	`distribute-lft-neg-in_binary64_6514`
120×	`associate-r_binary64_6497`
107×	`unsub-neg_binary64_6551`
90×	`+-commutative_binary64_6487`
87×	`associate--l+_binary64_6494`
86×	`log-pow_binary64_6646`
66×	`unpow3_binary64_6623`
63×	`sub0-neg_binary64_6544`
60×	`cube-mult_binary64_6587` `rem-sqrt-square_binary64_6570`
59×	`associate-+r-_binary64_6491`
51×	`*-rgt-identity_binary64_6547`
50×	`mul0-lft_binary64_6539`
48×	`distribute-lft-neg-out_binary64_6516`
45×	`distribute-rgt-out_binary64_6510`
43×	`remove-double-neg_binary64_6545` `associate--r+_binary64_6493`
40×	`associate-/l*_binary64_6502`
38×	`+-rgt-identity_binary64_6542`
36×	`distribute-lft-out_binary64_6508`
34×	`pow-plus_binary64_6620`
24×	`swap-sqr_binary64_6524` `distribute-rgt-out--_binary64_6511`
23×	`associate--l-_binary64_6495`
21×	`distribute-rgt-neg-out_binary64_6517`
20×	`*-lft-identity_binary64_6546`
19×	`distribute-lft-in_binary64_6506`
15×	`cube-unmult_binary64_6594`
13×	`unpow1/2_binary64_6621` `associate-/l/_binary64_6504`
11×	`distribute-lft-out--_binary64_6509`
10×	`distribute-rgt1-in_binary64_6513`
8×	`exp-sum_binary64_6603` `times-frac_binary64_6563` `--rgt-identity_binary64_6543` `associate-*r/_binary64_6499`
7×	`unpow2_binary64_6622` `associate--r-_binary64_6496`
6×	`unpow1_binary64_6615`
5×	`count-2_binary64_6505`
3×	`sqr-neg_binary64_6571` `distribute-neg-out_binary64_6519` `associate-/r/_binary64_6503` `associate-/r_binary64_6501` `associate-l/_binary64_6500`
2×	`exp-diff_binary64_6605` `cube-neg_binary64_6584` `rem-cbrt-cube_binary64_6581` `/-rgt-identity_binary64_6548` `+-lft-identity_binary64_6541` `mul0-rgt_binary64_6540` `difference-of-sqr-1_binary64_6527` `distribute-lft1-in_binary64_6512`
1×	`cos-neg_binary64_6688` `1-exp_binary64_6601` `exp-1-e_binary64_6600` `rem-3cbrt-rft_binary64_6583` `rem-3cbrt-lft_binary64_6582` `rem-square-sqrt_binary64_6569` `div-sub_binary64_6562`
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_6820` `erf-erfc_binary64_6819` `erf-odd_binary64_6818` `if-if-and-not_binary64_6817` `if-if-and_binary64_6816` `if-if-or-not_binary64_6815` `if-if-or_binary64_6814` `if-not_binary64_6813` `if-same_binary64_6812` `if-false_binary64_6811` `if-true_binary64_6810` `not-gte_binary64_6809` `not-lte_binary64_6808` `not-gt_binary64_6807` `not-lt_binary64_6806` `gte-same_binary64_6805` `lte-same_binary64_6804` `gt-same_binary64_6803` `lt-same_binary64_6802` `sinh---cosh_binary64_6749` `sinh-+-cosh_binary64_6748` `sinh-cosh_binary64_6747` `tanh-def-c_binary64_6746` `tanh-def-b_binary64_6745` `tanh-def-a_binary64_6744` `cosh-def_binary64_6743` `sinh-def_binary64_6742` `tan-neg_binary64_6689` `sin-neg_binary64_6687` `tan-0_binary64_6686` `cos-0_binary64_6685` `sin-0_binary64_6684` `hang-m-tan_binary64_6683` `hang-p-tan_binary64_6682` `hang-m0-tan_binary64_6681` `hang-p0-tan_binary64_6680` `hang-0m-tan_binary64_6679` `hang-0p-tan_binary64_6678` `tan-+PI/2_binary64_6677` `tan-+PI_binary64_6676` `tan-PI_binary64_6675` `tan-PI/3_binary64_6674` `tan-PI/4_binary64_6673` `tan-PI/6_binary64_6672` `cos-+PI/2_binary64_6671` `cos-+PI_binary64_6670` `cos-PI_binary64_6669` `cos-PI/2_binary64_6668` `cos-PI/3_binary64_6667` `cos-PI/4_binary64_6666` `cos-PI/6_binary64_6665` `sin-+PI/2_binary64_6664` `sin-+PI_binary64_6663` `sin-PI_binary64_6662` `sin-PI/2_binary64_6661` `sin-PI/3_binary64_6660` `sin-PI/4_binary64_6659` `sin-PI/6_binary64_6658` `sub-1-sin_binary64_6657` `sub-1-cos_binary64_6656` `-1-add-sin_binary64_6655` `-1-add-cos_binary64_6654` `1-sub-sin_binary64_6653` `1-sub-cos_binary64_6652` `cos-sin-sum_binary64_6651` `log-E_binary64_6647` `log-rec_binary64_6645` `log-div_binary64_6644` `pow-base-0_binary64_6641` `unpow1/3_binary64_6624` `exp-to-pow_binary64_6619` `pow-base-1_binary64_6617` `unpow0_binary64_6616` `unpow-1_binary64_6614` `exp-lft-cube_binary64_6613` `exp-lft-sqr_binary64_6612` `exp-cbrt_binary64_6611` `exp-sqrt_binary64_6610` `div-exp_binary64_6608` `rec-exp_binary64_6607` `prod-exp_binary64_6606` `exp-neg_binary64_6604` `e-exp-1_binary64_6602` `exp-0_binary64_6599` `rem-log-exp_binary64_6598` `rem-exp-log_binary64_6597` `cube-div_binary64_6586` `rem-cube-cbrt_binary64_6580` `sqr-abs_binary64_6572` `mul-1-neg_binary64_6549` `div0_binary64_6538` `*-inverses_binary64_6537` `+-inverses_binary64_6536` `lft-mult-inverse_binary64_6535` `rgt-mult-inverse_binary64_6534` `remove-double-div_binary64_6533` `difference-of-sqr--1_binary64_6528` `difference-of-squares_binary64_6526` `cancel-sign-sub_binary64_6522` `distribute-neg-frac_binary64_6521` `distribute-frac-neg_binary64_6520`

Counts

104 → 72

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	135	1188
1	300	898
2	812	873
3	1512	846
4	2835	846
5	4364	846
6	4822	846
7	4795	846

prune79.0ms (1.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	72	9	81

Error

0.0b

Counts

81 → 9

Compiler

Compiled 1374 to 611 computations (55.5% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 x (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 y) 9))))
0.3b	(cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 y) 9)))
0.3b	(cbrt.f64 (pow.f64 (cos.f64 y) 9))
0.8b	(pow.f64 (cos.f64 y) 9)

rewrite126.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

48×	`cbrt-prod_binary64_6588`
25×	`add-sqr-sqrt_binary64_6579`
16×	`add-cube-cbrt_binary64_6592` `*-un-lft-identity_binary64_6557`
13×	`unpow-prod-down_binary64_6636` `associate-r_binary64_6497`
7×	`pow1_binary64_6618` `add-exp-log_binary64_6595`
5×	`add-cbrt-cube_binary64_6593` `sqr-pow_binary64_6529` `unswap-sqr_binary64_6525`
4×	`add-log-exp_binary64_6596`
3×	`pow-unpow_binary64_6634` `associate-l_binary64_6498`
2×	`pow1/3_binary64_6639`
1×	`pow-pow_binary64_6629` `pow-to-exp_binary64_6626` `pow-exp_binary64_6625` `pow-prod-down_binary64_6628` `prod-exp_binary64_6606` `cbrt-unprod_binary64_6590` `*-commutative_binary64_6488`

Counts

4 → 82

Calls

4 calls:

11.0ms	(*.f64 x (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 y) 9))))
3.0ms	(cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 y) 9)))
3.0ms	(pow.f64 (cos.f64 y) 9)
2.0ms	(cbrt.f64 (pow.f64 (cos.f64 y) 9))

Compiler

Compiled 1676 to 938 computations (44% saved)

series292.0ms (4.6%)

Error

0.0b

Counts

4 → 27

Calls

4 calls:

99.0ms	(pow.f64 (cos.f64 y) 9)
97.0ms	(*.f64 x (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 y) 9))))
54.0ms	(cbrt.f64 (pow.f64 (cos.f64 y) 9))
19.0ms	(cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 y) 9)))

Compiler

Compiled 915 to 672 computations (26.6% saved)

simplify155.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

448×	`sub-neg_binary64_6550`
442×	`associate-l_binary64_6498`
350×	`associate-r_binary64_6497`
252×	`unswap-sqr_binary64_6525`
191×	`distribute-rgt-neg-in_binary64_6515`
176×	`cancel-sign-sub-inv_binary64_6523`
170×	`distribute-lft-neg-in_binary64_6514`
148×	`neg-mul-1_binary64_6553`
141×	`associate-+l-_binary64_6492`
139×	`log-prod_binary64_6643`
135×	`neg-sub0_binary64_6552`
118×	`associate-+l+_binary64_6490`
116×	`*-commutative_binary64_6488`
100×	`sqr-pow_binary64_6529`
97×	`exp-prod_binary64_6609`
88×	`cube-prod_binary64_6585` `+-commutative_binary64_6487`
87×	`associate--l+_binary64_6494`
83×	`distribute-rgt-out--_binary64_6511`
82×	`associate-+r+_binary64_6489`
68×	`unsub-neg_binary64_6551`
67×	`distribute-lft-out--_binary64_6509`
59×	`unpow3_binary64_6623`
58×	`associate-+r-_binary64_6491`
54×	`swap-sqr_binary64_6524`
52×	`distribute-rgt-out_binary64_6510`
43×	`associate--r+_binary64_6493`
42×	`log-pow_binary64_6646`
39×	`pow-plus_binary64_6620`
38×	`distribute-lft-out_binary64_6508`
33×	`cube-unmult_binary64_6594` `distribute-rgt-in_binary64_6507`
28×	`*-lft-identity_binary64_6546`
27×	`*-rgt-identity_binary64_6547`
26×	`pow-sqr_binary64_6530`
23×	`distribute-lft-in_binary64_6506` `associate--l-_binary64_6495`
22×	`associate-/l*_binary64_6502`
16×	`sub0-neg_binary64_6544` `+-rgt-identity_binary64_6542`
12×	`cube-mult_binary64_6587`
10×	`rem-sqrt-square_binary64_6570`
9×	`count-2_binary64_6505`
8×	`distribute-neg-in_binary64_6518` `associate-/l/_binary64_6504`
7×	`cancel-sign-sub_binary64_6522` `distribute-lft-neg-out_binary64_6516` `associate--r-_binary64_6496`
5×	`associate-*r/_binary64_6499`
4×	`unpow1/2_binary64_6621`
3×	`unpow2_binary64_6622` `distribute-rgt1-in_binary64_6513`
2×	`unpow1_binary64_6615` `exp-sum_binary64_6603` `rem-3cbrt-lft_binary64_6582` `associate-/r/_binary64_6503` `associate-*l/_binary64_6500`
1×	`1-exp_binary64_6601` `exp-1-e_binary64_6600` `rem-cbrt-cube_binary64_6581` `times-frac_binary64_6563`
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_6820` `erf-erfc_binary64_6819` `erf-odd_binary64_6818` `if-if-and-not_binary64_6817` `if-if-and_binary64_6816` `if-if-or-not_binary64_6815` `if-if-or_binary64_6814` `if-not_binary64_6813` `if-same_binary64_6812` `if-false_binary64_6811` `if-true_binary64_6810` `not-gte_binary64_6809` `not-lte_binary64_6808` `not-gt_binary64_6807` `not-lt_binary64_6806` `gte-same_binary64_6805` `lte-same_binary64_6804` `gt-same_binary64_6803` `lt-same_binary64_6802` `sinh---cosh_binary64_6749` `sinh-+-cosh_binary64_6748` `sinh-cosh_binary64_6747` `tanh-def-c_binary64_6746` `tanh-def-b_binary64_6745` `tanh-def-a_binary64_6744` `cosh-def_binary64_6743` `sinh-def_binary64_6742` `tan-neg_binary64_6689` `cos-neg_binary64_6688` `sin-neg_binary64_6687` `tan-0_binary64_6686` `cos-0_binary64_6685` `sin-0_binary64_6684` `hang-m-tan_binary64_6683` `hang-p-tan_binary64_6682` `hang-m0-tan_binary64_6681` `hang-p0-tan_binary64_6680` `hang-0m-tan_binary64_6679` `hang-0p-tan_binary64_6678` `tan-+PI/2_binary64_6677` `tan-+PI_binary64_6676` `tan-PI_binary64_6675` `tan-PI/3_binary64_6674` `tan-PI/4_binary64_6673` `tan-PI/6_binary64_6672` `cos-+PI/2_binary64_6671` `cos-+PI_binary64_6670` `cos-PI_binary64_6669` `cos-PI/2_binary64_6668` `cos-PI/3_binary64_6667` `cos-PI/4_binary64_6666` `cos-PI/6_binary64_6665` `sin-+PI/2_binary64_6664` `sin-+PI_binary64_6663` `sin-PI_binary64_6662` `sin-PI/2_binary64_6661` `sin-PI/3_binary64_6660` `sin-PI/4_binary64_6659` `sin-PI/6_binary64_6658` `sub-1-sin_binary64_6657` `sub-1-cos_binary64_6656` `-1-add-sin_binary64_6655` `-1-add-cos_binary64_6654` `1-sub-sin_binary64_6653` `1-sub-cos_binary64_6652` `cos-sin-sum_binary64_6651` `log-E_binary64_6647` `log-rec_binary64_6645` `log-div_binary64_6644` `pow-base-0_binary64_6641` `unpow1/3_binary64_6624` `exp-to-pow_binary64_6619` `pow-base-1_binary64_6617` `unpow0_binary64_6616` `unpow-1_binary64_6614` `exp-lft-cube_binary64_6613` `exp-lft-sqr_binary64_6612` `exp-cbrt_binary64_6611` `exp-sqrt_binary64_6610` `div-exp_binary64_6608` `rec-exp_binary64_6607` `prod-exp_binary64_6606` `exp-diff_binary64_6605` `exp-neg_binary64_6604` `e-exp-1_binary64_6602` `exp-0_binary64_6599` `rem-log-exp_binary64_6598` `rem-exp-log_binary64_6597` `cube-div_binary64_6586` `cube-neg_binary64_6584` `rem-3cbrt-rft_binary64_6583` `rem-cube-cbrt_binary64_6580` `sqr-abs_binary64_6572` `sqr-neg_binary64_6571` `rem-square-sqrt_binary64_6569` `div-sub_binary64_6562` `mul-1-neg_binary64_6549` `/-rgt-identity_binary64_6548` `remove-double-neg_binary64_6545` `--rgt-identity_binary64_6543` `+-lft-identity_binary64_6541` `mul0-rgt_binary64_6540` `mul0-lft_binary64_6539` `div0_binary64_6538` `-inverses_binary64_6537` `+-inverses_binary64_6536` `lft-mult-inverse_binary64_6535` `rgt-mult-inverse_binary64_6534` `remove-double-div_binary64_6533` `difference-of-sqr--1_binary64_6528` `difference-of-sqr-1_binary64_6527` `difference-of-squares_binary64_6526` `distribute-neg-frac_binary64_6521` `distribute-frac-neg_binary64_6520` `distribute-neg-out_binary64_6519` `distribute-rgt-neg-out_binary64_6517` `distribute-lft1-in_binary64_6512` `associate-/r_binary64_6501`

Counts

109 → 48

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	146	1657
1	312	1598
2	852	1583
3	2110	1538
4	4203	1524
5	4950	1524
6	4997	1524
7	4910	1524

prune57.0ms (0.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	47	1	48
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	48	9	57

Error

0.0b

Counts

57 → 9

Compiler

Compiled 924 to 514 computations (44.4% saved)

regimes558.0ms (8.8%)

Accuracy

Total 0.1b remaining (79.5%)

Threshold costs 0.1b (79.5%)

Compiler

Compiled 4908 to 3602 computations (26.6% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64_6488`
1×	`+-commutative_binary64_6487`
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_6817` `if-if-and_binary64_6816` `if-if-or-not_binary64_6815` `if-if-or_binary64_6814` `if-not_binary64_6813` `if-same_binary64_6812` `if-false_binary64_6811` `if-true_binary64_6810` `tan-0_binary64_6686` `cos-0_binary64_6685` `sin-0_binary64_6684` `unpow1_binary64_6615` `e-exp-1_binary64_6602` `1-exp_binary64_6601` `exp-1-e_binary64_6600` `exp-0_binary64_6599` `sqr-abs_binary64_6572` `sqr-neg_binary64_6571` `neg-mul-1_binary64_6553` `neg-sub0_binary64_6552` `unsub-neg_binary64_6551` `sub-neg_binary64_6550` `mul-1-neg_binary64_6549` `/-rgt-identity_binary64_6548` `-rgt-identity_binary64_6547` `-lft-identity_binary64_6546` `remove-double-neg_binary64_6545` `sub0-neg_binary64_6544` `--rgt-identity_binary64_6543` `+-rgt-identity_binary64_6542` `+-lft-identity_binary64_6541` `cancel-sign-sub-inv_binary64_6523` `cancel-sign-sub_binary64_6522` `distribute-neg-frac_binary64_6521` `distribute-frac-neg_binary64_6520` `distribute-neg-out_binary64_6519` `distribute-neg-in_binary64_6518` `distribute-rgt-neg-out_binary64_6517` `distribute-lft-neg-out_binary64_6516` `distribute-rgt-neg-in_binary64_6515` `distribute-lft-neg-in_binary64_6514`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	12	14
2	12	14

end0.0ms (0%)

sample2.7s (42%)

Algorithm

1×

intervals

Results

557.0ms	2017×	body	1024	valid
306.0ms	4538×	body	128	valid
178.0ms	968×	body	512	valid
61.0ms	474×	body	256	valid
1.0ms	3×	body	2048	valid

Compiler

Compiled 1240 to 912 computations (26.5% saved)

Details

analyze402.0ms (6.3%)

sample45.0ms (0.7%)

simplify13.0ms (0.2%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite74.0ms (1.2%)

series537.0ms (8.5%)

simplify109.0ms (1.7%)

prune46.0ms (0.7%)

localize13.0ms (0.2%)

rewrite141.0ms (2.2%)

series292.0ms (4.6%)

simplify113.0ms (1.8%)

prune91.0ms (1.4%)

localize12.0ms (0.2%)

rewrite116.0ms (1.8%)

series257.0ms (4.1%)

simplify124.0ms (2%)

prune79.0ms (1.2%)

localize12.0ms (0.2%)

rewrite126.0ms (2%)

series292.0ms (4.6%)

simplify155.0ms (2.4%)

prune57.0ms (0.9%)

regimes558.0ms (8.8%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.7s (42%)

Profiling