Details

analyze3.8s (21%)

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

sample205.0ms (1.1%)

Algorithm

1×

intervals

Results

130.0ms	112×	body	1024	valid
28.0ms	40×	body	512	valid
16.0ms	82×	body	128	valid
10.0ms	22×	body	256	valid

Compiler

Compiled 67 to 52 computations (22.4% saved)

simplify57.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` `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)

localize29.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (sin.f64 theta) (sin.f64 delta))
0.3b	(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.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)))))))

rewrite198.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

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×	`sin-mult_binary64` `pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `*-commutative_binary64`
1×	`diff-log_binary64` `flip3--_binary64` `sub-neg_binary64` `flip--_binary64` `cancel-sign-sub-inv_binary64` `asin-acos_binary64`

Counts

4 → 58

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))))))
5.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
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))))

Compiler

Compiled 2513 to 351 computations (86% saved)

series265.0ms (1.5%)

Error

0.2b

Counts

4 → 41

Calls

4 calls:

97.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)))))))
78.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))))))
34.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
32.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

Compiler

Compiled 3224 to 1941 computations (39.8% saved)

simplify174.0ms (1%)

Algorithm

1×	egg-herbie

Rules

447×	`distribute-rgt-in_binary64`
354×	`cancel-sign-sub-inv_binary64`
351×	`distribute-rgt-neg-in_binary64`
333×	`distribute-lft-in_binary64`
302×	`distribute-lft-neg-in_binary64`
282×	`neg-mul-1_binary64`
268×	`*-commutative_binary64`
249×	`neg-sub0_binary64`
245×	`sub-neg_binary64`
181×	`unsub-neg_binary64`
136×	`sqr-pow_binary64`
122×	`times-frac_binary64`
116×	`associate-l_binary64`
107×	`associate-r_binary64`
99×	`distribute-neg-in_binary64`
85×	`associate-+l+_binary64`
83×	`+-commutative_binary64`
82×	`associate-+r+_binary64`
62×	`associate-+l-_binary64`
61×	`distribute-lft-neg-out_binary64`
49×	`exp-prod_binary64`
48×	`distribute-rgt-out_binary64`
47×	`distribute-rgt-neg-out_binary64`
44×	`unswap-sqr_binary64`
38×	`sub0-neg_binary64` `associate-/l*_binary64`
33×	`distribute-neg-out_binary64`
32×	`exp-sum_binary64`
31×	`associate-+r-_binary64`
29×	`mul0-rgt_binary64` `mul0-lft_binary64`
28×	`rem-sqrt-square_binary64` `pow-sqr_binary64` `associate-/r*_binary64` `associate--l+_binary64`
27×	`cube-prod_binary64`
25×	`+-rgt-identity_binary64`
24×	`distribute-rgt-out--_binary64`
23×	`swap-sqr_binary64`
21×	`distribute-lft-out_binary64`
20×	`log-prod_binary64`
18×	`*-lft-identity_binary64` `difference-of-squares_binary64` `associate--r+_binary64`
17×	`div-sub_binary64` `associate-/l/_binary64`
16×	`*-rgt-identity_binary64`
15×	`cube-unmult_binary64`
14×	`exp-diff_binary64`
11×	`unpow3_binary64` `unpow1/2_binary64`
10×	`distribute-lft-out--_binary64`
5×	`cube-mult_binary64` `sqr-neg_binary64` `remove-double-neg_binary64` `+-lft-identity_binary64`
4×	`associate-/r/_binary64` `associate--l-_binary64`
3×	`cos-neg_binary64` `pow-plus_binary64` `cube-neg_binary64` `--rgt-identity_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-rgt1-in_binary64`
2×	`distribute-lft1-in_binary64` `associate-*r/_binary64`
1×	`sin-neg_binary64` `unpow2_binary64` `unpow1_binary64` `div-exp_binary64` `1-exp_binary64` `exp-1-e_binary64` `count-2_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` `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` `exp-neg_binary64` `e-exp-1_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `rem-square-sqrt_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` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `distribute-neg-frac_binary64` `associate-l/_binary64`

Counts

