Details

analyze4.1s (23.1%)

Algorithm

1×	search
2×	egg-herbie

Rules

966×	`distribute-rgt-in_binary64`
910×	`unsub-neg_binary64`
843×	`distribute-lft-in_binary64`
580×	`distribute-rgt-neg-out_binary64`
450×	`distribute-lft-neg-out_binary64`
437×	`neg-sub0_binary64`
376×	`neg-mul-1_binary64`
344×	`distribute-rgt-neg-in_binary64`
295×	`sub-neg_binary64`
276×	`*-commutative_binary64`
230×	`cancel-sign-sub-inv_binary64`
180×	`distribute-neg-out_binary64`
165×	`distribute-lft-neg-in_binary64`
160×	`associate-l_binary64` `associate-r_binary64` `associate--r+_binary64`
137×	`remove-double-neg_binary64`
130×	`distribute-neg-in_binary64`
113×	`+-commutative_binary64`
100×	`associate-+l-_binary64`
73×	`*-lft-identity_binary64`
67×	`mul0-rgt_binary64` `mul0-lft_binary64`
60×	`+-lft-identity_binary64`
55×	`sub0-neg_binary64`
51×	`*-rgt-identity_binary64`
50×	`associate--r-_binary64`
30×	`distribute-lft-out_binary64`
25×	`--rgt-identity_binary64`
20×	`cancel-sign-sub_binary64` `associate--l+_binary64`
10×	`associate-+r-_binary64` `associate-+l+_binary64` `associate-+r+_binary64`
6×	`distribute-rgt-out--_binary64`
5×	`+-rgt-identity_binary64`
4×	`distribute-lft-out--_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` `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` `log-prod_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `unpow3_binary64` `unpow2_binary64` `unpow1/2_binary64` `pow-plus_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow1_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `exp-prod_binary64` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-unmult_binary64` `cube-mult_binary64` `cube-div_binary64` `cube-prod_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `times-frac_binary64` `div-sub_binary64` `mul-1-neg_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-rgt-out_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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	131	605
1	263	605
2	417	605
3	512	605
4	598	605
5	1028	605
6	994	605
7	1659	605
8	2449	605
9	2458	605
10	2534	605
11	2537	605
12	2537	605
13	2903	605
14	2948	605
15	2948	605
16	4374	605
17	4909	605
0	5	5
1	5	5

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
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
1.2%	98.6%	0.2%	11
1.4%	98.4%	0.2%	12
10.8%	88.9%	0.2%	13
10.8%	88.9%	0.2%	14

Compiler

Compiled 34 to 24 computations (29.4% saved)

sample226.0ms (1.3%)

Algorithm

1×

intervals

Results

140.0ms	118×	body	1024	valid
40.0ms	48×	body	512	valid
15.0ms	72×	body	128	valid
8.0ms	17×	body	256	valid
2.0ms	1×	body	2048	valid

Compiler

Compiled 67 to 52 computations (22.4% saved)

simplify49.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

103×	`unsub-neg_binary64`
90×	`associate-l_binary64`
88×	`distribute-rgt-in_binary64`
82×	`cancel-sign-sub-inv_binary64`
80×	`associate-r_binary64`
70×	`distribute-rgt-neg-in_binary64`
58×	`distribute-lft-neg-out_binary64`
57×	`distribute-lft-in_binary64`
56×	`distribute-rgt-neg-out_binary64`
49×	`sub-neg_binary64`
41×	`neg-sub0_binary64`
40×	`distribute-lft-neg-in_binary64`
34×	`neg-mul-1_binary64`
33×	`associate--r+_binary64`
28×	`*-commutative_binary64`
25×	`distribute-neg-in_binary64`
21×	`mul0-rgt_binary64` `mul0-lft_binary64`
17×	`+-commutative_binary64`
14×	`associate-+l-_binary64`
13×	`*-lft-identity_binary64`
12×	`remove-double-neg_binary64`
8×	`sub0-neg_binary64` `+-lft-identity_binary64`
7×	`*-rgt-identity_binary64`
5×	`associate--l+_binary64` `associate-+l+_binary64`
4×	`mul-1-neg_binary64`
3×	`--rgt-identity_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate-+r+_binary64`
2×	`+-rgt-identity_binary64`
1×	`1-exp_binary64` `cancel-sign-sub_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` `log-prod_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `unpow3_binary64` `unpow2_binary64` `unpow1/2_binary64` `pow-plus_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow1_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `exp-prod_binary64` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-unmult_binary64` `cube-mult_binary64` `cube-div_binary64` `cube-prod_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `times-frac_binary64` `div-sub_binary64` `/-rgt-identity_binary64` `div0_binary64` `-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `pow-sqr_binary64` `sqr-pow_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `unswap-sqr_binary64` `swap-sqr_binary64` `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 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	55
1	39	55
2	61	55
3	72	55
4	83	55
5	107	55
6	134	55
7	164	55
8	217	55
9	216	55
10	240	55
11	275	55
12	317	55
13	431	55
14	486	55
15	534	55
16	567	55
17	521	55
18	523	55
19	525	55
20	526	55
21	463	55

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.2b

