11.949 * [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 # : (sqrt (- 1.0 (* x x))) 0.020 * * [simplify]: iteration 0 : 7 enodes (cost 3 ) 0.021 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 0.022 * * [simplify]: iteration 2 : 11 enodes (cost 3 ) 0.022 * [simplify]: Simplified to: (sqrt (- 1.0 (* x x))) 0.022 * * [progress]: iteration 1 / 4 0.022 * * * [progress]: picking best candidate 0.024 * * * * [pick]: Picked # 0.024 * * * [progress]: localizing error 0.028 * * * [progress]: generating rewritten candidates 0.028 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.031 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.034 * * * [progress]: generating series expansions 0.034 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.034 * [approximate]: Taking taylor expansion of (- 1.0 (pow x 2)) in (x) around 0 0.034 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 0.034 * [taylor]: Taking taylor expansion of 1.0 in x 0.034 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.034 * [taylor]: Taking taylor expansion of x in x 0.034 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 0.034 * [taylor]: Taking taylor expansion of 1.0 in x 0.034 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.034 * [taylor]: Taking taylor expansion of x in x 0.035 * [approximate]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in (x) around 0 0.035 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.035 * [taylor]: Taking taylor expansion of 1.0 in x 0.035 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.035 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.035 * [taylor]: Taking taylor expansion of x in x 0.035 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.035 * [taylor]: Taking taylor expansion of 1.0 in x 0.035 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.035 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.035 * [taylor]: Taking taylor expansion of x in x 0.036 * [approximate]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in (x) around 0 0.036 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.036 * [taylor]: Taking taylor expansion of 1.0 in x 0.036 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.036 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.036 * [taylor]: Taking taylor expansion of x in x 0.036 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.036 * [taylor]: Taking taylor expansion of 1.0 in x 0.036 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.036 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.036 * [taylor]: Taking taylor expansion of x in x 0.038 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.038 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in (x) around 0 0.038 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x 0.038 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 0.038 * [taylor]: Taking taylor expansion of 1.0 in x 0.038 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.038 * [taylor]: Taking taylor expansion of x in x 0.038 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x 0.038 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 0.038 * [taylor]: Taking taylor expansion of 1.0 in x 0.038 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.038 * [taylor]: Taking taylor expansion of x in x 0.039 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in (x) around 0 0.039 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 0.039 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.039 * [taylor]: Taking taylor expansion of 1.0 in x 0.039 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.039 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.039 * [taylor]: Taking taylor expansion of x in x 0.039 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 0.039 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.039 * [taylor]: Taking taylor expansion of 1.0 in x 0.039 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.039 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.039 * [taylor]: Taking taylor expansion of x in x 0.040 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in (x) around 0 0.040 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 0.040 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.040 * [taylor]: Taking taylor expansion of 1.0 in x 0.040 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.040 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.040 * [taylor]: Taking taylor expansion of x in x 0.041 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 0.041 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.041 * [taylor]: Taking taylor expansion of 1.0 in x 0.041 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.041 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.041 * [taylor]: Taking taylor expansion of x in x 0.042 * * * [progress]: simplifying candidates 0.042 * [simplify]: Simplifying using # : (/ (exp 1.0) (exp (* x x))) (log (- 1.0 (* x x))) (exp (- 1.0 (* x x))) (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))) (cbrt (- 1.0 (* x x))) (* (* (- 1.0 (* x x)) (- 1.0 (* x x))) (- 1.0 (* x x))) (sqrt (- 1.0 (* x x))) (sqrt (- 1.0 (* x x))) (- (pow 1.0 3) (pow (* x x) 3)) (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x)))) (neg (* x x)) (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)) (+ (sqrt 1.0) x) (- (sqrt 1.0) x) (neg (* x x)) (log (sqrt (- 1.0 (* x x)))) (exp (sqrt (- 1.0 (* x x)))) (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (sqrt (- 1.0 (* x x)))) (* (* (sqrt (- 1.0 (* x x))) (sqrt (- 1.0 (* x x)))) (sqrt (- 1.0 (* x x)))) (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x))))) (sqrt (cbrt (- 1.0 (* x x)))) (sqrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt (- 1.0 (* x x)))) (sqrt 1) (sqrt (- 1.0 (* x x))) (sqrt (+ (sqrt 1.0) x)) (sqrt (- (sqrt 1.0) x)) (sqrt (- (pow 1.0 3) (pow (* x x) 3))) (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x))))) (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (+ 1.0 (* x x))) (/ 1 2) (sqrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt (- 1.0 (* x x)))) (- 1.0 (pow x 2)) (- 1.0 (pow x 2)) (- 1.0 (pow x 2)) (- (sqrt 1.0) (+ (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3))) (* 1/2 (/ (pow x 2) (sqrt 1.0))))) (- (+ (* x (sqrt (neg 1))) (* 0.5 (/ 1 (* x (sqrt (neg 1)))))) (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt (neg 1)) 3))))) (- (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt (neg 1)) 3)))) (+ (* x (sqrt (neg 1))) (* 0.5 (/ 1 (* x (sqrt (neg 1))))))) 0.046 * * [simplify]: iteration 0 : 172 enodes (cost 188 ) 0.049 * * [simplify]: iteration 1 : 581 enodes (cost 181 ) 0.060 * * [simplify]: iteration 2 : 2888 enodes (cost 178 ) 0.123 * * [simplify]: iteration 3 : 5001 enodes (cost 177 ) 0.124 * [simplify]: Simplified to: (exp (- 1.0 (* x x))) (log (- 1.0 (* x x))) (exp (- 1.0 (* x x))) (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))) (cbrt (- 1.0 (* x x))) (pow (- 1.0 (* x x)) 3) (sqrt (- 1.0 (* x x))) (sqrt (- 1.0 (* x x))) (- (pow 1.0 3) (pow (* x x) 3)) (+ (* 1.0 (+ (pow x 2) 1.0)) (pow x 4)) (neg (* x x)) (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)) (+ (sqrt 1.0) x) (- (sqrt 1.0) x) (neg (* x x)) (log (sqrt (- 1.0 (* x x)))) (exp (sqrt (- 1.0 (* x x)))) (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (sqrt (- 1.0 (* x x)))) (pow (sqrt (- 1.0 (* x x))) 3) (fabs (cbrt (- 1.0 (* x x)))) (sqrt (cbrt (- 1.0 (* x x)))) (sqrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt (- 1.0 (* x x)))) 1 (sqrt (- 1.0 (* x x))) (sqrt (+ (sqrt 1.0) x)) (sqrt (- (sqrt 1.0) x)) (sqrt (- (pow 1.0 3) (pow (* x x) 3))) (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x))))) (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (+ 1.0 (* x x))) 1/2 (sqrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt (- 1.0 (* x x)))) (- 1.0 (* x x)) (- 1.0 (* x x)) (- 1.0 (* x x)) (- (sqrt 1.0) (+ (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3))) (* 1/2 (/ (pow x 2) (sqrt 1.0))))) (+ (+ (/ (neg 0.125) (* (pow x 3) (pow (sqrt -1) 3))) (/ (/ 0.5 (sqrt -1)) x)) (* x (sqrt -1))) (- (/ (/ 0.125 (pow (sqrt -1) 3)) (pow x 3)) (- (* x (sqrt -1)) (/ (neg 0.5) (* x (sqrt -1))))) 0.124 * * * [progress]: adding candidates to table 0.174 * * [progress]: iteration 2 / 4 0.174 * * * [progress]: picking best candidate 0.178 * * * * [pick]: Picked # 0.178 * * * [progress]: localizing error 0.186 * * * [progress]: generating rewritten candidates 0.186 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.194 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.201 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.207 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 0.215 * * * [progress]: generating series expansions 0.215 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.215 * [approximate]: Taking taylor expansion of (pow x 4) in (x) around 0 0.215 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.216 * [approximate]: Taking taylor expansion of (/ 1 (pow x 4)) in (x) around 0 0.216 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.216 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.216 * [taylor]: Taking taylor expansion of x in x 0.216 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.216 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.216 * [taylor]: Taking taylor expansion of x in x 0.218 * [approximate]: Taking taylor expansion of (/ 1 (pow x 4)) in (x) around 0 0.218 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.218 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.218 * [taylor]: Taking taylor expansion of x in x 0.218 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.218 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.218 * [taylor]: Taking taylor expansion of x in x 0.221 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.221 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow x 4)) (+ (pow x 2) 1.0)) in (x) around 0 0.221 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow x 4)) (+ (pow x 2) 1.0)) in x 0.221 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 4)) in x 0.221 * [taylor]: Taking taylor expansion of 1.0 in x 0.221 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.221 * [taylor]: Taking taylor expansion of x in x 0.221 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x 0.221 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.221 * [taylor]: Taking taylor expansion of x in x 0.222 * [taylor]: Taking taylor expansion of 1.0 in x 0.222 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow x 4)) (+ (pow x 2) 1.0)) in x 0.222 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 4)) in x 0.222 * [taylor]: Taking taylor expansion of 1.0 in x 0.222 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.222 * [taylor]: Taking taylor expansion of x in x 0.222 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x 0.222 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.222 * [taylor]: Taking taylor expansion of x in x 0.222 * [taylor]: Taking taylor expansion of 1.0 in x 0.224 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) 1.0)) in (x) around 0 0.224 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) 1.0)) in x 0.224 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 4))) in x 0.224 * [taylor]: Taking taylor expansion of 1.0 in x 0.224 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.224 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.224 * [taylor]: Taking taylor expansion of x in x 0.224 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 0.224 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.224 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.224 * [taylor]: Taking taylor expansion of x in x 0.224 * [taylor]: Taking taylor expansion of 1.0 in x 0.224 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) 1.0)) in x 0.224 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 4))) in x 0.224 * [taylor]: Taking taylor expansion of 1.0 in x 0.224 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.224 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.224 * [taylor]: Taking taylor expansion of x in x 0.224 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 0.224 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.224 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.224 * [taylor]: Taking taylor expansion of x in x 0.224 * [taylor]: Taking taylor expansion of 1.0 in x 0.228 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) 1.0)) in (x) around 0 0.228 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) 1.0)) in x 0.228 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 4))) in x 0.228 * [taylor]: Taking taylor expansion of 1.0 in x 0.228 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.228 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.228 * [taylor]: Taking taylor expansion of x in x 0.228 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 0.228 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.228 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.228 * [taylor]: Taking taylor expansion of x in x 0.228 * [taylor]: Taking taylor expansion of 1.0 in x 0.228 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) 1.0)) in x 0.228 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 4))) in x 0.228 * [taylor]: Taking taylor expansion of 1.0 in x 0.228 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.228 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.228 * [taylor]: Taking taylor expansion of x in x 0.228 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 0.228 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.228 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.228 * [taylor]: Taking taylor expansion of x in x 0.228 * [taylor]: Taking taylor expansion of 1.0 in x 0.231 * * * * [progress]: [ 3 / 4 ] generating series at (2) 0.232 * [approximate]: Taking taylor expansion of (sqrt (/ (- 1.0 (pow x 4)) (+ (pow x 2) 1.0))) in (x) around 0 0.232 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1.0 (pow x 4)) (+ (pow x 2) 1.0))) in x 0.232 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow x 4)) (+ (pow x 2) 1.0)) in x 0.232 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 4)) in x 0.232 * [taylor]: Taking taylor expansion of 1.0 in x 0.232 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.232 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x 0.232 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.232 * [taylor]: Taking taylor expansion of 1.0 in x 0.232 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1.0 (pow x 4)) (+ (pow x 2) 1.0))) in x 0.232 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow x 4)) (+ (pow x 2) 1.0)) in x 0.232 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 4)) in x 0.232 * [taylor]: Taking taylor expansion of 1.0 in x 0.232 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.232 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x 0.232 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.232 * [taylor]: Taking taylor expansion of 1.0 in x 0.233 * [approximate]: Taking taylor expansion of (sqrt (/ (- 1.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) 1.0))) in (x) around 0 0.233 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) 1.0))) in x 0.233 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) 1.0)) in x 0.233 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 4))) in x 0.234 * [taylor]: Taking taylor expansion of 1.0 in x 0.234 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.234 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.234 * [taylor]: Taking taylor expansion of x in x 0.234 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 0.234 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.234 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.234 * [taylor]: Taking taylor expansion of x in x 0.234 * [taylor]: Taking taylor expansion of 1.0 in x 0.234 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) 1.0))) in x 0.234 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) 1.0)) in x 0.234 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 4))) in x 0.234 * [taylor]: Taking taylor expansion of 1.0 in x 0.234 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.234 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.234 * [taylor]: Taking taylor expansion of x in x 0.234 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 0.234 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.234 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.234 * [taylor]: Taking taylor expansion of x in x 0.234 * [taylor]: Taking taylor expansion of 1.0 in x 0.236 * [approximate]: Taking taylor expansion of (sqrt (/ (- 1.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) 1.0))) in (x) around 0 0.236 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) 1.0))) in x 0.236 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) 1.0)) in x 0.236 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 4))) in x 0.236 * [taylor]: Taking taylor expansion of 1.0 in x 0.236 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.236 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.236 * [taylor]: Taking taylor expansion of x in x 0.236 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 0.236 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.236 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.236 * [taylor]: Taking taylor expansion of x in x 0.236 * [taylor]: Taking taylor expansion of 1.0 in x 0.237 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) 1.0))) in x 0.237 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) 1.0)) in x 0.237 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 4))) in x 0.237 * [taylor]: Taking taylor expansion of 1.0 in x 0.237 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.237 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.237 * [taylor]: Taking taylor expansion of x in x 0.237 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 0.237 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.237 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.237 * [taylor]: Taking taylor expansion of x in x 0.237 * [taylor]: Taking taylor expansion of 1.0 in x 0.239 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 0.239 * [approximate]: Taking taylor expansion of (- 1.0 (pow x 4)) in (x) around 0 0.239 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 4)) in x 0.239 * [taylor]: Taking taylor expansion of 1.0 in x 0.239 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.239 * [taylor]: Taking taylor expansion of x in x 0.239 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 4)) in x 0.239 * [taylor]: Taking taylor expansion of 1.0 in x 0.239 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.239 * [taylor]: Taking taylor expansion of x in x 0.240 * [approximate]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 4))) in (x) around 0 0.240 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 4))) in x 0.240 * [taylor]: Taking taylor expansion of 1.0 in x 0.240 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.240 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.240 * [taylor]: Taking taylor expansion of x in x 0.240 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 4))) in x 0.240 * [taylor]: Taking taylor expansion of 1.0 in x 0.240 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.240 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.240 * [taylor]: Taking taylor expansion of x in x 0.242 * [approximate]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 4))) in (x) around 0 0.242 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 4))) in x 0.243 * [taylor]: Taking taylor expansion of 1.0 in x 0.243 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.243 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.243 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 4))) in x 0.243 * [taylor]: Taking taylor expansion of 1.0 in x 0.243 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.243 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.245 * * * [progress]: simplifying candidates 0.247 * [simplify]: Simplifying using # : (+ (+ 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)) (* x x) (* x x) (* (* x x) (* x x)) (* (* x x) (* x x)) (* x x) (* x x) (* x x) (* (* x x) (* x x)) (* (* x x) (* x x)) (* x x) (+ 1 1) (+ 1 1) (+ (+ (log x) (log x)) (+ (log x) (log x))) (+ (+ (log x) (log x)) (log (* x x))) (+ (log (* x x)) (+ (log x) (log x))) (+ (log (* x x)) (log (* x x))) (log (* (* x x) (* x x))) (exp (* (* x x) (* x x))) (* (* (* (* x x) x) (* (* x x) x)) (* (* (* x x) x) (* (* x x) x))) (* (* (* (* x x) x) (* (* x x) x)) (* (* (* x x) (* x x)) (* x x))) (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) x) (* (* x x) x))) (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x))) (* (cbrt (* (* x x) (* x x))) (cbrt (* (* x x) (* x x)))) (cbrt (* (* x x) (* x x))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (* x x) (* x x))) (sqrt (* (* x x) (* x x))) (sqrt (* (* x x) (* x x))) (* x x) (* x x) (* x x) (* x x) (* 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)) (* (* x x) x) (* x (* x x)) (- (log (- (* 1.0 1.0) (* (* x x) (* x x)))) (log (+ 1.0 (* x x)))) (log (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (exp (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (/ (* (* (- (* 1.0 1.0) (* (* x x) (* x x))) (- (* 1.0 1.0) (* (* x x) (* x x)))) (- (* 1.0 1.0) (* (* x x) (* x x)))) (* (* (+ 1.0 (* x x)) (+ 1.0 (* x x))) (+ 1.0 (* x x)))) (* (cbrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (cbrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (cbrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (* (* (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))) (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (neg (- (* 1.0 1.0) (* (* x x) (* x x)))) (neg (+ 1.0 (* x x))) (/ (* 1.0 1.0) (+ 1.0 (* x x))) (/ (* (* x x) (* x x)) (+ 1.0 (* x x))) (/ (* (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (- (* 1.0 1.0) (* (* x x) (* x x))))) (* (cbrt (+ 1.0 (* x x))) (cbrt (+ 1.0 (* x x))))) (/ (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (+ 1.0 (* x x)))) (/ (* (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (- (* 1.0 1.0) (* (* x x) (* x x))))) (sqrt (+ 1.0 (* x x)))) (/ (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (+ 1.0 (* x x)))) (/ (* (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (- (* 1.0 1.0) (* (* x x) (* x x))))) 1) (/ (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (+ 1.0 (* x x))) (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (* (cbrt (+ 1.0 (* x x))) (cbrt (+ 1.0 (* x x))))) (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (+ 1.0 (* x x)))) (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (+ 1.0 (* x x)))) (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (+ 1.0 (* x x)))) (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) 1) (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (+ 1.0 (* x x))) (/ 1 (* (cbrt (+ 1.0 (* x x))) (cbrt (+ 1.0 (* x x))))) (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (cbrt (+ 1.0 (* x x)))) (/ 1 (sqrt (+ 1.0 (* x x)))) (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (sqrt (+ 1.0 (* x x)))) (/ 1 1) (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))) (/ (+ 1.0 (* x x)) (* (cbrt (+ 1.0 (* x x))) (cbrt (+ 1.0 (* x x))))) (/ (- 1.0 (* x x)) (cbrt (+ 1.0 (* x x)))) (/ (+ 1.0 (* x x)) (sqrt (+ 1.0 (* x x)))) (/ (- 1.0 (* x x)) (sqrt (+ 1.0 (* x x)))) (/ (+ 1.0 (* x x)) 1) (/ (- 1.0 (* x x)) (+ 1.0 (* x x))) (/ 1 (+ 1.0 (* x x))) (/ (+ 1.0 (* x x)) (- (* 1.0 1.0) (* (* x x) (* x x)))) (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (* (cbrt (+ 1.0 (* x x))) (cbrt (+ 1.0 (* x x))))) (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (sqrt (+ 1.0 (* x x)))) (/ (- (* 1.0 1.0) (* (* x x) (* x x))) 1) (/ (+ 1.0 (* x x)) (cbrt (- (* 1.0 1.0) (* (* x x) (* x x))))) (/ (+ 1.0 (* x x)) (sqrt (- (* 1.0 1.0) (* (* x x) (* x x))))) (/ (+ 1.0 (* x x)) (- (* 1.0 1.0) (* (* x x) (* x x)))) (/ (+ 1.0 (* x x)) (- 1.0 (* x x))) (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ (pow 1.0 3) (pow (* x x) 3))) (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (- (* 1.0 1.0) (* (* x x) (* x x)))) (* (+ 1.0 (* x x)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (* 1.0 1.0) (* (* x x) (* x x)))))) (* (+ 1.0 (* x x)) (+ (* 1.0 1.0) (* (* x x) (* x x)))) (log (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (exp (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (* (cbrt (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (cbrt (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))))) (cbrt (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (* (* (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (sqrt (* (cbrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (cbrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))))) (sqrt (cbrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (sqrt (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (sqrt (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (sqrt (/ (* (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (- (* 1.0 1.0) (* (* x x) (* x x))))) (* (cbrt (+ 1.0 (* x x))) (cbrt (+ 1.0 (* x x)))))) (sqrt (/ (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (+ 1.0 (* x x))))) (sqrt (/ (* (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (- (* 1.0 1.0) (* (* x x) (* x x))))) (sqrt (+ 1.0 (* x x))))) (sqrt (/ (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (+ 1.0 (* x x))))) (sqrt (/ (* (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (- (* 1.0 1.0) (* (* x x) (* x x))))) 1)) (sqrt (/ (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (+ 1.0 (* x x)))) (sqrt (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (* (cbrt (+ 1.0 (* x x))) (cbrt (+ 1.0 (* x x)))))) (sqrt (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (+ 1.0 (* x x))))) (sqrt (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (+ 1.0 (* x x))))) (sqrt (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (+ 1.0 (* x x))))) (sqrt (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) 1)) (sqrt (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (+ 1.0 (* x x)))) (sqrt (/ 1 (* (cbrt (+ 1.0 (* x x))) (cbrt (+ 1.0 (* x x)))))) (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (cbrt (+ 1.0 (* x x))))) (sqrt (/ 1 (sqrt (+ 1.0 (* x x))))) (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (sqrt (+ 1.0 (* x x))))) (sqrt (/ 1 1)) (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (sqrt (/ (+ 1.0 (* x x)) (* (cbrt (+ 1.0 (* x x))) (cbrt (+ 1.0 (* x x)))))) (sqrt (/ (- 1.0 (* x x)) (cbrt (+ 1.0 (* x x))))) (sqrt (/ (+ 1.0 (* x x)) (sqrt (+ 1.0 (* x x))))) (sqrt (/ (- 1.0 (* x x)) (sqrt (+ 1.0 (* x x))))) (sqrt (/ (+ 1.0 (* x x)) 1)) (sqrt (/ (- 1.0 (* x x)) (+ 1.0 (* x x)))) (sqrt 1) (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (/ 1 (+ 1.0 (* x x)))) (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ (pow 1.0 3) (pow (* x x) 3)))) (sqrt (+ (* 1.0 1.0) (- (* (* x x) (* x x)) (* 1.0 (* x x))))) (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (- (* 1.0 1.0) (* (* x x) (* x x))))) (sqrt (- 1.0 (* x x))) (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (+ 1.0 (* x x))) (/ 1 2) (sqrt (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (sqrt (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (/ (exp (* 1.0 1.0)) (exp (* (* x x) (* x x)))) (log (- (* 1.0 1.0) (* (* x x) (* x x)))) (exp (- (* 1.0 1.0) (* (* x x) (* x x)))) (* (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (- (* 1.0 1.0) (* (* x x) (* x x))))) (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (* (* (- (* 1.0 1.0) (* (* x x) (* x x))) (- (* 1.0 1.0) (* (* x x) (* x x)))) (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (- (pow (* 1.0 1.0) 3) (pow (* (* x x) (* x x)) 3)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (* 1.0 1.0) (* (* x x) (* x x))))) (neg (* (* x x) (* x x))) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (+ (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)) (- 1.0 (* x x)) (neg (* (* x x) (* x x))) (pow x 4) (pow x 4) (pow x 4) (- 1.0 (* 1.0 (pow x 2))) (- 1.0 (pow x 2)) (- 1.0 (pow x 2)) (- (sqrt 1.0) (+ (* 0.125 (/ (pow x 4) (pow (sqrt 1.0) 3))) (* 0.5 (/ (pow x 2) (sqrt 1.0))))) (- (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))) (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3))))) (- (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1)))) (- 1.0 (pow x 4)) (- 1.0 (pow x 4)) (- 1.0 (pow x 4)) 0.255 * * [simplify]: iteration 0 : 469 enodes (cost 1112 ) 0.263 * * [simplify]: iteration 1 : 1989 enodes (cost 1007 ) 0.298 * * [simplify]: iteration 2 : 5001 enodes (cost 989 ) 0.304 * [simplify]: Simplified to: 4 4 4 4 2 2 4 4 4 4 4 4 4 4 2 2 4 4 4 4 (pow x 2) (pow x 2) (pow x 4) (pow x 4) (pow x 2) (pow x 2) (pow x 2) (pow x 4) (pow x 4) (pow x 2) 2 2 (* 4 (log x)) (* 4 (log x)) (* 4 (log x)) (* 4 (log x)) (* 4 (log x)) (pow (exp (pow x 3)) x) (pow (pow x 4) 3) (pow (pow x 4) 3) (pow (pow x 4) 3) (pow (pow x 4) 3) (* (cbrt (* (* x x) (* x x))) (cbrt (* (* x x) (* x x)))) (cbrt (* (* x x) (* x x))) (pow (pow x 4) 3) (fabs (pow x 2)) (fabs (pow x 2)) (pow x 2) (pow x 2) (pow x 2) (pow x 2) 4 4 2 2 4 4 4 2 2 4 (pow x 3) (pow x 3) (log (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (log (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (exp (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (pow (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))) 3) (* (cbrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (cbrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (cbrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (pow (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))) 3) (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (neg (- (* 1.0 1.0) (* (* x x) (* x x)))) (neg (+ 1.0 (* x x))) (/ (* 1.0 1.0) (+ 1.0 (* x x))) (/ (pow x 4) (+ 1.0 (* x x))) (/ (* (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (- (* 1.0 1.0) (* (* x x) (* x x))))) (* (cbrt (+ 1.0 (* x x))) (cbrt (+ 1.0 (* x x))))) (/ (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (+ 1.0 (* x x)))) (/ (* (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (- (* 1.0 1.0) (* (* x x) (* x x))))) (sqrt (+ 1.0 (* x x)))) (/ (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (+ 1.0 (* x x)))) (* (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (- (* 1.0 1.0) (* (* x x) (* x x))))) (/ (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (+ 1.0 (* x x))) (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (* (cbrt (+ 1.0 (* x x))) (cbrt (+ 1.0 (* x x))))) (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (+ 1.0 (* x x)))) (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (+ 1.0 (* x x)))) (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (+ 1.0 (* x x)))) (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (+ 1.0 (* x x))) (/ 1 (* (cbrt (+ 1.0 (* x x))) (cbrt (+ 1.0 (* x x))))) (* (/ 1 (cbrt (+ 1.0 (* x x)))) (- (* 1.0 1.0) (pow x 4))) (/ 1 (sqrt (+ 1.0 (* x x)))) (/ (- (* 1.0 1.0) (pow x 4)) (sqrt (+ 1.0 (* x x)))) 1 (* (/ 1 (+ 1.0 (* x x))) (- (* 1.0 1.0) (pow x 4))) (/ (+ 1.0 (* x x)) (* (cbrt (+ 1.0 (* x x))) (cbrt (+ 1.0 (* x x))))) (/ (- 1.0 (* x x)) (cbrt (+ 1.0 (* x x)))) (/ (+ 1.0 (* x x)) (sqrt (+ 1.0 (* x x)))) (/ (- 1.0 (* x x)) (sqrt (+ 1.0 (* x x)))) (+ 1.0 (* x x)) (/ (- 1.0 (* x x)) (+ 1.0 (* x x))) (/ 1 (+ 1.0 (* x x))) (/ (+ 1.0 (* x x)) (- (* 1.0 1.0) (* (* x x) (* x x)))) (* (/ 1 (* (cbrt (+ 1.0 (* x x))) (cbrt (+ 1.0 (* x x))))) (- (* 1.0 1.0) (pow x 4))) (/ (- (* 1.0 1.0) (pow x 4)) (sqrt (+ 1.0 (* x x)))) (- (* 1.0 1.0) (pow x 4)) (/ (+ 1.0 (* x x)) (cbrt (- (* 1.0 1.0) (* (* x x) (* x x))))) (/ (+ 1.0 (* x x)) (sqrt (- (* 1.0 1.0) (* (* x x) (* x x))))) (/ (+ 1.0 (* x x)) (- (* 1.0 1.0) (* (* x x) (* x x)))) (/ (+ 1.0 (* x x)) (- 1.0 (* x x))) (/ (- (* 1.0 1.0) (pow x 4)) (+ (pow 1.0 3) (pow (* x x) 3))) 1 (* (+ (+ (pow 1.0 4) (* (* 1.0 1.0) (pow x 4))) (pow x 8)) (+ 1.0 (* x x))) (* (+ 1.0 (* x x)) (+ (* 1.0 1.0) (* (* x x) (* x x)))) (log (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (exp (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (* (cbrt (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (cbrt (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))))) (cbrt (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (pow (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) 3) (fabs (cbrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (sqrt (cbrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (sqrt (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (sqrt (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (fabs (/ (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (+ 1.0 (* x x))))) (sqrt (/ (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (+ 1.0 (* x x))))) (sqrt (/ (* (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (- (* 1.0 1.0) (* (* x x) (* x x))))) (sqrt (+ 1.0 (* x x))))) (sqrt (/ (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (+ 1.0 (* x x))))) (fabs (cbrt (- (* 1.0 1.0) (* (* x x) (* x x))))) (sqrt (/ (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (+ 1.0 (* x x)))) (sqrt (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (* (cbrt (+ 1.0 (* x x))) (cbrt (+ 1.0 (* x x)))))) (sqrt (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (+ 1.0 (* x x))))) (sqrt (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (+ 1.0 (* x x))))) (sqrt (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (+ 1.0 (* x x))))) (sqrt (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) 1)) (sqrt (/ (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (+ 1.0 (* x x)))) (sqrt (/ 1 (* (cbrt (+ 1.0 (* x x))) (cbrt (+ 1.0 (* x x)))))) (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (cbrt (+ 1.0 (* x x))))) (sqrt (/ 1 (sqrt (+ 1.0 (* x x))))) (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (sqrt (+ 1.0 (* x x))))) 1 (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (sqrt (/ (+ 1.0 (* x x)) (* (cbrt (+ 1.0 (* x x))) (cbrt (+ 1.0 (* x x)))))) (sqrt (/ (- 1.0 (* x x)) (cbrt (+ 1.0 (* x x))))) (sqrt (/ (+ 1.0 (* x x)) (sqrt (+ 1.0 (* x x))))) (sqrt (/ (- 1.0 (* x x)) (sqrt (+ 1.0 (* x x))))) (sqrt (+ 1.0 (* x x))) (sqrt (/ (- 1.0 (* x x)) (+ 1.0 (* x x)))) 1 (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)))) (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (/ 1 (+ 1.0 (* x x)))) (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ (pow 1.0 3) (pow (* x x) 3)))) (sqrt (+ (* 1.0 1.0) (- (* (* x x) (* x x)) (* 1.0 (* x x))))) 1 (sqrt (- 1.0 (* x x))) (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (+ 1.0 (* x x))) 1/2 (sqrt (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (sqrt (sqrt (/ (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x))))) (exp (- (* 1.0 1.0) (pow x 4))) (log (- (* 1.0 1.0) (* (* x x) (* x x)))) (exp (- (* 1.0 1.0) (pow x 4))) (* (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (cbrt (- (* 1.0 1.0) (* (* x x) (* x x))))) (cbrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (pow (- (* 1.0 1.0) (* (* x x) (* x x))) 3) (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (sqrt (- (* 1.0 1.0) (* (* x x) (* x x)))) (+ (* (neg (pow x 6)) (pow x 6)) (pow 1.0 6)) (+ (+ (pow 1.0 4) (* (* 1.0 1.0) (pow x 4))) (pow x 8)) (neg (pow x 4)) (- (/ (pow 1.0 4) 1) (/ (pow x 8) 1)) (+ (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)) (- 1.0 (pow x 2)) (neg (pow x 4)) (pow x 4) (pow x 4) (pow x 4) (- 1.0 (* 1.0 (pow x 2))) (- 1.0 (pow x 2)) (- 1.0 (pow x 2)) (- (sqrt 1.0) (+ (* 0.125 (/ (pow x 4) (pow (sqrt 1.0) 3))) (* 0.5 (/ (pow x 2) (sqrt 1.0))))) (+ (- (* x (sqrt -1)) (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3))))) (/ (/ 0.5 (sqrt -1)) x)) (- (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1)))) (- 1.0 (pow x 4)) (- 1.0 (pow x 4)) (- 1.0 (pow x 4)) 0.305 * * * [progress]: adding candidates to table 0.647 * * [progress]: iteration 3 / 4 0.647 * * * [progress]: picking best candidate 0.650 * * * * [pick]: Picked # 0.650 * * * [progress]: localizing error 0.656 * * * [progress]: generating rewritten candidates 0.656 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.666 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.676 * * * [progress]: generating series expansions 0.676 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.677 * [approximate]: Taking taylor expansion of (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x)) in (x) around 0 0.677 * [taylor]: Taking taylor expansion of (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x)) in x 0.677 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 0.677 * [taylor]: Taking taylor expansion of x in x 0.677 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.677 * [taylor]: Taking taylor expansion of 1.0 in x 0.677 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) x) in x 0.677 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.677 * [taylor]: Taking taylor expansion of 1.0 in x 0.677 * [taylor]: Taking taylor expansion of x in x 0.677 * [taylor]: Taking taylor expansion of (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x)) in x 0.677 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 0.677 * [taylor]: Taking taylor expansion of x in x 0.677 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.677 * [taylor]: Taking taylor expansion of 1.0 in x 0.677 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) x) in x 0.677 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.677 * [taylor]: Taking taylor expansion of 1.0 in x 0.677 * [taylor]: Taking taylor expansion of x in x 0.679 * [approximate]: Taking taylor expansion of (* (- (sqrt 1.0) (/ 1 x)) (+ (sqrt 1.0) (/ 1 x))) in (x) around 0 0.679 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (/ 1 x)) (+ (sqrt 1.0) (/ 1 x))) in x 0.679 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 0.679 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.679 * [taylor]: Taking taylor expansion of 1.0 in x 0.679 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.679 * [taylor]: Taking taylor expansion of x in x 0.679 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 0.679 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.679 * [taylor]: Taking taylor expansion of 1.0 in x 0.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.680 * [taylor]: Taking taylor expansion of x in x 0.680 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (/ 1 x)) (+ (sqrt 1.0) (/ 1 x))) in x 0.680 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 0.680 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.680 * [taylor]: Taking taylor expansion of 1.0 in x 0.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.680 * [taylor]: Taking taylor expansion of x in x 0.680 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 0.680 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.680 * [taylor]: Taking taylor expansion of 1.0 in x 0.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.680 * [taylor]: Taking taylor expansion of x in x 0.683 * [approximate]: Taking taylor expansion of (* (- (sqrt 1.0) (/ 1 x)) (+ (sqrt 1.0) (/ 1 x))) in (x) around 0 0.683 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (/ 1 x)) (+ (sqrt 1.0) (/ 1 x))) in x 0.683 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 0.683 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.683 * [taylor]: Taking taylor expansion of 1.0 in x 0.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.683 * [taylor]: Taking taylor expansion of x in x 0.683 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 0.683 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.683 * [taylor]: Taking taylor expansion of 1.0 in x 0.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.683 * [taylor]: Taking taylor expansion of x in x 0.683 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (/ 1 x)) (+ (sqrt 1.0) (/ 1 x))) in x 0.683 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 0.683 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.683 * [taylor]: Taking taylor expansion of 1.0 in x 0.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.683 * [taylor]: Taking taylor expansion of x in x 0.683 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 0.683 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.683 * [taylor]: Taking taylor expansion of 1.0 in x 0.684 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.684 * [taylor]: Taking taylor expansion of x in x 0.686 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.687 * [approximate]: Taking taylor expansion of (sqrt (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x))) in (x) around 0 0.687 * [taylor]: Taking taylor expansion of (sqrt (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x))) in x 0.687 * [taylor]: Taking taylor expansion of (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x)) in x 0.687 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 0.687 * [taylor]: Taking taylor expansion of x in x 0.687 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.687 * [taylor]: Taking taylor expansion of 1.0 in x 0.687 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) x) in x 0.687 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.687 * [taylor]: Taking taylor expansion of 1.0 in x 0.687 * [taylor]: Taking taylor expansion of x in x 0.687 * [taylor]: Taking taylor expansion of (sqrt (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x))) in x 0.687 * [taylor]: Taking taylor expansion of (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x)) in x 0.687 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 0.687 * [taylor]: Taking taylor expansion of x in x 0.687 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.687 * [taylor]: Taking taylor expansion of 1.0 in x 0.687 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) x) in x 0.687 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.687 * [taylor]: Taking taylor expansion of 1.0 in x 0.687 * [taylor]: Taking taylor expansion of x in x 0.691 * [approximate]: Taking taylor expansion of (sqrt (* (- (sqrt 1.0) (/ 1 x)) (+ (sqrt 1.0) (/ 1 x)))) in (x) around 0 0.691 * [taylor]: Taking taylor expansion of (sqrt (* (- (sqrt 1.0) (/ 1 x)) (+ (sqrt 1.0) (/ 1 x)))) in x 0.691 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (/ 1 x)) (+ (sqrt 1.0) (/ 1 x))) in x 0.691 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 0.691 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.691 * [taylor]: Taking taylor expansion of 1.0 in x 0.691 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.691 * [taylor]: Taking taylor expansion of x in x 0.691 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 0.691 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.691 * [taylor]: Taking taylor expansion of 1.0 in x 0.692 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.692 * [taylor]: Taking taylor expansion of x in x 0.692 * [taylor]: Taking taylor expansion of (sqrt (* (- (sqrt 1.0) (/ 1 x)) (+ (sqrt 1.0) (/ 1 x)))) in x 0.692 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (/ 1 x)) (+ (sqrt 1.0) (/ 1 x))) in x 0.692 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 0.692 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.692 * [taylor]: Taking taylor expansion of 1.0 in x 0.692 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.692 * [taylor]: Taking taylor expansion of x in x 0.692 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 0.692 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.692 * [taylor]: Taking taylor expansion of 1.0 in x 0.692 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.692 * [taylor]: Taking taylor expansion of x in x 0.694 * [approximate]: Taking taylor expansion of (sqrt (* (- (sqrt 1.0) (/ 1 x)) (+ (sqrt 1.0) (/ 1 x)))) in (x) around 0 0.694 * [taylor]: Taking taylor expansion of (sqrt (* (- (sqrt 1.0) (/ 1 x)) (+ (sqrt 1.0) (/ 1 x)))) in x 0.694 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (/ 1 x)) (+ (sqrt 1.0) (/ 1 x))) in x 0.694 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 0.694 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.694 * [taylor]: Taking taylor expansion of 1.0 in x 0.694 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.694 * [taylor]: Taking taylor expansion of x in x 0.694 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 0.694 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.694 * [taylor]: Taking taylor expansion of 1.0 in x 0.694 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.695 * [taylor]: Taking taylor expansion of x in x 0.695 * [taylor]: Taking taylor expansion of (sqrt (* (- (sqrt 1.0) (/ 1 x)) (+ (sqrt 1.0) (/ 1 x)))) in x 0.695 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (/ 1 x)) (+ (sqrt 1.0) (/ 1 x))) in x 0.695 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 0.695 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.695 * [taylor]: Taking taylor expansion of 1.0 in x 0.695 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.695 * [taylor]: Taking taylor expansion of x in x 0.695 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 0.695 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.695 * [taylor]: Taking taylor expansion of 1.0 in x 0.695 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.695 * [taylor]: Taking taylor expansion of x in x 0.697 * * * [progress]: simplifying candidates 0.698 * [simplify]: Simplifying using # : (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x)) (+ (log (+ (sqrt 1.0) x)) (log (- (sqrt 1.0) x))) (log (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x))) (exp (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x))) (* (* (* (+ (sqrt 1.0) x) (+ (sqrt 1.0) x)) (+ (sqrt 1.0) x)) (* (* (- (sqrt 1.0) x) (- (sqrt 1.0) x)) (- (sqrt 1.0) x))) (* (cbrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x))) (cbrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x)))) (cbrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x))) (* (* (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x)) (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x))) (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x))) (sqrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x))) (sqrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x))) (* (+ (pow (sqrt 1.0) 3) (pow x 3)) (- (pow (sqrt 1.0) 3) (pow x 3))) (* (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* x x) (* (sqrt 1.0) x))) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* x x) (* (sqrt 1.0) x)))) (* (+ (pow (sqrt 1.0) 3) (pow x 3)) (- (* (sqrt 1.0) (sqrt 1.0)) (* x x))) (* (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* x x) (* (sqrt 1.0) x))) (+ (sqrt 1.0) x)) (* (- (* (sqrt 1.0) (sqrt 1.0)) (* x x)) (- (pow (sqrt 1.0) 3) (pow x 3))) (* (- (sqrt 1.0) x) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* x x) (* (sqrt 1.0) x)))) (* (- (* (sqrt 1.0) (sqrt 1.0)) (* x x)) (- (* (sqrt 1.0) (sqrt 1.0)) (* x x))) (* (- (sqrt 1.0) x) (+ (sqrt 1.0) x)) (* (sqrt (+ (sqrt 1.0) x)) (sqrt (- (sqrt 1.0) x))) (* (sqrt (+ (sqrt 1.0) x)) (sqrt (- (sqrt 1.0) x))) (* (+ (sqrt 1.0) x) (sqrt 1.0)) (* (+ (sqrt 1.0) x) (neg x)) (* (+ (sqrt 1.0) x) (sqrt 1.0)) (* (+ (sqrt 1.0) x) (neg x)) (* (sqrt 1.0) (+ (sqrt 1.0) x)) (* (neg x) (+ (sqrt 1.0) x)) (* (sqrt 1.0) (+ (sqrt 1.0) x)) (* (neg x) (+ (sqrt 1.0) x)) (* (+ (sqrt 1.0) x) (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x)))) (* (+ (sqrt 1.0) x) (sqrt (- (sqrt 1.0) x))) (* (+ (sqrt 1.0) x) 1) (* (+ (sqrt 1.0) x) (+ (sqrt (sqrt 1.0)) (sqrt x))) (* (+ (sqrt 1.0) x) (+ (sqrt (sqrt 1.0)) (sqrt x))) (* (+ (sqrt 1.0) x) 1) (* (cbrt (+ (sqrt 1.0) x)) (- (sqrt 1.0) x)) (* (sqrt (+ (sqrt 1.0) x)) (- (sqrt 1.0) x)) (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x)) (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x)) (* (+ (sqrt 1.0) x) (- (pow (sqrt 1.0) 3) (pow x 3))) (* (+ (sqrt 1.0) x) (- (* (sqrt 1.0) (sqrt 1.0)) (* x x))) (* (+ (pow (sqrt 1.0) 3) (pow x 3)) (- (sqrt 1.0) x)) (* (- (* (sqrt 1.0) (sqrt 1.0)) (* x x)) (- (sqrt 1.0) x)) (log (sqrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x)))) (exp (sqrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x)))) (* (cbrt (sqrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x)))) (cbrt (sqrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x))))) (cbrt (sqrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x)))) (* (* (sqrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x))) (sqrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x)))) (sqrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x)))) (sqrt (+ (sqrt 1.0) x)) (sqrt (- (sqrt 1.0) x)) (sqrt (* (+ (pow (sqrt 1.0) 3) (pow x 3)) (- (pow (sqrt 1.0) 3) (pow x 3)))) (sqrt (* (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* x x) (* (sqrt 1.0) x))) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* x x) (* (sqrt 1.0) x))))) (sqrt (* (+ (pow (sqrt 1.0) 3) (pow x 3)) (- (* (sqrt 1.0) (sqrt 1.0)) (* x x)))) (sqrt (* (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* x x) (* (sqrt 1.0) x))) (+ (sqrt 1.0) x))) (sqrt (* (- (* (sqrt 1.0) (sqrt 1.0)) (* x x)) (- (pow (sqrt 1.0) 3) (pow x 3)))) (sqrt (* (- (sqrt 1.0) x) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* x x) (* (sqrt 1.0) x))))) (sqrt (* (- (* (sqrt 1.0) (sqrt 1.0)) (* x x)) (- (* (sqrt 1.0) (sqrt 1.0)) (* x x)))) (sqrt (* (- (sqrt 1.0) x) (+ (sqrt 1.0) x))) (sqrt (* (+ (sqrt 1.0) x) (- (pow (sqrt 1.0) 3) (pow x 3)))) (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* x x) (* (sqrt 1.0) x)))) (sqrt (* (+ (sqrt 1.0) x) (- (* (sqrt 1.0) (sqrt 1.0)) (* x x)))) (sqrt (+ (sqrt 1.0) x)) (sqrt (* (+ (pow (sqrt 1.0) 3) (pow x 3)) (- (sqrt 1.0) x))) (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* x x) (* (sqrt 1.0) x)))) (sqrt (* (- (* (sqrt 1.0) (sqrt 1.0)) (* x x)) (- (sqrt 1.0) x))) (sqrt (- (sqrt 1.0) x)) (/ 1 2) (/ 1 2) (sqrt (sqrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x)))) (sqrt (sqrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x)))) (- (pow (sqrt 1.0) 2) (pow x 2)) (- (pow (sqrt 1.0) 2) (pow x 2)) (- (pow (sqrt 1.0) 2) (pow x 2)) (- (sqrt 1.0) (+ (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3))) (* 1/2 (/ (pow x 2) (sqrt 1.0))))) (- (+ (* 1/2 (/ (pow (sqrt 1.0) 2) (* x (sqrt -1)))) (* x (sqrt -1))) (* 1/8 (/ (pow (sqrt 1.0) 4) (* (pow x 3) (pow (sqrt -1) 3))))) (- (* 1/8 (/ (pow (sqrt 1.0) 4) (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* 1/2 (/ (pow (sqrt 1.0) 2) (* x (sqrt -1)))) (* x (sqrt -1)))) 0.703 * * [simplify]: iteration 0 : 286 enodes (cost 537 ) 0.708 * * [simplify]: iteration 1 : 1382 enodes (cost 493 ) 0.733 * * [simplify]: iteration 2 : 5001 enodes (cost 489 ) 0.737 * [simplify]: Simplified to: (+ 1.0 (neg (pow x 2))) (log (+ 1.0 (neg (pow x 2)))) (log (+ 1.0 (neg (pow x 2)))) (/ (exp 1.0) (exp (pow x 2))) (pow (+ 1.0 (neg (pow x 2))) 3) (* (cbrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x))) (cbrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x)))) (cbrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x))) (pow (+ 1.0 (neg (pow x 2))) 3) (sqrt (* (- (sqrt 1.0) x) (+ (sqrt 1.0) x))) (sqrt (* (- (sqrt 1.0) x) (+ (sqrt 1.0) x))) (* (+ (pow (sqrt 1.0) 3) (pow x 3)) (- (pow (sqrt 1.0) 3) (pow x 3))) (* (+ (* x (+ x (sqrt 1.0))) 1.0) (+ (* x (- x (sqrt 1.0))) 1.0)) (* (+ 1.0 (neg (pow x 2))) (+ (pow (sqrt 1.0) 3) (pow x 3))) (* (+ (sqrt 1.0) x) (+ (* x (- x (sqrt 1.0))) 1.0)) (* (- (pow (sqrt 1.0) 3) (pow x 3)) (+ 1.0 (neg (pow x 2)))) (* (+ (* x (+ x (sqrt 1.0))) 1.0) (- (sqrt 1.0) x)) (* (+ 1.0 (neg (pow x 2))) (+ 1.0 (neg (pow x 2)))) (+ 1.0 (neg (pow x 2))) (* (sqrt (+ (sqrt 1.0) x)) (sqrt (- (sqrt 1.0) x))) (* (sqrt (+ (sqrt 1.0) x)) (sqrt (- (sqrt 1.0) x))) (+ 1.0 (* (sqrt 1.0) x)) (* (neg x) (+ (sqrt 1.0) x)) (+ 1.0 (* (sqrt 1.0) x)) (* (neg x) (+ (sqrt 1.0) x)) (+ 1.0 (* (sqrt 1.0) x)) (* (neg x) (+ (sqrt 1.0) x)) (+ 1.0 (* (sqrt 1.0) x)) (* (neg x) (+ (sqrt 1.0) x)) (* (+ (sqrt 1.0) x) (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x)))) (* (+ (sqrt 1.0) x) (sqrt (- (sqrt 1.0) x))) (+ (sqrt 1.0) x) (* (+ (sqrt 1.0) x) (+ (sqrt (sqrt 1.0)) (sqrt x))) (* (+ (sqrt 1.0) x) (+ (sqrt (sqrt 1.0)) (sqrt x))) (+ (sqrt 1.0) x) (* (cbrt (+ (sqrt 1.0) x)) (- (sqrt 1.0) x)) (* (sqrt (+ (sqrt 1.0) x)) (- (sqrt 1.0) x)) (+ 1.0 (neg (pow x 2))) (+ 1.0 (neg (pow x 2))) (* (+ (sqrt 1.0) x) (- (pow (sqrt 1.0) 3) (pow x 3))) (* (+ 1.0 (neg (pow x 2))) (+ (sqrt 1.0) x)) (* (+ (pow (sqrt 1.0) 3) (pow x 3)) (- (sqrt 1.0) x)) (* (- (sqrt 1.0) x) (+ 1.0 (neg (pow x 2)))) (log (sqrt (* (- (sqrt 1.0) x) (+ (sqrt 1.0) x)))) (exp (sqrt (* (- (sqrt 1.0) x) (+ (sqrt 1.0) x)))) (* (cbrt (sqrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x)))) (cbrt (sqrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x))))) (cbrt (sqrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x)))) (pow (sqrt (* (- (sqrt 1.0) x) (+ (sqrt 1.0) x))) 3) (sqrt (+ (sqrt 1.0) x)) (sqrt (- (sqrt 1.0) x)) (sqrt (* (+ (pow (sqrt 1.0) 3) (pow x 3)) (- (pow (sqrt 1.0) 3) (pow x 3)))) (sqrt (* (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* x x) (* (sqrt 1.0) x))) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* x x) (* (sqrt 1.0) x))))) (sqrt (* (+ (pow (sqrt 1.0) 3) (pow x 3)) (- (* (sqrt 1.0) (sqrt 1.0)) (* x x)))) (sqrt (* (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* x x) (* (sqrt 1.0) x))) (+ (sqrt 1.0) x))) (sqrt (* (- (* (sqrt 1.0) (sqrt 1.0)) (* x x)) (- (pow (sqrt 1.0) 3) (pow x 3)))) (sqrt (* (- (sqrt 1.0) x) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* x x) (* (sqrt 1.0) x))))) (fabs (+ 1.0 (neg (pow x 2)))) (sqrt (* (- (sqrt 1.0) x) (+ (sqrt 1.0) x))) (sqrt (* (+ (sqrt 1.0) x) (- (pow (sqrt 1.0) 3) (pow x 3)))) (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* x x) (* (sqrt 1.0) x)))) (sqrt (* (+ (sqrt 1.0) x) (- (* (sqrt 1.0) (sqrt 1.0)) (* x x)))) (sqrt (+ (sqrt 1.0) x)) (sqrt (* (+ (pow (sqrt 1.0) 3) (pow x 3)) (- (sqrt 1.0) x))) (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* x x) (* (sqrt 1.0) x)))) (sqrt (* (- (* (sqrt 1.0) (sqrt 1.0)) (* x x)) (- (sqrt 1.0) x))) (sqrt (- (sqrt 1.0) x)) 1/2 1/2 (sqrt (sqrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x)))) (sqrt (sqrt (* (+ (sqrt 1.0) x) (- (sqrt 1.0) x)))) (+ 1.0 (neg (pow x 2))) (+ 1.0 (neg (pow x 2))) (+ 1.0 (neg (pow x 2))) (- (sqrt 1.0) (+ (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3))) (* 1/2 (/ (pow x 2) (sqrt 1.0))))) (+ (* x (sqrt -1)) (+ (/ (* 1/2 1.0) (* x (sqrt -1))) (* -1/8 (* (/ 1.0 (pow (sqrt -1) 3)) (/ 1.0 (pow x 3)))))) (- (- (* 1/8 (/ (pow (sqrt 1.0) 4) (* (pow x 3) (pow (sqrt -1) 3)))) (* x (sqrt -1))) (/ (* 1/2 1.0) (* x (sqrt -1)))) 0.737 * * * [progress]: adding candidates to table 0.848 * [progress]: [Phase 3 of 3] Extracting. 0.848 * * [regime]: Finding splitpoints for: (# #) 0.848 * * * [regime-changes]: Trying 2 branch expressions: ((* x x) x) 0.848 * * * * [regimes]: Trying to branch on (* x x) from (# #) 0.870 * * * * [regimes]: Trying to branch on x from (# #) 0.893 * * * [regime]: Found split indices: #