14.657 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.021 * [simplify]: Simplifying using # : (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) 0.022 * * [simplify]: iteration 0 : 10 enodes (cost 25 ) 0.023 * * [simplify]: iteration 1 : 31 enodes (cost 25 ) 0.029 * * [simplify]: iteration 2 : 163 enodes (cost 23 ) 0.121 * * [simplify]: iteration 3 : 856 enodes (cost 19 ) 3.826 * * [simplify]: iteration 4 : 4722 enodes (cost 15 ) 5.093 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 5.093 * [simplify]: Simplified to: (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) 5.096 * * [progress]: iteration 1 / 4 5.097 * * * [progress]: picking best candidate 5.099 * * * * [pick]: Picked # 5.099 * * * [progress]: localizing error 5.113 * * * [progress]: generating rewritten candidates 5.113 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.132 * * * [progress]: generating series expansions 5.132 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.133 * [approximate]: Taking taylor expansion of (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i))))) in (i) around 0 5.133 * [taylor]: Taking taylor expansion of (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i))))) in i 5.133 * [taylor]: Taking taylor expansion of 0.25 in i 5.133 * [taylor]: Taking taylor expansion of (/ i (- (* 4.0 i) (* 1.0 (/ 1 i)))) in i 5.133 * [taylor]: Taking taylor expansion of i in i 5.133 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i 5.133 * [taylor]: Taking taylor expansion of (* 4.0 i) in i 5.133 * [taylor]: Taking taylor expansion of 4.0 in i 5.133 * [taylor]: Taking taylor expansion of i in i 5.133 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i 5.133 * [taylor]: Taking taylor expansion of 1.0 in i 5.133 * [taylor]: Taking taylor expansion of (/ 1 i) in i 5.133 * [taylor]: Taking taylor expansion of i in i 5.135 * [taylor]: Taking taylor expansion of (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i))))) in i 5.135 * [taylor]: Taking taylor expansion of 0.25 in i 5.135 * [taylor]: Taking taylor expansion of (/ i (- (* 4.0 i) (* 1.0 (/ 1 i)))) in i 5.135 * [taylor]: Taking taylor expansion of i in i 5.135 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i 5.135 * [taylor]: Taking taylor expansion of (* 4.0 i) in i 5.135 * [taylor]: Taking taylor expansion of 4.0 in i 5.135 * [taylor]: Taking taylor expansion of i in i 5.135 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i 5.135 * [taylor]: Taking taylor expansion of 1.0 in i 5.135 * [taylor]: Taking taylor expansion of (/ 1 i) in i 5.135 * [taylor]: Taking taylor expansion of i in i 5.160 * [approximate]: Taking taylor expansion of (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in (i) around 0 5.160 * [taylor]: Taking taylor expansion of (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in i 5.160 * [taylor]: Taking taylor expansion of 0.25 in i 5.160 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 i)) (* 1.0 i))) in i 5.160 * [taylor]: Taking taylor expansion of i in i 5.160 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i 5.160 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 5.160 * [taylor]: Taking taylor expansion of 4.0 in i 5.160 * [taylor]: Taking taylor expansion of (/ 1 i) in i 5.160 * [taylor]: Taking taylor expansion of i in i 5.161 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 5.161 * [taylor]: Taking taylor expansion of 1.0 in i 5.161 * [taylor]: Taking taylor expansion of i in i 5.164 * [taylor]: Taking taylor expansion of (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in i 5.164 * [taylor]: Taking taylor expansion of 0.25 in i 5.164 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 i)) (* 1.0 i))) in i 5.164 * [taylor]: Taking taylor expansion of i in i 5.164 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i 5.164 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 5.164 * [taylor]: Taking taylor expansion of 4.0 in i 5.164 * [taylor]: Taking taylor expansion of (/ 1 i) in i 5.164 * [taylor]: Taking taylor expansion of i in i 5.165 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 5.165 * [taylor]: Taking taylor expansion of 1.0 in i 5.165 * [taylor]: Taking taylor expansion of i in i 5.193 * [approximate]: Taking taylor expansion of (/ -0.25 (* i (- (* 1.0 i) (* 4.0 (/ 1 i))))) in (i) around 0 5.193 * [taylor]: Taking taylor expansion of (/ -0.25 (* i (- (* 1.0 i) (* 4.0 (/ 1 i))))) in i 5.193 * [taylor]: Taking taylor expansion of -0.25 in i 5.193 * [taylor]: Taking taylor expansion of (* i (- (* 1.0 i) (* 4.0 (/ 1 i)))) in i 5.193 * [taylor]: Taking taylor expansion of i in i 5.193 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i 5.193 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 5.193 * [taylor]: Taking taylor expansion of 1.0 in i 5.193 * [taylor]: Taking taylor expansion of i in i 5.193 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 5.193 * [taylor]: Taking taylor expansion of 4.0 in i 5.193 * [taylor]: Taking taylor expansion of (/ 1 i) in i 5.193 * [taylor]: Taking taylor expansion of i in i 5.198 * [taylor]: Taking taylor expansion of (/ -0.25 (* i (- (* 1.0 i) (* 4.0 (/ 1 i))))) in i 5.198 * [taylor]: Taking taylor expansion of -0.25 in i 5.198 * [taylor]: Taking taylor expansion of (* i (- (* 1.0 i) (* 4.0 (/ 1 i)))) in i 5.198 * [taylor]: Taking taylor expansion of i in i 5.198 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i 5.198 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 5.198 * [taylor]: Taking taylor expansion of 1.0 in i 5.198 * [taylor]: Taking taylor expansion of i in i 5.198 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 5.198 * [taylor]: Taking taylor expansion of 4.0 in i 5.198 * [taylor]: Taking taylor expansion of (/ 1 i) in i 5.198 * [taylor]: Taking taylor expansion of i in i 5.225 * * * [progress]: simplifying candidates 5.225 * [simplify]: Simplifying using # : (- (log i) (+ (+ (log 2.0) (log 2.0)) (log (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (- (log i) (+ (log (* 2.0 2.0)) (log (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (- (log i) (log (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (log (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (exp (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (/ (* (* i i) i) (* (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0)) (* (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (/ (* (* i i) i) (* (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0)) (* (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (/ (* (* i i) i) (* (* (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (cbrt (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (cbrt (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))))) (cbrt (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (* (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (sqrt (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (sqrt (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (- i) (- (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (* (cbrt i) (cbrt i)) (* 2.0 2.0)) (/ (cbrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ 1 (* 2.0 2.0)) (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ 1 (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))) i) (/ i (* 2.0 2.0)) (/ (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt i)) (/ (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (sqrt i)) (/ (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))) i) (/ i (* (* 2.0 2.0) (- (pow (* (* 2.0 2.0) i) 3) (pow (/ 1.0 i) 3)))) (/ i (* (* 2.0 2.0) (- (* (* (* 2.0 2.0) i) (* (* 2.0 2.0) i)) (* (/ 1.0 i) (/ 1.0 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)) 5.228 * * [simplify]: iteration 0 : 93 enodes (cost 604 ) 5.244 * * [simplify]: iteration 1 : 257 enodes (cost 598 ) 5.309 * * [simplify]: iteration 2 : 919 enodes (cost 468 ) 6.070 * * [simplify]: iteration done : 5000 enodes (cost 467 ) 6.070 * [simplify]: Simplified to: (log (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (log (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (log (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (log (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (exp (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (pow (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) 3) (pow (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) 3) (pow (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) 3) (* (cbrt (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (cbrt (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))))) (cbrt (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (pow (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) 3) (sqrt (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (sqrt (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (- i) (- (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (* (cbrt i) (cbrt i)) (* 2.0 2.0)) (/ (cbrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ 1 (* 2.0 2.0)) (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ 1 (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))) i) (/ i (* 2.0 2.0)) (/ (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt i)) (/ (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (sqrt i)) (/ (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))) i) (/ i (* (* 2.0 2.0) (- (pow (* (* 2.0 2.0) i) 3) (pow (/ 1.0 i) 3)))) (/ i (+ (* (* i i) (pow 2.0 6)) (* (- (* (/ 1.0 i) (/ 1.0 i))) (* 2.0 2.0)))) (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))) (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))) 6.070 * * * [progress]: adding candidates to table 6.119 * * [progress]: iteration 2 / 4 6.119 * * * [progress]: picking best candidate 6.122 * * * * [pick]: Picked # 6.122 * * * [progress]: localizing error 6.135 * * * [progress]: generating rewritten candidates 6.135 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2) 6.138 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 6.148 * * * [progress]: generating series expansions 6.148 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2) 6.148 * [approximate]: Taking taylor expansion of (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) in (i) around 0 6.148 * [taylor]: Taking taylor expansion of (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) in i 6.148 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 4)) in i 6.148 * [taylor]: Taking taylor expansion of 1.0 in i 6.148 * [taylor]: Taking taylor expansion of (pow i 4) in i 6.148 * [taylor]: Taking taylor expansion of i in i 6.148 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i 6.148 * [taylor]: Taking taylor expansion of 4.0 in i 6.148 * [taylor]: Taking taylor expansion of (pow i 6) in i 6.148 * [taylor]: Taking taylor expansion of i in i 6.148 * [taylor]: Taking taylor expansion of (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) in i 6.148 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 4)) in i 6.148 * [taylor]: Taking taylor expansion of 1.0 in i 6.148 * [taylor]: Taking taylor expansion of (pow i 4) in i 6.149 * [taylor]: Taking taylor expansion of i in i 6.149 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i 6.149 * [taylor]: Taking taylor expansion of 4.0 in i 6.149 * [taylor]: Taking taylor expansion of (pow i 6) in i 6.149 * [taylor]: Taking taylor expansion of i in i 6.186 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (* 4.0 (/ 1 (pow i 6)))) in (i) around 0 6.186 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (* 4.0 (/ 1 (pow i 6)))) in i 6.186 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 4))) in i 6.186 * [taylor]: Taking taylor expansion of 1.0 in i 6.186 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i 6.186 * [taylor]: Taking taylor expansion of (pow i 4) in i 6.186 * [taylor]: Taking taylor expansion of i in i 6.186 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i 6.186 * [taylor]: Taking taylor expansion of 4.0 in i 6.186 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i 6.187 * [taylor]: Taking taylor expansion of (pow i 6) in i 6.187 * [taylor]: Taking taylor expansion of i in i 6.187 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (* 4.0 (/ 1 (pow i 6)))) in i 6.187 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 4))) in i 6.187 * [taylor]: Taking taylor expansion of 1.0 in i 6.187 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i 6.188 * [taylor]: Taking taylor expansion of (pow i 4) in i 6.188 * [taylor]: Taking taylor expansion of i in i 6.188 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i 6.188 * [taylor]: Taking taylor expansion of 4.0 in i 6.188 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i 6.188 * [taylor]: Taking taylor expansion of (pow i 6) in i 6.188 * [taylor]: Taking taylor expansion of i in i 6.230 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (* 4.0 (/ 1 (pow i 6)))) in (i) around 0 6.230 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (* 4.0 (/ 1 (pow i 6)))) in i 6.230 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 4))) in i 6.230 * [taylor]: Taking taylor expansion of 1.0 in i 6.230 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i 6.230 * [taylor]: Taking taylor expansion of (pow i 4) in i 6.230 * [taylor]: Taking taylor expansion of i in i 6.231 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i 6.231 * [taylor]: Taking taylor expansion of 4.0 in i 6.231 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i 6.231 * [taylor]: Taking taylor expansion of (pow i 6) in i 6.231 * [taylor]: Taking taylor expansion of i in i 6.232 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (* 4.0 (/ 1 (pow i 6)))) in i 6.232 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 4))) in i 6.232 * [taylor]: Taking taylor expansion of 1.0 in i 6.232 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i 6.232 * [taylor]: Taking taylor expansion of (pow i 4) in i 6.232 * [taylor]: Taking taylor expansion of i in i 6.233 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i 6.233 * [taylor]: Taking taylor expansion of 4.0 in i 6.233 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i 6.233 * [taylor]: Taking taylor expansion of (pow i 6) in i 6.233 * [taylor]: Taking taylor expansion of i in i 6.280 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 6.281 * [approximate]: Taking taylor expansion of (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) in (i) around 0 6.281 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) in i 6.281 * [taylor]: Taking taylor expansion of (* 0.25 (pow i 2)) in i 6.281 * [taylor]: Taking taylor expansion of 0.25 in i 6.281 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.281 * [taylor]: Taking taylor expansion of i in i 6.281 * [taylor]: Taking taylor expansion of (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) in i 6.281 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 4)) in i 6.281 * [taylor]: Taking taylor expansion of 1.0 in i 6.281 * [taylor]: Taking taylor expansion of (pow i 4) in i 6.281 * [taylor]: Taking taylor expansion of i in i 6.281 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i 6.281 * [taylor]: Taking taylor expansion of 4.0 in i 6.281 * [taylor]: Taking taylor expansion of (pow i 6) in i 6.281 * [taylor]: Taking taylor expansion of i in i 6.281 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) in i 6.281 * [taylor]: Taking taylor expansion of (* 0.25 (pow i 2)) in i 6.281 * [taylor]: Taking taylor expansion of 0.25 in i 6.281 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.281 * [taylor]: Taking taylor expansion of i in i 6.281 * [taylor]: Taking taylor expansion of (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) in i 6.281 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 4)) in i 6.281 * [taylor]: Taking taylor expansion of 1.0 in i 6.281 * [taylor]: Taking taylor expansion of (pow i 4) in i 6.281 * [taylor]: Taking taylor expansion of i in i 6.281 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i 6.281 * [taylor]: Taking taylor expansion of 4.0 in i 6.281 * [taylor]: Taking taylor expansion of (pow i 6) in i 6.281 * [taylor]: Taking taylor expansion of i in i 6.292 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6))))) in (i) around 0 6.293 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6))))) in i 6.293 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 4))) in i 6.293 * [taylor]: Taking taylor expansion of 1.0 in i 6.293 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i 6.293 * [taylor]: Taking taylor expansion of (pow i 4) in i 6.293 * [taylor]: Taking taylor expansion of i in i 6.293 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6)))) in i 6.293 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow i 2))) in i 6.293 * [taylor]: Taking taylor expansion of 0.25 in i 6.293 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 6.293 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.294 * [taylor]: Taking taylor expansion of i in i 6.294 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i 6.294 * [taylor]: Taking taylor expansion of 4.0 in i 6.294 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i 6.294 * [taylor]: Taking taylor expansion of (pow i 6) in i 6.294 * [taylor]: Taking taylor expansion of i in i 6.295 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6))))) in i 6.295 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 4))) in i 6.295 * [taylor]: Taking taylor expansion of 1.0 in i 6.295 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i 6.295 * [taylor]: Taking taylor expansion of (pow i 4) in i 6.295 * [taylor]: Taking taylor expansion of i in i 6.296 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6)))) in i 6.296 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow i 2))) in i 6.296 * [taylor]: Taking taylor expansion of 0.25 in i 6.296 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 6.296 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.296 * [taylor]: Taking taylor expansion of i in i 6.296 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i 6.296 * [taylor]: Taking taylor expansion of 4.0 in i 6.296 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i 6.296 * [taylor]: Taking taylor expansion of (pow i 6) in i 6.296 * [taylor]: Taking taylor expansion of i in i 6.314 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6))))) in (i) around 0 6.315 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6))))) in i 6.315 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 4))) in i 6.315 * [taylor]: Taking taylor expansion of 1.0 in i 6.315 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i 6.315 * [taylor]: Taking taylor expansion of (pow i 4) in i 6.315 * [taylor]: Taking taylor expansion of i in i 6.315 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6)))) in i 6.315 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow i 2))) in i 6.315 * [taylor]: Taking taylor expansion of 0.25 in i 6.315 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 6.316 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.316 * [taylor]: Taking taylor expansion of i in i 6.316 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i 6.316 * [taylor]: Taking taylor expansion of 4.0 in i 6.316 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i 6.316 * [taylor]: Taking taylor expansion of (pow i 6) in i 6.316 * [taylor]: Taking taylor expansion of i in i 6.317 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6))))) in i 6.317 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 4))) in i 6.317 * [taylor]: Taking taylor expansion of 1.0 in i 6.317 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i 6.317 * [taylor]: Taking taylor expansion of (pow i 4) in i 6.317 * [taylor]: Taking taylor expansion of i in i 6.318 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow i 2))) (* 4.0 (/ 1 (pow i 6)))) in i 6.318 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow i 2))) in i 6.318 * [taylor]: Taking taylor expansion of 0.25 in i 6.318 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 6.318 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.318 * [taylor]: Taking taylor expansion of i in i 6.318 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i 6.318 * [taylor]: Taking taylor expansion of 4.0 in i 6.318 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i 6.318 * [taylor]: Taking taylor expansion of (pow i 6) in i 6.318 * [taylor]: Taking taylor expansion of i in i 6.336 * * * [progress]: simplifying candidates 6.337 * [simplify]: Simplifying using # : (* (exp (* 1.0 (pow i 4))) (exp (* 4.0 (pow i 6)))) (log (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (exp (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (* (cbrt (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (cbrt (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (cbrt (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (* (* (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (sqrt (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (sqrt (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (+ (pow (* 1.0 (pow i 4)) 3) (pow (* 4.0 (pow i 6)) 3)) (+ (* (* 1.0 (pow i 4)) (* 1.0 (pow i 4))) (- (* (* 4.0 (pow i 6)) (* 4.0 (pow i 6))) (* (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (- (* (* 1.0 (pow i 4)) (* 1.0 (pow i 4))) (* (* 4.0 (pow i 6)) (* 4.0 (pow i 6)))) (- (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) (* (exp (* 0.25 (pow i 2))) (* (exp (* 1.0 (pow i 4))) (exp (* 4.0 (pow i 6))))) (* (exp (* 0.25 (pow i 2))) (exp (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (log (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (exp (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (* (cbrt (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (cbrt (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))) (cbrt (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (* (* (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (sqrt (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (sqrt (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (+ (pow (* 0.25 (pow i 2)) 3) (pow (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) 3)) (+ (* (* 0.25 (pow i 2)) (* 0.25 (pow i 2))) (- (* (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (* (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))) (- (* (* 0.25 (pow i 2)) (* 0.25 (pow i 2))) (* (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (- (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (+ (* 0.25 (pow i 2)) (* 1.0 (pow i 4))) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) 6.344 * * [simplify]: iteration 0 : 56 enodes (cost 657 ) 6.356 * * [simplify]: iteration 1 : 199 enodes (cost 605 ) 6.413 * * [simplify]: iteration 2 : 732 enodes (cost 559 ) 6.751 * * [simplify]: iteration 3 : 3555 enodes (cost 559 ) 8.074 * * [simplify]: iteration done : 5001 enodes (cost 559 ) 8.074 * [simplify]: Simplified to: (exp (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (log (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (exp (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (* (cbrt (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (cbrt (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (cbrt (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (pow (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) 3) (sqrt (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (sqrt (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (+ (pow (* 1.0 (pow i 4)) 3) (pow (* 4.0 (pow i 6)) 3)) (+ (* (* 4.0 (pow i 6)) (- (* 4.0 (pow i 6)) (* 1.0 (pow i 4)))) (* (* 1.0 1.0) (pow i 8))) (- (* (* 1.0 1.0) (pow i 8)) (* (pow i 12) (* 4.0 4.0))) (- (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) (exp (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (exp (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (log (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (exp (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (* (cbrt (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (cbrt (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))) (cbrt (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (pow (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) 3) (sqrt (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (sqrt (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (+ (pow (* 0.25 (pow i 2)) 3) (pow (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) 3)) (+ (* (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) (- (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) (* 0.25 (pow i 2)))) (* (* 0.25 0.25) (pow i 4))) (- (* (* 0.25 0.25) (pow i 4)) (* (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (- (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (+ (* 0.25 (pow i 2)) (* 1.0 (pow i 4))) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))) 8.075 * * * [progress]: adding candidates to table 8.151 * [progress]: [Phase 3 of 3] Extracting. 8.151 * * [regime]: Finding splitpoints for: (# #) 8.152 * * * [regime-changes]: Trying 1 branch expressions: (i) 8.152 * * * * [regimes]: Trying to branch on i from (# #) 8.163 * * * [regime]: Found split indices: #