Details

analyze2.1s (15.7%)

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)

sample144.0ms (1.1%)

Algorithm

1×

intervals

Results

86.0ms	129×	body	1024	valid
24.0ms	59×	body	512	valid
8.0ms	6×	body	2048	valid
7.0ms	28×	body	256	valid
4.0ms	34×	body	128	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` `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

1.1b

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))))
4.6b	(cos.f64 (-.f64 lambda1 lambda2))
4.7b	(sin.f64 (-.f64 lambda1 lambda2))

rewrite96.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.9b

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

series201.0ms (1.5%)

Error

1.0b

Counts

4 → 56

Calls

4 calls:

75.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)))))
23.0ms	(cos.f64 (-.f64 lambda1 lambda2))
20.0ms	(sin.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 2963 to 1734 computations (41.5% saved)

simplify130.0ms (1%)

Algorithm

1×	egg-herbie

Rules

567×	`distribute-rgt-neg-in_binary64`
548×	`distribute-lft-neg-in_binary64`
443×	`associate-r_binary64`
431×	`associate-l_binary64`
430×	`neg-mul-1_binary64`
418×	`cancel-sign-sub-inv_binary64`
334×	`sub-neg_binary64`
227×	`*-commutative_binary64`
137×	`+-commutative_binary64`
127×	`neg-sub0_binary64`
120×	`unsub-neg_binary64`
111×	`associate-+l+_binary64`
110×	`associate--l+_binary64`
80×	`unswap-sqr_binary64`
79×	`distribute-lft-neg-out_binary64`
73×	`associate-+r+_binary64`
68×	`distribute-rgt-neg-out_binary64`
66×	`sqr-pow_binary64` `associate-+l-_binary64`
63×	`distribute-rgt-in_binary64`
61×	`associate-+r-_binary64`
41×	`distribute-lft-in_binary64`
40×	`associate--r+_binary64`
37×	`+-rgt-identity_binary64` `cancel-sign-sub_binary64`
35×	`cube-prod_binary64`
32×	`sub0-neg_binary64`
26×	`cube-unmult_binary64`
23×	`unpow3_binary64`
19×	`pow-plus_binary64`
18×	`distribute-rgt-out_binary64`
17×	`remove-double-neg_binary64` `distribute-neg-in_binary64`
16×	`distribute-rgt-out--_binary64`
12×	`swap-sqr_binary64`
8×	`pow-sqr_binary64` `distribute-neg-out_binary64`
7×	`cube-mult_binary64` `distribute-lft-out_binary64`
6×	`rem-sqrt-square_binary64` `associate--l-_binary64`
5×	`cos-neg_binary64` `sin-neg_binary64` `difference-of-squares_binary64` `distribute-rgt1-in_binary64` `distribute-lft-out--_binary64`
4×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64`
3×	`exp-sum_binary64` `mul0-rgt_binary64` `mul0-lft_binary64`
2×	`exp-prod_binary64`
1×	`prod-exp_binary64` `1-exp_binary64` `cube-neg_binary64` `rem-3cbrt-lft_binary64` `sqr-neg_binary64` `rem-square-sqrt_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` `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` `distribute-lft1-in_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

100 → 68

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	197	2193
1	485	2023
2	1202	1999
3	3403	1999
4	4727	1999
5	5040	1999

prune92.0ms (0.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	57	11	68
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	58	11	69

Error

0.9b

Counts

69 → 11

Compiler

Compiled 1640 to 524 computations (68% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))
0.2b	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
0.5b	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
4.6b	(cos.f64 (-.f64 lambda1 lambda2))

rewrite166.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

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

Counts

4 → 64

Calls

4 calls:

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

Compiler

Compiled 2129 to 402 computations (81.1% saved)

series295.0ms (2.2%)

Error

0.6b

Counts

4 → 60

Calls

4 calls:

84.0ms	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
51.0ms	(*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))
30.0ms	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
25.0ms	(cos.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 4310 to 2396 computations (44.4% saved)

simplify164.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

547×	`cancel-sign-sub-inv_binary64`
406×	`distribute-rgt-neg-in_binary64`
399×	`*-commutative_binary64`
395×	`neg-mul-1_binary64`
370×	`sub-neg_binary64`
365×	`neg-sub0_binary64`
346×	`distribute-lft-neg-in_binary64`
206×	`associate-r_binary64`
203×	`unsub-neg_binary64`
182×	`associate-l_binary64`
168×	`+-commutative_binary64`
140×	`associate--l+_binary64`
139×	`distribute-rgt-neg-out_binary64`
138×	`distribute-lft-neg-out_binary64`
132×	`associate-+l+_binary64`
101×	`cancel-sign-sub_binary64`
100×	`associate-+r+_binary64`
93×	`distribute-rgt-out--_binary64`
90×	`sqr-pow_binary64`
77×	`associate-+l-_binary64`
72×	`cube-prod_binary64`
70×	`associate-+r-_binary64`
59×	`distribute-rgt-in_binary64`
50×	`unswap-sqr_binary64`
47×	`+-rgt-identity_binary64`
44×	`associate--r+_binary64`
43×	`distribute-neg-out_binary64`
40×	`distribute-lft-in_binary64`
33×	`unpow3_binary64` `sub0-neg_binary64`
32×	`exp-prod_binary64`
30×	`distribute-rgt-out_binary64`
29×	`*-rgt-identity_binary64`
26×	`log-prod_binary64`
25×	`distribute-neg-in_binary64`
23×	`*-lft-identity_binary64`
22×	`swap-sqr_binary64`
17×	`cube-unmult_binary64`
15×	`remove-double-neg_binary64`
14×	`difference-of-squares_binary64`
13×	`pow-sqr_binary64`
11×	`rem-sqrt-square_binary64` `distribute-rgt1-in_binary64`
8×	`unpow1/2_binary64` `sqr-neg_binary64` `distribute-lft-out--_binary64`
7×	`exp-sum_binary64` `cube-mult_binary64` `cube-neg_binary64` `distribute-lft-out_binary64`
6×	`cos-neg_binary64` `pow-plus_binary64`
5×	`sin-neg_binary64`
4×	`unpow2_binary64` `unpow1_binary64`
3×	`div-sub_binary64` `distribute-lft1-in_binary64`
2×	`exp-diff_binary64` `exp-neg_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `associate--r-_binary64`
1×	`prod-exp_binary64` `1-exp_binary64` `exp-1-e_binary64` `rem-3cbrt-lft_binary64` `rem-square-sqrt_binary64` `--rgt-identity_binary64` `distribute-frac-neg_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` `mul-1-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` `count-2_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `associate-/l_binary64` `associate-/r_binary64` `associate-l/_binary64` `associate-*r/_binary64` `associate--l-_binary64`

Counts

124 → 80

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	240	2346
1	601	2146
2	1649	2084
3	3172	2040
4	4471	2040
5	4984	2040
6	4949	2040

prune133.0ms (1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	78	2	80
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	83	8	91

Error

0.1b

Counts

91 → 8

Compiler

Compiled 1990 to 534 computations (73.2% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

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.2b	(*.f64 (cos.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)))))

