Details

analyze2.1s (15.2%)

Algorithm

1×	search
2×	egg-herbie

Rules

230×	`unsub-neg_binary64`
191×	`sub-neg_binary64`
185×	`cancel-sign-sub-inv_binary64`
169×	`distribute-rgt-in_binary64`
130×	`distribute-rgt-neg-in_binary64`
129×	`neg-mul-1_binary64`
127×	`associate--r+_binary64`
108×	`distribute-lft-neg-in_binary64`
107×	`neg-sub0_binary64`
98×	`*-commutative_binary64`
93×	`distribute-lft-neg-out_binary64`
73×	`associate-r_binary64`
68×	`distribute-rgt-neg-out_binary64`
61×	`distribute-lft-in_binary64`
53×	`distribute-neg-in_binary64` `+-commutative_binary64`
44×	`associate--l-_binary64`
43×	`associate--l+_binary64`
42×	`associate-+l-_binary64`
39×	`associate--r-_binary64`
37×	`remove-double-neg_binary64` `sub0-neg_binary64` `associate-l_binary64`
28×	`mul0-rgt_binary64` `mul0-lft_binary64` `associate-+r+_binary64`
23×	`associate-+l+_binary64`
21×	`distribute-neg-out_binary64`
20×	`distribute-rgt-out--_binary64`
18×	`associate-+r-_binary64`
16×	`*-rgt-identity_binary64` `+-rgt-identity_binary64`
15×	`*-lft-identity_binary64`
11×	`cos-neg_binary64` `+-lft-identity_binary64`
10×	`sin-neg_binary64` `distribute-rgt-out_binary64`
5×	`mul-1-neg_binary64`
4×	`cancel-sign-sub_binary64`
1×	`1-exp_binary64`
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` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `log-rec_binary64` `log-div_binary64` `log-prod_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `unpow3_binary64` `unpow2_binary64` `unpow1/2_binary64` `pow-plus_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow1_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `exp-prod_binary64` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-unmult_binary64` `cube-mult_binary64` `cube-div_binary64` `cube-prod_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `times-frac_binary64` `div-sub_binary64` `/-rgt-identity_binary64` `--rgt-identity_binary64` `div0_binary64` `-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `pow-sqr_binary64` `sqr-pow_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `unswap-sqr_binary64` `swap-sqr_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64` `distribute-lft-out_binary64` `count-2_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `associate-/l_binary64` `associate-/r_binary64` `associate-l/_binary64` `associate-*r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	62	224
1	100	224
2	116	224
3	144	224
4	170	224
5	295	224
6	371	224
7	574	224
8	743	224
9	823	224
10	1039	224
11	1224	224
12	1275	224
13	1300	224
14	1326	224
15	1340	224
16	1344	224
17	1273	224
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
9.4%	90.4%	0.2%	9
9.4%	90.4%	0.2%	10
10.9%	88.9%	0.2%	11
10.9%	88.9%	0.2%	12
10.9%	88.9%	0.2%	13
10.9%	88.9%	0.2%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample150.0ms (1.1%)

Algorithm

1×

intervals

Results

100.0ms	152×	body	1024	valid
23.0ms	58×	body	512	valid
5.0ms	4×	body	2048	valid
4.0ms	30×	body	128	valid
3.0ms	12×	body	256	valid

Compiler

Compiled 41 to 33 computations (19.5% saved)

simplify36.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

49×	`sub-neg_binary64`
44×	`distribute-rgt-in_binary64`
38×	`cancel-sign-sub-inv_binary64`
31×	`unsub-neg_binary64`
27×	`neg-mul-1_binary64`
26×	`distribute-lft-neg-out_binary64`
25×	`distribute-rgt-neg-in_binary64`
24×	`neg-sub0_binary64` `associate--r+_binary64`
22×	`associate-l_binary64`
18×	`distribute-neg-in_binary64` `distribute-lft-in_binary64` `associate-r_binary64`
17×	`distribute-rgt-neg-out_binary64` `distribute-lft-neg-in_binary64`
15×	`associate-+l-_binary64` `*-commutative_binary64`
9×	`associate--r-_binary64` `associate--l+_binary64` `+-commutative_binary64`
8×	`-rgt-identity_binary64` `-lft-identity_binary64` `sub0-neg_binary64`
7×	`associate-+l+_binary64`
6×	`remove-double-neg_binary64` `mul0-rgt_binary64` `mul0-lft_binary64`
5×	`+-lft-identity_binary64` `associate--l-_binary64` `associate-+r+_binary64`
3×	`sin-neg_binary64` `+-rgt-identity_binary64`
2×	`cos-neg_binary64` `mul-1-neg_binary64`
1×	`1-exp_binary64` `--rgt-identity_binary64` `associate-+r-_binary64`
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` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `log-rec_binary64` `log-div_binary64` `log-prod_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `unpow3_binary64` `unpow2_binary64` `unpow1/2_binary64` `pow-plus_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow1_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `exp-prod_binary64` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-unmult_binary64` `cube-mult_binary64` `cube-div_binary64` `cube-prod_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `times-frac_binary64` `div-sub_binary64` `/-rgt-identity_binary64` `div0_binary64` `-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `pow-sqr_binary64` `sqr-pow_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `unswap-sqr_binary64` `swap-sqr_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out--_binary64` `distribute-rgt-out_binary64` `distribute-lft-out--_binary64` `distribute-lft-out_binary64` `count-2_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `associate-/l_binary64` `associate-/r_binary64` `associate-l/_binary64` `associate-*r/_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	32
1	21	32
2	26	32
3	32	32
4	38	32
5	62	32
6	89	32
7	113	32
8	147	32
9	174	32
10	223	32
11	211	32
12	232	32
13	261	32
14	261	32
15	271	32
16	284	32
17	292	32
18	299	32
19	298	32
20	271	32

