Details

analyze6.0s (25.2%)

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 39 to 24 computations (38.5% saved)

sample318.0ms (1.3%)

Algorithm

1×

intervals

Results

241.0ms	140×	body	1024	valid
36.0ms	38×	body	512	valid
20.0ms	69×	body	128	valid
5.0ms	9×	body	256	valid

Compiler

Compiled 82 to 52 computations (36.6% saved)

simplify46.0ms (0.2%)

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`

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

prune3.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

Alt Table

Status	Error	Program
▶	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))

Status

Error

Program

▶

0.1b

(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))

Compiler

Compiled 114 to 69 computations (39.5% saved)

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

rewrite107.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

12×	`add-sqr-sqrt_binary64`
8×	`*-un-lft-identity_binary64`
8×	`add-cube-cbrt_binary64`
8×	`add-cbrt-cube_binary64`
8×	`add-exp-log_binary64`

Counts

4 → 58

Calls

4 calls:

4.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 (sin.f64 theta) (sin.f64 delta))
3.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 2518 to 351 computations (86.1% saved)

series185.0ms (0.8%)

Error

0.1b

Counts

4 → 39

Calls

4 calls:

71.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)))))))
56.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))))))
23.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
22.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

Compiler

Compiled 3353 to 1830 computations (45.4% saved)

simplify145.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

460×	`distribute-rgt-neg-in_binary64`
439×	`cancel-sign-sub-inv_binary64`
438×	`neg-mul-1_binary64`
433×	`associate-l_binary64`
424×	`neg-sub0_binary64`

Counts

97 → 51

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	148	3100
1	318	2911
2	804	2872
3	1694	2872
4	3197	2872
5	4369	2872
6	5000	2872

prune80.0ms (0.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	43	8	51
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	44	8	52

Error

0.0b

Counts

52 → 8

Alt Table

Status	Error	Program
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 theta)) (cbrt.f64 (sin.f64 theta))) (.f64 (sin.f64 delta) (cbrt.f64 (sin.f64 theta)))) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 delta) (sin.f64 theta))) (cbrt.f64 (.f64 (sin.f64 delta) (sin.f64 theta)))) (cbrt.f64 (.f64 (sin.f64 delta) (sin.f64 theta)))) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
	18.0b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (sqrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))) (sqrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (.f64 (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))) (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))) (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.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 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)) (+.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (+.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))))
▶	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (-.f64 (/.f64 PI.f64 2) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))) (cbrt.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))) (cbrt.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))

Compiler

Compiled 2980 to 740 computations (75.2% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (sin.f64 phi1) (sin.f64 (-.f64 (/.f64 PI.f64 2) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))
0.2b	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))
0.4b	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (-.f64 (/.f64 PI.f64 2) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))
3.0b	(-.f64 (/.f64 PI.f64 2) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))

rewrite301.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`sin-sum_binary64`
18×	`add-sqr-sqrt_binary64`
16×	`cancel-sign-sub-inv_binary64`
13×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`

Counts

4 → 77

Calls

4 calls:

9.0ms	(.f64 (sin.f64 phi1) (sin.f64 (-.f64 (/.f64 PI.f64 2) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))
7.0ms	(-.f64 (/.f64 PI.f64 2) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))
6.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (-.f64 (/.f64 PI.f64 2) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))
1.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))

Compiler

Compiled 4814 to 1092 computations (77.3% saved)

series232.0ms (1%)

Error

0.0b

Counts

4 → 40

Calls

4 calls:

80.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (-.f64 (/.f64 PI.f64 2) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))
69.0ms	(.f64 (sin.f64 phi1) (sin.f64 (-.f64 (/.f64 PI.f64 2) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))
30.0ms	(-.f64 (/.f64 PI.f64 2) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))
27.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))

Compiler

Compiled 3708 to 2228 computations (39.9% saved)

simplify244.0ms (1%)

Algorithm

1×	egg-herbie

Rules

471×	`distribute-rgt-in_binary64`
377×	`distribute-lft-in_binary64`
341×	`associate-l_binary64`
317×	`associate-r_binary64`
291×	`neg-mul-1_binary64`