Counts

2 → 1

Compiler

Compiled 66 to 46 computations (30.3% saved)

localize35.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))
0.3b	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
0.4b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
0.5b	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))

rewrite111.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

8×	`add-sqr-sqrt_binary64`
6×	`add-log-exp_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
3×	`associate-l_binary64` `associate-r_binary64`
1×	`diff-log_binary64` `flip3--_binary64` `sub-neg_binary64` `flip--_binary64` `cancel-sign-sub-inv_binary64` `asin-acos_binary64` `sin-mult_binary64` `pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `*-commutative_binary64`

Counts

4 → 46

Calls

4 calls:

5.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
4.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
1.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
0.0ms	(atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))

Compiler

Compiled 2251 to 271 computations (88% saved)

series240.0ms (1.3%)

Error

0.2b

Counts

4 → 41

Calls

4 calls:

90.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
72.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
35.0ms	(atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))
30.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

Compiler

Compiled 3053 to 1894 computations (38% saved)

simplify207.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

616×	`unsub-neg_binary64`
376×	`cancel-sign-sub-inv_binary64`
372×	`distribute-rgt-neg-in_binary64`
358×	`neg-mul-1_binary64`
344×	`neg-sub0_binary64`
322×	`distribute-lft-neg-in_binary64`
257×	`*-commutative_binary64`
248×	`associate-l_binary64`
211×	`distribute-rgt-in_binary64`
201×	`associate-r_binary64`
177×	`sub-neg_binary64`
174×	`distribute-lft-in_binary64`
168×	`distribute-lft-neg-out_binary64`
150×	`distribute-rgt-neg-out_binary64`
128×	`times-frac_binary64`
112×	`distribute-neg-in_binary64`
98×	`unswap-sqr_binary64`
93×	`sqr-pow_binary64` `associate--r+_binary64`
74×	`associate-+r+_binary64`
71×	`associate-+l+_binary64`
61×	`distribute-rgt-out_binary64`
59×	`+-commutative_binary64`
54×	`associate--l+_binary64`
53×	`distribute-neg-out_binary64` `associate-+l-_binary64`
47×	`exp-prod_binary64`
34×	`cube-prod_binary64`
32×	`sub0-neg_binary64` `mul0-rgt_binary64` `mul0-lft_binary64`
31×	`exp-sum_binary64`
29×	`associate-/l*_binary64`
26×	`associate-/r*_binary64`
25×	`*-lft-identity_binary64` `associate-+r-_binary64`
23×	`cube-unmult_binary64`
22×	`distribute-rgt-out--_binary64` `associate--r-_binary64`
21×	`distribute-lft-out_binary64`
20×	`exp-diff_binary64` `*-rgt-identity_binary64`
19×	`+-rgt-identity_binary64` `difference-of-squares_binary64`
18×	`rem-sqrt-square_binary64`
17×	`log-prod_binary64` `unpow3_binary64` `div-sub_binary64` `pow-sqr_binary64`
15×	`pow-plus_binary64`
11×	`associate-*r/_binary64`
10×	`swap-sqr_binary64` `distribute-lft-out--_binary64` `associate-/l/_binary64` `associate--l-_binary64`
8×	`unpow1/2_binary64`
6×	`sqr-neg_binary64` `mul-1-neg_binary64`
5×	`cube-mult_binary64` `fabs-mul_binary64` `remove-double-neg_binary64` `+-lft-identity_binary64` `associate-*l/_binary64`
4×	`cube-neg_binary64` `distribute-rgt1-in_binary64`
3×	`--rgt-identity_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64`
2×	`cos-neg_binary64` `sin-neg_binary64` `fabs-sqr_binary64` `distribute-lft1-in_binary64` `associate-/r/_binary64`
1×	`unpow2_binary64` `unpow1_binary64` `div-exp_binary64` `exp-neg_binary64` `1-exp_binary64` `exp-1-e_binary64` `count-2_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` `rec-exp_binary64` `prod-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-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `fabs-div_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `rem-square-sqrt_binary64` `/-rgt-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`