prune1.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.6b

Counts

1 → 1

Compiler

Compiled 20 to 14 computations (30% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))
0.6b	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
3.8b	(sin.f64 (-.f64 lambda1 lambda2))
3.8b	(cos.f64 (-.f64 lambda1 lambda2))

rewrite95.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.5b

Rules

6×	`add-cube-cbrt_binary64` `cancel-sign-sub-inv_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64` `add-log-exp_binary64`
4×	`cos-sum_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `sin-sum_binary64`
3×	`cos-diff_binary64`
2×	`sub-neg_binary64` `associate-+r+_binary64`
1×	`sin-diff_binary64` `sum-log_binary64` `flip3-+_binary64` `flip-+_binary64` `distribute-rgt-in_binary64` `distribute-lft-in_binary64` `+-commutative_binary64`

Counts

4 → 44

Calls

4 calls:

5.0ms	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))
4.0ms	(sin.f64 (-.f64 lambda1 lambda2))
0.0ms	(atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 1356 to 285 computations (79% saved)

series185.0ms (1.3%)

Error

0.6b

Counts

4 → 52

Calls

4 calls:

74.0ms	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
30.0ms	(atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))
20.0ms	(sin.f64 (-.f64 lambda1 lambda2))
19.0ms	(cos.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 2751 to 1640 computations (40.4% saved)

simplify140.0ms (1%)

Algorithm

1×	egg-herbie

Rules

368×	`distribute-rgt-neg-in_binary64`
360×	`associate-l_binary64`
354×	`distribute-lft-neg-in_binary64`
351×	`associate-r_binary64`
277×	`cancel-sign-sub-inv_binary64`
274×	`distribute-rgt-in_binary64`
272×	`neg-mul-1_binary64`
243×	`distribute-lft-in_binary64`
216×	`sub-neg_binary64`
187×	`*-commutative_binary64`
152×	`associate-+l-_binary64`
129×	`distribute-rgt-out_binary64`
97×	`+-commutative_binary64`
91×	`neg-sub0_binary64`
90×	`distribute-rgt-out--_binary64`
86×	`associate--l+_binary64`
73×	`unsub-neg_binary64`
63×	`associate-+l+_binary64`
57×	`distribute-lft-out_binary64`
55×	`distribute-lft-neg-out_binary64`
54×	`unswap-sqr_binary64`
53×	`associate--r+_binary64`
51×	`sqr-pow_binary64`
47×	`associate-+r+_binary64`
46×	`distribute-rgt-neg-out_binary64`
41×	`distribute-lft-out--_binary64` `associate-+r-_binary64`
30×	`+-rgt-identity_binary64`
22×	`unpow3_binary64` `pow-plus_binary64`
21×	`sub0-neg_binary64`
20×	`cube-unmult_binary64` `cube-prod_binary64`
17×	`associate--l-_binary64`
16×	`associate--r-_binary64`
11×	`remove-double-neg_binary64` `cancel-sign-sub_binary64`
9×	`distribute-neg-in_binary64`
7×	`distribute-rgt1-in_binary64`
6×	`sin-neg_binary64` `cube-mult_binary64` `fabs-mul_binary64` `rem-sqrt-square_binary64`
5×	`cos-neg_binary64` `pow-sqr_binary64` `difference-of-squares_binary64`
4×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `swap-sqr_binary64`
3×	`exp-sum_binary64` `mul0-rgt_binary64` `mul0-lft_binary64`
2×	`exp-prod_binary64` `distribute-neg-out_binary64` `distribute-lft1-in_binary64`
1×	`prod-exp_binary64` `exp-neg_binary64` `1-exp_binary64` `rem-3cbrt-lft_binary64` `fabs-sqr_binary64` `sqr-neg_binary64` `rem-square-sqrt_binary64` `associate-/l/_binary64` `associate-*r/_binary64`
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` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `log-rec_binary64` `log-div_binary64` `log-prod_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `div-exp_binary64` `rec-exp_binary64` `exp-diff_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `fabs-div_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `times-frac_binary64` `div-sub_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `-rgt-identity_binary64` `-lft-identity_binary64` `--rgt-identity_binary64` `+-lft-identity_binary64` `div0_binary64` `-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `count-2_binary64` `associate-/r/_binary64` `associate-/l_binary64` `associate-/r_binary64` `associate-l/_binary64`

Counts

96 → 64

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	178	2018
1	419	1865
2	953	1848
3	2511	1820
4	4777	1820
5	4973	1820
6	4954	1820

prune77.0ms (0.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	53	11	64
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	54	11	65

Error

0.5b

Counts

65 → 11

Compiler

Compiled 1382 to 447 computations (67.7% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (.f64 (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))
0.6b	(+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
3.8b	(sin.f64 (-.f64 lambda1 lambda2))

rewrite166.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

9×	`add-sqr-sqrt_binary64`
7×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
6×	`pow1_binary64` `add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`sin-sum_binary64`
3×	`cancel-sign-sub-inv_binary64` `associate-l_binary64` `associate-r_binary64`
2×	`associate-+r+_binary64`
1×	`sin-diff_binary64` `sub-neg_binary64` `sum-log_binary64` `flip3-+_binary64` `flip-+_binary64` `distribute-rgt-in_binary64` `distribute-lft-in_binary64` `+-commutative_binary64` `sin-mult_binary64` `pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `*-commutative_binary64`

Counts

4 → 51

Calls

4 calls:

5.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
4.0ms	(sin.f64 (-.f64 lambda1 lambda2))
4.0ms	(+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
0.0ms	(atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))

Compiler

Compiled 1888 to 337 computations (82.2% saved)

series315.0ms (2.3%)

Error

0.4b

Counts

4 → 49

Calls

4 calls:

140.0ms	(+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
43.0ms	(atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
24.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
21.0ms	(sin.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 3630 to 2120 computations (41.6% saved)

simplify138.0ms (1%)

Algorithm

1×	egg-herbie

Rules

485×	`cancel-sign-sub-inv_binary64`
473×	`distribute-rgt-in_binary64`
459×	`distribute-lft-in_binary64`
340×	`sub-neg_binary64`
320×	`associate-+l+_binary64`
185×	`associate--l+_binary64`
177×	`distribute-rgt-neg-in_binary64`
162×	`associate-r_binary64`
159×	`distribute-lft-neg-in_binary64`
151×	`neg-mul-1_binary64`
150×	`associate-l_binary64`
149×	`neg-sub0_binary64`
116×	`unsub-neg_binary64`
109×	`*-commutative_binary64`
71×	`+-commutative_binary64`
68×	`associate--r+_binary64`
42×	`exp-prod_binary64`
41×	`sqr-pow_binary64`
40×	`associate-+r-_binary64`
36×	`associate-+l-_binary64`
35×	`distribute-neg-in_binary64`
31×	`associate-+r+_binary64`
29×	`distribute-rgt-out_binary64`
23×	`distribute-lft-neg-out_binary64` `distribute-rgt-out--_binary64`
16×	`cube-prod_binary64`
14×	`*-rgt-identity_binary64`
13×	`exp-sum_binary64`
12×	`cube-unmult_binary64` `*-lft-identity_binary64`
11×	`distribute-lft-out_binary64`
10×	`unpow3_binary64`
9×	`log-prod_binary64` `distribute-rgt-neg-out_binary64`
8×	`unswap-sqr_binary64` `swap-sqr_binary64`
6×	`cube-mult_binary64`
5×	`unpow1/2_binary64` `pow-plus_binary64` `fabs-mul_binary64`
4×	`unpow2_binary64` `unpow1_binary64` `rem-sqrt-square_binary64`
3×	`cos-neg_binary64` `sin-neg_binary64` `distribute-lft-out--_binary64`
2×	`pow-sqr_binary64` `difference-of-squares_binary64`
1×	`prod-exp_binary64` `1-exp_binary64` `exp-1-e_binary64` `rem-3cbrt-lft_binary64` `rem-square-sqrt_binary64` `+-rgt-identity_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64`
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` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `log-rec_binary64` `log-div_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `div-exp_binary64` `rec-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `e-exp-1_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `fabs-div_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `times-frac_binary64` `div-sub_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `count-2_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `associate-/l_binary64` `associate-/r_binary64` `associate-l/_binary64` `associate-*r/_binary64` `associate--r-_binary64` `associate--l-_binary64`

