Details

analyze4.1s (23.2%)

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)

sample228.0ms (1.3%)

Algorithm

1×

intervals

Results

146.0ms	120×	body	1024	valid
29.0ms	40×	body	512	valid
22.0ms	77×	body	128	valid
9.0ms	19×	body	256	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` `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)

localize36.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite200.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×	`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:

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

Compiler

Compiled 2513 to 351 computations (86% saved)

series237.0ms (1.3%)

Error

0.2b

Counts

4 → 39

Calls

4 calls:

86.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))))))
31.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
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 3021 to 1832 computations (39.4% saved)

simplify160.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

560×	`unsub-neg_binary64`
445×	`distribute-rgt-in_binary64`
337×	`distribute-rgt-neg-in_binary64`
331×	`distribute-lft-in_binary64`
292×	`distribute-lft-neg-in_binary64`
267×	`cancel-sign-sub-inv_binary64`
247×	`*-commutative_binary64`
239×	`neg-mul-1_binary64`
218×	`neg-sub0_binary64`
186×	`sub-neg_binary64`
147×	`+-commutative_binary64`
130×	`sqr-pow_binary64`
128×	`times-frac_binary64`
109×	`associate-l_binary64`
98×	`associate-r_binary64`
81×	`associate-+l-_binary64`
78×	`associate--r+_binary64`
71×	`distribute-neg-in_binary64`
59×	`associate-+l+_binary64`
57×	`distribute-lft-neg-out_binary64` `associate-+r+_binary64`
49×	`exp-prod_binary64`
47×	`distribute-rgt-neg-out_binary64`
42×	`distribute-rgt-out_binary64`
38×	`associate-/l*_binary64`
34×	`exp-sum_binary64`
33×	`distribute-neg-out_binary64`
32×	`unswap-sqr_binary64`
30×	`associate-+r-_binary64`
29×	`mul0-rgt_binary64` `mul0-lft_binary64`
28×	`sub0-neg_binary64` `pow-sqr_binary64` `associate-/r*_binary64`
27×	`cube-prod_binary64`
26×	`rem-sqrt-square_binary64`
21×	`swap-sqr_binary64` `associate--l+_binary64`
20×	`log-prod_binary64` `distribute-rgt-out--_binary64`
19×	`div-sub_binary64` `+-rgt-identity_binary64`
18×	`difference-of-squares_binary64`
17×	`*-lft-identity_binary64` `associate-/l/_binary64`
16×	`exp-diff_binary64`
15×	`cube-unmult_binary64` `-rgt-identity_binary64` `associate-r/_binary64`
11×	`unpow3_binary64` `unpow1/2_binary64`
10×	`associate--r-_binary64`
9×	`distribute-lft-out_binary64`
6×	`associate-*l/_binary64`
5×	`cube-mult_binary64` `remove-double-neg_binary64`
4×	`sqr-neg_binary64` `+-lft-identity_binary64` `associate-/r/_binary64`
3×	`cos-neg_binary64` `cube-neg_binary64` `--rgt-identity_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-rgt1-in_binary64` `distribute-lft-out--_binary64` `associate--l-_binary64`
2×	`distribute-lft1-in_binary64`
1×	`sin-neg_binary64` `unpow2_binary64` `pow-plus_binary64` `unpow1_binary64` `div-exp_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` `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`

Counts

97 → 73

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	147	3100
1	318	2935
2	806	2872
3	1428	2872
4	2518	2872
5	4253	2872
6	4919	2872

prune132.0ms (0.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	63	10	73
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	64	10	74

Error

0.1b

Counts

74 → 10

Compiler

Compiled 2533 to 577 computations (77.2% saved)

localize31.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite339.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

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

Counts

4 → 67

Calls

4 calls:

9.0ms	(.f64 (sin.f64 phi1) (sin.f64 (log.f64 (exp.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))))))
5.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (log.f64 (exp.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 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))))
2.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))

Compiler

Compiled 3872 to 482 computations (87.6% saved)

series421.0ms (2.4%)

Error

0.1b

Counts

4 → 40

Calls

4 calls:

142.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (log.f64 (exp.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))))))
131.0ms	(.f64 (sin.f64 phi1) (sin.f64 (log.f64 (exp.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))))))
89.0ms	(log.f64 (exp.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))))
33.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))

Compiler

Compiled 3106 to 2008 computations (35.4% saved)

simplify245.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

479×	`neg-mul-1_binary64`
461×	`neg-sub0_binary64`
419×	`unsub-neg_binary64`
410×	`distribute-rgt-neg-in_binary64`
403×	`cancel-sign-sub-inv_binary64`
308×	`associate-l_binary64`
253×	`associate-r_binary64`
232×	`distribute-rgt-in_binary64`
210×	`distribute-lft-neg-in_binary64`
192×	`distribute-lft-in_binary64`
182×	`distribute-lft-neg-out_binary64`
176×	`sub-neg_binary64`
160×	`distribute-rgt-neg-out_binary64`
120×	`*-commutative_binary64`
96×	`sqr-pow_binary64`
94×	`times-frac_binary64`
84×	`distribute-neg-in_binary64`
83×	`distribute-neg-out_binary64`
57×	`exp-prod_binary64`
54×	`unswap-sqr_binary64`
53×	`log-prod_binary64` `associate-+r+_binary64`
49×	`+-commutative_binary64`
47×	`associate-+l+_binary64`
44×	`*-rgt-identity_binary64`
42×	`*-lft-identity_binary64`
41×	`mul0-rgt_binary64` `mul0-lft_binary64`
36×	`exp-sum_binary64`
30×	`associate-+l-_binary64`
26×	`sub0-neg_binary64`
24×	`cube-prod_binary64` `distribute-rgt-out_binary64`
21×	`pow-sqr_binary64`
20×	`associate--r+_binary64`
19×	`log-pow_binary64` `rem-sqrt-square_binary64` `difference-of-squares_binary64`
18×	`exp-diff_binary64` `cube-unmult_binary64`
16×	`+-rgt-identity_binary64` `associate-+r-_binary64`
15×	`div-sub_binary64`
14×	`unpow3_binary64` `distribute-lft-out_binary64`
12×	`associate--l+_binary64`
11×	`distribute-rgt-out--_binary64`
10×	`swap-sqr_binary64`
8×	`unpow1/2_binary64` `remove-double-neg_binary64`
7×	`rem-log-exp_binary64` `+-lft-identity_binary64`
6×	`cube-neg_binary64` `sqr-neg_binary64` `--rgt-identity_binary64` `distribute-lft-out--_binary64` `associate-/r*_binary64`
5×	`pow-plus_binary64` `mul-1-neg_binary64`
3×	`exp-sqrt_binary64` `rem-exp-log_binary64` `cube-mult_binary64` `distribute-frac-neg_binary64` `distribute-rgt1-in_binary64` `count-2_binary64` `associate--r-_binary64`
2×	`cos-neg_binary64` `sin-neg_binary64` `exp-neg_binary64` `associate-/l/_binary64` `associate-/l_binary64` `associate-r/_binary64`
1×	`unpow2_binary64` `unpow1_binary64` `div-exp_binary64` `1-exp_binary64` `exp-1-e_binary64` `cancel-sign-sub_binary64` `distribute-lft1-in_binary64` `associate--l-_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `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` `rec-exp_binary64` `prod-exp_binary64` `e-exp-1_binary64` `exp-0_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` `/-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` `associate-l/_binary64`