rewrite149.0ms (1.1%)

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`
2×	`associate-+r+_binary64` `pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `*-commutative_binary64`
1×	`sum-log_binary64` `flip3-+_binary64` `flip-+_binary64` `distribute-rgt-in_binary64` `distribute-lft-in_binary64` `+-commutative_binary64` `sin-mult_binary64`

Counts

4 → 57

Calls

4 calls:

5.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
4.0ms	(*.f64 (cos.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 2394 to 354 computations (85.2% saved)

series347.0ms (2.6%)

Error

0.1b

Counts

4 → 56

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)))))
46.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))))))
34.0ms	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
30.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

Compiler

Compiled 5108 to 2534 computations (50.4% saved)

simplify132.0ms (1%)

Algorithm

1×	egg-herbie

Rules

787×	`cancel-sign-sub-inv_binary64`
488×	`distribute-rgt-in_binary64`
274×	`distribute-rgt-neg-in_binary64` `associate-r_binary64`
247×	`distribute-lft-neg-in_binary64`
235×	`associate-l_binary64`
226×	`neg-mul-1_binary64` `neg-sub0_binary64`
224×	`sub-neg_binary64`
158×	`*-commutative_binary64`
127×	`sqr-pow_binary64`
122×	`distribute-neg-in_binary64`
99×	`+-commutative_binary64`
95×	`unsub-neg_binary64`
86×	`distribute-rgt-out_binary64`
78×	`associate--l+_binary64`
69×	`unswap-sqr_binary64`
62×	`distribute-lft-in_binary64`
58×	`exp-prod_binary64`
52×	`associate-+l+_binary64`
41×	`swap-sqr_binary64`
38×	`associate-+r+_binary64`
37×	`distribute-rgt-out--_binary64`
35×	`associate--r+_binary64`
28×	`distribute-lft-neg-out_binary64`
23×	`*-rgt-identity_binary64` `distribute-lft-out_binary64`
22×	`cube-prod_binary64`
16×	`log-prod_binary64` `cube-unmult_binary64`
15×	`pow-sqr_binary64`
13×	`unpow3_binary64` `exp-sum_binary64` `*-lft-identity_binary64`
11×	`distribute-lft-out--_binary64`
8×	`cube-mult_binary64` `distribute-rgt-neg-out_binary64`
6×	`unpow1/2_binary64`
5×	`pow-plus_binary64`
4×	`unpow2_binary64` `unpow1_binary64` `rem-sqrt-square_binary64` `distribute-rgt1-in_binary64`
3×	`difference-of-squares_binary64`
1×	`prod-exp_binary64` `1-exp_binary64` `exp-1-e_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` `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-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` `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` `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

113 → 85

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	254	3487
1	671	3183
2	2212	3105
3	4194	3105
4	5030	3105

prune154.0ms (1.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	83	2	85
Fresh	2	5	7
Picked	1	0	1
Done	0	0	0
Total	86	7	93

Error

0.1b

Counts

93 → 7

Compiler

Compiled 2921 to 671 computations (77% saved)

localize34.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite186.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

11×	`add-sqr-sqrt_binary64`
9×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64` `add-log-exp_binary64`
7×	`pow1_binary64`
6×	`exp-prod_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`log-pow_binary64` `log-prod_binary64`
3×	`associate-l_binary64` `associate-r_binary64`
2×	`exp-sum_binary64` `sum-log_binary64` `associate-+r+_binary64` `rem-exp-log_binary64`
1×	`rem-log-exp_binary64` `flip3-+_binary64` `flip-+_binary64` `distribute-rgt-in_binary64` `distribute-lft-in_binary64` `+-commutative_binary64` `pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `*-commutative_binary64`