Counts

100 → 68

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	212	2739
1	505	2513
2	1510	2497
3	4538	2497
4	4987	2497
5	4977	2497

prune121.0ms (0.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	67	1	68
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	70	9	79

Error

0.1b

Counts

79 → 9

Compiler

Compiled 1780 to 461 computations (74.1% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))))
0.2b	(atan2.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (+.f64 (cos.f64 phi1) (.f64 (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))
0.6b	(+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))

rewrite190.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

12×	`add-sqr-sqrt_binary64`
8×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
6×	`add-log-exp_binary64` `associate-l_binary64` `associate-r_binary64`
3×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
2×	`associate-+r+_binary64` `pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `-commutative_binary64` `sub-neg_binary64` `cancel-sign-sub-inv_binary64` `associate-r/_binary64`
1×	`sum-log_binary64` `flip3-+_binary64` `flip-+_binary64` `+-commutative_binary64` `sin-mult_binary64` `flip3--_binary64` `flip--_binary64`

Counts

4 → 63

Calls

4 calls:

8.0ms	(.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))))
5.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
4.0ms	(+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
0.0ms	(atan2.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))

Compiler

Compiled 2777 to 369 computations (86.7% saved)

series386.0ms (2.8%)

Error

0.1b

Counts

4 → 54

Calls

4 calls:

131.0ms	(+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
81.0ms	(.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))))
45.0ms	(atan2.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
25.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

Compiler

Compiled 5051 to 2498 computations (50.5% saved)

simplify141.0ms (1%)

Algorithm

1×	egg-herbie

Rules

745×	`cancel-sign-sub-inv_binary64`
615×	`distribute-rgt-in_binary64`
323×	`associate-r_binary64`
286×	`associate-l_binary64`
275×	`distribute-rgt-neg-in_binary64`
240×	`distribute-lft-neg-in_binary64`
224×	`neg-sub0_binary64`
223×	`neg-mul-1_binary64`
170×	`*-commutative_binary64`
146×	`sub-neg_binary64`
130×	`unsub-neg_binary64`
111×	`exp-prod_binary64`
95×	`+-commutative_binary64`
71×	`distribute-lft-in_binary64`
65×	`distribute-neg-in_binary64`
64×	`associate--l+_binary64`
62×	`distribute-rgt-out_binary64`
61×	`sqr-pow_binary64`
51×	`associate-+l+_binary64`
50×	`distribute-rgt-out--_binary64`
44×	`cube-prod_binary64` `distribute-lft-neg-out_binary64`
41×	`associate-+r+_binary64`
37×	`*-rgt-identity_binary64`
35×	`associate--r+_binary64`
27×	`*-lft-identity_binary64`
23×	`exp-sum_binary64`
20×	`unswap-sqr_binary64`
18×	`log-prod_binary64` `swap-sqr_binary64` `distribute-rgt-neg-out_binary64`
14×	`unpow3_binary64`
13×	`distribute-lft-out_binary64`
9×	`cube-mult_binary64`
8×	`cube-unmult_binary64`
6×	`unpow1/2_binary64`
5×	`exp-diff_binary64` `difference-of-squares_binary64` `distribute-rgt1-in_binary64` `distribute-lft-out--_binary64`
4×	`unpow2_binary64` `unpow1_binary64` `rem-sqrt-square_binary64`
3×	`div-sub_binary64` `pow-sqr_binary64`
2×	`pow-plus_binary64` `distribute-lft1-in_binary64` `associate-+r-_binary64`
1×	`prod-exp_binary64` `1-exp_binary64` `exp-1-e_binary64` `sqr-neg_binary64` `mul-1-neg_binary64` `+-rgt-identity_binary64` `associate-+l-_binary64`
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` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `log-rec_binary64` `log-div_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `div-exp_binary64` `rec-exp_binary64` `exp-neg_binary64` `e-exp-1_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `rem-square-sqrt_binary64` `times-frac_binary64` `/-rgt-identity_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `count-2_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `associate-/l_binary64` `associate-/r_binary64` `associate-l/_binary64` `associate-*r/_binary64` `associate--r-_binary64` `associate--l-_binary64`

Counts

117 → 96

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	253	4025
1	676	3662
2	2357	3606
3	4519	3606
4	5011	3606

prune172.0ms (1.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	92	4	96
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	95	10	105

Error

0.1b

Counts

105 → 10

Compiler

Compiled 3221 to 676 computations (79% saved)

localize31.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (sin.f64 lambda2) (sin.f64 lambda1))
0.5b	(cbrt.f64 (pow.f64 (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))))) 3))
0.6b	(+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))
0.7b	(pow.f64 (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))))) 3)

