Details

analyze3.1s (11.2%)

Algorithm

1×	search
2×	egg-herbie

Rules

362×	`cancel-sign-sub-inv_binary64_5159`
284×	`unsub-neg_binary64_5187`
282×	`distribute-rgt-neg-in_binary64_5151`
250×	`distribute-rgt-in_binary64_5143`
237×	`sub-neg_binary64_5186`
209×	`distribute-lft-in_binary64_5142`
192×	`neg-mul-1_binary64_5189`
188×	`distribute-lft-neg-in_binary64_5150`
170×	`associate-r_binary64_5133`
169×	`neg-sub0_binary64_5188`
149×	`distribute-rgt-neg-out_binary64_5153`
146×	`distribute-lft-neg-out_binary64_5152`
134×	`associate--r+_binary64_5129`
124×	`*-commutative_binary64_5124`
109×	`associate-l_binary64_5134`
94×	`+-commutative_binary64_5123`
74×	`associate-+l-_binary64_5128`
73×	`mul0-rgt_binary64_5176` `mul0-lft_binary64_5175`
68×	`distribute-neg-in_binary64_5154`
67×	`remove-double-neg_binary64_5181`
58×	`sub0-neg_binary64_5180`
33×	`--rgt-identity_binary64_5179`
28×	`*-lft-identity_binary64_5182`
22×	`+-lft-identity_binary64_5177` `cancel-sign-sub_binary64_5158`
20×	`sin-neg_binary64_5323` `associate--r-_binary64_5132`
19×	`associate-+l+_binary64_5126`
18×	`associate-+r+_binary64_5125`
13×	`associate-+r-_binary64_5127`
12×	`associate--l+_binary64_5130`
11×	`cos-neg_binary64_5324`
10×	`+-rgt-identity_binary64_5178` `distribute-rgt-out--_binary64_5147`
6×	`*-rgt-identity_binary64_5183`
2×	`distribute-neg-out_binary64_5155` `associate--l-_binary64_5131`
1×	`1-exp_binary64_5237`
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_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` `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` `div-sub_binary64_5198` `mul-1-neg_binary64_5185` `/-rgt-identity_binary64_5184` `div0_binary64_5174` `-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` `distribute-neg-frac_binary64_5157` `distribute-frac-neg_binary64_5156` `distribute-rgt1-in_binary64_5149` `distribute-lft1-in_binary64_5148` `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_5139` `associate-/l_binary64_5138` `associate-/r_binary64_5137` `associate-l/_binary64_5136` `associate-*r/_binary64_5135`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	273
1	151	273
2	316	273
3	606	273
4	711	273
5	1003	273
6	1138	273
7	1521	273
8	1681	273
9	1761	273
10	1811	273
11	1816	273
12	1816	273
13	2112	273
14	1872	273
15	1872	273
16	1872	273
17	1713	273
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
7.8%	92%	0.2%	9
7.8%	92%	0.2%	10
10.1%	89.7%	0.2%	11
10.1%	89.7%	0.2%	12
13.9%	85.9%	0.2%	13
13.9%	85.9%	0.2%	14

Compiler

Compiled 25 to 18 computations (28% saved)

sample218.0ms (0.8%)

Algorithm

1×

intervals

Results

145.0ms	155×	body	1024	valid
23.0ms	41×	body	512	valid
15.0ms	8×	body	2048	valid
13.0ms	20×	body	256	valid
5.0ms	32×	body	128	valid

Compiler

Compiled 49 to 39 computations (20.4% saved)

simplify25.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

83×	`cancel-sign-sub-inv_binary64_5159`
59×	`distribute-rgt-neg-in_binary64_5151`
56×	`sub-neg_binary64_5186`
47×	`distribute-rgt-in_binary64_5143`
42×	`unsub-neg_binary64_5187`
41×	`neg-mul-1_binary64_5189`
35×	`neg-sub0_binary64_5188`
34×	`distribute-lft-neg-in_binary64_5150` `distribute-lft-in_binary64_5142`
28×	`distribute-lft-neg-out_binary64_5152` `associate--r+_binary64_5129`
25×	`associate-r_binary64_5133`
23×	`*-commutative_binary64_5124`
21×	`+-commutative_binary64_5123`
18×	`+-lft-identity_binary64_5177` `mul0-rgt_binary64_5176` `mul0-lft_binary64_5175` `distribute-neg-in_binary64_5154` `distribute-rgt-neg-out_binary64_5153`
16×	`associate-+l-_binary64_5128`
14×	`sub0-neg_binary64_5180`
13×	`associate-l_binary64_5134`
12×	`remove-double-neg_binary64_5181`
10×	`*-lft-identity_binary64_5182`
8×	`--rgt-identity_binary64_5179` `associate--r-_binary64_5132`
6×	`associate-+l+_binary64_5126`
4×	`*-rgt-identity_binary64_5183`
3×	`sin-neg_binary64_5323`
2×	`cos-neg_binary64_5324` `+-rgt-identity_binary64_5178` `associate--l+_binary64_5130` `associate-+r-_binary64_5127` `associate-+r+_binary64_5125`
1×	`1-exp_binary64_5237` `cancel-sign-sub_binary64_5158`
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_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` `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` `div-sub_binary64_5198` `mul-1-neg_binary64_5185` `/-rgt-identity_binary64_5184` `div0_binary64_5174` `-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` `distribute-neg-frac_binary64_5157` `distribute-frac-neg_binary64_5156` `distribute-neg-out_binary64_5155` `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_5139` `associate-/l_binary64_5138` `associate-/r_binary64_5137` `associate-l/_binary64_5136` `associate-*r/_binary64_5135` `associate--l-_binary64_5131`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	39
1	31	39
2	59	39
3	105	39
4	129	39
5	196	39
6	248	39
7	309	39
8	420	39
9	430	39
10	436	39
11	385	39

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