Counts

107 → 80

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	157	4917
1	313	4544
2	769	4486
3	1617	4486
4	2952	4486
5	4106	4486
6	4988	4486
7	4878	4486

prune164.0ms (0.9%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	79	1	80
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	79	11	90

Error

0.1b

Counts

90 → 11

Compiler

Compiled 3058 to 641 computations (79% saved)

localize31.0ms (0.2%)

Local error

Found 4 expressions with local error:

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.3b	(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))))))))))
3.6b	(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)))))))))

rewrite323.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

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` `asin-acos_binary64` `sin-mult_binary64` `pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `*-commutative_binary64`

Counts

4 → 64

Calls

4 calls:

8.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)))))))
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))))))))))
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)

series442.0ms (2.5%)

Error

0.1b

Counts

4 → 41

Calls

4 calls:

153.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))))))))))
145.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)))))))))
74.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 3264 to 2057 computations (37% saved)

simplify227.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

621×	`unsub-neg_binary64`
377×	`distribute-rgt-in_binary64`
329×	`distribute-lft-in_binary64`
313×	`associate-l_binary64`
286×	`sub-neg_binary64`
262×	`associate-r_binary64`
252×	`sqr-pow_binary64`
242×	`neg-mul-1_binary64`
221×	`neg-sub0_binary64`
210×	`cancel-sign-sub-inv_binary64` `distribute-rgt-neg-in_binary64`
195×	`distribute-lft-neg-in_binary64`
148×	`times-frac_binary64`
106×	`exp-prod_binary64`
93×	`log-pow_binary64` `log-prod_binary64`
84×	`distribute-lft-neg-out_binary64`
81×	`*-commutative_binary64`
77×	`exp-sum_binary64`
76×	`pow-sqr_binary64`
71×	`associate-+r+_binary64`
69×	`distribute-rgt-neg-out_binary64`
59×	`associate-+l+_binary64`
55×	`+-commutative_binary64`
51×	`mul0-rgt_binary64` `mul0-lft_binary64`
46×	`cube-prod_binary64`
40×	`sub0-neg_binary64` `associate-+l-_binary64`
37×	`unswap-sqr_binary64`
34×	`rem-sqrt-square_binary64` `*-lft-identity_binary64`
33×	`*-rgt-identity_binary64`
30×	`+-rgt-identity_binary64`
29×	`distribute-rgt-out_binary64` `associate--r+_binary64`
28×	`exp-diff_binary64`
27×	`div-sub_binary64`
23×	`remove-double-neg_binary64`
20×	`cube-unmult_binary64` `distribute-lft-out_binary64` `associate-+r-_binary64`
19×	`unpow3_binary64` `associate--l+_binary64`
18×	`+-lft-identity_binary64` `swap-sqr_binary64`
16×	`exp-to-pow_binary64`
11×	`pow-plus_binary64`
9×	`cube-mult_binary64` `associate-/r*_binary64`
8×	`unpow1/2_binary64` `sqr-neg_binary64` `--rgt-identity_binary64` `difference-of-squares_binary64`
7×	`rem-log-exp_binary64` `mul-1-neg_binary64` `distribute-neg-in_binary64`
6×	`rem-exp-log_binary64` `distribute-lft-out--_binary64` `count-2_binary64`
5×	`distribute-rgt-out--_binary64`
4×	`exp-sqrt_binary64`
3×	`log-div_binary64` `div-exp_binary64` `cube-div_binary64` `distribute-rgt1-in_binary64` `associate-/l/_binary64` `associate-*r/_binary64`
2×	`cos-neg_binary64` `sin-neg_binary64` `unpow2_binary64` `rec-exp_binary64` `cube-neg_binary64` `associate-/l*_binary64`
1×	`log-E_binary64` `unpow1_binary64` `1-exp_binary64` `exp-1-e_binary64` `rem-3cbrt-lft_binary64` `rem-square-sqrt_binary64` `difference-of-sqr-1_binary64` `distribute-lft1-in_binary64` `associate-/r/_binary64` `associate--r-_binary64` `associate--l-_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `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` `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` `prod-exp_binary64` `exp-neg_binary64` `e-exp-1_binary64` `exp-0_binary64` `rem-3cbrt-rft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_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` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `associate-l/_binary64`

Counts

105 → 70

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	131	4124
1	249	3928
2	565	3841
3	1636	3812
4	3658	3812
5	4202	3737
6	4985	3737
7	4855	3737

prune145.0ms (0.8%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	70	11	81

Error

0.1b

Counts

81 → 11

Compiler

Compiled 2072 to 482 computations (76.7% saved)

localize34.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.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.5b	(-.f64 (cos.f64 delta) (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))))))) 3)))
17.6b	(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))))))) 3))

rewrite393.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

18×	`cbrt-prod_binary64`
13×	`add-sqr-sqrt_binary64`
11×	`cancel-sign-sub-inv_binary64`
10×	`*-un-lft-identity_binary64`
8×	`add-cube-cbrt_binary64`
7×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
6×	`add-log-exp_binary64`
4×	`sqr-pow_binary64`
3×	`unpow-prod-down_binary64` `unpow3_binary64` `cube-mult_binary64` `cube-prod_binary64` `difference-of-squares_binary64` `pow-unpow_binary64`
2×	`sin-mult_binary64` `cube-div_binary64` `pow-pow_binary64` `pow-exp_binary64` `rem-cube-cbrt_binary64`
1×	`pow1/3_binary64` `cbrt-div_binary64` `rem-cbrt-cube_binary64` `diff-log_binary64` `flip3--_binary64` `sub-neg_binary64` `flip--_binary64` `distribute-lft-out--_binary64` `pow-prod-down_binary64` `pow-to-exp_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `asin-acos_binary64`

