Details

analyze2.1s (14.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` `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)

sample138.0ms (1%)

Algorithm

1×

intervals

Results

84.0ms	137×	body	1024	valid
20.0ms	55×	body	512	valid
12.0ms	20×	body	256	valid
5.0ms	43×	body	128	valid
1.0ms	1×	body	2048	valid

Compiler

Compiled 41 to 33 computations (19.5% saved)

simplify32.0ms (0.2%)

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` `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

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.9b

Counts

1 → 1

Compiler

Compiled 20 to 14 computations (30% saved)

localize17.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.5b	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
3.0b	(sin.f64 (-.f64 lambda1 lambda2))
3.1b	(cos.f64 (-.f64 lambda1 lambda2))

rewrite100.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.6b

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	(cos.f64 (-.f64 lambda1 lambda2))
5.0ms	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
4.0ms	(sin.f64 (-.f64 lambda1 lambda2))
1.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)

series181.0ms (1.2%)

Error

0.8b

Counts

4 → 50

Calls

4 calls:

74.0ms	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
31.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	(cos.f64 (-.f64 lambda1 lambda2))
19.0ms	(sin.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 2534 to 1537 computations (39.3% saved)

simplify117.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

331×	`associate-l_binary64`
322×	`associate-r_binary64`
321×	`distribute-rgt-neg-in_binary64`
308×	`distribute-lft-neg-in_binary64`
272×	`cancel-sign-sub-inv_binary64`
247×	`neg-mul-1_binary64`
229×	`neg-sub0_binary64`
227×	`associate-+l-_binary64`
218×	`sub-neg_binary64`
203×	`associate--l+_binary64`
191×	`distribute-rgt-in_binary64`
174×	`*-commutative_binary64`
165×	`distribute-lft-in_binary64`
125×	`distribute-rgt-out_binary64`
110×	`+-commutative_binary64`
94×	`associate-+l+_binary64`
91×	`associate-+r-_binary64`
86×	`distribute-rgt-out--_binary64`
82×	`associate--r+_binary64`
72×	`unswap-sqr_binary64`
62×	`associate-+r+_binary64`
57×	`sqr-pow_binary64`
55×	`distribute-lft-out_binary64`
48×	`unsub-neg_binary64`
47×	`distribute-lft-out--_binary64`
28×	`+-rgt-identity_binary64` `distribute-lft-neg-out_binary64`
25×	`cube-prod_binary64`
22×	`cube-unmult_binary64`
19×	`unpow3_binary64` `sub0-neg_binary64` `distribute-rgt-neg-out_binary64`
16×	`pow-plus_binary64`
15×	`associate--l-_binary64`
12×	`swap-sqr_binary64`
10×	`distribute-neg-in_binary64`
7×	`pow-sqr_binary64`
6×	`cube-mult_binary64` `distribute-rgt1-in_binary64`
5×	`cancel-sign-sub_binary64` `associate--r-_binary64`
4×	`cos-neg_binary64` `sin-neg_binary64` `rem-sqrt-square_binary64`
3×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `exp-sum_binary64` `mul0-rgt_binary64` `mul0-lft_binary64`
2×	`exp-prod_binary64` `difference-of-squares_binary64`
1×	`prod-exp_binary64` `1-exp_binary64` `rem-3cbrt-lft_binary64` `rem-square-sqrt_binary64` `distribute-lft1-in_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` `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` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `times-frac_binary64` `div-sub_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `-rgt-identity_binary64` `-lft-identity_binary64` `remove-double-neg_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` `distribute-neg-out_binary64` `count-2_binary64` `associate-/r/_binary64` `associate-/l_binary64` `associate-/r_binary64` `associate-l/_binary64`

Counts

94 → 62

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	173	2006
1	399	1858
2	910	1838
3	2512	1816
4	4691	1816
5	5004	1816

prune79.0ms (0.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	49	13	62
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	50	13	63

Error

0.6b

Counts

63 → 13

Compiler

Compiled 1465 to 503 computations (65.7% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(.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) (cos.f64 (-.f64 lambda1 lambda2)))))
0.5b	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
3.1b	(cos.f64 (-.f64 lambda1 lambda2))

rewrite163.0ms (1.1%)

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`
5×	`cancel-sign-sub-inv_binary64`
4×	`cos-sum_binary64`
3×	`cos-diff_binary64` `sub-neg_binary64` `distribute-rgt-in_binary64` `distribute-lft-in_binary64` `associate-l_binary64` `associate-r_binary64`
2×	`associate-+r+_binary64` `associate-*r/_binary64`
1×	`sum-log_binary64` `flip3-+_binary64` `flip-+_binary64` `+-commutative_binary64` `pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `flip3--_binary64` `flip--_binary64` `*-commutative_binary64`

Counts

4 → 56

Calls

4 calls:

9.0ms	(.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))
4.0ms	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 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) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 2140 to 331 computations (84.5% saved)

series349.0ms (2.4%)

Error

0.5b

Counts

4 → 60

Calls

4 calls:

86.0ms	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
80.0ms	(.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))))
42.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) (cos.f64 (-.f64 lambda1 lambda2)))))
24.0ms	(cos.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 4264 to 2465 computations (42.2% saved)

simplify137.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

651×	`cancel-sign-sub-inv_binary64`
649×	`sub-neg_binary64`
261×	`distribute-rgt-neg-in_binary64`
256×	`associate-r_binary64`
236×	`associate--l+_binary64`
231×	`associate-l_binary64`
222×	`distribute-lft-neg-in_binary64`
212×	`neg-mul-1_binary64`
211×	`neg-sub0_binary64`
197×	`distribute-rgt-in_binary64`
186×	`associate--r+_binary64`
160×	`distribute-lft-in_binary64` `*-commutative_binary64`
157×	`unsub-neg_binary64`
91×	`+-commutative_binary64`
74×	`associate-+l-_binary64`
59×	`exp-prod_binary64` `sqr-pow_binary64`
55×	`distribute-lft-neg-out_binary64`
48×	`distribute-rgt-out_binary64`
46×	`distribute-rgt-out--_binary64`
43×	`cube-prod_binary64`
41×	`associate-+l+_binary64`
40×	`distribute-neg-in_binary64`
30×	`distribute-rgt-neg-out_binary64`
27×	`*-rgt-identity_binary64`
23×	`associate-+r+_binary64`
22×	`*-lft-identity_binary64`
18×	`unswap-sqr_binary64`
17×	`unpow3_binary64` `swap-sqr_binary64`
13×	`exp-sum_binary64`
11×	`log-prod_binary64` `cube-mult_binary64`
10×	`cube-unmult_binary64`
7×	`distribute-lft-out_binary64`
6×	`exp-diff_binary64` `distribute-rgt1-in_binary64` `distribute-lft-out--_binary64` `associate--l-_binary64`
5×	`unpow1/2_binary64` `remove-double-neg_binary64` `difference-of-squares_binary64`
4×	`unpow2_binary64` `unpow1_binary64` `rem-sqrt-square_binary64` `div-sub_binary64`
3×	`cos-neg_binary64` `sin-neg_binary64` `pow-plus_binary64` `associate-+r-_binary64`
2×	`sqr-neg_binary64` `+-rgt-identity_binary64` `pow-sqr_binary64` `distribute-neg-out_binary64`
1×	`prod-exp_binary64` `1-exp_binary64` `exp-1-e_binary64` `cube-neg_binary64` `rem-3cbrt-lft_binary64` `rem-square-sqrt_binary64` `mul-1-neg_binary64` `cancel-sign-sub_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-neg_binary64` `e-exp-1_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_binary64` `rem-3cbrt-rft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `times-frac_binary64` `/-rgt-identity_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` `distribute-neg-frac_binary64` `distribute-frac-neg_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`

Counts

116 → 82

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	251	3451
1	669	3148
2	2066	3086
3	4250	3086
4	5248	3086

prune153.0ms (1.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	78	4	82
Fresh	7	5	12
Picked	1	0	1
Done	0	0	0
Total	86	9	95

Error

0.1b

Counts

95 → 9

Compiler

Compiled 2061 to 558 computations (72.9% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite187.0ms (1.3%)

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)

series425.0ms (2.9%)

Error

0.1b

Counts

4 → 62

Calls

4 calls:

144.0ms	(+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
86.0ms	(.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))))
49.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))))))
32.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

Compiler

Compiled 5733 to 2796 computations (51.2% saved)

simplify129.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

631×	`distribute-rgt-in_binary64`
392×	`associate-r_binary64`
337×	`distribute-rgt-neg-in_binary64`
330×	`associate-l_binary64`
297×	`distribute-lft-neg-in_binary64`
207×	`*-commutative_binary64`
205×	`sub-neg_binary64`
128×	`+-commutative_binary64`
117×	`cancel-sign-sub-inv_binary64`
112×	`distribute-rgt-out_binary64`
96×	`associate--l+_binary64`
91×	`distribute-neg-in_binary64`
85×	`neg-sub0_binary64`
84×	`neg-mul-1_binary64`
74×	`sqr-pow_binary64`
71×	`distribute-lft-in_binary64` `associate-+l+_binary64`
65×	`distribute-rgt-out--_binary64`
56×	`associate--r+_binary64`
55×	`associate-+r+_binary64`
52×	`unsub-neg_binary64`
49×	`distribute-lft-neg-out_binary64`
41×	`*-rgt-identity_binary64`
40×	`exp-prod_binary64`
33×	`cube-prod_binary64`
28×	`*-lft-identity_binary64`
26×	`unswap-sqr_binary64`
23×	`distribute-lft-out_binary64`
20×	`swap-sqr_binary64`
18×	`distribute-rgt-neg-out_binary64`
16×	`exp-sum_binary64`
14×	`log-prod_binary64` `unpow3_binary64`
12×	`distribute-lft-out--_binary64`
11×	`cube-mult_binary64`
5×	`cube-unmult_binary64` `difference-of-squares_binary64` `distribute-rgt1-in_binary64`
4×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64`
3×	`pow-sqr_binary64`
2×	`exp-diff_binary64` `div-sub_binary64` `distribute-lft1-in_binary64` `associate-+r-_binary64`
1×	`prod-exp_binary64` `1-exp_binary64` `exp-1-e_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` `pow-plus_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` `sqr-abs_binary64` `sqr-neg_binary64` `rem-sqrt-square_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

