21.741 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.022 * * * [progress]: [2/2] Setting up program. 0.024 * [progress]: [Phase 2 of 3] Improving. 0.024 * [simplify]: Simplifying using # : (/ (exp a) (+ (exp a) (exp b))) 0.027 * * [simplify]: iteration 0 : 7 enodes (cost 5 ) 0.028 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 0.028 * [simplify]: Simplified to: (/ (exp a) (+ (exp a) (exp b))) 0.029 * * [progress]: iteration 1 / 4 0.029 * * * [progress]: picking best candidate 0.030 * * * * [pick]: Picked # 0.030 * * * [progress]: localizing error 0.037 * * * [progress]: generating rewritten candidates 0.037 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.046 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.052 * * * [progress]: generating series expansions 0.052 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.052 * [approximate]: Taking taylor expansion of (/ (exp a) (+ (exp b) (exp a))) in (a b) around 0 0.052 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (exp b) (exp a))) in b 0.052 * [taylor]: Taking taylor expansion of (exp a) in b 0.052 * [taylor]: Taking taylor expansion of a in b 0.052 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in b 0.052 * [taylor]: Taking taylor expansion of (exp b) in b 0.052 * [taylor]: Taking taylor expansion of b in b 0.052 * [taylor]: Taking taylor expansion of (exp a) in b 0.052 * [taylor]: Taking taylor expansion of a in b 0.052 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (exp b) (exp a))) in a 0.052 * [taylor]: Taking taylor expansion of (exp a) in a 0.052 * [taylor]: Taking taylor expansion of a in a 0.052 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in a 0.052 * [taylor]: Taking taylor expansion of (exp b) in a 0.052 * [taylor]: Taking taylor expansion of b in a 0.052 * [taylor]: Taking taylor expansion of (exp a) in a 0.053 * [taylor]: Taking taylor expansion of a in a 0.053 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (exp b) (exp a))) in a 0.053 * [taylor]: Taking taylor expansion of (exp a) in a 0.053 * [taylor]: Taking taylor expansion of a in a 0.053 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in a 0.053 * [taylor]: Taking taylor expansion of (exp b) in a 0.053 * [taylor]: Taking taylor expansion of b in a 0.053 * [taylor]: Taking taylor expansion of (exp a) in a 0.053 * [taylor]: Taking taylor expansion of a in a 0.053 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b 0.053 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b 0.053 * [taylor]: Taking taylor expansion of (exp b) in b 0.053 * [taylor]: Taking taylor expansion of b in b 0.053 * [taylor]: Taking taylor expansion of 1 in b 0.056 * [taylor]: Taking taylor expansion of (- (/ 1 (+ (exp b) 1)) (/ 1 (pow (+ (exp b) 1) 2))) in b 0.056 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b 0.056 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b 0.056 * [taylor]: Taking taylor expansion of (exp b) in b 0.056 * [taylor]: Taking taylor expansion of b in b 0.056 * [taylor]: Taking taylor expansion of 1 in b 0.056 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp b) 1) 2)) in b 0.057 * [taylor]: Taking taylor expansion of (pow (+ (exp b) 1) 2) in b 0.057 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b 0.057 * [taylor]: Taking taylor expansion of (exp b) in b 0.057 * [taylor]: Taking taylor expansion of b in b 0.057 * [taylor]: Taking taylor expansion of 1 in b 0.059 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in (a b) around 0 0.059 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b 0.059 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.059 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.059 * [taylor]: Taking taylor expansion of a in b 0.059 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 0.059 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.060 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.060 * [taylor]: Taking taylor expansion of b in b 0.060 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.060 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.060 * [taylor]: Taking taylor expansion of a in b 0.060 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a 0.060 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.060 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.060 * [taylor]: Taking taylor expansion of a in a 0.060 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 0.060 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.061 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.061 * [taylor]: Taking taylor expansion of b in a 0.061 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.061 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.061 * [taylor]: Taking taylor expansion of a in a 0.061 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a 0.061 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.061 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.061 * [taylor]: Taking taylor expansion of a in a 0.061 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 0.061 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.061 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.061 * [taylor]: Taking taylor expansion of b in a 0.062 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.062 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.062 * [taylor]: Taking taylor expansion of a in a 0.062 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b 0.062 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.062 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.062 * [taylor]: Taking taylor expansion of a in b 0.062 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 0.062 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.062 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.062 * [taylor]: Taking taylor expansion of b in b 0.063 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.063 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.063 * [taylor]: Taking taylor expansion of a in b 0.064 * [taylor]: Taking taylor expansion of 0 in b 0.070 * [taylor]: Taking taylor expansion of 0 in b 0.074 * [taylor]: Taking taylor expansion of 0 in b 0.075 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in (a b) around 0 0.075 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b 0.075 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.075 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.075 * [taylor]: Taking taylor expansion of -1 in b 0.075 * [taylor]: Taking taylor expansion of a in b 0.075 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 0.075 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.075 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.075 * [taylor]: Taking taylor expansion of -1 in b 0.075 * [taylor]: Taking taylor expansion of b in b 0.075 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.075 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.075 * [taylor]: Taking taylor expansion of -1 in b 0.075 * [taylor]: Taking taylor expansion of a in b 0.075 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a 0.075 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.075 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.075 * [taylor]: Taking taylor expansion of -1 in a 0.075 * [taylor]: Taking taylor expansion of a in a 0.076 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 0.076 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.076 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.076 * [taylor]: Taking taylor expansion of -1 in a 0.076 * [taylor]: Taking taylor expansion of b in a 0.076 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.076 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.076 * [taylor]: Taking taylor expansion of -1 in a 0.076 * [taylor]: Taking taylor expansion of a in a 0.076 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a 0.077 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.077 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.077 * [taylor]: Taking taylor expansion of -1 in a 0.077 * [taylor]: Taking taylor expansion of a in a 0.077 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 0.077 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.077 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.077 * [taylor]: Taking taylor expansion of -1 in a 0.077 * [taylor]: Taking taylor expansion of b in a 0.077 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.077 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.077 * [taylor]: Taking taylor expansion of -1 in a 0.077 * [taylor]: Taking taylor expansion of a in a 0.078 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b 0.078 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.078 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.078 * [taylor]: Taking taylor expansion of -1 in b 0.078 * [taylor]: Taking taylor expansion of a in b 0.078 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 0.078 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.078 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.078 * [taylor]: Taking taylor expansion of -1 in b 0.078 * [taylor]: Taking taylor expansion of b in b 0.078 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.078 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.078 * [taylor]: Taking taylor expansion of -1 in b 0.078 * [taylor]: Taking taylor expansion of a in b 0.080 * [taylor]: Taking taylor expansion of 0 in b 0.083 * [taylor]: Taking taylor expansion of 0 in b 0.087 * [taylor]: Taking taylor expansion of 0 in b 0.088 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.088 * [approximate]: Taking taylor expansion of (+ (exp b) (exp a)) in (a b) around 0 0.088 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in b 0.088 * [taylor]: Taking taylor expansion of (exp b) in b 0.088 * [taylor]: Taking taylor expansion of b in b 0.088 * [taylor]: Taking taylor expansion of (exp a) in b 0.088 * [taylor]: Taking taylor expansion of a in b 0.088 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in a 0.088 * [taylor]: Taking taylor expansion of (exp b) in a 0.088 * [taylor]: Taking taylor expansion of b in a 0.088 * [taylor]: Taking taylor expansion of (exp a) in a 0.088 * [taylor]: Taking taylor expansion of a in a 0.088 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in a 0.088 * [taylor]: Taking taylor expansion of (exp b) in a 0.088 * [taylor]: Taking taylor expansion of b in a 0.088 * [taylor]: Taking taylor expansion of (exp a) in a 0.088 * [taylor]: Taking taylor expansion of a in a 0.088 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b 0.088 * [taylor]: Taking taylor expansion of (exp b) in b 0.088 * [taylor]: Taking taylor expansion of b in b 0.088 * [taylor]: Taking taylor expansion of 1 in b 0.090 * [taylor]: Taking taylor expansion of 1 in b 0.091 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in (a b) around 0 0.091 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 0.091 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.091 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.091 * [taylor]: Taking taylor expansion of b in b 0.091 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.091 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.091 * [taylor]: Taking taylor expansion of a in b 0.091 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 0.091 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.091 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.091 * [taylor]: Taking taylor expansion of b in a 0.091 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.091 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.091 * [taylor]: Taking taylor expansion of a in a 0.092 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 0.092 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.092 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.092 * [taylor]: Taking taylor expansion of b in a 0.092 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.092 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.092 * [taylor]: Taking taylor expansion of a in a 0.092 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 0.092 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.092 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.092 * [taylor]: Taking taylor expansion of b in b 0.093 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.093 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.093 * [taylor]: Taking taylor expansion of a in b 0.094 * [taylor]: Taking taylor expansion of 0 in b 0.095 * [taylor]: Taking taylor expansion of 0 in b 0.098 * [taylor]: Taking taylor expansion of 0 in b 0.098 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in (a b) around 0 0.098 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 0.098 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.098 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.098 * [taylor]: Taking taylor expansion of -1 in b 0.098 * [taylor]: Taking taylor expansion of b in b 0.098 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.098 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.098 * [taylor]: Taking taylor expansion of -1 in b 0.098 * [taylor]: Taking taylor expansion of a in b 0.099 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 0.099 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.099 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.099 * [taylor]: Taking taylor expansion of -1 in a 0.099 * [taylor]: Taking taylor expansion of b in a 0.099 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.099 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.099 * [taylor]: Taking taylor expansion of -1 in a 0.099 * [taylor]: Taking taylor expansion of a in a 0.099 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 0.099 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.099 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.099 * [taylor]: Taking taylor expansion of -1 in a 0.099 * [taylor]: Taking taylor expansion of b in a 0.099 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.099 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.099 * [taylor]: Taking taylor expansion of -1 in a 0.099 * [taylor]: Taking taylor expansion of a in a 0.100 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 0.100 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.100 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.100 * [taylor]: Taking taylor expansion of -1 in b 0.100 * [taylor]: Taking taylor expansion of b in b 0.100 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.100 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.100 * [taylor]: Taking taylor expansion of -1 in b 0.100 * [taylor]: Taking taylor expansion of a in b 0.101 * [taylor]: Taking taylor expansion of 0 in b 0.103 * [taylor]: Taking taylor expansion of 0 in b 0.106 * [taylor]: Taking taylor expansion of 0 in b 0.106 * * * [progress]: simplifying candidates 0.107 * [simplify]: Simplifying using # : (expm1 (/ (exp a) (+ (exp a) (exp b)))) (log1p (/ (exp a) (+ (exp a) (exp b)))) (- a (log (+ (exp a) (exp b)))) (log (/ (exp a) (+ (exp a) (exp b)))) (exp (/ (exp a) (+ (exp a) (exp b)))) (/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (exp a) (exp b)) (+ (exp a) (exp b))) (+ (exp a) (exp b)))) (* (cbrt (/ (exp a) (+ (exp a) (exp b)))) (cbrt (/ (exp a) (+ (exp a) (exp b))))) (cbrt (/ (exp a) (+ (exp a) (exp b)))) (* (* (/ (exp a) (+ (exp a) (exp b))) (/ (exp a) (+ (exp a) (exp b)))) (/ (exp a) (+ (exp a) (exp b)))) (sqrt (/ (exp a) (+ (exp a) (exp b)))) (sqrt (/ (exp a) (+ (exp a) (exp b)))) (- (exp a)) (- (+ (exp a) (exp b))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (exp a) (exp b)))) (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))) (/ (* (cbrt (exp a)) (cbrt (exp a))) 1) (/ (cbrt (exp a)) (+ (exp a) (exp b))) (/ (* (cbrt (exp a)) (cbrt (exp a))) 1) (/ (cbrt (exp a)) (+ (exp a) (exp b))) (/ (sqrt (exp a)) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) 1) (/ (sqrt (exp a)) (+ (exp a) (exp b))) (/ (sqrt (exp a)) 1) (/ (sqrt (exp a)) (+ (exp a) (exp b))) (/ 1 (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) (/ (exp a) (cbrt (+ (exp a) (exp b)))) (/ 1 (sqrt (+ (exp a) (exp b)))) (/ (exp a) (sqrt (+ (exp a) (exp b)))) (/ 1 1) (/ (exp a) (+ (exp a) (exp b))) (/ 1 1) (/ (exp a) (+ (exp a) (exp b))) (/ 1 (+ (exp a) (exp b))) (/ (+ (exp a) (exp b)) (exp a)) (/ (exp a) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) (/ (exp a) (sqrt (+ (exp a) (exp b)))) (/ (exp a) 1) (/ (exp a) 1) (/ (+ (exp a) (exp b)) (cbrt (exp a))) (/ (+ (exp a) (exp b)) (sqrt (exp a))) (/ (+ (exp a) (exp b)) (exp a)) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (exp a) (- (* (exp a) (exp a)) (* (exp b) (exp b)))) (expm1 (+ (exp a) (exp b))) (log1p (+ (exp a) (exp b))) (* (exp (exp a)) (exp (exp b))) (log (+ (exp a) (exp b))) (exp (+ (exp a) (exp b))) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b))) (* (* (+ (exp a) (exp b)) (+ (exp a) (exp b))) (+ (exp a) (exp b))) (sqrt (+ (exp a) (exp b))) (sqrt (+ (exp a) (exp b))) (+ (pow (exp a) 3) (pow (exp b) 3)) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (- (* (exp a) (exp a)) (* (exp b) (exp b))) (- (exp a) (exp b)) (+ (exp a) (exp b)) (- (+ (* 1/4 a) 1/2) (* 1/4 b)) (/ (exp a) (+ (exp b) (exp a))) (/ (exp a) (+ (exp b) (exp a))) (+ a (+ b 2)) (+ (exp b) (exp a)) (+ (exp b) (exp a)) 0.111 * * [simplify]: iteration 0 : 171 enodes (cost 405 ) 0.115 * * [simplify]: iteration 1 : 513 enodes (cost 376 ) 0.122 * * [simplify]: iteration 2 : 1324 enodes (cost 374 ) 0.144 * * [simplify]: iteration 3 : 4489 enodes (cost 373 ) 0.200 * * [simplify]: iteration 4 : 5001 enodes (cost 373 ) 0.201 * [simplify]: Simplified to: (expm1 (/ (exp a) (+ (exp a) (exp b)))) (log1p (/ (exp a) (+ (exp a) (exp b)))) (- a (log (+ (exp a) (exp b)))) (- a (log (+ (exp a) (exp b)))) (exp (/ (exp a) (+ (exp a) (exp b)))) (pow (/ (exp a) (+ (exp b) (exp a))) 3) (* (cbrt (/ (exp a) (+ (exp a) (exp b)))) (cbrt (/ (exp a) (+ (exp a) (exp b))))) (cbrt (/ (exp a) (+ (exp a) (exp b)))) (pow (/ (exp a) (+ (exp b) (exp a))) 3) (sqrt (/ (exp a) (+ (exp a) (exp b)))) (sqrt (/ (exp a) (+ (exp a) (exp b)))) (- (exp a)) (- (+ (exp a) (exp b))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (exp a) (exp b)))) (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))) (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))) (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))) (/ (sqrt (exp a)) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))) (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))) (/ 1 (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) (/ (exp a) (cbrt (+ (exp a) (exp b)))) (/ 1 (sqrt (+ (exp a) (exp b)))) (/ (exp a) (sqrt (+ (exp a) (exp b)))) 1 (/ (exp a) (+ (exp b) (exp a))) 1 (/ (exp a) (+ (exp b) (exp a))) (/ 1 (+ (exp a) (exp b))) (/ (+ (exp a) (exp b)) (exp a)) (/ (exp a) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) (/ (exp a) (sqrt (+ (exp a) (exp b)))) (exp a) (exp a) (/ (+ (exp a) (exp b)) (cbrt (exp a))) (/ (+ (exp a) (exp b)) (sqrt (exp a))) (/ (+ (exp a) (exp b)) (exp a)) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (exp a) (fma (- (exp b)) (exp b) (exp (+ a a)))) (expm1 (+ (exp a) (exp b))) (log1p (+ (exp a) (exp b))) (exp (+ (exp a) (exp b))) (log (+ (exp a) (exp b))) (exp (+ (exp a) (exp b))) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b))) (pow (+ (exp a) (exp b)) 3) (sqrt (+ (exp a) (exp b))) (sqrt (+ (exp a) (exp b))) (+ (pow (exp a) 3) (pow (exp b) 3)) (fma (exp b) (- (exp b) (exp a)) (exp (+ a a))) (fma (- (exp b)) (exp b) (exp (+ a a))) (- (exp a) (exp b)) (+ (exp a) (exp b)) (fma 1/4 (- a b) 1/2) (/ (exp a) (+ (exp b) (exp a))) (/ (exp a) (+ (exp b) (exp a))) (+ a (+ b 2)) (+ (exp a) (exp b)) (+ (exp a) (exp b)) 0.202 * * * [progress]: adding candidates to table 0.321 * * [progress]: iteration 2 / 4 0.321 * * * [progress]: picking best candidate 0.327 * * * * [pick]: Picked # 0.327 * * * [progress]: localizing error 0.342 * * * [progress]: generating rewritten candidates 0.343 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.350 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 0.513 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 0.545 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 0.559 * * * [progress]: generating series expansions 0.559 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.559 * [approximate]: Taking taylor expansion of (- (pow (exp b) 2) (* (exp b) (exp a))) in (b a) around 0 0.559 * [taylor]: Taking taylor expansion of (- (pow (exp b) 2) (* (exp b) (exp a))) in a 0.559 * [taylor]: Taking taylor expansion of (pow (exp b) 2) in a 0.559 * [taylor]: Taking taylor expansion of (exp b) in a 0.560 * [taylor]: Taking taylor expansion of b in a 0.560 * [taylor]: Taking taylor expansion of (* (exp b) (exp a)) in a 0.560 * [taylor]: Taking taylor expansion of (exp b) in a 0.560 * [taylor]: Taking taylor expansion of b in a 0.560 * [taylor]: Taking taylor expansion of (exp a) in a 0.560 * [taylor]: Taking taylor expansion of a in a 0.560 * [taylor]: Taking taylor expansion of (- (pow (exp b) 2) (* (exp b) (exp a))) in b 0.560 * [taylor]: Taking taylor expansion of (pow (exp b) 2) in b 0.560 * [taylor]: Taking taylor expansion of (exp b) in b 0.560 * [taylor]: Taking taylor expansion of b in b 0.560 * [taylor]: Taking taylor expansion of (* (exp b) (exp a)) in b 0.560 * [taylor]: Taking taylor expansion of (exp b) in b 0.560 * [taylor]: Taking taylor expansion of b in b 0.560 * [taylor]: Taking taylor expansion of (exp a) in b 0.560 * [taylor]: Taking taylor expansion of a in b 0.560 * [taylor]: Taking taylor expansion of (- (pow (exp b) 2) (* (exp b) (exp a))) in b 0.560 * [taylor]: Taking taylor expansion of (pow (exp b) 2) in b 0.560 * [taylor]: Taking taylor expansion of (exp b) in b 0.560 * [taylor]: Taking taylor expansion of b in b 0.560 * [taylor]: Taking taylor expansion of (* (exp b) (exp a)) in b 0.560 * [taylor]: Taking taylor expansion of (exp b) in b 0.560 * [taylor]: Taking taylor expansion of b in b 0.560 * [taylor]: Taking taylor expansion of (exp a) in b 0.560 * [taylor]: Taking taylor expansion of a in b 0.561 * [taylor]: Taking taylor expansion of (- 1 (exp a)) in a 0.561 * [taylor]: Taking taylor expansion of 1 in a 0.561 * [taylor]: Taking taylor expansion of (exp a) in a 0.561 * [taylor]: Taking taylor expansion of a in a 0.564 * [taylor]: Taking taylor expansion of (- 2 (exp a)) in a 0.564 * [taylor]: Taking taylor expansion of 2 in a 0.564 * [taylor]: Taking taylor expansion of (exp a) in a 0.564 * [taylor]: Taking taylor expansion of a in a 0.569 * [taylor]: Taking taylor expansion of (- 2 (* 1/2 (exp a))) in a 0.569 * [taylor]: Taking taylor expansion of 2 in a 0.569 * [taylor]: Taking taylor expansion of (* 1/2 (exp a)) in a 0.569 * [taylor]: Taking taylor expansion of 1/2 in a 0.569 * [taylor]: Taking taylor expansion of (exp a) in a 0.569 * [taylor]: Taking taylor expansion of a in a 0.570 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 b)) 2) (* (exp (/ 1 b)) (exp (/ 1 a)))) in (b a) around 0 0.570 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 b)) 2) (* (exp (/ 1 b)) (exp (/ 1 a)))) in a 0.570 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 2) in a 0.570 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.570 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.570 * [taylor]: Taking taylor expansion of b in a 0.570 * [taylor]: Taking taylor expansion of (* (exp (/ 1 b)) (exp (/ 1 a))) in a 0.570 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.570 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.570 * [taylor]: Taking taylor expansion of b in a 0.570 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.570 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.570 * [taylor]: Taking taylor expansion of a in a 0.571 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 b)) 2) (* (exp (/ 1 b)) (exp (/ 1 a)))) in b 0.571 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 2) in b 0.571 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.571 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.571 * [taylor]: Taking taylor expansion of b in b 0.571 * [taylor]: Taking taylor expansion of (* (exp (/ 1 b)) (exp (/ 1 a))) in b 0.571 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.571 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.571 * [taylor]: Taking taylor expansion of b in b 0.572 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.572 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.572 * [taylor]: Taking taylor expansion of a in b 0.572 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 b)) 2) (* (exp (/ 1 b)) (exp (/ 1 a)))) in b 0.572 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 2) in b 0.572 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.572 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.572 * [taylor]: Taking taylor expansion of b in b 0.572 * [taylor]: Taking taylor expansion of (* (exp (/ 1 b)) (exp (/ 1 a))) in b 0.572 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.572 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.572 * [taylor]: Taking taylor expansion of b in b 0.572 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.572 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.572 * [taylor]: Taking taylor expansion of a in b 0.573 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 b)) 2) (* (exp (/ 1 b)) (exp (/ 1 a)))) in a 0.573 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 2) in a 0.573 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.573 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.573 * [taylor]: Taking taylor expansion of b in a 0.573 * [taylor]: Taking taylor expansion of (* (exp (/ 1 b)) (exp (/ 1 a))) in a 0.573 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.573 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.573 * [taylor]: Taking taylor expansion of b in a 0.573 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.573 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.573 * [taylor]: Taking taylor expansion of a in a 0.575 * [taylor]: Taking taylor expansion of 0 in a 0.579 * [taylor]: Taking taylor expansion of 0 in a 0.584 * [taylor]: Taking taylor expansion of 0 in a 0.585 * [approximate]: Taking taylor expansion of (- (pow (exp (/ -1 b)) 2) (* (exp (/ -1 b)) (exp (/ -1 a)))) in (b a) around 0 0.585 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 b)) 2) (* (exp (/ -1 b)) (exp (/ -1 a)))) in a 0.585 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 2) in a 0.585 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.585 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.585 * [taylor]: Taking taylor expansion of -1 in a 0.585 * [taylor]: Taking taylor expansion of b in a 0.585 * [taylor]: Taking taylor expansion of (* (exp (/ -1 b)) (exp (/ -1 a))) in a 0.585 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.585 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.585 * [taylor]: Taking taylor expansion of -1 in a 0.585 * [taylor]: Taking taylor expansion of b in a 0.585 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.585 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.585 * [taylor]: Taking taylor expansion of -1 in a 0.585 * [taylor]: Taking taylor expansion of a in a 0.586 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 b)) 2) (* (exp (/ -1 b)) (exp (/ -1 a)))) in b 0.586 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 2) in b 0.586 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.586 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.586 * [taylor]: Taking taylor expansion of -1 in b 0.586 * [taylor]: Taking taylor expansion of b in b 0.586 * [taylor]: Taking taylor expansion of (* (exp (/ -1 b)) (exp (/ -1 a))) in b 0.586 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.586 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.586 * [taylor]: Taking taylor expansion of -1 in b 0.586 * [taylor]: Taking taylor expansion of b in b 0.586 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.586 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.586 * [taylor]: Taking taylor expansion of -1 in b 0.586 * [taylor]: Taking taylor expansion of a in b 0.587 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 b)) 2) (* (exp (/ -1 b)) (exp (/ -1 a)))) in b 0.587 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 2) in b 0.587 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.587 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.587 * [taylor]: Taking taylor expansion of -1 in b 0.587 * [taylor]: Taking taylor expansion of b in b 0.587 * [taylor]: Taking taylor expansion of (* (exp (/ -1 b)) (exp (/ -1 a))) in b 0.587 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.587 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.587 * [taylor]: Taking taylor expansion of -1 in b 0.587 * [taylor]: Taking taylor expansion of b in b 0.587 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.587 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.587 * [taylor]: Taking taylor expansion of -1 in b 0.587 * [taylor]: Taking taylor expansion of a in b 0.588 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 b)) 2) (* (exp (/ -1 b)) (exp (/ -1 a)))) in a 0.588 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 2) in a 0.588 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.588 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.588 * [taylor]: Taking taylor expansion of -1 in a 0.588 * [taylor]: Taking taylor expansion of b in a 0.588 * [taylor]: Taking taylor expansion of (* (exp (/ -1 b)) (exp (/ -1 a))) in a 0.588 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.588 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.588 * [taylor]: Taking taylor expansion of -1 in a 0.588 * [taylor]: Taking taylor expansion of b in a 0.588 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.588 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.588 * [taylor]: Taking taylor expansion of -1 in a 0.588 * [taylor]: Taking taylor expansion of a in a 0.590 * [taylor]: Taking taylor expansion of 0 in a 0.594 * [taylor]: Taking taylor expansion of 0 in a 0.600 * [taylor]: Taking taylor expansion of 0 in a 0.600 * * * * [progress]: [ 2 / 4 ] generating series at (2) 0.601 * [approximate]: Taking taylor expansion of (/ (* (- (+ (pow (exp b) 2) (pow (exp a) 2)) (* (exp b) (exp a))) (exp a)) (+ (pow (exp b) 3) (pow (exp a) 3))) in (a b) around 0 0.601 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow (exp b) 2) (pow (exp a) 2)) (* (exp b) (exp a))) (exp a)) (+ (pow (exp b) 3) (pow (exp a) 3))) in b 0.601 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp b) 2) (pow (exp a) 2)) (* (exp b) (exp a))) (exp a)) in b 0.601 * [taylor]: Taking taylor expansion of (- (+ (pow (exp b) 2) (pow (exp a) 2)) (* (exp b) (exp a))) in b 0.601 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 2) (pow (exp a) 2)) in b 0.601 * [taylor]: Taking taylor expansion of (pow (exp b) 2) in b 0.601 * [taylor]: Taking taylor expansion of (exp b) in b 0.601 * [taylor]: Taking taylor expansion of b in b 0.601 * [taylor]: Taking taylor expansion of (pow (exp a) 2) in b 0.601 * [taylor]: Taking taylor expansion of (exp a) in b 0.601 * [taylor]: Taking taylor expansion of a in b 0.601 * [taylor]: Taking taylor expansion of (* (exp b) (exp a)) in b 0.601 * [taylor]: Taking taylor expansion of (exp b) in b 0.601 * [taylor]: Taking taylor expansion of b in b 0.601 * [taylor]: Taking taylor expansion of (exp a) in b 0.601 * [taylor]: Taking taylor expansion of a in b 0.601 * [taylor]: Taking taylor expansion of (exp a) in b 0.601 * [taylor]: Taking taylor expansion of a in b 0.601 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) (pow (exp a) 3)) in b 0.601 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 0.601 * [taylor]: Taking taylor expansion of (exp b) in b 0.601 * [taylor]: Taking taylor expansion of b in b 0.601 * [taylor]: Taking taylor expansion of (pow (exp a) 3) in b 0.601 * [taylor]: Taking taylor expansion of (exp a) in b 0.601 * [taylor]: Taking taylor expansion of a in b 0.603 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow (exp b) 2) (pow (exp a) 2)) (* (exp b) (exp a))) (exp a)) (+ (pow (exp b) 3) (pow (exp a) 3))) in a 0.603 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp b) 2) (pow (exp a) 2)) (* (exp b) (exp a))) (exp a)) in a 0.603 * [taylor]: Taking taylor expansion of (- (+ (pow (exp b) 2) (pow (exp a) 2)) (* (exp b) (exp a))) in a 0.603 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 2) (pow (exp a) 2)) in a 0.603 * [taylor]: Taking taylor expansion of (pow (exp b) 2) in a 0.603 * [taylor]: Taking taylor expansion of (exp b) in a 0.603 * [taylor]: Taking taylor expansion of b in a 0.603 * [taylor]: Taking taylor expansion of (pow (exp a) 2) in a 0.603 * [taylor]: Taking taylor expansion of (exp a) in a 0.603 * [taylor]: Taking taylor expansion of a in a 0.603 * [taylor]: Taking taylor expansion of (* (exp b) (exp a)) in a 0.603 * [taylor]: Taking taylor expansion of (exp b) in a 0.603 * [taylor]: Taking taylor expansion of b in a 0.603 * [taylor]: Taking taylor expansion of (exp a) in a 0.603 * [taylor]: Taking taylor expansion of a in a 0.603 * [taylor]: Taking taylor expansion of (exp a) in a 0.603 * [taylor]: Taking taylor expansion of a in a 0.603 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) (pow (exp a) 3)) in a 0.603 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in a 0.603 * [taylor]: Taking taylor expansion of (exp b) in a 0.603 * [taylor]: Taking taylor expansion of b in a 0.603 * [taylor]: Taking taylor expansion of (pow (exp a) 3) in a 0.603 * [taylor]: Taking taylor expansion of (exp a) in a 0.603 * [taylor]: Taking taylor expansion of a in a 0.605 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow (exp b) 2) (pow (exp a) 2)) (* (exp b) (exp a))) (exp a)) (+ (pow (exp b) 3) (pow (exp a) 3))) in a 0.605 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp b) 2) (pow (exp a) 2)) (* (exp b) (exp a))) (exp a)) in a 0.605 * [taylor]: Taking taylor expansion of (- (+ (pow (exp b) 2) (pow (exp a) 2)) (* (exp b) (exp a))) in a 0.605 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 2) (pow (exp a) 2)) in a 0.605 * [taylor]: Taking taylor expansion of (pow (exp b) 2) in a 0.605 * [taylor]: Taking taylor expansion of (exp b) in a 0.605 * [taylor]: Taking taylor expansion of b in a 0.605 * [taylor]: Taking taylor expansion of (pow (exp a) 2) in a 0.605 * [taylor]: Taking taylor expansion of (exp a) in a 0.605 * [taylor]: Taking taylor expansion of a in a 0.605 * [taylor]: Taking taylor expansion of (* (exp b) (exp a)) in a 0.605 * [taylor]: Taking taylor expansion of (exp b) in a 0.605 * [taylor]: Taking taylor expansion of b in a 0.605 * [taylor]: Taking taylor expansion of (exp a) in a 0.605 * [taylor]: Taking taylor expansion of a in a 0.605 * [taylor]: Taking taylor expansion of (exp a) in a 0.605 * [taylor]: Taking taylor expansion of a in a 0.605 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) (pow (exp a) 3)) in a 0.605 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in a 0.605 * [taylor]: Taking taylor expansion of (exp b) in a 0.605 * [taylor]: Taking taylor expansion of b in a 0.605 * [taylor]: Taking taylor expansion of (pow (exp a) 3) in a 0.605 * [taylor]: Taking taylor expansion of (exp a) in a 0.605 * [taylor]: Taking taylor expansion of a in a 0.607 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp b) 2) 1) (exp b)) (+ (pow (exp b) 3) 1)) in b 0.607 * [taylor]: Taking taylor expansion of (- (+ (pow (exp b) 2) 1) (exp b)) in b 0.607 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 2) 1) in b 0.607 * [taylor]: Taking taylor expansion of (pow (exp b) 2) in b 0.607 * [taylor]: Taking taylor expansion of (exp b) in b 0.607 * [taylor]: Taking taylor expansion of b in b 0.607 * [taylor]: Taking taylor expansion of 1 in b 0.607 * [taylor]: Taking taylor expansion of (exp b) in b 0.607 * [taylor]: Taking taylor expansion of b in b 0.607 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 0.607 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 0.607 * [taylor]: Taking taylor expansion of (exp b) in b 0.607 * [taylor]: Taking taylor expansion of b in b 0.607 * [taylor]: Taking taylor expansion of 1 in b 0.618 * [taylor]: Taking taylor expansion of (- (+ (/ (pow (exp b) 2) (+ (pow (exp b) 3) 1)) (+ (* 3 (/ (exp b) (pow (+ (pow (exp b) 3) 1) 2))) (* 3 (/ 1 (+ (pow (exp b) 3) 1))))) (+ (* 3 (/ 1 (pow (+ (pow (exp b) 3) 1) 2))) (+ (* 2 (/ (exp b) (+ (pow (exp b) 3) 1))) (* 3 (/ (pow (exp b) 2) (pow (+ (pow (exp b) 3) 1) 2)))))) in b 0.619 * [taylor]: Taking taylor expansion of (+ (/ (pow (exp b) 2) (+ (pow (exp b) 3) 1)) (+ (* 3 (/ (exp b) (pow (+ (pow (exp b) 3) 1) 2))) (* 3 (/ 1 (+ (pow (exp b) 3) 1))))) in b 0.619 * [taylor]: Taking taylor expansion of (/ (pow (exp b) 2) (+ (pow (exp b) 3) 1)) in b 0.619 * [taylor]: Taking taylor expansion of (pow (exp b) 2) in b 0.619 * [taylor]: Taking taylor expansion of (exp b) in b 0.619 * [taylor]: Taking taylor expansion of b in b 0.619 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 0.619 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 0.619 * [taylor]: Taking taylor expansion of (exp b) in b 0.619 * [taylor]: Taking taylor expansion of b in b 0.619 * [taylor]: Taking taylor expansion of 1 in b 0.620 * [taylor]: Taking taylor expansion of (+ (* 3 (/ (exp b) (pow (+ (pow (exp b) 3) 1) 2))) (* 3 (/ 1 (+ (pow (exp b) 3) 1)))) in b 0.620 * [taylor]: Taking taylor expansion of (* 3 (/ (exp b) (pow (+ (pow (exp b) 3) 1) 2))) in b 0.620 * [taylor]: Taking taylor expansion of 3 in b 0.620 * [taylor]: Taking taylor expansion of (/ (exp b) (pow (+ (pow (exp b) 3) 1) 2)) in b 0.620 * [taylor]: Taking taylor expansion of (exp b) in b 0.620 * [taylor]: Taking taylor expansion of b in b 0.620 * [taylor]: Taking taylor expansion of (pow (+ (pow (exp b) 3) 1) 2) in b 0.620 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 0.620 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 0.620 * [taylor]: Taking taylor expansion of (exp b) in b 0.620 * [taylor]: Taking taylor expansion of b in b 0.620 * [taylor]: Taking taylor expansion of 1 in b 0.621 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (+ (pow (exp b) 3) 1))) in b 0.621 * [taylor]: Taking taylor expansion of 3 in b 0.621 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (exp b) 3) 1)) in b 0.621 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 0.622 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 0.622 * [taylor]: Taking taylor expansion of (exp b) in b 0.622 * [taylor]: Taking taylor expansion of b in b 0.622 * [taylor]: Taking taylor expansion of 1 in b 0.622 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow (+ (pow (exp b) 3) 1) 2))) (+ (* 2 (/ (exp b) (+ (pow (exp b) 3) 1))) (* 3 (/ (pow (exp b) 2) (pow (+ (pow (exp b) 3) 1) 2))))) in b 0.623 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow (+ (pow (exp b) 3) 1) 2))) in b 0.623 * [taylor]: Taking taylor expansion of 3 in b 0.623 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (pow (exp b) 3) 1) 2)) in b 0.623 * [taylor]: Taking taylor expansion of (pow (+ (pow (exp b) 3) 1) 2) in b 0.623 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 0.623 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 0.623 * [taylor]: Taking taylor expansion of (exp b) in b 0.623 * [taylor]: Taking taylor expansion of b in b 0.623 * [taylor]: Taking taylor expansion of 1 in b 0.624 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (exp b) (+ (pow (exp b) 3) 1))) (* 3 (/ (pow (exp b) 2) (pow (+ (pow (exp b) 3) 1) 2)))) in b 0.624 * [taylor]: Taking taylor expansion of (* 2 (/ (exp b) (+ (pow (exp b) 3) 1))) in b 0.624 * [taylor]: Taking taylor expansion of 2 in b 0.624 * [taylor]: Taking taylor expansion of (/ (exp b) (+ (pow (exp b) 3) 1)) in b 0.624 * [taylor]: Taking taylor expansion of (exp b) in b 0.624 * [taylor]: Taking taylor expansion of b in b 0.624 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 0.624 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 0.624 * [taylor]: Taking taylor expansion of (exp b) in b 0.624 * [taylor]: Taking taylor expansion of b in b 0.624 * [taylor]: Taking taylor expansion of 1 in b 0.625 * [taylor]: Taking taylor expansion of (* 3 (/ (pow (exp b) 2) (pow (+ (pow (exp b) 3) 1) 2))) in b 0.625 * [taylor]: Taking taylor expansion of 3 in b 0.625 * [taylor]: Taking taylor expansion of (/ (pow (exp b) 2) (pow (+ (pow (exp b) 3) 1) 2)) in b 0.625 * [taylor]: Taking taylor expansion of (pow (exp b) 2) in b 0.625 * [taylor]: Taking taylor expansion of (exp b) in b 0.625 * [taylor]: Taking taylor expansion of b in b 0.625 * [taylor]: Taking taylor expansion of (pow (+ (pow (exp b) 3) 1) 2) in b 0.625 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 0.625 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 0.625 * [taylor]: Taking taylor expansion of (exp b) in b 0.625 * [taylor]: Taking taylor expansion of b in b 0.625 * [taylor]: Taking taylor expansion of 1 in b 0.634 * [approximate]: Taking taylor expansion of (/ (* (- (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) (* (exp (/ 1 b)) (exp (/ 1 a)))) (exp (/ 1 a))) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))) in (a b) around 0 0.634 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) (* (exp (/ 1 b)) (exp (/ 1 a)))) (exp (/ 1 a))) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))) in b 0.634 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) (* (exp (/ 1 b)) (exp (/ 1 a)))) (exp (/ 1 a))) in b 0.634 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) (* (exp (/ 1 b)) (exp (/ 1 a)))) in b 0.634 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) in b 0.634 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 2) in b 0.634 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.634 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.634 * [taylor]: Taking taylor expansion of a in b 0.634 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 2) in b 0.634 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.634 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.634 * [taylor]: Taking taylor expansion of b in b 0.634 * [taylor]: Taking taylor expansion of (* (exp (/ 1 b)) (exp (/ 1 a))) in b 0.634 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.634 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.635 * [taylor]: Taking taylor expansion of b in b 0.635 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.635 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.635 * [taylor]: Taking taylor expansion of a in b 0.635 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.635 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.635 * [taylor]: Taking taylor expansion of a in b 0.635 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)) in b 0.635 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 3) in b 0.635 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.635 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.635 * [taylor]: Taking taylor expansion of a in b 0.635 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 3) in b 0.635 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.635 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.635 * [taylor]: Taking taylor expansion of b in b 0.637 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) (* (exp (/ 1 b)) (exp (/ 1 a)))) (exp (/ 1 a))) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))) in a 0.637 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) (* (exp (/ 1 b)) (exp (/ 1 a)))) (exp (/ 1 a))) in a 0.637 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) (* (exp (/ 1 b)) (exp (/ 1 a)))) in a 0.637 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) in a 0.637 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 2) in a 0.637 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.637 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.638 * [taylor]: Taking taylor expansion of a in a 0.638 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 2) in a 0.638 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.638 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.638 * [taylor]: Taking taylor expansion of b in a 0.638 * [taylor]: Taking taylor expansion of (* (exp (/ 1 b)) (exp (/ 1 a))) in a 0.638 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.638 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.638 * [taylor]: Taking taylor expansion of b in a 0.638 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.638 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.638 * [taylor]: Taking taylor expansion of a in a 0.638 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.638 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.638 * [taylor]: Taking taylor expansion of a in a 0.639 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)) in a 0.639 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 3) in a 0.639 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.639 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.639 * [taylor]: Taking taylor expansion of a in a 0.639 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 3) in a 0.639 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.639 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.639 * [taylor]: Taking taylor expansion of b in a 0.641 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) (* (exp (/ 1 b)) (exp (/ 1 a)))) (exp (/ 1 a))) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))) in a 0.641 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) (* (exp (/ 1 b)) (exp (/ 1 a)))) (exp (/ 1 a))) in a 0.641 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) (* (exp (/ 1 b)) (exp (/ 1 a)))) in a 0.641 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) in a 0.641 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 2) in a 0.641 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.641 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.641 * [taylor]: Taking taylor expansion of a in a 0.642 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 2) in a 0.642 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.642 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.642 * [taylor]: Taking taylor expansion of b in a 0.642 * [taylor]: Taking taylor expansion of (* (exp (/ 1 b)) (exp (/ 1 a))) in a 0.642 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.642 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.642 * [taylor]: Taking taylor expansion of b in a 0.642 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.642 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.642 * [taylor]: Taking taylor expansion of a in a 0.642 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.642 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.642 * [taylor]: Taking taylor expansion of a in a 0.643 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)) in a 0.643 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 3) in a 0.643 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.643 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.643 * [taylor]: Taking taylor expansion of a in a 0.643 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 3) in a 0.643 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.643 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.643 * [taylor]: Taking taylor expansion of b in a 0.645 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) (* (exp (/ 1 b)) (exp (/ 1 a)))) (exp (/ 1 a))) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))) in b 0.645 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) (* (exp (/ 1 b)) (exp (/ 1 a)))) (exp (/ 1 a))) in b 0.645 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) (* (exp (/ 1 b)) (exp (/ 1 a)))) in b 0.645 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) in b 0.645 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 2) in b 0.645 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.645 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.645 * [taylor]: Taking taylor expansion of a in b 0.645 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 2) in b 0.645 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.645 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.645 * [taylor]: Taking taylor expansion of b in b 0.646 * [taylor]: Taking taylor expansion of (* (exp (/ 1 b)) (exp (/ 1 a))) in b 0.646 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.646 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.646 * [taylor]: Taking taylor expansion of b in b 0.646 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.646 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.646 * [taylor]: Taking taylor expansion of a in b 0.646 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.646 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.646 * [taylor]: Taking taylor expansion of a in b 0.646 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)) in b 0.646 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 3) in b 0.646 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.646 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.646 * [taylor]: Taking taylor expansion of a in b 0.646 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 3) in b 0.646 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.646 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.646 * [taylor]: Taking taylor expansion of b in b 0.654 * [taylor]: Taking taylor expansion of 0 in b 0.666 * [taylor]: Taking taylor expansion of 0 in b 0.685 * [taylor]: Taking taylor expansion of 0 in b 0.686 * [approximate]: Taking taylor expansion of (/ (* (- (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) (* (exp (/ -1 b)) (exp (/ -1 a)))) (exp (/ -1 a))) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))) in (a b) around 0 0.686 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) (* (exp (/ -1 b)) (exp (/ -1 a)))) (exp (/ -1 a))) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))) in b 0.686 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) (* (exp (/ -1 b)) (exp (/ -1 a)))) (exp (/ -1 a))) in b 0.686 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) (* (exp (/ -1 b)) (exp (/ -1 a)))) in b 0.686 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) in b 0.686 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 2) in b 0.686 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.686 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.686 * [taylor]: Taking taylor expansion of -1 in b 0.686 * [taylor]: Taking taylor expansion of b in b 0.686 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 2) in b 0.686 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.686 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.686 * [taylor]: Taking taylor expansion of -1 in b 0.686 * [taylor]: Taking taylor expansion of a in b 0.686 * [taylor]: Taking taylor expansion of (* (exp (/ -1 b)) (exp (/ -1 a))) in b 0.686 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.686 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.687 * [taylor]: Taking taylor expansion of -1 in b 0.687 * [taylor]: Taking taylor expansion of b in b 0.687 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.687 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.687 * [taylor]: Taking taylor expansion of -1 in b 0.687 * [taylor]: Taking taylor expansion of a in b 0.687 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.687 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.687 * [taylor]: Taking taylor expansion of -1 in b 0.687 * [taylor]: Taking taylor expansion of a in b 0.687 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)) in b 0.687 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 3) in b 0.687 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.687 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.687 * [taylor]: Taking taylor expansion of -1 in b 0.687 * [taylor]: Taking taylor expansion of a in b 0.687 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 3) in b 0.687 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.687 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.687 * [taylor]: Taking taylor expansion of -1 in b 0.687 * [taylor]: Taking taylor expansion of b in b 0.689 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) (* (exp (/ -1 b)) (exp (/ -1 a)))) (exp (/ -1 a))) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))) in a 0.690 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) (* (exp (/ -1 b)) (exp (/ -1 a)))) (exp (/ -1 a))) in a 0.690 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) (* (exp (/ -1 b)) (exp (/ -1 a)))) in a 0.690 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) in a 0.690 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 2) in a 0.690 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.690 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.690 * [taylor]: Taking taylor expansion of -1 in a 0.690 * [taylor]: Taking taylor expansion of b in a 0.690 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 2) in a 0.690 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.690 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.690 * [taylor]: Taking taylor expansion of -1 in a 0.690 * [taylor]: Taking taylor expansion of a in a 0.690 * [taylor]: Taking taylor expansion of (* (exp (/ -1 b)) (exp (/ -1 a))) in a 0.690 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.690 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.690 * [taylor]: Taking taylor expansion of -1 in a 0.690 * [taylor]: Taking taylor expansion of b in a 0.690 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.690 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.690 * [taylor]: Taking taylor expansion of -1 in a 0.690 * [taylor]: Taking taylor expansion of a in a 0.691 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.691 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.691 * [taylor]: Taking taylor expansion of -1 in a 0.691 * [taylor]: Taking taylor expansion of a in a 0.691 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)) in a 0.691 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 3) in a 0.691 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.691 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.691 * [taylor]: Taking taylor expansion of -1 in a 0.691 * [taylor]: Taking taylor expansion of a in a 0.691 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 3) in a 0.691 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.691 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.692 * [taylor]: Taking taylor expansion of -1 in a 0.692 * [taylor]: Taking taylor expansion of b in a 0.693 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) (* (exp (/ -1 b)) (exp (/ -1 a)))) (exp (/ -1 a))) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))) in a 0.694 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) (* (exp (/ -1 b)) (exp (/ -1 a)))) (exp (/ -1 a))) in a 0.694 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) (* (exp (/ -1 b)) (exp (/ -1 a)))) in a 0.694 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) in a 0.694 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 2) in a 0.694 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.694 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.694 * [taylor]: Taking taylor expansion of -1 in a 0.694 * [taylor]: Taking taylor expansion of b in a 0.694 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 2) in a 0.694 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.694 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.694 * [taylor]: Taking taylor expansion of -1 in a 0.694 * [taylor]: Taking taylor expansion of a in a 0.694 * [taylor]: Taking taylor expansion of (* (exp (/ -1 b)) (exp (/ -1 a))) in a 0.694 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.694 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.694 * [taylor]: Taking taylor expansion of -1 in a 0.694 * [taylor]: Taking taylor expansion of b in a 0.694 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.694 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.694 * [taylor]: Taking taylor expansion of -1 in a 0.694 * [taylor]: Taking taylor expansion of a in a 0.695 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.695 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.695 * [taylor]: Taking taylor expansion of -1 in a 0.695 * [taylor]: Taking taylor expansion of a in a 0.695 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)) in a 0.695 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 3) in a 0.695 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.695 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.695 * [taylor]: Taking taylor expansion of -1 in a 0.695 * [taylor]: Taking taylor expansion of a in a 0.695 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 3) in a 0.695 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.695 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.696 * [taylor]: Taking taylor expansion of -1 in a 0.696 * [taylor]: Taking taylor expansion of b in a 0.698 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) (* (exp (/ -1 b)) (exp (/ -1 a)))) (exp (/ -1 a))) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))) in b 0.698 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) (* (exp (/ -1 b)) (exp (/ -1 a)))) (exp (/ -1 a))) in b 0.698 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) (* (exp (/ -1 b)) (exp (/ -1 a)))) in b 0.698 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) in b 0.698 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 2) in b 0.698 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.698 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.698 * [taylor]: Taking taylor expansion of -1 in b 0.698 * [taylor]: Taking taylor expansion of b in b 0.698 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 2) in b 0.698 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.698 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.698 * [taylor]: Taking taylor expansion of -1 in b 0.698 * [taylor]: Taking taylor expansion of a in b 0.698 * [taylor]: Taking taylor expansion of (* (exp (/ -1 b)) (exp (/ -1 a))) in b 0.698 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.698 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.698 * [taylor]: Taking taylor expansion of -1 in b 0.698 * [taylor]: Taking taylor expansion of b in b 0.699 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.699 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.699 * [taylor]: Taking taylor expansion of -1 in b 0.699 * [taylor]: Taking taylor expansion of a in b 0.699 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.699 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.699 * [taylor]: Taking taylor expansion of -1 in b 0.699 * [taylor]: Taking taylor expansion of a in b 0.699 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)) in b 0.699 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 3) in b 0.699 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.699 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.699 * [taylor]: Taking taylor expansion of -1 in b 0.699 * [taylor]: Taking taylor expansion of a in b 0.699 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 3) in b 0.699 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.699 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.699 * [taylor]: Taking taylor expansion of -1 in b 0.699 * [taylor]: Taking taylor expansion of b in b 0.707 * [taylor]: Taking taylor expansion of 0 in b 0.722 * [taylor]: Taking taylor expansion of 0 in b 0.740 * [taylor]: Taking taylor expansion of 0 in b 0.740 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 0.741 * [approximate]: Taking taylor expansion of (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))) in (a b) around 0 0.741 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))) in b 0.741 * [taylor]: Taking taylor expansion of (exp a) in b 0.741 * [taylor]: Taking taylor expansion of a in b 0.741 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) (pow (exp a) 3)) in b 0.741 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 0.741 * [taylor]: Taking taylor expansion of (exp b) in b 0.741 * [taylor]: Taking taylor expansion of b in b 0.741 * [taylor]: Taking taylor expansion of (pow (exp a) 3) in b 0.741 * [taylor]: Taking taylor expansion of (exp a) in b 0.741 * [taylor]: Taking taylor expansion of a in b 0.742 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))) in a 0.742 * [taylor]: Taking taylor expansion of (exp a) in a 0.742 * [taylor]: Taking taylor expansion of a in a 0.742 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) (pow (exp a) 3)) in a 0.742 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in a 0.742 * [taylor]: Taking taylor expansion of (exp b) in a 0.742 * [taylor]: Taking taylor expansion of b in a 0.742 * [taylor]: Taking taylor expansion of (pow (exp a) 3) in a 0.742 * [taylor]: Taking taylor expansion of (exp a) in a 0.742 * [taylor]: Taking taylor expansion of a in a 0.743 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))) in a 0.743 * [taylor]: Taking taylor expansion of (exp a) in a 0.743 * [taylor]: Taking taylor expansion of a in a 0.743 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) (pow (exp a) 3)) in a 0.743 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in a 0.743 * [taylor]: Taking taylor expansion of (exp b) in a 0.743 * [taylor]: Taking taylor expansion of b in a 0.743 * [taylor]: Taking taylor expansion of (pow (exp a) 3) in a 0.743 * [taylor]: Taking taylor expansion of (exp a) in a 0.743 * [taylor]: Taking taylor expansion of a in a 0.744 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (exp b) 3) 1)) in b 0.744 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 0.744 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 0.744 * [taylor]: Taking taylor expansion of (exp b) in b 0.744 * [taylor]: Taking taylor expansion of b in b 0.744 * [taylor]: Taking taylor expansion of 1 in b 0.748 * [taylor]: Taking taylor expansion of (- (/ 1 (+ (pow (exp b) 3) 1)) (* 3 (/ 1 (pow (+ (pow (exp b) 3) 1) 2)))) in b 0.748 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (exp b) 3) 1)) in b 0.748 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 0.748 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 0.748 * [taylor]: Taking taylor expansion of (exp b) in b 0.748 * [taylor]: Taking taylor expansion of b in b 0.748 * [taylor]: Taking taylor expansion of 1 in b 0.749 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow (+ (pow (exp b) 3) 1) 2))) in b 0.749 * [taylor]: Taking taylor expansion of 3 in b 0.749 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (pow (exp b) 3) 1) 2)) in b 0.749 * [taylor]: Taking taylor expansion of (pow (+ (pow (exp b) 3) 1) 2) in b 0.749 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 0.749 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 0.749 * [taylor]: Taking taylor expansion of (exp b) in b 0.749 * [taylor]: Taking taylor expansion of b in b 0.749 * [taylor]: Taking taylor expansion of 1 in b 0.753 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))) in (a b) around 0 0.753 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))) in b 0.753 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.753 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.753 * [taylor]: Taking taylor expansion of a in b 0.753 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)) in b 0.753 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 3) in b 0.753 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.753 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.753 * [taylor]: Taking taylor expansion of a in b 0.753 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 3) in b 0.753 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.753 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.754 * [taylor]: Taking taylor expansion of b in b 0.754 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))) in a 0.754 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.755 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.755 * [taylor]: Taking taylor expansion of a in a 0.755 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)) in a 0.755 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 3) in a 0.755 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.755 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.755 * [taylor]: Taking taylor expansion of a in a 0.755 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 3) in a 0.755 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.755 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.755 * [taylor]: Taking taylor expansion of b in a 0.756 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))) in a 0.756 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.756 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.756 * [taylor]: Taking taylor expansion of a in a 0.756 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)) in a 0.756 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 3) in a 0.756 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.756 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.756 * [taylor]: Taking taylor expansion of a in a 0.757 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 3) in a 0.757 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.757 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.757 * [taylor]: Taking taylor expansion of b in a 0.758 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))) in b 0.758 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.758 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.758 * [taylor]: Taking taylor expansion of a in b 0.758 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)) in b 0.758 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 3) in b 0.758 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.758 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.758 * [taylor]: Taking taylor expansion of a in b 0.758 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 3) in b 0.758 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.758 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.758 * [taylor]: Taking taylor expansion of b in b 0.761 * [taylor]: Taking taylor expansion of 0 in b 0.766 * [taylor]: Taking taylor expansion of 0 in b 0.775 * [taylor]: Taking taylor expansion of 0 in b 0.776 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))) in (a b) around 0 0.776 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))) in b 0.776 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.776 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.776 * [taylor]: Taking taylor expansion of -1 in b 0.776 * [taylor]: Taking taylor expansion of a in b 0.776 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)) in b 0.776 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 3) in b 0.776 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.776 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.776 * [taylor]: Taking taylor expansion of -1 in b 0.776 * [taylor]: Taking taylor expansion of a in b 0.776 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 3) in b 0.776 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.776 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.776 * [taylor]: Taking taylor expansion of -1 in b 0.776 * [taylor]: Taking taylor expansion of b in b 0.777 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))) in a 0.777 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.777 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.777 * [taylor]: Taking taylor expansion of -1 in a 0.777 * [taylor]: Taking taylor expansion of a in a 0.777 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)) in a 0.777 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 3) in a 0.777 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.777 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.777 * [taylor]: Taking taylor expansion of -1 in a 0.777 * [taylor]: Taking taylor expansion of a in a 0.778 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 3) in a 0.778 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.778 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.778 * [taylor]: Taking taylor expansion of -1 in a 0.778 * [taylor]: Taking taylor expansion of b in a 0.779 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))) in a 0.779 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.779 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.779 * [taylor]: Taking taylor expansion of -1 in a 0.779 * [taylor]: Taking taylor expansion of a in a 0.779 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)) in a 0.779 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 3) in a 0.779 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.779 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.779 * [taylor]: Taking taylor expansion of -1 in a 0.779 * [taylor]: Taking taylor expansion of a in a 0.779 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 3) in a 0.779 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.779 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.779 * [taylor]: Taking taylor expansion of -1 in a 0.779 * [taylor]: Taking taylor expansion of b in a 0.780 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))) in b 0.780 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.780 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.780 * [taylor]: Taking taylor expansion of -1 in b 0.780 * [taylor]: Taking taylor expansion of a in b 0.780 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)) in b 0.780 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 3) in b 0.780 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.780 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.780 * [taylor]: Taking taylor expansion of -1 in b 0.780 * [taylor]: Taking taylor expansion of a in b 0.781 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 3) in b 0.781 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.781 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.781 * [taylor]: Taking taylor expansion of -1 in b 0.781 * [taylor]: Taking taylor expansion of b in b 0.784 * [taylor]: Taking taylor expansion of 0 in b 0.789 * [taylor]: Taking taylor expansion of 0 in b 0.798 * [taylor]: Taking taylor expansion of 0 in b 0.798 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 0.798 * [approximate]: Taking taylor expansion of (* (exp b) (exp a)) in (a b) around 0 0.798 * [taylor]: Taking taylor expansion of (* (exp b) (exp a)) in b 0.798 * [taylor]: Taking taylor expansion of (exp b) in b 0.798 * [taylor]: Taking taylor expansion of b in b 0.798 * [taylor]: Taking taylor expansion of (exp a) in b 0.798 * [taylor]: Taking taylor expansion of a in b 0.798 * [taylor]: Taking taylor expansion of (* (exp b) (exp a)) in a 0.798 * [taylor]: Taking taylor expansion of (exp b) in a 0.798 * [taylor]: Taking taylor expansion of b in a 0.798 * [taylor]: Taking taylor expansion of (exp a) in a 0.798 * [taylor]: Taking taylor expansion of a in a 0.799 * [taylor]: Taking taylor expansion of (* (exp b) (exp a)) in a 0.799 * [taylor]: Taking taylor expansion of (exp b) in a 0.799 * [taylor]: Taking taylor expansion of b in a 0.799 * [taylor]: Taking taylor expansion of (exp a) in a 0.799 * [taylor]: Taking taylor expansion of a in a 0.799 * [taylor]: Taking taylor expansion of (exp b) in b 0.799 * [taylor]: Taking taylor expansion of b in b 0.800 * [taylor]: Taking taylor expansion of (exp b) in b 0.800 * [taylor]: Taking taylor expansion of b in b 0.801 * [approximate]: Taking taylor expansion of (* (exp (/ 1 b)) (exp (/ 1 a))) in (a b) around 0 0.801 * [taylor]: Taking taylor expansion of (* (exp (/ 1 b)) (exp (/ 1 a))) in b 0.801 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.801 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.801 * [taylor]: Taking taylor expansion of b in b 0.801 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.801 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.801 * [taylor]: Taking taylor expansion of a in b 0.801 * [taylor]: Taking taylor expansion of (* (exp (/ 1 b)) (exp (/ 1 a))) in a 0.801 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.801 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.801 * [taylor]: Taking taylor expansion of b in a 0.801 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.801 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.801 * [taylor]: Taking taylor expansion of a in a 0.802 * [taylor]: Taking taylor expansion of (* (exp (/ 1 b)) (exp (/ 1 a))) in a 0.802 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.802 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.802 * [taylor]: Taking taylor expansion of b in a 0.802 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.802 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.802 * [taylor]: Taking taylor expansion of a in a 0.802 * [taylor]: Taking taylor expansion of (* (exp (/ 1 b)) (exp (/ 1 a))) in b 0.802 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.802 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.802 * [taylor]: Taking taylor expansion of b in b 0.803 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.803 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.803 * [taylor]: Taking taylor expansion of a in b 0.806 * [taylor]: Taking taylor expansion of 0 in b 0.808 * [taylor]: Taking taylor expansion of 0 in b 0.811 * [taylor]: Taking taylor expansion of 0 in b 0.811 * [approximate]: Taking taylor expansion of (* (exp (/ -1 b)) (exp (/ -1 a))) in (a b) around 0 0.811 * [taylor]: Taking taylor expansion of (* (exp (/ -1 b)) (exp (/ -1 a))) in b 0.811 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.811 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.811 * [taylor]: Taking taylor expansion of -1 in b 0.811 * [taylor]: Taking taylor expansion of b in b 0.811 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.811 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.811 * [taylor]: Taking taylor expansion of -1 in b 0.811 * [taylor]: Taking taylor expansion of a in b 0.811 * [taylor]: Taking taylor expansion of (* (exp (/ -1 b)) (exp (/ -1 a))) in a 0.811 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.811 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.811 * [taylor]: Taking taylor expansion of -1 in a 0.811 * [taylor]: Taking taylor expansion of b in a 0.811 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.811 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.811 * [taylor]: Taking taylor expansion of -1 in a 0.811 * [taylor]: Taking taylor expansion of a in a 0.812 * [taylor]: Taking taylor expansion of (* (exp (/ -1 b)) (exp (/ -1 a))) in a 0.812 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.812 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.812 * [taylor]: Taking taylor expansion of -1 in a 0.812 * [taylor]: Taking taylor expansion of b in a 0.812 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.812 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.812 * [taylor]: Taking taylor expansion of -1 in a 0.812 * [taylor]: Taking taylor expansion of a in a 0.812 * [taylor]: Taking taylor expansion of (* (exp (/ -1 b)) (exp (/ -1 a))) in b 0.812 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.812 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.812 * [taylor]: Taking taylor expansion of -1 in b 0.813 * [taylor]: Taking taylor expansion of b in b 0.813 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.813 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.813 * [taylor]: Taking taylor expansion of -1 in b 0.813 * [taylor]: Taking taylor expansion of a in b 0.814 * [taylor]: Taking taylor expansion of 0 in b 0.816 * [taylor]: Taking taylor expansion of 0 in b 0.818 * [taylor]: Taking taylor expansion of 0 in b 0.818 * * * [progress]: simplifying candidates 0.821 * [simplify]: Simplifying using # : (fma (exp b) (exp b) (- (* (exp b) (exp a)))) (fma (- (exp b)) (exp a) (* (exp b) (exp a))) (expm1 (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (log1p (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (- (* (exp a) (exp b))) (/ (exp (* (exp b) (exp b))) (exp (* (exp a) (exp b)))) (log (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (exp (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (* (cbrt (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (cbrt (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (cbrt (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (* (* (- (* (exp b) (exp b)) (* (exp a) (exp b))) (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (sqrt (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (sqrt (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (- (pow (* (exp b) (exp b)) 3) (pow (* (exp a) (exp b)) 3)) (+ (* (* (exp b) (exp b)) (* (exp b) (exp b))) (+ (* (* (exp a) (exp b)) (* (exp a) (exp b))) (* (* (exp b) (exp b)) (* (exp a) (exp b))))) (- (* (exp a) (exp b))) (- (* (* (exp b) (exp b)) (* (exp b) (exp b))) (* (* (exp a) (exp b)) (* (exp a) (exp b)))) (+ (* (exp b) (exp b)) (* (exp a) (exp b))) (- (exp b) (exp a)) (- (* (exp a) (exp b))) (expm1 (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (log1p (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (+ (- a (log (+ (pow (exp a) 3) (pow (exp b) 3)))) (log (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (+ (log (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (log (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (log (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (exp (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (* (/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (pow (exp a) 3) (pow (exp b) 3)) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (pow (exp a) 3) (pow (exp b) 3)))) (* (* (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (* (* (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (* (* (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (* (cbrt (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (cbrt (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))))) (cbrt (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (* (* (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (sqrt (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (sqrt (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (* (exp a) (+ (pow (* (exp a) (exp a)) 3) (pow (- (* (exp b) (exp b)) (* (exp a) (exp b))) 3))) (* (+ (pow (exp a) 3) (pow (exp b) 3)) (+ (* (* (exp a) (exp a)) (* (exp a) (exp a))) (- (* (- (* (exp b) (exp b)) (* (exp a) (exp b))) (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (* (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))))) (* (exp a) (- (* (* (exp a) (exp a)) (* (exp a) (exp a))) (* (- (* (exp b) (exp b)) (* (exp a) (exp b))) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (* (+ (pow (exp a) 3) (pow (exp b) 3)) (- (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (sqrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (sqrt (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (* (sqrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (sqrt (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (* (/ (sqrt (exp a)) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (sqrt (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (* (/ (sqrt (exp a)) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (sqrt (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (* (exp a) (exp a))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (* (* (exp a) (exp a)) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (* (- (* (exp b) (exp b)) (* (exp a) (exp b))) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (* (cbrt (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (cbrt (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (sqrt (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) 1) (* (cbrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (sqrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (cbrt (exp a)) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (cbrt (exp a)) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (cbrt (exp a)) (+ (exp a) (exp b))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (sqrt (exp a)) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (sqrt (exp a)) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (sqrt (exp a)) (+ (exp a) (exp b))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (exp a) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (exp a) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (exp a) (+ (exp a) (exp b))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ 1 (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (+ (* (pow (exp a) 3) (pow (exp a) 3)) (- (* (pow (exp b) 3) (pow (exp b) 3)) (* (pow (exp a) 3) (pow (exp b) 3)))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (- (pow (exp a) 3) (pow (exp b) 3)) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (pow (* (exp a) (exp a)) 3) (pow (- (* (exp b) (exp b)) (* (exp a) (exp b))) 3))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (- (* (* (exp a) (exp a)) (* (exp a) (exp a))) (* (- (* (exp b) (exp b)) (* (exp a) (exp b))) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (* (exp a) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (expm1 (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (log1p (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (- a (log (+ (pow (exp a) 3) (pow (exp b) 3)))) (log (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (pow (exp a) 3) (pow (exp b) 3)) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (pow (exp a) 3) (pow (exp b) 3)))) (* (cbrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (cbrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))))) (cbrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (* (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (sqrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (sqrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (- (exp a)) (- (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))))) (/ (cbrt (exp a)) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (cbrt (exp a)) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (/ (cbrt (exp a)) (+ (exp a) (exp b))) (/ (* (cbrt (exp a)) (cbrt (exp a))) 1) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (pow 1 3)) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (pow 1 3)) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (pow 1 3)) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (pow 1 3)) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (cbrt (exp a)) (cbrt (exp a))) 1) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (sqrt (exp a)) (* (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))))) (/ (sqrt (exp a)) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (sqrt (exp a)) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (sqrt (exp a)) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (sqrt (exp a)) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (/ (sqrt (exp a)) (+ (exp a) (exp b))) (/ (sqrt (exp a)) 1) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (sqrt (exp a)) (pow 1 3)) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (sqrt (exp a)) (pow 1 3)) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (sqrt (exp a)) (pow 1 3)) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (sqrt (exp a)) (pow 1 3)) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (sqrt (exp a)) 1) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ 1 (* (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))))) (/ (exp a) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ 1 (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (exp a) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ 1 (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (/ (exp a) (+ (exp a) (exp b))) (/ 1 1) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ 1 (pow 1 3)) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ 1 (pow 1 3)) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ 1 (pow 1 3)) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ 1 (pow 1 3)) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ 1 1) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ 1 (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (+ (pow (exp a) 3) (pow (exp b) 3)) (exp a)) (/ (exp a) (* (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))))) (/ (exp a) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (exp a) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (/ (exp a) 1) (/ (exp a) (pow 1 3)) (/ (exp a) (pow 1 3)) (/ (exp a) (pow 1 3)) (/ (exp a) (pow 1 3)) (/ (exp a) 1) (/ (+ (pow (exp a) 3) (pow (exp b) 3)) (cbrt (exp a))) (/ (+ (pow (exp a) 3) (pow (exp b) 3)) (sqrt (exp a))) (/ (+ (pow (exp a) 3) (pow (exp b) 3)) (exp a)) (/ (exp a) (+ (pow (pow (exp a) 3) 3) (pow (pow (exp b) 3) 3))) (/ (exp a) (- (* (pow (exp a) 3) (pow (exp a) 3)) (* (pow (exp b) 3) (pow (exp b) 3)))) (expm1 (* (exp a) (exp b))) (log1p (* (exp a) (exp b))) (+ a b) (* (exp a) (exp b)) (+ a b) (log (* (exp a) (exp b))) (exp (* (exp a) (exp b))) (* (* (* (exp a) (exp a)) (exp a)) (* (* (exp b) (exp b)) (exp b))) (* (cbrt (* (exp a) (exp b))) (cbrt (* (exp a) (exp b)))) (cbrt (* (exp a) (exp b))) (* (* (* (exp a) (exp b)) (* (exp a) (exp b))) (* (exp a) (exp b))) (sqrt (* (exp a) (exp b))) (sqrt (* (exp a) (exp b))) (* (sqrt (exp a)) (sqrt (exp b))) (* (sqrt (exp a)) (sqrt (exp b))) (* (exp a) (* (cbrt (exp b)) (cbrt (exp b)))) (* (exp a) (sqrt (exp b))) (* (exp a) 1) (* (cbrt (exp a)) (exp b)) (* (sqrt (exp a)) (exp b)) (* (exp a) (exp b)) (- (+ (* 3/2 (pow b 2)) b) a) (- (pow (exp b) 2) (* (exp b) (exp a))) (- (pow (exp b) 2) (* (exp b) (exp a))) (- (+ (* 1/4 a) 1/2) (* 1/4 b)) (/ (* (- (+ (pow (exp b) 2) (pow (exp a) 2)) (* (exp b) (exp a))) (exp a)) (+ (pow (exp b) 3) (pow (exp a) 3))) (/ (* (- (+ (pow (exp b) 2) (pow (exp a) 2)) (* (exp b) (exp a))) (exp a)) (+ (pow (exp b) 3) (pow (exp a) 3))) (- 1/2 (+ (* 1/4 a) (* 3/4 b))) (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))) (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))) (+ a (+ b 1)) (* (exp b) (exp a)) (* (exp b) (exp a)) 0.831 * * [simplify]: iteration 0 : 684 enodes (cost 2183 ) 0.845 * * [simplify]: iteration 1 : 3843 enodes (cost 1943 ) 0.908 * * [simplify]: iteration 2 : 5001 enodes (cost 1937 ) 0.917 * [simplify]: Simplified to: (* (exp b) (- (exp b) (exp a))) (fma (- (exp b)) (exp a) (exp (+ b a))) (expm1 (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (log1p (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (- (* (exp a) (exp b))) (exp (* (exp b) (- (exp b) (exp a)))) (+ (log (exp b)) (log (- (exp b) (exp a)))) (exp (* (exp b) (- (exp b) (exp a)))) (* (cbrt (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (cbrt (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (cbrt (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (pow (* (exp b) (- (exp b) (exp a))) 3) (sqrt (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (sqrt (- (* (exp b) (exp b)) (* (exp a) (exp b)))) (* (pow (exp b) 3) (- (pow (exp b) 3) (pow (exp a) 3))) (fma (exp (+ (+ b b) a)) (+ (exp a) (exp b)) (pow (exp b) 4)) (- (* (exp a) (exp b))) (* (pow (exp b) 2) (- (pow (exp b) 2) (pow (exp a) 2))) (* (exp b) (+ (exp b) (exp a))) (- (exp b) (exp a)) (- (* (exp a) (exp b))) (expm1 (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (log1p (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (- (log (* (- (+ (pow (exp a) 2) (pow (exp b) 2)) (exp (+ a b))) (exp a))) (log (+ (pow (exp a) 3) (pow (exp b) 3)))) (- (log (* (- (+ (pow (exp a) 2) (pow (exp b) 2)) (exp (+ a b))) (exp a))) (log (+ (pow (exp a) 3) (pow (exp b) 3)))) (- (log (* (- (+ (pow (exp a) 2) (pow (exp b) 2)) (exp (+ a b))) (exp a))) (log (+ (pow (exp a) 3) (pow (exp b) 3)))) (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (pow (* (- (+ (pow (exp a) 2) (pow (exp b) 2)) (exp (+ a b))) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) 3) (pow (* (- (+ (pow (exp a) 2) (pow (exp b) 2)) (exp (+ a b))) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) 3) (* (cbrt (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (cbrt (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))))) (cbrt (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (pow (* (- (+ (pow (exp a) 2) (pow (exp b) 2)) (exp (+ a b))) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) 3) (sqrt (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (sqrt (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (fma (exp a) (pow (* (exp b) (- (exp b) (exp a))) 3) (pow (exp a) 7)) (* (+ (* (* (exp b) (- (exp b) (exp a))) (- (* (exp b) (- (exp b) (exp a))) (pow (exp a) 2))) (* (pow (exp a) 2) (pow (exp a) 2))) (+ (pow (exp a) 3) (pow (exp b) 3))) (* (* (exp a) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (+ (- (pow (exp a) 2) (pow (exp b) 2)) (exp (+ a b)))) (* (+ (- (pow (exp a) 2) (pow (exp b) 2)) (exp (+ a b))) (+ (pow (exp a) 3) (pow (exp b) 3))) (* (sqrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (sqrt (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (* (sqrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (sqrt (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (/ (* (sqrt (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (sqrt (exp a))) (hypot (pow (exp b) 3/2) (pow (exp a) 3/2))) (/ (* (sqrt (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (sqrt (exp a))) (hypot (pow (exp b) 3/2) (pow (exp a) 3/2))) (/ (pow (exp a) 3) (+ (pow (exp a) 3) (pow (exp b) 3))) (* (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (exp b)) (- (exp b) (exp a))) (/ (pow (exp a) 3) (+ (pow (exp a) 3) (pow (exp b) 3))) (* (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (exp b)) (- (exp b) (exp a))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (* (cbrt (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (cbrt (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (sqrt (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (* (- (+ (pow (exp a) 2) (pow (exp b) 2)) (exp (+ a b))) (cbrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))))) (* (- (+ (pow (exp a) 2) (pow (exp b) 2)) (exp (+ a b))) (sqrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (cbrt (exp a))) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (cbrt (exp a))) (hypot (pow (exp b) 3/2) (pow (exp a) 3/2))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (cbrt (exp a))) (+ (exp a) (exp b))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (cbrt (exp a))) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (cbrt (exp a))) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (cbrt (exp a))) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (cbrt (exp a))) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (cbrt (exp a))) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (cbrt (exp a))) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (sqrt (exp a))) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (sqrt (exp a))) (hypot (pow (exp b) 3/2) (pow (exp a) 3/2))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (sqrt (exp a))) (+ (exp a) (exp b))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (sqrt (exp a))) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (sqrt (exp a))) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (sqrt (exp a))) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (sqrt (exp a))) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (sqrt (exp a))) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (sqrt (exp a))) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (exp a)) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (exp a)) (hypot (pow (exp b) 3/2) (pow (exp a) 3/2))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (exp a)) (+ (exp a) (exp b))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (+ (pow (exp a) 3) (pow (exp b) 3))) (* (- (+ (pow (exp a) 2) (pow (exp b) 2)) (exp (+ a b))) (- (+ (pow (exp a) 6) (pow (exp b) 6)) (pow (* (exp a) (exp b)) 3))) (* (- (+ (pow (exp a) 2) (pow (exp b) 2)) (exp (+ a b))) (- (pow (exp a) 3) (pow (exp b) 3))) (* (+ (pow (- (* (exp b) (exp b)) (* (exp a) (exp b))) 3) (pow (exp a) 6)) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (* (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (+ (- (pow (exp a) 2) (pow (exp b) 2)) (exp (+ a b)))) (fma (exp (+ b a)) (- (exp b) (exp a)) (pow (exp a) 3)) (expm1 (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (log1p (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (- a (log (+ (pow (exp a) 3) (pow (exp b) 3)))) (- a (log (+ (pow (exp a) 3) (pow (exp b) 3)))) (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (pow (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) 3) (* (cbrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (cbrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))))) (cbrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (pow (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) 3) (sqrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (sqrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (- (exp a)) (- (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))))) (/ (cbrt (exp a)) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (cbrt (exp a)) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (* (/ (cbrt (exp a)) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))) (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (sqrt (exp a)) (* (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))))) (/ (sqrt (exp a)) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (sqrt (exp a)) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (sqrt (exp a)) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (sqrt (exp a)) (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) 1)) (/ (sqrt (exp a)) (+ (exp a) (exp b))) (sqrt (exp a)) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (sqrt (exp a)) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (sqrt (exp a)) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (sqrt (exp a)) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (sqrt (exp a)) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (sqrt (exp a)) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ 1 (* (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))))) (/ (exp a) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ 1 (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (exp a) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ 1 (/ (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) 1)) (/ (exp a) (+ (exp a) (exp b))) 1 (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) 1 (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) 1 (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) 1 (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) 1 (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) 1 (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ 1 (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (+ (pow (exp b) 3) (pow (exp a) 3)) (exp a)) (/ (exp a) (* (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))))) (/ (exp a) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (exp a) (/ (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) 1)) (exp a) (exp a) (exp a) (exp a) (exp a) (exp a) (/ (+ (pow (exp a) 3) (pow (exp b) 3)) (cbrt (exp a))) (/ (+ (pow (exp a) 3) (pow (exp b) 3)) (sqrt (exp a))) (/ (+ (pow (exp b) 3) (pow (exp a) 3)) (exp a)) (/ (exp a) (+ (pow (pow (exp a) 3) 3) (pow (pow (exp b) 3) 3))) (/ (exp a) (/ (fma (pow (exp a) 3) (pow (exp a) 3) (- (pow (exp b) 6))) 1)) (expm1 (* (exp a) (exp b))) (log1p (* (exp a) (exp b))) (+ a b) (exp (+ b a)) (+ a b) (+ a b) (exp (exp (+ b a))) (pow (exp (+ b a)) 3) (* (cbrt (* (exp a) (exp b))) (cbrt (* (exp a) (exp b)))) (cbrt (* (exp a) (exp b))) (pow (exp (+ b a)) 3) (sqrt (* (exp a) (exp b))) (sqrt (* (exp a) (exp b))) (* (sqrt (exp a)) (sqrt (exp b))) (* (sqrt (exp a)) (sqrt (exp b))) (* (exp a) (* (cbrt (exp b)) (cbrt (exp b)))) (* (exp a) (sqrt (exp b))) (exp a) (* (cbrt (exp a)) (exp b)) (* (sqrt (exp a)) (exp b)) (exp (+ b a)) (fma (pow b 2) 3/2 (- b a)) (* (exp b) (- (exp b) (exp a))) (* (exp b) (- (exp b) (exp a))) (fma a 1/4 (- 1/2 (* 1/4 b))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (- 1/2 (+ (* 1/4 a) (* 3/4 b))) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ a (+ b 1)) (exp (+ b a)) (exp (+ b a)) 0.918 * * * [progress]: adding candidates to table 1.372 * * [progress]: iteration 3 / 4 1.372 * * * [progress]: picking best candidate 1.379 * * * * [pick]: Picked # 1.379 * * * [progress]: localizing error 1.399 * * * [progress]: generating rewritten candidates 1.399 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2) 1.404 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.487 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1.518 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 2) 1.527 * * * [progress]: generating series expansions 1.527 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2) 1.527 * [approximate]: Taking taylor expansion of (- (exp b) (exp a)) in (b a) around 0 1.527 * [taylor]: Taking taylor expansion of (- (exp b) (exp a)) in a 1.527 * [taylor]: Taking taylor expansion of (exp b) in a 1.527 * [taylor]: Taking taylor expansion of b in a 1.527 * [taylor]: Taking taylor expansion of (exp a) in a 1.527 * [taylor]: Taking taylor expansion of a in a 1.527 * [taylor]: Taking taylor expansion of (- (exp b) (exp a)) in b 1.528 * [taylor]: Taking taylor expansion of (exp b) in b 1.528 * [taylor]: Taking taylor expansion of b in b 1.528 * [taylor]: Taking taylor expansion of (exp a) in b 1.528 * [taylor]: Taking taylor expansion of a in b 1.528 * [taylor]: Taking taylor expansion of (- (exp b) (exp a)) in b 1.528 * [taylor]: Taking taylor expansion of (exp b) in b 1.528 * [taylor]: Taking taylor expansion of b in b 1.528 * [taylor]: Taking taylor expansion of (exp a) in b 1.528 * [taylor]: Taking taylor expansion of a in b 1.528 * [taylor]: Taking taylor expansion of (- 1 (exp a)) in a 1.528 * [taylor]: Taking taylor expansion of 1 in a 1.528 * [taylor]: Taking taylor expansion of (exp a) in a 1.528 * [taylor]: Taking taylor expansion of a in a 1.530 * [taylor]: Taking taylor expansion of 1 in a 1.533 * [taylor]: Taking taylor expansion of 1/2 in a 1.534 * [approximate]: Taking taylor expansion of (- (exp (/ 1 b)) (exp (/ 1 a))) in (b a) around 0 1.534 * [taylor]: Taking taylor expansion of (- (exp (/ 1 b)) (exp (/ 1 a))) in a 1.534 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 1.534 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.534 * [taylor]: Taking taylor expansion of b in a 1.534 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.534 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.534 * [taylor]: Taking taylor expansion of a in a 1.534 * [taylor]: Taking taylor expansion of (- (exp (/ 1 b)) (exp (/ 1 a))) in b 1.534 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.534 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.534 * [taylor]: Taking taylor expansion of b in b 1.534 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.534 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.534 * [taylor]: Taking taylor expansion of a in b 1.535 * [taylor]: Taking taylor expansion of (- (exp (/ 1 b)) (exp (/ 1 a))) in b 1.535 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.535 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.535 * [taylor]: Taking taylor expansion of b in b 1.535 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.535 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.535 * [taylor]: Taking taylor expansion of a in b 1.535 * [taylor]: Taking taylor expansion of (- (exp (/ 1 b)) (exp (/ 1 a))) in a 1.535 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 1.535 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.535 * [taylor]: Taking taylor expansion of b in a 1.535 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.535 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.535 * [taylor]: Taking taylor expansion of a in a 1.537 * [taylor]: Taking taylor expansion of 0 in a 1.539 * [taylor]: Taking taylor expansion of 0 in a 1.542 * [taylor]: Taking taylor expansion of 0 in a 1.542 * [approximate]: Taking taylor expansion of (- (exp (/ -1 b)) (exp (/ -1 a))) in (b a) around 0 1.542 * [taylor]: Taking taylor expansion of (- (exp (/ -1 b)) (exp (/ -1 a))) in a 1.542 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 1.542 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.542 * [taylor]: Taking taylor expansion of -1 in a 1.542 * [taylor]: Taking taylor expansion of b in a 1.542 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.542 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.542 * [taylor]: Taking taylor expansion of -1 in a 1.542 * [taylor]: Taking taylor expansion of a in a 1.543 * [taylor]: Taking taylor expansion of (- (exp (/ -1 b)) (exp (/ -1 a))) in b 1.543 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.543 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.543 * [taylor]: Taking taylor expansion of -1 in b 1.543 * [taylor]: Taking taylor expansion of b in b 1.543 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.543 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.543 * [taylor]: Taking taylor expansion of -1 in b 1.543 * [taylor]: Taking taylor expansion of a in b 1.543 * [taylor]: Taking taylor expansion of (- (exp (/ -1 b)) (exp (/ -1 a))) in b 1.543 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.543 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.543 * [taylor]: Taking taylor expansion of -1 in b 1.543 * [taylor]: Taking taylor expansion of b in b 1.544 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.544 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.544 * [taylor]: Taking taylor expansion of -1 in b 1.544 * [taylor]: Taking taylor expansion of a in b 1.544 * [taylor]: Taking taylor expansion of (- (exp (/ -1 b)) (exp (/ -1 a))) in a 1.544 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 1.544 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.544 * [taylor]: Taking taylor expansion of -1 in a 1.544 * [taylor]: Taking taylor expansion of b in a 1.544 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.544 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.544 * [taylor]: Taking taylor expansion of -1 in a 1.544 * [taylor]: Taking taylor expansion of a in a 1.546 * [taylor]: Taking taylor expansion of 0 in a 1.548 * [taylor]: Taking taylor expansion of 0 in a 1.551 * [taylor]: Taking taylor expansion of 0 in a 1.551 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.552 * [approximate]: Taking taylor expansion of (pow (exp (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) in (a b) around 0 1.552 * [taylor]: Taking taylor expansion of (pow (exp (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) in b 1.552 * [taylor]: Taking taylor expansion of (exp (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (log (exp (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))))))) in b 1.552 * [taylor]: Taking taylor expansion of (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (log (exp (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3)))))) in b 1.552 * [taylor]: Taking taylor expansion of (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) in b 1.552 * [taylor]: Rewrote expression to (+ (* (exp b) (- (exp b) (exp a))) (pow (exp a) 2)) 1.552 * [taylor]: Taking taylor expansion of (* (exp b) (- (exp b) (exp a))) in b 1.552 * [taylor]: Taking taylor expansion of (exp b) in b 1.552 * [taylor]: Taking taylor expansion of b in b 1.552 * [taylor]: Taking taylor expansion of (- (exp b) (exp a)) in b 1.552 * [taylor]: Taking taylor expansion of (exp b) in b 1.552 * [taylor]: Taking taylor expansion of b in b 1.552 * [taylor]: Taking taylor expansion of (exp a) in b 1.552 * [taylor]: Taking taylor expansion of a in b 1.552 * [taylor]: Taking taylor expansion of (pow (exp a) 2) in b 1.552 * [taylor]: Taking taylor expansion of (exp a) in b 1.552 * [taylor]: Taking taylor expansion of a in b 1.552 * [taylor]: Taking taylor expansion of (log (exp (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))))) in b 1.552 * [taylor]: Taking taylor expansion of (exp (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3)))) in b 1.552 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))) in b 1.552 * [taylor]: Taking taylor expansion of (exp a) in b 1.552 * [taylor]: Taking taylor expansion of a in b 1.552 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) (pow (exp a) 3)) in b 1.552 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 1.552 * [taylor]: Taking taylor expansion of (exp b) in b 1.552 * [taylor]: Taking taylor expansion of b in b 1.552 * [taylor]: Taking taylor expansion of (pow (exp a) 3) in b 1.552 * [taylor]: Taking taylor expansion of (exp a) in b 1.552 * [taylor]: Taking taylor expansion of a in b 1.554 * [taylor]: Taking taylor expansion of (pow (exp (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) in a 1.554 * [taylor]: Taking taylor expansion of (exp (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (log (exp (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))))))) in a 1.554 * [taylor]: Taking taylor expansion of (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (log (exp (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3)))))) in a 1.554 * [taylor]: Taking taylor expansion of (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) in a 1.554 * [taylor]: Rewrote expression to (+ (* (exp b) (- (exp b) (exp a))) (pow (exp a) 2)) 1.554 * [taylor]: Taking taylor expansion of (* (exp b) (- (exp b) (exp a))) in a 1.554 * [taylor]: Taking taylor expansion of (exp b) in a 1.554 * [taylor]: Taking taylor expansion of b in a 1.554 * [taylor]: Taking taylor expansion of (- (exp b) (exp a)) in a 1.554 * [taylor]: Taking taylor expansion of (exp b) in a 1.554 * [taylor]: Taking taylor expansion of b in a 1.554 * [taylor]: Taking taylor expansion of (exp a) in a 1.554 * [taylor]: Taking taylor expansion of a in a 1.554 * [taylor]: Taking taylor expansion of (pow (exp a) 2) in a 1.554 * [taylor]: Taking taylor expansion of (exp a) in a 1.554 * [taylor]: Taking taylor expansion of a in a 1.554 * [taylor]: Taking taylor expansion of (log (exp (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))))) in a 1.554 * [taylor]: Taking taylor expansion of (exp (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3)))) in a 1.555 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))) in a 1.555 * [taylor]: Taking taylor expansion of (exp a) in a 1.555 * [taylor]: Taking taylor expansion of a in a 1.555 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) (pow (exp a) 3)) in a 1.555 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in a 1.555 * [taylor]: Taking taylor expansion of (exp b) in a 1.555 * [taylor]: Taking taylor expansion of b in a 1.555 * [taylor]: Taking taylor expansion of (pow (exp a) 3) in a 1.555 * [taylor]: Taking taylor expansion of (exp a) in a 1.555 * [taylor]: Taking taylor expansion of a in a 1.557 * [taylor]: Taking taylor expansion of (pow (exp (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) in a 1.557 * [taylor]: Taking taylor expansion of (exp (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (log (exp (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))))))) in a 1.557 * [taylor]: Taking taylor expansion of (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (log (exp (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3)))))) in a 1.557 * [taylor]: Taking taylor expansion of (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) in a 1.557 * [taylor]: Rewrote expression to (+ (* (exp b) (- (exp b) (exp a))) (pow (exp a) 2)) 1.557 * [taylor]: Taking taylor expansion of (* (exp b) (- (exp b) (exp a))) in a 1.557 * [taylor]: Taking taylor expansion of (exp b) in a 1.557 * [taylor]: Taking taylor expansion of b in a 1.557 * [taylor]: Taking taylor expansion of (- (exp b) (exp a)) in a 1.557 * [taylor]: Taking taylor expansion of (exp b) in a 1.557 * [taylor]: Taking taylor expansion of b in a 1.557 * [taylor]: Taking taylor expansion of (exp a) in a 1.557 * [taylor]: Taking taylor expansion of a in a 1.557 * [taylor]: Taking taylor expansion of (pow (exp a) 2) in a 1.557 * [taylor]: Taking taylor expansion of (exp a) in a 1.557 * [taylor]: Taking taylor expansion of a in a 1.557 * [taylor]: Taking taylor expansion of (log (exp (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))))) in a 1.557 * [taylor]: Taking taylor expansion of (exp (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3)))) in a 1.557 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))) in a 1.557 * [taylor]: Taking taylor expansion of (exp a) in a 1.557 * [taylor]: Taking taylor expansion of a in a 1.557 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) (pow (exp a) 3)) in a 1.557 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in a 1.557 * [taylor]: Taking taylor expansion of (exp b) in a 1.557 * [taylor]: Taking taylor expansion of b in a 1.557 * [taylor]: Taking taylor expansion of (pow (exp a) 3) in a 1.557 * [taylor]: Taking taylor expansion of (exp a) in a 1.557 * [taylor]: Taking taylor expansion of a in a 1.560 * [taylor]: Taking taylor expansion of (exp (/ (- (+ (pow (exp b) 2) 1) (exp b)) (+ (pow (exp b) 3) 1))) in b 1.560 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp b) 2) 1) (exp b)) (+ (pow (exp b) 3) 1)) in b 1.560 * [taylor]: Taking taylor expansion of (- (+ (pow (exp b) 2) 1) (exp b)) in b 1.560 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 2) 1) in b 1.560 * [taylor]: Taking taylor expansion of (pow (exp b) 2) in b 1.560 * [taylor]: Taking taylor expansion of (exp b) in b 1.560 * [taylor]: Taking taylor expansion of b in b 1.560 * [taylor]: Taking taylor expansion of 1 in b 1.560 * [taylor]: Taking taylor expansion of (exp b) in b 1.560 * [taylor]: Taking taylor expansion of b in b 1.560 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 1.560 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 1.560 * [taylor]: Taking taylor expansion of (exp b) in b 1.560 * [taylor]: Taking taylor expansion of b in b 1.560 * [taylor]: Taking taylor expansion of 1 in b 1.572 * [taylor]: Taking taylor expansion of (* (exp (/ (- (+ (pow (exp b) 2) 1) (exp b)) (+ (pow (exp b) 3) 1))) (- (+ (* 3 (/ (exp b) (pow (+ (pow (exp b) 3) 1) 2))) (+ (/ (pow (exp b) 2) (+ (pow (exp b) 3) 1)) (* 3 (/ 1 (+ (pow (exp b) 3) 1))))) (+ (* 2 (/ (exp b) (+ (pow (exp b) 3) 1))) (+ (* 3 (/ (pow (exp b) 2) (pow (+ (pow (exp b) 3) 1) 2))) (* 3 (/ 1 (pow (+ (pow (exp b) 3) 1) 2))))))) in b 1.572 * [taylor]: Taking taylor expansion of (exp (/ (- (+ (pow (exp b) 2) 1) (exp b)) (+ (pow (exp b) 3) 1))) in b 1.572 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp b) 2) 1) (exp b)) (+ (pow (exp b) 3) 1)) in b 1.572 * [taylor]: Taking taylor expansion of (- (+ (pow (exp b) 2) 1) (exp b)) in b 1.572 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 2) 1) in b 1.572 * [taylor]: Taking taylor expansion of (pow (exp b) 2) in b 1.572 * [taylor]: Taking taylor expansion of (exp b) in b 1.572 * [taylor]: Taking taylor expansion of b in b 1.572 * [taylor]: Taking taylor expansion of 1 in b 1.572 * [taylor]: Taking taylor expansion of (exp b) in b 1.572 * [taylor]: Taking taylor expansion of b in b 1.572 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 1.572 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 1.572 * [taylor]: Taking taylor expansion of (exp b) in b 1.572 * [taylor]: Taking taylor expansion of b in b 1.572 * [taylor]: Taking taylor expansion of 1 in b 1.574 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ (exp b) (pow (+ (pow (exp b) 3) 1) 2))) (+ (/ (pow (exp b) 2) (+ (pow (exp b) 3) 1)) (* 3 (/ 1 (+ (pow (exp b) 3) 1))))) (+ (* 2 (/ (exp b) (+ (pow (exp b) 3) 1))) (+ (* 3 (/ (pow (exp b) 2) (pow (+ (pow (exp b) 3) 1) 2))) (* 3 (/ 1 (pow (+ (pow (exp b) 3) 1) 2)))))) in b 1.574 * [taylor]: Taking taylor expansion of (+ (* 3 (/ (exp b) (pow (+ (pow (exp b) 3) 1) 2))) (+ (/ (pow (exp b) 2) (+ (pow (exp b) 3) 1)) (* 3 (/ 1 (+ (pow (exp b) 3) 1))))) in b 1.574 * [taylor]: Taking taylor expansion of (* 3 (/ (exp b) (pow (+ (pow (exp b) 3) 1) 2))) in b 1.574 * [taylor]: Taking taylor expansion of 3 in b 1.574 * [taylor]: Taking taylor expansion of (/ (exp b) (pow (+ (pow (exp b) 3) 1) 2)) in b 1.574 * [taylor]: Taking taylor expansion of (exp b) in b 1.574 * [taylor]: Taking taylor expansion of b in b 1.574 * [taylor]: Taking taylor expansion of (pow (+ (pow (exp b) 3) 1) 2) in b 1.574 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 1.574 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 1.574 * [taylor]: Taking taylor expansion of (exp b) in b 1.574 * [taylor]: Taking taylor expansion of b in b 1.574 * [taylor]: Taking taylor expansion of 1 in b 1.575 * [taylor]: Taking taylor expansion of (+ (/ (pow (exp b) 2) (+ (pow (exp b) 3) 1)) (* 3 (/ 1 (+ (pow (exp b) 3) 1)))) in b 1.576 * [taylor]: Taking taylor expansion of (/ (pow (exp b) 2) (+ (pow (exp b) 3) 1)) in b 1.576 * [taylor]: Taking taylor expansion of (pow (exp b) 2) in b 1.576 * [taylor]: Taking taylor expansion of (exp b) in b 1.576 * [taylor]: Taking taylor expansion of b in b 1.576 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 1.576 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 1.576 * [taylor]: Taking taylor expansion of (exp b) in b 1.576 * [taylor]: Taking taylor expansion of b in b 1.576 * [taylor]: Taking taylor expansion of 1 in b 1.577 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (+ (pow (exp b) 3) 1))) in b 1.577 * [taylor]: Taking taylor expansion of 3 in b 1.577 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (exp b) 3) 1)) in b 1.577 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 1.577 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 1.577 * [taylor]: Taking taylor expansion of (exp b) in b 1.577 * [taylor]: Taking taylor expansion of b in b 1.577 * [taylor]: Taking taylor expansion of 1 in b 1.578 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (exp b) (+ (pow (exp b) 3) 1))) (+ (* 3 (/ (pow (exp b) 2) (pow (+ (pow (exp b) 3) 1) 2))) (* 3 (/ 1 (pow (+ (pow (exp b) 3) 1) 2))))) in b 1.578 * [taylor]: Taking taylor expansion of (* 2 (/ (exp b) (+ (pow (exp b) 3) 1))) in b 1.578 * [taylor]: Taking taylor expansion of 2 in b 1.578 * [taylor]: Taking taylor expansion of (/ (exp b) (+ (pow (exp b) 3) 1)) in b 1.578 * [taylor]: Taking taylor expansion of (exp b) in b 1.578 * [taylor]: Taking taylor expansion of b in b 1.578 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 1.578 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 1.578 * [taylor]: Taking taylor expansion of (exp b) in b 1.578 * [taylor]: Taking taylor expansion of b in b 1.578 * [taylor]: Taking taylor expansion of 1 in b 1.579 * [taylor]: Taking taylor expansion of (+ (* 3 (/ (pow (exp b) 2) (pow (+ (pow (exp b) 3) 1) 2))) (* 3 (/ 1 (pow (+ (pow (exp b) 3) 1) 2)))) in b 1.579 * [taylor]: Taking taylor expansion of (* 3 (/ (pow (exp b) 2) (pow (+ (pow (exp b) 3) 1) 2))) in b 1.579 * [taylor]: Taking taylor expansion of 3 in b 1.579 * [taylor]: Taking taylor expansion of (/ (pow (exp b) 2) (pow (+ (pow (exp b) 3) 1) 2)) in b 1.579 * [taylor]: Taking taylor expansion of (pow (exp b) 2) in b 1.579 * [taylor]: Taking taylor expansion of (exp b) in b 1.579 * [taylor]: Taking taylor expansion of b in b 1.579 * [taylor]: Taking taylor expansion of (pow (+ (pow (exp b) 3) 1) 2) in b 1.579 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 1.579 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 1.579 * [taylor]: Taking taylor expansion of (exp b) in b 1.579 * [taylor]: Taking taylor expansion of b in b 1.579 * [taylor]: Taking taylor expansion of 1 in b 1.581 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow (+ (pow (exp b) 3) 1) 2))) in b 1.581 * [taylor]: Taking taylor expansion of 3 in b 1.581 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (pow (exp b) 3) 1) 2)) in b 1.581 * [taylor]: Taking taylor expansion of (pow (+ (pow (exp b) 3) 1) 2) in b 1.581 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 1.581 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 1.581 * [taylor]: Taking taylor expansion of (exp b) in b 1.581 * [taylor]: Taking taylor expansion of b in b 1.581 * [taylor]: Taking taylor expansion of 1 in b 1.593 * [approximate]: Taking taylor expansion of (pow (exp (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)))) (fma (exp (/ 1 b)) (- (exp (/ 1 b)) (exp (/ 1 a))) (pow (exp (/ 1 a)) 2))) in (a b) around 0 1.593 * [taylor]: Taking taylor expansion of (pow (exp (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)))) (fma (exp (/ 1 b)) (- (exp (/ 1 b)) (exp (/ 1 a))) (pow (exp (/ 1 a)) 2))) in b 1.593 * [taylor]: Taking taylor expansion of (exp (* (fma (exp (/ 1 b)) (- (exp (/ 1 b)) (exp (/ 1 a))) (pow (exp (/ 1 a)) 2)) (log (exp (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))))))) in b 1.593 * [taylor]: Taking taylor expansion of (* (fma (exp (/ 1 b)) (- (exp (/ 1 b)) (exp (/ 1 a))) (pow (exp (/ 1 a)) 2)) (log (exp (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)))))) in b 1.593 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 b)) (- (exp (/ 1 b)) (exp (/ 1 a))) (pow (exp (/ 1 a)) 2)) in b 1.593 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 b)) (- (exp (/ 1 b)) (exp (/ 1 a)))) (pow (exp (/ 1 a)) 2)) 1.593 * [taylor]: Taking taylor expansion of (* (exp (/ 1 b)) (- (exp (/ 1 b)) (exp (/ 1 a)))) in b 1.593 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.593 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.594 * [taylor]: Taking taylor expansion of b in b 1.594 * [taylor]: Taking taylor expansion of (- (exp (/ 1 b)) (exp (/ 1 a))) in b 1.594 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.594 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.594 * [taylor]: Taking taylor expansion of b in b 1.594 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.594 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.594 * [taylor]: Taking taylor expansion of a in b 1.594 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 2) in b 1.594 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.594 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.594 * [taylor]: Taking taylor expansion of a in b 1.594 * [taylor]: Taking taylor expansion of (log (exp (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))))) in b 1.594 * [taylor]: Taking taylor expansion of (exp (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)))) in b 1.594 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))) in b 1.594 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.594 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.594 * [taylor]: Taking taylor expansion of a in b 1.595 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)) in b 1.595 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 3) in b 1.595 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.595 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.595 * [taylor]: Taking taylor expansion of a in b 1.595 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 3) in b 1.595 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.595 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.595 * [taylor]: Taking taylor expansion of b in b 1.598 * [taylor]: Taking taylor expansion of (pow (exp (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)))) (fma (exp (/ 1 b)) (- (exp (/ 1 b)) (exp (/ 1 a))) (pow (exp (/ 1 a)) 2))) in a 1.598 * [taylor]: Taking taylor expansion of (exp (* (fma (exp (/ 1 b)) (- (exp (/ 1 b)) (exp (/ 1 a))) (pow (exp (/ 1 a)) 2)) (log (exp (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))))))) in a 1.598 * [taylor]: Taking taylor expansion of (* (fma (exp (/ 1 b)) (- (exp (/ 1 b)) (exp (/ 1 a))) (pow (exp (/ 1 a)) 2)) (log (exp (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)))))) in a 1.598 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 b)) (- (exp (/ 1 b)) (exp (/ 1 a))) (pow (exp (/ 1 a)) 2)) in a 1.598 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 b)) (- (exp (/ 1 b)) (exp (/ 1 a)))) (pow (exp (/ 1 a)) 2)) 1.598 * [taylor]: Taking taylor expansion of (* (exp (/ 1 b)) (- (exp (/ 1 b)) (exp (/ 1 a)))) in a 1.598 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 1.598 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.598 * [taylor]: Taking taylor expansion of b in a 1.598 * [taylor]: Taking taylor expansion of (- (exp (/ 1 b)) (exp (/ 1 a))) in a 1.598 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 1.598 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.598 * [taylor]: Taking taylor expansion of b in a 1.598 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.598 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.598 * [taylor]: Taking taylor expansion of a in a 1.599 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 2) in a 1.599 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.599 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.599 * [taylor]: Taking taylor expansion of a in a 1.599 * [taylor]: Taking taylor expansion of (log (exp (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))))) in a 1.599 * [taylor]: Taking taylor expansion of (exp (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)))) in a 1.599 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))) in a 1.599 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.599 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.599 * [taylor]: Taking taylor expansion of a in a 1.599 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)) in a 1.599 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 3) in a 1.599 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.599 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.599 * [taylor]: Taking taylor expansion of a in a 1.603 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 3) in a 1.603 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 1.603 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.603 * [taylor]: Taking taylor expansion of b in a 1.606 * [taylor]: Taking taylor expansion of (pow (exp (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)))) (fma (exp (/ 1 b)) (- (exp (/ 1 b)) (exp (/ 1 a))) (pow (exp (/ 1 a)) 2))) in a 1.606 * [taylor]: Taking taylor expansion of (exp (* (fma (exp (/ 1 b)) (- (exp (/ 1 b)) (exp (/ 1 a))) (pow (exp (/ 1 a)) 2)) (log (exp (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))))))) in a 1.606 * [taylor]: Taking taylor expansion of (* (fma (exp (/ 1 b)) (- (exp (/ 1 b)) (exp (/ 1 a))) (pow (exp (/ 1 a)) 2)) (log (exp (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)))))) in a 1.606 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 b)) (- (exp (/ 1 b)) (exp (/ 1 a))) (pow (exp (/ 1 a)) 2)) in a 1.606 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 b)) (- (exp (/ 1 b)) (exp (/ 1 a)))) (pow (exp (/ 1 a)) 2)) 1.606 * [taylor]: Taking taylor expansion of (* (exp (/ 1 b)) (- (exp (/ 1 b)) (exp (/ 1 a)))) in a 1.606 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 1.606 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.606 * [taylor]: Taking taylor expansion of b in a 1.606 * [taylor]: Taking taylor expansion of (- (exp (/ 1 b)) (exp (/ 1 a))) in a 1.606 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 1.606 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.606 * [taylor]: Taking taylor expansion of b in a 1.606 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.606 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.606 * [taylor]: Taking taylor expansion of a in a 1.607 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 2) in a 1.607 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.607 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.607 * [taylor]: Taking taylor expansion of a in a 1.607 * [taylor]: Taking taylor expansion of (log (exp (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))))) in a 1.607 * [taylor]: Taking taylor expansion of (exp (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)))) in a 1.607 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))) in a 1.607 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.607 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.607 * [taylor]: Taking taylor expansion of a in a 1.607 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)) in a 1.607 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 3) in a 1.607 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.607 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.607 * [taylor]: Taking taylor expansion of a in a 1.608 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 3) in a 1.608 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 1.608 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.608 * [taylor]: Taking taylor expansion of b in a 1.610 * [taylor]: Taking taylor expansion of (exp (/ (* (- (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) (* (exp (/ 1 b)) (exp (/ 1 a)))) (exp (/ 1 a))) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)))) in b 1.610 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) (* (exp (/ 1 b)) (exp (/ 1 a)))) (exp (/ 1 a))) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))) in b 1.610 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) (* (exp (/ 1 b)) (exp (/ 1 a)))) (exp (/ 1 a))) in b 1.610 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) (* (exp (/ 1 b)) (exp (/ 1 a)))) in b 1.610 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 2) (pow (exp (/ 1 b)) 2)) in b 1.610 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 2) in b 1.610 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.611 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.611 * [taylor]: Taking taylor expansion of a in b 1.611 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 2) in b 1.611 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.611 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.611 * [taylor]: Taking taylor expansion of b in b 1.611 * [taylor]: Taking taylor expansion of (* (exp (/ 1 b)) (exp (/ 1 a))) in b 1.611 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.611 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.611 * [taylor]: Taking taylor expansion of b in b 1.611 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.611 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.611 * [taylor]: Taking taylor expansion of a in b 1.611 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.611 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.611 * [taylor]: Taking taylor expansion of a in b 1.612 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)) in b 1.612 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 3) in b 1.612 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.612 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.612 * [taylor]: Taking taylor expansion of a in b 1.612 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 3) in b 1.612 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.612 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.612 * [taylor]: Taking taylor expansion of b in b 1.622 * [taylor]: Taking taylor expansion of 0 in b 1.639 * [taylor]: Taking taylor expansion of 0 in b 1.663 * [taylor]: Taking taylor expansion of 0 in b 1.664 * [approximate]: Taking taylor expansion of (pow (exp (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)))) (fma (exp (/ -1 b)) (- (exp (/ -1 b)) (exp (/ -1 a))) (pow (exp (/ -1 a)) 2))) in (a b) around 0 1.664 * [taylor]: Taking taylor expansion of (pow (exp (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)))) (fma (exp (/ -1 b)) (- (exp (/ -1 b)) (exp (/ -1 a))) (pow (exp (/ -1 a)) 2))) in b 1.664 * [taylor]: Taking taylor expansion of (exp (* (fma (exp (/ -1 b)) (- (exp (/ -1 b)) (exp (/ -1 a))) (pow (exp (/ -1 a)) 2)) (log (exp (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))))))) in b 1.664 * [taylor]: Taking taylor expansion of (* (fma (exp (/ -1 b)) (- (exp (/ -1 b)) (exp (/ -1 a))) (pow (exp (/ -1 a)) 2)) (log (exp (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)))))) in b 1.664 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 b)) (- (exp (/ -1 b)) (exp (/ -1 a))) (pow (exp (/ -1 a)) 2)) in b 1.664 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 b)) (- (exp (/ -1 b)) (exp (/ -1 a)))) (pow (exp (/ -1 a)) 2)) 1.664 * [taylor]: Taking taylor expansion of (* (exp (/ -1 b)) (- (exp (/ -1 b)) (exp (/ -1 a)))) in b 1.664 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.664 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.664 * [taylor]: Taking taylor expansion of -1 in b 1.664 * [taylor]: Taking taylor expansion of b in b 1.665 * [taylor]: Taking taylor expansion of (- (exp (/ -1 b)) (exp (/ -1 a))) in b 1.665 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.665 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.665 * [taylor]: Taking taylor expansion of -1 in b 1.665 * [taylor]: Taking taylor expansion of b in b 1.665 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.665 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.665 * [taylor]: Taking taylor expansion of -1 in b 1.665 * [taylor]: Taking taylor expansion of a in b 1.665 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 2) in b 1.665 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.665 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.665 * [taylor]: Taking taylor expansion of -1 in b 1.665 * [taylor]: Taking taylor expansion of a in b 1.665 * [taylor]: Taking taylor expansion of (log (exp (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))))) in b 1.665 * [taylor]: Taking taylor expansion of (exp (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)))) in b 1.665 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))) in b 1.665 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.665 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.665 * [taylor]: Taking taylor expansion of -1 in b 1.666 * [taylor]: Taking taylor expansion of a in b 1.666 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)) in b 1.666 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 3) in b 1.666 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.666 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.666 * [taylor]: Taking taylor expansion of -1 in b 1.666 * [taylor]: Taking taylor expansion of a in b 1.666 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 3) in b 1.666 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.666 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.666 * [taylor]: Taking taylor expansion of -1 in b 1.666 * [taylor]: Taking taylor expansion of b in b 1.669 * [taylor]: Taking taylor expansion of (pow (exp (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)))) (fma (exp (/ -1 b)) (- (exp (/ -1 b)) (exp (/ -1 a))) (pow (exp (/ -1 a)) 2))) in a 1.669 * [taylor]: Taking taylor expansion of (exp (* (fma (exp (/ -1 b)) (- (exp (/ -1 b)) (exp (/ -1 a))) (pow (exp (/ -1 a)) 2)) (log (exp (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))))))) in a 1.669 * [taylor]: Taking taylor expansion of (* (fma (exp (/ -1 b)) (- (exp (/ -1 b)) (exp (/ -1 a))) (pow (exp (/ -1 a)) 2)) (log (exp (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)))))) in a 1.669 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 b)) (- (exp (/ -1 b)) (exp (/ -1 a))) (pow (exp (/ -1 a)) 2)) in a 1.669 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 b)) (- (exp (/ -1 b)) (exp (/ -1 a)))) (pow (exp (/ -1 a)) 2)) 1.669 * [taylor]: Taking taylor expansion of (* (exp (/ -1 b)) (- (exp (/ -1 b)) (exp (/ -1 a)))) in a 1.669 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 1.669 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.669 * [taylor]: Taking taylor expansion of -1 in a 1.669 * [taylor]: Taking taylor expansion of b in a 1.669 * [taylor]: Taking taylor expansion of (- (exp (/ -1 b)) (exp (/ -1 a))) in a 1.669 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 1.669 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.669 * [taylor]: Taking taylor expansion of -1 in a 1.669 * [taylor]: Taking taylor expansion of b in a 1.669 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.669 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.669 * [taylor]: Taking taylor expansion of -1 in a 1.669 * [taylor]: Taking taylor expansion of a in a 1.670 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 2) in a 1.670 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.670 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.670 * [taylor]: Taking taylor expansion of -1 in a 1.670 * [taylor]: Taking taylor expansion of a in a 1.670 * [taylor]: Taking taylor expansion of (log (exp (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))))) in a 1.670 * [taylor]: Taking taylor expansion of (exp (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)))) in a 1.670 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))) in a 1.670 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.670 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.670 * [taylor]: Taking taylor expansion of -1 in a 1.670 * [taylor]: Taking taylor expansion of a in a 1.670 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)) in a 1.670 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 3) in a 1.670 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.670 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.671 * [taylor]: Taking taylor expansion of -1 in a 1.671 * [taylor]: Taking taylor expansion of a in a 1.671 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 3) in a 1.671 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 1.671 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.671 * [taylor]: Taking taylor expansion of -1 in a 1.671 * [taylor]: Taking taylor expansion of b in a 1.674 * [taylor]: Taking taylor expansion of (pow (exp (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)))) (fma (exp (/ -1 b)) (- (exp (/ -1 b)) (exp (/ -1 a))) (pow (exp (/ -1 a)) 2))) in a 1.674 * [taylor]: Taking taylor expansion of (exp (* (fma (exp (/ -1 b)) (- (exp (/ -1 b)) (exp (/ -1 a))) (pow (exp (/ -1 a)) 2)) (log (exp (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))))))) in a 1.674 * [taylor]: Taking taylor expansion of (* (fma (exp (/ -1 b)) (- (exp (/ -1 b)) (exp (/ -1 a))) (pow (exp (/ -1 a)) 2)) (log (exp (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)))))) in a 1.674 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 b)) (- (exp (/ -1 b)) (exp (/ -1 a))) (pow (exp (/ -1 a)) 2)) in a 1.674 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 b)) (- (exp (/ -1 b)) (exp (/ -1 a)))) (pow (exp (/ -1 a)) 2)) 1.674 * [taylor]: Taking taylor expansion of (* (exp (/ -1 b)) (- (exp (/ -1 b)) (exp (/ -1 a)))) in a 1.674 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 1.674 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.674 * [taylor]: Taking taylor expansion of -1 in a 1.674 * [taylor]: Taking taylor expansion of b in a 1.674 * [taylor]: Taking taylor expansion of (- (exp (/ -1 b)) (exp (/ -1 a))) in a 1.674 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 1.674 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.674 * [taylor]: Taking taylor expansion of -1 in a 1.674 * [taylor]: Taking taylor expansion of b in a 1.674 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.674 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.674 * [taylor]: Taking taylor expansion of -1 in a 1.674 * [taylor]: Taking taylor expansion of a in a 1.674 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 2) in a 1.675 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.675 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.675 * [taylor]: Taking taylor expansion of -1 in a 1.675 * [taylor]: Taking taylor expansion of a in a 1.675 * [taylor]: Taking taylor expansion of (log (exp (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))))) in a 1.675 * [taylor]: Taking taylor expansion of (exp (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)))) in a 1.675 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))) in a 1.675 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.675 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.675 * [taylor]: Taking taylor expansion of -1 in a 1.675 * [taylor]: Taking taylor expansion of a in a 1.675 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)) in a 1.675 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 3) in a 1.675 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.675 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.675 * [taylor]: Taking taylor expansion of -1 in a 1.675 * [taylor]: Taking taylor expansion of a in a 1.676 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 3) in a 1.676 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 1.676 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.676 * [taylor]: Taking taylor expansion of -1 in a 1.676 * [taylor]: Taking taylor expansion of b in a 1.678 * [taylor]: Taking taylor expansion of (exp (/ (* (- (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) (* (exp (/ -1 b)) (exp (/ -1 a)))) (exp (/ -1 a))) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)))) in b 1.678 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) (* (exp (/ -1 b)) (exp (/ -1 a)))) (exp (/ -1 a))) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))) in b 1.679 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) (* (exp (/ -1 b)) (exp (/ -1 a)))) (exp (/ -1 a))) in b 1.679 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) (* (exp (/ -1 b)) (exp (/ -1 a)))) in b 1.679 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 b)) 2) (pow (exp (/ -1 a)) 2)) in b 1.679 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 2) in b 1.679 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.679 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.679 * [taylor]: Taking taylor expansion of -1 in b 1.679 * [taylor]: Taking taylor expansion of b in b 1.679 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 2) in b 1.679 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.679 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.679 * [taylor]: Taking taylor expansion of -1 in b 1.679 * [taylor]: Taking taylor expansion of a in b 1.679 * [taylor]: Taking taylor expansion of (* (exp (/ -1 b)) (exp (/ -1 a))) in b 1.679 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.679 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.679 * [taylor]: Taking taylor expansion of -1 in b 1.679 * [taylor]: Taking taylor expansion of b in b 1.680 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.680 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.680 * [taylor]: Taking taylor expansion of -1 in b 1.680 * [taylor]: Taking taylor expansion of a in b 1.680 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.680 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.680 * [taylor]: Taking taylor expansion of -1 in b 1.680 * [taylor]: Taking taylor expansion of a in b 1.680 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)) in b 1.680 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 3) in b 1.680 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.680 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.680 * [taylor]: Taking taylor expansion of -1 in b 1.680 * [taylor]: Taking taylor expansion of a in b 1.680 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 3) in b 1.680 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.680 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.680 * [taylor]: Taking taylor expansion of -1 in b 1.680 * [taylor]: Taking taylor expansion of b in b 1.690 * [taylor]: Taking taylor expansion of 0 in b 1.709 * [taylor]: Taking taylor expansion of 0 in b 1.733 * [taylor]: Taking taylor expansion of 0 in b 1.734 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1.734 * [approximate]: Taking taylor expansion of (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))) in (a b) around 0 1.734 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))) in b 1.734 * [taylor]: Taking taylor expansion of (exp a) in b 1.734 * [taylor]: Taking taylor expansion of a in b 1.734 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) (pow (exp a) 3)) in b 1.734 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 1.734 * [taylor]: Taking taylor expansion of (exp b) in b 1.734 * [taylor]: Taking taylor expansion of b in b 1.735 * [taylor]: Taking taylor expansion of (pow (exp a) 3) in b 1.735 * [taylor]: Taking taylor expansion of (exp a) in b 1.735 * [taylor]: Taking taylor expansion of a in b 1.735 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))) in a 1.735 * [taylor]: Taking taylor expansion of (exp a) in a 1.735 * [taylor]: Taking taylor expansion of a in a 1.735 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) (pow (exp a) 3)) in a 1.735 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in a 1.735 * [taylor]: Taking taylor expansion of (exp b) in a 1.736 * [taylor]: Taking taylor expansion of b in a 1.736 * [taylor]: Taking taylor expansion of (pow (exp a) 3) in a 1.736 * [taylor]: Taking taylor expansion of (exp a) in a 1.736 * [taylor]: Taking taylor expansion of a in a 1.736 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))) in a 1.736 * [taylor]: Taking taylor expansion of (exp a) in a 1.736 * [taylor]: Taking taylor expansion of a in a 1.736 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) (pow (exp a) 3)) in a 1.736 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in a 1.736 * [taylor]: Taking taylor expansion of (exp b) in a 1.737 * [taylor]: Taking taylor expansion of b in a 1.737 * [taylor]: Taking taylor expansion of (pow (exp a) 3) in a 1.737 * [taylor]: Taking taylor expansion of (exp a) in a 1.737 * [taylor]: Taking taylor expansion of a in a 1.737 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (exp b) 3) 1)) in b 1.737 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 1.737 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 1.737 * [taylor]: Taking taylor expansion of (exp b) in b 1.737 * [taylor]: Taking taylor expansion of b in b 1.738 * [taylor]: Taking taylor expansion of 1 in b 1.741 * [taylor]: Taking taylor expansion of (- (/ 1 (+ (pow (exp b) 3) 1)) (* 3 (/ 1 (pow (+ (pow (exp b) 3) 1) 2)))) in b 1.741 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (exp b) 3) 1)) in b 1.742 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 1.742 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 1.742 * [taylor]: Taking taylor expansion of (exp b) in b 1.742 * [taylor]: Taking taylor expansion of b in b 1.742 * [taylor]: Taking taylor expansion of 1 in b 1.743 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow (+ (pow (exp b) 3) 1) 2))) in b 1.743 * [taylor]: Taking taylor expansion of 3 in b 1.743 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (pow (exp b) 3) 1) 2)) in b 1.743 * [taylor]: Taking taylor expansion of (pow (+ (pow (exp b) 3) 1) 2) in b 1.743 * [taylor]: Taking taylor expansion of (+ (pow (exp b) 3) 1) in b 1.743 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 1.743 * [taylor]: Taking taylor expansion of (exp b) in b 1.743 * [taylor]: Taking taylor expansion of b in b 1.743 * [taylor]: Taking taylor expansion of 1 in b 1.747 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))) in (a b) around 0 1.747 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))) in b 1.747 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.747 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.747 * [taylor]: Taking taylor expansion of a in b 1.747 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)) in b 1.747 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 3) in b 1.747 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.747 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.747 * [taylor]: Taking taylor expansion of a in b 1.747 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 3) in b 1.747 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.747 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.747 * [taylor]: Taking taylor expansion of b in b 1.748 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))) in a 1.748 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.748 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.748 * [taylor]: Taking taylor expansion of a in a 1.748 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)) in a 1.749 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 3) in a 1.749 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.749 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.749 * [taylor]: Taking taylor expansion of a in a 1.749 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 3) in a 1.749 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 1.749 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.749 * [taylor]: Taking taylor expansion of b in a 1.750 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))) in a 1.750 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.750 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.750 * [taylor]: Taking taylor expansion of a in a 1.750 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)) in a 1.750 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 3) in a 1.750 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.750 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.750 * [taylor]: Taking taylor expansion of a in a 1.750 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 3) in a 1.750 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 1.750 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.750 * [taylor]: Taking taylor expansion of b in a 1.751 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3))) in b 1.751 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.751 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.751 * [taylor]: Taking taylor expansion of a in b 1.751 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 a)) 3) (pow (exp (/ 1 b)) 3)) in b 1.751 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 a)) 3) in b 1.751 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.751 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.751 * [taylor]: Taking taylor expansion of a in b 1.752 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 3) in b 1.752 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.752 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.752 * [taylor]: Taking taylor expansion of b in b 1.755 * [taylor]: Taking taylor expansion of 0 in b 1.760 * [taylor]: Taking taylor expansion of 0 in b 1.769 * [taylor]: Taking taylor expansion of 0 in b 1.770 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))) in (a b) around 0 1.770 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))) in b 1.770 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.770 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.770 * [taylor]: Taking taylor expansion of -1 in b 1.770 * [taylor]: Taking taylor expansion of a in b 1.770 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)) in b 1.770 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 3) in b 1.770 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.770 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.770 * [taylor]: Taking taylor expansion of -1 in b 1.770 * [taylor]: Taking taylor expansion of a in b 1.770 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 3) in b 1.770 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.770 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.770 * [taylor]: Taking taylor expansion of -1 in b 1.770 * [taylor]: Taking taylor expansion of b in b 1.771 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))) in a 1.771 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.771 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.771 * [taylor]: Taking taylor expansion of -1 in a 1.771 * [taylor]: Taking taylor expansion of a in a 1.772 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)) in a 1.772 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 3) in a 1.772 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.772 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.772 * [taylor]: Taking taylor expansion of -1 in a 1.772 * [taylor]: Taking taylor expansion of a in a 1.772 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 3) in a 1.772 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 1.772 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.772 * [taylor]: Taking taylor expansion of -1 in a 1.772 * [taylor]: Taking taylor expansion of b in a 1.773 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))) in a 1.773 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.773 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.773 * [taylor]: Taking taylor expansion of -1 in a 1.773 * [taylor]: Taking taylor expansion of a in a 1.773 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)) in a 1.773 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 3) in a 1.773 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.773 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.773 * [taylor]: Taking taylor expansion of -1 in a 1.773 * [taylor]: Taking taylor expansion of a in a 1.774 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 3) in a 1.774 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 1.774 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.774 * [taylor]: Taking taylor expansion of -1 in a 1.774 * [taylor]: Taking taylor expansion of b in a 1.775 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3))) in b 1.775 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.775 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.775 * [taylor]: Taking taylor expansion of -1 in b 1.775 * [taylor]: Taking taylor expansion of a in b 1.775 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 a)) 3) (pow (exp (/ -1 b)) 3)) in b 1.775 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 a)) 3) in b 1.775 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.775 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.775 * [taylor]: Taking taylor expansion of -1 in b 1.775 * [taylor]: Taking taylor expansion of a in b 1.775 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 3) in b 1.775 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.775 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.775 * [taylor]: Taking taylor expansion of -1 in b 1.775 * [taylor]: Taking taylor expansion of b in b 1.778 * [taylor]: Taking taylor expansion of 0 in b 1.784 * [taylor]: Taking taylor expansion of 0 in b 1.795 * [taylor]: Taking taylor expansion of 0 in b 1.795 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 2) 1.795 * [approximate]: Taking taylor expansion of (pow (exp b) 3) in (b) around 0 1.795 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 1.795 * [taylor]: Taking taylor expansion of (exp b) in b 1.795 * [taylor]: Taking taylor expansion of b in b 1.796 * [taylor]: Taking taylor expansion of (pow (exp b) 3) in b 1.796 * [taylor]: Taking taylor expansion of (exp b) in b 1.796 * [taylor]: Taking taylor expansion of b in b 1.799 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 b)) 3) in (b) around 0 1.799 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 3) in b 1.799 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.799 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.799 * [taylor]: Taking taylor expansion of b in b 1.800 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 b)) 3) in b 1.800 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.800 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.800 * [taylor]: Taking taylor expansion of b in b 1.809 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 b)) 3) in (b) around 0 1.809 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 3) in b 1.809 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.809 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.809 * [taylor]: Taking taylor expansion of -1 in b 1.809 * [taylor]: Taking taylor expansion of b in b 1.809 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 b)) 3) in b 1.809 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.810 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.810 * [taylor]: Taking taylor expansion of -1 in b 1.810 * [taylor]: Taking taylor expansion of b in b 1.819 * * * [progress]: simplifying candidates 1.822 * [simplify]: Simplifying using # : (fma (* (cbrt (exp b)) (cbrt (exp b))) (cbrt (exp b)) (- (* (cbrt (exp a)) (* (cbrt (exp a)) (cbrt (exp a)))))) (fma (- (cbrt (exp a))) (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (exp a)) (* (cbrt (exp a)) (cbrt (exp a))))) (fma (* (cbrt (exp b)) (cbrt (exp b))) (cbrt (exp b)) (- (* (sqrt (exp a)) (sqrt (exp a))))) (fma (- (sqrt (exp a))) (sqrt (exp a)) (* (sqrt (exp a)) (sqrt (exp a)))) (fma (* (cbrt (exp b)) (cbrt (exp b))) (cbrt (exp b)) (- (* (exp a) 1))) (fma (- (exp a)) 1 (* (exp a) 1)) (fma (sqrt (exp b)) (sqrt (exp b)) (- (* (cbrt (exp a)) (* (cbrt (exp a)) (cbrt (exp a)))))) (fma (- (cbrt (exp a))) (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (exp a)) (* (cbrt (exp a)) (cbrt (exp a))))) (fma (sqrt (exp b)) (sqrt (exp b)) (- (* (sqrt (exp a)) (sqrt (exp a))))) (fma (- (sqrt (exp a))) (sqrt (exp a)) (* (sqrt (exp a)) (sqrt (exp a)))) (fma (sqrt (exp b)) (sqrt (exp b)) (- (* (exp a) 1))) (fma (- (exp a)) 1 (* (exp a) 1)) (fma 1 (exp b) (- (* (cbrt (exp a)) (* (cbrt (exp a)) (cbrt (exp a)))))) (fma (- (cbrt (exp a))) (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (exp a)) (* (cbrt (exp a)) (cbrt (exp a))))) (fma 1 (exp b) (- (* (sqrt (exp a)) (sqrt (exp a))))) (fma (- (sqrt (exp a))) (sqrt (exp a)) (* (sqrt (exp a)) (sqrt (exp a)))) (fma 1 (exp b) (- (* (exp a) 1))) (fma (- (exp a)) 1 (* (exp a) 1)) (expm1 (- (exp b) (exp a))) (log1p (- (exp b) (exp a))) (- (exp a)) (- (exp a)) (- (exp a)) (/ (exp (exp b)) (exp (exp a))) (log (- (exp b) (exp a))) (exp (- (exp b) (exp a))) (* (cbrt (- (exp b) (exp a))) (cbrt (- (exp b) (exp a)))) (cbrt (- (exp b) (exp a))) (* (* (- (exp b) (exp a)) (- (exp b) (exp a))) (- (exp b) (exp a))) (sqrt (- (exp b) (exp a))) (sqrt (- (exp b) (exp a))) (- (pow (exp b) 3) (pow (exp a) 3)) (+ (* (exp b) (exp b)) (+ (* (exp a) (exp a)) (* (exp b) (exp a)))) (- (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp a))) (+ (exp b) (exp a)) (+ (sqrt (exp b)) (sqrt (exp a))) (- (sqrt (exp b)) (sqrt (exp a))) (- (exp b) (exp a)) (- (exp a)) (expm1 (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)))) (log1p (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (log (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* 1 (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (cbrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (sqrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (cbrt (exp a)) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (cbrt (exp a)) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (cbrt (exp a)) (+ (exp a) (exp b))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (sqrt (exp a)) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (sqrt (exp a)) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (sqrt (exp a)) (+ (exp a) (exp b))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (exp a) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (exp a) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (exp a) (+ (exp a) (exp b))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ 1 (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (+ (* (pow (exp a) 3) (pow (exp a) 3)) (- (* (pow (exp b) 3) (pow (exp b) 3)) (* (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (- (pow (exp a) 3) (pow (exp b) 3)) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (* (cbrt (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (cbrt (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))))) (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (sqrt (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)))) (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) 1) (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (* (exp b) (- (exp b) (exp a)))) (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (pow (exp a) 2)) (pow (* (cbrt (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))))) (cbrt (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (pow (cbrt (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (pow (sqrt (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (pow (sqrt (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (pow 1 (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (log (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)))) (exp (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)))) (* (cbrt (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)))) (cbrt (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))))) (cbrt (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)))) (* (* (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)))) (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)))) (sqrt (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)))) (sqrt (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)))) (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) 2)) (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) 2)) (expm1 (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (log1p (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (- a (log (+ (pow (exp a) 3) (pow (exp b) 3)))) (log (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (pow (exp a) 3) (pow (exp b) 3)) (+ (pow (exp a) 3) (pow (exp b) 3))) (+ (pow (exp a) 3) (pow (exp b) 3)))) (* (cbrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (cbrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))))) (cbrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (* (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (sqrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (sqrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (- (exp a)) (- (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))))) (/ (cbrt (exp a)) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (cbrt (exp a)) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (/ (cbrt (exp a)) (+ (exp a) (exp b))) (/ (* (cbrt (exp a)) (cbrt (exp a))) 1) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (pow 1 3)) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (pow 1 3)) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (pow 1 3)) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (pow 1 3)) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (cbrt (exp a)) (cbrt (exp a))) 1) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (sqrt (exp a)) (* (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))))) (/ (sqrt (exp a)) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (sqrt (exp a)) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (sqrt (exp a)) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (sqrt (exp a)) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (/ (sqrt (exp a)) (+ (exp a) (exp b))) (/ (sqrt (exp a)) 1) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (sqrt (exp a)) (pow 1 3)) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (sqrt (exp a)) (pow 1 3)) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (sqrt (exp a)) (pow 1 3)) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (sqrt (exp a)) (pow 1 3)) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (sqrt (exp a)) 1) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ 1 (* (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))))) (/ (exp a) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ 1 (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (exp a) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ 1 (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (/ (exp a) (+ (exp a) (exp b))) (/ 1 1) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ 1 (pow 1 3)) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ 1 (pow 1 3)) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ 1 (pow 1 3)) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ 1 (pow 1 3)) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ 1 1) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ 1 (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (+ (pow (exp a) 3) (pow (exp b) 3)) (exp a)) (/ (exp a) (* (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))))) (/ (exp a) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (exp a) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))) (/ (exp a) 1) (/ (exp a) (pow 1 3)) (/ (exp a) (pow 1 3)) (/ (exp a) (pow 1 3)) (/ (exp a) (pow 1 3)) (/ (exp a) 1) (/ (+ (pow (exp a) 3) (pow (exp b) 3)) (cbrt (exp a))) (/ (+ (pow (exp a) 3) (pow (exp b) 3)) (sqrt (exp a))) (/ (+ (pow (exp a) 3) (pow (exp b) 3)) (exp a)) (/ (exp a) (+ (pow (pow (exp a) 3) 3) (pow (pow (exp b) 3) 3))) (/ (exp a) (- (* (pow (exp a) 3) (pow (exp a) 3)) (* (pow (exp b) 3) (pow (exp b) 3)))) (expm1 (pow (exp b) 3)) (log1p (pow (exp b) 3)) (* b 3) (* (log (exp b)) 3) (* 1 3) (* (cbrt b) 3) (* (sqrt b) 3) (* b 3) (pow (exp b) (* (cbrt 3) (cbrt 3))) (pow (exp b) (sqrt 3)) (pow (exp b) 1) (pow (* (cbrt (exp b)) (cbrt (exp b))) 3) (pow (cbrt (exp b)) 3) (pow (sqrt (exp b)) 3) (pow (sqrt (exp b)) 3) (pow 1 3) (pow (exp b) 3) (* (exp b) (exp b)) (log (pow (exp b) 3)) (exp (pow (exp b) 3)) (* (cbrt (pow (exp b) 3)) (cbrt (pow (exp b) 3))) (cbrt (pow (exp b) 3)) (* (* (pow (exp b) 3) (pow (exp b) 3)) (pow (exp b) 3)) (pow (* (cbrt (exp b)) (cbrt (exp b))) 3) (pow (cbrt (exp b)) 3) (pow (sqrt (exp b)) 3) (pow (sqrt (exp b)) 3) (pow 1 3) (pow (exp b) 3) (* (exp b) (exp b)) (sqrt (pow (exp b) 3)) (sqrt (pow (exp b) 3)) (pow (exp b) (/ 3 2)) (pow (exp b) (/ 3 2)) (- (+ (* 1/2 (pow b 2)) b) a) (- (exp b) (exp a)) (- (exp b) (exp a)) (- (+ (exp 1/2) (* 1/4 (* a (exp 1/2)))) (* 1/4 (* b (exp 1/2)))) (exp (/ (* (- (+ (pow (exp b) 2) (pow (exp a) 2)) (* (exp b) (exp a))) (exp a)) (+ (pow (exp b) 3) (pow (exp a) 3)))) (exp (/ (* (- (+ (pow (exp b) 2) (pow (exp a) 2)) (* (exp b) (exp a))) (exp a)) (+ (pow (exp b) 3) (pow (exp a) 3)))) (- 1/2 (+ (* 1/4 a) (* 3/4 b))) (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))) (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))) (+ (* 9/2 (pow b 2)) (+ (* 3 b) 1)) (pow (exp b) 3) (pow (exp b) 3) 1.831 * * [simplify]: iteration 0 : 531 enodes (cost 1940 ) 1.842 * * [simplify]: iteration 1 : 2874 enodes (cost 1767 ) 1.908 * * [simplify]: iteration 2 : 5001 enodes (cost 1762 ) 1.916 * [simplify]: Simplified to: (- (exp b) (exp a)) (fma (- (exp a)) 1 (exp a)) (- (exp b) (exp a)) (fma (- (exp a)) 1 (exp a)) (- (exp b) (exp a)) (fma (- (exp a)) 1 (exp a)) (- (exp b) (exp a)) (fma (- (exp a)) 1 (exp a)) (- (exp b) (exp a)) (fma (- (exp a)) 1 (exp a)) (- (exp b) (exp a)) (fma (- (exp a)) 1 (exp a)) (- (exp b) (exp a)) (fma (- (exp a)) 1 (exp a)) (- (exp b) (exp a)) (fma (- (exp a)) 1 (exp a)) (- (exp b) (exp a)) (fma (- (exp a)) 1 (exp a)) (expm1 (- (exp b) (exp a))) (log1p (- (exp b) (exp a))) (- (exp a)) (- (exp a)) (- (exp a)) (exp (- (exp b) (exp a))) (log (- (exp b) (exp a))) (exp (- (exp b) (exp a))) (* (cbrt (- (exp b) (exp a))) (cbrt (- (exp b) (exp a)))) (cbrt (- (exp b) (exp a))) (pow (- (exp b) (exp a)) 3) (sqrt (- (exp b) (exp a))) (sqrt (- (exp b) (exp a))) (- (pow (exp b) 3) (pow (exp a) 3)) (fma (exp a) (+ (exp b) (exp a)) (pow (exp b) 2)) (- (exp a)) (- (pow (exp b) 2) (pow (exp a) 2)) (+ (exp b) (exp a)) (+ (sqrt (exp b)) (sqrt (exp a))) (- (sqrt (exp b)) (sqrt (exp a))) (- (exp b) (exp a)) (- (exp a)) (expm1 (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)))) (log1p (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (* (cbrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (sqrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (cbrt (exp a)) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (cbrt (exp a))) (hypot (pow (exp b) 3/2) (pow (exp a) 3/2))) (* (/ (cbrt (exp a)) (+ (exp a) (exp b))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (sqrt (exp a)) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (/ (* (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (sqrt (exp a))) (hypot (pow (exp b) 3/2) (pow (exp a) 3/2))) (* (/ (sqrt (exp a)) (+ (exp a) (exp b))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (exp a) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (/ (* (exp a) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (hypot (pow (exp b) 3/2) (pow (exp a) 3/2))) (* (/ (exp a) (+ (exp a) (exp b))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (/ (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) (+ (pow (exp a) 3) (pow (exp b) 3))) (* (fma (pow (exp b) 3) (- (pow (exp b) 3) (pow (exp a) 3)) (pow (exp a) 6)) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (- (pow (exp a) 3) (pow (exp b) 3)) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (* (cbrt (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (cbrt (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))))) (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (sqrt (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)))) (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (* (exp b) (- (exp b) (exp a)))) (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (pow (exp a) 2)) (pow (* (cbrt (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))))) (cbrt (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (pow (cbrt (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (pow (sqrt (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (pow (sqrt (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) 1 (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (exp (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)))) (* (cbrt (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)))) (cbrt (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))))) (cbrt (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)))) (pow (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) 3) (sqrt (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)))) (sqrt (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)))) (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) 2)) (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2)) 2)) (expm1 (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (log1p (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (- a (log (+ (pow (exp a) 3) (pow (exp b) 3)))) (- a (log (+ (pow (exp a) 3) (pow (exp b) 3)))) (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (pow (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) 3) (* (cbrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (cbrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))))) (cbrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (pow (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) 3) (sqrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (sqrt (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (- (exp a)) (- (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))))) (/ (cbrt (exp a)) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (cbrt (exp a)) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (* (/ (cbrt (exp a)) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))) (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (sqrt (exp a)) (* (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))))) (/ (sqrt (exp a)) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (sqrt (exp a)) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (sqrt (exp a)) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (sqrt (exp a)) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (/ (sqrt (exp a)) (+ (exp a) (exp b))) (sqrt (exp a)) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (sqrt (exp a)) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (sqrt (exp a)) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (sqrt (exp a)) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (sqrt (exp a)) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (sqrt (exp a)) (/ (sqrt (exp a)) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ 1 (* (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))))) (/ (exp a) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ 1 (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (exp a) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ 1 (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (/ (exp a) (+ (exp a) (exp b))) 1 (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) 1 (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) 1 (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) 1 (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) 1 (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) 1 (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ 1 (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (+ (pow (exp b) 3) (pow (exp a) 3)) (exp a)) (/ (exp a) (* (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))) (cbrt (+ (pow (exp a) 3) (pow (exp b) 3))))) (/ (exp a) (sqrt (+ (pow (exp a) 3) (pow (exp b) 3)))) (/ (exp a) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (exp a) (exp a) (exp a) (exp a) (exp a) (exp a) (/ (+ (pow (exp a) 3) (pow (exp b) 3)) (cbrt (exp a))) (/ (+ (pow (exp a) 3) (pow (exp b) 3)) (sqrt (exp a))) (/ (+ (pow (exp b) 3) (pow (exp a) 3)) (exp a)) (/ (exp a) (+ (pow (pow (exp a) 3) 3) (pow (pow (exp b) 3) 3))) (/ (exp a) (/ (+ (pow (exp a) 6) (- (* (pow (exp b) 3) (pow (exp b) 3)))) 1)) (expm1 (pow (exp b) 3)) (log1p (pow (exp b) 3)) (* b 3) (* b 3) 3 (* (cbrt b) 3) (* (sqrt b) 3) (* b 3) (pow (exp b) (* (cbrt 3) (cbrt 3))) (pow (exp b) (sqrt 3)) (exp b) (pow (exp b) 2) (exp b) (pow (exp b) 3/2) (pow (exp b) 3/2) 1 (pow (exp b) 3) (pow (exp b) 2) (* b 3) (exp (pow (exp b) 3)) (pow (exp b) 2) (exp b) (pow (pow (exp b) 3) 3) (pow (exp b) 2) (exp b) (pow (exp b) 3/2) (pow (exp b) 3/2) 1 (pow (exp b) 3) (pow (exp b) 2) (sqrt (pow (exp b) 3)) (sqrt (pow (exp b) 3)) (pow (exp b) 3/2) (pow (exp b) 3/2) (fma (pow b 2) 1/2 (- b a)) (- (exp b) (exp a)) (- (exp b) (exp a)) (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)) (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (pow (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))) (fma (exp b) (- (exp b) (exp a)) (pow (exp a) 2))) (- 1/2 (fma 1/4 a (* 3/4 b))) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma 9/2 (pow b 2) (fma 3 b 1)) (pow (exp b) 3) (pow (exp b) 3) 1.917 * * * [progress]: adding candidates to table 2.456 * * [progress]: iteration 4 / 4 2.456 * * * [progress]: picking best candidate 2.460 * * * * [pick]: Picked # 2.460 * * * [progress]: localizing error 2.471 * * * [progress]: generating rewritten candidates 2.471 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 2.471 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.473 * * * [progress]: generating series expansions 2.473 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 2.474 * [approximate]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)) in (a b) around 0 2.474 * [taylor]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)) in b 2.474 * [taylor]: Rewrote expression to (+ (* (exp 1/2) (- (* 1/4 a) (* 1/4 b))) (exp 1/2)) 2.474 * [taylor]: Taking taylor expansion of (* (exp 1/2) (- (* 1/4 a) (* 1/4 b))) in b 2.474 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.474 * [taylor]: Taking taylor expansion of 1/2 in b 2.474 * [taylor]: Taking taylor expansion of (- (* 1/4 a) (* 1/4 b)) in b 2.474 * [taylor]: Taking taylor expansion of (* 1/4 a) in b 2.474 * [taylor]: Taking taylor expansion of 1/4 in b 2.474 * [taylor]: Taking taylor expansion of a in b 2.474 * [taylor]: Taking taylor expansion of (* 1/4 b) in b 2.474 * [taylor]: Taking taylor expansion of 1/4 in b 2.474 * [taylor]: Taking taylor expansion of b in b 2.474 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.474 * [taylor]: Taking taylor expansion of 1/2 in b 2.475 * [taylor]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)) in a 2.475 * [taylor]: Rewrote expression to (+ (* (exp 1/2) (- (* 1/4 a) (* 1/4 b))) (exp 1/2)) 2.475 * [taylor]: Taking taylor expansion of (* (exp 1/2) (- (* 1/4 a) (* 1/4 b))) in a 2.475 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.475 * [taylor]: Taking taylor expansion of 1/2 in a 2.475 * [taylor]: Taking taylor expansion of (- (* 1/4 a) (* 1/4 b)) in a 2.475 * [taylor]: Taking taylor expansion of (* 1/4 a) in a 2.475 * [taylor]: Taking taylor expansion of 1/4 in a 2.475 * [taylor]: Taking taylor expansion of a in a 2.475 * [taylor]: Taking taylor expansion of (* 1/4 b) in a 2.475 * [taylor]: Taking taylor expansion of 1/4 in a 2.475 * [taylor]: Taking taylor expansion of b in a 2.475 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.475 * [taylor]: Taking taylor expansion of 1/2 in a 2.476 * [taylor]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)) in a 2.476 * [taylor]: Rewrote expression to (+ (* (exp 1/2) (- (* 1/4 a) (* 1/4 b))) (exp 1/2)) 2.476 * [taylor]: Taking taylor expansion of (* (exp 1/2) (- (* 1/4 a) (* 1/4 b))) in a 2.476 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.476 * [taylor]: Taking taylor expansion of 1/2 in a 2.476 * [taylor]: Taking taylor expansion of (- (* 1/4 a) (* 1/4 b)) in a 2.476 * [taylor]: Taking taylor expansion of (* 1/4 a) in a 2.476 * [taylor]: Taking taylor expansion of 1/4 in a 2.476 * [taylor]: Taking taylor expansion of a in a 2.476 * [taylor]: Taking taylor expansion of (* 1/4 b) in a 2.476 * [taylor]: Taking taylor expansion of 1/4 in a 2.476 * [taylor]: Taking taylor expansion of b in a 2.476 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.476 * [taylor]: Taking taylor expansion of 1/2 in a 2.478 * [taylor]: Taking taylor expansion of (- (exp 1/2) (* 1/4 (* b (exp 1/2)))) in b 2.478 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.478 * [taylor]: Taking taylor expansion of 1/2 in b 2.478 * [taylor]: Taking taylor expansion of (* 1/4 (* b (exp 1/2))) in b 2.478 * [taylor]: Taking taylor expansion of 1/4 in b 2.478 * [taylor]: Taking taylor expansion of (* b (exp 1/2)) in b 2.478 * [taylor]: Taking taylor expansion of b in b 2.478 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.478 * [taylor]: Taking taylor expansion of 1/2 in b 2.484 * [taylor]: Taking taylor expansion of (* 1/4 (exp 1/2)) in b 2.484 * [taylor]: Taking taylor expansion of 1/4 in b 2.484 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.484 * [taylor]: Taking taylor expansion of 1/2 in b 2.495 * [approximate]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b))) (exp 1/2)) in (a b) around 0 2.495 * [taylor]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b))) (exp 1/2)) in b 2.495 * [taylor]: Rewrote expression to (+ (* (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b)))) (exp 1/2)) 2.495 * [taylor]: Taking taylor expansion of (* (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b)))) in b 2.495 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.495 * [taylor]: Taking taylor expansion of 1/2 in b 2.495 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b))) in b 2.495 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 a)) in b 2.495 * [taylor]: Taking taylor expansion of 1/4 in b 2.495 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.495 * [taylor]: Taking taylor expansion of a in b 2.495 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 b)) in b 2.495 * [taylor]: Taking taylor expansion of 1/4 in b 2.495 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.495 * [taylor]: Taking taylor expansion of b in b 2.496 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.496 * [taylor]: Taking taylor expansion of 1/2 in b 2.496 * [taylor]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b))) (exp 1/2)) in a 2.496 * [taylor]: Rewrote expression to (+ (* (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b)))) (exp 1/2)) 2.496 * [taylor]: Taking taylor expansion of (* (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b)))) in a 2.496 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.496 * [taylor]: Taking taylor expansion of 1/2 in a 2.496 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b))) in a 2.496 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 a)) in a 2.496 * [taylor]: Taking taylor expansion of 1/4 in a 2.496 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.496 * [taylor]: Taking taylor expansion of a in a 2.497 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 b)) in a 2.497 * [taylor]: Taking taylor expansion of 1/4 in a 2.497 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.497 * [taylor]: Taking taylor expansion of b in a 2.497 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.497 * [taylor]: Taking taylor expansion of 1/2 in a 2.497 * [taylor]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b))) (exp 1/2)) in a 2.497 * [taylor]: Rewrote expression to (+ (* (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b)))) (exp 1/2)) 2.497 * [taylor]: Taking taylor expansion of (* (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b)))) in a 2.497 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.497 * [taylor]: Taking taylor expansion of 1/2 in a 2.498 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b))) in a 2.498 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 a)) in a 2.498 * [taylor]: Taking taylor expansion of 1/4 in a 2.498 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.498 * [taylor]: Taking taylor expansion of a in a 2.498 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 b)) in a 2.498 * [taylor]: Taking taylor expansion of 1/4 in a 2.498 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.498 * [taylor]: Taking taylor expansion of b in a 2.498 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.498 * [taylor]: Taking taylor expansion of 1/2 in a 2.500 * [taylor]: Taking taylor expansion of (* 1/4 (exp 1/2)) in b 2.500 * [taylor]: Taking taylor expansion of 1/4 in b 2.500 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.500 * [taylor]: Taking taylor expansion of 1/2 in b 2.506 * [taylor]: Taking taylor expansion of (- (exp 1/2) (* 1/4 (/ (exp 1/2) b))) in b 2.506 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.506 * [taylor]: Taking taylor expansion of 1/2 in b 2.506 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp 1/2) b)) in b 2.506 * [taylor]: Taking taylor expansion of 1/4 in b 2.506 * [taylor]: Taking taylor expansion of (/ (exp 1/2) b) in b 2.506 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.506 * [taylor]: Taking taylor expansion of 1/2 in b 2.507 * [taylor]: Taking taylor expansion of b in b 2.516 * [taylor]: Taking taylor expansion of 0 in b 2.521 * [approximate]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a))) (exp 1/2)) in (a b) around 0 2.521 * [taylor]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a))) (exp 1/2)) in b 2.521 * [taylor]: Rewrote expression to (+ (* (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a)))) (exp 1/2)) 2.521 * [taylor]: Taking taylor expansion of (* (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a)))) in b 2.521 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.521 * [taylor]: Taking taylor expansion of 1/2 in b 2.522 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a))) in b 2.522 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 b)) in b 2.522 * [taylor]: Taking taylor expansion of 1/4 in b 2.522 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.522 * [taylor]: Taking taylor expansion of b in b 2.522 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 a)) in b 2.522 * [taylor]: Taking taylor expansion of 1/4 in b 2.522 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.522 * [taylor]: Taking taylor expansion of a in b 2.522 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.522 * [taylor]: Taking taylor expansion of 1/2 in b 2.523 * [taylor]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a))) (exp 1/2)) in a 2.523 * [taylor]: Rewrote expression to (+ (* (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a)))) (exp 1/2)) 2.523 * [taylor]: Taking taylor expansion of (* (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a)))) in a 2.523 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.523 * [taylor]: Taking taylor expansion of 1/2 in a 2.523 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a))) in a 2.523 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 b)) in a 2.523 * [taylor]: Taking taylor expansion of 1/4 in a 2.523 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.523 * [taylor]: Taking taylor expansion of b in a 2.523 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 a)) in a 2.523 * [taylor]: Taking taylor expansion of 1/4 in a 2.523 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.523 * [taylor]: Taking taylor expansion of a in a 2.523 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.524 * [taylor]: Taking taylor expansion of 1/2 in a 2.524 * [taylor]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a))) (exp 1/2)) in a 2.524 * [taylor]: Rewrote expression to (+ (* (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a)))) (exp 1/2)) 2.524 * [taylor]: Taking taylor expansion of (* (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a)))) in a 2.524 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.524 * [taylor]: Taking taylor expansion of 1/2 in a 2.524 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a))) in a 2.524 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 b)) in a 2.524 * [taylor]: Taking taylor expansion of 1/4 in a 2.524 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.524 * [taylor]: Taking taylor expansion of b in a 2.524 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 a)) in a 2.524 * [taylor]: Taking taylor expansion of 1/4 in a 2.524 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.524 * [taylor]: Taking taylor expansion of a in a 2.525 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.525 * [taylor]: Taking taylor expansion of 1/2 in a 2.527 * [taylor]: Taking taylor expansion of (- (* 1/4 (exp 1/2))) in b 2.527 * [taylor]: Taking taylor expansion of (* 1/4 (exp 1/2)) in b 2.527 * [taylor]: Taking taylor expansion of 1/4 in b 2.527 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.527 * [taylor]: Taking taylor expansion of 1/2 in b 2.530 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ (exp 1/2) b)) (exp 1/2)) in b 2.530 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp 1/2) b)) in b 2.530 * [taylor]: Taking taylor expansion of 1/4 in b 2.530 * [taylor]: Taking taylor expansion of (/ (exp 1/2) b) in b 2.530 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.530 * [taylor]: Taking taylor expansion of 1/2 in b 2.531 * [taylor]: Taking taylor expansion of b in b 2.531 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.531 * [taylor]: Taking taylor expansion of 1/2 in b 2.540 * [taylor]: Taking taylor expansion of 0 in b 2.544 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.545 * [approximate]: Taking taylor expansion of (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) in (a b) around 0 2.545 * [taylor]: Taking taylor expansion of (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) in b 2.545 * [taylor]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)) in b 2.545 * [taylor]: Rewrote expression to (+ (* (exp 1/2) (- (* 1/4 a) (* 1/4 b))) (exp 1/2)) 2.545 * [taylor]: Taking taylor expansion of (* (exp 1/2) (- (* 1/4 a) (* 1/4 b))) in b 2.545 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.545 * [taylor]: Taking taylor expansion of 1/2 in b 2.545 * [taylor]: Taking taylor expansion of (- (* 1/4 a) (* 1/4 b)) in b 2.545 * [taylor]: Taking taylor expansion of (* 1/4 a) in b 2.545 * [taylor]: Taking taylor expansion of 1/4 in b 2.545 * [taylor]: Taking taylor expansion of a in b 2.545 * [taylor]: Taking taylor expansion of (* 1/4 b) in b 2.545 * [taylor]: Taking taylor expansion of 1/4 in b 2.545 * [taylor]: Taking taylor expansion of b in b 2.545 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.545 * [taylor]: Taking taylor expansion of 1/2 in b 2.547 * [taylor]: Taking taylor expansion of (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) in a 2.548 * [taylor]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)) in a 2.548 * [taylor]: Rewrote expression to (+ (* (exp 1/2) (- (* 1/4 a) (* 1/4 b))) (exp 1/2)) 2.548 * [taylor]: Taking taylor expansion of (* (exp 1/2) (- (* 1/4 a) (* 1/4 b))) in a 2.548 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.548 * [taylor]: Taking taylor expansion of 1/2 in a 2.548 * [taylor]: Taking taylor expansion of (- (* 1/4 a) (* 1/4 b)) in a 2.548 * [taylor]: Taking taylor expansion of (* 1/4 a) in a 2.548 * [taylor]: Taking taylor expansion of 1/4 in a 2.548 * [taylor]: Taking taylor expansion of a in a 2.548 * [taylor]: Taking taylor expansion of (* 1/4 b) in a 2.548 * [taylor]: Taking taylor expansion of 1/4 in a 2.548 * [taylor]: Taking taylor expansion of b in a 2.548 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.548 * [taylor]: Taking taylor expansion of 1/2 in a 2.550 * [taylor]: Taking taylor expansion of (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) in a 2.550 * [taylor]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)) in a 2.550 * [taylor]: Rewrote expression to (+ (* (exp 1/2) (- (* 1/4 a) (* 1/4 b))) (exp 1/2)) 2.550 * [taylor]: Taking taylor expansion of (* (exp 1/2) (- (* 1/4 a) (* 1/4 b))) in a 2.550 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.550 * [taylor]: Taking taylor expansion of 1/2 in a 2.550 * [taylor]: Taking taylor expansion of (- (* 1/4 a) (* 1/4 b)) in a 2.551 * [taylor]: Taking taylor expansion of (* 1/4 a) in a 2.551 * [taylor]: Taking taylor expansion of 1/4 in a 2.551 * [taylor]: Taking taylor expansion of a in a 2.551 * [taylor]: Taking taylor expansion of (* 1/4 b) in a 2.551 * [taylor]: Taking taylor expansion of 1/4 in a 2.551 * [taylor]: Taking taylor expansion of b in a 2.551 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.551 * [taylor]: Taking taylor expansion of 1/2 in a 2.553 * [taylor]: Taking taylor expansion of (log (- (exp 1/2) (* 1/4 (* b (exp 1/2))))) in b 2.553 * [taylor]: Taking taylor expansion of (- (exp 1/2) (* 1/4 (* b (exp 1/2)))) in b 2.553 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.553 * [taylor]: Taking taylor expansion of 1/2 in b 2.553 * [taylor]: Taking taylor expansion of (* 1/4 (* b (exp 1/2))) in b 2.553 * [taylor]: Taking taylor expansion of 1/4 in b 2.553 * [taylor]: Taking taylor expansion of (* b (exp 1/2)) in b 2.553 * [taylor]: Taking taylor expansion of b in b 2.553 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.553 * [taylor]: Taking taylor expansion of 1/2 in b 2.562 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp 1/2) (- (exp 1/2) (* 1/4 (* b (exp 1/2)))))) in b 2.562 * [taylor]: Taking taylor expansion of 1/4 in b 2.562 * [taylor]: Taking taylor expansion of (/ (exp 1/2) (- (exp 1/2) (* 1/4 (* b (exp 1/2))))) in b 2.562 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.562 * [taylor]: Taking taylor expansion of 1/2 in b 2.562 * [taylor]: Taking taylor expansion of (- (exp 1/2) (* 1/4 (* b (exp 1/2)))) in b 2.562 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.562 * [taylor]: Taking taylor expansion of 1/2 in b 2.563 * [taylor]: Taking taylor expansion of (* 1/4 (* b (exp 1/2))) in b 2.563 * [taylor]: Taking taylor expansion of 1/4 in b 2.563 * [taylor]: Taking taylor expansion of (* b (exp 1/2)) in b 2.563 * [taylor]: Taking taylor expansion of b in b 2.563 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.563 * [taylor]: Taking taylor expansion of 1/2 in b 2.578 * [approximate]: Taking taylor expansion of (log (fma (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b))) (exp 1/2))) in (a b) around 0 2.579 * [taylor]: Taking taylor expansion of (log (fma (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b))) (exp 1/2))) in b 2.579 * [taylor]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b))) (exp 1/2)) in b 2.579 * [taylor]: Rewrote expression to (+ (* (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b)))) (exp 1/2)) 2.579 * [taylor]: Taking taylor expansion of (* (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b)))) in b 2.579 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.579 * [taylor]: Taking taylor expansion of 1/2 in b 2.579 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b))) in b 2.579 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 a)) in b 2.579 * [taylor]: Taking taylor expansion of 1/4 in b 2.579 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.579 * [taylor]: Taking taylor expansion of a in b 2.579 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 b)) in b 2.579 * [taylor]: Taking taylor expansion of 1/4 in b 2.579 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.579 * [taylor]: Taking taylor expansion of b in b 2.579 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.579 * [taylor]: Taking taylor expansion of 1/2 in b 2.583 * [taylor]: Taking taylor expansion of (log (fma (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b))) (exp 1/2))) in a 2.583 * [taylor]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b))) (exp 1/2)) in a 2.583 * [taylor]: Rewrote expression to (+ (* (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b)))) (exp 1/2)) 2.583 * [taylor]: Taking taylor expansion of (* (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b)))) in a 2.583 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.583 * [taylor]: Taking taylor expansion of 1/2 in a 2.584 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b))) in a 2.584 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 a)) in a 2.584 * [taylor]: Taking taylor expansion of 1/4 in a 2.584 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.584 * [taylor]: Taking taylor expansion of a in a 2.584 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 b)) in a 2.584 * [taylor]: Taking taylor expansion of 1/4 in a 2.584 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.584 * [taylor]: Taking taylor expansion of b in a 2.584 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.584 * [taylor]: Taking taylor expansion of 1/2 in a 2.590 * [taylor]: Taking taylor expansion of (log (fma (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b))) (exp 1/2))) in a 2.590 * [taylor]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b))) (exp 1/2)) in a 2.590 * [taylor]: Rewrote expression to (+ (* (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b)))) (exp 1/2)) 2.590 * [taylor]: Taking taylor expansion of (* (exp 1/2) (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b)))) in a 2.590 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.590 * [taylor]: Taking taylor expansion of 1/2 in a 2.590 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ 1 a)) (* 1/4 (/ 1 b))) in a 2.591 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 a)) in a 2.591 * [taylor]: Taking taylor expansion of 1/4 in a 2.591 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.591 * [taylor]: Taking taylor expansion of a in a 2.591 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 b)) in a 2.591 * [taylor]: Taking taylor expansion of 1/4 in a 2.591 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.591 * [taylor]: Taking taylor expansion of b in a 2.591 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.591 * [taylor]: Taking taylor expansion of 1/2 in a 2.595 * [taylor]: Taking taylor expansion of (- (log (* 1/4 (exp 1/2))) (log a)) in b 2.595 * [taylor]: Taking taylor expansion of (log (* 1/4 (exp 1/2))) in b 2.595 * [taylor]: Taking taylor expansion of (* 1/4 (exp 1/2)) in b 2.595 * [taylor]: Taking taylor expansion of 1/4 in b 2.595 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.595 * [taylor]: Taking taylor expansion of 1/2 in b 2.597 * [taylor]: Taking taylor expansion of (log a) in b 2.597 * [taylor]: Taking taylor expansion of a in b 2.603 * [taylor]: Taking taylor expansion of (- 4 (/ 1 b)) in b 2.603 * [taylor]: Taking taylor expansion of 4 in b 2.603 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.603 * [taylor]: Taking taylor expansion of b in b 2.614 * [taylor]: Taking taylor expansion of (* 1/2 (- (* 8 (/ 1 b)) (+ (/ 1 (pow b 2)) 16))) in b 2.614 * [taylor]: Taking taylor expansion of 1/2 in b 2.614 * [taylor]: Taking taylor expansion of (- (* 8 (/ 1 b)) (+ (/ 1 (pow b 2)) 16)) in b 2.614 * [taylor]: Taking taylor expansion of (* 8 (/ 1 b)) in b 2.614 * [taylor]: Taking taylor expansion of 8 in b 2.614 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.614 * [taylor]: Taking taylor expansion of b in b 2.614 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) 16) in b 2.614 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 2.614 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.614 * [taylor]: Taking taylor expansion of b in b 2.615 * [taylor]: Taking taylor expansion of 16 in b 2.622 * [approximate]: Taking taylor expansion of (log (fma (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a))) (exp 1/2))) in (a b) around 0 2.622 * [taylor]: Taking taylor expansion of (log (fma (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a))) (exp 1/2))) in b 2.622 * [taylor]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a))) (exp 1/2)) in b 2.622 * [taylor]: Rewrote expression to (+ (* (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a)))) (exp 1/2)) 2.622 * [taylor]: Taking taylor expansion of (* (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a)))) in b 2.622 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.622 * [taylor]: Taking taylor expansion of 1/2 in b 2.623 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a))) in b 2.623 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 b)) in b 2.623 * [taylor]: Taking taylor expansion of 1/4 in b 2.623 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.623 * [taylor]: Taking taylor expansion of b in b 2.623 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 a)) in b 2.623 * [taylor]: Taking taylor expansion of 1/4 in b 2.623 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.623 * [taylor]: Taking taylor expansion of a in b 2.623 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.623 * [taylor]: Taking taylor expansion of 1/2 in b 2.626 * [taylor]: Taking taylor expansion of (log (fma (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a))) (exp 1/2))) in a 2.626 * [taylor]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a))) (exp 1/2)) in a 2.626 * [taylor]: Rewrote expression to (+ (* (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a)))) (exp 1/2)) 2.626 * [taylor]: Taking taylor expansion of (* (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a)))) in a 2.626 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.626 * [taylor]: Taking taylor expansion of 1/2 in a 2.627 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a))) in a 2.627 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 b)) in a 2.627 * [taylor]: Taking taylor expansion of 1/4 in a 2.627 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.627 * [taylor]: Taking taylor expansion of b in a 2.627 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 a)) in a 2.627 * [taylor]: Taking taylor expansion of 1/4 in a 2.627 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.627 * [taylor]: Taking taylor expansion of a in a 2.627 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.627 * [taylor]: Taking taylor expansion of 1/2 in a 2.631 * [taylor]: Taking taylor expansion of (log (fma (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a))) (exp 1/2))) in a 2.631 * [taylor]: Taking taylor expansion of (fma (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a))) (exp 1/2)) in a 2.631 * [taylor]: Rewrote expression to (+ (* (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a)))) (exp 1/2)) 2.631 * [taylor]: Taking taylor expansion of (* (exp 1/2) (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a)))) in a 2.631 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.631 * [taylor]: Taking taylor expansion of 1/2 in a 2.631 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ 1 b)) (* 1/4 (/ 1 a))) in a 2.631 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 b)) in a 2.631 * [taylor]: Taking taylor expansion of 1/4 in a 2.631 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.631 * [taylor]: Taking taylor expansion of b in a 2.631 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 a)) in a 2.631 * [taylor]: Taking taylor expansion of 1/4 in a 2.631 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.631 * [taylor]: Taking taylor expansion of a in a 2.632 * [taylor]: Taking taylor expansion of (exp 1/2) in a 2.632 * [taylor]: Taking taylor expansion of 1/2 in a 2.637 * [taylor]: Taking taylor expansion of (- (log (- (* 1/4 (exp 1/2)))) (log a)) in b 2.637 * [taylor]: Taking taylor expansion of (log (- (* 1/4 (exp 1/2)))) in b 2.637 * [taylor]: Taking taylor expansion of (- (* 1/4 (exp 1/2))) in b 2.637 * [taylor]: Taking taylor expansion of (* 1/4 (exp 1/2)) in b 2.637 * [taylor]: Taking taylor expansion of 1/4 in b 2.637 * [taylor]: Taking taylor expansion of (exp 1/2) in b 2.637 * [taylor]: Taking taylor expansion of 1/2 in b 2.641 * [taylor]: Taking taylor expansion of (log a) in b 2.641 * [taylor]: Taking taylor expansion of a in b 2.648 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 b) 4)) in b 2.648 * [taylor]: Taking taylor expansion of -1 in b 2.648 * [taylor]: Taking taylor expansion of (+ (/ 1 b) 4) in b 2.648 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.648 * [taylor]: Taking taylor expansion of b in b 2.649 * [taylor]: Taking taylor expansion of 4 in b 2.661 * [taylor]: Taking taylor expansion of (* -1/2 (+ (/ 1 (pow b 2)) (+ (* 8 (/ 1 b)) 16))) in b 2.661 * [taylor]: Taking taylor expansion of -1/2 in b 2.661 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 8 (/ 1 b)) 16)) in b 2.661 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 2.661 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.661 * [taylor]: Taking taylor expansion of b in b 2.662 * [taylor]: Taking taylor expansion of (+ (* 8 (/ 1 b)) 16) in b 2.662 * [taylor]: Taking taylor expansion of (* 8 (/ 1 b)) in b 2.662 * [taylor]: Taking taylor expansion of 8 in b 2.662 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.662 * [taylor]: Taking taylor expansion of b in b 2.662 * [taylor]: Taking taylor expansion of 16 in b 2.671 * * * [progress]: simplifying candidates 2.671 * [simplify]: Simplifying using # : (expm1 (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) (log1p (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) (* (exp 1/2) (- (* 1/4 a) (* 1/4 b))) (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) (exp (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) (* (cbrt (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) (cbrt (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (cbrt (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) (* (* (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)) (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) (sqrt (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) (sqrt (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) (expm1 (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (log1p (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (log (* (cbrt (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) (cbrt (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))))) (log (cbrt (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (log (sqrt (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (log (sqrt (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (log 1) (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) (log (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (exp (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (* (cbrt (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (cbrt (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))))) (cbrt (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (* (* (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (sqrt (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (sqrt (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (- (+ (exp 1/2) (* 1/4 (* a (exp 1/2)))) (* 1/4 (* b (exp 1/2)))) (- (+ (* 1/4 (* a (exp 1/2))) (exp 1/2)) (* 1/4 (* b (exp 1/2)))) (- (+ (* 1/4 (* a (exp 1/2))) (exp 1/2)) (* 1/4 (* b (exp 1/2)))) (- (+ (* 1/4 a) 1/2) (* 1/4 b)) (- (+ (log (* 1/4 (exp 1/2))) (* 4 (/ 1 a))) (+ (log (/ 1 a)) (* 8 (/ 1 (pow a 2))))) (- (+ (log (- (* 1/4 (exp 1/2)))) (* 4 (/ 1 a))) (+ (* 8 (/ 1 (pow a 2))) (log (/ -1 a)))) 2.675 * * [simplify]: iteration 0 : 138 enodes (cost 294 ) 2.678 * * [simplify]: iteration 1 : 351 enodes (cost 239 ) 2.685 * * [simplify]: iteration 2 : 1343 enodes (cost 222 ) 2.710 * * [simplify]: iteration 3 : 5001 enodes (cost 216 ) 2.712 * [simplify]: Simplified to: (expm1 (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) (log1p (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) (* (* 1/4 (- a b)) (exp 1/2)) (+ (log (fma 1/4 (- a b) 1)) 1/2) (pow (exp (fma 1/4 (- a b) 1)) (exp 1/2)) (* (cbrt (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) (cbrt (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (cbrt (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) (pow (* (exp 1/2) (fma 1/4 (- a b) 1)) 3) (sqrt (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) (sqrt (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))) (expm1 (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (log1p (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (* 2 (log (cbrt (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))))) (log (cbrt (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (log (sqrt (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (log (sqrt (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) 0 (+ (log (fma 1/4 (- a b) 1)) 1/2) (+ (log (fma 1/4 (- a b) 1)) 1/2) (log (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (* (exp 1/2) (fma 1/4 (- a b) 1)) (* (cbrt (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (cbrt (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2))))) (cbrt (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (pow (+ (log (fma 1/4 (- a b) 1)) 1/2) 3) (sqrt (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (sqrt (log (fma (exp 1/2) (- (* 1/4 a) (* 1/4 b)) (exp 1/2)))) (* (exp 1/2) (fma 1/4 (- a b) 1)) (* (exp 1/2) (fma 1/4 (- a b) 1)) (* (exp 1/2) (fma 1/4 (- a b) 1)) (fma 1/4 (- a b) 1/2) (+ (fma (/ 1 a) (- 4 (/ 8 a)) (log a)) (fma 1/2 1 (log 1/4))) (+ (+ (- (- (/ 4 a) (/ 8 (pow a 2))) (log (/ -1 a))) (log (- 1/4))) 1/2) 2.712 * * * [progress]: adding candidates to table 2.784 * [progress]: [Phase 3 of 3] Extracting. 2.784 * * [regime]: Finding splitpoints for: (# # # #) 2.784 * * * [regime-changes]: Trying 5 branch expressions: ((exp b) (exp a) (/ (exp a) (+ (exp a) (exp b))) b a) 2.784 * * * * [regimes]: Trying to branch on (exp b) from (# # # #) 2.802 * * * * [regimes]: Trying to branch on (exp a) from (# # # #) 2.822 * * * * [regimes]: Trying to branch on (/ (exp a) (+ (exp a) (exp b))) from (# # # #) 2.844 * * * * [regimes]: Trying to branch on b from (# # # #) 2.863 * * * * [regimes]: Trying to branch on a from (# # # #) 2.881 * * * [regime]: Found split indices: #