Details

analyze3.4s (10%)

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
0.8%	99%	0.2%	11
1.2%	98.6%	0.2%	12
1.8%	98%	0.2%	13
2%	97.7%	0.2%	14

Compiler

Compiled 20 to 18 computations (10% saved)

sample276.0ms (0.8%)

Algorithm

1×

intervals

Results

195.0ms	185×	body	1024	valid
26.0ms	11×	body	2048	valid
23.0ms	37×	body	512	valid
5.0ms	11×	body	256	valid
3.0ms	12×	body	128	valid
1.0ms	1×	body	1024	invalid

Compiler

Compiled 39 to 40 computations (-2.6% saved)

simplify108.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	96	31
1	96	31

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

18.1b

Counts

2 → 1

Compiler

Compiled 38 to 34 computations (10.5% saved)

localize29.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
0.2b	(*.f64 (sin.f64 phi1) (sin.f64 phi2))
0.1b	(+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))
0.1b	(*.f64 (cos.f64 phi1) (cos.f64 phi2))
0.2b	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
0.2b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
1.6b	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
2.9b	(cos.f64 (-.f64 lambda1 lambda2))

rewrite52.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
10×	`add-sqr-sqrt_binary64_1123`
8×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
6×	`associate-r_binary64_1041`
4×	`cbrt-unprod_binary64_1134` `add-log-exp_binary64_1140` `prod-exp_binary64_1150` `cos-sum_binary64_1235` `pow-prod-down_binary64_1172` `associate-l_binary64_1042`
3×	`cos-diff_binary64_1238` `cancel-sign-sub-inv_binary64_1067`
2×	`*-commutative_binary64_1032`
1×	`cos-mult_binary64_1255` `sub-neg_binary64_1094` `distribute-lft-in_binary64_1050` `acos-asin_binary64_1282` `unswap-sqr_binary64_1069` `associate-*l/_binary64_1044` `distribute-rgt-in_binary64_1051`

Counts

4 → 59

Calls

8 calls:

16.0ms	(cos.f64 (-.f64 lambda1 lambda2))
14.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
7.0ms	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
2.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
0.0ms	(*.f64 (cos.f64 phi1) (cos.f64 phi2))

series932.0ms (2.7%)

Counts

4 → 58

Calls

4 calls:

459.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
289.0ms	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
123.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
61.0ms	(cos.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 2208 to 1842 computations (16.6% saved)

simplify123.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	4970	2837
1	4970	2837

prune237.0ms (0.7%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	103	14	117
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	104	14	118

Error

4.2b

Counts

118 → 14

Compiler

Compiled 3239 to 685 computations (78.9% saved)

localize32.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b	(+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))))
0.1b	(*.f64 (cos.f64 lambda1) (cos.f64 lambda2))
0.1b	(*.f64 (cos.f64 phi1) (cos.f64 phi2))
0.1b	(*.f64 (cos.f64 phi1) (cos.f64 phi2))
0.2b	(.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))
0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
0.2b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) R)
1.6b	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))))

rewrite55.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
12×	`add-sqr-sqrt_binary64_1123`
10×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `pow-prod-down_binary64_1172`
8×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
7×	`associate-r_binary64_1041` `associate-l_binary64_1042`
4×	`add-log-exp_binary64_1140` `cos-mult_binary64_1255`
3×	`*-commutative_binary64_1032`
2×	`unswap-sqr_binary64_1069`
1×	`frac-times_binary64_1111` `associate-r/_binary64_1043` `acos-asin_binary64_1282` `associate-l/_binary64_1044` `sin-mult_binary64_1256`

Counts

4 → 70

Calls

8 calls:

17.0ms	(.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))
10.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
7.0ms	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) R)
2.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))))
0.0ms	(*.f64 (cos.f64 phi1) (cos.f64 phi2))

series1.4s (4.1%)

Counts

4 → 54

Calls

4 calls:

616.0ms	(.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))
453.0ms	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) R)
203.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))))
118.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

Compiler

Compiled 3378 to 2359 computations (30.2% saved)

simplify78.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5027	3619