Counts

4 → 75

Calls

4 calls:

7.0ms	(-.f64 (cos.f64 delta) (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))))))) 3)))
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)
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))))))) 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 3749 to 738 computations (80.3% saved)

series368.0ms (2.1%)

Error

0.1b

Counts

4 → 42

Calls

4 calls:

136.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)
84.0ms	(-.f64 (cos.f64 delta) (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))))))) 3)))
72.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))))))) 3))
33.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))

Compiler

Compiled 3519 to 2167 computations (38.4% saved)

simplify222.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

438×	`unswap-sqr_binary64`
302×	`log-prod_binary64`
276×	`*-commutative_binary64`
267×	`distribute-rgt-neg-in_binary64`
264×	`distribute-rgt-in_binary64`
258×	`exp-prod_binary64`
255×	`distribute-lft-neg-in_binary64`
242×	`cancel-sign-sub-inv_binary64`
220×	`distribute-lft-in_binary64`
168×	`sqr-pow_binary64`
114×	`sub-neg_binary64`
111×	`swap-sqr_binary64`
109×	`cube-prod_binary64`
98×	`neg-mul-1_binary64`
94×	`neg-sub0_binary64`
91×	`associate-r_binary64`
74×	`associate-l_binary64`
59×	`unsub-neg_binary64`
56×	`unpow3_binary64`
45×	`distribute-lft-neg-out_binary64` `+-commutative_binary64`
42×	`log-pow_binary64`
40×	`distribute-rgt-neg-out_binary64`
38×	`associate-/l*_binary64`
32×	`exp-sum_binary64` `pow-sqr_binary64` `distribute-rgt-out_binary64`
27×	`cube-mult_binary64`
21×	`pow-plus_binary64` `distribute-lft-out_binary64`
20×	`cube-unmult_binary64`
19×	`associate-+l-_binary64`
15×	`sub0-neg_binary64` `associate-+r-_binary64`
14×	`mul0-rgt_binary64` `mul0-lft_binary64`
13×	`+-rgt-identity_binary64` `difference-of-squares_binary64` `associate-+l+_binary64`
11×	`associate-/l/_binary64` `associate-+r+_binary64`
10×	`exp-diff_binary64`
8×	`distribute-lft-out--_binary64`
7×	`distribute-rgt-out--_binary64` `count-2_binary64`
6×	`rem-sqrt-square_binary64` `associate-/r*_binary64` `associate--l+_binary64`
5×	`rem-cbrt-cube_binary64`
4×	`distribute-neg-in_binary64`
3×	`-rgt-identity_binary64` `-lft-identity_binary64` `associate-*r/_binary64`
2×	`unpow1/2_binary64` `unpow1_binary64` `rem-3cbrt-lft_binary64` `sqr-neg_binary64` `associate-/r/_binary64` `associate--r+_binary64`
1×	`cos-neg_binary64` `unpow2_binary64` `div-exp_binary64` `exp-neg_binary64` `1-exp_binary64` `sqr-abs_binary64` `rem-square-sqrt_binary64` `mul-1-neg_binary64` `difference-of-sqr-1_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` `rec-exp_binary64` `prod-exp_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` `times-frac_binary64` `div-sub_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` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `associate-l/_binary64` `associate--r-_binary64` `associate--l-_binary64`