125 → 104

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	302	4460
1	828	4067
2	2888	3959
3	5439	3959

prune194.0ms (1.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	103	1	104
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	103	10	113

Error

0.1b

Counts

113 → 10

Compiler

Compiled 3571 to 781 computations (78.1% saved)

localize37.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1))))) (cbrt.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1))))))
0.6b	(cbrt.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))
0.6b	(cbrt.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))
0.6b	(cbrt.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))

rewrite316.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

56×	`associate-*r/_binary64`
52×	`sin-cos-mult_binary64` `cbrt-div_binary64`
16×	`frac-times_binary64`
13×	`frac-sub_binary64` `sub-div_binary64` `flip3--_binary64` `flip--_binary64`
11×	`pow1_binary64`
10×	`add-sqr-sqrt_binary64`
9×	`pow1/3_binary64`
8×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
7×	`cbrt-prod_binary64`
6×	`add-exp-log_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `swap-sqr_binary64` `associate-l/_binary64` `associate-l_binary64` `associate-r*_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `pow-sqr_binary64`
1×	`pow2_binary64` `pow-plus_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `*-commutative_binary64`

Counts

4 → 94

Calls

4 calls:

13.0ms	(.f64 (cbrt.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1))))) (cbrt.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1))))))
9.0ms	(cbrt.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))
7.0ms	(cbrt.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))
7.0ms	(cbrt.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))

Compiler

Compiled 7874 to 771 computations (90.2% saved)

series745.0ms (5.1%)

Error

0.1b

Counts

4 → 47

Calls

4 calls:

181.0ms	(.f64 (cbrt.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1))))) (cbrt.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1))))))
165.0ms	(cbrt.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))
164.0ms	(cbrt.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))
164.0ms	(cbrt.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))

Compiler

Compiled 9237 to 3818 computations (58.7% saved)

simplify196.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

512×	`*-commutative_binary64`
429×	`distribute-rgt-neg-in_binary64`
422×	`cancel-sign-sub-inv_binary64`
412×	`distribute-lft-neg-in_binary64`
396×	`distribute-rgt-in_binary64`
235×	`unswap-sqr_binary64`
190×	`associate-r_binary64`
166×	`associate-l_binary64`
151×	`sub-neg_binary64` `sqr-pow_binary64`
140×	`neg-sub0_binary64`
139×	`neg-mul-1_binary64`
95×	`distribute-lft-in_binary64`
79×	`log-prod_binary64`
51×	`distribute-lft-neg-out_binary64`
49×	`exp-prod_binary64`
44×	`unsub-neg_binary64`
42×	`cube-prod_binary64` `distribute-rgt-neg-out_binary64`
41×	`+-commutative_binary64`
37×	`swap-sqr_binary64`
36×	`distribute-rgt-out_binary64`
33×	`times-frac_binary64`
30×	`associate-+l+_binary64`
26×	`associate--r+_binary64` `associate-+r+_binary64`
24×	`distribute-rgt-out--_binary64`
23×	`associate--l+_binary64`
22×	`difference-of-squares_binary64`
19×	`pow-sqr_binary64` `distribute-neg-in_binary64` `associate-+l-_binary64`
17×	`pow-plus_binary64` `distribute-lft-out_binary64` `associate-+r-_binary64`
16×	`+-rgt-identity_binary64`
15×	`unpow1/3_binary64` `associate-/l*_binary64`
14×	`log-pow_binary64` `rem-sqrt-square_binary64` `sub0-neg_binary64`
13×	`unpow3_binary64` `-rgt-identity_binary64` `associate-/r_binary64`
12×	`cube-unmult_binary64` `*-lft-identity_binary64`
8×	`unpow1/2_binary64` `cube-mult_binary64`
7×	`unpow2_binary64` `unpow1_binary64`
3×	`count-2_binary64`
2×	`rem-3cbrt-lft_binary64` `distribute-lft-out--_binary64` `associate-/r/_binary64` `associate--l-_binary64`
1×	`1-exp_binary64` `exp-1-e_binary64` `rem-3cbrt-rft_binary64` `rem-cbrt-cube_binary64` `sqr-neg_binary64` `rem-square-sqrt_binary64` `mul-1-neg_binary64` `+-inverses_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` `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` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_binary64` `cube-neg_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `div-sub_binary64` `/-rgt-identity_binary64` `remove-double-neg_binary64` `--rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_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-rgt1-in_binary64` `distribute-lft1-in_binary64` `associate-/l/_binary64` `associate-l/_binary64` `associate-*r/_binary64` `associate--r-_binary64`

Counts

141 → 128

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	202	6630
1	461	6210
2	1402	5625
3	2996	5596
4	5012	5596

prune290.0ms (2%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	124	4	128
Fresh	0	8	8
Picked	1	0	1
Done	0	1	1
Total	125	13	138

Error

0.1b

Counts

138 → 13

Compiler

Compiled 6601 to 943 computations (85.7% saved)

regimes3.6s (24.7%)

Accuracy

Total 0.1b remaining (54%)

Threshold costs 0.1b (54%)

Compiler

Compiled 73248 to 39526 computations (46% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

10×	`*-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` `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	23	61
1	38	61
2	48	61
3	54	61
4	58	61
5	59	61
6	59	61

