Herbie run

Date:Thursday, March 6th, 2025
Commit:4b6bc306 on chassis-platforms-cleanup
Seed:2025065
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:231 427.6 MB

Time bar (total: 3.6min)

sample1.9min (52.2%)

Memory
1 409.3MiB live, 113 014.4MiB allocated; 32.9s collecting garbage
Samples
26.5s43 462×2valid
20.2s97 034×1valid
19.7s146 818×0invalid
15.5s7 082×5exit
8.3s87 334×0valid
2.8s3 333×3valid
360.0ms4 116×0exit
6.0ms5×4valid
Precisions
Click to see histograms. Total time spent on operations: 1.3min
ival-pow: 14.9s (19.1% of total)
ival-tan: 11.7s (15% of total)
adjust: 9.1s (11.6% of total)
ival-mult: 5.6s (7.2% of total)
ival-sub: 4.3s (5.6% of total)
ival-div: 4.0s (5.1% of total)
const: 4.0s (5.1% of total)
ival-cos: 3.9s (5.1% of total)
ival-log: 3.5s (4.5% of total)
ival-add: 3.3s (4.2% of total)
ival-sin: 3.2s (4.1% of total)
ival-exp: 2.1s (2.6% of total)
ival-expm1: 1.8s (2.3% of total)
ival-fabs: 1.6s (2% of total)
ival-log1p: 1.3s (1.7% of total)
ival-sqrt: 1.2s (1.6% of total)
ival-<=: 422.0ms (0.5% of total)
ival-<: 411.0ms (0.5% of total)
ival-atan: 402.0ms (0.5% of total)
ival-and: 394.0ms (0.5% of total)
ival-cbrt: 259.0ms (0.3% of total)
ival-neg: 255.0ms (0.3% of total)
exact: 166.0ms (0.2% of total)
ival-assert: 143.0ms (0.2% of total)
ival-fmin: 133.0ms (0.2% of total)
ival->: 2.0ms (0% of total)
Bogosity

prune33.2s (15.5%)

Memory
-424.1MiB live, 42 617.1MiB allocated; 7.8s collecting garbage
Counts
61 293 → 574
Compiler

Compiled 61 702 to 22 696 computations (63.2% saved)

rewrite22.8s (10.7%)

Memory
28.4MiB live, 21 807.8MiB allocated; 7.4s collecting garbage
Stop Event
221×iter limit
90×node limit
3×unsound
Counts
20 547 → 35 706

series14.4s (6.8%)

Memory
458.9MiB live, 17 839.5MiB allocated; 2.4s collecting garbage
Counts
2 932 → 17 615
Calls

441 calls:

TimeVariablePointExpression
1.4s
b
@-inf
((/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (pow b -1) b -1 (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ (+ (* (+ (* (- (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps)))) b) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) b) 1) b) (+ (* (+ (* (- (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps)))) b) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) b) 1) (+ (* (- (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps)))) b) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (- (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps)))) (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* (* (* eps eps) eps) (pow (exp a) eps)) (* (* eps eps) eps) (* eps eps) eps (pow (exp a) eps) (exp a) a (- (exp (* a eps)) 1) (* a eps) 1/6 (* 1/24 (* (* eps eps) eps)) 1/24 (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* (* (* eps eps) 1/2) (pow (exp a) eps)) (* (* eps eps) 1/2) 1/2 (* 1/6 (* eps eps)) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)) (/ (pow (exp a) eps) (- (exp (* a eps)) 1)) (* -1/2 eps) -1/2 (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps))) 1 (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (pow a -1) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (+ (* (- (+ (* (- (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)))) eps) (/ (* (pow (+ b a) 2) 1/2) (* b a))) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) eps) (/ (+ (* -1 a) (* (* -1 b) 1)) (* (* -1 b) a))) (- (+ (* (- (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)))) eps) (/ (* (pow (+ b a) 2) 1/2) (* b a))) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) (+ (* (- (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)))) eps) (/ (* (pow (+ b a) 2) 1/2) (* b a))) (- (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)))) (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (* 1/24 (pow (pow (+ b a) 2) 2)) (pow (pow (+ b a) 2) 2) (pow (+ b a) 2) (+ b a) 2 (* b a) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2)) (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (* 1/24 a) (pow (* b b) 2) (* b b) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b)))) (* 1/24 (pow (* a a) 2)) (pow (* a a) 2) (* a a) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))) (* 1/12 (* a a)) 1/12 (* (* b b) b) (* (* 1/12 (* (* a a) a)) (* b b)) (* 1/12 (* (* a a) a)) (* (* a a) a) (pow (* b a) 2) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b)) (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (* (pow (pow (+ b a) 2) 3/2) 1/6) (pow (pow (+ b a) 2) 3/2) 3/2 (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)) (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (* (* (* b b) b) a) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6)) 1/4 (* (* (* (* a a) a) b) 1/6) (* (* (* a a) a) b) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (* (* a a) b) (* (* (* b b) a) 1/2) (* (* b b) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) (/ (* (pow (+ b a) 2) 1/2) (* b a)) (* (pow (+ b a) 2) 1/2) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)) (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a) (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) (* (* b a) b) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (/ (+ (* -1 a) (* (* -1 b) 1)) (* (* -1 b) a)) (+ (* -1 a) (* (* -1 b) 1)) (* (* -1 b) 1) (* -1 b) (* (* -1 b) a) (* (/ eps (- (exp (* a eps)) 1)) (/ (- (exp (* (+ b a) eps)) 1) (- (exp (* b eps)) 1))) (/ eps (- (exp (* a eps)) 1)) (/ (- (exp (* (+ b a) eps)) 1) (- (exp (* b eps)) 1)) (- (exp (* (+ b a) eps)) 1) (* (+ b a) eps) (- (exp (* b eps)) 1) (* b eps))
1.3s
b
@0
((/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (pow b -1) b -1 (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ (+ (* (+ (* (- (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps)))) b) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) b) 1) b) (+ (* (+ (* (- (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps)))) b) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) b) 1) (+ (* (- (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps)))) b) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (- (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps)))) (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* (* (* eps eps) eps) (pow (exp a) eps)) (* (* eps eps) eps) (* eps eps) eps (pow (exp a) eps) (exp a) a (- (exp (* a eps)) 1) (* a eps) 1/6 (* 1/24 (* (* eps eps) eps)) 1/24 (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* (* (* eps eps) 1/2) (pow (exp a) eps)) (* (* eps eps) 1/2) 1/2 (* 1/6 (* eps eps)) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)) (/ (pow (exp a) eps) (- (exp (* a eps)) 1)) (* -1/2 eps) -1/2 (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps))) 1 (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (pow a -1) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (+ (* (- (+ (* (- (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)))) eps) (/ (* (pow (+ b a) 2) 1/2) (* b a))) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) eps) (/ (+ (* -1 a) (* (* -1 b) 1)) (* (* -1 b) a))) (- (+ (* (- (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)))) eps) (/ (* (pow (+ b a) 2) 1/2) (* b a))) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) (+ (* (- (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)))) eps) (/ (* (pow (+ b a) 2) 1/2) (* b a))) (- (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)))) (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (* 1/24 (pow (pow (+ b a) 2) 2)) (pow (pow (+ b a) 2) 2) (pow (+ b a) 2) (+ b a) 2 (* b a) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2)) (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (* 1/24 a) (pow (* b b) 2) (* b b) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b)))) (* 1/24 (pow (* a a) 2)) (pow (* a a) 2) (* a a) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))) (* 1/12 (* a a)) 1/12 (* (* b b) b) (* (* 1/12 (* (* a a) a)) (* b b)) (* 1/12 (* (* a a) a)) (* (* a a) a) (pow (* b a) 2) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b)) (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (* (pow (pow (+ b a) 2) 3/2) 1/6) (pow (pow (+ b a) 2) 3/2) 3/2 (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)) (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (* (* (* b b) b) a) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6)) 1/4 (* (* (* (* a a) a) b) 1/6) (* (* (* a a) a) b) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (* (* a a) b) (* (* (* b b) a) 1/2) (* (* b b) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) (/ (* (pow (+ b a) 2) 1/2) (* b a)) (* (pow (+ b a) 2) 1/2) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)) (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a) (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) (* (* b a) b) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (/ (+ (* -1 a) (* (* -1 b) 1)) (* (* -1 b) a)) (+ (* -1 a) (* (* -1 b) 1)) (* (* -1 b) 1) (* -1 b) (* (* -1 b) a) (* (/ eps (- (exp (* a eps)) 1)) (/ (- (exp (* (+ b a) eps)) 1) (- (exp (* b eps)) 1))) (/ eps (- (exp (* a eps)) 1)) (/ (- (exp (* (+ b a) eps)) 1) (- (exp (* b eps)) 1)) (- (exp (* (+ b a) eps)) 1) (* (+ b a) eps) (- (exp (* b eps)) 1) (* b eps))
1.1s
b
@inf
((/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (pow b -1) b -1 (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ (+ (* (+ (* (- (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps)))) b) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) b) 1) b) (+ (* (+ (* (- (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps)))) b) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) b) 1) (+ (* (- (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps)))) b) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (- (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps)))) (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* (* (* eps eps) eps) (pow (exp a) eps)) (* (* eps eps) eps) (* eps eps) eps (pow (exp a) eps) (exp a) a (- (exp (* a eps)) 1) (* a eps) 1/6 (* 1/24 (* (* eps eps) eps)) 1/24 (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* (* (* eps eps) 1/2) (pow (exp a) eps)) (* (* eps eps) 1/2) 1/2 (* 1/6 (* eps eps)) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)) (/ (pow (exp a) eps) (- (exp (* a eps)) 1)) (* -1/2 eps) -1/2 (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps))) 1 (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (pow a -1) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (+ (* (- (+ (* (- (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)))) eps) (/ (* (pow (+ b a) 2) 1/2) (* b a))) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) eps) (/ (+ (* -1 a) (* (* -1 b) 1)) (* (* -1 b) a))) (- (+ (* (- (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)))) eps) (/ (* (pow (+ b a) 2) 1/2) (* b a))) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) (+ (* (- (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)))) eps) (/ (* (pow (+ b a) 2) 1/2) (* b a))) (- (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)))) (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (* 1/24 (pow (pow (+ b a) 2) 2)) (pow (pow (+ b a) 2) 2) (pow (+ b a) 2) (+ b a) 2 (* b a) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2)) (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (* 1/24 a) (pow (* b b) 2) (* b b) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b)))) (* 1/24 (pow (* a a) 2)) (pow (* a a) 2) (* a a) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))) (* 1/12 (* a a)) 1/12 (* (* b b) b) (* (* 1/12 (* (* a a) a)) (* b b)) (* 1/12 (* (* a a) a)) (* (* a a) a) (pow (* b a) 2) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b)) (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (* (pow (pow (+ b a) 2) 3/2) 1/6) (pow (pow (+ b a) 2) 3/2) 3/2 (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)) (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (* (* (* b b) b) a) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6)) 1/4 (* (* (* (* a a) a) b) 1/6) (* (* (* a a) a) b) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (* (* a a) b) (* (* (* b b) a) 1/2) (* (* b b) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) (/ (* (pow (+ b a) 2) 1/2) (* b a)) (* (pow (+ b a) 2) 1/2) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)) (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a) (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) (* (* b a) b) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (/ (+ (* -1 a) (* (* -1 b) 1)) (* (* -1 b) a)) (+ (* -1 a) (* (* -1 b) 1)) (* (* -1 b) 1) (* -1 b) (* (* -1 b) a) (* (/ eps (- (exp (* a eps)) 1)) (/ (- (exp (* (+ b a) eps)) 1) (- (exp (* b eps)) 1))) (/ eps (- (exp (* a eps)) 1)) (/ (- (exp (* (+ b a) eps)) 1) (- (exp (* b eps)) 1)) (- (exp (* (+ b a) eps)) 1) (* (+ b a) eps) (- (exp (* b eps)) 1) (* b eps))
1.0s
a
@-inf
((/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (pow b -1) b -1 (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ (+ (* (+ (* (- (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps)))) b) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) b) 1) b) (+ (* (+ (* (- (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps)))) b) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) b) 1) (+ (* (- (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps)))) b) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (- (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps)))) (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* (* (* eps eps) eps) (pow (exp a) eps)) (* (* eps eps) eps) (* eps eps) eps (pow (exp a) eps) (exp a) a (- (exp (* a eps)) 1) (* a eps) 1/6 (* 1/24 (* (* eps eps) eps)) 1/24 (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* (* (* eps eps) 1/2) (pow (exp a) eps)) (* (* eps eps) 1/2) 1/2 (* 1/6 (* eps eps)) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)) (/ (pow (exp a) eps) (- (exp (* a eps)) 1)) (* -1/2 eps) -1/2 (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps))) 1 (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (pow a -1) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (+ (* (- (+ (* (- (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)))) eps) (/ (* (pow (+ b a) 2) 1/2) (* b a))) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) eps) (/ (+ (* -1 a) (* (* -1 b) 1)) (* (* -1 b) a))) (- (+ (* (- (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)))) eps) (/ (* (pow (+ b a) 2) 1/2) (* b a))) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) (+ (* (- (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)))) eps) (/ (* (pow (+ b a) 2) 1/2) (* b a))) (- (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)))) (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (* 1/24 (pow (pow (+ b a) 2) 2)) (pow (pow (+ b a) 2) 2) (pow (+ b a) 2) (+ b a) 2 (* b a) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2)) (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (* 1/24 a) (pow (* b b) 2) (* b b) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b)))) (* 1/24 (pow (* a a) 2)) (pow (* a a) 2) (* a a) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))) (* 1/12 (* a a)) 1/12 (* (* b b) b) (* (* 1/12 (* (* a a) a)) (* b b)) (* 1/12 (* (* a a) a)) (* (* a a) a) (pow (* b a) 2) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b)) (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (* (pow (pow (+ b a) 2) 3/2) 1/6) (pow (pow (+ b a) 2) 3/2) 3/2 (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)) (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (* (* (* b b) b) a) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6)) 1/4 (* (* (* (* a a) a) b) 1/6) (* (* (* a a) a) b) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (* (* a a) b) (* (* (* b b) a) 1/2) (* (* b b) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) (/ (* (pow (+ b a) 2) 1/2) (* b a)) (* (pow (+ b a) 2) 1/2) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)) (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a) (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) (* (* b a) b) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (/ (+ (* -1 a) (* (* -1 b) 1)) (* (* -1 b) a)) (+ (* -1 a) (* (* -1 b) 1)) (* (* -1 b) 1) (* -1 b) (* (* -1 b) a) (* (/ eps (- (exp (* a eps)) 1)) (/ (- (exp (* (+ b a) eps)) 1) (- (exp (* b eps)) 1))) (/ eps (- (exp (* a eps)) 1)) (/ (- (exp (* (+ b a) eps)) 1) (- (exp (* b eps)) 1)) (- (exp (* (+ b a) eps)) 1) (* (+ b a) eps) (- (exp (* b eps)) 1) (* b eps))
826.0ms
a
@inf
((/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (pow b -1) b -1 (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ (+ (* (+ (* (- (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps)))) b) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) b) 1) b) (+ (* (+ (* (- (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps)))) b) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) b) 1) (+ (* (- (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps)))) b) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (- (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps)))) (+ (* (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) b) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1))) (- (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))))) (- (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (* 1/24 (* (* eps eps) eps))) (* (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) 1/6) (/ (* (* (* eps eps) eps) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* (* (* eps eps) eps) (pow (exp a) eps)) (* (* eps eps) eps) (* eps eps) eps (pow (exp a) eps) (exp a) a (- (exp (* a eps)) 1) (* a eps) 1/6 (* 1/24 (* (* eps eps) eps)) 1/24 (+ (* (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) 1/2) (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) (* (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) eps) (- (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)))) (- (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* 1/6 (* eps eps))) (/ (* (* (* eps eps) 1/2) (pow (exp a) eps)) (- (exp (* a eps)) 1)) (* (* (* eps eps) 1/2) (pow (exp a) eps)) (* (* eps eps) 1/2) 1/2 (* 1/6 (* eps eps)) (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps)) (/ (pow (exp a) eps) (- (exp (* a eps)) 1)) (* -1/2 eps) -1/2 (* (* 1/6 (* eps eps)) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (+ (* (* 1/2 eps) (+ (* eps (/ (pow (exp a) eps) (- (exp (* a eps)) 1))) (* -1/2 eps))) (* 1/6 (* eps eps))) 1 (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (pow a -1) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (+ (* (- (+ (* (- (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)))) eps) (/ (* (pow (+ b a) 2) 1/2) (* b a))) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) eps) (/ (+ (* -1 a) (* (* -1 b) 1)) (* (* -1 b) a))) (- (+ (* (- (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)))) eps) (/ (* (pow (+ b a) 2) 1/2) (* b a))) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) (+ (* (- (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)))) eps) (/ (* (pow (+ b a) 2) 1/2) (* b a))) (- (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)))) (+ (* (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) eps) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a))) (- (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b))) (- (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2))) (/ (* 1/24 (pow (pow (+ b a) 2) 2)) (* b a)) (* 1/24 (pow (pow (+ b a) 2) 2)) (pow (pow (+ b a) 2) 2) (pow (+ b a) 2) (+ b a) 2 (* b a) (/ (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (pow (* b a) 2)) (* (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (+ b a)) (+ (* (* 1/24 a) (pow (* b b) 2)) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))))) (* 1/24 a) (pow (* b b) 2) (* b b) (+ (* (* 1/24 (pow (* a a) 2)) b) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b)))) (* 1/24 (pow (* a a) 2)) (pow (* a a) 2) (* a a) (+ (* (* 1/12 (* a a)) (* (* b b) b)) (* (* 1/12 (* (* a a) a)) (* b b))) (* 1/12 (* a a)) 1/12 (* (* b b) b) (* (* 1/12 (* (* a a) a)) (* b b)) (* 1/12 (* (* a a) a)) (* (* a a) a) (pow (* b a) 2) (/ (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (* b a) b)) (+ (* (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) b) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a))) (* (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2))) (- (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b))) (- (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (/ (* (pow (pow (+ b a) 2) 3/2) 1/6) (* b a)) (* (pow (pow (+ b a) 2) 3/2) 1/6) (pow (pow (+ b a) 2) 3/2) 3/2 (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2)) (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (* (* (* b b) b) a) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6)) 1/4 (* (* (* (* a a) a) b) 1/6) (* (* (* a a) a) b) (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (* (* a a) b) (* (* (* b b) a) 1/2) (* (* b b) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) (/ (* (pow (+ b a) 2) 1/2) (* b a)) (* (pow (+ b a) 2) 1/2) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)) (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (* (* b a) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) a) (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2)))) (* (* b a) b) (+ (* (/ (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) a) (/ (- (/ (* (pow (+ b a) 2) 1/2) (* b a)) (/ (* (+ (* (* (* a a) b) 1/2) (* (* (* b b) a) 1/2)) (+ b a)) (pow (* b a) 2))) b)) (/ (* (+ (* (* (* (* b b) b) a) 1/6) (+ (* 1/4 (pow (* b a) 2)) (* (* (* (* a a) a) b) 1/6))) (+ b a)) (pow (* b a) 2))) (/ (+ (* -1 a) (* (* -1 b) 1)) (* (* -1 b) a)) (+ (* -1 a) (* (* -1 b) 1)) (* (* -1 b) 1) (* -1 b) (* (* -1 b) a) (* (/ eps (- (exp (* a eps)) 1)) (/ (- (exp (* (+ b a) eps)) 1) (- (exp (* b eps)) 1))) (/ eps (- (exp (* a eps)) 1)) (/ (- (exp (* (+ b a) eps)) 1) (- (exp (* b eps)) 1)) (- (exp (* (+ b a) eps)) 1) (* (+ b a) eps) (- (exp (* b eps)) 1) (* b eps))