99 → 75

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	160	3187
1	352	3022
2	890	2954
3	1573	2949
4	2795	2949
5	4458	2949
6	4862	2949

prune144.0ms (0.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	65	10	75
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	66	10	76

Error

0.0b

Counts

76 → 10

Compiler

Compiled 2646 to 609 computations (77% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (sin.f64 delta) (sin.f64 theta))
0.3b	(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.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)))))))

rewrite246.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

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×	`sin-mult_binary64` `pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `*-commutative_binary64`
1×	`diff-log_binary64` `flip3--_binary64` `sub-neg_binary64` `flip--_binary64` `cancel-sign-sub-inv_binary64` `asin-acos_binary64`

Counts

4 → 58

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))))))
5.0ms	(*.f64 (sin.f64 delta) (sin.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))))

Compiler

Compiled 2621 to 495 computations (81.1% saved)

series297.0ms (1.7%)

Error

0.0b

Counts

4 → 41

Calls

4 calls:

96.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)))))))
76.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))))))
37.0ms	(*.f64 (sin.f64 delta) (sin.f64 theta))
33.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

Compiler

Compiled 3402 to 2129 computations (37.4% saved)

simplify172.0ms (1%)

Algorithm

1×	egg-herbie

Rules

458×	`distribute-rgt-in_binary64`
355×	`cancel-sign-sub-inv_binary64`
353×	`distribute-rgt-neg-in_binary64`
347×	`distribute-lft-in_binary64`
304×	`distribute-lft-neg-in_binary64`
281×	`neg-mul-1_binary64`
271×	`*-commutative_binary64`
248×	`neg-sub0_binary64`
245×	`sub-neg_binary64`
176×	`unsub-neg_binary64`
136×	`sqr-pow_binary64`
120×	`times-frac_binary64`
118×	`associate-l_binary64`
109×	`associate-r_binary64`
96×	`distribute-neg-in_binary64`
85×	`associate-+l+_binary64`
83×	`+-commutative_binary64`
82×	`associate-+r+_binary64`
62×	`distribute-lft-neg-out_binary64` `associate-+l-_binary64`
50×	`distribute-rgt-out_binary64`
49×	`exp-prod_binary64`
47×	`distribute-rgt-neg-out_binary64`
44×	`unswap-sqr_binary64`
38×	`sub0-neg_binary64` `associate-/l*_binary64`
33×	`distribute-neg-out_binary64`
32×	`exp-sum_binary64` `associate-+r-_binary64`
30×	`distribute-rgt-out--_binary64`
28×	`rem-sqrt-square_binary64` `pow-sqr_binary64` `associate--l+_binary64`
27×	`cube-prod_binary64`
26×	`+-rgt-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64`
21×	`swap-sqr_binary64` `distribute-lft-out_binary64`
20×	`log-prod_binary64`
19×	`*-lft-identity_binary64`
18×	`*-rgt-identity_binary64` `difference-of-squares_binary64` `associate--r+_binary64`
17×	`div-sub_binary64` `associate-/l/_binary64`
15×	`cube-unmult_binary64`
14×	`exp-diff_binary64`
11×	`unpow3_binary64` `unpow1/2_binary64`
10×	`distribute-lft-out--_binary64`
6×	`associate-/r*_binary64`
5×	`cube-mult_binary64` `sqr-neg_binary64` `remove-double-neg_binary64` `+-lft-identity_binary64`
4×	`associate-/r/_binary64` `associate--l-_binary64`
3×	`cos-neg_binary64` `pow-plus_binary64` `cube-neg_binary64` `--rgt-identity_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-rgt1-in_binary64`
2×	`distribute-lft1-in_binary64` `associate-*r/_binary64`
1×	`sin-neg_binary64` `unpow2_binary64` `unpow1_binary64` `div-exp_binary64` `1-exp_binary64` `exp-1-e_binary64` `count-2_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` `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` `exp-neg_binary64` `e-exp-1_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `rem-square-sqrt_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` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `distribute-neg-frac_binary64` `associate-l/_binary64`

Counts

99 → 68

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	161	3187
1	352	3022
2	895	2954
3	1575	2949
4	2794	2949
5	4470	2949
6	4881	2949

