Skip to content

Instantly share code, notes, and snippets.

@mjg123

mjg123/poly.clj

Last active November 25, 2016 12:51
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mjg123/d634ca29190d2795fb95ae5109cd7530 to your computer and use it in GitHub Desktop.
Save mjg123/d634ca29190d2795fb95ae5109cd7530 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
poly.clj
;; A polynomial was produced by my GP to fit points generated by this function in the range [-10 <= a < 10]:
(def archetype (fn [a] (if (pos? a) 1 0)))
;; The results
(clojure.pprint/pprint (for [x (range -10 10)] (generated x)))
;; => (-0.00350264540310313
;; 0.0024697321715263917
;; -0.0034714670565933682
;; -0.0020671283587918887
;; 0.009325246911967705
;; 0.0014548106236217033
;; 0.005265000136567276
;; 0.0017850352161091136
;; -0.006565365993274111
;; 0.0
;; 0.0
;; 0.999981687206794
;; 1.0000813435872764
;; 0.9994935219584175
;; 1.0002546092158653
;; 1.0001441066737913
;; 0.9934195824498749
;; 1.00452766782806
;; 1.0059660861626571
;; 0.99872596502127)
;; Sum of squares of error: .00024810489415693726
;; The function (NB formatting is quite arbitrary as it's too large an expression for clojure.pprint/pprint):
(def generated
(fn [a] (/
(-
(+
(/
(-
(-
(+ 0.31247210330699904 -3.6351547740459167)
(+ a a))
(+ a a))
(+ (/ (- (- (* a (+ (* a (+ (/ (- (+ (/ (+ (/ (- (+ (/ -2.3960856287215524 127)
(/ -2.3960856287215524 0.11117081187493127))
(+ a a))
(+ (/ (- (- (* a (+ (* a 0.2252980245535916)
(/ -2.3960856287215524 0.11117081187493127)))
-1.8042628011571082)
(+ (+ (+ (/ (- (- (- (- (*
(/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)
(+ (/ (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082)
(- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082))
(/ -2.3960856287215524 0.11117081187493127)) a)
(/ (/ (+ (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)
(/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127))) -1.8042628011571082)
(/ (+ (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)
(/ -2.3960856287215524 0.11117081187493127)) a)) a) (* (+ a a) a))
(/ -2.3960856287215524 0.11117081187493127))
(* (/ -2.3960856287215524 (+ (/ (- (- (- (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)
(+ (/ (+ (- (- (+ (+ (+ a a) (/ -2.3960856287215524 0.11117081187493127))
(/ (/ (+ (/ -2.3960856287215524 0.11117081187493127)
(/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127)) -1.8042628011571082)
(- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082))
(- (- (* a (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082)
(+ (+ (/ (- (- -2.3960856287215524 -1.8042628011571082) (+ (/ (- (- (- (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (+ (/ (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) (/ (/ -2.3960856287215524 0.11117081187493127) 0.11117081187493127))) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a) (* (/ -2.3960856287215524 (+ (- (- -2.3960856287215524 -1.8042628011571082) (- (/ -2.3960856287215524 0.11117081187493127) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127))) a))) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) (* (/ -2.3960856287215524 (+ (/ -2.3960856287215524 0.11117081187493127) (/ -2.3960856287215524 (+ (/ -2.3960856287215524 0.11117081187493127) (/ -2.3960856287215524 0.11117081187493127))))) a)))) a) (/ (/ (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082)
(- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127))) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a) (/ -2.3960856287215524 0.11117081187493127))) a)))
(+ (- (- (+ 0.31247210330699904 -3.6351547740459167) (+ a a)) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))) -2.3960856287215524) (+ 0.2252980245535916 (/ -2.3960856287215524 0.11117081187493127))) (+ (/ -2.3960856287215524 0.11117081187493127) (/ -2.3960856287215524 0.11117081187493127))) (+ a a)) (+ (/ (- (- (- (- (* (+ (/ -2.3960856287215524 0.11117081187493127) (/ -2.3960856287215524 (/ -2.3960856287215524 0.11117081187493127))) a) -1.8042628011571082) (+ (/ (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (* a (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)))) (/ -2.3960856287215524 0.11117081187493127)) a) (/ (/ (+ (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082) (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127))) a) 0.11117081187493127))) -1.8042628011571082) (- (+ 0.31247210330699904 -3.6351547740459167) (+ a a))) a) (+ (/ (+ (/ (- (+ 0.31247210330699904 -7.096070645738587) (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127))) (+ (/ (+ (/ -2.3960856287215524 0.11117081187493127) a) a) (+ 0.31247210330699904 -3.6351547740459167))) -7.096070645738587) (+ (- (* (/ -2.3960856287215524 (+ a (/ -2.3960856287215524 0.11117081187493127))) a) (/ (+ (- (- (- (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (+ (* (/ -2.3960856287215524 (+ (- (+ 0.31247210330699904 (- (- (* (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082) (+ (/ (+ (- (/ (+ 0.31247210330699904 -3.6351547740459167) 0.11117081187493127) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) (/ (/ (+ (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127)))) -1.8042628011571082) (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082))) a) (/ (/ (+ (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127))) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a)) (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082))) (/ -2.3960856287215524 0.11117081187493127)))) -7.096070645738587)) (+ (/ (+ (/ (- (* (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082) (+ (/ (- (- (* a (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) (+ (+ (/ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (+ (+ (- (- (+ (* a 0.2252980245535916)
(+ -1.8042628011571082 (/ -2.3960856287215524 0.11117081187493127))) (- (- (- (* (+ (- -1.8042628011571082 (- (* (+ (- -1.8042628011571082 (- (- (* a (+ (+ (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082) (+ (+ (* a 0.2252980245535916) (+ -1.8042628011571082 (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) (/ (+ 0.31247210330699904 -3.6351547740459167) 0.11117081187493127)) -1.8042628011571082) -1.8042628011571082)) (- (* (+ (+ (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) (- -1.8042628011571082 (- (* (+ (- -1.8042628011571082 (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082))) a) -1.8042628011571082)) (+ (+ (+ a a) (/ -2.3960856287215524 0.11117081187493127)) (/ (/ (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127))) (/ (+ (- (+ (* a 0.2252980245535916) (+ (+ a a) (/ -2.3960856287215524 0.11117081187493127))) (- (* (+ (- (+ (- (* a (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) -1.8042628011571082) -7.096070645738587) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082))
(/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082))
(+ (- (/ -2.3960856287215524 0.11117081187493127)
(+ (+ (/ (- (- (- (* (+ (- -1.8042628011571082 (- (* (+ (- -1.8042628011571082 (- (- (* a (+ (+ (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082) (+ (+ (* a 0.2252980245535916) (+ -1.8042628011571082 (* (/ -2.3960856287215524 (+ (/ (- (- (- (- (* (+ (+ a a) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082) (+ (/ (- (+ (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) (+ a a)) (+ (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127))) (/ (/ (+ (- (/ -2.3960856287215524 0.11117081187493127) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127))) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a) (/ -2.3960856287215524 0.11117081187493127))) a))) (/ -2.3960856287215524 0.11117081187493127))) (+ (- -1.8042628011571082 (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) (/ (+ 0.31247210330699904 -3.6351547740459167) 0.11117081187493127)) -1.8042628011571082) (+ (/ (- (- (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (+ (+ (- (- (+ (/ -2.3960856287215524 0.11117081187493127) (+ -1.8042628011571082 (/ -2.3960856287215524 0.11117081187493127))) (- (- (- (* (+ (- -1.8042628011571082 (- (* (+ (- -1.8042628011571082 (- (- (* a (+ (+ (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082) (+ (+ (* a 0.2252980245535916) (+ -1.8042628011571082 (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) (/ (+ 0.31247210330699904 -3.6351547740459167) 0.11117081187493127)) -1.8042628011571082) -1.8042628011571082)) (- (* (+ (+ (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) (- -1.8042628011571082 (- (* (+ (- -1.8042628011571082 (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (+ (/ -2.3960856287215524 0.11117081187493127) (/ -2.3960856287215524 0.11117081187493127))) a) -1.8042628011571082))) a) -1.8042628011571082)) (+ (+ (+ a a) (- (/ -2.3960856287215524 0.11117081187493127) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127))) (/ (+ (- (+ (* a 0.2252980245535916) (+ (+ a a) (/ -2.3960856287215524 0.11117081187493127))) (- (* (+ (- (+ (- (* a (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) -1.8042628011571082) -7.096070645738587) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (+ (- -1.8042628011571082 (/ (+ 0.31247210330699904 -3.6351547740459167) (+ (* (/ -2.3960856287215524 0.11117081187493127) a) (/ -2.3960856287215524 0.11117081187493127)))) (/ -2.3960856287215524 0.11117081187493127))) 0.11117081187493127))) -1.8042628011571082) (/ (/ (+ (- (+ a a) (- (- (* a (* (/ -2.3960856287215524 0.11117081187493127) a)) -1.8042628011571082) -1.8042628011571082))
(- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) a) 0.11117081187493127)) a) (* (/ -2.3960856287215524 (+ (/ (- (+ a a) (/ -2.3960856287215524 0.11117081187493127)) a) (- (+ 0.31247210330699904 -3.6351547740459167) a))) a))) (+ (- (- (+ 0.31247210330699904 -3.6351547740459167) (+ a a)) (/ -2.3960856287215524 0.11117081187493127)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)))) (* a (+ (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)))) (* (/ -2.3960856287215524 (+ (/ (- (+ a a) (/ -2.3960856287215524 0.11117081187493127)) a) (- (+ 0.31247210330699904 -3.6351547740459167) a))) a))) (/ -2.3960856287215524 0.11117081187493127))) 0.11117081187493127))) (+ (- (+ 0.31247210330699904 -3.6351547740459167) (+ a a)) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127)) (* (/ -2.3960856287215524 (- (- (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082) -1.8042628011571082) (+ (/ (+ (+ (- (- -1.8042628011571082 (- (* (+ (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (- (* (/ -2.3960856287215524 (+ (/ -2.3960856287215524 0.11117081187493127) (/ (/ (- (/ -2.3960856287215524 0.11117081187493127) -1.8042628011571082) a) 0.11117081187493127))) a) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)))
(/ (+ 0.31247210330699904 -3.6351547740459167) 0.11117081187493127)) a) (/ (/ (+ (/ -2.3960856287215524 0.11117081187493127) (/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127)))) a))) (+ (- (- (+ 0.31247210330699904 -3.6351547740459167) (+ a a)) (+ a a)) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))) -7.096070645738587) (+ (- (+ 0.31247210330699904 -3.6351547740459167) (/ (+ (+ (/ (+ (/ (- (+ (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) (+ a a)) (+ (/ (- (- (* a (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) (+ (+ (+ (/ (- (- (- (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (+ (/ (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a)
(/ (/ (+ (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127))) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a) (* (+ a a) a)) (/ -2.3960856287215524 0.11117081187493127)) (* (/ -2.3960856287215524 (+ (/ (- (- (- (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (+ (/ (+ (- (- (+ (+ (+ a a) (/ -2.3960856287215524 0.11117081187493127)) (/ (/ -2.3960856287215524 0.11117081187493127) 0.11117081187493127)) -1.8042628011571082) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (- (- (* a (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) (+ (+ (/ (- (- (+ 0.31247210330699904 -3.6351547740459167) -1.8042628011571082) (+ (/ (- (- (- (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (+ (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (/ (/ (+ (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127))) -1.8042628011571082) (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127))) a) (* (/ -2.3960856287215524 (+ (- (- -1.8042628011571082 (- (- (* a (+ (+ a a) (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)) (- (- a -1.8042628011571082) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)))) a))) (+ (- (+ 0.31247210330699904 -3.6351547740459167) (+ a a)) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127)) (* (/ -2.3960856287215524 (/ (- (- (- (- (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (+ (- (- (/ -2.3960856287215524 0.11117081187493127) -1.8042628011571082) -1.8042628011571082) (/ (/ (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127))) -1.8042628011571082) -1.8042628011571082) (/ (+ (- (/ -2.3960856287215524 0.11117081187493127) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a)) a)) a)))) a) (/ (/ (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127))) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a) (/ -2.3960856287215524 0.11117081187493127))) a))) (+ (- (- (+ 0.31247210330699904 -3.6351547740459167) (+ a a)) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))) -7.096070645738587) (+ (- (+ 0.31247210330699904 -3.6351547740459167) (/ -2.3960856287215524 a)) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a)) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) (+ (/ (- (- (- (- (- (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082) -1.8042628011571082) (+ (/ (+ (+ (- (- -1.8042628011571082 (- (* (+ (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (- (* (/ -2.3960856287215524 (+ (/ -2.3960856287215524 0.11117081187493127) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)))) a) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127)) a) (/ (/ (+ (/ -2.3960856287215524 0.11117081187493127)
(/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127))) -1.8042628011571082) (- (+ 0.31247210330699904 -3.6351547740459167) (+ a a))) (- 0.31247210330699904 (- (- (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (+ (+ 0.31247210330699904 -3.6351547740459167) (* (/ -2.3960856287215524 0.11117081187493127) a))) -1.8042628011571082) (+ (/ -2.3960856287215524 0.11117081187493127) (/ (/ (+ (- (/ -2.3960856287215524 0.11117081187493127) -1.8042628011571082) (* (/ -2.3960856287215524 0.11117081187493127) a)) a) 0.11117081187493127))))) a) (- (- (/ -2.3960856287215524 0.11117081187493127) -1.8042628011571082) (+ a a)))) (+ (/ -2.3960856287215524 0.11117081187493127) (/ -2.3960856287215524 0.11117081187493127))) (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)))) -7.096070645738587) (+ a a)) (+ (/ (- (* a (+ (+ a a) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))))
(- (- (- -1.8042628011571082 (+ (- (* a (+ (+ a a) (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) (/ (/ (+ (/ -2.3960856287215524 0.11117081187493127) (+ (/ (- (/ -2.3960856287215524 0.11117081187493127) (+ (+ (/ (- (- (- (* (+ (- -1.8042628011571082 (- (* (+ (- -1.8042628011571082 (- (- (- (- (* a (+ (+ (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082) (+ (+ a a) (/ -2.3960856287215524 0.11117081187493127))) (* (/ -2.3960856287215524 (- (* (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) a) (+ (+ a a) (/ -2.3960856287215524 0.11117081187493127)))) a))) -1.8042628011571082) -1.8042628011571082) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (* (/ -2.3960856287215524 0.11117081187493127) a)) a) (/ (+ 0.31247210330699904 -3.6351547740459167) 0.11117081187493127)) -1.8042628011571082) (+ (/ (- (- (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082)
(+ (+ (- (/ -2.3960856287215524 0.11117081187493127) (- (* (+ (* a (* (/ -2.3960856287215524 0.11117081187493127) a)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (+ (+ (+ a a) (/ -2.3960856287215524 0.11117081187493127)) (/ (/ (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127))) (/ (+ (- (+ (* a 0.2252980245535916) (+ (+ a a) (/ -2.3960856287215524 0.11117081187493127))) (- (* (+ (- (+ (- (* a (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) -1.8042628011571082) -7.096070645738587) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082))
(+ (- (/ -2.3960856287215524 0.11117081187493127) (+ (+ (/ (- (- (- (* (+ (- -1.8042628011571082 (- (* (+ (- -1.8042628011571082 (- (- (* a (+ (+ (- (- (- -1.8042628011571082 (- (* (+ (+ (- (- (+ (- (- -1.8042628011571082 (- (- (* a (+ (+ a a) (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)) (- 0.11117081187493127 -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) (- (- (* a (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (- (/ -2.3960856287215524 0.11117081187493127) -1.8042628011571082)) -1.8042628011571082) (+ (+ (* a 0.2252980245535916) (+ -1.8042628011571082 (+ (- -1.8042628011571082 (- (- (- (- (* a (+ (+ (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082) (+ (+ a a) (/ -2.3960856287215524 0.11117081187493127))) (* (/ -2.3960856287215524 (- (* (+ (- -1.8042628011571082 (- (* (+ (- -1.8042628011571082 (- (- (* a (+ (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082) (+ (+ (* a 0.2252980245535916) (+ -1.8042628011571082 (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) (+ (+ a a) (/ -2.3960856287215524 0.11117081187493127)))) a))) -1.8042628011571082) -1.8042628011571082) -1.8042628011571082) (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082) (+ (+ (+ (- (- -1.8042628011571082 (- (- (* a (+ (+ a a) (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)) (- (* (/ -2.3960856287215524 (+ (- (- (- a -1.8042628011571082) -1.8042628011571082) (- (- a -1.8042628011571082) -1.8042628011571082))
(- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082))) a) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))) (+ -1.8042628011571082 (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))))) (/ -2.3960856287215524 0.11117081187493127)))) (/ -2.3960856287215524 0.11117081187493127))) (- -1.8042628011571082 (- (- (* a (+ (+ (/ -2.3960856287215524 (/ -2.3960856287215524 (+ (- (- -1.8042628011571082 (- (- (* a (+ (+ a a) (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)) (- (* (/ -2.3960856287215524 (+ (- (- -1.8042628011571082 (- (- (* a (+ (+ a a) (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)) (- (- a -1.8042628011571082) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)))) a) -1.8042628011571082))
(+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))))) (+ (+ (* (+ (- (- (/ -2.3960856287215524 0.11117081187493127) -1.8042628011571082) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))
(/ -2.3960856287215524 0.11117081187493127))) (+ (- -1.8042628011571082 (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082))
(- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082)))) -1.8042628011571082) -1.8042628011571082)))) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) (+ (+ 0.31247210330699904 -3.6351547740459167) (* (+ 0.31247210330699904 (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) a))) -1.8042628011571082) (+ (/ (- (- (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082)
(+ (+ (- (- (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)) (- (- (- (* (+ (- -1.8042628011571082 (- (* (+ (- -1.8042628011571082 (- (- (* a (+ (+ (+ (* (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a) (* a 0.2252980245535916)) (+ (+ (+ (/ -2.3960856287215524 0.11117081187493127) -7.096070645738587) (+ (- (- -1.8042628011571082 (- (* (+ (+ (- (- (+ (+ a a) -7.096070645738587) -1.8042628011571082) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (- (* (+ 0.31247210330699904 -3.6351547740459167) a) -1.8042628011571082)) (+ (+ (- (/ -2.3960856287215524 0.11117081187493127) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) (+ a a)))) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) (/ (+ 0.31247210330699904 -3.6351547740459167) 0.11117081187493127)) -1.8042628011571082) -1.8042628011571082)) (- (* (+ (+ (- (- (* (+ (- -1.8042628011571082 (- (* (+ (- (+ a a) (- (- (* a (* (+ (/ (+ (/ (- (- (+ 0.31247210330699904 -3.6351547740459167) (+ a a)) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (* (/ (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) 0.11117081187493127) a) -1.8042628011571082))) (+ (/ (+ (/ -2.3960856287215524 0.11117081187493127) a) a) (+ 0.31247210330699904 -3.6351547740459167))) -7.096070645738587) (+ (- (* (/ -2.3960856287215524 (+ a (/ (+ (/ -2.3960856287215524 0.11117081187493127) a) 0.11117081187493127))) a) (/ (+ (- (- (- (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (+ (* (/ -2.3960856287215524 (+ (- (+ 0.31247210330699904 (- (- (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082)) -1.8042628011571082) (+ (/ (+ (- (+ 0.31247210330699904 -7.096070645738587) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) (/ (/ (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127)))) -1.8042628011571082) (- (- (- (- (* (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082) (+ (/ (+ (- (- (* a (+ (+ (- (/ -2.3960856287215524 0.11117081187493127) -1.8042628011571082) (+ (+ (* a 0.2252980245535916) (+ -1.8042628011571082 (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a) (/ (/ (+ (- (+ (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127))) -1.8042628011571082) (/ -2.3960856287215524 (/ -2.3960856287215524 0.11117081187493127))))) (* (/ -2.3960856287215524 0.11117081187493127) a)) (/ (/ (/ -2.3960856287215524 0.11117081187493127) a) 0.11117081187493127))) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a)) (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082))) (/ -2.3960856287215524 0.11117081187493127)) a)) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) (/ (+ 0.31247210330699904 -3.6351547740459167) 0.11117081187493127)) -1.8042628011571082) (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082))
(- -1.8042628011571082 (- (* (+ (- -1.8042628011571082 (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (+ (- (* a (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) -1.8042628011571082) -7.096070645738587)) a) -1.8042628011571082))) a) -1.8042628011571082)) (+ (+ (+ a (- (- (* (+ (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a) (/ (+ 0.31247210330699904 -3.6351547740459167) 0.11117081187493127)) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) (* a (+ (+ (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082) (+ (* (/ -2.3960856287215524 0.11117081187493127) a) (/ -2.3960856287215524 0.11117081187493127))) (+ (- -1.8042628011571082 (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)))))) (/ (+ (- (+ (* a 0.2252980245535916) (+ (+ a a) (/ -2.3960856287215524 0.11117081187493127))) (- (* (+ (- (+ (- (* a (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) -1.8042628011571082) -7.096070645738587) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (+ (- -1.8042628011571082 (/ (- -1.8042628011571082 (- (- (* a (+ (+ (- (- (- -1.8042628011571082 (- (* (+ (+ (- (- (+ (+ (- -1.8042628011571082 (- (* (+ (+ (- (/ -2.3960856287215524 0.11117081187493127) (- (- (* a (+ (+ 0.31247210330699904 -3.6351547740459167) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127))) (+ (* a 0.2252980245535916) (+ (+ (- (- -1.8042628011571082 (- (* (+ (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (+ (+ 0.31247210330699904 -7.096070645738587) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (- (* (/ -2.3960856287215524 (+ (/ -2.3960856287215524 0.11117081187493127) (/ (/ (- (+ 0.31247210330699904 -3.6351547740459167) (+ a a)) a) 0.11117081187493127))) a) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) (- (- (* a (+ (+ 0.31247210330699904 -3.6351547740459167) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (- (- (- (* a (+ (+ 0.31247210330699904 -3.6351547740459167) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) -1.8042628011571082) -1.8042628011571082)) -1.8042628011571082)
(+ (+ (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) (+ -1.8042628011571082 (+ (- -1.8042628011571082 (- (- (- (- (* a (+ (+ (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082) (+ (/ -2.3960856287215524 0.11117081187493127) (/ -2.3960856287215524 0.11117081187493127))) (* (/ -2.3960856287215524 (- (* (+ (- -1.8042628011571082 (- (* (+ (- -1.8042628011571082 (- (- (* a (+ (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082) (+ (+ (* a 0.2252980245535916) (+ -1.8042628011571082 (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) (+ (+ a a) (/ -2.3960856287215524 0.11117081187493127)))) a))) -1.8042628011571082) -1.8042628011571082) -1.8042628011571082) (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082) (+ (+ (+ (- (- -1.8042628011571082 (- (- (* a (+ (+ a a) (+ (/ -2.3960856287215524 0.11117081187493127) (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)) (- (* (/ -2.3960856287215524 (+ (- (- -1.8042628011571082 (- (* (/ -2.3960856287215524 (+ (- (- -1.8042628011571082 (- (- (* a (+ (- -1.8042628011571082 (- (* (+ (+ (- (- (+ (- (- -1.8042628011571082 (- (- (* a (+ (+ a a) (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)) (- 0.11117081187493127 -1.8042628011571082)) (+ (* a 0.2252980245535916) (+ (+ (- (- -1.8042628011571082 (- (* (+ (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (+ (+ 0.31247210330699904 -7.096070645738587) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (- (* (/ -2.3960856287215524 (+ (/ -2.3960856287215524 0.11117081187493127) (/ (/ (- (+ (- (+ (- (- (* a (+ (+ (/ -2.3960856287215524 (/ -2.3960856287215524 (+ (- (- -1.8042628011571082 (- (- (* a (+ (+ a a) (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)) (- (* (/ -2.3960856287215524 (+ (- (- -1.8042628011571082 (/ -2.3960856287215524 0.11117081187493127)) (- (- a -1.8042628011571082) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)))) a) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))))) (+ (+ (* (+ (- (- (/ -2.3960856287215524 0.11117081187493127) -1.8042628011571082) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127))) (+ (- -1.8042628011571082 (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082)))) -1.8042628011571082) -1.8042628011571082) -7.096070645738587) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082) a) 0.11117081187493127))) a) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) (- (- (* a (+ (+ 0.31247210330699904 -3.6351547740459167) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)) (- (- a -1.8042628011571082) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)))) a) -1.8042628011571082)) (- (- a -1.8042628011571082) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)))) a) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))) (+ -1.8042628011571082 (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))))) (/ -2.3960856287215524 0.11117081187493127))))
(/ -2.3960856287215524 0.11117081187493127))) (- -1.8042628011571082 (- (- (* a (+ (+ (/ -2.3960856287215524 (/ -2.3960856287215524 (+ (- (- -1.8042628011571082 (- (- (* a (+ (+ a a) (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))))) (+ (+ (* (+ (- (- (/ -2.3960856287215524 0.11117081187493127) -1.8042628011571082) (+ (/ (+ (/ (- (+ (/ -2.3960856287215524 0.11117081187493127) (/ -2.3960856287215524 0.11117081187493127))
(+ a a)) (+ (/ (- (- (* a (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) (+ (+ (+ (/ (- (- (- (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (+ (/ (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) (/ (/ (+ (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127))) -1.8042628011571082) (/ (+ (- (* (+ (+ (- (* (/ -2.3960856287215524 (+ (/ -2.3960856287215524 0.11117081187493127) (/ (/ (- (- (- (* (+ (- -1.8042628011571082 (- (* (+ (- -1.8042628011571082 (- (- (* a (+ (+ (- (- (- -1.8042628011571082 (- (* (+ (+ (- (- (+ (- (- -1.8042628011571082 (- (- (* a (+ (+ a a) (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)) (- 0.11117081187493127 -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) (- (- (* a (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (- (/ -2.3960856287215524 0.11117081187493127) -1.8042628011571082)) -1.8042628011571082) (+ (+ (* a 0.2252980245535916) (+ -1.8042628011571082 (+ (- -1.8042628011571082 (- (- (- (- (* a (+ (+ (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082) (+ (+ a a) (/ -2.3960856287215524 0.11117081187493127))) (* (/ -2.3960856287215524 (/ -2.3960856287215524 0.11117081187493127)) a))) -1.8042628011571082) -1.8042628011571082) -1.8042628011571082) (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082) (+ (+ (+ (- (- -1.8042628011571082 (- (- (* a (+ (+ a a) (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)) (- (* (/ -2.3960856287215524 (+ (- (- -1.8042628011571082 (- (- (* a (+ (- -1.8042628011571082 (- (* (+ (+ (- (/ -2.3960856287215524 0.11117081187493127) (- (- (* a (+ (+ 0.31247210330699904 -3.6351547740459167) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)) (- (- a -1.8042628011571082) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)))) a) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))) (+ -1.8042628011571082 (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))))) (/ -2.3960856287215524 0.11117081187493127)))) (/ -2.3960856287215524 0.11117081187493127))) (- -1.8042628011571082 (- (- (* a (+ (+ (/ -2.3960856287215524 (/ -2.3960856287215524 (+ (- (- -1.8042628011571082 (- (- (* a (+ (+ a a) (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)) (- (* (/ -2.3960856287215524 (+ (- (- -1.8042628011571082 (- (- (* a (+ (+ a a) (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)) (- (- a -1.8042628011571082) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)))) a) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))))) (+ (+ (* (+ (- (- (/ -2.3960856287215524 0.11117081187493127) -1.8042628011571082) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127))) (+ (- -1.8042628011571082 (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082)))) -1.8042628011571082) -1.8042628011571082)))) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082) -1.8042628011571082) -1.8042628011571082) a) 0.11117081187493127))) a) -1.8042628011571082) (+ (/ -2.3960856287215524 0.11117081187493127) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a)) a) (* (+ a a) a)) (/ -2.3960856287215524 0.11117081187493127)) (* (/ -2.3960856287215524 (+ (/ (- (- (* (/ -2.3960856287215524 (+ (- (- -1.8042628011571082 (- (- (* a (+ (- -1.8042628011571082 (- (* (+ (+ (- (- (+ (- (- -1.8042628011571082 (- (- (* a (+ (+ a a) (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)) (- 0.11117081187493127 -1.8042628011571082)) (+ (* a 0.2252980245535916) (+ (+ (- (- -1.8042628011571082 (- (* (+ (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (+ (+ 0.31247210330699904 -7.096070645738587) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (- (* (/ -2.3960856287215524 (+ (/ -2.3960856287215524 0.11117081187493127) (/ (/ (- (+ (- (+ (- (- (* a (+ (+ (/ -2.3960856287215524 (/ -2.3960856287215524 (+ (- (- -1.8042628011571082 (- (- (* a (+ (+ a a) (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)) (- (* (/ -2.3960856287215524 (+ (- (- -1.8042628011571082 (- (- (* a (+ (+ a a) (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)) (- (- a -1.8042628011571082) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)))) a) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))))) (+ (+ (* (+ (- (- (/ -2.3960856287215524 0.11117081187493127) -1.8042628011571082) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127))) (+ (- -1.8042628011571082 (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082)))) -1.8042628011571082) -1.8042628011571082) -7.096070645738587) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082) a) 0.11117081187493127))) a) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)))
(/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) (- (- (* a (+ (+ 0.31247210330699904 -3.6351547740459167) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)) (- (- a -1.8042628011571082) -1.8042628011571082)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)))) a) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a) (/ -2.3960856287215524 0.11117081187493127))) a))) (+ (- (- (+ 0.31247210330699904 -3.6351547740459167) (+ a a)) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))) -2.3960856287215524) (- (* a (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082)) (+ (/ -2.3960856287215524 0.11117081187493127) (/ -2.3960856287215524 0.11117081187493127)))) (/ -2.3960856287215524 0.11117081187493127)) 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127))) (+ (- -1.8042628011571082 (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) -1.8042628011571082)))) -1.8042628011571082) -1.8042628011571082)) (+ (/ (- (/ -2.3960856287215524 0.11117081187493127) (+ (+ (+ (/ (- (- (- (- (+ (* a 0.2252980245535916) (+ (/ -2.3960856287215524 0.11117081187493127) (+ (+ (- (+ 0.31247210330699904 (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082)) -1.8042628011571082) (+ (* (/ -2.3960856287215524 0.11117081187493127) a) (/ -2.3960856287215524 0.11117081187493127))) (+ (- -1.8042628011571082 (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127))))) (- (* (+ (- (+ (- (* a (- (* (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) -1.8042628011571082) -7.096070645738587) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (+ (/ (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082)
(- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) (/ (/ (+ (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127))) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a) (- (* a (+ (+ a a) (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) (* (/ -2.3960856287215524 (+ (- (* (+ (- (+ (- (* a (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) -1.8042628011571082) -7.096070645738587) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127))) a))) (+ (/ -2.3960856287215524 0.11117081187493127) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127)))) (/ -2.3960856287215524 0.11117081187493127))) 0.11117081187493127))) -1.8042628011571082) (/ (/ (+ (- (+ a a) (- (- (* a (* (/ -2.3960856287215524 0.11117081187493127) a)) -1.8042628011571082) -1.8042628011571082)) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) a) 0.11117081187493127)) a) (- (/ -2.3960856287215524 0.11117081187493127) -1.8042628011571082))) (+ (- (- (+ 0.31247210330699904 -3.6351547740459167) (+ a a)) (/ -2.3960856287215524 0.11117081187493127)) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)))) (* a (+ (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)))) (* (/ -2.3960856287215524 (+ (* (+ (- -1.8042628011571082 (- (* (+ (- (+ a a) (- (- (* a (* (+ (/ (+ (/ (- (- (+ 0.31247210330699904 -3.6351547740459167) (+ a a)) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (* (/ (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) 0.11117081187493127) a) -1.8042628011571082))) (+ (/ (+ (/ -2.3960856287215524 0.11117081187493127) a) a) (+ 0.31247210330699904 -3.6351547740459167))) -7.096070645738587) (+ (- (* (/ -2.3960856287215524 (+ a (/ (+ (/ -2.3960856287215524 0.11117081187493127) a) 0.11117081187493127))) a) (/ (+ (- (- (- (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (+ (* (/ -2.3960856287215524 (+ (- (+ 0.31247210330699904 (- (- (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082)) -1.8042628011571082) (+ -1.8042628011571082 (/ (/ (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127)))) -1.8042628011571082) (- (- (- (- (* (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082) (+ (/ (+ (- (- (* a (+ (+ (- (/ -2.3960856287215524 0.11117081187493127) -1.8042628011571082) (+ (+ (* a 0.2252980245535916) (+ -1.8042628011571082 (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a) (/ (/ (+ (- (+ (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127))) -1.8042628011571082) (/ -2.3960856287215524 (/ -2.3960856287215524 0.11117081187493127))))) (* (/ -2.3960856287215524 0.11117081187493127) a)) (/ (/ (/ -2.3960856287215524 0.11117081187493127) a) 0.11117081187493127))) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a)) (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082))) (/ -2.3960856287215524 0.11117081187493127)) a)) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) (- (+ 0.31247210330699904 -3.6351547740459167) a))) a))) (/ -2.3960856287215524 0.11117081187493127))) 0.11117081187493127))) -1.8042628011571082) (/ (/ (+ (- (+ a a) (- (- (* a (* (/ -2.3960856287215524 0.11117081187493127) a)) -1.8042628011571082) -1.8042628011571082)) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) a) 0.11117081187493127)) a) (* (/ -2.3960856287215524 (+ (/ (- (+ (+ (+ a a) (/ -2.3960856287215524 0.11117081187493127)) (/ (/ -2.3960856287215524 0.11117081187493127) 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a) (* (/ -2.3960856287215524 (+ (/ (- (- (- (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) -1.8042628011571082) -1.8042628011571082) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a) (+ (/ (- (- (- (- (- (- (- (- (- (- (- (* a (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) -1.8042628011571082) -1.8042628011571082) -1.8042628011571082) (+ (/ (+ (+ (- (- -1.8042628011571082 (- (* (+ (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (- (* (/ -2.3960856287215524 (+ (/ -2.3960856287215524 0.11117081187493127) (/ (/ (- (/ -2.3960856287215524 0.11117081187493127) -1.8042628011571082) a) 0.11117081187493127))) a) -1.8042628011571082)) (+ (* a 0.2252980245535916) (+ 0.31247210330699904 -7.096070645738587))) (/ -2.3960856287215524 0.11117081187493127)) a) (/ (/ (+ (/ -2.3960856287215524 0.11117081187493127) (/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127))) -1.8042628011571082) (- (+ 0.31247210330699904 -3.6351547740459167) (+ a a))) (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082) (- (+ 0.31247210330699904 -3.6351547740459167) (+ a a))) (/ -2.3960856287215524 0.11117081187493127)) a) (- (- (/ -2.3960856287215524 0.11117081187493127) -1.8042628011571082) (+ a a))))) a))) a))) (+ (- (- (+ 0.31247210330699904 -7.096070645738587) (+ a a)) (/ -2.3960856287215524 0.11117081187493127)) (+ a (/ -2.3960856287215524 0.11117081187493127)))) (* a (+ (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)))) (* (/ -2.3960856287215524 (+ (/ (- (* a (+ (+ a a) (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127))))
(- (- (- -1.8042628011571082 (+ (- (* a (+ (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)))) -1.8042628011571082) (/ (/ (+ (/ -2.3960856287215524 0.11117081187493127) (+ (/ (- (/ -2.3960856287215524 0.11117081187493127) (+ (+ (/ (- (- (- (* (+ (- -1.8042628011571082 (- (* (+ (- (+ a a) (- (- (* a (* (/ -2.3960856287215524 0.11117081187493127) a)) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) (/ (+ 0.31247210330699904 -3.6351547740459167) 0.11117081187493127)) -1.8042628011571082) (+ (/ (- (- (- (+ a a) (+ (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (/ (+ (+ (* a 0.2252980245535916) (* a 0.2252980245535916)) (+ (+ (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082) (+ (+ (* a 0.2252980245535916) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))) 0.11117081187493127))) -1.8042628011571082) (/ (+ (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) (/ (+ (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) a)) (- (- (- (* (+ (- -1.8042628011571082 (- (* (+ (- -1.8042628011571082 (- (- (* a (+ (+ (- (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082) (+ (+ (- (* (/ -2.3960856287215524 (+ (/ -2.3960856287215524 0.11117081187493127) (/ (/ (- (- (- (* (+ (- -1.8042628011571082 (- (* (+ (- -1.8042628011571082 (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082) -1.8042628011571082) -1.8042628011571082) a) 0.11117081187493127))) a) -1.8042628011571082) (+ (/ -2.3960856287215524 0.11117081187493127) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))) (/ -2.3960856287215524 0.11117081187493127))) -1.8042628011571082) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) (/ (/ -2.3960856287215524 0.11117081187493127) 0.11117081187493127)) -1.8042628011571082) -1.8042628011571082)) a)) a) (* (/ -2.3960856287215524 (+ (/ (- (+ a a) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) a) (/ -2.3960856287215524 0.11117081187493127))) a))) (+ (- (- (+ 0.31247210330699904 -3.6351547740459167) (+ a a)) (/ -2.3960856287215524 0.11117081187493127)) (+ a (/ -2.3960856287215524 0.11117081187493127)))) (* a (+ (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)))) (* (/ -2.3960856287215524 (+ (+ (/ -2.3960856287215524 0.11117081187493127) (+ (- -1.8042628011571082 (- (/ -2.3960856287215524 0.11117081187493127) (- (- (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (+ (/ (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) (+ (/ (+ (- (+ 0.31247210330699904 -7.096070645738587) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) (/ (/ (+ (- (- (+ 0.31247210330699904 -7.096070645738587) -1.8042628011571082) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) a) 0.11117081187493127)))) -1.8042628011571082))) (- (- -1.8042628011571082 (- (* (+ (+ (- (- (+ (+ a a) -7.096070645738587) -1.8042628011571082) (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) a) -1.8042628011571082)) (- (* (+ 0.31247210330699904 -3.6351547740459167) a) -1.8042628011571082)))) (+ -1.8042628011571082 (/ -2.3960856287215524 0.11117081187493127)))) a))) (+ (+ (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (* -2.3960856287215524 0.11117081187493127)) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127))) a) 0.11117081187493127))) -1.8042628011571082) (+ 0.31247210330699904 -7.096070645738587))) (+ (- (+ 0.31247210330699904 -3.6351547740459167) (+ a a)) (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)))) (+ (/ -2.3960856287215524 0.11117081187493127) (/ -2.3960856287215524 (+ (+ (- (* (/ -2.3960856287215524 0.11117081187493127) a) (/ -2.3960856287215524 0.11117081187493127)) (/ -2.3960856287215524 0.11117081187493127)) (+ (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127))))))) a))) (+ (+ (- (* (/ -2.3960856287215524 0.11117081187493127) a) -1.8042628011571082) (/ -2.3960856287215524 0.11117081187493127)) -1.8042628011571082)) (/ -2.3960856287215524 0.11117081187493127))) a) 0.11117081187493127))) -1.8042628011571082) (+ 0.31247210330699904 -7.096070645738587))) (+ (- (+ 0.31247210330699904 -3.6351547740459167) (+ a a)) (+ 0.31247210330699904 (/ -2.3960856287215524 0.11117081187493127)))) (+ (/ -2.3960856287215524 0.11117081187493127) (/ -2.3960856287215524 (+ (+ 0.31247210330699904 -7.096070645738587) (/ -2.3960856287215524 0.11117081187493127))))))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment