Details

analyze2.0s (17%)

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)

sample151.0ms (1.3%)

Algorithm

1×

intervals

Results

97.0ms	152×	body	1024	valid
23.0ms	61×	body	512	valid
8.0ms	20×	body	128	valid
6.0ms	21×	body	256	valid
2.0ms	2×	body	2048	valid

Compiler

Compiled 41 to 33 computations (19.5% saved)

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

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

rewrite101.0ms (0.8%)

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×	`sin-sum_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `cos-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))
4.0ms	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (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)

series189.0ms (1.6%)

Error

0.6b

Counts

4 → 51

Calls

4 calls:

78.0ms	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
33.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)))))
22.0ms	(cos.f64 (-.f64 lambda1 lambda2))
21.0ms	(sin.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 2683 to 1597 computations (40.5% saved)

simplify114.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

368×	`distribute-rgt-neg-in_binary64`
354×	`distribute-lft-neg-in_binary64`
352×	`associate-l_binary64`
342×	`associate-r_binary64`
274×	`distribute-rgt-in_binary64`
271×	`cancel-sign-sub-inv_binary64`
268×	`neg-mul-1_binary64`
248×	`neg-sub0_binary64`
243×	`distribute-lft-in_binary64`
208×	`sub-neg_binary64`
203×	`associate-+l+_binary64`
183×	`*-commutative_binary64`
141×	`associate-+l-_binary64`
123×	`distribute-rgt-out_binary64`
90×	`+-commutative_binary64`
84×	`distribute-rgt-out--_binary64`
74×	`associate--l+_binary64`
72×	`associate-+r-_binary64`
70×	`unsub-neg_binary64`
55×	`distribute-lft-neg-out_binary64`
52×	`distribute-lft-out_binary64`
50×	`sqr-pow_binary64`
47×	`associate--r+_binary64`
46×	`distribute-rgt-neg-out_binary64`
44×	`unswap-sqr_binary64`
37×	`associate-+r+_binary64`
36×	`distribute-lft-out--_binary64`
28×	`+-rgt-identity_binary64`
20×	`sub0-neg_binary64`
19×	`cube-unmult_binary64`
17×	`associate--l-_binary64`
16×	`associate--r-_binary64`
14×	`unpow3_binary64`
12×	`pow-plus_binary64`
11×	`remove-double-neg_binary64` `cancel-sign-sub_binary64`
9×	`cube-prod_binary64` `distribute-neg-in_binary64`
7×	`distribute-rgt1-in_binary64`
6×	`rem-sqrt-square_binary64`
5×	`cos-neg_binary64` `sin-neg_binary64` `pow-sqr_binary64` `difference-of-squares_binary64`
4×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `cube-mult_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` `1-exp_binary64` `rem-3cbrt-lft_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` `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` `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

95 → 63

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	174	1986
1	407	1833
2	921	1816
3	2415	1788
4	4786	1788
5	5072	1788

prune66.0ms (0.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	54	9	63
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	55	9	64

Error

0.5b

Counts

64 → 9

Compiler

Compiled 1339 to 400 computations (70.1% saved)

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

rewrite145.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`
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:

8.0ms	(.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))))
5.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)

series320.0ms (2.7%)

Error

0.4b

Counts

4 → 56

Calls

4 calls:

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

Compiler

Compiled 3985 to 2336 computations (41.4% saved)

simplify148.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

498×	`cancel-sign-sub-inv_binary64`
424×	`neg-mul-1_binary64`
377×	`sub-neg_binary64`
241×	`distribute-rgt-neg-in_binary64`
233×	`associate-r_binary64`
211×	`associate-l_binary64`
205×	`distribute-lft-neg-in_binary64`
184×	`distribute-rgt-in_binary64`
183×	`neg-sub0_binary64`
157×	`distribute-lft-in_binary64`
150×	`unsub-neg_binary64`
145×	`distribute-lft-neg-out_binary64`
144×	`*-commutative_binary64`
134×	`+-commutative_binary64`
126×	`exp-prod_binary64` `distribute-rgt-neg-out_binary64`
92×	`associate--l+_binary64`
91×	`associate-+l+_binary64`
86×	`sqr-pow_binary64`
70×	`cancel-sign-sub_binary64`
66×	`associate-+r+_binary64`
65×	`associate--r+_binary64`
54×	`associate-+l-_binary64`
53×	`associate-+r-_binary64`
52×	`*-rgt-identity_binary64`
47×	`cube-prod_binary64`
46×	`*-lft-identity_binary64`
45×	`distribute-rgt-out--_binary64`
41×	`+-rgt-identity_binary64`
39×	`distribute-rgt-out_binary64`
35×	`exp-sum_binary64`
31×	`swap-sqr_binary64`
30×	`unswap-sqr_binary64`
27×	`sub0-neg_binary64` `difference-of-squares_binary64`
24×	`distribute-neg-in_binary64`
16×	`unpow3_binary64` `exp-diff_binary64` `mul0-rgt_binary64` `mul0-lft_binary64`
12×	`log-prod_binary64`
11×	`cube-unmult_binary64` `remove-double-neg_binary64`
9×	`cube-mult_binary64` `div-sub_binary64` `pow-sqr_binary64`
8×	`exp-neg_binary64` `sqr-neg_binary64`
7×	`unpow1/2_binary64` `rem-sqrt-square_binary64`
6×	`distribute-rgt1-in_binary64` `distribute-lft-out_binary64`
5×	`cos-neg_binary64`
4×	`sin-neg_binary64` `unpow2_binary64` `pow-plus_binary64` `unpow1_binary64`
3×	`cube-neg_binary64` `distribute-neg-out_binary64` `distribute-lft-out--_binary64` `associate--l-_binary64`
1×	`prod-exp_binary64` `1-exp_binary64` `exp-1-e_binary64` `rem-3cbrt-lft_binary64` `rem-square-sqrt_binary64` `mul-1-neg_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` `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` `--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-/l/_binary64` `associate-/r/_binary64` `associate-/l_binary64` `associate-/r_binary64` `associate-l/_binary64` `associate-*r/_binary64` `associate--r-_binary64`

Counts

112 → 78

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	225	3184
1	585	2901
2	1729	2857
3	3677	2857
4	4731	2857
5	5041	2857

prune117.0ms (1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	75	3	78
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	78	9	87

Error

0.1b

Counts

87 → 9

Compiler

Compiled 1902 to 478 computations (74.9% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite168.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

11×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`add-sqr-sqrt_binary64`
7×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
6×	`add-log-exp_binary64` `associate-r_binary64`
4×	`pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `associate-l_binary64`
2×	`sin-mult_binary64` `*-commutative_binary64`
1×	`sum-log_binary64` `flip3-+_binary64` `flip-+_binary64` `+-commutative_binary64` `unswap-sqr_binary64` `associate-*l/_binary64`

Counts

4 → 56

Calls

4 calls:

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

Compiler

Compiled 2491 to 327 computations (86.9% saved)

series317.0ms (2.6%)

Error

0.1b

Counts

4 → 50

Calls

4 calls:

98.0ms	(+.f64 (cos.f64 phi1) (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (cos.f64 phi2))))
57.0ms	(.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (cos.f64 phi2))
48.0ms	(atan2.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (+.f64 (+.f64 (cos.f64 phi1) (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (cos.f64 phi2)))) (.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (cos.f64 phi2))))
29.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

Compiler

Compiled 4776 to 2351 computations (50.8% saved)

simplify137.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

439×	`distribute-rgt-neg-in_binary64`
410×	`distribute-lft-neg-in_binary64`
385×	`cancel-sign-sub-inv_binary64`
254×	`neg-mul-1_binary64` `associate-r_binary64`
243×	`associate-l_binary64`
218×	`sub-neg_binary64`
201×	`distribute-rgt-in_binary64`
169×	`neg-sub0_binary64`
156×	`distribute-rgt-out_binary64`
131×	`*-commutative_binary64`
117×	`distribute-lft-out--_binary64`
116×	`sqr-pow_binary64`
115×	`distribute-rgt-out--_binary64`
88×	`distribute-lft-out_binary64`
85×	`+-commutative_binary64`
69×	`associate-+l+_binary64`
67×	`unswap-sqr_binary64`
55×	`associate-+r+_binary64`
48×	`associate--l+_binary64`
47×	`distribute-lft-in_binary64`
45×	`exp-prod_binary64`
40×	`cube-prod_binary64` `swap-sqr_binary64`
35×	`associate-+r-_binary64`
32×	`unsub-neg_binary64`
30×	`associate-+l-_binary64`
28×	`log-prod_binary64`
27×	`+-rgt-identity_binary64`
20×	`distribute-lft-neg-out_binary64`
18×	`unpow3_binary64` `cube-unmult_binary64` `sub0-neg_binary64`
17×	`pow-sqr_binary64`
16×	`*-lft-identity_binary64`
13×	`*-rgt-identity_binary64`
11×	`cube-mult_binary64` `rem-sqrt-square_binary64`
10×	`associate--r+_binary64`
9×	`unpow1/2_binary64`
8×	`pow-plus_binary64`
6×	`distribute-rgt1-in_binary64`
5×	`exp-sum_binary64` `difference-of-squares_binary64` `distribute-rgt-neg-out_binary64`
4×	`unpow2_binary64` `unpow1_binary64` `distribute-neg-in_binary64` `distribute-lft1-in_binary64`
3×	`associate-/l*_binary64`
2×	`cancel-sign-sub_binary64`
1×	`cos-neg_binary64` `prod-exp_binary64` `1-exp_binary64` `exp-1-e_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` `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-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-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-square-sqrt_binary64` `times-frac_binary64` `div-sub_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `remove-double-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` `distribute-neg-out_binary64` `count-2_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `associate-/r_binary64` `associate-l/_binary64` `associate-r/_binary64` `associate--r-_binary64` `associate--l-_binary64`

Counts

106 → 79

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	200	2989
1	499	2605
2	1568	2541
3	2960	2529
4	4903	2529
5	4970	2529

prune159.0ms (1.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	78	1	79
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	79	9	88

Error

0.1b

Counts

88 → 9

Compiler

Compiled 2610 to 535 computations (79.5% saved)

localize31.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (cos.f64 phi2))
0.3b	(cbrt.f64 (cos.f64 phi2))
0.5b	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
1.8b	(cos.f64 (-.f64 lambda1 lambda2))

rewrite154.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

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

Counts

4 → 47

Calls

4 calls:

4.0ms	(cos.f64 (-.f64 lambda1 lambda2))
4.0ms	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
1.0ms	(cbrt.f64 (cos.f64 phi2))
1.0ms	(cbrt.f64 (cos.f64 phi2))

Compiler

Compiled 2059 to 313 computations (84.8% saved)

series225.0ms (1.9%)

Error

0.1b

Counts

4 → 39

Calls

4 calls:

83.0ms	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
28.0ms	(cos.f64 (-.f64 lambda1 lambda2))
25.0ms	(cbrt.f64 (cos.f64 phi2))
22.0ms	(cbrt.f64 (cos.f64 phi2))

Compiler

Compiled 3666 to 1889 computations (48.5% saved)

simplify96.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

438×	`sub-neg_binary64`
376×	`distribute-rgt-neg-in_binary64`
354×	`distribute-lft-neg-in_binary64`
293×	`*-commutative_binary64`
287×	`cancel-sign-sub-inv_binary64`
232×	`unsub-neg_binary64`
230×	`distribute-rgt-in_binary64`
213×	`associate-+l+_binary64`
209×	`distribute-lft-in_binary64`
206×	`neg-mul-1_binary64`
187×	`neg-sub0_binary64`
177×	`associate-+r+_binary64`
175×	`unswap-sqr_binary64`
136×	`+-commutative_binary64`
119×	`associate-+l-_binary64`
105×	`associate-r_binary64`
82×	`associate-l_binary64`
72×	`sqr-pow_binary64`
63×	`associate-+r-_binary64`
61×	`associate--l+_binary64`
59×	`distribute-rgt-out_binary64`
52×	`exp-prod_binary64`
44×	`cube-prod_binary64`
42×	`log-prod_binary64` `distribute-lft-neg-out_binary64`
41×	`associate--r+_binary64`
34×	`distribute-rgt-out--_binary64`
32×	`distribute-rgt-neg-out_binary64`
24×	`+-rgt-identity_binary64`
19×	`remove-double-neg_binary64` `cancel-sign-sub_binary64`
18×	`sub0-neg_binary64` `swap-sqr_binary64`
16×	`unpow3_binary64` `rem-sqrt-square_binary64`
15×	`associate--r-_binary64`
14×	`cube-unmult_binary64` `associate--l-_binary64`
13×	`pow-plus_binary64`
12×	`pow-sqr_binary64`
11×	`log-pow_binary64` `associate-/l*_binary64`
9×	`distribute-neg-in_binary64` `distribute-lft-out_binary64`
8×	`cube-mult_binary64`
7×	`distribute-lft-out--_binary64`
6×	`exp-sum_binary64` `distribute-rgt1-in_binary64`
5×	`cos-neg_binary64` `unpow2_binary64` `difference-of-squares_binary64`
4×	`sin-neg_binary64` `unpow1/2_binary64` `unpow1_binary64`
3×	`count-2_binary64`
2×	`rem-3cbrt-lft_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `distribute-neg-out_binary64`
1×	`unpow1/3_binary64` `prod-exp_binary64` `1-exp_binary64` `sqr-neg_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-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` `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` `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` `associate-/r/_binary64` `associate-/r_binary64` `associate-*l/_binary64`

Counts

86 → 49

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	152	1314
1	368	1223
2	985	1211
3	2055	1192
4	4388	1192
5	4963	1192

prune90.0ms (0.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	48	1	49
Fresh	0	7	7
Picked	1	0	1
Done	0	1	1
Total	49	9	58

Error

0.1b

Counts

58 → 9

Compiler

Compiled 1338 to 239 computations (82.1% saved)

regimes2.4s (20.1%)

Accuracy

Total 0.1b remaining (49.2%)

Threshold costs 0.1b (49.2%)

Compiler

Compiled 45171 to 27731 computations (38.6% 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 (39.5%)

Algorithm

1×

intervals

Results

2.8s	4476×	body	1024	valid
706.0ms	1778×	body	512	valid
196.0ms	703×	body	256	valid
152.0ms	106×	body	2048	valid
118.0ms	937×	body	128	valid

Compiler

Compiled 417 to 240 computations (42.4% 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.0s (17%)

sample151.0ms (1.3%)

simplify30.0ms (0.2%)

prune2.0ms (0%)

localize16.0ms (0.1%)

rewrite101.0ms (0.8%)

series189.0ms (1.6%)

simplify114.0ms (0.9%)

prune66.0ms (0.5%)

localize23.0ms (0.2%)

rewrite145.0ms (1.2%)

series320.0ms (2.7%)

simplify148.0ms (1.2%)

prune117.0ms (1%)

localize26.0ms (0.2%)

rewrite168.0ms (1.4%)

series317.0ms (2.6%)

simplify137.0ms (1.1%)

prune159.0ms (1.3%)

localize31.0ms (0.3%)

rewrite154.0ms (1.3%)

series225.0ms (1.9%)

simplify96.0ms (0.8%)

prune90.0ms (0.7%)

regimes2.4s (20.1%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end1.0ms (0%)

sample4.8s (39.5%)

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