Counts

4 → 60

Calls

4 calls:

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

Compiler

Compiled 2660 to 337 computations (87.3% saved)

series734.0ms (5.6%)

Error

0.1b

Counts

4 → 77

Calls

4 calls:

259.0ms	(log.f64 (exp.f64 (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))))
187.0ms	(exp.f64 (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))))))
144.0ms	(+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))
36.0ms	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))

Compiler

Compiled 8663 to 4124 computations (52.4% saved)

simplify146.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

530×	`associate-r_binary64`
390×	`distribute-rgt-neg-in_binary64`
381×	`associate-l_binary64`
255×	`*-commutative_binary64`
228×	`unswap-sqr_binary64`
227×	`sub-neg_binary64`
156×	`+-commutative_binary64`
150×	`cancel-sign-sub-inv_binary64`
137×	`associate-+l+_binary64`
134×	`associate--l+_binary64`
107×	`associate-+r+_binary64`
102×	`distribute-neg-in_binary64`
94×	`sqr-pow_binary64`
78×	`neg-mul-1_binary64` `neg-sub0_binary64`
69×	`associate--r+_binary64`
64×	`distribute-rgt-in_binary64`
61×	`distribute-lft-in_binary64`
59×	`exp-prod_binary64` `unsub-neg_binary64`
48×	`exp-sum_binary64`
39×	`log-prod_binary64`
31×	`distribute-lft-neg-out_binary64`
28×	`distribute-lft-neg-in_binary64`
26×	`prod-exp_binary64` `swap-sqr_binary64`
25×	`rem-log-exp_binary64`
19×	`log-pow_binary64` `cube-prod_binary64`
17×	`*-rgt-identity_binary64`
15×	`distribute-rgt-out_binary64`
13×	`pow-sqr_binary64`
12×	`*-lft-identity_binary64`
11×	`distribute-lft-out_binary64`
9×	`unpow3_binary64` `unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `cube-mult_binary64`
7×	`distribute-rgt-neg-out_binary64`
5×	`cube-unmult_binary64`
3×	`distribute-rgt1-in_binary64` `distribute-rgt-out--_binary64`
2×	`rem-sqrt-square_binary64` `count-2_binary64`
1×	`pow-plus_binary64` `1-exp_binary64` `exp-1-e_binary64` `rem-exp-log_binary64` `difference-of-squares_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-0_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` `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-lft1-in_binary64` `distribute-lft-out--_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

137 → 111

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	346	5493
1	959	4964
2	3691	4964
3	5145	4964

prune170.0ms (1.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	110	1	111
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	110	8	118

Error

0.1b

Counts

118 → 8

Compiler

Compiled 4094 to 804 computations (80.4% saved)

regimes2.7s (20.6%)

Accuracy

Total 0.1b remaining (46%)

Threshold costs 0.1b (46%)

Compiler

Compiled 46347 to 29621 computations (36.1% 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` `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)

sample4.8s (36.5%)

Algorithm

1×

intervals

Results

2.9s	4405×	body	1024	valid
733.0ms	1763×	body	512	valid
196.0ms	769×	body	256	valid
169.0ms	121×	body	2048	valid
116.0ms	942×	body	128	valid

Compiler

Compiled 347 to 218 computations (37.2% 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.7%)

sample144.0ms (1.1%)

simplify36.0ms (0.3%)

prune1.0ms (0%)

localize16.0ms (0.1%)

rewrite96.0ms (0.7%)

series201.0ms (1.5%)

simplify130.0ms (1%)

prune92.0ms (0.7%)

localize27.0ms (0.2%)

rewrite166.0ms (1.3%)

series295.0ms (2.2%)

simplify164.0ms (1.2%)

prune133.0ms (1%)

localize25.0ms (0.2%)

rewrite149.0ms (1.1%)

series347.0ms (2.6%)

simplify132.0ms (1%)

prune154.0ms (1.2%)

localize34.0ms (0.3%)

rewrite186.0ms (1.4%)

series734.0ms (5.6%)

simplify146.0ms (1.1%)

prune170.0ms (1.3%)

regimes2.7s (20.6%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end1.0ms (0%)

sample4.8s (36.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