Herbie run

Date:Thursday, April 3rd, 2025
Commit:3b31f129 on chassis-platforms-cleanup
Seed:2025093
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs
default
Memory:11 531 940.3 MB

Time bar (total: 2.5hr)

prune1.9hr (75.7%)

Memory
25 838.0MiB live, 8 652 942.6MiB allocated; 11.8min collecting garbage
Counts
829 185 → 10 468
Compiler

Compiled 1 275 391 to 496 093 computations (61.1% saved)

sample15.1min (10.2%)

Memory
12 559.7MiB live, 1 175 802.5MiB allocated; 3.9min collecting garbage
Samples
5.1min3 935 899×0valid
2.1min19 232×3exit
1.7min450 921×1valid
57.9s141 577×2valid
31.1s321 846×0invalid
25.5s37 248×5exit
17.0s4 440×4exit
11.1s15 330×3valid
5.8s49 961×0exit
5.7s27 279×1invalid
560.0ms5 372×1exit
508.0ms1 490×2invalid
77.0ms36×4valid
Precisions
Click to see histograms. Total time spent on operations: 8.5min
ival-mult!: 1.5min (17.1% of total)
adjust: 48.8s (9.5% of total)
ival-exp: 40.9s (8% of total)
ival-div!: 39.0s (7.6% of total)
ival-log: 37.2s (7.3% of total)
ival-pow: 36.9s (7.2% of total)
ival-pow2: 31.0s (6.1% of total)
ival-add!: 30.4s (5.9% of total)
ival-sub!: 26.0s (5.1% of total)
ival-cos: 23.4s (4.6% of total)
ival-sqrt: 22.5s (4.4% of total)
ival-sin: 20.5s (4% of total)
ival-tan: 14.4s (2.8% of total)
ival-neg: 9.9s (1.9% of total)
ival-sinu: 5.8s (1.1% of total)
ival-cosu: 5.4s (1% of total)
ival-fmax: 4.0s (0.8% of total)
ival-fmin: 3.5s (0.7% of total)
ival-hypot: 3.5s (0.7% of total)
ival-fabs: 3.5s (0.7% of total)
ival-expm1: 2.5s (0.5% of total)
ival-asin: 1.7s (0.3% of total)
ival-acos: 1.7s (0.3% of total)
ival-log1p: 1.5s (0.3% of total)
ival-atan2: 1.4s (0.3% of total)
ival-atan: 1.3s (0.3% of total)
ival-sinh: 967.0ms (0.2% of total)
ival-<=: 925.0ms (0.2% of total)
const: 823.0ms (0.2% of total)
ival-and: 772.0ms (0.2% of total)
ival-fmod: 751.0ms (0.1% of total)
ival-<: 679.0ms (0.1% of total)
ival-floor: 655.0ms (0.1% of total)
ival-cbrt: 557.0ms (0.1% of total)
ival-cosh: 259.0ms (0.1% of total)
ival-asinh: 239.0ms (0% of total)
ival-if: 231.0ms (0% of total)
ival-acosh: 215.0ms (0% of total)
ival-tanu: 205.0ms (0% of total)
ival-log2: 186.0ms (0% of total)
ival-atanh: 126.0ms (0% of total)
ival-assert: 117.0ms (0% of total)
ival-tanh: 104.0ms (0% of total)
ival->: 60.0ms (0% of total)
ival->=: 50.0ms (0% of total)
ival-or: 14.0ms (0% of total)
ival-==: 3.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
Bogosity

rewrite6.1min (4.1%)

Memory
7 905.8MiB live, 422 581.5MiB allocated; 1.4min collecting garbage
Stop Event
3 698×iter-limit
1 420×node-limit
112×unsound
19×saturated
Counts
382 525 → 580 947

eval4.0min (2.7%)

Memory
27.7MiB live, 365 359.3MiB allocated; 1.3min collecting garbage
Compiler

Compiled 193 407 989 to 5 135 834 computations (97.3% saved)

explain3.8min (2.5%)