Counts

87 → 68

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	123	3835
1	246	3604
2	574	3546
3	1364	3546
4	2596	3546
5	4004	3546
6	4967	3546
7	4861	3546

prune121.0ms (0.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	60	8	68
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	61	8	69

Error

0.1b

Counts

69 → 8

Compiler

Compiled 2336 to 478 computations (79.5% saved)

localize45.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.4b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))
0.4b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))
0.4b	(pow.f64 (cos.f64 delta) 3)
0.4b	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 3)

rewrite297.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

8×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
6×	`pow-unpow_binary64`
4×	`unpow-prod-down_binary64` `add-log-exp_binary64` `cube-prod_binary64`
3×	`pow-pow_binary64` `pow-exp_binary64` `rem-cube-cbrt_binary64`
2×	`pow-to-exp_binary64` `unpow3_binary64` `cube-mult_binary64` `sqr-pow_binary64` `asin-acos_binary64`
1×	`pow-prod-down_binary64` `prod-exp_binary64` `sin-mult_binary64` `cube-div_binary64` `cbrt-unprod_binary64`

Counts

4 → 62

Calls

4 calls:

5.0ms	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 3)
4.0ms	(pow.f64 (cos.f64 delta) 3)
1.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))
1.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))

Compiler

Compiled 5157 to 687 computations (86.7% saved)

series250.0ms (1.4%)

Error

0.1b

Counts

4 → 33

Calls

4 calls:

130.0ms	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 3)
37.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))
37.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))
18.0ms	(pow.f64 (cos.f64 delta) 3)

Compiler

Compiled 6192 to 2296 computations (62.9% saved)

simplify164.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

556×	`sqr-pow_binary64`
410×	`log-prod_binary64`
402×	`exp-prod_binary64`
337×	`*-commutative_binary64`
279×	`unswap-sqr_binary64`
266×	`cube-prod_binary64`
206×	`pow-sqr_binary64`
148×	`swap-sqr_binary64`
125×	`log-pow_binary64`
107×	`unpow3_binary64`
96×	`distribute-rgt-in_binary64`
94×	`cube-mult_binary64`
93×	`associate-+l+_binary64`
91×	`distribute-lft-in_binary64`
87×	`fabs-mul_binary64`
78×	`associate-r_binary64`
76×	`unsub-neg_binary64`
75×	`neg-mul-1_binary64` `associate-l_binary64`
73×	`distribute-rgt-neg-in_binary64`
71×	`distribute-lft-neg-in_binary64`
70×	`neg-sub0_binary64`
67×	`associate-+r+_binary64`
63×	`cancel-sign-sub-inv_binary64`
56×	`associate-/l*_binary64`
55×	`sub-neg_binary64`
47×	`pow-plus_binary64`
24×	`+-commutative_binary64`
23×	`cube-unmult_binary64`
20×	`fabs-sqr_binary64`
19×	`distribute-rgt-out_binary64`
18×	`rem-sqrt-square_binary64`
16×	`count-2_binary64`
13×	`unpow2_binary64`
12×	`distribute-rgt-neg-out_binary64` `distribute-lft-neg-out_binary64`
11×	`associate-/l/_binary64`
9×	`-rgt-identity_binary64` `-lft-identity_binary64`
8×	`associate-+l-_binary64`
7×	`distribute-lft-out_binary64`
6×	`unpow1_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `associate-*r/_binary64`
5×	`sub0-neg_binary64` `+-rgt-identity_binary64` `associate-+r-_binary64`
4×	`times-frac_binary64` `distribute-rgt-out--_binary64`
3×	`unpow1/2_binary64` `associate-*l/_binary64`
2×	`rem-cbrt-cube_binary64` `sqr-neg_binary64` `/-rgt-identity_binary64` `distribute-lft-out--_binary64` `associate-/r/_binary64` `associate--l+_binary64` `associate--r+_binary64`
1×	`cos-neg_binary64` `1-exp_binary64` `cube-neg_binary64` `rem-cube-cbrt_binary64` `rem-square-sqrt_binary64` `remove-double-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` `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` `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-div_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `fabs-div_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `div-sub_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` `difference-of-squares_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-neg-in_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `associate-/r_binary64` `associate--r-_binary64` `associate--l-_binary64`

