0.705 * [progress]: [Phase 1 of 3] Setting up. 0.005 * * * [progress]: [1/2] Preparing points 0.152 * * * [progress]: [2/2] Setting up program. 0.156 * [progress]: [Phase 2 of 3] Improving. 0.156 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.158 * [simplify]: Simplifying: (- (pow x 4) (pow y 4)) 0.159 * * [simplify]: iteration 0: 6 enodes 0.164 * * [simplify]: iteration 1: 14 enodes 0.170 * * [simplify]: iteration 2: 34 enodes 0.178 * * [simplify]: iteration 3: 72 enodes 0.226 * * [simplify]: iteration 4: 233 enodes 0.549 * * [simplify]: iteration 5: 638 enodes 0.991 * * [simplify]: iteration 6: 1743 enodes 1.463 * * [simplify]: iteration 7: 2000 enodes 1.829 * * [simplify]: iteration complete: 2000 enodes 1.830 * * [simplify]: Extracting #0: cost 1 inf + 0 1.831 * * [simplify]: Extracting #1: cost 88 inf + 0 1.832 * * [simplify]: Extracting #2: cost 315 inf + 0 1.836 * * [simplify]: Extracting #3: cost 423 inf + 2194 1.851 * * [simplify]: Extracting #4: cost 236 inf + 18489 1.871 * * [simplify]: Extracting #5: cost 22 inf + 51292 1.893 * * [simplify]: Extracting #6: cost 0 inf + 56366 1.916 * [simplify]: Simplified to: (- (* (* x x) (* x x)) (* (* y y) (* y y))) 1.929 * * [progress]: iteration 1 / 4 1.929 * * * [progress]: picking best candidate 1.934 * * * * [pick]: Picked # 1.934 * * * [progress]: localizing error 1.956 * * * [progress]: generating rewritten candidates 1.956 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.977 * * * [progress]: generating series expansions 1.977 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.985 * [backup-simplify]: Simplify (- (pow x 4) (pow y 4)) into (- (pow x 4) (pow y 4)) 1.985 * [approximate]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0 1.986 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y 1.986 * [taylor]: Taking taylor expansion of (pow x 4) in y 1.986 * [taylor]: Taking taylor expansion of x in y 1.986 * [backup-simplify]: Simplify x into x 1.986 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.986 * [taylor]: Taking taylor expansion of y in y 1.986 * [backup-simplify]: Simplify 0 into 0 1.986 * [backup-simplify]: Simplify 1 into 1 1.986 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 1.986 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.986 * [taylor]: Taking taylor expansion of x in x 1.986 * [backup-simplify]: Simplify 0 into 0 1.986 * [backup-simplify]: Simplify 1 into 1 1.987 * [taylor]: Taking taylor expansion of (pow y 4) in x 1.987 * [taylor]: Taking taylor expansion of y in x 1.987 * [backup-simplify]: Simplify y into y 1.987 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 1.987 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.987 * [taylor]: Taking taylor expansion of x in x 1.987 * [backup-simplify]: Simplify 0 into 0 1.987 * [backup-simplify]: Simplify 1 into 1 1.987 * [taylor]: Taking taylor expansion of (pow y 4) in x 1.987 * [taylor]: Taking taylor expansion of y in x 1.987 * [backup-simplify]: Simplify y into y 1.987 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.987 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1.987 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4)) 1.988 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4)) 1.988 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y 1.988 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.988 * [taylor]: Taking taylor expansion of y in y 1.988 * [backup-simplify]: Simplify 0 into 0 1.988 * [backup-simplify]: Simplify 1 into 1 1.988 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1.988 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1.988 * [backup-simplify]: Simplify (- 0) into 0 1.989 * [backup-simplify]: Simplify (+ 0 0) into 0 1.989 * [taylor]: Taking taylor expansion of 0 in y 1.989 * [backup-simplify]: Simplify 0 into 0 1.989 * [backup-simplify]: Simplify 0 into 0 1.989 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1.990 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1.990 * [backup-simplify]: Simplify (- 0) into 0 1.990 * [backup-simplify]: Simplify (+ 0 0) into 0 1.990 * [taylor]: Taking taylor expansion of 0 in y 1.990 * [backup-simplify]: Simplify 0 into 0 1.990 * [backup-simplify]: Simplify 0 into 0 1.990 * [backup-simplify]: Simplify 0 into 0 1.991 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 1.992 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 1.992 * [backup-simplify]: Simplify (- 0) into 0 1.992 * [backup-simplify]: Simplify (+ 0 0) into 0 1.992 * [taylor]: Taking taylor expansion of 0 in y 1.992 * [backup-simplify]: Simplify 0 into 0 1.992 * [backup-simplify]: Simplify 0 into 0 1.992 * [backup-simplify]: Simplify 0 into 0 1.992 * [backup-simplify]: Simplify 0 into 0 1.992 * [backup-simplify]: Simplify 0 into 0 1.992 * [backup-simplify]: Simplify (- (pow (/ 1 x) 4) (pow (/ 1 y) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1.992 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0 1.993 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 1.993 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 1.993 * [taylor]: Taking taylor expansion of (pow x 4) in y 1.993 * [taylor]: Taking taylor expansion of x in y 1.993 * [backup-simplify]: Simplify x into x 1.993 * [backup-simplify]: Simplify (* x x) into (pow x 2) 1.993 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 1.993 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 1.993 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 1.993 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.993 * [taylor]: Taking taylor expansion of y in y 1.993 * [backup-simplify]: Simplify 0 into 0 1.993 * [backup-simplify]: Simplify 1 into 1 1.993 * [backup-simplify]: Simplify (* 1 1) into 1 1.993 * [backup-simplify]: Simplify (* 1 1) into 1 1.994 * [backup-simplify]: Simplify (/ 1 1) into 1 1.994 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1.994 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.994 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.994 * [taylor]: Taking taylor expansion of x in x 1.994 * [backup-simplify]: Simplify 0 into 0 1.994 * [backup-simplify]: Simplify 1 into 1 1.994 * [backup-simplify]: Simplify (* 1 1) into 1 1.994 * [backup-simplify]: Simplify (* 1 1) into 1 1.995 * [backup-simplify]: Simplify (/ 1 1) into 1 1.995 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 1.995 * [taylor]: Taking taylor expansion of (pow y 4) in x 1.995 * [taylor]: Taking taylor expansion of y in x 1.995 * [backup-simplify]: Simplify y into y 1.995 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.995 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1.995 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1.995 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1.995 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.995 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.995 * [taylor]: Taking taylor expansion of x in x 1.995 * [backup-simplify]: Simplify 0 into 0 1.995 * [backup-simplify]: Simplify 1 into 1 1.995 * [backup-simplify]: Simplify (* 1 1) into 1 1.995 * [backup-simplify]: Simplify (* 1 1) into 1 1.996 * [backup-simplify]: Simplify (/ 1 1) into 1 1.996 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 1.996 * [taylor]: Taking taylor expansion of (pow y 4) in x 1.996 * [taylor]: Taking taylor expansion of y in x 1.996 * [backup-simplify]: Simplify y into y 1.996 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.996 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1.996 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1.996 * [backup-simplify]: Simplify (+ 1 0) into 1 1.996 * [taylor]: Taking taylor expansion of 1 in y 1.996 * [backup-simplify]: Simplify 1 into 1 1.997 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.997 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.998 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.998 * [backup-simplify]: Simplify (+ 0 0) into 0 1.998 * [taylor]: Taking taylor expansion of 0 in y 1.998 * [backup-simplify]: Simplify 0 into 0 1.999 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.999 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.000 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.000 * [backup-simplify]: Simplify (+ 0 0) into 0 2.000 * [taylor]: Taking taylor expansion of 0 in y 2.000 * [backup-simplify]: Simplify 0 into 0 2.001 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.001 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.002 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.002 * [backup-simplify]: Simplify (+ 0 0) into 0 2.002 * [taylor]: Taking taylor expansion of 0 in y 2.002 * [backup-simplify]: Simplify 0 into 0 2.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.004 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4))) 2.004 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4))) 2.005 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 2.005 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 2.005 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.005 * [taylor]: Taking taylor expansion of y in y 2.005 * [backup-simplify]: Simplify 0 into 0 2.005 * [backup-simplify]: Simplify 1 into 1 2.005 * [backup-simplify]: Simplify (* 1 1) into 1 2.005 * [backup-simplify]: Simplify (* 1 1) into 1 2.005 * [backup-simplify]: Simplify (/ 1 1) into 1 2.006 * [backup-simplify]: Simplify (- 1) into -1 2.006 * [backup-simplify]: Simplify -1 into -1 2.006 * [backup-simplify]: Simplify 1 into 1 2.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.008 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.008 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 2.008 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0 2.009 * [backup-simplify]: Simplify (- 0) into 0 2.009 * [backup-simplify]: Simplify (+ 0 0) into 0 2.009 * [taylor]: Taking taylor expansion of 0 in y 2.009 * [backup-simplify]: Simplify 0 into 0 2.009 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.010 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.010 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.011 * [backup-simplify]: Simplify (- 0) into 0 2.011 * [backup-simplify]: Simplify 0 into 0 2.011 * [backup-simplify]: Simplify 0 into 0 2.011 * [backup-simplify]: Simplify 0 into 0 2.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.013 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.013 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.014 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 2.014 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0 2.014 * [backup-simplify]: Simplify (- 0) into 0 2.015 * [backup-simplify]: Simplify (+ 0 0) into 0 2.015 * [taylor]: Taking taylor expansion of 0 in y 2.015 * [backup-simplify]: Simplify 0 into 0 2.015 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.016 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.016 * [backup-simplify]: Simplify (- 0) into 0 2.016 * [backup-simplify]: Simplify 0 into 0 2.017 * [backup-simplify]: Simplify 0 into 0 2.017 * [backup-simplify]: Simplify 0 into 0 2.017 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 4))) into (- (pow x 4) (pow y 4)) 2.017 * [backup-simplify]: Simplify (- (pow (/ 1 (- x)) 4) (pow (/ 1 (- y)) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2.017 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0 2.017 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 2.017 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 2.017 * [taylor]: Taking taylor expansion of (pow x 4) in y 2.017 * [taylor]: Taking taylor expansion of x in y 2.017 * [backup-simplify]: Simplify x into x 2.017 * [backup-simplify]: Simplify (* x x) into (pow x 2) 2.017 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 2.017 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 2.017 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 2.017 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.017 * [taylor]: Taking taylor expansion of y in y 2.017 * [backup-simplify]: Simplify 0 into 0 2.017 * [backup-simplify]: Simplify 1 into 1 2.018 * [backup-simplify]: Simplify (* 1 1) into 1 2.018 * [backup-simplify]: Simplify (* 1 1) into 1 2.018 * [backup-simplify]: Simplify (/ 1 1) into 1 2.018 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 2.018 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 2.018 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.018 * [taylor]: Taking taylor expansion of x in x 2.018 * [backup-simplify]: Simplify 0 into 0 2.018 * [backup-simplify]: Simplify 1 into 1 2.018 * [backup-simplify]: Simplify (* 1 1) into 1 2.019 * [backup-simplify]: Simplify (* 1 1) into 1 2.019 * [backup-simplify]: Simplify (/ 1 1) into 1 2.019 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 2.019 * [taylor]: Taking taylor expansion of (pow y 4) in x 2.019 * [taylor]: Taking taylor expansion of y in x 2.019 * [backup-simplify]: Simplify y into y 2.019 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.019 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 2.019 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 2.019 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 2.019 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 2.019 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.019 * [taylor]: Taking taylor expansion of x in x 2.020 * [backup-simplify]: Simplify 0 into 0 2.020 * [backup-simplify]: Simplify 1 into 1 2.020 * [backup-simplify]: Simplify (* 1 1) into 1 2.020 * [backup-simplify]: Simplify (* 1 1) into 1 2.021 * [backup-simplify]: Simplify (/ 1 1) into 1 2.021 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 2.021 * [taylor]: Taking taylor expansion of (pow y 4) in x 2.021 * [taylor]: Taking taylor expansion of y in x 2.021 * [backup-simplify]: Simplify y into y 2.021 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.021 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 2.021 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 2.022 * [backup-simplify]: Simplify (+ 1 0) into 1 2.022 * [taylor]: Taking taylor expansion of 1 in y 2.022 * [backup-simplify]: Simplify 1 into 1 2.022 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.023 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.024 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.024 * [backup-simplify]: Simplify (+ 0 0) into 0 2.024 * [taylor]: Taking taylor expansion of 0 in y 2.024 * [backup-simplify]: Simplify 0 into 0 2.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.025 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.026 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.026 * [backup-simplify]: Simplify (+ 0 0) into 0 2.026 * [taylor]: Taking taylor expansion of 0 in y 2.026 * [backup-simplify]: Simplify 0 into 0 2.026 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.027 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.028 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.028 * [backup-simplify]: Simplify (+ 0 0) into 0 2.028 * [taylor]: Taking taylor expansion of 0 in y 2.028 * [backup-simplify]: Simplify 0 into 0 2.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.030 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.030 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4))) 2.030 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4))) 2.030 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 2.030 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 2.030 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.030 * [taylor]: Taking taylor expansion of y in y 2.030 * [backup-simplify]: Simplify 0 into 0 2.030 * [backup-simplify]: Simplify 1 into 1 2.031 * [backup-simplify]: Simplify (* 1 1) into 1 2.031 * [backup-simplify]: Simplify (* 1 1) into 1 2.031 * [backup-simplify]: Simplify (/ 1 1) into 1 2.031 * [backup-simplify]: Simplify (- 1) into -1 2.031 * [backup-simplify]: Simplify -1 into -1 2.031 * [backup-simplify]: Simplify 1 into 1 2.032 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.033 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.034 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.034 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.034 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 2.034 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0 2.034 * [backup-simplify]: Simplify (- 0) into 0 2.034 * [backup-simplify]: Simplify (+ 0 0) into 0 2.034 * [taylor]: Taking taylor expansion of 0 in y 2.034 * [backup-simplify]: Simplify 0 into 0 2.035 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.035 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.036 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.036 * [backup-simplify]: Simplify (- 0) into 0 2.036 * [backup-simplify]: Simplify 0 into 0 2.036 * [backup-simplify]: Simplify 0 into 0 2.036 * [backup-simplify]: Simplify 0 into 0 2.037 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.038 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.038 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.039 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.039 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 2.039 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0 2.040 * [backup-simplify]: Simplify (- 0) into 0 2.040 * [backup-simplify]: Simplify (+ 0 0) into 0 2.040 * [taylor]: Taking taylor expansion of 0 in y 2.040 * [backup-simplify]: Simplify 0 into 0 2.040 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.041 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.042 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.042 * [backup-simplify]: Simplify (- 0) into 0 2.042 * [backup-simplify]: Simplify 0 into 0 2.042 * [backup-simplify]: Simplify 0 into 0 2.042 * [backup-simplify]: Simplify 0 into 0 2.042 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 4))) into (- (pow x 4) (pow y 4)) 2.042 * * * [progress]: simplifying candidates 2.042 * * * * [progress]: [ 1 / 27 ] simplifiying candidate # 2.042 * * * * [progress]: [ 2 / 27 ] simplifiying candidate # 2.042 * * * * [progress]: [ 3 / 27 ] simplifiying candidate # 2.042 * * * * [progress]: [ 4 / 27 ] simplifiying candidate # 2.042 * * * * [progress]: [ 5 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 6 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 7 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 8 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 9 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 10 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 11 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 12 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 13 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 14 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 15 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 16 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 17 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 18 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 19 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 20 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 21 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 22 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 23 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 24 / 27 ] simplifiying candidate #real (real->posit16 (- (pow x 4) (pow y 4)))))> 2.043 * * * * [progress]: [ 25 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 26 / 27 ] simplifiying candidate # 2.043 * * * * [progress]: [ 27 / 27 ] simplifiying candidate # 2.044 * [simplify]: Simplifying: (/ (exp (pow x 4)) (exp (pow y 4))) (log (- (pow x 4) (pow y 4))) (exp (- (pow x 4) (pow y 4))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (cbrt (- (pow x 4) (pow y 4))) (* (* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4))) (- (pow x 4) (pow y 4))) (sqrt (- (pow x 4) (pow y 4))) (sqrt (- (pow x 4) (pow y 4))) (- (pow (pow x 4) 3) (pow (pow y 4) 3)) (+ (* (pow x 4) (pow x 4)) (+ (* (pow y 4) (pow y 4)) (* (pow x 4) (pow y 4)))) (- (pow y 4)) (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4))) (+ (pow x 4) (pow y 4)) (+ (pow (sqrt x) 4) (pow (sqrt y) 4)) (- (pow (sqrt x) 4) (pow (sqrt y) 4)) (+ (pow (sqrt x) 4) (sqrt (pow y 4))) (- (pow (sqrt x) 4) (sqrt (pow y 4))) (+ (pow (sqrt x) 4) (pow y (/ 4 2))) (- (pow (sqrt x) 4) (pow y (/ 4 2))) (+ (sqrt (pow x 4)) (pow (sqrt y) 4)) (- (sqrt (pow x 4)) (pow (sqrt y) 4)) (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))) (+ (sqrt (pow x 4)) (pow y (/ 4 2))) (- (sqrt (pow x 4)) (pow y (/ 4 2))) (+ (pow x (/ 4 2)) (pow (sqrt y) 4)) (- (pow x (/ 4 2)) (pow (sqrt y) 4)) (+ (pow x (/ 4 2)) (sqrt (pow y 4))) (- (pow x (/ 4 2)) (sqrt (pow y 4))) (+ (pow x (/ 4 2)) (pow y (/ 4 2))) (- (pow x (/ 4 2)) (pow y (/ 4 2))) (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4)) (- (pow y 4)) (real->posit16 (- (pow x 4) (pow y 4))) 0 (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4)) 2.044 * * [simplify]: iteration 0: 58 enodes 2.059 * * [simplify]: iteration 1: 118 enodes 2.119 * * [simplify]: iteration 2: 283 enodes 2.237 * * [simplify]: iteration 3: 818 enodes 2.461 * * [simplify]: iteration 4: 2001 enodes 2.972 * * [simplify]: iteration complete: 2001 enodes 2.972 * * [simplify]: Extracting #0: cost 22 inf + 0 2.972 * * [simplify]: Extracting #1: cost 131 inf + 1 2.981 * * [simplify]: Extracting #2: cost 475 inf + 287 2.991 * * [simplify]: Extracting #3: cost 594 inf + 33798 3.015 * * [simplify]: Extracting #4: cost 313 inf + 98006 3.036 * * [simplify]: Extracting #5: cost 147 inf + 124397 3.061 * * [simplify]: Extracting #6: cost 18 inf + 153455 3.111 * * [simplify]: Extracting #7: cost 0 inf + 159283 3.137 * [simplify]: Simplified to: (exp (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (log (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (exp (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (* (- (* (* x x) (* x x)) (* (* y y) (* y y))) (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (- (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (* (* (* y y) (* y y)) (* (* (* y y) (* y y)) (* (* y y) (* y y))))) (+ (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (+ (* (* y y) (* y y)) (* (* x x) (* x x))) (* (* y y) (* y y)))) (* (- (* y y)) (* y y)) (- (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (* (* y y) (* y y)) (* (* y y) (* y y)))) (+ (* (* y y) (* y y)) (* (* x x) (* x x))) (+ (* x x) (* y y)) (* (+ x y) (- x y)) (+ (* x x) (fabs (* y y))) (- (* x x) (fabs (* y y))) (+ (* x x) (* y y)) (* (+ x y) (- x y)) (+ (* y y) (fabs (* x x))) (- (fabs (* x x)) (* y y)) (+ (fabs (* x x)) (fabs (* y y))) (- (fabs (* x x)) (fabs (* y y))) (+ (* y y) (fabs (* x x))) (- (fabs (* x x)) (* y y)) (+ (* x x) (* y y)) (* (+ x y) (- x y)) (+ (* x x) (fabs (* y y))) (- (* x x) (fabs (* y y))) (+ (* x x) (* y y)) (* (+ x y) (- x y)) (- (* (* x x) (* x x)) (* (* y y) (* y y))) (- (* (* x x) (* x x)) (* (* y y) (* y y))) (* (- (* y y)) (* y y)) (real->posit16 (- (* (* x x) (* x x)) (* (* y y) (* y y)))) 0 (- (* (* x x) (* x x)) (* (* y y) (* y y))) (- (* (* x x) (* x x)) (* (* y y) (* y y))) 3.139 * * * [progress]: adding candidates to table 3.364 * * [progress]: iteration 2 / 4 3.364 * * * [progress]: picking best candidate 3.367 * * * * [pick]: Picked # 3.367 * * * [progress]: localizing error 3.386 * * * [progress]: generating rewritten candidates 3.386 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 3.394 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 3.400 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 3.413 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 3.526 * * * [progress]: generating series expansions 3.526 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 3.526 * [backup-simplify]: Simplify (cbrt (- (pow x 4) (pow y 4))) into (pow (- (pow x 4) (pow y 4)) 1/3) 3.526 * [approximate]: Taking taylor expansion of (pow (- (pow x 4) (pow y 4)) 1/3) in (x y) around 0 3.526 * [taylor]: Taking taylor expansion of (pow (- (pow x 4) (pow y 4)) 1/3) in y 3.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (pow x 4) (pow y 4))))) in y 3.526 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (pow x 4) (pow y 4)))) in y 3.526 * [taylor]: Taking taylor expansion of 1/3 in y 3.526 * [backup-simplify]: Simplify 1/3 into 1/3 3.526 * [taylor]: Taking taylor expansion of (log (- (pow x 4) (pow y 4))) in y 3.526 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y 3.526 * [taylor]: Taking taylor expansion of (pow x 4) in y 3.526 * [taylor]: Taking taylor expansion of x in y 3.526 * [backup-simplify]: Simplify x into x 3.526 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.526 * [taylor]: Taking taylor expansion of y in y 3.526 * [backup-simplify]: Simplify 0 into 0 3.526 * [backup-simplify]: Simplify 1 into 1 3.526 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.527 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 3.527 * [backup-simplify]: Simplify (+ (pow x 4) 0) into (pow x 4) 3.527 * [backup-simplify]: Simplify (log (pow x 4)) into (log (pow x 4)) 3.527 * [backup-simplify]: Simplify (* 1/3 (log (pow x 4))) into (* 1/3 (log (pow x 4))) 3.527 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow x 4)))) into (pow (pow x 4) 1/3) 3.527 * [taylor]: Taking taylor expansion of (pow (- (pow x 4) (pow y 4)) 1/3) in x 3.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (pow x 4) (pow y 4))))) in x 3.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (pow x 4) (pow y 4)))) in x 3.527 * [taylor]: Taking taylor expansion of 1/3 in x 3.527 * [backup-simplify]: Simplify 1/3 into 1/3 3.527 * [taylor]: Taking taylor expansion of (log (- (pow x 4) (pow y 4))) in x 3.527 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 3.527 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.527 * [taylor]: Taking taylor expansion of x in x 3.527 * [backup-simplify]: Simplify 0 into 0 3.527 * [backup-simplify]: Simplify 1 into 1 3.527 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.527 * [taylor]: Taking taylor expansion of y in x 3.527 * [backup-simplify]: Simplify y into y 3.527 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.527 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.527 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4)) 3.527 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4)) 3.528 * [backup-simplify]: Simplify (log (- (pow y 4))) into (log (- (pow y 4))) 3.528 * [backup-simplify]: Simplify (* 1/3 (log (- (pow y 4)))) into (* 1/3 (log (- (pow y 4)))) 3.528 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (pow y 4))))) into (pow (- (pow y 4)) 1/3) 3.528 * [taylor]: Taking taylor expansion of (pow (- (pow x 4) (pow y 4)) 1/3) in x 3.528 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (pow x 4) (pow y 4))))) in x 3.528 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (pow x 4) (pow y 4)))) in x 3.528 * [taylor]: Taking taylor expansion of 1/3 in x 3.528 * [backup-simplify]: Simplify 1/3 into 1/3 3.528 * [taylor]: Taking taylor expansion of (log (- (pow x 4) (pow y 4))) in x 3.528 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 3.528 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.528 * [taylor]: Taking taylor expansion of x in x 3.528 * [backup-simplify]: Simplify 0 into 0 3.528 * [backup-simplify]: Simplify 1 into 1 3.528 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.528 * [taylor]: Taking taylor expansion of y in x 3.528 * [backup-simplify]: Simplify y into y 3.528 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.528 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.528 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4)) 3.528 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4)) 3.528 * [backup-simplify]: Simplify (log (- (pow y 4))) into (log (- (pow y 4))) 3.528 * [backup-simplify]: Simplify (* 1/3 (log (- (pow y 4)))) into (* 1/3 (log (- (pow y 4)))) 3.528 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (pow y 4))))) into (pow (- (pow y 4)) 1/3) 3.528 * [taylor]: Taking taylor expansion of (pow (- (pow y 4)) 1/3) in y 3.528 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (pow y 4))))) in y 3.528 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (pow y 4)))) in y 3.528 * [taylor]: Taking taylor expansion of 1/3 in y 3.528 * [backup-simplify]: Simplify 1/3 into 1/3 3.528 * [taylor]: Taking taylor expansion of (log (- (pow y 4))) in y 3.528 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y 3.529 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.529 * [taylor]: Taking taylor expansion of y in y 3.529 * [backup-simplify]: Simplify 0 into 0 3.529 * [backup-simplify]: Simplify 1 into 1 3.529 * [backup-simplify]: Simplify (* 1 1) into 1 3.530 * [backup-simplify]: Simplify (* 1 1) into 1 3.530 * [backup-simplify]: Simplify (- 1) into -1 3.530 * [backup-simplify]: Simplify (- 1) into -1 3.531 * [backup-simplify]: Simplify (log -1) into (log -1) 3.531 * [backup-simplify]: Simplify (+ (* (- -4) (log y)) (log -1)) into (+ (log -1) (* 4 (log y))) 3.532 * [backup-simplify]: Simplify (* 1/3 (+ (log -1) (* 4 (log y)))) into (* 1/3 (+ (log -1) (* 4 (log y)))) 3.532 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log -1) (* 4 (log y))))) into (exp (* 1/3 (+ (log -1) (* 4 (log y))))) 3.532 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log -1) (* 4 (log y))))) into (exp (* 1/3 (+ (log -1) (* 4 (log y))))) 3.533 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 3.533 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 3.533 * [backup-simplify]: Simplify (- 0) into 0 3.534 * [backup-simplify]: Simplify (+ 0 0) into 0 3.534 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (pow y 4)) 1)))) 1) into 0 3.535 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (- (pow y 4))))) into 0 3.535 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (pow y 4))))) (+ (* (/ (pow 0 1) 1)))) into 0 3.535 * [taylor]: Taking taylor expansion of 0 in y 3.535 * [backup-simplify]: Simplify 0 into 0 3.535 * [backup-simplify]: Simplify 0 into 0 3.536 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.536 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.536 * [backup-simplify]: Simplify (- 0) into 0 3.537 * [backup-simplify]: Simplify (- 1) into -1 3.537 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 3.538 * [backup-simplify]: Simplify (+ (* (- -4) (log y)) (log -1)) into (+ (log -1) (* 4 (log y))) 3.539 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (+ (log -1) (* 4 (log y))))) into 0 3.539 * [backup-simplify]: Simplify (* (exp (* 1/3 (+ (log -1) (* 4 (log y))))) (+ (* (/ (pow 0 1) 1)))) into 0 3.539 * [backup-simplify]: Simplify 0 into 0 3.540 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 3.540 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 3.541 * [backup-simplify]: Simplify (- 0) into 0 3.541 * [backup-simplify]: Simplify (+ 0 0) into 0 3.542 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (pow y 4)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (pow y 4)) 1)))) 2) into 0 3.543 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (- (pow y 4)))))) into 0 3.543 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (pow y 4))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.544 * [taylor]: Taking taylor expansion of 0 in y 3.544 * [backup-simplify]: Simplify 0 into 0 3.544 * [backup-simplify]: Simplify 0 into 0 3.544 * [backup-simplify]: Simplify 0 into 0 3.544 * [backup-simplify]: Simplify (- 0) into 0 3.544 * [backup-simplify]: Simplify (- 1) into -1 3.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.545 * [backup-simplify]: Simplify (- 0) into 0 3.546 * [backup-simplify]: Simplify (- 1) into -1 3.547 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 3.548 * [backup-simplify]: Simplify (+ (* (- -4) (log y)) (log -1)) into (+ (log -1) (* 4 (log y))) 3.550 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (+ (log -1) (* 4 (log y)))))) into 0 3.551 * [backup-simplify]: Simplify (* (exp (* 1/3 (+ (log -1) (* 4 (log y))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.551 * [backup-simplify]: Simplify 0 into 0 3.552 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 3.553 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 3.554 * [backup-simplify]: Simplify (- 0) into 0 3.554 * [backup-simplify]: Simplify (+ 0 0) into 0 3.557 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (pow y 4)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (pow y 4)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (pow y 4)) 1)))) 6) into 0 3.559 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (pow y 4))))))) into 0 3.561 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (pow y 4))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 3.561 * [taylor]: Taking taylor expansion of 0 in y 3.561 * [backup-simplify]: Simplify 0 into 0 3.561 * [backup-simplify]: Simplify 0 into 0 3.561 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log -1) (* 4 (log y))))) into (exp (* 1/3 (+ (log -1) (* 4 (log y))))) 3.562 * [backup-simplify]: Simplify (cbrt (- (pow (/ 1 x) 4) (pow (/ 1 y) 4))) into (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) 3.562 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in (x y) around 0 3.562 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in y 3.562 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))))) in y 3.562 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))) in y 3.562 * [taylor]: Taking taylor expansion of 1/3 in y 3.562 * [backup-simplify]: Simplify 1/3 into 1/3 3.562 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in y 3.562 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 3.562 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 3.562 * [taylor]: Taking taylor expansion of (pow x 4) in y 3.562 * [taylor]: Taking taylor expansion of x in y 3.562 * [backup-simplify]: Simplify x into x 3.562 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.562 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 3.562 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 3.562 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.562 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.562 * [taylor]: Taking taylor expansion of y in y 3.562 * [backup-simplify]: Simplify 0 into 0 3.562 * [backup-simplify]: Simplify 1 into 1 3.563 * [backup-simplify]: Simplify (* 1 1) into 1 3.563 * [backup-simplify]: Simplify (* 1 1) into 1 3.564 * [backup-simplify]: Simplify (/ 1 1) into 1 3.564 * [backup-simplify]: Simplify (- 1) into -1 3.565 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.565 * [backup-simplify]: Simplify (log -1) into (log -1) 3.566 * [backup-simplify]: Simplify (+ (* (- 4) (log y)) (log -1)) into (- (log -1) (* 4 (log y))) 3.567 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (* 4 (log y)))) into (* 1/3 (- (log -1) (* 4 (log y)))) 3.567 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (* 4 (log y))))) into (exp (* 1/3 (- (log -1) (* 4 (log y))))) 3.567 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in x 3.567 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))))) in x 3.567 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))) in x 3.567 * [taylor]: Taking taylor expansion of 1/3 in x 3.567 * [backup-simplify]: Simplify 1/3 into 1/3 3.567 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in x 3.567 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 3.567 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.567 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.567 * [taylor]: Taking taylor expansion of x in x 3.567 * [backup-simplify]: Simplify 0 into 0 3.567 * [backup-simplify]: Simplify 1 into 1 3.568 * [backup-simplify]: Simplify (* 1 1) into 1 3.568 * [backup-simplify]: Simplify (* 1 1) into 1 3.569 * [backup-simplify]: Simplify (/ 1 1) into 1 3.569 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 3.569 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.569 * [taylor]: Taking taylor expansion of y in x 3.569 * [backup-simplify]: Simplify y into y 3.569 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.569 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.569 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 3.569 * [backup-simplify]: Simplify (+ 1 0) into 1 3.570 * [backup-simplify]: Simplify (log 1) into 0 3.570 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.570 * [backup-simplify]: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 3.570 * [backup-simplify]: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 3.570 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in x 3.570 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))))) in x 3.570 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))) in x 3.570 * [taylor]: Taking taylor expansion of 1/3 in x 3.571 * [backup-simplify]: Simplify 1/3 into 1/3 3.571 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in x 3.571 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 3.571 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.571 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.571 * [taylor]: Taking taylor expansion of x in x 3.571 * [backup-simplify]: Simplify 0 into 0 3.571 * [backup-simplify]: Simplify 1 into 1 3.571 * [backup-simplify]: Simplify (* 1 1) into 1 3.571 * [backup-simplify]: Simplify (* 1 1) into 1 3.572 * [backup-simplify]: Simplify (/ 1 1) into 1 3.572 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 3.572 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.572 * [taylor]: Taking taylor expansion of y in x 3.572 * [backup-simplify]: Simplify y into y 3.572 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.572 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.572 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 3.573 * [backup-simplify]: Simplify (+ 1 0) into 1 3.573 * [backup-simplify]: Simplify (log 1) into 0 3.574 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.574 * [backup-simplify]: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 3.574 * [backup-simplify]: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 3.574 * [taylor]: Taking taylor expansion of (pow x -4/3) in y 3.574 * [taylor]: Taking taylor expansion of (exp (* -4/3 (log x))) in y 3.574 * [taylor]: Taking taylor expansion of (* -4/3 (log x)) in y 3.574 * [taylor]: Taking taylor expansion of -4/3 in y 3.574 * [backup-simplify]: Simplify -4/3 into -4/3 3.574 * [taylor]: Taking taylor expansion of (log x) in y 3.574 * [taylor]: Taking taylor expansion of x in y 3.574 * [backup-simplify]: Simplify x into x 3.574 * [backup-simplify]: Simplify (log x) into (log x) 3.574 * [backup-simplify]: Simplify (* -4/3 (log x)) into (* -4/3 (log x)) 3.574 * [backup-simplify]: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 3.575 * [backup-simplify]: Simplify (pow x -4/3) into (pow x -4/3) 3.575 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.576 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.577 * [backup-simplify]: Simplify (+ 0 0) into 0 3.579 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 3.579 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.580 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (* 4 (log x))))) into 0 3.580 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 3.580 * [taylor]: Taking taylor expansion of 0 in y 3.580 * [backup-simplify]: Simplify 0 into 0 3.581 * [backup-simplify]: Simplify 0 into 0 3.581 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow x 1)))) 1) into 0 3.582 * [backup-simplify]: Simplify (+ (* -4/3 0) (* 0 (log x))) into 0 3.583 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 3.583 * [backup-simplify]: Simplify 0 into 0 3.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.586 * [backup-simplify]: Simplify (+ 0 0) into 0 3.589 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 3.589 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.590 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))) into 0 3.592 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.592 * [taylor]: Taking taylor expansion of 0 in y 3.592 * [backup-simplify]: Simplify 0 into 0 3.592 * [backup-simplify]: Simplify 0 into 0 3.592 * [backup-simplify]: Simplify 0 into 0 3.594 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow x 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow x 1)))) 2) into 0 3.595 * [backup-simplify]: Simplify (+ (* -4/3 0) (+ (* 0 0) (* 0 (log x)))) into 0 3.596 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.596 * [backup-simplify]: Simplify 0 into 0 3.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.600 * [backup-simplify]: Simplify (+ 0 0) into 0 3.605 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 3.605 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.607 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))) into 0 3.608 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 3.608 * [taylor]: Taking taylor expansion of 0 in y 3.608 * [backup-simplify]: Simplify 0 into 0 3.609 * [backup-simplify]: Simplify 0 into 0 3.609 * [backup-simplify]: Simplify (pow (/ 1 x) -4/3) into (pow (/ 1 x) -4/3) 3.609 * [backup-simplify]: Simplify (cbrt (- (pow (/ 1 (- x)) 4) (pow (/ 1 (- y)) 4))) into (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) 3.609 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in (x y) around 0 3.609 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in y 3.609 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))))) in y 3.609 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))) in y 3.609 * [taylor]: Taking taylor expansion of 1/3 in y 3.609 * [backup-simplify]: Simplify 1/3 into 1/3 3.609 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in y 3.609 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 3.609 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 3.609 * [taylor]: Taking taylor expansion of (pow x 4) in y 3.609 * [taylor]: Taking taylor expansion of x in y 3.609 * [backup-simplify]: Simplify x into x 3.609 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.609 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 3.610 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 3.610 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.610 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.610 * [taylor]: Taking taylor expansion of y in y 3.610 * [backup-simplify]: Simplify 0 into 0 3.610 * [backup-simplify]: Simplify 1 into 1 3.610 * [backup-simplify]: Simplify (* 1 1) into 1 3.611 * [backup-simplify]: Simplify (* 1 1) into 1 3.611 * [backup-simplify]: Simplify (/ 1 1) into 1 3.612 * [backup-simplify]: Simplify (- 1) into -1 3.612 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.612 * [backup-simplify]: Simplify (log -1) into (log -1) 3.613 * [backup-simplify]: Simplify (+ (* (- 4) (log y)) (log -1)) into (- (log -1) (* 4 (log y))) 3.614 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (* 4 (log y)))) into (* 1/3 (- (log -1) (* 4 (log y)))) 3.614 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (* 4 (log y))))) into (exp (* 1/3 (- (log -1) (* 4 (log y))))) 3.614 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in x 3.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))))) in x 3.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))) in x 3.614 * [taylor]: Taking taylor expansion of 1/3 in x 3.614 * [backup-simplify]: Simplify 1/3 into 1/3 3.614 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in x 3.614 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 3.614 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.614 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.615 * [taylor]: Taking taylor expansion of x in x 3.615 * [backup-simplify]: Simplify 0 into 0 3.615 * [backup-simplify]: Simplify 1 into 1 3.615 * [backup-simplify]: Simplify (* 1 1) into 1 3.615 * [backup-simplify]: Simplify (* 1 1) into 1 3.616 * [backup-simplify]: Simplify (/ 1 1) into 1 3.616 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 3.616 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.616 * [taylor]: Taking taylor expansion of y in x 3.616 * [backup-simplify]: Simplify y into y 3.616 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.616 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.616 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 3.617 * [backup-simplify]: Simplify (+ 1 0) into 1 3.617 * [backup-simplify]: Simplify (log 1) into 0 3.617 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.618 * [backup-simplify]: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 3.618 * [backup-simplify]: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 3.618 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in x 3.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))))) in x 3.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))) in x 3.618 * [taylor]: Taking taylor expansion of 1/3 in x 3.618 * [backup-simplify]: Simplify 1/3 into 1/3 3.618 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in x 3.618 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 3.618 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.618 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.618 * [taylor]: Taking taylor expansion of x in x 3.618 * [backup-simplify]: Simplify 0 into 0 3.618 * [backup-simplify]: Simplify 1 into 1 3.618 * [backup-simplify]: Simplify (* 1 1) into 1 3.619 * [backup-simplify]: Simplify (* 1 1) into 1 3.619 * [backup-simplify]: Simplify (/ 1 1) into 1 3.619 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 3.619 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.619 * [taylor]: Taking taylor expansion of y in x 3.619 * [backup-simplify]: Simplify y into y 3.619 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.619 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.619 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 3.620 * [backup-simplify]: Simplify (+ 1 0) into 1 3.620 * [backup-simplify]: Simplify (log 1) into 0 3.621 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.621 * [backup-simplify]: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 3.621 * [backup-simplify]: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 3.621 * [taylor]: Taking taylor expansion of (pow x -4/3) in y 3.621 * [taylor]: Taking taylor expansion of (exp (* -4/3 (log x))) in y 3.621 * [taylor]: Taking taylor expansion of (* -4/3 (log x)) in y 3.621 * [taylor]: Taking taylor expansion of -4/3 in y 3.621 * [backup-simplify]: Simplify -4/3 into -4/3 3.621 * [taylor]: Taking taylor expansion of (log x) in y 3.621 * [taylor]: Taking taylor expansion of x in y 3.621 * [backup-simplify]: Simplify x into x 3.621 * [backup-simplify]: Simplify (log x) into (log x) 3.621 * [backup-simplify]: Simplify (* -4/3 (log x)) into (* -4/3 (log x)) 3.621 * [backup-simplify]: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 3.621 * [backup-simplify]: Simplify (pow x -4/3) into (pow x -4/3) 3.622 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.623 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.624 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.624 * [backup-simplify]: Simplify (+ 0 0) into 0 3.626 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 3.626 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.627 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (* 4 (log x))))) into 0 3.627 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 3.628 * [taylor]: Taking taylor expansion of 0 in y 3.628 * [backup-simplify]: Simplify 0 into 0 3.628 * [backup-simplify]: Simplify 0 into 0 3.628 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow x 1)))) 1) into 0 3.629 * [backup-simplify]: Simplify (+ (* -4/3 0) (* 0 (log x))) into 0 3.630 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 3.630 * [backup-simplify]: Simplify 0 into 0 3.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.633 * [backup-simplify]: Simplify (+ 0 0) into 0 3.636 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 3.636 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.637 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))) into 0 3.638 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.639 * [taylor]: Taking taylor expansion of 0 in y 3.639 * [backup-simplify]: Simplify 0 into 0 3.639 * [backup-simplify]: Simplify 0 into 0 3.639 * [backup-simplify]: Simplify 0 into 0 3.640 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow x 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow x 1)))) 2) into 0 3.641 * [backup-simplify]: Simplify (+ (* -4/3 0) (+ (* 0 0) (* 0 (log x)))) into 0 3.643 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.643 * [backup-simplify]: Simplify 0 into 0 3.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.646 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.646 * [backup-simplify]: Simplify (+ 0 0) into 0 3.651 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 3.652 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.653 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))) into 0 3.655 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 3.655 * [taylor]: Taking taylor expansion of 0 in y 3.655 * [backup-simplify]: Simplify 0 into 0 3.655 * [backup-simplify]: Simplify 0 into 0 3.655 * [backup-simplify]: Simplify (pow (/ 1 (- x)) -4/3) into (pow (/ -1 x) -4/3) 3.655 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 3.655 * [backup-simplify]: Simplify (cbrt (- (pow x 4) (pow y 4))) into (pow (- (pow x 4) (pow y 4)) 1/3) 3.656 * [approximate]: Taking taylor expansion of (pow (- (pow x 4) (pow y 4)) 1/3) in (x y) around 0 3.656 * [taylor]: Taking taylor expansion of (pow (- (pow x 4) (pow y 4)) 1/3) in y 3.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (pow x 4) (pow y 4))))) in y 3.656 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (pow x 4) (pow y 4)))) in y 3.656 * [taylor]: Taking taylor expansion of 1/3 in y 3.656 * [backup-simplify]: Simplify 1/3 into 1/3 3.656 * [taylor]: Taking taylor expansion of (log (- (pow x 4) (pow y 4))) in y 3.656 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y 3.656 * [taylor]: Taking taylor expansion of (pow x 4) in y 3.656 * [taylor]: Taking taylor expansion of x in y 3.656 * [backup-simplify]: Simplify x into x 3.656 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.656 * [taylor]: Taking taylor expansion of y in y 3.656 * [backup-simplify]: Simplify 0 into 0 3.656 * [backup-simplify]: Simplify 1 into 1 3.656 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.656 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 3.656 * [backup-simplify]: Simplify (+ (pow x 4) 0) into (pow x 4) 3.656 * [backup-simplify]: Simplify (log (pow x 4)) into (log (pow x 4)) 3.656 * [backup-simplify]: Simplify (* 1/3 (log (pow x 4))) into (* 1/3 (log (pow x 4))) 3.656 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow x 4)))) into (pow (pow x 4) 1/3) 3.656 * [taylor]: Taking taylor expansion of (pow (- (pow x 4) (pow y 4)) 1/3) in x 3.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (pow x 4) (pow y 4))))) in x 3.656 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (pow x 4) (pow y 4)))) in x 3.657 * [taylor]: Taking taylor expansion of 1/3 in x 3.657 * [backup-simplify]: Simplify 1/3 into 1/3 3.657 * [taylor]: Taking taylor expansion of (log (- (pow x 4) (pow y 4))) in x 3.657 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 3.657 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.657 * [taylor]: Taking taylor expansion of x in x 3.657 * [backup-simplify]: Simplify 0 into 0 3.657 * [backup-simplify]: Simplify 1 into 1 3.657 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.657 * [taylor]: Taking taylor expansion of y in x 3.657 * [backup-simplify]: Simplify y into y 3.657 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.657 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.657 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4)) 3.657 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4)) 3.657 * [backup-simplify]: Simplify (log (- (pow y 4))) into (log (- (pow y 4))) 3.657 * [backup-simplify]: Simplify (* 1/3 (log (- (pow y 4)))) into (* 1/3 (log (- (pow y 4)))) 3.658 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (pow y 4))))) into (pow (- (pow y 4)) 1/3) 3.658 * [taylor]: Taking taylor expansion of (pow (- (pow x 4) (pow y 4)) 1/3) in x 3.658 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (pow x 4) (pow y 4))))) in x 3.658 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (pow x 4) (pow y 4)))) in x 3.658 * [taylor]: Taking taylor expansion of 1/3 in x 3.658 * [backup-simplify]: Simplify 1/3 into 1/3 3.658 * [taylor]: Taking taylor expansion of (log (- (pow x 4) (pow y 4))) in x 3.658 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 3.658 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.658 * [taylor]: Taking taylor expansion of x in x 3.658 * [backup-simplify]: Simplify 0 into 0 3.658 * [backup-simplify]: Simplify 1 into 1 3.658 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.658 * [taylor]: Taking taylor expansion of y in x 3.658 * [backup-simplify]: Simplify y into y 3.658 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.658 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.658 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4)) 3.658 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4)) 3.658 * [backup-simplify]: Simplify (log (- (pow y 4))) into (log (- (pow y 4))) 3.659 * [backup-simplify]: Simplify (* 1/3 (log (- (pow y 4)))) into (* 1/3 (log (- (pow y 4)))) 3.659 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (pow y 4))))) into (pow (- (pow y 4)) 1/3) 3.659 * [taylor]: Taking taylor expansion of (pow (- (pow y 4)) 1/3) in y 3.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (pow y 4))))) in y 3.659 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (pow y 4)))) in y 3.659 * [taylor]: Taking taylor expansion of 1/3 in y 3.659 * [backup-simplify]: Simplify 1/3 into 1/3 3.659 * [taylor]: Taking taylor expansion of (log (- (pow y 4))) in y 3.659 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y 3.659 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.659 * [taylor]: Taking taylor expansion of y in y 3.659 * [backup-simplify]: Simplify 0 into 0 3.659 * [backup-simplify]: Simplify 1 into 1 3.660 * [backup-simplify]: Simplify (* 1 1) into 1 3.660 * [backup-simplify]: Simplify (* 1 1) into 1 3.666 * [backup-simplify]: Simplify (- 1) into -1 3.667 * [backup-simplify]: Simplify (- 1) into -1 3.668 * [backup-simplify]: Simplify (log -1) into (log -1) 3.669 * [backup-simplify]: Simplify (+ (* (- -4) (log y)) (log -1)) into (+ (log -1) (* 4 (log y))) 3.669 * [backup-simplify]: Simplify (* 1/3 (+ (log -1) (* 4 (log y)))) into (* 1/3 (+ (log -1) (* 4 (log y)))) 3.670 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log -1) (* 4 (log y))))) into (exp (* 1/3 (+ (log -1) (* 4 (log y))))) 3.670 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log -1) (* 4 (log y))))) into (exp (* 1/3 (+ (log -1) (* 4 (log y))))) 3.671 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 3.671 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 3.671 * [backup-simplify]: Simplify (- 0) into 0 3.671 * [backup-simplify]: Simplify (+ 0 0) into 0 3.672 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (pow y 4)) 1)))) 1) into 0 3.673 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (- (pow y 4))))) into 0 3.674 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (pow y 4))))) (+ (* (/ (pow 0 1) 1)))) into 0 3.674 * [taylor]: Taking taylor expansion of 0 in y 3.674 * [backup-simplify]: Simplify 0 into 0 3.674 * [backup-simplify]: Simplify 0 into 0 3.675 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.676 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.676 * [backup-simplify]: Simplify (- 0) into 0 3.677 * [backup-simplify]: Simplify (- 1) into -1 3.678 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 3.679 * [backup-simplify]: Simplify (+ (* (- -4) (log y)) (log -1)) into (+ (log -1) (* 4 (log y))) 3.680 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (+ (log -1) (* 4 (log y))))) into 0 3.681 * [backup-simplify]: Simplify (* (exp (* 1/3 (+ (log -1) (* 4 (log y))))) (+ (* (/ (pow 0 1) 1)))) into 0 3.681 * [backup-simplify]: Simplify 0 into 0 3.682 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 3.682 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 3.683 * [backup-simplify]: Simplify (- 0) into 0 3.683 * [backup-simplify]: Simplify (+ 0 0) into 0 3.684 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (pow y 4)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (pow y 4)) 1)))) 2) into 0 3.685 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (- (pow y 4)))))) into 0 3.686 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (pow y 4))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.686 * [taylor]: Taking taylor expansion of 0 in y 3.686 * [backup-simplify]: Simplify 0 into 0 3.686 * [backup-simplify]: Simplify 0 into 0 3.686 * [backup-simplify]: Simplify 0 into 0 3.686 * [backup-simplify]: Simplify (- 0) into 0 3.686 * [backup-simplify]: Simplify (- 1) into -1 3.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.688 * [backup-simplify]: Simplify (- 0) into 0 3.688 * [backup-simplify]: Simplify (- 1) into -1 3.689 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 3.690 * [backup-simplify]: Simplify (+ (* (- -4) (log y)) (log -1)) into (+ (log -1) (* 4 (log y))) 3.691 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (+ (log -1) (* 4 (log y)))))) into 0 3.692 * [backup-simplify]: Simplify (* (exp (* 1/3 (+ (log -1) (* 4 (log y))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.692 * [backup-simplify]: Simplify 0 into 0 3.692 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 3.693 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 3.693 * [backup-simplify]: Simplify (- 0) into 0 3.693 * [backup-simplify]: Simplify (+ 0 0) into 0 3.695 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (pow y 4)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (pow y 4)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (pow y 4)) 1)))) 6) into 0 3.696 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (pow y 4))))))) into 0 3.697 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (pow y 4))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 3.697 * [taylor]: Taking taylor expansion of 0 in y 3.697 * [backup-simplify]: Simplify 0 into 0 3.697 * [backup-simplify]: Simplify 0 into 0 3.697 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log -1) (* 4 (log y))))) into (exp (* 1/3 (+ (log -1) (* 4 (log y))))) 3.698 * [backup-simplify]: Simplify (cbrt (- (pow (/ 1 x) 4) (pow (/ 1 y) 4))) into (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) 3.698 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in (x y) around 0 3.698 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in y 3.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))))) in y 3.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))) in y 3.698 * [taylor]: Taking taylor expansion of 1/3 in y 3.698 * [backup-simplify]: Simplify 1/3 into 1/3 3.698 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in y 3.698 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 3.698 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 3.698 * [taylor]: Taking taylor expansion of (pow x 4) in y 3.698 * [taylor]: Taking taylor expansion of x in y 3.698 * [backup-simplify]: Simplify x into x 3.698 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.698 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 3.698 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 3.698 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.698 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.698 * [taylor]: Taking taylor expansion of y in y 3.698 * [backup-simplify]: Simplify 0 into 0 3.698 * [backup-simplify]: Simplify 1 into 1 3.698 * [backup-simplify]: Simplify (* 1 1) into 1 3.699 * [backup-simplify]: Simplify (* 1 1) into 1 3.699 * [backup-simplify]: Simplify (/ 1 1) into 1 3.699 * [backup-simplify]: Simplify (- 1) into -1 3.699 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.700 * [backup-simplify]: Simplify (log -1) into (log -1) 3.700 * [backup-simplify]: Simplify (+ (* (- 4) (log y)) (log -1)) into (- (log -1) (* 4 (log y))) 3.700 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (* 4 (log y)))) into (* 1/3 (- (log -1) (* 4 (log y)))) 3.701 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (* 4 (log y))))) into (exp (* 1/3 (- (log -1) (* 4 (log y))))) 3.701 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in x 3.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))))) in x 3.701 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))) in x 3.701 * [taylor]: Taking taylor expansion of 1/3 in x 3.701 * [backup-simplify]: Simplify 1/3 into 1/3 3.701 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in x 3.701 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 3.701 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.701 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.701 * [taylor]: Taking taylor expansion of x in x 3.701 * [backup-simplify]: Simplify 0 into 0 3.701 * [backup-simplify]: Simplify 1 into 1 3.701 * [backup-simplify]: Simplify (* 1 1) into 1 3.701 * [backup-simplify]: Simplify (* 1 1) into 1 3.702 * [backup-simplify]: Simplify (/ 1 1) into 1 3.702 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 3.702 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.702 * [taylor]: Taking taylor expansion of y in x 3.702 * [backup-simplify]: Simplify y into y 3.702 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.702 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.702 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 3.702 * [backup-simplify]: Simplify (+ 1 0) into 1 3.702 * [backup-simplify]: Simplify (log 1) into 0 3.703 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.703 * [backup-simplify]: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 3.703 * [backup-simplify]: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 3.703 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in x 3.703 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))))) in x 3.703 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))) in x 3.703 * [taylor]: Taking taylor expansion of 1/3 in x 3.703 * [backup-simplify]: Simplify 1/3 into 1/3 3.703 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in x 3.703 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 3.703 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.703 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.703 * [taylor]: Taking taylor expansion of x in x 3.703 * [backup-simplify]: Simplify 0 into 0 3.703 * [backup-simplify]: Simplify 1 into 1 3.703 * [backup-simplify]: Simplify (* 1 1) into 1 3.703 * [backup-simplify]: Simplify (* 1 1) into 1 3.704 * [backup-simplify]: Simplify (/ 1 1) into 1 3.704 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 3.704 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.704 * [taylor]: Taking taylor expansion of y in x 3.704 * [backup-simplify]: Simplify y into y 3.704 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.704 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.704 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 3.704 * [backup-simplify]: Simplify (+ 1 0) into 1 3.704 * [backup-simplify]: Simplify (log 1) into 0 3.705 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.705 * [backup-simplify]: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 3.705 * [backup-simplify]: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 3.705 * [taylor]: Taking taylor expansion of (pow x -4/3) in y 3.705 * [taylor]: Taking taylor expansion of (exp (* -4/3 (log x))) in y 3.705 * [taylor]: Taking taylor expansion of (* -4/3 (log x)) in y 3.705 * [taylor]: Taking taylor expansion of -4/3 in y 3.705 * [backup-simplify]: Simplify -4/3 into -4/3 3.705 * [taylor]: Taking taylor expansion of (log x) in y 3.705 * [taylor]: Taking taylor expansion of x in y 3.705 * [backup-simplify]: Simplify x into x 3.705 * [backup-simplify]: Simplify (log x) into (log x) 3.705 * [backup-simplify]: Simplify (* -4/3 (log x)) into (* -4/3 (log x)) 3.705 * [backup-simplify]: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 3.705 * [backup-simplify]: Simplify (pow x -4/3) into (pow x -4/3) 3.706 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.706 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.706 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.707 * [backup-simplify]: Simplify (+ 0 0) into 0 3.708 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 3.708 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.708 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (* 4 (log x))))) into 0 3.709 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 3.709 * [taylor]: Taking taylor expansion of 0 in y 3.709 * [backup-simplify]: Simplify 0 into 0 3.709 * [backup-simplify]: Simplify 0 into 0 3.709 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow x 1)))) 1) into 0 3.710 * [backup-simplify]: Simplify (+ (* -4/3 0) (* 0 (log x))) into 0 3.710 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 3.710 * [backup-simplify]: Simplify 0 into 0 3.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.712 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.712 * [backup-simplify]: Simplify (+ 0 0) into 0 3.714 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 3.714 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.715 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))) into 0 3.716 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.716 * [taylor]: Taking taylor expansion of 0 in y 3.716 * [backup-simplify]: Simplify 0 into 0 3.716 * [backup-simplify]: Simplify 0 into 0 3.716 * [backup-simplify]: Simplify 0 into 0 3.717 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow x 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow x 1)))) 2) into 0 3.717 * [backup-simplify]: Simplify (+ (* -4/3 0) (+ (* 0 0) (* 0 (log x)))) into 0 3.718 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.718 * [backup-simplify]: Simplify 0 into 0 3.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.720 * [backup-simplify]: Simplify (+ 0 0) into 0 3.724 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 3.724 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.725 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))) into 0 3.726 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 3.726 * [taylor]: Taking taylor expansion of 0 in y 3.726 * [backup-simplify]: Simplify 0 into 0 3.726 * [backup-simplify]: Simplify 0 into 0 3.726 * [backup-simplify]: Simplify (pow (/ 1 x) -4/3) into (pow (/ 1 x) -4/3) 3.726 * [backup-simplify]: Simplify (cbrt (- (pow (/ 1 (- x)) 4) (pow (/ 1 (- y)) 4))) into (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) 3.726 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in (x y) around 0 3.726 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in y 3.726 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))))) in y 3.726 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))) in y 3.726 * [taylor]: Taking taylor expansion of 1/3 in y 3.726 * [backup-simplify]: Simplify 1/3 into 1/3 3.726 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in y 3.726 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 3.726 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 3.726 * [taylor]: Taking taylor expansion of (pow x 4) in y 3.726 * [taylor]: Taking taylor expansion of x in y 3.726 * [backup-simplify]: Simplify x into x 3.726 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.726 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 3.726 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 3.726 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.726 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.727 * [taylor]: Taking taylor expansion of y in y 3.727 * [backup-simplify]: Simplify 0 into 0 3.727 * [backup-simplify]: Simplify 1 into 1 3.727 * [backup-simplify]: Simplify (* 1 1) into 1 3.727 * [backup-simplify]: Simplify (* 1 1) into 1 3.727 * [backup-simplify]: Simplify (/ 1 1) into 1 3.728 * [backup-simplify]: Simplify (- 1) into -1 3.728 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.728 * [backup-simplify]: Simplify (log -1) into (log -1) 3.729 * [backup-simplify]: Simplify (+ (* (- 4) (log y)) (log -1)) into (- (log -1) (* 4 (log y))) 3.729 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (* 4 (log y)))) into (* 1/3 (- (log -1) (* 4 (log y)))) 3.729 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (* 4 (log y))))) into (exp (* 1/3 (- (log -1) (* 4 (log y))))) 3.729 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in x 3.729 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))))) in x 3.729 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))) in x 3.729 * [taylor]: Taking taylor expansion of 1/3 in x 3.729 * [backup-simplify]: Simplify 1/3 into 1/3 3.729 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in x 3.729 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 3.729 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.729 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.729 * [taylor]: Taking taylor expansion of x in x 3.729 * [backup-simplify]: Simplify 0 into 0 3.730 * [backup-simplify]: Simplify 1 into 1 3.730 * [backup-simplify]: Simplify (* 1 1) into 1 3.730 * [backup-simplify]: Simplify (* 1 1) into 1 3.730 * [backup-simplify]: Simplify (/ 1 1) into 1 3.730 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 3.730 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.730 * [taylor]: Taking taylor expansion of y in x 3.730 * [backup-simplify]: Simplify y into y 3.730 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.730 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.730 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 3.731 * [backup-simplify]: Simplify (+ 1 0) into 1 3.731 * [backup-simplify]: Simplify (log 1) into 0 3.731 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.731 * [backup-simplify]: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 3.731 * [backup-simplify]: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 3.731 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in x 3.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))))) in x 3.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))) in x 3.732 * [taylor]: Taking taylor expansion of 1/3 in x 3.732 * [backup-simplify]: Simplify 1/3 into 1/3 3.732 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in x 3.732 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 3.732 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.732 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.732 * [taylor]: Taking taylor expansion of x in x 3.732 * [backup-simplify]: Simplify 0 into 0 3.732 * [backup-simplify]: Simplify 1 into 1 3.732 * [backup-simplify]: Simplify (* 1 1) into 1 3.732 * [backup-simplify]: Simplify (* 1 1) into 1 3.732 * [backup-simplify]: Simplify (/ 1 1) into 1 3.732 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 3.732 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.732 * [taylor]: Taking taylor expansion of y in x 3.732 * [backup-simplify]: Simplify y into y 3.732 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.733 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.733 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 3.733 * [backup-simplify]: Simplify (+ 1 0) into 1 3.733 * [backup-simplify]: Simplify (log 1) into 0 3.733 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.733 * [backup-simplify]: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 3.734 * [backup-simplify]: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 3.734 * [taylor]: Taking taylor expansion of (pow x -4/3) in y 3.734 * [taylor]: Taking taylor expansion of (exp (* -4/3 (log x))) in y 3.734 * [taylor]: Taking taylor expansion of (* -4/3 (log x)) in y 3.734 * [taylor]: Taking taylor expansion of -4/3 in y 3.734 * [backup-simplify]: Simplify -4/3 into -4/3 3.734 * [taylor]: Taking taylor expansion of (log x) in y 3.734 * [taylor]: Taking taylor expansion of x in y 3.734 * [backup-simplify]: Simplify x into x 3.734 * [backup-simplify]: Simplify (log x) into (log x) 3.734 * [backup-simplify]: Simplify (* -4/3 (log x)) into (* -4/3 (log x)) 3.734 * [backup-simplify]: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 3.734 * [backup-simplify]: Simplify (pow x -4/3) into (pow x -4/3) 3.735 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.735 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.735 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.736 * [backup-simplify]: Simplify (+ 0 0) into 0 3.737 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 3.737 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.737 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (* 4 (log x))))) into 0 3.738 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 3.738 * [taylor]: Taking taylor expansion of 0 in y 3.738 * [backup-simplify]: Simplify 0 into 0 3.738 * [backup-simplify]: Simplify 0 into 0 3.738 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow x 1)))) 1) into 0 3.739 * [backup-simplify]: Simplify (+ (* -4/3 0) (* 0 (log x))) into 0 3.739 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 3.739 * [backup-simplify]: Simplify 0 into 0 3.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.741 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.741 * [backup-simplify]: Simplify (+ 0 0) into 0 3.743 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 3.743 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.744 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))) into 0 3.744 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.744 * [taylor]: Taking taylor expansion of 0 in y 3.744 * [backup-simplify]: Simplify 0 into 0 3.744 * [backup-simplify]: Simplify 0 into 0 3.744 * [backup-simplify]: Simplify 0 into 0 3.745 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow x 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow x 1)))) 2) into 0 3.746 * [backup-simplify]: Simplify (+ (* -4/3 0) (+ (* 0 0) (* 0 (log x)))) into 0 3.747 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.747 * [backup-simplify]: Simplify 0 into 0 3.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.749 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.749 * [backup-simplify]: Simplify (+ 0 0) into 0 3.752 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 3.752 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.753 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))) into 0 3.754 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 3.754 * [taylor]: Taking taylor expansion of 0 in y 3.754 * [backup-simplify]: Simplify 0 into 0 3.754 * [backup-simplify]: Simplify 0 into 0 3.754 * [backup-simplify]: Simplify (pow (/ 1 (- x)) -4/3) into (pow (/ -1 x) -4/3) 3.754 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 3.754 * [backup-simplify]: Simplify (cbrt (- (pow x 4) (pow y 4))) into (pow (- (pow x 4) (pow y 4)) 1/3) 3.754 * [approximate]: Taking taylor expansion of (pow (- (pow x 4) (pow y 4)) 1/3) in (x y) around 0 3.755 * [taylor]: Taking taylor expansion of (pow (- (pow x 4) (pow y 4)) 1/3) in y 3.755 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (pow x 4) (pow y 4))))) in y 3.755 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (pow x 4) (pow y 4)))) in y 3.755 * [taylor]: Taking taylor expansion of 1/3 in y 3.755 * [backup-simplify]: Simplify 1/3 into 1/3 3.755 * [taylor]: Taking taylor expansion of (log (- (pow x 4) (pow y 4))) in y 3.755 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y 3.755 * [taylor]: Taking taylor expansion of (pow x 4) in y 3.755 * [taylor]: Taking taylor expansion of x in y 3.755 * [backup-simplify]: Simplify x into x 3.755 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.755 * [taylor]: Taking taylor expansion of y in y 3.755 * [backup-simplify]: Simplify 0 into 0 3.755 * [backup-simplify]: Simplify 1 into 1 3.755 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.755 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 3.755 * [backup-simplify]: Simplify (+ (pow x 4) 0) into (pow x 4) 3.755 * [backup-simplify]: Simplify (log (pow x 4)) into (log (pow x 4)) 3.755 * [backup-simplify]: Simplify (* 1/3 (log (pow x 4))) into (* 1/3 (log (pow x 4))) 3.755 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow x 4)))) into (pow (pow x 4) 1/3) 3.755 * [taylor]: Taking taylor expansion of (pow (- (pow x 4) (pow y 4)) 1/3) in x 3.755 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (pow x 4) (pow y 4))))) in x 3.755 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (pow x 4) (pow y 4)))) in x 3.755 * [taylor]: Taking taylor expansion of 1/3 in x 3.755 * [backup-simplify]: Simplify 1/3 into 1/3 3.755 * [taylor]: Taking taylor expansion of (log (- (pow x 4) (pow y 4))) in x 3.755 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 3.755 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.755 * [taylor]: Taking taylor expansion of x in x 3.755 * [backup-simplify]: Simplify 0 into 0 3.755 * [backup-simplify]: Simplify 1 into 1 3.755 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.755 * [taylor]: Taking taylor expansion of y in x 3.755 * [backup-simplify]: Simplify y into y 3.755 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.755 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.755 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4)) 3.755 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4)) 3.756 * [backup-simplify]: Simplify (log (- (pow y 4))) into (log (- (pow y 4))) 3.756 * [backup-simplify]: Simplify (* 1/3 (log (- (pow y 4)))) into (* 1/3 (log (- (pow y 4)))) 3.756 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (pow y 4))))) into (pow (- (pow y 4)) 1/3) 3.756 * [taylor]: Taking taylor expansion of (pow (- (pow x 4) (pow y 4)) 1/3) in x 3.756 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (pow x 4) (pow y 4))))) in x 3.756 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (pow x 4) (pow y 4)))) in x 3.756 * [taylor]: Taking taylor expansion of 1/3 in x 3.756 * [backup-simplify]: Simplify 1/3 into 1/3 3.756 * [taylor]: Taking taylor expansion of (log (- (pow x 4) (pow y 4))) in x 3.756 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 3.756 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.756 * [taylor]: Taking taylor expansion of x in x 3.756 * [backup-simplify]: Simplify 0 into 0 3.756 * [backup-simplify]: Simplify 1 into 1 3.756 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.756 * [taylor]: Taking taylor expansion of y in x 3.756 * [backup-simplify]: Simplify y into y 3.756 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.756 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.756 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4)) 3.756 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4)) 3.756 * [backup-simplify]: Simplify (log (- (pow y 4))) into (log (- (pow y 4))) 3.756 * [backup-simplify]: Simplify (* 1/3 (log (- (pow y 4)))) into (* 1/3 (log (- (pow y 4)))) 3.756 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (pow y 4))))) into (pow (- (pow y 4)) 1/3) 3.756 * [taylor]: Taking taylor expansion of (pow (- (pow y 4)) 1/3) in y 3.756 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (pow y 4))))) in y 3.756 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (pow y 4)))) in y 3.756 * [taylor]: Taking taylor expansion of 1/3 in y 3.756 * [backup-simplify]: Simplify 1/3 into 1/3 3.756 * [taylor]: Taking taylor expansion of (log (- (pow y 4))) in y 3.756 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y 3.756 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.756 * [taylor]: Taking taylor expansion of y in y 3.756 * [backup-simplify]: Simplify 0 into 0 3.756 * [backup-simplify]: Simplify 1 into 1 3.757 * [backup-simplify]: Simplify (* 1 1) into 1 3.757 * [backup-simplify]: Simplify (* 1 1) into 1 3.757 * [backup-simplify]: Simplify (- 1) into -1 3.758 * [backup-simplify]: Simplify (- 1) into -1 3.758 * [backup-simplify]: Simplify (log -1) into (log -1) 3.758 * [backup-simplify]: Simplify (+ (* (- -4) (log y)) (log -1)) into (+ (log -1) (* 4 (log y))) 3.759 * [backup-simplify]: Simplify (* 1/3 (+ (log -1) (* 4 (log y)))) into (* 1/3 (+ (log -1) (* 4 (log y)))) 3.759 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log -1) (* 4 (log y))))) into (exp (* 1/3 (+ (log -1) (* 4 (log y))))) 3.759 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log -1) (* 4 (log y))))) into (exp (* 1/3 (+ (log -1) (* 4 (log y))))) 3.759 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 3.760 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 3.760 * [backup-simplify]: Simplify (- 0) into 0 3.760 * [backup-simplify]: Simplify (+ 0 0) into 0 3.761 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (pow y 4)) 1)))) 1) into 0 3.761 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (- (pow y 4))))) into 0 3.761 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (pow y 4))))) (+ (* (/ (pow 0 1) 1)))) into 0 3.762 * [taylor]: Taking taylor expansion of 0 in y 3.762 * [backup-simplify]: Simplify 0 into 0 3.762 * [backup-simplify]: Simplify 0 into 0 3.762 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.766 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.767 * [backup-simplify]: Simplify (- 0) into 0 3.767 * [backup-simplify]: Simplify (- 1) into -1 3.768 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 3.768 * [backup-simplify]: Simplify (+ (* (- -4) (log y)) (log -1)) into (+ (log -1) (* 4 (log y))) 3.769 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (+ (log -1) (* 4 (log y))))) into 0 3.770 * [backup-simplify]: Simplify (* (exp (* 1/3 (+ (log -1) (* 4 (log y))))) (+ (* (/ (pow 0 1) 1)))) into 0 3.770 * [backup-simplify]: Simplify 0 into 0 3.770 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 3.771 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 3.771 * [backup-simplify]: Simplify (- 0) into 0 3.771 * [backup-simplify]: Simplify (+ 0 0) into 0 3.772 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (pow y 4)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (pow y 4)) 1)))) 2) into 0 3.773 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (- (pow y 4)))))) into 0 3.774 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (pow y 4))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.774 * [taylor]: Taking taylor expansion of 0 in y 3.774 * [backup-simplify]: Simplify 0 into 0 3.774 * [backup-simplify]: Simplify 0 into 0 3.774 * [backup-simplify]: Simplify 0 into 0 3.774 * [backup-simplify]: Simplify (- 0) into 0 3.774 * [backup-simplify]: Simplify (- 1) into -1 3.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.776 * [backup-simplify]: Simplify (- 0) into 0 3.776 * [backup-simplify]: Simplify (- 1) into -1 3.777 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 3.778 * [backup-simplify]: Simplify (+ (* (- -4) (log y)) (log -1)) into (+ (log -1) (* 4 (log y))) 3.779 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (+ (log -1) (* 4 (log y)))))) into 0 3.780 * [backup-simplify]: Simplify (* (exp (* 1/3 (+ (log -1) (* 4 (log y))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.780 * [backup-simplify]: Simplify 0 into 0 3.781 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 3.781 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 3.781 * [backup-simplify]: Simplify (- 0) into 0 3.782 * [backup-simplify]: Simplify (+ 0 0) into 0 3.783 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (pow y 4)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (pow y 4)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (pow y 4)) 1)))) 6) into 0 3.784 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (pow y 4))))))) into 0 3.785 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (pow y 4))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 3.785 * [taylor]: Taking taylor expansion of 0 in y 3.785 * [backup-simplify]: Simplify 0 into 0 3.786 * [backup-simplify]: Simplify 0 into 0 3.786 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log -1) (* 4 (log y))))) into (exp (* 1/3 (+ (log -1) (* 4 (log y))))) 3.786 * [backup-simplify]: Simplify (cbrt (- (pow (/ 1 x) 4) (pow (/ 1 y) 4))) into (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) 3.786 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in (x y) around 0 3.786 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in y 3.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))))) in y 3.786 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))) in y 3.786 * [taylor]: Taking taylor expansion of 1/3 in y 3.786 * [backup-simplify]: Simplify 1/3 into 1/3 3.786 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in y 3.786 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 3.786 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 3.786 * [taylor]: Taking taylor expansion of (pow x 4) in y 3.786 * [taylor]: Taking taylor expansion of x in y 3.786 * [backup-simplify]: Simplify x into x 3.786 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.786 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 3.786 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 3.786 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.786 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.786 * [taylor]: Taking taylor expansion of y in y 3.786 * [backup-simplify]: Simplify 0 into 0 3.786 * [backup-simplify]: Simplify 1 into 1 3.787 * [backup-simplify]: Simplify (* 1 1) into 1 3.787 * [backup-simplify]: Simplify (* 1 1) into 1 3.787 * [backup-simplify]: Simplify (/ 1 1) into 1 3.788 * [backup-simplify]: Simplify (- 1) into -1 3.788 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.789 * [backup-simplify]: Simplify (log -1) into (log -1) 3.790 * [backup-simplify]: Simplify (+ (* (- 4) (log y)) (log -1)) into (- (log -1) (* 4 (log y))) 3.790 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (* 4 (log y)))) into (* 1/3 (- (log -1) (* 4 (log y)))) 3.791 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (* 4 (log y))))) into (exp (* 1/3 (- (log -1) (* 4 (log y))))) 3.791 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in x 3.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))))) in x 3.791 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))) in x 3.791 * [taylor]: Taking taylor expansion of 1/3 in x 3.791 * [backup-simplify]: Simplify 1/3 into 1/3 3.791 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in x 3.791 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 3.791 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.791 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.791 * [taylor]: Taking taylor expansion of x in x 3.791 * [backup-simplify]: Simplify 0 into 0 3.791 * [backup-simplify]: Simplify 1 into 1 3.792 * [backup-simplify]: Simplify (* 1 1) into 1 3.792 * [backup-simplify]: Simplify (* 1 1) into 1 3.792 * [backup-simplify]: Simplify (/ 1 1) into 1 3.792 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 3.792 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.793 * [taylor]: Taking taylor expansion of y in x 3.793 * [backup-simplify]: Simplify y into y 3.793 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.793 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.793 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 3.793 * [backup-simplify]: Simplify (+ 1 0) into 1 3.794 * [backup-simplify]: Simplify (log 1) into 0 3.794 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.794 * [backup-simplify]: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 3.794 * [backup-simplify]: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 3.794 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in x 3.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))))) in x 3.794 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))) in x 3.794 * [taylor]: Taking taylor expansion of 1/3 in x 3.795 * [backup-simplify]: Simplify 1/3 into 1/3 3.795 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in x 3.795 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 3.795 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.795 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.795 * [taylor]: Taking taylor expansion of x in x 3.795 * [backup-simplify]: Simplify 0 into 0 3.795 * [backup-simplify]: Simplify 1 into 1 3.795 * [backup-simplify]: Simplify (* 1 1) into 1 3.796 * [backup-simplify]: Simplify (* 1 1) into 1 3.796 * [backup-simplify]: Simplify (/ 1 1) into 1 3.796 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 3.796 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.796 * [taylor]: Taking taylor expansion of y in x 3.796 * [backup-simplify]: Simplify y into y 3.796 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.796 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.796 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 3.797 * [backup-simplify]: Simplify (+ 1 0) into 1 3.797 * [backup-simplify]: Simplify (log 1) into 0 3.798 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.798 * [backup-simplify]: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 3.798 * [backup-simplify]: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 3.798 * [taylor]: Taking taylor expansion of (pow x -4/3) in y 3.798 * [taylor]: Taking taylor expansion of (exp (* -4/3 (log x))) in y 3.798 * [taylor]: Taking taylor expansion of (* -4/3 (log x)) in y 3.798 * [taylor]: Taking taylor expansion of -4/3 in y 3.798 * [backup-simplify]: Simplify -4/3 into -4/3 3.798 * [taylor]: Taking taylor expansion of (log x) in y 3.798 * [taylor]: Taking taylor expansion of x in y 3.798 * [backup-simplify]: Simplify x into x 3.798 * [backup-simplify]: Simplify (log x) into (log x) 3.798 * [backup-simplify]: Simplify (* -4/3 (log x)) into (* -4/3 (log x)) 3.798 * [backup-simplify]: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 3.798 * [backup-simplify]: Simplify (pow x -4/3) into (pow x -4/3) 3.799 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.800 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.801 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.801 * [backup-simplify]: Simplify (+ 0 0) into 0 3.803 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 3.803 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.804 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (* 4 (log x))))) into 0 3.805 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 3.805 * [taylor]: Taking taylor expansion of 0 in y 3.805 * [backup-simplify]: Simplify 0 into 0 3.805 * [backup-simplify]: Simplify 0 into 0 3.806 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow x 1)))) 1) into 0 3.807 * [backup-simplify]: Simplify (+ (* -4/3 0) (* 0 (log x))) into 0 3.807 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 3.807 * [backup-simplify]: Simplify 0 into 0 3.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.810 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.811 * [backup-simplify]: Simplify (+ 0 0) into 0 3.814 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 3.814 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.815 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))) into 0 3.817 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.817 * [taylor]: Taking taylor expansion of 0 in y 3.817 * [backup-simplify]: Simplify 0 into 0 3.817 * [backup-simplify]: Simplify 0 into 0 3.817 * [backup-simplify]: Simplify 0 into 0 3.819 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow x 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow x 1)))) 2) into 0 3.820 * [backup-simplify]: Simplify (+ (* -4/3 0) (+ (* 0 0) (* 0 (log x)))) into 0 3.821 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.821 * [backup-simplify]: Simplify 0 into 0 3.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.825 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.825 * [backup-simplify]: Simplify (+ 0 0) into 0 3.830 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 3.831 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.832 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))) into 0 3.834 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 3.834 * [taylor]: Taking taylor expansion of 0 in y 3.834 * [backup-simplify]: Simplify 0 into 0 3.834 * [backup-simplify]: Simplify 0 into 0 3.835 * [backup-simplify]: Simplify (pow (/ 1 x) -4/3) into (pow (/ 1 x) -4/3) 3.835 * [backup-simplify]: Simplify (cbrt (- (pow (/ 1 (- x)) 4) (pow (/ 1 (- y)) 4))) into (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) 3.835 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in (x y) around 0 3.835 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in y 3.835 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))))) in y 3.835 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))) in y 3.835 * [taylor]: Taking taylor expansion of 1/3 in y 3.835 * [backup-simplify]: Simplify 1/3 into 1/3 3.835 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in y 3.835 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 3.836 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 3.836 * [taylor]: Taking taylor expansion of (pow x 4) in y 3.836 * [taylor]: Taking taylor expansion of x in y 3.836 * [backup-simplify]: Simplify x into x 3.836 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.836 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 3.836 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 3.836 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.836 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.836 * [taylor]: Taking taylor expansion of y in y 3.836 * [backup-simplify]: Simplify 0 into 0 3.836 * [backup-simplify]: Simplify 1 into 1 3.836 * [backup-simplify]: Simplify (* 1 1) into 1 3.837 * [backup-simplify]: Simplify (* 1 1) into 1 3.837 * [backup-simplify]: Simplify (/ 1 1) into 1 3.838 * [backup-simplify]: Simplify (- 1) into -1 3.838 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.839 * [backup-simplify]: Simplify (log -1) into (log -1) 3.840 * [backup-simplify]: Simplify (+ (* (- 4) (log y)) (log -1)) into (- (log -1) (* 4 (log y))) 3.840 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (* 4 (log y)))) into (* 1/3 (- (log -1) (* 4 (log y)))) 3.841 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (* 4 (log y))))) into (exp (* 1/3 (- (log -1) (* 4 (log y))))) 3.841 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in x 3.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))))) in x 3.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))) in x 3.841 * [taylor]: Taking taylor expansion of 1/3 in x 3.841 * [backup-simplify]: Simplify 1/3 into 1/3 3.841 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in x 3.841 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 3.841 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.841 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.841 * [taylor]: Taking taylor expansion of x in x 3.841 * [backup-simplify]: Simplify 0 into 0 3.841 * [backup-simplify]: Simplify 1 into 1 3.841 * [backup-simplify]: Simplify (* 1 1) into 1 3.842 * [backup-simplify]: Simplify (* 1 1) into 1 3.842 * [backup-simplify]: Simplify (/ 1 1) into 1 3.842 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 3.842 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.842 * [taylor]: Taking taylor expansion of y in x 3.842 * [backup-simplify]: Simplify y into y 3.842 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.842 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.843 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 3.843 * [backup-simplify]: Simplify (+ 1 0) into 1 3.843 * [backup-simplify]: Simplify (log 1) into 0 3.844 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.844 * [backup-simplify]: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 3.844 * [backup-simplify]: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 3.844 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1/3) in x 3.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))))) in x 3.844 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4))))) in x 3.844 * [taylor]: Taking taylor expansion of 1/3 in x 3.844 * [backup-simplify]: Simplify 1/3 into 1/3 3.844 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))) in x 3.844 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 3.844 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.844 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.844 * [taylor]: Taking taylor expansion of x in x 3.844 * [backup-simplify]: Simplify 0 into 0 3.844 * [backup-simplify]: Simplify 1 into 1 3.845 * [backup-simplify]: Simplify (* 1 1) into 1 3.845 * [backup-simplify]: Simplify (* 1 1) into 1 3.846 * [backup-simplify]: Simplify (/ 1 1) into 1 3.846 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 3.846 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.846 * [taylor]: Taking taylor expansion of y in x 3.846 * [backup-simplify]: Simplify y into y 3.846 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.846 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.846 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 3.847 * [backup-simplify]: Simplify (+ 1 0) into 1 3.847 * [backup-simplify]: Simplify (log 1) into 0 3.848 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.848 * [backup-simplify]: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 3.848 * [backup-simplify]: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 3.848 * [taylor]: Taking taylor expansion of (pow x -4/3) in y 3.848 * [taylor]: Taking taylor expansion of (exp (* -4/3 (log x))) in y 3.848 * [taylor]: Taking taylor expansion of (* -4/3 (log x)) in y 3.848 * [taylor]: Taking taylor expansion of -4/3 in y 3.848 * [backup-simplify]: Simplify -4/3 into -4/3 3.848 * [taylor]: Taking taylor expansion of (log x) in y 3.848 * [taylor]: Taking taylor expansion of x in y 3.848 * [backup-simplify]: Simplify x into x 3.848 * [backup-simplify]: Simplify (log x) into (log x) 3.848 * [backup-simplify]: Simplify (* -4/3 (log x)) into (* -4/3 (log x)) 3.848 * [backup-simplify]: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 3.848 * [backup-simplify]: Simplify (pow x -4/3) into (pow x -4/3) 3.849 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.850 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.851 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.851 * [backup-simplify]: Simplify (+ 0 0) into 0 3.852 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 3.853 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.854 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (* 4 (log x))))) into 0 3.855 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 3.855 * [taylor]: Taking taylor expansion of 0 in y 3.855 * [backup-simplify]: Simplify 0 into 0 3.855 * [backup-simplify]: Simplify 0 into 0 3.856 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow x 1)))) 1) into 0 3.856 * [backup-simplify]: Simplify (+ (* -4/3 0) (* 0 (log x))) into 0 3.857 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 3.857 * [backup-simplify]: Simplify 0 into 0 3.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.860 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.860 * [backup-simplify]: Simplify (+ 0 0) into 0 3.863 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 3.864 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.864 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))) into 0 3.865 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.865 * [taylor]: Taking taylor expansion of 0 in y 3.865 * [backup-simplify]: Simplify 0 into 0 3.865 * [backup-simplify]: Simplify 0 into 0 3.865 * [backup-simplify]: Simplify 0 into 0 3.866 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow x 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow x 1)))) 2) into 0 3.867 * [backup-simplify]: Simplify (+ (* -4/3 0) (+ (* 0 0) (* 0 (log x)))) into 0 3.867 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.867 * [backup-simplify]: Simplify 0 into 0 3.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.870 * [backup-simplify]: Simplify (+ 0 0) into 0 3.872 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 3.873 * [backup-simplify]: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 3.874 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))) into 0 3.875 * [backup-simplify]: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 3.875 * [taylor]: Taking taylor expansion of 0 in y 3.875 * [backup-simplify]: Simplify 0 into 0 3.875 * [backup-simplify]: Simplify 0 into 0 3.875 * [backup-simplify]: Simplify (pow (/ 1 (- x)) -4/3) into (pow (/ -1 x) -4/3) 3.875 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 3.875 * [backup-simplify]: Simplify (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) into (pow (pow (- (pow x 4) (pow y 4)) 2) 1/3) 3.875 * [approximate]: Taking taylor expansion of (pow (pow (- (pow x 4) (pow y 4)) 2) 1/3) in (x y) around 0 3.875 * [taylor]: Taking taylor expansion of (pow (pow (- (pow x 4) (pow y 4)) 2) 1/3) in y 3.875 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (pow x 4) (pow y 4)) 2)))) in y 3.875 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (pow x 4) (pow y 4)) 2))) in y 3.875 * [taylor]: Taking taylor expansion of 1/3 in y 3.875 * [backup-simplify]: Simplify 1/3 into 1/3 3.875 * [taylor]: Taking taylor expansion of (log (pow (- (pow x 4) (pow y 4)) 2)) in y 3.875 * [taylor]: Taking taylor expansion of (pow (- (pow x 4) (pow y 4)) 2) in y 3.875 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y 3.875 * [taylor]: Taking taylor expansion of (pow x 4) in y 3.875 * [taylor]: Taking taylor expansion of x in y 3.875 * [backup-simplify]: Simplify x into x 3.875 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.875 * [taylor]: Taking taylor expansion of y in y 3.875 * [backup-simplify]: Simplify 0 into 0 3.875 * [backup-simplify]: Simplify 1 into 1 3.875 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.876 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 3.876 * [backup-simplify]: Simplify (+ (pow x 4) 0) into (pow x 4) 3.876 * [backup-simplify]: Simplify (* (pow x 4) (pow x 4)) into (pow x 8) 3.876 * [backup-simplify]: Simplify (log (pow x 8)) into (log (pow x 8)) 3.876 * [backup-simplify]: Simplify (* 1/3 (log (pow x 8))) into (* 1/3 (log (pow x 8))) 3.876 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow x 8)))) into (pow (pow x 8) 1/3) 3.876 * [taylor]: Taking taylor expansion of (pow (pow (- (pow x 4) (pow y 4)) 2) 1/3) in x 3.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (pow x 4) (pow y 4)) 2)))) in x 3.876 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (pow x 4) (pow y 4)) 2))) in x 3.876 * [taylor]: Taking taylor expansion of 1/3 in x 3.876 * [backup-simplify]: Simplify 1/3 into 1/3 3.876 * [taylor]: Taking taylor expansion of (log (pow (- (pow x 4) (pow y 4)) 2)) in x 3.876 * [taylor]: Taking taylor expansion of (pow (- (pow x 4) (pow y 4)) 2) in x 3.876 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 3.876 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.876 * [taylor]: Taking taylor expansion of x in x 3.876 * [backup-simplify]: Simplify 0 into 0 3.876 * [backup-simplify]: Simplify 1 into 1 3.876 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.876 * [taylor]: Taking taylor expansion of y in x 3.876 * [backup-simplify]: Simplify y into y 3.876 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.876 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.876 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4)) 3.876 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4)) 3.876 * [backup-simplify]: Simplify (* (- (pow y 4)) (- (pow y 4))) into (pow y 8) 3.876 * [backup-simplify]: Simplify (log (pow y 8)) into (log (pow y 8)) 3.876 * [backup-simplify]: Simplify (* 1/3 (log (pow y 8))) into (* 1/3 (log (pow y 8))) 3.876 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow y 8)))) into (pow (pow y 8) 1/3) 3.876 * [taylor]: Taking taylor expansion of (pow (pow (- (pow x 4) (pow y 4)) 2) 1/3) in x 3.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (pow x 4) (pow y 4)) 2)))) in x 3.876 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (pow x 4) (pow y 4)) 2))) in x 3.877 * [taylor]: Taking taylor expansion of 1/3 in x 3.877 * [backup-simplify]: Simplify 1/3 into 1/3 3.877 * [taylor]: Taking taylor expansion of (log (pow (- (pow x 4) (pow y 4)) 2)) in x 3.877 * [taylor]: Taking taylor expansion of (pow (- (pow x 4) (pow y 4)) 2) in x 3.877 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 3.877 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.877 * [taylor]: Taking taylor expansion of x in x 3.877 * [backup-simplify]: Simplify 0 into 0 3.877 * [backup-simplify]: Simplify 1 into 1 3.877 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.877 * [taylor]: Taking taylor expansion of y in x 3.877 * [backup-simplify]: Simplify y into y 3.877 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.877 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.877 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4)) 3.877 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4)) 3.877 * [backup-simplify]: Simplify (* (- (pow y 4)) (- (pow y 4))) into (pow y 8) 3.877 * [backup-simplify]: Simplify (log (pow y 8)) into (log (pow y 8)) 3.877 * [backup-simplify]: Simplify (* 1/3 (log (pow y 8))) into (* 1/3 (log (pow y 8))) 3.877 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow y 8)))) into (pow (pow y 8) 1/3) 3.877 * [taylor]: Taking taylor expansion of (pow (pow y 8) 1/3) in y 3.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 8)))) in y 3.877 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 8))) in y 3.877 * [taylor]: Taking taylor expansion of 1/3 in y 3.877 * [backup-simplify]: Simplify 1/3 into 1/3 3.877 * [taylor]: Taking taylor expansion of (log (pow y 8)) in y 3.877 * [taylor]: Taking taylor expansion of (pow y 8) in y 3.877 * [taylor]: Taking taylor expansion of y in y 3.877 * [backup-simplify]: Simplify 0 into 0 3.877 * [backup-simplify]: Simplify 1 into 1 3.878 * [backup-simplify]: Simplify (* 1 1) into 1 3.878 * [backup-simplify]: Simplify (* 1 1) into 1 3.878 * [backup-simplify]: Simplify (* 1 1) into 1 3.878 * [backup-simplify]: Simplify (log 1) into 0 3.879 * [backup-simplify]: Simplify (+ (* (- -8) (log y)) 0) into (* 8 (log y)) 3.879 * [backup-simplify]: Simplify (* 1/3 (* 8 (log y))) into (* 8/3 (log y)) 3.879 * [backup-simplify]: Simplify (exp (* 8/3 (log y))) into (pow y 8/3) 3.879 * [backup-simplify]: Simplify (pow y 8/3) into (pow y 8/3) 3.879 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 3.879 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 3.879 * [backup-simplify]: Simplify (- 0) into 0 3.880 * [backup-simplify]: Simplify (+ 0 0) into 0 3.880 * [backup-simplify]: Simplify (+ (* (- (pow y 4)) 0) (* 0 (- (pow y 4)))) into 0 3.880 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow y 8) 1)))) 1) into 0 3.881 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow y 8)))) into 0 3.881 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow y 8)))) (+ (* (/ (pow 0 1) 1)))) into 0 3.881 * [taylor]: Taking taylor expansion of 0 in y 3.881 * [backup-simplify]: Simplify 0 into 0 3.881 * [backup-simplify]: Simplify 0 into 0 3.882 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.882 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.882 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.883 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 3.884 * [backup-simplify]: Simplify (+ (* (- -8) (log y)) 0) into (* 8 (log y)) 3.884 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (* 8 (log y)))) into 0 3.884 * [backup-simplify]: Simplify (* (exp (* 8/3 (log y))) (+ (* (/ (pow 0 1) 1)))) into 0 3.884 * [backup-simplify]: Simplify 0 into 0 3.885 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 3.885 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 3.885 * [backup-simplify]: Simplify (- 0) into 0 3.886 * [backup-simplify]: Simplify (+ 0 0) into 0 3.886 * [backup-simplify]: Simplify (+ (* (- (pow y 4)) 0) (+ (* 0 0) (* 0 (- (pow y 4))))) into 0 3.887 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow y 8) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow y 8) 1)))) 2) into 0 3.888 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow y 8))))) into 0 3.888 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow y 8)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.888 * [taylor]: Taking taylor expansion of 0 in y 3.888 * [backup-simplify]: Simplify 0 into 0 3.888 * [backup-simplify]: Simplify 0 into 0 3.889 * [backup-simplify]: Simplify 0 into 0 3.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.894 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.896 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.899 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 3.899 * [backup-simplify]: Simplify (+ (* (- -8) (log y)) 0) into (* 8 (log y)) 3.900 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (* 8 (log y))))) into 0 3.902 * [backup-simplify]: Simplify (* (exp (* 8/3 (log y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.902 * [backup-simplify]: Simplify 0 into 0 3.903 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 3.904 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 3.904 * [backup-simplify]: Simplify (- 0) into 0 3.905 * [backup-simplify]: Simplify (+ 0 0) into 0 3.906 * [backup-simplify]: Simplify (+ (* (- (pow y 4)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (pow y 4)))))) into 0 3.908 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow y 8) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow y 8) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow y 8) 1)))) 6) into 0 3.910 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow y 8)))))) into 0 3.912 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow y 8)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 3.912 * [taylor]: Taking taylor expansion of 0 in y 3.912 * [backup-simplify]: Simplify 0 into 0 3.912 * [backup-simplify]: Simplify 0 into 0 3.912 * [backup-simplify]: Simplify (pow y 8/3) into (pow y 8/3) 3.912 * [backup-simplify]: Simplify (* (cbrt (- (pow (/ 1 x) 4) (pow (/ 1 y) 4))) (cbrt (- (pow (/ 1 x) 4) (pow (/ 1 y) 4)))) into (pow (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2) 1/3) 3.912 * [approximate]: Taking taylor expansion of (pow (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2) 1/3) in (x y) around 0 3.912 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2) 1/3) in y 3.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2)))) in y 3.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2))) in y 3.913 * [taylor]: Taking taylor expansion of 1/3 in y 3.913 * [backup-simplify]: Simplify 1/3 into 1/3 3.913 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2)) in y 3.913 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2) in y 3.913 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 3.913 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 3.913 * [taylor]: Taking taylor expansion of (pow x 4) in y 3.913 * [taylor]: Taking taylor expansion of x in y 3.913 * [backup-simplify]: Simplify x into x 3.913 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.913 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 3.913 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 3.913 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.913 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.913 * [taylor]: Taking taylor expansion of y in y 3.913 * [backup-simplify]: Simplify 0 into 0 3.913 * [backup-simplify]: Simplify 1 into 1 3.914 * [backup-simplify]: Simplify (* 1 1) into 1 3.914 * [backup-simplify]: Simplify (* 1 1) into 1 3.914 * [backup-simplify]: Simplify (/ 1 1) into 1 3.915 * [backup-simplify]: Simplify (- 1) into -1 3.915 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.916 * [backup-simplify]: Simplify (* -1 -1) into 1 3.916 * [backup-simplify]: Simplify (log 1) into 0 3.917 * [backup-simplify]: Simplify (+ (* (- 8) (log y)) 0) into (- (* 8 (log y))) 3.917 * [backup-simplify]: Simplify (* 1/3 (- (* 8 (log y)))) into (* -8/3 (log y)) 3.917 * [backup-simplify]: Simplify (exp (* -8/3 (log y))) into (pow y -8/3) 3.917 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2) 1/3) in x 3.917 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2)))) in x 3.917 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2))) in x 3.917 * [taylor]: Taking taylor expansion of 1/3 in x 3.917 * [backup-simplify]: Simplify 1/3 into 1/3 3.917 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2)) in x 3.917 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2) in x 3.917 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 3.917 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.917 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.917 * [taylor]: Taking taylor expansion of x in x 3.917 * [backup-simplify]: Simplify 0 into 0 3.917 * [backup-simplify]: Simplify 1 into 1 3.918 * [backup-simplify]: Simplify (* 1 1) into 1 3.918 * [backup-simplify]: Simplify (* 1 1) into 1 3.918 * [backup-simplify]: Simplify (/ 1 1) into 1 3.918 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 3.919 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.919 * [taylor]: Taking taylor expansion of y in x 3.919 * [backup-simplify]: Simplify y into y 3.919 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.919 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.919 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 3.919 * [backup-simplify]: Simplify (+ 1 0) into 1 3.920 * [backup-simplify]: Simplify (* 1 1) into 1 3.920 * [backup-simplify]: Simplify (log 1) into 0 3.921 * [backup-simplify]: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 3.921 * [backup-simplify]: Simplify (* 1/3 (- (* 8 (log x)))) into (* -8/3 (log x)) 3.921 * [backup-simplify]: Simplify (exp (* -8/3 (log x))) into (pow x -8/3) 3.921 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2) 1/3) in x 3.921 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2)))) in x 3.921 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2))) in x 3.921 * [taylor]: Taking taylor expansion of 1/3 in x 3.921 * [backup-simplify]: Simplify 1/3 into 1/3 3.921 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2)) in x 3.921 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2) in x 3.921 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 3.921 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.921 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.921 * [taylor]: Taking taylor expansion of x in x 3.921 * [backup-simplify]: Simplify 0 into 0 3.921 * [backup-simplify]: Simplify 1 into 1 3.922 * [backup-simplify]: Simplify (* 1 1) into 1 3.922 * [backup-simplify]: Simplify (* 1 1) into 1 3.922 * [backup-simplify]: Simplify (/ 1 1) into 1 3.922 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 3.922 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.922 * [taylor]: Taking taylor expansion of y in x 3.922 * [backup-simplify]: Simplify y into y 3.923 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.923 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.923 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 3.923 * [backup-simplify]: Simplify (+ 1 0) into 1 3.924 * [backup-simplify]: Simplify (* 1 1) into 1 3.924 * [backup-simplify]: Simplify (log 1) into 0 3.924 * [backup-simplify]: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 3.925 * [backup-simplify]: Simplify (* 1/3 (- (* 8 (log x)))) into (* -8/3 (log x)) 3.925 * [backup-simplify]: Simplify (exp (* -8/3 (log x))) into (pow x -8/3) 3.925 * [taylor]: Taking taylor expansion of (pow x -8/3) in y 3.925 * [taylor]: Taking taylor expansion of (exp (* -8/3 (log x))) in y 3.925 * [taylor]: Taking taylor expansion of (* -8/3 (log x)) in y 3.925 * [taylor]: Taking taylor expansion of -8/3 in y 3.925 * [backup-simplify]: Simplify -8/3 into -8/3 3.925 * [taylor]: Taking taylor expansion of (log x) in y 3.925 * [taylor]: Taking taylor expansion of x in y 3.925 * [backup-simplify]: Simplify x into x 3.925 * [backup-simplify]: Simplify (log x) into (log x) 3.925 * [backup-simplify]: Simplify (* -8/3 (log x)) into (* -8/3 (log x)) 3.925 * [backup-simplify]: Simplify (exp (* -8/3 (log x))) into (pow x -8/3) 3.925 * [backup-simplify]: Simplify (pow x -8/3) into (pow x -8/3) 3.926 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.927 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.927 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.928 * [backup-simplify]: Simplify (+ 0 0) into 0 3.929 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.930 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 3.931 * [backup-simplify]: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 3.931 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (* 8 (log x))))) into 0 3.932 * [backup-simplify]: Simplify (* (exp (* -8/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 3.932 * [taylor]: Taking taylor expansion of 0 in y 3.932 * [backup-simplify]: Simplify 0 into 0 3.932 * [backup-simplify]: Simplify 0 into 0 3.933 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow x 1)))) 1) into 0 3.934 * [backup-simplify]: Simplify (+ (* -8/3 0) (* 0 (log x))) into 0 3.935 * [backup-simplify]: Simplify (* (exp (* -8/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 3.935 * [backup-simplify]: Simplify 0 into 0 3.936 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.937 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.938 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.939 * [backup-simplify]: Simplify (+ 0 0) into 0 3.940 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.942 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 3.943 * [backup-simplify]: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 3.944 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 8 (log x)))))) into 0 3.946 * [backup-simplify]: Simplify (* (exp (* -8/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.946 * [taylor]: Taking taylor expansion of 0 in y 3.946 * [backup-simplify]: Simplify 0 into 0 3.946 * [backup-simplify]: Simplify 0 into 0 3.946 * [backup-simplify]: Simplify 0 into 0 3.948 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow x 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow x 1)))) 2) into 0 3.949 * [backup-simplify]: Simplify (+ (* -8/3 0) (+ (* 0 0) (* 0 (log x)))) into 0 3.950 * [backup-simplify]: Simplify (* (exp (* -8/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.950 * [backup-simplify]: Simplify 0 into 0 3.951 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.954 * [backup-simplify]: Simplify (+ 0 0) into 0 3.955 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.960 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 3.960 * [backup-simplify]: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 3.962 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 8 (log x))))))) into 0 3.964 * [backup-simplify]: Simplify (* (exp (* -8/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 3.964 * [taylor]: Taking taylor expansion of 0 in y 3.964 * [backup-simplify]: Simplify 0 into 0 3.964 * [backup-simplify]: Simplify 0 into 0 3.964 * [backup-simplify]: Simplify (pow (/ 1 x) -8/3) into (pow (/ 1 x) -8/3) 3.964 * [backup-simplify]: Simplify (* (cbrt (- (pow (/ 1 (- x)) 4) (pow (/ 1 (- y)) 4))) (cbrt (- (pow (/ 1 (- x)) 4) (pow (/ 1 (- y)) 4)))) into (pow (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2) 1/3) 3.964 * [approximate]: Taking taylor expansion of (pow (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2) 1/3) in (x y) around 0 3.965 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2) 1/3) in y 3.965 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2)))) in y 3.965 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2))) in y 3.965 * [taylor]: Taking taylor expansion of 1/3 in y 3.965 * [backup-simplify]: Simplify 1/3 into 1/3 3.965 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2)) in y 3.965 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2) in y 3.965 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 3.965 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 3.965 * [taylor]: Taking taylor expansion of (pow x 4) in y 3.965 * [taylor]: Taking taylor expansion of x in y 3.965 * [backup-simplify]: Simplify x into x 3.965 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.965 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 3.965 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 3.965 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.965 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.965 * [taylor]: Taking taylor expansion of y in y 3.965 * [backup-simplify]: Simplify 0 into 0 3.965 * [backup-simplify]: Simplify 1 into 1 3.966 * [backup-simplify]: Simplify (* 1 1) into 1 3.966 * [backup-simplify]: Simplify (* 1 1) into 1 3.967 * [backup-simplify]: Simplify (/ 1 1) into 1 3.967 * [backup-simplify]: Simplify (- 1) into -1 3.967 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.968 * [backup-simplify]: Simplify (* -1 -1) into 1 3.968 * [backup-simplify]: Simplify (log 1) into 0 3.969 * [backup-simplify]: Simplify (+ (* (- 8) (log y)) 0) into (- (* 8 (log y))) 3.969 * [backup-simplify]: Simplify (* 1/3 (- (* 8 (log y)))) into (* -8/3 (log y)) 3.969 * [backup-simplify]: Simplify (exp (* -8/3 (log y))) into (pow y -8/3) 3.969 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2) 1/3) in x 3.969 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2)))) in x 3.969 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2))) in x 3.969 * [taylor]: Taking taylor expansion of 1/3 in x 3.969 * [backup-simplify]: Simplify 1/3 into 1/3 3.969 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2)) in x 3.969 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2) in x 3.969 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 3.969 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.969 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.969 * [taylor]: Taking taylor expansion of x in x 3.969 * [backup-simplify]: Simplify 0 into 0 3.969 * [backup-simplify]: Simplify 1 into 1 3.970 * [backup-simplify]: Simplify (* 1 1) into 1 3.970 * [backup-simplify]: Simplify (* 1 1) into 1 3.970 * [backup-simplify]: Simplify (/ 1 1) into 1 3.970 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 3.970 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.970 * [taylor]: Taking taylor expansion of y in x 3.970 * [backup-simplify]: Simplify y into y 3.971 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.971 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.971 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 3.971 * [backup-simplify]: Simplify (+ 1 0) into 1 3.972 * [backup-simplify]: Simplify (* 1 1) into 1 3.972 * [backup-simplify]: Simplify (log 1) into 0 3.972 * [backup-simplify]: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 3.973 * [backup-simplify]: Simplify (* 1/3 (- (* 8 (log x)))) into (* -8/3 (log x)) 3.973 * [backup-simplify]: Simplify (exp (* -8/3 (log x))) into (pow x -8/3) 3.973 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2) 1/3) in x 3.973 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2)))) in x 3.973 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2))) in x 3.973 * [taylor]: Taking taylor expansion of 1/3 in x 3.973 * [backup-simplify]: Simplify 1/3 into 1/3 3.973 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2)) in x 3.973 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 2) in x 3.973 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 3.973 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.973 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.973 * [taylor]: Taking taylor expansion of x in x 3.973 * [backup-simplify]: Simplify 0 into 0 3.973 * [backup-simplify]: Simplify 1 into 1 3.973 * [backup-simplify]: Simplify (* 1 1) into 1 3.974 * [backup-simplify]: Simplify (* 1 1) into 1 3.974 * [backup-simplify]: Simplify (/ 1 1) into 1 3.974 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 3.974 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.974 * [taylor]: Taking taylor expansion of y in x 3.974 * [backup-simplify]: Simplify y into y 3.974 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.974 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 3.975 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 3.975 * [backup-simplify]: Simplify (+ 1 0) into 1 3.975 * [backup-simplify]: Simplify (* 1 1) into 1 3.976 * [backup-simplify]: Simplify (log 1) into 0 3.976 * [backup-simplify]: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 3.976 * [backup-simplify]: Simplify (* 1/3 (- (* 8 (log x)))) into (* -8/3 (log x)) 3.976 * [backup-simplify]: Simplify (exp (* -8/3 (log x))) into (pow x -8/3) 3.977 * [taylor]: Taking taylor expansion of (pow x -8/3) in y 3.977 * [taylor]: Taking taylor expansion of (exp (* -8/3 (log x))) in y 3.977 * [taylor]: Taking taylor expansion of (* -8/3 (log x)) in y 3.977 * [taylor]: Taking taylor expansion of -8/3 in y 3.977 * [backup-simplify]: Simplify -8/3 into -8/3 3.977 * [taylor]: Taking taylor expansion of (log x) in y 3.977 * [taylor]: Taking taylor expansion of x in y 3.977 * [backup-simplify]: Simplify x into x 3.977 * [backup-simplify]: Simplify (log x) into (log x) 3.977 * [backup-simplify]: Simplify (* -8/3 (log x)) into (* -8/3 (log x)) 3.977 * [backup-simplify]: Simplify (exp (* -8/3 (log x))) into (pow x -8/3) 3.977 * [backup-simplify]: Simplify (pow x -8/3) into (pow x -8/3) 3.978 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.978 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.979 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.979 * [backup-simplify]: Simplify (+ 0 0) into 0 3.980 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.981 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 3.982 * [backup-simplify]: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 3.982 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (* 8 (log x))))) into 0 3.983 * [backup-simplify]: Simplify (* (exp (* -8/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 3.983 * [taylor]: Taking taylor expansion of 0 in y 3.983 * [backup-simplify]: Simplify 0 into 0 3.983 * [backup-simplify]: Simplify 0 into 0 3.984 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow x 1)))) 1) into 0 3.985 * [backup-simplify]: Simplify (+ (* -8/3 0) (* 0 (log x))) into 0 3.986 * [backup-simplify]: Simplify (* (exp (* -8/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 3.986 * [backup-simplify]: Simplify 0 into 0 3.987 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.989 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.989 * [backup-simplify]: Simplify (+ 0 0) into 0 3.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.993 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 3.993 * [backup-simplify]: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 3.994 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 8 (log x)))))) into 0 3.996 * [backup-simplify]: Simplify (* (exp (* -8/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.996 * [taylor]: Taking taylor expansion of 0 in y 3.996 * [backup-simplify]: Simplify 0 into 0 3.996 * [backup-simplify]: Simplify 0 into 0 3.996 * [backup-simplify]: Simplify 0 into 0 3.998 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow x 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow x 1)))) 2) into 0 3.998 * [backup-simplify]: Simplify (+ (* -8/3 0) (+ (* 0 0) (* 0 (log x)))) into 0 4.000 * [backup-simplify]: Simplify (* (exp (* -8/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.000 * [backup-simplify]: Simplify 0 into 0 4.001 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.003 * [backup-simplify]: Simplify (+ 0 0) into 0 4.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.010 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 4.010 * [backup-simplify]: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 4.012 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 8 (log x))))))) into 0 4.013 * [backup-simplify]: Simplify (* (exp (* -8/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.013 * [taylor]: Taking taylor expansion of 0 in y 4.013 * [backup-simplify]: Simplify 0 into 0 4.013 * [backup-simplify]: Simplify 0 into 0 4.013 * [backup-simplify]: Simplify (pow (/ 1 (- x)) -8/3) into (pow (/ -1 x) -8/3) 4.014 * * * [progress]: simplifying candidates 4.014 * * * * [progress]: [ 1 / 171 ] simplifiying candidate # 4.014 * * * * [progress]: [ 2 / 171 ] simplifiying candidate # 4.014 * * * * [progress]: [ 3 / 171 ] simplifiying candidate # 4.014 * * * * [progress]: [ 4 / 171 ] simplifiying candidate # 4.014 * * * * [progress]: [ 5 / 171 ] simplifiying candidate # 4.014 * * * * [progress]: [ 6 / 171 ] simplifiying candidate # 4.014 * * * * [progress]: [ 7 / 171 ] simplifiying candidate # 4.014 * * * * [progress]: [ 8 / 171 ] simplifiying candidate # 4.014 * * * * [progress]: [ 9 / 171 ] simplifiying candidate # 4.014 * * * * [progress]: [ 10 / 171 ] simplifiying candidate # 4.014 * * * * [progress]: [ 11 / 171 ] simplifiying candidate # 4.014 * * * * [progress]: [ 12 / 171 ] simplifiying candidate # 4.014 * * * * [progress]: [ 13 / 171 ] simplifiying candidate # 4.015 * * * * [progress]: [ 14 / 171 ] simplifiying candidate # 4.015 * * * * [progress]: [ 15 / 171 ] simplifiying candidate # 4.015 * * * * [progress]: [ 16 / 171 ] simplifiying candidate # 4.015 * * * * [progress]: [ 17 / 171 ] simplifiying candidate # 4.015 * * * * [progress]: [ 18 / 171 ] simplifiying candidate # 4.015 * * * * [progress]: [ 19 / 171 ] simplifiying candidate # 4.015 * * * * [progress]: [ 20 / 171 ] simplifiying candidate # 4.015 * * * * [progress]: [ 21 / 171 ] simplifiying candidate # 4.015 * * * * [progress]: [ 22 / 171 ] simplifiying candidate # 4.015 * * * * [progress]: [ 23 / 171 ] simplifiying candidate # 4.015 * * * * [progress]: [ 24 / 171 ] simplifiying candidate # 4.015 * * * * [progress]: [ 25 / 171 ] simplifiying candidate #real (real->posit16 (cbrt (- (pow x 4) (pow y 4)))))))> 4.015 * * * * [progress]: [ 26 / 171 ] simplifiying candidate # 4.015 * * * * [progress]: [ 27 / 171 ] simplifiying candidate # 4.015 * * * * [progress]: [ 28 / 171 ] simplifiying candidate # 4.016 * * * * [progress]: [ 29 / 171 ] simplifiying candidate # 4.016 * * * * [progress]: [ 30 / 171 ] simplifiying candidate # 4.016 * * * * [progress]: [ 31 / 171 ] simplifiying candidate # 4.016 * * * * [progress]: [ 32 / 171 ] simplifiying candidate # 4.016 * * * * [progress]: [ 33 / 171 ] simplifiying candidate # 4.016 * * * * [progress]: [ 34 / 171 ] simplifiying candidate # 4.016 * * * * [progress]: [ 35 / 171 ] simplifiying candidate # 4.016 * * * * [progress]: [ 36 / 171 ] simplifiying candidate # 4.016 * * * * [progress]: [ 37 / 171 ] simplifiying candidate # 4.016 * * * * [progress]: [ 38 / 171 ] simplifiying candidate # 4.016 * * * * [progress]: [ 39 / 171 ] simplifiying candidate # 4.016 * * * * [progress]: [ 40 / 171 ] simplifiying candidate # 4.016 * * * * [progress]: [ 41 / 171 ] simplifiying candidate # 4.016 * * * * [progress]: [ 42 / 171 ] simplifiying candidate # 4.017 * * * * [progress]: [ 43 / 171 ] simplifiying candidate # 4.017 * * * * [progress]: [ 44 / 171 ] simplifiying candidate # 4.017 * * * * [progress]: [ 45 / 171 ] simplifiying candidate # 4.017 * * * * [progress]: [ 46 / 171 ] simplifiying candidate # 4.017 * * * * [progress]: [ 47 / 171 ] simplifiying candidate # 4.017 * * * * [progress]: [ 48 / 171 ] simplifiying candidate # 4.017 * * * * [progress]: [ 49 / 171 ] simplifiying candidate # 4.017 * * * * [progress]: [ 50 / 171 ] simplifiying candidate #real (real->posit16 (cbrt (- (pow x 4) (pow y 4)))))) (cbrt (- (pow x 4) (pow y 4)))))> 4.017 * * * * [progress]: [ 51 / 171 ] simplifiying candidate # 4.017 * * * * [progress]: [ 52 / 171 ] simplifiying candidate # 4.017 * * * * [progress]: [ 53 / 171 ] simplifiying candidate # 4.017 * * * * [progress]: [ 54 / 171 ] simplifiying candidate # 4.017 * * * * [progress]: [ 55 / 171 ] simplifiying candidate # 4.017 * * * * [progress]: [ 56 / 171 ] simplifiying candidate # 4.017 * * * * [progress]: [ 57 / 171 ] simplifiying candidate # 4.018 * * * * [progress]: [ 58 / 171 ] simplifiying candidate # 4.018 * * * * [progress]: [ 59 / 171 ] simplifiying candidate # 4.018 * * * * [progress]: [ 60 / 171 ] simplifiying candidate # 4.018 * * * * [progress]: [ 61 / 171 ] simplifiying candidate # 4.018 * * * * [progress]: [ 62 / 171 ] simplifiying candidate # 4.018 * * * * [progress]: [ 63 / 171 ] simplifiying candidate # 4.018 * * * * [progress]: [ 64 / 171 ] simplifiying candidate # 4.018 * * * * [progress]: [ 65 / 171 ] simplifiying candidate # 4.018 * * * * [progress]: [ 66 / 171 ] simplifiying candidate # 4.018 * * * * [progress]: [ 67 / 171 ] simplifiying candidate # 4.018 * * * * [progress]: [ 68 / 171 ] simplifiying candidate # 4.018 * * * * [progress]: [ 69 / 171 ] simplifiying candidate # 4.018 * * * * [progress]: [ 70 / 171 ] simplifiying candidate # 4.018 * * * * [progress]: [ 71 / 171 ] simplifiying candidate # 4.019 * * * * [progress]: [ 72 / 171 ] simplifiying candidate # 4.019 * * * * [progress]: [ 73 / 171 ] simplifiying candidate # 4.019 * * * * [progress]: [ 74 / 171 ] simplifiying candidate # 4.019 * * * * [progress]: [ 75 / 171 ] simplifiying candidate #real (real->posit16 (cbrt (- (pow x 4) (pow y 4))))) (cbrt (- (pow x 4) (pow y 4)))) (cbrt (- (pow x 4) (pow y 4)))))> 4.019 * * * * [progress]: [ 76 / 171 ] simplifiying candidate # 4.019 * * * * [progress]: [ 77 / 171 ] simplifiying candidate # 4.019 * * * * [progress]: [ 78 / 171 ] simplifiying candidate # 4.019 * * * * [progress]: [ 79 / 171 ] simplifiying candidate # 4.019 * * * * [progress]: [ 80 / 171 ] simplifiying candidate # 4.019 * * * * [progress]: [ 81 / 171 ] simplifiying candidate # 4.019 * * * * [progress]: [ 82 / 171 ] simplifiying candidate # 4.019 * * * * [progress]: [ 83 / 171 ] simplifiying candidate # 4.019 * * * * [progress]: [ 84 / 171 ] simplifiying candidate # 4.019 * * * * [progress]: [ 85 / 171 ] simplifiying candidate # 4.019 * * * * [progress]: [ 86 / 171 ] simplifiying candidate # 4.020 * * * * [progress]: [ 87 / 171 ] simplifiying candidate # 4.020 * * * * [progress]: [ 88 / 171 ] simplifiying candidate # 4.020 * * * * [progress]: [ 89 / 171 ] simplifiying candidate # 4.020 * * * * [progress]: [ 90 / 171 ] simplifiying candidate # 4.020 * * * * [progress]: [ 91 / 171 ] simplifiying candidate # 4.020 * * * * [progress]: [ 92 / 171 ] simplifiying candidate # 4.020 * * * * [progress]: [ 93 / 171 ] simplifiying candidate # 4.020 * * * * [progress]: [ 94 / 171 ] simplifiying candidate # 4.020 * * * * [progress]: [ 95 / 171 ] simplifiying candidate # 4.020 * * * * [progress]: [ 96 / 171 ] simplifiying candidate # 4.020 * * * * [progress]: [ 97 / 171 ] simplifiying candidate # 4.020 * * * * [progress]: [ 98 / 171 ] simplifiying candidate # 4.020 * * * * [progress]: [ 99 / 171 ] simplifiying candidate # 4.021 * * * * [progress]: [ 100 / 171 ] simplifiying candidate # 4.021 * * * * [progress]: [ 101 / 171 ] simplifiying candidate # 4.021 * * * * [progress]: [ 102 / 171 ] simplifiying candidate # 4.021 * * * * [progress]: [ 103 / 171 ] simplifiying candidate # 4.021 * * * * [progress]: [ 104 / 171 ] simplifiying candidate # 4.021 * * * * [progress]: [ 105 / 171 ] simplifiying candidate # 4.021 * * * * [progress]: [ 106 / 171 ] simplifiying candidate # 4.021 * * * * [progress]: [ 107 / 171 ] simplifiying candidate # 4.021 * * * * [progress]: [ 108 / 171 ] simplifiying candidate # 4.021 * * * * [progress]: [ 109 / 171 ] simplifiying candidate # 4.021 * * * * [progress]: [ 110 / 171 ] simplifiying candidate # 4.021 * * * * [progress]: [ 111 / 171 ] simplifiying candidate # 4.022 * * * * [progress]: [ 112 / 171 ] simplifiying candidate # 4.022 * * * * [progress]: [ 113 / 171 ] simplifiying candidate # 4.022 * * * * [progress]: [ 114 / 171 ] simplifiying candidate # 4.022 * * * * [progress]: [ 115 / 171 ] simplifiying candidate # 4.022 * * * * [progress]: [ 116 / 171 ] simplifiying candidate # 4.022 * * * * [progress]: [ 117 / 171 ] simplifiying candidate # 4.022 * * * * [progress]: [ 118 / 171 ] simplifiying candidate # 4.022 * * * * [progress]: [ 119 / 171 ] simplifiying candidate # 4.022 * * * * [progress]: [ 120 / 171 ] simplifiying candidate # 4.022 * * * * [progress]: [ 121 / 171 ] simplifiying candidate # 4.022 * * * * [progress]: [ 122 / 171 ] simplifiying candidate # 4.022 * * * * [progress]: [ 123 / 171 ] simplifiying candidate # 4.023 * * * * [progress]: [ 124 / 171 ] simplifiying candidate # 4.023 * * * * [progress]: [ 125 / 171 ] simplifiying candidate # 4.023 * * * * [progress]: [ 126 / 171 ] simplifiying candidate # 4.023 * * * * [progress]: [ 127 / 171 ] simplifiying candidate # 4.023 * * * * [progress]: [ 128 / 171 ] simplifiying candidate # 4.024 * * * * [progress]: [ 129 / 171 ] simplifiying candidate # 4.024 * * * * [progress]: [ 130 / 171 ] simplifiying candidate # 4.024 * * * * [progress]: [ 131 / 171 ] simplifiying candidate # 4.024 * * * * [progress]: [ 132 / 171 ] simplifiying candidate # 4.024 * * * * [progress]: [ 133 / 171 ] simplifiying candidate # 4.024 * * * * [progress]: [ 134 / 171 ] simplifiying candidate # 4.024 * * * * [progress]: [ 135 / 171 ] simplifiying candidate # 4.024 * * * * [progress]: [ 136 / 171 ] simplifiying candidate # 4.024 * * * * [progress]: [ 137 / 171 ] simplifiying candidate # 4.024 * * * * [progress]: [ 138 / 171 ] simplifiying candidate # 4.024 * * * * [progress]: [ 139 / 171 ] simplifiying candidate # 4.024 * * * * [progress]: [ 140 / 171 ] simplifiying candidate # 4.024 * * * * [progress]: [ 141 / 171 ] simplifiying candidate # 4.025 * * * * [progress]: [ 142 / 171 ] simplifiying candidate # 4.025 * * * * [progress]: [ 143 / 171 ] simplifiying candidate # 4.025 * * * * [progress]: [ 144 / 171 ] simplifiying candidate # 4.025 * * * * [progress]: [ 145 / 171 ] simplifiying candidate # 4.025 * * * * [progress]: [ 146 / 171 ] simplifiying candidate # 4.025 * * * * [progress]: [ 147 / 171 ] simplifiying candidate # 4.025 * * * * [progress]: [ 148 / 171 ] simplifiying candidate # 4.025 * * * * [progress]: [ 149 / 171 ] simplifiying candidate # 4.025 * * * * [progress]: [ 150 / 171 ] simplifiying candidate # 4.025 * * * * [progress]: [ 151 / 171 ] simplifiying candidate # 4.025 * * * * [progress]: [ 152 / 171 ] simplifiying candidate # 4.025 * * * * [progress]: [ 153 / 171 ] simplifiying candidate # 4.025 * * * * [progress]: [ 154 / 171 ] simplifiying candidate # 4.026 * * * * [progress]: [ 155 / 171 ] simplifiying candidate # 4.026 * * * * [progress]: [ 156 / 171 ] simplifiying candidate # 4.026 * * * * [progress]: [ 157 / 171 ] simplifiying candidate # 4.026 * * * * [progress]: [ 158 / 171 ] simplifiying candidate #real (real->posit16 (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))))) (cbrt (- (pow x 4) (pow y 4)))))> 4.026 * * * * [progress]: [ 159 / 171 ] simplifiying candidate # 4.026 * * * * [progress]: [ 160 / 171 ] simplifiying candidate # 4.026 * * * * [progress]: [ 161 / 171 ] simplifiying candidate # 4.026 * * * * [progress]: [ 162 / 171 ] simplifiying candidate # 4.026 * * * * [progress]: [ 163 / 171 ] simplifiying candidate # 4.026 * * * * [progress]: [ 164 / 171 ] simplifiying candidate # 4.026 * * * * [progress]: [ 165 / 171 ] simplifiying candidate # 4.026 * * * * [progress]: [ 166 / 171 ] simplifiying candidate # 4.026 * * * * [progress]: [ 167 / 171 ] simplifiying candidate # 4.026 * * * * [progress]: [ 168 / 171 ] simplifiying candidate # 4.026 * * * * [progress]: [ 169 / 171 ] simplifiying candidate # 4.026 * * * * [progress]: [ 170 / 171 ] simplifiying candidate # 4.026 * * * * [progress]: [ 171 / 171 ] simplifiying candidate # 4.030 * [simplify]: Simplifying: (log (cbrt (- (pow x 4) (pow y 4)))) (exp (cbrt (- (pow x 4) (pow y 4)))) (cbrt (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4))))) (cbrt (cbrt (- (pow x 4) (pow y 4)))) (cbrt (sqrt (- (pow x 4) (pow y 4)))) (cbrt (sqrt (- (pow x 4) (pow y 4)))) (cbrt 1) (cbrt (- (pow x 4) (pow y 4))) (cbrt (+ (pow (sqrt x) 4) (pow (sqrt y) 4))) (cbrt (- (pow (sqrt x) 4) (pow (sqrt y) 4))) (cbrt (+ (pow (sqrt x) 4) (sqrt (pow y 4)))) (cbrt (- (pow (sqrt x) 4) (sqrt (pow y 4)))) (cbrt (+ (pow (sqrt x) 4) (pow y (/ 4 2)))) (cbrt (- (pow (sqrt x) 4) (pow y (/ 4 2)))) (cbrt (+ (sqrt (pow x 4)) (pow (sqrt y) 4))) (cbrt (- (sqrt (pow x 4)) (pow (sqrt y) 4))) (cbrt (+ (sqrt (pow x 4)) (sqrt (pow y 4)))) (cbrt (- (sqrt (pow x 4)) (sqrt (pow y 4)))) (cbrt (+ (sqrt (pow x 4)) (pow y (/ 4 2)))) (cbrt (- (sqrt (pow x 4)) (pow y (/ 4 2)))) (cbrt (+ (pow x (/ 4 2)) (pow (sqrt y) 4))) (cbrt (- (pow x (/ 4 2)) (pow (sqrt y) 4))) (cbrt (+ (pow x (/ 4 2)) (sqrt (pow y 4)))) (cbrt (- (pow x (/ 4 2)) (sqrt (pow y 4)))) (cbrt (+ (pow x (/ 4 2)) (pow y (/ 4 2)))) (cbrt (- (pow x (/ 4 2)) (pow y (/ 4 2)))) (cbrt (pow 1 4)) (cbrt (- (pow x 4) (pow y 4))) (cbrt 1) (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow (pow x 4) 3) (pow (pow y 4) 3))) (cbrt (+ (* (pow x 4) (pow x 4)) (+ (* (pow y 4) (pow y 4)) (* (pow x 4) (pow y 4))))) (cbrt (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4)))) (cbrt (+ (pow x 4) (pow y 4))) (* (cbrt (cbrt (- (pow x 4) (pow y 4)))) (cbrt (cbrt (- (pow x 4) (pow y 4))))) (cbrt (cbrt (- (pow x 4) (pow y 4)))) (* (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (cbrt (- (pow x 4) (pow y 4)))) (sqrt (cbrt (- (pow x 4) (pow y 4)))) (sqrt (cbrt (- (pow x 4) (pow y 4)))) (real->posit16 (cbrt (- (pow x 4) (pow y 4)))) (log (cbrt (- (pow x 4) (pow y 4)))) (exp (cbrt (- (pow x 4) (pow y 4)))) (cbrt (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4))))) (cbrt (cbrt (- (pow x 4) (pow y 4)))) (cbrt (sqrt (- (pow x 4) (pow y 4)))) (cbrt (sqrt (- (pow x 4) (pow y 4)))) (cbrt 1) (cbrt (- (pow x 4) (pow y 4))) (cbrt (+ (pow (sqrt x) 4) (pow (sqrt y) 4))) (cbrt (- (pow (sqrt x) 4) (pow (sqrt y) 4))) (cbrt (+ (pow (sqrt x) 4) (sqrt (pow y 4)))) (cbrt (- (pow (sqrt x) 4) (sqrt (pow y 4)))) (cbrt (+ (pow (sqrt x) 4) (pow y (/ 4 2)))) (cbrt (- (pow (sqrt x) 4) (pow y (/ 4 2)))) (cbrt (+ (sqrt (pow x 4)) (pow (sqrt y) 4))) (cbrt (- (sqrt (pow x 4)) (pow (sqrt y) 4))) (cbrt (+ (sqrt (pow x 4)) (sqrt (pow y 4)))) (cbrt (- (sqrt (pow x 4)) (sqrt (pow y 4)))) (cbrt (+ (sqrt (pow x 4)) (pow y (/ 4 2)))) (cbrt (- (sqrt (pow x 4)) (pow y (/ 4 2)))) (cbrt (+ (pow x (/ 4 2)) (pow (sqrt y) 4))) (cbrt (- (pow x (/ 4 2)) (pow (sqrt y) 4))) (cbrt (+ (pow x (/ 4 2)) (sqrt (pow y 4)))) (cbrt (- (pow x (/ 4 2)) (sqrt (pow y 4)))) (cbrt (+ (pow x (/ 4 2)) (pow y (/ 4 2)))) (cbrt (- (pow x (/ 4 2)) (pow y (/ 4 2)))) (cbrt (pow 1 4)) (cbrt (- (pow x 4) (pow y 4))) (cbrt 1) (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow (pow x 4) 3) (pow (pow y 4) 3))) (cbrt (+ (* (pow x 4) (pow x 4)) (+ (* (pow y 4) (pow y 4)) (* (pow x 4) (pow y 4))))) (cbrt (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4)))) (cbrt (+ (pow x 4) (pow y 4))) (* (cbrt (cbrt (- (pow x 4) (pow y 4)))) (cbrt (cbrt (- (pow x 4) (pow y 4))))) (cbrt (cbrt (- (pow x 4) (pow y 4)))) (* (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (cbrt (- (pow x 4) (pow y 4)))) (sqrt (cbrt (- (pow x 4) (pow y 4)))) (sqrt (cbrt (- (pow x 4) (pow y 4)))) (real->posit16 (cbrt (- (pow x 4) (pow y 4)))) (log (cbrt (- (pow x 4) (pow y 4)))) (exp (cbrt (- (pow x 4) (pow y 4)))) (cbrt (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4))))) (cbrt (cbrt (- (pow x 4) (pow y 4)))) (cbrt (sqrt (- (pow x 4) (pow y 4)))) (cbrt (sqrt (- (pow x 4) (pow y 4)))) (cbrt 1) (cbrt (- (pow x 4) (pow y 4))) (cbrt (+ (pow (sqrt x) 4) (pow (sqrt y) 4))) (cbrt (- (pow (sqrt x) 4) (pow (sqrt y) 4))) (cbrt (+ (pow (sqrt x) 4) (sqrt (pow y 4)))) (cbrt (- (pow (sqrt x) 4) (sqrt (pow y 4)))) (cbrt (+ (pow (sqrt x) 4) (pow y (/ 4 2)))) (cbrt (- (pow (sqrt x) 4) (pow y (/ 4 2)))) (cbrt (+ (sqrt (pow x 4)) (pow (sqrt y) 4))) (cbrt (- (sqrt (pow x 4)) (pow (sqrt y) 4))) (cbrt (+ (sqrt (pow x 4)) (sqrt (pow y 4)))) (cbrt (- (sqrt (pow x 4)) (sqrt (pow y 4)))) (cbrt (+ (sqrt (pow x 4)) (pow y (/ 4 2)))) (cbrt (- (sqrt (pow x 4)) (pow y (/ 4 2)))) (cbrt (+ (pow x (/ 4 2)) (pow (sqrt y) 4))) (cbrt (- (pow x (/ 4 2)) (pow (sqrt y) 4))) (cbrt (+ (pow x (/ 4 2)) (sqrt (pow y 4)))) (cbrt (- (pow x (/ 4 2)) (sqrt (pow y 4)))) (cbrt (+ (pow x (/ 4 2)) (pow y (/ 4 2)))) (cbrt (- (pow x (/ 4 2)) (pow y (/ 4 2)))) (cbrt (pow 1 4)) (cbrt (- (pow x 4) (pow y 4))) (cbrt 1) (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow (pow x 4) 3) (pow (pow y 4) 3))) (cbrt (+ (* (pow x 4) (pow x 4)) (+ (* (pow y 4) (pow y 4)) (* (pow x 4) (pow y 4))))) (cbrt (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4)))) (cbrt (+ (pow x 4) (pow y 4))) (* (cbrt (cbrt (- (pow x 4) (pow y 4)))) (cbrt (cbrt (- (pow x 4) (pow y 4))))) (cbrt (cbrt (- (pow x 4) (pow y 4)))) (* (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (cbrt (- (pow x 4) (pow y 4)))) (sqrt (cbrt (- (pow x 4) (pow y 4)))) (sqrt (cbrt (- (pow x 4) (pow y 4)))) (real->posit16 (cbrt (- (pow x 4) (pow y 4)))) (+ 1/3 1/3) (+ 1 1) (* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (+ 1 1) (+ (log (cbrt (- (pow x 4) (pow y 4)))) (log (cbrt (- (pow x 4) (pow y 4))))) (log (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4))))) (exp (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4))))) (* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4))) (* (cbrt (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4))))) (cbrt (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))))) (cbrt (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4))))) (* (* (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4))))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4))))) (sqrt (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4))))) (sqrt (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4))))) (* (cbrt (- (pow (pow x 4) 3) (pow (pow y 4) 3))) (cbrt (- (pow (pow x 4) 3) (pow (pow y 4) 3)))) (* (cbrt (+ (* (pow x 4) (pow x 4)) (+ (* (pow y 4) (pow y 4)) (* (pow x 4) (pow y 4))))) (cbrt (+ (* (pow x 4) (pow x 4)) (+ (* (pow y 4) (pow y 4)) (* (pow x 4) (pow y 4)))))) (* (cbrt (- (pow (pow x 4) 3) (pow (pow y 4) 3))) (cbrt (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4))))) (* (cbrt (+ (* (pow x 4) (pow x 4)) (+ (* (pow y 4) (pow y 4)) (* (pow x 4) (pow y 4))))) (cbrt (+ (pow x 4) (pow y 4)))) (* (cbrt (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4)))) (cbrt (- (pow (pow x 4) 3) (pow (pow y 4) 3)))) (* (cbrt (+ (pow x 4) (pow y 4))) (cbrt (+ (* (pow x 4) (pow x 4)) (+ (* (pow y 4) (pow y 4)) (* (pow x 4) (pow y 4)))))) (* (cbrt (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4)))) (cbrt (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4))))) (* (cbrt (+ (pow x 4) (pow y 4))) (cbrt (+ (pow x 4) (pow y 4)))) (* (cbrt (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4))))) (cbrt (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))))) (* (cbrt (cbrt (- (pow x 4) (pow y 4)))) (cbrt (cbrt (- (pow x 4) (pow y 4))))) (* (cbrt (sqrt (- (pow x 4) (pow y 4)))) (cbrt (sqrt (- (pow x 4) (pow y 4))))) (* (cbrt (sqrt (- (pow x 4) (pow y 4)))) (cbrt (sqrt (- (pow x 4) (pow y 4))))) (* (cbrt 1) (cbrt 1)) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (+ (pow (sqrt x) 4) (pow (sqrt y) 4))) (cbrt (+ (pow (sqrt x) 4) (pow (sqrt y) 4)))) (* (cbrt (- (pow (sqrt x) 4) (pow (sqrt y) 4))) (cbrt (- (pow (sqrt x) 4) (pow (sqrt y) 4)))) (* (cbrt (+ (pow (sqrt x) 4) (sqrt (pow y 4)))) (cbrt (+ (pow (sqrt x) 4) (sqrt (pow y 4))))) (* (cbrt (- (pow (sqrt x) 4) (sqrt (pow y 4)))) (cbrt (- (pow (sqrt x) 4) (sqrt (pow y 4))))) (* (cbrt (+ (pow (sqrt x) 4) (pow y (/ 4 2)))) (cbrt (+ (pow (sqrt x) 4) (pow y (/ 4 2))))) (* (cbrt (- (pow (sqrt x) 4) (pow y (/ 4 2)))) (cbrt (- (pow (sqrt x) 4) (pow y (/ 4 2))))) (* (cbrt (+ (sqrt (pow x 4)) (pow (sqrt y) 4))) (cbrt (+ (sqrt (pow x 4)) (pow (sqrt y) 4)))) (* (cbrt (- (sqrt (pow x 4)) (pow (sqrt y) 4))) (cbrt (- (sqrt (pow x 4)) (pow (sqrt y) 4)))) (* (cbrt (+ (sqrt (pow x 4)) (sqrt (pow y 4)))) (cbrt (+ (sqrt (pow x 4)) (sqrt (pow y 4))))) (* (cbrt (- (sqrt (pow x 4)) (sqrt (pow y 4)))) (cbrt (- (sqrt (pow x 4)) (sqrt (pow y 4))))) (* (cbrt (+ (sqrt (pow x 4)) (pow y (/ 4 2)))) (cbrt (+ (sqrt (pow x 4)) (pow y (/ 4 2))))) (* (cbrt (- (sqrt (pow x 4)) (pow y (/ 4 2)))) (cbrt (- (sqrt (pow x 4)) (pow y (/ 4 2))))) (* (cbrt (+ (pow x (/ 4 2)) (pow (sqrt y) 4))) (cbrt (+ (pow x (/ 4 2)) (pow (sqrt y) 4)))) (* (cbrt (- (pow x (/ 4 2)) (pow (sqrt y) 4))) (cbrt (- (pow x (/ 4 2)) (pow (sqrt y) 4)))) (* (cbrt (+ (pow x (/ 4 2)) (sqrt (pow y 4)))) (cbrt (+ (pow x (/ 4 2)) (sqrt (pow y 4))))) (* (cbrt (- (pow x (/ 4 2)) (sqrt (pow y 4)))) (cbrt (- (pow x (/ 4 2)) (sqrt (pow y 4))))) (* (cbrt (+ (pow x (/ 4 2)) (pow y (/ 4 2)))) (cbrt (+ (pow x (/ 4 2)) (pow y (/ 4 2))))) (* (cbrt (- (pow x (/ 4 2)) (pow y (/ 4 2)))) (cbrt (- (pow x (/ 4 2)) (pow y (/ 4 2))))) (* (cbrt (pow 1 4)) (cbrt (pow 1 4))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (* (* (cbrt (cbrt (- (pow x 4) (pow y 4)))) (cbrt (cbrt (- (pow x 4) (pow y 4))))) (* (cbrt (cbrt (- (pow x 4) (pow y 4)))) (cbrt (cbrt (- (pow x 4) (pow y 4)))))) (* (cbrt (cbrt (- (pow x 4) (pow y 4)))) (cbrt (cbrt (- (pow x 4) (pow y 4))))) (* (sqrt (cbrt (- (pow x 4) (pow y 4)))) (sqrt (cbrt (- (pow x 4) (pow y 4))))) (* (sqrt (cbrt (- (pow x 4) (pow y 4)))) (sqrt (cbrt (- (pow x 4) (pow y 4))))) (* 1 1) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (sqrt (- (pow x 4) (pow y 4)))) (cbrt (sqrt (- (pow x 4) (pow y 4))))) (* (cbrt (sqrt (- (pow x 4) (pow y 4)))) (cbrt (sqrt (- (pow x 4) (pow y 4))))) (* (cbrt (sqrt (- (pow x 4) (pow y 4)))) (sqrt (cbrt (- (pow x 4) (pow y 4))))) (* (cbrt (sqrt (- (pow x 4) (pow y 4)))) (sqrt (cbrt (- (pow x 4) (pow y 4))))) (* (sqrt (cbrt (- (pow x 4) (pow y 4)))) (cbrt (sqrt (- (pow x 4) (pow y 4))))) (* (sqrt (cbrt (- (pow x 4) (pow y 4)))) (cbrt (sqrt (- (pow x 4) (pow y 4))))) (* (sqrt (cbrt (- (pow x 4) (pow y 4)))) (sqrt (cbrt (- (pow x 4) (pow y 4))))) (* (sqrt (cbrt (- (pow x 4) (pow y 4)))) (sqrt (cbrt (- (pow x 4) (pow y 4))))) (* 2 1/3) (* 2 1) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (sqrt (- (pow x 4) (pow y 4))))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt 1)) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (+ (pow (sqrt x) 4) (pow (sqrt y) 4)))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (+ (pow (sqrt x) 4) (sqrt (pow y 4))))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (+ (pow (sqrt x) 4) (pow y (/ 4 2))))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (+ (sqrt (pow x 4)) (pow (sqrt y) 4)))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (+ (sqrt (pow x 4)) (sqrt (pow y 4))))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (+ (sqrt (pow x 4)) (pow y (/ 4 2))))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (+ (pow x (/ 4 2)) (pow (sqrt y) 4)))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (+ (pow x (/ 4 2)) (sqrt (pow y 4))))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (+ (pow x (/ 4 2)) (pow y (/ 4 2))))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (pow 1 4))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt 1)) (* (cbrt (- (pow x 4) (pow y 4))) (* (cbrt (cbrt (- (pow x 4) (pow y 4)))) (cbrt (cbrt (- (pow x 4) (pow y 4)))))) (* (cbrt (- (pow x 4) (pow y 4))) (sqrt (cbrt (- (pow x 4) (pow y 4))))) (* (cbrt (- (pow x 4) (pow y 4))) 1) (* (cbrt (cbrt (- (pow x 4) (pow y 4)))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (sqrt (- (pow x 4) (pow y 4)))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (- (pow (sqrt x) 4) (pow (sqrt y) 4))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (- (pow (sqrt x) 4) (sqrt (pow y 4)))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (- (pow (sqrt x) 4) (pow y (/ 4 2)))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (- (sqrt (pow x 4)) (pow (sqrt y) 4))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (- (sqrt (pow x 4)) (sqrt (pow y 4)))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (- (sqrt (pow x 4)) (pow y (/ 4 2)))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (- (pow x (/ 4 2)) (pow (sqrt y) 4))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (- (pow x (/ 4 2)) (sqrt (pow y 4)))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (- (pow x (/ 4 2)) (pow y (/ 4 2)))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (cbrt (- (pow x 4) (pow y 4)))) (cbrt (- (pow x 4) (pow y 4)))) (* (sqrt (cbrt (- (pow x 4) (pow y 4)))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow (pow x 4) 3) (pow (pow y 4) 3)))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4))))) (* (cbrt (- (pow (pow x 4) 3) (pow (pow y 4) 3))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4)))) (cbrt (- (pow x 4) (pow y 4)))) (real->posit16 (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4))))) (exp (* 1/3 (+ (log -1) (* 4 (log y))))) (pow (/ 1 x) -4/3) (pow (/ -1 x) -4/3) (exp (* 1/3 (+ (log -1) (* 4 (log y))))) (pow (/ 1 x) -4/3) (pow (/ -1 x) -4/3) (exp (* 1/3 (+ (log -1) (* 4 (log y))))) (pow (/ 1 x) -4/3) (pow (/ -1 x) -4/3) (pow y 8/3) (pow (/ 1 x) -8/3) (pow (/ -1 x) -8/3) 4.035 * * [simplify]: iteration 0: 180 enodes 4.110 * * [simplify]: iteration 1: 332 enodes 4.222 * * [simplify]: iteration 2: 747 enodes 4.514 * * [simplify]: iteration 3: 2000 enodes 4.965 * * [simplify]: iteration complete: 2000 enodes 4.966 * * [simplify]: Extracting #0: cost 69 inf + 0 4.967 * * [simplify]: Extracting #1: cost 214 inf + 3 4.969 * * [simplify]: Extracting #2: cost 350 inf + 2280 4.975 * * [simplify]: Extracting #3: cost 441 inf + 24616 4.997 * * [simplify]: Extracting #4: cost 280 inf + 103529 5.046 * * [simplify]: Extracting #5: cost 66 inf + 142812 5.097 * * [simplify]: Extracting #6: cost 9 inf + 144932 5.148 * * [simplify]: Extracting #7: cost 0 inf + 147318 5.202 * [simplify]: Simplified to: (log (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (exp (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) 1 (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (+ (* x x) (* y y))) (cbrt (* (+ x y) (- x y))) (cbrt (+ (* x x) (fabs (* y y)))) (cbrt (- (* x x) (fabs (* y y)))) (cbrt (+ (* x x) (* y y))) (cbrt (* (+ x y) (- x y))) (cbrt (+ (* y y) (fabs (* x x)))) (cbrt (- (fabs (* x x)) (* y y))) (cbrt (+ (fabs (* y y)) (fabs (* x x)))) (cbrt (- (fabs (* x x)) (fabs (* y y)))) (cbrt (+ (* y y) (fabs (* x x)))) (cbrt (- (fabs (* x x)) (* y y))) (cbrt (+ (* x x) (* y y))) (cbrt (* (+ x y) (- x y))) (cbrt (+ (* x x) (fabs (* y y)))) (cbrt (- (* x x) (fabs (* y y)))) (cbrt (+ (* x x) (* y y))) (cbrt (* (+ x y) (- x y))) 1 (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) 1 (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (* (+ (* (* x (* x x)) (* x (* x x))) (* (* (* y y) (* y y)) (* y y))) (- (* (* x (* x x)) (* x (* x x))) (* (* (* y y) (* y y)) (* y y))))) (cbrt (+ (* (* (* x x) (* x x)) (+ (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (* (* y y) (* y y)) (* (* y y) (* y y))))) (cbrt (* (+ (* (* x x) (* x x)) (* (* y y) (* y y))) (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (+ (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (- (* (* x x) (* x x)) (* (* y y) (* y y))) (sqrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (sqrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (real->posit16 (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (log (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (exp (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) 1 (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (+ (* x x) (* y y))) (cbrt (* (+ x y) (- x y))) (cbrt (+ (* x x) (fabs (* y y)))) (cbrt (- (* x x) (fabs (* y y)))) (cbrt (+ (* x x) (* y y))) (cbrt (* (+ x y) (- x y))) (cbrt (+ (* y y) (fabs (* x x)))) (cbrt (- (fabs (* x x)) (* y y))) (cbrt (+ (fabs (* y y)) (fabs (* x x)))) (cbrt (- (fabs (* x x)) (fabs (* y y)))) (cbrt (+ (* y y) (fabs (* x x)))) (cbrt (- (fabs (* x x)) (* y y))) (cbrt (+ (* x x) (* y y))) (cbrt (* (+ x y) (- x y))) (cbrt (+ (* x x) (fabs (* y y)))) (cbrt (- (* x x) (fabs (* y y)))) (cbrt (+ (* x x) (* y y))) (cbrt (* (+ x y) (- x y))) 1 (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) 1 (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (* (+ (* (* x (* x x)) (* x (* x x))) (* (* (* y y) (* y y)) (* y y))) (- (* (* x (* x x)) (* x (* x x))) (* (* (* y y) (* y y)) (* y y))))) (cbrt (+ (* (* (* x x) (* x x)) (+ (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (* (* y y) (* y y)) (* (* y y) (* y y))))) (cbrt (* (+ (* (* x x) (* x x)) (* (* y y) (* y y))) (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (+ (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (- (* (* x x) (* x x)) (* (* y y) (* y y))) (sqrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (sqrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (real->posit16 (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (log (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (exp (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) 1 (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (+ (* x x) (* y y))) (cbrt (* (+ x y) (- x y))) (cbrt (+ (* x x) (fabs (* y y)))) (cbrt (- (* x x) (fabs (* y y)))) (cbrt (+ (* x x) (* y y))) (cbrt (* (+ x y) (- x y))) (cbrt (+ (* y y) (fabs (* x x)))) (cbrt (- (fabs (* x x)) (* y y))) (cbrt (+ (fabs (* y y)) (fabs (* x x)))) (cbrt (- (fabs (* x x)) (fabs (* y y)))) (cbrt (+ (* y y) (fabs (* x x)))) (cbrt (- (fabs (* x x)) (* y y))) (cbrt (+ (* x x) (* y y))) (cbrt (* (+ x y) (- x y))) (cbrt (+ (* x x) (fabs (* y y)))) (cbrt (- (* x x) (fabs (* y y)))) (cbrt (+ (* x x) (* y y))) (cbrt (* (+ x y) (- x y))) 1 (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) 1 (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (* (+ (* (* x (* x x)) (* x (* x x))) (* (* (* y y) (* y y)) (* y y))) (- (* (* x (* x x)) (* x (* x x))) (* (* (* y y) (* y y)) (* y y))))) (cbrt (+ (* (* (* x x) (* x x)) (+ (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (* (* y y) (* y y)) (* (* y y) (* y y))))) (cbrt (* (+ (* (* x x) (* x x)) (* (* y y) (* y y))) (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (+ (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (- (* (* x x) (* x x)) (* (* y y) (* y y))) (sqrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (sqrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (real->posit16 (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) 2/3 2 (* (- (* (* x x) (* x x)) (* (* y y) (* y y))) (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) 2 (log (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (log (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (exp (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (* (- (* (* x x) (* x x)) (* (* y y) (* y y))) (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (cbrt (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (cbrt (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))))) (cbrt (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (* (- (* (* x x) (* x x)) (* (* y y) (* y y))) (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (fabs (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (fabs (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (* (+ (* (* x (* x x)) (* x (* x x))) (* (* (* y y) (* y y)) (* y y))) (- (* (* x (* x x)) (* x (* x x))) (* (* (* y y) (* y y)) (* y y))))) (cbrt (* (+ (* (* x (* x x)) (* x (* x x))) (* (* (* y y) (* y y)) (* y y))) (- (* (* x (* x x)) (* x (* x x))) (* (* (* y y) (* y y)) (* y y)))))) (* (cbrt (+ (* (* (* x x) (* x x)) (+ (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (* (* y y) (* y y)) (* (* y y) (* y y))))) (cbrt (+ (* (* (* x x) (* x x)) (+ (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (* (* y y) (* y y)) (* (* y y) (* y y)))))) (* (cbrt (* (+ (* (* x (* x x)) (* x (* x x))) (* (* (* y y) (* y y)) (* y y))) (- (* (* x (* x x)) (* x (* x x))) (* (* (* y y) (* y y)) (* y y))))) (cbrt (* (+ (* (* x x) (* x x)) (* (* y y) (* y y))) (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (* (cbrt (+ (* (* (* x x) (* x x)) (+ (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (* (* y y) (* y y)) (* (* y y) (* y y))))) (cbrt (+ (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (* (+ (* (* x (* x x)) (* x (* x x))) (* (* (* y y) (* y y)) (* y y))) (- (* (* x (* x x)) (* x (* x x))) (* (* (* y y) (* y y)) (* y y))))) (cbrt (* (+ (* (* x x) (* x x)) (* (* y y) (* y y))) (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (* (cbrt (+ (* (* (* x x) (* x x)) (+ (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (* (* y y) (* y y)) (* (* y y) (* y y))))) (cbrt (+ (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (* (+ (* (* x x) (* x x)) (* (* y y) (* y y))) (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (* (+ (* (* x x) (* x x)) (* (* y y) (* y y))) (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (* (cbrt (+ (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (+ (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (cbrt (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))))) (* (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (* (cbrt (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (* (cbrt (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) 1 (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) 1 (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))) (* (cbrt (* (+ x y) (- x y))) (cbrt (* (+ x y) (- x y)))) (* (cbrt (+ (* x x) (fabs (* y y)))) (cbrt (+ (* x x) (fabs (* y y))))) (* (cbrt (- (* x x) (fabs (* y y)))) (cbrt (- (* x x) (fabs (* y y))))) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))) (* (cbrt (* (+ x y) (- x y))) (cbrt (* (+ x y) (- x y)))) (* (cbrt (+ (* y y) (fabs (* x x)))) (cbrt (+ (* y y) (fabs (* x x))))) (* (cbrt (- (fabs (* x x)) (* y y))) (cbrt (- (fabs (* x x)) (* y y)))) (* (cbrt (+ (fabs (* y y)) (fabs (* x x)))) (cbrt (+ (fabs (* y y)) (fabs (* x x))))) (* (cbrt (- (fabs (* x x)) (fabs (* y y)))) (cbrt (- (fabs (* x x)) (fabs (* y y))))) (* (cbrt (+ (* y y) (fabs (* x x)))) (cbrt (+ (* y y) (fabs (* x x))))) (* (cbrt (- (fabs (* x x)) (* y y))) (cbrt (- (fabs (* x x)) (* y y)))) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))) (* (cbrt (* (+ x y) (- x y))) (cbrt (* (+ x y) (- x y)))) (* (cbrt (+ (* x x) (fabs (* y y)))) (cbrt (+ (* x x) (fabs (* y y))))) (* (cbrt (- (* x x) (fabs (* y y)))) (cbrt (- (* x x) (fabs (* y y))))) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))) (* (cbrt (* (+ x y) (- x y))) (cbrt (* (+ x y) (- x y)))) 1 (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) 1 (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) 1 (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) 1 (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (* (cbrt (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (* (cbrt (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (sqrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (* (cbrt (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (sqrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (* (cbrt (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (sqrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (* (cbrt (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (sqrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) 2/3 2 (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (+ (* x x) (* y y)))) (* (cbrt (+ (* x x) (fabs (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (+ (* x x) (* y y)))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (+ (* y y) (fabs (* x x))))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (+ (fabs (* y y)) (fabs (* x x))))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (+ (* y y) (fabs (* x x))))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (+ (* x x) (* y y)))) (* (cbrt (+ (* x x) (fabs (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (+ (* x x) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (* (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (sqrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (* (+ x y) (- x y)))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* x x) (fabs (* y y))))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (* (+ x y) (- x y)))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (fabs (* x x)) (* y y)))) (* (cbrt (- (fabs (* x x)) (fabs (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (fabs (* x x)) (* y y)))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (* (+ x y) (- x y)))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* x x) (fabs (* y y))))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (* (+ x y) (- x y)))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (sqrt (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (* (+ (* (* x (* x x)) (* x (* x x))) (* (* (* y y) (* y y)) (* y y))) (- (* (* x (* x x)) (* x (* x x))) (* (* (* y y) (* y y)) (* y y))))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (* (+ (* (* x x) (* x x)) (* (* y y) (* y y))) (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (* (cbrt (* (+ (* (* x (* x x)) (* x (* x x))) (* (* (* y y) (* y y)) (* y y))) (- (* (* x (* x x)) (* x (* x x))) (* (* (* y y) (* y y)) (* y y))))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (* (+ (* (* x x) (* x x)) (* (* y y) (* y y))) (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (real->posit16 (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))) (exp (+ (* (log -1) 1/3) (* 4/3 (log y)))) (pow (/ 1 x) -4/3) (pow (/ -1 x) -4/3) (exp (+ (* (log -1) 1/3) (* 4/3 (log y)))) (pow (/ 1 x) -4/3) (pow (/ -1 x) -4/3) (exp (+ (* (log -1) 1/3) (* 4/3 (log y)))) (pow (/ 1 x) -4/3) (pow (/ -1 x) -4/3) (pow y 8/3) (pow (/ 1 x) -8/3) (pow (/ -1 x) -8/3) 5.219 * * * [progress]: adding candidates to table 7.447 * [progress]: [Phase 3 of 3] Extracting. 7.447 * * [regime]: Finding splitpoints for: (# #) 7.448 * * * [regime-changes]: Trying 5 branch expressions: ((pow y 4) (pow x 4) (- (pow x 4) (pow y 4)) y x) 7.449 * * * * [regimes]: Trying to branch on (pow y 4) from (# #) 7.484 * * * * [regimes]: Trying to branch on (pow x 4) from (# #) 7.518 * * * * [regimes]: Trying to branch on (- (pow x 4) (pow y 4)) from (# #) 7.579 * * * * [regimes]: Trying to branch on y from (# #) 7.619 * * * * [regimes]: Trying to branch on x from (# #) 7.655 * * * [regime]: Found split indices: #