Memory
-1 672.0MiB live, 354 968.8MiB allocated; 54.0s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation896564
sqrt.f64#foflow-rescue81260
log.f64#fsensitivity36955
cos.f64#fsensitivity36555
+.f64#fcancellation3019120
sin.f64#fsensitivity23707
/.f64#fo/n19490
/.f64#fo/o18970
-.f64#fnan-rescue14830
*.f64#fn*o11580
log.f32#fsensitivity114463
/.f64#fn/o9580
/.f64#fu/u9520
sqrt.f64#fuflow-rescue9210
+.f64#fnan-rescue8190
/.f64#fu/n7680
*.f64#fn*u5280
acos.f64#fsensitivity5288
sqrt.f32#foflow-rescue5220
pow.f64#fsensitivity41655
-.f32#fcancellation41540
tan.f64#fsensitivity4121
/.f64#fn/u3620
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2210
exp.f64#fsensitivity19828
cos.f32#fsensitivity19118
cos.f64#foflow-rescue1800
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation17917
pow.f64#foflow-rescue1650
*.f64#fo*u1530
*.f64#fu*o1480
asin.f64(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))sensitivity1350
/.f32#fo/n1160
cbrt.f64#foflow-rescue1040
log.f64#foflow-rescue950
pow.f64#fuflow-rescue600
log.f64#fuflow-rescue560
cbrt.f64#fuflow-rescue390
sin.f64#foflow-rescue340
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue310
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow31
exp.f32#fsensitivity3132
/.f32#fu/n210
sqrt.f32(sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))uflow-rescue130
↳(*.f32 sinTheta_O sinTheta_O)underflow282
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow13
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow141
↳(*.f32 eta eta)underflow13
/.f32#fn/o60
/.f32#fo/o60
log.f32#foflow-rescue30
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u20
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))u*o10
↳(*.f32 u normAngle)underflow3
↳(sin.f32 (*.f32 u normAngle))underflow3
↳(/.f32 #s(literal 1 binary32) (sin.f32 normAngle))overflow1
*.f32(*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*o10
Confusion
Predicted +Predicted -
+31329985
-6374101856
Precision
0.8309418348672519
Recall
0.9695178560376307
Confusion?
Predicted +Predicted MaybePredicted -
+31329273712
-6374420101436
Precision?
0.823054484842171
Recall?
0.9779662065977595
Freqs
test
numberfreq
0102841
131281
24987
3651
4353
5195
655
755
83
91
1627
1761
2134
Total Confusion?
Predicted +Predicted MaybePredicted -
+34432
-125183
Precision?
0.9532967032967034
Recall?
0.994269340974212
Samples
20.6s235 148×0valid
8.8s33 098×1valid
5.5s11 486×2valid
1.1s52×5exit
1.0s1 182×3valid
228.0ms16×4valid
14.0ms108×1exit
Compiler

Compiled 9 324 519 to 30 106 computations (99.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 23.8s
ival-mult!: 6.0s (25.3% of total)
adjust: 1.9s (8.1% of total)
ival-sin: 1.7s (7.3% of total)
ival-div!: 1.7s (7.1% of total)
ival-add!: 1.5s (6.2% of total)
ival-cos: 1.4s (6.1% of total)
ival-log: 1.3s (5.5% of total)
ival-sub!: 1.3s (5.3% of total)
ival-sqrt: 860.0ms (3.6% of total)
ival-tan: 847.0ms (3.6% of total)
ival-exp: 842.0ms (3.5% of total)
ival-pow2: 782.0ms (3.3% of total)
ival-fmax: 777.0ms (3.3% of total)
ival-pow: 476.0ms (2% of total)
ival-cosu: 357.0ms (1.5% of total)
ival-neg: 310.0ms (1.3% of total)
ival-sinu: 308.0ms (1.3% of total)
ival-fmin: 266.0ms (1.1% of total)
ival-hypot: 222.0ms (0.9% of total)
ival-asin: 128.0ms (0.5% of total)
ival-atan: 112.0ms (0.5% of total)
ival-acos: 95.0ms (0.4% of total)
ival-atan2: 87.0ms (0.4% of total)
ival-log1p: 86.0ms (0.4% of total)
ival-fabs: 74.0ms (0.3% of total)
ival-sinh: 59.0ms (0.2% of total)
ival-floor: 45.0ms (0.2% of total)
ival-cbrt: 41.0ms (0.2% of total)
ival-expm1: 32.0ms (0.1% of total)
ival-fmod: 29.0ms (0.1% of total)
ival-if: 24.0ms (0.1% of total)
ival-cosh: 13.0ms (0.1% of total)
ival-log2: 12.0ms (0.1% of total)
ival-copysign: 12.0ms (0.1% of total)
ival-tanu: 11.0ms (0% of total)
ival-tanh: 8.0ms (0% of total)
ival->=: 6.0ms (0% of total)
const: 5.0ms (0% of total)
ival->: 3.0ms (0% of total)
ival-<: 1.0ms (0% of total)
ival-pi: 0.0ms (0% of total)

series3.3min (2.2%)

Memory
6 233.2MiB live, 271 521.6MiB allocated; 44.3s collecting garbage
Counts
49 800 → 332 725
Calls

12993 calls:

TimeVariablePointExpression
1.7s
t
@0
((fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (/ (+ (pow (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh)) 3) (pow (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t)) 3)) (+ (* (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh)) (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh))) (- (* (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t)) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t))) (* (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh)) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t)))))) eh) (/ (+ (pow (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh)) 3) (pow (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t)) 3)) (+ (* (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh)) (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh))) (- (* (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t)) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t))) (* (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh)) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t)))))) (+ (pow (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh)) 3) (pow (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t)) 3)) (pow (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh)) 3) (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh)) ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh) (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (atan (* (/ (cos t) ew) (/ eh (sin t)))) (* (/ (cos t) ew) (/ eh (sin t))) (/ (cos t) ew) (cos t) t (/ eh (sin t)) eh (sin t) 3 (pow (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t)) 3) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t)) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (asinh (* (/ (cos t) ew) (/ eh (sin t)))) (+ (* (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh)) (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh))) (- (* (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t)) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t))) (* (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh)) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t))))) (* (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh)) (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh))) (- (* (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t)) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t))) (* (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh)) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t)))) (* (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t)) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t))) (* (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh)) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t))) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (+ (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh)) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t))) eh) (+ (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh)) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t))) (* ew (+ (* 1/2 (/ (* (cos t) (+ (* -2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (* 2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))) (* (* ew ew) ew))) (+ (* (/ eh (* ew ew)) (/ (pow (cos t) 2) (sin t))) (/ (+ (* (* (cos t) (- (* 1/2 (+ (* -1 (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))))) (sin t))) (+ (* -1 (/ (* eh (* (cos t) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))))) (sin t))) (+ (* 1/3 (+ (* -3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (* 2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))))) (+ (* 1/3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))) (sin t))))))) (* 1/2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))))) eh) (* (pow ew 4) (* (cos (atan (/ (* eh (cos t)) (* ew (sin t))))) (sin t)))) (* (pow ew 4) eh))))) (+ (* 1/2 (/ (* (cos t) (+ (* -2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (* 2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))) (* (* ew ew) ew))) (+ (* (/ eh (* ew ew)) (/ (pow (cos t) 2) (sin t))) (/ (+ (* (* (cos t) (- (* 1/2 (+ (* -1 (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))))) (sin t))) (+ (* -1 (/ (* eh (* (cos t) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))))) (sin t))) (+ (* 1/3 (+ (* -3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (* 2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))))) (+ (* 1/3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))) (sin t))))))) (* 1/2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))))) eh) (* (pow ew 4) (* (cos (atan (/ (* eh (cos t)) (* ew (sin t))))) (sin t)))) (* (pow ew 4) eh)))) 1/2 (/ (* (cos t) (+ (* -2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (* 2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))) (* (* ew ew) ew)) (* (cos t) (+ (* -2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (* 2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))) (+ (* -2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (* 2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) -2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)) (pow (* eh (cos t)) 2) (* eh (cos t)) 2 (pow (sin t) 2) (* 2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (* (* ew ew) ew) (* ew ew) (+ (* (/ eh (* ew ew)) (/ (pow (cos t) 2) (sin t))) (/ (+ (* (* (cos t) (- (* 1/2 (+ (* -1 (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))))) (sin t))) (+ (* -1 (/ (* eh (* (cos t) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))))) (sin t))) (+ (* 1/3 (+ (* -3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (* 2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))))) (+ (* 1/3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))) (sin t))))))) (* 1/2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))))) eh) (* (pow ew 4) (* (cos (atan (/ (* eh (cos t)) (* ew (sin t))))) (sin t)))) (* (pow ew 4) eh))) (/ eh (* ew ew)) (/ (pow (cos t) 2) (sin t)) (pow (cos t) 2) (/ (+ (* (* (cos t) (- (* 1/2 (+ (* -1 (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))))) (sin t))) (+ (* -1 (/ (* eh (* (cos t) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))))) (sin t))) (+ (* 1/3 (+ (* -3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (* 2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))))) (+ (* 1/3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))) (sin t))))))) (* 1/2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))))) eh) (* (pow ew 4) (* (cos (atan (/ (* eh (cos t)) (* ew (sin t))))) (sin t)))) (* (pow ew 4) eh)) (+ (* (* (cos t) (- (* 1/2 (+ (* -1 (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))))) (sin t))) (+ (* -1 (/ (* eh (* (cos t) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))))) (sin t))) (+ (* 1/3 (+ (* -3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (* 2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))))) (+ (* 1/3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))) (sin t))))))) (* 1/2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))))) eh) (* (pow ew 4) (* (cos (atan (/ (* eh (cos t)) (* ew (sin t))))) (sin t)))) (* (cos t) (- (* 1/2 (+ (* -1 (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))))) (sin t))) (+ (* -1 (/ (* eh (* (cos t) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))))) (sin t))) (+ (* 1/3 (+ (* -3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (* 2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))))) (+ (* 1/3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))) (sin t))))))) (* 1/2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))))) (- (* 1/2 (+ (* -1 (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))))) (sin t))) (+ (* -1 (/ (* eh (* (cos t) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))))) (sin t))) (+ (* 1/3 (+ (* -3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (* 2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))))) (+ (* 1/3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))) (sin t))))))) (* 1/2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3)))) (* 1/2 (+ (* -1 (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))))) (sin t))) (+ (* -1 (/ (* eh (* (cos t) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))))) (sin t))) (+ (* 1/3 (+ (* -3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (* 2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))))) (+ (* 1/3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))) (sin t))))))) (+ (* -1 (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))))) (sin t))) (+ (* -1 (/ (* eh (* (cos t) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))))) (sin t))) (+ (* 1/3 (+ (* -3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (* 2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))))) (+ (* 1/3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))) (sin t)))))) -1 (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))))) (sin t)) (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))))) (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))))) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))) (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (+ (* -1 (/ (* eh (* (cos t) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))))) (sin t))) (+ (* 1/3 (+ (* -3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (* 2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))))) (+ (* 1/3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))) (sin t))))) (/ (* eh (* (cos t) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))))) (sin t)) (* eh (* (cos t) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))))) (* (cos t) (+ (* 1/2 (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))) (+ (* 1/3 (+ (* -3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (* 2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))))) (+ (* 1/3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))) (sin t)))) 1/3 (+ (* -3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (* 2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3)))) -3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3)) (pow (* eh (cos t)) 3) (pow (sin t) 3) (* 2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (+ (* 1/3 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))) (sin t))) (/ (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))) (sin t)) (* eh (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))))) (* (cos t) (+ (* -1 (/ (pow (* eh (cos t)) 2) (pow (sin t) 2))) (/ (pow (* eh (cos t)) 2) (pow (sin t) 2)))) (* 1/2 (/ (pow (* eh (cos t)) 3) (pow (sin t) 3))) (* (pow ew 4) (* (cos (atan (/ (* eh (cos t)) (* ew (sin t))))) (sin t))) (pow ew 4) 4 (* (cos (atan (/ (* eh (cos t)) (* ew (sin t))))) (sin t)) (cos (atan (/ (* eh (cos t)) (* ew (sin t))))) (atan (/ (* eh (cos t)) (* ew (sin t)))) (/ (* eh (cos t)) (* ew (sin t))) (* ew (sin t)) (* (pow ew 4) eh) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (/ (+ (pow (/ (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) ew) 3) (pow (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) 3)) (+ (* (/ (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) ew) (/ (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) ew)) (- (* (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t))) (* (/ (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) ew) (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)))))) ew) (/ (+ (pow (/ (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) ew) 3) (pow (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) 3)) (+ (* (/ (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) ew) (/ (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) ew)) (- (* (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t))) (* (/ (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) ew) (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)))))) (+ (pow (/ (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) ew) 3) (pow (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) 3)) (pow (/ (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) ew) 3) (/ (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) ew) (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) (* (cos t) eh) (pow (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) 3) (+ (* (/ (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) ew) (/ (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) ew)) (- (* (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t))) (* (/ (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) ew) (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t))))) (- (* (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t))) (* (/ (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) ew) (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)))) (* (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t))) (* (/ (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) ew) (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t))) (* (sqrt (+ (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t))))) (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t))))))) (sqrt (+ (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t))))) (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t)))))))) (sqrt (+ (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t))))) (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t))))))) (+ (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t))))) (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t)))))) (tanh (asinh (/ (/ eh ew) (tan t)))) (asinh (/ (/ eh ew) (tan t))) (/ (/ eh ew) (tan t)) (/ eh ew) (tan t) (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t))))) (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t)))) (atan (/ (/ eh ew) (tan t))) (sqrt (+ (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t))))) (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t))))))) (* (sqrt ew) (sqrt (* (cos (atan (/ (* eh (cos t)) (* ew (sin t))))) (sin t)))) (sqrt ew) (sqrt (* (cos (atan (/ (* eh (cos t)) (* ew (sin t))))) (sin t))) (/ (fabs (- (* (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t))))) (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t)))))) (* (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t))))) (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t)))))))) (fabs (- (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t))))) (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t)))))))) (fabs (- (* (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t))))) (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t)))))) (* (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t))))) (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t)))))))) (- (* (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t))))) (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t)))))) (* (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t))))) (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t))))))) (* (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t))))) (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t)))))) (* (* ew ew) (* (* (cos (atan (/ (* eh (cos t)) (* ew (sin t))))) (cos (atan (/ (* eh (cos t)) (* ew (sin t)))))) (pow (sin t) 2))) (* (* (cos (atan (/ (* eh (cos t)) (* ew (sin t))))) (cos (atan (/ (* eh (cos t)) (* ew (sin t)))))) (pow (sin t) 2)) (* (cos (atan (/ (* eh (cos t)) (* ew (sin t))))) (cos (atan (/ (* eh (cos t)) (* ew (sin t)))))) (* (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t))))) (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t)))))) (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t))))) (fabs (- (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t))))) (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t))))))) (- (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t))))) (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t)))))))
1.4s
s
@0
((* (neg s) (log (- (/ 1 (/ (+ (pow (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (+ (* (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))))) 1))) (neg s) s (log (- (/ 1 (/ (+ (pow (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (+ (* (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))))) 1)) (- (/ 1 (/ (+ (pow (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (+ (* (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))))) 1) (/ 1 (/ (+ (pow (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (+ (* (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))))) 1 (/ (+ (pow (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (+ (* (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))))) (+ (pow (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (pow (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (+ (pow (exp -1) (/ (PI) s)) 1) (pow (exp -1) (/ (PI) s)) (exp -1) -1 (/ (PI) s) (PI) (/ 1 (+ (exp (/ (PI) s)) 1)) (+ (exp (/ (PI) s)) 1) (exp (/ (PI) s)) u 3 (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3) (+ (* (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (* (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (log (pow (- (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1) (* -1 s))) (pow (- (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1) (* -1 s)) (- (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1) (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (* -1 s) (* (neg s) (log (- (exp (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) 1))) (log (- (exp (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) 1)) (- (exp (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) 1) (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1) (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (* (neg s) (log (/ (- (pow (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 1) (+ (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)))))) (log (/ (- (pow (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 1) (+ (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1))))) (/ (- (pow (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 1) (+ (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)))) (- (pow (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 1) (pow (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) (+ (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1))) (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)) (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1) (* (neg s) (- (log (- (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1)) (log (+ (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)))) (- (log (- (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1)) (log (+ (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1))) (log (- (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1)) (- (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (log (+ (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)) (+ (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1))
988.0ms
lambda1
@0
((+ lambda1 (atan2 (* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))) (+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) lambda1 (atan2 (* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))) (+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))) (cos phi2) phi2 (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (* (sin lambda1) (cos lambda2)) (sin lambda1) (cos lambda2) lambda2 (* (cos lambda1) (sin lambda2)) (cos lambda1) (sin lambda2) (+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) (cos phi1) phi1 (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin lambda1) (sin lambda2)) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (+ (* (sin (- lambda1 lambda2)) (cos (/ (PI) 2))) (* (cos (- lambda1 lambda2)) (sin (/ (PI) 2)))))))) (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (+ (* (sin (- lambda1 lambda2)) (cos (/ (PI) 2))) (* (cos (- lambda1 lambda2)) (sin (/ (PI) 2))))))) (* (cos phi2) (sin (- lambda1 lambda2))) (sin (- lambda1 lambda2)) (- lambda1 lambda2) (+ (cos phi1) (* (cos phi2) (+ (* (sin (- lambda1 lambda2)) (cos (/ (PI) 2))) (* (cos (- lambda1 lambda2)) (sin (/ (PI) 2)))))) (* (cos phi2) (+ (* (sin (- lambda1 lambda2)) (cos (/ (PI) 2))) (* (cos (- lambda1 lambda2)) (sin (/ (PI) 2))))) (+ (* (sin (- lambda1 lambda2)) (cos (/ (PI) 2))) (* (cos (- lambda1 lambda2)) (sin (/ (PI) 2)))) (cos (/ (PI) 2)) (/ (PI) 2) (PI) 2 (* (cos (- lambda1 lambda2)) (sin (/ (PI) 2))) (cos (- lambda1 lambda2)) (sin (/ (PI) 2)) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (/ (pow (* (cos (- lambda1 lambda2)) (cos phi2)) 3) (/ (+ (pow (pow (cos phi1) 2) 3) (pow (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))) 3)) (+ (* (pow (cos phi1) 2) (pow (cos phi1) 2)) (- (* (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) (* (pow (cos phi1) 2) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))))))))) (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (/ (pow (* (cos (- lambda1 lambda2)) (cos phi2)) 3) (/ (+ (pow (pow (cos phi1) 2) 3) (pow (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))) 3)) (+ (* (pow (cos phi1) 2) (pow (cos phi1) 2)) (- (* (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) (* (pow (cos phi1) 2) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))))))))) (+ (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (/ (pow (* (cos (- lambda1 lambda2)) (cos phi2)) 3) (/ (+ (pow (pow (cos phi1) 2) 3) (pow (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))) 3)) (+ (* (pow (cos phi1) 2) (pow (cos phi1) 2)) (- (* (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) (* (pow (cos phi1) 2) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))))))) (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (pow (cos phi1) 3) 3 (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) (neg (cos phi1)) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))) (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) (/ (pow (* (cos (- lambda1 lambda2)) (cos phi2)) 3) (/ (+ (pow (pow (cos phi1) 2) 3) (pow (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))) 3)) (+ (* (pow (cos phi1) 2) (pow (cos phi1) 2)) (- (* (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) (* (pow (cos phi1) 2) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))))))) (pow (* (cos (- lambda1 lambda2)) (cos phi2)) 3) (/ (+ (pow (pow (cos phi1) 2) 3) (pow (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))) 3)) (+ (* (pow (cos phi1) 2) (pow (cos phi1) 2)) (- (* (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) (* (pow (cos phi1) 2) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))))) (+ (pow (pow (cos phi1) 2) 3) (pow (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))) 3)) (pow (pow (cos phi1) 2) 3) (pow (cos phi1) 2) (pow (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))) 3) (+ (* (pow (cos phi1) 2) (pow (cos phi1) 2)) (- (* (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) (* (pow (cos phi1) 2) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))))) (- (* (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) (* (pow (cos phi1) 2) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (* (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) (* (pow (cos phi1) 2) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (/ (+ (pow (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) 3) (pow (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) 3)) (+ (* (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))))) (- (* (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))))) (* (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))))))))) (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (/ (+ (pow (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) 3) (pow (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) 3)) (+ (* (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))))) (- (* (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))))) (* (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))))))))) (/ (+ (pow (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) 3) (pow (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) 3)) (+ (* (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))))) (- (* (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))))) (* (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))))))) (+ (pow (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) 3) (pow (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) 3)) (pow (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) 3) (pow (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) 3) (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))))) (- (* (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))))) (* (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))))))) (* (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))))) (- (* (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))))) (* (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))))) (* (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))))) (* (/ (pow (cos phi1) 3) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) (/ (* (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos (- lambda1 lambda2)) (cos phi2))) (+ (* (neg (cos phi1)) (neg (cos phi1))) (- (* (* (cos (- lambda1 lambda2)) (cos phi2)) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))))) (- (/ (* lambda1 lambda1) (- lambda1 (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda1 lambda2)) (cos phi2)) (cos phi1))))) (/ (* (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda1 lambda2)) (cos phi2)) (cos phi1))) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda1 lambda2)) (cos phi2)) (cos phi1)))) (- lambda1 (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda1 lambda2)) (cos phi2)) (cos phi1)))))) (/ (* lambda1 lambda1) (- lambda1 (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda1 lambda2)) (cos phi2)) (cos phi1))))) (* lambda1 lambda1) (- lambda1 (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda1 lambda2)) (cos phi2)) (cos phi1)))) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda1 lambda2)) (cos phi2)) (cos phi1))) (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda1 lambda2)) (cos phi2)) (cos phi1)) (/ (* (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda1 lambda2)) (cos phi2)) (cos phi1))) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda1 lambda2)) (cos phi2)) (cos phi1)))) (- lambda1 (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda1 lambda2)) (cos phi2)) (cos phi1))))) (* (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda1 lambda2)) (cos phi2)) (cos phi1))) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda1 lambda2)) (cos phi2)) (cos phi1)))))
963.0ms
c
@0
((/ (+ (neg b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a)) (+ (* (+ (* (+ (* (* a (/ (* (/ (pow c 4) (pow b 6)) 405/64) b)) -1/6) (/ (* -9/16 (* (* c c) c)) (pow b 5))) a) (/ (* -3/8 (* c c)) (pow b 3))) a) (* (/ c b) -1/2)) (+ (* (+ (* (* a (/ (* (/ (pow c 4) (pow b 6)) 405/64) b)) -1/6) (/ (* -9/16 (* (* c c) c)) (pow b 5))) a) (/ (* -3/8 (* c c)) (pow b 3))) (+ (* (* a (/ (* (/ (pow c 4) (pow b 6)) 405/64) b)) -1/6) (/ (* -9/16 (* (* c c) c)) (pow b 5))) (* a (/ (* (/ (pow c 4) (pow b 6)) 405/64) b)) a (/ (* (/ (pow c 4) (pow b 6)) 405/64) b) (* (/ (pow c 4) (pow b 6)) 405/64) (/ (pow c 4) (pow b 6)) (pow c 4) c 4 (pow b 6) b 6 405/64 -1/6 (/ (* -9/16 (* (* c c) c)) (pow b 5)) (* -9/16 (* (* c c) c)) -9/16 (* (* c c) c) (* c c) (pow b 5) 5 (/ (* -3/8 (* c c)) (pow b 3)) (* -3/8 (* c c)) -3/8 (pow b 3) 3 (* (/ c b) -1/2) (/ c b) -1/2 (/ (+ (neg b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a)) (* (+ (* (+ (* (+ (* (* (/ c a) (/ (* (/ (pow a 4) (pow b 6)) 405/64) b)) -1/6) (/ (* -9/16 (* a a)) (pow b 5))) c) (* (/ a (pow b 3)) -3/8)) c) (* -1/2 (pow b -1))) c) (+ (* (+ (* (+ (* (* (/ c a) (/ (* (/ (pow a 4) (pow b 6)) 405/64) b)) -1/6) (/ (* -9/16 (* a a)) (pow b 5))) c) (* (/ a (pow b 3)) -3/8)) c) (* -1/2 (pow b -1))) (+ (* (+ (* (* (/ c a) (/ (* (/ (pow a 4) (pow b 6)) 405/64) b)) -1/6) (/ (* -9/16 (* a a)) (pow b 5))) c) (* (/ a (pow b 3)) -3/8)) (+ (* (* (/ c a) (/ (* (/ (pow a 4) (pow b 6)) 405/64) b)) -1/6) (/ (* -9/16 (* a a)) (pow b 5))) (* (/ c a) (/ (* (/ (pow a 4) (pow b 6)) 405/64) b)) (/ c a) (/ (* (/ (pow a 4) (pow b 6)) 405/64) b) (* (/ (pow a 4) (pow b 6)) 405/64) (/ (pow a 4) (pow b 6)) (pow a 4) (/ (* -9/16 (* a a)) (pow b 5)) (* -9/16 (* a a)) (* a a) (* (/ a (pow b 3)) -3/8) (/ a (pow b 3)) (* -1/2 (pow b -1)) (pow b -1) -1 (+ (/ (* -1 b) (* a 3)) (/ (pow (+ (* (pow b 1) (pow b 1)) (* -3 (* c a))) 1/2) (* a 3))) (/ (* -1 b) (* a 3)) (* -1 b) (* a 3) (/ (pow (+ (* (pow b 1) (pow b 1)) (* -3 (* c a))) 1/2) (* a 3)) (pow (+ (* (pow b 1) (pow b 1)) (* -3 (* c a))) 1/2) (+ (* (pow b 1) (pow b 1)) (* -3 (* c a))) (pow b 1) 1 (* -3 (* c a)) -3 (* c a) 1/2 (/ (+ (neg b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a)) (+ (neg b) (sqrt (- (* b b) (* (* 3 a) c)))) (/ (+ (* (/ (pow (* c a) 3) (pow b 4)) -27/16) (+ (+ (* (* -3/2 a) c) (/ (* -9/8 (pow (* c a) 2)) (* b b))) (/ (* -1/2 (* (pow (* c a) 4) 405/64)) (pow b 6)))) b) (+ (* (/ (pow (* c a) 3) (pow b 4)) -27/16) (+ (+ (* (* -3/2 a) c) (/ (* -9/8 (pow (* c a) 2)) (* b b))) (/ (* -1/2 (* (pow (* c a) 4) 405/64)) (pow b 6)))) (/ (pow (* c a) 3) (pow b 4)) (pow (* c a) 3) (pow b 4) -27/16 (+ (+ (* (* -3/2 a) c) (/ (* -9/8 (pow (* c a) 2)) (* b b))) (/ (* -1/2 (* (pow (* c a) 4) 405/64)) (pow b 6))) (+ (* (* -3/2 a) c) (/ (* -9/8 (pow (* c a) 2)) (* b b))) (* -3/2 a) -3/2 (/ (* -9/8 (pow (* c a) 2)) (* b b)) (* -9/8 (pow (* c a) 2)) -9/8 (pow (* c a) 2) 2 (* b b) (/ (* -1/2 (* (pow (* c a) 4) 405/64)) (pow b 6)) (* -1/2 (* (pow (* c a) 4) 405/64)) (* (pow (* c a) 4) 405/64) (pow (* c a) 4) (* 3 a) (/ (/ (- (* b b) (* (pow (+ (* (pow b 1) (pow b 1)) (* -3 (* c a))) 1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -3 (* c a))) 1/2))) (- (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -3 (* c a))) 1/2))) (* 3 a)) (/ (- (* b b) (* (pow (+ (* (pow b 1) (pow b 1)) (* -3 (* c a))) 1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -3 (* c a))) 1/2))) (- (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -3 (* c a))) 1/2))) (- (* b b) (* (pow (+ (* (pow b 1) (pow b 1)) (* -3 (* c a))) 1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -3 (* c a))) 1/2))) (* (pow (+ (* (pow b 1) (pow b 1)) (* -3 (* c a))) 1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -3 (* c a))) 1/2)) (- (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -3 (* c a))) 1/2)))
920.0ms
s
@-inf
((* (neg s) (log (/ (- (pow (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 1) (+ (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)))))) (neg s) s (log (/ (- (pow (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 1) (+ (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1))))) (/ (- (pow (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 1) (+ (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)))) (/ (- (pow (+ (* u (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) -3) 1) (+ 1 (+ (/ 1 (+ (* u (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (pow (+ (* u (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) -2)))) (- (pow (+ (* u (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) -3) 1) (pow (+ (* u (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) -3) (/ 1 (* (* (* u u) u) (* (* (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) 1 (* (* (* u u) u) (* (* (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))) (* (* u u) u) (* u u) u (* (* (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (+ 1 (pow (exp -1) (/ (PI) s))) (pow (exp -1) (/ (PI) s)) (exp -1) -1 (/ (PI) s) (PI) (/ 1 (+ 1 (exp (/ (PI) s)))) (+ 1 (exp (/ (PI) s))) (exp (/ (PI) s)) (+ 1 (+ (/ 1 (+ (* u (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (pow (+ (* u (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) -2))) (+ (/ 1 (+ (* u (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (pow (+ (* u (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) -2)) (/ 1 (+ (* u (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (+ (* u (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) (pow (+ (* u (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) -2) -2 (* (neg s) (log (/ (- (pow (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 1) (+ (* (pow (exp (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) -1) (exp (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)))))) (log (/ (- (pow (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 1) (+ (* (pow (exp (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) -1) (exp (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1))))) (/ (- (pow (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 1) (+ (* (pow (exp (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) -1) (exp (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)))) (- (pow (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 1) (pow (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (+ (pow (exp -1) (/ (PI) s)) 1) (/ 1 (+ (exp (/ (PI) s)) 1)) (+ (exp (/ (PI) s)) 1) 3 (+ (* (pow (exp (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) -1) (exp (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1))) (* (pow (exp (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) -1) (exp (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) (pow (exp (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) -1) (exp (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (exp (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)) (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1) (* (neg s) (- (log (- (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (+ (cosh (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)))) 1)) (log (+ (exp (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) 1)))) (- (log (- (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (+ (cosh (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)))) 1)) (log (+ (exp (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) 1))) (log (- (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (+ (cosh (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)))) 1)) (- (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (+ (cosh (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)))) 1) (* (/ 1 (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (+ (cosh (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)))) (+ (cosh (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) (cosh (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (log (+ (exp (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) 1)) (+ (exp (* (log (+ (* (- (/ 1 (+ (pow (exp -1) (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) 1))

analyze1.5min (1%)

Memory
626.0MiB live, 117 252.5MiB allocated; 20.9s collecting garbage
Algorithm
554×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.7%15.3%0%0%0%0
39.5%33.4%51.2%15.3%0%0%0%1
45.4%38.1%45.8%15.3%0%0.8%0%2
53.9%44.1%37.8%15.3%0%2.8%0%3
60.6%49.1%31.9%15.3%0%3.7%0%4
66.9%53.9%26.6%15.3%0%4.2%0%5
70.9%56.8%23.3%15.3%0%4.6%0%6
74.9%59.5%20%15.3%0%5.2%0%7
76.9%60.9%18.3%15.3%0%5.6%0%8
79.6%62.7%16.1%15.3%0%5.9%0%9
81.1%63.7%14.8%15.3%0%6.2%0%10
83.4%65.4%13%15.3%0%6.3%0%11
84.5%66.1%12.1%15.3%0%6.5%0%12
Compiler

Compiled 60 013 to 16 996 computations (71.7% saved)

preprocess56.4s (0.6%)

Memory
-3 179.6MiB live, 66 286.0MiB allocated; 10.0s collecting garbage
Stop Event
405×node-limit
144×saturated
Compiler

Compiled 757 360 to 244 988 computations (67.7% saved)

derivations41.0s (0.5%)

Memory
-2 156.9MiB live, 34 383.4MiB allocated; 3.8s collecting garbage
Stop Event
401×done
121×fuel
Compiler

Compiled 167 163 to 28 330 computations (83.1% saved)

regimes34.1s (0.4%)

Memory
252.1MiB live, 53 426.5MiB allocated; 7.8s collecting garbage
Counts
15 192 → 3 128
Calls

1 110 calls:

2.4s
c
2.4s
x
1.7s
y
1.2s
z
1.0s
a
Compiler

Compiled 51 783 to 57 708 computations (-11.4% saved)

bsearch13.4s (0.2%)

Memory
-450.1MiB live, 17 246.6MiB allocated; 1.6s collecting garbage
Algorithm
879×binary-search
390×left-value
Stop Event
760×narrow-enough
119×predicate-same
Samples
5.0s60 386×0valid
1.9s6 687×1valid
545.0ms6 506×0invalid
490.0ms1 449×2valid
39.0ms118×3valid
16.0ms95×1invalid
3.0ms11×2invalid
0.0ms5×0exit
Compiler

Compiled 660 748 to 383 329 computations (42% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.4s
ival-mult!: 1.4s (26.5% of total)
ival-cos: 583.0ms (10.7% of total)
ival-div!: 517.0ms (9.5% of total)
ival-sin: 487.0ms (8.9% of total)
ival-add!: 363.0ms (6.7% of total)
adjust: 312.0ms (5.7% of total)
ival-sub!: 286.0ms (5.3% of total)
ival-pow: 284.0ms (5.2% of total)
ival-pow2: 247.0ms (4.5% of total)
ival-sqrt: 236.0ms (4.3% of total)
ival-log: 156.0ms (2.9% of total)
ival-exp: 119.0ms (2.2% of total)
ival-hypot: 84.0ms (1.5% of total)
ival-neg: 66.0ms (1.2% of total)
ival-atan2: 50.0ms (0.9% of total)
ival-tan: 46.0ms (0.8% of total)
ival-fmod: 36.0ms (0.7% of total)
ival-sinu: 34.0ms (0.6% of total)
ival-cosu: 27.0ms (0.5% of total)
ival-atan: 17.0ms (0.3% of total)
ival-fabs: 14.0ms (0.3% of total)
ival-tanu: 9.0ms (0.2% of total)
ival-cbrt: 7.0ms (0.1% of total)
ival-fmax: 4.0ms (0.1% of total)
ival-cosh: 4.0ms (0.1% of total)
ival-if: 4.0ms (0.1% of total)
ival-log1p: 3.0ms (0.1% of total)
ival->=: 3.0ms (0.1% of total)
ival-sinh: 2.0ms (0% of total)
const: 0.0ms (0% of total)

start101.0ms (0%)

Memory
67.6MiB live, 160.5MiB allocated; 56ms collecting garbage

end4.0ms (0%)

Memory
8.8MiB live, 8.4MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...