Counts

95 → 44

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	104	2569
1	225	2325
2	702	2269
3	1685	2269
4	3263	2263
5	4671	2263
6	4986	2263
7	4897	2263

prune92.0ms (0.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	41	3	44
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	42	10	52

Error

0.1b

Counts

52 → 10

Compiler

Compiled 2190 to 481 computations (78% saved)

localize48.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.4b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))
0.4b	(pow.f64 (cos.f64 delta) 3)
0.8b	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 9)
6.2b	(cbrt.f64 (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 9))

rewrite397.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

9×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
8×	`pow1_binary64` `add-exp-log_binary64`
6×	`pow-unpow_binary64`
5×	`add-cbrt-cube_binary64` `unpow-prod-down_binary64` `cbrt-prod_binary64`
4×	`add-log-exp_binary64`
3×	`sqr-pow_binary64` `pow-pow_binary64` `pow-exp_binary64` `cube-prod_binary64`
2×	`pow-to-exp_binary64`
1×	`pow1/3_binary64` `pow-prod-down_binary64` `prod-exp_binary64` `unpow3_binary64` `cube-mult_binary64` `rem-cube-cbrt_binary64` `asin-acos_binary64`

Counts

4 → 61

Calls

4 calls:

5.0ms	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 9)
3.0ms	(cbrt.f64 (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 9))
2.0ms	(pow.f64 (cos.f64 delta) 3)
1.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))

Compiler

Compiled 5165 to 752 computations (85.4% saved)

series431.0ms (2.4%)

Error

0.1b

Counts

4 → 34

Calls

4 calls:

191.0ms	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 9)
134.0ms	(cbrt.f64 (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 9))
39.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))
19.0ms	(pow.f64 (cos.f64 delta) 3)

Compiler

Compiled 6727 to 2503 computations (62.8% saved)

simplify139.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

