895.714 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying using # : (+ (- (* 9.0 (pow x 4.0)) (pow y 4.0)) (* 2.0 (* y y))) 0.031 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.033 * * [simplify]: iteration 1 : 27 enodes (cost 15 ) 0.038 * * [simplify]: iteration 2 : 54 enodes (cost 15 ) 0.048 * * [simplify]: iteration 3 : 117 enodes (cost 15 ) 0.082 * * [simplify]: iteration 4 : 262 enodes (cost 15 ) 0.189 * * [simplify]: iteration 5 : 637 enodes (cost 15 ) 0.676 * * [simplify]: iteration 6 : 1865 enodes (cost 15 ) 2.452 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 2.452 * [simplify]: Simplified to: (+ (- (* 9.0 (pow x 4.0)) (pow y 4.0)) (* 2.0 (* y y))) 2.452 * * [progress]: iteration 1 / 4 2.452 * * * [progress]: picking best candidate 2.455 * * * * [pick]: Picked # 2.456 * * * [progress]: localizing error 2.466 * * * [progress]: generating rewritten candidates 2.466 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 2.473 * * * [progress]: generating series expansions 2.473 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 2.473 * [approximate]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in (x y) around 0 2.473 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in y 2.473 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in y 2.473 * [taylor]: Taking taylor expansion of 9.0 in y 2.473 * [taylor]: Taking taylor expansion of (pow x 4) in y 2.473 * [taylor]: Taking taylor expansion of x in y 2.473 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.473 * [taylor]: Taking taylor expansion of y in y 2.473 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in x 2.473 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in x 2.473 * [taylor]: Taking taylor expansion of 9.0 in x 2.473 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.473 * [taylor]: Taking taylor expansion of x in x 2.473 * [taylor]: Taking taylor expansion of (pow y 4) in x 2.473 * [taylor]: Taking taylor expansion of y in x 2.473 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in x 2.473 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in x 2.473 * [taylor]: Taking taylor expansion of 9.0 in x 2.473 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.473 * [taylor]: Taking taylor expansion of x in x 2.473 * [taylor]: Taking taylor expansion of (pow y 4) in x 2.473 * [taylor]: Taking taylor expansion of y in x 2.474 * [taylor]: Taking taylor expansion of (neg (pow y 4)) in y 2.474 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.474 * [taylor]: Taking taylor expansion of y in y 2.474 * [taylor]: Taking taylor expansion of 0 in y 2.474 * [taylor]: Taking taylor expansion of 0 in y 2.474 * [taylor]: Taking taylor expansion of 0 in y 2.475 * [approximate]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in (x y) around 0 2.475 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in y 2.475 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 2.475 * [taylor]: Taking taylor expansion of 9.0 in y 2.475 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 2.475 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 2.475 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 2.475 * [taylor]: Taking taylor expansion of 1.0 in y 2.475 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 2.475 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 2.475 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 2.475 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 2.475 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 2.475 * [taylor]: Taking taylor expansion of 4.0 in y 2.475 * [taylor]: Taking taylor expansion of (log x) in y 2.475 * [taylor]: Taking taylor expansion of x in y 2.476 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 2.476 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.476 * [taylor]: Taking taylor expansion of y in y 2.476 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 2.476 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 2.476 * [taylor]: Taking taylor expansion of 9.0 in x 2.476 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 2.476 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 2.476 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 2.476 * [taylor]: Taking taylor expansion of 1.0 in x 2.476 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 2.476 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 2.476 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 2.476 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 2.476 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 2.476 * [taylor]: Taking taylor expansion of 4.0 in x 2.476 * [taylor]: Taking taylor expansion of (log x) in x 2.476 * [taylor]: Taking taylor expansion of x in x 2.476 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 2.476 * [taylor]: Taking taylor expansion of (pow y 4) in x 2.476 * [taylor]: Taking taylor expansion of y in x 2.477 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 2.477 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 2.477 * [taylor]: Taking taylor expansion of 9.0 in x 2.477 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 2.477 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 2.477 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 2.477 * [taylor]: Taking taylor expansion of 1.0 in x 2.477 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 2.477 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 2.477 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 2.477 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 2.477 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 2.477 * [taylor]: Taking taylor expansion of 4.0 in x 2.477 * [taylor]: Taking taylor expansion of (log x) in x 2.477 * [taylor]: Taking taylor expansion of x in x 2.477 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 2.477 * [taylor]: Taking taylor expansion of (pow y 4) in x 2.477 * [taylor]: Taking taylor expansion of y in x 2.478 * [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 2.478 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0)) in y 2.478 * [taylor]: Taking taylor expansion of 9.0 in y 2.478 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0) in y 2.478 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))))) in y 2.478 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)))) in y 2.478 * [taylor]: Taking taylor expansion of 1.0 in y 2.478 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))) in y 2.478 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) in y 2.478 * [taylor]: Taking taylor expansion of (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0) in y 2.478 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x))))))) in y 2.478 * [taylor]: Taking taylor expansion of (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x)))))) in y 2.478 * [taylor]: Taking taylor expansion of 1.0 in y 2.478 * [taylor]: Taking taylor expansion of (log (exp (* 4.0 (+ (log 1) (log x))))) in y 2.478 * [taylor]: Taking taylor expansion of (exp (* 4.0 (+ (log 1) (log x)))) in y 2.478 * [taylor]: Taking taylor expansion of (* 4.0 (+ (log 1) (log x))) in y 2.478 * [taylor]: Taking taylor expansion of 4.0 in y 2.478 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in y 2.479 * [taylor]: Taking taylor expansion of (log 1) in y 2.479 * [taylor]: Taking taylor expansion of 1 in y 2.479 * [taylor]: Taking taylor expansion of (log x) in y 2.479 * [taylor]: Taking taylor expansion of x in y 2.479 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 2.479 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.479 * [taylor]: Taking taylor expansion of y in y 2.481 * [taylor]: Taking taylor expansion of 0 in y 2.483 * [taylor]: Taking taylor expansion of 0 in y 2.486 * [taylor]: Taking taylor expansion of 0 in y 2.490 * [taylor]: Taking taylor expansion of 0 in y 2.495 * [taylor]: Taking taylor expansion of 0 in y 2.505 * [taylor]: Taking taylor expansion of 0 in y 2.521 * [taylor]: Taking taylor expansion of 0 in y 2.522 * [approximate]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in (x y) around 0 2.522 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in y 2.522 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 2.522 * [taylor]: Taking taylor expansion of 9.0 in y 2.522 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 2.522 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 2.522 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 2.522 * [taylor]: Taking taylor expansion of 1.0 in y 2.522 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 2.522 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 2.522 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 2.522 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 2.522 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 2.522 * [taylor]: Taking taylor expansion of 4.0 in y 2.522 * [taylor]: Taking taylor expansion of (log x) in y 2.522 * [taylor]: Taking taylor expansion of x in y 2.523 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 2.523 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.523 * [taylor]: Taking taylor expansion of y in y 2.523 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 2.523 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 2.523 * [taylor]: Taking taylor expansion of 9.0 in x 2.523 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 2.523 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 2.523 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 2.523 * [taylor]: Taking taylor expansion of 1.0 in x 2.523 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 2.523 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 2.523 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 2.523 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 2.523 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 2.523 * [taylor]: Taking taylor expansion of 4.0 in x 2.523 * [taylor]: Taking taylor expansion of (log x) in x 2.523 * [taylor]: Taking taylor expansion of x in x 2.523 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 2.523 * [taylor]: Taking taylor expansion of (pow y 4) in x 2.523 * [taylor]: Taking taylor expansion of y in x 2.524 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 2.524 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 2.524 * [taylor]: Taking taylor expansion of 9.0 in x 2.524 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 2.524 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 2.524 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 2.524 * [taylor]: Taking taylor expansion of 1.0 in x 2.524 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 2.524 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 2.524 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 2.524 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 2.524 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 2.524 * [taylor]: Taking taylor expansion of 4.0 in x 2.524 * [taylor]: Taking taylor expansion of (log x) in x 2.524 * [taylor]: Taking taylor expansion of x in x 2.524 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 2.524 * [taylor]: Taking taylor expansion of (pow y 4) in x 2.524 * [taylor]: Taking taylor expansion of y in x 2.525 * [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 2.525 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0)) in y 2.525 * [taylor]: Taking taylor expansion of 9.0 in y 2.525 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0) in y 2.525 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))))) in y 2.525 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)))) in y 2.525 * [taylor]: Taking taylor expansion of 1.0 in y 2.525 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))) in y 2.525 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) in y 2.525 * [taylor]: Taking taylor expansion of (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0) in y 2.525 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x))))))) in y 2.525 * [taylor]: Taking taylor expansion of (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x)))))) in y 2.525 * [taylor]: Taking taylor expansion of 1.0 in y 2.525 * [taylor]: Taking taylor expansion of (log (exp (* 4.0 (+ (log 1) (log x))))) in y 2.525 * [taylor]: Taking taylor expansion of (exp (* 4.0 (+ (log 1) (log x)))) in y 2.526 * [taylor]: Taking taylor expansion of (* 4.0 (+ (log 1) (log x))) in y 2.526 * [taylor]: Taking taylor expansion of 4.0 in y 2.526 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in y 2.526 * [taylor]: Taking taylor expansion of (log 1) in y 2.526 * [taylor]: Taking taylor expansion of 1 in y 2.526 * [taylor]: Taking taylor expansion of (log x) in y 2.526 * [taylor]: Taking taylor expansion of x in y 2.526 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 2.526 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.526 * [taylor]: Taking taylor expansion of y in y 2.528 * [taylor]: Taking taylor expansion of 0 in y 2.530 * [taylor]: Taking taylor expansion of 0 in y 2.532 * [taylor]: Taking taylor expansion of 0 in y 2.536 * [taylor]: Taking taylor expansion of 0 in y 2.542 * [taylor]: Taking taylor expansion of 0 in y 2.551 * [taylor]: Taking taylor expansion of 0 in y 2.562 * [taylor]: Taking taylor expansion of 0 in y 2.563 * * * [progress]: simplifying candidates 2.563 * [simplify]: Simplifying using # : (/ (exp (* 9.0 (pow x 4.0))) (exp (pow y 4.0))) (log (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (exp (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (* (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0)))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (* (* (- (* 9.0 (pow x 4.0)) (pow y 4.0)) (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (- (pow (* 9.0 (pow x 4.0)) 3) (pow (pow y 4.0) 3)) (+ (* (* 9.0 (pow x 4.0)) (* 9.0 (pow x 4.0))) (+ (* (pow y 4.0) (pow y 4.0)) (* (* 9.0 (pow x 4.0)) (pow y 4.0)))) (neg (pow y 4.0)) (- (* (* 9.0 (pow x 4.0)) (* 9.0 (pow x 4.0))) (* (pow y 4.0) (pow y 4.0))) (+ (* 9.0 (pow x 4.0)) (pow y 4.0)) (neg (pow y 4.0)) 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)) 2.564 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 2.565 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 2.569 * * [simplify]: iteration 2 : 42 enodes (cost 10 ) 2.575 * * [simplify]: iteration 3 : 105 enodes (cost 10 ) 2.600 * * [simplify]: iteration 4 : 300 enodes (cost 10 ) 2.745 * * [simplify]: iteration 5 : 1073 enodes (cost 10 ) 3.653 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 3.653 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 3.655 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 3.657 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 3.663 * * [simplify]: iteration 3 : 76 enodes (cost 10 ) 3.683 * * [simplify]: iteration 4 : 180 enodes (cost 10 ) 3.750 * * [simplify]: iteration 5 : 512 enodes (cost 10 ) 4.286 * * [simplify]: iteration 6 : 1742 enodes (cost 10 ) 5.917 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 5.918 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 5.921 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 5.925 * * [simplify]: iteration 2 : 45 enodes (cost 10 ) 5.935 * * [simplify]: iteration 3 : 109 enodes (cost 10 ) 5.964 * * [simplify]: iteration 4 : 307 enodes (cost 10 ) 6.158 * * [simplify]: iteration 5 : 1091 enodes (cost 10 ) 7.281 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 7.282 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 7.283 * * [simplify]: iteration 1 : 19 enodes (cost 21 ) 7.286 * * [simplify]: iteration 2 : 35 enodes (cost 21 ) 7.293 * * [simplify]: iteration 3 : 77 enodes (cost 21 ) 7.310 * * [simplify]: iteration 4 : 181 enodes (cost 21 ) 7.393 * * [simplify]: iteration 5 : 510 enodes (cost 21 ) 7.949 * * [simplify]: iteration 6 : 1718 enodes (cost 21 ) 9.386 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 9.386 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 9.388 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 9.390 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 9.400 * * [simplify]: iteration 3 : 76 enodes (cost 10 ) 9.415 * * [simplify]: iteration 4 : 180 enodes (cost 10 ) 9.484 * * [simplify]: iteration 5 : 512 enodes (cost 10 ) 9.932 * * [simplify]: iteration 6 : 1742 enodes (cost 10 ) 11.539 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 11.539 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 11.541 * * [simplify]: iteration 1 : 20 enodes (cost 29 ) 11.544 * * [simplify]: iteration 2 : 50 enodes (cost 11 ) 11.559 * * [simplify]: iteration 3 : 182 enodes (cost 11 ) 11.666 * * [simplify]: iteration 4 : 905 enodes (cost 11 ) 12.562 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 12.563 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 12.564 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 12.567 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 12.572 * * [simplify]: iteration 3 : 76 enodes (cost 10 ) 12.587 * * [simplify]: iteration 4 : 180 enodes (cost 10 ) 12.659 * * [simplify]: iteration 5 : 512 enodes (cost 10 ) 13.106 * * [simplify]: iteration 6 : 1742 enodes (cost 10 ) 14.782 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 14.783 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 14.784 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 14.787 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 14.793 * * [simplify]: iteration 3 : 76 enodes (cost 10 ) 14.809 * * [simplify]: iteration 4 : 180 enodes (cost 10 ) 14.891 * * [simplify]: iteration 5 : 512 enodes (cost 10 ) 15.497 * * [simplify]: iteration 6 : 1742 enodes (cost 10 ) 17.399 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 17.400 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 17.402 * * [simplify]: iteration 1 : 35 enodes (cost 13 ) 17.408 * * [simplify]: iteration 2 : 114 enodes (cost 13 ) 17.446 * * [simplify]: iteration 3 : 394 enodes (cost 13 ) 17.885 * * [simplify]: iteration 4 : 1580 enodes (cost 13 ) 19.512 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 19.513 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 19.515 * * [simplify]: iteration 1 : 37 enodes (cost 25 ) 19.523 * * [simplify]: iteration 2 : 103 enodes (cost 23 ) 19.554 * * [simplify]: iteration 3 : 303 enodes (cost 21 ) 19.748 * * [simplify]: iteration 4 : 1071 enodes (cost 21 ) 21.932 * * [simplify]: iteration 5 : 4743 enodes (cost 21 ) 23.953 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 23.953 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 23.954 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 23.955 * * [simplify]: iteration 2 : 16 enodes (cost 4 ) 23.958 * * [simplify]: iteration 3 : 41 enodes (cost 4 ) 23.965 * * [simplify]: iteration 4 : 107 enodes (cost 4 ) 24.005 * * [simplify]: iteration 5 : 292 enodes (cost 4 ) 24.267 * * [simplify]: iteration 6 : 972 enodes (cost 4 ) 26.981 * * [simplify]: iteration 7 : 3784 enodes (cost 4 ) 29.219 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 29.220 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 29.221 * * [simplify]: iteration 1 : 31 enodes (cost 17 ) 29.232 * * [simplify]: iteration 2 : 78 enodes (cost 15 ) 29.251 * * [simplify]: iteration 3 : 216 enodes (cost 15 ) 29.356 * * [simplify]: iteration 4 : 716 enodes (cost 15 ) 30.230 * * [simplify]: iteration 5 : 2858 enodes (cost 15 ) 32.350 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 32.351 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 32.353 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 32.356 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 32.364 * * [simplify]: iteration 3 : 63 enodes (cost 9 ) 32.391 * * [simplify]: iteration 4 : 152 enodes (cost 9 ) 32.474 * * [simplify]: iteration 5 : 407 enodes (cost 9 ) 32.818 * * [simplify]: iteration 6 : 1307 enodes (cost 9 ) 35.740 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 35.740 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 35.741 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 35.742 * * [simplify]: iteration 2 : 16 enodes (cost 4 ) 35.745 * * [simplify]: iteration 3 : 41 enodes (cost 4 ) 35.753 * * [simplify]: iteration 4 : 107 enodes (cost 4 ) 35.794 * * [simplify]: iteration 5 : 292 enodes (cost 4 ) 36.120 * * [simplify]: iteration 6 : 972 enodes (cost 4 ) 38.535 * * [simplify]: iteration 7 : 3784 enodes (cost 4 ) 40.905 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 40.906 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 40.906 * * [simplify]: iteration done : 1 enodes (cost 1 ) 40.908 * * [simplify]: iteration 0 : 19 enodes (cost 22 ) 40.910 * * [simplify]: iteration 1 : 46 enodes (cost 20 ) 40.917 * * [simplify]: iteration 2 : 85 enodes (cost 18 ) 40.932 * * [simplify]: iteration 3 : 187 enodes (cost 17 ) 40.980 * * [simplify]: iteration 4 : 429 enodes (cost 16 ) 41.186 * * [simplify]: iteration 5 : 1086 enodes (cost 16 ) 41.842 * * [simplify]: iteration 6 : 2827 enodes (cost 16 ) 43.083 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 43.084 * * [simplify]: iteration 0 : 20 enodes (cost 22 ) 43.087 * * [simplify]: iteration 1 : 47 enodes (cost 21 ) 43.095 * * [simplify]: iteration 2 : 84 enodes (cost 19 ) 43.111 * * [simplify]: iteration 3 : 203 enodes (cost 17 ) 43.163 * * [simplify]: iteration 4 : 472 enodes (cost 17 ) 43.387 * * [simplify]: iteration 5 : 1164 enodes (cost 17 ) 44.050 * * [simplify]: iteration 6 : 2917 enodes (cost 17 ) 45.185 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 45.185 * [simplify]: Simplified to: (exp (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (log (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (exp (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (* (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0)))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (- (pow (* 9.0 (pow x 4.0)) 3) (pow (pow y 4.0) 3)) (+ (pow y (* 2 4.0)) (* (* 9.0 (pow x 4.0)) (+ (pow y 4.0) (* 9.0 (pow x 4.0))))) (neg (pow y 4.0)) (- (* (* 9.0 9.0) (pow x (* 2 4.0))) (pow y (* 2 4.0))) (+ (* 9.0 (pow x 4.0)) (pow y 4.0)) (neg (pow y 4.0)) 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)) 45.185 * * * [progress]: adding candidates to table 45.222 * * [progress]: iteration 2 / 4 45.222 * * * [progress]: picking best candidate 45.227 * * * * [pick]: Picked # 45.227 * * * [progress]: localizing error 45.241 * * * [progress]: generating rewritten candidates 45.241 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 1) 45.248 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 45.256 * * * [progress]: generating series expansions 45.256 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 1) 45.256 * [approximate]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in (x y) around 0 45.256 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in y 45.256 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in y 45.256 * [taylor]: Taking taylor expansion of 9.0 in y 45.256 * [taylor]: Taking taylor expansion of (pow x 4) in y 45.257 * [taylor]: Taking taylor expansion of x in y 45.257 * [taylor]: Taking taylor expansion of (pow y 4) in y 45.257 * [taylor]: Taking taylor expansion of y in y 45.257 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in x 45.257 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in x 45.257 * [taylor]: Taking taylor expansion of 9.0 in x 45.257 * [taylor]: Taking taylor expansion of (pow x 4) in x 45.257 * [taylor]: Taking taylor expansion of x in x 45.257 * [taylor]: Taking taylor expansion of (pow y 4) in x 45.257 * [taylor]: Taking taylor expansion of y in x 45.257 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in x 45.257 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in x 45.257 * [taylor]: Taking taylor expansion of 9.0 in x 45.257 * [taylor]: Taking taylor expansion of (pow x 4) in x 45.257 * [taylor]: Taking taylor expansion of x in x 45.257 * [taylor]: Taking taylor expansion of (pow y 4) in x 45.257 * [taylor]: Taking taylor expansion of y in x 45.257 * [taylor]: Taking taylor expansion of (neg (pow y 4)) in y 45.257 * [taylor]: Taking taylor expansion of (pow y 4) in y 45.257 * [taylor]: Taking taylor expansion of y in y 45.257 * [taylor]: Taking taylor expansion of 0 in y 45.258 * [taylor]: Taking taylor expansion of 0 in y 45.258 * [taylor]: Taking taylor expansion of 0 in y 45.258 * [approximate]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in (x y) around 0 45.258 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in y 45.258 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 45.258 * [taylor]: Taking taylor expansion of 9.0 in y 45.258 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 45.258 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 45.258 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 45.258 * [taylor]: Taking taylor expansion of 1.0 in y 45.258 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 45.258 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 45.258 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 45.258 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 45.258 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 45.258 * [taylor]: Taking taylor expansion of 4.0 in y 45.258 * [taylor]: Taking taylor expansion of (log x) in y 45.258 * [taylor]: Taking taylor expansion of x in y 45.259 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 45.259 * [taylor]: Taking taylor expansion of (pow y 4) in y 45.259 * [taylor]: Taking taylor expansion of y in y 45.259 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 45.259 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 45.259 * [taylor]: Taking taylor expansion of 9.0 in x 45.259 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 45.259 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 45.259 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 45.259 * [taylor]: Taking taylor expansion of 1.0 in x 45.259 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 45.259 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 45.259 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 45.259 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 45.259 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 45.259 * [taylor]: Taking taylor expansion of 4.0 in x 45.259 * [taylor]: Taking taylor expansion of (log x) in x 45.259 * [taylor]: Taking taylor expansion of x in x 45.260 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 45.260 * [taylor]: Taking taylor expansion of (pow y 4) in x 45.260 * [taylor]: Taking taylor expansion of y in x 45.260 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 45.260 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 45.260 * [taylor]: Taking taylor expansion of 9.0 in x 45.260 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 45.260 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 45.260 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 45.260 * [taylor]: Taking taylor expansion of 1.0 in x 45.260 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 45.260 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 45.260 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 45.260 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 45.260 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 45.260 * [taylor]: Taking taylor expansion of 4.0 in x 45.260 * [taylor]: Taking taylor expansion of (log x) in x 45.260 * [taylor]: Taking taylor expansion of x in x 45.261 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 45.261 * [taylor]: Taking taylor expansion of (pow y 4) in x 45.261 * [taylor]: Taking taylor expansion of y in x 45.261 * [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 45.261 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0)) in y 45.262 * [taylor]: Taking taylor expansion of 9.0 in y 45.262 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0) in y 45.262 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))))) in y 45.262 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)))) in y 45.262 * [taylor]: Taking taylor expansion of 1.0 in y 45.262 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))) in y 45.262 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) in y 45.262 * [taylor]: Taking taylor expansion of (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0) in y 45.262 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x))))))) in y 45.262 * [taylor]: Taking taylor expansion of (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x)))))) in y 45.262 * [taylor]: Taking taylor expansion of 1.0 in y 45.262 * [taylor]: Taking taylor expansion of (log (exp (* 4.0 (+ (log 1) (log x))))) in y 45.262 * [taylor]: Taking taylor expansion of (exp (* 4.0 (+ (log 1) (log x)))) in y 45.262 * [taylor]: Taking taylor expansion of (* 4.0 (+ (log 1) (log x))) in y 45.262 * [taylor]: Taking taylor expansion of 4.0 in y 45.262 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in y 45.262 * [taylor]: Taking taylor expansion of (log 1) in y 45.262 * [taylor]: Taking taylor expansion of 1 in y 45.262 * [taylor]: Taking taylor expansion of (log x) in y 45.262 * [taylor]: Taking taylor expansion of x in y 45.263 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 45.263 * [taylor]: Taking taylor expansion of (pow y 4) in y 45.263 * [taylor]: Taking taylor expansion of y in y 45.264 * [taylor]: Taking taylor expansion of 0 in y 45.266 * [taylor]: Taking taylor expansion of 0 in y 45.269 * [taylor]: Taking taylor expansion of 0 in y 45.273 * [taylor]: Taking taylor expansion of 0 in y 45.281 * [taylor]: Taking taylor expansion of 0 in y 45.290 * [taylor]: Taking taylor expansion of 0 in y 45.303 * [taylor]: Taking taylor expansion of 0 in y 45.304 * [approximate]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in (x y) around 0 45.304 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in y 45.304 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 45.304 * [taylor]: Taking taylor expansion of 9.0 in y 45.304 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 45.304 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 45.304 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 45.304 * [taylor]: Taking taylor expansion of 1.0 in y 45.304 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 45.304 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 45.304 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 45.304 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 45.304 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 45.304 * [taylor]: Taking taylor expansion of 4.0 in y 45.304 * [taylor]: Taking taylor expansion of (log x) in y 45.304 * [taylor]: Taking taylor expansion of x in y 45.304 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 45.304 * [taylor]: Taking taylor expansion of (pow y 4) in y 45.304 * [taylor]: Taking taylor expansion of y in y 45.304 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 45.304 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 45.304 * [taylor]: Taking taylor expansion of 9.0 in x 45.305 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 45.305 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 45.305 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 45.305 * [taylor]: Taking taylor expansion of 1.0 in x 45.305 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 45.305 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 45.305 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 45.305 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 45.305 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 45.305 * [taylor]: Taking taylor expansion of 4.0 in x 45.305 * [taylor]: Taking taylor expansion of (log x) in x 45.305 * [taylor]: Taking taylor expansion of x in x 45.305 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 45.305 * [taylor]: Taking taylor expansion of (pow y 4) in x 45.305 * [taylor]: Taking taylor expansion of y in x 45.305 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 45.305 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 45.305 * [taylor]: Taking taylor expansion of 9.0 in x 45.305 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 45.305 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 45.306 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 45.306 * [taylor]: Taking taylor expansion of 1.0 in x 45.306 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 45.306 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 45.306 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 45.306 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 45.306 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 45.306 * [taylor]: Taking taylor expansion of 4.0 in x 45.306 * [taylor]: Taking taylor expansion of (log x) in x 45.306 * [taylor]: Taking taylor expansion of x in x 45.306 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 45.306 * [taylor]: Taking taylor expansion of (pow y 4) in x 45.306 * [taylor]: Taking taylor expansion of y in x 45.307 * [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 45.307 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0)) in y 45.307 * [taylor]: Taking taylor expansion of 9.0 in y 45.307 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0) in y 45.307 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))))) in y 45.307 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)))) in y 45.307 * [taylor]: Taking taylor expansion of 1.0 in y 45.307 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))) in y 45.307 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) in y 45.307 * [taylor]: Taking taylor expansion of (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0) in y 45.307 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x))))))) in y 45.307 * [taylor]: Taking taylor expansion of (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x)))))) in y 45.307 * [taylor]: Taking taylor expansion of 1.0 in y 45.307 * [taylor]: Taking taylor expansion of (log (exp (* 4.0 (+ (log 1) (log x))))) in y 45.307 * [taylor]: Taking taylor expansion of (exp (* 4.0 (+ (log 1) (log x)))) in y 45.307 * [taylor]: Taking taylor expansion of (* 4.0 (+ (log 1) (log x))) in y 45.307 * [taylor]: Taking taylor expansion of 4.0 in y 45.307 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in y 45.307 * [taylor]: Taking taylor expansion of (log 1) in y 45.307 * [taylor]: Taking taylor expansion of 1 in y 45.307 * [taylor]: Taking taylor expansion of (log x) in y 45.307 * [taylor]: Taking taylor expansion of x in y 45.308 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 45.308 * [taylor]: Taking taylor expansion of (pow y 4) in y 45.308 * [taylor]: Taking taylor expansion of y in y 45.309 * [taylor]: Taking taylor expansion of 0 in y 45.311 * [taylor]: Taking taylor expansion of 0 in y 45.314 * [taylor]: Taking taylor expansion of 0 in y 45.317 * [taylor]: Taking taylor expansion of 0 in y 45.323 * [taylor]: Taking taylor expansion of 0 in y 45.332 * [taylor]: Taking taylor expansion of 0 in y 45.345 * [taylor]: Taking taylor expansion of 0 in y 45.346 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 45.346 * [approximate]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in (x y) around 0 45.346 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in y 45.346 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in y 45.346 * [taylor]: Taking taylor expansion of 9.0 in y 45.346 * [taylor]: Taking taylor expansion of (pow x 4) in y 45.346 * [taylor]: Taking taylor expansion of x in y 45.346 * [taylor]: Taking taylor expansion of (pow y 4) in y 45.346 * [taylor]: Taking taylor expansion of y in y 45.346 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in x 45.346 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in x 45.346 * [taylor]: Taking taylor expansion of 9.0 in x 45.346 * [taylor]: Taking taylor expansion of (pow x 4) in x 45.346 * [taylor]: Taking taylor expansion of x in x 45.347 * [taylor]: Taking taylor expansion of (pow y 4) in x 45.347 * [taylor]: Taking taylor expansion of y in x 45.347 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in x 45.347 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in x 45.347 * [taylor]: Taking taylor expansion of 9.0 in x 45.347 * [taylor]: Taking taylor expansion of (pow x 4) in x 45.347 * [taylor]: Taking taylor expansion of x in x 45.347 * [taylor]: Taking taylor expansion of (pow y 4) in x 45.347 * [taylor]: Taking taylor expansion of y in x 45.347 * [taylor]: Taking taylor expansion of (neg (pow y 4)) in y 45.347 * [taylor]: Taking taylor expansion of (pow y 4) in y 45.347 * [taylor]: Taking taylor expansion of y in y 45.347 * [taylor]: Taking taylor expansion of 0 in y 45.347 * [taylor]: Taking taylor expansion of 0 in y 45.348 * [taylor]: Taking taylor expansion of 0 in y 45.348 * [approximate]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in (x y) around 0 45.348 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in y 45.348 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 45.348 * [taylor]: Taking taylor expansion of 9.0 in y 45.348 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 45.348 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 45.348 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 45.348 * [taylor]: Taking taylor expansion of 1.0 in y 45.348 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 45.348 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 45.348 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 45.348 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 45.348 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 45.348 * [taylor]: Taking taylor expansion of 4.0 in y 45.348 * [taylor]: Taking taylor expansion of (log x) in y 45.348 * [taylor]: Taking taylor expansion of x in y 45.349 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 45.349 * [taylor]: Taking taylor expansion of (pow y 4) in y 45.349 * [taylor]: Taking taylor expansion of y in y 45.349 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 45.349 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 45.349 * [taylor]: Taking taylor expansion of 9.0 in x 45.349 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 45.349 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 45.349 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 45.349 * [taylor]: Taking taylor expansion of 1.0 in x 45.349 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 45.349 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 45.349 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 45.349 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 45.349 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 45.349 * [taylor]: Taking taylor expansion of 4.0 in x 45.349 * [taylor]: Taking taylor expansion of (log x) in x 45.349 * [taylor]: Taking taylor expansion of x in x 45.350 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 45.350 * [taylor]: Taking taylor expansion of (pow y 4) in x 45.350 * [taylor]: Taking taylor expansion of y in x 45.350 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 45.350 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 45.350 * [taylor]: Taking taylor expansion of 9.0 in x 45.350 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 45.350 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 45.350 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 45.350 * [taylor]: Taking taylor expansion of 1.0 in x 45.350 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 45.350 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 45.350 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 45.350 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 45.350 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 45.350 * [taylor]: Taking taylor expansion of 4.0 in x 45.350 * [taylor]: Taking taylor expansion of (log x) in x 45.350 * [taylor]: Taking taylor expansion of x in x 45.351 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 45.351 * [taylor]: Taking taylor expansion of (pow y 4) in x 45.351 * [taylor]: Taking taylor expansion of y in x 45.351 * [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 45.351 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0)) in y 45.351 * [taylor]: Taking taylor expansion of 9.0 in y 45.351 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0) in y 45.351 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))))) in y 45.351 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)))) in y 45.351 * [taylor]: Taking taylor expansion of 1.0 in y 45.351 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))) in y 45.351 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) in y 45.351 * [taylor]: Taking taylor expansion of (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0) in y 45.351 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x))))))) in y 45.352 * [taylor]: Taking taylor expansion of (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x)))))) in y 45.352 * [taylor]: Taking taylor expansion of 1.0 in y 45.352 * [taylor]: Taking taylor expansion of (log (exp (* 4.0 (+ (log 1) (log x))))) in y 45.352 * [taylor]: Taking taylor expansion of (exp (* 4.0 (+ (log 1) (log x)))) in y 45.352 * [taylor]: Taking taylor expansion of (* 4.0 (+ (log 1) (log x))) in y 45.352 * [taylor]: Taking taylor expansion of 4.0 in y 45.352 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in y 45.352 * [taylor]: Taking taylor expansion of (log 1) in y 45.352 * [taylor]: Taking taylor expansion of 1 in y 45.352 * [taylor]: Taking taylor expansion of (log x) in y 45.352 * [taylor]: Taking taylor expansion of x in y 45.352 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 45.352 * [taylor]: Taking taylor expansion of (pow y 4) in y 45.352 * [taylor]: Taking taylor expansion of y in y 45.354 * [taylor]: Taking taylor expansion of 0 in y 45.356 * [taylor]: Taking taylor expansion of 0 in y 45.358 * [taylor]: Taking taylor expansion of 0 in y 45.362 * [taylor]: Taking taylor expansion of 0 in y 45.368 * [taylor]: Taking taylor expansion of 0 in y 45.376 * [taylor]: Taking taylor expansion of 0 in y 45.392 * [taylor]: Taking taylor expansion of 0 in y 45.393 * [approximate]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in (x y) around 0 45.393 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in y 45.393 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 45.393 * [taylor]: Taking taylor expansion of 9.0 in y 45.393 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 45.393 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 45.393 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 45.393 * [taylor]: Taking taylor expansion of 1.0 in y 45.393 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 45.393 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 45.393 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 45.393 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 45.393 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 45.393 * [taylor]: Taking taylor expansion of 4.0 in y 45.393 * [taylor]: Taking taylor expansion of (log x) in y 45.393 * [taylor]: Taking taylor expansion of x in y 45.394 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 45.394 * [taylor]: Taking taylor expansion of (pow y 4) in y 45.394 * [taylor]: Taking taylor expansion of y in y 45.394 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 45.394 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 45.394 * [taylor]: Taking taylor expansion of 9.0 in x 45.394 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 45.394 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 45.394 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 45.394 * [taylor]: Taking taylor expansion of 1.0 in x 45.394 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 45.394 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 45.394 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 45.394 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 45.394 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 45.394 * [taylor]: Taking taylor expansion of 4.0 in x 45.394 * [taylor]: Taking taylor expansion of (log x) in x 45.394 * [taylor]: Taking taylor expansion of x in x 45.395 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 45.395 * [taylor]: Taking taylor expansion of (pow y 4) in x 45.395 * [taylor]: Taking taylor expansion of y in x 45.395 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in x 45.395 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 45.395 * [taylor]: Taking taylor expansion of 9.0 in x 45.395 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 45.395 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 45.395 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 45.395 * [taylor]: Taking taylor expansion of 1.0 in x 45.395 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 45.395 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 45.395 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 45.395 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 45.395 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 45.395 * [taylor]: Taking taylor expansion of 4.0 in x 45.395 * [taylor]: Taking taylor expansion of (log x) in x 45.395 * [taylor]: Taking taylor expansion of x in x 45.396 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 45.396 * [taylor]: Taking taylor expansion of (pow y 4) in x 45.396 * [taylor]: Taking taylor expansion of y in x 45.396 * [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 45.397 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0)) in y 45.397 * [taylor]: Taking taylor expansion of 9.0 in y 45.397 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) 1.0) in y 45.397 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))))) in y 45.397 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)))) in y 45.397 * [taylor]: Taking taylor expansion of 1.0 in y 45.397 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0))) in y 45.397 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0)) in y 45.397 * [taylor]: Taking taylor expansion of (pow (exp (* 4.0 (+ (log 1) (log x)))) 1.0) in y 45.397 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x))))))) in y 45.397 * [taylor]: Taking taylor expansion of (* 1.0 (log (exp (* 4.0 (+ (log 1) (log x)))))) in y 45.397 * [taylor]: Taking taylor expansion of 1.0 in y 45.397 * [taylor]: Taking taylor expansion of (log (exp (* 4.0 (+ (log 1) (log x))))) in y 45.397 * [taylor]: Taking taylor expansion of (exp (* 4.0 (+ (log 1) (log x)))) in y 45.397 * [taylor]: Taking taylor expansion of (* 4.0 (+ (log 1) (log x))) in y 45.397 * [taylor]: Taking taylor expansion of 4.0 in y 45.397 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in y 45.397 * [taylor]: Taking taylor expansion of (log 1) in y 45.397 * [taylor]: Taking taylor expansion of 1 in y 45.397 * [taylor]: Taking taylor expansion of (log x) in y 45.397 * [taylor]: Taking taylor expansion of x in y 45.398 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 45.398 * [taylor]: Taking taylor expansion of (pow y 4) in y 45.398 * [taylor]: Taking taylor expansion of y in y 45.399 * [taylor]: Taking taylor expansion of 0 in y 45.401 * [taylor]: Taking taylor expansion of 0 in y 45.404 * [taylor]: Taking taylor expansion of 0 in y 45.408 * [taylor]: Taking taylor expansion of 0 in y 45.414 * [taylor]: Taking taylor expansion of 0 in y 45.423 * [taylor]: Taking taylor expansion of 0 in y 45.435 * [taylor]: Taking taylor expansion of 0 in y 45.435 * * * [progress]: simplifying candidates 45.436 * [simplify]: Simplifying using # : (/ (exp (* 9.0 (pow x 4.0))) (exp (pow y 4.0))) (log (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (exp (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (* (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0)))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (* (* (- (* 9.0 (pow x 4.0)) (pow y 4.0)) (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (- (pow (* 9.0 (pow x 4.0)) 3) (pow (pow y 4.0) 3)) (+ (* (* 9.0 (pow x 4.0)) (* 9.0 (pow x 4.0))) (+ (* (pow y 4.0) (pow y 4.0)) (* (* 9.0 (pow x 4.0)) (pow y 4.0)))) (neg (pow y 4.0)) (- (* (* 9.0 (pow x 4.0)) (* 9.0 (pow x 4.0))) (* (pow y 4.0) (pow y 4.0))) (+ (* 9.0 (pow x 4.0)) (pow y 4.0)) (neg (pow y 4.0)) (log (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))) (exp (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))) (cbrt (pow (* (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0)))) 3)) (cbrt (pow (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) 3)) (cbrt (pow (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) 3)) (cbrt (pow (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) 3)) (cbrt (pow 1 3)) (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3)) (cbrt (* (- (* 9.0 (pow x 4.0)) (pow y 4.0)) (- (* 9.0 (pow x 4.0)) (pow y 4.0)))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (cbrt (* (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3)) (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3)))) (cbrt (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))) (cbrt (pow (* (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0)))) 3)) (cbrt (pow (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) 3)) (cbrt (pow (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) 3)) (cbrt (pow (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) 3)) (cbrt (pow 1 3)) (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3)) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (cbrt (* (- (* 9.0 (pow x 4.0)) (pow y 4.0)) (- (* 9.0 (pow x 4.0)) (pow y 4.0)))) (cbrt (sqrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))) (cbrt (sqrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))) (cbrt 1) (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3)) (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) (/ 3 2))) (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) (/ 3 2))) (cbrt (pow (- (pow (* 9.0 (pow x 4.0)) 3) (pow (pow y 4.0) 3)) 3)) (cbrt (pow (+ (* (* 9.0 (pow x 4.0)) (* 9.0 (pow x 4.0))) (+ (* (pow y 4.0) (pow y 4.0)) (* (* 9.0 (pow x 4.0)) (pow y 4.0)))) 3)) (cbrt (pow (- (* (* 9.0 (pow x 4.0)) (* 9.0 (pow x 4.0))) (* (pow y 4.0) (pow y 4.0))) 3)) (cbrt (pow (+ (* 9.0 (pow x 4.0)) (pow y 4.0)) 3)) (* (cbrt (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))) (cbrt (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3)))) (cbrt (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))) (* (* (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3)) (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))) (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))) (sqrt (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))) (sqrt (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 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)) 45.437 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 45.439 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 45.442 * * [simplify]: iteration 2 : 42 enodes (cost 10 ) 45.449 * * [simplify]: iteration 3 : 105 enodes (cost 10 ) 45.470 * * [simplify]: iteration 4 : 300 enodes (cost 10 ) 45.618 * * [simplify]: iteration 5 : 1073 enodes (cost 10 ) 46.442 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 46.443 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 46.444 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 46.447 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 46.452 * * [simplify]: iteration 3 : 76 enodes (cost 10 ) 46.471 * * [simplify]: iteration 4 : 180 enodes (cost 10 ) 46.535 * * [simplify]: iteration 5 : 512 enodes (cost 10 ) 46.977 * * [simplify]: iteration 6 : 1742 enodes (cost 10 ) 48.393 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 48.394 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 48.400 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 48.403 * * [simplify]: iteration 2 : 45 enodes (cost 10 ) 48.410 * * [simplify]: iteration 3 : 109 enodes (cost 10 ) 48.432 * * [simplify]: iteration 4 : 307 enodes (cost 10 ) 48.574 * * [simplify]: iteration 5 : 1091 enodes (cost 10 ) 49.542 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 49.543 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 49.544 * * [simplify]: iteration 1 : 19 enodes (cost 21 ) 49.547 * * [simplify]: iteration 2 : 35 enodes (cost 21 ) 49.553 * * [simplify]: iteration 3 : 77 enodes (cost 21 ) 49.568 * * [simplify]: iteration 4 : 181 enodes (cost 21 ) 49.638 * * [simplify]: iteration 5 : 510 enodes (cost 21 ) 50.063 * * [simplify]: iteration 6 : 1718 enodes (cost 21 ) 51.487 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 51.487 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 51.489 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 51.491 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 51.497 * * [simplify]: iteration 3 : 76 enodes (cost 10 ) 51.518 * * [simplify]: iteration 4 : 180 enodes (cost 10 ) 51.584 * * [simplify]: iteration 5 : 512 enodes (cost 10 ) 52.019 * * [simplify]: iteration 6 : 1742 enodes (cost 10 ) 53.457 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 53.458 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 53.464 * * [simplify]: iteration 1 : 20 enodes (cost 29 ) 53.467 * * [simplify]: iteration 2 : 50 enodes (cost 11 ) 53.479 * * [simplify]: iteration 3 : 182 enodes (cost 11 ) 53.560 * * [simplify]: iteration 4 : 905 enodes (cost 11 ) 54.403 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 54.404 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 54.405 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 54.407 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 54.414 * * [simplify]: iteration 3 : 76 enodes (cost 10 ) 54.429 * * [simplify]: iteration 4 : 180 enodes (cost 10 ) 54.500 * * [simplify]: iteration 5 : 512 enodes (cost 10 ) 54.954 * * [simplify]: iteration 6 : 1742 enodes (cost 10 ) 56.388 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 56.389 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 56.390 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 56.393 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 56.398 * * [simplify]: iteration 3 : 76 enodes (cost 10 ) 56.414 * * [simplify]: iteration 4 : 180 enodes (cost 10 ) 56.482 * * [simplify]: iteration 5 : 512 enodes (cost 10 ) 56.933 * * [simplify]: iteration 6 : 1742 enodes (cost 10 ) 58.576 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 58.576 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 58.583 * * [simplify]: iteration 1 : 35 enodes (cost 13 ) 58.590 * * [simplify]: iteration 2 : 114 enodes (cost 13 ) 58.629 * * [simplify]: iteration 3 : 394 enodes (cost 13 ) 58.923 * * [simplify]: iteration 4 : 1580 enodes (cost 13 ) 60.387 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 60.388 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 60.390 * * [simplify]: iteration 1 : 37 enodes (cost 25 ) 60.398 * * [simplify]: iteration 2 : 103 enodes (cost 23 ) 60.427 * * [simplify]: iteration 3 : 303 enodes (cost 21 ) 60.610 * * [simplify]: iteration 4 : 1071 enodes (cost 21 ) 62.333 * * [simplify]: iteration 5 : 4743 enodes (cost 21 ) 64.261 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 64.261 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 64.262 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 64.263 * * [simplify]: iteration 2 : 16 enodes (cost 4 ) 64.265 * * [simplify]: iteration 3 : 41 enodes (cost 4 ) 64.273 * * [simplify]: iteration 4 : 107 enodes (cost 4 ) 64.309 * * [simplify]: iteration 5 : 292 enodes (cost 4 ) 64.538 * * [simplify]: iteration 6 : 972 enodes (cost 4 ) 66.813 * * [simplify]: iteration 7 : 3784 enodes (cost 4 ) 68.960 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 68.960 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 68.967 * * [simplify]: iteration 1 : 31 enodes (cost 17 ) 68.973 * * [simplify]: iteration 2 : 78 enodes (cost 15 ) 68.997 * * [simplify]: iteration 3 : 216 enodes (cost 15 ) 69.104 * * [simplify]: iteration 4 : 716 enodes (cost 15 ) 69.867 * * [simplify]: iteration 5 : 2858 enodes (cost 15 ) 71.689 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 71.690 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 71.691 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 71.694 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 71.698 * * [simplify]: iteration 3 : 63 enodes (cost 9 ) 71.711 * * [simplify]: iteration 4 : 152 enodes (cost 9 ) 71.766 * * [simplify]: iteration 5 : 407 enodes (cost 9 ) 72.054 * * [simplify]: iteration 6 : 1307 enodes (cost 9 ) 74.758 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 74.758 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 74.759 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 74.760 * * [simplify]: iteration 2 : 16 enodes (cost 4 ) 74.763 * * [simplify]: iteration 3 : 41 enodes (cost 4 ) 74.770 * * [simplify]: iteration 4 : 107 enodes (cost 4 ) 74.809 * * [simplify]: iteration 5 : 292 enodes (cost 4 ) 75.036 * * [simplify]: iteration 6 : 972 enodes (cost 4 ) 77.329 * * [simplify]: iteration 7 : 3784 enodes (cost 4 ) 79.709 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 79.710 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 79.712 * * [simplify]: iteration 1 : 28 enodes (cost 10 ) 79.716 * * [simplify]: iteration 2 : 62 enodes (cost 10 ) 79.728 * * [simplify]: iteration 3 : 200 enodes (cost 10 ) 79.808 * * [simplify]: iteration 4 : 955 enodes (cost 10 ) 80.741 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 80.742 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 80.743 * * [simplify]: iteration 1 : 28 enodes (cost 10 ) 80.748 * * [simplify]: iteration 2 : 67 enodes (cost 10 ) 80.767 * * [simplify]: iteration 3 : 221 enodes (cost 10 ) 80.853 * * [simplify]: iteration 4 : 1029 enodes (cost 10 ) 81.756 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 81.757 * * [simplify]: iteration 0 : 13 enodes (cost 24 ) 81.759 * * [simplify]: iteration 1 : 31 enodes (cost 21 ) 81.769 * * [simplify]: iteration 2 : 68 enodes (cost 13 ) 81.781 * * [simplify]: iteration 3 : 154 enodes (cost 13 ) 81.826 * * [simplify]: iteration 4 : 472 enodes (cost 13 ) 82.114 * * [simplify]: iteration 5 : 2207 enodes (cost 12 ) 83.330 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 83.331 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 83.333 * * [simplify]: iteration 1 : 28 enodes (cost 10 ) 83.336 * * [simplify]: iteration 2 : 50 enodes (cost 10 ) 83.350 * * [simplify]: iteration 3 : 102 enodes (cost 10 ) 83.369 * * [simplify]: iteration 4 : 227 enodes (cost 10 ) 83.448 * * [simplify]: iteration 5 : 613 enodes (cost 10 ) 83.935 * * [simplify]: iteration 6 : 2031 enodes (cost 10 ) 85.382 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 85.382 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 85.384 * * [simplify]: iteration 1 : 28 enodes (cost 10 ) 85.388 * * [simplify]: iteration 2 : 50 enodes (cost 10 ) 85.400 * * [simplify]: iteration 3 : 111 enodes (cost 10 ) 85.422 * * [simplify]: iteration 4 : 280 enodes (cost 10 ) 85.539 * * [simplify]: iteration 5 : 922 enodes (cost 10 ) 86.534 * * [simplify]: iteration 6 : 3457 enodes (cost 10 ) 88.224 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 88.224 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 88.226 * * [simplify]: iteration 1 : 28 enodes (cost 10 ) 88.234 * * [simplify]: iteration 2 : 50 enodes (cost 10 ) 88.242 * * [simplify]: iteration 3 : 111 enodes (cost 10 ) 88.264 * * [simplify]: iteration 4 : 280 enodes (cost 10 ) 88.382 * * [simplify]: iteration 5 : 922 enodes (cost 10 ) 89.385 * * [simplify]: iteration 6 : 3457 enodes (cost 10 ) 91.082 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 91.083 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 91.084 * * [simplify]: iteration 1 : 14 enodes (cost 1 ) 91.085 * * [simplify]: iteration 2 : 18 enodes (cost 1 ) 91.085 * * [simplify]: iteration done : 18 enodes (cost 1 ) 91.086 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 91.087 * * [simplify]: iteration 1 : 27 enodes (cost 9 ) 91.091 * * [simplify]: iteration 2 : 61 enodes (cost 9 ) 91.103 * * [simplify]: iteration 3 : 199 enodes (cost 9 ) 91.184 * * [simplify]: iteration 4 : 942 enodes (cost 9 ) 92.097 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 92.097 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 92.099 * * [simplify]: iteration 1 : 19 enodes (cost 20 ) 92.102 * * [simplify]: iteration 2 : 41 enodes (cost 20 ) 92.109 * * [simplify]: iteration 3 : 124 enodes (cost 20 ) 92.148 * * [simplify]: iteration 4 : 483 enodes (cost 20 ) 92.533 * * [simplify]: iteration 5 : 2448 enodes (cost 20 ) 94.074 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 94.075 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 94.076 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 94.078 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 94.084 * * [simplify]: iteration 3 : 76 enodes (cost 10 ) 94.104 * * [simplify]: iteration 4 : 180 enodes (cost 10 ) 94.170 * * [simplify]: iteration 5 : 512 enodes (cost 10 ) 94.608 * * [simplify]: iteration 6 : 1742 enodes (cost 10 ) 96.044 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 96.045 * * [simplify]: iteration 0 : 13 enodes (cost 26 ) 96.046 * * [simplify]: iteration 1 : 28 enodes (cost 20 ) 96.050 * * [simplify]: iteration 2 : 62 enodes (cost 20 ) 96.063 * * [simplify]: iteration 3 : 200 enodes (cost 20 ) 96.147 * * [simplify]: iteration 4 : 954 enodes (cost 20 ) 97.277 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 97.278 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 97.279 * * [simplify]: iteration 1 : 28 enodes (cost 10 ) 97.284 * * [simplify]: iteration 2 : 62 enodes (cost 10 ) 97.296 * * [simplify]: iteration 3 : 200 enodes (cost 10 ) 97.377 * * [simplify]: iteration 4 : 955 enodes (cost 10 ) 98.313 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 98.313 * * [simplify]: iteration 0 : 13 enodes (cost 24 ) 98.315 * * [simplify]: iteration 1 : 31 enodes (cost 21 ) 98.320 * * [simplify]: iteration 2 : 68 enodes (cost 13 ) 98.337 * * [simplify]: iteration 3 : 154 enodes (cost 13 ) 98.378 * * [simplify]: iteration 4 : 472 enodes (cost 13 ) 98.672 * * [simplify]: iteration 5 : 2207 enodes (cost 12 ) 99.899 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 99.900 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 99.902 * * [simplify]: iteration 1 : 28 enodes (cost 10 ) 99.905 * * [simplify]: iteration 2 : 50 enodes (cost 10 ) 99.913 * * [simplify]: iteration 3 : 102 enodes (cost 10 ) 99.938 * * [simplify]: iteration 4 : 227 enodes (cost 10 ) 100.018 * * [simplify]: iteration 5 : 613 enodes (cost 10 ) 100.511 * * [simplify]: iteration 6 : 2031 enodes (cost 10 ) 101.988 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 101.989 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 101.991 * * [simplify]: iteration 1 : 28 enodes (cost 10 ) 101.994 * * [simplify]: iteration 2 : 50 enodes (cost 10 ) 102.002 * * [simplify]: iteration 3 : 111 enodes (cost 10 ) 102.028 * * [simplify]: iteration 4 : 280 enodes (cost 10 ) 102.143 * * [simplify]: iteration 5 : 922 enodes (cost 10 ) 103.149 * * [simplify]: iteration 6 : 3457 enodes (cost 10 ) 104.862 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 104.863 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 104.865 * * [simplify]: iteration 1 : 28 enodes (cost 10 ) 104.869 * * [simplify]: iteration 2 : 50 enodes (cost 10 ) 104.877 * * [simplify]: iteration 3 : 111 enodes (cost 10 ) 104.904 * * [simplify]: iteration 4 : 280 enodes (cost 10 ) 105.024 * * [simplify]: iteration 5 : 922 enodes (cost 10 ) 106.039 * * [simplify]: iteration 6 : 3457 enodes (cost 10 ) 107.726 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 107.726 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 107.727 * * [simplify]: iteration 1 : 14 enodes (cost 1 ) 107.728 * * [simplify]: iteration 2 : 18 enodes (cost 1 ) 107.728 * * [simplify]: iteration done : 18 enodes (cost 1 ) 107.729 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 107.730 * * [simplify]: iteration 1 : 27 enodes (cost 9 ) 107.739 * * [simplify]: iteration 2 : 61 enodes (cost 9 ) 107.751 * * [simplify]: iteration 3 : 199 enodes (cost 9 ) 107.831 * * [simplify]: iteration 4 : 942 enodes (cost 9 ) 108.733 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 108.734 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 108.735 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 108.738 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 108.744 * * [simplify]: iteration 3 : 76 enodes (cost 10 ) 108.759 * * [simplify]: iteration 4 : 180 enodes (cost 10 ) 108.826 * * [simplify]: iteration 5 : 512 enodes (cost 10 ) 109.270 * * [simplify]: iteration 6 : 1742 enodes (cost 10 ) 110.719 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 110.720 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 110.721 * * [simplify]: iteration 1 : 19 enodes (cost 20 ) 110.724 * * [simplify]: iteration 2 : 41 enodes (cost 20 ) 110.732 * * [simplify]: iteration 3 : 124 enodes (cost 20 ) 110.772 * * [simplify]: iteration 4 : 483 enodes (cost 20 ) 111.158 * * [simplify]: iteration 5 : 2448 enodes (cost 20 ) 112.701 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 112.702 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 112.703 * * [simplify]: iteration 1 : 28 enodes (cost 13 ) 112.708 * * [simplify]: iteration 2 : 63 enodes (cost 13 ) 112.720 * * [simplify]: iteration 3 : 201 enodes (cost 13 ) 112.801 * * [simplify]: iteration 4 : 961 enodes (cost 13 ) 113.934 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 113.935 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 113.936 * * [simplify]: iteration 1 : 28 enodes (cost 13 ) 113.940 * * [simplify]: iteration 2 : 63 enodes (cost 13 ) 113.961 * * [simplify]: iteration 3 : 201 enodes (cost 13 ) 114.043 * * [simplify]: iteration 4 : 961 enodes (cost 13 ) 114.991 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 114.991 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 114.992 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 114.992 * * [simplify]: iteration done : 4 enodes (cost 1 ) 114.993 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 114.994 * * [simplify]: iteration 1 : 27 enodes (cost 9 ) 114.998 * * [simplify]: iteration 2 : 61 enodes (cost 9 ) 115.010 * * [simplify]: iteration 3 : 199 enodes (cost 9 ) 115.097 * * [simplify]: iteration 4 : 942 enodes (cost 9 ) 116.013 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 116.014 * * [simplify]: iteration 0 : 13 enodes (cost 14 ) 116.015 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 116.019 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 116.025 * * [simplify]: iteration 3 : 100 enodes (cost 12 ) 116.051 * * [simplify]: iteration 4 : 225 enodes (cost 12 ) 116.131 * * [simplify]: iteration 5 : 600 enodes (cost 12 ) 116.628 * * [simplify]: iteration 6 : 2012 enodes (cost 12 ) 117.899 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 117.899 * * [simplify]: iteration 0 : 13 enodes (cost 14 ) 117.901 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 117.905 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 117.917 * * [simplify]: iteration 3 : 100 enodes (cost 12 ) 117.936 * * [simplify]: iteration 4 : 225 enodes (cost 12 ) 118.016 * * [simplify]: iteration 5 : 600 enodes (cost 12 ) 118.516 * * [simplify]: iteration 6 : 2012 enodes (cost 12 ) 119.765 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 119.766 * * [simplify]: iteration 0 : 13 enodes (cost 16 ) 119.768 * * [simplify]: iteration 1 : 42 enodes (cost 13 ) 119.776 * * [simplify]: iteration 2 : 136 enodes (cost 13 ) 119.824 * * [simplify]: iteration 3 : 606 enodes (cost 13 ) 120.505 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 120.506 * * [simplify]: iteration 0 : 15 enodes (cost 32 ) 120.508 * * [simplify]: iteration 1 : 47 enodes (cost 25 ) 120.518 * * [simplify]: iteration 2 : 147 enodes (cost 23 ) 120.569 * * [simplify]: iteration 3 : 673 enodes (cost 21 ) 121.195 * * [simplify]: iteration done : 5001 enodes (cost 21 ) 121.196 * * [simplify]: iteration 0 : 13 enodes (cost 22 ) 121.199 * * [simplify]: iteration 1 : 41 enodes (cost 17 ) 121.207 * * [simplify]: iteration 2 : 120 enodes (cost 15 ) 121.247 * * [simplify]: iteration 3 : 498 enodes (cost 15 ) 121.723 * * [simplify]: iteration 4 : 3784 enodes (cost 15 ) 123.847 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 123.848 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 123.849 * * [simplify]: iteration 1 : 26 enodes (cost 9 ) 123.853 * * [simplify]: iteration 2 : 60 enodes (cost 9 ) 123.866 * * [simplify]: iteration 3 : 179 enodes (cost 9 ) 123.937 * * [simplify]: iteration 4 : 783 enodes (cost 9 ) 124.921 * * [simplify]: iteration 5 : 4595 enodes (cost 9 ) 127.588 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 127.588 * * [simplify]: iteration 0 : 13 enodes (cost 27 ) 127.590 * * [simplify]: iteration 1 : 29 enodes (cost 21 ) 127.594 * * [simplify]: iteration 2 : 63 enodes (cost 21 ) 127.607 * * [simplify]: iteration 3 : 201 enodes (cost 21 ) 127.687 * * [simplify]: iteration 4 : 952 enodes (cost 21 ) 128.600 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 128.600 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 128.602 * * [simplify]: iteration 1 : 28 enodes (cost 10 ) 128.606 * * [simplify]: iteration 2 : 62 enodes (cost 10 ) 128.619 * * [simplify]: iteration 3 : 200 enodes (cost 10 ) 128.705 * * [simplify]: iteration 4 : 955 enodes (cost 10 ) 129.845 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 129.846 * * [simplify]: iteration 0 : 13 enodes (cost 38 ) 129.848 * * [simplify]: iteration 1 : 27 enodes (cost 11 ) 129.852 * * [simplify]: iteration 2 : 61 enodes (cost 11 ) 129.864 * * [simplify]: iteration 3 : 199 enodes (cost 11 ) 129.945 * * [simplify]: iteration 4 : 943 enodes (cost 11 ) 130.869 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 130.870 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 130.872 * * [simplify]: iteration 1 : 28 enodes (cost 10 ) 130.876 * * [simplify]: iteration 2 : 62 enodes (cost 10 ) 130.888 * * [simplify]: iteration 3 : 200 enodes (cost 10 ) 130.975 * * [simplify]: iteration 4 : 955 enodes (cost 10 ) 131.908 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 131.908 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 131.915 * * [simplify]: iteration 1 : 28 enodes (cost 10 ) 131.919 * * [simplify]: iteration 2 : 62 enodes (cost 10 ) 131.931 * * [simplify]: iteration 3 : 200 enodes (cost 10 ) 132.013 * * [simplify]: iteration 4 : 955 enodes (cost 10 ) 132.958 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 132.959 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 132.959 * * [simplify]: iteration done : 1 enodes (cost 1 ) 132.960 * * [simplify]: iteration 0 : 19 enodes (cost 22 ) 132.962 * * [simplify]: iteration 1 : 46 enodes (cost 20 ) 132.969 * * [simplify]: iteration 2 : 85 enodes (cost 18 ) 132.989 * * [simplify]: iteration 3 : 187 enodes (cost 17 ) 133.035 * * [simplify]: iteration 4 : 429 enodes (cost 16 ) 133.245 * * [simplify]: iteration 5 : 1086 enodes (cost 16 ) 133.915 * * [simplify]: iteration 6 : 2827 enodes (cost 16 ) 135.153 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 135.154 * * [simplify]: iteration 0 : 20 enodes (cost 22 ) 135.157 * * [simplify]: iteration 1 : 47 enodes (cost 21 ) 135.163 * * [simplify]: iteration 2 : 84 enodes (cost 19 ) 135.178 * * [simplify]: iteration 3 : 203 enodes (cost 17 ) 135.231 * * [simplify]: iteration 4 : 472 enodes (cost 17 ) 135.451 * * [simplify]: iteration 5 : 1164 enodes (cost 17 ) 136.119 * * [simplify]: iteration 6 : 2917 enodes (cost 17 ) 137.286 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 137.286 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 137.287 * * [simplify]: iteration done : 1 enodes (cost 1 ) 137.287 * * [simplify]: iteration 0 : 19 enodes (cost 22 ) 137.290 * * [simplify]: iteration 1 : 46 enodes (cost 20 ) 137.297 * * [simplify]: iteration 2 : 85 enodes (cost 18 ) 137.312 * * [simplify]: iteration 3 : 187 enodes (cost 17 ) 137.361 * * [simplify]: iteration 4 : 429 enodes (cost 16 ) 137.569 * * [simplify]: iteration 5 : 1086 enodes (cost 16 ) 138.242 * * [simplify]: iteration 6 : 2827 enodes (cost 16 ) 139.483 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 139.484 * * [simplify]: iteration 0 : 20 enodes (cost 22 ) 139.487 * * [simplify]: iteration 1 : 47 enodes (cost 21 ) 139.494 * * [simplify]: iteration 2 : 84 enodes (cost 19 ) 139.509 * * [simplify]: iteration 3 : 203 enodes (cost 17 ) 139.561 * * [simplify]: iteration 4 : 472 enodes (cost 17 ) 139.783 * * [simplify]: iteration 5 : 1164 enodes (cost 17 ) 140.464 * * [simplify]: iteration 6 : 2917 enodes (cost 17 ) 141.617 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 141.617 * [simplify]: Simplified to: (exp (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (log (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (exp (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (* (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0)))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (- (pow (* 9.0 (pow x 4.0)) 3) (pow (pow y 4.0) 3)) (+ (pow y (* 2 4.0)) (* (* 9.0 (pow x 4.0)) (+ (pow y 4.0) (* 9.0 (pow x 4.0))))) (neg (pow y 4.0)) (- (* (* 9.0 9.0) (pow x (* 2 4.0))) (pow y (* 2 4.0))) (+ (* 9.0 (pow x 4.0)) (pow y 4.0)) (neg (pow y 4.0)) (log (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (exp (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (pow (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) 2) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) 1 (- (* 9.0 (pow x 4.0)) (pow y 4.0)) (cbrt (* (- (* 9.0 (pow x 4.0)) (pow y 4.0)) (- (* 9.0 (pow x 4.0)) (pow y 4.0)))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (cbrt (* (- (* 9.0 (pow x 4.0)) (pow y 4.0)) (- (* 9.0 (pow x 4.0)) (pow y 4.0)))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (pow (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) 2) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) 1 (- (* 9.0 (pow x 4.0)) (pow y 4.0)) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (cbrt (* (- (* 9.0 (pow x 4.0)) (pow y 4.0)) (- (* 9.0 (pow x 4.0)) (pow y 4.0)))) (cbrt (sqrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))) (cbrt (sqrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))) 1 (- (* 9.0 (pow x 4.0)) (pow y 4.0)) (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3/2)) (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3/2)) (- (pow (* 9.0 (pow x 4.0)) 3) (pow (pow y 4.0) 3)) (+ (* (* 9.0 (pow x 4.0)) (+ (pow y 4.0) (* 9.0 (pow x 4.0)))) (pow y (* 2 4.0))) (- (* (* 9.0 9.0) (pow x (* 2 4.0))) (pow y (* 2 4.0))) (+ (pow y 4.0) (* 9.0 (pow x 4.0))) (* (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0)))) (cbrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (sqrt (- (* 9.0 (pow x 4.0)) (pow y 4.0))) 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)) 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)) 141.618 * * * [progress]: adding candidates to table 141.712 * [progress]: [Phase 3 of 3] Extracting. 141.716 * [simplify]: Simplifying using # : (+ (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3)) (* 2.0 (* y y))) 141.716 * * [simplify]: iteration 0 : 15 enodes (cost 18 ) 141.717 * * [simplify]: iteration 1 : 18 enodes (cost 18 ) 141.718 * * [simplify]: iteration done : 18 enodes (cost 18 ) 141.718 * [simplify]: Simplified to: (+ (cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3)) (* 2.0 (* y y))) 142.833 * [regime-testing]: End program error score: 51.99999982801125