prune186.0ms (1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	67	1	68
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	68	10	78

Error

0.0b

Counts

78 → 10

Compiler

Compiled 2436 to 666 computations (72.7% saved)

localize33.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))
0.3b	(.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)))))))
0.5b	(-.f64 (cos.f64 delta) (log.f64 (exp.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))))))))))
2.5b	(log.f64 (exp.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)))))))))

rewrite350.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

13×	`add-sqr-sqrt_binary64`
12×	`*-un-lft-identity_binary64`
9×	`pow1_binary64` `add-cube-cbrt_binary64`
7×	`add-log-exp_binary64` `log-pow_binary64`
6×	`log-prod_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `cancel-sign-sub-inv_binary64`
3×	`associate--r+_binary64` `associate-l_binary64` `associate-r_binary64`
2×	`exp-to-pow_binary64` `exp-prod_binary64` `distribute-lft-out--_binary64`
1×	`rem-log-exp_binary64` `diff-log_binary64` `flip3--_binary64` `sub-neg_binary64` `flip--_binary64` `difference-of-squares_binary64` `sin-mult_binary64` `pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `*-commutative_binary64` `asin-acos_binary64`

Counts

4 → 64

Calls

4 calls:

7.0ms	(-.f64 (cos.f64 delta) (log.f64 (exp.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))))))))))
6.0ms	(.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.0ms	(log.f64 (exp.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)))))))))
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 2939 to 394 computations (86.6% saved)

series476.0ms (2.6%)

Error

0.0b

Counts

4 → 42

Calls

4 calls:

172.0ms	(-.f64 (cos.f64 delta) (log.f64 (exp.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))))))))))
152.0ms	(log.f64 (exp.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)))))))))
79.0ms	(.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)))))))
34.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))

Compiler

Compiled 3362 to 2112 computations (37.2% saved)

simplify214.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

611×	`unsub-neg_binary64`
377×	`distribute-rgt-in_binary64`
329×	`distribute-lft-in_binary64`
321×	`associate-l_binary64`
271×	`associate-r_binary64`
257×	`cancel-sign-sub-inv_binary64`
236×	`neg-mul-1_binary64`
222×	`neg-sub0_binary64`
210×	`distribute-rgt-neg-in_binary64`
195×	`distribute-lft-neg-in_binary64`
112×	`sub-neg_binary64`
94×	`associate-+r+_binary64`
86×	`exp-prod_binary64`
85×	`*-commutative_binary64`
84×	`distribute-lft-neg-out_binary64`
83×	`associate-+l+_binary64`
71×	`+-commutative_binary64`
69×	`distribute-rgt-neg-out_binary64`
64×	`associate-+l-_binary64`
59×	`sqr-pow_binary64`
57×	`log-prod_binary64`
47×	`unswap-sqr_binary64`
46×	`exp-sum_binary64`
43×	`associate--r+_binary64`
39×	`associate--l+_binary64`
37×	`log-pow_binary64`
35×	`distribute-rgt-out_binary64`
28×	`associate-+r-_binary64`
26×	`times-frac_binary64`
25×	`cube-prod_binary64`
24×	`distribute-lft-out_binary64`
21×	`*-lft-identity_binary64`
20×	`exp-diff_binary64`
18×	`*-rgt-identity_binary64` `swap-sqr_binary64`
16×	`cube-unmult_binary64` `sub0-neg_binary64`
14×	`rem-sqrt-square_binary64`
12×	`div-sub_binary64` `+-rgt-identity_binary64`
11×	`mul0-rgt_binary64` `mul0-lft_binary64` `distribute-rgt-out--_binary64`
10×	`exp-to-pow_binary64` `distribute-lft-out--_binary64`
9×	`unpow3_binary64` `associate-/r*_binary64`
8×	`pow-plus_binary64` `difference-of-squares_binary64`
7×	`rem-log-exp_binary64` `sqr-neg_binary64` `pow-sqr_binary64` `distribute-neg-in_binary64`
6×	`count-2_binary64`
4×	`unpow1/2_binary64` `mul-1-neg_binary64` `associate--l-_binary64`
3×	`rem-exp-log_binary64` `cube-mult_binary64` `distribute-rgt1-in_binary64` `associate-/l/_binary64` `associate-*r/_binary64`
2×	`associate-/l*_binary64`
1×	`cos-neg_binary64` `log-E_binary64` `unpow2_binary64` `unpow1_binary64` `div-exp_binary64` `1-exp_binary64` `exp-1-e_binary64` `cube-neg_binary64` `rem-3cbrt-lft_binary64` `rem-square-sqrt_binary64` `difference-of-sqr-1_binary64` `distribute-lft1-in_binary64` `associate-/r/_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` `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-rec_binary64` `log-div_binary64` `pow-base-0_binary64` `unpow1/3_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` `exp-neg_binary64` `e-exp-1_binary64` `exp-0_binary64` `cube-div_binary64` `rem-3cbrt-rft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `/-rgt-identity_binary64` `remove-double-neg_binary64` `--rgt-identity_binary64` `+-lft-identity_binary64` `div0_binary64` `-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-sqr--1_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `associate-l/_binary64`