667×	`associate-l_binary64`
588×	`associate-r_binary64`
372×	`log-prod_binary64`
338×	`exp-prod_binary64`
259×	`unswap-sqr_binary64`
223×	`distribute-lft-neg-in_binary64`
222×	`distribute-rgt-neg-in_binary64`
194×	`cancel-sign-sub-inv_binary64`
175×	`cube-prod_binary64`
170×	`sqr-pow_binary64`
166×	`*-commutative_binary64`
151×	`swap-sqr_binary64`
119×	`unpow3_binary64`
69×	`pow-plus_binary64`
58×	`log-pow_binary64`
44×	`fabs-mul_binary64` `pow-sqr_binary64`
38×	`cube-unmult_binary64`
37×	`distribute-rgt-out_binary64`
36×	`neg-mul-1_binary64` `neg-sub0_binary64`
34×	`distribute-rgt-out--_binary64`
31×	`sub-neg_binary64`
23×	`distribute-lft-out--_binary64`
19×	`distribute-lft-out_binary64`
16×	`rem-sqrt-square_binary64`
14×	`cube-mult_binary64` `distribute-rgt-in_binary64`
12×	`distribute-lft-in_binary64`
9×	`+-commutative_binary64`
8×	`fabs-sqr_binary64`
6×	`-rgt-identity_binary64` `-lft-identity_binary64` `distribute-rgt-neg-out_binary64` `associate-+l+_binary64` `associate-+r+_binary64`
5×	`unpow2_binary64` `count-2_binary64` `associate-/l/_binary64` `associate-*r/_binary64` `associate-+l-_binary64`
4×	`sub0-neg_binary64` `+-rgt-identity_binary64` `associate-+r-_binary64`
3×	`unpow1/2_binary64` `unpow1_binary64`
2×	`distribute-lft-neg-out_binary64` `associate-/r/_binary64` `associate-/l*_binary64` `associate--l+_binary64`
1×	`1-exp_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `rem-square-sqrt_binary64` `unsub-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` `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` `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-div_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `fabs-div_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `times-frac_binary64` `div-sub_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `remove-double-neg_binary64` `--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` `difference-of-squares_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-neg-in_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `associate-/r_binary64` `associate-*l/_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate--r+_binary64`

Counts

95 → 46

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	124	2903
1	258	2803
2	752	2707
3	2723	2707
4	4587	2632
5	4873	2632

prune124.0ms (0.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	46	0	46
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	46	10	56

Error

0.1b

Counts

56 → 10

Compiler

Compiled 2318 to 497 computations (78.6% saved)

localize52.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.4b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))
0.4b	(cbrt.f64 (pow.f64 (cos.f64 delta) 9))
0.4b	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 3)
0.7b	(pow.f64 (cos.f64 delta) 9)

rewrite362.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

9×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
8×	`pow1_binary64` `add-exp-log_binary64`
7×	`unpow-prod-down_binary64` `add-cbrt-cube_binary64` `cbrt-prod_binary64`
6×	`pow-unpow_binary64`
4×	`add-log-exp_binary64`
3×	`pow-pow_binary64` `pow-exp_binary64` `sqr-pow_binary64`
2×	`pow-to-exp_binary64` `rem-cube-cbrt_binary64`
1×	`pow-prod-down_binary64` `prod-exp_binary64` `unpow3_binary64` `cube-mult_binary64` `sin-mult_binary64` `cube-div_binary64` `cube-prod_binary64` `cbrt-unprod_binary64` `pow1/3_binary64` `asin-acos_binary64`

Counts

4 → 63

Calls

4 calls:

5.0ms	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 3)
2.0ms	(pow.f64 (cos.f64 delta) 9)
2.0ms	(cbrt.f64 (pow.f64 (cos.f64 delta) 9))
1.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))

Compiler

Compiled 5544 to 810 computations (85.4% saved)

series260.0ms (1.5%)

Error

0.1b

Counts

4 → 29

Calls

4 calls:

133.0ms	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 3)
40.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))
23.0ms	(pow.f64 (cos.f64 delta) 9)
19.0ms	(cbrt.f64 (pow.f64 (cos.f64 delta) 9))

Compiler

Compiled 5761 to 2088 computations (63.8% saved)

simplify129.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

729×	`associate-l_binary64`
625×	`associate-r_binary64`
365×	`log-prod_binary64`
336×	`exp-prod_binary64`
255×	`swap-sqr_binary64`
208×	`cube-prod_binary64`
180×	`sqr-pow_binary64`
162×	`cancel-sign-sub-inv_binary64`
153×	`distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`
139×	`*-commutative_binary64`
120×	`unswap-sqr_binary64`
112×	`unpow3_binary64`
52×	`pow-plus_binary64`
44×	`sub-neg_binary64`
42×	`log-pow_binary64`
39×	`pow-sqr_binary64`
36×	`cube-unmult_binary64`
32×	`fabs-mul_binary64`
31×	`neg-sub0_binary64`
29×	`neg-mul-1_binary64`
22×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
16×	`cube-mult_binary64` `distribute-rgt-neg-out_binary64` `+-commutative_binary64`
13×	`distribute-lft-neg-out_binary64`
10×	`rem-sqrt-square_binary64`
9×	`associate-+l-_binary64`
7×	`sub0-neg_binary64` `+-rgt-identity_binary64` `associate-+r-_binary64` `associate-+l+_binary64` `associate-+r+_binary64`
6×	`fabs-sqr_binary64` `unsub-neg_binary64`
5×	`associate-/l/_binary64` `associate-*r/_binary64`
4×	`-rgt-identity_binary64` `-lft-identity_binary64` `distribute-rgt-out_binary64` `count-2_binary64` `associate--l+_binary64`
3×	`unpow1/2_binary64` `unpow1_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out--_binary64`
2×	`unpow2_binary64` `distribute-lft-out_binary64` `associate-/r/_binary64` `associate-/l*_binary64`
1×	`cos-neg_binary64` `1-exp_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `sqr-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` `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` `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-div_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-cube-cbrt_binary64` `fabs-div_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_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` `difference-of-squares_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-neg-in_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `associate-/r_binary64` `associate-*l/_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate--r+_binary64`

Counts

92 → 64

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	129	2278
1	262	2095
2	700	2039
3	2928	2039
4	4690	2022
5	4954	2022

prune194.0ms (1.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	0	7	7
Picked	1	0	1
Done	1	1	2
Total	65	9	74

Error

0.1b

Counts

74 → 9

Compiler

Compiled 3302 to 497 computations (84.9% saved)

regimes1.8s (9.8%)

Accuracy

Total 0.1b remaining (46.6%)

Threshold costs 0.1b (46.6%)

Compiler

Compiled 47011 to 22163 computations (52.9% saved)

bsearch0.0ms (0%)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Rules

12×	`*-commutative_binary64`
8×	`+-commutative_binary64`
4×	`sub-neg_binary64`
3×	`neg-mul-1_binary64` `neg-sub0_binary64`
2×	`cancel-sign-sub-inv_binary64` `distribute-rgt-neg-in_binary64`
1×	`distribute-lft-neg-out_binary64` `distribute-lft-neg-in_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `unpow1_binary64` `e-exp-1_binary64` `1-exp_binary64` `exp-1-e_binary64` `exp-0_binary64` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `unsub-neg_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `-rgt-identity_binary64` `-lft-identity_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-neg-in_binary64` `distribute-rgt-neg-out_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	147
1	52	147
2	62	147
3	68	147
4	72	147
5	73	147
6	73	147