end1.0ms (0%)

Compiler: Compiled 37 to 22 computations (40.5% saved)

sample4.8s (33.3%)

Algorithm

1×

intervals

Results

2.8s	4450×	body	1024	valid
706.0ms	1727×	body	512	valid
196.0ms	754×	body	256	valid
132.0ms	982×	body	128	valid
124.0ms	87×	body	2048	valid

Compiler

Compiled 630 to 354 computations (43.8% 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 (14.2%)

sample138.0ms (1%)

simplify32.0ms (0.2%)

prune2.0ms (0%)

localize17.0ms (0.1%)

rewrite100.0ms (0.7%)

series181.0ms (1.2%)

simplify117.0ms (0.8%)

prune79.0ms (0.5%)

localize24.0ms (0.2%)

rewrite163.0ms (1.1%)

series349.0ms (2.4%)

simplify137.0ms (0.9%)

prune153.0ms (1.1%)

localize26.0ms (0.2%)

rewrite187.0ms (1.3%)

series425.0ms (2.9%)

simplify129.0ms (0.9%)

prune194.0ms (1.3%)

localize37.0ms (0.3%)

rewrite316.0ms (2.2%)

series745.0ms (5.1%)

simplify196.0ms (1.3%)

prune290.0ms (2%)

regimes3.6s (24.7%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end1.0ms (0%)

sample4.8s (33.3%)

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