eval11.6s (5.4%)

Memory
278.9MiB live, 15 730.5MiB allocated; 2.9s collecting garbage
Compiler

Compiled 7 624 267 to 304 970 computations (96% saved)

preprocess7.2s (3.4%)

Memory
60.5MiB live, 6 629.0MiB allocated; 2.0s collecting garbage
Stop Event
56×iter limit
51×node limit
5×saturated
Compiler

Compiled 16 110 to 4 389 computations (72.8% saved)

explain5.5s (2.6%)

Memory
-86.9MiB live, 6 745.7MiB allocated; 1.2s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation414524
log.f64#fsensitivity7650
/.f64#fu/u4340
sqrt.f64#foflow-rescue3880
+.f64#fcancellation3330
/.f64#fu/n1140
pow.f64(pow.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) n))sensitivity710
sqrt.f64#fuflow-rescue380
/.f64(/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) #s(literal 1 binary64))) (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))))n/u310
↳(*.f64 b eps)underflow143
↳(-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64))underflow153
↳(-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))underflow143
↳(*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))underflow234
↳(*.f64 a eps)underflow153
/.f64(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))n/o50
↳(*.f64 x x)overflow56
-.f64#fnan-rescue40
cos.f64(cos.f64 (+.f64 x eps))sensitivity20
sin.f64(sin.f64 (+.f64 x eps))sensitivity20
tan.f64(tan.f64 (+.f64 x eps))sensitivity20
exp.f64(exp.f64 (neg.f64 x))sensitivity10
/.f64(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.f64 #s(literal 2 binary64) a))o/n10
↳(*.f64 b b)overflow72
↳(*.f64 #s(literal 4 binary64) (*.f64 a c))overflow28
↳(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c)))))overflow1
↳(*.f64 a c)overflow28
↳(-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c)))overflow95
Confusion
Predicted +Predicted -
+520120
-1561791
Precision
0.9708792234459586
Recall
0.9961693162229458
Confusion?
Predicted +Predicted MaybePredicted -
+5201155
-15671784
Precision?
0.9696969696969697
Recall?
0.9990423290557364
Freqs
test
numberfreq
01811
14574
2642
386
455
Total Confusion?
Predicted +Predicted MaybePredicted -
+2800
-000
Precision?
1.0
Recall?
1.0
Samples
1.4s2 680×2valid
1.2s6 116×1valid
499.0ms5 346×0valid
157.0ms194×3valid
Compiler