end2.0ms (0%)

Compiler: Compiled 88 to 36 computations (59.1% saved)

sample8.0s (44.7%)

Algorithm

1×

intervals

Results

4.9s	3935×	body	1024	valid
1.0s	1345×	body	512	valid
730.0ms	2129×	body	128	valid
296.0ms	579×	body	256	valid
30.0ms	12×	body	2048	valid

Compiler

Compiled 642 to 342 computations (46.7% saved)

Iter	Nodes	Cost
0	23	55
1	39	55
2	61	55
3	72	55
4	83	55
5	107	55
6	134	55
7	164	55
8	217	55
9	216	55
10	240	55
11	275	55
12	317	55
13	431	55
14	486	55
15	534	55
16	567	55
17	521	55
18	523	55
19	525	55
20	526	55
21	463	55

Iter	Nodes	Cost
0	23	55
1	39	55
2	61	55
3	72	55
4	83	55
5	107	55
6	134	55
7	164	55
8	217	55
9	216	55
10	240	55
11	275	55
12	317	55
13	431	55
14	486	55
15	534	55
16	567	55
17	521	55
18	523	55
19	525	55
20	526	55
21	463	55

Details

analyze4.1s (23.1%)

sample226.0ms (1.3%)

simplify49.0ms (0.3%)

prune4.0ms (0%)

localize35.0ms (0.2%)

rewrite111.0ms (0.6%)

series240.0ms (1.3%)

simplify207.0ms (1.2%)

prune121.0ms (0.7%)

localize45.0ms (0.3%)

rewrite297.0ms (1.7%)

series250.0ms (1.4%)

simplify164.0ms (0.9%)

prune92.0ms (0.5%)

localize48.0ms (0.3%)

rewrite397.0ms (2.2%)

series431.0ms (2.4%)

simplify139.0ms (0.8%)

prune124.0ms (0.7%)

localize52.0ms (0.3%)

rewrite362.0ms (2%)

series260.0ms (1.5%)

simplify129.0ms (0.7%)

prune194.0ms (1.1%)

regimes1.8s (9.8%)

bsearch0.0ms (0%)

simplify8.0ms (0%)

end2.0ms (0%)

sample8.0s (44.7%)

Profiling

Iter	Nodes	Cost
0	23	55
1	39	55
2	61	55
3	72	55
4	83	55
5	107	55
6	134	55
7	164	55
8	217	55
9	216	55
10	240	55
11	275	55
12	317	55
13	431	55
14	486	55
15	534	55
16	567	55
17	521	55
18	523	55
19	525	55
20	526	55
21	463	55