12.4b

Counts

2 → 1

Compiler

Compiled 48 to 34 computations (29.2% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
2.2b	(cos.f64 (-.f64 lambda1 lambda2))
2.4b	(sin.f64 (-.f64 lambda1 lambda2))

rewrite198.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

6.2b

Rules

11×	`add-sqr-sqrt_binary64_5215` `pow1_binary64_5254` `add-exp-log_binary64_5231` `add-cbrt-cube_binary64_5229`
9×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193`
6×	`cancel-sign-sub-inv_binary64_5159` `associate-r_binary64_5133`
4×	`sin-sum_binary64_5326` `add-log-exp_binary64_5232` `cos-sum_binary64_5327` `pow-prod-down_binary64_5264` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226` `associate-l_binary64_5134`
3×	`cos-diff_binary64_5330`
2×	`sub-neg_binary64_5186` `sin-cos-mult_binary64_5349` `*-commutative_binary64_5124`
1×	`sin-diff_binary64_5329` `distribute-rgt-in_binary64_5143` `distribute-lft-in_binary64_5142` `associate-*l/_binary64_5136` `unswap-sqr_binary64_5161`

Counts

4 → 64

Calls

4 calls:

7.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
5.0ms	(sin.f64 (-.f64 lambda1 lambda2))
5.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
5.0ms	(cos.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 1938 to 357 computations (81.6% saved)

series1.1s (3.8%)

Error

9.5b

Counts

4 → 58

Calls

4 calls:

631.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
151.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
80.0ms	(sin.f64 (-.f64 lambda1 lambda2))
79.0ms	(cos.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 3912 to 2069 computations (47.1% saved)

simplify133.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

706×	`cancel-sign-sub-inv_binary64_5159`
634×	`sub-neg_binary64_5186`
375×	`distribute-rgt-neg-in_binary64_5151`
366×	`associate-r_binary64_5133`
339×	`neg-mul-1_binary64_5189`
332×	`distribute-lft-neg-in_binary64_5150`
330×	`associate-l_binary64_5134`
305×	`neg-sub0_binary64_5188`
211×	`*-commutative_binary64_5124`
127×	`+-commutative_binary64_5123`
111×	`unsub-neg_binary64_5187`
90×	`sqr-pow_binary64_5165`
88×	`associate--l+_binary64_5130`
86×	`associate-+l-_binary64_5128`
77×	`distribute-rgt-out--_binary64_5147`
73×	`distribute-rgt-out_binary64_5146`
72×	`associate-+r-_binary64_5127`
65×	`associate-+l+_binary64_5126`
57×	`distribute-lft-neg-out_binary64_5152`
53×	`associate--r+_binary64_5129`
52×	`associate-+r+_binary64_5125`
46×	`cancel-sign-sub_binary64_5158`
42×	`sub0-neg_binary64_5180` `+-rgt-identity_binary64_5178`
41×	`unswap-sqr_binary64_5161`
38×	`*-rgt-identity_binary64_5183`
37×	`distribute-rgt-neg-out_binary64_5153`
33×	`cube-prod_binary64_5221`
31×	`exp-prod_binary64_5245` `*-lft-identity_binary64_5182`
28×	`log-prod_binary64_5279` `remove-double-neg_binary64_5181`
27×	`swap-sqr_binary64_5160` `distribute-lft-out--_binary64_5145`
23×	`distribute-rgt-in_binary64_5143`
20×	`distribute-neg-in_binary64_5154`
15×	`distribute-lft-out_binary64_5144`
14×	`cube-unmult_binary64_5230` `pow-sqr_binary64_5166`
13×	`unpow3_binary64_5259`
11×	`rem-sqrt-square_binary64_5206`
8×	`unpow1/2_binary64_5257`
7×	`distribute-rgt1-in_binary64_5149` `associate--l-_binary64_5131`
6×	`sin-neg_binary64_5323` `cube-mult_binary64_5223`
5×	`cos-neg_binary64_5324` `distribute-lft-in_binary64_5142`
4×	`pow-plus_binary64_5256` `distribute-neg-out_binary64_5155`
3×	`unpow2_binary64_5258` `unpow1_binary64_5251` `mul0-rgt_binary64_5176` `mul0-lft_binary64_5175` `difference-of-squares_binary64_5162`
2×	`exp-sum_binary64_5239`
1×	`1-exp_binary64_5237` `exp-1-e_binary64_5236` `cube-neg_binary64_5220` `rem-3cbrt-lft_binary64_5218` `sqr-neg_binary64_5207` `rem-square-sqrt_binary64_5205` `associate-/l*_binary64_5138`
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_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` `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-cbrt_binary64_5247` `exp-sqrt_binary64_5246` `div-exp_binary64_5244` `rec-exp_binary64_5243` `prod-exp_binary64_5242` `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-div_binary64_5222` `rem-3cbrt-rft_binary64_5219` `rem-cbrt-cube_binary64_5217` `rem-cube-cbrt_binary64_5216` `sqr-abs_binary64_5208` `times-frac_binary64_5199` `div-sub_binary64_5198` `mul-1-neg_binary64_5185` `/-rgt-identity_binary64_5184` `--rgt-identity_binary64_5179` `+-lft-identity_binary64_5177` `div0_binary64_5174` `-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` `distribute-neg-frac_binary64_5157` `distribute-frac-neg_binary64_5156` `distribute-lft1-in_binary64_5148` `count-2_binary64_5141` `associate-/l/_binary64_5140` `associate-/r/_binary64_5139` `associate-/r_binary64_5137` `associate-l/_binary64_5136` `associate-r/_binary64_5135` `associate--r-_binary64_5132`

Counts

122 → 84

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	257	2435
1	681	2184
2	2125	2023
3	3931	2023
4	4702	2023
5	4978	2023

prune194.0ms (0.7%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	71	13	84
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	72	13	85

Error

6.2b

Counts

85 → 13

Compiler

Compiled 2303 to 740 computations (67.9% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
0.2b	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
2.2b	(cos.f64 (-.f64 lambda1 lambda2))

rewrite226.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

14×	`add-sqr-sqrt_binary64_5215`
13×	`pow1_binary64_5254` `add-exp-log_binary64_5231` `add-cbrt-cube_binary64_5229`
10×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193`
9×	`associate-r_binary64_5133`
7×	`associate-l_binary64_5134`
5×	`pow-prod-down_binary64_5264` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226`
4×	`cos-sum_binary64_5327` `add-log-exp_binary64_5232`
3×	`cos-diff_binary64_5330` `cancel-sign-sub-inv_binary64_5159` `*-commutative_binary64_5124`
2×	`sin-cos-mult_binary64_5349` `unswap-sqr_binary64_5161`
1×	`sub-neg_binary64_5186` `distribute-rgt-in_binary64_5143` `distribute-lft-in_binary64_5142` `associate-*l/_binary64_5136`

Counts

4 → 70

Calls

4 calls:

7.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
5.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
5.0ms	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
5.0ms	(cos.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 2474 to 390 computations (84.2% saved)

series1.2s (4.2%)

Error

6.0b

Counts

4 → 55

Calls

4 calls:

635.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
164.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
148.0ms	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
80.0ms	(cos.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 4602 to 2472 computations (46.3% saved)

simplify135.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

661×	`cancel-sign-sub-inv_binary64_5159`
399×	`associate-r_binary64_5133`
383×	`sub-neg_binary64_5186`
376×	`neg-mul-1_binary64_5189`
367×	`associate-l_binary64_5134`
349×	`neg-sub0_binary64_5188`
334×	`distribute-rgt-neg-in_binary64_5151`
295×	`distribute-lft-neg-in_binary64_5150`
215×	`*-commutative_binary64_5124`
136×	`unsub-neg_binary64_5187`
112×	`+-commutative_binary64_5123`
107×	`sqr-pow_binary64_5165`
80×	`distribute-rgt-out--_binary64_5147`
79×	`distribute-rgt-out_binary64_5146`
71×	`distribute-lft-neg-out_binary64_5152`
66×	`associate--l+_binary64_5130`
64×	`associate-+l-_binary64_5128`
58×	`cancel-sign-sub_binary64_5158`
56×	`associate-+r-_binary64_5127`
51×	`unswap-sqr_binary64_5161` `distribute-neg-out_binary64_5155` `associate-+l+_binary64_5126`
46×	`associate-+r+_binary64_5125`
45×	`exp-prod_binary64_5245`
44×	`distribute-rgt-neg-out_binary64_5153`
42×	`cube-prod_binary64_5221` `*-rgt-identity_binary64_5183`
41×	`log-prod_binary64_5279`
40×	`+-rgt-identity_binary64_5178`
38×	`associate--r+_binary64_5129`
34×	`*-lft-identity_binary64_5182` `swap-sqr_binary64_5160`
31×	`sub0-neg_binary64_5180`
27×	`distribute-lft-out--_binary64_5145`
21×	`remove-double-neg_binary64_5181`
18×	`pow-sqr_binary64_5166`
16×	`cube-unmult_binary64_5230`
14×	`unpow3_binary64_5259` `distribute-rgt-in_binary64_5143`
13×	`rem-sqrt-square_binary64_5206` `distribute-lft-out_binary64_5144`
12×	`distribute-neg-in_binary64_5154`
10×	`unpow1/2_binary64_5257`
8×	`distribute-rgt1-in_binary64_5149`
7×	`cube-mult_binary64_5223`
6×	`exp-sum_binary64_5239`
5×	`cos-neg_binary64_5324` `sin-neg_binary64_5323` `pow-plus_binary64_5256`
4×	`distribute-lft-in_binary64_5142`
3×	`unpow2_binary64_5258` `unpow1_binary64_5251` `cube-neg_binary64_5220` `div-sub_binary64_5198` `difference-of-squares_binary64_5162`
2×	`exp-diff_binary64_5241` `sqr-neg_binary64_5207` `mul0-rgt_binary64_5176` `mul0-lft_binary64_5175` `associate--l-_binary64_5131`
1×	`1-exp_binary64_5237` `exp-1-e_binary64_5236` `rem-3cbrt-lft_binary64_5218` `rem-square-sqrt_binary64_5205` `distribute-frac-neg_binary64_5156` `associate-/l*_binary64_5138`
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_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` `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-cbrt_binary64_5247` `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-0_binary64_5235` `rem-log-exp_binary64_5234` `rem-exp-log_binary64_5233` `cube-div_binary64_5222` `rem-3cbrt-rft_binary64_5219` `rem-cbrt-cube_binary64_5217` `rem-cube-cbrt_binary64_5216` `sqr-abs_binary64_5208` `times-frac_binary64_5199` `mul-1-neg_binary64_5185` `/-rgt-identity_binary64_5184` `--rgt-identity_binary64_5179` `+-lft-identity_binary64_5177` `div0_binary64_5174` `-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` `distribute-neg-frac_binary64_5157` `distribute-lft1-in_binary64_5148` `count-2_binary64_5141` `associate-/l/_binary64_5140` `associate-/r/_binary64_5139` `associate-/r_binary64_5137` `associate-l/_binary64_5136` `associate-r/_binary64_5135` `associate--r-_binary64_5132`

Counts

125 → 86

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	259	2420
1	683	2155
2	2146	1998
3	3830	1996
4	4824	1996
5	5008	1996

prune220.0ms (0.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	82	4	86
Fresh	9	3	12
Picked	1	0	1
Done	0	0	0
Total	92	7	99

Error

0.1b

Counts

99 → 7

Compiler

Compiled 2509 to 624 computations (75.1% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
0.2b	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

rewrite328.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

17×	`add-sqr-sqrt_binary64_5215`
15×	`pow1_binary64_5254` `add-exp-log_binary64_5231` `add-cbrt-cube_binary64_5229`
12×	`associate-r_binary64_5133`
11×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193`
10×	`associate-l_binary64_5134`
6×	`pow-prod-down_binary64_5264` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226`
5×	`sin-cos-mult_binary64_5349`
4×	`add-log-exp_binary64_5232` `*-commutative_binary64_5124`
3×	`sin-mult_binary64_5348` `unswap-sqr_binary64_5161` `frac-times_binary64_5203` `associate-*r/_binary64_5135`
2×	`cos-mult_binary64_5347` `frac-add_binary64_5201` `flip3-+_binary64_5196` `flip-+_binary64_5167`
1×	`distribute-rgt-in_binary64_5143` `distribute-lft-in_binary64_5142` `associate-*l/_binary64_5136`

Counts

4 → 83

Calls

4 calls:

14.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
5.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
5.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
5.0ms	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))

Compiler

Compiled 3586 to 490 computations (86.3% saved)

series1.7s (6.3%)

Error

0.1b

Counts

4 → 52

Calls

4 calls:

1.2s	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
167.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
153.0ms	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
136.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

Compiler

Compiled 5509 to 2686 computations (51.2% saved)

simplify107.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

702×	`associate-r_binary64_5133`
632×	`associate-l_binary64_5134`
465×	`distribute-rgt-neg-in_binary64_5151`
426×	`distribute-lft-neg-in_binary64_5150`
314×	`*-commutative_binary64_5124`
174×	`sub-neg_binary64_5186`
118×	`cancel-sign-sub-inv_binary64_5159`
105×	`+-commutative_binary64_5123`
95×	`distribute-rgt-in_binary64_5143`
91×	`distribute-lft-in_binary64_5142`
82×	`neg-mul-1_binary64_5189` `neg-sub0_binary64_5188`
71×	`exp-prod_binary64_5245` `sqr-pow_binary64_5165`
67×	`associate--l+_binary64_5130`
52×	`associate-+l+_binary64_5126`
50×	`distribute-neg-in_binary64_5154`
48×	`*-lft-identity_binary64_5182`
47×	`associate--r+_binary64_5129`
46×	`*-rgt-identity_binary64_5183`
43×	`associate-+r+_binary64_5125`
36×	`cube-prod_binary64_5221`
34×	`log-prod_binary64_5279`
32×	`distribute-lft-neg-out_binary64_5152`
31×	`unsub-neg_binary64_5187`
28×	`swap-sqr_binary64_5160`
25×	`unswap-sqr_binary64_5161`
23×	`distribute-rgt-out_binary64_5146`
10×	`unpow3_binary64_5259`
7×	`cube-mult_binary64_5223` `distribute-rgt-neg-out_binary64_5153` `distribute-lft-out_binary64_5144`
6×	`exp-sum_binary64_5239` `cube-unmult_binary64_5230` `distribute-rgt-out--_binary64_5147`
4×	`pow-sqr_binary64_5166`
3×	`unpow2_binary64_5258` `unpow1/2_binary64_5257` `unpow1_binary64_5251` `difference-of-squares_binary64_5162` `distribute-rgt1-in_binary64_5149`
2×	`associate-+r-_binary64_5127`
1×	`1-exp_binary64_5237` `exp-1-e_binary64_5236` `distribute-lft1-in_binary64_5148` `associate--l-_binary64_5131` `associate-+l-_binary64_5128`
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` `pow-base-0_binary64_5277` `unpow1/3_binary64_5260` `pow-plus_binary64_5256` `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-cbrt_binary64_5247` `exp-sqrt_binary64_5246` `div-exp_binary64_5244` `rec-exp_binary64_5243` `prod-exp_binary64_5242` `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-div_binary64_5222` `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` `div-sub_binary64_5198` `mul-1-neg_binary64_5185` `/-rgt-identity_binary64_5184` `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` `remove-double-div_binary64_5169` `difference-of-sqr--1_binary64_5164` `difference-of-sqr-1_binary64_5163` `cancel-sign-sub_binary64_5158` `distribute-neg-frac_binary64_5157` `distribute-frac-neg_binary64_5156` `distribute-neg-out_binary64_5155` `distribute-lft-out--_binary64_5145` `count-2_binary64_5141` `associate-/l/_binary64_5140` `associate-/r/_binary64_5139` `associate-/l_binary64_5138` `associate-/r_binary64_5137` `associate-l/_binary64_5136` `associate-*r/_binary64_5135` `associate--r-_binary64_5132`

Counts

135 → 99

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	338	3546
1	972	3052
2	3806	3052
3	5179	3052

prune332.0ms (1.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	90	9	99
Fresh	4	2	6
Picked	1	0	1
Done	0	0	0
Total	95	11	106

Error

0.1b

Counts

106 → 11

Compiler

Compiled 4218 to 922 computations (78.1% saved)

localize42.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
0.3b	(.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))
0.3b	(/.f64 (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (-.f64 (.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))) (-.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
0.4b	(.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))

rewrite807.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

84×	`pow1_binary64_5254`
39×	`add-exp-log_binary64_5231` `add-cbrt-cube_binary64_5229`
35×	`pow-prod-down_binary64_5264`
28×	`associate-*r/_binary64_5135`
25×	`sin-mult_binary64_5348`
24×	`cos-mult_binary64_5347`
20×	`prod-exp_binary64_5242` `cbrt-unprod_binary64_5226`
16×	`associate-/l/_binary64_5140`
12×	`associate-*l/_binary64_5136`
10×	`add-sqr-sqrt_binary64_5215` `frac-times_binary64_5203` `frac-sub_binary64_5202`
8×	`pow-prod-up_binary64_5263` `add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193` `pow-sqr_binary64_5166`
6×	`sub-div_binary64_5200`
5×	`associate-l_binary64_5134` `associate-r_binary64_5133`
4×	`pow-plus_binary64_5256` `add-log-exp_binary64_5232` `associate-/r/_binary64_5139`
3×	`-commutative_binary64_5124` `div-exp_binary64_5244` `cbrt-undiv_binary64_5227` `times-frac_binary64_5199` `associate-/r_binary64_5137`
2×	`pow2_binary64_5274` `swap-sqr_binary64_5160` `flip3--_binary64_5197` `flip--_binary64_5168`
1×	`frac-2neg_binary64_5204` `clear-num_binary64_5192` `div-inv_binary64_5190` `associate-/l*_binary64_5138` `unswap-sqr_binary64_5161`

Counts

4 → 136

Calls

4 calls:

27.0ms	(/.f64 (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (-.f64 (.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))) (-.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
10.0ms	(.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))
9.0ms	(.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))
5.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

Compiler

Compiled 8325 to 888 computations (89.3% saved)

series4.1s (14.6%)

Error

0.1b

Counts

4 → 47

Calls

4 calls:

3.2s	(/.f64 (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (-.f64 (.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))) (-.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
255.0ms	(.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))
236.0ms	(.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))
131.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

Compiler

Compiled 7910 to 3543 computations (55.2% saved)

simplify168.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

673×	`associate-l_binary64_5134`
648×	`associate-r_binary64_5133`
251×	`associate-/l*_binary64_5138`
136×	`*-commutative_binary64_5124`
88×	`times-frac_binary64_5199`
86×	`associate-/r*_binary64_5137`
80×	`log-prod_binary64_5279`
75×	`associate-l/_binary64_5136` `associate-r/_binary64_5135`
65×	`sub-neg_binary64_5186` `cancel-sign-sub-inv_binary64_5159`
61×	`associate--l+_binary64_5130`
54×	`exp-prod_binary64_5245`
52×	`distribute-rgt-in_binary64_5143` `distribute-lft-in_binary64_5142`
51×	`distribute-rgt-neg-in_binary64_5151`
49×	`associate--r+_binary64_5129`
47×	`swap-sqr_binary64_5160`
43×	`log-div_binary64_5280` `distribute-lft-neg-in_binary64_5150`
42×	`associate-/r/_binary64_5139`
39×	`associate-/l/_binary64_5140` `+-commutative_binary64_5123`
38×	`sqr-pow_binary64_5165`
33×	`neg-mul-1_binary64_5189` `neg-sub0_binary64_5188`
32×	`cube-div_binary64_5222`
27×	`div-sub_binary64_5198` `unswap-sqr_binary64_5161`
25×	`distribute-neg-in_binary64_5154`
17×	`associate-+r+_binary64_5125`
16×	`cube-unmult_binary64_5230`
11×	`pow-plus_binary64_5256`
9×	`unpow3_binary64_5259`
8×	`log-pow_binary64_5282`
7×	`unpow2_binary64_5258` `unpow1/2_binary64_5257` `unpow1_binary64_5251` `distribute-lft-neg-out_binary64_5152` `distribute-rgt-out_binary64_5146`
6×	`cube-prod_binary64_5221`
5×	`cube-mult_binary64_5223` `associate-+l+_binary64_5126`
4×	`distribute-neg-frac_binary64_5157` `count-2_binary64_5141`
3×	`difference-of-squares_binary64_5162` `distribute-rgt-out--_binary64_5147` `associate--r-_binary64_5132`
2×	`log-rec_binary64_5281` `rem-sqrt-square_binary64_5206` `/-rgt-identity_binary64_5184` `pow-sqr_binary64_5166`
1×	`exp-diff_binary64_5241` `1-exp_binary64_5237` `exp-1-e_binary64_5236` `-rgt-identity_binary64_5183` `-inverses_binary64_5173` `distribute-rgt1-in_binary64_5149`
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` `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-cbrt_binary64_5247` `exp-sqrt_binary64_5246` `div-exp_binary64_5244` `rec-exp_binary64_5243` `prod-exp_binary64_5242` `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` `unsub-neg_binary64_5187` `mul-1-neg_binary64_5185` `*-lft-identity_binary64_5182` `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_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-rgt-neg-out_binary64_5153` `distribute-lft1-in_binary64_5148` `distribute-lft-out--_binary64_5145` `distribute-lft-out_binary64_5144` `associate--l-_binary64_5131` `associate-+l-_binary64_5128` `associate-+r-_binary64_5127`

Counts

183 → 154

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	399	6674
1	1113	5920
2	4736	5920
3	4967	5920

prune586.0ms (2.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	151	3	154
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	155	10	165

Error

0.1b

Counts

165 → 10

Compiler

Compiled 7088 to 1497 computations (78.9% saved)

regimes5.5s (19.7%)

Accuracy

Total 0.1b remaining (49.2%)

Threshold costs 0.1b (49.2%)

Compiler

Compiled 68593 to 43282 computations (36.9% saved)

bsearch0.0ms (0%)

simplify23.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

98×	`distribute-rgt-neg-in_binary64_5151`
66×	`distribute-lft-neg-in_binary64_5150`
65×	`cancel-sign-sub-inv_binary64_5159`
56×	`neg-mul-1_binary64_5189` `neg-sub0_binary64_5188`
46×	`distribute-lft-neg-out_binary64_5152`
42×	`distribute-neg-in_binary64_5154`
39×	`distribute-rgt-neg-out_binary64_5153`
30×	`*-commutative_binary64_5124`
29×	`sub-neg_binary64_5186`
25×	`+-commutative_binary64_5123`
19×	`remove-double-neg_binary64_5181`
14×	`unsub-neg_binary64_5187`
11×	`distribute-neg-out_binary64_5155`
1×	`1-exp_binary64_5237` `sqr-neg_binary64_5207` `distribute-neg-frac_binary64_5157` `distribute-frac-neg_binary64_5156`
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` `mul-1-neg_binary64_5185` `/-rgt-identity_binary64_5184` `-rgt-identity_binary64_5183` `-lft-identity_binary64_5182` `sub0-neg_binary64_5180` `--rgt-identity_binary64_5179` `+-rgt-identity_binary64_5178` `+-lft-identity_binary64_5177` `cancel-sign-sub_binary64_5158`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	103
1	57	103
2	89	103
3	117	103
4	144	103
5	180	103
6	217	103
7	238	103
8	259	103
9	284	103
10	309	103
11	335	103
12	366	103
13	393	103
14	421	103
15	444	103
16	460	103
17	464	103
18	460	103

end3.0ms (0%)

Compiler: Compiled 62 to 30 computations (51.6% saved)

sample7.3s (26.4%)

Algorithm

1×

intervals

Results

5.0s	5306×	body	1024	valid
760.0ms	1329×	body	512	valid
348.0ms	178×	body	2048	valid
149.0ms	787×	body	128	valid
139.0ms	400×	body	256	valid

Compiler

Compiled 664 to 364 computations (45.2% saved)

Iter	Nodes	Cost
0	18	39
1	31	39
2	59	39
3	105	39
4	129	39
5	196	39
6	248	39
7	309	39
8	420	39
9	430	39
10	436	39
11	385	39

Iter	Nodes	Cost
0	31	103
1	57	103
2	89	103
3	117	103
4	144	103
5	180	103
6	217	103
7	238	103
8	259	103
9	284	103
10	309	103
11	335	103
12	366	103
13	393	103
14	421	103
15	444	103
16	460	103
17	464	103
18	460	103

Iter	Nodes	Cost
0	18	39
1	31	39
2	59	39
3	105	39
4	129	39
5	196	39
6	248	39
7	309	39
8	420	39
9	430	39
10	436	39
11	385	39

Iter	Nodes	Cost
0	31	103
1	57	103
2	89	103
3	117	103
4	144	103
5	180	103
6	217	103
7	238	103
8	259	103
9	284	103
10	309	103
11	335	103
12	366	103
13	393	103
14	421	103
15	444	103
16	460	103
17	464	103
18	460	103

Details

analyze3.1s (11.2%)

sample218.0ms (0.8%)

simplify25.0ms (0.1%)

prune5.0ms (0%)

localize21.0ms (0.1%)

rewrite198.0ms (0.7%)

series1.1s (3.8%)

simplify133.0ms (0.5%)

prune194.0ms (0.7%)

localize28.0ms (0.1%)

rewrite226.0ms (0.8%)

series1.2s (4.2%)

simplify135.0ms (0.5%)

prune220.0ms (0.8%)

localize30.0ms (0.1%)

rewrite328.0ms (1.2%)

series1.7s (6.3%)

simplify107.0ms (0.4%)

prune332.0ms (1.2%)

localize42.0ms (0.1%)

rewrite807.0ms (2.9%)

series4.1s (14.6%)

simplify168.0ms (0.6%)

prune586.0ms (2.1%)

regimes5.5s (19.7%)

bsearch0.0ms (0%)

simplify23.0ms (0.1%)

end3.0ms (0%)

sample7.3s (26.4%)

Profiling

Iter	Nodes	Cost
0	18	39
1	31	39
2	59	39
3	105	39
4	129	39
5	196	39
6	248	39
7	309	39
8	420	39
9	430	39
10	436	39
11	385	39

Iter	Nodes	Cost
0	31	103
1	57	103
2	89	103
3	117	103
4	144	103
5	180	103
6	217	103
7	238	103
8	259	103
9	284	103
10	309	103
11	335	103
12	366	103
13	393	103
14	421	103
15	444	103
16	460	103
17	464	103
18	460	103