1546683613.301 * [misc]progress: [Phase 1 of 3] Setting up. 1546683613.302 * * * [misc]progress: [1/2] Preparing points 1546683613.303 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1546683613.441 * * * * [misc]points: Filtering points with unrepresentable outputs 1546683613.441 * * * * [misc]points: Sampling 165 additional inputs, on iter 1 have 91 / 256 1546683613.464 * * * * [misc]points: Filtering points with unrepresentable outputs 1546683613.464 * * * * [misc]points: Sampling 80 additional inputs, on iter 2 have 176 / 256 1546683613.477 * * * * [misc]points: Filtering points with unrepresentable outputs 1546683613.477 * * * * [misc]points: Sampling 53 additional inputs, on iter 3 have 203 / 256 1546683613.486 * * * * [misc]points: Filtering points with unrepresentable outputs 1546683613.486 * * * * [misc]points: Sampling 38 additional inputs, on iter 4 have 218 / 256 1546683613.493 * * * * [misc]points: Filtering points with unrepresentable outputs 1546683613.493 * * * * [misc]points: Sampling 25 additional inputs, on iter 5 have 231 / 256 1546683613.498 * * * * [misc]points: Filtering points with unrepresentable outputs 1546683613.498 * * * * [misc]points: Sampling 16 additional inputs, on iter 6 have 240 / 256 1546683613.502 * * * * [misc]points: Filtering points with unrepresentable outputs 1546683613.503 * * * * [misc]points: Sampling 7 additional inputs, on iter 7 have 249 / 256 1546683613.505 * * * * [misc]points: Filtering points with unrepresentable outputs 1546683613.505 * * * * [misc]points: Sampling 5 additional inputs, on iter 8 have 251 / 256 1546683613.508 * * * * [misc]points: Filtering points with unrepresentable outputs 1546683613.508 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 254 / 256 1546683613.511 * * * * [misc]points: Filtering points with unrepresentable outputs 1546683613.511 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 255 / 256 1546683613.513 * * * * [misc]points: Filtering points with unrepresentable outputs 1546683613.513 * * * * [exit]points: Sampled 258 points with exact outputs 1546683613.514 * * * [misc]progress: [2/2] Setting up program. 1546683613.520 * [misc]progress: [Phase 2 of 3] Improving. 1546683613.521 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1546683613.522 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1546683613.524 * * [misc]simplify: iters left: 3 (6 enodes) 1546683613.531 * * [misc]simplify: iters left: 2 (8 enodes) 1546683613.534 * * [misc]simplify: iters left: 1 (9 enodes) 1546683613.538 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546683613.538 * [misc]simplify: Simplified (2) to (λ (x y) (- (pow x 4) (pow y 4))) 1546683613.546 * * [misc]progress: iteration 1 / 4 1546683613.546 * * * [misc]progress: picking best candidate 1546683613.551 * * * * [misc]pick: Picked # 1546683613.551 * * * [misc]progress: localizing error 1546683613.575 * * * [misc]progress: generating rewritten candidates 1546683613.575 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1546683613.609 * * * [misc]progress: generating series expansions 1546683613.609 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1546683613.617 * [misc]backup-simplify: Simplify (- (pow x 4) (pow y 4)) into (- (pow x 4) (pow y 4)) 1546683613.617 * [misc]approximate: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0 1546683613.618 * [misc]taylor: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y 1546683613.618 * [misc]taylor: Taking taylor expansion of (pow x 4) in y 1546683613.618 * [misc]taylor: Taking taylor expansion of x in y 1546683613.618 * [misc]backup-simplify: Simplify x into x 1546683613.619 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1546683613.619 * [misc]taylor: Taking taylor expansion of y in y 1546683613.619 * [misc]backup-simplify: Simplify 0 into 0 1546683613.619 * [misc]backup-simplify: Simplify 1 into 1 1546683613.621 * [misc]taylor: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 1546683613.621 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683613.621 * [misc]taylor: Taking taylor expansion of x in x 1546683613.621 * [misc]backup-simplify: Simplify 0 into 0 1546683613.621 * [misc]backup-simplify: Simplify 1 into 1 1546683613.621 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1546683613.621 * [misc]taylor: Taking taylor expansion of y in x 1546683613.621 * [misc]backup-simplify: Simplify y into y 1546683613.621 * [misc]taylor: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 1546683613.621 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683613.621 * [misc]taylor: Taking taylor expansion of x in x 1546683613.621 * [misc]backup-simplify: Simplify 0 into 0 1546683613.621 * [misc]backup-simplify: Simplify 1 into 1 1546683613.621 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1546683613.621 * [misc]taylor: Taking taylor expansion of y in x 1546683613.621 * [misc]backup-simplify: Simplify y into y 1546683613.623 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1546683613.623 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1546683613.623 * [misc]backup-simplify: Simplify (- (pow y 4)) into (- (pow y 4)) 1546683613.623 * [misc]backup-simplify: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4)) 1546683613.623 * [misc]taylor: Taking taylor expansion of (- (pow y 4)) in y 1546683613.623 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1546683613.623 * [misc]taylor: Taking taylor expansion of y in y 1546683613.623 * [misc]backup-simplify: Simplify 0 into 0 1546683613.623 * [misc]backup-simplify: Simplify 1 into 1 1546683613.624 * [misc]backup-simplify: Simplify (+ (* y 0) (* 0 y)) into 0 1546683613.624 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1546683613.624 * [misc]backup-simplify: Simplify (- 0) into 0 1546683613.625 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546683613.625 * [misc]taylor: Taking taylor expansion of 0 in y 1546683613.625 * [misc]backup-simplify: Simplify 0 into 0 1546683613.625 * [misc]backup-simplify: Simplify 0 into 0 1546683613.625 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1546683613.626 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1546683613.626 * [misc]backup-simplify: Simplify (- 0) into 0 1546683613.626 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546683613.626 * [misc]taylor: Taking taylor expansion of 0 in y 1546683613.626 * [misc]backup-simplify: Simplify 0 into 0 1546683613.626 * [misc]backup-simplify: Simplify 0 into 0 1546683613.626 * [misc]backup-simplify: Simplify 0 into 0 1546683613.627 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 1546683613.627 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 1546683613.627 * [misc]backup-simplify: Simplify (- 0) into 0 1546683613.628 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546683613.628 * [misc]taylor: Taking taylor expansion of 0 in y 1546683613.628 * [misc]backup-simplify: Simplify 0 into 0 1546683613.628 * [misc]backup-simplify: Simplify 0 into 0 1546683613.628 * [misc]backup-simplify: Simplify 0 into 0 1546683613.628 * [misc]backup-simplify: Simplify 0 into 0 1546683613.628 * [misc]backup-simplify: Simplify 0 into 0 1546683613.628 * [misc]backup-simplify: Simplify (- (pow (/ 1 x) 4) (pow (/ 1 y) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1546683613.628 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0 1546683613.628 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 1546683613.628 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in y 1546683613.628 * [misc]taylor: Taking taylor expansion of (pow x 4) in y 1546683613.628 * [misc]taylor: Taking taylor expansion of x in y 1546683613.629 * [misc]backup-simplify: Simplify x into x 1546683613.629 * [misc]backup-simplify: Simplify (* x x) into (pow x 2) 1546683613.629 * [misc]backup-simplify: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 1546683613.629 * [misc]backup-simplify: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 1546683613.629 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1546683613.629 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1546683613.629 * [misc]taylor: Taking taylor expansion of y in y 1546683613.629 * [misc]backup-simplify: Simplify 0 into 0 1546683613.629 * [misc]backup-simplify: Simplify 1 into 1 1546683613.629 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683613.630 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683613.630 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683613.630 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1546683613.630 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546683613.630 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683613.630 * [misc]taylor: Taking taylor expansion of x in x 1546683613.630 * [misc]backup-simplify: Simplify 0 into 0 1546683613.630 * [misc]backup-simplify: Simplify 1 into 1 1546683613.630 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683613.630 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683613.630 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683613.630 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1546683613.630 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1546683613.630 * [misc]taylor: Taking taylor expansion of y in x 1546683613.631 * [misc]backup-simplify: Simplify y into y 1546683613.631 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1546683613.631 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1546683613.631 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1546683613.631 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1546683613.631 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546683613.631 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683613.631 * [misc]taylor: Taking taylor expansion of x in x 1546683613.631 * [misc]backup-simplify: Simplify 0 into 0 1546683613.631 * [misc]backup-simplify: Simplify 1 into 1 1546683613.631 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683613.631 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683613.632 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683613.632 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1546683613.632 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1546683613.632 * [misc]taylor: Taking taylor expansion of y in x 1546683613.632 * [misc]backup-simplify: Simplify y into y 1546683613.632 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1546683613.632 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1546683613.632 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1546683613.632 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546683613.632 * [misc]taylor: Taking taylor expansion of 1 in y 1546683613.632 * [misc]backup-simplify: Simplify 1 into 1 1546683613.634 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683613.634 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683613.634 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546683613.635 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546683613.635 * [misc]taylor: Taking taylor expansion of 0 in y 1546683613.635 * [misc]backup-simplify: Simplify 0 into 0 1546683613.635 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683613.635 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683613.636 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683613.636 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546683613.636 * [misc]taylor: Taking taylor expansion of 0 in y 1546683613.636 * [misc]backup-simplify: Simplify 0 into 0 1546683613.636 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683613.637 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683613.637 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683613.637 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546683613.637 * [misc]taylor: Taking taylor expansion of 0 in y 1546683613.637 * [misc]backup-simplify: Simplify 0 into 0 1546683613.638 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683613.638 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683613.639 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683613.639 * [misc]backup-simplify: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4))) 1546683613.639 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4))) 1546683613.639 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 1546683613.639 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1546683613.639 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1546683613.639 * [misc]taylor: Taking taylor expansion of y in y 1546683613.639 * [misc]backup-simplify: Simplify 0 into 0 1546683613.639 * [misc]backup-simplify: Simplify 1 into 1 1546683613.639 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683613.640 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683613.640 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683613.640 * [misc]backup-simplify: Simplify (- 1) into -1 1546683613.640 * [misc]backup-simplify: Simplify -1 into -1 1546683613.640 * [misc]backup-simplify: Simplify 1 into 1 1546683613.641 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683613.642 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683613.642 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683613.642 * [misc]backup-simplify: Simplify (+ (* y 0) (* 0 y)) into 0 1546683613.642 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1546683613.643 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0 1546683613.643 * [misc]backup-simplify: Simplify (- 0) into 0 1546683613.643 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546683613.643 * [misc]taylor: Taking taylor expansion of 0 in y 1546683613.643 * [misc]backup-simplify: Simplify 0 into 0 1546683613.643 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683613.644 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683613.644 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546683613.644 * [misc]backup-simplify: Simplify (- 0) into 0 1546683613.644 * [misc]backup-simplify: Simplify 0 into 0 1546683613.644 * [misc]backup-simplify: Simplify 0 into 0 1546683613.644 * [misc]backup-simplify: Simplify 0 into 0 1546683613.645 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683613.645 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683613.646 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683613.646 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1546683613.646 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1546683613.646 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0 1546683613.647 * [misc]backup-simplify: Simplify (- 0) into 0 1546683613.647 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546683613.647 * [misc]taylor: Taking taylor expansion of 0 in y 1546683613.647 * [misc]backup-simplify: Simplify 0 into 0 1546683613.647 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683613.647 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683613.648 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683613.648 * [misc]backup-simplify: Simplify (- 0) into 0 1546683613.648 * [misc]backup-simplify: Simplify 0 into 0 1546683613.648 * [misc]backup-simplify: Simplify 0 into 0 1546683613.648 * [misc]backup-simplify: Simplify 0 into 0 1546683613.649 * [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)) 1546683613.649 * [misc]backup-simplify: Simplify (- (pow (/ 1 (- x)) 4) (pow (/ 1 (- y)) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1546683613.649 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0 1546683613.649 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 1546683613.649 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in y 1546683613.649 * [misc]taylor: Taking taylor expansion of (pow x 4) in y 1546683613.649 * [misc]taylor: Taking taylor expansion of x in y 1546683613.649 * [misc]backup-simplify: Simplify x into x 1546683613.649 * [misc]backup-simplify: Simplify (* x x) into (pow x 2) 1546683613.649 * [misc]backup-simplify: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 1546683613.649 * [misc]backup-simplify: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 1546683613.649 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1546683613.649 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1546683613.649 * [misc]taylor: Taking taylor expansion of y in y 1546683613.649 * [misc]backup-simplify: Simplify 0 into 0 1546683613.649 * [misc]backup-simplify: Simplify 1 into 1 1546683613.650 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683613.650 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683613.650 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683613.650 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1546683613.650 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546683613.650 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683613.650 * [misc]taylor: Taking taylor expansion of x in x 1546683613.650 * [misc]backup-simplify: Simplify 0 into 0 1546683613.650 * [misc]backup-simplify: Simplify 1 into 1 1546683613.650 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683613.650 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683613.651 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683613.651 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1546683613.651 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1546683613.651 * [misc]taylor: Taking taylor expansion of y in x 1546683613.651 * [misc]backup-simplify: Simplify y into y 1546683613.651 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1546683613.651 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1546683613.651 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1546683613.651 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1546683613.651 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546683613.651 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683613.651 * [misc]taylor: Taking taylor expansion of x in x 1546683613.651 * [misc]backup-simplify: Simplify 0 into 0 1546683613.651 * [misc]backup-simplify: Simplify 1 into 1 1546683613.651 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683613.652 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683613.652 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683613.652 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1546683613.652 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1546683613.652 * [misc]taylor: Taking taylor expansion of y in x 1546683613.652 * [misc]backup-simplify: Simplify y into y 1546683613.652 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1546683613.652 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1546683613.652 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1546683613.652 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546683613.652 * [misc]taylor: Taking taylor expansion of 1 in y 1546683613.652 * [misc]backup-simplify: Simplify 1 into 1 1546683613.653 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683613.653 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683613.653 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546683613.653 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546683613.653 * [misc]taylor: Taking taylor expansion of 0 in y 1546683613.653 * [misc]backup-simplify: Simplify 0 into 0 1546683613.654 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683613.654 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683613.654 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683613.654 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546683613.654 * [misc]taylor: Taking taylor expansion of 0 in y 1546683613.654 * [misc]backup-simplify: Simplify 0 into 0 1546683613.655 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683613.655 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683613.655 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683613.656 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546683613.656 * [misc]taylor: Taking taylor expansion of 0 in y 1546683613.656 * [misc]backup-simplify: Simplify 0 into 0 1546683613.656 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683613.656 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683613.657 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683613.657 * [misc]backup-simplify: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4))) 1546683613.658 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4))) 1546683613.658 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 1546683613.658 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1546683613.658 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1546683613.658 * [misc]taylor: Taking taylor expansion of y in y 1546683613.658 * [misc]backup-simplify: Simplify 0 into 0 1546683613.658 * [misc]backup-simplify: Simplify 1 into 1 1546683613.658 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683613.658 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683613.658 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683613.659 * [misc]backup-simplify: Simplify (- 1) into -1 1546683613.659 * [misc]backup-simplify: Simplify -1 into -1 1546683613.659 * [misc]backup-simplify: Simplify 1 into 1 1546683613.659 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683613.660 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683613.660 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683613.660 * [misc]backup-simplify: Simplify (+ (* y 0) (* 0 y)) into 0 1546683613.660 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1546683613.661 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0 1546683613.661 * [misc]backup-simplify: Simplify (- 0) into 0 1546683613.661 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546683613.661 * [misc]taylor: Taking taylor expansion of 0 in y 1546683613.661 * [misc]backup-simplify: Simplify 0 into 0 1546683613.661 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683613.662 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683613.662 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546683613.662 * [misc]backup-simplify: Simplify (- 0) into 0 1546683613.662 * [misc]backup-simplify: Simplify 0 into 0 1546683613.662 * [misc]backup-simplify: Simplify 0 into 0 1546683613.662 * [misc]backup-simplify: Simplify 0 into 0 1546683613.663 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683613.663 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683613.664 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683613.664 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1546683613.664 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1546683613.664 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0 1546683613.665 * [misc]backup-simplify: Simplify (- 0) into 0 1546683613.665 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546683613.665 * [misc]taylor: Taking taylor expansion of 0 in y 1546683613.665 * [misc]backup-simplify: Simplify 0 into 0 1546683613.665 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683613.666 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683613.666 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683613.666 * [misc]backup-simplify: Simplify (- 0) into 0 1546683613.666 * [misc]backup-simplify: Simplify 0 into 0 1546683613.666 * [misc]backup-simplify: Simplify 0 into 0 1546683613.666 * [misc]backup-simplify: Simplify 0 into 0 1546683613.667 * [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)) 1546683613.667 * * * [misc]progress: simplifying candidates 1546683613.667 * * * * [misc]progress: [ 1 / 31 ] simplifiying candidate # 1546683613.667 * [enter]simplify: Simplifying (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))) 1546683613.668 * * [misc]simplify: iters left: 6 (12 enodes) 1546683613.672 * * [misc]simplify: iters left: 5 (21 enodes) 1546683613.679 * * [misc]simplify: iters left: 4 (28 enodes) 1546683613.688 * * [misc]simplify: iters left: 3 (34 enodes) 1546683613.697 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546683613.697 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))))) 1546683613.697 * [enter]simplify: Simplifying (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))) 1546683613.697 * * [misc]simplify: iters left: 6 (8 enodes) 1546683613.700 * * [misc]simplify: iters left: 5 (13 enodes) 1546683613.704 * * [misc]simplify: iters left: 4 (20 enodes) 1546683613.712 * * [misc]simplify: iters left: 3 (39 enodes) 1546683613.724 * * [misc]simplify: iters left: 2 (47 enodes) 1546683613.731 * [exit]simplify: Simplified to 0 1546683613.731 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0)) 1546683613.732 * * * * [misc]progress: [ 2 / 31 ] simplifiying candidate # 1546683613.732 * [enter]simplify: Simplifying (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (* (sqrt (pow y 4)) (sqrt (pow y 4))))) 1546683613.732 * * [misc]simplify: iters left: 6 (11 enodes) 1546683613.735 * * [misc]simplify: iters left: 5 (16 enodes) 1546683613.738 * * [misc]simplify: iters left: 4 (20 enodes) 1546683613.741 * * [misc]simplify: iters left: 3 (25 enodes) 1546683613.744 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546683613.744 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4)))))) 1546683613.744 * [enter]simplify: Simplifying (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4)))) 1546683613.744 * * [misc]simplify: iters left: 5 (7 enodes) 1546683613.745 * * [misc]simplify: iters left: 4 (9 enodes) 1546683613.747 * * [misc]simplify: iters left: 3 (15 enodes) 1546683613.749 * * [misc]simplify: iters left: 2 (21 enodes) 1546683613.752 * * [misc]simplify: iters left: 1 (23 enodes) 1546683613.754 * [exit]simplify: Simplified to 0 1546683613.754 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0)) 1546683613.754 * * * * [misc]progress: [ 3 / 31 ] simplifiying candidate # 1546683613.754 * [enter]simplify: Simplifying (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (* (pow y 4) 1))) 1546683613.754 * * [misc]simplify: iters left: 6 (11 enodes) 1546683613.760 * * [misc]simplify: iters left: 5 (21 enodes) 1546683613.764 * * [misc]simplify: iters left: 4 (28 enodes) 1546683613.769 * * [misc]simplify: iters left: 3 (39 enodes) 1546683613.773 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546683613.774 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (pow y 4)) 1 (* (pow y 4) 1)))) 1546683613.774 * [enter]simplify: Simplifying (fma (- (pow y 4)) 1 (* (pow y 4) 1)) 1546683613.774 * * [misc]simplify: iters left: 4 (7 enodes) 1546683613.775 * * [misc]simplify: iters left: 3 (12 enodes) 1546683613.778 * * [misc]simplify: iters left: 2 (22 enodes) 1546683613.781 * * [misc]simplify: iters left: 1 (31 enodes) 1546683613.785 * [exit]simplify: Simplified to (fma (pow y 4) -1 (pow y 4)) 1546683613.785 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (pow y 4) -1 (pow y 4)))) 1546683613.785 * * * * [misc]progress: [ 4 / 31 ] simplifiying candidate # 1546683613.785 * [enter]simplify: Simplifying (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))) 1546683613.785 * * [misc]simplify: iters left: 6 (11 enodes) 1546683613.789 * * [misc]simplify: iters left: 5 (20 enodes) 1546683613.796 * * [misc]simplify: iters left: 4 (26 enodes) 1546683613.804 * * [misc]simplify: iters left: 3 (31 enodes) 1546683613.811 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546683613.811 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))))) 1546683613.812 * [enter]simplify: Simplifying (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))) 1546683613.812 * * [misc]simplify: iters left: 6 (8 enodes) 1546683613.815 * * [misc]simplify: iters left: 5 (13 enodes) 1546683613.819 * * [misc]simplify: iters left: 4 (20 enodes) 1546683613.826 * * [misc]simplify: iters left: 3 (39 enodes) 1546683613.837 * * [misc]simplify: iters left: 2 (47 enodes) 1546683613.844 * [exit]simplify: Simplified to 0 1546683613.844 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0)) 1546683613.844 * * * * [misc]progress: [ 5 / 31 ] simplifiying candidate # 1546683613.845 * [enter]simplify: Simplifying (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (* (sqrt (pow y 4)) (sqrt (pow y 4))))) 1546683613.845 * * [misc]simplify: iters left: 6 (10 enodes) 1546683613.846 * * [misc]simplify: iters left: 5 (15 enodes) 1546683613.849 * * [misc]simplify: iters left: 4 (18 enodes) 1546683613.851 * * [misc]simplify: iters left: 3 (24 enodes) 1546683613.854 * * [misc]simplify: iters left: 2 (27 enodes) 1546683613.858 * * [misc]simplify: iters left: 1 (42 enodes) 1546683613.865 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546683613.865 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4)))))) 1546683613.865 * [enter]simplify: Simplifying (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4)))) 1546683613.865 * * [misc]simplify: iters left: 5 (7 enodes) 1546683613.866 * * [misc]simplify: iters left: 4 (9 enodes) 1546683613.868 * * [misc]simplify: iters left: 3 (15 enodes) 1546683613.872 * * [misc]simplify: iters left: 2 (21 enodes) 1546683613.876 * * [misc]simplify: iters left: 1 (23 enodes) 1546683613.880 * [exit]simplify: Simplified to 0 1546683613.880 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0)) 1546683613.880 * * * * [misc]progress: [ 6 / 31 ] simplifiying candidate # 1546683613.880 * [enter]simplify: Simplifying (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (* (pow y 4) 1))) 1546683613.881 * * [misc]simplify: iters left: 6 (10 enodes) 1546683613.885 * * [misc]simplify: iters left: 5 (20 enodes) 1546683613.891 * * [misc]simplify: iters left: 4 (26 enodes) 1546683613.895 * * [misc]simplify: iters left: 3 (35 enodes) 1546683613.899 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546683613.899 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (pow y 4)) 1 (* (pow y 4) 1)))) 1546683613.899 * [enter]simplify: Simplifying (fma (- (pow y 4)) 1 (* (pow y 4) 1)) 1546683613.899 * * [misc]simplify: iters left: 4 (7 enodes) 1546683613.901 * * [misc]simplify: iters left: 3 (12 enodes) 1546683613.904 * * [misc]simplify: iters left: 2 (22 enodes) 1546683613.907 * * [misc]simplify: iters left: 1 (31 enodes) 1546683613.910 * [exit]simplify: Simplified to (fma (pow y 4) -1 (pow y 4)) 1546683613.910 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (pow y 4) -1 (pow y 4)))) 1546683613.910 * * * * [misc]progress: [ 7 / 31 ] simplifiying candidate # 1546683613.910 * [enter]simplify: Simplifying (fma 1 (pow x 4) (- (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))) 1546683613.910 * * [misc]simplify: iters left: 6 (11 enodes) 1546683613.912 * * [misc]simplify: iters left: 5 (22 enodes) 1546683613.915 * * [misc]simplify: iters left: 4 (29 enodes) 1546683613.920 * * [misc]simplify: iters left: 3 (38 enodes) 1546683613.924 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546683613.924 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))))) 1546683613.924 * [enter]simplify: Simplifying (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))) 1546683613.925 * * [misc]simplify: iters left: 6 (8 enodes) 1546683613.926 * * [misc]simplify: iters left: 5 (13 enodes) 1546683613.929 * * [misc]simplify: iters left: 4 (20 enodes) 1546683613.936 * * [misc]simplify: iters left: 3 (39 enodes) 1546683613.946 * * [misc]simplify: iters left: 2 (47 enodes) 1546683613.954 * [exit]simplify: Simplified to 0 1546683613.954 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0)) 1546683613.954 * * * * [misc]progress: [ 8 / 31 ] simplifiying candidate # 1546683613.955 * [enter]simplify: Simplifying (fma 1 (pow x 4) (- (* (sqrt (pow y 4)) (sqrt (pow y 4))))) 1546683613.955 * * [misc]simplify: iters left: 6 (10 enodes) 1546683613.957 * * [misc]simplify: iters left: 5 (17 enodes) 1546683613.959 * * [misc]simplify: iters left: 4 (21 enodes) 1546683613.962 * * [misc]simplify: iters left: 3 (28 enodes) 1546683613.965 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546683613.965 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4)))))) 1546683613.966 * [enter]simplify: Simplifying (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4)))) 1546683613.966 * * [misc]simplify: iters left: 5 (7 enodes) 1546683613.967 * * [misc]simplify: iters left: 4 (9 enodes) 1546683613.968 * * [misc]simplify: iters left: 3 (15 enodes) 1546683613.970 * * [misc]simplify: iters left: 2 (21 enodes) 1546683613.973 * * [misc]simplify: iters left: 1 (23 enodes) 1546683613.975 * [exit]simplify: Simplified to 0 1546683613.975 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0)) 1546683613.975 * * * * [misc]progress: [ 9 / 31 ] simplifiying candidate # 1546683613.976 * [enter]simplify: Simplifying (fma 1 (pow x 4) (- (* (pow y 4) 1))) 1546683613.976 * * [misc]simplify: iters left: 6 (9 enodes) 1546683613.978 * * [misc]simplify: iters left: 5 (19 enodes) 1546683613.981 * * [misc]simplify: iters left: 4 (26 enodes) 1546683613.986 * * [misc]simplify: iters left: 3 (38 enodes) 1546683613.990 * * [misc]simplify: iters left: 2 (41 enodes) 1546683613.995 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546683613.995 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (pow y 4)) 1 (* (pow y 4) 1)))) 1546683613.995 * [enter]simplify: Simplifying (fma (- (pow y 4)) 1 (* (pow y 4) 1)) 1546683613.995 * * [misc]simplify: iters left: 4 (7 enodes) 1546683613.996 * * [misc]simplify: iters left: 3 (12 enodes) 1546683613.999 * * [misc]simplify: iters left: 2 (22 enodes) 1546683614.003 * * [misc]simplify: iters left: 1 (31 enodes) 1546683614.006 * [exit]simplify: Simplified to (fma (pow y 4) -1 (pow y 4)) 1546683614.006 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (pow y 4) -1 (pow y 4)))) 1546683614.006 * * * * [misc]progress: [ 10 / 31 ] simplifiying candidate # 1546683614.006 * * * * [misc]progress: [ 11 / 31 ] simplifiying candidate # 1546683614.006 * * * * [misc]progress: [ 12 / 31 ] simplifiying candidate # 1546683614.006 * [enter]simplify: Simplifying (* (cbrt (pow x 4)) (cbrt (pow x 4))) 1546683614.006 * * [misc]simplify: iters left: 4 (5 enodes) 1546683614.007 * [exit]simplify: Simplified to (* (cbrt (pow x 4)) (cbrt (pow x 4))) 1546683614.007 * [misc]simplify: Simplified (2 1) to (λ (x y) (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683614.007 * * * * [misc]progress: [ 13 / 31 ] simplifiying candidate # 1546683614.007 * [enter]simplify: Simplifying (sqrt (pow x 4)) 1546683614.007 * * [misc]simplify: iters left: 2 (4 enodes) 1546683614.008 * [exit]simplify: Simplified to (sqrt (pow x 4)) 1546683614.008 * [misc]simplify: Simplified (2 1) to (λ (x y) (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (pow y 4)))) 1546683614.008 * * * * [misc]progress: [ 14 / 31 ] simplifiying candidate # 1546683614.008 * * * * [misc]progress: [ 15 / 31 ] simplifiying candidate # 1546683614.008 * [enter]simplify: Simplifying (/ (exp (pow x 4)) (exp (pow y 4))) 1546683614.008 * * [misc]simplify: iters left: 4 (8 enodes) 1546683614.010 * * [misc]simplify: iters left: 3 (10 enodes) 1546683614.011 * * [misc]simplify: iters left: 2 (12 enodes) 1546683614.013 * * [misc]simplify: iters left: 1 (15 enodes) 1546683614.015 * [exit]simplify: Simplified to (exp (- (pow x 4) (pow y 4))) 1546683614.015 * [misc]simplify: Simplified (2 1) to (λ (x y) (log (exp (- (pow x 4) (pow y 4))))) 1546683614.015 * * * * [misc]progress: [ 16 / 31 ] simplifiying candidate # 1546683614.015 * * * * [misc]progress: [ 17 / 31 ] simplifiying candidate # 1546683614.015 * * * * [misc]progress: [ 18 / 31 ] simplifiying candidate # 1546683614.015 * * * * [misc]progress: [ 19 / 31 ] simplifiying candidate # 1546683614.015 * * * * [misc]progress: [ 20 / 31 ] simplifiying candidate # 1546683614.015 * * * * [misc]progress: [ 21 / 31 ] simplifiying candidate # 1546683614.015 * * * * [misc]progress: [ 22 / 31 ] simplifiying candidate # 1546683614.015 * * * * [misc]progress: [ 23 / 31 ] simplifiying candidate # 1546683614.015 * * * * [misc]progress: [ 24 / 31 ] simplifiying candidate # 1546683614.015 * * * * [misc]progress: [ 25 / 31 ] simplifiying candidate # 1546683614.015 * * * * [misc]progress: [ 26 / 31 ] simplifiying candidate # 1546683614.016 * [enter]simplify: Simplifying (+ (sqrt (pow x 4)) (sqrt (pow y 4))) 1546683614.016 * * [misc]simplify: iters left: 4 (8 enodes) 1546683614.017 * * [misc]simplify: iters left: 3 (9 enodes) 1546683614.018 * [exit]simplify: Simplified to (+ (sqrt (pow x 4)) (sqrt (pow y 4))) 1546683614.018 * [misc]simplify: Simplified (2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1546683614.018 * [enter]simplify: Simplifying (- (sqrt (pow x 4)) (sqrt (pow y 4))) 1546683614.019 * * [misc]simplify: iters left: 4 (8 enodes) 1546683614.020 * * [misc]simplify: iters left: 3 (10 enodes) 1546683614.021 * * [misc]simplify: iters left: 2 (11 enodes) 1546683614.023 * [exit]simplify: Simplified to (- (sqrt (pow x 4)) (sqrt (pow y 4))) 1546683614.023 * [misc]simplify: Simplified (2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1546683614.023 * * * * [misc]progress: [ 27 / 31 ] simplifiying candidate # 1546683614.023 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1546683614.023 * * [misc]simplify: iters left: 3 (6 enodes) 1546683614.025 * * [misc]simplify: iters left: 2 (8 enodes) 1546683614.027 * * [misc]simplify: iters left: 1 (9 enodes) 1546683614.030 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546683614.030 * [misc]simplify: Simplified (2 2) to (λ (x y) (* 1 (- (pow x 4) (pow y 4)))) 1546683614.030 * * * * [misc]progress: [ 28 / 31 ] simplifiying candidate # 1546683614.030 * * * * [misc]progress: [ 29 / 31 ] simplifiying candidate # 1546683614.030 * [enter]simplify: Simplifying 0 1546683614.030 * * [misc]simplify: iters left: 0 (1 enodes) 1546683614.030 * [exit]simplify: Simplified to 0 1546683614.030 * [misc]simplify: Simplified (2) to (λ (x y) 0) 1546683614.031 * * * * [misc]progress: [ 30 / 31 ] simplifiying candidate # 1546683614.031 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1546683614.031 * * [misc]simplify: iters left: 3 (6 enodes) 1546683614.033 * * [misc]simplify: iters left: 2 (8 enodes) 1546683614.035 * * [misc]simplify: iters left: 1 (9 enodes) 1546683614.038 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546683614.038 * [misc]simplify: Simplified (2) to (λ (x y) (- (pow x 4) (pow y 4))) 1546683614.038 * * * * [misc]progress: [ 31 / 31 ] simplifiying candidate # 1546683614.038 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1546683614.038 * * [misc]simplify: iters left: 3 (6 enodes) 1546683614.040 * * [misc]simplify: iters left: 2 (8 enodes) 1546683614.043 * * [misc]simplify: iters left: 1 (9 enodes) 1546683614.046 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546683614.046 * [misc]simplify: Simplified (2) to (λ (x y) (- (pow x 4) (pow y 4))) 1546683614.046 * * * [misc]progress: adding candidates to table 1546683614.336 * * [misc]progress: iteration 2 / 4 1546683614.336 * * * [misc]progress: picking best candidate 1546683614.342 * * * * [misc]pick: Picked # 1546683614.342 * * * [misc]progress: localizing error 1546683614.364 * * * [misc]progress: generating rewritten candidates 1546683614.364 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2) 1546683614.365 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2) 1546683614.365 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1) 1546683614.366 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1546683614.371 * * * [misc]progress: generating series expansions 1546683614.371 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2) 1546683614.371 * [misc]backup-simplify: Simplify (cbrt (pow x 4)) into (pow (pow x 4) 1/3) 1546683614.371 * [misc]approximate: Taking taylor expansion of (pow (pow x 4) 1/3) in (x) around 0 1546683614.372 * [misc]taylor: Taking taylor expansion of (pow (pow x 4) 1/3) in x 1546683614.372 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow x 4)))) in x 1546683614.372 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow x 4))) in x 1546683614.372 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683614.372 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683614.372 * [misc]taylor: Taking taylor expansion of (log (pow x 4)) in x 1546683614.372 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683614.372 * [misc]taylor: Taking taylor expansion of x in x 1546683614.372 * [misc]backup-simplify: Simplify 0 into 0 1546683614.372 * [misc]backup-simplify: Simplify 1 into 1 1546683614.372 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.372 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.372 * [misc]backup-simplify: Simplify (log 1) into 0 1546683614.373 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.373 * [misc]backup-simplify: Simplify (* 1/3 (* 4 (log x))) into (* 4/3 (log x)) 1546683614.373 * [misc]backup-simplify: Simplify (exp (* 4/3 (log x))) into (pow x 4/3) 1546683614.373 * [misc]taylor: Taking taylor expansion of (pow (pow x 4) 1/3) in x 1546683614.373 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow x 4)))) in x 1546683614.373 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow x 4))) in x 1546683614.373 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683614.373 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683614.373 * [misc]taylor: Taking taylor expansion of (log (pow x 4)) in x 1546683614.373 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683614.373 * [misc]taylor: Taking taylor expansion of x in x 1546683614.373 * [misc]backup-simplify: Simplify 0 into 0 1546683614.373 * [misc]backup-simplify: Simplify 1 into 1 1546683614.373 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.373 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.373 * [misc]backup-simplify: Simplify (log 1) into 0 1546683614.373 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.373 * [misc]backup-simplify: Simplify (* 1/3 (* 4 (log x))) into (* 4/3 (log x)) 1546683614.374 * [misc]backup-simplify: Simplify (exp (* 4/3 (log x))) into (pow x 4/3) 1546683614.374 * [misc]backup-simplify: Simplify (pow x 4/3) into (pow x 4/3) 1546683614.374 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683614.374 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683614.376 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1546683614.377 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.377 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (* 4 (log x)))) into 0 1546683614.377 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1546683614.378 * [misc]backup-simplify: Simplify 0 into 0 1546683614.378 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683614.378 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683614.381 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1546683614.381 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.381 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (* 4 (log x))))) into 0 1546683614.383 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1546683614.383 * [misc]backup-simplify: Simplify 0 into 0 1546683614.383 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683614.383 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683614.387 * [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 1546683614.388 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.388 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x)))))) into 0 1546683614.390 * [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 1546683614.390 * [misc]backup-simplify: Simplify 0 into 0 1546683614.390 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683614.390 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683614.398 * [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 1546683614.399 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.399 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x))))))) into 0 1546683614.405 * [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 1546683614.405 * [misc]backup-simplify: Simplify 0 into 0 1546683614.406 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683614.406 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683614.419 * [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 1546683614.419 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.420 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x)))))))) into 0 1546683614.425 * [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 1546683614.425 * [misc]backup-simplify: Simplify 0 into 0 1546683614.425 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683614.425 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683614.444 * [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 1546683614.445 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.445 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x))))))))) into 0 1546683614.453 * [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 1546683614.453 * [misc]backup-simplify: Simplify 0 into 0 1546683614.453 * [misc]backup-simplify: Simplify (pow x 4/3) into (pow x 4/3) 1546683614.453 * [misc]backup-simplify: Simplify (cbrt (pow (/ 1 x) 4)) into (pow (/ 1 (pow x 4)) 1/3) 1546683614.453 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in (x) around 0 1546683614.453 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1546683614.454 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1546683614.454 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1546683614.454 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683614.454 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683614.454 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1546683614.454 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546683614.454 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683614.454 * [misc]taylor: Taking taylor expansion of x in x 1546683614.454 * [misc]backup-simplify: Simplify 0 into 0 1546683614.454 * [misc]backup-simplify: Simplify 1 into 1 1546683614.454 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.454 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.454 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683614.454 * [misc]backup-simplify: Simplify (log 1) into 0 1546683614.454 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.454 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1546683614.454 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1546683614.454 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1546683614.454 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1546683614.454 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1546683614.454 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683614.454 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683614.454 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1546683614.455 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546683614.455 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683614.455 * [misc]taylor: Taking taylor expansion of x in x 1546683614.455 * [misc]backup-simplify: Simplify 0 into 0 1546683614.455 * [misc]backup-simplify: Simplify 1 into 1 1546683614.455 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.455 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.455 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683614.455 * [misc]backup-simplify: Simplify (log 1) into 0 1546683614.455 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.455 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1546683614.455 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1546683614.455 * [misc]backup-simplify: Simplify (pow x -4/3) into (pow x -4/3) 1546683614.456 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683614.456 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683614.456 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546683614.457 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1546683614.457 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.458 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (- (* 4 (log x))))) into 0 1546683614.458 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1546683614.458 * [misc]backup-simplify: Simplify 0 into 0 1546683614.458 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683614.459 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683614.459 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683614.463 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1546683614.463 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.464 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))) into 0 1546683614.465 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1546683614.465 * [misc]backup-simplify: Simplify 0 into 0 1546683614.466 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683614.466 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683614.467 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683614.474 * [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 1546683614.475 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.475 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))) into 0 1546683614.478 * [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 1546683614.478 * [misc]backup-simplify: Simplify 0 into 0 1546683614.479 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683614.479 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683614.480 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683614.491 * [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 1546683614.491 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.492 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))) into 0 1546683614.498 * [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 1546683614.498 * [misc]backup-simplify: Simplify 0 into 0 1546683614.498 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683614.499 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683614.499 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683614.516 * [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 1546683614.516 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.517 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))))) into 0 1546683614.526 * [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 1546683614.526 * [misc]backup-simplify: Simplify 0 into 0 1546683614.527 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683614.528 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683614.528 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683614.554 * [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 1546683614.555 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.556 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))))) into 0 1546683614.569 * [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 1546683614.569 * [misc]backup-simplify: Simplify 0 into 0 1546683614.569 * [misc]backup-simplify: Simplify (pow (/ 1 x) -4/3) into (pow (/ 1 x) -4/3) 1546683614.569 * [misc]backup-simplify: Simplify (cbrt (pow (/ 1 (- x)) 4)) into (pow (/ 1 (pow x 4)) 1/3) 1546683614.569 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in (x) around 0 1546683614.569 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1546683614.569 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1546683614.569 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1546683614.569 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683614.569 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683614.569 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1546683614.569 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546683614.569 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683614.569 * [misc]taylor: Taking taylor expansion of x in x 1546683614.569 * [misc]backup-simplify: Simplify 0 into 0 1546683614.569 * [misc]backup-simplify: Simplify 1 into 1 1546683614.570 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.570 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.570 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683614.570 * [misc]backup-simplify: Simplify (log 1) into 0 1546683614.570 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.570 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1546683614.571 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1546683614.571 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1546683614.571 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1546683614.571 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1546683614.571 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683614.571 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683614.571 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1546683614.571 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546683614.571 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683614.571 * [misc]taylor: Taking taylor expansion of x in x 1546683614.571 * [misc]backup-simplify: Simplify 0 into 0 1546683614.571 * [misc]backup-simplify: Simplify 1 into 1 1546683614.571 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.571 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.571 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683614.572 * [misc]backup-simplify: Simplify (log 1) into 0 1546683614.572 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.572 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1546683614.572 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1546683614.572 * [misc]backup-simplify: Simplify (pow x -4/3) into (pow x -4/3) 1546683614.572 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683614.573 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683614.573 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546683614.575 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1546683614.576 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.576 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (- (* 4 (log x))))) into 0 1546683614.577 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1546683614.577 * [misc]backup-simplify: Simplify 0 into 0 1546683614.578 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683614.578 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683614.578 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683614.583 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1546683614.583 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.583 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))) into 0 1546683614.585 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1546683614.586 * [misc]backup-simplify: Simplify 0 into 0 1546683614.586 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683614.586 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683614.587 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683614.595 * [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 1546683614.595 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.596 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))) into 0 1546683614.599 * [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 1546683614.599 * [misc]backup-simplify: Simplify 0 into 0 1546683614.600 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683614.600 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683614.601 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683614.612 * [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 1546683614.612 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.613 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))) into 0 1546683614.618 * [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 1546683614.618 * [misc]backup-simplify: Simplify 0 into 0 1546683614.619 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683614.619 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683614.620 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683614.629 * [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 1546683614.630 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.630 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))))) into 0 1546683614.635 * [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 1546683614.635 * [misc]backup-simplify: Simplify 0 into 0 1546683614.636 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683614.636 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683614.636 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683614.652 * [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 1546683614.653 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.653 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))))) into 0 1546683614.661 * [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 1546683614.661 * [misc]backup-simplify: Simplify 0 into 0 1546683614.661 * [misc]backup-simplify: Simplify (pow (/ 1 (- x)) -4/3) into (pow (/ -1 x) -4/3) 1546683614.661 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2) 1546683614.661 * [misc]backup-simplify: Simplify (cbrt (pow x 4)) into (pow (pow x 4) 1/3) 1546683614.661 * [misc]approximate: Taking taylor expansion of (pow (pow x 4) 1/3) in (x) around 0 1546683614.661 * [misc]taylor: Taking taylor expansion of (pow (pow x 4) 1/3) in x 1546683614.661 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow x 4)))) in x 1546683614.661 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow x 4))) in x 1546683614.661 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683614.661 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683614.662 * [misc]taylor: Taking taylor expansion of (log (pow x 4)) in x 1546683614.662 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683614.662 * [misc]taylor: Taking taylor expansion of x in x 1546683614.662 * [misc]backup-simplify: Simplify 0 into 0 1546683614.662 * [misc]backup-simplify: Simplify 1 into 1 1546683614.662 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.662 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.662 * [misc]backup-simplify: Simplify (log 1) into 0 1546683614.662 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.662 * [misc]backup-simplify: Simplify (* 1/3 (* 4 (log x))) into (* 4/3 (log x)) 1546683614.662 * [misc]backup-simplify: Simplify (exp (* 4/3 (log x))) into (pow x 4/3) 1546683614.662 * [misc]taylor: Taking taylor expansion of (pow (pow x 4) 1/3) in x 1546683614.662 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow x 4)))) in x 1546683614.662 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow x 4))) in x 1546683614.662 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683614.662 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683614.662 * [misc]taylor: Taking taylor expansion of (log (pow x 4)) in x 1546683614.662 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683614.662 * [misc]taylor: Taking taylor expansion of x in x 1546683614.662 * [misc]backup-simplify: Simplify 0 into 0 1546683614.662 * [misc]backup-simplify: Simplify 1 into 1 1546683614.662 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.663 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.663 * [misc]backup-simplify: Simplify (log 1) into 0 1546683614.663 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.663 * [misc]backup-simplify: Simplify (* 1/3 (* 4 (log x))) into (* 4/3 (log x)) 1546683614.663 * [misc]backup-simplify: Simplify (exp (* 4/3 (log x))) into (pow x 4/3) 1546683614.663 * [misc]backup-simplify: Simplify (pow x 4/3) into (pow x 4/3) 1546683614.663 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683614.663 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683614.666 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1546683614.666 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.667 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (* 4 (log x)))) into 0 1546683614.668 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1546683614.668 * [misc]backup-simplify: Simplify 0 into 0 1546683614.668 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683614.668 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683614.673 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1546683614.673 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.674 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (* 4 (log x))))) into 0 1546683614.675 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1546683614.676 * [misc]backup-simplify: Simplify 0 into 0 1546683614.676 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683614.676 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683614.684 * [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 1546683614.684 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.685 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x)))))) into 0 1546683614.688 * [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 1546683614.688 * [misc]backup-simplify: Simplify 0 into 0 1546683614.688 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683614.689 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683614.701 * [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 1546683614.701 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.702 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x))))))) into 0 1546683614.708 * [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 1546683614.708 * [misc]backup-simplify: Simplify 0 into 0 1546683614.708 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683614.709 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683614.724 * [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 1546683614.724 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.725 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x)))))))) into 0 1546683614.730 * [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 1546683614.730 * [misc]backup-simplify: Simplify 0 into 0 1546683614.730 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683614.730 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683614.746 * [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 1546683614.746 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.747 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x))))))))) into 0 1546683614.760 * [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 1546683614.761 * [misc]backup-simplify: Simplify 0 into 0 1546683614.761 * [misc]backup-simplify: Simplify (pow x 4/3) into (pow x 4/3) 1546683614.761 * [misc]backup-simplify: Simplify (cbrt (pow (/ 1 x) 4)) into (pow (/ 1 (pow x 4)) 1/3) 1546683614.761 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in (x) around 0 1546683614.761 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1546683614.761 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1546683614.761 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1546683614.761 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683614.761 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683614.761 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1546683614.761 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546683614.761 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683614.761 * [misc]taylor: Taking taylor expansion of x in x 1546683614.761 * [misc]backup-simplify: Simplify 0 into 0 1546683614.761 * [misc]backup-simplify: Simplify 1 into 1 1546683614.761 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.762 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.762 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683614.762 * [misc]backup-simplify: Simplify (log 1) into 0 1546683614.762 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.762 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1546683614.762 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1546683614.762 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1546683614.762 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1546683614.762 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1546683614.762 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683614.762 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683614.762 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1546683614.763 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546683614.763 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683614.763 * [misc]taylor: Taking taylor expansion of x in x 1546683614.763 * [misc]backup-simplify: Simplify 0 into 0 1546683614.763 * [misc]backup-simplify: Simplify 1 into 1 1546683614.763 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.763 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.763 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683614.763 * [misc]backup-simplify: Simplify (log 1) into 0 1546683614.764 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.764 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1546683614.764 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1546683614.764 * [misc]backup-simplify: Simplify (pow x -4/3) into (pow x -4/3) 1546683614.764 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683614.764 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683614.765 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546683614.767 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1546683614.767 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.768 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (- (* 4 (log x))))) into 0 1546683614.769 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1546683614.769 * [misc]backup-simplify: Simplify 0 into 0 1546683614.769 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683614.769 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683614.770 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683614.774 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1546683614.775 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.775 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))) into 0 1546683614.776 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1546683614.776 * [misc]backup-simplify: Simplify 0 into 0 1546683614.776 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683614.777 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683614.777 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683614.781 * [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 1546683614.781 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.781 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))) into 0 1546683614.783 * [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 1546683614.784 * [misc]backup-simplify: Simplify 0 into 0 1546683614.784 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683614.784 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683614.784 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683614.791 * [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 1546683614.791 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.792 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))) into 0 1546683614.795 * [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 1546683614.795 * [misc]backup-simplify: Simplify 0 into 0 1546683614.795 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683614.796 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683614.796 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683614.809 * [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 1546683614.809 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.810 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))))) into 0 1546683614.819 * [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 1546683614.819 * [misc]backup-simplify: Simplify 0 into 0 1546683614.819 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683614.820 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683614.820 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683614.848 * [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 1546683614.849 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.850 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))))) into 0 1546683614.858 * [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 1546683614.858 * [misc]backup-simplify: Simplify 0 into 0 1546683614.858 * [misc]backup-simplify: Simplify (pow (/ 1 x) -4/3) into (pow (/ 1 x) -4/3) 1546683614.859 * [misc]backup-simplify: Simplify (cbrt (pow (/ 1 (- x)) 4)) into (pow (/ 1 (pow x 4)) 1/3) 1546683614.859 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in (x) around 0 1546683614.859 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1546683614.859 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1546683614.859 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1546683614.859 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683614.859 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683614.859 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1546683614.859 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546683614.859 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683614.859 * [misc]taylor: Taking taylor expansion of x in x 1546683614.859 * [misc]backup-simplify: Simplify 0 into 0 1546683614.859 * [misc]backup-simplify: Simplify 1 into 1 1546683614.859 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.859 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.859 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683614.859 * [misc]backup-simplify: Simplify (log 1) into 0 1546683614.859 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.860 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1546683614.860 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1546683614.860 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1546683614.860 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1546683614.860 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1546683614.860 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683614.860 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683614.860 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1546683614.860 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546683614.860 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683614.860 * [misc]taylor: Taking taylor expansion of x in x 1546683614.860 * [misc]backup-simplify: Simplify 0 into 0 1546683614.860 * [misc]backup-simplify: Simplify 1 into 1 1546683614.860 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.860 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.860 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683614.860 * [misc]backup-simplify: Simplify (log 1) into 0 1546683614.860 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.860 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1546683614.860 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1546683614.861 * [misc]backup-simplify: Simplify (pow x -4/3) into (pow x -4/3) 1546683614.861 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683614.861 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683614.861 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546683614.862 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1546683614.863 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.863 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (- (* 4 (log x))))) into 0 1546683614.864 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1546683614.864 * [misc]backup-simplify: Simplify 0 into 0 1546683614.864 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683614.864 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683614.865 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683614.867 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1546683614.867 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.868 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))) into 0 1546683614.869 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1546683614.869 * [misc]backup-simplify: Simplify 0 into 0 1546683614.869 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683614.869 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683614.869 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683614.873 * [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 1546683614.874 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.874 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))) into 0 1546683614.876 * [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 1546683614.876 * [misc]backup-simplify: Simplify 0 into 0 1546683614.876 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683614.876 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683614.877 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683614.886 * [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 1546683614.886 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.887 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))) into 0 1546683614.892 * [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 1546683614.892 * [misc]backup-simplify: Simplify 0 into 0 1546683614.893 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683614.893 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683614.894 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683614.908 * [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 1546683614.908 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.909 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))))) into 0 1546683614.914 * [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 1546683614.914 * [misc]backup-simplify: Simplify 0 into 0 1546683614.914 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683614.915 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683614.915 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683614.931 * [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 1546683614.931 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683614.932 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))))) into 0 1546683614.943 * [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 1546683614.943 * [misc]backup-simplify: Simplify 0 into 0 1546683614.943 * [misc]backup-simplify: Simplify (pow (/ 1 (- x)) -4/3) into (pow (/ -1 x) -4/3) 1546683614.943 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1) 1546683614.943 * [misc]backup-simplify: Simplify (cbrt (pow x 4)) into (pow (pow x 4) 1/3) 1546683614.943 * [misc]approximate: Taking taylor expansion of (pow (pow x 4) 1/3) in (x) around 0 1546683614.943 * [misc]taylor: Taking taylor expansion of (pow (pow x 4) 1/3) in x 1546683614.943 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow x 4)))) in x 1546683614.943 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow x 4))) in x 1546683614.943 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683614.943 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683614.943 * [misc]taylor: Taking taylor expansion of (log (pow x 4)) in x 1546683614.943 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683614.943 * [misc]taylor: Taking taylor expansion of x in x 1546683614.943 * [misc]backup-simplify: Simplify 0 into 0 1546683614.943 * [misc]backup-simplify: Simplify 1 into 1 1546683614.943 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.943 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.944 * [misc]backup-simplify: Simplify (log 1) into 0 1546683614.944 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.944 * [misc]backup-simplify: Simplify (* 1/3 (* 4 (log x))) into (* 4/3 (log x)) 1546683614.944 * [misc]backup-simplify: Simplify (exp (* 4/3 (log x))) into (pow x 4/3) 1546683614.944 * [misc]taylor: Taking taylor expansion of (pow (pow x 4) 1/3) in x 1546683614.944 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow x 4)))) in x 1546683614.944 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow x 4))) in x 1546683614.944 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683614.944 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683614.944 * [misc]taylor: Taking taylor expansion of (log (pow x 4)) in x 1546683614.944 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683614.944 * [misc]taylor: Taking taylor expansion of x in x 1546683614.944 * [misc]backup-simplify: Simplify 0 into 0 1546683614.944 * [misc]backup-simplify: Simplify 1 into 1 1546683614.944 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.944 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683614.944 * [misc]backup-simplify: Simplify (log 1) into 0 1546683614.944 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.945 * [misc]backup-simplify: Simplify (* 1/3 (* 4 (log x))) into (* 4/3 (log x)) 1546683614.945 * [misc]backup-simplify: Simplify (exp (* 4/3 (log x))) into (pow x 4/3) 1546683614.945 * [misc]backup-simplify: Simplify (pow x 4/3) into (pow x 4/3) 1546683614.945 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683614.946 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683614.947 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1546683614.947 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.948 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (* 4 (log x)))) into 0 1546683614.948 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1546683614.948 * [misc]backup-simplify: Simplify 0 into 0 1546683614.948 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683614.949 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683614.951 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1546683614.951 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.952 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (* 4 (log x))))) into 0 1546683614.953 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1546683614.953 * [misc]backup-simplify: Simplify 0 into 0 1546683614.953 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683614.953 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683614.957 * [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 1546683614.957 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.958 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x)))))) into 0 1546683614.960 * [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 1546683614.960 * [misc]backup-simplify: Simplify 0 into 0 1546683614.960 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683614.960 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683614.967 * [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 1546683614.967 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.968 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x))))))) into 0 1546683614.973 * [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 1546683614.973 * [misc]backup-simplify: Simplify 0 into 0 1546683614.974 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683614.974 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683614.992 * [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 1546683614.992 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683614.993 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x)))))))) into 0 1546683615.001 * [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 1546683615.001 * [misc]backup-simplify: Simplify 0 into 0 1546683615.002 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683615.002 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683615.027 * [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 1546683615.027 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1546683615.027 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x))))))))) into 0 1546683615.036 * [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 1546683615.036 * [misc]backup-simplify: Simplify 0 into 0 1546683615.036 * [misc]backup-simplify: Simplify (pow x 4/3) into (pow x 4/3) 1546683615.036 * [misc]backup-simplify: Simplify (cbrt (pow (/ 1 x) 4)) into (pow (/ 1 (pow x 4)) 1/3) 1546683615.036 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in (x) around 0 1546683615.036 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1546683615.036 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1546683615.036 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1546683615.036 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683615.036 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683615.036 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1546683615.036 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546683615.036 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683615.036 * [misc]taylor: Taking taylor expansion of x in x 1546683615.036 * [misc]backup-simplify: Simplify 0 into 0 1546683615.036 * [misc]backup-simplify: Simplify 1 into 1 1546683615.036 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.036 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.036 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683615.037 * [misc]backup-simplify: Simplify (log 1) into 0 1546683615.037 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683615.037 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1546683615.037 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1546683615.037 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1546683615.037 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1546683615.037 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1546683615.037 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683615.037 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683615.037 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1546683615.037 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546683615.037 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683615.037 * [misc]taylor: Taking taylor expansion of x in x 1546683615.037 * [misc]backup-simplify: Simplify 0 into 0 1546683615.037 * [misc]backup-simplify: Simplify 1 into 1 1546683615.037 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.037 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.037 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683615.037 * [misc]backup-simplify: Simplify (log 1) into 0 1546683615.038 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683615.038 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1546683615.038 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1546683615.038 * [misc]backup-simplify: Simplify (pow x -4/3) into (pow x -4/3) 1546683615.038 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683615.038 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683615.038 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546683615.040 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1546683615.040 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683615.041 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (- (* 4 (log x))))) into 0 1546683615.042 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1546683615.042 * [misc]backup-simplify: Simplify 0 into 0 1546683615.042 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683615.042 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683615.043 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683615.047 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1546683615.047 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683615.048 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))) into 0 1546683615.050 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1546683615.050 * [misc]backup-simplify: Simplify 0 into 0 1546683615.050 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683615.051 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683615.051 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683615.058 * [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 1546683615.058 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683615.059 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))) into 0 1546683615.062 * [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 1546683615.062 * [misc]backup-simplify: Simplify 0 into 0 1546683615.063 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683615.063 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683615.064 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683615.072 * [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 1546683615.072 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683615.073 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))) into 0 1546683615.076 * [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 1546683615.076 * [misc]backup-simplify: Simplify 0 into 0 1546683615.077 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683615.077 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683615.077 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683615.087 * [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 1546683615.087 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683615.088 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))))) into 0 1546683615.093 * [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 1546683615.093 * [misc]backup-simplify: Simplify 0 into 0 1546683615.094 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683615.094 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683615.094 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683615.114 * [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 1546683615.114 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683615.115 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))))) into 0 1546683615.128 * [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 1546683615.129 * [misc]backup-simplify: Simplify 0 into 0 1546683615.129 * [misc]backup-simplify: Simplify (pow (/ 1 x) -4/3) into (pow (/ 1 x) -4/3) 1546683615.129 * [misc]backup-simplify: Simplify (cbrt (pow (/ 1 (- x)) 4)) into (pow (/ 1 (pow x 4)) 1/3) 1546683615.129 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in (x) around 0 1546683615.129 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1546683615.129 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1546683615.129 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1546683615.129 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683615.129 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683615.129 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1546683615.129 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546683615.129 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683615.129 * [misc]taylor: Taking taylor expansion of x in x 1546683615.129 * [misc]backup-simplify: Simplify 0 into 0 1546683615.129 * [misc]backup-simplify: Simplify 1 into 1 1546683615.129 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.130 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.130 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683615.130 * [misc]backup-simplify: Simplify (log 1) into 0 1546683615.130 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683615.130 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1546683615.130 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1546683615.130 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1546683615.130 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1546683615.130 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1546683615.130 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683615.131 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683615.131 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1546683615.131 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546683615.131 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546683615.131 * [misc]taylor: Taking taylor expansion of x in x 1546683615.131 * [misc]backup-simplify: Simplify 0 into 0 1546683615.131 * [misc]backup-simplify: Simplify 1 into 1 1546683615.131 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.131 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.131 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683615.131 * [misc]backup-simplify: Simplify (log 1) into 0 1546683615.132 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683615.132 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1546683615.132 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1546683615.132 * [misc]backup-simplify: Simplify (pow x -4/3) into (pow x -4/3) 1546683615.132 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683615.132 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683615.133 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546683615.135 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1546683615.136 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683615.136 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (- (* 4 (log x))))) into 0 1546683615.137 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1546683615.137 * [misc]backup-simplify: Simplify 0 into 0 1546683615.137 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683615.138 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683615.138 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683615.143 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1546683615.143 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683615.143 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))) into 0 1546683615.145 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1546683615.145 * [misc]backup-simplify: Simplify 0 into 0 1546683615.146 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683615.146 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683615.147 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683615.154 * [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 1546683615.154 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683615.154 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))) into 0 1546683615.158 * [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 1546683615.158 * [misc]backup-simplify: Simplify 0 into 0 1546683615.158 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683615.159 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683615.159 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683615.171 * [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 1546683615.171 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683615.172 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))) into 0 1546683615.177 * [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 1546683615.177 * [misc]backup-simplify: Simplify 0 into 0 1546683615.178 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683615.178 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683615.179 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683615.196 * [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 1546683615.196 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683615.197 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))))) into 0 1546683615.204 * [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 1546683615.204 * [misc]backup-simplify: Simplify 0 into 0 1546683615.204 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683615.204 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683615.205 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683615.219 * [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 1546683615.220 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1546683615.221 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))))) into 0 1546683615.234 * [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 1546683615.234 * [misc]backup-simplify: Simplify 0 into 0 1546683615.234 * [misc]backup-simplify: Simplify (pow (/ 1 (- x)) -4/3) into (pow (/ -1 x) -4/3) 1546683615.234 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1546683615.234 * [misc]backup-simplify: Simplify (* (cbrt (pow x 4)) (cbrt (pow x 4))) into (pow (pow x 8) 1/3) 1546683615.234 * [misc]approximate: Taking taylor expansion of (pow (pow x 8) 1/3) in (x) around 0 1546683615.234 * [misc]taylor: Taking taylor expansion of (pow (pow x 8) 1/3) in x 1546683615.234 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow x 8)))) in x 1546683615.234 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow x 8))) in x 1546683615.234 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683615.234 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683615.234 * [misc]taylor: Taking taylor expansion of (log (pow x 8)) in x 1546683615.234 * [misc]taylor: Taking taylor expansion of (pow x 8) in x 1546683615.235 * [misc]taylor: Taking taylor expansion of x in x 1546683615.235 * [misc]backup-simplify: Simplify 0 into 0 1546683615.235 * [misc]backup-simplify: Simplify 1 into 1 1546683615.235 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.235 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.235 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.235 * [misc]backup-simplify: Simplify (log 1) into 0 1546683615.235 * [misc]backup-simplify: Simplify (+ (* (- -8) (log x)) 0) into (* 8 (log x)) 1546683615.236 * [misc]backup-simplify: Simplify (* 1/3 (* 8 (log x))) into (* 8/3 (log x)) 1546683615.236 * [misc]backup-simplify: Simplify (exp (* 8/3 (log x))) into (pow x 8/3) 1546683615.236 * [misc]taylor: Taking taylor expansion of (pow (pow x 8) 1/3) in x 1546683615.236 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow x 8)))) in x 1546683615.236 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow x 8))) in x 1546683615.236 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683615.236 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683615.236 * [misc]taylor: Taking taylor expansion of (log (pow x 8)) in x 1546683615.236 * [misc]taylor: Taking taylor expansion of (pow x 8) in x 1546683615.236 * [misc]taylor: Taking taylor expansion of x in x 1546683615.236 * [misc]backup-simplify: Simplify 0 into 0 1546683615.236 * [misc]backup-simplify: Simplify 1 into 1 1546683615.236 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.236 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.236 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.237 * [misc]backup-simplify: Simplify (log 1) into 0 1546683615.237 * [misc]backup-simplify: Simplify (+ (* (- -8) (log x)) 0) into (* 8 (log x)) 1546683615.237 * [misc]backup-simplify: Simplify (* 1/3 (* 8 (log x))) into (* 8/3 (log x)) 1546683615.237 * [misc]backup-simplify: Simplify (exp (* 8/3 (log x))) into (pow x 8/3) 1546683615.237 * [misc]backup-simplify: Simplify (pow x 8/3) into (pow x 8/3) 1546683615.237 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683615.238 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683615.238 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683615.240 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1546683615.241 * [misc]backup-simplify: Simplify (+ (* (- -8) (log x)) 0) into (* 8 (log x)) 1546683615.241 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (* 8 (log x)))) into 0 1546683615.242 * [misc]backup-simplify: Simplify (* (exp (* 8/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1546683615.242 * [misc]backup-simplify: Simplify 0 into 0 1546683615.242 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683615.243 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683615.243 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683615.247 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1546683615.248 * [misc]backup-simplify: Simplify (+ (* (- -8) (log x)) 0) into (* 8 (log x)) 1546683615.248 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (* 8 (log x))))) into 0 1546683615.250 * [misc]backup-simplify: Simplify (* (exp (* 8/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1546683615.250 * [misc]backup-simplify: Simplify 0 into 0 1546683615.250 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683615.251 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683615.251 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683615.258 * [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 1546683615.259 * [misc]backup-simplify: Simplify (+ (* (- -8) (log x)) 0) into (* 8 (log x)) 1546683615.259 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 8 (log x)))))) into 0 1546683615.263 * [misc]backup-simplify: Simplify (* (exp (* 8/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1546683615.263 * [misc]backup-simplify: Simplify 0 into 0 1546683615.263 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683615.264 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683615.264 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683615.276 * [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 1546683615.276 * [misc]backup-simplify: Simplify (+ (* (- -8) (log x)) 0) into (* 8 (log x)) 1546683615.276 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 8 (log x))))))) into 0 1546683615.281 * [misc]backup-simplify: Simplify (* (exp (* 8/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 1546683615.281 * [misc]backup-simplify: Simplify 0 into 0 1546683615.281 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683615.282 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683615.282 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683615.292 * [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 1546683615.292 * [misc]backup-simplify: Simplify (+ (* (- -8) (log x)) 0) into (* 8 (log x)) 1546683615.292 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 8 (log x)))))))) into 0 1546683615.297 * [misc]backup-simplify: Simplify (* (exp (* 8/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 1546683615.297 * [misc]backup-simplify: Simplify 0 into 0 1546683615.298 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683615.298 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683615.298 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683615.314 * [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 1546683615.314 * [misc]backup-simplify: Simplify (+ (* (- -8) (log x)) 0) into (* 8 (log x)) 1546683615.315 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 8 (log x))))))))) into 0 1546683615.328 * [misc]backup-simplify: Simplify (* (exp (* 8/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 1546683615.328 * [misc]backup-simplify: Simplify 0 into 0 1546683615.328 * [misc]backup-simplify: Simplify (pow x 8/3) into (pow x 8/3) 1546683615.328 * [misc]backup-simplify: Simplify (* (cbrt (pow (/ 1 x) 4)) (cbrt (pow (/ 1 x) 4))) into (pow (/ 1 (pow x 8)) 1/3) 1546683615.328 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (pow x 8)) 1/3) in (x) around 0 1546683615.329 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 8)) 1/3) in x 1546683615.329 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 8))))) in x 1546683615.329 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 8)))) in x 1546683615.329 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683615.329 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683615.329 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 8))) in x 1546683615.329 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 8)) in x 1546683615.329 * [misc]taylor: Taking taylor expansion of (pow x 8) in x 1546683615.329 * [misc]taylor: Taking taylor expansion of x in x 1546683615.329 * [misc]backup-simplify: Simplify 0 into 0 1546683615.329 * [misc]backup-simplify: Simplify 1 into 1 1546683615.329 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.329 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.329 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.329 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683615.330 * [misc]backup-simplify: Simplify (log 1) into 0 1546683615.330 * [misc]backup-simplify: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 1546683615.330 * [misc]backup-simplify: Simplify (* 1/3 (- (* 8 (log x)))) into (* -8/3 (log x)) 1546683615.330 * [misc]backup-simplify: Simplify (exp (* -8/3 (log x))) into (pow x -8/3) 1546683615.330 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 8)) 1/3) in x 1546683615.330 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 8))))) in x 1546683615.330 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 8)))) in x 1546683615.330 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683615.330 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683615.330 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 8))) in x 1546683615.330 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 8)) in x 1546683615.330 * [misc]taylor: Taking taylor expansion of (pow x 8) in x 1546683615.330 * [misc]taylor: Taking taylor expansion of x in x 1546683615.330 * [misc]backup-simplify: Simplify 0 into 0 1546683615.330 * [misc]backup-simplify: Simplify 1 into 1 1546683615.331 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.331 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.331 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.331 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683615.331 * [misc]backup-simplify: Simplify (log 1) into 0 1546683615.331 * [misc]backup-simplify: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 1546683615.332 * [misc]backup-simplify: Simplify (* 1/3 (- (* 8 (log x)))) into (* -8/3 (log x)) 1546683615.332 * [misc]backup-simplify: Simplify (exp (* -8/3 (log x))) into (pow x -8/3) 1546683615.332 * [misc]backup-simplify: Simplify (pow x -8/3) into (pow x -8/3) 1546683615.332 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683615.332 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683615.332 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683615.333 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546683615.335 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1546683615.336 * [misc]backup-simplify: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 1546683615.336 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (- (* 8 (log x))))) into 0 1546683615.337 * [misc]backup-simplify: Simplify (* (exp (* -8/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1546683615.337 * [misc]backup-simplify: Simplify 0 into 0 1546683615.337 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683615.338 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683615.338 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683615.338 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683615.343 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1546683615.343 * [misc]backup-simplify: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 1546683615.343 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 8 (log x)))))) into 0 1546683615.345 * [misc]backup-simplify: Simplify (* (exp (* -8/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1546683615.345 * [misc]backup-simplify: Simplify 0 into 0 1546683615.346 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683615.346 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683615.347 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683615.347 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683615.353 * [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 1546683615.354 * [misc]backup-simplify: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 1546683615.354 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 8 (log x))))))) into 0 1546683615.358 * [misc]backup-simplify: Simplify (* (exp (* -8/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1546683615.358 * [misc]backup-simplify: Simplify 0 into 0 1546683615.358 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683615.359 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683615.359 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683615.360 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683615.370 * [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 1546683615.371 * [misc]backup-simplify: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 1546683615.371 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 8 (log x)))))))) into 0 1546683615.377 * [misc]backup-simplify: Simplify (* (exp (* -8/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 1546683615.377 * [misc]backup-simplify: Simplify 0 into 0 1546683615.377 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683615.378 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683615.378 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683615.379 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683615.395 * [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 1546683615.395 * [misc]backup-simplify: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 1546683615.396 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 8 (log x))))))))) into 0 1546683615.404 * [misc]backup-simplify: Simplify (* (exp (* -8/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 1546683615.404 * [misc]backup-simplify: Simplify 0 into 0 1546683615.405 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683615.406 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683615.406 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683615.407 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683615.425 * [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 1546683615.426 * [misc]backup-simplify: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 1546683615.426 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 8 (log x)))))))))) into 0 1546683615.434 * [misc]backup-simplify: Simplify (* (exp (* -8/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 1546683615.434 * [misc]backup-simplify: Simplify 0 into 0 1546683615.434 * [misc]backup-simplify: Simplify (pow (/ 1 x) -8/3) into (pow (/ 1 x) -8/3) 1546683615.434 * [misc]backup-simplify: Simplify (* (cbrt (pow (/ 1 (- x)) 4)) (cbrt (pow (/ 1 (- x)) 4))) into (pow (/ 1 (pow x 8)) 1/3) 1546683615.434 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (pow x 8)) 1/3) in (x) around 0 1546683615.434 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 8)) 1/3) in x 1546683615.434 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 8))))) in x 1546683615.434 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 8)))) in x 1546683615.434 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683615.434 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683615.434 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 8))) in x 1546683615.434 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 8)) in x 1546683615.434 * [misc]taylor: Taking taylor expansion of (pow x 8) in x 1546683615.434 * [misc]taylor: Taking taylor expansion of x in x 1546683615.435 * [misc]backup-simplify: Simplify 0 into 0 1546683615.435 * [misc]backup-simplify: Simplify 1 into 1 1546683615.435 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.435 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.435 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.435 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683615.435 * [misc]backup-simplify: Simplify (log 1) into 0 1546683615.435 * [misc]backup-simplify: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 1546683615.435 * [misc]backup-simplify: Simplify (* 1/3 (- (* 8 (log x)))) into (* -8/3 (log x)) 1546683615.435 * [misc]backup-simplify: Simplify (exp (* -8/3 (log x))) into (pow x -8/3) 1546683615.435 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 8)) 1/3) in x 1546683615.435 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 8))))) in x 1546683615.435 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 8)))) in x 1546683615.435 * [misc]taylor: Taking taylor expansion of 1/3 in x 1546683615.435 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546683615.435 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 8))) in x 1546683615.435 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 8)) in x 1546683615.435 * [misc]taylor: Taking taylor expansion of (pow x 8) in x 1546683615.435 * [misc]taylor: Taking taylor expansion of x in x 1546683615.435 * [misc]backup-simplify: Simplify 0 into 0 1546683615.436 * [misc]backup-simplify: Simplify 1 into 1 1546683615.436 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.436 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.436 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546683615.436 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546683615.436 * [misc]backup-simplify: Simplify (log 1) into 0 1546683615.436 * [misc]backup-simplify: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 1546683615.436 * [misc]backup-simplify: Simplify (* 1/3 (- (* 8 (log x)))) into (* -8/3 (log x)) 1546683615.436 * [misc]backup-simplify: Simplify (exp (* -8/3 (log x))) into (pow x -8/3) 1546683615.436 * [misc]backup-simplify: Simplify (pow x -8/3) into (pow x -8/3) 1546683615.437 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683615.437 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683615.437 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546683615.437 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546683615.438 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1546683615.439 * [misc]backup-simplify: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 1546683615.439 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (- (* 8 (log x))))) into 0 1546683615.439 * [misc]backup-simplify: Simplify (* (exp (* -8/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1546683615.439 * [misc]backup-simplify: Simplify 0 into 0 1546683615.440 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683615.440 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683615.440 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546683615.440 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683615.443 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1546683615.443 * [misc]backup-simplify: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 1546683615.443 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 8 (log x)))))) into 0 1546683615.444 * [misc]backup-simplify: Simplify (* (exp (* -8/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1546683615.444 * [misc]backup-simplify: Simplify 0 into 0 1546683615.444 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683615.444 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683615.445 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546683615.445 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683615.451 * [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 1546683615.451 * [misc]backup-simplify: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 1546683615.451 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 8 (log x))))))) into 0 1546683615.454 * [misc]backup-simplify: Simplify (* (exp (* -8/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1546683615.455 * [misc]backup-simplify: Simplify 0 into 0 1546683615.455 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683615.455 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683615.456 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546683615.456 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683615.468 * [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 1546683615.468 * [misc]backup-simplify: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 1546683615.469 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 8 (log x)))))))) into 0 1546683615.474 * [misc]backup-simplify: Simplify (* (exp (* -8/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 1546683615.474 * [misc]backup-simplify: Simplify 0 into 0 1546683615.475 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683615.475 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683615.475 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546683615.476 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683615.493 * [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 1546683615.493 * [misc]backup-simplify: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 1546683615.494 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 8 (log x))))))))) into 0 1546683615.500 * [misc]backup-simplify: Simplify (* (exp (* -8/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 1546683615.500 * [misc]backup-simplify: Simplify 0 into 0 1546683615.500 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683615.500 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683615.501 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546683615.501 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546683615.515 * [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 1546683615.516 * [misc]backup-simplify: Simplify (+ (* (- 8) (log x)) 0) into (- (* 8 (log x))) 1546683615.516 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 8 (log x)))))))))) into 0 1546683615.524 * [misc]backup-simplify: Simplify (* (exp (* -8/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 1546683615.524 * [misc]backup-simplify: Simplify 0 into 0 1546683615.525 * [misc]backup-simplify: Simplify (pow (/ 1 (- x)) -8/3) into (pow (/ -1 x) -8/3) 1546683615.525 * * * [misc]progress: simplifying candidates 1546683615.525 * * * * [misc]progress: [ 1 / 81 ] simplifiying candidate # 1546683615.525 * * * * [misc]progress: [ 2 / 81 ] simplifiying candidate # 1546683615.525 * * * * [misc]progress: [ 3 / 81 ] simplifiying candidate # 1546683615.525 * * * * [misc]progress: [ 4 / 81 ] simplifiying candidate # 1546683615.525 * * * * [misc]progress: [ 5 / 81 ] simplifiying candidate # 1546683615.525 * * * * [misc]progress: [ 6 / 81 ] simplifiying candidate # 1546683615.525 * * * * [misc]progress: [ 7 / 81 ] simplifiying candidate # 1546683615.525 * [enter]simplify: Simplifying (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1546683615.525 * * [misc]simplify: iters left: 5 (6 enodes) 1546683615.526 * [exit]simplify: Simplified to (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1546683615.526 * [misc]simplify: Simplified (2 2 1) to (λ (x y) (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (* (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (cbrt (cbrt (pow x 4)))) (- (pow y 4)))) 1546683615.526 * * * * [misc]progress: [ 8 / 81 ] simplifiying candidate # 1546683615.526 * [enter]simplify: Simplifying (cbrt (sqrt (pow x 4))) 1546683615.526 * * [misc]simplify: iters left: 3 (5 enodes) 1546683615.527 * [exit]simplify: Simplified to (cbrt (sqrt (pow x 4))) 1546683615.527 * [misc]simplify: Simplified (2 2 1) to (λ (x y) (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (* (cbrt (sqrt (pow x 4))) (cbrt (sqrt (pow x 4)))) (- (pow y 4)))) 1546683615.527 * * * * [misc]progress: [ 9 / 81 ] simplifiying candidate # 1546683615.527 * [enter]simplify: Simplifying (cbrt 1) 1546683615.527 * * [misc]simplify: iters left: 1 (2 enodes) 1546683615.528 * [exit]simplify: Simplified to 1 1546683615.528 * [misc]simplify: Simplified (2 2 1) to (λ (x y) (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (* 1 (cbrt (pow x 4))) (- (pow y 4)))) 1546683615.528 * * * * [misc]progress: [ 10 / 81 ] simplifiying candidate # 1546683615.528 * * * * [misc]progress: [ 11 / 81 ] simplifiying candidate # 1546683615.528 * * * * [misc]progress: [ 12 / 81 ] simplifiying candidate # 1546683615.528 * * * * [misc]progress: [ 13 / 81 ] simplifiying candidate # 1546683615.528 * * * * [misc]progress: [ 14 / 81 ] simplifiying candidate # 1546683615.528 * * * * [misc]progress: [ 15 / 81 ] simplifiying candidate # 1546683615.528 * * * * [misc]progress: [ 16 / 81 ] simplifiying candidate # 1546683615.528 * * * * [misc]progress: [ 17 / 81 ] simplifiying candidate # 1546683615.529 * * * * [misc]progress: [ 18 / 81 ] simplifiying candidate # 1546683615.529 * * * * [misc]progress: [ 19 / 81 ] simplifiying candidate # 1546683615.529 * * * * [misc]progress: [ 20 / 81 ] simplifiying candidate # 1546683615.529 * [enter]simplify: Simplifying (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1546683615.529 * * [misc]simplify: iters left: 5 (6 enodes) 1546683615.530 * [exit]simplify: Simplified to (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1546683615.530 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (fma (* (cbrt (pow x 4)) (* (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (cbrt (cbrt (pow x 4))))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.530 * * * * [misc]progress: [ 21 / 81 ] simplifiying candidate # 1546683615.530 * [enter]simplify: Simplifying (cbrt (sqrt (pow x 4))) 1546683615.530 * * [misc]simplify: iters left: 3 (5 enodes) 1546683615.531 * [exit]simplify: Simplified to (cbrt (sqrt (pow x 4))) 1546683615.531 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (fma (* (cbrt (pow x 4)) (* (cbrt (sqrt (pow x 4))) (cbrt (sqrt (pow x 4))))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.531 * * * * [misc]progress: [ 22 / 81 ] simplifiying candidate # 1546683615.531 * [enter]simplify: Simplifying (cbrt 1) 1546683615.531 * * [misc]simplify: iters left: 1 (2 enodes) 1546683615.532 * [exit]simplify: Simplified to 1 1546683615.532 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (fma (* (cbrt (pow x 4)) (* 1 (cbrt (pow x 4)))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.532 * * * * [misc]progress: [ 23 / 81 ] simplifiying candidate # 1546683615.532 * * * * [misc]progress: [ 24 / 81 ] simplifiying candidate # 1546683615.532 * * * * [misc]progress: [ 25 / 81 ] simplifiying candidate # 1546683615.532 * * * * [misc]progress: [ 26 / 81 ] simplifiying candidate # 1546683615.532 * * * * [misc]progress: [ 27 / 81 ] simplifiying candidate # 1546683615.532 * * * * [misc]progress: [ 28 / 81 ] simplifiying candidate # 1546683615.532 * * * * [misc]progress: [ 29 / 81 ] simplifiying candidate # 1546683615.532 * * * * [misc]progress: [ 30 / 81 ] simplifiying candidate # 1546683615.532 * * * * [misc]progress: [ 31 / 81 ] simplifiying candidate # 1546683615.532 * * * * [misc]progress: [ 32 / 81 ] simplifiying candidate # 1546683615.532 * * * * [misc]progress: [ 33 / 81 ] simplifiying candidate # 1546683615.532 * [enter]simplify: Simplifying (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1546683615.532 * * [misc]simplify: iters left: 5 (6 enodes) 1546683615.533 * [exit]simplify: Simplified to (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1546683615.533 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (fma (* (* (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (cbrt (cbrt (pow x 4)))) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.533 * * * * [misc]progress: [ 34 / 81 ] simplifiying candidate # 1546683615.533 * [enter]simplify: Simplifying (cbrt (sqrt (pow x 4))) 1546683615.533 * * [misc]simplify: iters left: 3 (5 enodes) 1546683615.534 * [exit]simplify: Simplified to (cbrt (sqrt (pow x 4))) 1546683615.534 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (fma (* (* (cbrt (sqrt (pow x 4))) (cbrt (sqrt (pow x 4)))) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.534 * * * * [misc]progress: [ 35 / 81 ] simplifiying candidate # 1546683615.534 * [enter]simplify: Simplifying (cbrt 1) 1546683615.534 * * [misc]simplify: iters left: 1 (2 enodes) 1546683615.535 * [exit]simplify: Simplified to 1 1546683615.535 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (fma (* (* 1 (cbrt (pow x 4))) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.535 * * * * [misc]progress: [ 36 / 81 ] simplifiying candidate # 1546683615.535 * * * * [misc]progress: [ 37 / 81 ] simplifiying candidate # 1546683615.535 * * * * [misc]progress: [ 38 / 81 ] simplifiying candidate # 1546683615.535 * * * * [misc]progress: [ 39 / 81 ] simplifiying candidate # 1546683615.535 * * * * [misc]progress: [ 40 / 81 ] simplifiying candidate # 1546683615.535 * * * * [misc]progress: [ 41 / 81 ] simplifiying candidate # 1546683615.535 * * * * [misc]progress: [ 42 / 81 ] simplifiying candidate # 1546683615.535 * [enter]simplify: Simplifying (pow x 4) 1546683615.535 * * [misc]simplify: iters left: 1 (3 enodes) 1546683615.536 * [exit]simplify: Simplified to (pow x 4) 1546683615.536 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (fma (pow (pow x 4) (+ 1/3 1/3)) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.536 * [enter]simplify: Simplifying (+ 1/3 1/3) 1546683615.536 * * [misc]simplify: iters left: 2 (2 enodes) 1546683615.537 * * [misc]simplify: iters left: 1 (3 enodes) 1546683615.537 * [exit]simplify: Simplified to 2/3 1546683615.537 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (fma (pow (pow x 4) 2/3) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.537 * * * * [misc]progress: [ 43 / 81 ] simplifiying candidate # 1546683615.537 * [enter]simplify: Simplifying (cbrt (pow x 4)) 1546683615.537 * * [misc]simplify: iters left: 2 (4 enodes) 1546683615.538 * [exit]simplify: Simplified to (cbrt (pow x 4)) 1546683615.538 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (fma (pow (cbrt (pow x 4)) (+ 1 1)) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.538 * [enter]simplify: Simplifying (+ 1 1) 1546683615.538 * * [misc]simplify: iters left: 2 (2 enodes) 1546683615.539 * * [misc]simplify: iters left: 1 (5 enodes) 1546683615.539 * [exit]simplify: Simplified to 2 1546683615.539 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (fma (pow (cbrt (pow x 4)) 2) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.539 * * * * [misc]progress: [ 44 / 81 ] simplifiying candidate # 1546683615.539 * [enter]simplify: Simplifying (* (pow x 4) (pow x 4)) 1546683615.540 * * [misc]simplify: iters left: 3 (4 enodes) 1546683615.540 * [exit]simplify: Simplified to (* (pow x 4) (pow x 4)) 1546683615.540 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (fma (pow (* (pow x 4) (pow x 4)) 1/3) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.540 * * * * [misc]progress: [ 45 / 81 ] simplifiying candidate # 1546683615.540 * [enter]simplify: Simplifying (* (cbrt (pow x 4)) (cbrt (pow x 4))) 1546683615.540 * * [misc]simplify: iters left: 4 (5 enodes) 1546683615.541 * [exit]simplify: Simplified to (* (cbrt (pow x 4)) (cbrt (pow x 4))) 1546683615.541 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (fma (pow (* (cbrt (pow x 4)) (cbrt (pow x 4))) 1) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.541 * * * * [misc]progress: [ 46 / 81 ] simplifiying candidate # 1546683615.541 * * * * [misc]progress: [ 47 / 81 ] simplifiying candidate # 1546683615.541 * [enter]simplify: Simplifying (cbrt (pow x 4)) 1546683615.541 * * [misc]simplify: iters left: 2 (4 enodes) 1546683615.542 * [exit]simplify: Simplified to (cbrt (pow x 4)) 1546683615.542 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (fma (pow (cbrt (pow x 4)) (+ 1 1)) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.542 * * * * [misc]progress: [ 48 / 81 ] simplifiying candidate # 1546683615.542 * * * * [misc]progress: [ 49 / 81 ] simplifiying candidate # 1546683615.542 * [enter]simplify: Simplifying (+ (log (cbrt (pow x 4))) (log (cbrt (pow x 4)))) 1546683615.542 * * [misc]simplify: iters left: 5 (6 enodes) 1546683615.543 * [exit]simplify: Simplified to (+ (log (cbrt (pow x 4))) (log (cbrt (pow x 4)))) 1546683615.543 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (fma (exp (+ (log (cbrt (pow x 4))) (log (cbrt (pow x 4))))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.543 * * * * [misc]progress: [ 50 / 81 ] simplifiying candidate # 1546683615.543 * * * * [misc]progress: [ 51 / 81 ] simplifiying candidate # 1546683615.543 * * * * [misc]progress: [ 52 / 81 ] simplifiying candidate # 1546683615.544 * [enter]simplify: Simplifying (* (pow x 4) (pow x 4)) 1546683615.544 * * [misc]simplify: iters left: 3 (4 enodes) 1546683615.544 * [exit]simplify: Simplified to (* (pow x 4) (pow x 4)) 1546683615.544 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (fma (cbrt (* (pow x 4) (pow x 4))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.544 * * * * [misc]progress: [ 53 / 81 ] simplifiying candidate # 1546683615.544 * * * * [misc]progress: [ 54 / 81 ] simplifiying candidate # 1546683615.544 * * * * [misc]progress: [ 55 / 81 ] simplifiying candidate # 1546683615.544 * * * * [misc]progress: [ 56 / 81 ] simplifiying candidate # 1546683615.544 * * * * [misc]progress: [ 57 / 81 ] simplifiying candidate # 1546683615.545 * [enter]simplify: Simplifying (cbrt (cbrt (pow x 4))) 1546683615.545 * * [misc]simplify: iters left: 3 (5 enodes) 1546683615.545 * [exit]simplify: Simplified to (cbrt (cbrt (pow x 4))) 1546683615.545 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (fma (* (* (cbrt (pow x 4)) (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4))))) (cbrt (cbrt (pow x 4)))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.545 * * * * [misc]progress: [ 58 / 81 ] simplifiying candidate # 1546683615.546 * [enter]simplify: Simplifying (cbrt (sqrt (pow x 4))) 1546683615.546 * * [misc]simplify: iters left: 3 (5 enodes) 1546683615.546 * [exit]simplify: Simplified to (cbrt (sqrt (pow x 4))) 1546683615.546 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (fma (* (* (cbrt (pow x 4)) (cbrt (sqrt (pow x 4)))) (cbrt (sqrt (pow x 4)))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.546 * * * * [misc]progress: [ 59 / 81 ] simplifiying candidate # 1546683615.547 * [enter]simplify: Simplifying (cbrt (pow x 4)) 1546683615.547 * * [misc]simplify: iters left: 2 (4 enodes) 1546683615.547 * [exit]simplify: Simplified to (cbrt (pow x 4)) 1546683615.547 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (fma (* (* (cbrt (pow x 4)) (cbrt 1)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.547 * * * * [misc]progress: [ 60 / 81 ] simplifiying candidate # 1546683615.548 * [enter]simplify: Simplifying (cbrt (cbrt (pow x 4))) 1546683615.548 * * [misc]simplify: iters left: 3 (5 enodes) 1546683615.549 * [exit]simplify: Simplified to (cbrt (cbrt (pow x 4))) 1546683615.549 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (fma (* (* (cbrt (pow x 4)) (* (cbrt (cbrt (pow x 4))) (cbrt (cbrt (pow x 4))))) (cbrt (cbrt (pow x 4)))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.549 * * * * [misc]progress: [ 61 / 81 ] simplifiying candidate # 1546683615.549 * [enter]simplify: Simplifying (sqrt (cbrt (pow x 4))) 1546683615.549 * * [misc]simplify: iters left: 3 (5 enodes) 1546683615.551 * [exit]simplify: Simplified to (sqrt (cbrt (pow x 4))) 1546683615.551 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (fma (* (* (cbrt (pow x 4)) (sqrt (cbrt (pow x 4)))) (sqrt (cbrt (pow x 4)))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.551 * * * * [misc]progress: [ 62 / 81 ] simplifiying candidate # 1546683615.551 * [enter]simplify: Simplifying (cbrt (pow x 4)) 1546683615.551 * * [misc]simplify: iters left: 2 (4 enodes) 1546683615.553 * [exit]simplify: Simplified to (cbrt (pow x 4)) 1546683615.553 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (fma (* (* (cbrt (pow x 4)) 1) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.553 * * * * [misc]progress: [ 63 / 81 ] simplifiying candidate # 1546683615.553 * [enter]simplify: Simplifying (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1546683615.553 * * [misc]simplify: iters left: 5 (6 enodes) 1546683615.555 * [exit]simplify: Simplified to (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1546683615.555 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (fma (* (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* (cbrt (cbrt (pow x 4))) (cbrt (pow x 4)))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.555 * * * * [misc]progress: [ 64 / 81 ] simplifiying candidate # 1546683615.555 * [enter]simplify: Simplifying (cbrt (sqrt (pow x 4))) 1546683615.555 * * [misc]simplify: iters left: 3 (5 enodes) 1546683615.557 * [exit]simplify: Simplified to (cbrt (sqrt (pow x 4))) 1546683615.557 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (fma (* (cbrt (sqrt (pow x 4))) (* (cbrt (sqrt (pow x 4))) (cbrt (pow x 4)))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.557 * * * * [misc]progress: [ 65 / 81 ] simplifiying candidate # 1546683615.557 * [enter]simplify: Simplifying (cbrt 1) 1546683615.557 * * [misc]simplify: iters left: 1 (2 enodes) 1546683615.558 * [exit]simplify: Simplified to 1 1546683615.558 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (fma (* 1 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.559 * * * * [misc]progress: [ 66 / 81 ] simplifiying candidate # 1546683615.559 * [enter]simplify: Simplifying (* (cbrt (cbrt (pow x 4))) (cbrt (cbrt (pow x 4)))) 1546683615.559 * * [misc]simplify: iters left: 5 (6 enodes) 1546683615.562 * [exit]simplify: Simplified to (* (cbrt (cbrt (pow x 4))) (cbrt (cbrt (pow x 4)))) 1546683615.562 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (fma (* (* (cbrt (cbrt (pow x 4))) (cbrt (cbrt (pow x 4)))) (* (cbrt (cbrt (pow x 4))) (cbrt (pow x 4)))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.562 * * * * [misc]progress: [ 67 / 81 ] simplifiying candidate # 1546683615.562 * [enter]simplify: Simplifying (sqrt (cbrt (pow x 4))) 1546683615.563 * * [misc]simplify: iters left: 3 (5 enodes) 1546683615.564 * [exit]simplify: Simplified to (sqrt (cbrt (pow x 4))) 1546683615.564 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (fma (* (sqrt (cbrt (pow x 4))) (* (sqrt (cbrt (pow x 4))) (cbrt (pow x 4)))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.564 * * * * [misc]progress: [ 68 / 81 ] simplifiying candidate # 1546683615.564 * * * * [misc]progress: [ 69 / 81 ] simplifiying candidate # 1546683615.564 * * * * [misc]progress: [ 70 / 81 ] simplifiying candidate # 1546683615.564 * [enter]simplify: Simplifying (pow x 4/3) 1546683615.565 * * [misc]simplify: iters left: 1 (3 enodes) 1546683615.565 * [exit]simplify: Simplified to (pow x 4/3) 1546683615.565 * [misc]simplify: Simplified (2 2) to (λ (x y) (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (pow x 4/3) (- (pow y 4)))) 1546683615.566 * * * * [misc]progress: [ 71 / 81 ] simplifiying candidate # 1546683615.566 * [enter]simplify: Simplifying (pow (/ 1 x) -4/3) 1546683615.566 * * [misc]simplify: iters left: 3 (5 enodes) 1546683615.567 * * [misc]simplify: iters left: 2 (7 enodes) 1546683615.570 * [exit]simplify: Simplified to (pow (/ 1 x) -4/3) 1546683615.570 * [misc]simplify: Simplified (2 2) to (λ (x y) (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (pow (/ 1 x) -4/3) (- (pow y 4)))) 1546683615.570 * * * * [misc]progress: [ 72 / 81 ] simplifiying candidate # 1546683615.570 * [enter]simplify: Simplifying (pow (/ -1 x) -4/3) 1546683615.570 * * [misc]simplify: iters left: 3 (5 enodes) 1546683615.572 * [exit]simplify: Simplified to (pow (/ -1 x) -4/3) 1546683615.572 * [misc]simplify: Simplified (2 2) to (λ (x y) (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (pow (/ -1 x) -4/3) (- (pow y 4)))) 1546683615.572 * * * * [misc]progress: [ 73 / 81 ] simplifiying candidate # 1546683615.572 * [enter]simplify: Simplifying (pow x 4/3) 1546683615.572 * * [misc]simplify: iters left: 1 (3 enodes) 1546683615.573 * [exit]simplify: Simplified to (pow x 4/3) 1546683615.573 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (fma (* (cbrt (pow x 4)) (pow x 4/3)) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.573 * * * * [misc]progress: [ 74 / 81 ] simplifiying candidate # 1546683615.573 * [enter]simplify: Simplifying (pow (/ 1 x) -4/3) 1546683615.573 * * [misc]simplify: iters left: 3 (5 enodes) 1546683615.575 * * [misc]simplify: iters left: 2 (7 enodes) 1546683615.577 * [exit]simplify: Simplified to (pow (/ 1 x) -4/3) 1546683615.577 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (fma (* (cbrt (pow x 4)) (pow (/ 1 x) -4/3)) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.577 * * * * [misc]progress: [ 75 / 81 ] simplifiying candidate # 1546683615.577 * [enter]simplify: Simplifying (pow (/ -1 x) -4/3) 1546683615.577 * * [misc]simplify: iters left: 3 (5 enodes) 1546683615.579 * [exit]simplify: Simplified to (pow (/ -1 x) -4/3) 1546683615.579 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (fma (* (cbrt (pow x 4)) (pow (/ -1 x) -4/3)) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.579 * * * * [misc]progress: [ 76 / 81 ] simplifiying candidate # 1546683615.579 * [enter]simplify: Simplifying (pow x 4/3) 1546683615.579 * * [misc]simplify: iters left: 1 (3 enodes) 1546683615.580 * [exit]simplify: Simplified to (pow x 4/3) 1546683615.580 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (fma (* (pow x 4/3) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.580 * * * * [misc]progress: [ 77 / 81 ] simplifiying candidate # 1546683615.580 * [enter]simplify: Simplifying (pow (/ 1 x) -4/3) 1546683615.580 * * [misc]simplify: iters left: 3 (5 enodes) 1546683615.582 * * [misc]simplify: iters left: 2 (7 enodes) 1546683615.584 * [exit]simplify: Simplified to (pow (/ 1 x) -4/3) 1546683615.584 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (fma (* (pow (/ 1 x) -4/3) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.584 * * * * [misc]progress: [ 78 / 81 ] simplifiying candidate # 1546683615.584 * [enter]simplify: Simplifying (pow (/ -1 x) -4/3) 1546683615.584 * * [misc]simplify: iters left: 3 (5 enodes) 1546683615.586 * [exit]simplify: Simplified to (pow (/ -1 x) -4/3) 1546683615.586 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (fma (* (pow (/ -1 x) -4/3) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.586 * * * * [misc]progress: [ 79 / 81 ] simplifiying candidate # 1546683615.586 * [enter]simplify: Simplifying (pow x 8/3) 1546683615.586 * * [misc]simplify: iters left: 1 (3 enodes) 1546683615.587 * [exit]simplify: Simplified to (pow x 8/3) 1546683615.587 * [misc]simplify: Simplified (2 1) to (λ (x y) (fma (pow x 8/3) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.587 * * * * [misc]progress: [ 80 / 81 ] simplifiying candidate # 1546683615.587 * [enter]simplify: Simplifying (pow (/ 1 x) -8/3) 1546683615.587 * * [misc]simplify: iters left: 3 (5 enodes) 1546683615.589 * * [misc]simplify: iters left: 2 (7 enodes) 1546683615.591 * [exit]simplify: Simplified to (pow (/ 1 x) -8/3) 1546683615.591 * [misc]simplify: Simplified (2 1) to (λ (x y) (fma (pow (/ 1 x) -8/3) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.591 * * * * [misc]progress: [ 81 / 81 ] simplifiying candidate # 1546683615.591 * [enter]simplify: Simplifying (pow (/ -1 x) -8/3) 1546683615.591 * * [misc]simplify: iters left: 3 (5 enodes) 1546683615.592 * [exit]simplify: Simplified to (pow (/ -1 x) -8/3) 1546683615.592 * [misc]simplify: Simplified (2 1) to (λ (x y) (fma (pow (/ -1 x) -8/3) (cbrt (pow x 4)) (- (pow y 4)))) 1546683615.593 * * * [misc]progress: adding candidates to table 1546683616.523 * [misc]progress: [Phase 3 of 3] Extracting. 1546683616.523 * * [misc]regime: Finding splitpoints for: (# #) 1546683616.524 * * * [misc]regime-changes: Trying 5 branch expressions: (y (pow y 4) x (pow x 4) (- (pow x 4) (pow y 4))) 1546683616.525 * * * * [misc]regimes: Trying to branch on y from (# #) 1546683616.573 * * * * [misc]regimes: Trying to branch on (pow y 4) from (# #) 1546683616.611 * * * * [misc]regimes: Trying to branch on x from (# #) 1546683616.634 * * * * [misc]regimes: Trying to branch on (pow x 4) from (# #) 1546683616.666 * * * * [misc]regimes: Trying to branch on (- (pow x 4) (pow y 4)) from (# #) 1546683616.711 * * * [misc]regime: Found split indices: #