Details

analyze309.0ms (5.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

16×	`sub-neg_binary64_5186`
12×	`div-sub_binary64_5198` `+-commutative_binary64_5123`
10×	`*-commutative_binary64_5124`
6×	`associate-/l*_binary64_5138`
4×	`neg-mul-1_binary64_5189` `neg-sub0_binary64_5188` `div0_binary64_5174` `associate-+l-_binary64_5128`
3×	`associate-/r/_binary64_5139`
2×	`sub0-neg_binary64_5180` `--rgt-identity_binary64_5179` `mul0-rgt_binary64_5176` `mul0-lft_binary64_5175` `distribute-frac-neg_binary64_5156` `distribute-rgt-in_binary64_5143` `distribute-lft-in_binary64_5142` `associate--r+_binary64_5129`
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_5456` `erf-erfc_binary64_5455` `erf-odd_binary64_5454` `if-if-and-not_binary64_5453` `if-if-and_binary64_5452` `if-if-or-not_binary64_5451` `if-if-or_binary64_5450` `if-not_binary64_5449` `if-same_binary64_5448` `if-false_binary64_5447` `if-true_binary64_5446` `not-gte_binary64_5445` `not-lte_binary64_5444` `not-gt_binary64_5443` `not-lt_binary64_5442` `gte-same_binary64_5441` `lte-same_binary64_5440` `gt-same_binary64_5439` `lt-same_binary64_5438` `sinh---cosh_binary64_5385` `sinh-+-cosh_binary64_5384` `sinh-cosh_binary64_5383` `tanh-def-c_binary64_5382` `tanh-def-b_binary64_5381` `tanh-def-a_binary64_5380` `cosh-def_binary64_5379` `sinh-def_binary64_5378` `tan-neg_binary64_5325` `cos-neg_binary64_5324` `sin-neg_binary64_5323` `tan-0_binary64_5322` `cos-0_binary64_5321` `sin-0_binary64_5320` `hang-m-tan_binary64_5319` `hang-p-tan_binary64_5318` `hang-m0-tan_binary64_5317` `hang-p0-tan_binary64_5316` `hang-0m-tan_binary64_5315` `hang-0p-tan_binary64_5314` `tan-+PI/2_binary64_5313` `tan-+PI_binary64_5312` `tan-PI_binary64_5311` `tan-PI/3_binary64_5310` `tan-PI/4_binary64_5309` `tan-PI/6_binary64_5308` `cos-+PI/2_binary64_5307` `cos-+PI_binary64_5306` `cos-PI_binary64_5305` `cos-PI/2_binary64_5304` `cos-PI/3_binary64_5303` `cos-PI/4_binary64_5302` `cos-PI/6_binary64_5301` `sin-+PI/2_binary64_5300` `sin-+PI_binary64_5299` `sin-PI_binary64_5298` `sin-PI/2_binary64_5297` `sin-PI/3_binary64_5296` `sin-PI/4_binary64_5295` `sin-PI/6_binary64_5294` `sub-1-sin_binary64_5293` `sub-1-cos_binary64_5292` `-1-add-sin_binary64_5291` `-1-add-cos_binary64_5290` `1-sub-sin_binary64_5289` `1-sub-cos_binary64_5288` `cos-sin-sum_binary64_5287` `log-E_binary64_5283` `log-pow_binary64_5282` `log-rec_binary64_5281` `log-div_binary64_5280` `log-prod_binary64_5279` `pow-base-0_binary64_5277` `unpow1/3_binary64_5260` `unpow3_binary64_5259` `unpow2_binary64_5258` `unpow1/2_binary64_5257` `pow-plus_binary64_5256` `exp-to-pow_binary64_5255` `pow-base-1_binary64_5253` `unpow0_binary64_5252` `unpow1_binary64_5251` `unpow-1_binary64_5250` `exp-lft-cube_binary64_5249` `exp-lft-sqr_binary64_5248` `exp-cbrt_binary64_5247` `exp-sqrt_binary64_5246` `exp-prod_binary64_5245` `div-exp_binary64_5244` `rec-exp_binary64_5243` `prod-exp_binary64_5242` `exp-diff_binary64_5241` `exp-neg_binary64_5240` `exp-sum_binary64_5239` `e-exp-1_binary64_5238` `1-exp_binary64_5237` `exp-1-e_binary64_5236` `exp-0_binary64_5235` `rem-log-exp_binary64_5234` `rem-exp-log_binary64_5233` `cube-unmult_binary64_5230` `cube-mult_binary64_5223` `cube-div_binary64_5222` `cube-prod_binary64_5221` `cube-neg_binary64_5220` `rem-3cbrt-rft_binary64_5219` `rem-3cbrt-lft_binary64_5218` `rem-cbrt-cube_binary64_5217` `rem-cube-cbrt_binary64_5216` `sqr-abs_binary64_5208` `sqr-neg_binary64_5207` `rem-sqrt-square_binary64_5206` `rem-square-sqrt_binary64_5205` `times-frac_binary64_5199` `unsub-neg_binary64_5187` `mul-1-neg_binary64_5185` `/-rgt-identity_binary64_5184` `-rgt-identity_binary64_5183` `-lft-identity_binary64_5182` `remove-double-neg_binary64_5181` `+-rgt-identity_binary64_5178` `+-lft-identity_binary64_5177` `-inverses_binary64_5173` `+-inverses_binary64_5172` `lft-mult-inverse_binary64_5171` `rgt-mult-inverse_binary64_5170` `remove-double-div_binary64_5169` `pow-sqr_binary64_5166` `sqr-pow_binary64_5165` `difference-of-sqr--1_binary64_5164` `difference-of-sqr-1_binary64_5163` `difference-of-squares_binary64_5162` `unswap-sqr_binary64_5161` `swap-sqr_binary64_5160` `cancel-sign-sub-inv_binary64_5159` `cancel-sign-sub_binary64_5158` `distribute-neg-frac_binary64_5157` `distribute-neg-out_binary64_5155` `distribute-neg-in_binary64_5154` `distribute-rgt-neg-out_binary64_5153` `distribute-lft-neg-out_binary64_5152` `distribute-rgt-neg-in_binary64_5151` `distribute-lft-neg-in_binary64_5150` `distribute-rgt1-in_binary64_5149` `distribute-lft1-in_binary64_5148` `distribute-rgt-out--_binary64_5147` `distribute-rgt-out_binary64_5146` `distribute-lft-out--_binary64_5145` `distribute-lft-out_binary64_5144` `count-2_binary64_5141` `associate-/l/_binary64_5140` `associate-/r_binary64_5137` `associate-l/_binary64_5136` `associate-r/_binary64_5135` `associate-l_binary64_5134` `associate-r_binary64_5133` `associate--r-_binary64_5132` `associate--l-_binary64_5131` `associate--l+_binary64_5130` `associate-+r-_binary64_5127` `associate-+l+_binary64_5126` `associate-+r+_binary64_5125`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	52
1	39	46
2	59	46
3	73	46
4	81	46
5	86	46
6	108	46
7	108	46
8	110	46
9	94	46
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	68.7%	6.3%	5
25%	65.6%	9.5%	6
37.5%	39%	23.5%	7
37.5%	36.7%	25.9%	8
43.7%	20.7%	35.6%	9
43.7%	19.3%	37%	10
46.8%	10.6%	42.5%	11
46.8%	9.9%	43.3%	12
48.4%	5.4%	46.2%	13
48.4%	5%	46.6%	14

Compiler

Compiled 17 to 17 computations (0% saved)

sample31.0ms (0.5%)

Algorithm

1×

intervals

Results

19.0ms	256×	body	128	valid
1.0ms	17×	body	128	nan

Compiler

Compiled 33 to 35 computations (-6.1% saved)

simplify11.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

7×	`sub-neg_binary64_5186`
6×	`*-commutative_binary64_5124`
5×	`div-sub_binary64_5198` `+-commutative_binary64_5123`
4×	`associate-/l*_binary64_5138`
2×	`neg-mul-1_binary64_5189` `neg-sub0_binary64_5188` `div0_binary64_5174` `associate-/r/_binary64_5139` `associate-+l-_binary64_5128`
1×	`sub0-neg_binary64_5180` `--rgt-identity_binary64_5179` `mul0-rgt_binary64_5176` `mul0-lft_binary64_5175` `distribute-frac-neg_binary64_5156` `distribute-rgt-in_binary64_5143` `distribute-lft-in_binary64_5142` `associate--r+_binary64_5129`
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_5456` `erf-erfc_binary64_5455` `erf-odd_binary64_5454` `if-if-and-not_binary64_5453` `if-if-and_binary64_5452` `if-if-or-not_binary64_5451` `if-if-or_binary64_5450` `if-not_binary64_5449` `if-same_binary64_5448` `if-false_binary64_5447` `if-true_binary64_5446` `not-gte_binary64_5445` `not-lte_binary64_5444` `not-gt_binary64_5443` `not-lt_binary64_5442` `gte-same_binary64_5441` `lte-same_binary64_5440` `gt-same_binary64_5439` `lt-same_binary64_5438` `sinh---cosh_binary64_5385` `sinh-+-cosh_binary64_5384` `sinh-cosh_binary64_5383` `tanh-def-c_binary64_5382` `tanh-def-b_binary64_5381` `tanh-def-a_binary64_5380` `cosh-def_binary64_5379` `sinh-def_binary64_5378` `tan-neg_binary64_5325` `cos-neg_binary64_5324` `sin-neg_binary64_5323` `tan-0_binary64_5322` `cos-0_binary64_5321` `sin-0_binary64_5320` `hang-m-tan_binary64_5319` `hang-p-tan_binary64_5318` `hang-m0-tan_binary64_5317` `hang-p0-tan_binary64_5316` `hang-0m-tan_binary64_5315` `hang-0p-tan_binary64_5314` `tan-+PI/2_binary64_5313` `tan-+PI_binary64_5312` `tan-PI_binary64_5311` `tan-PI/3_binary64_5310` `tan-PI/4_binary64_5309` `tan-PI/6_binary64_5308` `cos-+PI/2_binary64_5307` `cos-+PI_binary64_5306` `cos-PI_binary64_5305` `cos-PI/2_binary64_5304` `cos-PI/3_binary64_5303` `cos-PI/4_binary64_5302` `cos-PI/6_binary64_5301` `sin-+PI/2_binary64_5300` `sin-+PI_binary64_5299` `sin-PI_binary64_5298` `sin-PI/2_binary64_5297` `sin-PI/3_binary64_5296` `sin-PI/4_binary64_5295` `sin-PI/6_binary64_5294` `sub-1-sin_binary64_5293` `sub-1-cos_binary64_5292` `-1-add-sin_binary64_5291` `-1-add-cos_binary64_5290` `1-sub-sin_binary64_5289` `1-sub-cos_binary64_5288` `cos-sin-sum_binary64_5287` `log-E_binary64_5283` `log-pow_binary64_5282` `log-rec_binary64_5281` `log-div_binary64_5280` `log-prod_binary64_5279` `pow-base-0_binary64_5277` `unpow1/3_binary64_5260` `unpow3_binary64_5259` `unpow2_binary64_5258` `unpow1/2_binary64_5257` `pow-plus_binary64_5256` `exp-to-pow_binary64_5255` `pow-base-1_binary64_5253` `unpow0_binary64_5252` `unpow1_binary64_5251` `unpow-1_binary64_5250` `exp-lft-cube_binary64_5249` `exp-lft-sqr_binary64_5248` `exp-cbrt_binary64_5247` `exp-sqrt_binary64_5246` `exp-prod_binary64_5245` `div-exp_binary64_5244` `rec-exp_binary64_5243` `prod-exp_binary64_5242` `exp-diff_binary64_5241` `exp-neg_binary64_5240` `exp-sum_binary64_5239` `e-exp-1_binary64_5238` `1-exp_binary64_5237` `exp-1-e_binary64_5236` `exp-0_binary64_5235` `rem-log-exp_binary64_5234` `rem-exp-log_binary64_5233` `cube-unmult_binary64_5230` `cube-mult_binary64_5223` `cube-div_binary64_5222` `cube-prod_binary64_5221` `cube-neg_binary64_5220` `rem-3cbrt-rft_binary64_5219` `rem-3cbrt-lft_binary64_5218` `rem-cbrt-cube_binary64_5217` `rem-cube-cbrt_binary64_5216` `sqr-abs_binary64_5208` `sqr-neg_binary64_5207` `rem-sqrt-square_binary64_5206` `rem-square-sqrt_binary64_5205` `times-frac_binary64_5199` `unsub-neg_binary64_5187` `mul-1-neg_binary64_5185` `/-rgt-identity_binary64_5184` `-rgt-identity_binary64_5183` `-lft-identity_binary64_5182` `remove-double-neg_binary64_5181` `+-rgt-identity_binary64_5178` `+-lft-identity_binary64_5177` `-inverses_binary64_5173` `+-inverses_binary64_5172` `lft-mult-inverse_binary64_5171` `rgt-mult-inverse_binary64_5170` `remove-double-div_binary64_5169` `pow-sqr_binary64_5166` `sqr-pow_binary64_5165` `difference-of-sqr--1_binary64_5164` `difference-of-sqr-1_binary64_5163` `difference-of-squares_binary64_5162` `unswap-sqr_binary64_5161` `swap-sqr_binary64_5160` `cancel-sign-sub-inv_binary64_5159` `cancel-sign-sub_binary64_5158` `distribute-neg-frac_binary64_5157` `distribute-neg-out_binary64_5155` `distribute-neg-in_binary64_5154` `distribute-rgt-neg-out_binary64_5153` `distribute-lft-neg-out_binary64_5152` `distribute-rgt-neg-in_binary64_5151` `distribute-lft-neg-in_binary64_5150` `distribute-rgt1-in_binary64_5149` `distribute-lft1-in_binary64_5148` `distribute-rgt-out--_binary64_5147` `distribute-rgt-out_binary64_5146` `distribute-lft-out--_binary64_5145` `distribute-lft-out_binary64_5144` `count-2_binary64_5141` `associate-/l/_binary64_5140` `associate-/r_binary64_5137` `associate-l/_binary64_5136` `associate-r/_binary64_5135` `associate-l_binary64_5134` `associate-r_binary64_5133` `associate--r-_binary64_5132` `associate--l-_binary64_5131` `associate--l+_binary64_5130` `associate-+r-_binary64_5127` `associate-+l+_binary64_5126` `associate-+r+_binary64_5125`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	26	23
2	40	23
3	48	23
4	52	23
5	55	23
6	66	23
7	65	23
8	54	23

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

1.0b

Counts

2 → 1

Compiler

Compiled 28 to 28 computations (0% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.9b	(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
1.0b	(+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
1.0b	(cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
1.0b	(*.f64 PI.f64 2/3)

rewrite120.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

16×	`add-sqr-sqrt_binary64_5215`
14×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193`
9×	`times-frac_binary64_5199`
8×	`add-exp-log_binary64_5231` `add-cbrt-cube_binary64_5229`
6×	`pow1_binary64_5254` `add-log-exp_binary64_5232` `div-sub_binary64_5198`
4×	`associate-+r-_binary64_5127`
3×	`associate-l_binary64_5134` `associate-r_binary64_5133` `distribute-frac-neg_binary64_5156` `acos-neg_binary64_5376` `acos-asin_binary64_5374` `associate-/l_binary64_5138` `associate-/r_binary64_5137`
2×	`cos-diff_binary64_5330`
1×	`pow-prod-down_binary64_5264` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226` `unswap-sqr_binary64_5161` `*-commutative_binary64_5124` `cos-sum_binary64_5327` `sum-log_binary64_5284` `flip3-+_binary64_5196` `flip-+_binary64_5167` `+-commutative_binary64_5123` `div-exp_binary64_5244` `cbrt-undiv_binary64_5227` `frac-2neg_binary64_5204` `clear-num_binary64_5192` `div-inv_binary64_5190`

Counts

4 → 70

Calls

4 calls:

10.0ms	(+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
7.0ms	(cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
4.0ms	(*.f64 PI.f64 2/3)
3.0ms	(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)

Compiler

Compiled 1595 to 940 computations (41.1% saved)

series418.0ms (7.3%)

Error

1.0b

Counts

4 → 18

Calls

4 calls:

227.0ms	(cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
102.0ms	(+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
72.0ms	(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
0.0ms	(*.f64 PI.f64 2/3)

Compiler

Compiled 810 to 742 computations (8.4% saved)

simplify145.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

728×	`div-sub_binary64_5198`
384×	`sub-neg_binary64_5186`
361×	`associate-/r/_binary64_5139`
278×	`associate-/r*_binary64_5137`
228×	`cancel-sign-sub-inv_binary64_5159`
201×	`distribute-rgt-out_binary64_5146` `distribute-rgt-in_binary64_5143`
199×	`associate-/l*_binary64_5138`
180×	`distribute-lft-in_binary64_5142`
167×	`associate-l_binary64_5134`
166×	`*-commutative_binary64_5124`
151×	`associate-*l/_binary64_5136`
143×	`associate-/l/_binary64_5140`
130×	`associate-r_binary64_5133`
128×	`associate-+l-_binary64_5128`
123×	`associate--l-_binary64_5131`
109×	`distribute-rgt-neg-in_binary64_5151` `associate-*r/_binary64_5135`
102×	`unsub-neg_binary64_5187`
89×	`neg-sub0_binary64_5188`
85×	`associate--l+_binary64_5130` `associate-+l+_binary64_5126`
84×	`distribute-neg-frac_binary64_5157`
83×	`sqr-pow_binary64_5165`
81×	`neg-mul-1_binary64_5189`
79×	`distribute-lft-neg-in_binary64_5150`
75×	`associate-+r+_binary64_5125`
65×	`distribute-lft-out_binary64_5144` `associate-+r-_binary64_5127`
63×	`times-frac_binary64_5199`
62×	`associate--r+_binary64_5129`
55×	`/-rgt-identity_binary64_5184`
48×	`*-lft-identity_binary64_5182`
45×	`+-commutative_binary64_5123`
43×	`cube-prod_binary64_5221`
38×	`*-rgt-identity_binary64_5183`
33×	`distribute-rgt-out--_binary64_5147`
31×	`exp-prod_binary64_5245` `cube-div_binary64_5222` `distribute-neg-in_binary64_5154`
30×	`log-prod_binary64_5279`
29×	`sub0-neg_binary64_5180`
26×	`log-div_binary64_5280`
25×	`associate--r-_binary64_5132`
22×	`distribute-lft-neg-out_binary64_5152`
20×	`+-rgt-identity_binary64_5178`
16×	`exp-sum_binary64_5239` `remove-double-neg_binary64_5181` `unswap-sqr_binary64_5161`
15×	`pow-sqr_binary64_5166`
13×	`unpow3_binary64_5259` `exp-diff_binary64_5241`
11×	`swap-sqr_binary64_5160`
10×	`distribute-rgt-neg-out_binary64_5153`
9×	`cube-unmult_binary64_5230` `rem-sqrt-square_binary64_5206`
8×	`div0_binary64_5174`
7×	`log-rec_binary64_5281` `cube-mult_binary64_5223` `mul0-rgt_binary64_5176`
6×	`--rgt-identity_binary64_5179` `+-lft-identity_binary64_5177` `remove-double-div_binary64_5169` `distribute-neg-out_binary64_5155`
5×	`unpow1/2_binary64_5257` `pow-plus_binary64_5256` `mul0-lft_binary64_5175` `distribute-lft-out--_binary64_5145`
4×	`prod-exp_binary64_5242` `cube-neg_binary64_5220` `mul-1-neg_binary64_5185` `distribute-rgt1-in_binary64_5149`
3×	`sin-neg_binary64_5323` `exp-cbrt_binary64_5247`
2×	`cos-neg_binary64_5324` `unpow2_binary64_5258` `1-exp_binary64_5237` `sqr-neg_binary64_5207` `difference-of-squares_binary64_5162`
1×	`cos-PI_binary64_5305` `sin-PI_binary64_5298` `unpow1/3_binary64_5260` `exp-1-e_binary64_5236` `distribute-frac-neg_binary64_5156` `distribute-lft1-in_binary64_5148` `count-2_binary64_5141`
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_5456` `erf-erfc_binary64_5455` `erf-odd_binary64_5454` `if-if-and-not_binary64_5453` `if-if-and_binary64_5452` `if-if-or-not_binary64_5451` `if-if-or_binary64_5450` `if-not_binary64_5449` `if-same_binary64_5448` `if-false_binary64_5447` `if-true_binary64_5446` `not-gte_binary64_5445` `not-lte_binary64_5444` `not-gt_binary64_5443` `not-lt_binary64_5442` `gte-same_binary64_5441` `lte-same_binary64_5440` `gt-same_binary64_5439` `lt-same_binary64_5438` `sinh---cosh_binary64_5385` `sinh-+-cosh_binary64_5384` `sinh-cosh_binary64_5383` `tanh-def-c_binary64_5382` `tanh-def-b_binary64_5381` `tanh-def-a_binary64_5380` `cosh-def_binary64_5379` `sinh-def_binary64_5378` `tan-neg_binary64_5325` `tan-0_binary64_5322` `cos-0_binary64_5321` `sin-0_binary64_5320` `hang-m-tan_binary64_5319` `hang-p-tan_binary64_5318` `hang-m0-tan_binary64_5317` `hang-p0-tan_binary64_5316` `hang-0m-tan_binary64_5315` `hang-0p-tan_binary64_5314` `tan-+PI/2_binary64_5313` `tan-+PI_binary64_5312` `tan-PI_binary64_5311` `tan-PI/3_binary64_5310` `tan-PI/4_binary64_5309` `tan-PI/6_binary64_5308` `cos-+PI/2_binary64_5307` `cos-+PI_binary64_5306` `cos-PI/2_binary64_5304` `cos-PI/3_binary64_5303` `cos-PI/4_binary64_5302` `cos-PI/6_binary64_5301` `sin-+PI/2_binary64_5300` `sin-+PI_binary64_5299` `sin-PI/2_binary64_5297` `sin-PI/3_binary64_5296` `sin-PI/4_binary64_5295` `sin-PI/6_binary64_5294` `sub-1-sin_binary64_5293` `sub-1-cos_binary64_5292` `-1-add-sin_binary64_5291` `-1-add-cos_binary64_5290` `1-sub-sin_binary64_5289` `1-sub-cos_binary64_5288` `cos-sin-sum_binary64_5287` `log-E_binary64_5283` `log-pow_binary64_5282` `pow-base-0_binary64_5277` `exp-to-pow_binary64_5255` `pow-base-1_binary64_5253` `unpow0_binary64_5252` `unpow1_binary64_5251` `unpow-1_binary64_5250` `exp-lft-cube_binary64_5249` `exp-lft-sqr_binary64_5248` `exp-sqrt_binary64_5246` `div-exp_binary64_5244` `rec-exp_binary64_5243` `exp-neg_binary64_5240` `e-exp-1_binary64_5238` `exp-0_binary64_5235` `rem-log-exp_binary64_5234` `rem-exp-log_binary64_5233` `rem-3cbrt-rft_binary64_5219` `rem-3cbrt-lft_binary64_5218` `rem-cbrt-cube_binary64_5217` `rem-cube-cbrt_binary64_5216` `sqr-abs_binary64_5208` `rem-square-sqrt_binary64_5205` `*-inverses_binary64_5173` `+-inverses_binary64_5172` `lft-mult-inverse_binary64_5171` `rgt-mult-inverse_binary64_5170` `difference-of-sqr--1_binary64_5164` `difference-of-sqr-1_binary64_5163` `cancel-sign-sub_binary64_5158`

Counts

88 → 75

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	150	1689
1	271	1611
2	550	1608
3	1152	1564
4	2589	1558
5	4130	1544
6	4499	1544
7	5183	1544

prune94.0ms (1.6%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	73	2	75
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	74	2	76

Error

0.9b

Counts

76 → 2

Compiler

Compiled 1503 to 886 computations (41.1% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
0.9b	(/.f64 (acos.f64 (/.f64 g h)) 3)

rewrite58.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

10×	`add-cube-cbrt_binary64_5228` `add-sqr-sqrt_binary64_5215` `*-un-lft-identity_binary64_5193`
9×	`times-frac_binary64_5199`
4×	`add-exp-log_binary64_5231` `add-cbrt-cube_binary64_5229`
3×	`associate-/l_binary64_5138` `associate-/r_binary64_5137`
2×	`pow1_binary64_5254` `add-log-exp_binary64_5232` `acos-asin_binary64_5374` `div-sub_binary64_5198`
1×	`div-exp_binary64_5244` `cbrt-undiv_binary64_5227` `frac-2neg_binary64_5204` `clear-num_binary64_5192` `div-inv_binary64_5190` `cos-diff_binary64_5330`

Counts

2 → 36

Calls

2 calls:

3.0ms	(/.f64 (acos.f64 (/.f64 g h)) 3)
3.0ms	(cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))

Compiler

Compiled 727 to 465 computations (36% saved)

series244.0ms (4.3%)

Error

0.9b

Counts

2 → 12

Calls

2 calls:

166.0ms	(cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
68.0ms	(/.f64 (acos.f64 (/.f64 g h)) 3)

Compiler

Compiled 432 to 388 computations (10.2% saved)

simplify182.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

469×	`associate-/l/_binary64_5140`
442×	`unsub-neg_binary64_5187` `unswap-sqr_binary64_5161`
393×	`associate-/r/_binary64_5139`
390×	`associate-/l*_binary64_5138`
362×	`distribute-rgt-in_binary64_5143`
318×	`times-frac_binary64_5199`
295×	`sqr-pow_binary64_5165`
280×	`associate-/r*_binary64_5137`
269×	`cancel-sign-sub-inv_binary64_5159`
250×	`distribute-neg-in_binary64_5154`
228×	`sub-neg_binary64_5186`
204×	`pow-sqr_binary64_5166`
179×	`*-commutative_binary64_5124`
176×	`associate-*l/_binary64_5136`
166×	`associate-*r/_binary64_5135`
129×	`distribute-lft-in_binary64_5142`
116×	`+-commutative_binary64_5123`
110×	`associate--r-_binary64_5132`
97×	`neg-sub0_binary64_5188`
93×	`neg-mul-1_binary64_5189`
87×	`associate-l_binary64_5134`
81×	`associate--l-_binary64_5131`
79×	`associate--r+_binary64_5129`
72×	`*-lft-identity_binary64_5182`
70×	`div-sub_binary64_5198` `distribute-lft-neg-out_binary64_5152`
67×	`distribute-rgt-neg-in_binary64_5151`
63×	`-rgt-identity_binary64_5183` `associate-r*_binary64_5133`
60×	`associate--l+_binary64_5130`
58×	`distribute-lft-neg-in_binary64_5150`
50×	`distribute-neg-out_binary64_5155`
49×	`pow-plus_binary64_5256` `cube-prod_binary64_5221`
47×	`associate-+r+_binary64_5125`
46×	`associate-+l-_binary64_5128`
36×	`associate-+l+_binary64_5126`
34×	`unpow3_binary64_5259`
32×	`cancel-sign-sub_binary64_5158`
30×	`remove-double-neg_binary64_5181` `distribute-rgt-neg-out_binary64_5153`
25×	`associate-+r-_binary64_5127`
24×	`cube-mult_binary64_5223` `swap-sqr_binary64_5160`
22×	`/-rgt-identity_binary64_5184`
20×	`cube-unmult_binary64_5230`
18×	`distribute-lft-out--_binary64_5145`
15×	`cube-div_binary64_5222` `rem-sqrt-square_binary64_5206`
13×	`unpow2_binary64_5258` `unpow1_binary64_5251`
12×	`distribute-rgt-out_binary64_5146`
11×	`div0_binary64_5174`
10×	`+-rgt-identity_binary64_5178`
9×	`unpow1/2_binary64_5257`
8×	`mul0-rgt_binary64_5176` `mul0-lft_binary64_5175`
7×	`distribute-rgt-out--_binary64_5147` `distribute-lft-out_binary64_5144`
6×	`mul-1-neg_binary64_5185`
5×	`log-div_binary64_5280` `--rgt-identity_binary64_5179`
4×	`log-prod_binary64_5279` `exp-sum_binary64_5239` `distribute-rgt1-in_binary64_5149`
2×	`exp-prod_binary64_5245` `exp-diff_binary64_5241` `sub0-neg_binary64_5180` `+-lft-identity_binary64_5177` `distribute-lft1-in_binary64_5148`
1×	`cos-PI/6_binary64_5301` `sin-PI/6_binary64_5294` `log-rec_binary64_5281` `exp-cbrt_binary64_5247` `1-exp_binary64_5237` `distribute-neg-frac_binary64_5157` `count-2_binary64_5141`
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_5456` `erf-erfc_binary64_5455` `erf-odd_binary64_5454` `if-if-and-not_binary64_5453` `if-if-and_binary64_5452` `if-if-or-not_binary64_5451` `if-if-or_binary64_5450` `if-not_binary64_5449` `if-same_binary64_5448` `if-false_binary64_5447` `if-true_binary64_5446` `not-gte_binary64_5445` `not-lte_binary64_5444` `not-gt_binary64_5443` `not-lt_binary64_5442` `gte-same_binary64_5441` `lte-same_binary64_5440` `gt-same_binary64_5439` `lt-same_binary64_5438` `sinh---cosh_binary64_5385` `sinh-+-cosh_binary64_5384` `sinh-cosh_binary64_5383` `tanh-def-c_binary64_5382` `tanh-def-b_binary64_5381` `tanh-def-a_binary64_5380` `cosh-def_binary64_5379` `sinh-def_binary64_5378` `tan-neg_binary64_5325` `cos-neg_binary64_5324` `sin-neg_binary64_5323` `tan-0_binary64_5322` `cos-0_binary64_5321` `sin-0_binary64_5320` `hang-m-tan_binary64_5319` `hang-p-tan_binary64_5318` `hang-m0-tan_binary64_5317` `hang-p0-tan_binary64_5316` `hang-0m-tan_binary64_5315` `hang-0p-tan_binary64_5314` `tan-+PI/2_binary64_5313` `tan-+PI_binary64_5312` `tan-PI_binary64_5311` `tan-PI/3_binary64_5310` `tan-PI/4_binary64_5309` `tan-PI/6_binary64_5308` `cos-+PI/2_binary64_5307` `cos-+PI_binary64_5306` `cos-PI_binary64_5305` `cos-PI/2_binary64_5304` `cos-PI/3_binary64_5303` `cos-PI/4_binary64_5302` `sin-+PI/2_binary64_5300` `sin-+PI_binary64_5299` `sin-PI_binary64_5298` `sin-PI/2_binary64_5297` `sin-PI/3_binary64_5296` `sin-PI/4_binary64_5295` `sub-1-sin_binary64_5293` `sub-1-cos_binary64_5292` `-1-add-sin_binary64_5291` `-1-add-cos_binary64_5290` `1-sub-sin_binary64_5289` `1-sub-cos_binary64_5288` `cos-sin-sum_binary64_5287` `log-E_binary64_5283` `log-pow_binary64_5282` `pow-base-0_binary64_5277` `unpow1/3_binary64_5260` `exp-to-pow_binary64_5255` `pow-base-1_binary64_5253` `unpow0_binary64_5252` `unpow-1_binary64_5250` `exp-lft-cube_binary64_5249` `exp-lft-sqr_binary64_5248` `exp-sqrt_binary64_5246` `div-exp_binary64_5244` `rec-exp_binary64_5243` `prod-exp_binary64_5242` `exp-neg_binary64_5240` `e-exp-1_binary64_5238` `exp-1-e_binary64_5236` `exp-0_binary64_5235` `rem-log-exp_binary64_5234` `rem-exp-log_binary64_5233` `cube-neg_binary64_5220` `rem-3cbrt-rft_binary64_5219` `rem-3cbrt-lft_binary64_5218` `rem-cbrt-cube_binary64_5217` `rem-cube-cbrt_binary64_5216` `sqr-abs_binary64_5208` `sqr-neg_binary64_5207` `rem-square-sqrt_binary64_5205` `*-inverses_binary64_5173` `+-inverses_binary64_5172` `lft-mult-inverse_binary64_5171` `rgt-mult-inverse_binary64_5170` `remove-double-div_binary64_5169` `difference-of-sqr--1_binary64_5164` `difference-of-sqr-1_binary64_5163` `difference-of-squares_binary64_5162` `distribute-frac-neg_binary64_5156`

Counts

48 → 20

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	79	769
1	118	701
2	189	701
3	289	701
4	571	701
5	1055	701
6	1748	701
7	3211	701
8	3977	701
9	4246	701
10	4305	701
11	4501	701
12	4849	701
13	4749	701

prune34.0ms (0.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	18	2	20
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	19	3	22

Error

Counts

22 → 3

Compiler

Compiled 394 to 272 computations (31% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 (/.f64 (sqrt.f64 3) 2) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
0.0b	(*.f64 (/.f64 (sqrt.f64 3) 2) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))
0.2b	(/.f64 (asin.f64 (/.f64 g h)) 3)
0.2b	(/.f64 (asin.f64 (/.f64 g h)) 3)

rewrite283.0ms (5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

42×	`add-sqr-sqrt_binary64_5215`
38×	`times-frac_binary64_5199`
34×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193`
22×	`associate-l_binary64_5134`
13×	`add-exp-log_binary64_5231` `add-cbrt-cube_binary64_5229`
10×	`sqrt-prod_binary64_5209`
6×	`pow1_binary64_5254` `add-log-exp_binary64_5232` `asin-acos_binary64_5373` `div-sub_binary64_5198` `associate-/l_binary64_5138` `associate-/r_binary64_5137`
4×	`cos-diff_binary64_5330`
3×	`div-exp_binary64_5244` `cbrt-undiv_binary64_5227` `div-inv_binary64_5190` `unswap-sqr_binary64_5161` `associate-r_binary64_5133`
2×	`frac-2neg_binary64_5204` `clear-num_binary64_5192` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226` `distribute-rgt-in_binary64_5143` `distribute-lft-in_binary64_5142` `associate-+l+_binary64_5126`
1×	`pow-prod-down_binary64_5264` `associate-l/_binary64_5136` `-commutative_binary64_5124` `sum-log_binary64_5284` `flip3-+_binary64_5196` `flip-+_binary64_5167` `+-commutative_binary64_5123`

Counts

4 → 113

Calls

4 calls:

10.0ms	(*.f64 (/.f64 (sqrt.f64 3) 2) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))
9.0ms	(+.f64 (.f64 (/.f64 (sqrt.f64 3) 2) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
3.0ms	(/.f64 (asin.f64 (/.f64 g h)) 3)
3.0ms	(/.f64 (asin.f64 (/.f64 g h)) 3)

Compiler

Compiled 4274 to 3009 computations (29.6% saved)

series920.0ms (16.1%)

Error

Counts

4 → 24

Calls

4 calls:

459.0ms	(+.f64 (.f64 (/.f64 (sqrt.f64 3) 2) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
279.0ms	(*.f64 (/.f64 (sqrt.f64 3) 2) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))
73.0ms	(/.f64 (asin.f64 (/.f64 g h)) 3)
70.0ms	(/.f64 (asin.f64 (/.f64 g h)) 3)

Compiler

Compiled 1944 to 1564 computations (19.5% saved)

simplify202.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

659×	`associate-/l*_binary64_5138`
390×	`associate-l_binary64_5134`
303×	`associate-r_binary64_5133`
281×	`distribute-rgt-in_binary64_5143`
258×	`distribute-lft-in_binary64_5142`
234×	`associate-/l/_binary64_5140`
212×	`associate-*l/_binary64_5136`
177×	`associate-*r/_binary64_5135`
175×	`*-commutative_binary64_5124`
174×	`associate-/r/_binary64_5139`
144×	`associate-/r*_binary64_5137`
142×	`unswap-sqr_binary64_5161`
127×	`sub-neg_binary64_5186`
122×	`distribute-rgt-neg-in_binary64_5151`
115×	`cancel-sign-sub-inv_binary64_5159`
100×	`distribute-rgt-out_binary64_5146`
96×	`distribute-lft-neg-in_binary64_5150`
89×	`sqr-pow_binary64_5165`
66×	`neg-mul-1_binary64_5189`
63×	`neg-sub0_binary64_5188`
60×	`*-lft-identity_binary64_5182`
52×	`unsub-neg_binary64_5187`
51×	`pow-sqr_binary64_5166`
50×	`*-rgt-identity_binary64_5183`
46×	`distribute-neg-frac_binary64_5157`
44×	`distribute-lft-out_binary64_5144`
39×	`div-sub_binary64_5198`
38×	`exp-prod_binary64_5245` `rem-sqrt-square_binary64_5206`
37×	`cube-prod_binary64_5221` `times-frac_binary64_5199`
34×	`log-prod_binary64_5279`
28×	`/-rgt-identity_binary64_5184`
26×	`distribute-lft-neg-out_binary64_5152`
22×	`log-div_binary64_5280` `cube-div_binary64_5222` `+-commutative_binary64_5123`
20×	`unpow3_binary64_5259`
18×	`distribute-rgt-out--_binary64_5147`
16×	`associate-+l+_binary64_5126`
14×	`swap-sqr_binary64_5160`
12×	`distribute-rgt-neg-out_binary64_5153` `associate-+r+_binary64_5125`
11×	`cube-mult_binary64_5223` `div0_binary64_5174` `associate-+l-_binary64_5128` `associate-+r-_binary64_5127`
9×	`prod-exp_binary64_5242` `cube-unmult_binary64_5230` `distribute-neg-in_binary64_5154`
8×	`+-rgt-identity_binary64_5178` `mul0-rgt_binary64_5176` `mul0-lft_binary64_5175`
7×	`pow-plus_binary64_5256`
6×	`unpow1/2_binary64_5257`
5×	`sub0-neg_binary64_5180`
4×	`log-rec_binary64_5281` `exp-sqrt_binary64_5246` `exp-sum_binary64_5239` `remove-double-neg_binary64_5181` `distribute-lft-out--_binary64_5145`
2×	`difference-of-squares_binary64_5162` `associate--l-_binary64_5131`
1×	`cos-PI/6_binary64_5301` `sin-PI/6_binary64_5294` `exp-cbrt_binary64_5247` `1-exp_binary64_5237` `exp-1-e_binary64_5236` `rem-square-sqrt_binary64_5205` `count-2_binary64_5141` `associate--l+_binary64_5130` `associate--r+_binary64_5129`
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_5456` `erf-erfc_binary64_5455` `erf-odd_binary64_5454` `if-if-and-not_binary64_5453` `if-if-and_binary64_5452` `if-if-or-not_binary64_5451` `if-if-or_binary64_5450` `if-not_binary64_5449` `if-same_binary64_5448` `if-false_binary64_5447` `if-true_binary64_5446` `not-gte_binary64_5445` `not-lte_binary64_5444` `not-gt_binary64_5443` `not-lt_binary64_5442` `gte-same_binary64_5441` `lte-same_binary64_5440` `gt-same_binary64_5439` `lt-same_binary64_5438` `sinh---cosh_binary64_5385` `sinh-+-cosh_binary64_5384` `sinh-cosh_binary64_5383` `tanh-def-c_binary64_5382` `tanh-def-b_binary64_5381` `tanh-def-a_binary64_5380` `cosh-def_binary64_5379` `sinh-def_binary64_5378` `tan-neg_binary64_5325` `cos-neg_binary64_5324` `sin-neg_binary64_5323` `tan-0_binary64_5322` `cos-0_binary64_5321` `sin-0_binary64_5320` `hang-m-tan_binary64_5319` `hang-p-tan_binary64_5318` `hang-m0-tan_binary64_5317` `hang-p0-tan_binary64_5316` `hang-0m-tan_binary64_5315` `hang-0p-tan_binary64_5314` `tan-+PI/2_binary64_5313` `tan-+PI_binary64_5312` `tan-PI_binary64_5311` `tan-PI/3_binary64_5310` `tan-PI/4_binary64_5309` `tan-PI/6_binary64_5308` `cos-+PI/2_binary64_5307` `cos-+PI_binary64_5306` `cos-PI_binary64_5305` `cos-PI/2_binary64_5304` `cos-PI/3_binary64_5303` `cos-PI/4_binary64_5302` `sin-+PI/2_binary64_5300` `sin-+PI_binary64_5299` `sin-PI_binary64_5298` `sin-PI/2_binary64_5297` `sin-PI/3_binary64_5296` `sin-PI/4_binary64_5295` `sub-1-sin_binary64_5293` `sub-1-cos_binary64_5292` `-1-add-sin_binary64_5291` `-1-add-cos_binary64_5290` `1-sub-sin_binary64_5289` `1-sub-cos_binary64_5288` `cos-sin-sum_binary64_5287` `log-E_binary64_5283` `log-pow_binary64_5282` `pow-base-0_binary64_5277` `unpow1/3_binary64_5260` `unpow2_binary64_5258` `exp-to-pow_binary64_5255` `pow-base-1_binary64_5253` `unpow0_binary64_5252` `unpow1_binary64_5251` `unpow-1_binary64_5250` `exp-lft-cube_binary64_5249` `exp-lft-sqr_binary64_5248` `div-exp_binary64_5244` `rec-exp_binary64_5243` `exp-diff_binary64_5241` `exp-neg_binary64_5240` `e-exp-1_binary64_5238` `exp-0_binary64_5235` `rem-log-exp_binary64_5234` `rem-exp-log_binary64_5233` `cube-neg_binary64_5220` `rem-3cbrt-rft_binary64_5219` `rem-3cbrt-lft_binary64_5218` `rem-cbrt-cube_binary64_5217` `rem-cube-cbrt_binary64_5216` `sqr-abs_binary64_5208` `sqr-neg_binary64_5207` `mul-1-neg_binary64_5185` `--rgt-identity_binary64_5179` `+-lft-identity_binary64_5177` `*-inverses_binary64_5173` `+-inverses_binary64_5172` `lft-mult-inverse_binary64_5171` `rgt-mult-inverse_binary64_5170` `remove-double-div_binary64_5169` `difference-of-sqr--1_binary64_5164` `difference-of-sqr-1_binary64_5163` `cancel-sign-sub_binary64_5158` `distribute-frac-neg_binary64_5156` `distribute-neg-out_binary64_5155` `distribute-rgt1-in_binary64_5149` `distribute-lft1-in_binary64_5148` `associate--r-_binary64_5132`

Counts

137 → 85

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	176	3183
1	387	2957
2	921	2942
3	2221	2915
4	4458	2915
5	4855	2913
6	4993	2913
7	4851	2913

prune176.0ms (3.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	85	3	88

Error

Counts

88 → 3

Compiler

Compiled 2977 to 2126 computations (28.6% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(cos.f64 (*.f64 (acos.f64 (/.f64 g h)) 1/3))
1.0b	(*.f64 (acos.f64 (/.f64 g h)) 1/3)

rewrite32.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`add-sqr-sqrt_binary64_5215`
4×	`pow1_binary64_5254` `add-exp-log_binary64_5231` `add-cbrt-cube_binary64_5229` `add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193`
3×	`associate-l_binary64_5134` `associate-r_binary64_5133`
2×	`add-log-exp_binary64_5232`
1×	`pow-prod-down_binary64_5264` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226` `unswap-sqr_binary64_5161` `*-commutative_binary64_5124`

Counts

2 → 25

Calls

2 calls:

4.0ms	(*.f64 (acos.f64 (/.f64 g h)) 1/3)
2.0ms	(cos.f64 (*.f64 (acos.f64 (/.f64 g h)) 1/3))

Compiler

Compiled 469 to 304 computations (35.2% saved)

series232.0ms (4.1%)

Error

Counts

2 → 12

Calls

2 calls:

157.0ms	(cos.f64 (*.f64 (acos.f64 (/.f64 g h)) 1/3))
65.0ms	(*.f64 (acos.f64 (/.f64 g h)) 1/3)

Compiler

Compiled 432 to 388 computations (10.2% saved)

simplify77.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

455×	`unswap-sqr_binary64_5161`
428×	`associate-*l/_binary64_5136`
378×	`associate-*r/_binary64_5135`
266×	`*-commutative_binary64_5124`
241×	`associate-/r/_binary64_5139` `associate--l-_binary64_5131`
230×	`associate-l_binary64_5134`
187×	`associate-/l/_binary64_5140`
182×	`associate-r_binary64_5133`
175×	`sqr-pow_binary64_5165`
150×	`log-div_binary64_5280`
149×	`cube-div_binary64_5222`
142×	`associate-/l*_binary64_5138`
141×	`sub-neg_binary64_5186`
139×	`associate--r-_binary64_5132`
111×	`cube-prod_binary64_5221`
96×	`associate-/r*_binary64_5137`
93×	`log-prod_binary64_5279`
82×	`swap-sqr_binary64_5160`
65×	`associate-+l+_binary64_5126`
62×	`pow-sqr_binary64_5166`
55×	`exp-prod_binary64_5245`
48×	`cancel-sign-sub-inv_binary64_5159`
46×	`times-frac_binary64_5199`
44×	`pow-plus_binary64_5256` `rem-sqrt-square_binary64_5206`
43×	`*-lft-identity_binary64_5182` `associate-+l-_binary64_5128` `associate-+r-_binary64_5127`
40×	`cube-unmult_binary64_5230` `associate-+r+_binary64_5125`
38×	`*-rgt-identity_binary64_5183`
28×	`+-commutative_binary64_5123`
27×	`exp-sqrt_binary64_5246`
17×	`cube-mult_binary64_5223`
12×	`unpow3_binary64_5259` `/-rgt-identity_binary64_5184`
10×	`distribute-rgt-out_binary64_5146`
9×	`log-rec_binary64_5281`
8×	`unpow2_binary64_5258` `exp-lft-sqr_binary64_5248`
7×	`prod-exp_binary64_5242`
6×	`distribute-lft-out_binary64_5144`
5×	`distribute-neg-in_binary64_5154` `distribute-rgt1-in_binary64_5149`
3×	`neg-mul-1_binary64_5189` `neg-sub0_binary64_5188`
2×	`unpow1/2_binary64_5257` `exp-cbrt_binary64_5247` `distribute-lft1-in_binary64_5148` `distribute-rgt-in_binary64_5143` `distribute-lft-in_binary64_5142`
1×	`unpow1/3_binary64_5260` `unpow1_binary64_5251` `1-exp_binary64_5237` `exp-1-e_binary64_5236` `remove-double-div_binary64_5169` `count-2_binary64_5141`
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_5456` `erf-erfc_binary64_5455` `erf-odd_binary64_5454` `if-if-and-not_binary64_5453` `if-if-and_binary64_5452` `if-if-or-not_binary64_5451` `if-if-or_binary64_5450` `if-not_binary64_5449` `if-same_binary64_5448` `if-false_binary64_5447` `if-true_binary64_5446` `not-gte_binary64_5445` `not-lte_binary64_5444` `not-gt_binary64_5443` `not-lt_binary64_5442` `gte-same_binary64_5441` `lte-same_binary64_5440` `gt-same_binary64_5439` `lt-same_binary64_5438` `sinh---cosh_binary64_5385` `sinh-+-cosh_binary64_5384` `sinh-cosh_binary64_5383` `tanh-def-c_binary64_5382` `tanh-def-b_binary64_5381` `tanh-def-a_binary64_5380` `cosh-def_binary64_5379` `sinh-def_binary64_5378` `tan-neg_binary64_5325` `cos-neg_binary64_5324` `sin-neg_binary64_5323` `tan-0_binary64_5322` `cos-0_binary64_5321` `sin-0_binary64_5320` `hang-m-tan_binary64_5319` `hang-p-tan_binary64_5318` `hang-m0-tan_binary64_5317` `hang-p0-tan_binary64_5316` `hang-0m-tan_binary64_5315` `hang-0p-tan_binary64_5314` `tan-+PI/2_binary64_5313` `tan-+PI_binary64_5312` `tan-PI_binary64_5311` `tan-PI/3_binary64_5310` `tan-PI/4_binary64_5309` `tan-PI/6_binary64_5308` `cos-+PI/2_binary64_5307` `cos-+PI_binary64_5306` `cos-PI_binary64_5305` `cos-PI/2_binary64_5304` `cos-PI/3_binary64_5303` `cos-PI/4_binary64_5302` `cos-PI/6_binary64_5301` `sin-+PI/2_binary64_5300` `sin-+PI_binary64_5299` `sin-PI_binary64_5298` `sin-PI/2_binary64_5297` `sin-PI/3_binary64_5296` `sin-PI/4_binary64_5295` `sin-PI/6_binary64_5294` `sub-1-sin_binary64_5293` `sub-1-cos_binary64_5292` `-1-add-sin_binary64_5291` `-1-add-cos_binary64_5290` `1-sub-sin_binary64_5289` `1-sub-cos_binary64_5288` `cos-sin-sum_binary64_5287` `log-E_binary64_5283` `log-pow_binary64_5282` `pow-base-0_binary64_5277` `exp-to-pow_binary64_5255` `pow-base-1_binary64_5253` `unpow0_binary64_5252` `unpow-1_binary64_5250` `exp-lft-cube_binary64_5249` `div-exp_binary64_5244` `rec-exp_binary64_5243` `exp-diff_binary64_5241` `exp-neg_binary64_5240` `exp-sum_binary64_5239` `e-exp-1_binary64_5238` `exp-0_binary64_5235` `rem-log-exp_binary64_5234` `rem-exp-log_binary64_5233` `cube-neg_binary64_5220` `rem-3cbrt-rft_binary64_5219` `rem-3cbrt-lft_binary64_5218` `rem-cbrt-cube_binary64_5217` `rem-cube-cbrt_binary64_5216` `sqr-abs_binary64_5208` `sqr-neg_binary64_5207` `rem-square-sqrt_binary64_5205` `div-sub_binary64_5198` `unsub-neg_binary64_5187` `mul-1-neg_binary64_5185` `remove-double-neg_binary64_5181` `sub0-neg_binary64_5180` `--rgt-identity_binary64_5179` `+-rgt-identity_binary64_5178` `+-lft-identity_binary64_5177` `mul0-rgt_binary64_5176` `mul0-lft_binary64_5175` `div0_binary64_5174` `*-inverses_binary64_5173` `+-inverses_binary64_5172` `lft-mult-inverse_binary64_5171` `rgt-mult-inverse_binary64_5170` `difference-of-sqr--1_binary64_5164` `difference-of-sqr-1_binary64_5163` `difference-of-squares_binary64_5162` `cancel-sign-sub_binary64_5158` `distribute-neg-frac_binary64_5157` `distribute-frac-neg_binary64_5156` `distribute-neg-out_binary64_5155` `distribute-rgt-neg-out_binary64_5153` `distribute-lft-neg-out_binary64_5152` `distribute-rgt-neg-in_binary64_5151` `distribute-lft-neg-in_binary64_5150` `distribute-rgt-out--_binary64_5147` `distribute-lft-out--_binary64_5145` `associate--l+_binary64_5130` `associate--r+_binary64_5129`

Counts

37 → 17

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	46	495
1	71	439
2	157	439
3	216	439
4	306	439
5	536	439
6	883	439
7	1374	439
8	3439	439
9	4776	439

prune18.0ms (0.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	17	0	17
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	17	3	20

Error

Counts

20 → 3

Compiler

Compiled 301 to 198 computations (34.2% saved)

regimes558.0ms (9.8%)

Accuracy

Total 0.0b remaining (100%)

Threshold costs 0.0b (100%)

Compiler

Compiled 5501 to 4904 computations (10.9% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64_5124`
4×	`neg-mul-1_binary64_5189` `neg-sub0_binary64_5188`
3×	`+-commutative_binary64_5123`
2×	`sub-neg_binary64_5186`
1×	`1-exp_binary64_5237` `+-rgt-identity_binary64_5178` `distribute-rgt-neg-out_binary64_5153` `distribute-lft-neg-out_binary64_5152` `distribute-rgt-neg-in_binary64_5151` `distribute-lft-neg-in_binary64_5150`
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_5453` `if-if-and_binary64_5452` `if-if-or-not_binary64_5451` `if-if-or_binary64_5450` `if-not_binary64_5449` `if-same_binary64_5448` `if-false_binary64_5447` `if-true_binary64_5446` `tan-0_binary64_5322` `cos-0_binary64_5321` `sin-0_binary64_5320` `unpow1_binary64_5251` `e-exp-1_binary64_5238` `exp-1-e_binary64_5236` `exp-0_binary64_5235` `sqr-abs_binary64_5208` `sqr-neg_binary64_5207` `unsub-neg_binary64_5187` `mul-1-neg_binary64_5185` `/-rgt-identity_binary64_5184` `-rgt-identity_binary64_5183` `-lft-identity_binary64_5182` `remove-double-neg_binary64_5181` `sub0-neg_binary64_5180` `--rgt-identity_binary64_5179` `+-lft-identity_binary64_5177` `cancel-sign-sub-inv_binary64_5159` `cancel-sign-sub_binary64_5158` `distribute-neg-frac_binary64_5157` `distribute-frac-neg_binary64_5156` `distribute-neg-out_binary64_5155` `distribute-neg-in_binary64_5154`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	31
1	25	31
2	30	31
3	34	31
4	38	31
5	41	31
6	42	31
7	41	31

end0.0ms (0%)

sample1.5s (26.4%)

Algorithm

1×

intervals

Results

627.0ms	8000×	body	128	valid
34.0ms	549×	body	128	nan

Compiler

Compiled 531 to 480 computations (9.6% saved)

Details

analyze309.0ms (5.4%)

sample31.0ms (0.5%)

simplify11.0ms (0.2%)

prune4.0ms (0.1%)

localize11.0ms (0.2%)

rewrite120.0ms (2.1%)

series418.0ms (7.3%)

simplify145.0ms (2.5%)

prune94.0ms (1.6%)

localize9.0ms (0.2%)

rewrite58.0ms (1%)

series244.0ms (4.3%)

simplify182.0ms (3.2%)

prune34.0ms (0.6%)

localize15.0ms (0.3%)

rewrite283.0ms (5%)

series920.0ms (16.1%)

simplify202.0ms (3.5%)

prune176.0ms (3.1%)

localize10.0ms (0.2%)

rewrite32.0ms (0.6%)

series232.0ms (4.1%)

simplify77.0ms (1.4%)

prune18.0ms (0.3%)

regimes558.0ms (9.8%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.5s (26.4%)

Profiling