rewrite264.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

14×	`add-sqr-sqrt_binary64`
12×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64` `cbrt-prod_binary64`
7×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
6×	`unpow-prod-down_binary64` `add-log-exp_binary64` `cube-prod_binary64`
4×	`cube-div_binary64`
3×	`pow-unpow_binary64` `flip3-+_binary64` `flip-+_binary64` `associate-l_binary64` `associate-r_binary64`
2×	`unpow3_binary64` `cube-mult_binary64` `sqr-pow_binary64` `associate-+r+_binary64` `cbrt-div_binary64`
1×	`pow-pow_binary64` `pow-to-exp_binary64` `pow-exp_binary64` `rem-cube-cbrt_binary64` `sum-log_binary64` `distribute-rgt-in_binary64` `distribute-lft-in_binary64` `+-commutative_binary64` `pow1/3_binary64` `rem-cbrt-cube_binary64` `sin-mult_binary64` `pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `*-commutative_binary64`

Counts

4 → 80

Calls

4 calls:

6.0ms	(*.f64 (sin.f64 lambda2) (sin.f64 lambda1))
4.0ms	(pow.f64 (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))))) 3)
4.0ms	(+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))
4.0ms	(cbrt.f64 (pow.f64 (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))))) 3))

Compiler

Compiled 3624 to 646 computations (82.2% saved)

