1538641084.745 * [misc]progress: [Phase 1 of 3] Setting up. 1538641084.746 * * * [misc]progress: [1/2] Preparing points 1538641084.747 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538641084.858 * * * * [misc]points: Filtering points with unrepresentable outputs 1538641084.858 * * * * [misc]points: Sampling 169 additional inputs, on iter 1 have 87 / 256 1538641084.885 * * * * [misc]points: Filtering points with unrepresentable outputs 1538641084.885 * * * * [misc]points: Sampling 97 additional inputs, on iter 2 have 159 / 256 1538641084.902 * * * * [misc]points: Filtering points with unrepresentable outputs 1538641084.903 * * * * [misc]points: Sampling 59 additional inputs, on iter 3 have 197 / 256 1538641084.915 * * * * [misc]points: Filtering points with unrepresentable outputs 1538641084.915 * * * * [misc]points: Sampling 34 additional inputs, on iter 4 have 222 / 256 1538641084.923 * * * * [misc]points: Filtering points with unrepresentable outputs 1538641084.923 * * * * [misc]points: Sampling 22 additional inputs, on iter 5 have 234 / 256 1538641084.928 * * * * [misc]points: Filtering points with unrepresentable outputs 1538641084.929 * * * * [misc]points: Sampling 16 additional inputs, on iter 6 have 240 / 256 1538641084.934 * * * * [misc]points: Filtering points with unrepresentable outputs 1538641084.934 * * * * [misc]points: Sampling 10 additional inputs, on iter 7 have 246 / 256 1538641084.938 * * * * [misc]points: Filtering points with unrepresentable outputs 1538641084.938 * * * * [misc]points: Sampling 6 additional inputs, on iter 8 have 250 / 256 1538641084.941 * * * * [misc]points: Filtering points with unrepresentable outputs 1538641084.941 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 252 / 256 1538641084.944 * * * * [misc]points: Filtering points with unrepresentable outputs 1538641084.944 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 254 / 256 1538641084.947 * * * * [misc]points: Filtering points with unrepresentable outputs 1538641084.947 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 255 / 256 1538641084.950 * * * * [misc]points: Filtering points with unrepresentable outputs 1538641084.950 * * * * [exit]points: Sampled 256 points with exact outputs 1538641084.951 * * * [misc]progress: [2/2] Setting up program. 1538641084.998 * [misc]progress: [Phase 2 of 3] Improving. 1538641084.998 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1538641085.000 * * [misc]simplify: iters left: 3 (6 enodes) 1538641085.005 * * [misc]simplify: iters left: 2 (8 enodes) 1538641085.006 * * [misc]simplify: iters left: 1 (9 enodes) 1538641085.009 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538641085.019 * * [misc]progress: iteration 1 / 4 1538641085.019 * * * [misc]progress: picking best candidate 1538641085.024 * * * * [misc]pick: Picked # 1538641085.024 * * * [misc]progress: localizing error 1538641085.048 * * * [misc]progress: generating rewritten candidates 1538641085.048 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1538641085.099 * * * [misc]progress: generating series expansions 1538641085.099 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1538641085.105 * [misc]backup-simplify: Simplify (- (pow x 4) (pow y 4)) into (- (pow x 4) (pow y 4)) 1538641085.105 * [misc]approximate: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0 1538641085.106 * [misc]taylor: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y 1538641085.106 * [misc]taylor: Taking taylor expansion of (pow x 4) in y 1538641085.106 * [misc]taylor: Taking taylor expansion of x in y 1538641085.106 * [misc]backup-simplify: Simplify x into x 1538641085.106 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1538641085.106 * [misc]taylor: Taking taylor expansion of y in y 1538641085.106 * [misc]backup-simplify: Simplify 0 into 0 1538641085.107 * [misc]backup-simplify: Simplify 1 into 1 1538641085.107 * [misc]taylor: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 1538641085.107 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538641085.107 * [misc]taylor: Taking taylor expansion of x in x 1538641085.107 * [misc]backup-simplify: Simplify 0 into 0 1538641085.107 * [misc]backup-simplify: Simplify 1 into 1 1538641085.107 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1538641085.107 * [misc]taylor: Taking taylor expansion of y in x 1538641085.107 * [misc]backup-simplify: Simplify y into y 1538641085.107 * [misc]taylor: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 1538641085.107 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538641085.107 * [misc]taylor: Taking taylor expansion of x in x 1538641085.107 * [misc]backup-simplify: Simplify 0 into 0 1538641085.107 * [misc]backup-simplify: Simplify 1 into 1 1538641085.107 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1538641085.107 * [misc]taylor: Taking taylor expansion of y in x 1538641085.107 * [misc]backup-simplify: Simplify y into y 1538641085.108 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1538641085.108 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1538641085.108 * [misc]backup-simplify: Simplify (- (pow y 4)) into (- (pow y 4)) 1538641085.108 * [misc]backup-simplify: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4)) 1538641085.108 * [misc]taylor: Taking taylor expansion of (- (pow y 4)) in y 1538641085.108 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1538641085.108 * [misc]taylor: Taking taylor expansion of y in y 1538641085.108 * [misc]backup-simplify: Simplify 0 into 0 1538641085.108 * [misc]backup-simplify: Simplify 1 into 1 1538641085.108 * [misc]backup-simplify: Simplify (+ (* y 0) (* 0 y)) into 0 1538641085.108 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1538641085.109 * [misc]backup-simplify: Simplify (- 0) into 0 1538641085.109 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538641085.109 * [misc]taylor: Taking taylor expansion of 0 in y 1538641085.109 * [misc]backup-simplify: Simplify 0 into 0 1538641085.109 * [misc]backup-simplify: Simplify 0 into 0 1538641085.109 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1538641085.109 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1538641085.109 * [misc]backup-simplify: Simplify (- 0) into 0 1538641085.110 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538641085.110 * [misc]taylor: Taking taylor expansion of 0 in y 1538641085.110 * [misc]backup-simplify: Simplify 0 into 0 1538641085.110 * [misc]backup-simplify: Simplify 0 into 0 1538641085.110 * [misc]backup-simplify: Simplify 0 into 0 1538641085.110 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 1538641085.110 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 1538641085.110 * [misc]backup-simplify: Simplify (- 0) into 0 1538641085.111 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538641085.111 * [misc]taylor: Taking taylor expansion of 0 in y 1538641085.111 * [misc]backup-simplify: Simplify 0 into 0 1538641085.111 * [misc]backup-simplify: Simplify 0 into 0 1538641085.111 * [misc]backup-simplify: Simplify 0 into 0 1538641085.111 * [misc]backup-simplify: Simplify 0 into 0 1538641085.111 * [misc]backup-simplify: Simplify 0 into 0 1538641085.111 * [misc]backup-simplify: Simplify (- (pow (/ 1 x) 4) (pow (/ 1 y) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1538641085.111 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0 1538641085.111 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 1538641085.111 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in y 1538641085.111 * [misc]taylor: Taking taylor expansion of (pow x 4) in y 1538641085.111 * [misc]taylor: Taking taylor expansion of x in y 1538641085.111 * [misc]backup-simplify: Simplify x into x 1538641085.112 * [misc]backup-simplify: Simplify (* x x) into (pow x 2) 1538641085.112 * [misc]backup-simplify: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 1538641085.112 * [misc]backup-simplify: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 1538641085.112 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1538641085.112 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1538641085.112 * [misc]taylor: Taking taylor expansion of y in y 1538641085.112 * [misc]backup-simplify: Simplify 0 into 0 1538641085.112 * [misc]backup-simplify: Simplify 1 into 1 1538641085.112 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.112 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.112 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.112 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1538641085.112 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538641085.112 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538641085.112 * [misc]taylor: Taking taylor expansion of x in x 1538641085.112 * [misc]backup-simplify: Simplify 0 into 0 1538641085.112 * [misc]backup-simplify: Simplify 1 into 1 1538641085.112 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.112 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.112 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.112 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1538641085.113 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1538641085.113 * [misc]taylor: Taking taylor expansion of y in x 1538641085.113 * [misc]backup-simplify: Simplify y into y 1538641085.113 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1538641085.113 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1538641085.113 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1538641085.113 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1538641085.113 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538641085.113 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538641085.113 * [misc]taylor: Taking taylor expansion of x in x 1538641085.113 * [misc]backup-simplify: Simplify 0 into 0 1538641085.113 * [misc]backup-simplify: Simplify 1 into 1 1538641085.113 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.113 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.113 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.113 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1538641085.113 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1538641085.113 * [misc]taylor: Taking taylor expansion of y in x 1538641085.113 * [misc]backup-simplify: Simplify y into y 1538641085.113 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1538641085.113 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1538641085.113 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1538641085.114 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538641085.114 * [misc]taylor: Taking taylor expansion of 1 in y 1538641085.114 * [misc]backup-simplify: Simplify 1 into 1 1538641085.114 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641085.114 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641085.114 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538641085.114 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538641085.114 * [misc]taylor: Taking taylor expansion of 0 in y 1538641085.114 * [misc]backup-simplify: Simplify 0 into 0 1538641085.114 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641085.115 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641085.115 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.115 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538641085.115 * [misc]taylor: Taking taylor expansion of 0 in y 1538641085.115 * [misc]backup-simplify: Simplify 0 into 0 1538641085.115 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641085.115 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641085.116 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.116 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538641085.116 * [misc]taylor: Taking taylor expansion of 0 in y 1538641085.116 * [misc]backup-simplify: Simplify 0 into 0 1538641085.116 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641085.116 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641085.117 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.117 * [misc]backup-simplify: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4))) 1538641085.117 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4))) 1538641085.117 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 1538641085.117 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1538641085.117 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1538641085.117 * [misc]taylor: Taking taylor expansion of y in y 1538641085.117 * [misc]backup-simplify: Simplify 0 into 0 1538641085.117 * [misc]backup-simplify: Simplify 1 into 1 1538641085.117 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.117 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.117 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.117 * [misc]backup-simplify: Simplify (- 1) into -1 1538641085.117 * [misc]backup-simplify: Simplify -1 into -1 1538641085.118 * [misc]backup-simplify: Simplify 1 into 1 1538641085.118 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641085.118 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641085.118 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.118 * [misc]backup-simplify: Simplify (+ (* y 0) (* 0 y)) into 0 1538641085.118 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1538641085.119 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0 1538641085.119 * [misc]backup-simplify: Simplify (- 0) into 0 1538641085.119 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538641085.119 * [misc]taylor: Taking taylor expansion of 0 in y 1538641085.119 * [misc]backup-simplify: Simplify 0 into 0 1538641085.119 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641085.119 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641085.119 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538641085.119 * [misc]backup-simplify: Simplify (- 0) into 0 1538641085.119 * [misc]backup-simplify: Simplify 0 into 0 1538641085.119 * [misc]backup-simplify: Simplify 0 into 0 1538641085.119 * [misc]backup-simplify: Simplify 0 into 0 1538641085.120 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641085.120 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641085.120 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.120 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1538641085.121 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1538641085.121 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0 1538641085.121 * [misc]backup-simplify: Simplify (- 0) into 0 1538641085.121 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538641085.121 * [misc]taylor: Taking taylor expansion of 0 in y 1538641085.121 * [misc]backup-simplify: Simplify 0 into 0 1538641085.121 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641085.122 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641085.122 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.122 * [misc]backup-simplify: Simplify (- 0) into 0 1538641085.122 * [misc]backup-simplify: Simplify 0 into 0 1538641085.122 * [misc]backup-simplify: Simplify 0 into 0 1538641085.122 * [misc]backup-simplify: Simplify 0 into 0 1538641085.123 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 4))) into (- (pow x 4) (pow y 4)) 1538641085.123 * [misc]backup-simplify: Simplify (- (pow (/ 1 (- x)) 4) (pow (/ 1 (- y)) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1538641085.123 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0 1538641085.123 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 1538641085.123 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in y 1538641085.123 * [misc]taylor: Taking taylor expansion of (pow x 4) in y 1538641085.123 * [misc]taylor: Taking taylor expansion of x in y 1538641085.123 * [misc]backup-simplify: Simplify x into x 1538641085.123 * [misc]backup-simplify: Simplify (* x x) into (pow x 2) 1538641085.123 * [misc]backup-simplify: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 1538641085.123 * [misc]backup-simplify: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 1538641085.123 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1538641085.123 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1538641085.123 * [misc]taylor: Taking taylor expansion of y in y 1538641085.123 * [misc]backup-simplify: Simplify 0 into 0 1538641085.123 * [misc]backup-simplify: Simplify 1 into 1 1538641085.124 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.124 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.124 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.124 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1538641085.124 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538641085.124 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538641085.124 * [misc]taylor: Taking taylor expansion of x in x 1538641085.124 * [misc]backup-simplify: Simplify 0 into 0 1538641085.124 * [misc]backup-simplify: Simplify 1 into 1 1538641085.124 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.124 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.124 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.124 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1538641085.124 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1538641085.124 * [misc]taylor: Taking taylor expansion of y in x 1538641085.124 * [misc]backup-simplify: Simplify y into y 1538641085.124 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1538641085.124 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1538641085.124 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1538641085.124 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1538641085.124 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538641085.124 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538641085.124 * [misc]taylor: Taking taylor expansion of x in x 1538641085.124 * [misc]backup-simplify: Simplify 0 into 0 1538641085.125 * [misc]backup-simplify: Simplify 1 into 1 1538641085.125 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.125 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.125 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.125 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1538641085.125 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1538641085.125 * [misc]taylor: Taking taylor expansion of y in x 1538641085.125 * [misc]backup-simplify: Simplify y into y 1538641085.125 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1538641085.125 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1538641085.125 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1538641085.125 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538641085.125 * [misc]taylor: Taking taylor expansion of 1 in y 1538641085.125 * [misc]backup-simplify: Simplify 1 into 1 1538641085.125 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641085.126 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641085.126 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538641085.126 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538641085.126 * [misc]taylor: Taking taylor expansion of 0 in y 1538641085.126 * [misc]backup-simplify: Simplify 0 into 0 1538641085.126 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641085.126 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641085.126 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.126 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538641085.126 * [misc]taylor: Taking taylor expansion of 0 in y 1538641085.126 * [misc]backup-simplify: Simplify 0 into 0 1538641085.127 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641085.127 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641085.127 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.127 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538641085.127 * [misc]taylor: Taking taylor expansion of 0 in y 1538641085.127 * [misc]backup-simplify: Simplify 0 into 0 1538641085.127 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641085.128 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641085.128 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.128 * [misc]backup-simplify: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4))) 1538641085.128 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4))) 1538641085.128 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 1538641085.128 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1538641085.128 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1538641085.128 * [misc]taylor: Taking taylor expansion of y in y 1538641085.128 * [misc]backup-simplify: Simplify 0 into 0 1538641085.128 * [misc]backup-simplify: Simplify 1 into 1 1538641085.128 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.128 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.129 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.129 * [misc]backup-simplify: Simplify (- 1) into -1 1538641085.129 * [misc]backup-simplify: Simplify -1 into -1 1538641085.129 * [misc]backup-simplify: Simplify 1 into 1 1538641085.129 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641085.129 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641085.130 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.130 * [misc]backup-simplify: Simplify (+ (* y 0) (* 0 y)) into 0 1538641085.130 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1538641085.130 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0 1538641085.130 * [misc]backup-simplify: Simplify (- 0) into 0 1538641085.130 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538641085.130 * [misc]taylor: Taking taylor expansion of 0 in y 1538641085.130 * [misc]backup-simplify: Simplify 0 into 0 1538641085.130 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641085.130 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641085.131 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538641085.131 * [misc]backup-simplify: Simplify (- 0) into 0 1538641085.131 * [misc]backup-simplify: Simplify 0 into 0 1538641085.131 * [misc]backup-simplify: Simplify 0 into 0 1538641085.131 * [misc]backup-simplify: Simplify 0 into 0 1538641085.131 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641085.131 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641085.132 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.132 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1538641085.132 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1538641085.132 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0 1538641085.132 * [misc]backup-simplify: Simplify (- 0) into 0 1538641085.132 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538641085.132 * [misc]taylor: Taking taylor expansion of 0 in y 1538641085.132 * [misc]backup-simplify: Simplify 0 into 0 1538641085.133 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641085.133 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641085.133 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.133 * [misc]backup-simplify: Simplify (- 0) into 0 1538641085.133 * [misc]backup-simplify: Simplify 0 into 0 1538641085.133 * [misc]backup-simplify: Simplify 0 into 0 1538641085.133 * [misc]backup-simplify: Simplify 0 into 0 1538641085.134 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 4))) into (- (pow x 4) (pow y 4)) 1538641085.134 * * * [misc]progress: simplifying candidates 1538641085.134 * * * * [misc]progress: [ 1 / 17 ] simplifiying candidate # 1538641085.134 * [enter]simplify: Simplifying (/ (exp (pow x 4)) (exp (pow y 4))) 1538641085.135 * * [misc]simplify: iters left: 4 (8 enodes) 1538641085.137 * * [misc]simplify: iters left: 3 (10 enodes) 1538641085.141 * * [misc]simplify: iters left: 2 (12 enodes) 1538641085.145 * * [misc]simplify: iters left: 1 (15 enodes) 1538641085.151 * [exit]simplify: Simplified to (exp (- (pow x 4) (pow y 4))) 1538641085.151 * [misc]simplify: Simplified (2 1) to (λ (x y) (log (exp (- (pow x 4) (pow y 4))))) 1538641085.151 * * * * [misc]progress: [ 2 / 17 ] simplifiying candidate # 1538641085.152 * * * * [misc]progress: [ 3 / 17 ] simplifiying candidate # 1538641085.152 * * * * [misc]progress: [ 4 / 17 ] simplifiying candidate # 1538641085.152 * * * * [misc]progress: [ 5 / 17 ] simplifiying candidate # 1538641085.152 * * * * [misc]progress: [ 6 / 17 ] simplifiying candidate # 1538641085.152 * * * * [misc]progress: [ 7 / 17 ] simplifiying candidate # 1538641085.152 * * * * [misc]progress: [ 8 / 17 ] simplifiying candidate # 1538641085.152 * * * * [misc]progress: [ 9 / 17 ] simplifiying candidate # 1538641085.152 * * * * [misc]progress: [ 10 / 17 ] simplifiying candidate # 1538641085.152 * * * * [misc]progress: [ 11 / 17 ] simplifiying candidate # 1538641085.152 * * * * [misc]progress: [ 12 / 17 ] simplifiying candidate # 1538641085.152 * [enter]simplify: Simplifying (+ (sqrt (pow x 4)) (sqrt (pow y 4))) 1538641085.153 * * [misc]simplify: iters left: 4 (8 enodes) 1538641085.156 * * [misc]simplify: iters left: 3 (9 enodes) 1538641085.160 * [exit]simplify: Simplified to (+ (sqrt (pow x 4)) (sqrt (pow y 4))) 1538641085.160 * [misc]simplify: Simplified (2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641085.160 * [enter]simplify: Simplifying (- (sqrt (pow x 4)) (sqrt (pow y 4))) 1538641085.161 * * [misc]simplify: iters left: 4 (8 enodes) 1538641085.164 * * [misc]simplify: iters left: 3 (10 enodes) 1538641085.167 * * [misc]simplify: iters left: 2 (11 enodes) 1538641085.171 * [exit]simplify: Simplified to (- (sqrt (pow x 4)) (sqrt (pow y 4))) 1538641085.171 * [misc]simplify: Simplified (2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641085.171 * * * * [misc]progress: [ 13 / 17 ] simplifiying candidate # 1538641085.172 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1538641085.173 * * [misc]simplify: iters left: 3 (6 enodes) 1538641085.175 * * [misc]simplify: iters left: 2 (8 enodes) 1538641085.178 * * [misc]simplify: iters left: 1 (9 enodes) 1538641085.181 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538641085.181 * [misc]simplify: Simplified (2 2) to (λ (x y) (* 1 (- (pow x 4) (pow y 4)))) 1538641085.181 * * * * [misc]progress: [ 14 / 17 ] simplifiying candidate # 1538641085.181 * * * * [misc]progress: [ 15 / 17 ] simplifiying candidate # 1538641085.181 * [enter]simplify: Simplifying 0 1538641085.181 * * [misc]simplify: iters left: 0 (1 enodes) 1538641085.182 * [exit]simplify: Simplified to 0 1538641085.182 * [misc]simplify: Simplified (2) to (λ (x y) 0) 1538641085.182 * * * * [misc]progress: [ 16 / 17 ] simplifiying candidate # 1538641085.182 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1538641085.183 * * [misc]simplify: iters left: 3 (6 enodes) 1538641085.185 * * [misc]simplify: iters left: 2 (8 enodes) 1538641085.188 * * [misc]simplify: iters left: 1 (9 enodes) 1538641085.191 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538641085.191 * [misc]simplify: Simplified (2) to (λ (x y) (- (pow x 4) (pow y 4))) 1538641085.191 * * * * [misc]progress: [ 17 / 17 ] simplifiying candidate # 1538641085.191 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1538641085.192 * * [misc]simplify: iters left: 3 (6 enodes) 1538641085.194 * * [misc]simplify: iters left: 2 (8 enodes) 1538641085.197 * * [misc]simplify: iters left: 1 (9 enodes) 1538641085.200 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538641085.200 * [misc]simplify: Simplified (2) to (λ (x y) (- (pow x 4) (pow y 4))) 1538641085.200 * * * [misc]progress: adding candidates to table 1538641085.484 * * [misc]progress: iteration 2 / 4 1538641085.484 * * * [misc]progress: picking best candidate 1538641085.506 * * * * [misc]pick: Picked # 1538641085.506 * * * [misc]progress: localizing error 1538641085.538 * * * [misc]progress: generating rewritten candidates 1538641085.538 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1) 1538641085.543 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1) 1538641085.548 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 2) 1538641085.553 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2) 1538641085.558 * * * [misc]progress: generating series expansions 1538641085.558 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1) 1538641085.558 * [misc]backup-simplify: Simplify (sqrt (pow x 4)) into (pow x 2) 1538641085.558 * [misc]approximate: Taking taylor expansion of (pow x 2) in (x) around 0 1538641085.558 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538641085.558 * [misc]taylor: Taking taylor expansion of x in x 1538641085.558 * [misc]backup-simplify: Simplify 0 into 0 1538641085.558 * [misc]backup-simplify: Simplify 1 into 1 1538641085.558 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538641085.558 * [misc]taylor: Taking taylor expansion of x in x 1538641085.558 * [misc]backup-simplify: Simplify 0 into 0 1538641085.558 * [misc]backup-simplify: Simplify 1 into 1 1538641085.559 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.559 * [misc]backup-simplify: Simplify 1 into 1 1538641085.559 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641085.559 * [misc]backup-simplify: Simplify 0 into 0 1538641085.560 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641085.560 * [misc]backup-simplify: Simplify 0 into 0 1538641085.560 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641085.560 * [misc]backup-simplify: Simplify 0 into 0 1538641085.560 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641085.560 * [misc]backup-simplify: Simplify 0 into 0 1538641085.561 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641085.561 * [misc]backup-simplify: Simplify 0 into 0 1538641085.561 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641085.562 * [misc]backup-simplify: Simplify 0 into 0 1538641085.562 * [misc]backup-simplify: Simplify (* 1 (pow x 2)) into (pow x 2) 1538641085.562 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 x) 4)) into (/ 1 (pow x 2)) 1538641085.562 * [misc]approximate: Taking taylor expansion of (/ 1 (pow x 2)) in (x) around 0 1538641085.562 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538641085.562 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538641085.562 * [misc]taylor: Taking taylor expansion of x in x 1538641085.562 * [misc]backup-simplify: Simplify 0 into 0 1538641085.562 * [misc]backup-simplify: Simplify 1 into 1 1538641085.562 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.563 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.563 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538641085.563 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538641085.563 * [misc]taylor: Taking taylor expansion of x in x 1538641085.563 * [misc]backup-simplify: Simplify 0 into 0 1538641085.563 * [misc]backup-simplify: Simplify 1 into 1 1538641085.563 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.563 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.563 * [misc]backup-simplify: Simplify 1 into 1 1538641085.563 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641085.564 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538641085.564 * [misc]backup-simplify: Simplify 0 into 0 1538641085.564 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641085.564 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.564 * [misc]backup-simplify: Simplify 0 into 0 1538641085.565 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641085.565 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.565 * [misc]backup-simplify: Simplify 0 into 0 1538641085.566 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641085.566 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.566 * [misc]backup-simplify: Simplify 0 into 0 1538641085.566 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641085.567 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.567 * [misc]backup-simplify: Simplify 0 into 0 1538641085.568 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641085.568 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.568 * [misc]backup-simplify: Simplify 0 into 0 1538641085.568 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 x)) 2)) into (pow x 2) 1538641085.569 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 (- x)) 4)) into (/ 1 (pow x 2)) 1538641085.569 * [misc]approximate: Taking taylor expansion of (/ 1 (pow x 2)) in (x) around 0 1538641085.569 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538641085.569 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538641085.569 * [misc]taylor: Taking taylor expansion of x in x 1538641085.569 * [misc]backup-simplify: Simplify 0 into 0 1538641085.569 * [misc]backup-simplify: Simplify 1 into 1 1538641085.569 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.569 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.569 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538641085.569 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538641085.569 * [misc]taylor: Taking taylor expansion of x in x 1538641085.569 * [misc]backup-simplify: Simplify 0 into 0 1538641085.570 * [misc]backup-simplify: Simplify 1 into 1 1538641085.570 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.570 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.570 * [misc]backup-simplify: Simplify 1 into 1 1538641085.570 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641085.570 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538641085.570 * [misc]backup-simplify: Simplify 0 into 0 1538641085.571 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641085.571 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.571 * [misc]backup-simplify: Simplify 0 into 0 1538641085.571 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641085.572 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.572 * [misc]backup-simplify: Simplify 0 into 0 1538641085.572 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641085.573 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.573 * [misc]backup-simplify: Simplify 0 into 0 1538641085.573 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641085.574 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.574 * [misc]backup-simplify: Simplify 0 into 0 1538641085.574 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641085.575 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.575 * [misc]backup-simplify: Simplify 0 into 0 1538641085.575 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- x))) 2)) into (pow x 2) 1538641085.575 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1) 1538641085.575 * [misc]backup-simplify: Simplify (sqrt (pow x 4)) into (pow x 2) 1538641085.575 * [misc]approximate: Taking taylor expansion of (pow x 2) in (x) around 0 1538641085.576 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538641085.576 * [misc]taylor: Taking taylor expansion of x in x 1538641085.576 * [misc]backup-simplify: Simplify 0 into 0 1538641085.576 * [misc]backup-simplify: Simplify 1 into 1 1538641085.576 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538641085.576 * [misc]taylor: Taking taylor expansion of x in x 1538641085.576 * [misc]backup-simplify: Simplify 0 into 0 1538641085.576 * [misc]backup-simplify: Simplify 1 into 1 1538641085.576 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.576 * [misc]backup-simplify: Simplify 1 into 1 1538641085.576 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641085.576 * [misc]backup-simplify: Simplify 0 into 0 1538641085.577 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641085.577 * [misc]backup-simplify: Simplify 0 into 0 1538641085.577 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641085.577 * [misc]backup-simplify: Simplify 0 into 0 1538641085.577 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641085.577 * [misc]backup-simplify: Simplify 0 into 0 1538641085.578 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641085.578 * [misc]backup-simplify: Simplify 0 into 0 1538641085.578 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641085.578 * [misc]backup-simplify: Simplify 0 into 0 1538641085.579 * [misc]backup-simplify: Simplify (* 1 (pow x 2)) into (pow x 2) 1538641085.579 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 x) 4)) into (/ 1 (pow x 2)) 1538641085.579 * [misc]approximate: Taking taylor expansion of (/ 1 (pow x 2)) in (x) around 0 1538641085.579 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538641085.579 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538641085.579 * [misc]taylor: Taking taylor expansion of x in x 1538641085.579 * [misc]backup-simplify: Simplify 0 into 0 1538641085.579 * [misc]backup-simplify: Simplify 1 into 1 1538641085.579 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.579 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.580 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538641085.580 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538641085.580 * [misc]taylor: Taking taylor expansion of x in x 1538641085.580 * [misc]backup-simplify: Simplify 0 into 0 1538641085.580 * [misc]backup-simplify: Simplify 1 into 1 1538641085.580 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.580 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.580 * [misc]backup-simplify: Simplify 1 into 1 1538641085.580 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641085.581 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538641085.581 * [misc]backup-simplify: Simplify 0 into 0 1538641085.581 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641085.581 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.581 * [misc]backup-simplify: Simplify 0 into 0 1538641085.582 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641085.582 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.582 * [misc]backup-simplify: Simplify 0 into 0 1538641085.583 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641085.583 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.583 * [misc]backup-simplify: Simplify 0 into 0 1538641085.583 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641085.584 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.584 * [misc]backup-simplify: Simplify 0 into 0 1538641085.584 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641085.585 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.585 * [misc]backup-simplify: Simplify 0 into 0 1538641085.585 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 x)) 2)) into (pow x 2) 1538641085.586 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 (- x)) 4)) into (/ 1 (pow x 2)) 1538641085.586 * [misc]approximate: Taking taylor expansion of (/ 1 (pow x 2)) in (x) around 0 1538641085.586 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538641085.586 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538641085.586 * [misc]taylor: Taking taylor expansion of x in x 1538641085.586 * [misc]backup-simplify: Simplify 0 into 0 1538641085.586 * [misc]backup-simplify: Simplify 1 into 1 1538641085.586 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.586 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.586 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538641085.586 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538641085.586 * [misc]taylor: Taking taylor expansion of x in x 1538641085.586 * [misc]backup-simplify: Simplify 0 into 0 1538641085.586 * [misc]backup-simplify: Simplify 1 into 1 1538641085.587 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.587 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.587 * [misc]backup-simplify: Simplify 1 into 1 1538641085.587 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641085.587 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538641085.587 * [misc]backup-simplify: Simplify 0 into 0 1538641085.588 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641085.588 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.588 * [misc]backup-simplify: Simplify 0 into 0 1538641085.588 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641085.589 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.589 * [misc]backup-simplify: Simplify 0 into 0 1538641085.589 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641085.590 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.590 * [misc]backup-simplify: Simplify 0 into 0 1538641085.590 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641085.591 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.591 * [misc]backup-simplify: Simplify 0 into 0 1538641085.591 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641085.592 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.592 * [misc]backup-simplify: Simplify 0 into 0 1538641085.592 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- x))) 2)) into (pow x 2) 1538641085.592 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 2) 1538641085.593 * [misc]backup-simplify: Simplify (sqrt (pow y 4)) into (pow y 2) 1538641085.593 * [misc]approximate: Taking taylor expansion of (pow y 2) in (y) around 0 1538641085.593 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538641085.593 * [misc]taylor: Taking taylor expansion of y in y 1538641085.593 * [misc]backup-simplify: Simplify 0 into 0 1538641085.593 * [misc]backup-simplify: Simplify 1 into 1 1538641085.593 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538641085.593 * [misc]taylor: Taking taylor expansion of y in y 1538641085.593 * [misc]backup-simplify: Simplify 0 into 0 1538641085.593 * [misc]backup-simplify: Simplify 1 into 1 1538641085.593 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.593 * [misc]backup-simplify: Simplify 1 into 1 1538641085.593 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641085.593 * [misc]backup-simplify: Simplify 0 into 0 1538641085.594 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641085.594 * [misc]backup-simplify: Simplify 0 into 0 1538641085.594 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641085.594 * [misc]backup-simplify: Simplify 0 into 0 1538641085.595 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641085.595 * [misc]backup-simplify: Simplify 0 into 0 1538641085.595 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641085.595 * [misc]backup-simplify: Simplify 0 into 0 1538641085.596 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641085.596 * [misc]backup-simplify: Simplify 0 into 0 1538641085.596 * [misc]backup-simplify: Simplify (* 1 (pow y 2)) into (pow y 2) 1538641085.597 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 y) 4)) into (/ 1 (pow y 2)) 1538641085.597 * [misc]approximate: Taking taylor expansion of (/ 1 (pow y 2)) in (y) around 0 1538641085.597 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538641085.597 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538641085.597 * [misc]taylor: Taking taylor expansion of y in y 1538641085.597 * [misc]backup-simplify: Simplify 0 into 0 1538641085.597 * [misc]backup-simplify: Simplify 1 into 1 1538641085.597 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.597 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.597 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538641085.597 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538641085.597 * [misc]taylor: Taking taylor expansion of y in y 1538641085.597 * [misc]backup-simplify: Simplify 0 into 0 1538641085.597 * [misc]backup-simplify: Simplify 1 into 1 1538641085.597 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.598 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.598 * [misc]backup-simplify: Simplify 1 into 1 1538641085.598 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641085.598 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538641085.598 * [misc]backup-simplify: Simplify 0 into 0 1538641085.599 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641085.599 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.599 * [misc]backup-simplify: Simplify 0 into 0 1538641085.599 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641085.600 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.600 * [misc]backup-simplify: Simplify 0 into 0 1538641085.600 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641085.600 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.600 * [misc]backup-simplify: Simplify 0 into 0 1538641085.601 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641085.601 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.602 * [misc]backup-simplify: Simplify 0 into 0 1538641085.602 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641085.603 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.603 * [misc]backup-simplify: Simplify 0 into 0 1538641085.608 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 y)) 2)) into (pow y 2) 1538641085.608 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 (- y)) 4)) into (/ 1 (pow y 2)) 1538641085.608 * [misc]approximate: Taking taylor expansion of (/ 1 (pow y 2)) in (y) around 0 1538641085.608 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538641085.608 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538641085.608 * [misc]taylor: Taking taylor expansion of y in y 1538641085.608 * [misc]backup-simplify: Simplify 0 into 0 1538641085.608 * [misc]backup-simplify: Simplify 1 into 1 1538641085.609 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.609 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.609 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538641085.609 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538641085.609 * [misc]taylor: Taking taylor expansion of y in y 1538641085.609 * [misc]backup-simplify: Simplify 0 into 0 1538641085.609 * [misc]backup-simplify: Simplify 1 into 1 1538641085.609 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.610 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.610 * [misc]backup-simplify: Simplify 1 into 1 1538641085.610 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641085.610 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538641085.610 * [misc]backup-simplify: Simplify 0 into 0 1538641085.610 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641085.611 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.611 * [misc]backup-simplify: Simplify 0 into 0 1538641085.611 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641085.612 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.612 * [misc]backup-simplify: Simplify 0 into 0 1538641085.612 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641085.612 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.613 * [misc]backup-simplify: Simplify 0 into 0 1538641085.613 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641085.613 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.614 * [misc]backup-simplify: Simplify 0 into 0 1538641085.614 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641085.615 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.615 * [misc]backup-simplify: Simplify 0 into 0 1538641085.615 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- y))) 2)) into (pow y 2) 1538641085.615 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2) 1538641085.616 * [misc]backup-simplify: Simplify (sqrt (pow y 4)) into (pow y 2) 1538641085.616 * [misc]approximate: Taking taylor expansion of (pow y 2) in (y) around 0 1538641085.616 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538641085.616 * [misc]taylor: Taking taylor expansion of y in y 1538641085.616 * [misc]backup-simplify: Simplify 0 into 0 1538641085.616 * [misc]backup-simplify: Simplify 1 into 1 1538641085.616 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538641085.616 * [misc]taylor: Taking taylor expansion of y in y 1538641085.616 * [misc]backup-simplify: Simplify 0 into 0 1538641085.616 * [misc]backup-simplify: Simplify 1 into 1 1538641085.616 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.616 * [misc]backup-simplify: Simplify 1 into 1 1538641085.617 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641085.617 * [misc]backup-simplify: Simplify 0 into 0 1538641085.617 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641085.617 * [misc]backup-simplify: Simplify 0 into 0 1538641085.617 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641085.617 * [misc]backup-simplify: Simplify 0 into 0 1538641085.618 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641085.618 * [misc]backup-simplify: Simplify 0 into 0 1538641085.618 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641085.618 * [misc]backup-simplify: Simplify 0 into 0 1538641085.619 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641085.619 * [misc]backup-simplify: Simplify 0 into 0 1538641085.619 * [misc]backup-simplify: Simplify (* 1 (pow y 2)) into (pow y 2) 1538641085.619 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 y) 4)) into (/ 1 (pow y 2)) 1538641085.619 * [misc]approximate: Taking taylor expansion of (/ 1 (pow y 2)) in (y) around 0 1538641085.619 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538641085.619 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538641085.619 * [misc]taylor: Taking taylor expansion of y in y 1538641085.619 * [misc]backup-simplify: Simplify 0 into 0 1538641085.619 * [misc]backup-simplify: Simplify 1 into 1 1538641085.620 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.620 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.620 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538641085.620 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538641085.620 * [misc]taylor: Taking taylor expansion of y in y 1538641085.620 * [misc]backup-simplify: Simplify 0 into 0 1538641085.620 * [misc]backup-simplify: Simplify 1 into 1 1538641085.620 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.620 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.620 * [misc]backup-simplify: Simplify 1 into 1 1538641085.621 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641085.621 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538641085.621 * [misc]backup-simplify: Simplify 0 into 0 1538641085.621 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641085.622 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.622 * [misc]backup-simplify: Simplify 0 into 0 1538641085.622 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641085.622 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.623 * [misc]backup-simplify: Simplify 0 into 0 1538641085.623 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641085.623 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.623 * [misc]backup-simplify: Simplify 0 into 0 1538641085.624 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641085.624 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.624 * [misc]backup-simplify: Simplify 0 into 0 1538641085.625 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641085.625 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.626 * [misc]backup-simplify: Simplify 0 into 0 1538641085.626 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 y)) 2)) into (pow y 2) 1538641085.626 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 (- y)) 4)) into (/ 1 (pow y 2)) 1538641085.626 * [misc]approximate: Taking taylor expansion of (/ 1 (pow y 2)) in (y) around 0 1538641085.626 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538641085.626 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538641085.626 * [misc]taylor: Taking taylor expansion of y in y 1538641085.627 * [misc]backup-simplify: Simplify 0 into 0 1538641085.627 * [misc]backup-simplify: Simplify 1 into 1 1538641085.627 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.627 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.627 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538641085.627 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538641085.627 * [misc]taylor: Taking taylor expansion of y in y 1538641085.627 * [misc]backup-simplify: Simplify 0 into 0 1538641085.627 * [misc]backup-simplify: Simplify 1 into 1 1538641085.627 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641085.627 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641085.627 * [misc]backup-simplify: Simplify 1 into 1 1538641085.628 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641085.628 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538641085.628 * [misc]backup-simplify: Simplify 0 into 0 1538641085.628 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641085.629 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.629 * [misc]backup-simplify: Simplify 0 into 0 1538641085.629 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641085.629 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.629 * [misc]backup-simplify: Simplify 0 into 0 1538641085.630 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641085.630 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.630 * [misc]backup-simplify: Simplify 0 into 0 1538641085.631 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641085.631 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.631 * [misc]backup-simplify: Simplify 0 into 0 1538641085.632 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641085.632 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641085.633 * [misc]backup-simplify: Simplify 0 into 0 1538641085.633 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- y))) 2)) into (pow y 2) 1538641085.633 * * * [misc]progress: simplifying candidates 1538641085.633 * * * * [misc]progress: [ 1 / 60 ] simplifiying candidate # 1538641085.633 * * * * [misc]progress: [ 2 / 60 ] simplifiying candidate # 1538641085.633 * * * * [misc]progress: [ 3 / 60 ] simplifiying candidate # 1538641085.633 * * * * [misc]progress: [ 4 / 60 ] simplifiying candidate # 1538641085.633 * * * * [misc]progress: [ 5 / 60 ] simplifiying candidate # 1538641085.633 * * * * [misc]progress: [ 6 / 60 ] simplifiying candidate # 1538641085.634 * * * * [misc]progress: [ 7 / 60 ] simplifiying candidate # 1538641085.634 * [enter]simplify: Simplifying (sqrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1538641085.635 * * [misc]simplify: iters left: 5 (6 enodes) 1538641085.637 * * [misc]simplify: iters left: 4 (7 enodes) 1538641085.640 * [exit]simplify: Simplified to (fabs (cbrt (pow x 4))) 1538641085.640 * [misc]simplify: Simplified (2 2 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))))) 1538641085.640 * * * * [misc]progress: [ 8 / 60 ] simplifiying candidate # 1538641085.640 * [enter]simplify: Simplifying (sqrt (sqrt (pow x 4))) 1538641085.641 * * [misc]simplify: iters left: 3 (5 enodes) 1538641085.643 * [exit]simplify: Simplified to (sqrt (sqrt (pow x 4))) 1538641085.643 * [misc]simplify: Simplified (2 2 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (sqrt (sqrt (pow x 4))) (sqrt (sqrt (pow x 4)))) (sqrt (pow y 4))))) 1538641085.643 * * * * [misc]progress: [ 9 / 60 ] simplifiying candidate # 1538641085.643 * [enter]simplify: Simplifying (sqrt 1) 1538641085.643 * * [misc]simplify: iters left: 1 (2 enodes) 1538641085.646 * [exit]simplify: Simplified to 1 1538641085.646 * [misc]simplify: Simplified (2 2 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* 1 (sqrt (pow x 4))) (sqrt (pow y 4))))) 1538641085.646 * * * * [misc]progress: [ 10 / 60 ] simplifiying candidate # 1538641085.647 * * * * [misc]progress: [ 11 / 60 ] simplifiying candidate # 1538641085.647 * [enter]simplify: Simplifying (sqrt (pow x 4)) 1538641085.647 * * [misc]simplify: iters left: 2 (4 enodes) 1538641085.649 * [exit]simplify: Simplified to (sqrt (pow x 4)) 1538641085.649 * [misc]simplify: Simplified (2 2 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (fabs (sqrt (pow x 4))) (sqrt (pow y 4))))) 1538641085.649 * * * * [misc]progress: [ 12 / 60 ] simplifiying candidate # 1538641085.649 * * * * [misc]progress: [ 13 / 60 ] simplifiying candidate # 1538641085.649 * * * * [misc]progress: [ 14 / 60 ] simplifiying candidate # 1538641085.649 * * * * [misc]progress: [ 15 / 60 ] simplifiying candidate # 1538641085.649 * * * * [misc]progress: [ 16 / 60 ] simplifiying candidate # 1538641085.649 * * * * [misc]progress: [ 17 / 60 ] simplifiying candidate # 1538641085.649 * * * * [misc]progress: [ 18 / 60 ] simplifiying candidate # 1538641085.650 * * * * [misc]progress: [ 19 / 60 ] simplifiying candidate # 1538641085.650 * [enter]simplify: Simplifying (sqrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1538641085.650 * * [misc]simplify: iters left: 5 (6 enodes) 1538641085.653 * * [misc]simplify: iters left: 4 (7 enodes) 1538641085.655 * [exit]simplify: Simplified to (fabs (cbrt (pow x 4))) 1538641085.655 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641085.655 * * * * [misc]progress: [ 20 / 60 ] simplifiying candidate # 1538641085.656 * [enter]simplify: Simplifying (sqrt (sqrt (pow x 4))) 1538641085.656 * * [misc]simplify: iters left: 3 (5 enodes) 1538641085.658 * [exit]simplify: Simplified to (sqrt (sqrt (pow x 4))) 1538641085.658 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (* (+ (* (sqrt (sqrt (pow x 4))) (sqrt (sqrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641085.658 * * * * [misc]progress: [ 21 / 60 ] simplifiying candidate # 1538641085.658 * [enter]simplify: Simplifying (sqrt 1) 1538641085.658 * * [misc]simplify: iters left: 1 (2 enodes) 1538641085.660 * [exit]simplify: Simplified to 1 1538641085.660 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (* (+ (* 1 (sqrt (pow x 4))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641085.660 * * * * [misc]progress: [ 22 / 60 ] simplifiying candidate # 1538641085.660 * * * * [misc]progress: [ 23 / 60 ] simplifiying candidate # 1538641085.661 * [enter]simplify: Simplifying (sqrt (pow x 4)) 1538641085.661 * * [misc]simplify: iters left: 2 (4 enodes) 1538641085.662 * [exit]simplify: Simplified to (sqrt (pow x 4)) 1538641085.662 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (* (+ (fabs (sqrt (pow x 4))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641085.662 * * * * [misc]progress: [ 24 / 60 ] simplifiying candidate # 1538641085.662 * * * * [misc]progress: [ 25 / 60 ] simplifiying candidate # 1538641085.662 * * * * [misc]progress: [ 26 / 60 ] simplifiying candidate # 1538641085.663 * * * * [misc]progress: [ 27 / 60 ] simplifiying candidate # 1538641085.663 * * * * [misc]progress: [ 28 / 60 ] simplifiying candidate # 1538641085.663 * * * * [misc]progress: [ 29 / 60 ] simplifiying candidate # 1538641085.663 * * * * [misc]progress: [ 30 / 60 ] simplifiying candidate # 1538641085.663 * * * * [misc]progress: [ 31 / 60 ] simplifiying candidate # 1538641085.663 * [enter]simplify: Simplifying (sqrt (* (cbrt (pow y 4)) (cbrt (pow y 4)))) 1538641085.664 * * [misc]simplify: iters left: 5 (6 enodes) 1538641085.666 * * [misc]simplify: iters left: 4 (7 enodes) 1538641085.669 * [exit]simplify: Simplified to (fabs (cbrt (pow y 4))) 1538641085.669 * [misc]simplify: Simplified (2 2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* (fabs (cbrt (pow y 4))) (sqrt (cbrt (pow y 4))))))) 1538641085.669 * * * * [misc]progress: [ 32 / 60 ] simplifiying candidate # 1538641085.669 * [enter]simplify: Simplifying (sqrt (sqrt (pow y 4))) 1538641085.670 * * [misc]simplify: iters left: 3 (5 enodes) 1538641085.672 * [exit]simplify: Simplified to (sqrt (sqrt (pow y 4))) 1538641085.672 * [misc]simplify: Simplified (2 2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* (sqrt (sqrt (pow y 4))) (sqrt (sqrt (pow y 4))))))) 1538641085.672 * * * * [misc]progress: [ 33 / 60 ] simplifiying candidate # 1538641085.672 * [enter]simplify: Simplifying (sqrt 1) 1538641085.672 * * [misc]simplify: iters left: 1 (2 enodes) 1538641085.674 * [exit]simplify: Simplified to 1 1538641085.674 * [misc]simplify: Simplified (2 2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* 1 (sqrt (pow y 4)))))) 1538641085.674 * * * * [misc]progress: [ 34 / 60 ] simplifiying candidate # 1538641085.674 * * * * [misc]progress: [ 35 / 60 ] simplifiying candidate # 1538641085.674 * [enter]simplify: Simplifying (sqrt (pow y 4)) 1538641085.675 * * [misc]simplify: iters left: 2 (4 enodes) 1538641085.676 * [exit]simplify: Simplified to (sqrt (pow y 4)) 1538641085.676 * [misc]simplify: Simplified (2 2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (fabs (sqrt (pow y 4)))))) 1538641085.676 * * * * [misc]progress: [ 36 / 60 ] simplifiying candidate # 1538641085.676 * * * * [misc]progress: [ 37 / 60 ] simplifiying candidate # 1538641085.676 * * * * [misc]progress: [ 38 / 60 ] simplifiying candidate # 1538641085.676 * * * * [misc]progress: [ 39 / 60 ] simplifiying candidate # 1538641085.677 * * * * [misc]progress: [ 40 / 60 ] simplifiying candidate # 1538641085.677 * * * * [misc]progress: [ 41 / 60 ] simplifiying candidate # 1538641085.677 * * * * [misc]progress: [ 42 / 60 ] simplifiying candidate # 1538641085.677 * * * * [misc]progress: [ 43 / 60 ] simplifiying candidate # 1538641085.677 * [enter]simplify: Simplifying (sqrt (* (cbrt (pow y 4)) (cbrt (pow y 4)))) 1538641085.678 * * [misc]simplify: iters left: 5 (6 enodes) 1538641085.680 * * [misc]simplify: iters left: 4 (7 enodes) 1538641085.682 * [exit]simplify: Simplified to (fabs (cbrt (pow y 4))) 1538641085.682 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (* (fabs (cbrt (pow y 4))) (sqrt (cbrt (pow y 4))))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641085.682 * * * * [misc]progress: [ 44 / 60 ] simplifiying candidate # 1538641085.682 * [enter]simplify: Simplifying (sqrt (sqrt (pow y 4))) 1538641085.683 * * [misc]simplify: iters left: 3 (5 enodes) 1538641085.685 * [exit]simplify: Simplified to (sqrt (sqrt (pow y 4))) 1538641085.685 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (* (sqrt (sqrt (pow y 4))) (sqrt (sqrt (pow y 4))))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641085.685 * * * * [misc]progress: [ 45 / 60 ] simplifiying candidate # 1538641085.685 * [enter]simplify: Simplifying (sqrt 1) 1538641085.685 * * [misc]simplify: iters left: 1 (2 enodes) 1538641085.687 * [exit]simplify: Simplified to 1 1538641085.687 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (* 1 (sqrt (pow y 4)))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641085.687 * * * * [misc]progress: [ 46 / 60 ] simplifiying candidate # 1538641085.687 * * * * [misc]progress: [ 47 / 60 ] simplifiying candidate # 1538641085.687 * [enter]simplify: Simplifying (sqrt (pow y 4)) 1538641085.688 * * [misc]simplify: iters left: 2 (4 enodes) 1538641085.689 * [exit]simplify: Simplified to (sqrt (pow y 4)) 1538641085.689 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (fabs (sqrt (pow y 4)))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641085.689 * * * * [misc]progress: [ 48 / 60 ] simplifiying candidate # 1538641085.689 * * * * [misc]progress: [ 49 / 60 ] simplifiying candidate # 1538641085.689 * [enter]simplify: Simplifying (pow x 2) 1538641085.690 * * [misc]simplify: iters left: 1 (3 enodes) 1538641085.691 * [exit]simplify: Simplified to (* x x) 1538641085.691 * [misc]simplify: Simplified (2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* x x) (sqrt (pow y 4))))) 1538641085.691 * * * * [misc]progress: [ 50 / 60 ] simplifiying candidate # 1538641085.691 * [enter]simplify: Simplifying (pow x 2) 1538641085.691 * * [misc]simplify: iters left: 1 (3 enodes) 1538641085.693 * [exit]simplify: Simplified to (* x x) 1538641085.693 * [misc]simplify: Simplified (2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* x x) (sqrt (pow y 4))))) 1538641085.693 * * * * [misc]progress: [ 51 / 60 ] simplifiying candidate # 1538641085.693 * [enter]simplify: Simplifying (pow x 2) 1538641085.693 * * [misc]simplify: iters left: 1 (3 enodes) 1538641085.694 * [exit]simplify: Simplified to (* x x) 1538641085.694 * [misc]simplify: Simplified (2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* x x) (sqrt (pow y 4))))) 1538641085.695 * * * * [misc]progress: [ 52 / 60 ] simplifiying candidate # 1538641085.695 * [enter]simplify: Simplifying (pow x 2) 1538641085.695 * * [misc]simplify: iters left: 1 (3 enodes) 1538641085.697 * [exit]simplify: Simplified to (* x x) 1538641085.697 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (* (+ (* x x) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641085.697 * * * * [misc]progress: [ 53 / 60 ] simplifiying candidate # 1538641085.697 * [enter]simplify: Simplifying (pow x 2) 1538641085.697 * * [misc]simplify: iters left: 1 (3 enodes) 1538641085.698 * [exit]simplify: Simplified to (* x x) 1538641085.698 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (* (+ (* x x) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641085.698 * * * * [misc]progress: [ 54 / 60 ] simplifiying candidate # 1538641085.699 * [enter]simplify: Simplifying (pow x 2) 1538641085.699 * * [misc]simplify: iters left: 1 (3 enodes) 1538641085.700 * [exit]simplify: Simplified to (* x x) 1538641085.700 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (* (+ (* x x) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641085.700 * * * * [misc]progress: [ 55 / 60 ] simplifiying candidate # 1538641085.700 * [enter]simplify: Simplifying (pow y 2) 1538641085.700 * * [misc]simplify: iters left: 1 (3 enodes) 1538641085.702 * [exit]simplify: Simplified to (* y y) 1538641085.702 * [misc]simplify: Simplified (2 2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* y y)))) 1538641085.702 * * * * [misc]progress: [ 56 / 60 ] simplifiying candidate # 1538641085.702 * [enter]simplify: Simplifying (pow y 2) 1538641085.702 * * [misc]simplify: iters left: 1 (3 enodes) 1538641085.703 * [exit]simplify: Simplified to (* y y) 1538641085.703 * [misc]simplify: Simplified (2 2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* y y)))) 1538641085.703 * * * * [misc]progress: [ 57 / 60 ] simplifiying candidate # 1538641085.704 * [enter]simplify: Simplifying (pow y 2) 1538641085.704 * * [misc]simplify: iters left: 1 (3 enodes) 1538641085.705 * [exit]simplify: Simplified to (* y y) 1538641085.705 * [misc]simplify: Simplified (2 2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* y y)))) 1538641085.705 * * * * [misc]progress: [ 58 / 60 ] simplifiying candidate # 1538641085.706 * [enter]simplify: Simplifying (pow y 2) 1538641085.706 * * [misc]simplify: iters left: 1 (3 enodes) 1538641085.707 * [exit]simplify: Simplified to (* y y) 1538641085.707 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (* y y)) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641085.707 * * * * [misc]progress: [ 59 / 60 ] simplifiying candidate # 1538641085.707 * [enter]simplify: Simplifying (pow y 2) 1538641085.707 * * [misc]simplify: iters left: 1 (3 enodes) 1538641085.709 * [exit]simplify: Simplified to (* y y) 1538641085.709 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (* y y)) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641085.709 * * * * [misc]progress: [ 60 / 60 ] simplifiying candidate # 1538641085.709 * [enter]simplify: Simplifying (pow y 2) 1538641085.709 * * [misc]simplify: iters left: 1 (3 enodes) 1538641085.710 * [exit]simplify: Simplified to (* y y) 1538641085.710 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (* y y)) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641085.710 * * * [misc]progress: adding candidates to table 1538641087.202 * * [misc]progress: iteration 3 / 4 1538641087.202 * * * [misc]progress: picking best candidate 1538641087.210 * * * * [misc]pick: Picked # 1538641087.210 * * * [misc]progress: localizing error 1538641087.231 * * * [misc]progress: generating rewritten candidates 1538641087.231 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 2 1) 1538641087.235 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1 1) 1538641087.239 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 1) 1538641087.244 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 2) 1538641087.248 * * * [misc]progress: generating series expansions 1538641087.249 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2 1) 1538641087.249 * [misc]backup-simplify: Simplify (cbrt (pow x 4)) into (pow (pow x 4) 1/3) 1538641087.249 * [misc]approximate: Taking taylor expansion of (pow (pow x 4) 1/3) in (x) around 0 1538641087.249 * [misc]taylor: Taking taylor expansion of (pow (pow x 4) 1/3) in x 1538641087.249 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow x 4)))) in x 1538641087.249 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow x 4))) in x 1538641087.249 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538641087.249 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538641087.249 * [misc]taylor: Taking taylor expansion of (log (pow x 4)) in x 1538641087.249 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538641087.249 * [misc]taylor: Taking taylor expansion of x in x 1538641087.249 * [misc]backup-simplify: Simplify 0 into 0 1538641087.249 * [misc]backup-simplify: Simplify 1 into 1 1538641087.250 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.250 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.250 * [misc]backup-simplify: Simplify (log 1) into 0 1538641087.251 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538641087.251 * [misc]backup-simplify: Simplify (* 1/3 (* 4 (log x))) into (* 4/3 (log x)) 1538641087.251 * [misc]backup-simplify: Simplify (exp (* 4/3 (log x))) into (pow x 4/3) 1538641087.251 * [misc]taylor: Taking taylor expansion of (pow (pow x 4) 1/3) in x 1538641087.251 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow x 4)))) in x 1538641087.251 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow x 4))) in x 1538641087.251 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538641087.251 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538641087.251 * [misc]taylor: Taking taylor expansion of (log (pow x 4)) in x 1538641087.251 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538641087.251 * [misc]taylor: Taking taylor expansion of x in x 1538641087.251 * [misc]backup-simplify: Simplify 0 into 0 1538641087.251 * [misc]backup-simplify: Simplify 1 into 1 1538641087.251 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.251 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.252 * [misc]backup-simplify: Simplify (log 1) into 0 1538641087.252 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538641087.252 * [misc]backup-simplify: Simplify (* 1/3 (* 4 (log x))) into (* 4/3 (log x)) 1538641087.252 * [misc]backup-simplify: Simplify (exp (* 4/3 (log x))) into (pow x 4/3) 1538641087.252 * [misc]backup-simplify: Simplify (pow x 4/3) into (pow x 4/3) 1538641087.253 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641087.253 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641087.256 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1538641087.257 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538641087.257 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (* 4 (log x)))) into 0 1538641087.258 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1538641087.258 * [misc]backup-simplify: Simplify 0 into 0 1538641087.259 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641087.260 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641087.262 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1538641087.263 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538641087.263 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (* 4 (log x))))) into 0 1538641087.264 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538641087.264 * [misc]backup-simplify: Simplify 0 into 0 1538641087.264 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641087.265 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641087.269 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1538641087.269 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538641087.269 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x)))))) into 0 1538641087.272 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538641087.272 * [misc]backup-simplify: Simplify 0 into 0 1538641087.272 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641087.272 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641087.279 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 1538641087.279 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538641087.280 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x))))))) into 0 1538641087.283 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538641087.283 * [misc]backup-simplify: Simplify 0 into 0 1538641087.284 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641087.284 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641087.296 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 1538641087.296 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538641087.297 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x)))))))) into 0 1538641087.306 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538641087.306 * [misc]backup-simplify: Simplify 0 into 0 1538641087.306 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641087.307 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641087.335 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 1538641087.336 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538641087.337 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x))))))))) into 0 1538641087.354 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538641087.354 * [misc]backup-simplify: Simplify 0 into 0 1538641087.354 * [misc]backup-simplify: Simplify (pow x 4/3) into (pow x 4/3) 1538641087.355 * [misc]backup-simplify: Simplify (cbrt (pow (/ 1 x) 4)) into (pow (/ 1 (pow x 4)) 1/3) 1538641087.355 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in (x) around 0 1538641087.355 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1538641087.355 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1538641087.355 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1538641087.355 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538641087.355 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538641087.355 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1538641087.355 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538641087.355 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538641087.355 * [misc]taylor: Taking taylor expansion of x in x 1538641087.355 * [misc]backup-simplify: Simplify 0 into 0 1538641087.355 * [misc]backup-simplify: Simplify 1 into 1 1538641087.355 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.356 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.356 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641087.356 * [misc]backup-simplify: Simplify (log 1) into 0 1538641087.356 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.356 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1538641087.356 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1538641087.356 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1538641087.356 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1538641087.357 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1538641087.357 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538641087.357 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538641087.357 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1538641087.357 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538641087.357 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538641087.357 * [misc]taylor: Taking taylor expansion of x in x 1538641087.357 * [misc]backup-simplify: Simplify 0 into 0 1538641087.357 * [misc]backup-simplify: Simplify 1 into 1 1538641087.357 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.357 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.357 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641087.357 * [misc]backup-simplify: Simplify (log 1) into 0 1538641087.358 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.358 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1538641087.358 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1538641087.358 * [misc]backup-simplify: Simplify (pow x -4/3) into (pow x -4/3) 1538641087.358 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641087.358 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641087.359 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538641087.361 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1538641087.362 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.362 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (- (* 4 (log x))))) into 0 1538641087.363 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1538641087.363 * [misc]backup-simplify: Simplify 0 into 0 1538641087.364 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641087.364 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641087.364 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.369 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1538641087.369 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.369 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))) into 0 1538641087.372 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538641087.372 * [misc]backup-simplify: Simplify 0 into 0 1538641087.372 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641087.373 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641087.373 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.380 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1538641087.380 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.381 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))) into 0 1538641087.384 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538641087.384 * [misc]backup-simplify: Simplify 0 into 0 1538641087.384 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641087.385 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641087.385 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.397 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 1538641087.397 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.398 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))) into 0 1538641087.403 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538641087.403 * [misc]backup-simplify: Simplify 0 into 0 1538641087.404 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641087.404 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641087.405 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.423 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 1538641087.423 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.424 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))))) into 0 1538641087.432 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538641087.432 * [misc]backup-simplify: Simplify 0 into 0 1538641087.433 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641087.433 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641087.434 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.460 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 1538641087.460 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.461 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))))) into 0 1538641087.475 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538641087.475 * [misc]backup-simplify: Simplify 0 into 0 1538641087.475 * [misc]backup-simplify: Simplify (pow (/ 1 x) -4/3) into (pow (/ 1 x) -4/3) 1538641087.476 * [misc]backup-simplify: Simplify (cbrt (pow (/ 1 (- x)) 4)) into (pow (/ 1 (pow x 4)) 1/3) 1538641087.476 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in (x) around 0 1538641087.476 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1538641087.476 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1538641087.476 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1538641087.476 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538641087.476 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538641087.476 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1538641087.476 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538641087.476 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538641087.476 * [misc]taylor: Taking taylor expansion of x in x 1538641087.476 * [misc]backup-simplify: Simplify 0 into 0 1538641087.476 * [misc]backup-simplify: Simplify 1 into 1 1538641087.476 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.476 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.477 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641087.477 * [misc]backup-simplify: Simplify (log 1) into 0 1538641087.477 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.477 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1538641087.477 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1538641087.477 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1538641087.477 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1538641087.477 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1538641087.477 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538641087.477 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538641087.477 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1538641087.477 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538641087.477 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538641087.477 * [misc]taylor: Taking taylor expansion of x in x 1538641087.477 * [misc]backup-simplify: Simplify 0 into 0 1538641087.477 * [misc]backup-simplify: Simplify 1 into 1 1538641087.478 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.478 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.478 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641087.478 * [misc]backup-simplify: Simplify (log 1) into 0 1538641087.478 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.478 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1538641087.479 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1538641087.479 * [misc]backup-simplify: Simplify (pow x -4/3) into (pow x -4/3) 1538641087.479 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641087.479 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641087.479 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538641087.482 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1538641087.482 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.482 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (- (* 4 (log x))))) into 0 1538641087.484 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1538641087.484 * [misc]backup-simplify: Simplify 0 into 0 1538641087.484 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641087.484 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641087.485 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.489 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1538641087.489 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.490 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))) into 0 1538641087.492 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538641087.492 * [misc]backup-simplify: Simplify 0 into 0 1538641087.492 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641087.493 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641087.493 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.500 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1538641087.501 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.503 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))) into 0 1538641087.506 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538641087.506 * [misc]backup-simplify: Simplify 0 into 0 1538641087.507 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641087.507 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641087.508 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.520 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 1538641087.520 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.521 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))) into 0 1538641087.527 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538641087.527 * [misc]backup-simplify: Simplify 0 into 0 1538641087.527 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641087.528 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641087.528 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.546 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 1538641087.546 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.547 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))))) into 0 1538641087.556 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538641087.556 * [misc]backup-simplify: Simplify 0 into 0 1538641087.557 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641087.557 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641087.558 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.587 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 1538641087.587 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.588 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))))) into 0 1538641087.601 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538641087.601 * [misc]backup-simplify: Simplify 0 into 0 1538641087.602 * [misc]backup-simplify: Simplify (pow (/ 1 (- x)) -4/3) into (pow (/ -1 x) -4/3) 1538641087.602 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1 1) 1538641087.602 * [misc]backup-simplify: Simplify (cbrt (pow x 4)) into (pow (pow x 4) 1/3) 1538641087.602 * [misc]approximate: Taking taylor expansion of (pow (pow x 4) 1/3) in (x) around 0 1538641087.602 * [misc]taylor: Taking taylor expansion of (pow (pow x 4) 1/3) in x 1538641087.602 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow x 4)))) in x 1538641087.602 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow x 4))) in x 1538641087.603 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538641087.603 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538641087.603 * [misc]taylor: Taking taylor expansion of (log (pow x 4)) in x 1538641087.603 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538641087.603 * [misc]taylor: Taking taylor expansion of x in x 1538641087.603 * [misc]backup-simplify: Simplify 0 into 0 1538641087.603 * [misc]backup-simplify: Simplify 1 into 1 1538641087.603 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.603 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.603 * [misc]backup-simplify: Simplify (log 1) into 0 1538641087.603 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538641087.604 * [misc]backup-simplify: Simplify (* 1/3 (* 4 (log x))) into (* 4/3 (log x)) 1538641087.604 * [misc]backup-simplify: Simplify (exp (* 4/3 (log x))) into (pow x 4/3) 1538641087.604 * [misc]taylor: Taking taylor expansion of (pow (pow x 4) 1/3) in x 1538641087.604 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow x 4)))) in x 1538641087.604 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow x 4))) in x 1538641087.604 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538641087.604 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538641087.604 * [misc]taylor: Taking taylor expansion of (log (pow x 4)) in x 1538641087.604 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538641087.604 * [misc]taylor: Taking taylor expansion of x in x 1538641087.604 * [misc]backup-simplify: Simplify 0 into 0 1538641087.604 * [misc]backup-simplify: Simplify 1 into 1 1538641087.604 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.604 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.604 * [misc]backup-simplify: Simplify (log 1) into 0 1538641087.605 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538641087.605 * [misc]backup-simplify: Simplify (* 1/3 (* 4 (log x))) into (* 4/3 (log x)) 1538641087.605 * [misc]backup-simplify: Simplify (exp (* 4/3 (log x))) into (pow x 4/3) 1538641087.605 * [misc]backup-simplify: Simplify (pow x 4/3) into (pow x 4/3) 1538641087.605 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641087.605 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641087.608 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1538641087.608 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538641087.608 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (* 4 (log x)))) into 0 1538641087.610 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1538641087.610 * [misc]backup-simplify: Simplify 0 into 0 1538641087.610 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641087.610 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641087.615 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1538641087.615 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538641087.615 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (* 4 (log x))))) into 0 1538641087.618 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538641087.618 * [misc]backup-simplify: Simplify 0 into 0 1538641087.618 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641087.618 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641087.626 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1538641087.626 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538641087.627 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x)))))) into 0 1538641087.630 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538641087.630 * [misc]backup-simplify: Simplify 0 into 0 1538641087.631 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641087.631 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641087.643 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 1538641087.643 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538641087.644 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x))))))) into 0 1538641087.649 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538641087.649 * [misc]backup-simplify: Simplify 0 into 0 1538641087.650 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641087.650 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641087.670 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 1538641087.670 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538641087.671 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x)))))))) into 0 1538641087.680 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538641087.680 * [misc]backup-simplify: Simplify 0 into 0 1538641087.681 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641087.681 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641087.703 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 1538641087.704 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538641087.704 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x))))))))) into 0 1538641087.712 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538641087.712 * [misc]backup-simplify: Simplify 0 into 0 1538641087.712 * [misc]backup-simplify: Simplify (pow x 4/3) into (pow x 4/3) 1538641087.712 * [misc]backup-simplify: Simplify (cbrt (pow (/ 1 x) 4)) into (pow (/ 1 (pow x 4)) 1/3) 1538641087.712 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in (x) around 0 1538641087.712 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1538641087.712 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1538641087.712 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1538641087.712 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538641087.712 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538641087.712 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1538641087.712 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538641087.713 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538641087.713 * [misc]taylor: Taking taylor expansion of x in x 1538641087.713 * [misc]backup-simplify: Simplify 0 into 0 1538641087.713 * [misc]backup-simplify: Simplify 1 into 1 1538641087.713 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.713 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.713 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641087.713 * [misc]backup-simplify: Simplify (log 1) into 0 1538641087.713 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.713 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1538641087.713 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1538641087.713 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1538641087.713 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1538641087.713 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1538641087.713 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538641087.713 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538641087.713 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1538641087.713 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538641087.713 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538641087.713 * [misc]taylor: Taking taylor expansion of x in x 1538641087.713 * [misc]backup-simplify: Simplify 0 into 0 1538641087.713 * [misc]backup-simplify: Simplify 1 into 1 1538641087.714 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.714 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.714 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641087.714 * [misc]backup-simplify: Simplify (log 1) into 0 1538641087.714 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.714 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1538641087.714 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1538641087.714 * [misc]backup-simplify: Simplify (pow x -4/3) into (pow x -4/3) 1538641087.714 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641087.714 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641087.715 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538641087.716 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1538641087.716 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.716 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (- (* 4 (log x))))) into 0 1538641087.717 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1538641087.717 * [misc]backup-simplify: Simplify 0 into 0 1538641087.718 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641087.718 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641087.718 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.720 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1538641087.721 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.721 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))) into 0 1538641087.722 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538641087.722 * [misc]backup-simplify: Simplify 0 into 0 1538641087.722 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641087.723 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641087.723 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.727 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1538641087.727 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.728 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))) into 0 1538641087.730 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538641087.730 * [misc]backup-simplify: Simplify 0 into 0 1538641087.730 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641087.730 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641087.731 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.737 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 1538641087.737 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.738 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))) into 0 1538641087.741 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538641087.741 * [misc]backup-simplify: Simplify 0 into 0 1538641087.741 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641087.742 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641087.742 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.752 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 1538641087.752 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.753 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))))) into 0 1538641087.758 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538641087.758 * [misc]backup-simplify: Simplify 0 into 0 1538641087.758 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641087.759 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641087.759 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.776 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 1538641087.777 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.777 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))))) into 0 1538641087.785 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538641087.785 * [misc]backup-simplify: Simplify 0 into 0 1538641087.786 * [misc]backup-simplify: Simplify (pow (/ 1 x) -4/3) into (pow (/ 1 x) -4/3) 1538641087.786 * [misc]backup-simplify: Simplify (cbrt (pow (/ 1 (- x)) 4)) into (pow (/ 1 (pow x 4)) 1/3) 1538641087.786 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in (x) around 0 1538641087.786 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1538641087.786 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1538641087.786 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1538641087.786 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538641087.786 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538641087.786 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1538641087.786 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538641087.786 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538641087.786 * [misc]taylor: Taking taylor expansion of x in x 1538641087.786 * [misc]backup-simplify: Simplify 0 into 0 1538641087.786 * [misc]backup-simplify: Simplify 1 into 1 1538641087.786 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.786 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.787 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641087.787 * [misc]backup-simplify: Simplify (log 1) into 0 1538641087.787 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.787 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1538641087.787 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1538641087.787 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1538641087.787 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1538641087.787 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1538641087.787 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538641087.787 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538641087.787 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1538641087.787 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538641087.787 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538641087.787 * [misc]taylor: Taking taylor expansion of x in x 1538641087.787 * [misc]backup-simplify: Simplify 0 into 0 1538641087.787 * [misc]backup-simplify: Simplify 1 into 1 1538641087.787 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.788 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.788 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641087.788 * [misc]backup-simplify: Simplify (log 1) into 0 1538641087.788 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.788 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1538641087.788 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1538641087.789 * [misc]backup-simplify: Simplify (pow x -4/3) into (pow x -4/3) 1538641087.789 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641087.789 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641087.789 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538641087.792 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1538641087.792 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.792 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (- (* 4 (log x))))) into 0 1538641087.794 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1538641087.794 * [misc]backup-simplify: Simplify 0 into 0 1538641087.794 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641087.794 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641087.795 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.800 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1538641087.800 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.801 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))) into 0 1538641087.803 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538641087.803 * [misc]backup-simplify: Simplify 0 into 0 1538641087.803 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641087.804 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641087.804 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.812 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1538641087.812 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.812 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))) into 0 1538641087.816 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538641087.816 * [misc]backup-simplify: Simplify 0 into 0 1538641087.816 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641087.817 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641087.817 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.829 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 1538641087.830 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.830 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))) into 0 1538641087.836 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538641087.837 * [misc]backup-simplify: Simplify 0 into 0 1538641087.837 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641087.838 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641087.838 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.853 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 1538641087.853 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.853 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))))) into 0 1538641087.858 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538641087.859 * [misc]backup-simplify: Simplify 0 into 0 1538641087.859 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641087.859 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641087.860 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.882 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 1538641087.883 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538641087.886 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))))) into 0 1538641087.900 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538641087.900 * [misc]backup-simplify: Simplify 0 into 0 1538641087.900 * [misc]backup-simplify: Simplify (pow (/ 1 (- x)) -4/3) into (pow (/ -1 x) -4/3) 1538641087.901 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 1) 1538641087.901 * [misc]backup-simplify: Simplify (sqrt (pow x 4)) into (pow x 2) 1538641087.901 * [misc]approximate: Taking taylor expansion of (pow x 2) in (x) around 0 1538641087.901 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538641087.901 * [misc]taylor: Taking taylor expansion of x in x 1538641087.901 * [misc]backup-simplify: Simplify 0 into 0 1538641087.901 * [misc]backup-simplify: Simplify 1 into 1 1538641087.901 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538641087.901 * [misc]taylor: Taking taylor expansion of x in x 1538641087.901 * [misc]backup-simplify: Simplify 0 into 0 1538641087.901 * [misc]backup-simplify: Simplify 1 into 1 1538641087.902 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.902 * [misc]backup-simplify: Simplify 1 into 1 1538641087.902 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641087.902 * [misc]backup-simplify: Simplify 0 into 0 1538641087.902 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641087.902 * [misc]backup-simplify: Simplify 0 into 0 1538641087.903 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641087.903 * [misc]backup-simplify: Simplify 0 into 0 1538641087.903 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641087.903 * [misc]backup-simplify: Simplify 0 into 0 1538641087.904 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641087.904 * [misc]backup-simplify: Simplify 0 into 0 1538641087.904 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641087.904 * [misc]backup-simplify: Simplify 0 into 0 1538641087.904 * [misc]backup-simplify: Simplify (* 1 (pow x 2)) into (pow x 2) 1538641087.905 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 x) 4)) into (/ 1 (pow x 2)) 1538641087.905 * [misc]approximate: Taking taylor expansion of (/ 1 (pow x 2)) in (x) around 0 1538641087.905 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538641087.905 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538641087.905 * [misc]taylor: Taking taylor expansion of x in x 1538641087.905 * [misc]backup-simplify: Simplify 0 into 0 1538641087.905 * [misc]backup-simplify: Simplify 1 into 1 1538641087.905 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.905 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641087.905 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538641087.905 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538641087.905 * [misc]taylor: Taking taylor expansion of x in x 1538641087.905 * [misc]backup-simplify: Simplify 0 into 0 1538641087.905 * [misc]backup-simplify: Simplify 1 into 1 1538641087.905 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.906 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641087.906 * [misc]backup-simplify: Simplify 1 into 1 1538641087.906 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641087.906 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538641087.906 * [misc]backup-simplify: Simplify 0 into 0 1538641087.907 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641087.907 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.907 * [misc]backup-simplify: Simplify 0 into 0 1538641087.907 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641087.908 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.908 * [misc]backup-simplify: Simplify 0 into 0 1538641087.908 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641087.909 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.909 * [misc]backup-simplify: Simplify 0 into 0 1538641087.909 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641087.909 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.909 * [misc]backup-simplify: Simplify 0 into 0 1538641087.910 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641087.910 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.910 * [misc]backup-simplify: Simplify 0 into 0 1538641087.911 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 x)) 2)) into (pow x 2) 1538641087.911 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 (- x)) 4)) into (/ 1 (pow x 2)) 1538641087.911 * [misc]approximate: Taking taylor expansion of (/ 1 (pow x 2)) in (x) around 0 1538641087.911 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538641087.911 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538641087.911 * [misc]taylor: Taking taylor expansion of x in x 1538641087.911 * [misc]backup-simplify: Simplify 0 into 0 1538641087.911 * [misc]backup-simplify: Simplify 1 into 1 1538641087.912 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.912 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641087.912 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538641087.912 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538641087.912 * [misc]taylor: Taking taylor expansion of x in x 1538641087.912 * [misc]backup-simplify: Simplify 0 into 0 1538641087.912 * [misc]backup-simplify: Simplify 1 into 1 1538641087.912 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.912 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641087.912 * [misc]backup-simplify: Simplify 1 into 1 1538641087.913 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641087.913 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538641087.913 * [misc]backup-simplify: Simplify 0 into 0 1538641087.913 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641087.914 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.914 * [misc]backup-simplify: Simplify 0 into 0 1538641087.914 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641087.914 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.914 * [misc]backup-simplify: Simplify 0 into 0 1538641087.915 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641087.915 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.915 * [misc]backup-simplify: Simplify 0 into 0 1538641087.916 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641087.916 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.916 * [misc]backup-simplify: Simplify 0 into 0 1538641087.917 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641087.917 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.917 * [misc]backup-simplify: Simplify 0 into 0 1538641087.918 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- x))) 2)) into (pow x 2) 1538641087.918 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 2) 1538641087.918 * [misc]backup-simplify: Simplify (sqrt (pow y 4)) into (pow y 2) 1538641087.918 * [misc]approximate: Taking taylor expansion of (pow y 2) in (y) around 0 1538641087.918 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538641087.918 * [misc]taylor: Taking taylor expansion of y in y 1538641087.918 * [misc]backup-simplify: Simplify 0 into 0 1538641087.918 * [misc]backup-simplify: Simplify 1 into 1 1538641087.918 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538641087.918 * [misc]taylor: Taking taylor expansion of y in y 1538641087.918 * [misc]backup-simplify: Simplify 0 into 0 1538641087.918 * [misc]backup-simplify: Simplify 1 into 1 1538641087.919 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.919 * [misc]backup-simplify: Simplify 1 into 1 1538641087.919 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641087.919 * [misc]backup-simplify: Simplify 0 into 0 1538641087.919 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641087.919 * [misc]backup-simplify: Simplify 0 into 0 1538641087.920 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641087.920 * [misc]backup-simplify: Simplify 0 into 0 1538641087.920 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641087.920 * [misc]backup-simplify: Simplify 0 into 0 1538641087.921 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641087.921 * [misc]backup-simplify: Simplify 0 into 0 1538641087.921 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641087.921 * [misc]backup-simplify: Simplify 0 into 0 1538641087.921 * [misc]backup-simplify: Simplify (* 1 (pow y 2)) into (pow y 2) 1538641087.922 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 y) 4)) into (/ 1 (pow y 2)) 1538641087.922 * [misc]approximate: Taking taylor expansion of (/ 1 (pow y 2)) in (y) around 0 1538641087.922 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538641087.922 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538641087.922 * [misc]taylor: Taking taylor expansion of y in y 1538641087.922 * [misc]backup-simplify: Simplify 0 into 0 1538641087.922 * [misc]backup-simplify: Simplify 1 into 1 1538641087.922 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.922 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641087.922 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538641087.922 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538641087.922 * [misc]taylor: Taking taylor expansion of y in y 1538641087.923 * [misc]backup-simplify: Simplify 0 into 0 1538641087.923 * [misc]backup-simplify: Simplify 1 into 1 1538641087.923 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.923 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641087.923 * [misc]backup-simplify: Simplify 1 into 1 1538641087.923 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641087.923 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538641087.924 * [misc]backup-simplify: Simplify 0 into 0 1538641087.924 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641087.924 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.924 * [misc]backup-simplify: Simplify 0 into 0 1538641087.925 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641087.925 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.925 * [misc]backup-simplify: Simplify 0 into 0 1538641087.925 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641087.926 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.926 * [misc]backup-simplify: Simplify 0 into 0 1538641087.926 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641087.927 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.927 * [misc]backup-simplify: Simplify 0 into 0 1538641087.927 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641087.928 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.928 * [misc]backup-simplify: Simplify 0 into 0 1538641087.928 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 y)) 2)) into (pow y 2) 1538641087.929 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 (- y)) 4)) into (/ 1 (pow y 2)) 1538641087.929 * [misc]approximate: Taking taylor expansion of (/ 1 (pow y 2)) in (y) around 0 1538641087.929 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538641087.929 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538641087.929 * [misc]taylor: Taking taylor expansion of y in y 1538641087.929 * [misc]backup-simplify: Simplify 0 into 0 1538641087.929 * [misc]backup-simplify: Simplify 1 into 1 1538641087.929 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.929 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641087.929 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538641087.929 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538641087.929 * [misc]taylor: Taking taylor expansion of y in y 1538641087.929 * [misc]backup-simplify: Simplify 0 into 0 1538641087.929 * [misc]backup-simplify: Simplify 1 into 1 1538641087.930 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538641087.930 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538641087.930 * [misc]backup-simplify: Simplify 1 into 1 1538641087.930 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538641087.930 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538641087.931 * [misc]backup-simplify: Simplify 0 into 0 1538641087.931 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538641087.931 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.931 * [misc]backup-simplify: Simplify 0 into 0 1538641087.931 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538641087.932 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.932 * [misc]backup-simplify: Simplify 0 into 0 1538641087.932 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538641087.932 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.932 * [misc]backup-simplify: Simplify 0 into 0 1538641087.932 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538641087.933 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.933 * [misc]backup-simplify: Simplify 0 into 0 1538641087.933 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538641087.933 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538641087.933 * [misc]backup-simplify: Simplify 0 into 0 1538641087.934 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- y))) 2)) into (pow y 2) 1538641087.934 * * * [misc]progress: simplifying candidates 1538641087.934 * * * * [misc]progress: [ 1 / 58 ] simplifiying candidate # 1538641087.934 * * * * [misc]progress: [ 2 / 58 ] simplifiying candidate # 1538641087.934 * * * * [misc]progress: [ 3 / 58 ] simplifiying candidate # 1538641087.934 * * * * [misc]progress: [ 4 / 58 ] simplifiying candidate # 1538641087.934 * * * * [misc]progress: [ 5 / 58 ] simplifiying candidate # 1538641087.934 * [enter]simplify: Simplifying (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1538641087.934 * * [misc]simplify: iters left: 5 (6 enodes) 1538641087.936 * [exit]simplify: Simplified to (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1538641087.936 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (* (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (cbrt (cbrt (pow x 4)))))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641087.936 * * * * [misc]progress: [ 6 / 58 ] simplifiying candidate # 1538641087.936 * [enter]simplify: Simplifying (cbrt (sqrt (pow x 4))) 1538641087.936 * * [misc]simplify: iters left: 3 (5 enodes) 1538641087.937 * [exit]simplify: Simplified to (cbrt (sqrt (pow x 4))) 1538641087.937 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (* (cbrt (sqrt (pow x 4))) (cbrt (sqrt (pow x 4)))))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641087.937 * * * * [misc]progress: [ 7 / 58 ] simplifiying candidate # 1538641087.937 * [enter]simplify: Simplifying (cbrt 1) 1538641087.938 * * [misc]simplify: iters left: 1 (2 enodes) 1538641087.939 * [exit]simplify: Simplified to 1 1538641087.939 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (* 1 (cbrt (pow x 4))))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641087.939 * * * * [misc]progress: [ 8 / 58 ] simplifiying candidate # 1538641087.939 * * * * [misc]progress: [ 9 / 58 ] simplifiying candidate # 1538641087.939 * * * * [misc]progress: [ 10 / 58 ] simplifiying candidate # 1538641087.939 * * * * [misc]progress: [ 11 / 58 ] simplifiying candidate # 1538641087.939 * * * * [misc]progress: [ 12 / 58 ] simplifiying candidate # 1538641087.939 * * * * [misc]progress: [ 13 / 58 ] simplifiying candidate # 1538641087.939 * * * * [misc]progress: [ 14 / 58 ] simplifiying candidate # 1538641087.939 * * * * [misc]progress: [ 15 / 58 ] simplifiying candidate # 1538641087.939 * * * * [misc]progress: [ 16 / 58 ] simplifiying candidate # 1538641087.939 * [enter]simplify: Simplifying (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1538641087.939 * * [misc]simplify: iters left: 5 (6 enodes) 1538641087.941 * [exit]simplify: Simplified to (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1538641087.941 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x y) (* (+ (* (fabs (* (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (cbrt (cbrt (pow x 4))))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641087.941 * * * * [misc]progress: [ 17 / 58 ] simplifiying candidate # 1538641087.941 * [enter]simplify: Simplifying (cbrt (sqrt (pow x 4))) 1538641087.941 * * [misc]simplify: iters left: 3 (5 enodes) 1538641087.942 * [exit]simplify: Simplified to (cbrt (sqrt (pow x 4))) 1538641087.942 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x y) (* (+ (* (fabs (* (cbrt (sqrt (pow x 4))) (cbrt (sqrt (pow x 4))))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641087.942 * * * * [misc]progress: [ 18 / 58 ] simplifiying candidate # 1538641087.942 * [enter]simplify: Simplifying (cbrt 1) 1538641087.942 * * [misc]simplify: iters left: 1 (2 enodes) 1538641087.943 * [exit]simplify: Simplified to 1 1538641087.943 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x y) (* (+ (* (fabs (* 1 (cbrt (pow x 4)))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641087.943 * * * * [misc]progress: [ 19 / 58 ] simplifiying candidate # 1538641087.943 * * * * [misc]progress: [ 20 / 58 ] simplifiying candidate # 1538641087.943 * * * * [misc]progress: [ 21 / 58 ] simplifiying candidate # 1538641087.943 * * * * [misc]progress: [ 22 / 58 ] simplifiying candidate # 1538641087.943 * * * * [misc]progress: [ 23 / 58 ] simplifiying candidate # 1538641087.943 * * * * [misc]progress: [ 24 / 58 ] simplifiying candidate # 1538641087.943 * * * * [misc]progress: [ 25 / 58 ] simplifiying candidate # 1538641087.944 * * * * [misc]progress: [ 26 / 58 ] simplifiying candidate # 1538641087.944 * * * * [misc]progress: [ 27 / 58 ] simplifiying candidate # 1538641087.944 * * * * [misc]progress: [ 28 / 58 ] simplifiying candidate # 1538641087.944 * * * * [misc]progress: [ 29 / 58 ] simplifiying candidate # 1538641087.944 * [enter]simplify: Simplifying (sqrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1538641087.944 * * [misc]simplify: iters left: 5 (6 enodes) 1538641087.945 * * [misc]simplify: iters left: 4 (7 enodes) 1538641087.946 * [exit]simplify: Simplified to (fabs (cbrt (pow x 4))) 1538641087.946 * [misc]simplify: Simplified (2 2 1 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))))) 1538641087.946 * * * * [misc]progress: [ 30 / 58 ] simplifiying candidate # 1538641087.947 * [enter]simplify: Simplifying (sqrt (sqrt (pow x 4))) 1538641087.947 * * [misc]simplify: iters left: 3 (5 enodes) 1538641087.948 * [exit]simplify: Simplified to (sqrt (sqrt (pow x 4))) 1538641087.948 * [misc]simplify: Simplified (2 2 1 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (* (sqrt (sqrt (pow x 4))) (sqrt (sqrt (pow x 4)))) (sqrt (pow y 4))))) 1538641087.948 * * * * [misc]progress: [ 31 / 58 ] simplifiying candidate # 1538641087.948 * [enter]simplify: Simplifying (sqrt 1) 1538641087.948 * * [misc]simplify: iters left: 1 (2 enodes) 1538641087.949 * [exit]simplify: Simplified to 1 1538641087.949 * [misc]simplify: Simplified (2 2 1 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (* 1 (sqrt (pow x 4))) (sqrt (pow y 4))))) 1538641087.949 * * * * [misc]progress: [ 32 / 58 ] simplifiying candidate # 1538641087.949 * * * * [misc]progress: [ 33 / 58 ] simplifiying candidate # 1538641087.949 * [enter]simplify: Simplifying (sqrt (pow x 4)) 1538641087.949 * * [misc]simplify: iters left: 2 (4 enodes) 1538641087.950 * [exit]simplify: Simplified to (sqrt (pow x 4)) 1538641087.950 * [misc]simplify: Simplified (2 2 1 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (fabs (sqrt (pow x 4))) (sqrt (pow y 4))))) 1538641087.950 * * * * [misc]progress: [ 34 / 58 ] simplifiying candidate # 1538641087.950 * * * * [misc]progress: [ 35 / 58 ] simplifiying candidate # 1538641087.950 * * * * [misc]progress: [ 36 / 58 ] simplifiying candidate # 1538641087.950 * * * * [misc]progress: [ 37 / 58 ] simplifiying candidate # 1538641087.950 * * * * [misc]progress: [ 38 / 58 ] simplifiying candidate # 1538641087.950 * * * * [misc]progress: [ 39 / 58 ] simplifiying candidate # 1538641087.950 * * * * [misc]progress: [ 40 / 58 ] simplifiying candidate # 1538641087.950 * * * * [misc]progress: [ 41 / 58 ] simplifiying candidate # 1538641087.951 * [enter]simplify: Simplifying (sqrt (* (cbrt (pow y 4)) (cbrt (pow y 4)))) 1538641087.951 * * [misc]simplify: iters left: 5 (6 enodes) 1538641087.952 * * [misc]simplify: iters left: 4 (7 enodes) 1538641087.953 * [exit]simplify: Simplified to (fabs (cbrt (pow y 4))) 1538641087.953 * [misc]simplify: Simplified (2 2 2 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* (fabs (cbrt (pow y 4))) (sqrt (cbrt (pow y 4))))))) 1538641087.953 * * * * [misc]progress: [ 42 / 58 ] simplifiying candidate # 1538641087.953 * [enter]simplify: Simplifying (sqrt (sqrt (pow y 4))) 1538641087.954 * * [misc]simplify: iters left: 3 (5 enodes) 1538641087.954 * [exit]simplify: Simplified to (sqrt (sqrt (pow y 4))) 1538641087.955 * [misc]simplify: Simplified (2 2 2 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* (sqrt (sqrt (pow y 4))) (sqrt (sqrt (pow y 4))))))) 1538641087.955 * * * * [misc]progress: [ 43 / 58 ] simplifiying candidate # 1538641087.955 * [enter]simplify: Simplifying (sqrt 1) 1538641087.955 * * [misc]simplify: iters left: 1 (2 enodes) 1538641087.956 * [exit]simplify: Simplified to 1 1538641087.956 * [misc]simplify: Simplified (2 2 2 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* 1 (sqrt (pow y 4)))))) 1538641087.956 * * * * [misc]progress: [ 44 / 58 ] simplifiying candidate # 1538641087.956 * * * * [misc]progress: [ 45 / 58 ] simplifiying candidate # 1538641087.956 * [enter]simplify: Simplifying (sqrt (pow y 4)) 1538641087.956 * * [misc]simplify: iters left: 2 (4 enodes) 1538641087.957 * [exit]simplify: Simplified to (sqrt (pow y 4)) 1538641087.957 * [misc]simplify: Simplified (2 2 2 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (fabs (sqrt (pow y 4)))))) 1538641087.957 * * * * [misc]progress: [ 46 / 58 ] simplifiying candidate # 1538641087.957 * * * * [misc]progress: [ 47 / 58 ] simplifiying candidate # 1538641087.957 * [enter]simplify: Simplifying (pow x 4/3) 1538641087.957 * * [misc]simplify: iters left: 1 (3 enodes) 1538641087.958 * [exit]simplify: Simplified to (pow x 4/3) 1538641087.958 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (pow x 4/3))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641087.958 * * * * [misc]progress: [ 48 / 58 ] simplifiying candidate # 1538641087.958 * [enter]simplify: Simplifying (pow (/ 1 x) -4/3) 1538641087.958 * * [misc]simplify: iters left: 3 (5 enodes) 1538641087.959 * * [misc]simplify: iters left: 2 (7 enodes) 1538641087.961 * [exit]simplify: Simplified to (pow (/ 1 x) -4/3) 1538641087.961 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (pow (/ 1 x) -4/3))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641087.961 * * * * [misc]progress: [ 49 / 58 ] simplifiying candidate # 1538641087.961 * [enter]simplify: Simplifying (pow (/ -1 x) -4/3) 1538641087.961 * * [misc]simplify: iters left: 3 (5 enodes) 1538641087.963 * [exit]simplify: Simplified to (pow (/ -1 x) -4/3) 1538641087.963 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (pow (/ -1 x) -4/3))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641087.963 * * * * [misc]progress: [ 50 / 58 ] simplifiying candidate # 1538641087.964 * [enter]simplify: Simplifying (pow x 4/3) 1538641087.964 * * [misc]simplify: iters left: 1 (3 enodes) 1538641087.965 * [exit]simplify: Simplified to (pow x 4/3) 1538641087.965 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x y) (* (+ (* (fabs (pow x 4/3)) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641087.965 * * * * [misc]progress: [ 51 / 58 ] simplifiying candidate # 1538641087.965 * [enter]simplify: Simplifying (pow (/ 1 x) -4/3) 1538641087.965 * * [misc]simplify: iters left: 3 (5 enodes) 1538641087.967 * * [misc]simplify: iters left: 2 (7 enodes) 1538641087.969 * [exit]simplify: Simplified to (pow (/ 1 x) -4/3) 1538641087.969 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x y) (* (+ (* (fabs (pow (/ 1 x) -4/3)) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641087.969 * * * * [misc]progress: [ 52 / 58 ] simplifiying candidate # 1538641087.970 * [enter]simplify: Simplifying (pow (/ -1 x) -4/3) 1538641087.970 * * [misc]simplify: iters left: 3 (5 enodes) 1538641087.972 * [exit]simplify: Simplified to (pow (/ -1 x) -4/3) 1538641087.972 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x y) (* (+ (* (fabs (pow (/ -1 x) -4/3)) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538641087.972 * * * * [misc]progress: [ 53 / 58 ] simplifiying candidate # 1538641087.972 * [enter]simplify: Simplifying (pow x 2) 1538641087.972 * * [misc]simplify: iters left: 1 (3 enodes) 1538641087.974 * [exit]simplify: Simplified to (* x x) 1538641087.974 * [misc]simplify: Simplified (2 2 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (* x x) (sqrt (pow y 4))))) 1538641087.974 * * * * [misc]progress: [ 54 / 58 ] simplifiying candidate # 1538641087.974 * [enter]simplify: Simplifying (pow x 2) 1538641087.974 * * [misc]simplify: iters left: 1 (3 enodes) 1538641087.975 * [exit]simplify: Simplified to (* x x) 1538641087.975 * [misc]simplify: Simplified (2 2 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (* x x) (sqrt (pow y 4))))) 1538641087.975 * * * * [misc]progress: [ 55 / 58 ] simplifiying candidate # 1538641087.976 * [enter]simplify: Simplifying (pow x 2) 1538641087.976 * * [misc]simplify: iters left: 1 (3 enodes) 1538641087.977 * [exit]simplify: Simplified to (* x x) 1538641087.977 * [misc]simplify: Simplified (2 2 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (* x x) (sqrt (pow y 4))))) 1538641087.977 * * * * [misc]progress: [ 56 / 58 ] simplifiying candidate # 1538641087.977 * [enter]simplify: Simplifying (pow y 2) 1538641087.978 * * [misc]simplify: iters left: 1 (3 enodes) 1538641087.979 * [exit]simplify: Simplified to (* y y) 1538641087.979 * [misc]simplify: Simplified (2 2 2) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* y y)))) 1538641087.979 * * * * [misc]progress: [ 57 / 58 ] simplifiying candidate # 1538641087.979 * [enter]simplify: Simplifying (pow y 2) 1538641087.979 * * [misc]simplify: iters left: 1 (3 enodes) 1538641087.981 * [exit]simplify: Simplified to (* y y) 1538641087.981 * [misc]simplify: Simplified (2 2 2) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* y y)))) 1538641087.981 * * * * [misc]progress: [ 58 / 58 ] simplifiying candidate # 1538641087.981 * [enter]simplify: Simplifying (pow y 2) 1538641087.981 * * [misc]simplify: iters left: 1 (3 enodes) 1538641087.982 * [exit]simplify: Simplified to (* y y) 1538641087.982 * [misc]simplify: Simplified (2 2 2) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* y y)))) 1538641087.982 * * * [misc]progress: adding candidates to table 1538641089.962 * [misc]progress: [Phase 3 of 3] Extracting. 1538641089.962 * * [misc]regime: Finding splitpoints for: (# #) 1538641089.965 * * * [misc]regime-changes: Trying 5 branch expressions: (y (pow y 4) x (pow x 4) (- (pow x 4) (pow y 4))) 1538641089.965 * * * * [misc]regimes: Trying to branch on y from (# #) 1538641090.005 * * * * [misc]regimes: Trying to branch on (pow y 4) from (# #) 1538641090.074 * * * * [misc]regimes: Trying to branch on x from (# #) 1538641090.100 * * * * [misc]regimes: Trying to branch on (pow x 4) from (# #) 1538641090.154 * * * * [misc]regimes: Trying to branch on (- (pow x 4) (pow y 4)) from (# #) 1538641090.252 * * * [misc]regime: Found split indices: #