15.400 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying using # : (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) 0.019 * * [simplify]: iteration 0 : 10 enodes (cost 25 ) 0.021 * * [simplify]: iteration 1 : 31 enodes (cost 25 ) 0.026 * * [simplify]: iteration 2 : 163 enodes (cost 23 ) 0.084 * * [simplify]: iteration 3 : 856 enodes (cost 19 ) 1.571 * * [simplify]: iteration 4 : 4764 enodes (cost 15 ) 2.995 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 2.996 * [simplify]: Simplified to: (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) 2.999 * * [progress]: iteration 1 / 4 2.999 * * * [progress]: picking best candidate 3.002 * * * * [pick]: Picked # 3.002 * * * [progress]: localizing error 3.010 * * * [progress]: generating rewritten candidates 3.010 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 3.028 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 3.039 * * * [progress]: generating series expansions 3.039 * * * * [progress]: [ 1 / 2 ] generating series at (2) 3.040 * [approximate]: Taking taylor expansion of (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i))))) in (i) around 0 3.040 * [taylor]: Taking taylor expansion of (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i))))) in i 3.040 * [taylor]: Taking taylor expansion of 0.25 in i 3.040 * [taylor]: Taking taylor expansion of (/ i (- (* 4.0 i) (* 1.0 (/ 1 i)))) in i 3.040 * [taylor]: Taking taylor expansion of i in i 3.040 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i 3.040 * [taylor]: Taking taylor expansion of (* 4.0 i) in i 3.040 * [taylor]: Taking taylor expansion of 4.0 in i 3.040 * [taylor]: Taking taylor expansion of i in i 3.040 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i 3.040 * [taylor]: Taking taylor expansion of 1.0 in i 3.040 * [taylor]: Taking taylor expansion of (/ 1 i) in i 3.040 * [taylor]: Taking taylor expansion of i in i 3.042 * [taylor]: Taking taylor expansion of (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i))))) in i 3.042 * [taylor]: Taking taylor expansion of 0.25 in i 3.042 * [taylor]: Taking taylor expansion of (/ i (- (* 4.0 i) (* 1.0 (/ 1 i)))) in i 3.042 * [taylor]: Taking taylor expansion of i in i 3.042 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i 3.042 * [taylor]: Taking taylor expansion of (* 4.0 i) in i 3.042 * [taylor]: Taking taylor expansion of 4.0 in i 3.042 * [taylor]: Taking taylor expansion of i in i 3.042 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i 3.042 * [taylor]: Taking taylor expansion of 1.0 in i 3.042 * [taylor]: Taking taylor expansion of (/ 1 i) in i 3.042 * [taylor]: Taking taylor expansion of i in i 3.072 * [approximate]: Taking taylor expansion of (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in (i) around 0 3.072 * [taylor]: Taking taylor expansion of (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in i 3.072 * [taylor]: Taking taylor expansion of 0.25 in i 3.072 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 i)) (* 1.0 i))) in i 3.072 * [taylor]: Taking taylor expansion of i in i 3.072 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i 3.072 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 3.072 * [taylor]: Taking taylor expansion of 4.0 in i 3.072 * [taylor]: Taking taylor expansion of (/ 1 i) in i 3.072 * [taylor]: Taking taylor expansion of i in i 3.072 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 3.072 * [taylor]: Taking taylor expansion of 1.0 in i 3.072 * [taylor]: Taking taylor expansion of i in i 3.076 * [taylor]: Taking taylor expansion of (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in i 3.076 * [taylor]: Taking taylor expansion of 0.25 in i 3.076 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 i)) (* 1.0 i))) in i 3.076 * [taylor]: Taking taylor expansion of i in i 3.076 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i 3.076 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 3.076 * [taylor]: Taking taylor expansion of 4.0 in i 3.076 * [taylor]: Taking taylor expansion of (/ 1 i) in i 3.076 * [taylor]: Taking taylor expansion of i in i 3.076 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 3.076 * [taylor]: Taking taylor expansion of 1.0 in i 3.076 * [taylor]: Taking taylor expansion of i in i 3.102 * [approximate]: Taking taylor expansion of (/ -0.25 (* i (- (* 1.0 i) (* 4.0 (/ 1 i))))) in (i) around 0 3.102 * [taylor]: Taking taylor expansion of (/ -0.25 (* i (- (* 1.0 i) (* 4.0 (/ 1 i))))) in i 3.102 * [taylor]: Taking taylor expansion of -0.25 in i 3.102 * [taylor]: Taking taylor expansion of (* i (- (* 1.0 i) (* 4.0 (/ 1 i)))) in i 3.102 * [taylor]: Taking taylor expansion of i in i 3.102 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i 3.102 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 3.102 * [taylor]: Taking taylor expansion of 1.0 in i 3.103 * [taylor]: Taking taylor expansion of i in i 3.103 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 3.103 * [taylor]: Taking taylor expansion of 4.0 in i 3.103 * [taylor]: Taking taylor expansion of (/ 1 i) in i 3.103 * [taylor]: Taking taylor expansion of i in i 3.107 * [taylor]: Taking taylor expansion of (/ -0.25 (* i (- (* 1.0 i) (* 4.0 (/ 1 i))))) in i 3.107 * [taylor]: Taking taylor expansion of -0.25 in i 3.107 * [taylor]: Taking taylor expansion of (* i (- (* 1.0 i) (* 4.0 (/ 1 i)))) in i 3.107 * [taylor]: Taking taylor expansion of i in i 3.107 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i 3.108 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 3.108 * [taylor]: Taking taylor expansion of 1.0 in i 3.108 * [taylor]: Taking taylor expansion of i in i 3.108 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 3.108 * [taylor]: Taking taylor expansion of 4.0 in i 3.108 * [taylor]: Taking taylor expansion of (/ 1 i) in i 3.108 * [taylor]: Taking taylor expansion of i in i 3.135 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 3.135 * [approximate]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in (i) around 0 3.135 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i 3.135 * [taylor]: Taking taylor expansion of (* 4.0 i) in i 3.135 * [taylor]: Taking taylor expansion of 4.0 in i 3.135 * [taylor]: Taking taylor expansion of i in i 3.135 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i 3.135 * [taylor]: Taking taylor expansion of 1.0 in i 3.135 * [taylor]: Taking taylor expansion of (/ 1 i) in i 3.135 * [taylor]: Taking taylor expansion of i in i 3.135 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i 3.135 * [taylor]: Taking taylor expansion of (* 4.0 i) in i 3.135 * [taylor]: Taking taylor expansion of 4.0 in i 3.136 * [taylor]: Taking taylor expansion of i in i 3.136 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i 3.136 * [taylor]: Taking taylor expansion of 1.0 in i 3.136 * [taylor]: Taking taylor expansion of (/ 1 i) in i 3.136 * [taylor]: Taking taylor expansion of i in i 3.159 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in (i) around 0 3.159 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i 3.159 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 3.159 * [taylor]: Taking taylor expansion of 4.0 in i 3.159 * [taylor]: Taking taylor expansion of (/ 1 i) in i 3.159 * [taylor]: Taking taylor expansion of i in i 3.159 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 3.159 * [taylor]: Taking taylor expansion of 1.0 in i 3.159 * [taylor]: Taking taylor expansion of i in i 3.159 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i 3.159 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 3.159 * [taylor]: Taking taylor expansion of 4.0 in i 3.159 * [taylor]: Taking taylor expansion of (/ 1 i) in i 3.159 * [taylor]: Taking taylor expansion of i in i 3.159 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 3.159 * [taylor]: Taking taylor expansion of 1.0 in i 3.159 * [taylor]: Taking taylor expansion of i in i 3.180 * [approximate]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in (i) around 0 3.180 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i 3.180 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 3.180 * [taylor]: Taking taylor expansion of 1.0 in i 3.180 * [taylor]: Taking taylor expansion of i in i 3.180 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 3.180 * [taylor]: Taking taylor expansion of 4.0 in i 3.180 * [taylor]: Taking taylor expansion of (/ 1 i) in i 3.180 * [taylor]: Taking taylor expansion of i in i 3.180 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i 3.180 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 3.180 * [taylor]: Taking taylor expansion of 1.0 in i 3.180 * [taylor]: Taking taylor expansion of i in i 3.180 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 3.180 * [taylor]: Taking taylor expansion of 4.0 in i 3.180 * [taylor]: Taking taylor expansion of (/ 1 i) in i 3.180 * [taylor]: Taking taylor expansion of i in i 3.201 * * * [progress]: simplifying candidates 3.202 * [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))))) (/ (exp (* (* 2.0 2.0) i)) (exp (/ 1.0 i))) (log (- (* (* 2.0 2.0) i) (/ 1.0 i))) (exp (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (pow (* (* 2.0 2.0) i) 3) (pow (/ 1.0 i) 3)) (+ (* (* (* 2.0 2.0) i) (* (* 2.0 2.0) i)) (+ (* (/ 1.0 i) (/ 1.0 i)) (* (* (* 2.0 2.0) i) (/ 1.0 i)))) (- (/ 1.0 i)) (- (* (* (* 2.0 2.0) i) (* (* 2.0 2.0) i)) (* (/ 1.0 i) (/ 1.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)) (- (* 4.0 i) (* 1.0 (/ 1 i))) (- (* 4.0 i) (* 1.0 (/ 1 i))) (- (* 4.0 i) (* 1.0 (/ 1 i))) 3.205 * * [simplify]: iteration 0 : 109 enodes (cost 820 ) 3.224 * * [simplify]: iteration 1 : 292 enodes (cost 809 ) 3.489 * * [simplify]: iteration 2 : 1032 enodes (cost 651 ) 3.840 * * [simplify]: iteration done : 5000 enodes (cost 651 ) 3.840 * [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 2.0) (* 2.0 (- (* 2.0 (* (pow 2.0 3) (* i i))) (* (/ 1.0 i) (/ 1.0 i))))) (exp (- (* (* 2.0 2.0) i) (/ 1.0 i))) (log (- (* (* 2.0 2.0) i) (/ 1.0 i))) (exp (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (pow (- (* (* 2.0 2.0) i) (/ 1.0 i)) 3) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (pow (* (* 2.0 2.0) i) 3) (pow (/ 1.0 i) 3)) (+ (* (/ 1.0 i) (+ (* (* 2.0 2.0) i) (/ 1.0 i))) (* 2.0 (* (pow 2.0 3) (* i i)))) (- (/ 1.0 i)) (- (* 2.0 (* (pow 2.0 3) (* i i))) (* (/ 1.0 i) (/ 1.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.015625 (* i i)) (+ 0.0625 (/ 0.00390625 (pow i 4)))) (+ (/ 0.015625 (* i i)) (+ 0.0625 (/ 0.00390625 (pow i 4)))) (- (* 4.0 i) (/ 1.0 i)) (- (* 4.0 i) (/ 1.0 i)) (- (* 4.0 i) (/ 1.0 i)) 3.841 * * * [progress]: adding candidates to table 3.920 * * [progress]: iteration 2 / 4 3.920 * * * [progress]: picking best candidate 3.925 * * * * [pick]: Picked # 3.925 * * * [progress]: localizing error 3.932 * * * [progress]: generating rewritten candidates 3.932 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 3.945 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 3.950 * * * [progress]: generating series expansions 3.950 * * * * [progress]: [ 1 / 2 ] generating series at (2) 3.951 * [approximate]: Taking taylor expansion of (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i))))) in (i) around 0 3.951 * [taylor]: Taking taylor expansion of (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i))))) in i 3.951 * [taylor]: Taking taylor expansion of 0.25 in i 3.951 * [taylor]: Taking taylor expansion of (/ i (- (* 4.0 i) (* 1.0 (/ 1 i)))) in i 3.951 * [taylor]: Taking taylor expansion of i in i 3.951 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i 3.951 * [taylor]: Taking taylor expansion of (* 4.0 i) in i 3.951 * [taylor]: Taking taylor expansion of 4.0 in i 3.951 * [taylor]: Taking taylor expansion of i in i 3.951 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i 3.951 * [taylor]: Taking taylor expansion of 1.0 in i 3.951 * [taylor]: Taking taylor expansion of (/ 1 i) in i 3.951 * [taylor]: Taking taylor expansion of i in i 3.953 * [taylor]: Taking taylor expansion of (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i))))) in i 3.953 * [taylor]: Taking taylor expansion of 0.25 in i 3.953 * [taylor]: Taking taylor expansion of (/ i (- (* 4.0 i) (* 1.0 (/ 1 i)))) in i 3.953 * [taylor]: Taking taylor expansion of i in i 3.953 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i 3.953 * [taylor]: Taking taylor expansion of (* 4.0 i) in i 3.953 * [taylor]: Taking taylor expansion of 4.0 in i 3.953 * [taylor]: Taking taylor expansion of i in i 3.953 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i 3.953 * [taylor]: Taking taylor expansion of 1.0 in i 3.953 * [taylor]: Taking taylor expansion of (/ 1 i) in i 3.953 * [taylor]: Taking taylor expansion of i in i 3.981 * [approximate]: Taking taylor expansion of (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in (i) around 0 3.981 * [taylor]: Taking taylor expansion of (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in i 3.981 * [taylor]: Taking taylor expansion of 0.25 in i 3.981 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 i)) (* 1.0 i))) in i 3.981 * [taylor]: Taking taylor expansion of i in i 3.981 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i 3.981 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 3.981 * [taylor]: Taking taylor expansion of 4.0 in i 3.981 * [taylor]: Taking taylor expansion of (/ 1 i) in i 3.981 * [taylor]: Taking taylor expansion of i in i 3.981 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 3.981 * [taylor]: Taking taylor expansion of 1.0 in i 3.981 * [taylor]: Taking taylor expansion of i in i 3.985 * [taylor]: Taking taylor expansion of (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in i 3.985 * [taylor]: Taking taylor expansion of 0.25 in i 3.985 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 i)) (* 1.0 i))) in i 3.985 * [taylor]: Taking taylor expansion of i in i 3.985 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i 3.985 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 3.985 * [taylor]: Taking taylor expansion of 4.0 in i 3.985 * [taylor]: Taking taylor expansion of (/ 1 i) in i 3.985 * [taylor]: Taking taylor expansion of i in i 3.985 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 3.985 * [taylor]: Taking taylor expansion of 1.0 in i 3.985 * [taylor]: Taking taylor expansion of i in i 4.011 * [approximate]: Taking taylor expansion of (/ -0.25 (* i (- (* 1.0 i) (* 4.0 (/ 1 i))))) in (i) around 0 4.011 * [taylor]: Taking taylor expansion of (/ -0.25 (* i (- (* 1.0 i) (* 4.0 (/ 1 i))))) in i 4.011 * [taylor]: Taking taylor expansion of -0.25 in i 4.011 * [taylor]: Taking taylor expansion of (* i (- (* 1.0 i) (* 4.0 (/ 1 i)))) in i 4.011 * [taylor]: Taking taylor expansion of i in i 4.011 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i 4.011 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 4.011 * [taylor]: Taking taylor expansion of 1.0 in i 4.011 * [taylor]: Taking taylor expansion of i in i 4.011 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 4.011 * [taylor]: Taking taylor expansion of 4.0 in i 4.011 * [taylor]: Taking taylor expansion of (/ 1 i) in i 4.011 * [taylor]: Taking taylor expansion of i in i 4.016 * [taylor]: Taking taylor expansion of (/ -0.25 (* i (- (* 1.0 i) (* 4.0 (/ 1 i))))) in i 4.016 * [taylor]: Taking taylor expansion of -0.25 in i 4.016 * [taylor]: Taking taylor expansion of (* i (- (* 1.0 i) (* 4.0 (/ 1 i)))) in i 4.016 * [taylor]: Taking taylor expansion of i in i 4.016 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i 4.016 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 4.016 * [taylor]: Taking taylor expansion of 1.0 in i 4.016 * [taylor]: Taking taylor expansion of i in i 4.016 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 4.016 * [taylor]: Taking taylor expansion of 4.0 in i 4.016 * [taylor]: Taking taylor expansion of (/ 1 i) in i 4.016 * [taylor]: Taking taylor expansion of i in i 4.043 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 4.043 * [approximate]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in (i) around 0 4.043 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i 4.043 * [taylor]: Taking taylor expansion of (* 4.0 i) in i 4.043 * [taylor]: Taking taylor expansion of 4.0 in i 4.043 * [taylor]: Taking taylor expansion of i in i 4.043 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i 4.043 * [taylor]: Taking taylor expansion of 1.0 in i 4.043 * [taylor]: Taking taylor expansion of (/ 1 i) in i 4.043 * [taylor]: Taking taylor expansion of i in i 4.044 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i 4.044 * [taylor]: Taking taylor expansion of (* 4.0 i) in i 4.044 * [taylor]: Taking taylor expansion of 4.0 in i 4.044 * [taylor]: Taking taylor expansion of i in i 4.044 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i 4.044 * [taylor]: Taking taylor expansion of 1.0 in i 4.044 * [taylor]: Taking taylor expansion of (/ 1 i) in i 4.044 * [taylor]: Taking taylor expansion of i in i 4.069 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in (i) around 0 4.069 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i 4.069 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 4.069 * [taylor]: Taking taylor expansion of 4.0 in i 4.069 * [taylor]: Taking taylor expansion of (/ 1 i) in i 4.069 * [taylor]: Taking taylor expansion of i in i 4.069 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 4.069 * [taylor]: Taking taylor expansion of 1.0 in i 4.069 * [taylor]: Taking taylor expansion of i in i 4.069 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i 4.069 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 4.069 * [taylor]: Taking taylor expansion of 4.0 in i 4.069 * [taylor]: Taking taylor expansion of (/ 1 i) in i 4.069 * [taylor]: Taking taylor expansion of i in i 4.069 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 4.069 * [taylor]: Taking taylor expansion of 1.0 in i 4.069 * [taylor]: Taking taylor expansion of i in i 4.089 * [approximate]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in (i) around 0 4.089 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i 4.089 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 4.089 * [taylor]: Taking taylor expansion of 1.0 in i 4.089 * [taylor]: Taking taylor expansion of i in i 4.089 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 4.089 * [taylor]: Taking taylor expansion of 4.0 in i 4.089 * [taylor]: Taking taylor expansion of (/ 1 i) in i 4.089 * [taylor]: Taking taylor expansion of i in i 4.090 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i 4.090 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 4.090 * [taylor]: Taking taylor expansion of 1.0 in i 4.090 * [taylor]: Taking taylor expansion of i in i 4.090 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 4.090 * [taylor]: Taking taylor expansion of 4.0 in i 4.090 * [taylor]: Taking taylor expansion of (/ 1 i) in i 4.090 * [taylor]: Taking taylor expansion of i in i 4.110 * * * [progress]: simplifying candidates 4.111 * [simplify]: Simplifying using # : (- (log i) (+ (+ (log 2.0) (log 2.0)) (log (- (* 4.0 i) (/ 1.0 i))))) (- (log i) (+ (log (* 2.0 2.0)) (log (- (* 4.0 i) (/ 1.0 i))))) (- (log i) (log (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))))) (log (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))))) (exp (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))))) (/ (* (* i i) i) (* (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0)) (* (* (- (* 4.0 i) (/ 1.0 i)) (- (* 4.0 i) (/ 1.0 i))) (- (* 4.0 i) (/ 1.0 i))))) (/ (* (* i i) i) (* (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0)) (* (* (- (* 4.0 i) (/ 1.0 i)) (- (* 4.0 i) (/ 1.0 i))) (- (* 4.0 i) (/ 1.0 i))))) (/ (* (* i i) i) (* (* (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))) (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i)))) (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))))) (* (cbrt (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))))) (cbrt (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i)))))) (cbrt (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))))) (* (* (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i)))) (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))))) (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))))) (sqrt (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))))) (sqrt (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))))) (- i) (- (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i)))) (/ (* (cbrt i) (cbrt i)) (* 2.0 2.0)) (/ (cbrt i) (- (* 4.0 i) (/ 1.0 i))) (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (* 4.0 i) (/ 1.0 i))) (/ 1 (* 2.0 2.0)) (/ i (- (* 4.0 i) (/ 1.0 i))) (/ 1 (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i)))) (/ (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))) i) (/ i (* 2.0 2.0)) (/ (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))) (cbrt i)) (/ (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))) (sqrt i)) (/ (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))) i) (/ i (* (* 2.0 2.0) (- (pow (* 4.0 i) 3) (pow (/ 1.0 i) 3)))) (/ i (* (* 2.0 2.0) (- (* (* 4.0 i) (* 4.0 i)) (* (/ 1.0 i) (/ 1.0 i))))) (/ (exp (* 4.0 i)) (exp (/ 1.0 i))) (log (- (* 4.0 i) (/ 1.0 i))) (exp (- (* 4.0 i) (/ 1.0 i))) (* (cbrt (- (* 4.0 i) (/ 1.0 i))) (cbrt (- (* 4.0 i) (/ 1.0 i)))) (cbrt (- (* 4.0 i) (/ 1.0 i))) (* (* (- (* 4.0 i) (/ 1.0 i)) (- (* 4.0 i) (/ 1.0 i))) (- (* 4.0 i) (/ 1.0 i))) (sqrt (- (* 4.0 i) (/ 1.0 i))) (sqrt (- (* 4.0 i) (/ 1.0 i))) (- (pow (* 4.0 i) 3) (pow (/ 1.0 i) 3)) (+ (* (* 4.0 i) (* 4.0 i)) (+ (* (/ 1.0 i) (/ 1.0 i)) (* (* 4.0 i) (/ 1.0 i)))) (- (/ 1.0 i)) (- (* (* 4.0 i) (* 4.0 i)) (* (/ 1.0 i) (/ 1.0 i))) (+ (* 4.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)) (- (* 4.0 i) (* 1.0 (/ 1 i))) (- (* 4.0 i) (* 1.0 (/ 1 i))) (- (* 4.0 i) (* 1.0 (/ 1 i))) 4.114 * * [simplify]: iteration 0 : 108 enodes (cost 716 ) 4.135 * * [simplify]: iteration 1 : 288 enodes (cost 705 ) 4.204 * * [simplify]: iteration 2 : 1003 enodes (cost 573 ) 4.758 * * [simplify]: iteration done : 5000 enodes (cost 573 ) 4.759 * [simplify]: Simplified to: (log (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))))) (log (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))))) (log (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))))) (log (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))))) (exp (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))))) (pow (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i)))) 3) (pow (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i)))) 3) (pow (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i)))) 3) (* (cbrt (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))))) (cbrt (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i)))))) (cbrt (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))))) (pow (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i)))) 3) (sqrt (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))))) (sqrt (/ i (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))))) (- i) (- (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i)))) (/ (* (cbrt i) (cbrt i)) (* 2.0 2.0)) (/ (cbrt i) (- (* 4.0 i) (/ 1.0 i))) (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (* 4.0 i) (/ 1.0 i))) (/ 1 (* 2.0 2.0)) (/ i (- (* 4.0 i) (/ 1.0 i))) (/ 1 (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i)))) (/ (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))) i) (/ i (* 2.0 2.0)) (/ (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))) (cbrt i)) (/ (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))) (sqrt i)) (/ (* (* 2.0 2.0) (- (* 4.0 i) (/ 1.0 i))) i) (/ i (* (* 2.0 2.0) (- (pow (* 4.0 i) 3) (pow (/ 1.0 i) 3)))) (/ i (* (* 2.0 2.0) (- (* (* 4.0 i) (* 4.0 i)) (* (/ 1.0 i) (/ 1.0 i))))) (exp (- (* 4.0 i) (/ 1.0 i))) (log (- (* 4.0 i) (/ 1.0 i))) (exp (- (* 4.0 i) (/ 1.0 i))) (* (cbrt (- (* 4.0 i) (/ 1.0 i))) (cbrt (- (* 4.0 i) (/ 1.0 i)))) (cbrt (- (* 4.0 i) (/ 1.0 i))) (pow (- (* 4.0 i) (/ 1.0 i)) 3) (sqrt (- (* 4.0 i) (/ 1.0 i))) (sqrt (- (* 4.0 i) (/ 1.0 i))) (- (pow (* 4.0 i) 3) (pow (/ 1.0 i) 3)) (+ (* (* 4.0 i) (* 4.0 i)) (* (/ 1.0 i) (+ (* 4.0 i) (/ 1.0 i)))) (- (/ 1.0 i)) (- (* (* 4.0 i) (* 4.0 i)) (* (/ 1.0 i) (/ 1.0 i))) (+ (* 4.0 i) (/ 1.0 i)) (- (/ 1.0 i)) (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (+ (/ 0.015625 (* i i)) (+ 0.0625 (/ 0.00390625 (pow i 4)))) (+ (/ 0.015625 (* i i)) (+ 0.0625 (/ 0.00390625 (pow i 4)))) (- (* 4.0 i) (/ 1.0 i)) (- (* 4.0 i) (/ 1.0 i)) (- (* 4.0 i) (/ 1.0 i)) 4.759 * * * [progress]: adding candidates to table 4.828 * * [progress]: iteration 3 / 4 4.828 * * * [progress]: picking best candidate 4.832 * * * * [pick]: Picked # 4.832 * * * [progress]: localizing error 4.845 * * * [progress]: generating rewritten candidates 4.845 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 2) 4.849 * * * [progress]: generating series expansions 4.849 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 2) 4.849 * [approximate]: Taking taylor expansion of (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) in (i) around 0 4.849 * [taylor]: Taking taylor expansion of (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) in i 4.849 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 4)) in i 4.849 * [taylor]: Taking taylor expansion of 1.0 in i 4.849 * [taylor]: Taking taylor expansion of (pow i 4) in i 4.849 * [taylor]: Taking taylor expansion of i in i 4.849 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i 4.849 * [taylor]: Taking taylor expansion of 4.0 in i 4.849 * [taylor]: Taking taylor expansion of (pow i 6) in i 4.849 * [taylor]: Taking taylor expansion of i in i 4.849 * [taylor]: Taking taylor expansion of (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))) in i 4.849 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 4)) in i 4.849 * [taylor]: Taking taylor expansion of 1.0 in i 4.849 * [taylor]: Taking taylor expansion of (pow i 4) in i 4.849 * [taylor]: Taking taylor expansion of i in i 4.849 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i 4.849 * [taylor]: Taking taylor expansion of 4.0 in i 4.849 * [taylor]: Taking taylor expansion of (pow i 6) in i 4.849 * [taylor]: Taking taylor expansion of i in i 4.887 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (* 4.0 (/ 1 (pow i 6)))) in (i) around 0 4.887 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (* 4.0 (/ 1 (pow i 6)))) in i 4.887 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 4))) in i 4.887 * [taylor]: Taking taylor expansion of 1.0 in i 4.887 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i 4.887 * [taylor]: Taking taylor expansion of (pow i 4) in i 4.887 * [taylor]: Taking taylor expansion of i in i 4.888 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i 4.888 * [taylor]: Taking taylor expansion of 4.0 in i 4.888 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i 4.888 * [taylor]: Taking taylor expansion of (pow i 6) in i 4.888 * [taylor]: Taking taylor expansion of i in i 4.889 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (* 4.0 (/ 1 (pow i 6)))) in i 4.889 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 4))) in i 4.889 * [taylor]: Taking taylor expansion of 1.0 in i 4.889 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i 4.889 * [taylor]: Taking taylor expansion of (pow i 4) in i 4.889 * [taylor]: Taking taylor expansion of i in i 4.890 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i 4.890 * [taylor]: Taking taylor expansion of 4.0 in i 4.890 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i 4.890 * [taylor]: Taking taylor expansion of (pow i 6) in i 4.890 * [taylor]: Taking taylor expansion of i in i 4.933 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (* 4.0 (/ 1 (pow i 6)))) in (i) around 0 4.933 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (* 4.0 (/ 1 (pow i 6)))) in i 4.933 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 4))) in i 4.933 * [taylor]: Taking taylor expansion of 1.0 in i 4.933 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i 4.933 * [taylor]: Taking taylor expansion of (pow i 4) in i 4.933 * [taylor]: Taking taylor expansion of i in i 4.934 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i 4.934 * [taylor]: Taking taylor expansion of 4.0 in i 4.934 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i 4.934 * [taylor]: Taking taylor expansion of (pow i 6) in i 4.934 * [taylor]: Taking taylor expansion of i in i 4.935 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow i 4))) (* 4.0 (/ 1 (pow i 6)))) in i 4.935 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 4))) in i 4.935 * [taylor]: Taking taylor expansion of 1.0 in i 4.935 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i 4.935 * [taylor]: Taking taylor expansion of (pow i 4) in i 4.935 * [taylor]: Taking taylor expansion of i in i 4.936 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i 4.936 * [taylor]: Taking taylor expansion of 4.0 in i 4.936 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i 4.936 * [taylor]: Taking taylor expansion of (pow i 6) in i 4.936 * [taylor]: Taking taylor expansion of i in i 4.985 * * * [progress]: simplifying candidates 4.985 * [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))) (+ (* 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))) 4.987 * * [simplify]: iteration 0 : 31 enodes (cost 250 ) 4.993 * * [simplify]: iteration 1 : 107 enodes (cost 243 ) 5.021 * * [simplify]: iteration 2 : 384 enodes (cost 209 ) 5.173 * * [simplify]: iteration 3 : 1650 enodes (cost 209 ) 5.867 * * [simplify]: iteration done : 5000 enodes (cost 209 ) 5.867 * [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)))) (* (pow i 8) (* 1.0 1.0))) (- (* (pow i 8) (* 1.0 1.0)) (* (pow i 12) (* 4.0 4.0))) (- (* 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))) 5.867 * * * [progress]: adding candidates to table 5.909 * * [progress]: iteration 4 / 4 5.910 * * * [progress]: picking best candidate 5.911 * * * * [pick]: Picked # 5.911 * * * [progress]: localizing error 5.919 * * * [progress]: generating rewritten candidates 5.919 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 5.950 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 6.003 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 6.032 * * * [progress]: generating series expansions 6.032 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 6.032 * [approximate]: Taking taylor expansion of (* 0.25 (pow i 2)) in (i) around 0 6.032 * [taylor]: Taking taylor expansion of (* 0.25 (pow i 2)) in i 6.032 * [taylor]: Taking taylor expansion of 0.25 in i 6.032 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.032 * [taylor]: Taking taylor expansion of i in i 6.032 * [taylor]: Taking taylor expansion of (* 0.25 (pow i 2)) in i 6.032 * [taylor]: Taking taylor expansion of 0.25 in i 6.033 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.033 * [taylor]: Taking taylor expansion of i in i 6.045 * [approximate]: Taking taylor expansion of (/ 0.25 (pow i 2)) in (i) around 0 6.046 * [taylor]: Taking taylor expansion of (/ 0.25 (pow i 2)) in i 6.046 * [taylor]: Taking taylor expansion of 0.25 in i 6.046 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.046 * [taylor]: Taking taylor expansion of i in i 6.046 * [taylor]: Taking taylor expansion of (/ 0.25 (pow i 2)) in i 6.046 * [taylor]: Taking taylor expansion of 0.25 in i 6.046 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.046 * [taylor]: Taking taylor expansion of i in i 6.054 * [approximate]: Taking taylor expansion of (/ 0.25 (pow i 2)) in (i) around 0 6.054 * [taylor]: Taking taylor expansion of (/ 0.25 (pow i 2)) in i 6.054 * [taylor]: Taking taylor expansion of 0.25 in i 6.054 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.054 * [taylor]: Taking taylor expansion of i in i 6.054 * [taylor]: Taking taylor expansion of (/ 0.25 (pow i 2)) in i 6.054 * [taylor]: Taking taylor expansion of 0.25 in i 6.054 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.054 * [taylor]: Taking taylor expansion of i in i 6.062 * * * * [progress]: [ 2 / 3 ] generating series at (2) 6.062 * [approximate]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in (i) around 0 6.062 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i 6.062 * [taylor]: Taking taylor expansion of 0.25 in i 6.062 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i 6.062 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.062 * [taylor]: Taking taylor expansion of i in i 6.062 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i 6.062 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i 6.062 * [taylor]: Taking taylor expansion of 4.0 in i 6.062 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.062 * [taylor]: Taking taylor expansion of i in i 6.062 * [taylor]: Taking taylor expansion of 1.0 in i 6.064 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i 6.064 * [taylor]: Taking taylor expansion of 0.25 in i 6.064 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i 6.064 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.064 * [taylor]: Taking taylor expansion of i in i 6.064 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i 6.064 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i 6.064 * [taylor]: Taking taylor expansion of 4.0 in i 6.064 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.064 * [taylor]: Taking taylor expansion of i in i 6.064 * [taylor]: Taking taylor expansion of 1.0 in i 6.087 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0 6.087 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i 6.087 * [taylor]: Taking taylor expansion of 0.25 in i 6.087 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i 6.087 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.087 * [taylor]: Taking taylor expansion of i in i 6.087 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i 6.087 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i 6.087 * [taylor]: Taking taylor expansion of 4.0 in i 6.087 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 6.087 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.087 * [taylor]: Taking taylor expansion of i in i 6.088 * [taylor]: Taking taylor expansion of 1.0 in i 6.089 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i 6.089 * [taylor]: Taking taylor expansion of 0.25 in i 6.089 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i 6.089 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.089 * [taylor]: Taking taylor expansion of i in i 6.089 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i 6.089 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i 6.089 * [taylor]: Taking taylor expansion of 4.0 in i 6.089 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 6.089 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.089 * [taylor]: Taking taylor expansion of i in i 6.090 * [taylor]: Taking taylor expansion of 1.0 in i 6.113 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0 6.114 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i 6.114 * [taylor]: Taking taylor expansion of 0.25 in i 6.114 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i 6.114 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.114 * [taylor]: Taking taylor expansion of i in i 6.114 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i 6.114 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i 6.114 * [taylor]: Taking taylor expansion of 4.0 in i 6.114 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 6.114 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.114 * [taylor]: Taking taylor expansion of i in i 6.114 * [taylor]: Taking taylor expansion of 1.0 in i 6.116 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i 6.116 * [taylor]: Taking taylor expansion of 0.25 in i 6.116 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i 6.116 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.116 * [taylor]: Taking taylor expansion of i in i 6.116 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i 6.116 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i 6.116 * [taylor]: Taking taylor expansion of 4.0 in i 6.116 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 6.116 * [taylor]: Taking taylor expansion of (pow i 2) in i 6.116 * [taylor]: Taking taylor expansion of i in i 6.116 * [taylor]: Taking taylor expansion of 1.0 in i 6.144 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 6.144 * [approximate]: Taking taylor expansion of (pow i 4) in (i) around 0 6.144 * [taylor]: Taking taylor expansion of (pow i 4) in i 6.144 * [taylor]: Taking taylor expansion of i in i 6.144 * [taylor]: Taking taylor expansion of (pow i 4) in i 6.144 * [taylor]: Taking taylor expansion of i in i 6.152 * [approximate]: Taking taylor expansion of (/ 1 (pow i 4)) in (i) around 0 6.152 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i 6.152 * [taylor]: Taking taylor expansion of (pow i 4) in i 6.152 * [taylor]: Taking taylor expansion of i in i 6.153 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i 6.153 * [taylor]: Taking taylor expansion of (pow i 4) in i 6.153 * [taylor]: Taking taylor expansion of i in i 6.164 * [approximate]: Taking taylor expansion of (/ 1 (pow i 4)) in (i) around 0 6.164 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i 6.164 * [taylor]: Taking taylor expansion of (pow i 4) in i 6.164 * [taylor]: Taking taylor expansion of i in i 6.165 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i 6.165 * [taylor]: Taking taylor expansion of (pow i 4) in i 6.165 * [taylor]: Taking taylor expansion of i in i 6.175 * * * [progress]: simplifying candidates 6.179 * [simplify]: Simplifying using # : (- (+ (+ (log i) (log i)) (+ (log i) (log i))) (+ (+ (log 2.0) (log i)) (+ (log 2.0) (log i)))) (- (+ (+ (log i) (log i)) (+ (log i) (log i))) (+ (+ (log 2.0) (log i)) (log (* 2.0 i)))) (- (+ (+ (log i) (log i)) (+ (log i) (log i))) (+ (log (* 2.0 i)) (+ (log 2.0) (log i)))) (- (+ (+ (log i) (log i)) (+ (log i) (log i))) (+ (log (* 2.0 i)) (log (* 2.0 i)))) (- (+ (+ (log i) (log i)) (+ (log i) (log i))) (log (* (* 2.0 i) (* 2.0 i)))) (- (+ (+ (log i) (log i)) (log (* i i))) (+ (+ (log 2.0) (log i)) (+ (log 2.0) (log i)))) (- (+ (+ (log i) (log i)) (log (* i i))) (+ (+ (log 2.0) (log i)) (log (* 2.0 i)))) (- (+ (+ (log i) (log i)) (log (* i i))) (+ (log (* 2.0 i)) (+ (log 2.0) (log i)))) (- (+ (+ (log i) (log i)) (log (* i i))) (+ (log (* 2.0 i)) (log (* 2.0 i)))) (- (+ (+ (log i) (log i)) (log (* i i))) (log (* (* 2.0 i) (* 2.0 i)))) (- (+ (log (* i i)) (+ (log i) (log i))) (+ (+ (log 2.0) (log i)) (+ (log 2.0) (log i)))) (- (+ (log (* i i)) (+ (log i) (log i))) (+ (+ (log 2.0) (log i)) (log (* 2.0 i)))) (- (+ (log (* i i)) (+ (log i) (log i))) (+ (log (* 2.0 i)) (+ (log 2.0) (log i)))) (- (+ (log (* i i)) (+ (log i) (log i))) (+ (log (* 2.0 i)) (log (* 2.0 i)))) (- (+ (log (* i i)) (+ (log i) (log i))) (log (* (* 2.0 i) (* 2.0 i)))) (- (+ (log (* i i)) (log (* i i))) (+ (+ (log 2.0) (log i)) (+ (log 2.0) (log i)))) (- (+ (log (* i i)) (log (* i i))) (+ (+ (log 2.0) (log i)) (log (* 2.0 i)))) (- (+ (log (* i i)) (log (* i i))) (+ (log (* 2.0 i)) (+ (log 2.0) (log i)))) (- (+ (log (* i i)) (log (* i i))) (+ (log (* 2.0 i)) (log (* 2.0 i)))) (- (+ (log (* i i)) (log (* i i))) (log (* (* 2.0 i) (* 2.0 i)))) (- (log (* (* i i) (* i i))) (+ (+ (log 2.0) (log i)) (+ (log 2.0) (log i)))) (- (log (* (* i i) (* i i))) (+ (+ (log 2.0) (log i)) (log (* 2.0 i)))) (- (log (* (* i i) (* i i))) (+ (log (* 2.0 i)) (+ (log 2.0) (log i)))) (- (log (* (* i i) (* i i))) (+ (log (* 2.0 i)) (log (* 2.0 i)))) (- (log (* (* i i) (* i i))) (log (* (* 2.0 i) (* 2.0 i)))) (log (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (exp (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i)))) (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)))) (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i)))) (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)))) (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* (* 2.0 i) (* 2.0 i)))) (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i)))) (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)))) (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i)))) (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)))) (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* (* 2.0 i) (* 2.0 i)))) (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i)))) (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)))) (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i)))) (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)))) (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* (* 2.0 i) (* 2.0 i)))) (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i)))) (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)))) (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i)))) (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)))) (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* (* 2.0 i) (* 2.0 i)))) (/ (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i)))) (/ (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)))) (/ (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i)))) (/ (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)))) (/ (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* (* 2.0 i) (* 2.0 i)))) (* (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))) (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (* (* (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (- (* (* i i) (* i i))) (- (* (* 2.0 i) (* 2.0 i))) (/ (* i i) (* 2.0 i)) (/ (* i i) (* 2.0 i)) (/ 1 (* (* 2.0 i) (* 2.0 i))) (/ (* (* 2.0 i) (* 2.0 i)) (* (* i i) (* i i))) (/ (* (* i i) (* i i)) (* 2.0 i)) (/ (* (* 2.0 i) (* 2.0 i)) (* i i)) (- (- (+ (+ (log i) (log i)) (+ (log i) (log i))) (+ (+ (log 2.0) (log i)) (+ (log 2.0) (log i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (+ (+ (log i) (log i)) (+ (log i) (log i))) (+ (+ (log 2.0) (log i)) (log (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (+ (+ (log i) (log i)) (+ (log i) (log i))) (+ (log (* 2.0 i)) (+ (log 2.0) (log i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (+ (+ (log i) (log i)) (+ (log i) (log i))) (+ (log (* 2.0 i)) (log (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (+ (+ (log i) (log i)) (+ (log i) (log i))) (log (* (* 2.0 i) (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (+ (+ (log i) (log i)) (log (* i i))) (+ (+ (log 2.0) (log i)) (+ (log 2.0) (log i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (+ (+ (log i) (log i)) (log (* i i))) (+ (+ (log 2.0) (log i)) (log (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (+ (+ (log i) (log i)) (log (* i i))) (+ (log (* 2.0 i)) (+ (log 2.0) (log i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (+ (+ (log i) (log i)) (log (* i i))) (+ (log (* 2.0 i)) (log (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (+ (+ (log i) (log i)) (log (* i i))) (log (* (* 2.0 i) (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (+ (log (* i i)) (+ (log i) (log i))) (+ (+ (log 2.0) (log i)) (+ (log 2.0) (log i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (+ (log (* i i)) (+ (log i) (log i))) (+ (+ (log 2.0) (log i)) (log (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (+ (log (* i i)) (+ (log i) (log i))) (+ (log (* 2.0 i)) (+ (log 2.0) (log i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (+ (log (* i i)) (+ (log i) (log i))) (+ (log (* 2.0 i)) (log (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (+ (log (* i i)) (+ (log i) (log i))) (log (* (* 2.0 i) (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (+ (log (* i i)) (log (* i i))) (+ (+ (log 2.0) (log i)) (+ (log 2.0) (log i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (+ (log (* i i)) (log (* i i))) (+ (+ (log 2.0) (log i)) (log (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (+ (log (* i i)) (log (* i i))) (+ (log (* 2.0 i)) (+ (log 2.0) (log i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (+ (log (* i i)) (log (* i i))) (+ (log (* 2.0 i)) (log (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (+ (log (* i i)) (log (* i i))) (log (* (* 2.0 i) (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (log (* (* i i) (* i i))) (+ (+ (log 2.0) (log i)) (+ (log 2.0) (log i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (log (* (* i i) (* i i))) (+ (+ (log 2.0) (log i)) (log (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (log (* (* i i) (* i i))) (+ (log (* 2.0 i)) (+ (log 2.0) (log i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (log (* (* i i) (* i i))) (+ (log (* 2.0 i)) (log (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (- (log (* (* i i) (* i i))) (log (* (* 2.0 i) (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (log (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (log (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (exp (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 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) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 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) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 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) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 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) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 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) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 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) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 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) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 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) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 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) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 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) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 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 i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 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 i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 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 i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 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) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 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) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 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 i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 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 i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 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 i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 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) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 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) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (/ (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 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 i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 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 i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 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 i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (* (* (* (* 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) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (/ (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (* (* (* (* 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) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (* (* (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 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 i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (cbrt (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))) (cbrt (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (* (* (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (sqrt (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (sqrt (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (- (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (- (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (* (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))) (/ (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (* (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (* (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))) 1) (/ (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (* (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))) (+ (* 2.0 i) (sqrt 1.0))) (/ (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (- (* 2.0 i) (sqrt 1.0))) (/ (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))) (/ (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) 1) (/ (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (+ (* 2.0 i) (sqrt 1.0))) (/ (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (- (* 2.0 i) (sqrt 1.0))) (/ (/ (* i i) (* 2.0 i)) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))) (/ (/ (* i i) (* 2.0 i)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (/ (* i i) (* 2.0 i)) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (/ (* i i) (* 2.0 i)) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (/ (* i i) (* 2.0 i)) 1) (/ (/ (* i i) (* 2.0 i)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ (* i i) (* 2.0 i)) (+ (* 2.0 i) (sqrt 1.0))) (/ (/ (* i i) (* 2.0 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 i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ 1 (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ 1 1) (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* 2.0 i) (sqrt 1.0))) (/ (* (* i i) (* i i)) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))) (/ (/ 1 (* (* 2.0 i) (* 2.0 i))) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (* (* i i) (* i i)) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (/ 1 (* (* 2.0 i) (* 2.0 i))) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (* (* i i) (* i i)) 1) (/ (/ 1 (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (* (* i i) (* i i)) (+ (* 2.0 i) (sqrt 1.0))) (/ (/ 1 (* (* 2.0 i) (* 2.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) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))) (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) 1) (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (+ (* 2.0 i) (sqrt 1.0))) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (/ (* i i) (* 2.0 i))) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (/ 1 (* (* 2.0 i) (* 2.0 i)))) (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (pow (* (* 2.0 i) (* 2.0 i)) 3) (pow 1.0 3))) (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* 1.0 1.0))) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (* 2.0 i) (* 2.0 i))) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 2) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) (* 2 1)) (+ 1 1) (+ 1 1) (+ 2 (+ 1 1)) (+ 2 2) (+ 2 (+ 1 1)) (+ 2 (* 2 1)) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 2) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) (* 2 1)) (+ 1 1) (+ 1 1) (+ (* 2 1) (+ 1 1)) (+ (* 2 1) 2) (+ (* 2 1) (+ 1 1)) (+ (* 2 1) (* 2 1)) (* i i) (* i i) (* (* i i) (* i i)) (* (* i i) (* i i)) (* i i) (* i i) (* i i) (* (* i i) (* i i)) (* (* i i) (* i i)) (* i i) (+ 1 1) (+ 1 1) (+ (+ (log i) (log i)) (+ (log i) (log i))) (+ (+ (log i) (log i)) (log (* i i))) (+ (log (* i i)) (+ (log i) (log i))) (+ (log (* i i)) (log (* i i))) (log (* (* i i) (* i i))) (exp (* (* i i) (* i i))) (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (cbrt (* (* i i) (* i i))) (cbrt (* (* i i) (* i i)))) (cbrt (* (* i i) (* i i))) (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (sqrt (* (* i i) (* i i))) (sqrt (* (* i i) (* i i))) (* i i) (* i i) (* i i) (* i i) (* 2 (+ 1 1)) (* 2 (+ 1 1)) (* 2 1) (* 2 1) (* 2 2) (* 2 (+ 1 1)) (* 2 (+ 1 1)) (* 2 1) (* 2 1) (* 2 (* 2 1)) (* (* i i) i) (* i (* i i)) (* 0.25 (pow i 2)) (* 0.25 (pow i 2)) (* 0.25 (pow i 2)) (- (+ (* 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)) (pow i 4) (pow i 4) (pow i 4) 6.197 * * [simplify]: iteration 0 : 277 enodes (cost 6766 ) 6.264 * * [simplify]: iteration 1 : 810 enodes (cost 4554 ) 6.640 * * [simplify]: iteration 2 : 3780 enodes (cost 3004 ) 7.494 * * [simplify]: iteration done : 5000 enodes (cost 3004 ) 7.496 * [simplify]: Simplified to: (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (log (* (* (/ i 2.0) (/ i 2.0)) 1)) (exp (* (* (/ i 2.0) (/ i 2.0)) 1)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (/ (pow i 12) (pow (* 2.0 i) 6)) (* (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)) (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1))) (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)) (/ (pow i 12) (pow (* 2.0 i) 6)) (fabs (* (/ i 2.0) 1)) (fabs (* (/ i 2.0) 1)) (- (pow i 4)) (- (* (* 2.0 i) (* 2.0 i))) (/ i (/ 2.0 1)) (/ i (/ 2.0 1)) (/ 1 (* (* 2.0 i) (* 2.0 i))) (/ (* (* 2.0 i) (* 2.0 i)) (pow i 4)) (/ (/ (pow i 4) i) 2.0) (* (/ 2.0 1) (/ 2.0 1)) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (log (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (exp (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (* (cbrt (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (cbrt (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1)))) (cbrt (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (/ (/ (pow i 12) (pow (- (* (* 2.0 i) (* 2.0 i)) 1.0) 3)) (pow (* 2.0 i) 6)) (sqrt (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (sqrt (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1))) (- (* (* (/ i 2.0) (/ i 2.0)) 1)) (- (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (* (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)) (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1))) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))) (/ (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (* (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)) (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1))) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (* (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)) (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1))) (/ (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (* (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)) (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1))) (+ (* 2.0 i) (sqrt 1.0))) (/ (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)) (- (* 2.0 i) (sqrt 1.0))) (/ (/ (fabs (* (/ i 2.0) 1)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (fabs (* (/ i 2.0) 1)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (fabs (* (/ i 2.0) 1)) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (fabs (* (/ i 2.0) 1)) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (fabs (* (/ i 2.0) 1)) (/ (fabs (* (/ i 2.0) 1)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (fabs (* (/ i 2.0) 1)) (+ (* 2.0 i) (sqrt 1.0))) (/ (fabs (* (/ i 2.0) 1)) (- (* 2.0 i) (sqrt 1.0))) (/ (* (/ i 2.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)) (/ 2.0 1))) (/ (* (/ i 2.0) 1) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (* (/ i 2.0) 1) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ i (/ 2.0 1)) (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (* (/ i 2.0) 1) (+ (* 2.0 i) (sqrt 1.0))) (/ (* (/ i 2.0) 1) (- (* 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 2.0) (/ i 2.0)) 1) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ 1 (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (* (* (/ i 2.0) (/ i 2.0)) 1) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) 1 (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (* (/ i 2.0) 1)) (/ 1 (+ (* 2.0 i) (sqrt 1.0))) (/ (* (* (/ i 2.0) (/ i 2.0)) 1) (- (* 2.0 i) (sqrt 1.0))) (/ (pow i 4) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))) (/ (/ 1 (* (* 2.0 i) (* 2.0 i))) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (pow i 4) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (/ 1 (* (* 2.0 i) (* 2.0 i))) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (pow i 4) (/ (/ 1 (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (pow i 4) (+ (* 2.0 i) (sqrt 1.0))) (/ (/ 1 (* (* 2.0 i) (* 2.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 2.0) (/ i 2.0)) 1)) (/ (/ (* (* (/ i 2.0) (/ i 2.0)) 1) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (* (* (/ i 2.0) (/ i 2.0)) 1) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (* (* (/ i 2.0) 1) (/ i 2.0)) (/ (* (* (/ i 2.0) (/ i 2.0)) 1) (+ (* 2.0 i) (sqrt 1.0))) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1))) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (fabs (* (/ i 2.0) 1))) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (/ i 2.0) 1)) (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (* (/ i 2.0) (/ i 2.0)) 1)) (* (* (* 2.0 i) (* 2.0 i)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (* (* (/ i 2.0) (/ i 2.0)) 1) (- (pow (* 2.0 i) 6) (pow 1.0 3))) (/ (* (* (/ i 2.0) (/ i 2.0)) 1) (- (* (* 2.0 i) (pow (* 2.0 i) 3)) (* 1.0 1.0))) (* (* (* 2.0 i) (* 2.0 i)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) 4 4 4 4 2 2 4 4 4 4 4 4 4 4 2 2 4 4 4 4 (* i i) (* i i) (pow i 4) (pow i 4) (* i i) (* i i) (* i i) (pow i 4) (pow i 4) (* i i) 2 2 (log (pow i 4)) (log (pow i 4)) (log (pow i 4)) (log (pow i 4)) (log (pow i 4)) (exp (pow i 4)) (pow i 12) (pow i 12) (pow i 12) (pow i 12) (* (cbrt (pow i 4)) (cbrt (pow i 4))) (cbrt (pow i 4)) (pow i 12) (fabs (* i i)) (fabs (* i i)) (* i i) (* i i) (* i i) (* i i) 4 4 2 2 4 4 4 2 2 4 (pow i 3) (pow i 3) (* 0.25 (pow i 2)) (* 0.25 (pow i 2)) (* 0.25 (pow i 2)) (- (+ (* 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))) (pow i 4) (pow i 4) (pow i 4) 7.497 * * * [progress]: adding candidates to table 7.675 * [progress]: [Phase 3 of 3] Extracting. 7.675 * * [regime]: Finding splitpoints for: (# # #) 7.675 * * * [regime-changes]: Trying 2 branch expressions: ((/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) i) 7.675 * * * * [regimes]: Trying to branch on (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) from (# # #) 7.688 * * * * [regimes]: Trying to branch on i from (# # #) 7.701 * * * [regime]: Found split indices: #