Counts

106 → 70

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	137	4177
1	263	3981
2	603	3894
3	1733	3865
4	3958	3865
5	5000	3856
6	4933	3856

prune118.0ms (0.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	69	1	70
Fresh	0	8	8
Picked	0	1	1
Done	1	0	1
Total	70	10	80

Error

0.0b

Counts

80 → 10

Compiler

Compiled 2048 to 485 computations (76.3% saved)

localize36.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))
0.3b	(.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)))))))
0.5b	(-.f64 (cos.f64 delta) (.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))))))))
0.8b	(log.f64 (exp.f64 (-.f64 (cos.f64 delta) (.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))))))))))

rewrite307.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

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

Counts

4 → 57

Calls

4 calls:

5.0ms	(.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)))))))
4.0ms	(log.f64 (exp.f64 (-.f64 (cos.f64 delta) (.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))))))))))
4.0ms	(-.f64 (cos.f64 delta) (.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))))))))
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 2781 to 396 computations (85.8% saved)

series439.0ms (2.4%)

Error

0.0b

Counts

4 → 45

Calls

4 calls:

183.0ms	(log.f64 (exp.f64 (-.f64 (cos.f64 delta) (.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))))))))))
94.0ms	(-.f64 (cos.f64 delta) (.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))))))))
79.0ms	(.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)))))))
32.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))

Compiler

Compiled 3587 to 2262 computations (36.9% saved)

simplify283.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