series900.0ms (6.5%)

Error

0.1b

Counts

4 → 66

Calls

4 calls:

430.0ms	(pow.f64 (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))))) 3)
142.0ms	(+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))
135.0ms	(cbrt.f64 (pow.f64 (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))))) 3))
28.0ms	(*.f64 (sin.f64 lambda2) (sin.f64 lambda1))

Compiler

Compiled 12494 to 6785 computations (45.7% saved)

simplify164.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

838×	`associate-+r+_binary64`
476×	`associate-+l+_binary64`
325×	`*-commutative_binary64`
270×	`associate-r_binary64`
192×	`+-commutative_binary64`
106×	`distribute-rgt-in_binary64`
103×	`distribute-lft-in_binary64`
100×	`associate--l+_binary64`
78×	`sqr-pow_binary64`
72×	`associate--r+_binary64`
69×	`cancel-sign-sub-inv_binary64`
63×	`unswap-sqr_binary64`
50×	`sub-neg_binary64`
36×	`distribute-rgt-out_binary64`
26×	`distribute-neg-in_binary64`
25×	`unpow3_binary64` `cube-mult_binary64`
21×	`distribute-rgt-neg-in_binary64`
19×	`neg-mul-1_binary64` `neg-sub0_binary64`
18×	`distribute-lft-neg-in_binary64`
13×	`exp-prod_binary64`
12×	`unpow1_binary64` `distribute-lft-out_binary64`
11×	`unpow2_binary64`
10×	`log-prod_binary64`
9×	`exp-sum_binary64`
8×	`cube-prod_binary64` `rem-cbrt-cube_binary64` `swap-sqr_binary64`
6×	`associate-l_binary64`
4×	`pow-sqr_binary64`
3×	`log-pow_binary64` `rem-sqrt-square_binary64` `distribute-lft-neg-out_binary64` `distribute-rgt-out--_binary64`
2×	`pow-plus_binary64` `cube-unmult_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64`
1×	`unpow1/2_binary64` `prod-exp_binary64` `1-exp_binary64` `rem-3cbrt-lft_binary64` `rem-cube-cbrt_binary64` `rem-square-sqrt_binary64` `-rgt-identity_binary64` `difference-of-squares_binary64` `count-2_binary64` `associate-/l_binary64` `associate-+l-_binary64` `associate-+r-_binary64`
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` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-rec_binary64` `log-div_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `div-exp_binary64` `rec-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `times-frac_binary64` `div-sub_binary64` `unsub-neg_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `-lft-identity_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft-out--_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `associate-/r_binary64` `associate-l/_binary64` `associate-*r/_binary64` `associate--r-_binary64` `associate--l-_binary64`