Counts

117 → 83

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	159	5268
1	342	4798
2	899	4674
3	2049	4618
4	4620	4615
5	4959	4615
6	4929	4615

prune161.0ms (0.9%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	83	0	83
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	83	11	94

Error

0.1b

Counts

94 → 11

Compiler

Compiled 1865 to 310 computations (83.4% saved)

regimes1.6s (9.2%)

Accuracy

Total 0.1b remaining (46.2%)

Threshold costs 0.1b (46.2%)

Compiler

Compiled 36829 to 20402 computations (44.6% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64`
6×	`+-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	25	59
1	38	59
2	48	59
3	54	59
4	58	59
5	59	59
6	59	59

end1.0ms (0%)

Compiler: Compiled 35 to 25 computations (28.6% saved)

sample7.4s (41.7%)

Algorithm

1×

intervals

Results

4.7s	3932×	body	1024	valid
986.0ms	1352×	body	512	valid
450.0ms	2170×	body	128	valid
260.0ms	534×	body	256	valid
32.0ms	12×	body	2048	valid

Compiler

Compiled 629 to 363 computations (42.3% 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.2%)

sample228.0ms (1.3%)

simplify49.0ms (0.3%)

prune4.0ms (0%)

localize36.0ms (0.2%)

rewrite200.0ms (1.1%)

series237.0ms (1.3%)

simplify160.0ms (0.9%)

prune132.0ms (0.7%)

localize31.0ms (0.2%)

rewrite339.0ms (1.9%)

series421.0ms (2.4%)

simplify245.0ms (1.4%)

prune164.0ms (0.9%)

localize31.0ms (0.2%)

rewrite323.0ms (1.8%)

series442.0ms (2.5%)

simplify227.0ms (1.3%)

prune145.0ms (0.8%)

localize34.0ms (0.2%)

rewrite393.0ms (2.2%)

series368.0ms (2.1%)

simplify222.0ms (1.3%)

prune161.0ms (0.9%)

regimes1.6s (9.2%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end1.0ms (0%)

sample7.4s (41.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