prune285.0ms (0.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	114	10	124
Fresh	9	4	13
Picked	1	0	1
Done	0	0	0
Total	124	14	138

Error

4.1b

Counts

138 → 14

Compiler

Compiled 4884 to 868 computations (82.2% saved)

localize41.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
0.1b	(+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
0.1b	(+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
0.1b	(*.f64 (cos.f64 lambda1) (cos.f64 lambda2))
0.2b	(.f64 (log.f64 (exp.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))) R)
0.4b	(exp.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
0.9b	(log.f64 (exp.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
1.6b	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))

rewrite39.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64_1123`
10×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
9×	`exp-prod_binary64_1153`
8×	`pow1_binary64_1162` `log-pow_binary64_1190`
7×	`associate-l_binary64_1042`
6×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
5×	`add-log-exp_binary64_1140`
3×	`acos-asin_binary64_1282` `associate-r_binary64_1041` `log-prod_binary64_1187`
2×	`exp-diff_binary64_1149`
1×	`*-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `rem-exp-log_binary64_1141` `rem-log-exp_binary64_1142` `pow-prod-down_binary64_1172` `log-div_binary64_1188` `unswap-sqr_binary64_1069`

Counts

4 → 58

Calls

8 calls:

11.0ms	(.f64 (log.f64 (exp.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))) R)
5.0ms	(log.f64 (exp.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
4.0ms	(exp.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
2.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
0.0ms	(*.f64 (cos.f64 lambda1) (cos.f64 lambda2))

series3.8s (11.2%)

Counts

4 → 51

Calls

4 calls:

2.0s	(.f64 (log.f64 (exp.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))) R)
1.3s	(log.f64 (exp.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
327.0ms	(exp.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
175.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))

Compiler

Compiled 3468 to 2550 computations (26.5% saved)

simplify159.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (114.0ms)

Iter	Nodes	Cost
0	4866	4840
1	4866	4840

prune247.0ms (0.7%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	104	5	109
Fresh	0	13	13
Picked	1	0	1
Done	0	0	0
Total	105	18	123

Error

4.1b

Counts

123 → 18

Compiler

Compiled 4634 to 650 computations (86% saved)

localize41.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
0.1b	(+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
0.1b	(+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
0.1b	(*.f64 (cos.f64 lambda1) (cos.f64 lambda2))
0.4b	(exp.f64 (-.f64 (/.f64 PI.f64 2) (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
0.7b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
0.9b	(log.f64 (exp.f64 (-.f64 (/.f64 PI.f64 2) (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))))
1.1b	(-.f64 (/.f64 PI.f64 2) (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))

rewrite45.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64_1123`
16×	`*-un-lft-identity_binary64_1101`
12×	`exp-prod_binary64_1153`
10×	`exp-sum_binary64_1147` `add-cube-cbrt_binary64_1136`
9×	`add-log-exp_binary64_1140` `cancel-sign-sub-inv_binary64_1067`
8×	`log-prod_binary64_1187`
7×	`log-pow_binary64_1190`
6×	`difference-of-squares_binary64_1070`
5×	`pow1_binary64_1162`
4×	`add-exp-log_binary64_1139` `asin-acos_binary64_1281` `add-cbrt-cube_binary64_1137`
3×	`sub-neg_binary64_1094` `distribute-lft-out--_binary64_1053` `associate--r-_binary64_1040` `times-frac_binary64_1107`
2×	`diff-log_binary64_1193` `rem-exp-log_binary64_1141` `exp-diff_binary64_1149`
1×	`rem-log-exp_binary64_1142` `flip--_binary64_1076` `flip3--_binary64_1105` `log-div_binary64_1188`

Counts

4 → 71

Calls

8 calls:

9.0ms	(exp.f64 (-.f64 (/.f64 PI.f64 2) (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
9.0ms	(log.f64 (exp.f64 (-.f64 (/.f64 PI.f64 2) (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))))
8.0ms	(-.f64 (/.f64 PI.f64 2) (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
1.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
0.0ms	(*.f64 (cos.f64 lambda1) (cos.f64 lambda2))

series2.5s (7.2%)

Counts

4 → 48

Calls

4 calls:

1.5s	(log.f64 (exp.f64 (-.f64 (/.f64 PI.f64 2) (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))))
450.0ms	(exp.f64 (-.f64 (/.f64 PI.f64 2) (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
279.0ms	(-.f64 (/.f64 PI.f64 2) (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
193.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))

Compiler

Compiled 3648 to 2784 computations (23.7% saved)

simplify141.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	5017	5901

prune241.0ms (0.7%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	113	6	119
Fresh	4	13	17
Picked	1	0	1
Done	0	0	0
Total	118	19	137

Error

3.9b

Counts

137 → 19

Compiler

Compiled 4724 to 876 computations (81.5% saved)

simplify62.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	552	4567
1	552	4567

regimes2.7s (8%)

Accuracy

Total 0.6b remaining (15.6%)

Threshold costs 0.6b (15.6%)

Compiler

Compiled 29966 to 17823 computations (40.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	33	47
1	33	47

end0.0ms (0%)

sample17.1s (50.1%)

Algorithm

1×

intervals

Results

6.2s	5531×	body	1024	valid
991.0ms	1441×	body	512	valid
563.0ms	232×	body	2048	valid
234.0ms	509×	body	256	valid
68.0ms	287×	body	128	valid
3.0ms	3×	body	1024	invalid
1.0ms	2×	body	512	invalid
0.0ms	1×	body	256	invalid

Compiler

Compiled 8198 to 4835 computations (41% saved)

Pareto

0.46873977085807167

Details

analyze3.4s (10%)

sample276.0ms (0.8%)

simplify108.0ms (0.3%)

prune4.0ms (0%)

localize29.0ms (0.1%)

rewrite52.0ms (0.2%)

series932.0ms (2.7%)

simplify123.0ms (0.4%)

prune237.0ms (0.7%)

localize32.0ms (0.1%)

rewrite55.0ms (0.2%)

series1.4s (4.1%)

simplify78.0ms (0.2%)

prune285.0ms (0.8%)

localize41.0ms (0.1%)

rewrite39.0ms (0.1%)

series3.8s (11.2%)

simplify159.0ms (0.5%)

prune247.0ms (0.7%)

localize41.0ms (0.1%)

rewrite45.0ms (0.1%)

series2.5s (7.2%)

simplify141.0ms (0.4%)

prune241.0ms (0.7%)

simplify62.0ms (0.2%)

regimes2.7s (8%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample17.1s (50.1%)

Profiling