Compiled 2 154 to 763 computations (64.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7s
ival-tan: 535.0ms (19.9% of total)
adjust: 459.0ms (17.1% of total)
ival-sub: 245.0ms (9.1% of total)
ival-log: 204.0ms (7.6% of total)
ival-exp: 185.0ms (6.9% of total)
ival-cos: 174.0ms (6.5% of total)
ival-div: 148.0ms (5.5% of total)
ival-mult: 130.0ms (4.8% of total)
ival-sin: 125.0ms (4.7% of total)
ival-pow: 125.0ms (4.7% of total)
ival-add: 97.0ms (3.6% of total)
ival-sqrt: 70.0ms (2.6% of total)
ival-log1p: 57.0ms (2.1% of total)
ival-neg: 27.0ms (1% of total)
ival-cbrt: 26.0ms (1% of total)
ival-expm1: 24.0ms (0.9% of total)
ival-atan: 22.0ms (0.8% of total)
ival-true: 13.0ms (0.5% of total)
exact: 10.0ms (0.4% of total)
ival-assert: 7.0ms (0.3% of total)

derivations2.4s (1.1%)

Memory
44.9MiB live, 1 872.0MiB allocated; 262ms collecting garbage
Stop Event
18×done
10×fuel
Compiler

Compiled 7 154 to 1 697 computations (76.3% saved)

simplify1.8s (0.8%)

Memory
-226.9MiB live, 1 213.5MiB allocated; 1.1s collecting garbage
Stop Event
27×node limit
1×saturated

analyze1.7s (0.8%)

Memory
31.2MiB live, 1 899.8MiB allocated; 363ms collecting garbage
Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
7.4%4.5%56.6%38.9%0%0%0%1
22.3%13.6%47.5%38.9%0%0%0%2
40.2%23.5%34.9%38.9%0%2.7%0%3
53.4%31.1%27.2%38.9%0%2.8%0%4
63%36.3%21.3%38.9%0%3.6%0%5
65.9%37.5%19.4%38.9%0%4.2%0%6
70.4%38.8%16.3%38.9%0%6%0%7
73.6%40.2%14.4%38.9%0%6.5%0%8
76.3%40.9%12.7%38.9%0%7.5%0%9
78.4%41.4%11.4%38.9%0%8.3%0%10
81.1%42.4%9.9%38.9%0%8.8%0%11
82.3%42.7%9.2%38.9%0%9.3%0%12
Compiler

Compiled 483 to 337 computations (30.2% saved)

bsearch753.0ms (0.4%)

Memory
47.4MiB live, 927.5MiB allocated; 127ms collecting garbage
Algorithm
53×binary-search
8×left-value
Stop Event
47×narrow-enough
6×predicate-same
Samples
205.0ms2 707×0valid
122.0ms668×1valid
61.0ms222×2valid
51.0ms668×0invalid
1.0ms3×3valid
Compiler

Compiled 30 357 to 16 946 computations (44.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 305.0ms
ival-mult: 76.0ms (24.9% of total)
ival-div: 37.0ms (12.1% of total)
adjust: 35.0ms (11.5% of total)
ival-sub: 33.0ms (10.8% of total)
ival-sqrt: 29.0ms (9.5% of total)
ival-neg: 28.0ms (9.2% of total)
ival-pow: 27.0ms (8.9% of total)
ival-add: 20.0ms (6.6% of total)
ival-cbrt: 9.0ms (3% of total)
ival-cos: 3.0ms (1% of total)
ival-true: 3.0ms (1% of total)
exact: 3.0ms (1% of total)
ival-assert: 2.0ms (0.7% of total)
ival-log1p: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

regimes735.0ms (0.3%)

Memory
8.7MiB live, 1 128.3MiB allocated; 91ms collecting garbage
Counts
783 → 156
Calls

43 calls:

168.0ms
x
54.0ms
b
50.0ms
a
43.0ms
b_2
40.0ms
c
Compiler

Compiled 962 to 905 computations (5.9% saved)

start1.0ms (0%)

Memory
2.1MiB live, 2.1MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...