Counts

146 → 115

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	680	9552
1	1964	8887
2	5451	8887

prune254.0ms (1.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	113	2	115
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	114	11	125

Error

0.1b

Counts

125 → 11

Compiler

Compiled 5964 to 2023 computations (66.1% saved)

regimes2.7s (19.2%)

Accuracy

Total 0.1b remaining (52.9%)

Threshold costs 0.1b (52.9%)

Compiler

Compiled 50057 to 30762 computations (38.5% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64`
7×	`+-commutative_binary64`
4×	`sub-neg_binary64`
3×	`neg-mul-1_binary64` `neg-sub0_binary64`
2×	`cancel-sign-sub-inv_binary64` `distribute-rgt-neg-in_binary64`
1×	`distribute-lft-neg-out_binary64` `distribute-lft-neg-in_binary64`
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` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `unpow1_binary64` `e-exp-1_binary64` `1-exp_binary64` `exp-1-e_binary64` `exp-0_binary64` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `unsub-neg_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `-rgt-identity_binary64` `-lft-identity_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-neg-in_binary64` `distribute-rgt-neg-out_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	56
1	36	56
2	46	56
3	52	56
4	56	56
5	57	56
6	57	56

end1.0ms (0%)

Compiler: Compiled 34 to 21 computations (38.2% saved)

sample5.1s (36.6%)

Algorithm

1×

intervals

Results

3.1s	4448×	body	1024	valid
734.0ms	1771×	body	512	valid
165.0ms	668×	body	256	valid
164.0ms	125×	body	2048	valid
129.0ms	988×	body	128	valid

Compiler

Compiled 488 to 293 computations (40% saved)

Iter	Nodes	Cost
0	15	32
1	21	32
2	26	32
3	32	32
4	38	32
5	62	32
6	89	32
7	113	32
8	147	32
9	174	32
10	223	32
11	211	32
12	232	32
13	261	32
14	261	32
15	271	32
16	284	32
17	292	32
18	299	32
19	298	32
20	271	32

Iter	Nodes	Cost
0	15	32
1	21	32
2	26	32
3	32	32
4	38	32
5	62	32
6	89	32
7	113	32
8	147	32
9	174	32
10	223	32
11	211	32
12	232	32
13	261	32
14	261	32
15	271	32
16	284	32
17	292	32
18	299	32
19	298	32
20	271	32

Details

analyze2.1s (15.2%)

sample150.0ms (1.1%)

simplify36.0ms (0.3%)

prune1.0ms (0%)

localize16.0ms (0.1%)

rewrite95.0ms (0.7%)

series185.0ms (1.3%)

simplify140.0ms (1%)

prune77.0ms (0.6%)

localize23.0ms (0.2%)

rewrite166.0ms (1.2%)

series315.0ms (2.3%)

simplify138.0ms (1%)

prune121.0ms (0.9%)

localize27.0ms (0.2%)

rewrite190.0ms (1.4%)

series386.0ms (2.8%)

simplify141.0ms (1%)

prune172.0ms (1.2%)

localize31.0ms (0.2%)

rewrite264.0ms (1.9%)

series900.0ms (6.5%)

simplify164.0ms (1.2%)

prune254.0ms (1.8%)

regimes2.7s (19.2%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end1.0ms (0%)

sample5.1s (36.6%)

Profiling

Iter	Nodes	Cost
0	15	32
1	21	32
2	26	32
3	32	32
4	38	32
5	62	32
6	89	32
7	113	32
8	147	32
9	174	32
10	223	32
11	211	32
12	232	32
13	261	32
14	261	32
15	271	32
16	284	32
17	292	32
18	299	32
19	298	32
20	271	32