8.029 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.039 * * * [progress]: [2/2] Setting up program. 0.040 * [progress]: [Phase 2 of 3] Improving. 0.040 * [simplify]: Simplifying: (- (exp x) 1.0) 0.040 * [simplify]: Sending expressions to egg_math: (- (exp h0) 1.0) 0.053 * * [progress]: iteration 1 / 4 0.053 * * * [progress]: picking best candidate 0.054 * * * * [pick]: Picked # 0.054 * * * [progress]: localizing error 0.057 * * * [progress]: generating rewritten candidates 0.057 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.066 * * * [progress]: generating series expansions 0.066 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.067 * [backup-simplify]: Simplify (- (exp x) 1.0) into (- (exp x) 1.0) 0.067 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0 0.067 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.067 * [taylor]: Taking taylor expansion of (exp x) in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.067 * [backup-simplify]: Simplify 0 into 0 0.067 * [backup-simplify]: Simplify 1 into 1 0.067 * [backup-simplify]: Simplify (exp 0) into 1 0.067 * [taylor]: Taking taylor expansion of 1.0 in x 0.067 * [backup-simplify]: Simplify 1.0 into 1.0 0.067 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.067 * [taylor]: Taking taylor expansion of (exp x) in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.067 * [backup-simplify]: Simplify 0 into 0 0.067 * [backup-simplify]: Simplify 1 into 1 0.067 * [backup-simplify]: Simplify (exp 0) into 1 0.067 * [taylor]: Taking taylor expansion of 1.0 in x 0.067 * [backup-simplify]: Simplify 1.0 into 1.0 0.067 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.068 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.069 * [backup-simplify]: Simplify (- 0) into 0 0.069 * [backup-simplify]: Simplify (+ 1 0) into 1 0.069 * [backup-simplify]: Simplify 1 into 1 0.070 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.070 * [backup-simplify]: Simplify (- 0) into 0 0.070 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 0.070 * [backup-simplify]: Simplify 1/2 into 1/2 0.071 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 0.072 * [backup-simplify]: Simplify (- 0) into 0 0.072 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 0.072 * [backup-simplify]: Simplify 1/6 into 1/6 0.072 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) 0.072 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0) 0.072 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0 0.072 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.072 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.072 * [taylor]: Taking taylor expansion of x in x 0.072 * [backup-simplify]: Simplify 0 into 0 0.072 * [backup-simplify]: Simplify 1 into 1 0.072 * [backup-simplify]: Simplify (/ 1 1) into 1 0.073 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.073 * [taylor]: Taking taylor expansion of 1.0 in x 0.073 * [backup-simplify]: Simplify 1.0 into 1.0 0.073 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.073 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.073 * [taylor]: Taking taylor expansion of x in x 0.073 * [backup-simplify]: Simplify 0 into 0 0.073 * [backup-simplify]: Simplify 1 into 1 0.073 * [backup-simplify]: Simplify (/ 1 1) into 1 0.073 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.073 * [taylor]: Taking taylor expansion of 1.0 in x 0.073 * [backup-simplify]: Simplify 1.0 into 1.0 0.073 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.073 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- 1.0)) into (- (exp (/ 1 x)) 1.0) 0.074 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0) 0.074 * [backup-simplify]: Simplify (- 0) into 0 0.074 * [backup-simplify]: Simplify (+ 0 0) into 0 0.074 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify (- 0) into 0 0.074 * [backup-simplify]: Simplify (+ 0 0) into 0 0.074 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify (- 0) into 0 0.075 * [backup-simplify]: Simplify (+ 0 0) into 0 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify (- 0) into 0 0.075 * [backup-simplify]: Simplify (+ 0 0) into 0 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify (- 0) into 0 0.076 * [backup-simplify]: Simplify (+ 0 0) into 0 0.076 * [backup-simplify]: Simplify 0 into 0 0.076 * [backup-simplify]: Simplify (- 0) into 0 0.076 * [backup-simplify]: Simplify (+ 0 0) into 0 0.076 * [backup-simplify]: Simplify 0 into 0 0.076 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1.0) into (- (exp x) 1.0) 0.076 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) 1.0) into (- (exp (/ -1 x)) 1.0) 0.076 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0 0.076 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.076 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.076 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.076 * [taylor]: Taking taylor expansion of -1 in x 0.076 * [backup-simplify]: Simplify -1 into -1 0.076 * [taylor]: Taking taylor expansion of x in x 0.076 * [backup-simplify]: Simplify 0 into 0 0.076 * [backup-simplify]: Simplify 1 into 1 0.077 * [backup-simplify]: Simplify (/ -1 1) into -1 0.077 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.077 * [taylor]: Taking taylor expansion of 1.0 in x 0.077 * [backup-simplify]: Simplify 1.0 into 1.0 0.077 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.077 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.077 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.077 * [taylor]: Taking taylor expansion of -1 in x 0.077 * [backup-simplify]: Simplify -1 into -1 0.077 * [taylor]: Taking taylor expansion of x in x 0.077 * [backup-simplify]: Simplify 0 into 0 0.077 * [backup-simplify]: Simplify 1 into 1 0.077 * [backup-simplify]: Simplify (/ -1 1) into -1 0.077 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.077 * [taylor]: Taking taylor expansion of 1.0 in x 0.077 * [backup-simplify]: Simplify 1.0 into 1.0 0.077 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.078 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- 1.0)) into (- (exp (/ -1 x)) 1.0) 0.078 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1.0) into (- (exp (/ -1 x)) 1.0) 0.078 * [backup-simplify]: Simplify (- 0) into 0 0.078 * [backup-simplify]: Simplify (+ 0 0) into 0 0.078 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify (- 0) into 0 0.079 * [backup-simplify]: Simplify (+ 0 0) into 0 0.079 * [backup-simplify]: Simplify 0 into 0 0.079 * [backup-simplify]: Simplify (- 0) into 0 0.079 * [backup-simplify]: Simplify (+ 0 0) into 0 0.079 * [backup-simplify]: Simplify 0 into 0 0.079 * [backup-simplify]: Simplify (- 0) into 0 0.080 * [backup-simplify]: Simplify (+ 0 0) into 0 0.080 * [backup-simplify]: Simplify 0 into 0 0.080 * [backup-simplify]: Simplify (- 0) into 0 0.080 * [backup-simplify]: Simplify (+ 0 0) into 0 0.080 * [backup-simplify]: Simplify 0 into 0 0.080 * [backup-simplify]: Simplify (- 0) into 0 0.080 * [backup-simplify]: Simplify (+ 0 0) into 0 0.080 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1.0) into (- (exp x) 1.0) 0.081 * * * [progress]: simplifying candidates 0.081 * [simplify]: Simplifying: (/ (exp (exp x)) (exp 1.0)) (log (- (exp x) 1.0)) (exp (- (exp x) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (cbrt (- (exp x) 1.0)) (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (- (pow (exp x) 3) (pow 1.0 3)) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))) (- 1.0) (- (* (exp x) (exp x)) (* 1.0 1.0)) (+ (exp x) 1.0) (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (- (exp x) 1.0) (- 1.0) (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) (- (exp x) 1.0) (- (exp x) 1.0) 0.081 * [simplify]: Sending expressions to egg_math: (/ (exp (exp h0)) (exp 1.0)) (log (- (exp h0) 1.0)) (exp (- (exp h0) 1.0)) (* (cbrt (- (exp h0) 1.0)) (cbrt (- (exp h0) 1.0))) (cbrt (- (exp h0) 1.0)) (* (* (- (exp h0) 1.0) (- (exp h0) 1.0)) (- (exp h0) 1.0)) (sqrt (- (exp h0) 1.0)) (sqrt (- (exp h0) 1.0)) (- (pow (exp h0) 3) (pow 1.0 3)) (+ (* (exp h0) (exp h0)) (+ (* 1.0 1.0) (* (exp h0) 1.0))) (- 1.0) (- (* (exp h0) (exp h0)) (* 1.0 1.0)) (+ (exp h0) 1.0) (+ (sqrt (exp h0)) (sqrt 1.0)) (- (sqrt (exp h0)) (sqrt 1.0)) (- (exp h0) 1.0) (- 1.0) (+ (* (/ 1 2) (pow h0 2)) (+ (* (/ 1 6) (pow h0 3)) h0)) (- (exp h0) 1.0) (- (exp h0) 1.0) 0.801 * * * [progress]: adding candidates to table 0.842 * * [progress]: iteration 2 / 4 0.842 * * * [progress]: picking best candidate 0.843 * * * * [pick]: Picked # 0.843 * * * [progress]: localizing error 0.852 * * * [progress]: generating rewritten candidates 0.852 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.861 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 1.001 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 1.012 * * * [progress]: generating series expansions 1.013 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 1.013 * [backup-simplify]: Simplify (/ (pow x 3) 6) into (* 1/6 (pow x 3)) 1.013 * [approximate]: Taking taylor expansion of (* 1/6 (pow x 3)) in (x) around 0 1.013 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 1.013 * [taylor]: Taking taylor expansion of 1/6 in x 1.013 * [backup-simplify]: Simplify 1/6 into 1/6 1.013 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.013 * [taylor]: Taking taylor expansion of x in x 1.013 * [backup-simplify]: Simplify 0 into 0 1.013 * [backup-simplify]: Simplify 1 into 1 1.013 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 1.013 * [taylor]: Taking taylor expansion of 1/6 in x 1.013 * [backup-simplify]: Simplify 1/6 into 1/6 1.013 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.013 * [taylor]: Taking taylor expansion of x in x 1.013 * [backup-simplify]: Simplify 0 into 0 1.013 * [backup-simplify]: Simplify 1 into 1 1.013 * [backup-simplify]: Simplify (* 1 1) into 1 1.014 * [backup-simplify]: Simplify (* 1 1) into 1 1.014 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1.014 * [backup-simplify]: Simplify 1/6 into 1/6 1.014 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.015 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.015 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1.015 * [backup-simplify]: Simplify 0 into 0 1.015 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.016 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1.016 * [backup-simplify]: Simplify 0 into 0 1.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.018 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.018 * [backup-simplify]: Simplify 0 into 0 1.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.020 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.020 * [backup-simplify]: Simplify 0 into 0 1.021 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.021 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.022 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.022 * [backup-simplify]: Simplify 0 into 0 1.023 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.024 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.024 * [backup-simplify]: Simplify 0 into 0 1.024 * [backup-simplify]: Simplify (* 1/6 (pow x 3)) into (* 1/6 (pow x 3)) 1.025 * [backup-simplify]: Simplify (/ (pow (/ 1 x) 3) 6) into (/ 1/6 (pow x 3)) 1.025 * [approximate]: Taking taylor expansion of (/ 1/6 (pow x 3)) in (x) around 0 1.025 * [taylor]: Taking taylor expansion of (/ 1/6 (pow x 3)) in x 1.025 * [taylor]: Taking taylor expansion of 1/6 in x 1.025 * [backup-simplify]: Simplify 1/6 into 1/6 1.025 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.025 * [taylor]: Taking taylor expansion of x in x 1.025 * [backup-simplify]: Simplify 0 into 0 1.025 * [backup-simplify]: Simplify 1 into 1 1.025 * [backup-simplify]: Simplify (* 1 1) into 1 1.025 * [backup-simplify]: Simplify (* 1 1) into 1 1.025 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1.025 * [taylor]: Taking taylor expansion of (/ 1/6 (pow x 3)) in x 1.025 * [taylor]: Taking taylor expansion of 1/6 in x 1.025 * [backup-simplify]: Simplify 1/6 into 1/6 1.025 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.025 * [taylor]: Taking taylor expansion of x in x 1.025 * [backup-simplify]: Simplify 0 into 0 1.025 * [backup-simplify]: Simplify 1 into 1 1.026 * [backup-simplify]: Simplify (* 1 1) into 1 1.026 * [backup-simplify]: Simplify (* 1 1) into 1 1.026 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1.026 * [backup-simplify]: Simplify 1/6 into 1/6 1.027 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.027 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.027 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1.027 * [backup-simplify]: Simplify 0 into 0 1.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.029 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.029 * [backup-simplify]: Simplify 0 into 0 1.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.030 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.030 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.030 * [backup-simplify]: Simplify 0 into 0 1.031 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.032 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.032 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.032 * [backup-simplify]: Simplify 0 into 0 1.033 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.033 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.034 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.034 * [backup-simplify]: Simplify 0 into 0 1.035 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.038 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.038 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.038 * [backup-simplify]: Simplify 0 into 0 1.039 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (/ 1 x)) 3)) into (* 1/6 (pow x 3)) 1.039 * [backup-simplify]: Simplify (/ (pow (/ 1 (- x)) 3) 6) into (/ -1/6 (pow x 3)) 1.039 * [approximate]: Taking taylor expansion of (/ -1/6 (pow x 3)) in (x) around 0 1.039 * [taylor]: Taking taylor expansion of (/ -1/6 (pow x 3)) in x 1.039 * [taylor]: Taking taylor expansion of -1/6 in x 1.039 * [backup-simplify]: Simplify -1/6 into -1/6 1.039 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.039 * [taylor]: Taking taylor expansion of x in x 1.039 * [backup-simplify]: Simplify 0 into 0 1.039 * [backup-simplify]: Simplify 1 into 1 1.039 * [backup-simplify]: Simplify (* 1 1) into 1 1.039 * [backup-simplify]: Simplify (* 1 1) into 1 1.040 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 1.040 * [taylor]: Taking taylor expansion of (/ -1/6 (pow x 3)) in x 1.040 * [taylor]: Taking taylor expansion of -1/6 in x 1.040 * [backup-simplify]: Simplify -1/6 into -1/6 1.040 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.040 * [taylor]: Taking taylor expansion of x in x 1.040 * [backup-simplify]: Simplify 0 into 0 1.040 * [backup-simplify]: Simplify 1 into 1 1.040 * [backup-simplify]: Simplify (* 1 1) into 1 1.040 * [backup-simplify]: Simplify (* 1 1) into 1 1.040 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 1.040 * [backup-simplify]: Simplify -1/6 into -1/6 1.041 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.041 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.042 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 1.042 * [backup-simplify]: Simplify 0 into 0 1.042 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.042 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.043 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.043 * [backup-simplify]: Simplify 0 into 0 1.044 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.044 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.045 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.045 * [backup-simplify]: Simplify 0 into 0 1.045 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.046 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.046 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.046 * [backup-simplify]: Simplify 0 into 0 1.047 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.048 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.048 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.048 * [backup-simplify]: Simplify 0 into 0 1.049 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.050 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.050 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.050 * [backup-simplify]: Simplify 0 into 0 1.050 * [backup-simplify]: Simplify (* -1/6 (pow (/ 1 (/ 1 (- x))) 3)) into (* 1/6 (pow x 3)) 1.050 * * * * [progress]: [ 2 / 3 ] generating series at (2) 1.051 * [backup-simplify]: Simplify (+ (+ (/ (pow x 2) 2) x) (/ (pow x 3) 6)) into (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) 1.051 * [approximate]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) in (x) around 0 1.051 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) in x 1.051 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 1.051 * [taylor]: Taking taylor expansion of 1/2 in x 1.051 * [backup-simplify]: Simplify 1/2 into 1/2 1.051 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.051 * [taylor]: Taking taylor expansion of x in x 1.051 * [backup-simplify]: Simplify 0 into 0 1.051 * [backup-simplify]: Simplify 1 into 1 1.051 * [taylor]: Taking taylor expansion of (+ x (* 1/6 (pow x 3))) in x 1.051 * [taylor]: Taking taylor expansion of x in x 1.051 * [backup-simplify]: Simplify 0 into 0 1.051 * [backup-simplify]: Simplify 1 into 1 1.051 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 1.051 * [taylor]: Taking taylor expansion of 1/6 in x 1.051 * [backup-simplify]: Simplify 1/6 into 1/6 1.051 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.051 * [taylor]: Taking taylor expansion of x in x 1.051 * [backup-simplify]: Simplify 0 into 0 1.051 * [backup-simplify]: Simplify 1 into 1 1.051 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) in x 1.051 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 1.051 * [taylor]: Taking taylor expansion of 1/2 in x 1.051 * [backup-simplify]: Simplify 1/2 into 1/2 1.051 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.051 * [taylor]: Taking taylor expansion of x in x 1.051 * [backup-simplify]: Simplify 0 into 0 1.051 * [backup-simplify]: Simplify 1 into 1 1.051 * [taylor]: Taking taylor expansion of (+ x (* 1/6 (pow x 3))) in x 1.051 * [taylor]: Taking taylor expansion of x in x 1.051 * [backup-simplify]: Simplify 0 into 0 1.051 * [backup-simplify]: Simplify 1 into 1 1.051 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 1.051 * [taylor]: Taking taylor expansion of 1/6 in x 1.051 * [backup-simplify]: Simplify 1/6 into 1/6 1.051 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.051 * [taylor]: Taking taylor expansion of x in x 1.051 * [backup-simplify]: Simplify 0 into 0 1.051 * [backup-simplify]: Simplify 1 into 1 1.052 * [backup-simplify]: Simplify (+ 0 0) into 0 1.052 * [backup-simplify]: Simplify (+ 0 0) into 0 1.052 * [backup-simplify]: Simplify 0 into 0 1.052 * [backup-simplify]: Simplify (+ 1 0) into 1 1.052 * [backup-simplify]: Simplify (+ 0 1) into 1 1.052 * [backup-simplify]: Simplify 1 into 1 1.052 * [backup-simplify]: Simplify (* 1 1) into 1 1.053 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1.053 * [backup-simplify]: Simplify (+ 0 0) into 0 1.053 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1.053 * [backup-simplify]: Simplify 1/2 into 1/2 1.053 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.054 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1.054 * [backup-simplify]: Simplify (* 1 1) into 1 1.054 * [backup-simplify]: Simplify (* 1 1) into 1 1.054 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1.055 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6 1.055 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6 1.055 * [backup-simplify]: Simplify 1/6 into 1/6 1.055 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) 1.055 * [backup-simplify]: Simplify (+ (+ (/ (pow (/ 1 x) 2) 2) (/ 1 x)) (/ (pow (/ 1 x) 3) 6)) into (+ (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) 1.055 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in (x) around 0 1.056 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in x 1.056 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 1.056 * [taylor]: Taking taylor expansion of 1/2 in x 1.056 * [backup-simplify]: Simplify 1/2 into 1/2 1.056 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.056 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.056 * [taylor]: Taking taylor expansion of x in x 1.056 * [backup-simplify]: Simplify 0 into 0 1.056 * [backup-simplify]: Simplify 1 into 1 1.056 * [backup-simplify]: Simplify (* 1 1) into 1 1.056 * [backup-simplify]: Simplify (/ 1 1) into 1 1.056 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x)) in x 1.056 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 1.056 * [taylor]: Taking taylor expansion of 1/6 in x 1.056 * [backup-simplify]: Simplify 1/6 into 1/6 1.056 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.056 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.056 * [taylor]: Taking taylor expansion of x in x 1.056 * [backup-simplify]: Simplify 0 into 0 1.056 * [backup-simplify]: Simplify 1 into 1 1.056 * [backup-simplify]: Simplify (* 1 1) into 1 1.057 * [backup-simplify]: Simplify (* 1 1) into 1 1.057 * [backup-simplify]: Simplify (/ 1 1) into 1 1.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.057 * [taylor]: Taking taylor expansion of x in x 1.057 * [backup-simplify]: Simplify 0 into 0 1.057 * [backup-simplify]: Simplify 1 into 1 1.057 * [backup-simplify]: Simplify (/ 1 1) into 1 1.057 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in x 1.057 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 1.057 * [taylor]: Taking taylor expansion of 1/2 in x 1.057 * [backup-simplify]: Simplify 1/2 into 1/2 1.057 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.057 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.057 * [taylor]: Taking taylor expansion of x in x 1.057 * [backup-simplify]: Simplify 0 into 0 1.057 * [backup-simplify]: Simplify 1 into 1 1.057 * [backup-simplify]: Simplify (* 1 1) into 1 1.058 * [backup-simplify]: Simplify (/ 1 1) into 1 1.058 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x)) in x 1.058 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 1.058 * [taylor]: Taking taylor expansion of 1/6 in x 1.058 * [backup-simplify]: Simplify 1/6 into 1/6 1.058 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.058 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.058 * [taylor]: Taking taylor expansion of x in x 1.058 * [backup-simplify]: Simplify 0 into 0 1.058 * [backup-simplify]: Simplify 1 into 1 1.058 * [backup-simplify]: Simplify (* 1 1) into 1 1.058 * [backup-simplify]: Simplify (* 1 1) into 1 1.058 * [backup-simplify]: Simplify (/ 1 1) into 1 1.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.059 * [taylor]: Taking taylor expansion of x in x 1.059 * [backup-simplify]: Simplify 0 into 0 1.059 * [backup-simplify]: Simplify 1 into 1 1.059 * [backup-simplify]: Simplify (/ 1 1) into 1 1.059 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1.059 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1.059 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6 1.060 * [backup-simplify]: Simplify 1/6 into 1/6 1.060 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1.060 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.060 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.061 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1.061 * [backup-simplify]: Simplify (+ 0 0) into 0 1.062 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1.062 * [backup-simplify]: Simplify 1/2 into 1/2 1.062 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.062 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.063 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1.063 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.064 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.064 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.065 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1.065 * [backup-simplify]: Simplify (+ 0 1) into 1 1.065 * [backup-simplify]: Simplify (+ 0 1) into 1 1.065 * [backup-simplify]: Simplify 1 into 1 1.065 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 x))) (+ (* 1/2 (pow (/ 1 (/ 1 x)) 2)) (* 1/6 (pow (/ 1 (/ 1 x)) 3)))) into (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) 1.066 * [backup-simplify]: Simplify (+ (+ (/ (pow (/ 1 (- x)) 2) 2) (/ 1 (- x))) (/ (pow (/ 1 (- x)) 3) 6)) into (- (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) 1.066 * [approximate]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in (x) around 0 1.066 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in x 1.066 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 1.066 * [taylor]: Taking taylor expansion of 1/2 in x 1.066 * [backup-simplify]: Simplify 1/2 into 1/2 1.066 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.066 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.066 * [taylor]: Taking taylor expansion of x in x 1.066 * [backup-simplify]: Simplify 0 into 0 1.066 * [backup-simplify]: Simplify 1 into 1 1.066 * [backup-simplify]: Simplify (* 1 1) into 1 1.066 * [backup-simplify]: Simplify (/ 1 1) into 1 1.066 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x)) in x 1.066 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 1.066 * [taylor]: Taking taylor expansion of 1/6 in x 1.066 * [backup-simplify]: Simplify 1/6 into 1/6 1.066 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.066 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.066 * [taylor]: Taking taylor expansion of x in x 1.066 * [backup-simplify]: Simplify 0 into 0 1.067 * [backup-simplify]: Simplify 1 into 1 1.067 * [backup-simplify]: Simplify (* 1 1) into 1 1.067 * [backup-simplify]: Simplify (* 1 1) into 1 1.067 * [backup-simplify]: Simplify (/ 1 1) into 1 1.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.067 * [taylor]: Taking taylor expansion of x in x 1.067 * [backup-simplify]: Simplify 0 into 0 1.067 * [backup-simplify]: Simplify 1 into 1 1.067 * [backup-simplify]: Simplify (/ 1 1) into 1 1.067 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in x 1.067 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 1.067 * [taylor]: Taking taylor expansion of 1/2 in x 1.067 * [backup-simplify]: Simplify 1/2 into 1/2 1.068 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.068 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.068 * [taylor]: Taking taylor expansion of x in x 1.068 * [backup-simplify]: Simplify 0 into 0 1.068 * [backup-simplify]: Simplify 1 into 1 1.068 * [backup-simplify]: Simplify (* 1 1) into 1 1.068 * [backup-simplify]: Simplify (/ 1 1) into 1 1.068 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x)) in x 1.068 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 1.068 * [taylor]: Taking taylor expansion of 1/6 in x 1.068 * [backup-simplify]: Simplify 1/6 into 1/6 1.068 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.068 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.068 * [taylor]: Taking taylor expansion of x in x 1.068 * [backup-simplify]: Simplify 0 into 0 1.068 * [backup-simplify]: Simplify 1 into 1 1.068 * [backup-simplify]: Simplify (* 1 1) into 1 1.069 * [backup-simplify]: Simplify (* 1 1) into 1 1.069 * [backup-simplify]: Simplify (/ 1 1) into 1 1.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.069 * [taylor]: Taking taylor expansion of x in x 1.069 * [backup-simplify]: Simplify 0 into 0 1.069 * [backup-simplify]: Simplify 1 into 1 1.069 * [backup-simplify]: Simplify (/ 1 1) into 1 1.069 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1.070 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1.070 * [backup-simplify]: Simplify (- 1/6) into -1/6 1.070 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6 1.070 * [backup-simplify]: Simplify -1/6 into -1/6 1.070 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1.071 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.071 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.071 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.072 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1.072 * [backup-simplify]: Simplify (+ 0 0) into 0 1.072 * [backup-simplify]: Simplify (- 0) into 0 1.072 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1.072 * [backup-simplify]: Simplify 1/2 into 1/2 1.073 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.073 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.073 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1.074 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.074 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.075 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.075 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1.076 * [backup-simplify]: Simplify (+ 0 1) into 1 1.076 * [backup-simplify]: Simplify (- 1) into -1 1.076 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.076 * [backup-simplify]: Simplify -1 into -1 1.076 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- x)))) (+ (* 1/2 (pow (/ 1 (/ 1 (- x))) 2)) (* -1/6 (pow (/ 1 (/ 1 (- x))) 3)))) into (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) 1.076 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 1.076 * [backup-simplify]: Simplify (/ (pow x 2) 2) into (* 1/2 (pow x 2)) 1.077 * [approximate]: Taking taylor expansion of (* 1/2 (pow x 2)) in (x) around 0 1.077 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 1.077 * [taylor]: Taking taylor expansion of 1/2 in x 1.077 * [backup-simplify]: Simplify 1/2 into 1/2 1.077 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.077 * [taylor]: Taking taylor expansion of x in x 1.077 * [backup-simplify]: Simplify 0 into 0 1.077 * [backup-simplify]: Simplify 1 into 1 1.077 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 1.077 * [taylor]: Taking taylor expansion of 1/2 in x 1.077 * [backup-simplify]: Simplify 1/2 into 1/2 1.077 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.077 * [taylor]: Taking taylor expansion of x in x 1.077 * [backup-simplify]: Simplify 0 into 0 1.077 * [backup-simplify]: Simplify 1 into 1 1.077 * [backup-simplify]: Simplify (* 1 1) into 1 1.077 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1.077 * [backup-simplify]: Simplify 1/2 into 1/2 1.078 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.078 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1.078 * [backup-simplify]: Simplify 0 into 0 1.078 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.079 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1.079 * [backup-simplify]: Simplify 0 into 0 1.079 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.080 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.080 * [backup-simplify]: Simplify 0 into 0 1.081 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.081 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.081 * [backup-simplify]: Simplify 0 into 0 1.082 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.083 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.083 * [backup-simplify]: Simplify 0 into 0 1.083 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.084 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.084 * [backup-simplify]: Simplify 0 into 0 1.084 * [backup-simplify]: Simplify (* 1/2 (pow x 2)) into (* 1/2 (pow x 2)) 1.084 * [backup-simplify]: Simplify (/ (pow (/ 1 x) 2) 2) into (/ 1/2 (pow x 2)) 1.085 * [approximate]: Taking taylor expansion of (/ 1/2 (pow x 2)) in (x) around 0 1.085 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x 1.085 * [taylor]: Taking taylor expansion of 1/2 in x 1.085 * [backup-simplify]: Simplify 1/2 into 1/2 1.085 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.085 * [taylor]: Taking taylor expansion of x in x 1.085 * [backup-simplify]: Simplify 0 into 0 1.085 * [backup-simplify]: Simplify 1 into 1 1.085 * [backup-simplify]: Simplify (* 1 1) into 1 1.085 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 1.085 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x 1.085 * [taylor]: Taking taylor expansion of 1/2 in x 1.085 * [backup-simplify]: Simplify 1/2 into 1/2 1.085 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.085 * [taylor]: Taking taylor expansion of x in x 1.085 * [backup-simplify]: Simplify 0 into 0 1.085 * [backup-simplify]: Simplify 1 into 1 1.085 * [backup-simplify]: Simplify (* 1 1) into 1 1.086 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 1.086 * [backup-simplify]: Simplify 1/2 into 1/2 1.086 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.086 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0 1.087 * [backup-simplify]: Simplify 0 into 0 1.087 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.087 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.088 * [backup-simplify]: Simplify 0 into 0 1.088 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.089 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.089 * [backup-simplify]: Simplify 0 into 0 1.089 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.090 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.090 * [backup-simplify]: Simplify 0 into 0 1.090 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.091 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.091 * [backup-simplify]: Simplify 0 into 0 1.092 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.092 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.092 * [backup-simplify]: Simplify 0 into 0 1.092 * [backup-simplify]: Simplify (* 1/2 (pow (/ 1 (/ 1 x)) 2)) into (* 1/2 (pow x 2)) 1.092 * [backup-simplify]: Simplify (/ (pow (/ 1 (- x)) 2) 2) into (/ 1/2 (pow x 2)) 1.092 * [approximate]: Taking taylor expansion of (/ 1/2 (pow x 2)) in (x) around 0 1.092 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x 1.093 * [taylor]: Taking taylor expansion of 1/2 in x 1.093 * [backup-simplify]: Simplify 1/2 into 1/2 1.093 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.093 * [taylor]: Taking taylor expansion of x in x 1.093 * [backup-simplify]: Simplify 0 into 0 1.093 * [backup-simplify]: Simplify 1 into 1 1.093 * [backup-simplify]: Simplify (* 1 1) into 1 1.093 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 1.093 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x 1.093 * [taylor]: Taking taylor expansion of 1/2 in x 1.093 * [backup-simplify]: Simplify 1/2 into 1/2 1.093 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.093 * [taylor]: Taking taylor expansion of x in x 1.093 * [backup-simplify]: Simplify 0 into 0 1.093 * [backup-simplify]: Simplify 1 into 1 1.093 * [backup-simplify]: Simplify (* 1 1) into 1 1.094 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 1.094 * [backup-simplify]: Simplify 1/2 into 1/2 1.094 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.094 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0 1.094 * [backup-simplify]: Simplify 0 into 0 1.095 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.095 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.095 * [backup-simplify]: Simplify 0 into 0 1.096 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.097 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.097 * [backup-simplify]: Simplify 0 into 0 1.097 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.098 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.098 * [backup-simplify]: Simplify 0 into 0 1.098 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.099 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.099 * [backup-simplify]: Simplify 0 into 0 1.100 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.100 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.100 * [backup-simplify]: Simplify 0 into 0 1.100 * [backup-simplify]: Simplify (* 1/2 (pow (/ 1 (/ 1 (- x))) 2)) into (* 1/2 (pow x 2)) 1.100 * * * [progress]: simplifying candidates 1.102 * [simplify]: Simplifying: (- (* (log x) 3) (log 6)) (- (* (log x) 3) (log 6)) (- (log (pow x 3)) (log 6)) (log (/ (pow x 3) 6)) (exp (/ (pow x 3) 6)) (/ (* (* (pow x 3) (pow x 3)) (pow x 3)) (* (* 6 6) 6)) (* (cbrt (/ (pow x 3) 6)) (cbrt (/ (pow x 3) 6))) (cbrt (/ (pow x 3) 6)) (* (* (/ (pow x 3) 6) (/ (pow x 3) 6)) (/ (pow x 3) 6)) (sqrt (/ (pow x 3) 6)) (sqrt (/ (pow x 3) 6)) (- (pow x 3)) (- 6) (/ (pow (* (cbrt x) (cbrt x)) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (cbrt x) 3) (cbrt 6)) (/ (pow (* (cbrt x) (cbrt x)) 3) (sqrt 6)) (/ (pow (cbrt x) 3) (sqrt 6)) (/ (pow (* (cbrt x) (cbrt x)) 3) 1) (/ (pow (cbrt x) 3) 6) (/ (pow (sqrt x) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (sqrt x) 3) (cbrt 6)) (/ (pow (sqrt x) 3) (sqrt 6)) (/ (pow (sqrt x) 3) (sqrt 6)) (/ (pow (sqrt x) 3) 1) (/ (pow (sqrt x) 3) 6) (/ (pow 1 3) (* (cbrt 6) (cbrt 6))) (/ (pow x 3) (cbrt 6)) (/ (pow 1 3) (sqrt 6)) (/ (pow x 3) (sqrt 6)) (/ (pow 1 3) 1) (/ (pow x 3) 6) (/ (* x x) (* (cbrt 6) (cbrt 6))) (/ x (cbrt 6)) (/ (* x x) (sqrt 6)) (/ x (sqrt 6)) (/ (* x x) 1) (/ x 6) (/ (* (cbrt (pow x 3)) (cbrt (pow x 3))) (* (cbrt 6) (cbrt 6))) (/ (cbrt (pow x 3)) (cbrt 6)) (/ (* (cbrt (pow x 3)) (cbrt (pow x 3))) (sqrt 6)) (/ (cbrt (pow x 3)) (sqrt 6)) (/ (* (cbrt (pow x 3)) (cbrt (pow x 3))) 1) (/ (cbrt (pow x 3)) 6) (/ (pow (* (cbrt x) (cbrt x)) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (cbrt x) 3) (cbrt 6)) (/ (pow (* (cbrt x) (cbrt x)) 3) (sqrt 6)) (/ (pow (cbrt x) 3) (sqrt 6)) (/ (pow (* (cbrt x) (cbrt x)) 3) 1) (/ (pow (cbrt x) 3) 6) (/ (pow (sqrt x) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (sqrt x) 3) (cbrt 6)) (/ (pow (sqrt x) 3) (sqrt 6)) (/ (pow (sqrt x) 3) (sqrt 6)) (/ (pow (sqrt x) 3) 1) (/ (pow (sqrt x) 3) 6) (/ (pow 1 3) (* (cbrt 6) (cbrt 6))) (/ (pow x 3) (cbrt 6)) (/ (pow 1 3) (sqrt 6)) (/ (pow x 3) (sqrt 6)) (/ (pow 1 3) 1) (/ (pow x 3) 6) (/ x (* (cbrt 6) (cbrt 6))) (/ (* x x) (cbrt 6)) (/ x (sqrt 6)) (/ (* x x) (sqrt 6)) (/ x 1) (/ (* x x) 6) (/ (sqrt (pow x 3)) (* (cbrt 6) (cbrt 6))) (/ (sqrt (pow x 3)) (cbrt 6)) (/ (sqrt (pow x 3)) (sqrt 6)) (/ (sqrt (pow x 3)) (sqrt 6)) (/ (sqrt (pow x 3)) 1) (/ (sqrt (pow x 3)) 6) (/ 1 (* (cbrt 6) (cbrt 6))) (/ (pow x 3) (cbrt 6)) (/ 1 (sqrt 6)) (/ (pow x 3) (sqrt 6)) (/ 1 1) (/ (pow x 3) 6) (/ (pow x (/ 3 2)) (* (cbrt 6) (cbrt 6))) (/ (pow x (/ 3 2)) (cbrt 6)) (/ (pow x (/ 3 2)) (sqrt 6)) (/ (pow x (/ 3 2)) (sqrt 6)) (/ (pow x (/ 3 2)) 1) (/ (pow x (/ 3 2)) 6) (/ 1 6) (/ 6 (pow x 3)) (/ (pow x 3) (* (cbrt 6) (cbrt 6))) (/ (pow x 3) (sqrt 6)) (/ (pow x 3) 1) (/ 6 (pow (cbrt x) 3)) (/ 6 (pow (sqrt x) 3)) (/ 6 (pow x 3)) (/ 6 x) (/ 6 (cbrt (pow x 3))) (/ 6 (pow (cbrt x) 3)) (/ 6 (pow (sqrt x) 3)) (/ 6 (pow x 3)) (/ 6 (* x x)) (/ 6 (sqrt (pow x 3))) (/ 6 (pow x 3)) (/ 6 (pow x (/ 3 2))) (* (* (exp (/ (pow x 2) 2)) (exp x)) (exp (/ (pow x 3) 6))) (* (exp (+ (/ (pow x 2) 2) x)) (exp (/ (pow x 3) 6))) (log (+ (+ (/ (pow x 2) 2) x) (/ (pow x 3) 6))) (exp (+ (+ (/ (pow x 2) 2) x) (/ (pow x 3) 6))) (* (cbrt (+ (+ (/ (pow x 2) 2) x) (/ (pow x 3) 6))) (cbrt (+ (+ (/ (pow x 2) 2) x) (/ (pow x 3) 6)))) (cbrt (+ (+ (/ (pow x 2) 2) x) (/ (pow x 3) 6))) (* (* (+ (+ (/ (pow x 2) 2) x) (/ (pow x 3) 6)) (+ (+ (/ (pow x 2) 2) x) (/ (pow x 3) 6))) (+ (+ (/ (pow x 2) 2) x) (/ (pow x 3) 6))) (sqrt (+ (+ (/ (pow x 2) 2) x) (/ (pow x 3) 6))) (sqrt (+ (+ (/ (pow x 2) 2) x) (/ (pow x 3) 6))) (+ (* (+ (pow (/ (pow x 2) 2) 3) (pow x 3)) 6) (* (+ (* (/ (pow x 2) 2) (/ (pow x 2) 2)) (- (* x x) (* (/ (pow x 2) 2) x))) (pow x 3))) (* (+ (* (/ (pow x 2) 2) (/ (pow x 2) 2)) (- (* x x) (* (/ (pow x 2) 2) x))) 6) (+ (* (- (* (/ (pow x 2) 2) (/ (pow x 2) 2)) (* x x)) 6) (* (- (/ (pow x 2) 2) x) (pow x 3))) (* (- (/ (pow x 2) 2) x) 6) (+ (pow (+ (/ (pow x 2) 2) x) 3) (pow (/ (pow x 3) 6) 3)) (+ (* (+ (/ (pow x 2) 2) x) (+ (/ (pow x 2) 2) x)) (- (* (/ (pow x 3) 6) (/ (pow x 3) 6)) (* (+ (/ (pow x 2) 2) x) (/ (pow x 3) 6)))) (- (* (+ (/ (pow x 2) 2) x) (+ (/ (pow x 2) 2) x)) (* (/ (pow x 3) 6) (/ (pow x 3) 6))) (- (+ (/ (pow x 2) 2) x) (/ (pow x 3) 6)) (+ (+ (/ (pow x 2) 2) x) (/ (pow x 3) 6)) (+ (+ (/ (pow x 2) 2) x) (/ (pow x 3) 6)) (+ x (/ (pow x 3) 6)) (- (* (log x) 2) (log 2)) (- (* (log x) 2) (log 2)) (- (log (pow x 2)) (log 2)) (log (/ (pow x 2) 2)) (exp (/ (pow x 2) 2)) (/ (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* 2 2) 2)) (* (cbrt (/ (pow x 2) 2)) (cbrt (/ (pow x 2) 2))) (cbrt (/ (pow x 2) 2)) (* (* (/ (pow x 2) 2) (/ (pow x 2) 2)) (/ (pow x 2) 2)) (sqrt (/ (pow x 2) 2)) (sqrt (/ (pow x 2) 2)) (- (pow x 2)) (- 2) (/ (pow (* (cbrt x) (cbrt x)) 2) (* (cbrt 2) (cbrt 2))) (/ (pow (cbrt x) 2) (cbrt 2)) (/ (pow (* (cbrt x) (cbrt x)) 2) (sqrt 2)) (/ (pow (cbrt x) 2) (sqrt 2)) (/ (pow (* (cbrt x) (cbrt x)) 2) 1) (/ (pow (cbrt x) 2) 2) (/ (pow (sqrt x) 2) (* (cbrt 2) (cbrt 2))) (/ (pow (sqrt x) 2) (cbrt 2)) (/ (pow (sqrt x) 2) (sqrt 2)) (/ (pow (sqrt x) 2) (sqrt 2)) (/ (pow (sqrt x) 2) 1) (/ (pow (sqrt x) 2) 2) (/ (pow 1 2) (* (cbrt 2) (cbrt 2))) (/ (pow x 2) (cbrt 2)) (/ (pow 1 2) (sqrt 2)) (/ (pow x 2) (sqrt 2)) (/ (pow 1 2) 1) (/ (pow x 2) 2) (/ x (* (cbrt 2) (cbrt 2))) (/ x (cbrt 2)) (/ x (sqrt 2)) (/ x (sqrt 2)) (/ x 1) (/ x 2) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (* (cbrt 2) (cbrt 2))) (/ (cbrt (pow x 2)) (cbrt 2)) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (sqrt 2)) (/ (cbrt (pow x 2)) (sqrt 2)) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) 1) (/ (cbrt (pow x 2)) 2) (/ (sqrt (pow x 2)) (* (cbrt 2) (cbrt 2))) (/ (sqrt (pow x 2)) (cbrt 2)) (/ (sqrt (pow x 2)) (sqrt 2)) (/ (sqrt (pow x 2)) (sqrt 2)) (/ (sqrt (pow x 2)) 1) (/ (sqrt (pow x 2)) 2) (/ 1 (* (cbrt 2) (cbrt 2))) (/ (pow x 2) (cbrt 2)) (/ 1 (sqrt 2)) (/ (pow x 2) (sqrt 2)) (/ 1 1) (/ (pow x 2) 2) (/ (pow x (/ 2 2)) (* (cbrt 2) (cbrt 2))) (/ (pow x (/ 2 2)) (cbrt 2)) (/ (pow x (/ 2 2)) (sqrt 2)) (/ (pow x (/ 2 2)) (sqrt 2)) (/ (pow x (/ 2 2)) 1) (/ (pow x (/ 2 2)) 2) (/ 1 2) (/ 2 (pow x 2)) (/ (pow x 2) (* (cbrt 2) (cbrt 2))) (/ (pow x 2) (sqrt 2)) (/ (pow x 2) 1) (/ 2 (pow (cbrt x) 2)) (/ 2 (pow (sqrt x) 2)) (/ 2 (pow x 2)) (/ 2 x) (/ 2 (cbrt (pow x 2))) (/ 2 (sqrt (pow x 2))) (/ 2 (pow x 2)) (/ 2 (pow x (/ 2 2))) (* 1/6 (pow x 3)) (* 1/6 (pow x 3)) (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) (* 1/2 (pow x 2)) (* 1/2 (pow x 2)) (* 1/2 (pow x 2)) 1.103 * [simplify]: Sending expressions to egg_math: (- (* (log h0) 3) (log 6)) (- (* (log h0) 3) (log 6)) (- (log (pow h0 3)) (log 6)) (log (/ (pow h0 3) 6)) (exp (/ (pow h0 3) 6)) (/ (* (* (pow h0 3) (pow h0 3)) (pow h0 3)) (* (* 6 6) 6)) (* (cbrt (/ (pow h0 3) 6)) (cbrt (/ (pow h0 3) 6))) (cbrt (/ (pow h0 3) 6)) (* (* (/ (pow h0 3) 6) (/ (pow h0 3) 6)) (/ (pow h0 3) 6)) (sqrt (/ (pow h0 3) 6)) (sqrt (/ (pow h0 3) 6)) (- (pow h0 3)) (- 6) (/ (pow (* (cbrt h0) (cbrt h0)) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (cbrt h0) 3) (cbrt 6)) (/ (pow (* (cbrt h0) (cbrt h0)) 3) (sqrt 6)) (/ (pow (cbrt h0) 3) (sqrt 6)) (/ (pow (* (cbrt h0) (cbrt h0)) 3) 1) (/ (pow (cbrt h0) 3) 6) (/ (pow (sqrt h0) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (sqrt h0) 3) (cbrt 6)) (/ (pow (sqrt h0) 3) (sqrt 6)) (/ (pow (sqrt h0) 3) (sqrt 6)) (/ (pow (sqrt h0) 3) 1) (/ (pow (sqrt h0) 3) 6) (/ (pow 1 3) (* (cbrt 6) (cbrt 6))) (/ (pow h0 3) (cbrt 6)) (/ (pow 1 3) (sqrt 6)) (/ (pow h0 3) (sqrt 6)) (/ (pow 1 3) 1) (/ (pow h0 3) 6) (/ (* h0 h0) (* (cbrt 6) (cbrt 6))) (/ h0 (cbrt 6)) (/ (* h0 h0) (sqrt 6)) (/ h0 (sqrt 6)) (/ (* h0 h0) 1) (/ h0 6) (/ (* (cbrt (pow h0 3)) (cbrt (pow h0 3))) (* (cbrt 6) (cbrt 6))) (/ (cbrt (pow h0 3)) (cbrt 6)) (/ (* (cbrt (pow h0 3)) (cbrt (pow h0 3))) (sqrt 6)) (/ (cbrt (pow h0 3)) (sqrt 6)) (/ (* (cbrt (pow h0 3)) (cbrt (pow h0 3))) 1) (/ (cbrt (pow h0 3)) 6) (/ (pow (* (cbrt h0) (cbrt h0)) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (cbrt h0) 3) (cbrt 6)) (/ (pow (* (cbrt h0) (cbrt h0)) 3) (sqrt 6)) (/ (pow (cbrt h0) 3) (sqrt 6)) (/ (pow (* (cbrt h0) (cbrt h0)) 3) 1) (/ (pow (cbrt h0) 3) 6) (/ (pow (sqrt h0) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (sqrt h0) 3) (cbrt 6)) (/ (pow (sqrt h0) 3) (sqrt 6)) (/ (pow (sqrt h0) 3) (sqrt 6)) (/ (pow (sqrt h0) 3) 1) (/ (pow (sqrt h0) 3) 6) (/ (pow 1 3) (* (cbrt 6) (cbrt 6))) (/ (pow h0 3) (cbrt 6)) (/ (pow 1 3) (sqrt 6)) (/ (pow h0 3) (sqrt 6)) (/ (pow 1 3) 1) (/ (pow h0 3) 6) (/ h0 (* (cbrt 6) (cbrt 6))) (/ (* h0 h0) (cbrt 6)) (/ h0 (sqrt 6)) (/ (* h0 h0) (sqrt 6)) (/ h0 1) (/ (* h0 h0) 6) (/ (sqrt (pow h0 3)) (* (cbrt 6) (cbrt 6))) (/ (sqrt (pow h0 3)) (cbrt 6)) (/ (sqrt (pow h0 3)) (sqrt 6)) (/ (sqrt (pow h0 3)) (sqrt 6)) (/ (sqrt (pow h0 3)) 1) (/ (sqrt (pow h0 3)) 6) (/ 1 (* (cbrt 6) (cbrt 6))) (/ (pow h0 3) (cbrt 6)) (/ 1 (sqrt 6)) (/ (pow h0 3) (sqrt 6)) (/ 1 1) (/ (pow h0 3) 6) (/ (pow h0 (/ 3 2)) (* (cbrt 6) (cbrt 6))) (/ (pow h0 (/ 3 2)) (cbrt 6)) (/ (pow h0 (/ 3 2)) (sqrt 6)) (/ (pow h0 (/ 3 2)) (sqrt 6)) (/ (pow h0 (/ 3 2)) 1) (/ (pow h0 (/ 3 2)) 6) (/ 1 6) (/ 6 (pow h0 3)) (/ (pow h0 3) (* (cbrt 6) (cbrt 6))) (/ (pow h0 3) (sqrt 6)) (/ (pow h0 3) 1) (/ 6 (pow (cbrt h0) 3)) (/ 6 (pow (sqrt h0) 3)) (/ 6 (pow h0 3)) (/ 6 h0) (/ 6 (cbrt (pow h0 3))) (/ 6 (pow (cbrt h0) 3)) (/ 6 (pow (sqrt h0) 3)) (/ 6 (pow h0 3)) (/ 6 (* h0 h0)) (/ 6 (sqrt (pow h0 3))) (/ 6 (pow h0 3)) (/ 6 (pow h0 (/ 3 2))) (* (* (exp (/ (pow h0 2) 2)) (exp h0)) (exp (/ (pow h0 3) 6))) (* (exp (+ (/ (pow h0 2) 2) h0)) (exp (/ (pow h0 3) 6))) (log (+ (+ (/ (pow h0 2) 2) h0) (/ (pow h0 3) 6))) (exp (+ (+ (/ (pow h0 2) 2) h0) (/ (pow h0 3) 6))) (* (cbrt (+ (+ (/ (pow h0 2) 2) h0) (/ (pow h0 3) 6))) (cbrt (+ (+ (/ (pow h0 2) 2) h0) (/ (pow h0 3) 6)))) (cbrt (+ (+ (/ (pow h0 2) 2) h0) (/ (pow h0 3) 6))) (* (* (+ (+ (/ (pow h0 2) 2) h0) (/ (pow h0 3) 6)) (+ (+ (/ (pow h0 2) 2) h0) (/ (pow h0 3) 6))) (+ (+ (/ (pow h0 2) 2) h0) (/ (pow h0 3) 6))) (sqrt (+ (+ (/ (pow h0 2) 2) h0) (/ (pow h0 3) 6))) (sqrt (+ (+ (/ (pow h0 2) 2) h0) (/ (pow h0 3) 6))) (+ (* (+ (pow (/ (pow h0 2) 2) 3) (pow h0 3)) 6) (* (+ (* (/ (pow h0 2) 2) (/ (pow h0 2) 2)) (- (* h0 h0) (* (/ (pow h0 2) 2) h0))) (pow h0 3))) (* (+ (* (/ (pow h0 2) 2) (/ (pow h0 2) 2)) (- (* h0 h0) (* (/ (pow h0 2) 2) h0))) 6) (+ (* (- (* (/ (pow h0 2) 2) (/ (pow h0 2) 2)) (* h0 h0)) 6) (* (- (/ (pow h0 2) 2) h0) (pow h0 3))) (* (- (/ (pow h0 2) 2) h0) 6) (+ (pow (+ (/ (pow h0 2) 2) h0) 3) (pow (/ (pow h0 3) 6) 3)) (+ (* (+ (/ (pow h0 2) 2) h0) (+ (/ (pow h0 2) 2) h0)) (- (* (/ (pow h0 3) 6) (/ (pow h0 3) 6)) (* (+ (/ (pow h0 2) 2) h0) (/ (pow h0 3) 6)))) (- (* (+ (/ (pow h0 2) 2) h0) (+ (/ (pow h0 2) 2) h0)) (* (/ (pow h0 3) 6) (/ (pow h0 3) 6))) (- (+ (/ (pow h0 2) 2) h0) (/ (pow h0 3) 6)) (+ (+ (/ (pow h0 2) 2) h0) (/ (pow h0 3) 6)) (+ (+ (/ (pow h0 2) 2) h0) (/ (pow h0 3) 6)) (+ h0 (/ (pow h0 3) 6)) (- (* (log h0) 2) (log 2)) (- (* (log h0) 2) (log 2)) (- (log (pow h0 2)) (log 2)) (log (/ (pow h0 2) 2)) (exp (/ (pow h0 2) 2)) (/ (* (* (pow h0 2) (pow h0 2)) (pow h0 2)) (* (* 2 2) 2)) (* (cbrt (/ (pow h0 2) 2)) (cbrt (/ (pow h0 2) 2))) (cbrt (/ (pow h0 2) 2)) (* (* (/ (pow h0 2) 2) (/ (pow h0 2) 2)) (/ (pow h0 2) 2)) (sqrt (/ (pow h0 2) 2)) (sqrt (/ (pow h0 2) 2)) (- (pow h0 2)) (- 2) (/ (pow (* (cbrt h0) (cbrt h0)) 2) (* (cbrt 2) (cbrt 2))) (/ (pow (cbrt h0) 2) (cbrt 2)) (/ (pow (* (cbrt h0) (cbrt h0)) 2) (sqrt 2)) (/ (pow (cbrt h0) 2) (sqrt 2)) (/ (pow (* (cbrt h0) (cbrt h0)) 2) 1) (/ (pow (cbrt h0) 2) 2) (/ (pow (sqrt h0) 2) (* (cbrt 2) (cbrt 2))) (/ (pow (sqrt h0) 2) (cbrt 2)) (/ (pow (sqrt h0) 2) (sqrt 2)) (/ (pow (sqrt h0) 2) (sqrt 2)) (/ (pow (sqrt h0) 2) 1) (/ (pow (sqrt h0) 2) 2) (/ (pow 1 2) (* (cbrt 2) (cbrt 2))) (/ (pow h0 2) (cbrt 2)) (/ (pow 1 2) (sqrt 2)) (/ (pow h0 2) (sqrt 2)) (/ (pow 1 2) 1) (/ (pow h0 2) 2) (/ h0 (* (cbrt 2) (cbrt 2))) (/ h0 (cbrt 2)) (/ h0 (sqrt 2)) (/ h0 (sqrt 2)) (/ h0 1) (/ h0 2) (/ (* (cbrt (pow h0 2)) (cbrt (pow h0 2))) (* (cbrt 2) (cbrt 2))) (/ (cbrt (pow h0 2)) (cbrt 2)) (/ (* (cbrt (pow h0 2)) (cbrt (pow h0 2))) (sqrt 2)) (/ (cbrt (pow h0 2)) (sqrt 2)) (/ (* (cbrt (pow h0 2)) (cbrt (pow h0 2))) 1) (/ (cbrt (pow h0 2)) 2) (/ (sqrt (pow h0 2)) (* (cbrt 2) (cbrt 2))) (/ (sqrt (pow h0 2)) (cbrt 2)) (/ (sqrt (pow h0 2)) (sqrt 2)) (/ (sqrt (pow h0 2)) (sqrt 2)) (/ (sqrt (pow h0 2)) 1) (/ (sqrt (pow h0 2)) 2) (/ 1 (* (cbrt 2) (cbrt 2))) (/ (pow h0 2) (cbrt 2)) (/ 1 (sqrt 2)) (/ (pow h0 2) (sqrt 2)) (/ 1 1) (/ (pow h0 2) 2) (/ (pow h0 (/ 2 2)) (* (cbrt 2) (cbrt 2))) (/ (pow h0 (/ 2 2)) (cbrt 2)) (/ (pow h0 (/ 2 2)) (sqrt 2)) (/ (pow h0 (/ 2 2)) (sqrt 2)) (/ (pow h0 (/ 2 2)) 1) (/ (pow h0 (/ 2 2)) 2) (/ 1 2) (/ 2 (pow h0 2)) (/ (pow h0 2) (* (cbrt 2) (cbrt 2))) (/ (pow h0 2) (sqrt 2)) (/ (pow h0 2) 1) (/ 2 (pow (cbrt h0) 2)) (/ 2 (pow (sqrt h0) 2)) (/ 2 (pow h0 2)) (/ 2 h0) (/ 2 (cbrt (pow h0 2))) (/ 2 (sqrt (pow h0 2))) (/ 2 (pow h0 2)) (/ 2 (pow h0 (/ 2 2))) (* (/ 1 6) (pow h0 3)) (* (/ 1 6) (pow h0 3)) (* (/ 1 6) (pow h0 3)) (+ (* (/ 1 2) (pow h0 2)) (+ (* (/ 1 6) (pow h0 3)) h0)) (+ (* (/ 1 2) (pow h0 2)) (+ h0 (* (/ 1 6) (pow h0 3)))) (+ (* (/ 1 2) (pow h0 2)) (+ h0 (* (/ 1 6) (pow h0 3)))) (* (/ 1 2) (pow h0 2)) (* (/ 1 2) (pow h0 2)) (* (/ 1 2) (pow h0 2)) 1.955 * * * [progress]: adding candidates to table 2.170 * * [progress]: iteration 3 / 4 2.170 * * * [progress]: picking best candidate 2.178 * * * * [pick]: Picked # 2.178 * * * [progress]: localizing error 2.189 * * * [progress]: generating rewritten candidates 2.189 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 2.201 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 2.782 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 2.816 * * * [progress]: generating series expansions 2.816 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 2.816 * [backup-simplify]: Simplify (/ (pow x 3) 6) into (* 1/6 (pow x 3)) 2.816 * [approximate]: Taking taylor expansion of (* 1/6 (pow x 3)) in (x) around 0 2.816 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 2.816 * [taylor]: Taking taylor expansion of 1/6 in x 2.816 * [backup-simplify]: Simplify 1/6 into 1/6 2.816 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.816 * [taylor]: Taking taylor expansion of x in x 2.816 * [backup-simplify]: Simplify 0 into 0 2.816 * [backup-simplify]: Simplify 1 into 1 2.816 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 2.816 * [taylor]: Taking taylor expansion of 1/6 in x 2.816 * [backup-simplify]: Simplify 1/6 into 1/6 2.816 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.816 * [taylor]: Taking taylor expansion of x in x 2.816 * [backup-simplify]: Simplify 0 into 0 2.816 * [backup-simplify]: Simplify 1 into 1 2.817 * [backup-simplify]: Simplify (* 1 1) into 1 2.817 * [backup-simplify]: Simplify (* 1 1) into 1 2.817 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 2.817 * [backup-simplify]: Simplify 1/6 into 1/6 2.818 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.818 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.818 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 2.819 * [backup-simplify]: Simplify 0 into 0 2.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.820 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 2.820 * [backup-simplify]: Simplify 0 into 0 2.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.822 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.822 * [backup-simplify]: Simplify 0 into 0 2.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.823 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.823 * [backup-simplify]: Simplify 0 into 0 2.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.826 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.826 * [backup-simplify]: Simplify 0 into 0 2.826 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.828 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.828 * [backup-simplify]: Simplify 0 into 0 2.828 * [backup-simplify]: Simplify (* 1/6 (pow x 3)) into (* 1/6 (pow x 3)) 2.828 * [backup-simplify]: Simplify (/ (pow (/ 1 x) 3) 6) into (/ 1/6 (pow x 3)) 2.828 * [approximate]: Taking taylor expansion of (/ 1/6 (pow x 3)) in (x) around 0 2.828 * [taylor]: Taking taylor expansion of (/ 1/6 (pow x 3)) in x 2.828 * [taylor]: Taking taylor expansion of 1/6 in x 2.828 * [backup-simplify]: Simplify 1/6 into 1/6 2.828 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.828 * [taylor]: Taking taylor expansion of x in x 2.828 * [backup-simplify]: Simplify 0 into 0 2.828 * [backup-simplify]: Simplify 1 into 1 2.828 * [backup-simplify]: Simplify (* 1 1) into 1 2.829 * [backup-simplify]: Simplify (* 1 1) into 1 2.829 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 2.829 * [taylor]: Taking taylor expansion of (/ 1/6 (pow x 3)) in x 2.829 * [taylor]: Taking taylor expansion of 1/6 in x 2.829 * [backup-simplify]: Simplify 1/6 into 1/6 2.829 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.829 * [taylor]: Taking taylor expansion of x in x 2.829 * [backup-simplify]: Simplify 0 into 0 2.829 * [backup-simplify]: Simplify 1 into 1 2.829 * [backup-simplify]: Simplify (* 1 1) into 1 2.829 * [backup-simplify]: Simplify (* 1 1) into 1 2.830 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 2.830 * [backup-simplify]: Simplify 1/6 into 1/6 2.830 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.830 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.831 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 2.831 * [backup-simplify]: Simplify 0 into 0 2.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.832 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.832 * [backup-simplify]: Simplify 0 into 0 2.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.834 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.834 * [backup-simplify]: Simplify 0 into 0 2.834 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.836 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.836 * [backup-simplify]: Simplify 0 into 0 2.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.837 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.838 * [backup-simplify]: Simplify 0 into 0 2.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.840 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.840 * [backup-simplify]: Simplify 0 into 0 2.840 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (/ 1 x)) 3)) into (* 1/6 (pow x 3)) 2.840 * [backup-simplify]: Simplify (/ (pow (/ 1 (- x)) 3) 6) into (/ -1/6 (pow x 3)) 2.840 * [approximate]: Taking taylor expansion of (/ -1/6 (pow x 3)) in (x) around 0 2.840 * [taylor]: Taking taylor expansion of (/ -1/6 (pow x 3)) in x 2.840 * [taylor]: Taking taylor expansion of -1/6 in x 2.840 * [backup-simplify]: Simplify -1/6 into -1/6 2.840 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.840 * [taylor]: Taking taylor expansion of x in x 2.840 * [backup-simplify]: Simplify 0 into 0 2.840 * [backup-simplify]: Simplify 1 into 1 2.840 * [backup-simplify]: Simplify (* 1 1) into 1 2.840 * [backup-simplify]: Simplify (* 1 1) into 1 2.841 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 2.841 * [taylor]: Taking taylor expansion of (/ -1/6 (pow x 3)) in x 2.841 * [taylor]: Taking taylor expansion of -1/6 in x 2.841 * [backup-simplify]: Simplify -1/6 into -1/6 2.841 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.841 * [taylor]: Taking taylor expansion of x in x 2.841 * [backup-simplify]: Simplify 0 into 0 2.841 * [backup-simplify]: Simplify 1 into 1 2.841 * [backup-simplify]: Simplify (* 1 1) into 1 2.841 * [backup-simplify]: Simplify (* 1 1) into 1 2.841 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 2.841 * [backup-simplify]: Simplify -1/6 into -1/6 2.842 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.842 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.843 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 2.843 * [backup-simplify]: Simplify 0 into 0 2.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.844 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.844 * [backup-simplify]: Simplify 0 into 0 2.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.846 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.846 * [backup-simplify]: Simplify 0 into 0 2.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.847 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.847 * [backup-simplify]: Simplify 0 into 0 2.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.849 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.849 * [backup-simplify]: Simplify 0 into 0 2.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.851 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.851 * [backup-simplify]: Simplify 0 into 0 2.851 * [backup-simplify]: Simplify (* -1/6 (pow (/ 1 (/ 1 (- x))) 3)) into (* 1/6 (pow x 3)) 2.851 * * * * [progress]: [ 2 / 3 ] generating series at (2) 2.852 * [backup-simplify]: Simplify (+ (+ (/ (- (pow x 2)) (- 2)) x) (/ (pow x 3) 6)) into (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) 2.852 * [approximate]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) in (x) around 0 2.852 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) in x 2.852 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 2.852 * [taylor]: Taking taylor expansion of 1/2 in x 2.852 * [backup-simplify]: Simplify 1/2 into 1/2 2.852 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.852 * [taylor]: Taking taylor expansion of x in x 2.852 * [backup-simplify]: Simplify 0 into 0 2.852 * [backup-simplify]: Simplify 1 into 1 2.852 * [taylor]: Taking taylor expansion of (+ x (* 1/6 (pow x 3))) in x 2.852 * [taylor]: Taking taylor expansion of x in x 2.852 * [backup-simplify]: Simplify 0 into 0 2.852 * [backup-simplify]: Simplify 1 into 1 2.852 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 2.852 * [taylor]: Taking taylor expansion of 1/6 in x 2.852 * [backup-simplify]: Simplify 1/6 into 1/6 2.852 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.852 * [taylor]: Taking taylor expansion of x in x 2.852 * [backup-simplify]: Simplify 0 into 0 2.852 * [backup-simplify]: Simplify 1 into 1 2.852 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) in x 2.852 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 2.852 * [taylor]: Taking taylor expansion of 1/2 in x 2.852 * [backup-simplify]: Simplify 1/2 into 1/2 2.852 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.852 * [taylor]: Taking taylor expansion of x in x 2.852 * [backup-simplify]: Simplify 0 into 0 2.852 * [backup-simplify]: Simplify 1 into 1 2.852 * [taylor]: Taking taylor expansion of (+ x (* 1/6 (pow x 3))) in x 2.852 * [taylor]: Taking taylor expansion of x in x 2.852 * [backup-simplify]: Simplify 0 into 0 2.852 * [backup-simplify]: Simplify 1 into 1 2.852 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 2.853 * [taylor]: Taking taylor expansion of 1/6 in x 2.853 * [backup-simplify]: Simplify 1/6 into 1/6 2.853 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.853 * [taylor]: Taking taylor expansion of x in x 2.853 * [backup-simplify]: Simplify 0 into 0 2.853 * [backup-simplify]: Simplify 1 into 1 2.853 * [backup-simplify]: Simplify (+ 0 0) into 0 2.853 * [backup-simplify]: Simplify (+ 0 0) into 0 2.853 * [backup-simplify]: Simplify 0 into 0 2.853 * [backup-simplify]: Simplify (+ 1 0) into 1 2.854 * [backup-simplify]: Simplify (+ 0 1) into 1 2.854 * [backup-simplify]: Simplify 1 into 1 2.854 * [backup-simplify]: Simplify (* 1 1) into 1 2.854 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 2.854 * [backup-simplify]: Simplify (+ 0 0) into 0 2.854 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 2.854 * [backup-simplify]: Simplify 1/2 into 1/2 2.855 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.855 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 2.855 * [backup-simplify]: Simplify (* 1 1) into 1 2.856 * [backup-simplify]: Simplify (* 1 1) into 1 2.856 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 2.856 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6 2.856 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6 2.856 * [backup-simplify]: Simplify 1/6 into 1/6 2.857 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) 2.857 * [backup-simplify]: Simplify (+ (+ (/ (- (pow (/ 1 x) 2)) (- 2)) (/ 1 x)) (/ (pow (/ 1 x) 3) 6)) into (+ (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) 2.857 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in (x) around 0 2.857 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in x 2.857 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 2.857 * [taylor]: Taking taylor expansion of 1/2 in x 2.857 * [backup-simplify]: Simplify 1/2 into 1/2 2.857 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.857 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.857 * [taylor]: Taking taylor expansion of x in x 2.857 * [backup-simplify]: Simplify 0 into 0 2.857 * [backup-simplify]: Simplify 1 into 1 2.857 * [backup-simplify]: Simplify (* 1 1) into 1 2.858 * [backup-simplify]: Simplify (/ 1 1) into 1 2.858 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x)) in x 2.858 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 2.858 * [taylor]: Taking taylor expansion of 1/6 in x 2.858 * [backup-simplify]: Simplify 1/6 into 1/6 2.858 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.858 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.858 * [taylor]: Taking taylor expansion of x in x 2.858 * [backup-simplify]: Simplify 0 into 0 2.858 * [backup-simplify]: Simplify 1 into 1 2.858 * [backup-simplify]: Simplify (* 1 1) into 1 2.858 * [backup-simplify]: Simplify (* 1 1) into 1 2.858 * [backup-simplify]: Simplify (/ 1 1) into 1 2.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.858 * [taylor]: Taking taylor expansion of x in x 2.858 * [backup-simplify]: Simplify 0 into 0 2.859 * [backup-simplify]: Simplify 1 into 1 2.859 * [backup-simplify]: Simplify (/ 1 1) into 1 2.859 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in x 2.859 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 2.859 * [taylor]: Taking taylor expansion of 1/2 in x 2.859 * [backup-simplify]: Simplify 1/2 into 1/2 2.859 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.859 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.859 * [taylor]: Taking taylor expansion of x in x 2.859 * [backup-simplify]: Simplify 0 into 0 2.859 * [backup-simplify]: Simplify 1 into 1 2.859 * [backup-simplify]: Simplify (* 1 1) into 1 2.859 * [backup-simplify]: Simplify (/ 1 1) into 1 2.859 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x)) in x 2.859 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 2.859 * [taylor]: Taking taylor expansion of 1/6 in x 2.859 * [backup-simplify]: Simplify 1/6 into 1/6 2.859 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.859 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.859 * [taylor]: Taking taylor expansion of x in x 2.859 * [backup-simplify]: Simplify 0 into 0 2.859 * [backup-simplify]: Simplify 1 into 1 2.860 * [backup-simplify]: Simplify (* 1 1) into 1 2.860 * [backup-simplify]: Simplify (* 1 1) into 1 2.860 * [backup-simplify]: Simplify (/ 1 1) into 1 2.860 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.860 * [taylor]: Taking taylor expansion of x in x 2.860 * [backup-simplify]: Simplify 0 into 0 2.860 * [backup-simplify]: Simplify 1 into 1 2.860 * [backup-simplify]: Simplify (/ 1 1) into 1 2.861 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 2.861 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 2.861 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6 2.861 * [backup-simplify]: Simplify 1/6 into 1/6 2.861 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 2.862 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.862 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.863 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 2.863 * [backup-simplify]: Simplify (+ 0 0) into 0 2.863 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 2.863 * [backup-simplify]: Simplify 1/2 into 1/2 2.864 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.864 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.864 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 2.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.866 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.866 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 2.867 * [backup-simplify]: Simplify (+ 0 1) into 1 2.867 * [backup-simplify]: Simplify (+ 0 1) into 1 2.867 * [backup-simplify]: Simplify 1 into 1 2.867 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 x))) (+ (* 1/2 (pow (/ 1 (/ 1 x)) 2)) (* 1/6 (pow (/ 1 (/ 1 x)) 3)))) into (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) 2.868 * [backup-simplify]: Simplify (+ (+ (/ (- (pow (/ 1 (- x)) 2)) (- 2)) (/ 1 (- x))) (/ (pow (/ 1 (- x)) 3) 6)) into (- (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) 2.868 * [approximate]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in (x) around 0 2.868 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in x 2.868 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 2.868 * [taylor]: Taking taylor expansion of 1/2 in x 2.868 * [backup-simplify]: Simplify 1/2 into 1/2 2.868 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.868 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.868 * [taylor]: Taking taylor expansion of x in x 2.868 * [backup-simplify]: Simplify 0 into 0 2.868 * [backup-simplify]: Simplify 1 into 1 2.868 * [backup-simplify]: Simplify (* 1 1) into 1 2.868 * [backup-simplify]: Simplify (/ 1 1) into 1 2.868 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x)) in x 2.868 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 2.868 * [taylor]: Taking taylor expansion of 1/6 in x 2.868 * [backup-simplify]: Simplify 1/6 into 1/6 2.868 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.868 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.868 * [taylor]: Taking taylor expansion of x in x 2.868 * [backup-simplify]: Simplify 0 into 0 2.868 * [backup-simplify]: Simplify 1 into 1 2.869 * [backup-simplify]: Simplify (* 1 1) into 1 2.869 * [backup-simplify]: Simplify (* 1 1) into 1 2.869 * [backup-simplify]: Simplify (/ 1 1) into 1 2.869 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.869 * [taylor]: Taking taylor expansion of x in x 2.869 * [backup-simplify]: Simplify 0 into 0 2.869 * [backup-simplify]: Simplify 1 into 1 2.869 * [backup-simplify]: Simplify (/ 1 1) into 1 2.869 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in x 2.869 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 2.869 * [taylor]: Taking taylor expansion of 1/2 in x 2.869 * [backup-simplify]: Simplify 1/2 into 1/2 2.869 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.869 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.869 * [taylor]: Taking taylor expansion of x in x 2.869 * [backup-simplify]: Simplify 0 into 0 2.869 * [backup-simplify]: Simplify 1 into 1 2.870 * [backup-simplify]: Simplify (* 1 1) into 1 2.870 * [backup-simplify]: Simplify (/ 1 1) into 1 2.870 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x)) in x 2.870 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 2.870 * [taylor]: Taking taylor expansion of 1/6 in x 2.870 * [backup-simplify]: Simplify 1/6 into 1/6 2.870 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.870 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.870 * [taylor]: Taking taylor expansion of x in x 2.870 * [backup-simplify]: Simplify 0 into 0 2.870 * [backup-simplify]: Simplify 1 into 1 2.870 * [backup-simplify]: Simplify (* 1 1) into 1 2.870 * [backup-simplify]: Simplify (* 1 1) into 1 2.871 * [backup-simplify]: Simplify (/ 1 1) into 1 2.871 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.871 * [taylor]: Taking taylor expansion of x in x 2.871 * [backup-simplify]: Simplify 0 into 0 2.871 * [backup-simplify]: Simplify 1 into 1 2.871 * [backup-simplify]: Simplify (/ 1 1) into 1 2.871 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 2.871 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 2.872 * [backup-simplify]: Simplify (- 1/6) into -1/6 2.872 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6 2.872 * [backup-simplify]: Simplify -1/6 into -1/6 2.872 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 2.872 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.873 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.873 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.874 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 2.874 * [backup-simplify]: Simplify (+ 0 0) into 0 2.874 * [backup-simplify]: Simplify (- 0) into 0 2.874 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 2.874 * [backup-simplify]: Simplify 1/2 into 1/2 2.875 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.875 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 2.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.881 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 2.881 * [backup-simplify]: Simplify (+ 0 1) into 1 2.881 * [backup-simplify]: Simplify (- 1) into -1 2.881 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.881 * [backup-simplify]: Simplify -1 into -1 2.882 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- x)))) (+ (* 1/2 (pow (/ 1 (/ 1 (- x))) 2)) (* -1/6 (pow (/ 1 (/ 1 (- x))) 3)))) into (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) 2.882 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 2.882 * [backup-simplify]: Simplify (/ (- (pow x 2)) (- 2)) into (* 1/2 (pow x 2)) 2.882 * [approximate]: Taking taylor expansion of (* 1/2 (pow x 2)) in (x) around 0 2.882 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 2.882 * [taylor]: Taking taylor expansion of 1/2 in x 2.882 * [backup-simplify]: Simplify 1/2 into 1/2 2.882 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.882 * [taylor]: Taking taylor expansion of x in x 2.882 * [backup-simplify]: Simplify 0 into 0 2.882 * [backup-simplify]: Simplify 1 into 1 2.882 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 2.882 * [taylor]: Taking taylor expansion of 1/2 in x 2.882 * [backup-simplify]: Simplify 1/2 into 1/2 2.882 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.882 * [taylor]: Taking taylor expansion of x in x 2.882 * [backup-simplify]: Simplify 0 into 0 2.882 * [backup-simplify]: Simplify 1 into 1 2.883 * [backup-simplify]: Simplify (* 1 1) into 1 2.883 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 2.883 * [backup-simplify]: Simplify 1/2 into 1/2 2.883 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.884 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 2.884 * [backup-simplify]: Simplify 0 into 0 2.884 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.885 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 2.885 * [backup-simplify]: Simplify 0 into 0 2.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.886 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.886 * [backup-simplify]: Simplify 0 into 0 2.886 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.887 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.887 * [backup-simplify]: Simplify 0 into 0 2.888 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.888 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.888 * [backup-simplify]: Simplify 0 into 0 2.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.890 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.890 * [backup-simplify]: Simplify 0 into 0 2.890 * [backup-simplify]: Simplify (* 1/2 (pow x 2)) into (* 1/2 (pow x 2)) 2.890 * [backup-simplify]: Simplify (/ (- (pow (/ 1 x) 2)) (- 2)) into (/ 1/2 (pow x 2)) 2.890 * [approximate]: Taking taylor expansion of (/ 1/2 (pow x 2)) in (x) around 0 2.890 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x 2.890 * [taylor]: Taking taylor expansion of 1/2 in x 2.890 * [backup-simplify]: Simplify 1/2 into 1/2 2.890 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.890 * [taylor]: Taking taylor expansion of x in x 2.891 * [backup-simplify]: Simplify 0 into 0 2.891 * [backup-simplify]: Simplify 1 into 1 2.891 * [backup-simplify]: Simplify (* 1 1) into 1 2.891 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 2.891 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x 2.891 * [taylor]: Taking taylor expansion of 1/2 in x 2.891 * [backup-simplify]: Simplify 1/2 into 1/2 2.891 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.891 * [taylor]: Taking taylor expansion of x in x 2.891 * [backup-simplify]: Simplify 0 into 0 2.891 * [backup-simplify]: Simplify 1 into 1 2.891 * [backup-simplify]: Simplify (* 1 1) into 1 2.892 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 2.892 * [backup-simplify]: Simplify 1/2 into 1/2 2.892 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.892 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0 2.892 * [backup-simplify]: Simplify 0 into 0 2.893 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.893 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.893 * [backup-simplify]: Simplify 0 into 0 2.894 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.894 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.894 * [backup-simplify]: Simplify 0 into 0 2.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.896 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.896 * [backup-simplify]: Simplify 0 into 0 2.896 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.897 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.897 * [backup-simplify]: Simplify 0 into 0 2.898 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.898 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.898 * [backup-simplify]: Simplify 0 into 0 2.898 * [backup-simplify]: Simplify (* 1/2 (pow (/ 1 (/ 1 x)) 2)) into (* 1/2 (pow x 2)) 2.899 * [backup-simplify]: Simplify (/ (- (pow (/ 1 (- x)) 2)) (- 2)) into (/ 1/2 (pow x 2)) 2.899 * [approximate]: Taking taylor expansion of (/ 1/2 (pow x 2)) in (x) around 0 2.899 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x 2.899 * [taylor]: Taking taylor expansion of 1/2 in x 2.899 * [backup-simplify]: Simplify 1/2 into 1/2 2.899 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.899 * [taylor]: Taking taylor expansion of x in x 2.899 * [backup-simplify]: Simplify 0 into 0 2.899 * [backup-simplify]: Simplify 1 into 1 2.899 * [backup-simplify]: Simplify (* 1 1) into 1 2.899 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 2.899 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x 2.899 * [taylor]: Taking taylor expansion of 1/2 in x 2.899 * [backup-simplify]: Simplify 1/2 into 1/2 2.899 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.899 * [taylor]: Taking taylor expansion of x in x 2.899 * [backup-simplify]: Simplify 0 into 0 2.899 * [backup-simplify]: Simplify 1 into 1 2.900 * [backup-simplify]: Simplify (* 1 1) into 1 2.900 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 2.900 * [backup-simplify]: Simplify 1/2 into 1/2 2.900 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.901 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0 2.901 * [backup-simplify]: Simplify 0 into 0 2.901 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.902 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.902 * [backup-simplify]: Simplify 0 into 0 2.902 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.903 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.903 * [backup-simplify]: Simplify 0 into 0 2.903 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.904 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.904 * [backup-simplify]: Simplify 0 into 0 2.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.905 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.905 * [backup-simplify]: Simplify 0 into 0 2.906 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.906 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.906 * [backup-simplify]: Simplify 0 into 0 2.907 * [backup-simplify]: Simplify (* 1/2 (pow (/ 1 (/ 1 (- x))) 2)) into (* 1/2 (pow x 2)) 2.907 * * * [progress]: simplifying candidates 2.911 * [simplify]: Simplifying: (- (* (log x) 3) (log 6)) (- (* (log x) 3) (log 6)) (- (log (pow x 3)) (log 6)) (log (/ (pow x 3) 6)) (exp (/ (pow x 3) 6)) (/ (* (* (pow x 3) (pow x 3)) (pow x 3)) (* (* 6 6) 6)) (* (cbrt (/ (pow x 3) 6)) (cbrt (/ (pow x 3) 6))) (cbrt (/ (pow x 3) 6)) (* (* (/ (pow x 3) 6) (/ (pow x 3) 6)) (/ (pow x 3) 6)) (sqrt (/ (pow x 3) 6)) (sqrt (/ (pow x 3) 6)) (- (pow x 3)) (- 6) (/ (pow (* (cbrt x) (cbrt x)) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (cbrt x) 3) (cbrt 6)) (/ (pow (* (cbrt x) (cbrt x)) 3) (sqrt 6)) (/ (pow (cbrt x) 3) (sqrt 6)) (/ (pow (* (cbrt x) (cbrt x)) 3) 1) (/ (pow (cbrt x) 3) 6) (/ (pow (sqrt x) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (sqrt x) 3) (cbrt 6)) (/ (pow (sqrt x) 3) (sqrt 6)) (/ (pow (sqrt x) 3) (sqrt 6)) (/ (pow (sqrt x) 3) 1) (/ (pow (sqrt x) 3) 6) (/ (pow 1 3) (* (cbrt 6) (cbrt 6))) (/ (pow x 3) (cbrt 6)) (/ (pow 1 3) (sqrt 6)) (/ (pow x 3) (sqrt 6)) (/ (pow 1 3) 1) (/ (pow x 3) 6) (/ (* x x) (* (cbrt 6) (cbrt 6))) (/ x (cbrt 6)) (/ (* x x) (sqrt 6)) (/ x (sqrt 6)) (/ (* x x) 1) (/ x 6) (/ (* (cbrt (pow x 3)) (cbrt (pow x 3))) (* (cbrt 6) (cbrt 6))) (/ (cbrt (pow x 3)) (cbrt 6)) (/ (* (cbrt (pow x 3)) (cbrt (pow x 3))) (sqrt 6)) (/ (cbrt (pow x 3)) (sqrt 6)) (/ (* (cbrt (pow x 3)) (cbrt (pow x 3))) 1) (/ (cbrt (pow x 3)) 6) (/ (pow (* (cbrt x) (cbrt x)) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (cbrt x) 3) (cbrt 6)) (/ (pow (* (cbrt x) (cbrt x)) 3) (sqrt 6)) (/ (pow (cbrt x) 3) (sqrt 6)) (/ (pow (* (cbrt x) (cbrt x)) 3) 1) (/ (pow (cbrt x) 3) 6) (/ (pow (sqrt x) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (sqrt x) 3) (cbrt 6)) (/ (pow (sqrt x) 3) (sqrt 6)) (/ (pow (sqrt x) 3) (sqrt 6)) (/ (pow (sqrt x) 3) 1) (/ (pow (sqrt x) 3) 6) (/ (pow 1 3) (* (cbrt 6) (cbrt 6))) (/ (pow x 3) (cbrt 6)) (/ (pow 1 3) (sqrt 6)) (/ (pow x 3) (sqrt 6)) (/ (pow 1 3) 1) (/ (pow x 3) 6) (/ x (* (cbrt 6) (cbrt 6))) (/ (* x x) (cbrt 6)) (/ x (sqrt 6)) (/ (* x x) (sqrt 6)) (/ x 1) (/ (* x x) 6) (/ (sqrt (pow x 3)) (* (cbrt 6) (cbrt 6))) (/ (sqrt (pow x 3)) (cbrt 6)) (/ (sqrt (pow x 3)) (sqrt 6)) (/ (sqrt (pow x 3)) (sqrt 6)) (/ (sqrt (pow x 3)) 1) (/ (sqrt (pow x 3)) 6) (/ 1 (* (cbrt 6) (cbrt 6))) (/ (pow x 3) (cbrt 6)) (/ 1 (sqrt 6)) (/ (pow x 3) (sqrt 6)) (/ 1 1) (/ (pow x 3) 6) (/ (pow x (/ 3 2)) (* (cbrt 6) (cbrt 6))) (/ (pow x (/ 3 2)) (cbrt 6)) (/ (pow x (/ 3 2)) (sqrt 6)) (/ (pow x (/ 3 2)) (sqrt 6)) (/ (pow x (/ 3 2)) 1) (/ (pow x (/ 3 2)) 6) (/ 1 6) (/ 6 (pow x 3)) (/ (pow x 3) (* (cbrt 6) (cbrt 6))) (/ (pow x 3) (sqrt 6)) (/ (pow x 3) 1) (/ 6 (pow (cbrt x) 3)) (/ 6 (pow (sqrt x) 3)) (/ 6 (pow x 3)) (/ 6 x) (/ 6 (cbrt (pow x 3))) (/ 6 (pow (cbrt x) 3)) (/ 6 (pow (sqrt x) 3)) (/ 6 (pow x 3)) (/ 6 (* x x)) (/ 6 (sqrt (pow x 3))) (/ 6 (pow x 3)) (/ 6 (pow x (/ 3 2))) (* (* (exp (/ (- (pow x 2)) (- 2))) (exp x)) (exp (/ (pow x 3) 6))) (* (exp (+ (/ (- (pow x 2)) (- 2)) x)) (exp (/ (pow x 3) 6))) (log (+ (+ (/ (- (pow x 2)) (- 2)) x) (/ (pow x 3) 6))) (exp (+ (+ (/ (- (pow x 2)) (- 2)) x) (/ (pow x 3) 6))) (* (cbrt (+ (+ (/ (- (pow x 2)) (- 2)) x) (/ (pow x 3) 6))) (cbrt (+ (+ (/ (- (pow x 2)) (- 2)) x) (/ (pow x 3) 6)))) (cbrt (+ (+ (/ (- (pow x 2)) (- 2)) x) (/ (pow x 3) 6))) (* (* (+ (+ (/ (- (pow x 2)) (- 2)) x) (/ (pow x 3) 6)) (+ (+ (/ (- (pow x 2)) (- 2)) x) (/ (pow x 3) 6))) (+ (+ (/ (- (pow x 2)) (- 2)) x) (/ (pow x 3) 6))) (sqrt (+ (+ (/ (- (pow x 2)) (- 2)) x) (/ (pow x 3) 6))) (sqrt (+ (+ (/ (- (pow x 2)) (- 2)) x) (/ (pow x 3) 6))) (+ (* (+ (pow (/ (- (pow x 2)) (- 2)) 3) (pow x 3)) 6) (* (+ (* (/ (- (pow x 2)) (- 2)) (/ (- (pow x 2)) (- 2))) (- (* x x) (* (/ (- (pow x 2)) (- 2)) x))) (pow x 3))) (* (+ (* (/ (- (pow x 2)) (- 2)) (/ (- (pow x 2)) (- 2))) (- (* x x) (* (/ (- (pow x 2)) (- 2)) x))) 6) (+ (* (- (* (/ (- (pow x 2)) (- 2)) (/ (- (pow x 2)) (- 2))) (* x x)) 6) (* (- (/ (- (pow x 2)) (- 2)) x) (pow x 3))) (* (- (/ (- (pow x 2)) (- 2)) x) 6) (+ (pow (+ (/ (- (pow x 2)) (- 2)) x) 3) (pow (/ (pow x 3) 6) 3)) (+ (* (+ (/ (- (pow x 2)) (- 2)) x) (+ (/ (- (pow x 2)) (- 2)) x)) (- (* (/ (pow x 3) 6) (/ (pow x 3) 6)) (* (+ (/ (- (pow x 2)) (- 2)) x) (/ (pow x 3) 6)))) (- (* (+ (/ (- (pow x 2)) (- 2)) x) (+ (/ (- (pow x 2)) (- 2)) x)) (* (/ (pow x 3) 6) (/ (pow x 3) 6))) (- (+ (/ (- (pow x 2)) (- 2)) x) (/ (pow x 3) 6)) (+ (+ (/ (- (pow x 2)) (- 2)) x) (/ (pow x 3) 6)) (+ (+ (/ (- (pow x 2)) (- 2)) x) (/ (pow x 3) 6)) (+ x (/ (pow x 3) 6)) (- (- (/ (pow x 2) (- 2)) x) (/ (pow x 3) 6)) (- (log (- (pow x 2))) (log (- 2))) (log (/ (- (pow x 2)) (- 2))) (exp (/ (- (pow x 2)) (- 2))) (/ (* (* (- (pow x 2)) (- (pow x 2))) (- (pow x 2))) (* (* (- 2) (- 2)) (- 2))) (* (cbrt (/ (- (pow x 2)) (- 2))) (cbrt (/ (- (pow x 2)) (- 2)))) (cbrt (/ (- (pow x 2)) (- 2))) (* (* (/ (- (pow x 2)) (- 2)) (/ (- (pow x 2)) (- 2))) (/ (- (pow x 2)) (- 2))) (sqrt (/ (- (pow x 2)) (- 2))) (sqrt (/ (- (pow x 2)) (- 2))) (- (- (pow x 2))) (- (- 2)) (/ 0 (- 2)) (/ (pow x 2) (- 2)) (/ (* (cbrt (- (pow x 2))) (cbrt (- (pow x 2)))) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (cbrt (- (pow x 2))) (cbrt (- 2))) (/ (* (cbrt (- (pow x 2))) (cbrt (- (pow x 2)))) (sqrt (- 2))) (/ (cbrt (- (pow x 2))) (sqrt (- 2))) (/ (* (cbrt (- (pow x 2))) (cbrt (- (pow x 2)))) 1) (/ (cbrt (- (pow x 2))) (- 2)) (/ (* (cbrt (- (pow x 2))) (cbrt (- (pow x 2)))) -1) (/ (cbrt (- (pow x 2))) 2) (/ (* (cbrt (- (pow x 2))) (cbrt (- (pow x 2)))) (- (* (cbrt 2) (cbrt 2)))) (/ (cbrt (- (pow x 2))) (cbrt 2)) (/ (* (cbrt (- (pow x 2))) (cbrt (- (pow x 2)))) (- (sqrt 2))) (/ (cbrt (- (pow x 2))) (sqrt 2)) (/ (* (cbrt (- (pow x 2))) (cbrt (- (pow x 2)))) (- 1)) (/ (cbrt (- (pow x 2))) 2) (/ (* (cbrt (- (pow x 2))) (cbrt (- (pow x 2)))) (* (cbrt 2) (cbrt 2))) (/ (cbrt (- (pow x 2))) (- (cbrt 2))) (/ (* (cbrt (- (pow x 2))) (cbrt (- (pow x 2)))) (sqrt 2)) (/ (cbrt (- (pow x 2))) (- (sqrt 2))) (/ (* (cbrt (- (pow x 2))) (cbrt (- (pow x 2)))) 1) (/ (cbrt (- (pow x 2))) (- 2)) (/ (sqrt (- (pow x 2))) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (sqrt (- (pow x 2))) (cbrt (- 2))) (/ (sqrt (- (pow x 2))) (sqrt (- 2))) (/ (sqrt (- (pow x 2))) (sqrt (- 2))) (/ (sqrt (- (pow x 2))) 1) (/ (sqrt (- (pow x 2))) (- 2)) (/ (sqrt (- (pow x 2))) -1) (/ (sqrt (- (pow x 2))) 2) (/ (sqrt (- (pow x 2))) (- (* (cbrt 2) (cbrt 2)))) (/ (sqrt (- (pow x 2))) (cbrt 2)) (/ (sqrt (- (pow x 2))) (- (sqrt 2))) (/ (sqrt (- (pow x 2))) (sqrt 2)) (/ (sqrt (- (pow x 2))) (- 1)) (/ (sqrt (- (pow x 2))) 2) (/ (sqrt (- (pow x 2))) (* (cbrt 2) (cbrt 2))) (/ (sqrt (- (pow x 2))) (- (cbrt 2))) (/ (sqrt (- (pow x 2))) (sqrt 2)) (/ (sqrt (- (pow x 2))) (- (sqrt 2))) (/ (sqrt (- (pow x 2))) 1) (/ (sqrt (- (pow x 2))) (- 2)) (/ 1 (* (cbrt (- 2)) (cbrt (- 2)))) (/ (- (pow x 2)) (cbrt (- 2))) (/ 1 (sqrt (- 2))) (/ (- (pow x 2)) (sqrt (- 2))) (/ 1 1) (/ (- (pow x 2)) (- 2)) (/ 1 -1) (/ (- (pow x 2)) 2) (/ 1 (- (* (cbrt 2) (cbrt 2)))) (/ (- (pow x 2)) (cbrt 2)) (/ 1 (- (sqrt 2))) (/ (- (pow x 2)) (sqrt 2)) (/ 1 (- 1)) (/ (- (pow x 2)) 2) (/ 1 (* (cbrt 2) (cbrt 2))) (/ (- (pow x 2)) (- (cbrt 2))) (/ 1 (sqrt 2)) (/ (- (pow x 2)) (- (sqrt 2))) (/ 1 1) (/ (- (pow x 2)) (- 2)) (/ -1 (* (cbrt (- 2)) (cbrt (- 2)))) (/ (pow x 2) (cbrt (- 2))) (/ -1 (sqrt (- 2))) (/ (pow x 2) (sqrt (- 2))) (/ -1 1) (/ (pow x 2) (- 2)) (/ -1 -1) (/ (pow x 2) 2) (/ -1 (- (* (cbrt 2) (cbrt 2)))) (/ (pow x 2) (cbrt 2)) (/ -1 (- (sqrt 2))) (/ (pow x 2) (sqrt 2)) (/ -1 (- 1)) (/ (pow x 2) 2) (/ -1 (* (cbrt 2) (cbrt 2))) (/ (pow x 2) (- (cbrt 2))) (/ -1 (sqrt 2)) (/ (pow x 2) (- (sqrt 2))) (/ -1 1) (/ (pow x 2) (- 2)) (/ (- (pow (* (cbrt x) (cbrt x)) 2)) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (pow (cbrt x) 2) (cbrt (- 2))) (/ (- (pow (* (cbrt x) (cbrt x)) 2)) (sqrt (- 2))) (/ (pow (cbrt x) 2) (sqrt (- 2))) (/ (- (pow (* (cbrt x) (cbrt x)) 2)) 1) (/ (pow (cbrt x) 2) (- 2)) (/ (- (pow (* (cbrt x) (cbrt x)) 2)) -1) (/ (pow (cbrt x) 2) 2) (/ (- (pow (* (cbrt x) (cbrt x)) 2)) (- (* (cbrt 2) (cbrt 2)))) (/ (pow (cbrt x) 2) (cbrt 2)) (/ (- (pow (* (cbrt x) (cbrt x)) 2)) (- (sqrt 2))) (/ (pow (cbrt x) 2) (sqrt 2)) (/ (- (pow (* (cbrt x) (cbrt x)) 2)) (- 1)) (/ (pow (cbrt x) 2) 2) (/ (- (pow (* (cbrt x) (cbrt x)) 2)) (* (cbrt 2) (cbrt 2))) (/ (pow (cbrt x) 2) (- (cbrt 2))) (/ (- (pow (* (cbrt x) (cbrt x)) 2)) (sqrt 2)) (/ (pow (cbrt x) 2) (- (sqrt 2))) (/ (- (pow (* (cbrt x) (cbrt x)) 2)) 1) (/ (pow (cbrt x) 2) (- 2)) (/ (- (pow (sqrt x) 2)) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (pow (sqrt x) 2) (cbrt (- 2))) (/ (- (pow (sqrt x) 2)) (sqrt (- 2))) (/ (pow (sqrt x) 2) (sqrt (- 2))) (/ (- (pow (sqrt x) 2)) 1) (/ (pow (sqrt x) 2) (- 2)) (/ (- (pow (sqrt x) 2)) -1) (/ (pow (sqrt x) 2) 2) (/ (- (pow (sqrt x) 2)) (- (* (cbrt 2) (cbrt 2)))) (/ (pow (sqrt x) 2) (cbrt 2)) (/ (- (pow (sqrt x) 2)) (- (sqrt 2))) (/ (pow (sqrt x) 2) (sqrt 2)) (/ (- (pow (sqrt x) 2)) (- 1)) (/ (pow (sqrt x) 2) 2) (/ (- (pow (sqrt x) 2)) (* (cbrt 2) (cbrt 2))) (/ (pow (sqrt x) 2) (- (cbrt 2))) (/ (- (pow (sqrt x) 2)) (sqrt 2)) (/ (pow (sqrt x) 2) (- (sqrt 2))) (/ (- (pow (sqrt x) 2)) 1) (/ (pow (sqrt x) 2) (- 2)) (/ (- (pow 1 2)) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (pow x 2) (cbrt (- 2))) (/ (- (pow 1 2)) (sqrt (- 2))) (/ (pow x 2) (sqrt (- 2))) (/ (- (pow 1 2)) 1) (/ (pow x 2) (- 2)) (/ (- (pow 1 2)) -1) (/ (pow x 2) 2) (/ (- (pow 1 2)) (- (* (cbrt 2) (cbrt 2)))) (/ (pow x 2) (cbrt 2)) (/ (- (pow 1 2)) (- (sqrt 2))) (/ (pow x 2) (sqrt 2)) (/ (- (pow 1 2)) (- 1)) (/ (pow x 2) 2) (/ (- (pow 1 2)) (* (cbrt 2) (cbrt 2))) (/ (pow x 2) (- (cbrt 2))) (/ (- (pow 1 2)) (sqrt 2)) (/ (pow x 2) (- (sqrt 2))) (/ (- (pow 1 2)) 1) (/ (pow x 2) (- 2)) (/ (- x) (* (cbrt (- 2)) (cbrt (- 2)))) (/ x (cbrt (- 2))) (/ (- x) (sqrt (- 2))) (/ x (sqrt (- 2))) (/ (- x) 1) (/ x (- 2)) (/ (- x) -1) (/ x 2) (/ (- x) (- (* (cbrt 2) (cbrt 2)))) (/ x (cbrt 2)) (/ (- x) (- (sqrt 2))) (/ x (sqrt 2)) (/ (- x) (- 1)) (/ x 2) (/ (- x) (* (cbrt 2) (cbrt 2))) (/ x (- (cbrt 2))) (/ (- x) (sqrt 2)) (/ x (- (sqrt 2))) (/ (- x) 1) (/ x (- 2)) (/ (- (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (cbrt (pow x 2)) (cbrt (- 2))) (/ (- (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (sqrt (- 2))) (/ (cbrt (pow x 2)) (sqrt (- 2))) (/ (- (* (cbrt (pow x 2)) (cbrt (pow x 2)))) 1) (/ (cbrt (pow x 2)) (- 2)) (/ (- (* (cbrt (pow x 2)) (cbrt (pow x 2)))) -1) (/ (cbrt (pow x 2)) 2) (/ (- (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (- (* (cbrt 2) (cbrt 2)))) (/ (cbrt (pow x 2)) (cbrt 2)) (/ (- (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (- (sqrt 2))) (/ (cbrt (pow x 2)) (sqrt 2)) (/ (- (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (- 1)) (/ (cbrt (pow x 2)) 2) (/ (- (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* (cbrt 2) (cbrt 2))) (/ (cbrt (pow x 2)) (- (cbrt 2))) (/ (- (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (sqrt 2)) (/ (cbrt (pow x 2)) (- (sqrt 2))) (/ (- (* (cbrt (pow x 2)) (cbrt (pow x 2)))) 1) (/ (cbrt (pow x 2)) (- 2)) (/ (- (sqrt (pow x 2))) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (sqrt (pow x 2)) (cbrt (- 2))) (/ (- (sqrt (pow x 2))) (sqrt (- 2))) (/ (sqrt (pow x 2)) (sqrt (- 2))) (/ (- (sqrt (pow x 2))) 1) (/ (sqrt (pow x 2)) (- 2)) (/ (- (sqrt (pow x 2))) -1) (/ (sqrt (pow x 2)) 2) (/ (- (sqrt (pow x 2))) (- (* (cbrt 2) (cbrt 2)))) (/ (sqrt (pow x 2)) (cbrt 2)) (/ (- (sqrt (pow x 2))) (- (sqrt 2))) (/ (sqrt (pow x 2)) (sqrt 2)) (/ (- (sqrt (pow x 2))) (- 1)) (/ (sqrt (pow x 2)) 2) (/ (- (sqrt (pow x 2))) (* (cbrt 2) (cbrt 2))) (/ (sqrt (pow x 2)) (- (cbrt 2))) (/ (- (sqrt (pow x 2))) (sqrt 2)) (/ (sqrt (pow x 2)) (- (sqrt 2))) (/ (- (sqrt (pow x 2))) 1) (/ (sqrt (pow x 2)) (- 2)) (/ (- 1) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (pow x 2) (cbrt (- 2))) (/ (- 1) (sqrt (- 2))) (/ (pow x 2) (sqrt (- 2))) (/ (- 1) 1) (/ (pow x 2) (- 2)) (/ (- 1) -1) (/ (pow x 2) 2) (/ (- 1) (- (* (cbrt 2) (cbrt 2)))) (/ (pow x 2) (cbrt 2)) (/ (- 1) (- (sqrt 2))) (/ (pow x 2) (sqrt 2)) (/ (- 1) (- 1)) (/ (pow x 2) 2) (/ (- 1) (* (cbrt 2) (cbrt 2))) (/ (pow x 2) (- (cbrt 2))) (/ (- 1) (sqrt 2)) (/ (pow x 2) (- (sqrt 2))) (/ (- 1) 1) (/ (pow x 2) (- 2)) (/ (- (pow x (/ 2 2))) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (pow x (/ 2 2)) (cbrt (- 2))) (/ (- (pow x (/ 2 2))) (sqrt (- 2))) (/ (pow x (/ 2 2)) (sqrt (- 2))) (/ (- (pow x (/ 2 2))) 1) (/ (pow x (/ 2 2)) (- 2)) (/ (- (pow x (/ 2 2))) -1) (/ (pow x (/ 2 2)) 2) (/ (- (pow x (/ 2 2))) (- (* (cbrt 2) (cbrt 2)))) (/ (pow x (/ 2 2)) (cbrt 2)) (/ (- (pow x (/ 2 2))) (- (sqrt 2))) (/ (pow x (/ 2 2)) (sqrt 2)) (/ (- (pow x (/ 2 2))) (- 1)) (/ (pow x (/ 2 2)) 2) (/ (- (pow x (/ 2 2))) (* (cbrt 2) (cbrt 2))) (/ (pow x (/ 2 2)) (- (cbrt 2))) (/ (- (pow x (/ 2 2))) (sqrt 2)) (/ (pow x (/ 2 2)) (- (sqrt 2))) (/ (- (pow x (/ 2 2))) 1) (/ (pow x (/ 2 2)) (- 2)) (/ (pow (* (cbrt x) (cbrt x)) 2) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (- (pow (cbrt x) 2)) (cbrt (- 2))) (/ (pow (* (cbrt x) (cbrt x)) 2) (sqrt (- 2))) (/ (- (pow (cbrt x) 2)) (sqrt (- 2))) (/ (pow (* (cbrt x) (cbrt x)) 2) 1) (/ (- (pow (cbrt x) 2)) (- 2)) (/ (pow (* (cbrt x) (cbrt x)) 2) -1) (/ (- (pow (cbrt x) 2)) 2) (/ (pow (* (cbrt x) (cbrt x)) 2) (- (* (cbrt 2) (cbrt 2)))) (/ (- (pow (cbrt x) 2)) (cbrt 2)) (/ (pow (* (cbrt x) (cbrt x)) 2) (- (sqrt 2))) (/ (- (pow (cbrt x) 2)) (sqrt 2)) (/ (pow (* (cbrt x) (cbrt x)) 2) (- 1)) (/ (- (pow (cbrt x) 2)) 2) (/ (pow (* (cbrt x) (cbrt x)) 2) (* (cbrt 2) (cbrt 2))) (/ (- (pow (cbrt x) 2)) (- (cbrt 2))) (/ (pow (* (cbrt x) (cbrt x)) 2) (sqrt 2)) (/ (- (pow (cbrt x) 2)) (- (sqrt 2))) (/ (pow (* (cbrt x) (cbrt x)) 2) 1) (/ (- (pow (cbrt x) 2)) (- 2)) (/ (pow (sqrt x) 2) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (- (pow (sqrt x) 2)) (cbrt (- 2))) (/ (pow (sqrt x) 2) (sqrt (- 2))) (/ (- (pow (sqrt x) 2)) (sqrt (- 2))) (/ (pow (sqrt x) 2) 1) (/ (- (pow (sqrt x) 2)) (- 2)) (/ (pow (sqrt x) 2) -1) (/ (- (pow (sqrt x) 2)) 2) (/ (pow (sqrt x) 2) (- (* (cbrt 2) (cbrt 2)))) (/ (- (pow (sqrt x) 2)) (cbrt 2)) (/ (pow (sqrt x) 2) (- (sqrt 2))) (/ (- (pow (sqrt x) 2)) (sqrt 2)) (/ (pow (sqrt x) 2) (- 1)) (/ (- (pow (sqrt x) 2)) 2) (/ (pow (sqrt x) 2) (* (cbrt 2) (cbrt 2))) (/ (- (pow (sqrt x) 2)) (- (cbrt 2))) (/ (pow (sqrt x) 2) (sqrt 2)) (/ (- (pow (sqrt x) 2)) (- (sqrt 2))) (/ (pow (sqrt x) 2) 1) (/ (- (pow (sqrt x) 2)) (- 2)) (/ (pow 1 2) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (- (pow x 2)) (cbrt (- 2))) (/ (pow 1 2) (sqrt (- 2))) (/ (- (pow x 2)) (sqrt (- 2))) (/ (pow 1 2) 1) (/ (- (pow x 2)) (- 2)) (/ (pow 1 2) -1) (/ (- (pow x 2)) 2) (/ (pow 1 2) (- (* (cbrt 2) (cbrt 2)))) (/ (- (pow x 2)) (cbrt 2)) (/ (pow 1 2) (- (sqrt 2))) (/ (- (pow x 2)) (sqrt 2)) (/ (pow 1 2) (- 1)) (/ (- (pow x 2)) 2) (/ (pow 1 2) (* (cbrt 2) (cbrt 2))) (/ (- (pow x 2)) (- (cbrt 2))) (/ (pow 1 2) (sqrt 2)) (/ (- (pow x 2)) (- (sqrt 2))) (/ (pow 1 2) 1) (/ (- (pow x 2)) (- 2)) (/ x (* (cbrt (- 2)) (cbrt (- 2)))) (/ (- x) (cbrt (- 2))) (/ x (sqrt (- 2))) (/ (- x) (sqrt (- 2))) (/ x 1) (/ (- x) (- 2)) (/ x -1) (/ (- x) 2) (/ x (- (* (cbrt 2) (cbrt 2)))) (/ (- x) (cbrt 2)) (/ x (- (sqrt 2))) (/ (- x) (sqrt 2)) (/ x (- 1)) (/ (- x) 2) (/ x (* (cbrt 2) (cbrt 2))) (/ (- x) (- (cbrt 2))) (/ x (sqrt 2)) (/ (- x) (- (sqrt 2))) (/ x 1) (/ (- x) (- 2)) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (- (cbrt (pow x 2))) (cbrt (- 2))) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (sqrt (- 2))) (/ (- (cbrt (pow x 2))) (sqrt (- 2))) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) 1) (/ (- (cbrt (pow x 2))) (- 2)) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) -1) (/ (- (cbrt (pow x 2))) 2) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (- (* (cbrt 2) (cbrt 2)))) (/ (- (cbrt (pow x 2))) (cbrt 2)) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (- (sqrt 2))) (/ (- (cbrt (pow x 2))) (sqrt 2)) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (- 1)) (/ (- (cbrt (pow x 2))) 2) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (* (cbrt 2) (cbrt 2))) (/ (- (cbrt (pow x 2))) (- (cbrt 2))) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (sqrt 2)) (/ (- (cbrt (pow x 2))) (- (sqrt 2))) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) 1) (/ (- (cbrt (pow x 2))) (- 2)) (/ (sqrt (pow x 2)) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (- (sqrt (pow x 2))) (cbrt (- 2))) (/ (sqrt (pow x 2)) (sqrt (- 2))) (/ (- (sqrt (pow x 2))) (sqrt (- 2))) (/ (sqrt (pow x 2)) 1) (/ (- (sqrt (pow x 2))) (- 2)) (/ (sqrt (pow x 2)) -1) (/ (- (sqrt (pow x 2))) 2) (/ (sqrt (pow x 2)) (- (* (cbrt 2) (cbrt 2)))) (/ (- (sqrt (pow x 2))) (cbrt 2)) (/ (sqrt (pow x 2)) (- (sqrt 2))) (/ (- (sqrt (pow x 2))) (sqrt 2)) (/ (sqrt (pow x 2)) (- 1)) (/ (- (sqrt (pow x 2))) 2) (/ (sqrt (pow x 2)) (* (cbrt 2) (cbrt 2))) (/ (- (sqrt (pow x 2))) (- (cbrt 2))) (/ (sqrt (pow x 2)) (sqrt 2)) (/ (- (sqrt (pow x 2))) (- (sqrt 2))) (/ (sqrt (pow x 2)) 1) (/ (- (sqrt (pow x 2))) (- 2)) (/ 1 (* (cbrt (- 2)) (cbrt (- 2)))) (/ (- (pow x 2)) (cbrt (- 2))) (/ 1 (sqrt (- 2))) (/ (- (pow x 2)) (sqrt (- 2))) (/ 1 1) (/ (- (pow x 2)) (- 2)) (/ 1 -1) (/ (- (pow x 2)) 2) (/ 1 (- (* (cbrt 2) (cbrt 2)))) (/ (- (pow x 2)) (cbrt 2)) (/ 1 (- (sqrt 2))) (/ (- (pow x 2)) (sqrt 2)) (/ 1 (- 1)) (/ (- (pow x 2)) 2) (/ 1 (* (cbrt 2) (cbrt 2))) (/ (- (pow x 2)) (- (cbrt 2))) (/ 1 (sqrt 2)) (/ (- (pow x 2)) (- (sqrt 2))) (/ 1 1) (/ (- (pow x 2)) (- 2)) (/ (pow x (/ 2 2)) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (- (pow x (/ 2 2))) (cbrt (- 2))) (/ (pow x (/ 2 2)) (sqrt (- 2))) (/ (- (pow x (/ 2 2))) (sqrt (- 2))) (/ (pow x (/ 2 2)) 1) (/ (- (pow x (/ 2 2))) (- 2)) (/ (pow x (/ 2 2)) -1) (/ (- (pow x (/ 2 2))) 2) (/ (pow x (/ 2 2)) (- (* (cbrt 2) (cbrt 2)))) (/ (- (pow x (/ 2 2))) (cbrt 2)) (/ (pow x (/ 2 2)) (- (sqrt 2))) (/ (- (pow x (/ 2 2))) (sqrt 2)) (/ (pow x (/ 2 2)) (- 1)) (/ (- (pow x (/ 2 2))) 2) (/ (pow x (/ 2 2)) (* (cbrt 2) (cbrt 2))) (/ (- (pow x (/ 2 2))) (- (cbrt 2))) (/ (pow x (/ 2 2)) (sqrt 2)) (/ (- (pow x (/ 2 2))) (- (sqrt 2))) (/ (pow x (/ 2 2)) 1) (/ (- (pow x (/ 2 2))) (- 2)) (/ 1 (- 2)) (/ (- 2) (- (pow x 2))) (/ (pow x 2) (- 2)) (/ (- (pow x 2)) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (- (pow x 2)) (sqrt (- 2))) (/ (- (pow x 2)) 1) (/ (- (pow x 2)) -1) (/ (- (pow x 2)) (- (* (cbrt 2) (cbrt 2)))) (/ (- (pow x 2)) (- (sqrt 2))) (/ (- (pow x 2)) (- 1)) (/ (- (pow x 2)) (* (cbrt 2) (cbrt 2))) (/ (- (pow x 2)) (sqrt 2)) (/ (- (pow x 2)) 1) (/ (- 2) (cbrt (- (pow x 2)))) (/ (- 2) (sqrt (- (pow x 2)))) (/ (- 2) (- (pow x 2))) (/ (- 2) (pow x 2)) (/ (- 2) (pow (cbrt x) 2)) (/ (- 2) (pow (sqrt x) 2)) (/ (- 2) (pow x 2)) (/ (- 2) x) (/ (- 2) (cbrt (pow x 2))) (/ (- 2) (sqrt (pow x 2))) (/ (- 2) (pow x 2)) (/ (- 2) (pow x (/ 2 2))) (/ (- 2) (- (pow (cbrt x) 2))) (/ (- 2) (- (pow (sqrt x) 2))) (/ (- 2) (- (pow x 2))) (/ (- 2) (- x)) (/ (- 2) (- (cbrt (pow x 2)))) (/ (- 2) (- (sqrt (pow x 2)))) (/ (- 2) (- (pow x 2))) (/ (- 2) (- (pow x (/ 2 2)))) (* 1/6 (pow x 3)) (* 1/6 (pow x 3)) (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) (* 1/2 (pow x 2)) (* 1/2 (pow x 2)) (* 1/2 (pow x 2)) 2.913 * [simplify]: Sending expressions to egg_math: (- (* (log h0) 3) (log 6)) (- (* (log h0) 3) (log 6)) (- (log (pow h0 3)) (log 6)) (log (/ (pow h0 3) 6)) (exp (/ (pow h0 3) 6)) (/ (* (* (pow h0 3) (pow h0 3)) (pow h0 3)) (* (* 6 6) 6)) (* (cbrt (/ (pow h0 3) 6)) (cbrt (/ (pow h0 3) 6))) (cbrt (/ (pow h0 3) 6)) (* (* (/ (pow h0 3) 6) (/ (pow h0 3) 6)) (/ (pow h0 3) 6)) (sqrt (/ (pow h0 3) 6)) (sqrt (/ (pow h0 3) 6)) (- (pow h0 3)) (- 6) (/ (pow (* (cbrt h0) (cbrt h0)) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (cbrt h0) 3) (cbrt 6)) (/ (pow (* (cbrt h0) (cbrt h0)) 3) (sqrt 6)) (/ (pow (cbrt h0) 3) (sqrt 6)) (/ (pow (* (cbrt h0) (cbrt h0)) 3) 1) (/ (pow (cbrt h0) 3) 6) (/ (pow (sqrt h0) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (sqrt h0) 3) (cbrt 6)) (/ (pow (sqrt h0) 3) (sqrt 6)) (/ (pow (sqrt h0) 3) (sqrt 6)) (/ (pow (sqrt h0) 3) 1) (/ (pow (sqrt h0) 3) 6) (/ (pow 1 3) (* (cbrt 6) (cbrt 6))) (/ (pow h0 3) (cbrt 6)) (/ (pow 1 3) (sqrt 6)) (/ (pow h0 3) (sqrt 6)) (/ (pow 1 3) 1) (/ (pow h0 3) 6) (/ (* h0 h0) (* (cbrt 6) (cbrt 6))) (/ h0 (cbrt 6)) (/ (* h0 h0) (sqrt 6)) (/ h0 (sqrt 6)) (/ (* h0 h0) 1) (/ h0 6) (/ (* (cbrt (pow h0 3)) (cbrt (pow h0 3))) (* (cbrt 6) (cbrt 6))) (/ (cbrt (pow h0 3)) (cbrt 6)) (/ (* (cbrt (pow h0 3)) (cbrt (pow h0 3))) (sqrt 6)) (/ (cbrt (pow h0 3)) (sqrt 6)) (/ (* (cbrt (pow h0 3)) (cbrt (pow h0 3))) 1) (/ (cbrt (pow h0 3)) 6) (/ (pow (* (cbrt h0) (cbrt h0)) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (cbrt h0) 3) (cbrt 6)) (/ (pow (* (cbrt h0) (cbrt h0)) 3) (sqrt 6)) (/ (pow (cbrt h0) 3) (sqrt 6)) (/ (pow (* (cbrt h0) (cbrt h0)) 3) 1) (/ (pow (cbrt h0) 3) 6) (/ (pow (sqrt h0) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (sqrt h0) 3) (cbrt 6)) (/ (pow (sqrt h0) 3) (sqrt 6)) (/ (pow (sqrt h0) 3) (sqrt 6)) (/ (pow (sqrt h0) 3) 1) (/ (pow (sqrt h0) 3) 6) (/ (pow 1 3) (* (cbrt 6) (cbrt 6))) (/ (pow h0 3) (cbrt 6)) (/ (pow 1 3) (sqrt 6)) (/ (pow h0 3) (sqrt 6)) (/ (pow 1 3) 1) (/ (pow h0 3) 6) (/ h0 (* (cbrt 6) (cbrt 6))) (/ (* h0 h0) (cbrt 6)) (/ h0 (sqrt 6)) (/ (* h0 h0) (sqrt 6)) (/ h0 1) (/ (* h0 h0) 6) (/ (sqrt (pow h0 3)) (* (cbrt 6) (cbrt 6))) (/ (sqrt (pow h0 3)) (cbrt 6)) (/ (sqrt (pow h0 3)) (sqrt 6)) (/ (sqrt (pow h0 3)) (sqrt 6)) (/ (sqrt (pow h0 3)) 1) (/ (sqrt (pow h0 3)) 6) (/ 1 (* (cbrt 6) (cbrt 6))) (/ (pow h0 3) (cbrt 6)) (/ 1 (sqrt 6)) (/ (pow h0 3) (sqrt 6)) (/ 1 1) (/ (pow h0 3) 6) (/ (pow h0 (/ 3 2)) (* (cbrt 6) (cbrt 6))) (/ (pow h0 (/ 3 2)) (cbrt 6)) (/ (pow h0 (/ 3 2)) (sqrt 6)) (/ (pow h0 (/ 3 2)) (sqrt 6)) (/ (pow h0 (/ 3 2)) 1) (/ (pow h0 (/ 3 2)) 6) (/ 1 6) (/ 6 (pow h0 3)) (/ (pow h0 3) (* (cbrt 6) (cbrt 6))) (/ (pow h0 3) (sqrt 6)) (/ (pow h0 3) 1) (/ 6 (pow (cbrt h0) 3)) (/ 6 (pow (sqrt h0) 3)) (/ 6 (pow h0 3)) (/ 6 h0) (/ 6 (cbrt (pow h0 3))) (/ 6 (pow (cbrt h0) 3)) (/ 6 (pow (sqrt h0) 3)) (/ 6 (pow h0 3)) (/ 6 (* h0 h0)) (/ 6 (sqrt (pow h0 3))) (/ 6 (pow h0 3)) (/ 6 (pow h0 (/ 3 2))) (* (* (exp (/ (- (pow h0 2)) (- 2))) (exp h0)) (exp (/ (pow h0 3) 6))) (* (exp (+ (/ (- (pow h0 2)) (- 2)) h0)) (exp (/ (pow h0 3) 6))) (log (+ (+ (/ (- (pow h0 2)) (- 2)) h0) (/ (pow h0 3) 6))) (exp (+ (+ (/ (- (pow h0 2)) (- 2)) h0) (/ (pow h0 3) 6))) (* (cbrt (+ (+ (/ (- (pow h0 2)) (- 2)) h0) (/ (pow h0 3) 6))) (cbrt (+ (+ (/ (- (pow h0 2)) (- 2)) h0) (/ (pow h0 3) 6)))) (cbrt (+ (+ (/ (- (pow h0 2)) (- 2)) h0) (/ (pow h0 3) 6))) (* (* (+ (+ (/ (- (pow h0 2)) (- 2)) h0) (/ (pow h0 3) 6)) (+ (+ (/ (- (pow h0 2)) (- 2)) h0) (/ (pow h0 3) 6))) (+ (+ (/ (- (pow h0 2)) (- 2)) h0) (/ (pow h0 3) 6))) (sqrt (+ (+ (/ (- (pow h0 2)) (- 2)) h0) (/ (pow h0 3) 6))) (sqrt (+ (+ (/ (- (pow h0 2)) (- 2)) h0) (/ (pow h0 3) 6))) (+ (* (+ (pow (/ (- (pow h0 2)) (- 2)) 3) (pow h0 3)) 6) (* (+ (* (/ (- (pow h0 2)) (- 2)) (/ (- (pow h0 2)) (- 2))) (- (* h0 h0) (* (/ (- (pow h0 2)) (- 2)) h0))) (pow h0 3))) (* (+ (* (/ (- (pow h0 2)) (- 2)) (/ (- (pow h0 2)) (- 2))) (- (* h0 h0) (* (/ (- (pow h0 2)) (- 2)) h0))) 6) (+ (* (- (* (/ (- (pow h0 2)) (- 2)) (/ (- (pow h0 2)) (- 2))) (* h0 h0)) 6) (* (- (/ (- (pow h0 2)) (- 2)) h0) (pow h0 3))) (* (- (/ (- (pow h0 2)) (- 2)) h0) 6) (+ (pow (+ (/ (- (pow h0 2)) (- 2)) h0) 3) (pow (/ (pow h0 3) 6) 3)) (+ (* (+ (/ (- (pow h0 2)) (- 2)) h0) (+ (/ (- (pow h0 2)) (- 2)) h0)) (- (* (/ (pow h0 3) 6) (/ (pow h0 3) 6)) (* (+ (/ (- (pow h0 2)) (- 2)) h0) (/ (pow h0 3) 6)))) (- (* (+ (/ (- (pow h0 2)) (- 2)) h0) (+ (/ (- (pow h0 2)) (- 2)) h0)) (* (/ (pow h0 3) 6) (/ (pow h0 3) 6))) (- (+ (/ (- (pow h0 2)) (- 2)) h0) (/ (pow h0 3) 6)) (+ (+ (/ (- (pow h0 2)) (- 2)) h0) (/ (pow h0 3) 6)) (+ (+ (/ (- (pow h0 2)) (- 2)) h0) (/ (pow h0 3) 6)) (+ h0 (/ (pow h0 3) 6)) (- (- (/ (pow h0 2) (- 2)) h0) (/ (pow h0 3) 6)) (- (log (- (pow h0 2))) (log (- 2))) (log (/ (- (pow h0 2)) (- 2))) (exp (/ (- (pow h0 2)) (- 2))) (/ (* (* (- (pow h0 2)) (- (pow h0 2))) (- (pow h0 2))) (* (* (- 2) (- 2)) (- 2))) (* (cbrt (/ (- (pow h0 2)) (- 2))) (cbrt (/ (- (pow h0 2)) (- 2)))) (cbrt (/ (- (pow h0 2)) (- 2))) (* (* (/ (- (pow h0 2)) (- 2)) (/ (- (pow h0 2)) (- 2))) (/ (- (pow h0 2)) (- 2))) (sqrt (/ (- (pow h0 2)) (- 2))) (sqrt (/ (- (pow h0 2)) (- 2))) (- (- (pow h0 2))) (- (- 2)) (/ 0 (- 2)) (/ (pow h0 2) (- 2)) (/ (* (cbrt (- (pow h0 2))) (cbrt (- (pow h0 2)))) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (cbrt (- (pow h0 2))) (cbrt (- 2))) (/ (* (cbrt (- (pow h0 2))) (cbrt (- (pow h0 2)))) (sqrt (- 2))) (/ (cbrt (- (pow h0 2))) (sqrt (- 2))) (/ (* (cbrt (- (pow h0 2))) (cbrt (- (pow h0 2)))) 1) (/ (cbrt (- (pow h0 2))) (- 2)) (/ (* (cbrt (- (pow h0 2))) (cbrt (- (pow h0 2)))) -1) (/ (cbrt (- (pow h0 2))) 2) (/ (* (cbrt (- (pow h0 2))) (cbrt (- (pow h0 2)))) (- (* (cbrt 2) (cbrt 2)))) (/ (cbrt (- (pow h0 2))) (cbrt 2)) (/ (* (cbrt (- (pow h0 2))) (cbrt (- (pow h0 2)))) (- (sqrt 2))) (/ (cbrt (- (pow h0 2))) (sqrt 2)) (/ (* (cbrt (- (pow h0 2))) (cbrt (- (pow h0 2)))) (- 1)) (/ (cbrt (- (pow h0 2))) 2) (/ (* (cbrt (- (pow h0 2))) (cbrt (- (pow h0 2)))) (* (cbrt 2) (cbrt 2))) (/ (cbrt (- (pow h0 2))) (- (cbrt 2))) (/ (* (cbrt (- (pow h0 2))) (cbrt (- (pow h0 2)))) (sqrt 2)) (/ (cbrt (- (pow h0 2))) (- (sqrt 2))) (/ (* (cbrt (- (pow h0 2))) (cbrt (- (pow h0 2)))) 1) (/ (cbrt (- (pow h0 2))) (- 2)) (/ (sqrt (- (pow h0 2))) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (sqrt (- (pow h0 2))) (cbrt (- 2))) (/ (sqrt (- (pow h0 2))) (sqrt (- 2))) (/ (sqrt (- (pow h0 2))) (sqrt (- 2))) (/ (sqrt (- (pow h0 2))) 1) (/ (sqrt (- (pow h0 2))) (- 2)) (/ (sqrt (- (pow h0 2))) -1) (/ (sqrt (- (pow h0 2))) 2) (/ (sqrt (- (pow h0 2))) (- (* (cbrt 2) (cbrt 2)))) (/ (sqrt (- (pow h0 2))) (cbrt 2)) (/ (sqrt (- (pow h0 2))) (- (sqrt 2))) (/ (sqrt (- (pow h0 2))) (sqrt 2)) (/ (sqrt (- (pow h0 2))) (- 1)) (/ (sqrt (- (pow h0 2))) 2) (/ (sqrt (- (pow h0 2))) (* (cbrt 2) (cbrt 2))) (/ (sqrt (- (pow h0 2))) (- (cbrt 2))) (/ (sqrt (- (pow h0 2))) (sqrt 2)) (/ (sqrt (- (pow h0 2))) (- (sqrt 2))) (/ (sqrt (- (pow h0 2))) 1) (/ (sqrt (- (pow h0 2))) (- 2)) (/ 1 (* (cbrt (- 2)) (cbrt (- 2)))) (/ (- (pow h0 2)) (cbrt (- 2))) (/ 1 (sqrt (- 2))) (/ (- (pow h0 2)) (sqrt (- 2))) (/ 1 1) (/ (- (pow h0 2)) (- 2)) (/ 1 -1) (/ (- (pow h0 2)) 2) (/ 1 (- (* (cbrt 2) (cbrt 2)))) (/ (- (pow h0 2)) (cbrt 2)) (/ 1 (- (sqrt 2))) (/ (- (pow h0 2)) (sqrt 2)) (/ 1 (- 1)) (/ (- (pow h0 2)) 2) (/ 1 (* (cbrt 2) (cbrt 2))) (/ (- (pow h0 2)) (- (cbrt 2))) (/ 1 (sqrt 2)) (/ (- (pow h0 2)) (- (sqrt 2))) (/ 1 1) (/ (- (pow h0 2)) (- 2)) (/ -1 (* (cbrt (- 2)) (cbrt (- 2)))) (/ (pow h0 2) (cbrt (- 2))) (/ -1 (sqrt (- 2))) (/ (pow h0 2) (sqrt (- 2))) (/ -1 1) (/ (pow h0 2) (- 2)) (/ -1 -1) (/ (pow h0 2) 2) (/ -1 (- (* (cbrt 2) (cbrt 2)))) (/ (pow h0 2) (cbrt 2)) (/ -1 (- (sqrt 2))) (/ (pow h0 2) (sqrt 2)) (/ -1 (- 1)) (/ (pow h0 2) 2) (/ -1 (* (cbrt 2) (cbrt 2))) (/ (pow h0 2) (- (cbrt 2))) (/ -1 (sqrt 2)) (/ (pow h0 2) (- (sqrt 2))) (/ -1 1) (/ (pow h0 2) (- 2)) (/ (- (pow (* (cbrt h0) (cbrt h0)) 2)) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (pow (cbrt h0) 2) (cbrt (- 2))) (/ (- (pow (* (cbrt h0) (cbrt h0)) 2)) (sqrt (- 2))) (/ (pow (cbrt h0) 2) (sqrt (- 2))) (/ (- (pow (* (cbrt h0) (cbrt h0)) 2)) 1) (/ (pow (cbrt h0) 2) (- 2)) (/ (- (pow (* (cbrt h0) (cbrt h0)) 2)) -1) (/ (pow (cbrt h0) 2) 2) (/ (- (pow (* (cbrt h0) (cbrt h0)) 2)) (- (* (cbrt 2) (cbrt 2)))) (/ (pow (cbrt h0) 2) (cbrt 2)) (/ (- (pow (* (cbrt h0) (cbrt h0)) 2)) (- (sqrt 2))) (/ (pow (cbrt h0) 2) (sqrt 2)) (/ (- (pow (* (cbrt h0) (cbrt h0)) 2)) (- 1)) (/ (pow (cbrt h0) 2) 2) (/ (- (pow (* (cbrt h0) (cbrt h0)) 2)) (* (cbrt 2) (cbrt 2))) (/ (pow (cbrt h0) 2) (- (cbrt 2))) (/ (- (pow (* (cbrt h0) (cbrt h0)) 2)) (sqrt 2)) (/ (pow (cbrt h0) 2) (- (sqrt 2))) (/ (- (pow (* (cbrt h0) (cbrt h0)) 2)) 1) (/ (pow (cbrt h0) 2) (- 2)) (/ (- (pow (sqrt h0) 2)) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (pow (sqrt h0) 2) (cbrt (- 2))) (/ (- (pow (sqrt h0) 2)) (sqrt (- 2))) (/ (pow (sqrt h0) 2) (sqrt (- 2))) (/ (- (pow (sqrt h0) 2)) 1) (/ (pow (sqrt h0) 2) (- 2)) (/ (- (pow (sqrt h0) 2)) -1) (/ (pow (sqrt h0) 2) 2) (/ (- (pow (sqrt h0) 2)) (- (* (cbrt 2) (cbrt 2)))) (/ (pow (sqrt h0) 2) (cbrt 2)) (/ (- (pow (sqrt h0) 2)) (- (sqrt 2))) (/ (pow (sqrt h0) 2) (sqrt 2)) (/ (- (pow (sqrt h0) 2)) (- 1)) (/ (pow (sqrt h0) 2) 2) (/ (- (pow (sqrt h0) 2)) (* (cbrt 2) (cbrt 2))) (/ (pow (sqrt h0) 2) (- (cbrt 2))) (/ (- (pow (sqrt h0) 2)) (sqrt 2)) (/ (pow (sqrt h0) 2) (- (sqrt 2))) (/ (- (pow (sqrt h0) 2)) 1) (/ (pow (sqrt h0) 2) (- 2)) (/ (- (pow 1 2)) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (pow h0 2) (cbrt (- 2))) (/ (- (pow 1 2)) (sqrt (- 2))) (/ (pow h0 2) (sqrt (- 2))) (/ (- (pow 1 2)) 1) (/ (pow h0 2) (- 2)) (/ (- (pow 1 2)) -1) (/ (pow h0 2) 2) (/ (- (pow 1 2)) (- (* (cbrt 2) (cbrt 2)))) (/ (pow h0 2) (cbrt 2)) (/ (- (pow 1 2)) (- (sqrt 2))) (/ (pow h0 2) (sqrt 2)) (/ (- (pow 1 2)) (- 1)) (/ (pow h0 2) 2) (/ (- (pow 1 2)) (* (cbrt 2) (cbrt 2))) (/ (pow h0 2) (- (cbrt 2))) (/ (- (pow 1 2)) (sqrt 2)) (/ (pow h0 2) (- (sqrt 2))) (/ (- (pow 1 2)) 1) (/ (pow h0 2) (- 2)) (/ (- h0) (* (cbrt (- 2)) (cbrt (- 2)))) (/ h0 (cbrt (- 2))) (/ (- h0) (sqrt (- 2))) (/ h0 (sqrt (- 2))) (/ (- h0) 1) (/ h0 (- 2)) (/ (- h0) -1) (/ h0 2) (/ (- h0) (- (* (cbrt 2) (cbrt 2)))) (/ h0 (cbrt 2)) (/ (- h0) (- (sqrt 2))) (/ h0 (sqrt 2)) (/ (- h0) (- 1)) (/ h0 2) (/ (- h0) (* (cbrt 2) (cbrt 2))) (/ h0 (- (cbrt 2))) (/ (- h0) (sqrt 2)) (/ h0 (- (sqrt 2))) (/ (- h0) 1) (/ h0 (- 2)) (/ (- (* (cbrt (pow h0 2)) (cbrt (pow h0 2)))) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (cbrt (pow h0 2)) (cbrt (- 2))) (/ (- (* (cbrt (pow h0 2)) (cbrt (pow h0 2)))) (sqrt (- 2))) (/ (cbrt (pow h0 2)) (sqrt (- 2))) (/ (- (* (cbrt (pow h0 2)) (cbrt (pow h0 2)))) 1) (/ (cbrt (pow h0 2)) (- 2)) (/ (- (* (cbrt (pow h0 2)) (cbrt (pow h0 2)))) -1) (/ (cbrt (pow h0 2)) 2) (/ (- (* (cbrt (pow h0 2)) (cbrt (pow h0 2)))) (- (* (cbrt 2) (cbrt 2)))) (/ (cbrt (pow h0 2)) (cbrt 2)) (/ (- (* (cbrt (pow h0 2)) (cbrt (pow h0 2)))) (- (sqrt 2))) (/ (cbrt (pow h0 2)) (sqrt 2)) (/ (- (* (cbrt (pow h0 2)) (cbrt (pow h0 2)))) (- 1)) (/ (cbrt (pow h0 2)) 2) (/ (- (* (cbrt (pow h0 2)) (cbrt (pow h0 2)))) (* (cbrt 2) (cbrt 2))) (/ (cbrt (pow h0 2)) (- (cbrt 2))) (/ (- (* (cbrt (pow h0 2)) (cbrt (pow h0 2)))) (sqrt 2)) (/ (cbrt (pow h0 2)) (- (sqrt 2))) (/ (- (* (cbrt (pow h0 2)) (cbrt (pow h0 2)))) 1) (/ (cbrt (pow h0 2)) (- 2)) (/ (- (sqrt (pow h0 2))) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (sqrt (pow h0 2)) (cbrt (- 2))) (/ (- (sqrt (pow h0 2))) (sqrt (- 2))) (/ (sqrt (pow h0 2)) (sqrt (- 2))) (/ (- (sqrt (pow h0 2))) 1) (/ (sqrt (pow h0 2)) (- 2)) (/ (- (sqrt (pow h0 2))) -1) (/ (sqrt (pow h0 2)) 2) (/ (- (sqrt (pow h0 2))) (- (* (cbrt 2) (cbrt 2)))) (/ (sqrt (pow h0 2)) (cbrt 2)) (/ (- (sqrt (pow h0 2))) (- (sqrt 2))) (/ (sqrt (pow h0 2)) (sqrt 2)) (/ (- (sqrt (pow h0 2))) (- 1)) (/ (sqrt (pow h0 2)) 2) (/ (- (sqrt (pow h0 2))) (* (cbrt 2) (cbrt 2))) (/ (sqrt (pow h0 2)) (- (cbrt 2))) (/ (- (sqrt (pow h0 2))) (sqrt 2)) (/ (sqrt (pow h0 2)) (- (sqrt 2))) (/ (- (sqrt (pow h0 2))) 1) (/ (sqrt (pow h0 2)) (- 2)) (/ (- 1) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (pow h0 2) (cbrt (- 2))) (/ (- 1) (sqrt (- 2))) (/ (pow h0 2) (sqrt (- 2))) (/ (- 1) 1) (/ (pow h0 2) (- 2)) (/ (- 1) -1) (/ (pow h0 2) 2) (/ (- 1) (- (* (cbrt 2) (cbrt 2)))) (/ (pow h0 2) (cbrt 2)) (/ (- 1) (- (sqrt 2))) (/ (pow h0 2) (sqrt 2)) (/ (- 1) (- 1)) (/ (pow h0 2) 2) (/ (- 1) (* (cbrt 2) (cbrt 2))) (/ (pow h0 2) (- (cbrt 2))) (/ (- 1) (sqrt 2)) (/ (pow h0 2) (- (sqrt 2))) (/ (- 1) 1) (/ (pow h0 2) (- 2)) (/ (- (pow h0 (/ 2 2))) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (pow h0 (/ 2 2)) (cbrt (- 2))) (/ (- (pow h0 (/ 2 2))) (sqrt (- 2))) (/ (pow h0 (/ 2 2)) (sqrt (- 2))) (/ (- (pow h0 (/ 2 2))) 1) (/ (pow h0 (/ 2 2)) (- 2)) (/ (- (pow h0 (/ 2 2))) -1) (/ (pow h0 (/ 2 2)) 2) (/ (- (pow h0 (/ 2 2))) (- (* (cbrt 2) (cbrt 2)))) (/ (pow h0 (/ 2 2)) (cbrt 2)) (/ (- (pow h0 (/ 2 2))) (- (sqrt 2))) (/ (pow h0 (/ 2 2)) (sqrt 2)) (/ (- (pow h0 (/ 2 2))) (- 1)) (/ (pow h0 (/ 2 2)) 2) (/ (- (pow h0 (/ 2 2))) (* (cbrt 2) (cbrt 2))) (/ (pow h0 (/ 2 2)) (- (cbrt 2))) (/ (- (pow h0 (/ 2 2))) (sqrt 2)) (/ (pow h0 (/ 2 2)) (- (sqrt 2))) (/ (- (pow h0 (/ 2 2))) 1) (/ (pow h0 (/ 2 2)) (- 2)) (/ (pow (* (cbrt h0) (cbrt h0)) 2) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (- (pow (cbrt h0) 2)) (cbrt (- 2))) (/ (pow (* (cbrt h0) (cbrt h0)) 2) (sqrt (- 2))) (/ (- (pow (cbrt h0) 2)) (sqrt (- 2))) (/ (pow (* (cbrt h0) (cbrt h0)) 2) 1) (/ (- (pow (cbrt h0) 2)) (- 2)) (/ (pow (* (cbrt h0) (cbrt h0)) 2) -1) (/ (- (pow (cbrt h0) 2)) 2) (/ (pow (* (cbrt h0) (cbrt h0)) 2) (- (* (cbrt 2) (cbrt 2)))) (/ (- (pow (cbrt h0) 2)) (cbrt 2)) (/ (pow (* (cbrt h0) (cbrt h0)) 2) (- (sqrt 2))) (/ (- (pow (cbrt h0) 2)) (sqrt 2)) (/ (pow (* (cbrt h0) (cbrt h0)) 2) (- 1)) (/ (- (pow (cbrt h0) 2)) 2) (/ (pow (* (cbrt h0) (cbrt h0)) 2) (* (cbrt 2) (cbrt 2))) (/ (- (pow (cbrt h0) 2)) (- (cbrt 2))) (/ (pow (* (cbrt h0) (cbrt h0)) 2) (sqrt 2)) (/ (- (pow (cbrt h0) 2)) (- (sqrt 2))) (/ (pow (* (cbrt h0) (cbrt h0)) 2) 1) (/ (- (pow (cbrt h0) 2)) (- 2)) (/ (pow (sqrt h0) 2) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (- (pow (sqrt h0) 2)) (cbrt (- 2))) (/ (pow (sqrt h0) 2) (sqrt (- 2))) (/ (- (pow (sqrt h0) 2)) (sqrt (- 2))) (/ (pow (sqrt h0) 2) 1) (/ (- (pow (sqrt h0) 2)) (- 2)) (/ (pow (sqrt h0) 2) -1) (/ (- (pow (sqrt h0) 2)) 2) (/ (pow (sqrt h0) 2) (- (* (cbrt 2) (cbrt 2)))) (/ (- (pow (sqrt h0) 2)) (cbrt 2)) (/ (pow (sqrt h0) 2) (- (sqrt 2))) (/ (- (pow (sqrt h0) 2)) (sqrt 2)) (/ (pow (sqrt h0) 2) (- 1)) (/ (- (pow (sqrt h0) 2)) 2) (/ (pow (sqrt h0) 2) (* (cbrt 2) (cbrt 2))) (/ (- (pow (sqrt h0) 2)) (- (cbrt 2))) (/ (pow (sqrt h0) 2) (sqrt 2)) (/ (- (pow (sqrt h0) 2)) (- (sqrt 2))) (/ (pow (sqrt h0) 2) 1) (/ (- (pow (sqrt h0) 2)) (- 2)) (/ (pow 1 2) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (- (pow h0 2)) (cbrt (- 2))) (/ (pow 1 2) (sqrt (- 2))) (/ (- (pow h0 2)) (sqrt (- 2))) (/ (pow 1 2) 1) (/ (- (pow h0 2)) (- 2)) (/ (pow 1 2) -1) (/ (- (pow h0 2)) 2) (/ (pow 1 2) (- (* (cbrt 2) (cbrt 2)))) (/ (- (pow h0 2)) (cbrt 2)) (/ (pow 1 2) (- (sqrt 2))) (/ (- (pow h0 2)) (sqrt 2)) (/ (pow 1 2) (- 1)) (/ (- (pow h0 2)) 2) (/ (pow 1 2) (* (cbrt 2) (cbrt 2))) (/ (- (pow h0 2)) (- (cbrt 2))) (/ (pow 1 2) (sqrt 2)) (/ (- (pow h0 2)) (- (sqrt 2))) (/ (pow 1 2) 1) (/ (- (pow h0 2)) (- 2)) (/ h0 (* (cbrt (- 2)) (cbrt (- 2)))) (/ (- h0) (cbrt (- 2))) (/ h0 (sqrt (- 2))) (/ (- h0) (sqrt (- 2))) (/ h0 1) (/ (- h0) (- 2)) (/ h0 -1) (/ (- h0) 2) (/ h0 (- (* (cbrt 2) (cbrt 2)))) (/ (- h0) (cbrt 2)) (/ h0 (- (sqrt 2))) (/ (- h0) (sqrt 2)) (/ h0 (- 1)) (/ (- h0) 2) (/ h0 (* (cbrt 2) (cbrt 2))) (/ (- h0) (- (cbrt 2))) (/ h0 (sqrt 2)) (/ (- h0) (- (sqrt 2))) (/ h0 1) (/ (- h0) (- 2)) (/ (* (cbrt (pow h0 2)) (cbrt (pow h0 2))) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (- (cbrt (pow h0 2))) (cbrt (- 2))) (/ (* (cbrt (pow h0 2)) (cbrt (pow h0 2))) (sqrt (- 2))) (/ (- (cbrt (pow h0 2))) (sqrt (- 2))) (/ (* (cbrt (pow h0 2)) (cbrt (pow h0 2))) 1) (/ (- (cbrt (pow h0 2))) (- 2)) (/ (* (cbrt (pow h0 2)) (cbrt (pow h0 2))) -1) (/ (- (cbrt (pow h0 2))) 2) (/ (* (cbrt (pow h0 2)) (cbrt (pow h0 2))) (- (* (cbrt 2) (cbrt 2)))) (/ (- (cbrt (pow h0 2))) (cbrt 2)) (/ (* (cbrt (pow h0 2)) (cbrt (pow h0 2))) (- (sqrt 2))) (/ (- (cbrt (pow h0 2))) (sqrt 2)) (/ (* (cbrt (pow h0 2)) (cbrt (pow h0 2))) (- 1)) (/ (- (cbrt (pow h0 2))) 2) (/ (* (cbrt (pow h0 2)) (cbrt (pow h0 2))) (* (cbrt 2) (cbrt 2))) (/ (- (cbrt (pow h0 2))) (- (cbrt 2))) (/ (* (cbrt (pow h0 2)) (cbrt (pow h0 2))) (sqrt 2)) (/ (- (cbrt (pow h0 2))) (- (sqrt 2))) (/ (* (cbrt (pow h0 2)) (cbrt (pow h0 2))) 1) (/ (- (cbrt (pow h0 2))) (- 2)) (/ (sqrt (pow h0 2)) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (- (sqrt (pow h0 2))) (cbrt (- 2))) (/ (sqrt (pow h0 2)) (sqrt (- 2))) (/ (- (sqrt (pow h0 2))) (sqrt (- 2))) (/ (sqrt (pow h0 2)) 1) (/ (- (sqrt (pow h0 2))) (- 2)) (/ (sqrt (pow h0 2)) -1) (/ (- (sqrt (pow h0 2))) 2) (/ (sqrt (pow h0 2)) (- (* (cbrt 2) (cbrt 2)))) (/ (- (sqrt (pow h0 2))) (cbrt 2)) (/ (sqrt (pow h0 2)) (- (sqrt 2))) (/ (- (sqrt (pow h0 2))) (sqrt 2)) (/ (sqrt (pow h0 2)) (- 1)) (/ (- (sqrt (pow h0 2))) 2) (/ (sqrt (pow h0 2)) (* (cbrt 2) (cbrt 2))) (/ (- (sqrt (pow h0 2))) (- (cbrt 2))) (/ (sqrt (pow h0 2)) (sqrt 2)) (/ (- (sqrt (pow h0 2))) (- (sqrt 2))) (/ (sqrt (pow h0 2)) 1) (/ (- (sqrt (pow h0 2))) (- 2)) (/ 1 (* (cbrt (- 2)) (cbrt (- 2)))) (/ (- (pow h0 2)) (cbrt (- 2))) (/ 1 (sqrt (- 2))) (/ (- (pow h0 2)) (sqrt (- 2))) (/ 1 1) (/ (- (pow h0 2)) (- 2)) (/ 1 -1) (/ (- (pow h0 2)) 2) (/ 1 (- (* (cbrt 2) (cbrt 2)))) (/ (- (pow h0 2)) (cbrt 2)) (/ 1 (- (sqrt 2))) (/ (- (pow h0 2)) (sqrt 2)) (/ 1 (- 1)) (/ (- (pow h0 2)) 2) (/ 1 (* (cbrt 2) (cbrt 2))) (/ (- (pow h0 2)) (- (cbrt 2))) (/ 1 (sqrt 2)) (/ (- (pow h0 2)) (- (sqrt 2))) (/ 1 1) (/ (- (pow h0 2)) (- 2)) (/ (pow h0 (/ 2 2)) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (- (pow h0 (/ 2 2))) (cbrt (- 2))) (/ (pow h0 (/ 2 2)) (sqrt (- 2))) (/ (- (pow h0 (/ 2 2))) (sqrt (- 2))) (/ (pow h0 (/ 2 2)) 1) (/ (- (pow h0 (/ 2 2))) (- 2)) (/ (pow h0 (/ 2 2)) -1) (/ (- (pow h0 (/ 2 2))) 2) (/ (pow h0 (/ 2 2)) (- (* (cbrt 2) (cbrt 2)))) (/ (- (pow h0 (/ 2 2))) (cbrt 2)) (/ (pow h0 (/ 2 2)) (- (sqrt 2))) (/ (- (pow h0 (/ 2 2))) (sqrt 2)) (/ (pow h0 (/ 2 2)) (- 1)) (/ (- (pow h0 (/ 2 2))) 2) (/ (pow h0 (/ 2 2)) (* (cbrt 2) (cbrt 2))) (/ (- (pow h0 (/ 2 2))) (- (cbrt 2))) (/ (pow h0 (/ 2 2)) (sqrt 2)) (/ (- (pow h0 (/ 2 2))) (- (sqrt 2))) (/ (pow h0 (/ 2 2)) 1) (/ (- (pow h0 (/ 2 2))) (- 2)) (/ 1 (- 2)) (/ (- 2) (- (pow h0 2))) (/ (pow h0 2) (- 2)) (/ (- (pow h0 2)) (* (cbrt (- 2)) (cbrt (- 2)))) (/ (- (pow h0 2)) (sqrt (- 2))) (/ (- (pow h0 2)) 1) (/ (- (pow h0 2)) -1) (/ (- (pow h0 2)) (- (* (cbrt 2) (cbrt 2)))) (/ (- (pow h0 2)) (- (sqrt 2))) (/ (- (pow h0 2)) (- 1)) (/ (- (pow h0 2)) (* (cbrt 2) (cbrt 2))) (/ (- (pow h0 2)) (sqrt 2)) (/ (- (pow h0 2)) 1) (/ (- 2) (cbrt (- (pow h0 2)))) (/ (- 2) (sqrt (- (pow h0 2)))) (/ (- 2) (- (pow h0 2))) (/ (- 2) (pow h0 2)) (/ (- 2) (pow (cbrt h0) 2)) (/ (- 2) (pow (sqrt h0) 2)) (/ (- 2) (pow h0 2)) (/ (- 2) h0) (/ (- 2) (cbrt (pow h0 2))) (/ (- 2) (sqrt (pow h0 2))) (/ (- 2) (pow h0 2)) (/ (- 2) (pow h0 (/ 2 2))) (/ (- 2) (- (pow (cbrt h0) 2))) (/ (- 2) (- (pow (sqrt h0) 2))) (/ (- 2) (- (pow h0 2))) (/ (- 2) (- h0)) (/ (- 2) (- (cbrt (pow h0 2)))) (/ (- 2) (- (sqrt (pow h0 2)))) (/ (- 2) (- (pow h0 2))) (/ (- 2) (- (pow h0 (/ 2 2)))) (* (/ 1 6) (pow h0 3)) (* (/ 1 6) (pow h0 3)) (* (/ 1 6) (pow h0 3)) (+ (* (/ 1 2) (pow h0 2)) (+ (* (/ 1 6) (pow h0 3)) h0)) (+ (* (/ 1 2) (pow h0 2)) (+ h0 (* (/ 1 6) (pow h0 3)))) (+ (* (/ 1 2) (pow h0 2)) (+ h0 (* (/ 1 6) (pow h0 3)))) (* (/ 1 2) (pow h0 2)) (* (/ 1 2) (pow h0 2)) (* (/ 1 2) (pow h0 2)) 4.245 * * * [progress]: adding candidates to table 4.798 * * [progress]: iteration 4 / 4 4.798 * * * [progress]: picking best candidate 4.804 * * * * [pick]: Picked # 4.804 * * * [progress]: localizing error 4.816 * * * [progress]: generating rewritten candidates 4.816 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 4.833 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 4.841 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 5.190 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 5.204 * * * [progress]: generating series expansions 5.204 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 5.204 * [backup-simplify]: Simplify (log (exp (/ (pow x 2) 2))) into (* 1/2 (pow x 2)) 5.204 * [approximate]: Taking taylor expansion of (* 1/2 (pow x 2)) in (x) around 0 5.204 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 5.204 * [taylor]: Taking taylor expansion of 1/2 in x 5.204 * [backup-simplify]: Simplify 1/2 into 1/2 5.204 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.204 * [taylor]: Taking taylor expansion of x in x 5.204 * [backup-simplify]: Simplify 0 into 0 5.204 * [backup-simplify]: Simplify 1 into 1 5.204 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 5.204 * [taylor]: Taking taylor expansion of 1/2 in x 5.204 * [backup-simplify]: Simplify 1/2 into 1/2 5.204 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.204 * [taylor]: Taking taylor expansion of x in x 5.204 * [backup-simplify]: Simplify 0 into 0 5.204 * [backup-simplify]: Simplify 1 into 1 5.205 * [backup-simplify]: Simplify (* 1 1) into 1 5.205 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 5.205 * [backup-simplify]: Simplify 1/2 into 1/2 5.205 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.206 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 5.206 * [backup-simplify]: Simplify 0 into 0 5.206 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.207 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 5.207 * [backup-simplify]: Simplify 0 into 0 5.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.208 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.208 * [backup-simplify]: Simplify 0 into 0 5.209 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.209 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.209 * [backup-simplify]: Simplify 0 into 0 5.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.211 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.211 * [backup-simplify]: Simplify 0 into 0 5.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.212 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.212 * [backup-simplify]: Simplify 0 into 0 5.212 * [backup-simplify]: Simplify (* 1/2 (pow x 2)) into (* 1/2 (pow x 2)) 5.212 * [backup-simplify]: Simplify (log (exp (/ (pow (/ 1 x) 2) 2))) into (/ 1/2 (pow x 2)) 5.212 * [approximate]: Taking taylor expansion of (/ 1/2 (pow x 2)) in (x) around 0 5.212 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x 5.212 * [taylor]: Taking taylor expansion of 1/2 in x 5.212 * [backup-simplify]: Simplify 1/2 into 1/2 5.212 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.213 * [taylor]: Taking taylor expansion of x in x 5.213 * [backup-simplify]: Simplify 0 into 0 5.213 * [backup-simplify]: Simplify 1 into 1 5.213 * [backup-simplify]: Simplify (* 1 1) into 1 5.213 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 5.213 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x 5.213 * [taylor]: Taking taylor expansion of 1/2 in x 5.213 * [backup-simplify]: Simplify 1/2 into 1/2 5.213 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.213 * [taylor]: Taking taylor expansion of x in x 5.213 * [backup-simplify]: Simplify 0 into 0 5.213 * [backup-simplify]: Simplify 1 into 1 5.213 * [backup-simplify]: Simplify (* 1 1) into 1 5.214 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 5.214 * [backup-simplify]: Simplify 1/2 into 1/2 5.214 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.214 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0 5.214 * [backup-simplify]: Simplify 0 into 0 5.215 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.215 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.215 * [backup-simplify]: Simplify 0 into 0 5.219 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.219 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.219 * [backup-simplify]: Simplify 0 into 0 5.220 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.220 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.220 * [backup-simplify]: Simplify 0 into 0 5.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.222 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.222 * [backup-simplify]: Simplify 0 into 0 5.222 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.223 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.223 * [backup-simplify]: Simplify 0 into 0 5.223 * [backup-simplify]: Simplify (* 1/2 (pow (/ 1 (/ 1 x)) 2)) into (* 1/2 (pow x 2)) 5.223 * [backup-simplify]: Simplify (log (exp (/ (pow (/ 1 (- x)) 2) 2))) into (/ 1/2 (pow x 2)) 5.223 * [approximate]: Taking taylor expansion of (/ 1/2 (pow x 2)) in (x) around 0 5.223 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x 5.223 * [taylor]: Taking taylor expansion of 1/2 in x 5.223 * [backup-simplify]: Simplify 1/2 into 1/2 5.223 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.223 * [taylor]: Taking taylor expansion of x in x 5.223 * [backup-simplify]: Simplify 0 into 0 5.223 * [backup-simplify]: Simplify 1 into 1 5.224 * [backup-simplify]: Simplify (* 1 1) into 1 5.224 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 5.224 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x 5.224 * [taylor]: Taking taylor expansion of 1/2 in x 5.224 * [backup-simplify]: Simplify 1/2 into 1/2 5.224 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.224 * [taylor]: Taking taylor expansion of x in x 5.224 * [backup-simplify]: Simplify 0 into 0 5.224 * [backup-simplify]: Simplify 1 into 1 5.224 * [backup-simplify]: Simplify (* 1 1) into 1 5.225 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 5.225 * [backup-simplify]: Simplify 1/2 into 1/2 5.225 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0 5.225 * [backup-simplify]: Simplify 0 into 0 5.226 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.226 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.226 * [backup-simplify]: Simplify 0 into 0 5.227 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.227 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.227 * [backup-simplify]: Simplify 0 into 0 5.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.229 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.229 * [backup-simplify]: Simplify 0 into 0 5.229 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.230 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.230 * [backup-simplify]: Simplify 0 into 0 5.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.231 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.231 * [backup-simplify]: Simplify 0 into 0 5.231 * [backup-simplify]: Simplify (* 1/2 (pow (/ 1 (/ 1 (- x))) 2)) into (* 1/2 (pow x 2)) 5.231 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 5.231 * [backup-simplify]: Simplify (/ (pow x 3) 6) into (* 1/6 (pow x 3)) 5.231 * [approximate]: Taking taylor expansion of (* 1/6 (pow x 3)) in (x) around 0 5.231 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 5.231 * [taylor]: Taking taylor expansion of 1/6 in x 5.231 * [backup-simplify]: Simplify 1/6 into 1/6 5.231 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.231 * [taylor]: Taking taylor expansion of x in x 5.231 * [backup-simplify]: Simplify 0 into 0 5.231 * [backup-simplify]: Simplify 1 into 1 5.232 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 5.232 * [taylor]: Taking taylor expansion of 1/6 in x 5.232 * [backup-simplify]: Simplify 1/6 into 1/6 5.232 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.232 * [taylor]: Taking taylor expansion of x in x 5.232 * [backup-simplify]: Simplify 0 into 0 5.232 * [backup-simplify]: Simplify 1 into 1 5.232 * [backup-simplify]: Simplify (* 1 1) into 1 5.232 * [backup-simplify]: Simplify (* 1 1) into 1 5.232 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 5.232 * [backup-simplify]: Simplify 1/6 into 1/6 5.233 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.233 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.233 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 5.233 * [backup-simplify]: Simplify 0 into 0 5.234 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.234 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.235 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 5.235 * [backup-simplify]: Simplify 0 into 0 5.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.236 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.236 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.236 * [backup-simplify]: Simplify 0 into 0 5.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.238 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.238 * [backup-simplify]: Simplify 0 into 0 5.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.240 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.240 * [backup-simplify]: Simplify 0 into 0 5.241 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.243 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.243 * [backup-simplify]: Simplify 0 into 0 5.243 * [backup-simplify]: Simplify (* 1/6 (pow x 3)) into (* 1/6 (pow x 3)) 5.243 * [backup-simplify]: Simplify (/ (pow (/ 1 x) 3) 6) into (/ 1/6 (pow x 3)) 5.243 * [approximate]: Taking taylor expansion of (/ 1/6 (pow x 3)) in (x) around 0 5.243 * [taylor]: Taking taylor expansion of (/ 1/6 (pow x 3)) in x 5.243 * [taylor]: Taking taylor expansion of 1/6 in x 5.243 * [backup-simplify]: Simplify 1/6 into 1/6 5.243 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.243 * [taylor]: Taking taylor expansion of x in x 5.243 * [backup-simplify]: Simplify 0 into 0 5.243 * [backup-simplify]: Simplify 1 into 1 5.243 * [backup-simplify]: Simplify (* 1 1) into 1 5.243 * [backup-simplify]: Simplify (* 1 1) into 1 5.244 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 5.244 * [taylor]: Taking taylor expansion of (/ 1/6 (pow x 3)) in x 5.244 * [taylor]: Taking taylor expansion of 1/6 in x 5.244 * [backup-simplify]: Simplify 1/6 into 1/6 5.244 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.244 * [taylor]: Taking taylor expansion of x in x 5.244 * [backup-simplify]: Simplify 0 into 0 5.244 * [backup-simplify]: Simplify 1 into 1 5.244 * [backup-simplify]: Simplify (* 1 1) into 1 5.244 * [backup-simplify]: Simplify (* 1 1) into 1 5.244 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 5.245 * [backup-simplify]: Simplify 1/6 into 1/6 5.245 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.245 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.246 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 5.246 * [backup-simplify]: Simplify 0 into 0 5.246 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.247 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.247 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.247 * [backup-simplify]: Simplify 0 into 0 5.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.249 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.249 * [backup-simplify]: Simplify 0 into 0 5.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.250 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.251 * [backup-simplify]: Simplify 0 into 0 5.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.252 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.252 * [backup-simplify]: Simplify 0 into 0 5.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.254 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.255 * [backup-simplify]: Simplify 0 into 0 5.255 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (/ 1 x)) 3)) into (* 1/6 (pow x 3)) 5.255 * [backup-simplify]: Simplify (/ (pow (/ 1 (- x)) 3) 6) into (/ -1/6 (pow x 3)) 5.255 * [approximate]: Taking taylor expansion of (/ -1/6 (pow x 3)) in (x) around 0 5.255 * [taylor]: Taking taylor expansion of (/ -1/6 (pow x 3)) in x 5.255 * [taylor]: Taking taylor expansion of -1/6 in x 5.255 * [backup-simplify]: Simplify -1/6 into -1/6 5.255 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.255 * [taylor]: Taking taylor expansion of x in x 5.255 * [backup-simplify]: Simplify 0 into 0 5.255 * [backup-simplify]: Simplify 1 into 1 5.255 * [backup-simplify]: Simplify (* 1 1) into 1 5.255 * [backup-simplify]: Simplify (* 1 1) into 1 5.256 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 5.256 * [taylor]: Taking taylor expansion of (/ -1/6 (pow x 3)) in x 5.256 * [taylor]: Taking taylor expansion of -1/6 in x 5.256 * [backup-simplify]: Simplify -1/6 into -1/6 5.256 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.256 * [taylor]: Taking taylor expansion of x in x 5.256 * [backup-simplify]: Simplify 0 into 0 5.256 * [backup-simplify]: Simplify 1 into 1 5.256 * [backup-simplify]: Simplify (* 1 1) into 1 5.256 * [backup-simplify]: Simplify (* 1 1) into 1 5.256 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 5.256 * [backup-simplify]: Simplify -1/6 into -1/6 5.257 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.257 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.258 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 5.258 * [backup-simplify]: Simplify 0 into 0 5.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.259 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.259 * [backup-simplify]: Simplify 0 into 0 5.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.261 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.261 * [backup-simplify]: Simplify 0 into 0 5.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.262 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.262 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.262 * [backup-simplify]: Simplify 0 into 0 5.263 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.264 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.264 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.264 * [backup-simplify]: Simplify 0 into 0 5.265 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.266 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.266 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.266 * [backup-simplify]: Simplify 0 into 0 5.266 * [backup-simplify]: Simplify (* -1/6 (pow (/ 1 (/ 1 (- x))) 3)) into (* 1/6 (pow x 3)) 5.266 * * * * [progress]: [ 3 / 4 ] generating series at (2) 5.267 * [backup-simplify]: Simplify (+ (+ (log (exp (/ (pow x 2) 2))) x) (/ (pow x 3) 6)) into (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) 5.267 * [approximate]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) in (x) around 0 5.267 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) in x 5.267 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 5.267 * [taylor]: Taking taylor expansion of 1/2 in x 5.267 * [backup-simplify]: Simplify 1/2 into 1/2 5.267 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.267 * [taylor]: Taking taylor expansion of x in x 5.267 * [backup-simplify]: Simplify 0 into 0 5.267 * [backup-simplify]: Simplify 1 into 1 5.267 * [taylor]: Taking taylor expansion of (+ x (* 1/6 (pow x 3))) in x 5.267 * [taylor]: Taking taylor expansion of x in x 5.267 * [backup-simplify]: Simplify 0 into 0 5.267 * [backup-simplify]: Simplify 1 into 1 5.267 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 5.267 * [taylor]: Taking taylor expansion of 1/6 in x 5.267 * [backup-simplify]: Simplify 1/6 into 1/6 5.267 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.267 * [taylor]: Taking taylor expansion of x in x 5.267 * [backup-simplify]: Simplify 0 into 0 5.267 * [backup-simplify]: Simplify 1 into 1 5.267 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) in x 5.267 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 5.267 * [taylor]: Taking taylor expansion of 1/2 in x 5.267 * [backup-simplify]: Simplify 1/2 into 1/2 5.267 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.267 * [taylor]: Taking taylor expansion of x in x 5.267 * [backup-simplify]: Simplify 0 into 0 5.267 * [backup-simplify]: Simplify 1 into 1 5.267 * [taylor]: Taking taylor expansion of (+ x (* 1/6 (pow x 3))) in x 5.267 * [taylor]: Taking taylor expansion of x in x 5.267 * [backup-simplify]: Simplify 0 into 0 5.267 * [backup-simplify]: Simplify 1 into 1 5.267 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 5.267 * [taylor]: Taking taylor expansion of 1/6 in x 5.267 * [backup-simplify]: Simplify 1/6 into 1/6 5.267 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.267 * [taylor]: Taking taylor expansion of x in x 5.267 * [backup-simplify]: Simplify 0 into 0 5.267 * [backup-simplify]: Simplify 1 into 1 5.268 * [backup-simplify]: Simplify (+ 0 0) into 0 5.268 * [backup-simplify]: Simplify (+ 0 0) into 0 5.268 * [backup-simplify]: Simplify 0 into 0 5.268 * [backup-simplify]: Simplify (+ 1 0) into 1 5.268 * [backup-simplify]: Simplify (+ 0 1) into 1 5.268 * [backup-simplify]: Simplify 1 into 1 5.269 * [backup-simplify]: Simplify (* 1 1) into 1 5.269 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 5.269 * [backup-simplify]: Simplify (+ 0 0) into 0 5.269 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 5.269 * [backup-simplify]: Simplify 1/2 into 1/2 5.270 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.270 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 5.270 * [backup-simplify]: Simplify (* 1 1) into 1 5.270 * [backup-simplify]: Simplify (* 1 1) into 1 5.271 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 5.271 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6 5.271 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6 5.271 * [backup-simplify]: Simplify 1/6 into 1/6 5.271 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) 5.272 * [backup-simplify]: Simplify (+ (+ (log (exp (/ (pow (/ 1 x) 2) 2))) (/ 1 x)) (/ (pow (/ 1 x) 3) 6)) into (+ (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) 5.272 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in (x) around 0 5.272 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in x 5.272 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 5.272 * [taylor]: Taking taylor expansion of 1/2 in x 5.272 * [backup-simplify]: Simplify 1/2 into 1/2 5.272 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.272 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.272 * [taylor]: Taking taylor expansion of x in x 5.272 * [backup-simplify]: Simplify 0 into 0 5.272 * [backup-simplify]: Simplify 1 into 1 5.272 * [backup-simplify]: Simplify (* 1 1) into 1 5.272 * [backup-simplify]: Simplify (/ 1 1) into 1 5.272 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x)) in x 5.272 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 5.272 * [taylor]: Taking taylor expansion of 1/6 in x 5.272 * [backup-simplify]: Simplify 1/6 into 1/6 5.272 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 5.272 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.272 * [taylor]: Taking taylor expansion of x in x 5.272 * [backup-simplify]: Simplify 0 into 0 5.272 * [backup-simplify]: Simplify 1 into 1 5.273 * [backup-simplify]: Simplify (* 1 1) into 1 5.273 * [backup-simplify]: Simplify (* 1 1) into 1 5.273 * [backup-simplify]: Simplify (/ 1 1) into 1 5.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.273 * [taylor]: Taking taylor expansion of x in x 5.273 * [backup-simplify]: Simplify 0 into 0 5.273 * [backup-simplify]: Simplify 1 into 1 5.273 * [backup-simplify]: Simplify (/ 1 1) into 1 5.273 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in x 5.273 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 5.273 * [taylor]: Taking taylor expansion of 1/2 in x 5.273 * [backup-simplify]: Simplify 1/2 into 1/2 5.273 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.273 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.273 * [taylor]: Taking taylor expansion of x in x 5.273 * [backup-simplify]: Simplify 0 into 0 5.273 * [backup-simplify]: Simplify 1 into 1 5.274 * [backup-simplify]: Simplify (* 1 1) into 1 5.274 * [backup-simplify]: Simplify (/ 1 1) into 1 5.274 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x)) in x 5.274 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 5.274 * [taylor]: Taking taylor expansion of 1/6 in x 5.274 * [backup-simplify]: Simplify 1/6 into 1/6 5.274 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 5.274 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.274 * [taylor]: Taking taylor expansion of x in x 5.274 * [backup-simplify]: Simplify 0 into 0 5.274 * [backup-simplify]: Simplify 1 into 1 5.274 * [backup-simplify]: Simplify (* 1 1) into 1 5.274 * [backup-simplify]: Simplify (* 1 1) into 1 5.275 * [backup-simplify]: Simplify (/ 1 1) into 1 5.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.275 * [taylor]: Taking taylor expansion of x in x 5.275 * [backup-simplify]: Simplify 0 into 0 5.275 * [backup-simplify]: Simplify 1 into 1 5.275 * [backup-simplify]: Simplify (/ 1 1) into 1 5.275 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 5.275 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 5.276 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6 5.276 * [backup-simplify]: Simplify 1/6 into 1/6 5.276 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 5.276 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.277 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.277 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.277 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 5.278 * [backup-simplify]: Simplify (+ 0 0) into 0 5.278 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 5.278 * [backup-simplify]: Simplify 1/2 into 1/2 5.278 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.279 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 5.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.281 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 5.281 * [backup-simplify]: Simplify (+ 0 1) into 1 5.281 * [backup-simplify]: Simplify (+ 0 1) into 1 5.281 * [backup-simplify]: Simplify 1 into 1 5.282 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 x))) (+ (* 1/2 (pow (/ 1 (/ 1 x)) 2)) (* 1/6 (pow (/ 1 (/ 1 x)) 3)))) into (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) 5.282 * [backup-simplify]: Simplify (+ (+ (log (exp (/ (pow (/ 1 (- x)) 2) 2))) (/ 1 (- x))) (/ (pow (/ 1 (- x)) 3) 6)) into (- (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) 5.282 * [approximate]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in (x) around 0 5.282 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in x 5.282 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 5.282 * [taylor]: Taking taylor expansion of 1/2 in x 5.282 * [backup-simplify]: Simplify 1/2 into 1/2 5.282 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.282 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.282 * [taylor]: Taking taylor expansion of x in x 5.282 * [backup-simplify]: Simplify 0 into 0 5.282 * [backup-simplify]: Simplify 1 into 1 5.282 * [backup-simplify]: Simplify (* 1 1) into 1 5.283 * [backup-simplify]: Simplify (/ 1 1) into 1 5.283 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x)) in x 5.283 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 5.283 * [taylor]: Taking taylor expansion of 1/6 in x 5.283 * [backup-simplify]: Simplify 1/6 into 1/6 5.283 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 5.283 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.283 * [taylor]: Taking taylor expansion of x in x 5.283 * [backup-simplify]: Simplify 0 into 0 5.283 * [backup-simplify]: Simplify 1 into 1 5.283 * [backup-simplify]: Simplify (* 1 1) into 1 5.283 * [backup-simplify]: Simplify (* 1 1) into 1 5.283 * [backup-simplify]: Simplify (/ 1 1) into 1 5.283 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.283 * [taylor]: Taking taylor expansion of x in x 5.283 * [backup-simplify]: Simplify 0 into 0 5.283 * [backup-simplify]: Simplify 1 into 1 5.284 * [backup-simplify]: Simplify (/ 1 1) into 1 5.284 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in x 5.284 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 5.284 * [taylor]: Taking taylor expansion of 1/2 in x 5.284 * [backup-simplify]: Simplify 1/2 into 1/2 5.284 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.284 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.284 * [taylor]: Taking taylor expansion of x in x 5.284 * [backup-simplify]: Simplify 0 into 0 5.284 * [backup-simplify]: Simplify 1 into 1 5.284 * [backup-simplify]: Simplify (* 1 1) into 1 5.284 * [backup-simplify]: Simplify (/ 1 1) into 1 5.284 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x)) in x 5.284 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 5.284 * [taylor]: Taking taylor expansion of 1/6 in x 5.284 * [backup-simplify]: Simplify 1/6 into 1/6 5.284 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 5.284 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.284 * [taylor]: Taking taylor expansion of x in x 5.284 * [backup-simplify]: Simplify 0 into 0 5.284 * [backup-simplify]: Simplify 1 into 1 5.285 * [backup-simplify]: Simplify (* 1 1) into 1 5.285 * [backup-simplify]: Simplify (* 1 1) into 1 5.285 * [backup-simplify]: Simplify (/ 1 1) into 1 5.285 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.285 * [taylor]: Taking taylor expansion of x in x 5.285 * [backup-simplify]: Simplify 0 into 0 5.285 * [backup-simplify]: Simplify 1 into 1 5.285 * [backup-simplify]: Simplify (/ 1 1) into 1 5.286 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 5.286 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 5.286 * [backup-simplify]: Simplify (- 1/6) into -1/6 5.286 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6 5.286 * [backup-simplify]: Simplify -1/6 into -1/6 5.287 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 5.287 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.287 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.288 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 5.288 * [backup-simplify]: Simplify (+ 0 0) into 0 5.288 * [backup-simplify]: Simplify (- 0) into 0 5.289 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 5.289 * [backup-simplify]: Simplify 1/2 into 1/2 5.289 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.289 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.290 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 5.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.291 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.292 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 5.292 * [backup-simplify]: Simplify (+ 0 1) into 1 5.292 * [backup-simplify]: Simplify (- 1) into -1 5.292 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.292 * [backup-simplify]: Simplify -1 into -1 5.293 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- x)))) (+ (* 1/2 (pow (/ 1 (/ 1 (- x))) 2)) (* -1/6 (pow (/ 1 (/ 1 (- x))) 3)))) into (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) 5.293 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 5.293 * [backup-simplify]: Simplify (/ (pow x 2) 2) into (* 1/2 (pow x 2)) 5.293 * [approximate]: Taking taylor expansion of (* 1/2 (pow x 2)) in (x) around 0 5.293 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 5.293 * [taylor]: Taking taylor expansion of 1/2 in x 5.293 * [backup-simplify]: Simplify 1/2 into 1/2 5.293 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.293 * [taylor]: Taking taylor expansion of x in x 5.293 * [backup-simplify]: Simplify 0 into 0 5.293 * [backup-simplify]: Simplify 1 into 1 5.293 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 5.293 * [taylor]: Taking taylor expansion of 1/2 in x 5.293 * [backup-simplify]: Simplify 1/2 into 1/2 5.293 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.293 * [taylor]: Taking taylor expansion of x in x 5.293 * [backup-simplify]: Simplify 0 into 0 5.293 * [backup-simplify]: Simplify 1 into 1 5.293 * [backup-simplify]: Simplify (* 1 1) into 1 5.293 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 5.293 * [backup-simplify]: Simplify 1/2 into 1/2 5.294 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.294 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 5.294 * [backup-simplify]: Simplify 0 into 0 5.295 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.295 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 5.295 * [backup-simplify]: Simplify 0 into 0 5.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.300 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.300 * [backup-simplify]: Simplify 0 into 0 5.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.302 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.302 * [backup-simplify]: Simplify 0 into 0 5.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.303 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.303 * [backup-simplify]: Simplify 0 into 0 5.304 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.305 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.305 * [backup-simplify]: Simplify 0 into 0 5.305 * [backup-simplify]: Simplify (* 1/2 (pow x 2)) into (* 1/2 (pow x 2)) 5.305 * [backup-simplify]: Simplify (/ (pow (/ 1 x) 2) 2) into (/ 1/2 (pow x 2)) 5.305 * [approximate]: Taking taylor expansion of (/ 1/2 (pow x 2)) in (x) around 0 5.305 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x 5.305 * [taylor]: Taking taylor expansion of 1/2 in x 5.305 * [backup-simplify]: Simplify 1/2 into 1/2 5.305 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.305 * [taylor]: Taking taylor expansion of x in x 5.305 * [backup-simplify]: Simplify 0 into 0 5.305 * [backup-simplify]: Simplify 1 into 1 5.305 * [backup-simplify]: Simplify (* 1 1) into 1 5.305 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 5.305 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x 5.305 * [taylor]: Taking taylor expansion of 1/2 in x 5.305 * [backup-simplify]: Simplify 1/2 into 1/2 5.306 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.306 * [taylor]: Taking taylor expansion of x in x 5.306 * [backup-simplify]: Simplify 0 into 0 5.306 * [backup-simplify]: Simplify 1 into 1 5.306 * [backup-simplify]: Simplify (* 1 1) into 1 5.306 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 5.306 * [backup-simplify]: Simplify 1/2 into 1/2 5.306 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.307 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0 5.307 * [backup-simplify]: Simplify 0 into 0 5.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.308 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.308 * [backup-simplify]: Simplify 0 into 0 5.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.309 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.309 * [backup-simplify]: Simplify 0 into 0 5.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.310 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.310 * [backup-simplify]: Simplify 0 into 0 5.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.311 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.311 * [backup-simplify]: Simplify 0 into 0 5.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.313 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.313 * [backup-simplify]: Simplify 0 into 0 5.313 * [backup-simplify]: Simplify (* 1/2 (pow (/ 1 (/ 1 x)) 2)) into (* 1/2 (pow x 2)) 5.313 * [backup-simplify]: Simplify (/ (pow (/ 1 (- x)) 2) 2) into (/ 1/2 (pow x 2)) 5.313 * [approximate]: Taking taylor expansion of (/ 1/2 (pow x 2)) in (x) around 0 5.313 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x 5.313 * [taylor]: Taking taylor expansion of 1/2 in x 5.313 * [backup-simplify]: Simplify 1/2 into 1/2 5.313 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.313 * [taylor]: Taking taylor expansion of x in x 5.313 * [backup-simplify]: Simplify 0 into 0 5.313 * [backup-simplify]: Simplify 1 into 1 5.313 * [backup-simplify]: Simplify (* 1 1) into 1 5.313 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 5.313 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x 5.313 * [taylor]: Taking taylor expansion of 1/2 in x 5.313 * [backup-simplify]: Simplify 1/2 into 1/2 5.313 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.314 * [taylor]: Taking taylor expansion of x in x 5.314 * [backup-simplify]: Simplify 0 into 0 5.314 * [backup-simplify]: Simplify 1 into 1 5.314 * [backup-simplify]: Simplify (* 1 1) into 1 5.314 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 5.314 * [backup-simplify]: Simplify 1/2 into 1/2 5.314 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.315 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0 5.315 * [backup-simplify]: Simplify 0 into 0 5.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.316 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.316 * [backup-simplify]: Simplify 0 into 0 5.316 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.317 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.317 * [backup-simplify]: Simplify 0 into 0 5.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.318 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.318 * [backup-simplify]: Simplify 0 into 0 5.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.319 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.319 * [backup-simplify]: Simplify 0 into 0 5.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.321 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.321 * [backup-simplify]: Simplify 0 into 0 5.321 * [backup-simplify]: Simplify (* 1/2 (pow (/ 1 (/ 1 (- x))) 2)) into (* 1/2 (pow x 2)) 5.321 * * * [progress]: simplifying candidates 5.323 * [simplify]: Simplifying: (log (* (cbrt (exp (/ (pow x 2) 2))) (cbrt (exp (/ (pow x 2) 2))))) (log (cbrt (exp (/ (pow x 2) 2)))) (log (sqrt (exp (/ (pow x 2) 2)))) (log (sqrt (exp (/ (pow x 2) 2)))) (log 1) (log (exp (/ (pow x 2) 2))) (log (exp (/ (pow x 2) 2))) (log (exp (* (cbrt (/ (pow x 2) 2)) (cbrt (/ (pow x 2) 2))))) (log (exp (sqrt (/ (pow x 2) 2)))) (log (exp (/ (pow (* (cbrt x) (cbrt x)) 2) (* (cbrt 2) (cbrt 2))))) (log (exp (/ (pow (* (cbrt x) (cbrt x)) 2) (sqrt 2)))) (log (exp (/ (pow (* (cbrt x) (cbrt x)) 2) 1))) (log (exp (/ (pow (sqrt x) 2) (* (cbrt 2) (cbrt 2))))) (log (exp (/ (pow (sqrt x) 2) (sqrt 2)))) (log (exp (/ (pow (sqrt x) 2) 1))) (log (exp (/ (pow 1 2) (* (cbrt 2) (cbrt 2))))) (log (exp (/ (pow 1 2) (sqrt 2)))) (log (exp (/ (pow 1 2) 1))) (log (exp (/ x (* (cbrt 2) (cbrt 2))))) (log (exp (/ x (sqrt 2)))) (log (exp (/ x 1))) (log (exp (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (* (cbrt 2) (cbrt 2))))) (log (exp (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (sqrt 2)))) (log (exp (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) 1))) (log (exp (/ (sqrt (pow x 2)) (* (cbrt 2) (cbrt 2))))) (log (exp (/ (sqrt (pow x 2)) (sqrt 2)))) (log (exp (/ (sqrt (pow x 2)) 1))) (log (exp (/ 1 (* (cbrt 2) (cbrt 2))))) (log (exp (/ 1 (sqrt 2)))) (log (exp (/ 1 1))) (log (exp (/ (pow x (/ 2 2)) (* (cbrt 2) (cbrt 2))))) (log (exp (/ (pow x (/ 2 2)) (sqrt 2)))) (log (exp (/ (pow x (/ 2 2)) 1))) (log (exp 1)) (log (exp (pow x 2))) (log (log (exp (/ (pow x 2) 2)))) (exp (log (exp (/ (pow x 2) 2)))) (* (cbrt (log (exp (/ (pow x 2) 2)))) (cbrt (log (exp (/ (pow x 2) 2))))) (cbrt (log (exp (/ (pow x 2) 2)))) (* (* (log (exp (/ (pow x 2) 2))) (log (exp (/ (pow x 2) 2)))) (log (exp (/ (pow x 2) 2)))) (sqrt (log (exp (/ (pow x 2) 2)))) (sqrt (log (exp (/ (pow x 2) 2)))) (- (* (log x) 3) (log 6)) (- (* (log x) 3) (log 6)) (- (log (pow x 3)) (log 6)) (log (/ (pow x 3) 6)) (exp (/ (pow x 3) 6)) (/ (* (* (pow x 3) (pow x 3)) (pow x 3)) (* (* 6 6) 6)) (* (cbrt (/ (pow x 3) 6)) (cbrt (/ (pow x 3) 6))) (cbrt (/ (pow x 3) 6)) (* (* (/ (pow x 3) 6) (/ (pow x 3) 6)) (/ (pow x 3) 6)) (sqrt (/ (pow x 3) 6)) (sqrt (/ (pow x 3) 6)) (- (pow x 3)) (- 6) (/ (pow (* (cbrt x) (cbrt x)) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (cbrt x) 3) (cbrt 6)) (/ (pow (* (cbrt x) (cbrt x)) 3) (sqrt 6)) (/ (pow (cbrt x) 3) (sqrt 6)) (/ (pow (* (cbrt x) (cbrt x)) 3) 1) (/ (pow (cbrt x) 3) 6) (/ (pow (sqrt x) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (sqrt x) 3) (cbrt 6)) (/ (pow (sqrt x) 3) (sqrt 6)) (/ (pow (sqrt x) 3) (sqrt 6)) (/ (pow (sqrt x) 3) 1) (/ (pow (sqrt x) 3) 6) (/ (pow 1 3) (* (cbrt 6) (cbrt 6))) (/ (pow x 3) (cbrt 6)) (/ (pow 1 3) (sqrt 6)) (/ (pow x 3) (sqrt 6)) (/ (pow 1 3) 1) (/ (pow x 3) 6) (/ (* x x) (* (cbrt 6) (cbrt 6))) (/ x (cbrt 6)) (/ (* x x) (sqrt 6)) (/ x (sqrt 6)) (/ (* x x) 1) (/ x 6) (/ (* (cbrt (pow x 3)) (cbrt (pow x 3))) (* (cbrt 6) (cbrt 6))) (/ (cbrt (pow x 3)) (cbrt 6)) (/ (* (cbrt (pow x 3)) (cbrt (pow x 3))) (sqrt 6)) (/ (cbrt (pow x 3)) (sqrt 6)) (/ (* (cbrt (pow x 3)) (cbrt (pow x 3))) 1) (/ (cbrt (pow x 3)) 6) (/ (pow (* (cbrt x) (cbrt x)) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (cbrt x) 3) (cbrt 6)) (/ (pow (* (cbrt x) (cbrt x)) 3) (sqrt 6)) (/ (pow (cbrt x) 3) (sqrt 6)) (/ (pow (* (cbrt x) (cbrt x)) 3) 1) (/ (pow (cbrt x) 3) 6) (/ (pow (sqrt x) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (sqrt x) 3) (cbrt 6)) (/ (pow (sqrt x) 3) (sqrt 6)) (/ (pow (sqrt x) 3) (sqrt 6)) (/ (pow (sqrt x) 3) 1) (/ (pow (sqrt x) 3) 6) (/ (pow 1 3) (* (cbrt 6) (cbrt 6))) (/ (pow x 3) (cbrt 6)) (/ (pow 1 3) (sqrt 6)) (/ (pow x 3) (sqrt 6)) (/ (pow 1 3) 1) (/ (pow x 3) 6) (/ x (* (cbrt 6) (cbrt 6))) (/ (* x x) (cbrt 6)) (/ x (sqrt 6)) (/ (* x x) (sqrt 6)) (/ x 1) (/ (* x x) 6) (/ (sqrt (pow x 3)) (* (cbrt 6) (cbrt 6))) (/ (sqrt (pow x 3)) (cbrt 6)) (/ (sqrt (pow x 3)) (sqrt 6)) (/ (sqrt (pow x 3)) (sqrt 6)) (/ (sqrt (pow x 3)) 1) (/ (sqrt (pow x 3)) 6) (/ 1 (* (cbrt 6) (cbrt 6))) (/ (pow x 3) (cbrt 6)) (/ 1 (sqrt 6)) (/ (pow x 3) (sqrt 6)) (/ 1 1) (/ (pow x 3) 6) (/ (pow x (/ 3 2)) (* (cbrt 6) (cbrt 6))) (/ (pow x (/ 3 2)) (cbrt 6)) (/ (pow x (/ 3 2)) (sqrt 6)) (/ (pow x (/ 3 2)) (sqrt 6)) (/ (pow x (/ 3 2)) 1) (/ (pow x (/ 3 2)) 6) (/ 1 6) (/ 6 (pow x 3)) (/ (pow x 3) (* (cbrt 6) (cbrt 6))) (/ (pow x 3) (sqrt 6)) (/ (pow x 3) 1) (/ 6 (pow (cbrt x) 3)) (/ 6 (pow (sqrt x) 3)) (/ 6 (pow x 3)) (/ 6 x) (/ 6 (cbrt (pow x 3))) (/ 6 (pow (cbrt x) 3)) (/ 6 (pow (sqrt x) 3)) (/ 6 (pow x 3)) (/ 6 (* x x)) (/ 6 (sqrt (pow x 3))) (/ 6 (pow x 3)) (/ 6 (pow x (/ 3 2))) (* (* (exp (/ (pow x 2) 2)) (exp x)) (exp (/ (pow x 3) 6))) (* (exp (+ (log (exp (/ (pow x 2) 2))) x)) (exp (/ (pow x 3) 6))) (log (+ (+ (log (exp (/ (pow x 2) 2))) x) (/ (pow x 3) 6))) (exp (+ (+ (log (exp (/ (pow x 2) 2))) x) (/ (pow x 3) 6))) (* (cbrt (+ (+ (log (exp (/ (pow x 2) 2))) x) (/ (pow x 3) 6))) (cbrt (+ (+ (log (exp (/ (pow x 2) 2))) x) (/ (pow x 3) 6)))) (cbrt (+ (+ (log (exp (/ (pow x 2) 2))) x) (/ (pow x 3) 6))) (* (* (+ (+ (log (exp (/ (pow x 2) 2))) x) (/ (pow x 3) 6)) (+ (+ (log (exp (/ (pow x 2) 2))) x) (/ (pow x 3) 6))) (+ (+ (log (exp (/ (pow x 2) 2))) x) (/ (pow x 3) 6))) (sqrt (+ (+ (log (exp (/ (pow x 2) 2))) x) (/ (pow x 3) 6))) (sqrt (+ (+ (log (exp (/ (pow x 2) 2))) x) (/ (pow x 3) 6))) (+ (* (+ (pow (log (exp (/ (pow x 2) 2))) 3) (pow x 3)) 6) (* (+ (* (log (exp (/ (pow x 2) 2))) (log (exp (/ (pow x 2) 2)))) (- (* x x) (* (log (exp (/ (pow x 2) 2))) x))) (pow x 3))) (* (+ (* (log (exp (/ (pow x 2) 2))) (log (exp (/ (pow x 2) 2)))) (- (* x x) (* (log (exp (/ (pow x 2) 2))) x))) 6) (+ (* (- (* (log (exp (/ (pow x 2) 2))) (log (exp (/ (pow x 2) 2)))) (* x x)) 6) (* (- (log (exp (/ (pow x 2) 2))) x) (pow x 3))) (* (- (log (exp (/ (pow x 2) 2))) x) 6) (+ (pow (+ (log (exp (/ (pow x 2) 2))) x) 3) (pow (/ (pow x 3) 6) 3)) (+ (* (+ (log (exp (/ (pow x 2) 2))) x) (+ (log (exp (/ (pow x 2) 2))) x)) (- (* (/ (pow x 3) 6) (/ (pow x 3) 6)) (* (+ (log (exp (/ (pow x 2) 2))) x) (/ (pow x 3) 6)))) (- (* (+ (log (exp (/ (pow x 2) 2))) x) (+ (log (exp (/ (pow x 2) 2))) x)) (* (/ (pow x 3) 6) (/ (pow x 3) 6))) (- (+ (log (exp (/ (pow x 2) 2))) x) (/ (pow x 3) 6)) (+ (+ (log (exp (/ (pow x 2) 2))) x) (/ (pow x 3) 6)) (+ (+ (log (exp (/ (pow x 2) 2))) x) (/ (pow x 3) 6)) (+ (+ (log (exp (/ (pow x 2) 2))) x) (/ (pow x 3) 6)) (+ x (/ (pow x 3) 6)) (- (* (log x) 2) (log 2)) (- (* (log x) 2) (log 2)) (- (log (pow x 2)) (log 2)) (log (/ (pow x 2) 2)) (exp (/ (pow x 2) 2)) (/ (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* 2 2) 2)) (* (cbrt (/ (pow x 2) 2)) (cbrt (/ (pow x 2) 2))) (cbrt (/ (pow x 2) 2)) (* (* (/ (pow x 2) 2) (/ (pow x 2) 2)) (/ (pow x 2) 2)) (sqrt (/ (pow x 2) 2)) (sqrt (/ (pow x 2) 2)) (- (pow x 2)) (- 2) (/ (pow (* (cbrt x) (cbrt x)) 2) (* (cbrt 2) (cbrt 2))) (/ (pow (cbrt x) 2) (cbrt 2)) (/ (pow (* (cbrt x) (cbrt x)) 2) (sqrt 2)) (/ (pow (cbrt x) 2) (sqrt 2)) (/ (pow (* (cbrt x) (cbrt x)) 2) 1) (/ (pow (cbrt x) 2) 2) (/ (pow (sqrt x) 2) (* (cbrt 2) (cbrt 2))) (/ (pow (sqrt x) 2) (cbrt 2)) (/ (pow (sqrt x) 2) (sqrt 2)) (/ (pow (sqrt x) 2) (sqrt 2)) (/ (pow (sqrt x) 2) 1) (/ (pow (sqrt x) 2) 2) (/ (pow 1 2) (* (cbrt 2) (cbrt 2))) (/ (pow x 2) (cbrt 2)) (/ (pow 1 2) (sqrt 2)) (/ (pow x 2) (sqrt 2)) (/ (pow 1 2) 1) (/ (pow x 2) 2) (/ x (* (cbrt 2) (cbrt 2))) (/ x (cbrt 2)) (/ x (sqrt 2)) (/ x (sqrt 2)) (/ x 1) (/ x 2) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (* (cbrt 2) (cbrt 2))) (/ (cbrt (pow x 2)) (cbrt 2)) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (sqrt 2)) (/ (cbrt (pow x 2)) (sqrt 2)) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) 1) (/ (cbrt (pow x 2)) 2) (/ (sqrt (pow x 2)) (* (cbrt 2) (cbrt 2))) (/ (sqrt (pow x 2)) (cbrt 2)) (/ (sqrt (pow x 2)) (sqrt 2)) (/ (sqrt (pow x 2)) (sqrt 2)) (/ (sqrt (pow x 2)) 1) (/ (sqrt (pow x 2)) 2) (/ 1 (* (cbrt 2) (cbrt 2))) (/ (pow x 2) (cbrt 2)) (/ 1 (sqrt 2)) (/ (pow x 2) (sqrt 2)) (/ 1 1) (/ (pow x 2) 2) (/ (pow x (/ 2 2)) (* (cbrt 2) (cbrt 2))) (/ (pow x (/ 2 2)) (cbrt 2)) (/ (pow x (/ 2 2)) (sqrt 2)) (/ (pow x (/ 2 2)) (sqrt 2)) (/ (pow x (/ 2 2)) 1) (/ (pow x (/ 2 2)) 2) (/ 1 2) (/ 2 (pow x 2)) (/ (pow x 2) (* (cbrt 2) (cbrt 2))) (/ (pow x 2) (sqrt 2)) (/ (pow x 2) 1) (/ 2 (pow (cbrt x) 2)) (/ 2 (pow (sqrt x) 2)) (/ 2 (pow x 2)) (/ 2 x) (/ 2 (cbrt (pow x 2))) (/ 2 (sqrt (pow x 2))) (/ 2 (pow x 2)) (/ 2 (pow x (/ 2 2))) (* 1/2 (pow x 2)) (* 1/2 (pow x 2)) (* 1/2 (pow x 2)) (* 1/6 (pow x 3)) (* 1/6 (pow x 3)) (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) (* 1/2 (pow x 2)) (* 1/2 (pow x 2)) (* 1/2 (pow x 2)) 5.324 * [simplify]: Sending expressions to egg_math: (log (* (cbrt (exp (/ (pow h0 2) 2))) (cbrt (exp (/ (pow h0 2) 2))))) (log (cbrt (exp (/ (pow h0 2) 2)))) (log (sqrt (exp (/ (pow h0 2) 2)))) (log (sqrt (exp (/ (pow h0 2) 2)))) (log 1) (log (exp (/ (pow h0 2) 2))) (log (exp (/ (pow h0 2) 2))) (log (exp (* (cbrt (/ (pow h0 2) 2)) (cbrt (/ (pow h0 2) 2))))) (log (exp (sqrt (/ (pow h0 2) 2)))) (log (exp (/ (pow (* (cbrt h0) (cbrt h0)) 2) (* (cbrt 2) (cbrt 2))))) (log (exp (/ (pow (* (cbrt h0) (cbrt h0)) 2) (sqrt 2)))) (log (exp (/ (pow (* (cbrt h0) (cbrt h0)) 2) 1))) (log (exp (/ (pow (sqrt h0) 2) (* (cbrt 2) (cbrt 2))))) (log (exp (/ (pow (sqrt h0) 2) (sqrt 2)))) (log (exp (/ (pow (sqrt h0) 2) 1))) (log (exp (/ (pow 1 2) (* (cbrt 2) (cbrt 2))))) (log (exp (/ (pow 1 2) (sqrt 2)))) (log (exp (/ (pow 1 2) 1))) (log (exp (/ h0 (* (cbrt 2) (cbrt 2))))) (log (exp (/ h0 (sqrt 2)))) (log (exp (/ h0 1))) (log (exp (/ (* (cbrt (pow h0 2)) (cbrt (pow h0 2))) (* (cbrt 2) (cbrt 2))))) (log (exp (/ (* (cbrt (pow h0 2)) (cbrt (pow h0 2))) (sqrt 2)))) (log (exp (/ (* (cbrt (pow h0 2)) (cbrt (pow h0 2))) 1))) (log (exp (/ (sqrt (pow h0 2)) (* (cbrt 2) (cbrt 2))))) (log (exp (/ (sqrt (pow h0 2)) (sqrt 2)))) (log (exp (/ (sqrt (pow h0 2)) 1))) (log (exp (/ 1 (* (cbrt 2) (cbrt 2))))) (log (exp (/ 1 (sqrt 2)))) (log (exp (/ 1 1))) (log (exp (/ (pow h0 (/ 2 2)) (* (cbrt 2) (cbrt 2))))) (log (exp (/ (pow h0 (/ 2 2)) (sqrt 2)))) (log (exp (/ (pow h0 (/ 2 2)) 1))) (log (exp 1)) (log (exp (pow h0 2))) (log (log (exp (/ (pow h0 2) 2)))) (exp (log (exp (/ (pow h0 2) 2)))) (* (cbrt (log (exp (/ (pow h0 2) 2)))) (cbrt (log (exp (/ (pow h0 2) 2))))) (cbrt (log (exp (/ (pow h0 2) 2)))) (* (* (log (exp (/ (pow h0 2) 2))) (log (exp (/ (pow h0 2) 2)))) (log (exp (/ (pow h0 2) 2)))) (sqrt (log (exp (/ (pow h0 2) 2)))) (sqrt (log (exp (/ (pow h0 2) 2)))) (- (* (log h0) 3) (log 6)) (- (* (log h0) 3) (log 6)) (- (log (pow h0 3)) (log 6)) (log (/ (pow h0 3) 6)) (exp (/ (pow h0 3) 6)) (/ (* (* (pow h0 3) (pow h0 3)) (pow h0 3)) (* (* 6 6) 6)) (* (cbrt (/ (pow h0 3) 6)) (cbrt (/ (pow h0 3) 6))) (cbrt (/ (pow h0 3) 6)) (* (* (/ (pow h0 3) 6) (/ (pow h0 3) 6)) (/ (pow h0 3) 6)) (sqrt (/ (pow h0 3) 6)) (sqrt (/ (pow h0 3) 6)) (- (pow h0 3)) (- 6) (/ (pow (* (cbrt h0) (cbrt h0)) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (cbrt h0) 3) (cbrt 6)) (/ (pow (* (cbrt h0) (cbrt h0)) 3) (sqrt 6)) (/ (pow (cbrt h0) 3) (sqrt 6)) (/ (pow (* (cbrt h0) (cbrt h0)) 3) 1) (/ (pow (cbrt h0) 3) 6) (/ (pow (sqrt h0) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (sqrt h0) 3) (cbrt 6)) (/ (pow (sqrt h0) 3) (sqrt 6)) (/ (pow (sqrt h0) 3) (sqrt 6)) (/ (pow (sqrt h0) 3) 1) (/ (pow (sqrt h0) 3) 6) (/ (pow 1 3) (* (cbrt 6) (cbrt 6))) (/ (pow h0 3) (cbrt 6)) (/ (pow 1 3) (sqrt 6)) (/ (pow h0 3) (sqrt 6)) (/ (pow 1 3) 1) (/ (pow h0 3) 6) (/ (* h0 h0) (* (cbrt 6) (cbrt 6))) (/ h0 (cbrt 6)) (/ (* h0 h0) (sqrt 6)) (/ h0 (sqrt 6)) (/ (* h0 h0) 1) (/ h0 6) (/ (* (cbrt (pow h0 3)) (cbrt (pow h0 3))) (* (cbrt 6) (cbrt 6))) (/ (cbrt (pow h0 3)) (cbrt 6)) (/ (* (cbrt (pow h0 3)) (cbrt (pow h0 3))) (sqrt 6)) (/ (cbrt (pow h0 3)) (sqrt 6)) (/ (* (cbrt (pow h0 3)) (cbrt (pow h0 3))) 1) (/ (cbrt (pow h0 3)) 6) (/ (pow (* (cbrt h0) (cbrt h0)) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (cbrt h0) 3) (cbrt 6)) (/ (pow (* (cbrt h0) (cbrt h0)) 3) (sqrt 6)) (/ (pow (cbrt h0) 3) (sqrt 6)) (/ (pow (* (cbrt h0) (cbrt h0)) 3) 1) (/ (pow (cbrt h0) 3) 6) (/ (pow (sqrt h0) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (sqrt h0) 3) (cbrt 6)) (/ (pow (sqrt h0) 3) (sqrt 6)) (/ (pow (sqrt h0) 3) (sqrt 6)) (/ (pow (sqrt h0) 3) 1) (/ (pow (sqrt h0) 3) 6) (/ (pow 1 3) (* (cbrt 6) (cbrt 6))) (/ (pow h0 3) (cbrt 6)) (/ (pow 1 3) (sqrt 6)) (/ (pow h0 3) (sqrt 6)) (/ (pow 1 3) 1) (/ (pow h0 3) 6) (/ h0 (* (cbrt 6) (cbrt 6))) (/ (* h0 h0) (cbrt 6)) (/ h0 (sqrt 6)) (/ (* h0 h0) (sqrt 6)) (/ h0 1) (/ (* h0 h0) 6) (/ (sqrt (pow h0 3)) (* (cbrt 6) (cbrt 6))) (/ (sqrt (pow h0 3)) (cbrt 6)) (/ (sqrt (pow h0 3)) (sqrt 6)) (/ (sqrt (pow h0 3)) (sqrt 6)) (/ (sqrt (pow h0 3)) 1) (/ (sqrt (pow h0 3)) 6) (/ 1 (* (cbrt 6) (cbrt 6))) (/ (pow h0 3) (cbrt 6)) (/ 1 (sqrt 6)) (/ (pow h0 3) (sqrt 6)) (/ 1 1) (/ (pow h0 3) 6) (/ (pow h0 (/ 3 2)) (* (cbrt 6) (cbrt 6))) (/ (pow h0 (/ 3 2)) (cbrt 6)) (/ (pow h0 (/ 3 2)) (sqrt 6)) (/ (pow h0 (/ 3 2)) (sqrt 6)) (/ (pow h0 (/ 3 2)) 1) (/ (pow h0 (/ 3 2)) 6) (/ 1 6) (/ 6 (pow h0 3)) (/ (pow h0 3) (* (cbrt 6) (cbrt 6))) (/ (pow h0 3) (sqrt 6)) (/ (pow h0 3) 1) (/ 6 (pow (cbrt h0) 3)) (/ 6 (pow (sqrt h0) 3)) (/ 6 (pow h0 3)) (/ 6 h0) (/ 6 (cbrt (pow h0 3))) (/ 6 (pow (cbrt h0) 3)) (/ 6 (pow (sqrt h0) 3)) (/ 6 (pow h0 3)) (/ 6 (* h0 h0)) (/ 6 (sqrt (pow h0 3))) (/ 6 (pow h0 3)) (/ 6 (pow h0 (/ 3 2))) (* (* (exp (/ (pow h0 2) 2)) (exp h0)) (exp (/ (pow h0 3) 6))) (* (exp (+ (log (exp (/ (pow h0 2) 2))) h0)) (exp (/ (pow h0 3) 6))) (log (+ (+ (log (exp (/ (pow h0 2) 2))) h0) (/ (pow h0 3) 6))) (exp (+ (+ (log (exp (/ (pow h0 2) 2))) h0) (/ (pow h0 3) 6))) (* (cbrt (+ (+ (log (exp (/ (pow h0 2) 2))) h0) (/ (pow h0 3) 6))) (cbrt (+ (+ (log (exp (/ (pow h0 2) 2))) h0) (/ (pow h0 3) 6)))) (cbrt (+ (+ (log (exp (/ (pow h0 2) 2))) h0) (/ (pow h0 3) 6))) (* (* (+ (+ (log (exp (/ (pow h0 2) 2))) h0) (/ (pow h0 3) 6)) (+ (+ (log (exp (/ (pow h0 2) 2))) h0) (/ (pow h0 3) 6))) (+ (+ (log (exp (/ (pow h0 2) 2))) h0) (/ (pow h0 3) 6))) (sqrt (+ (+ (log (exp (/ (pow h0 2) 2))) h0) (/ (pow h0 3) 6))) (sqrt (+ (+ (log (exp (/ (pow h0 2) 2))) h0) (/ (pow h0 3) 6))) (+ (* (+ (pow (log (exp (/ (pow h0 2) 2))) 3) (pow h0 3)) 6) (* (+ (* (log (exp (/ (pow h0 2) 2))) (log (exp (/ (pow h0 2) 2)))) (- (* h0 h0) (* (log (exp (/ (pow h0 2) 2))) h0))) (pow h0 3))) (* (+ (* (log (exp (/ (pow h0 2) 2))) (log (exp (/ (pow h0 2) 2)))) (- (* h0 h0) (* (log (exp (/ (pow h0 2) 2))) h0))) 6) (+ (* (- (* (log (exp (/ (pow h0 2) 2))) (log (exp (/ (pow h0 2) 2)))) (* h0 h0)) 6) (* (- (log (exp (/ (pow h0 2) 2))) h0) (pow h0 3))) (* (- (log (exp (/ (pow h0 2) 2))) h0) 6) (+ (pow (+ (log (exp (/ (pow h0 2) 2))) h0) 3) (pow (/ (pow h0 3) 6) 3)) (+ (* (+ (log (exp (/ (pow h0 2) 2))) h0) (+ (log (exp (/ (pow h0 2) 2))) h0)) (- (* (/ (pow h0 3) 6) (/ (pow h0 3) 6)) (* (+ (log (exp (/ (pow h0 2) 2))) h0) (/ (pow h0 3) 6)))) (- (* (+ (log (exp (/ (pow h0 2) 2))) h0) (+ (log (exp (/ (pow h0 2) 2))) h0)) (* (/ (pow h0 3) 6) (/ (pow h0 3) 6))) (- (+ (log (exp (/ (pow h0 2) 2))) h0) (/ (pow h0 3) 6)) (+ (+ (log (exp (/ (pow h0 2) 2))) h0) (/ (pow h0 3) 6)) (+ (+ (log (exp (/ (pow h0 2) 2))) h0) (/ (pow h0 3) 6)) (+ (+ (log (exp (/ (pow h0 2) 2))) h0) (/ (pow h0 3) 6)) (+ h0 (/ (pow h0 3) 6)) (- (* (log h0) 2) (log 2)) (- (* (log h0) 2) (log 2)) (- (log (pow h0 2)) (log 2)) (log (/ (pow h0 2) 2)) (exp (/ (pow h0 2) 2)) (/ (* (* (pow h0 2) (pow h0 2)) (pow h0 2)) (* (* 2 2) 2)) (* (cbrt (/ (pow h0 2) 2)) (cbrt (/ (pow h0 2) 2))) (cbrt (/ (pow h0 2) 2)) (* (* (/ (pow h0 2) 2) (/ (pow h0 2) 2)) (/ (pow h0 2) 2)) (sqrt (/ (pow h0 2) 2)) (sqrt (/ (pow h0 2) 2)) (- (pow h0 2)) (- 2) (/ (pow (* (cbrt h0) (cbrt h0)) 2) (* (cbrt 2) (cbrt 2))) (/ (pow (cbrt h0) 2) (cbrt 2)) (/ (pow (* (cbrt h0) (cbrt h0)) 2) (sqrt 2)) (/ (pow (cbrt h0) 2) (sqrt 2)) (/ (pow (* (cbrt h0) (cbrt h0)) 2) 1) (/ (pow (cbrt h0) 2) 2) (/ (pow (sqrt h0) 2) (* (cbrt 2) (cbrt 2))) (/ (pow (sqrt h0) 2) (cbrt 2)) (/ (pow (sqrt h0) 2) (sqrt 2)) (/ (pow (sqrt h0) 2) (sqrt 2)) (/ (pow (sqrt h0) 2) 1) (/ (pow (sqrt h0) 2) 2) (/ (pow 1 2) (* (cbrt 2) (cbrt 2))) (/ (pow h0 2) (cbrt 2)) (/ (pow 1 2) (sqrt 2)) (/ (pow h0 2) (sqrt 2)) (/ (pow 1 2) 1) (/ (pow h0 2) 2) (/ h0 (* (cbrt 2) (cbrt 2))) (/ h0 (cbrt 2)) (/ h0 (sqrt 2)) (/ h0 (sqrt 2)) (/ h0 1) (/ h0 2) (/ (* (cbrt (pow h0 2)) (cbrt (pow h0 2))) (* (cbrt 2) (cbrt 2))) (/ (cbrt (pow h0 2)) (cbrt 2)) (/ (* (cbrt (pow h0 2)) (cbrt (pow h0 2))) (sqrt 2)) (/ (cbrt (pow h0 2)) (sqrt 2)) (/ (* (cbrt (pow h0 2)) (cbrt (pow h0 2))) 1) (/ (cbrt (pow h0 2)) 2) (/ (sqrt (pow h0 2)) (* (cbrt 2) (cbrt 2))) (/ (sqrt (pow h0 2)) (cbrt 2)) (/ (sqrt (pow h0 2)) (sqrt 2)) (/ (sqrt (pow h0 2)) (sqrt 2)) (/ (sqrt (pow h0 2)) 1) (/ (sqrt (pow h0 2)) 2) (/ 1 (* (cbrt 2) (cbrt 2))) (/ (pow h0 2) (cbrt 2)) (/ 1 (sqrt 2)) (/ (pow h0 2) (sqrt 2)) (/ 1 1) (/ (pow h0 2) 2) (/ (pow h0 (/ 2 2)) (* (cbrt 2) (cbrt 2))) (/ (pow h0 (/ 2 2)) (cbrt 2)) (/ (pow h0 (/ 2 2)) (sqrt 2)) (/ (pow h0 (/ 2 2)) (sqrt 2)) (/ (pow h0 (/ 2 2)) 1) (/ (pow h0 (/ 2 2)) 2) (/ 1 2) (/ 2 (pow h0 2)) (/ (pow h0 2) (* (cbrt 2) (cbrt 2))) (/ (pow h0 2) (sqrt 2)) (/ (pow h0 2) 1) (/ 2 (pow (cbrt h0) 2)) (/ 2 (pow (sqrt h0) 2)) (/ 2 (pow h0 2)) (/ 2 h0) (/ 2 (cbrt (pow h0 2))) (/ 2 (sqrt (pow h0 2))) (/ 2 (pow h0 2)) (/ 2 (pow h0 (/ 2 2))) (* (/ 1 2) (pow h0 2)) (* (/ 1 2) (pow h0 2)) (* (/ 1 2) (pow h0 2)) (* (/ 1 6) (pow h0 3)) (* (/ 1 6) (pow h0 3)) (* (/ 1 6) (pow h0 3)) (+ (* (/ 1 2) (pow h0 2)) (+ (* (/ 1 6) (pow h0 3)) h0)) (+ (* (/ 1 2) (pow h0 2)) (+ h0 (* (/ 1 6) (pow h0 3)))) (+ (* (/ 1 2) (pow h0 2)) (+ h0 (* (/ 1 6) (pow h0 3)))) (* (/ 1 2) (pow h0 2)) (* (/ 1 2) (pow h0 2)) (* (/ 1 2) (pow h0 2)) 6.180 * * * [progress]: adding candidates to table 6.550 * [progress]: [Phase 3 of 3] Extracting. 6.550 * * [regime]: Finding splitpoints for: (# # #) 6.551 * * * [regime-changes]: Trying 1 branch expressions: (x) 6.551 * * * * [regimes]: Trying to branch on x from (# # #) 6.564 * * * [regime]: Found split indices: #