416×	`unsub-neg_binary64`
270×	`*-commutative_binary64`
269×	`sub-neg_binary64`
268×	`distribute-rgt-in_binary64`
260×	`cancel-sign-sub-inv_binary64`
246×	`associate-l_binary64`
231×	`distribute-lft-in_binary64`
225×	`distribute-rgt-neg-in_binary64`
205×	`distribute-lft-neg-in_binary64` `associate-r_binary64`
184×	`log-prod_binary64`
174×	`distribute-neg-in_binary64`
163×	`log-pow_binary64`
144×	`neg-mul-1_binary64`
139×	`exp-sum_binary64`
137×	`neg-sub0_binary64`
116×	`sqr-pow_binary64`
102×	`unswap-sqr_binary64`
97×	`log-div_binary64`
95×	`associate-+l+_binary64` `associate-+r+_binary64`
77×	`exp-prod_binary64`
70×	`associate-+l-_binary64`
68×	`+-commutative_binary64`
67×	`associate-+r-_binary64`
56×	`distribute-neg-out_binary64`
53×	`distribute-lft-neg-out_binary64`
52×	`exp-diff_binary64` `associate--r+_binary64`
43×	`distribute-rgt-neg-out_binary64`
37×	`times-frac_binary64`
36×	`associate--l+_binary64`
35×	`cube-prod_binary64`
33×	`mul0-rgt_binary64` `mul0-lft_binary64`
32×	`pow-sqr_binary64`
30×	`distribute-rgt-out_binary64`
29×	`rem-sqrt-square_binary64` `*-lft-identity_binary64` `sub0-neg_binary64`
27×	`cancel-sign-sub_binary64`
26×	`*-rgt-identity_binary64`
22×	`+-rgt-identity_binary64`
20×	`distribute-lft-out_binary64`
19×	`difference-of-squares_binary64`
18×	`cube-unmult_binary64`
17×	`swap-sqr_binary64`
15×	`log-rec_binary64` `pow-plus_binary64` `rem-exp-log_binary64`
14×	`exp-to-pow_binary64` `div-sub_binary64` `associate-/r*_binary64`
13×	`rem-log-exp_binary64` `associate-/l*_binary64`
12×	`unpow3_binary64` `associate--r-_binary64` `associate--l-_binary64`
11×	`distribute-rgt-out--_binary64` `distribute-lft-out--_binary64`
9×	`unpow1/2_binary64` `remove-double-neg_binary64`
7×	`associate-*r/_binary64`
6×	`cube-mult_binary64` `cube-neg_binary64` `sqr-neg_binary64` `--rgt-identity_binary64` `+-lft-identity_binary64`
5×	`div-exp_binary64` `prod-exp_binary64` `mul-1-neg_binary64` `distribute-frac-neg_binary64` `count-2_binary64`
4×	`exp-sqrt_binary64`
3×	`distribute-rgt1-in_binary64` `associate-*l/_binary64`
2×	`cos-neg_binary64` `sin-neg_binary64` `exp-lft-sqr_binary64` `associate-/l/_binary64`
1×	`unpow2_binary64` `unpow1_binary64` `rec-exp_binary64` `exp-neg_binary64` `1-exp_binary64` `exp-1-e_binary64` `cube-div_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` `pow-base-0_binary64` `unpow1/3_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-cbrt_binary64` `e-exp-1_binary64` `exp-0_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_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` `associate-/r/_binary64`

Counts

102 → 60

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	142	4240
1	268	3999
2	613	3912
3	1526	3912
4	3292	3912
5	4431	3912
6	4908	3912
7	4978	3912
8	4890	3912

prune107.0ms (0.6%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	59	1	60
Fresh	1	7	8
Picked	0	1	1
Done	0	1	1
Total	60	10	70

Error

0.0b

Counts

70 → 10

Compiler

Compiled 1392 to 238 computations (82.9% saved)

regimes2.3s (12.6%)

Accuracy

Total 0.1b remaining (54.1%)

Threshold costs 0.1b (54.1%)

Compiler

Compiled 43731 to 27087 computations (38.1% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
4×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-mul-1_binary64` `neg-sub0_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-inv_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` `distribute-lft-neg-out_binary64` `distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	63
1	37	63
2	42	63
3	44	63
4	45	63
5	45	63

end1.0ms (0%)

Compiler: Compiled 37 to 27 computations (27% saved)

sample7.6s (42.1%)

Algorithm

1×

intervals

Results

4.9s	3906×	body	1024	valid
913.0ms	1275×	body	512	valid
483.0ms	2249×	body	128	valid
251.0ms	556×	body	256	valid
44.0ms	14×	body	2048	valid

Compiler

Compiled 562 to 337 computations (40% 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

analyze3.8s (21%)

sample205.0ms (1.1%)

simplify57.0ms (0.3%)

prune4.0ms (0%)

localize29.0ms (0.2%)

rewrite198.0ms (1.1%)

series265.0ms (1.5%)

simplify174.0ms (1%)

prune144.0ms (0.8%)

localize28.0ms (0.2%)

rewrite246.0ms (1.4%)

series297.0ms (1.7%)

simplify172.0ms (1%)

prune186.0ms (1%)

localize33.0ms (0.2%)

rewrite350.0ms (1.9%)

series476.0ms (2.6%)

simplify214.0ms (1.2%)

prune118.0ms (0.7%)

localize36.0ms (0.2%)

rewrite307.0ms (1.7%)

series439.0ms (2.4%)

simplify283.0ms (1.6%)

prune107.0ms (0.6%)

regimes2.3s (12.6%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end1.0ms (0%)

sample7.6s (42.1%)

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