Details

analyze3.5s (11.9%)

Algorithm

1×

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)

sample222.0ms (0.8%)

Algorithm

1×

intervals

Results

152.0ms	128×	body	1024	valid
27.0ms	39×	body	512	valid
12.0ms	64×	body	128	valid
11.0ms	25×	body	256	valid

Compiler

Compiled 67 to 52 computations (22.4% saved)

simplify134.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

103×	`unsub-neg_binary64_4164`
90×	`associate-l_binary64_4111`
88×	`distribute-rgt-in_binary64_4120`
82×	`cancel-sign-sub-inv_binary64_4136`
80×	`associate-r_binary64_4110`
70×	`distribute-rgt-neg-in_binary64_4128`
58×	`distribute-lft-neg-out_binary64_4129`
57×	`distribute-lft-in_binary64_4119`
56×	`distribute-rgt-neg-out_binary64_4130`
49×	`sub-neg_binary64_4163`
41×	`neg-sub0_binary64_4165`
40×	`distribute-lft-neg-in_binary64_4127`
34×	`neg-mul-1_binary64_4166`
33×	`associate--r+_binary64_4106`
28×	`*-commutative_binary64_4101`
25×	`distribute-neg-in_binary64_4131`
21×	`mul0-rgt_binary64_4153` `mul0-lft_binary64_4152`
17×	`+-commutative_binary64_4100`
14×	`associate-+l-_binary64_4105`
13×	`*-lft-identity_binary64_4159`
12×	`remove-double-neg_binary64_4158`
8×	`sub0-neg_binary64_4157` `+-lft-identity_binary64_4154`
7×	`*-rgt-identity_binary64_4160`
5×	`associate--l+_binary64_4107` `associate-+l+_binary64_4103`
4×	`mul-1-neg_binary64_4162`
3×	`--rgt-identity_binary64_4156` `associate--r-_binary64_4109` `associate--l-_binary64_4108` `associate-+r+_binary64_4102`
2×	`+-rgt-identity_binary64_4155`
1×	`1-exp_binary64_4214` `cancel-sign-sub_binary64_4135` `associate-+r-_binary64_4104`
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_4433` `erf-erfc_binary64_4432` `erf-odd_binary64_4431` `if-if-and-not_binary64_4430` `if-if-and_binary64_4429` `if-if-or-not_binary64_4428` `if-if-or_binary64_4427` `if-not_binary64_4426` `if-same_binary64_4425` `if-false_binary64_4424` `if-true_binary64_4423` `not-gte_binary64_4422` `not-lte_binary64_4421` `not-gt_binary64_4420` `not-lt_binary64_4419` `gte-same_binary64_4418` `lte-same_binary64_4417` `gt-same_binary64_4416` `lt-same_binary64_4415` `sinh---cosh_binary64_4362` `sinh-+-cosh_binary64_4361` `sinh-cosh_binary64_4360` `tanh-def-c_binary64_4359` `tanh-def-b_binary64_4358` `tanh-def-a_binary64_4357` `cosh-def_binary64_4356` `sinh-def_binary64_4355` `tan-neg_binary64_4302` `cos-neg_binary64_4301` `sin-neg_binary64_4300` `tan-0_binary64_4299` `cos-0_binary64_4298` `sin-0_binary64_4297` `hang-m-tan_binary64_4296` `hang-p-tan_binary64_4295` `hang-m0-tan_binary64_4294` `hang-p0-tan_binary64_4293` `hang-0m-tan_binary64_4292` `hang-0p-tan_binary64_4291` `tan-+PI/2_binary64_4290` `tan-+PI_binary64_4289` `tan-PI_binary64_4288` `tan-PI/3_binary64_4287` `tan-PI/4_binary64_4286` `tan-PI/6_binary64_4285` `cos-+PI/2_binary64_4284` `cos-+PI_binary64_4283` `cos-PI_binary64_4282` `cos-PI/2_binary64_4281` `cos-PI/3_binary64_4280` `cos-PI/4_binary64_4279` `cos-PI/6_binary64_4278` `sin-+PI/2_binary64_4277` `sin-+PI_binary64_4276` `sin-PI_binary64_4275` `sin-PI/2_binary64_4274` `sin-PI/3_binary64_4273` `sin-PI/4_binary64_4272` `sin-PI/6_binary64_4271` `sub-1-sin_binary64_4270` `sub-1-cos_binary64_4269` `-1-add-sin_binary64_4268` `-1-add-cos_binary64_4267` `1-sub-sin_binary64_4266` `1-sub-cos_binary64_4265` `cos-sin-sum_binary64_4264` `log-E_binary64_4260` `log-pow_binary64_4259` `log-rec_binary64_4258` `log-div_binary64_4257` `log-prod_binary64_4256` `pow-base-0_binary64_4254` `unpow1/3_binary64_4237` `unpow3_binary64_4236` `unpow2_binary64_4235` `unpow1/2_binary64_4234` `pow-plus_binary64_4233` `exp-to-pow_binary64_4232` `pow-base-1_binary64_4230` `unpow0_binary64_4229` `unpow1_binary64_4228` `unpow-1_binary64_4227` `exp-lft-cube_binary64_4226` `exp-lft-sqr_binary64_4225` `exp-cbrt_binary64_4224` `exp-sqrt_binary64_4223` `exp-prod_binary64_4222` `div-exp_binary64_4221` `rec-exp_binary64_4220` `prod-exp_binary64_4219` `exp-diff_binary64_4218` `exp-neg_binary64_4217` `exp-sum_binary64_4216` `e-exp-1_binary64_4215` `exp-1-e_binary64_4213` `exp-0_binary64_4212` `rem-log-exp_binary64_4211` `rem-exp-log_binary64_4210` `cube-unmult_binary64_4207` `cube-mult_binary64_4200` `cube-div_binary64_4199` `cube-prod_binary64_4198` `cube-neg_binary64_4197` `rem-3cbrt-rft_binary64_4196` `rem-3cbrt-lft_binary64_4195` `rem-cbrt-cube_binary64_4194` `rem-cube-cbrt_binary64_4193` `sqr-abs_binary64_4185` `sqr-neg_binary64_4184` `rem-sqrt-square_binary64_4183` `rem-square-sqrt_binary64_4182` `times-frac_binary64_4176` `div-sub_binary64_4175` `/-rgt-identity_binary64_4161` `div0_binary64_4151` `-inverses_binary64_4150` `+-inverses_binary64_4149` `lft-mult-inverse_binary64_4148` `rgt-mult-inverse_binary64_4147` `remove-double-div_binary64_4146` `pow-sqr_binary64_4143` `sqr-pow_binary64_4142` `difference-of-sqr--1_binary64_4141` `difference-of-sqr-1_binary64_4140` `difference-of-squares_binary64_4139` `unswap-sqr_binary64_4138` `swap-sqr_binary64_4137` `distribute-neg-frac_binary64_4134` `distribute-frac-neg_binary64_4133` `distribute-neg-out_binary64_4132` `distribute-rgt1-in_binary64_4126` `distribute-lft1-in_binary64_4125` `distribute-rgt-out--_binary64_4124` `distribute-rgt-out_binary64_4123` `distribute-lft-out--_binary64_4122` `distribute-lft-out_binary64_4121` `count-2_binary64_4118` `associate-/l/_binary64_4117` `associate-/r/_binary64_4116` `associate-/l_binary64_4115` `associate-/r_binary64_4114` `associate-l/_binary64_4113` `associate-*r/_binary64_4112`

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

Counts

2 → 1

Compiler

Compiled 66 to 46 computations (30.3% saved)

localize34.0ms (0.1%)

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

rewrite126.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

12×	`add-sqr-sqrt_binary64_4192`
8×	`pow1_binary64_4231` `add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206` `add-cube-cbrt_binary64_4205` `*-un-lft-identity_binary64_4170`
6×	`add-log-exp_binary64_4209` `associate-l_binary64_4111` `associate-r_binary64_4110`
2×	`sin-mult_binary64_4325` `pow-prod-down_binary64_4241` `prod-exp_binary64_4219` `cbrt-unprod_binary64_4203` `unswap-sqr_binary64_4138` `*-commutative_binary64_4101`
1×	`diff-log_binary64_4262` `flip3--_binary64_4174` `sub-neg_binary64_4163` `flip--_binary64_4145` `cancel-sign-sub-inv_binary64_4136` `asin-acos_binary64_4350`

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 2653 to 371 computations (86% saved)

series1.0s (3.5%)

Error

0.1b

Counts

4 → 41

Calls

4 calls:

426.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)))))))
374.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))))))
98.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
80.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

Compiler

Compiled 4135 to 1903 computations (54% saved)

simplify234.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

478×	`sub-neg_binary64_4163`
469×	`cancel-sign-sub-inv_binary64_4136`
391×	`distribute-rgt-neg-in_binary64_4128`
335×	`distribute-lft-neg-in_binary64_4127`
320×	`unsub-neg_binary64_4164`
278×	`neg-mul-1_binary64_4166`
267×	`*-commutative_binary64_4101`
253×	`neg-sub0_binary64_4165`
199×	`+-commutative_binary64_4100`
151×	`distribute-rgt-in_binary64_4120`
148×	`associate--r+_binary64_4106`
135×	`sqr-pow_binary64_4142`
128×	`times-frac_binary64_4176`
127×	`associate-+l-_binary64_4105`
120×	`distribute-lft-in_binary64_4119`
112×	`associate-l_binary64_4111`
102×	`associate-r_binary64_4110`
97×	`distribute-neg-in_binary64_4131`
89×	`associate-+l+_binary64_4103`
82×	`associate-+r+_binary64_4102`
72×	`associate--l+_binary64_4107`
70×	`distribute-lft-neg-out_binary64_4129`
55×	`distribute-rgt-neg-out_binary64_4130`
53×	`exp-prod_binary64_4222`
51×	`distribute-rgt-out_binary64_4123` `associate-+r-_binary64_4104`
41×	`associate--r-_binary64_4109`
39×	`cube-prod_binary64_4198` `sub0-neg_binary64_4157`
38×	`associate-/l*_binary64_4115`
35×	`distribute-neg-out_binary64_4132`
34×	`exp-sum_binary64_4216`
32×	`unswap-sqr_binary64_4138`
31×	`mul0-rgt_binary64_4153` `mul0-lft_binary64_4152` `distribute-rgt-out--_binary64_4124`
29×	`log-prod_binary64_4256`
28×	`pow-sqr_binary64_4143` `associate-/r*_binary64_4114`
26×	`rem-sqrt-square_binary64_4183` `+-rgt-identity_binary64_4155` `distribute-lft-out_binary64_4121`
25×	`div-sub_binary64_4175`
24×	`exp-diff_binary64_4218`
21×	`swap-sqr_binary64_4137`
19×	`*-lft-identity_binary64_4159`
18×	`difference-of-squares_binary64_4139` `associate--l-_binary64_4108`
17×	`unpow3_binary64_4236` `associate-/l/_binary64_4117`
15×	`cube-unmult_binary64_4207` `-rgt-identity_binary64_4160` `distribute-lft-out--_binary64_4122` `associate-r/_binary64_4112`
14×	`remove-double-neg_binary64_4158`
11×	`unpow1/2_binary64_4234`
7×	`cube-mult_binary64_4200`
6×	`associate-*l/_binary64_4113`
5×	`cube-neg_binary64_4197` `sqr-neg_binary64_4184` `+-lft-identity_binary64_4154`
4×	`cos-neg_binary64_4301` `sin-neg_binary64_4300` `associate-/r/_binary64_4116`
3×	`--rgt-identity_binary64_4156` `cancel-sign-sub_binary64_4135` `distribute-frac-neg_binary64_4133` `distribute-rgt1-in_binary64_4126`
2×	`exp-neg_binary64_4217` `distribute-lft1-in_binary64_4125`
1×	`unpow2_binary64_4235` `pow-plus_binary64_4233` `unpow1_binary64_4228` `div-exp_binary64_4221` `1-exp_binary64_4214` `exp-1-e_binary64_4213` `count-2_binary64_4118`
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_4433` `erf-erfc_binary64_4432` `erf-odd_binary64_4431` `if-if-and-not_binary64_4430` `if-if-and_binary64_4429` `if-if-or-not_binary64_4428` `if-if-or_binary64_4427` `if-not_binary64_4426` `if-same_binary64_4425` `if-false_binary64_4424` `if-true_binary64_4423` `not-gte_binary64_4422` `not-lte_binary64_4421` `not-gt_binary64_4420` `not-lt_binary64_4419` `gte-same_binary64_4418` `lte-same_binary64_4417` `gt-same_binary64_4416` `lt-same_binary64_4415` `sinh---cosh_binary64_4362` `sinh-+-cosh_binary64_4361` `sinh-cosh_binary64_4360` `tanh-def-c_binary64_4359` `tanh-def-b_binary64_4358` `tanh-def-a_binary64_4357` `cosh-def_binary64_4356` `sinh-def_binary64_4355` `tan-neg_binary64_4302` `tan-0_binary64_4299` `cos-0_binary64_4298` `sin-0_binary64_4297` `hang-m-tan_binary64_4296` `hang-p-tan_binary64_4295` `hang-m0-tan_binary64_4294` `hang-p0-tan_binary64_4293` `hang-0m-tan_binary64_4292` `hang-0p-tan_binary64_4291` `tan-+PI/2_binary64_4290` `tan-+PI_binary64_4289` `tan-PI_binary64_4288` `tan-PI/3_binary64_4287` `tan-PI/4_binary64_4286` `tan-PI/6_binary64_4285` `cos-+PI/2_binary64_4284` `cos-+PI_binary64_4283` `cos-PI_binary64_4282` `cos-PI/2_binary64_4281` `cos-PI/3_binary64_4280` `cos-PI/4_binary64_4279` `cos-PI/6_binary64_4278` `sin-+PI/2_binary64_4277` `sin-+PI_binary64_4276` `sin-PI_binary64_4275` `sin-PI/2_binary64_4274` `sin-PI/3_binary64_4273` `sin-PI/4_binary64_4272` `sin-PI/6_binary64_4271` `sub-1-sin_binary64_4270` `sub-1-cos_binary64_4269` `-1-add-sin_binary64_4268` `-1-add-cos_binary64_4267` `1-sub-sin_binary64_4266` `1-sub-cos_binary64_4265` `cos-sin-sum_binary64_4264` `log-E_binary64_4260` `log-pow_binary64_4259` `log-rec_binary64_4258` `log-div_binary64_4257` `pow-base-0_binary64_4254` `unpow1/3_binary64_4237` `exp-to-pow_binary64_4232` `pow-base-1_binary64_4230` `unpow0_binary64_4229` `unpow-1_binary64_4227` `exp-lft-cube_binary64_4226` `exp-lft-sqr_binary64_4225` `exp-cbrt_binary64_4224` `exp-sqrt_binary64_4223` `rec-exp_binary64_4220` `prod-exp_binary64_4219` `e-exp-1_binary64_4215` `exp-0_binary64_4212` `rem-log-exp_binary64_4211` `rem-exp-log_binary64_4210` `cube-div_binary64_4199` `rem-3cbrt-rft_binary64_4196` `rem-3cbrt-lft_binary64_4195` `rem-cbrt-cube_binary64_4194` `rem-cube-cbrt_binary64_4193` `sqr-abs_binary64_4185` `rem-square-sqrt_binary64_4182` `mul-1-neg_binary64_4162` `/-rgt-identity_binary64_4161` `div0_binary64_4151` `*-inverses_binary64_4150` `+-inverses_binary64_4149` `lft-mult-inverse_binary64_4148` `rgt-mult-inverse_binary64_4147` `remove-double-div_binary64_4146` `difference-of-sqr--1_binary64_4141` `difference-of-sqr-1_binary64_4140` `distribute-neg-frac_binary64_4134`

Counts

99 → 117

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	155	3317
1	344	3152
2	885	3031
3	1603	2973
4	2935	2973
5	4214	2973
6	4972	2973
7	4996	2973
8	4857	2973

prune200.0ms (0.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	109	8	117
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	110	8	118

Error

0.0b

Counts

118 → 8

Compiler

Compiled 6001 to 912 computations (84.8% saved)

localize30.0ms (0.1%)

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.4b	(-.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))))))))))
1.7b	(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)))))))))

rewrite115.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

13×	`add-sqr-sqrt_binary64_4192`
12×	`*-un-lft-identity_binary64_4170`
9×	`pow1_binary64_4231` `add-cube-cbrt_binary64_4205`
7×	`add-log-exp_binary64_4209` `log-pow_binary64_4259`
6×	`log-prod_binary64_4256` `add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206` `cancel-sign-sub-inv_binary64_4136`
3×	`associate--r+_binary64_4106` `associate-l_binary64_4111` `associate-r_binary64_4110`
2×	`exp-to-pow_binary64_4232` `exp-prod_binary64_4222` `distribute-lft-out--_binary64_4122`
1×	`rem-log-exp_binary64_4211` `diff-log_binary64_4262` `flip3--_binary64_4174` `sub-neg_binary64_4163` `flip--_binary64_4145` `difference-of-squares_binary64_4139` `asin-acos_binary64_4350` `sin-mult_binary64_4325` `pow-prod-down_binary64_4241` `prod-exp_binary64_4219` `cbrt-unprod_binary64_4203` `unswap-sqr_binary64_4138` `*-commutative_binary64_4101`

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))))))))))
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)))))))
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 3270 to 427 computations (86.9% saved)

