18.020 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.024 * * * [progress]: [2/2] Setting up program. 0.027 * [progress]: [Phase 2 of 3] Improving. 0.028 * [simplify]: Simplifying using # : (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0))) 0.028 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 0.030 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 0.033 * * [simplify]: iteration 2 : 57 enodes (cost 15 ) 0.043 * * [simplify]: iteration 3 : 138 enodes (cost 15 ) 0.066 * * [simplify]: iteration 4 : 290 enodes (cost 15 ) 0.119 * * [simplify]: iteration 5 : 584 enodes (cost 15 ) 0.252 * * [simplify]: iteration 6 : 1431 enodes (cost 15 ) 0.743 * * [simplify]: iteration 7 : 4727 enodes (cost 15 ) 2.308 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 2.308 * [simplify]: Simplified to: (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0))) 2.308 * * [progress]: iteration 1 / 4 2.308 * * * [progress]: picking best candidate 2.311 * * * * [pick]: Picked # 2.311 * * * [progress]: localizing error 2.320 * * * [progress]: generating rewritten candidates 2.320 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.334 * * * [progress]: generating series expansions 2.334 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.335 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (pow y 2)) (* 9.0 (pow x 4))) (pow y 4)) in (x y) around 0 2.335 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (pow y 2)) (* 9.0 (pow x 4))) (pow y 4)) in y 2.335 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow y 2)) (* 9.0 (pow x 4))) in y 2.335 * [taylor]: Taking taylor expansion of (* 2.0 (pow y 2)) in y 2.335 * [taylor]: Taking taylor expansion of 2.0 in y 2.335 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.335 * [taylor]: Taking taylor expansion of y in y 2.335 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in y 2.335 * [taylor]: Taking taylor expansion of 9.0 in y 2.335 * [taylor]: Taking taylor expansion of (pow x 4) in y 2.335 * [taylor]: Taking taylor expansion of x in y 2.335 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.335 * [taylor]: Taking taylor expansion of y in y 2.335 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (pow y 2)) (* 9.0 (pow x 4))) (pow y 4)) in x 2.335 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow y 2)) (* 9.0 (pow x 4))) in x 2.335 * [taylor]: Taking taylor expansion of (* 2.0 (pow y 2)) in x 2.335 * [taylor]: Taking taylor expansion of 2.0 in x 2.335 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.335 * [taylor]: Taking taylor expansion of y in x 2.335 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in x 2.335 * [taylor]: Taking taylor expansion of 9.0 in x 2.335 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.335 * [taylor]: Taking taylor expansion of x in x 2.335 * [taylor]: Taking taylor expansion of (pow y 4) in x 2.335 * [taylor]: Taking taylor expansion of y in x 2.335 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (pow y 2)) (* 9.0 (pow x 4))) (pow y 4)) in x 2.335 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow y 2)) (* 9.0 (pow x 4))) in x 2.335 * [taylor]: Taking taylor expansion of (* 2.0 (pow y 2)) in x 2.335 * [taylor]: Taking taylor expansion of 2.0 in x 2.335 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.335 * [taylor]: Taking taylor expansion of y in x 2.335 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in x 2.335 * [taylor]: Taking taylor expansion of 9.0 in x 2.335 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.335 * [taylor]: Taking taylor expansion of x in x 2.335 * [taylor]: Taking taylor expansion of (pow y 4) in x 2.335 * [taylor]: Taking taylor expansion of y in x 2.336 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow y 2)) (pow y 4)) in y 2.336 * [taylor]: Taking taylor expansion of (* 2.0 (pow y 2)) in y 2.336 * [taylor]: Taking taylor expansion of 2.0 in y 2.336 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.336 * [taylor]: Taking taylor expansion of y in y 2.336 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.336 * [taylor]: Taking taylor expansion of y in y 2.336 * [taylor]: Taking taylor expansion of 0 in y 2.337 * [taylor]: Taking taylor expansion of 0 in y 2.337 * [taylor]: Taking taylor expansion of 0 in y 2.338 * [taylor]: Taking taylor expansion of 9.0 in y 2.338 * [approximate]: Taking taylor expansion of (- (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in (x y) around 0 2.339 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in y 2.339 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) in y 2.339 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 2.339 * [taylor]: Taking taylor expansion of 9.0 in y 2.339 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 2.339 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 2.339 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 2.339 * [taylor]: Taking taylor expansion of 1.0 in y 2.339 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 2.339 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 2.339 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 2.339 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 2.339 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 2.339 * [taylor]: Taking taylor expansion of 4.0 in y 2.339 * [taylor]: Taking taylor expansion of (log x) in y 2.339 * [taylor]: Taking taylor expansion of x in y 2.340 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y 2.340 * [taylor]: Taking taylor expansion of 2.0 in y 2.340 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.340 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.340 * [taylor]: Taking taylor expansion of y in y 2.340 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 2.340 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.340 * [taylor]: Taking taylor expansion of y in y 2.340 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in x 2.340 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) in x 2.340 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 2.340 * [taylor]: Taking taylor expansion of 9.0 in x 2.340 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 2.340 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 2.340 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 2.340 * [taylor]: Taking taylor expansion of 1.0 in x 2.340 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 2.340 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 2.340 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 2.340 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 2.340 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 2.340 * [taylor]: Taking taylor expansion of 4.0 in x 2.340 * [taylor]: Taking taylor expansion of (log x) in x 2.340 * [taylor]: Taking taylor expansion of x in x 2.341 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in x 2.341 * [taylor]: Taking taylor expansion of 2.0 in x 2.341 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.341 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.341 * [taylor]: Taking taylor expansion of y in x 2.341 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 2.341 * [taylor]: Taking taylor expansion of (pow y 4) in x 2.341 * [taylor]: Taking taylor expansion of y in x 2.341 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in x 2.341 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) in x 2.341 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 2.341 * [taylor]: Taking taylor expansion of 9.0 in x 2.341 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 2.341 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 2.341 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 2.341 * [taylor]: Taking taylor expansion of 1.0 in x 2.341 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 2.341 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 2.341 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 2.341 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 2.341 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 2.341 * [taylor]: Taking taylor expansion of 4.0 in x 2.341 * [taylor]: Taking taylor expansion of (log x) in x 2.341 * [taylor]: Taking taylor expansion of x in x 2.342 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in x 2.342 * [taylor]: Taking taylor expansion of 2.0 in x 2.342 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.342 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.342 * [taylor]: Taking taylor expansion of y in x 2.342 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 2.342 * [taylor]: Taking taylor expansion of (pow y 4) in x 2.342 * [taylor]: Taking taylor expansion of y in x 2.343 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (pow y 2))) (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0))) (/ 1 (pow y 4))) in y 2.343 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow y 2))) (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0))) in y 2.343 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y 2.343 * [taylor]: Taking taylor expansion of 2.0 in y 2.343 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.343 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.343 * [taylor]: Taking taylor expansion of y in y 2.343 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0)) in y 2.343 * [taylor]: Taking taylor expansion of 9.0 in y 2.343 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0) in y 2.343 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))))) in y 2.343 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)))) in y 2.343 * [taylor]: Taking taylor expansion of 1.0 in y 2.343 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))) in y 2.343 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) in y 2.343 * [taylor]: Taking taylor expansion of (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0) in y 2.343 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x))))))) in y 2.343 * [taylor]: Taking taylor expansion of (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x)))))) in y 2.343 * [taylor]: Taking taylor expansion of 1.0 in y 2.344 * [taylor]: Taking taylor expansion of (log (exp (* 4.0 (+ (log 1) (log x))))) in y 2.344 * [taylor]: Taking taylor expansion of (exp (* 4.0 (+ (log 1) (log x)))) in y 2.344 * [taylor]: Taking taylor expansion of (* 4.0 (+ (log 1) (log x))) in y 2.344 * [taylor]: Taking taylor expansion of 4.0 in y 2.344 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in y 2.344 * [taylor]: Taking taylor expansion of (log 1) in y 2.344 * [taylor]: Taking taylor expansion of 1 in y 2.344 * [taylor]: Taking taylor expansion of (log x) in y 2.344 * [taylor]: Taking taylor expansion of x in y 2.344 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 2.344 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.344 * [taylor]: Taking taylor expansion of y in y 2.346 * [taylor]: Taking taylor expansion of 0 in y 2.349 * [taylor]: Taking taylor expansion of 0 in y 2.352 * [taylor]: Taking taylor expansion of 0 in y 2.356 * [taylor]: Taking taylor expansion of 0 in y 2.358 * [approximate]: Taking taylor expansion of (- (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in (x y) around 0 2.358 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in y 2.358 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) in y 2.358 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 2.358 * [taylor]: Taking taylor expansion of 9.0 in y 2.358 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 2.358 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 2.358 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 2.358 * [taylor]: Taking taylor expansion of 1.0 in y 2.358 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 2.358 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 2.358 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 2.358 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 2.358 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 2.358 * [taylor]: Taking taylor expansion of 4.0 in y 2.358 * [taylor]: Taking taylor expansion of (log x) in y 2.358 * [taylor]: Taking taylor expansion of x in y 2.359 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y 2.359 * [taylor]: Taking taylor expansion of 2.0 in y 2.359 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.359 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.359 * [taylor]: Taking taylor expansion of y in y 2.359 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 2.359 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.359 * [taylor]: Taking taylor expansion of y in y 2.359 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in x 2.359 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) in x 2.359 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 2.359 * [taylor]: Taking taylor expansion of 9.0 in x 2.359 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 2.359 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 2.359 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 2.359 * [taylor]: Taking taylor expansion of 1.0 in x 2.359 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 2.359 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 2.359 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 2.359 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 2.359 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 2.359 * [taylor]: Taking taylor expansion of 4.0 in x 2.360 * [taylor]: Taking taylor expansion of (log x) in x 2.360 * [taylor]: Taking taylor expansion of x in x 2.360 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in x 2.360 * [taylor]: Taking taylor expansion of 2.0 in x 2.360 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.360 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.360 * [taylor]: Taking taylor expansion of y in x 2.360 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 2.360 * [taylor]: Taking taylor expansion of (pow y 4) in x 2.360 * [taylor]: Taking taylor expansion of y in x 2.360 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in x 2.360 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) in x 2.360 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 2.360 * [taylor]: Taking taylor expansion of 9.0 in x 2.360 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 2.361 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 2.361 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 2.361 * [taylor]: Taking taylor expansion of 1.0 in x 2.361 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 2.361 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 2.361 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 2.361 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 2.361 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 2.361 * [taylor]: Taking taylor expansion of 4.0 in x 2.361 * [taylor]: Taking taylor expansion of (log x) in x 2.361 * [taylor]: Taking taylor expansion of x in x 2.361 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in x 2.361 * [taylor]: Taking taylor expansion of 2.0 in x 2.361 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.361 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.361 * [taylor]: Taking taylor expansion of y in x 2.361 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 2.361 * [taylor]: Taking taylor expansion of (pow y 4) in x 2.361 * [taylor]: Taking taylor expansion of y in x 2.362 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (pow y 2))) (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0))) (/ 1 (pow y 4))) in y 2.363 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow y 2))) (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0))) in y 2.363 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y 2.363 * [taylor]: Taking taylor expansion of 2.0 in y 2.363 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.363 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.363 * [taylor]: Taking taylor expansion of y in y 2.363 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0)) in y 2.363 * [taylor]: Taking taylor expansion of 9.0 in y 2.363 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0) in y 2.363 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))))) in y 2.363 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)))) in y 2.363 * [taylor]: Taking taylor expansion of 1.0 in y 2.363 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))) in y 2.363 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) in y 2.363 * [taylor]: Taking taylor expansion of (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0) in y 2.363 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x))))))) in y 2.363 * [taylor]: Taking taylor expansion of (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x)))))) in y 2.363 * [taylor]: Taking taylor expansion of 1.0 in y 2.363 * [taylor]: Taking taylor expansion of (log (exp (* 4.0 (+ (log 1) (log x))))) in y 2.363 * [taylor]: Taking taylor expansion of (exp (* 4.0 (+ (log 1) (log x)))) in y 2.363 * [taylor]: Taking taylor expansion of (* 4.0 (+ (log 1) (log x))) in y 2.363 * [taylor]: Taking taylor expansion of 4.0 in y 2.363 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in y 2.363 * [taylor]: Taking taylor expansion of (log 1) in y 2.363 * [taylor]: Taking taylor expansion of 1 in y 2.363 * [taylor]: Taking taylor expansion of (log x) in y 2.363 * [taylor]: Taking taylor expansion of x in y 2.364 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 2.364 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.364 * [taylor]: Taking taylor expansion of y in y 2.365 * [taylor]: Taking taylor expansion of 0 in y 2.368 * [taylor]: Taking taylor expansion of 0 in y 2.371 * [taylor]: Taking taylor expansion of 0 in y 2.375 * [taylor]: Taking taylor expansion of 0 in y 2.376 * * * [progress]: simplifying candidates 2.377 * [simplify]: Simplifying using # : (/ (exp (* 9.0 (pow x 4.0))) (exp (* (* y y) (- (* y y) 2.0)))) (log (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (exp (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (* (cbrt (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (cbrt (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0))))) (cbrt (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (* (* (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0))) (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (sqrt (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (sqrt (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (- (pow (* 9.0 (pow x 4.0)) 3) (pow (* (* y y) (- (* y y) 2.0)) 3)) (+ (* (* 9.0 (pow x 4.0)) (* 9.0 (pow x 4.0))) (+ (* (* (* y y) (- (* y y) 2.0)) (* (* y y) (- (* y y) 2.0))) (* (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0))))) (neg (* (* y y) (- (* y y) 2.0))) (- (* (* 9.0 (pow x 4.0)) (* 9.0 (pow x 4.0))) (* (* (* y y) (- (* y y) 2.0)) (* (* y y) (- (* y y) 2.0)))) (+ (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0))) (- (* 9.0 (pow x 4.0)) (* (* y y) (* y y))) (- (* 9.0 (pow x 4.0)) (* (* y y) (* y y))) (- (* 9.0 (pow x 4.0)) (* (* y y) (* y y))) (- (* 9.0 (pow x 4.0)) (* (* y y) (* y y))) (neg (* (* y y) (- (* y y) 2.0))) (- (+ (* 9.0 (pow x 4)) (* 2.0 (pow y 2))) (pow y 4)) (- (+ (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log (/ 1 x)) (log 1)))) 1.0)) 1.0)) (* 2.0 (pow y 2))) (pow y 4)) (- (+ (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log (/ -1 x))))) 1.0)) 1.0)) (* 2.0 (pow y 2))) (pow y 4)) 2.380 * * [simplify]: iteration 0 : 70 enodes (cost 432 ) 2.391 * * [simplify]: iteration 1 : 196 enodes (cost 418 ) 2.433 * * [simplify]: iteration 2 : 637 enodes (cost 360 ) 2.605 * * [simplify]: iteration 3 : 2444 enodes (cost 355 ) 3.187 * * [simplify]: iteration done : 5000 enodes (cost 355 ) 3.187 * [simplify]: Simplified to: (exp (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (log (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (exp (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (* (cbrt (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (cbrt (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0))))) (cbrt (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (pow (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0))) 3) (sqrt (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (sqrt (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (- (pow (* 9.0 (pow x 4.0)) 3) (pow (* (* y y) (- (* y y) 2.0)) 3)) (+ (* 9.0 (* 9.0 (pow x (* 2 4.0)))) (* (* (* y y) (- (* y y) 2.0)) (+ (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0))))) (- (* 2.0 (pow y 2)) (pow y 4)) (- (* 9.0 (* 9.0 (pow x (* 2 4.0)))) (* (- (* y y) 2.0) (* (- (* y y) 2.0) (pow y 4)))) (+ (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0))) (- (* 9.0 (pow x 4.0)) (pow y 4)) (- (* 9.0 (pow x 4.0)) (pow y 4)) (- (* 9.0 (pow x 4.0)) (pow y 4)) (- (* 9.0 (pow x 4.0)) (pow y 4)) (- (* 2.0 (pow y 2)) (pow y 4)) (- (+ (* 9.0 (pow x 4)) (* 2.0 (pow y 2))) (pow y 4)) (+ (* (pow (/ 1 (pow (pow (/ 1 x) 4.0) 1.0)) 1.0) 9.0) (- (* 2.0 (pow y 2)) (pow y 4))) (- (* 2.0 (pow y 2)) (- (pow y 4) (* 9.0 (pow (/ 1 (pow (pow (/ -1 x) 4.0) 1.0)) 1.0)))) 3.188 * * * [progress]: adding candidates to table 3.225 * * [progress]: iteration 2 / 4 3.225 * * * [progress]: picking best candidate 3.228 * * * * [pick]: Picked # 3.228 * * * [progress]: localizing error 3.240 * * * [progress]: generating rewritten candidates 3.240 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 3.246 * * * [progress]: generating series expansions 3.246 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 3.246 * [approximate]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in (x y) around 0 3.246 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in y 3.246 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in y 3.246 * [taylor]: Taking taylor expansion of 9.0 in y 3.246 * [taylor]: Taking taylor expansion of (pow x 4) in y 3.246 * [taylor]: Taking taylor expansion of x in y 3.246 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.246 * [taylor]: Taking taylor expansion of y in y 3.246 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in x 3.246 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in x 3.246 * [taylor]: Taking taylor expansion of 9.0 in x 3.246 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.246 * [taylor]: Taking taylor expansion of x in x 3.246 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.246 * [taylor]: Taking taylor expansion of y in x 3.246 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in x 3.246 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in x 3.246 * [taylor]: Taking taylor expansion of 9.0 in x 3.246 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.246 * [taylor]: Taking taylor expansion of x in x 3.246 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.246 * [taylor]: Taking taylor expansion of y in x 3.247 * [taylor]: Taking taylor expansion of (neg (pow y 4)) in y 3.247 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.247 * [taylor]: Taking taylor expansion of y in y 3.247 * [taylor]: Taking taylor expansion of 0 in y 3.247 * [taylor]: Taking taylor expansion of 0 in y 3.247 * [taylor]: Taking taylor expansion of 0 in y 3.248 * [approximate]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in (x y) around 0 3.248 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in y 3.248 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 3.248 * [taylor]: Taking taylor expansion of 9.0 in y 3.248 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 3.248 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 3.248 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 3.248 * [taylor]: Taking taylor expansion of 1.0 in y 3.248 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 3.248 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 3.248 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 3.248 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 3.248 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 3.248 * [taylor]: Taking taylor expansion of 4.0 in y 3.248 * [taylor]: Taking taylor expansion of (log x) in y 3.248 * [taylor]: Taking taylor expansion of x in y 3.249 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.249 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.249 * [taylor]: Taking taylor expansion of y in y 3.249 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 3.249 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 3.249 * [taylor]: Taking taylor expansion of 9.0 in x 3.249 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 3.249 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 3.249 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 3.249 * [taylor]: Taking taylor expansion of 1.0 in x 3.249 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 3.249 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 3.249 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 3.249 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 3.249 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 3.249 * [taylor]: Taking taylor expansion of 4.0 in x 3.249 * [taylor]: Taking taylor expansion of (log x) in x 3.249 * [taylor]: Taking taylor expansion of x in x 3.249 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 3.249 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.249 * [taylor]: Taking taylor expansion of y in x 3.250 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 3.250 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 3.250 * [taylor]: Taking taylor expansion of 9.0 in x 3.250 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 3.250 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 3.250 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 3.250 * [taylor]: Taking taylor expansion of 1.0 in x 3.250 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 3.250 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 3.250 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 3.250 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 3.250 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 3.250 * [taylor]: Taking taylor expansion of 4.0 in x 3.250 * [taylor]: Taking taylor expansion of (log x) in x 3.250 * [taylor]: Taking taylor expansion of x in x 3.250 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 3.250 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.250 * [taylor]: Taking taylor expansion of y in x 3.251 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0)) (/ 1 (pow y 4))) in y 3.251 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0)) in y 3.251 * [taylor]: Taking taylor expansion of 9.0 in y 3.251 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0) in y 3.251 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))))) in y 3.251 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)))) in y 3.251 * [taylor]: Taking taylor expansion of 1.0 in y 3.251 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))) in y 3.251 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) in y 3.251 * [taylor]: Taking taylor expansion of (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0) in y 3.251 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x))))))) in y 3.251 * [taylor]: Taking taylor expansion of (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x)))))) in y 3.251 * [taylor]: Taking taylor expansion of 1.0 in y 3.251 * [taylor]: Taking taylor expansion of (log (exp (* 4.0 (+ (log 1) (log x))))) in y 3.251 * [taylor]: Taking taylor expansion of (exp (* 4.0 (+ (log 1) (log x)))) in y 3.251 * [taylor]: Taking taylor expansion of (* 4.0 (+ (log 1) (log x))) in y 3.251 * [taylor]: Taking taylor expansion of 4.0 in y 3.251 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in y 3.251 * [taylor]: Taking taylor expansion of (log 1) in y 3.251 * [taylor]: Taking taylor expansion of 1 in y 3.251 * [taylor]: Taking taylor expansion of (log x) in y 3.252 * [taylor]: Taking taylor expansion of x in y 3.252 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.252 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.252 * [taylor]: Taking taylor expansion of y in y 3.254 * [taylor]: Taking taylor expansion of 0 in y 3.255 * [taylor]: Taking taylor expansion of 0 in y 3.258 * [taylor]: Taking taylor expansion of 0 in y 3.262 * [taylor]: Taking taylor expansion of 0 in y 3.268 * [taylor]: Taking taylor expansion of 0 in y 3.277 * [taylor]: Taking taylor expansion of 0 in y 3.289 * [taylor]: Taking taylor expansion of 0 in y 3.289 * [approximate]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in (x y) around 0 3.289 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in y 3.289 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 3.289 * [taylor]: Taking taylor expansion of 9.0 in y 3.290 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 3.290 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 3.290 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 3.290 * [taylor]: Taking taylor expansion of 1.0 in y 3.290 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 3.290 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 3.290 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 3.290 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 3.290 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 3.290 * [taylor]: Taking taylor expansion of 4.0 in y 3.290 * [taylor]: Taking taylor expansion of (log x) in y 3.290 * [taylor]: Taking taylor expansion of x in y 3.290 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.290 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.290 * [taylor]: Taking taylor expansion of y in y 3.290 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 3.290 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 3.290 * [taylor]: Taking taylor expansion of 9.0 in x 3.290 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 3.290 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 3.291 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 3.291 * [taylor]: Taking taylor expansion of 1.0 in x 3.291 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 3.291 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 3.291 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 3.291 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 3.291 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 3.291 * [taylor]: Taking taylor expansion of 4.0 in x 3.291 * [taylor]: Taking taylor expansion of (log x) in x 3.291 * [taylor]: Taking taylor expansion of x in x 3.291 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 3.291 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.291 * [taylor]: Taking taylor expansion of y in x 3.291 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 3.291 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 3.291 * [taylor]: Taking taylor expansion of 9.0 in x 3.291 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 3.291 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 3.291 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 3.291 * [taylor]: Taking taylor expansion of 1.0 in x 3.291 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 3.292 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 3.292 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 3.292 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 3.292 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 3.292 * [taylor]: Taking taylor expansion of 4.0 in x 3.292 * [taylor]: Taking taylor expansion of (log x) in x 3.292 * [taylor]: Taking taylor expansion of x in x 3.292 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 3.292 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.292 * [taylor]: Taking taylor expansion of y in x 3.293 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0)) (/ 1 (pow y 4))) in y 3.293 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0)) in y 3.293 * [taylor]: Taking taylor expansion of 9.0 in y 3.293 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0) in y 3.293 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))))) in y 3.293 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)))) in y 3.293 * [taylor]: Taking taylor expansion of 1.0 in y 3.293 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))) in y 3.293 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) in y 3.293 * [taylor]: Taking taylor expansion of (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0) in y 3.293 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x))))))) in y 3.293 * [taylor]: Taking taylor expansion of (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x)))))) in y 3.293 * [taylor]: Taking taylor expansion of 1.0 in y 3.293 * [taylor]: Taking taylor expansion of (log (exp (* 4.0 (+ (log 1) (log x))))) in y 3.293 * [taylor]: Taking taylor expansion of (exp (* 4.0 (+ (log 1) (log x)))) in y 3.293 * [taylor]: Taking taylor expansion of (* 4.0 (+ (log 1) (log x))) in y 3.293 * [taylor]: Taking taylor expansion of 4.0 in y 3.293 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in y 3.293 * [taylor]: Taking taylor expansion of (log 1) in y 3.293 * [taylor]: Taking taylor expansion of 1 in y 3.293 * [taylor]: Taking taylor expansion of (log x) in y 3.293 * [taylor]: Taking taylor expansion of x in y 3.294 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.294 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.294 * [taylor]: Taking taylor expansion of y in y 3.295 * [taylor]: Taking taylor expansion of 0 in y 3.297 * [taylor]: Taking taylor expansion of 0 in y 3.300 * [taylor]: Taking taylor expansion of 0 in y 3.303 * [taylor]: Taking taylor expansion of 0 in y 3.309 * [taylor]: Taking taylor expansion of 0 in y 3.321 * [taylor]: Taking taylor expansion of 0 in y 3.333 * [taylor]: Taking taylor expansion of 0 in y 3.334 * * * [progress]: simplifying candidates 3.334 * [simplify]: Simplifying using # : (/ (exp (* 9.0 (pow x 4.0))) (exp (pow y 4))) (log (- (* 9.0 (pow x 4.0)) (pow y 4))) (exp (- (* 9.0 (pow x 4.0)) (pow y 4))) (* (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4)))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (* (* (- (* 9.0 (pow x 4.0)) (pow y 4)) (- (* 9.0 (pow x 4.0)) (pow y 4))) (- (* 9.0 (pow x 4.0)) (pow y 4))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (- (pow (* 9.0 (pow x 4.0)) 3) (pow (pow y 4) 3)) (+ (* (* 9.0 (pow x 4.0)) (* 9.0 (pow x 4.0))) (+ (* (pow y 4) (pow y 4)) (* (* 9.0 (pow x 4.0)) (pow y 4)))) (neg (pow y 4)) (- (* (* 9.0 (pow x 4.0)) (* 9.0 (pow x 4.0))) (* (pow y 4) (pow y 4))) (+ (* 9.0 (pow x 4.0)) (pow y 4)) (neg (pow y 4)) 0 (- (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log (/ 1 x)) (log 1)))) 1.0)) 1.0)) (pow y 4)) (- (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log (/ -1 x))))) 1.0)) 1.0)) (pow y 4)) 3.336 * * [simplify]: iteration 0 : 56 enodes (cost 234 ) 3.345 * * [simplify]: iteration 1 : 141 enodes (cost 222 ) 3.368 * * [simplify]: iteration 2 : 380 enodes (cost 196 ) 3.455 * * [simplify]: iteration 3 : 1220 enodes (cost 189 ) 4.052 * * [simplify]: iteration 4 : 4537 enodes (cost 188 ) 5.039 * * [simplify]: iteration done : 5000 enodes (cost 188 ) 5.039 * [simplify]: Simplified to: (exp (- (* 9.0 (pow x 4.0)) (pow y 4))) (log (- (* 9.0 (pow x 4.0)) (pow y 4))) (exp (- (* 9.0 (pow x 4.0)) (pow y 4))) (* (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4)))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (- (pow (* 9.0 (pow x 4.0)) 3) (pow (pow y 4) 3)) (+ (pow y 8) (* (* 9.0 (pow x 4.0)) (+ (* 9.0 (pow x 4.0)) (pow y 4)))) (neg (pow y 4)) (- (* 9.0 (* (pow x (* 2 4.0)) 9.0)) (pow y 8)) (+ (* 9.0 (pow x 4.0)) (pow y 4)) (neg (pow y 4)) 0 (- (* 9.0 (pow (/ 1 (pow (pow x (neg 4.0)) 1.0)) 1.0)) (pow y 4)) (- (* (pow (/ 1 (pow (pow (/ -1 x) 4.0) 1.0)) 1.0) 9.0) (pow y 4)) 5.040 * * * [progress]: adding candidates to table 5.082 * * [progress]: iteration 3 / 4 5.082 * * * [progress]: picking best candidate 5.086 * * * * [pick]: Picked # 5.086 * * * [progress]: localizing error 5.101 * * * [progress]: generating rewritten candidates 5.101 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 1) 5.107 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 5.115 * * * [progress]: generating series expansions 5.115 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 1) 5.116 * [approximate]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in (x y) around 0 5.116 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in y 5.116 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in y 5.116 * [taylor]: Taking taylor expansion of 9.0 in y 5.116 * [taylor]: Taking taylor expansion of (pow x 4) in y 5.116 * [taylor]: Taking taylor expansion of x in y 5.116 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.116 * [taylor]: Taking taylor expansion of y in y 5.116 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in x 5.116 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in x 5.116 * [taylor]: Taking taylor expansion of 9.0 in x 5.116 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.116 * [taylor]: Taking taylor expansion of x in x 5.116 * [taylor]: Taking taylor expansion of (pow y 4) in x 5.116 * [taylor]: Taking taylor expansion of y in x 5.116 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in x 5.116 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in x 5.116 * [taylor]: Taking taylor expansion of 9.0 in x 5.116 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.116 * [taylor]: Taking taylor expansion of x in x 5.116 * [taylor]: Taking taylor expansion of (pow y 4) in x 5.116 * [taylor]: Taking taylor expansion of y in x 5.116 * [taylor]: Taking taylor expansion of (neg (pow y 4)) in y 5.116 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.116 * [taylor]: Taking taylor expansion of y in y 5.117 * [taylor]: Taking taylor expansion of 0 in y 5.117 * [taylor]: Taking taylor expansion of 0 in y 5.117 * [taylor]: Taking taylor expansion of 0 in y 5.117 * [approximate]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in (x y) around 0 5.117 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in y 5.117 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 5.118 * [taylor]: Taking taylor expansion of 9.0 in y 5.118 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 5.118 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 5.118 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 5.118 * [taylor]: Taking taylor expansion of 1.0 in y 5.118 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 5.118 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 5.118 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 5.118 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 5.118 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 5.118 * [taylor]: Taking taylor expansion of 4.0 in y 5.118 * [taylor]: Taking taylor expansion of (log x) in y 5.118 * [taylor]: Taking taylor expansion of x in y 5.118 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 5.118 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.118 * [taylor]: Taking taylor expansion of y in y 5.118 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 5.118 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 5.118 * [taylor]: Taking taylor expansion of 9.0 in x 5.118 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 5.118 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 5.118 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 5.119 * [taylor]: Taking taylor expansion of 1.0 in x 5.119 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 5.119 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 5.119 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 5.119 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 5.119 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 5.119 * [taylor]: Taking taylor expansion of 4.0 in x 5.119 * [taylor]: Taking taylor expansion of (log x) in x 5.119 * [taylor]: Taking taylor expansion of x in x 5.119 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 5.119 * [taylor]: Taking taylor expansion of (pow y 4) in x 5.119 * [taylor]: Taking taylor expansion of y in x 5.120 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 5.120 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 5.120 * [taylor]: Taking taylor expansion of 9.0 in x 5.120 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 5.120 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 5.120 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 5.120 * [taylor]: Taking taylor expansion of 1.0 in x 5.120 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 5.120 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 5.120 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 5.120 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 5.120 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 5.120 * [taylor]: Taking taylor expansion of 4.0 in x 5.120 * [taylor]: Taking taylor expansion of (log x) in x 5.120 * [taylor]: Taking taylor expansion of x in x 5.120 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 5.120 * [taylor]: Taking taylor expansion of (pow y 4) in x 5.120 * [taylor]: Taking taylor expansion of y in x 5.121 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0)) (/ 1 (pow y 4))) in y 5.121 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0)) in y 5.121 * [taylor]: Taking taylor expansion of 9.0 in y 5.121 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0) in y 5.121 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))))) in y 5.121 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)))) in y 5.121 * [taylor]: Taking taylor expansion of 1.0 in y 5.121 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))) in y 5.121 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) in y 5.121 * [taylor]: Taking taylor expansion of (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0) in y 5.121 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x))))))) in y 5.121 * [taylor]: Taking taylor expansion of (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x)))))) in y 5.121 * [taylor]: Taking taylor expansion of 1.0 in y 5.121 * [taylor]: Taking taylor expansion of (log (exp (* 4.0 (+ (log 1) (log x))))) in y 5.121 * [taylor]: Taking taylor expansion of (exp (* 4.0 (+ (log 1) (log x)))) in y 5.121 * [taylor]: Taking taylor expansion of (* 4.0 (+ (log 1) (log x))) in y 5.121 * [taylor]: Taking taylor expansion of 4.0 in y 5.121 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in y 5.121 * [taylor]: Taking taylor expansion of (log 1) in y 5.121 * [taylor]: Taking taylor expansion of 1 in y 5.121 * [taylor]: Taking taylor expansion of (log x) in y 5.121 * [taylor]: Taking taylor expansion of x in y 5.122 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 5.122 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.122 * [taylor]: Taking taylor expansion of y in y 5.123 * [taylor]: Taking taylor expansion of 0 in y 5.125 * [taylor]: Taking taylor expansion of 0 in y 5.128 * [taylor]: Taking taylor expansion of 0 in y 5.132 * [taylor]: Taking taylor expansion of 0 in y 5.140 * [taylor]: Taking taylor expansion of 0 in y 5.149 * [taylor]: Taking taylor expansion of 0 in y 5.161 * [taylor]: Taking taylor expansion of 0 in y 5.161 * [approximate]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in (x y) around 0 5.162 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in y 5.162 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 5.162 * [taylor]: Taking taylor expansion of 9.0 in y 5.162 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 5.162 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 5.162 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 5.162 * [taylor]: Taking taylor expansion of 1.0 in y 5.162 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 5.162 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 5.162 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 5.162 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 5.162 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 5.162 * [taylor]: Taking taylor expansion of 4.0 in y 5.162 * [taylor]: Taking taylor expansion of (log x) in y 5.162 * [taylor]: Taking taylor expansion of x in y 5.162 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 5.162 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.162 * [taylor]: Taking taylor expansion of y in y 5.162 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 5.163 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 5.163 * [taylor]: Taking taylor expansion of 9.0 in x 5.163 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 5.163 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 5.163 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 5.163 * [taylor]: Taking taylor expansion of 1.0 in x 5.163 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 5.163 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 5.163 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 5.163 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 5.163 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 5.163 * [taylor]: Taking taylor expansion of 4.0 in x 5.163 * [taylor]: Taking taylor expansion of (log x) in x 5.163 * [taylor]: Taking taylor expansion of x in x 5.163 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 5.163 * [taylor]: Taking taylor expansion of (pow y 4) in x 5.163 * [taylor]: Taking taylor expansion of y in x 5.164 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 5.164 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 5.164 * [taylor]: Taking taylor expansion of 9.0 in x 5.164 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 5.164 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 5.164 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 5.164 * [taylor]: Taking taylor expansion of 1.0 in x 5.164 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 5.164 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 5.164 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 5.164 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 5.164 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 5.164 * [taylor]: Taking taylor expansion of 4.0 in x 5.164 * [taylor]: Taking taylor expansion of (log x) in x 5.164 * [taylor]: Taking taylor expansion of x in x 5.164 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 5.164 * [taylor]: Taking taylor expansion of (pow y 4) in x 5.164 * [taylor]: Taking taylor expansion of y in x 5.165 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0)) (/ 1 (pow y 4))) in y 5.165 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0)) in y 5.165 * [taylor]: Taking taylor expansion of 9.0 in y 5.165 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0) in y 5.165 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))))) in y 5.165 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)))) in y 5.165 * [taylor]: Taking taylor expansion of 1.0 in y 5.165 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))) in y 5.165 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) in y 5.165 * [taylor]: Taking taylor expansion of (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0) in y 5.165 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x))))))) in y 5.165 * [taylor]: Taking taylor expansion of (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x)))))) in y 5.165 * [taylor]: Taking taylor expansion of 1.0 in y 5.165 * [taylor]: Taking taylor expansion of (log (exp (* 4.0 (+ (log 1) (log x))))) in y 5.165 * [taylor]: Taking taylor expansion of (exp (* 4.0 (+ (log 1) (log x)))) in y 5.165 * [taylor]: Taking taylor expansion of (* 4.0 (+ (log 1) (log x))) in y 5.165 * [taylor]: Taking taylor expansion of 4.0 in y 5.165 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in y 5.165 * [taylor]: Taking taylor expansion of (log 1) in y 5.165 * [taylor]: Taking taylor expansion of 1 in y 5.165 * [taylor]: Taking taylor expansion of (log x) in y 5.165 * [taylor]: Taking taylor expansion of x in y 5.166 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 5.166 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.166 * [taylor]: Taking taylor expansion of y in y 5.167 * [taylor]: Taking taylor expansion of 0 in y 5.169 * [taylor]: Taking taylor expansion of 0 in y 5.172 * [taylor]: Taking taylor expansion of 0 in y 5.176 * [taylor]: Taking taylor expansion of 0 in y 5.181 * [taylor]: Taking taylor expansion of 0 in y 5.190 * [taylor]: Taking taylor expansion of 0 in y 5.202 * [taylor]: Taking taylor expansion of 0 in y 5.203 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 5.203 * [approximate]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in (x y) around 0 5.203 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in y 5.203 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in y 5.203 * [taylor]: Taking taylor expansion of 9.0 in y 5.203 * [taylor]: Taking taylor expansion of (pow x 4) in y 5.203 * [taylor]: Taking taylor expansion of x in y 5.203 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.203 * [taylor]: Taking taylor expansion of y in y 5.203 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in x 5.203 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in x 5.203 * [taylor]: Taking taylor expansion of 9.0 in x 5.203 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.203 * [taylor]: Taking taylor expansion of x in x 5.203 * [taylor]: Taking taylor expansion of (pow y 4) in x 5.203 * [taylor]: Taking taylor expansion of y in x 5.203 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in x 5.203 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in x 5.203 * [taylor]: Taking taylor expansion of 9.0 in x 5.203 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.203 * [taylor]: Taking taylor expansion of x in x 5.203 * [taylor]: Taking taylor expansion of (pow y 4) in x 5.203 * [taylor]: Taking taylor expansion of y in x 5.204 * [taylor]: Taking taylor expansion of (neg (pow y 4)) in y 5.204 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.204 * [taylor]: Taking taylor expansion of y in y 5.204 * [taylor]: Taking taylor expansion of 0 in y 5.204 * [taylor]: Taking taylor expansion of 0 in y 5.204 * [taylor]: Taking taylor expansion of 0 in y 5.205 * [approximate]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in (x y) around 0 5.205 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in y 5.205 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 5.205 * [taylor]: Taking taylor expansion of 9.0 in y 5.205 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 5.205 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 5.205 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 5.205 * [taylor]: Taking taylor expansion of 1.0 in y 5.205 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 5.205 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 5.205 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 5.205 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 5.205 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 5.205 * [taylor]: Taking taylor expansion of 4.0 in y 5.205 * [taylor]: Taking taylor expansion of (log x) in y 5.205 * [taylor]: Taking taylor expansion of x in y 5.206 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 5.206 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.206 * [taylor]: Taking taylor expansion of y in y 5.206 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 5.206 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 5.206 * [taylor]: Taking taylor expansion of 9.0 in x 5.206 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 5.206 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 5.206 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 5.206 * [taylor]: Taking taylor expansion of 1.0 in x 5.206 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 5.206 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 5.206 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 5.206 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 5.206 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 5.206 * [taylor]: Taking taylor expansion of 4.0 in x 5.206 * [taylor]: Taking taylor expansion of (log x) in x 5.206 * [taylor]: Taking taylor expansion of x in x 5.206 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 5.206 * [taylor]: Taking taylor expansion of (pow y 4) in x 5.206 * [taylor]: Taking taylor expansion of y in x 5.207 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 5.207 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 5.207 * [taylor]: Taking taylor expansion of 9.0 in x 5.207 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 5.207 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 5.207 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 5.207 * [taylor]: Taking taylor expansion of 1.0 in x 5.207 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 5.207 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 5.207 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 5.207 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 5.207 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 5.207 * [taylor]: Taking taylor expansion of 4.0 in x 5.207 * [taylor]: Taking taylor expansion of (log x) in x 5.207 * [taylor]: Taking taylor expansion of x in x 5.207 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 5.207 * [taylor]: Taking taylor expansion of (pow y 4) in x 5.207 * [taylor]: Taking taylor expansion of y in x 5.208 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0)) (/ 1 (pow y 4))) in y 5.208 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0)) in y 5.208 * [taylor]: Taking taylor expansion of 9.0 in y 5.208 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0) in y 5.208 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))))) in y 5.208 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)))) in y 5.208 * [taylor]: Taking taylor expansion of 1.0 in y 5.208 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))) in y 5.208 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) in y 5.208 * [taylor]: Taking taylor expansion of (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0) in y 5.208 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x))))))) in y 5.208 * [taylor]: Taking taylor expansion of (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x)))))) in y 5.208 * [taylor]: Taking taylor expansion of 1.0 in y 5.208 * [taylor]: Taking taylor expansion of (log (exp (* 4.0 (+ (log 1) (log x))))) in y 5.208 * [taylor]: Taking taylor expansion of (exp (* 4.0 (+ (log 1) (log x)))) in y 5.208 * [taylor]: Taking taylor expansion of (* 4.0 (+ (log 1) (log x))) in y 5.208 * [taylor]: Taking taylor expansion of 4.0 in y 5.209 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in y 5.209 * [taylor]: Taking taylor expansion of (log 1) in y 5.209 * [taylor]: Taking taylor expansion of 1 in y 5.209 * [taylor]: Taking taylor expansion of (log x) in y 5.209 * [taylor]: Taking taylor expansion of x in y 5.209 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 5.209 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.209 * [taylor]: Taking taylor expansion of y in y 5.211 * [taylor]: Taking taylor expansion of 0 in y 5.213 * [taylor]: Taking taylor expansion of 0 in y 5.215 * [taylor]: Taking taylor expansion of 0 in y 5.219 * [taylor]: Taking taylor expansion of 0 in y 5.225 * [taylor]: Taking taylor expansion of 0 in y 5.234 * [taylor]: Taking taylor expansion of 0 in y 5.249 * [taylor]: Taking taylor expansion of 0 in y 5.250 * [approximate]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in (x y) around 0 5.250 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in y 5.250 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 5.250 * [taylor]: Taking taylor expansion of 9.0 in y 5.250 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 5.250 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 5.250 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 5.250 * [taylor]: Taking taylor expansion of 1.0 in y 5.250 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 5.250 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 5.250 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 5.250 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 5.250 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 5.250 * [taylor]: Taking taylor expansion of 4.0 in y 5.250 * [taylor]: Taking taylor expansion of (log x) in y 5.250 * [taylor]: Taking taylor expansion of x in y 5.250 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 5.250 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.250 * [taylor]: Taking taylor expansion of y in y 5.251 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 5.251 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 5.251 * [taylor]: Taking taylor expansion of 9.0 in x 5.251 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 5.251 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 5.251 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 5.251 * [taylor]: Taking taylor expansion of 1.0 in x 5.251 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 5.251 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 5.251 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 5.251 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 5.251 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 5.251 * [taylor]: Taking taylor expansion of 4.0 in x 5.251 * [taylor]: Taking taylor expansion of (log x) in x 5.251 * [taylor]: Taking taylor expansion of x in x 5.251 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 5.251 * [taylor]: Taking taylor expansion of (pow y 4) in x 5.251 * [taylor]: Taking taylor expansion of y in x 5.251 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 5.252 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 5.252 * [taylor]: Taking taylor expansion of 9.0 in x 5.252 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 5.252 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 5.252 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 5.252 * [taylor]: Taking taylor expansion of 1.0 in x 5.252 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 5.252 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 5.252 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 5.252 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 5.252 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 5.252 * [taylor]: Taking taylor expansion of 4.0 in x 5.252 * [taylor]: Taking taylor expansion of (log x) in x 5.252 * [taylor]: Taking taylor expansion of x in x 5.252 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 5.252 * [taylor]: Taking taylor expansion of (pow y 4) in x 5.252 * [taylor]: Taking taylor expansion of y in x 5.253 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0)) (/ 1 (pow y 4))) in y 5.253 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0)) in y 5.253 * [taylor]: Taking taylor expansion of 9.0 in y 5.253 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0) in y 5.253 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))))) in y 5.253 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)))) in y 5.253 * [taylor]: Taking taylor expansion of 1.0 in y 5.253 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))) in y 5.253 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) in y 5.253 * [taylor]: Taking taylor expansion of (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0) in y 5.253 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x))))))) in y 5.253 * [taylor]: Taking taylor expansion of (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x)))))) in y 5.253 * [taylor]: Taking taylor expansion of 1.0 in y 5.253 * [taylor]: Taking taylor expansion of (log (exp (* 4.0 (+ (log 1) (log x))))) in y 5.253 * [taylor]: Taking taylor expansion of (exp (* 4.0 (+ (log 1) (log x)))) in y 5.253 * [taylor]: Taking taylor expansion of (* 4.0 (+ (log 1) (log x))) in y 5.253 * [taylor]: Taking taylor expansion of 4.0 in y 5.253 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in y 5.253 * [taylor]: Taking taylor expansion of (log 1) in y 5.253 * [taylor]: Taking taylor expansion of 1 in y 5.253 * [taylor]: Taking taylor expansion of (log x) in y 5.253 * [taylor]: Taking taylor expansion of x in y 5.254 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 5.254 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.254 * [taylor]: Taking taylor expansion of y in y 5.255 * [taylor]: Taking taylor expansion of 0 in y 5.257 * [taylor]: Taking taylor expansion of 0 in y 5.260 * [taylor]: Taking taylor expansion of 0 in y 5.264 * [taylor]: Taking taylor expansion of 0 in y 5.269 * [taylor]: Taking taylor expansion of 0 in y 5.278 * [taylor]: Taking taylor expansion of 0 in y 5.291 * [taylor]: Taking taylor expansion of 0 in y 5.291 * * * [progress]: simplifying candidates 5.292 * [simplify]: Simplifying using # : (/ (exp (* 9.0 (pow x 4.0))) (exp (pow y 4))) (log (- (* 9.0 (pow x 4.0)) (pow y 4))) (exp (- (* 9.0 (pow x 4.0)) (pow y 4))) (* (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4)))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (* (* (- (* 9.0 (pow x 4.0)) (pow y 4)) (- (* 9.0 (pow x 4.0)) (pow y 4))) (- (* 9.0 (pow x 4.0)) (pow y 4))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (- (pow (* 9.0 (pow x 4.0)) 3) (pow (pow y 4) 3)) (+ (* (* 9.0 (pow x 4.0)) (* 9.0 (pow x 4.0))) (+ (* (pow y 4) (pow y 4)) (* (* 9.0 (pow x 4.0)) (pow y 4)))) (neg (pow y 4)) (- (* (* 9.0 (pow x 4.0)) (* 9.0 (pow x 4.0))) (* (pow y 4) (pow y 4))) (+ (* 9.0 (pow x 4.0)) (pow y 4)) (neg (pow y 4)) (log (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))) (exp (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))) (cbrt (pow (* (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4)))) 3)) (cbrt (pow (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) 3)) (cbrt (pow (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4))) 3)) (cbrt (pow (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4))) 3)) (cbrt (pow 1 3)) (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3)) (cbrt (* (- (* 9.0 (pow x 4.0)) (pow y 4)) (- (* 9.0 (pow x 4.0)) (pow y 4)))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (cbrt (* (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3)) (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3)))) (cbrt (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))) (cbrt (pow (* (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4)))) 3)) (cbrt (pow (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) 3)) (cbrt (pow (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4))) 3)) (cbrt (pow (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4))) 3)) (cbrt (pow 1 3)) (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3)) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (cbrt (* (- (* 9.0 (pow x 4.0)) (pow y 4)) (- (* 9.0 (pow x 4.0)) (pow y 4)))) (cbrt (sqrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))) (cbrt (sqrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))) (cbrt 1) (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3)) (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) (/ 3 2))) (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) (/ 3 2))) (cbrt (pow (- (pow (* 9.0 (pow x 4.0)) 3) (pow (pow y 4) 3)) 3)) (cbrt (pow (+ (* (* 9.0 (pow x 4.0)) (* 9.0 (pow x 4.0))) (+ (* (pow y 4) (pow y 4)) (* (* 9.0 (pow x 4.0)) (pow y 4)))) 3)) (cbrt (pow (- (* (* 9.0 (pow x 4.0)) (* 9.0 (pow x 4.0))) (* (pow y 4) (pow y 4))) 3)) (cbrt (pow (+ (* 9.0 (pow x 4.0)) (pow y 4)) 3)) (* (cbrt (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))) (cbrt (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3)))) (cbrt (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))) (* (* (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3)) (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))) (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))) (sqrt (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))) (sqrt (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))) 0 (- (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log (/ 1 x)) (log 1)))) 1.0)) 1.0)) (pow y 4)) (- (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log (/ -1 x))))) 1.0)) 1.0)) (pow y 4)) 0 (- (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log (/ 1 x)) (log 1)))) 1.0)) 1.0)) (pow y 4)) (- (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log (/ -1 x))))) 1.0)) 1.0)) (pow y 4)) 5.296 * * [simplify]: iteration 0 : 90 enodes (cost 816 ) 5.309 * * [simplify]: iteration 1 : 226 enodes (cost 658 ) 5.348 * * [simplify]: iteration 2 : 662 enodes (cost 593 ) 5.527 * * [simplify]: iteration 3 : 2957 enodes (cost 579 ) 6.243 * * [simplify]: iteration done : 5000 enodes (cost 579 ) 6.243 * [simplify]: Simplified to: (exp (- (* 9.0 (pow x 4.0)) (pow y 4))) (log (- (* 9.0 (pow x 4.0)) (pow y 4))) (exp (- (* 9.0 (pow x 4.0)) (pow y 4))) (cbrt (pow (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) 6)) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (- (pow (* 9.0 (pow x 4.0)) 3) (pow (pow y 4) 3)) (+ (* (* 9.0 (pow x 4.0)) (+ (* 9.0 (pow x 4.0)) (pow y 4))) (pow y 8)) (neg (pow y 4)) (- (* (pow x (* 2 4.0)) (* 9.0 9.0)) (pow y 8)) (+ (* 9.0 (pow x 4.0)) (pow y 4)) (neg (pow y 4)) (log (- (* 9.0 (pow x 4.0)) (pow y 4))) (exp (- (* 9.0 (pow x 4.0)) (pow y 4))) (cbrt (pow (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) 6)) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4))) 1 (- (* 9.0 (pow x 4.0)) (pow y 4)) (cbrt (pow (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) 6)) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (cbrt (pow (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) 6)) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (cbrt (pow (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) 6)) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4))) 1 (- (* 9.0 (pow x 4.0)) (pow y 4)) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (cbrt (pow (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) 6)) (cbrt (sqrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))) (cbrt (sqrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))) 1 (- (* 9.0 (pow x 4.0)) (pow y 4)) (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3/2)) (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3/2)) (- (pow (* 9.0 (pow x 4.0)) 3) (pow (pow y 4) 3)) (+ (* (* 9.0 (pow x 4.0)) (+ (* 9.0 (pow x 4.0)) (pow y 4))) (pow y 8)) (- (* (pow x (* 2 4.0)) (* 9.0 9.0)) (pow y 8)) (+ (* 9.0 (pow x 4.0)) (pow y 4)) (cbrt (pow (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) 6)) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4))) 0 (- (* (pow (/ 1 (pow (pow (/ 1 x) 4.0) 1.0)) 1.0) 9.0) (pow y 4)) (- (* 9.0 (pow (/ 1 (pow (pow (/ -1 x) 4.0) 1.0)) 1.0)) (pow y 4)) 0 (- (* (pow (/ 1 (pow (pow (/ 1 x) 4.0) 1.0)) 1.0) 9.0) (pow y 4)) (- (* 9.0 (pow (/ 1 (pow (pow (/ -1 x) 4.0) 1.0)) 1.0)) (pow y 4)) 6.244 * * * [progress]: adding candidates to table 6.331 * [progress]: [Phase 3 of 3] Extracting. 6.335 * [simplify]: Simplifying using # : (- (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3)) (* (* y y) (neg 2.0))) 6.336 * * [simplify]: iteration 0 : 17 enodes (cost 19 ) 6.336 * * [simplify]: iteration 1 : 21 enodes (cost 19 ) 6.337 * * [simplify]: iteration 2 : 24 enodes (cost 19 ) 6.338 * * [simplify]: iteration 3 : 28 enodes (cost 19 ) 6.339 * * [simplify]: iteration done : 28 enodes (cost 19 ) 6.339 * [simplify]: Simplified to: (- (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3)) (* (* y y) (neg 2.0))) 7.377 * [regime-testing]: End program error score: 51.99999982801125