Counts

117 → 67

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	194	5022
1	426	4858
2	834	4472
3	2061	4445
4	4466	4445
5	4976	4443
6	4997	4443
7	4858	4443

prune156.0ms (0.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	66	1	67
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	67	8	75

Error

0.0b

Counts

75 → 8

Alt Table

Status	Error	Program
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 theta)) (cbrt.f64 (sin.f64 theta))) (.f64 (sin.f64 delta) (cbrt.f64 (sin.f64 theta)))) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 delta) (sin.f64 theta))) (cbrt.f64 (.f64 (sin.f64 delta) (sin.f64 theta)))) (cbrt.f64 (.f64 (sin.f64 delta) (sin.f64 theta)))) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
	18.0b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (sqrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))) (sqrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (.f64 (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))) (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))) (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
▶	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (cbrt.f64 (pow.f64 (.f64 (sin.f64 phi1) (cos.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)) (+.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (+.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))))
✓	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (-.f64 (/.f64 PI.f64 2) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))) (cbrt.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))) (cbrt.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))

Compiler

Compiled 3421 to 839 computations (75.5% saved)

localize33.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(-.f64 (cos.f64 delta) (cbrt.f64 (pow.f64 (.f64 (sin.f64 phi1) (cos.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)))
0.4b	(pow.f64 (.f64 (sin.f64 phi1) (cos.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)
15.3b	(cos.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))
21.9b	(cbrt.f64 (pow.f64 (.f64 (sin.f64 phi1) (cos.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3))

rewrite248.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

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`

Counts

4 → 76

Calls

4 calls:

5.0ms	(-.f64 (cos.f64 delta) (cbrt.f64 (pow.f64 (.f64 (sin.f64 phi1) (cos.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)))
4.0ms	(pow.f64 (.f64 (sin.f64 phi1) (cos.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)
2.0ms	(cbrt.f64 (pow.f64 (.f64 (sin.f64 phi1) (cos.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3))
2.0ms	(cos.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))

Compiler

Compiled 3816 to 742 computations (80.6% saved)

series303.0ms (1.3%)

Error

0.0b

Counts

4 → 41

Calls

4 calls:

103.0ms	(pow.f64 (.f64 (sin.f64 phi1) (cos.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)
68.0ms	(-.f64 (cos.f64 delta) (cbrt.f64 (pow.f64 (.f64 (sin.f64 phi1) (cos.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)))
57.0ms	(cbrt.f64 (pow.f64 (.f64 (sin.f64 phi1) (cos.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3))
48.0ms	(cos.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))

Compiler

Compiled 3781 to 2102 computations (44.4% saved)

simplify171.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

392×	`unswap-sqr_binary64`
290×	`exp-prod_binary64`
264×	`log-prod_binary64`
256×	`distribute-rgt-neg-in_binary64`
245×	`distribute-lft-neg-in_binary64`

Counts

117 → 79

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	157	5128
1	318	4677
2	806	4553
3	1855	4517
4	4348	4514
5	4920	4514

prune101.0ms (0.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	79	0	79
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	79	8	87

Error

0.0b

Counts

87 → 8

Alt Table

Status	Error	Program
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 theta)) (cbrt.f64 (sin.f64 theta))) (.f64 (sin.f64 delta) (cbrt.f64 (sin.f64 theta)))) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 delta) (sin.f64 theta))) (cbrt.f64 (.f64 (sin.f64 delta) (sin.f64 theta)))) (cbrt.f64 (.f64 (sin.f64 delta) (sin.f64 theta)))) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
	18.0b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (sqrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))) (sqrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (.f64 (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))) (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))) (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
✓	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (cbrt.f64 (pow.f64 (.f64 (sin.f64 phi1) (cos.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)))))
▶	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)) (+.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (+.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))))
✓	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (-.f64 (/.f64 PI.f64 2) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))) (cbrt.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))) (cbrt.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))

Compiler

Compiled 2582 to 635 computations (75.4% saved)

localize43.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite923.0ms (3.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

67×	`add-sqr-sqrt_binary64`
39×	`times-frac_binary64`
35×	`*-un-lft-identity_binary64`
32×	`difference-of-squares_binary64`
27×	`add-cube-cbrt_binary64`

Counts

4 → 144

Calls

4 calls:

15.0ms	(/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)) (+.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (+.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
9.0ms	(.f64 (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (+.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))
6.0ms	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)
2.0ms	(pow.f64 (cos.f64 delta) 3)

Compiler

Compiled 15573 to 1748 computations (88.8% saved)

series808.0ms (3.4%)

Error

0.0b

Counts

4 → 38

Calls

4 calls:

505.0ms	(/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)) (+.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (+.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
129.0ms	(.f64 (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (+.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))
105.0ms	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)
14.0ms	(pow.f64 (cos.f64 delta) 3)

Compiler

Compiled 9641 to 3239 computations (66.4% saved)

simplify516.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

650×	`times-frac_binary64`
332×	`associate-r_binary64`
327×	`associate-l_binary64`
210×	`log-prod_binary64`
165×	`associate-/l*_binary64`

Counts

182 → 143

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	339	21137
1	856	20448
2	3512	20200
3	4892	20200
4	4973	20200

prune319.0ms (1.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	141	2	143
Fresh	0	5	5
Picked	0	1	1
Done	1	1	2
Total	142	9	151

Error

0.0b

Counts

151 → 9

Alt Table

Status	Error	Program
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 theta)) (cbrt.f64 (sin.f64 theta))) (.f64 (sin.f64 delta) (cbrt.f64 (sin.f64 theta)))) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 delta) (sin.f64 theta))) (cbrt.f64 (.f64 (sin.f64 delta) (sin.f64 theta)))) (cbrt.f64 (.f64 (sin.f64 delta) (sin.f64 theta)))) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
	18.0b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (sqrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))) (sqrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3))) (cbrt.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)))) (sqrt.f64 (+.f64 (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 2) (.f64 (cos.f64 delta) (+.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))))) (/.f64 (cbrt.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3))) (sqrt.f64 (+.f64 (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 2) (.f64 (cos.f64 delta) (+.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)) (+.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (+.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))))
	20.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (exp.f64 (.f64 3 (log.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))))) (+.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (+.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))))
	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (-.f64 (/.f64 PI.f64 2) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))) (cbrt.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))) (cbrt.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (.f64 (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))) (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))) (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))

Compiler

Compiled 9988 to 1579 computations (84.2% saved)

regimes2.0s (8.4%)

Accuracy

Total 0.1b remaining (44.2%)

Threshold costs 0.1b (44.2%)

Compiler

Compiled 66666 to 32837 computations (50.7% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64`
6×	`+-commutative_binary64`
4×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	55
1	41	55
2	50	55
3	56	55
4	60	55
5	61	55
6	60	55

end1.0ms (0%)

Compiler: Compiled 38 to 23 computations (39.5% saved)

sample10.6s (44.1%)

Algorithm

1×

intervals

Results

7.4s	3993×	body	1024	valid
1.3s	1275×	body	512	valid
599.0ms	2185×	body	128	valid
415.0ms	536×	body	256	valid
44.0ms	11×	body	2048	valid

Compiler

Compiled 836 to 330 computations (60.5% 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

analyze6.0s (25.2%)

sample318.0ms (1.3%)

simplify46.0ms (0.2%)

prune3.0ms (0%)

localize28.0ms (0.1%)

rewrite107.0ms (0.4%)

series185.0ms (0.8%)

simplify145.0ms (0.6%)

prune80.0ms (0.3%)

localize30.0ms (0.1%)

rewrite301.0ms (1.3%)

series232.0ms (1%)

simplify244.0ms (1%)

prune156.0ms (0.7%)

localize33.0ms (0.1%)

rewrite248.0ms (1%)

series303.0ms (1.3%)

simplify171.0ms (0.7%)

prune101.0ms (0.4%)

localize43.0ms (0.2%)

rewrite923.0ms (3.8%)

series808.0ms (3.4%)

simplify516.0ms (2.2%)

prune319.0ms (1.3%)

regimes2.0s (8.4%)

simplify5.0ms (0%)

end1.0ms (0%)

sample10.6s (44.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