series2.6s (9%)

Error

0.0b

Counts

4 → 44

Calls

4 calls:

1.2s	(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)))))))))
961.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))))))))))
369.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)))))))
77.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))

Compiler

Compiled 4786 to 2188 computations (54.3% saved)

simplify178.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

623×	`unsub-neg_binary64_4164`
384×	`distribute-rgt-in_binary64_4120`
381×	`cancel-sign-sub-inv_binary64_4136`
333×	`distribute-lft-in_binary64_4119`
326×	`associate-l_binary64_4111`
278×	`associate-r_binary64_4110`
262×	`neg-mul-1_binary64_4166`
249×	`distribute-rgt-neg-in_binary64_4128`
246×	`neg-sub0_binary64_4165`
231×	`distribute-lft-neg-in_binary64_4127`
129×	`sub-neg_binary64_4163`
96×	`associate-+r+_binary64_4102`
92×	`*-commutative_binary64_4101`
89×	`associate-+l+_binary64_4103`
87×	`distribute-lft-neg-out_binary64_4129`
86×	`exp-prod_binary64_4222`
74×	`+-commutative_binary64_4100`
73×	`associate-+l-_binary64_4105`
69×	`distribute-rgt-neg-out_binary64_4130`
62×	`sqr-pow_binary64_4142`
57×	`log-prod_binary64_4256`
46×	`exp-sum_binary64_4216` `associate--r+_binary64_4106`
43×	`associate--l+_binary64_4107`
39×	`unswap-sqr_binary64_4138`
37×	`distribute-rgt-out_binary64_4123`
33×	`associate-+r-_binary64_4104`
32×	`distribute-lft-out_binary64_4121`
26×	`times-frac_binary64_4176`
25×	`cube-prod_binary64_4198`
21×	`*-lft-identity_binary64_4159`
20×	`exp-diff_binary64_4218`
18×	`log-pow_binary64_4259` `*-rgt-identity_binary64_4160` `sub0-neg_binary64_4157` `swap-sqr_binary64_4137`
17×	`cube-unmult_binary64_4207`
15×	`distribute-lft-out--_binary64_4122`
14×	`rem-sqrt-square_binary64_4183` `+-rgt-identity_binary64_4155`
13×	`distribute-rgt-out--_binary64_4124`
12×	`div-sub_binary64_4175`
11×	`mul0-rgt_binary64_4153` `mul0-lft_binary64_4152`
10×	`unpow3_binary64_4236` `exp-to-pow_binary64_4232`
9×	`distribute-neg-in_binary64_4131` `associate-/r*_binary64_4114`
8×	`difference-of-squares_binary64_4139`
7×	`rem-log-exp_binary64_4211` `sqr-neg_binary64_4184` `pow-sqr_binary64_4143`
6×	`count-2_binary64_4118` `associate--l-_binary64_4108`
5×	`pow-plus_binary64_4233`
4×	`unpow1/2_binary64_4234` `mul-1-neg_binary64_4162` `associate--r-_binary64_4109`
3×	`rem-exp-log_binary64_4210` `cube-mult_binary64_4200` `distribute-rgt1-in_binary64_4126` `associate-/l/_binary64_4117` `associate-*r/_binary64_4112`
2×	`associate-/l*_binary64_4115`
1×	`cos-neg_binary64_4301` `log-E_binary64_4260` `unpow2_binary64_4235` `unpow1_binary64_4228` `div-exp_binary64_4221` `1-exp_binary64_4214` `exp-1-e_binary64_4213` `cube-neg_binary64_4197` `rem-3cbrt-lft_binary64_4195` `rem-square-sqrt_binary64_4182` `difference-of-sqr-1_binary64_4140` `cancel-sign-sub_binary64_4135` `distribute-lft1-in_binary64_4125` `associate-/r/_binary64_4116`
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_4433` `erf-erfc_binary64_4432` `erf-odd_binary64_4431` `if-if-and-not_binary64_4430` `if-if-and_binary64_4429` `if-if-or-not_binary64_4428` `if-if-or_binary64_4427` `if-not_binary64_4426` `if-same_binary64_4425` `if-false_binary64_4424` `if-true_binary64_4423` `not-gte_binary64_4422` `not-lte_binary64_4421` `not-gt_binary64_4420` `not-lt_binary64_4419` `gte-same_binary64_4418` `lte-same_binary64_4417` `gt-same_binary64_4416` `lt-same_binary64_4415` `sinh---cosh_binary64_4362` `sinh-+-cosh_binary64_4361` `sinh-cosh_binary64_4360` `tanh-def-c_binary64_4359` `tanh-def-b_binary64_4358` `tanh-def-a_binary64_4357` `cosh-def_binary64_4356` `sinh-def_binary64_4355` `tan-neg_binary64_4302` `sin-neg_binary64_4300` `tan-0_binary64_4299` `cos-0_binary64_4298` `sin-0_binary64_4297` `hang-m-tan_binary64_4296` `hang-p-tan_binary64_4295` `hang-m0-tan_binary64_4294` `hang-p0-tan_binary64_4293` `hang-0m-tan_binary64_4292` `hang-0p-tan_binary64_4291` `tan-+PI/2_binary64_4290` `tan-+PI_binary64_4289` `tan-PI_binary64_4288` `tan-PI/3_binary64_4287` `tan-PI/4_binary64_4286` `tan-PI/6_binary64_4285` `cos-+PI/2_binary64_4284` `cos-+PI_binary64_4283` `cos-PI_binary64_4282` `cos-PI/2_binary64_4281` `cos-PI/3_binary64_4280` `cos-PI/4_binary64_4279` `cos-PI/6_binary64_4278` `sin-+PI/2_binary64_4277` `sin-+PI_binary64_4276` `sin-PI_binary64_4275` `sin-PI/2_binary64_4274` `sin-PI/3_binary64_4273` `sin-PI/4_binary64_4272` `sin-PI/6_binary64_4271` `sub-1-sin_binary64_4270` `sub-1-cos_binary64_4269` `-1-add-sin_binary64_4268` `-1-add-cos_binary64_4267` `1-sub-sin_binary64_4266` `1-sub-cos_binary64_4265` `cos-sin-sum_binary64_4264` `log-rec_binary64_4258` `log-div_binary64_4257` `pow-base-0_binary64_4254` `unpow1/3_binary64_4237` `pow-base-1_binary64_4230` `unpow0_binary64_4229` `unpow-1_binary64_4227` `exp-lft-cube_binary64_4226` `exp-lft-sqr_binary64_4225` `exp-cbrt_binary64_4224` `exp-sqrt_binary64_4223` `rec-exp_binary64_4220` `prod-exp_binary64_4219` `exp-neg_binary64_4217` `e-exp-1_binary64_4215` `exp-0_binary64_4212` `cube-div_binary64_4199` `rem-3cbrt-rft_binary64_4196` `rem-cbrt-cube_binary64_4194` `rem-cube-cbrt_binary64_4193` `sqr-abs_binary64_4185` `/-rgt-identity_binary64_4161` `remove-double-neg_binary64_4158` `--rgt-identity_binary64_4156` `+-lft-identity_binary64_4154` `div0_binary64_4151` `-inverses_binary64_4150` `+-inverses_binary64_4149` `lft-mult-inverse_binary64_4148` `rgt-mult-inverse_binary64_4147` `remove-double-div_binary64_4146` `difference-of-sqr--1_binary64_4141` `distribute-neg-frac_binary64_4134` `distribute-frac-neg_binary64_4133` `distribute-neg-out_binary64_4132` `associate-l/_binary64_4113`

Counts

108 → 107

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	139	4447
1	275	4251
2	644	4077
3	1845	3961
4	4191	3961
5	5173	3961

prune171.0ms (0.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	106	1	107
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	107	8	115

Error

0.0b

Counts

115 → 8

Compiler

Compiled 5751 to 817 computations (85.8% saved)

localize30.0ms (0.1%)

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	(-.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.5b	(cbrt.f64 (pow.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)))))))) 3))
0.6b	(pow.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)))))))) 3)

rewrite145.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

12×	`cbrt-prod_binary64_4201`
10×	`add-cube-cbrt_binary64_4205` `add-sqr-sqrt_binary64_4192` `*-un-lft-identity_binary64_4170`
6×	`unpow-prod-down_binary64_4249` `add-log-exp_binary64_4209` `cube-prod_binary64_4198`
5×	`pow1_binary64_4231` `add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206`
4×	`cube-div_binary64_4199`
3×	`pow-unpow_binary64_4247` `flip3--_binary64_4174` `flip--_binary64_4145`
2×	`unpow3_binary64_4236` `cube-mult_binary64_4200` `sqr-pow_binary64_4142` `cbrt-div_binary64_4202`
1×	`pow-pow_binary64_4242` `pow-to-exp_binary64_4239` `pow-exp_binary64_4238` `rem-cube-cbrt_binary64_4193` `pow1/3_binary64_4252` `rem-cbrt-cube_binary64_4194` `diff-log_binary64_4262` `sub-neg_binary64_4163` `cancel-sign-sub-inv_binary64_4136` `asin-acos_binary64_4350`

Counts

4 → 68

Calls

4 calls:

4.0ms	(pow.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)))))))) 3)
4.0ms	(cbrt.f64 (pow.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)))))))) 3))
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 4047 to 615 computations (84.8% saved)

series1.9s (6.3%)

Error

0.0b

Counts

4 → 48

Calls

4 calls:

846.0ms	(pow.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)))))))) 3)
434.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))))))))
424.0ms	(cbrt.f64 (pow.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)))))))) 3))
81.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))

Compiler

Compiled 5365 to 2594 computations (51.6% saved)

simplify189.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

445×	`cancel-sign-sub-inv_binary64_4136`
395×	`*-commutative_binary64_4101`
369×	`unswap-sqr_binary64_4138`
324×	`sub-neg_binary64_4163`
262×	`distribute-rgt-in_binary64_4120`
251×	`distribute-lft-in_binary64_4119`
179×	`exp-prod_binary64_4222`
141×	`associate-r_binary64_4110`
139×	`log-prod_binary64_4256`
135×	`cube-prod_binary64_4198`
119×	`distribute-rgt-neg-in_binary64_4128`
116×	`associate-l_binary64_4111`
113×	`neg-mul-1_binary64_4166` `neg-sub0_binary64_4165`
108×	`associate--r+_binary64_4106`
107×	`distribute-lft-neg-in_binary64_4127`
99×	`unsub-neg_binary64_4164`
86×	`sqr-pow_binary64_4142` `associate--l+_binary64_4107`
82×	`associate-+l+_binary64_4103`
66×	`exp-sum_binary64_4216`
62×	`associate-+r+_binary64_4102`
61×	`distribute-rgt-out_binary64_4123`
43×	`+-commutative_binary64_4100`
41×	`unpow3_binary64_4236`
32×	`associate-+l-_binary64_4105`
30×	`swap-sqr_binary64_4137`
29×	`cube-mult_binary64_4200`
26×	`distribute-neg-in_binary64_4131`
24×	`pow-plus_binary64_4233` `associate-+r-_binary64_4104`
22×	`log-pow_binary64_4259` `distribute-lft-neg-out_binary64_4129`
18×	`cube-unmult_binary64_4207` `rem-sqrt-square_binary64_4183`
15×	`distribute-rgt-out--_binary64_4124` `distribute-lft-out_binary64_4121`
12×	`pow-sqr_binary64_4143`
9×	`distribute-rgt-neg-out_binary64_4130`
8×	`rem-cbrt-cube_binary64_4194`
6×	`unpow1/2_binary64_4234` `unpow1_binary64_4228`
5×	`unpow2_binary64_4235` `exp-diff_binary64_4218` `difference-of-squares_binary64_4139`
4×	`exp-neg_binary64_4217`
3×	`sqr-neg_binary64_4184` `distribute-lft-out--_binary64_4122` `count-2_binary64_4118` `associate-/l/_binary64_4117` `associate-*r/_binary64_4112` `associate--l-_binary64_4108`
2×	`div-sub_binary64_4175` `-rgt-identity_binary64_4160` `-lft-identity_binary64_4159` `associate-/l*_binary64_4115`
1×	`div-exp_binary64_4221` `1-exp_binary64_4214` `rem-3cbrt-lft_binary64_4195` `rem-cube-cbrt_binary64_4193` `rem-square-sqrt_binary64_4182` `+-rgt-identity_binary64_4155` `distribute-rgt1-in_binary64_4126` `distribute-lft1-in_binary64_4125` `associate-/r/_binary64_4116` `associate-/r*_binary64_4114`
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_4433` `erf-erfc_binary64_4432` `erf-odd_binary64_4431` `if-if-and-not_binary64_4430` `if-if-and_binary64_4429` `if-if-or-not_binary64_4428` `if-if-or_binary64_4427` `if-not_binary64_4426` `if-same_binary64_4425` `if-false_binary64_4424` `if-true_binary64_4423` `not-gte_binary64_4422` `not-lte_binary64_4421` `not-gt_binary64_4420` `not-lt_binary64_4419` `gte-same_binary64_4418` `lte-same_binary64_4417` `gt-same_binary64_4416` `lt-same_binary64_4415` `sinh---cosh_binary64_4362` `sinh-+-cosh_binary64_4361` `sinh-cosh_binary64_4360` `tanh-def-c_binary64_4359` `tanh-def-b_binary64_4358` `tanh-def-a_binary64_4357` `cosh-def_binary64_4356` `sinh-def_binary64_4355` `tan-neg_binary64_4302` `cos-neg_binary64_4301` `sin-neg_binary64_4300` `tan-0_binary64_4299` `cos-0_binary64_4298` `sin-0_binary64_4297` `hang-m-tan_binary64_4296` `hang-p-tan_binary64_4295` `hang-m0-tan_binary64_4294` `hang-p0-tan_binary64_4293` `hang-0m-tan_binary64_4292` `hang-0p-tan_binary64_4291` `tan-+PI/2_binary64_4290` `tan-+PI_binary64_4289` `tan-PI_binary64_4288` `tan-PI/3_binary64_4287` `tan-PI/4_binary64_4286` `tan-PI/6_binary64_4285` `cos-+PI/2_binary64_4284` `cos-+PI_binary64_4283` `cos-PI_binary64_4282` `cos-PI/2_binary64_4281` `cos-PI/3_binary64_4280` `cos-PI/4_binary64_4279` `cos-PI/6_binary64_4278` `sin-+PI/2_binary64_4277` `sin-+PI_binary64_4276` `sin-PI_binary64_4275` `sin-PI/2_binary64_4274` `sin-PI/3_binary64_4273` `sin-PI/4_binary64_4272` `sin-PI/6_binary64_4271` `sub-1-sin_binary64_4270` `sub-1-cos_binary64_4269` `-1-add-sin_binary64_4268` `-1-add-cos_binary64_4267` `1-sub-sin_binary64_4266` `1-sub-cos_binary64_4265` `cos-sin-sum_binary64_4264` `log-E_binary64_4260` `log-rec_binary64_4258` `log-div_binary64_4257` `pow-base-0_binary64_4254` `unpow1/3_binary64_4237` `exp-to-pow_binary64_4232` `pow-base-1_binary64_4230` `unpow0_binary64_4229` `unpow-1_binary64_4227` `exp-lft-cube_binary64_4226` `exp-lft-sqr_binary64_4225` `exp-cbrt_binary64_4224` `exp-sqrt_binary64_4223` `rec-exp_binary64_4220` `prod-exp_binary64_4219` `e-exp-1_binary64_4215` `exp-1-e_binary64_4213` `exp-0_binary64_4212` `rem-log-exp_binary64_4211` `rem-exp-log_binary64_4210` `cube-div_binary64_4199` `cube-neg_binary64_4197` `rem-3cbrt-rft_binary64_4196` `sqr-abs_binary64_4185` `times-frac_binary64_4176` `mul-1-neg_binary64_4162` `/-rgt-identity_binary64_4161` `remove-double-neg_binary64_4158` `sub0-neg_binary64_4157` `--rgt-identity_binary64_4156` `+-lft-identity_binary64_4154` `mul0-rgt_binary64_4153` `mul0-lft_binary64_4152` `div0_binary64_4151` `-inverses_binary64_4150` `+-inverses_binary64_4149` `lft-mult-inverse_binary64_4148` `rgt-mult-inverse_binary64_4147` `remove-double-div_binary64_4146` `difference-of-sqr--1_binary64_4141` `difference-of-sqr-1_binary64_4140` `cancel-sign-sub_binary64_4135` `distribute-neg-frac_binary64_4134` `distribute-frac-neg_binary64_4133` `distribute-neg-out_binary64_4132` `associate-l/_binary64_4113` `associate--r-_binary64_4109`

Counts

116 → 154

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	161	6184
1	399	5653
2	1290	5501
3	3981	5501
4	5035	5501

prune275.0ms (0.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	153	1	154
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	154	8	162

Error

0.0b

Counts

162 → 8

Compiler

Compiled 9681 to 1487 computations (84.6% saved)

localize41.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(cbrt.f64 (cbrt.f64 (pow.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)))))))) 3)))
0.5b	(cbrt.f64 (pow.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)))))))) 3))
0.5b	(cbrt.f64 (pow.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)))))))) 2))
0.6b	(pow.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)))))))) 3)

rewrite263.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

47×	`cbrt-prod_binary64_4201`
16×	`add-cube-cbrt_binary64_4205` `add-sqr-sqrt_binary64_4192` `*-un-lft-identity_binary64_4170`
12×	`unpow-prod-down_binary64_4249`
9×	`cube-prod_binary64_4198`
6×	`cube-div_binary64_4199` `cbrt-div_binary64_4202`
5×	`pow1_binary64_4231` `add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206`
4×	`add-log-exp_binary64_4209` `sqr-pow_binary64_4142`
3×	`pow-unpow_binary64_4247` `unpow3_binary64_4236` `cube-mult_binary64_4200` `flip3--_binary64_4174` `flip--_binary64_4145` `pow1/3_binary64_4252`
1×	`pow-pow_binary64_4242` `pow-to-exp_binary64_4239` `pow-exp_binary64_4238` `rem-cube-cbrt_binary64_4193` `unpow2_binary64_4235` `rem-cbrt-cube_binary64_4194`

Counts

4 → 89

Calls

4 calls:

5.0ms	(cbrt.f64 (cbrt.f64 (pow.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)))))))) 3)))
4.0ms	(pow.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)))))))) 3)
4.0ms	(cbrt.f64 (pow.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)))))))) 3))
4.0ms	(cbrt.f64 (pow.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)))))))) 2))

Compiler

Compiled 7974 to 1303 computations (83.7% saved)

series5.7s (19.2%)

Error

0.0b

Counts

4 → 52

Calls

4 calls:

2.8s	(cbrt.f64 (pow.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)))))))) 2))
1.4s	(cbrt.f64 (cbrt.f64 (pow.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)))))))) 3)))
871.0ms	(pow.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)))))))) 3)
461.0ms	(cbrt.f64 (pow.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)))))))) 3))

Compiler

Compiled 11721 to 4545 computations (61.2% saved)

simplify270.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

737×	`cancel-sign-sub-inv_binary64_4136`
309×	`associate-r_binary64_4110`
287×	`distribute-rgt-in_binary64_4120`
278×	`distribute-rgt-neg-in_binary64_4128`
261×	`distribute-lft-neg-in_binary64_4127`
249×	`associate-l_binary64_4111`
155×	`sqr-pow_binary64_4142`
151×	`log-prod_binary64_4256`
146×	`*-commutative_binary64_4101`
134×	`sub-neg_binary64_4163`
83×	`distribute-rgt-out_binary64_4123`
77×	`exp-prod_binary64_4222`
73×	`+-commutative_binary64_4100`
70×	`unpow3_binary64_4236`
65×	`neg-mul-1_binary64_4166` `neg-sub0_binary64_4165`
59×	`distribute-neg-in_binary64_4131`
55×	`cube-prod_binary64_4198`
49×	`unswap-sqr_binary64_4138`
47×	`log-pow_binary64_4259`
41×	`swap-sqr_binary64_4137`
40×	`associate--l+_binary64_4107` `associate--r+_binary64_4106`
34×	`associate-+l+_binary64_4103`
29×	`associate-+r+_binary64_4102`
28×	`unsub-neg_binary64_4164`
27×	`distribute-lft-out_binary64_4121`
26×	`distribute-lft-neg-out_binary64_4129`
22×	`rem-sqrt-square_binary64_4183` `distribute-rgt-out--_binary64_4124`
19×	`distribute-lft-in_binary64_4119`
16×	`pow-sqr_binary64_4143`
15×	`unpow1/3_binary64_4237` `cube-mult_binary64_4200`
11×	`unpow2_binary64_4235` `pow-plus_binary64_4233`
10×	`unpow1/2_binary64_4234` `unpow1_binary64_4228` `cube-unmult_binary64_4207`
9×	`distribute-rgt-neg-out_binary64_4130`
8×	`exp-sum_binary64_4216` `rem-cbrt-cube_binary64_4194` `associate-/r*_binary64_4114`
6×	`distribute-lft-out--_binary64_4122`
5×	`difference-of-squares_binary64_4139`
3×	`rem-3cbrt-lft_binary64_4195`
2×	`exp-diff_binary64_4218` `-rgt-identity_binary64_4160` `-lft-identity_binary64_4159` `distribute-rgt1-in_binary64_4126`
1×	`1-exp_binary64_4214` `rem-cube-cbrt_binary64_4193` `rem-square-sqrt_binary64_4182` `distribute-lft1-in_binary64_4125` `associate-/l*_binary64_4115`
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_4433` `erf-erfc_binary64_4432` `erf-odd_binary64_4431` `if-if-and-not_binary64_4430` `if-if-and_binary64_4429` `if-if-or-not_binary64_4428` `if-if-or_binary64_4427` `if-not_binary64_4426` `if-same_binary64_4425` `if-false_binary64_4424` `if-true_binary64_4423` `not-gte_binary64_4422` `not-lte_binary64_4421` `not-gt_binary64_4420` `not-lt_binary64_4419` `gte-same_binary64_4418` `lte-same_binary64_4417` `gt-same_binary64_4416` `lt-same_binary64_4415` `sinh---cosh_binary64_4362` `sinh-+-cosh_binary64_4361` `sinh-cosh_binary64_4360` `tanh-def-c_binary64_4359` `tanh-def-b_binary64_4358` `tanh-def-a_binary64_4357` `cosh-def_binary64_4356` `sinh-def_binary64_4355` `tan-neg_binary64_4302` `cos-neg_binary64_4301` `sin-neg_binary64_4300` `tan-0_binary64_4299` `cos-0_binary64_4298` `sin-0_binary64_4297` `hang-m-tan_binary64_4296` `hang-p-tan_binary64_4295` `hang-m0-tan_binary64_4294` `hang-p0-tan_binary64_4293` `hang-0m-tan_binary64_4292` `hang-0p-tan_binary64_4291` `tan-+PI/2_binary64_4290` `tan-+PI_binary64_4289` `tan-PI_binary64_4288` `tan-PI/3_binary64_4287` `tan-PI/4_binary64_4286` `tan-PI/6_binary64_4285` `cos-+PI/2_binary64_4284` `cos-+PI_binary64_4283` `cos-PI_binary64_4282` `cos-PI/2_binary64_4281` `cos-PI/3_binary64_4280` `cos-PI/4_binary64_4279` `cos-PI/6_binary64_4278` `sin-+PI/2_binary64_4277` `sin-+PI_binary64_4276` `sin-PI_binary64_4275` `sin-PI/2_binary64_4274` `sin-PI/3_binary64_4273` `sin-PI/4_binary64_4272` `sin-PI/6_binary64_4271` `sub-1-sin_binary64_4270` `sub-1-cos_binary64_4269` `-1-add-sin_binary64_4268` `-1-add-cos_binary64_4267` `1-sub-sin_binary64_4266` `1-sub-cos_binary64_4265` `cos-sin-sum_binary64_4264` `log-E_binary64_4260` `log-rec_binary64_4258` `log-div_binary64_4257` `pow-base-0_binary64_4254` `exp-to-pow_binary64_4232` `pow-base-1_binary64_4230` `unpow0_binary64_4229` `unpow-1_binary64_4227` `exp-lft-cube_binary64_4226` `exp-lft-sqr_binary64_4225` `exp-cbrt_binary64_4224` `exp-sqrt_binary64_4223` `div-exp_binary64_4221` `rec-exp_binary64_4220` `prod-exp_binary64_4219` `exp-neg_binary64_4217` `e-exp-1_binary64_4215` `exp-1-e_binary64_4213` `exp-0_binary64_4212` `rem-log-exp_binary64_4211` `rem-exp-log_binary64_4210` `cube-div_binary64_4199` `cube-neg_binary64_4197` `rem-3cbrt-rft_binary64_4196` `sqr-abs_binary64_4185` `sqr-neg_binary64_4184` `times-frac_binary64_4176` `div-sub_binary64_4175` `mul-1-neg_binary64_4162` `/-rgt-identity_binary64_4161` `remove-double-neg_binary64_4158` `sub0-neg_binary64_4157` `--rgt-identity_binary64_4156` `+-rgt-identity_binary64_4155` `+-lft-identity_binary64_4154` `mul0-rgt_binary64_4153` `mul0-lft_binary64_4152` `div0_binary64_4151` `-inverses_binary64_4150` `+-inverses_binary64_4149` `lft-mult-inverse_binary64_4148` `rgt-mult-inverse_binary64_4147` `remove-double-div_binary64_4146` `difference-of-sqr--1_binary64_4141` `difference-of-sqr-1_binary64_4140` `cancel-sign-sub_binary64_4135` `distribute-neg-frac_binary64_4134` `distribute-frac-neg_binary64_4133` `distribute-neg-out_binary64_4132` `count-2_binary64_4118` `associate-/l/_binary64_4117` `associate-/r/_binary64_4116` `associate-l/_binary64_4113` `associate-*r/_binary64_4112` `associate--r-_binary64_4109` `associate--l-_binary64_4108` `associate-+l-_binary64_4105` `associate-+r-_binary64_4104`

Counts

141 → 263

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	281	8775
1	711	8563
2	2424	8350
3	4846	8350
4	4959	8350

prune683.0ms (2.3%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	261	2	263
Fresh	1	4	5
Picked	0	1	1
Done	0	2	2
Total	262	9	271

Error

0.0b

Counts

271 → 9

Compiler

Compiled 23449 to 3780 computations (83.9% saved)

regimes1.8s (6.1%)

Accuracy

Total 0.1b remaining (68.8%)

Threshold costs 0.1b (68.8%)

Compiler

Compiled 31918 to 15582 computations (51.2% saved)

bsearch0.0ms (0%)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64_4101`
6×	`+-commutative_binary64_4100`
4×	`sub-neg_binary64_4163`
3×	`neg-mul-1_binary64_4166` `neg-sub0_binary64_4165`
2×	`cancel-sign-sub-inv_binary64_4136` `distribute-rgt-neg-in_binary64_4128`
1×	`distribute-lft-neg-out_binary64_4129` `distribute-lft-neg-in_binary64_4127`
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_4430` `if-if-and_binary64_4429` `if-if-or-not_binary64_4428` `if-if-or_binary64_4427` `if-not_binary64_4426` `if-same_binary64_4425` `if-false_binary64_4424` `if-true_binary64_4423` `tan-0_binary64_4299` `cos-0_binary64_4298` `sin-0_binary64_4297` `unpow1_binary64_4228` `e-exp-1_binary64_4215` `1-exp_binary64_4214` `exp-1-e_binary64_4213` `exp-0_binary64_4212` `sqr-abs_binary64_4185` `sqr-neg_binary64_4184` `unsub-neg_binary64_4164` `mul-1-neg_binary64_4162` `/-rgt-identity_binary64_4161` `-rgt-identity_binary64_4160` `-lft-identity_binary64_4159` `remove-double-neg_binary64_4158` `sub0-neg_binary64_4157` `--rgt-identity_binary64_4156` `+-rgt-identity_binary64_4155` `+-lft-identity_binary64_4154` `cancel-sign-sub_binary64_4135` `distribute-neg-frac_binary64_4134` `distribute-frac-neg_binary64_4133` `distribute-neg-out_binary64_4132` `distribute-neg-in_binary64_4131` `distribute-rgt-neg-out_binary64_4130`

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

end0.0ms (0%)

sample9.7s (32.8%)

Algorithm

1×

intervals

Results

4.6s	3957×	body	1024	valid
942.0ms	1303×	body	512	valid
696.0ms	2185×	body	128	valid
249.0ms	546×	body	256	valid
23.0ms	9×	body	2048	valid

Compiler

Compiled 4609 to 2260 computations (51% 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.5s (11.9%)

sample222.0ms (0.8%)

simplify134.0ms (0.5%)

prune4.0ms (0%)

localize34.0ms (0.1%)

rewrite126.0ms (0.4%)

series1.0s (3.5%)

simplify234.0ms (0.8%)

prune200.0ms (0.7%)

localize30.0ms (0.1%)

rewrite115.0ms (0.4%)

series2.6s (9%)

simplify178.0ms (0.6%)

prune171.0ms (0.6%)

localize30.0ms (0.1%)

rewrite145.0ms (0.5%)

series1.9s (6.3%)

simplify189.0ms (0.6%)

prune275.0ms (0.9%)

localize41.0ms (0.1%)

rewrite263.0ms (0.9%)

series5.7s (19.2%)

simplify270.0ms (0.9%)

prune683.0ms (2.3%)

regimes1.8s (6.1%)

bsearch0.0ms (0%)

simplify8.0ms (0%)

end0.0ms (0%)

sample9.7s (32.8%)

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