12.829 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.023 * * * [progress]: [2/2] Setting up program. 0.025 * [progress]: [Phase 2 of 3] Improving. 0.025 * [simplify]: Simplifying using # : (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) 0.027 * * [simplify]: iteration 0 : 31 enodes (cost 12 ) 0.029 * * [simplify]: iteration 1 : 168 enodes (cost 11 ) 0.033 * * [simplify]: iteration 2 : 965 enodes (cost 9 ) 0.055 * * [simplify]: iteration 3 : 5001 enodes (cost 8 ) 0.055 * [simplify]: Simplified to: (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 0.059 * * [progress]: iteration 1 / 4 0.059 * * * [progress]: picking best candidate 0.060 * * * * [pick]: Picked # 0.060 * * * [progress]: localizing error 0.068 * * * [progress]: generating rewritten candidates 0.068 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.089 * * * [progress]: generating series expansions 0.089 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.090 * [approximate]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in (i) around 0 0.090 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i 0.090 * [taylor]: Taking taylor expansion of 0.25 in i 0.090 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i 0.090 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.090 * [taylor]: Taking taylor expansion of i in i 0.090 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i 0.090 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i 0.090 * [taylor]: Taking taylor expansion of 4.0 in i 0.090 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.090 * [taylor]: Taking taylor expansion of i in i 0.090 * [taylor]: Taking taylor expansion of 1.0 in i 0.092 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i 0.092 * [taylor]: Taking taylor expansion of 0.25 in i 0.092 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i 0.092 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.092 * [taylor]: Taking taylor expansion of i in i 0.092 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i 0.092 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i 0.092 * [taylor]: Taking taylor expansion of 4.0 in i 0.092 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.092 * [taylor]: Taking taylor expansion of i in i 0.092 * [taylor]: Taking taylor expansion of 1.0 in i 0.117 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0 0.117 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i 0.117 * [taylor]: Taking taylor expansion of 0.25 in i 0.117 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i 0.117 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.117 * [taylor]: Taking taylor expansion of i in i 0.117 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i 0.117 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i 0.117 * [taylor]: Taking taylor expansion of 4.0 in i 0.117 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 0.117 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.117 * [taylor]: Taking taylor expansion of i in i 0.117 * [taylor]: Taking taylor expansion of 1.0 in i 0.119 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i 0.119 * [taylor]: Taking taylor expansion of 0.25 in i 0.119 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i 0.119 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.119 * [taylor]: Taking taylor expansion of i in i 0.119 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i 0.119 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i 0.119 * [taylor]: Taking taylor expansion of 4.0 in i 0.119 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 0.119 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.119 * [taylor]: Taking taylor expansion of i in i 0.119 * [taylor]: Taking taylor expansion of 1.0 in i 0.142 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0 0.142 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i 0.142 * [taylor]: Taking taylor expansion of 0.25 in i 0.142 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i 0.142 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.142 * [taylor]: Taking taylor expansion of i in i 0.142 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i 0.142 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i 0.142 * [taylor]: Taking taylor expansion of 4.0 in i 0.142 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 0.142 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.142 * [taylor]: Taking taylor expansion of i in i 0.142 * [taylor]: Taking taylor expansion of 1.0 in i 0.143 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i 0.143 * [taylor]: Taking taylor expansion of 0.25 in i 0.144 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i 0.144 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.144 * [taylor]: Taking taylor expansion of i in i 0.144 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i 0.144 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i 0.144 * [taylor]: Taking taylor expansion of 4.0 in i 0.144 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 0.144 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.144 * [taylor]: Taking taylor expansion of i in i 0.144 * [taylor]: Taking taylor expansion of 1.0 in i 0.165 * * * [progress]: simplifying candidates 0.166 * [simplify]: Simplifying using # : (- (+ (log i) (log i)) (+ (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (+ (log 2.0) (log 2.0)))) (- (+ (log i) (log i)) (+ (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (log (* 2.0 2.0)))) (- (+ (log i) (log i)) (log (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (- (log (* i i)) (+ (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (+ (log 2.0) (log 2.0)))) (- (log (* i i)) (+ (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (log (* 2.0 2.0)))) (- (log (* i i)) (log (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (exp (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (/ (* (* (* i i) i) (* (* i i) i)) (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0)))) (/ (* (* (* i i) i) (* (* i i) i)) (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0)))) (/ (* (* (* i i) i) (* (* i i) i)) (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (/ (* (* (* i i) (* i i)) (* i i)) (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0)))) (/ (* (* (* i i) (* i i)) (* i i)) (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0)))) (/ (* (* (* i i) (* i i)) (* i i)) (* (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (* (cbrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (cbrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))) (cbrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (* (* (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (sqrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (sqrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (- (* i i)) (- (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)) (/ 1 (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* i i)) (/ (* i i) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) (/ (* i i) (* (- (pow (* (* 2.0 i) (* 2.0 i)) 3) (pow 1.0 3)) (* 2.0 2.0))) (/ (* i i) (* (- (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* 1.0 1.0)) (* 2.0 2.0))) (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)) (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)) 0.171 * * [simplify]: iteration 0 : 311 enodes (cost 392 ) 0.177 * * [simplify]: iteration 1 : 1550 enodes (cost 273 ) 0.203 * * [simplify]: iteration 2 : 5001 enodes (cost 273 ) 0.205 * [simplify]: Simplified to: (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (log (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (exp (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3) (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3) (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3) (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3) (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3) (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3) (* (cbrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (cbrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))))) (cbrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (pow (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) 3) (sqrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (sqrt (/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))) (- (* i i)) (- (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)) (/ 1 (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0))) (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* i i)) (/ (* i i) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) i) (/ (* i i) (* (- (pow (* (* 2.0 i) (* 2.0 i)) 3) (pow 1.0 3)) (* 2.0 2.0))) (/ (* i i) (* (- (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* 1.0 1.0)) (* 2.0 2.0))) (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)) (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)) 0.205 * * * [progress]: adding candidates to table 0.248 * * [progress]: iteration 2 / 4 0.248 * * * [progress]: picking best candidate 0.252 * * * * [pick]: Picked # 0.252 * * * [progress]: localizing error 0.263 * * * [progress]: generating rewritten candidates 0.263 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.281 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.337 * * * [progress]: generating series expansions 0.337 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.337 * [approximate]: Taking taylor expansion of (/ i (- (* 4.0 (pow i 2)) 1.0)) in (i) around 0 0.337 * [taylor]: Taking taylor expansion of (/ i (- (* 4.0 (pow i 2)) 1.0)) in i 0.337 * [taylor]: Taking taylor expansion of i in i 0.337 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i 0.337 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i 0.337 * [taylor]: Taking taylor expansion of 4.0 in i 0.337 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.337 * [taylor]: Taking taylor expansion of i in i 0.337 * [taylor]: Taking taylor expansion of 1.0 in i 0.339 * [taylor]: Taking taylor expansion of (/ i (- (* 4.0 (pow i 2)) 1.0)) in i 0.339 * [taylor]: Taking taylor expansion of i in i 0.339 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i 0.339 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i 0.339 * [taylor]: Taking taylor expansion of 4.0 in i 0.339 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.339 * [taylor]: Taking taylor expansion of i in i 0.339 * [taylor]: Taking taylor expansion of 1.0 in i 0.356 * [approximate]: Taking taylor expansion of (/ 1 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0 0.356 * [taylor]: Taking taylor expansion of (/ 1 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i 0.356 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i 0.356 * [taylor]: Taking taylor expansion of i in i 0.356 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i 0.356 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i 0.356 * [taylor]: Taking taylor expansion of 4.0 in i 0.356 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 0.356 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.356 * [taylor]: Taking taylor expansion of i in i 0.356 * [taylor]: Taking taylor expansion of 1.0 in i 0.359 * [taylor]: Taking taylor expansion of (/ 1 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i 0.360 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i 0.360 * [taylor]: Taking taylor expansion of i in i 0.360 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i 0.360 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i 0.360 * [taylor]: Taking taylor expansion of 4.0 in i 0.360 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 0.360 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.360 * [taylor]: Taking taylor expansion of i in i 0.360 * [taylor]: Taking taylor expansion of 1.0 in i 0.384 * [approximate]: Taking taylor expansion of (/ -1 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0 0.384 * [taylor]: Taking taylor expansion of (/ -1 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i 0.384 * [taylor]: Taking taylor expansion of -1 in i 0.384 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i 0.384 * [taylor]: Taking taylor expansion of i in i 0.384 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i 0.384 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i 0.384 * [taylor]: Taking taylor expansion of 4.0 in i 0.384 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 0.384 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.384 * [taylor]: Taking taylor expansion of i in i 0.384 * [taylor]: Taking taylor expansion of 1.0 in i 0.387 * [taylor]: Taking taylor expansion of (/ -1 (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i 0.388 * [taylor]: Taking taylor expansion of -1 in i 0.388 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i 0.388 * [taylor]: Taking taylor expansion of i in i 0.388 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i 0.388 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i 0.388 * [taylor]: Taking taylor expansion of 4.0 in i 0.388 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 0.388 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.388 * [taylor]: Taking taylor expansion of i in i 0.388 * [taylor]: Taking taylor expansion of 1.0 in i 0.414 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.414 * [approximate]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in (i) around 0 0.414 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i 0.414 * [taylor]: Taking taylor expansion of 0.25 in i 0.414 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i 0.414 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.414 * [taylor]: Taking taylor expansion of i in i 0.414 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i 0.414 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i 0.414 * [taylor]: Taking taylor expansion of 4.0 in i 0.414 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.414 * [taylor]: Taking taylor expansion of i in i 0.414 * [taylor]: Taking taylor expansion of 1.0 in i 0.416 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i 0.416 * [taylor]: Taking taylor expansion of 0.25 in i 0.416 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i 0.416 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.416 * [taylor]: Taking taylor expansion of i in i 0.416 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i 0.416 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i 0.416 * [taylor]: Taking taylor expansion of 4.0 in i 0.416 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.416 * [taylor]: Taking taylor expansion of i in i 0.416 * [taylor]: Taking taylor expansion of 1.0 in i 0.440 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0 0.440 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i 0.440 * [taylor]: Taking taylor expansion of 0.25 in i 0.440 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i 0.440 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.440 * [taylor]: Taking taylor expansion of i in i 0.440 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i 0.440 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i 0.440 * [taylor]: Taking taylor expansion of 4.0 in i 0.440 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 0.440 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.440 * [taylor]: Taking taylor expansion of i in i 0.441 * [taylor]: Taking taylor expansion of 1.0 in i 0.442 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i 0.442 * [taylor]: Taking taylor expansion of 0.25 in i 0.442 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i 0.442 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.442 * [taylor]: Taking taylor expansion of i in i 0.442 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i 0.442 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i 0.442 * [taylor]: Taking taylor expansion of 4.0 in i 0.442 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 0.442 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.442 * [taylor]: Taking taylor expansion of i in i 0.443 * [taylor]: Taking taylor expansion of 1.0 in i 0.465 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0 0.465 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i 0.465 * [taylor]: Taking taylor expansion of 0.25 in i 0.465 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i 0.465 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.465 * [taylor]: Taking taylor expansion of i in i 0.465 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i 0.465 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i 0.465 * [taylor]: Taking taylor expansion of 4.0 in i 0.465 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 0.465 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.465 * [taylor]: Taking taylor expansion of i in i 0.465 * [taylor]: Taking taylor expansion of 1.0 in i 0.467 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i 0.467 * [taylor]: Taking taylor expansion of 0.25 in i 0.467 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i 0.467 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.467 * [taylor]: Taking taylor expansion of i in i 0.467 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i 0.467 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i 0.467 * [taylor]: Taking taylor expansion of 4.0 in i 0.467 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 0.467 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.467 * [taylor]: Taking taylor expansion of i in i 0.467 * [taylor]: Taking taylor expansion of 1.0 in i 0.489 * * * [progress]: simplifying candidates 0.493 * [simplify]: Simplifying using # : (- (log i) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (log (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (exp (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (* (* i i) i) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (* (cbrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (cbrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)))) (cbrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (* (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- i) (- (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (* (cbrt i) (cbrt i)) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))) (/ (cbrt i) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (* (cbrt i) (cbrt i)) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (cbrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (* (cbrt i) (cbrt i)) 1) (/ (cbrt i) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (* (cbrt i) (cbrt i)) (+ (* 2.0 i) (sqrt 1.0))) (/ (cbrt i) (- (* 2.0 i) (sqrt 1.0))) (/ (sqrt i) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))) (/ (sqrt i) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (sqrt i) 1) (/ (sqrt i) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (sqrt i) (+ (* 2.0 i) (sqrt 1.0))) (/ (sqrt i) (- (* 2.0 i) (sqrt 1.0))) (/ 1 (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))) (/ i (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ 1 (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ 1 1) (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))) (/ 1 (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) i) (/ i (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))) (/ i (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i 1) (/ i (+ (* 2.0 i) (sqrt 1.0))) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (cbrt i)) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i)) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) i) (/ i (- (pow (* (* 2.0 i) (* 2.0 i)) 3) (pow 1.0 3))) (/ i (- (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* 1.0 1.0))) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) (+ (- (log i) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (log i) (+ (log 2.0) (log 2.0)))) (+ (- (log i) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (log i) (log (* 2.0 2.0)))) (+ (- (log i) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (log (/ i (* 2.0 2.0)))) (+ (log (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (log i) (+ (log 2.0) (log 2.0)))) (+ (log (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (log i) (log (* 2.0 2.0)))) (+ (log (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (log (/ i (* 2.0 2.0)))) (log (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (exp (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (* (/ (* (* i i) i) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (* (* i i) i) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0)))) (* (/ (* (* i i) i) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (* (* i i) i) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0)))) (* (/ (* (* i i) i) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (* (* (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0))) (/ i (* 2.0 2.0)))) (* (* (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (* (* i i) i) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0)))) (* (* (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (* (* i i) i) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0)))) (* (* (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (* (* (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0))) (/ i (* 2.0 2.0)))) (* (cbrt (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (cbrt (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))))) (cbrt (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (* (* (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (sqrt (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (sqrt (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (sqrt (/ i (* 2.0 2.0)))) (* (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (sqrt (/ i (* 2.0 2.0)))) (* (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (sqrt i) 2.0)) (* (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (sqrt i) 2.0)) (* (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (sqrt (/ i (* 2.0 2.0)))) (* (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (sqrt (/ i (* 2.0 2.0)))) (* (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (sqrt i) 2.0)) (* (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (sqrt i) 2.0)) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (cbrt (/ i (* 2.0 2.0))) (cbrt (/ i (* 2.0 2.0))))) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (sqrt (/ i (* 2.0 2.0)))) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (* (cbrt i) (cbrt i)) 2.0)) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (sqrt i) 2.0)) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ 1 2.0)) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) 1) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) i) (* (cbrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0))) (* (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0))) (* (/ (cbrt i) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0))) (* (/ (cbrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0))) (* (/ (cbrt i) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) (* (/ (cbrt i) (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) (* (/ (sqrt i) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0))) (* (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0))) (* (/ (sqrt i) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) (* (/ (sqrt i) (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) (* (/ i (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0))) (* (/ i (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0))) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) (* (/ 1 (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) (* (+ (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (+ (* 1.0 1.0) (* (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0))) (* (+ (* (* 2.0 i) (* 2.0 i)) 1.0) (/ i (* 2.0 2.0))) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) i) (* i (/ i (* 2.0 2.0))) (- (+ (* 4.0 (pow i 3)) (+ (* 16.0 (pow i 5)) (* 1.0 i)))) (+ (* 0.015625 (/ 1 (pow i 5))) (+ (* 0.25 (/ 1 i)) (* 0.0625 (/ 1 (pow i 3))))) (+ (* 0.015625 (/ 1 (pow i 5))) (+ (* 0.25 (/ 1 i)) (* 0.0625 (/ 1 (pow i 3))))) (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)) (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)) 0.499 * * [simplify]: iteration 0 : 530 enodes (cost 978 ) 0.509 * * [simplify]: iteration 1 : 2493 enodes (cost 842 ) 0.549 * * [simplify]: iteration 2 : 5001 enodes (cost 833 ) 0.553 * [simplify]: Simplified to: (log (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (log (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (exp (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (pow (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) 3) (* (cbrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (cbrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)))) (cbrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (pow (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) 3) (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- i) (- (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (* (cbrt i) (cbrt i)) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))) (/ (cbrt i) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (* (cbrt i) (cbrt i)) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (cbrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (* (cbrt i) (cbrt i)) (/ (cbrt i) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (* (cbrt i) (cbrt i)) (+ (* 2.0 i) (sqrt 1.0))) (/ (cbrt i) (- (* 2.0 i) (sqrt 1.0))) (/ (sqrt i) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))) (/ (sqrt i) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (sqrt i) (/ (sqrt i) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (sqrt i) (+ (* 2.0 i) (sqrt 1.0))) (/ (sqrt i) (- (* 2.0 i) (sqrt 1.0))) (/ 1 (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))) (/ i (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ 1 (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) 1 (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))) (/ 1 (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) i) (/ i (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))) (/ i (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) i (/ i (+ (* 2.0 i) (sqrt 1.0))) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (cbrt i)) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt i)) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) i) (/ i (+ (- (pow 1.0 3)) (pow (* 2.0 i) 6))) (/ i (+ (- (* 1.0 1.0)) (* (* (pow (* 2.0 i) 3) i) 2.0))) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) (log (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (log (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (log (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (log (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (log (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (log (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (log (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (exp (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (pow (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) 3) (pow (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) 3) (pow (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) 3) (pow (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) 3) (pow (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) 3) (pow (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) 3) (* (cbrt (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (cbrt (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))))) (cbrt (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (pow (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) 3) (sqrt (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (sqrt (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0)))) (pow i 2) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)) (* (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (sqrt (/ i (* 2.0 2.0)))) (* (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (sqrt (/ i (* 2.0 2.0)))) (* (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (sqrt i) 2.0)) (* (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (sqrt i) 2.0)) (* (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (sqrt (/ i (* 2.0 2.0)))) (* (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (sqrt (/ i (* 2.0 2.0)))) (/ (/ i (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) 2.0) (/ (/ i (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) 2.0) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (cbrt (/ i (* 2.0 2.0))) (cbrt (/ i (* 2.0 2.0))))) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (sqrt (/ i (* 2.0 2.0)))) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (* (cbrt i) (cbrt i)) 2.0)) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (sqrt i) 2.0)) (/ (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) 2.0) (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) i) (* (cbrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0))) (* (sqrt (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0))) (* (/ (cbrt i) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0))) (* (/ (cbrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0))) (* (/ (cbrt i) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) (* (/ (cbrt i) (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) (* (/ (sqrt i) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0))) (* (/ (sqrt i) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0))) (* (/ (sqrt i) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) (* (/ (sqrt i) (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) (* (/ i (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0))) (* (/ i (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (* 2.0 2.0))) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ i (* 2.0 2.0))) (/ (/ i (* 2.0 2.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i (* 2.0 2.0)) (+ (* 1.0 (+ 1.0 (* (* 2.0 i) (* 2.0 i)))) (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))))) (* (+ (* (* 2.0 i) (* 2.0 i)) 1.0) (/ i (* 2.0 2.0))) (* (/ i (- (* (* 2.0 i) (* 2.0 i)) 1.0)) i) (* i (/ i (* 2.0 2.0))) (- (+ (* 4.0 (pow i 3)) (+ (* 16.0 (pow i 5)) (* 1.0 i)))) (+ (/ 0.0625 (pow i 3)) (+ (* 0.015625 (/ 1 (pow i 5))) (* 0.25 (/ 1 i)))) (+ (/ 0.0625 (pow i 3)) (+ (* 0.015625 (/ 1 (pow i 5))) (* 0.25 (/ 1 i)))) (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)) (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)) 0.553 * * * [progress]: adding candidates to table 0.720 * * [progress]: iteration 3 / 4 0.720 * * * [progress]: picking best candidate 0.724 * * * * [pick]: Picked # 0.724 * * * [progress]: localizing error 0.736 * * * [progress]: generating rewritten candidates 0.736 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.784 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.818 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 0.825 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 0.841 * * * [progress]: generating series expansions 0.841 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.842 * [approximate]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))))) in (i) around 0 0.842 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))))) in i 0.842 * [taylor]: Taking taylor expansion of 0.25 in i 0.842 * [taylor]: Taking taylor expansion of (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)))) in i 0.842 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.842 * [taylor]: Taking taylor expansion of i in i 0.842 * [taylor]: Taking taylor expansion of (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) in i 0.843 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i 0.843 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 0.843 * [taylor]: Taking taylor expansion of 2.0 in i 0.843 * [taylor]: Taking taylor expansion of i in i 0.843 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 0.843 * [taylor]: Taking taylor expansion of 1.0 in i 0.843 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i 0.843 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 0.843 * [taylor]: Taking taylor expansion of 2.0 in i 0.843 * [taylor]: Taking taylor expansion of i in i 0.843 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 0.843 * [taylor]: Taking taylor expansion of 1.0 in i 0.849 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))))) in i 0.849 * [taylor]: Taking taylor expansion of 0.25 in i 0.849 * [taylor]: Taking taylor expansion of (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)))) in i 0.849 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.849 * [taylor]: Taking taylor expansion of i in i 0.849 * [taylor]: Taking taylor expansion of (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) in i 0.849 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i 0.849 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 0.849 * [taylor]: Taking taylor expansion of 2.0 in i 0.849 * [taylor]: Taking taylor expansion of i in i 0.849 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 0.849 * [taylor]: Taking taylor expansion of 1.0 in i 0.850 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i 0.850 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 0.850 * [taylor]: Taking taylor expansion of 2.0 in i 0.850 * [taylor]: Taking taylor expansion of i in i 0.850 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 0.850 * [taylor]: Taking taylor expansion of 1.0 in i 0.924 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))))) in (i) around 0 0.924 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))))) in i 0.924 * [taylor]: Taking taylor expansion of 0.25 in i 0.924 * [taylor]: Taking taylor expansion of (* (pow i 2) (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0)))) in i 0.924 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.924 * [taylor]: Taking taylor expansion of i in i 0.924 * [taylor]: Taking taylor expansion of (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i 0.924 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i 0.924 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 0.924 * [taylor]: Taking taylor expansion of 1.0 in i 0.925 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 0.925 * [taylor]: Taking taylor expansion of 2.0 in i 0.925 * [taylor]: Taking taylor expansion of (/ 1 i) in i 0.925 * [taylor]: Taking taylor expansion of i in i 0.925 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i 0.925 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 0.925 * [taylor]: Taking taylor expansion of 2.0 in i 0.925 * [taylor]: Taking taylor expansion of (/ 1 i) in i 0.925 * [taylor]: Taking taylor expansion of i in i 0.925 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 0.925 * [taylor]: Taking taylor expansion of 1.0 in i 0.928 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))))) in i 0.928 * [taylor]: Taking taylor expansion of 0.25 in i 0.928 * [taylor]: Taking taylor expansion of (* (pow i 2) (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0)))) in i 0.928 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.928 * [taylor]: Taking taylor expansion of i in i 0.928 * [taylor]: Taking taylor expansion of (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i 0.928 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i 0.928 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 0.928 * [taylor]: Taking taylor expansion of 1.0 in i 0.929 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 0.929 * [taylor]: Taking taylor expansion of 2.0 in i 0.929 * [taylor]: Taking taylor expansion of (/ 1 i) in i 0.929 * [taylor]: Taking taylor expansion of i in i 0.929 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i 0.929 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 0.929 * [taylor]: Taking taylor expansion of 2.0 in i 0.929 * [taylor]: Taking taylor expansion of (/ 1 i) in i 0.929 * [taylor]: Taking taylor expansion of i in i 0.929 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 0.929 * [taylor]: Taking taylor expansion of 1.0 in i 0.976 * [approximate]: Taking taylor expansion of (/ -0.25 (* (pow i 2) (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))))) in (i) around 0 0.976 * [taylor]: Taking taylor expansion of (/ -0.25 (* (pow i 2) (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))))) in i 0.976 * [taylor]: Taking taylor expansion of -0.25 in i 0.976 * [taylor]: Taking taylor expansion of (* (pow i 2) (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i 0.976 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.976 * [taylor]: Taking taylor expansion of i in i 0.976 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i 0.976 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i 0.976 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 0.976 * [taylor]: Taking taylor expansion of 1.0 in i 0.977 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 0.977 * [taylor]: Taking taylor expansion of 2.0 in i 0.977 * [taylor]: Taking taylor expansion of (/ 1 i) in i 0.977 * [taylor]: Taking taylor expansion of i in i 0.977 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i 0.977 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 0.977 * [taylor]: Taking taylor expansion of 1.0 in i 0.978 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 0.978 * [taylor]: Taking taylor expansion of 2.0 in i 0.978 * [taylor]: Taking taylor expansion of (/ 1 i) in i 0.978 * [taylor]: Taking taylor expansion of i in i 0.981 * [taylor]: Taking taylor expansion of (/ -0.25 (* (pow i 2) (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))))) in i 0.981 * [taylor]: Taking taylor expansion of -0.25 in i 0.981 * [taylor]: Taking taylor expansion of (* (pow i 2) (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i 0.981 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.981 * [taylor]: Taking taylor expansion of i in i 0.981 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i 0.981 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i 0.981 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 0.981 * [taylor]: Taking taylor expansion of 1.0 in i 0.982 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 0.982 * [taylor]: Taking taylor expansion of 2.0 in i 0.982 * [taylor]: Taking taylor expansion of (/ 1 i) in i 0.982 * [taylor]: Taking taylor expansion of i in i 0.982 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i 0.982 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 0.982 * [taylor]: Taking taylor expansion of 1.0 in i 0.983 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 0.983 * [taylor]: Taking taylor expansion of 2.0 in i 0.983 * [taylor]: Taking taylor expansion of (/ 1 i) in i 0.983 * [taylor]: Taking taylor expansion of i in i 1.031 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.032 * [approximate]: Taking taylor expansion of (/ i (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)))) in (i) around 0 1.032 * [taylor]: Taking taylor expansion of (/ i (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)))) in i 1.032 * [taylor]: Taking taylor expansion of i in i 1.032 * [taylor]: Taking taylor expansion of (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) in i 1.032 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i 1.032 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 1.032 * [taylor]: Taking taylor expansion of 2.0 in i 1.032 * [taylor]: Taking taylor expansion of i in i 1.032 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.032 * [taylor]: Taking taylor expansion of 1.0 in i 1.033 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i 1.033 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 1.033 * [taylor]: Taking taylor expansion of 2.0 in i 1.033 * [taylor]: Taking taylor expansion of i in i 1.033 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.033 * [taylor]: Taking taylor expansion of 1.0 in i 1.038 * [taylor]: Taking taylor expansion of (/ i (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)))) in i 1.038 * [taylor]: Taking taylor expansion of i in i 1.038 * [taylor]: Taking taylor expansion of (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) in i 1.038 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i 1.038 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 1.038 * [taylor]: Taking taylor expansion of 2.0 in i 1.038 * [taylor]: Taking taylor expansion of i in i 1.038 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.038 * [taylor]: Taking taylor expansion of 1.0 in i 1.039 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i 1.039 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 1.039 * [taylor]: Taking taylor expansion of 2.0 in i 1.039 * [taylor]: Taking taylor expansion of i in i 1.039 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.039 * [taylor]: Taking taylor expansion of 1.0 in i 1.097 * [approximate]: Taking taylor expansion of (/ 1 (* i (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))))) in (i) around 0 1.097 * [taylor]: Taking taylor expansion of (/ 1 (* i (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))))) in i 1.097 * [taylor]: Taking taylor expansion of (* i (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0)))) in i 1.097 * [taylor]: Taking taylor expansion of i in i 1.097 * [taylor]: Taking taylor expansion of (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i 1.097 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i 1.097 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.097 * [taylor]: Taking taylor expansion of 1.0 in i 1.098 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 1.098 * [taylor]: Taking taylor expansion of 2.0 in i 1.098 * [taylor]: Taking taylor expansion of (/ 1 i) in i 1.098 * [taylor]: Taking taylor expansion of i in i 1.098 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i 1.098 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 1.098 * [taylor]: Taking taylor expansion of 2.0 in i 1.098 * [taylor]: Taking taylor expansion of (/ 1 i) in i 1.098 * [taylor]: Taking taylor expansion of i in i 1.098 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.098 * [taylor]: Taking taylor expansion of 1.0 in i 1.107 * [taylor]: Taking taylor expansion of (/ 1 (* i (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))))) in i 1.107 * [taylor]: Taking taylor expansion of (* i (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0)))) in i 1.107 * [taylor]: Taking taylor expansion of i in i 1.107 * [taylor]: Taking taylor expansion of (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i 1.107 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i 1.107 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.107 * [taylor]: Taking taylor expansion of 1.0 in i 1.107 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 1.107 * [taylor]: Taking taylor expansion of 2.0 in i 1.107 * [taylor]: Taking taylor expansion of (/ 1 i) in i 1.108 * [taylor]: Taking taylor expansion of i in i 1.108 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i 1.108 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 1.108 * [taylor]: Taking taylor expansion of 2.0 in i 1.108 * [taylor]: Taking taylor expansion of (/ 1 i) in i 1.108 * [taylor]: Taking taylor expansion of i in i 1.108 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.108 * [taylor]: Taking taylor expansion of 1.0 in i 1.166 * [approximate]: Taking taylor expansion of (/ 1 (* i (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))))) in (i) around 0 1.166 * [taylor]: Taking taylor expansion of (/ 1 (* i (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))))) in i 1.166 * [taylor]: Taking taylor expansion of (* i (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i 1.166 * [taylor]: Taking taylor expansion of i in i 1.166 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i 1.166 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i 1.166 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.166 * [taylor]: Taking taylor expansion of 1.0 in i 1.167 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 1.167 * [taylor]: Taking taylor expansion of 2.0 in i 1.167 * [taylor]: Taking taylor expansion of (/ 1 i) in i 1.167 * [taylor]: Taking taylor expansion of i in i 1.167 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i 1.167 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.167 * [taylor]: Taking taylor expansion of 1.0 in i 1.168 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 1.168 * [taylor]: Taking taylor expansion of 2.0 in i 1.168 * [taylor]: Taking taylor expansion of (/ 1 i) in i 1.168 * [taylor]: Taking taylor expansion of i in i 1.177 * [taylor]: Taking taylor expansion of (/ 1 (* i (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))))) in i 1.177 * [taylor]: Taking taylor expansion of (* i (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i 1.177 * [taylor]: Taking taylor expansion of i in i 1.177 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i 1.177 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i 1.177 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.177 * [taylor]: Taking taylor expansion of 1.0 in i 1.177 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 1.177 * [taylor]: Taking taylor expansion of 2.0 in i 1.177 * [taylor]: Taking taylor expansion of (/ 1 i) in i 1.177 * [taylor]: Taking taylor expansion of i in i 1.178 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i 1.178 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.178 * [taylor]: Taking taylor expansion of 1.0 in i 1.178 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 1.178 * [taylor]: Taking taylor expansion of 2.0 in i 1.178 * [taylor]: Taking taylor expansion of (/ 1 i) in i 1.178 * [taylor]: Taking taylor expansion of i in i 1.239 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1.240 * [approximate]: Taking taylor expansion of (/ 1 (+ (* 2.0 i) (sqrt 1.0))) in (i) around 0 1.240 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 2.0 i) (sqrt 1.0))) in i 1.240 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i 1.240 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 1.240 * [taylor]: Taking taylor expansion of 2.0 in i 1.240 * [taylor]: Taking taylor expansion of i in i 1.240 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.240 * [taylor]: Taking taylor expansion of 1.0 in i 1.242 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 2.0 i) (sqrt 1.0))) in i 1.242 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i 1.242 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 1.242 * [taylor]: Taking taylor expansion of 2.0 in i 1.242 * [taylor]: Taking taylor expansion of i in i 1.242 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.242 * [taylor]: Taking taylor expansion of 1.0 in i 1.263 * [approximate]: Taking taylor expansion of (/ 1 (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in (i) around 0 1.264 * [taylor]: Taking taylor expansion of (/ 1 (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i 1.264 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i 1.264 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.264 * [taylor]: Taking taylor expansion of 1.0 in i 1.264 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 1.264 * [taylor]: Taking taylor expansion of 2.0 in i 1.264 * [taylor]: Taking taylor expansion of (/ 1 i) in i 1.264 * [taylor]: Taking taylor expansion of i in i 1.265 * [taylor]: Taking taylor expansion of (/ 1 (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i 1.265 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i 1.265 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.265 * [taylor]: Taking taylor expansion of 1.0 in i 1.266 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 1.266 * [taylor]: Taking taylor expansion of 2.0 in i 1.266 * [taylor]: Taking taylor expansion of (/ 1 i) in i 1.266 * [taylor]: Taking taylor expansion of i in i 1.280 * [approximate]: Taking taylor expansion of (/ 1 (- (sqrt 1.0) (* 2.0 (/ 1 i)))) in (i) around 0 1.280 * [taylor]: Taking taylor expansion of (/ 1 (- (sqrt 1.0) (* 2.0 (/ 1 i)))) in i 1.280 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i 1.280 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.280 * [taylor]: Taking taylor expansion of 1.0 in i 1.281 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 1.281 * [taylor]: Taking taylor expansion of 2.0 in i 1.281 * [taylor]: Taking taylor expansion of (/ 1 i) in i 1.281 * [taylor]: Taking taylor expansion of i in i 1.283 * [taylor]: Taking taylor expansion of (/ 1 (- (sqrt 1.0) (* 2.0 (/ 1 i)))) in i 1.283 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i 1.283 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.283 * [taylor]: Taking taylor expansion of 1.0 in i 1.283 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 1.283 * [taylor]: Taking taylor expansion of 2.0 in i 1.283 * [taylor]: Taking taylor expansion of (/ 1 i) in i 1.283 * [taylor]: Taking taylor expansion of i in i 1.300 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 1.301 * [approximate]: Taking taylor expansion of (/ i (- (* 2.0 i) (sqrt 1.0))) in (i) around 0 1.301 * [taylor]: Taking taylor expansion of (/ i (- (* 2.0 i) (sqrt 1.0))) in i 1.301 * [taylor]: Taking taylor expansion of i in i 1.301 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i 1.301 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 1.301 * [taylor]: Taking taylor expansion of 2.0 in i 1.301 * [taylor]: Taking taylor expansion of i in i 1.301 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.301 * [taylor]: Taking taylor expansion of 1.0 in i 1.304 * [taylor]: Taking taylor expansion of (/ i (- (* 2.0 i) (sqrt 1.0))) in i 1.304 * [taylor]: Taking taylor expansion of i in i 1.304 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i 1.304 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 1.304 * [taylor]: Taking taylor expansion of 2.0 in i 1.304 * [taylor]: Taking taylor expansion of i in i 1.304 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.304 * [taylor]: Taking taylor expansion of 1.0 in i 1.336 * [approximate]: Taking taylor expansion of (/ 1 (* i (- (* 2.0 (/ 1 i)) (sqrt 1.0)))) in (i) around 0 1.336 * [taylor]: Taking taylor expansion of (/ 1 (* i (- (* 2.0 (/ 1 i)) (sqrt 1.0)))) in i 1.336 * [taylor]: Taking taylor expansion of (* i (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i 1.336 * [taylor]: Taking taylor expansion of i in i 1.336 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i 1.336 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 1.336 * [taylor]: Taking taylor expansion of 2.0 in i 1.336 * [taylor]: Taking taylor expansion of (/ 1 i) in i 1.336 * [taylor]: Taking taylor expansion of i in i 1.337 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.337 * [taylor]: Taking taylor expansion of 1.0 in i 1.341 * [taylor]: Taking taylor expansion of (/ 1 (* i (- (* 2.0 (/ 1 i)) (sqrt 1.0)))) in i 1.342 * [taylor]: Taking taylor expansion of (* i (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i 1.342 * [taylor]: Taking taylor expansion of i in i 1.342 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i 1.342 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 1.342 * [taylor]: Taking taylor expansion of 2.0 in i 1.342 * [taylor]: Taking taylor expansion of (/ 1 i) in i 1.342 * [taylor]: Taking taylor expansion of i in i 1.342 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.342 * [taylor]: Taking taylor expansion of 1.0 in i 1.363 * [approximate]: Taking taylor expansion of (/ 1 (* i (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in (i) around 0 1.363 * [taylor]: Taking taylor expansion of (/ 1 (* i (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i 1.363 * [taylor]: Taking taylor expansion of (* i (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i 1.363 * [taylor]: Taking taylor expansion of i in i 1.363 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i 1.363 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.363 * [taylor]: Taking taylor expansion of 1.0 in i 1.364 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 1.364 * [taylor]: Taking taylor expansion of 2.0 in i 1.364 * [taylor]: Taking taylor expansion of (/ 1 i) in i 1.364 * [taylor]: Taking taylor expansion of i in i 1.368 * [taylor]: Taking taylor expansion of (/ 1 (* i (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i 1.368 * [taylor]: Taking taylor expansion of (* i (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i 1.368 * [taylor]: Taking taylor expansion of i in i 1.368 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i 1.368 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.368 * [taylor]: Taking taylor expansion of 1.0 in i 1.368 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 1.368 * [taylor]: Taking taylor expansion of 2.0 in i 1.368 * [taylor]: Taking taylor expansion of (/ 1 i) in i 1.368 * [taylor]: Taking taylor expansion of i in i 1.388 * * * [progress]: simplifying candidates 1.397 * [simplify]: Simplifying using # : (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0))) (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0))) (+ (+ (- (log (+ (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (- (* 2.0 i) (sqrt 1.0))))) (- (log i) (+ (log 2.0) (log 2.0)))) (+ (+ (- (log (+ (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (- (* 2.0 i) (sqrt 1.0))))) (- (log i) (log (* 2.0 2.0)))) (+ (+ (- (log (+ (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (- (* 2.0 i) (sqrt 1.0))))) (log (/ i (* 2.0 2.0)))) (+ (+ (- (log (+ (* 2.0 i) (sqrt 1.0)))) (log (/ i (- (* 2.0 i) (sqrt 1.0))))) (- (log i) (+ (log 2.0) (log 2.0)))) (+ (+ (- (log (+ (* 2.0 i) (sqrt 1.0)))) (log (/ i (- (* 2.0 i) (sqrt 1.0))))) (- (log i) (log (* 2.0 2.0)))) (+ (+ (- (log (+ (* 2.0 i) (sqrt 1.0)))) (log (/ i (- (* 2.0 i) (sqrt 1.0))))) (log (/ i (* 2.0 2.0)))) (+ (+ (- 0 (log (+ (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (- (* 2.0 i) (sqrt 1.0))))) (- (log i) (+ (log 2.0) (log 2.0)))) (+ (+ (- 0 (log (+ (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (- (* 2.0 i) (sqrt 1.0))))) (- (log i) (log (* 2.0 2.0)))) (+ (+ (- 0 (log (+ (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (- (* 2.0 i) (sqrt 1.0))))) (log (/ i (* 2.0 2.0)))) (+ (+ (- 0 (log (+ (* 2.0 i) (sqrt 1.0)))) (log (/ i (- (* 2.0 i) (sqrt 1.0))))) (- (log i) (+ (log 2.0) (log 2.0)))) (+ (+ (- 0 (log (+ (* 2.0 i) (sqrt 1.0)))) (log (/ i (- (* 2.0 i) (sqrt 1.0))))) (- (log i) (log (* 2.0 2.0)))) (+ (+ (- 0 (log (+ (* 2.0 i) (sqrt 1.0)))) (log (/ i (- (* 2.0 i) (sqrt 1.0))))) (log (/ i (* 2.0 2.0)))) (+ (+ (- (log 1) (log (+ (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (- (* 2.0 i) (sqrt 1.0))))) (- (log i) (+ (log 2.0) (log 2.0)))) (+ (+ (- (log 1) (log (+ (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (- (* 2.0 i) (sqrt 1.0))))) (- (log i) (log (* 2.0 2.0)))) (+ (+ (- (log 1) (log (+ (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (- (* 2.0 i) (sqrt 1.0))))) (log (/ i (* 2.0 2.0)))) (+ (+ (- (log 1) (log (+ (* 2.0 i) (sqrt 1.0)))) (log (/ i (- (* 2.0 i) (sqrt 1.0))))) (- (log i) (+ (log 2.0) (log 2.0)))) (+ (+ (- (log 1) (log (+ (* 2.0 i) (sqrt 1.0)))) (log (/ i (- (* 2.0 i) (sqrt 1.0))))) (- (log i) (log (* 2.0 2.0)))) (+ (+ (- (log 1) (log (+ (* 2.0 i) (sqrt 1.0)))) (log (/ i (- (* 2.0 i) (sqrt 1.0))))) (log (/ i (* 2.0 2.0)))) (+ (+ (log (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (- (* 2.0 i) (sqrt 1.0))))) (- (log i) (+ (log 2.0) (log 2.0)))) (+ (+ (log (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (- (* 2.0 i) (sqrt 1.0))))) (- (log i) (log (* 2.0 2.0)))) (+ (+ (log (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (- (* 2.0 i) (sqrt 1.0))))) (log (/ i (* 2.0 2.0)))) (+ (+ (log (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (log (/ i (- (* 2.0 i) (sqrt 1.0))))) (- (log i) (+ (log 2.0) (log 2.0)))) (+ (+ (log (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (log (/ i (- (* 2.0 i) (sqrt 1.0))))) (- (log i) (log (* 2.0 2.0)))) (+ (+ (log (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (log (/ i (- (* 2.0 i) (sqrt 1.0))))) (log (/ i (* 2.0 2.0)))) (+ (log (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (- (log i) (+ (log 2.0) (log 2.0)))) (+ (log (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (- (log i) (log (* 2.0 2.0)))) (+ (log (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (log (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (exp (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (* (* (/ (* (* 1 1) 1) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0))))) (/ (* (* i i) i) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0)))) (* (* (/ (* (* 1 1) 1) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0))))) (/ (* (* i i) i) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0)))) (* (* (/ (* (* 1 1) 1) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0))))) (* (* (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0))) (/ i (* 2.0 2.0)))) (* (* (/ (* (* 1 1) 1) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (/ (* (* i i) i) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0)))) (* (* (/ (* (* 1 1) 1) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (/ (* (* i i) i) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0)))) (* (* (/ (* (* 1 1) 1) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (* (* (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0))) (/ i (* 2.0 2.0)))) (* (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0))))) (/ (* (* i i) i) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0)))) (* (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0))))) (/ (* (* i i) i) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0)))) (* (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0))))) (* (* (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0))) (/ i (* 2.0 2.0)))) (* (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (/ (* (* i i) i) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0)))) (* (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (/ (* (* i i) i) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0)))) (* (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (* (* (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0))) (/ i (* 2.0 2.0)))) (* (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (/ (* (* i i) i) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0)))) (* (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (/ (* (* i i) i) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0)))) (* (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (* (* (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0))) (/ i (* 2.0 2.0)))) (* (cbrt (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (cbrt (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0))))) (cbrt (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (* (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0))) (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (sqrt (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (sqrt (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (* (* 1 i) i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* 2.0 2.0)) (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) i) i) (* (- (* 2.0 i) (sqrt 1.0)) (* 2.0 2.0)) (* (* 1 (/ i (- (* 2.0 i) (sqrt 1.0)))) i) (* (+ (* 2.0 i) (sqrt 1.0)) (* 2.0 2.0)) (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (cbrt (/ i (* 2.0 2.0))) (cbrt (/ i (* 2.0 2.0))))) (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (* 2.0 2.0)))) (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ (* (cbrt i) (cbrt i)) 2.0)) (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) 2.0)) (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ 1 2.0)) (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) 1) (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) i) (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (* 2.0 2.0))) (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) i) (* (* 1 i) (/ i (* 2.0 2.0))) (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) i) (/ i (* 2.0 2.0))) (* (* 1 (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (+ (- (log (+ (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (- (* 2.0 i) (sqrt 1.0))))) (+ (- (log (+ (* 2.0 i) (sqrt 1.0)))) (log (/ i (- (* 2.0 i) (sqrt 1.0))))) (+ (- 0 (log (+ (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (- (* 2.0 i) (sqrt 1.0))))) (+ (- 0 (log (+ (* 2.0 i) (sqrt 1.0)))) (log (/ i (- (* 2.0 i) (sqrt 1.0))))) (+ (- (log 1) (log (+ (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (- (* 2.0 i) (sqrt 1.0))))) (+ (- (log 1) (log (+ (* 2.0 i) (sqrt 1.0)))) (log (/ i (- (* 2.0 i) (sqrt 1.0))))) (+ (log (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (- (log i) (log (- (* 2.0 i) (sqrt 1.0))))) (+ (log (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (log (/ i (- (* 2.0 i) (sqrt 1.0))))) (log (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (exp (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (* (/ (* (* 1 1) 1) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0))))) (* (/ (* (* 1 1) 1) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0))))) (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (* (cbrt (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (cbrt (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))))) (cbrt (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (* (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (sqrt (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (sqrt (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (* 1 i) (* (+ (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (* (sqrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (- (* 2.0 i) (sqrt 1.0))))) (* (sqrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (- (* 2.0 i) (sqrt 1.0))))) (* (sqrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0))))) (* (sqrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0))))) (* (/ (sqrt 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (- (* 2.0 i) (sqrt 1.0))))) (* (/ (sqrt 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (- (* 2.0 i) (sqrt 1.0))))) (* (/ (sqrt 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0))))) (* (/ (sqrt 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0))))) (* (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (- (* 2.0 i) (sqrt 1.0))))) (* (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (- (* 2.0 i) (sqrt 1.0))))) (* (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0))))) (* (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0))))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (cbrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (cbrt (/ i (- (* 2.0 i) (sqrt 1.0)))))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (sqrt (/ i (- (* 2.0 i) (sqrt 1.0))))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ (* (cbrt i) (cbrt i)) (* (cbrt (- (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0)))))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ (* (cbrt i) (cbrt i)) (sqrt (- (* 2.0 i) (sqrt 1.0))))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ (* (cbrt i) (cbrt i)) 1)) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ (sqrt i) (* (cbrt (- (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0)))))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0))))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ (sqrt i) 1)) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (* (cbrt (- (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0)))))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (sqrt (- (* 2.0 i) (sqrt 1.0))))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 1)) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) 1) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) i) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* (* 2.0 i) (* 2.0 i)) (* (sqrt 1.0) (sqrt 1.0))))) (* (cbrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (sqrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (/ (cbrt 1) (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (/ (cbrt 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (/ (cbrt 1) (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (/ (sqrt 1) (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (/ (sqrt 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (/ (sqrt 1) (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (/ 1 (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (+ (* (* 2.0 i) (* 2.0 i)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (- (* 2.0 i) (sqrt 1.0)) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) i) (* 1 (/ i (- (* 2.0 i) (sqrt 1.0)))) (- 1) (- (log (+ (* 2.0 i) (sqrt 1.0)))) (- 0 (log (+ (* 2.0 i) (sqrt 1.0)))) (- (log 1) (log (+ (* 2.0 i) (sqrt 1.0)))) (log (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (exp (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (* 1 1) 1) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (* (cbrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (cbrt (/ 1 (+ (* 2.0 i) (sqrt 1.0))))) (cbrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (sqrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (sqrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (- 1) (- (+ (* 2.0 i) (sqrt 1.0))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0))))) (/ (cbrt 1) (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (cbrt 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (+ (* 2.0 i) (sqrt 1.0))) (/ (sqrt 1) (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0))))) (/ (sqrt 1) (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (sqrt 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (sqrt 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (sqrt 1) 1) (/ (sqrt 1) (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0))))) (/ 1 (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 1) (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ (+ (* 2.0 i) (sqrt 1.0)) 1) (/ 1 (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0))))) (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 1) (/ (+ (* 2.0 i) (sqrt 1.0)) (cbrt 1)) (/ (+ (* 2.0 i) (sqrt 1.0)) (sqrt 1)) (/ (+ (* 2.0 i) (sqrt 1.0)) 1) (/ 1 (+ (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3))) (/ 1 (- (* (* 2.0 i) (* 2.0 i)) (* (sqrt 1.0) (sqrt 1.0)))) (- (log i) (log (- (* 2.0 i) (sqrt 1.0)))) (log (/ i (- (* 2.0 i) (sqrt 1.0)))) (exp (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (* (cbrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (cbrt (/ i (- (* 2.0 i) (sqrt 1.0))))) (cbrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (* (/ i (- (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (- i) (- (- (* 2.0 i) (sqrt 1.0))) (/ (* (cbrt i) (cbrt i)) (* (cbrt (- (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0))))) (/ (cbrt i) (cbrt (- (* 2.0 i) (sqrt 1.0)))) (/ (* (cbrt i) (cbrt i)) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ (cbrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ (* (cbrt i) (cbrt i)) 1) (/ (cbrt i) (- (* 2.0 i) (sqrt 1.0))) (/ (sqrt i) (* (cbrt (- (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0))))) (/ (sqrt i) (cbrt (- (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) 1) (/ (sqrt i) (- (* 2.0 i) (sqrt 1.0))) (/ 1 (* (cbrt (- (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0))))) (/ i (cbrt (- (* 2.0 i) (sqrt 1.0)))) (/ 1 (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ i (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ 1 1) (/ i (- (* 2.0 i) (sqrt 1.0))) (/ 1 (- (* 2.0 i) (sqrt 1.0))) (/ (- (* 2.0 i) (sqrt 1.0)) i) (/ i (* (cbrt (- (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0))))) (/ i (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ i 1) (/ (- (* 2.0 i) (sqrt 1.0)) (cbrt i)) (/ (- (* 2.0 i) (sqrt 1.0)) (sqrt i)) (/ (- (* 2.0 i) (sqrt 1.0)) i) (/ i (- (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3))) (/ i (- (* (* 2.0 i) (* 2.0 i)) (* (sqrt 1.0) (sqrt 1.0)))) (- (+ (* 1.0 (/ (pow i 4) (pow (sqrt 1.0) 4))) (+ (* 0.25 (/ (pow i 2) (pow (sqrt 1.0) 2))) (* 4.0 (/ (pow i 6) (pow (sqrt 1.0) 6)))))) (+ (* 0.00390625 (/ (pow (sqrt 1.0) 4) (pow i 4))) (+ (* 0.015625 (/ (pow (sqrt 1.0) 2) (pow i 2))) 0.0625)) (+ (* 0.00390625 (/ (pow (sqrt 1.0) 4) (pow i 4))) (+ (* 0.015625 (/ (pow (sqrt 1.0) 2) (pow i 2))) 0.0625)) (- (+ (/ i (pow (sqrt 1.0) 2)) (+ (* 16.0 (/ (pow i 5) (pow (sqrt 1.0) 6))) (* 4.0 (/ (pow i 3) (pow (sqrt 1.0) 4)))))) (+ (* 0.015625 (/ (pow (sqrt 1.0) 4) (pow i 5))) (+ (* 0.25 (/ 1 i)) (* 0.0625 (/ (pow (sqrt 1.0) 2) (pow i 3))))) (+ (* 0.015625 (/ (pow (sqrt 1.0) 4) (pow i 5))) (+ (* 0.25 (/ 1 i)) (* 0.0625 (/ (pow (sqrt 1.0) 2) (pow i 3))))) (- (+ (* 4.0 (/ (pow i 2) (pow (sqrt 1.0) 3))) (/ 1 (sqrt 1.0))) (* 2.0 (/ i (pow (sqrt 1.0) 2)))) (- (+ (* 0.5 (/ 1 i)) (* 0.125 (/ (pow (sqrt 1.0) 2) (pow i 3)))) (* 0.25 (/ (sqrt 1.0) (pow i 2)))) (- (+ (* 0.5 (/ 1 i)) (* 0.125 (/ (pow (sqrt 1.0) 2) (pow i 3)))) (* 0.25 (/ (sqrt 1.0) (pow i 2)))) (- (+ (/ i (sqrt 1.0)) (+ (* 4.0 (/ (pow i 3) (pow (sqrt 1.0) 3))) (* 2.0 (/ (pow i 2) (pow (sqrt 1.0) 2)))))) (+ (* 0.25 (/ (sqrt 1.0) i)) (+ (* 0.125 (/ (pow (sqrt 1.0) 2) (pow i 2))) 0.5)) (+ (* 0.25 (/ (sqrt 1.0) i)) (+ (* 0.125 (/ (pow (sqrt 1.0) 2) (pow i 2))) 0.5)) 1.410 * * [simplify]: iteration 0 : 999 enodes (cost 2548 ) 1.428 * * [simplify]: iteration 1 : 4982 enodes (cost 1960 ) 1.498 * * [simplify]: iteration 2 : 5003 enodes (cost 1960 ) 1.506 * [simplify]: Simplified to: (/ (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) (/ (* 2.0 2.0) i)) (/ (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) (/ (* 2.0 2.0) i)) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (log (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (pow (exp (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0))) (pow (* (/ i (* 2.0 2.0)) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) 3) (pow (* (/ i (* 2.0 2.0)) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) 3) (pow (* (/ i (* 2.0 2.0)) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) 3) (pow (* (/ i (* 2.0 2.0)) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) 3) (pow (* (/ i (* 2.0 2.0)) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) 3) (pow (* (/ i (* 2.0 2.0)) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) 3) (pow (* (/ i (* 2.0 2.0)) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) 3) (pow (* (/ i (* 2.0 2.0)) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) 3) (pow (* (/ i (* 2.0 2.0)) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) 3) (pow (* (/ i (* 2.0 2.0)) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) 3) (pow (* (/ i (* 2.0 2.0)) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) 3) (pow (* (/ i (* 2.0 2.0)) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) 3) (pow (* (/ i (* 2.0 2.0)) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) 3) (pow (* (/ i (* 2.0 2.0)) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) 3) (pow (* (/ i (* 2.0 2.0)) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) 3) (* (cbrt (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (cbrt (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0))))) (cbrt (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (pow (* (/ i (* 2.0 2.0)) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) 3) (sqrt (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (sqrt (* (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)))) (pow i 2) (* (* 2.0 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* i (/ i (+ (* 2.0 i) (sqrt 1.0)))) (* (- (* 2.0 i) (sqrt 1.0)) (* 2.0 2.0)) (* i (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (+ (* 2.0 i) (sqrt 1.0)) (* 2.0 2.0)) (* (* (cbrt (/ i (* 2.0 2.0))) (cbrt (/ i (* 2.0 2.0)))) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (* (sqrt (/ i (* 2.0 2.0))) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (/ (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) (/ 2.0 (* (cbrt i) (cbrt i)))) (/ (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) (/ 2.0 (sqrt i))) (/ (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) (/ 2.0 1)) (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) (* i (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i (* 2.0 2.0)) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* i (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i (* 2.0 2.0)) i) (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i (* 2.0 2.0)) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) (log (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (log (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (log (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (log (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (log (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (log (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (log (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (log (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (log (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (exp (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (pow (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0))) 3) (pow (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0))) 3) (pow (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0))) 3) (pow (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0))) 3) (* (cbrt (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (cbrt (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))))) (cbrt (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (pow (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0))) 3) (sqrt (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) (sqrt (* (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))))) i (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (sqrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (- (* 2.0 i) (sqrt 1.0))))) (* (sqrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (- (* 2.0 i) (sqrt 1.0))))) (* (sqrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0))))) (* (sqrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0))))) (/ (* (sqrt (/ i (- (* 2.0 i) (sqrt 1.0)))) 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (sqrt (/ i (- (* 2.0 i) (sqrt 1.0)))) 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (sqrt (/ i (- (* 2.0 i) (sqrt 1.0)))) 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (sqrt (/ i (- (* 2.0 i) (sqrt 1.0)))) 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (cbrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (cbrt (/ i (- (* 2.0 i) (sqrt 1.0))))) (+ (* 2.0 i) (sqrt 1.0))) (/ (sqrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (+ (* 2.0 i) (sqrt 1.0))) (/ (/ (* (cbrt i) (cbrt i)) (* (cbrt (- (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0))))) (+ (* 2.0 i) (sqrt 1.0))) (/ (/ (* (cbrt i) (cbrt i)) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (+ (* 2.0 i) (sqrt 1.0))) (/ (* (cbrt i) (cbrt i)) (+ (* 2.0 i) (sqrt 1.0))) (/ (/ (sqrt i) (* (cbrt (- (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0))))) (+ (* 2.0 i) (sqrt 1.0))) (/ (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (+ (* 2.0 i) (sqrt 1.0))) (/ (sqrt i) (+ (* 2.0 i) (sqrt 1.0))) (/ (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (* (cbrt (- (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0))))) (/ (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ i (+ (* 2.0 i) (sqrt 1.0))) (/ (/ i (- (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3))) (+ (* 2.0 i) (sqrt 1.0))) (/ (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) (+ (* 2.0 i) (sqrt 1.0))) (* (cbrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (sqrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (/ (cbrt 1) (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (/ (cbrt 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (* (/ (cbrt 1) (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (/ i (- (* 2.0 i) (sqrt 1.0))) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) (/ (* (- (+ (* (* 2.0 i) (* 2.0 i)) 1.0) (* (* 2.0 i) (sqrt 1.0))) i) (- (* 2.0 i) (sqrt 1.0))) (* (- (* 2.0 i) (sqrt 1.0)) (/ i (- (* 2.0 i) (sqrt 1.0)))) (/ i (+ (* 2.0 i) (sqrt 1.0))) (/ i (- (* 2.0 i) (sqrt 1.0))) (- 1) (log (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (log (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (log (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (log (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (exp (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (pow (+ (* 2.0 i) (sqrt 1.0)) 3)) (* (cbrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (cbrt (/ 1 (+ (* 2.0 i) (sqrt 1.0))))) (cbrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (pow (+ (* 2.0 i) (sqrt 1.0)) 3)) (sqrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (sqrt (/ 1 (+ (* 2.0 i) (sqrt 1.0)))) (- 1) (- (+ (* 2.0 i) (sqrt 1.0))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0))))) (/ (cbrt 1) (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (cbrt 1) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (* (cbrt 1) (cbrt 1)) (/ (cbrt 1) (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0))))) (/ 1 (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0)))) 1 (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0))))) (/ 1 (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0)))) 1 (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)) (/ 1 (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0))))) (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0)))) 1 (/ (+ (* 2.0 i) (sqrt 1.0)) (cbrt 1)) (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)) (/ 1 (+ (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3))) (/ 1 (* (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0)) 1)) (log (/ i (- (* 2.0 i) (sqrt 1.0)))) (log (/ i (- (* 2.0 i) (sqrt 1.0)))) (exp (/ i (- (* 2.0 i) (sqrt 1.0)))) (pow (/ i (- (* 2.0 i) (sqrt 1.0))) 3) (* (cbrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (cbrt (/ i (- (* 2.0 i) (sqrt 1.0))))) (cbrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (pow (/ i (- (* 2.0 i) (sqrt 1.0))) 3) (sqrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (- (* 2.0 i) (sqrt 1.0)))) (- i) (- (- (* 2.0 i) (sqrt 1.0))) (/ (* (cbrt i) (cbrt i)) (* (cbrt (- (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0))))) (/ (cbrt i) (cbrt (- (* 2.0 i) (sqrt 1.0)))) (/ (* (cbrt i) (cbrt i)) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ (cbrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (* (cbrt i) (cbrt i)) (/ (cbrt i) (- (* 2.0 i) (sqrt 1.0))) (/ (sqrt i) (* (cbrt (- (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0))))) (/ (sqrt i) (cbrt (- (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (sqrt i) (/ (sqrt i) (- (* 2.0 i) (sqrt 1.0))) (/ 1 (* (cbrt (- (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0))))) (/ i (cbrt (- (* 2.0 i) (sqrt 1.0)))) (/ 1 (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ i (sqrt (- (* 2.0 i) (sqrt 1.0)))) 1 (/ i (- (* 2.0 i) (sqrt 1.0))) (/ 1 (- (* 2.0 i) (sqrt 1.0))) (/ (- (* 2.0 i) (sqrt 1.0)) i) (/ i (* (cbrt (- (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0))))) (/ i (sqrt (- (* 2.0 i) (sqrt 1.0)))) i (/ (- (* 2.0 i) (sqrt 1.0)) (cbrt i)) (/ (- (* 2.0 i) (sqrt 1.0)) (sqrt i)) (/ (- (* 2.0 i) (sqrt 1.0)) i) (/ i (- (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3))) (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) (- (/ (- (* 1.0 (pow i 4))) (* 1.0 1.0)) (+ (* 4.0 (/ (pow i 6) (pow (sqrt 1.0) 6))) (/ (* 0.25 (pow i 2)) 1.0))) (+ (+ 0.0625 (/ (* 0.015625 1.0) (pow i 2))) (* 0.00390625 (/ (pow (sqrt 1.0) 4) (pow i 4)))) (+ (+ 0.0625 (/ (* 0.015625 1.0) (pow i 2))) (* 0.00390625 (/ (pow (sqrt 1.0) 4) (pow i 4)))) (- (/ (- i) 1.0) (+ (* 16.0 (/ (pow i 5) (pow (sqrt 1.0) 6))) (* 4.0 (/ (pow i 3) (pow (sqrt 1.0) 4))))) (+ (+ (/ (* 0.0625 1.0) (pow i 3)) (* 0.25 (/ 1 i))) (* 0.015625 (/ (pow (sqrt 1.0) 4) (pow i 5)))) (+ (+ (/ (* 0.0625 1.0) (pow i 3)) (* 0.25 (/ 1 i))) (* 0.015625 (/ (pow (sqrt 1.0) 4) (pow i 5)))) (+ (/ 1 (sqrt 1.0)) (- (* 4.0 (/ (pow i 2) (pow (sqrt 1.0) 3))) (/ (* 2.0 i) 1.0))) (+ (/ (* 0.125 1.0) (pow i 3)) (- (* 0.5 (/ 1 i)) (* 0.25 (/ (sqrt 1.0) (pow i 2))))) (+ (/ (* 0.125 1.0) (pow i 3)) (- (* 0.5 (/ 1 i)) (* 0.25 (/ (sqrt 1.0) (pow i 2))))) (- (- (/ i (sqrt 1.0))) (+ (/ (* 2.0 (pow i 2)) 1.0) (* 4.0 (/ (pow i 3) (pow (sqrt 1.0) 3))))) (+ (+ 0.5 (/ (* 0.125 1.0) (pow i 2))) (* 0.25 (/ (sqrt 1.0) i))) (+ (+ 0.5 (/ (* 0.125 1.0) (pow i 2))) (* 0.25 (/ (sqrt 1.0) i))) 1.508 * * * [progress]: adding candidates to table 1.848 * * [progress]: iteration 4 / 4 1.848 * * * [progress]: picking best candidate 1.849 * * * * [pick]: Picked # 1.849 * * * [progress]: localizing error 1.859 * * * [progress]: generating rewritten candidates 1.859 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 1.866 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1.891 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.916 * * * [progress]: generating series expansions 1.916 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 1.917 * [approximate]: Taking taylor expansion of (/ i (+ (* 2.0 i) (sqrt 1.0))) in (i) around 0 1.917 * [taylor]: Taking taylor expansion of (/ i (+ (* 2.0 i) (sqrt 1.0))) in i 1.917 * [taylor]: Taking taylor expansion of i in i 1.917 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i 1.917 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 1.917 * [taylor]: Taking taylor expansion of 2.0 in i 1.917 * [taylor]: Taking taylor expansion of i in i 1.917 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.917 * [taylor]: Taking taylor expansion of 1.0 in i 1.919 * [taylor]: Taking taylor expansion of (/ i (+ (* 2.0 i) (sqrt 1.0))) in i 1.919 * [taylor]: Taking taylor expansion of i in i 1.919 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i 1.919 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 1.919 * [taylor]: Taking taylor expansion of 2.0 in i 1.919 * [taylor]: Taking taylor expansion of i in i 1.919 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.919 * [taylor]: Taking taylor expansion of 1.0 in i 1.941 * [approximate]: Taking taylor expansion of (/ 1 (* i (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in (i) around 0 1.941 * [taylor]: Taking taylor expansion of (/ 1 (* i (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i 1.941 * [taylor]: Taking taylor expansion of (* i (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i 1.941 * [taylor]: Taking taylor expansion of i in i 1.941 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i 1.941 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.941 * [taylor]: Taking taylor expansion of 1.0 in i 1.942 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 1.942 * [taylor]: Taking taylor expansion of 2.0 in i 1.942 * [taylor]: Taking taylor expansion of (/ 1 i) in i 1.942 * [taylor]: Taking taylor expansion of i in i 1.945 * [taylor]: Taking taylor expansion of (/ 1 (* i (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i 1.945 * [taylor]: Taking taylor expansion of (* i (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i 1.945 * [taylor]: Taking taylor expansion of i in i 1.945 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i 1.946 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.946 * [taylor]: Taking taylor expansion of 1.0 in i 1.946 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 1.946 * [taylor]: Taking taylor expansion of 2.0 in i 1.946 * [taylor]: Taking taylor expansion of (/ 1 i) in i 1.946 * [taylor]: Taking taylor expansion of i in i 1.966 * [approximate]: Taking taylor expansion of (/ -1 (* i (- (sqrt 1.0) (* 2.0 (/ 1 i))))) in (i) around 0 1.966 * [taylor]: Taking taylor expansion of (/ -1 (* i (- (sqrt 1.0) (* 2.0 (/ 1 i))))) in i 1.966 * [taylor]: Taking taylor expansion of -1 in i 1.966 * [taylor]: Taking taylor expansion of (* i (- (sqrt 1.0) (* 2.0 (/ 1 i)))) in i 1.966 * [taylor]: Taking taylor expansion of i in i 1.966 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i 1.966 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.966 * [taylor]: Taking taylor expansion of 1.0 in i 1.967 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 1.967 * [taylor]: Taking taylor expansion of 2.0 in i 1.967 * [taylor]: Taking taylor expansion of (/ 1 i) in i 1.967 * [taylor]: Taking taylor expansion of i in i 1.972 * [taylor]: Taking taylor expansion of (/ -1 (* i (- (sqrt 1.0) (* 2.0 (/ 1 i))))) in i 1.972 * [taylor]: Taking taylor expansion of -1 in i 1.972 * [taylor]: Taking taylor expansion of (* i (- (sqrt 1.0) (* 2.0 (/ 1 i)))) in i 1.972 * [taylor]: Taking taylor expansion of i in i 1.972 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i 1.972 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 1.972 * [taylor]: Taking taylor expansion of 1.0 in i 1.972 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 1.972 * [taylor]: Taking taylor expansion of 2.0 in i 1.972 * [taylor]: Taking taylor expansion of (/ 1 i) in i 1.972 * [taylor]: Taking taylor expansion of i in i 1.999 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 2.000 * [approximate]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (+ (* 2.0 i) (sqrt 1.0)))) in (i) around 0 2.000 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (+ (* 2.0 i) (sqrt 1.0)))) in i 2.000 * [taylor]: Taking taylor expansion of 0.25 in i 2.000 * [taylor]: Taking taylor expansion of (/ (pow i 2) (+ (* 2.0 i) (sqrt 1.0))) in i 2.000 * [taylor]: Taking taylor expansion of (pow i 2) in i 2.000 * [taylor]: Taking taylor expansion of i in i 2.000 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i 2.000 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 2.000 * [taylor]: Taking taylor expansion of 2.0 in i 2.000 * [taylor]: Taking taylor expansion of i in i 2.000 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 2.000 * [taylor]: Taking taylor expansion of 1.0 in i 2.002 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (+ (* 2.0 i) (sqrt 1.0)))) in i 2.002 * [taylor]: Taking taylor expansion of 0.25 in i 2.002 * [taylor]: Taking taylor expansion of (/ (pow i 2) (+ (* 2.0 i) (sqrt 1.0))) in i 2.002 * [taylor]: Taking taylor expansion of (pow i 2) in i 2.002 * [taylor]: Taking taylor expansion of i in i 2.002 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i 2.003 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 2.003 * [taylor]: Taking taylor expansion of 2.0 in i 2.003 * [taylor]: Taking taylor expansion of i in i 2.003 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 2.003 * [taylor]: Taking taylor expansion of 1.0 in i 2.035 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in (i) around 0 2.036 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i 2.036 * [taylor]: Taking taylor expansion of 0.25 in i 2.036 * [taylor]: Taking taylor expansion of (* (pow i 2) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i 2.036 * [taylor]: Taking taylor expansion of (pow i 2) in i 2.036 * [taylor]: Taking taylor expansion of i in i 2.036 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i 2.036 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 2.036 * [taylor]: Taking taylor expansion of 1.0 in i 2.036 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 2.036 * [taylor]: Taking taylor expansion of 2.0 in i 2.036 * [taylor]: Taking taylor expansion of (/ 1 i) in i 2.036 * [taylor]: Taking taylor expansion of i in i 2.038 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i 2.038 * [taylor]: Taking taylor expansion of 0.25 in i 2.038 * [taylor]: Taking taylor expansion of (* (pow i 2) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i 2.038 * [taylor]: Taking taylor expansion of (pow i 2) in i 2.038 * [taylor]: Taking taylor expansion of i in i 2.038 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i 2.038 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 2.038 * [taylor]: Taking taylor expansion of 1.0 in i 2.039 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 2.039 * [taylor]: Taking taylor expansion of 2.0 in i 2.039 * [taylor]: Taking taylor expansion of (/ 1 i) in i 2.039 * [taylor]: Taking taylor expansion of i in i 2.056 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (sqrt 1.0) (* 2.0 (/ 1 i))))) in (i) around 0 2.056 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (sqrt 1.0) (* 2.0 (/ 1 i))))) in i 2.056 * [taylor]: Taking taylor expansion of 0.25 in i 2.056 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (sqrt 1.0) (* 2.0 (/ 1 i)))) in i 2.056 * [taylor]: Taking taylor expansion of (pow i 2) in i 2.056 * [taylor]: Taking taylor expansion of i in i 2.056 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i 2.056 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 2.056 * [taylor]: Taking taylor expansion of 1.0 in i 2.057 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 2.057 * [taylor]: Taking taylor expansion of 2.0 in i 2.057 * [taylor]: Taking taylor expansion of (/ 1 i) in i 2.057 * [taylor]: Taking taylor expansion of i in i 2.059 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (sqrt 1.0) (* 2.0 (/ 1 i))))) in i 2.059 * [taylor]: Taking taylor expansion of 0.25 in i 2.059 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (sqrt 1.0) (* 2.0 (/ 1 i)))) in i 2.059 * [taylor]: Taking taylor expansion of (pow i 2) in i 2.059 * [taylor]: Taking taylor expansion of i in i 2.059 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i 2.059 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 2.059 * [taylor]: Taking taylor expansion of 1.0 in i 2.060 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 2.060 * [taylor]: Taking taylor expansion of 2.0 in i 2.060 * [taylor]: Taking taylor expansion of (/ 1 i) in i 2.060 * [taylor]: Taking taylor expansion of i in i 2.084 * * * * [progress]: [ 3 / 3 ] generating series at (2) 2.085 * [approximate]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))))) in (i) around 0 2.085 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))))) in i 2.085 * [taylor]: Taking taylor expansion of 0.25 in i 2.085 * [taylor]: Taking taylor expansion of (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)))) in i 2.085 * [taylor]: Taking taylor expansion of (pow i 2) in i 2.085 * [taylor]: Taking taylor expansion of i in i 2.085 * [taylor]: Taking taylor expansion of (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) in i 2.086 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i 2.086 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 2.086 * [taylor]: Taking taylor expansion of 2.0 in i 2.086 * [taylor]: Taking taylor expansion of i in i 2.086 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 2.086 * [taylor]: Taking taylor expansion of 1.0 in i 2.086 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i 2.086 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 2.086 * [taylor]: Taking taylor expansion of 2.0 in i 2.086 * [taylor]: Taking taylor expansion of i in i 2.086 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 2.086 * [taylor]: Taking taylor expansion of 1.0 in i 2.092 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))))) in i 2.092 * [taylor]: Taking taylor expansion of 0.25 in i 2.092 * [taylor]: Taking taylor expansion of (/ (pow i 2) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0)))) in i 2.092 * [taylor]: Taking taylor expansion of (pow i 2) in i 2.092 * [taylor]: Taking taylor expansion of i in i 2.092 * [taylor]: Taking taylor expansion of (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) in i 2.092 * [taylor]: Taking taylor expansion of (- (* 2.0 i) (sqrt 1.0)) in i 2.092 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 2.092 * [taylor]: Taking taylor expansion of 2.0 in i 2.092 * [taylor]: Taking taylor expansion of i in i 2.092 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 2.092 * [taylor]: Taking taylor expansion of 1.0 in i 2.093 * [taylor]: Taking taylor expansion of (+ (* 2.0 i) (sqrt 1.0)) in i 2.093 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 2.093 * [taylor]: Taking taylor expansion of 2.0 in i 2.093 * [taylor]: Taking taylor expansion of i in i 2.093 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 2.093 * [taylor]: Taking taylor expansion of 1.0 in i 2.168 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))))) in (i) around 0 2.168 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))))) in i 2.168 * [taylor]: Taking taylor expansion of 0.25 in i 2.168 * [taylor]: Taking taylor expansion of (* (pow i 2) (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0)))) in i 2.168 * [taylor]: Taking taylor expansion of (pow i 2) in i 2.168 * [taylor]: Taking taylor expansion of i in i 2.168 * [taylor]: Taking taylor expansion of (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i 2.168 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i 2.168 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 2.168 * [taylor]: Taking taylor expansion of 1.0 in i 2.168 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 2.168 * [taylor]: Taking taylor expansion of 2.0 in i 2.169 * [taylor]: Taking taylor expansion of (/ 1 i) in i 2.169 * [taylor]: Taking taylor expansion of i in i 2.169 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i 2.169 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 2.169 * [taylor]: Taking taylor expansion of 2.0 in i 2.169 * [taylor]: Taking taylor expansion of (/ 1 i) in i 2.169 * [taylor]: Taking taylor expansion of i in i 2.169 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 2.169 * [taylor]: Taking taylor expansion of 1.0 in i 2.172 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))))) in i 2.172 * [taylor]: Taking taylor expansion of 0.25 in i 2.172 * [taylor]: Taking taylor expansion of (* (pow i 2) (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0)))) in i 2.172 * [taylor]: Taking taylor expansion of (pow i 2) in i 2.172 * [taylor]: Taking taylor expansion of i in i 2.172 * [taylor]: Taking taylor expansion of (* (+ (sqrt 1.0) (* 2.0 (/ 1 i))) (- (* 2.0 (/ 1 i)) (sqrt 1.0))) in i 2.172 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i 2.172 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 2.172 * [taylor]: Taking taylor expansion of 1.0 in i 2.172 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 2.173 * [taylor]: Taking taylor expansion of 2.0 in i 2.173 * [taylor]: Taking taylor expansion of (/ 1 i) in i 2.173 * [taylor]: Taking taylor expansion of i in i 2.173 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 i)) (sqrt 1.0)) in i 2.173 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 2.173 * [taylor]: Taking taylor expansion of 2.0 in i 2.173 * [taylor]: Taking taylor expansion of (/ 1 i) in i 2.173 * [taylor]: Taking taylor expansion of i in i 2.173 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 2.173 * [taylor]: Taking taylor expansion of 1.0 in i 2.220 * [approximate]: Taking taylor expansion of (/ -0.25 (* (pow i 2) (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))))) in (i) around 0 2.220 * [taylor]: Taking taylor expansion of (/ -0.25 (* (pow i 2) (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))))) in i 2.220 * [taylor]: Taking taylor expansion of -0.25 in i 2.220 * [taylor]: Taking taylor expansion of (* (pow i 2) (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i 2.220 * [taylor]: Taking taylor expansion of (pow i 2) in i 2.220 * [taylor]: Taking taylor expansion of i in i 2.220 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i 2.220 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i 2.220 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 2.220 * [taylor]: Taking taylor expansion of 1.0 in i 2.221 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 2.221 * [taylor]: Taking taylor expansion of 2.0 in i 2.221 * [taylor]: Taking taylor expansion of (/ 1 i) in i 2.221 * [taylor]: Taking taylor expansion of i in i 2.221 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i 2.221 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 2.221 * [taylor]: Taking taylor expansion of 1.0 in i 2.222 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 2.222 * [taylor]: Taking taylor expansion of 2.0 in i 2.222 * [taylor]: Taking taylor expansion of (/ 1 i) in i 2.222 * [taylor]: Taking taylor expansion of i in i 2.225 * [taylor]: Taking taylor expansion of (/ -0.25 (* (pow i 2) (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))))) in i 2.225 * [taylor]: Taking taylor expansion of -0.25 in i 2.225 * [taylor]: Taking taylor expansion of (* (pow i 2) (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i))))) in i 2.225 * [taylor]: Taking taylor expansion of (pow i 2) in i 2.225 * [taylor]: Taking taylor expansion of i in i 2.225 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (* 2.0 (/ 1 i))) (+ (sqrt 1.0) (* 2.0 (/ 1 i)))) in i 2.225 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (* 2.0 (/ 1 i))) in i 2.225 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 2.225 * [taylor]: Taking taylor expansion of 1.0 in i 2.226 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 2.226 * [taylor]: Taking taylor expansion of 2.0 in i 2.226 * [taylor]: Taking taylor expansion of (/ 1 i) in i 2.226 * [taylor]: Taking taylor expansion of i in i 2.226 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (* 2.0 (/ 1 i))) in i 2.226 * [taylor]: Taking taylor expansion of (sqrt 1.0) in i 2.226 * [taylor]: Taking taylor expansion of 1.0 in i 2.227 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 i)) in i 2.227 * [taylor]: Taking taylor expansion of 2.0 in i 2.227 * [taylor]: Taking taylor expansion of (/ 1 i) in i 2.227 * [taylor]: Taking taylor expansion of i in i 2.278 * * * [progress]: simplifying candidates 2.280 * [simplify]: Simplifying using # : (- (log i) (log (+ (* 2.0 i) (sqrt 1.0)))) (log (/ i (+ (* 2.0 i) (sqrt 1.0)))) (exp (/ i (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (* i i) i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0)))) (* (cbrt (/ i (+ (* 2.0 i) (sqrt 1.0)))) (cbrt (/ i (+ (* 2.0 i) (sqrt 1.0))))) (cbrt (/ i (+ (* 2.0 i) (sqrt 1.0)))) (* (* (/ i (+ (* 2.0 i) (sqrt 1.0))) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (+ (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- i) (- (+ (* 2.0 i) (sqrt 1.0))) (/ (* (cbrt i) (cbrt i)) (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0))))) (/ (cbrt i) (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (cbrt i) (cbrt i)) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (cbrt i) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (cbrt i) (cbrt i)) 1) (/ (cbrt i) (+ (* 2.0 i) (sqrt 1.0))) (/ (sqrt i) (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0))))) (/ (sqrt i) (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) 1) (/ (sqrt i) (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0))))) (/ i (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ i (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 1) (/ i (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ (+ (* 2.0 i) (sqrt 1.0)) i) (/ i (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0))))) (/ i (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ i 1) (/ (+ (* 2.0 i) (sqrt 1.0)) (cbrt i)) (/ (+ (* 2.0 i) (sqrt 1.0)) (sqrt i)) (/ (+ (* 2.0 i) (sqrt 1.0)) i) (/ i (+ (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3))) (/ i (- (* (* 2.0 i) (* 2.0 i)) (* (sqrt 1.0) (sqrt 1.0)))) (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (+ (- (log i) (+ (log 2.0) (log 2.0))) (- (log i) (log (+ (* 2.0 i) (sqrt 1.0))))) (+ (- (log i) (+ (log 2.0) (log 2.0))) (log (/ i (+ (* 2.0 i) (sqrt 1.0))))) (+ (- (log i) (log (* 2.0 2.0))) (- (log i) (log (+ (* 2.0 i) (sqrt 1.0))))) (+ (- (log i) (log (* 2.0 2.0))) (log (/ i (+ (* 2.0 i) (sqrt 1.0))))) (+ (log (/ i (* 2.0 2.0))) (- (log i) (log (+ (* 2.0 i) (sqrt 1.0))))) (+ (log (/ i (* 2.0 2.0))) (log (/ i (+ (* 2.0 i) (sqrt 1.0))))) (log (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (exp (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* (/ (* (* i i) i) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))) (/ (* (* i i) i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0))))) (* (/ (* (* i i) i) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))) (* (* (/ i (+ (* 2.0 i) (sqrt 1.0))) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* (/ (* (* i i) i) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))) (/ (* (* i i) i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0))))) (* (/ (* (* i i) i) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))) (* (* (/ i (+ (* 2.0 i) (sqrt 1.0))) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* (* (* (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0))) (/ i (* 2.0 2.0))) (/ (* (* i i) i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0))))) (* (* (* (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0))) (/ i (* 2.0 2.0))) (* (* (/ i (+ (* 2.0 i) (sqrt 1.0))) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* (cbrt (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (cbrt (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))))) (cbrt (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* (* (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (sqrt (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (sqrt (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* i i) (* (* 2.0 2.0) (+ (* 2.0 i) (sqrt 1.0))) (* (sqrt (/ i (* 2.0 2.0))) (sqrt (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* (sqrt (/ i (* 2.0 2.0))) (sqrt (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* (sqrt (/ i (* 2.0 2.0))) (/ (sqrt i) (sqrt (+ (* 2.0 i) (sqrt 1.0))))) (* (sqrt (/ i (* 2.0 2.0))) (/ (sqrt i) (sqrt (+ (* 2.0 i) (sqrt 1.0))))) (* (/ (sqrt i) 2.0) (sqrt (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* (/ (sqrt i) 2.0) (sqrt (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* (/ (sqrt i) 2.0) (/ (sqrt i) (sqrt (+ (* 2.0 i) (sqrt 1.0))))) (* (/ (sqrt i) 2.0) (/ (sqrt i) (sqrt (+ (* 2.0 i) (sqrt 1.0))))) (* (/ i (* 2.0 2.0)) (* (cbrt (/ i (+ (* 2.0 i) (sqrt 1.0)))) (cbrt (/ i (+ (* 2.0 i) (sqrt 1.0)))))) (* (/ i (* 2.0 2.0)) (sqrt (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* (/ i (* 2.0 2.0)) (/ (* (cbrt i) (cbrt i)) (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0)))))) (* (/ i (* 2.0 2.0)) (/ (* (cbrt i) (cbrt i)) (sqrt (+ (* 2.0 i) (sqrt 1.0))))) (* (/ i (* 2.0 2.0)) (/ (* (cbrt i) (cbrt i)) 1)) (* (/ i (* 2.0 2.0)) (/ (sqrt i) (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0)))))) (* (/ i (* 2.0 2.0)) (/ (sqrt i) (sqrt (+ (* 2.0 i) (sqrt 1.0))))) (* (/ i (* 2.0 2.0)) (/ (sqrt i) 1)) (* (/ i (* 2.0 2.0)) (/ 1 (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0)))))) (* (/ i (* 2.0 2.0)) (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0))))) (* (/ i (* 2.0 2.0)) (/ 1 1)) (* (/ i (* 2.0 2.0)) 1) (* (/ i (* 2.0 2.0)) i) (* (/ i (* 2.0 2.0)) (/ i (+ (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)))) (* (/ i (* 2.0 2.0)) (/ i (- (* (* 2.0 i) (* 2.0 i)) (* (sqrt 1.0) (sqrt 1.0))))) (* (cbrt (/ i (* 2.0 2.0))) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (* (sqrt (/ i (* 2.0 2.0))) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (* (/ (cbrt i) 2.0) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (* (/ (sqrt i) 2.0) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i 2.0) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (* (/ 1 (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i (* 2.0 2.0)) i) (* i (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- (+ (- (log i) (+ (log 2.0) (log 2.0))) (- (log i) (log (+ (* 2.0 i) (sqrt 1.0))))) (log (- (* 2.0 i) (sqrt 1.0)))) (- (+ (- (log i) (+ (log 2.0) (log 2.0))) (log (/ i (+ (* 2.0 i) (sqrt 1.0))))) (log (- (* 2.0 i) (sqrt 1.0)))) (- (+ (- (log i) (log (* 2.0 2.0))) (- (log i) (log (+ (* 2.0 i) (sqrt 1.0))))) (log (- (* 2.0 i) (sqrt 1.0)))) (- (+ (- (log i) (log (* 2.0 2.0))) (log (/ i (+ (* 2.0 i) (sqrt 1.0))))) (log (- (* 2.0 i) (sqrt 1.0)))) (- (+ (log (/ i (* 2.0 2.0))) (- (log i) (log (+ (* 2.0 i) (sqrt 1.0))))) (log (- (* 2.0 i) (sqrt 1.0)))) (- (+ (log (/ i (* 2.0 2.0))) (log (/ i (+ (* 2.0 i) (sqrt 1.0))))) (log (- (* 2.0 i) (sqrt 1.0)))) (- (log (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (log (- (* 2.0 i) (sqrt 1.0)))) (log (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- (* 2.0 i) (sqrt 1.0)))) (exp (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- (* 2.0 i) (sqrt 1.0)))) (/ (* (/ (* (* i i) i) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))) (/ (* (* i i) i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0))))) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (/ (* (/ (* (* i i) i) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))) (* (* (/ i (+ (* 2.0 i) (sqrt 1.0))) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (/ (* (/ (* (* i i) i) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))) (/ (* (* i i) i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0))))) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (/ (* (/ (* (* i i) i) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))) (* (* (/ i (+ (* 2.0 i) (sqrt 1.0))) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (/ (* (* (* (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0))) (/ i (* 2.0 2.0))) (/ (* (* i i) i) (* (* (+ (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (+ (* 2.0 i) (sqrt 1.0))))) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (/ (* (* (* (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0))) (/ i (* 2.0 2.0))) (* (* (/ i (+ (* 2.0 i) (sqrt 1.0))) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (/ (* (* (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* (* (- (* 2.0 i) (sqrt 1.0)) (- (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0)))) (* (cbrt (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- (* 2.0 i) (sqrt 1.0)))) (cbrt (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- (* 2.0 i) (sqrt 1.0))))) (cbrt (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- (* 2.0 i) (sqrt 1.0)))) (* (* (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- (* 2.0 i) (sqrt 1.0))) (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- (* 2.0 i) (sqrt 1.0)))) (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- (* 2.0 i) (sqrt 1.0)))) (sqrt (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- (* 2.0 i) (sqrt 1.0)))) (sqrt (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- (* 2.0 i) (sqrt 1.0)))) (- (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (- (- (* 2.0 i) (sqrt 1.0))) (/ (/ i (* 2.0 2.0)) (* (cbrt (- (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0))))) (/ (/ i (+ (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0)))) (/ (/ i (* 2.0 2.0)) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ (/ i (+ (* 2.0 i) (sqrt 1.0))) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ (/ i (* 2.0 2.0)) 1) (/ (/ i (+ (* 2.0 i) (sqrt 1.0))) (- (* 2.0 i) (sqrt 1.0))) (/ 1 (- (* 2.0 i) (sqrt 1.0))) (/ (- (* 2.0 i) (sqrt 1.0)) (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (* (cbrt (- (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0))))) (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) 1) (/ (- (* 2.0 i) (sqrt 1.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3))) (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- (* (* 2.0 i) (* 2.0 i)) (* (sqrt 1.0) (sqrt 1.0)))) (* (- (* 2.0 i) (sqrt 1.0)) (* (* 2.0 2.0) (+ (* 2.0 i) (sqrt 1.0)))) (* (- (* 2.0 i) (sqrt 1.0)) (+ (* 2.0 i) (sqrt 1.0))) (* (- (* 2.0 i) (sqrt 1.0)) (* 2.0 2.0)) (- (+ (/ i (sqrt 1.0)) (* 4.0 (/ (pow i 3) (pow (sqrt 1.0) 3)))) (* 2.0 (/ (pow i 2) (pow (sqrt 1.0) 2)))) (- (+ (* 0.125 (/ (pow (sqrt 1.0) 2) (pow i 2))) 0.5) (* 0.25 (/ (sqrt 1.0) i))) (- (+ (* 0.125 (/ (pow (sqrt 1.0) 2) (pow i 2))) 0.5) (* 0.25 (/ (sqrt 1.0) i))) (- (+ (* 1.0 (/ (pow i 4) (pow (sqrt 1.0) 3))) (* 0.25 (/ (pow i 2) (sqrt 1.0)))) (* 0.5 (/ (pow i 3) (pow (sqrt 1.0) 2)))) (- (+ (* 0.125 i) (* 0.03125 (/ (pow (sqrt 1.0) 2) i))) (* 0.0625 (sqrt 1.0))) (- (+ (* 0.125 i) (* 0.03125 (/ (pow (sqrt 1.0) 2) i))) (* 0.0625 (sqrt 1.0))) (- (+ (* 1.0 (/ (pow i 4) (pow (sqrt 1.0) 4))) (+ (* 0.25 (/ (pow i 2) (pow (sqrt 1.0) 2))) (* 4.0 (/ (pow i 6) (pow (sqrt 1.0) 6)))))) (+ (* 0.00390625 (/ (pow (sqrt 1.0) 4) (pow i 4))) (+ (* 0.015625 (/ (pow (sqrt 1.0) 2) (pow i 2))) 0.0625)) (+ (* 0.00390625 (/ (pow (sqrt 1.0) 4) (pow i 4))) (+ (* 0.015625 (/ (pow (sqrt 1.0) 2) (pow i 2))) 0.0625)) 2.288 * * [simplify]: iteration 0 : 715 enodes (cost 1470 ) 2.301 * * [simplify]: iteration 1 : 3901 enodes (cost 1149 ) 2.362 * * [simplify]: iteration 2 : 5002 enodes (cost 1111 ) 2.367 * [simplify]: Simplified to: (log (/ i (+ (* 2.0 i) (sqrt 1.0)))) (log (/ i (+ (* 2.0 i) (sqrt 1.0)))) (exp (/ i (+ (* 2.0 i) (sqrt 1.0)))) (pow (/ i (+ (* 2.0 i) (sqrt 1.0))) 3) (* (cbrt (/ i (+ (* 2.0 i) (sqrt 1.0)))) (cbrt (/ i (+ (* 2.0 i) (sqrt 1.0))))) (cbrt (/ i (+ (* 2.0 i) (sqrt 1.0)))) (pow (/ i (+ (* 2.0 i) (sqrt 1.0))) 3) (sqrt (/ i (+ (* 2.0 i) (sqrt 1.0)))) (sqrt (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- i) (- (+ (* 2.0 i) (sqrt 1.0))) (/ (* (cbrt i) (cbrt i)) (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0))))) (/ (cbrt i) (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (* (cbrt i) (cbrt i)) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (cbrt i) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (* (cbrt i) (cbrt i)) (/ (cbrt i) (+ (* 2.0 i) (sqrt 1.0))) (/ (sqrt i) (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0))))) (/ (sqrt i) (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ (sqrt i) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (sqrt i) (/ (sqrt i) (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0))))) (/ i (cbrt (+ (* 2.0 i) (sqrt 1.0)))) (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ i (sqrt (+ (* 2.0 i) (sqrt 1.0)))) 1 (/ i (+ (* 2.0 i) (sqrt 1.0))) (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ (+ (* 2.0 i) (sqrt 1.0)) i) (/ i (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0))))) (/ i (sqrt (+ (* 2.0 i) (sqrt 1.0)))) i (/ (+ (* 2.0 i) (sqrt 1.0)) (cbrt i)) (/ (+ (* 2.0 i) (sqrt 1.0)) (sqrt i)) (/ (+ (* 2.0 i) (sqrt 1.0)) i) (/ i (+ (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3))) (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (log (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (log (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (log (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (log (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (log (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (log (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (log (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (exp (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (pow (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) 3) (pow (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) 3) (pow (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) 3) (pow (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) 3) (pow (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) 3) (pow (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) 3) (* (cbrt (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (cbrt (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))))) (cbrt (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (pow (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) 3) (sqrt (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (sqrt (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (pow i 2) (* (* 2.0 2.0) (+ (* 2.0 i) (sqrt 1.0))) (* (sqrt (/ i (* 2.0 2.0))) (sqrt (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* (sqrt (/ i (* 2.0 2.0))) (sqrt (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* (sqrt (/ i (* 2.0 2.0))) (/ (sqrt i) (sqrt (+ (* 2.0 i) (sqrt 1.0))))) (* (sqrt (/ i (* 2.0 2.0))) (/ (sqrt i) (sqrt (+ (* 2.0 i) (sqrt 1.0))))) (* (/ (sqrt i) 2.0) (sqrt (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* (/ (sqrt i) 2.0) (sqrt (/ i (+ (* 2.0 i) (sqrt 1.0))))) (/ (* i (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0))))) 2.0) (/ (* i (/ 1 (sqrt (+ (* 2.0 i) (sqrt 1.0))))) 2.0) (* (/ i (* 2.0 2.0)) (* (cbrt (/ i (+ (* 2.0 i) (sqrt 1.0)))) (cbrt (/ i (+ (* 2.0 i) (sqrt 1.0)))))) (* (/ i (* 2.0 2.0)) (sqrt (/ i (+ (* 2.0 i) (sqrt 1.0))))) (* (/ i (* 2.0 2.0)) (/ (* (cbrt i) (cbrt i)) (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0)))))) (* (/ i (* 2.0 2.0)) (/ (* (cbrt i) (cbrt i)) (sqrt (+ (* 2.0 i) (sqrt 1.0))))) (/ (* i (* (cbrt i) (cbrt i))) (* 2.0 2.0)) (* (/ i (* 2.0 2.0)) (/ (sqrt i) (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0)))))) (* (/ i (* 2.0 2.0)) (/ (sqrt i) (sqrt (+ (* 2.0 i) (sqrt 1.0))))) (/ (* i (sqrt i)) (* 2.0 2.0)) (/ (/ i (* 2.0 2.0)) (* (cbrt (+ (* 2.0 i) (sqrt 1.0))) (cbrt (+ (* 2.0 i) (sqrt 1.0))))) (/ (/ i (* 2.0 2.0)) (sqrt (+ (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)) (/ i (* 2.0 2.0)) (* (/ i (* 2.0 2.0)) i) (* (/ i (* 2.0 2.0)) (/ i (+ (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3)))) (/ (* (/ i (* 2.0 2.0)) i) (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) (* (cbrt (/ i (* 2.0 2.0))) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (* (sqrt (/ i (* 2.0 2.0))) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (* (/ (cbrt i) 2.0) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (* (/ (sqrt i) 2.0) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i 2.0) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (/ (/ (/ i (+ (* 2.0 i) (sqrt 1.0))) 2.0) 2.0) (* (/ i (* 2.0 2.0)) i) (* i (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- (log (* (/ i (* 2.0 2.0)) i)) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (log (* (/ i (* 2.0 2.0)) i)) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (log (* (/ i (* 2.0 2.0)) i)) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (log (* (/ i (* 2.0 2.0)) i)) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (log (* (/ i (* 2.0 2.0)) i)) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (log (* (/ i (* 2.0 2.0)) i)) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (log (* (/ i (* 2.0 2.0)) i)) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (log (* (/ i (* 2.0 2.0)) i)) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (pow (exp (/ i (* 2.0 2.0))) (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0)))) (pow (/ (* (/ i (* 2.0 2.0)) i) (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ (* (/ i (* 2.0 2.0)) i) (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ (* (/ i (* 2.0 2.0)) i) (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ (* (/ i (* 2.0 2.0)) i) (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ (* (/ i (* 2.0 2.0)) i) (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ (* (/ i (* 2.0 2.0)) i) (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (pow (/ (* (/ i (* 2.0 2.0)) i) (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (* (cbrt (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- (* 2.0 i) (sqrt 1.0)))) (cbrt (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- (* 2.0 i) (sqrt 1.0))))) (cbrt (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- (* 2.0 i) (sqrt 1.0)))) (pow (/ (* (/ i (* 2.0 2.0)) i) (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) 3) (sqrt (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- (* 2.0 i) (sqrt 1.0)))) (sqrt (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- (* 2.0 i) (sqrt 1.0)))) (- (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0))))) (- (- (* 2.0 i) (sqrt 1.0))) (/ (/ i (* 2.0 2.0)) (* (cbrt (- (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0))))) (/ (/ i (+ (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0)))) (/ (/ i (* 2.0 2.0)) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ (/ i (+ (* 2.0 i) (sqrt 1.0))) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (/ i (* 2.0 2.0)) (/ i (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) (/ 1 (- (* 2.0 i) (sqrt 1.0))) (/ (/ (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0)) i) (/ i (* 2.0 2.0))) (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (* (cbrt (- (* 2.0 i) (sqrt 1.0))) (cbrt (- (* 2.0 i) (sqrt 1.0))))) (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (sqrt (- (* 2.0 i) (sqrt 1.0)))) (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (/ (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0)) i) (/ (* (/ i (* 2.0 2.0)) (/ i (+ (* 2.0 i) (sqrt 1.0)))) (- (pow (* 2.0 i) 3) (pow (sqrt 1.0) 3))) (/ (/ (* (/ i (* 2.0 2.0)) i) (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0))) (+ (* 2.0 i) (sqrt 1.0))) (* (+ (* (* 2.0 i) (* 2.0 i)) (- 1.0)) (* 2.0 2.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (- (* 2.0 i) (sqrt 1.0)) (* 2.0 2.0)) (+ (* 4.0 (/ (pow i 3) (pow (sqrt 1.0) 3))) (- (/ i (sqrt 1.0)) (/ (* 2.0 (pow i 2)) 1.0))) (+ 0.5 (- (/ (* 0.125 1.0) (pow i 2)) (* 0.25 (/ (sqrt 1.0) i)))) (+ 0.5 (- (/ (* 0.125 1.0) (pow i 2)) (* 0.25 (/ (sqrt 1.0) i)))) (+ (* 0.25 (/ (pow i 2) (sqrt 1.0))) (- (* 1.0 (/ (pow i 4) (pow (sqrt 1.0) 3))) (/ (* 0.5 (pow i 3)) 1.0))) (+ (/ (* 0.03125 1.0) i) (- (* 0.125 i) (* 0.0625 (sqrt 1.0)))) (+ (/ (* 0.03125 1.0) i) (- (* 0.125 i) (* 0.0625 (sqrt 1.0)))) (- (/ (- (* 1.0 (pow i 4))) (* 1.0 1.0)) (+ (* 4.0 (/ (pow i 6) (pow (sqrt 1.0) 6))) (/ (* 0.25 (pow i 2)) 1.0))) (+ (+ 0.0625 (/ (* 0.015625 1.0) (pow i 2))) (* 0.00390625 (/ (pow (sqrt 1.0) 4) (pow i 4)))) (+ (+ 0.0625 (/ (* 0.015625 1.0) (pow i 2))) (* 0.00390625 (/ (pow (sqrt 1.0) 4) (pow i 4)))) 2.368 * * * [progress]: adding candidates to table 2.614 * [progress]: [Phase 3 of 3] Extracting. 2.614 * * [regime]: Finding splitpoints for: (# # #) 2.615 * * * [regime-changes]: Trying 1 branch expressions: (i) 2.615 * * * * [regimes]: Trying to branch on i from (# # #) 2.627 * * * [regime]: Found split indices: #