* [misc]progress: [Phase 1 of 3] Setting up. * * * [misc]progress: [1/2] Preparing points * * * [misc]progress: [2/2] Setting up program. * [enter]simplify: Simplifying (+ (+ (- (+ x0 x1) x2) (- (+ x1 x2) x0)) (- (+ x2 x0) x1)) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (29 enodes) * * [misc]simplify: iters left: 4 (59 enodes) * * [misc]simplify: iters left: 3 (136 enodes) * * [misc]simplify: iters left: 2 (275 enodes) * [exit]simplify: Simplified to (- (+ x1 x0) (+ (- x1) (- x1 x2))) * [misc]progress: [Phase 2 of 3] Improving. * * [misc]progress: iteration 1 / 3 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 1 ] generating series at (2) * [misc]approximate: Taking taylor expansion of (- (+ x1 x0) (+ (- x1) (- x1 x2))) in (x1 x0 x2) around 0 * [misc]taylor: Taking taylor expansion of (- (+ x1 x0) (+ (- x1) (- x1 x2))) in x2 * [misc]taylor: Taking taylor expansion of (+ x1 x0) in x2 * [misc]taylor: Taking taylor expansion of x1 in x2 * [misc]backup-simplify: Simplify x1 into x1 * [misc]taylor: Taking taylor expansion of x0 in x2 * [misc]backup-simplify: Simplify x0 into x0 * [misc]taylor: Taking taylor expansion of (+ (- x1) (- x1 x2)) in x2 * [misc]taylor: Taking taylor expansion of (- x1) in x2 * [misc]taylor: Taking taylor expansion of x1 in x2 * [misc]backup-simplify: Simplify x1 into x1 * [misc]taylor: Taking taylor expansion of (- x1 x2) in x2 * [misc]taylor: Taking taylor expansion of x1 in x2 * [misc]backup-simplify: Simplify x1 into x1 * [misc]taylor: Taking taylor expansion of x2 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (- (+ x1 x0) (+ (- x1) (- x1 x2))) in x0 * [misc]taylor: Taking taylor expansion of (+ x1 x0) in x0 * [misc]taylor: Taking taylor expansion of x1 in x0 * [misc]backup-simplify: Simplify x1 into x1 * [misc]taylor: Taking taylor expansion of x0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (+ (- x1) (- x1 x2)) in x0 * [misc]taylor: Taking taylor expansion of (- x1) in x0 * [misc]taylor: Taking taylor expansion of x1 in x0 * [misc]backup-simplify: Simplify x1 into x1 * [misc]taylor: Taking taylor expansion of (- x1 x2) in x0 * [misc]taylor: Taking taylor expansion of x1 in x0 * [misc]backup-simplify: Simplify x1 into x1 * [misc]taylor: Taking taylor expansion of x2 in x0 * [misc]backup-simplify: Simplify x2 into x2 * [misc]taylor: Taking taylor expansion of (- (+ x1 x0) (+ (- x1) (- x1 x2))) in x1 * [misc]taylor: Taking taylor expansion of (+ x1 x0) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of x0 in x1 * [misc]backup-simplify: Simplify x0 into x0 * [misc]taylor: Taking taylor expansion of (+ (- x1) (- x1 x2)) in x1 * [misc]taylor: Taking taylor expansion of (- x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (- x1 x2) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of x2 in x1 * [misc]backup-simplify: Simplify x2 into x2 * [misc]taylor: Taking taylor expansion of (- (+ x1 x0) (+ (- x1) (- x1 x2))) in x1 * [misc]taylor: Taking taylor expansion of (+ x1 x0) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of x0 in x1 * [misc]backup-simplify: Simplify x0 into x0 * [misc]taylor: Taking taylor expansion of (+ (- x1) (- x1 x2)) in x1 * [misc]taylor: Taking taylor expansion of (- x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (- x1 x2) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of x2 in x1 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (+ 0 x0) into x0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (+ 0 (- x2)) into (- x2) * [misc]backup-simplify: Simplify (+ 0 (- x2)) into (- x2) * [misc]backup-simplify: Simplify (- (- x2)) into x2 * [misc]backup-simplify: Simplify (+ x0 x2) into (+ x2 x0) * [misc]taylor: Taking taylor expansion of (+ x2 x0) in x0 * [misc]taylor: Taking taylor expansion of x2 in x0 * [misc]backup-simplify: Simplify x2 into x2 * [misc]taylor: Taking taylor expansion of x0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (+ x2 0) into x2 * [misc]taylor: Taking taylor expansion of x2 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (+ -1 1) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]taylor: Taking taylor expansion of 1 in x0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 1 in x2 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (+ 0 1) into 1 * [misc]taylor: Taking taylor expansion of 1 in x2 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (+ (* 1 (* x2 (* 1 1))) (+ (* 1 (* 1 (* x0 1))) (* 1 (* 1 (* 1 x1))))) into (+ x1 (+ x2 x0)) * [misc]approximate: Taking taylor expansion of (- (+ (/ 1 x1) (/ 1 x0)) (+ (- (/ 1 x1)) (- (/ 1 x1) (/ 1 x2)))) in (x1 x0 x2) around 0 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 x1) (/ 1 x0)) (+ (- (/ 1 x1)) (- (/ 1 x1) (/ 1 x2)))) in x2 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x1) (/ 1 x0)) in x2 * [misc]taylor: Taking taylor expansion of (/ 1 x1) in x2 * [misc]taylor: Taking taylor expansion of x1 in x2 * [misc]backup-simplify: Simplify x1 into x1 * [misc]backup-simplify: Simplify (/ 1 x1) into (/ 1 x1) * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x2 * [misc]taylor: Taking taylor expansion of x0 in x2 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (/ 1 x0) into (/ 1 x0) * [misc]taylor: Taking taylor expansion of (+ (- (/ 1 x1)) (- (/ 1 x1) (/ 1 x2))) in x2 * [misc]taylor: Taking taylor expansion of (- (/ 1 x1)) in x2 * [misc]taylor: Taking taylor expansion of (/ 1 x1) in x2 * [misc]taylor: Taking taylor expansion of x1 in x2 * [misc]backup-simplify: Simplify x1 into x1 * [misc]backup-simplify: Simplify (/ 1 x1) into (/ 1 x1) * [misc]taylor: Taking taylor expansion of (- (/ 1 x1) (/ 1 x2)) in x2 * [misc]taylor: Taking taylor expansion of (/ 1 x1) in x2 * [misc]taylor: Taking taylor expansion of x1 in x2 * [misc]backup-simplify: Simplify x1 into x1 * [misc]backup-simplify: Simplify (/ 1 x1) into (/ 1 x1) * [misc]taylor: Taking taylor expansion of (/ 1 x2) in x2 * [misc]taylor: Taking taylor expansion of x2 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 x1) (/ 1 x0)) (+ (- (/ 1 x1)) (- (/ 1 x1) (/ 1 x2)))) in x0 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x1) (/ 1 x0)) in x0 * [misc]taylor: Taking taylor expansion of (/ 1 x1) in x0 * [misc]taylor: Taking taylor expansion of x1 in x0 * [misc]backup-simplify: Simplify x1 into x1 * [misc]backup-simplify: Simplify (/ 1 x1) into (/ 1 x1) * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x0 * [misc]taylor: Taking taylor expansion of x0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (+ (- (/ 1 x1)) (- (/ 1 x1) (/ 1 x2))) in x0 * [misc]taylor: Taking taylor expansion of (- (/ 1 x1)) in x0 * [misc]taylor: Taking taylor expansion of (/ 1 x1) in x0 * [misc]taylor: Taking taylor expansion of x1 in x0 * [misc]backup-simplify: Simplify x1 into x1 * [misc]backup-simplify: Simplify (/ 1 x1) into (/ 1 x1) * [misc]taylor: Taking taylor expansion of (- (/ 1 x1) (/ 1 x2)) in x0 * [misc]taylor: Taking taylor expansion of (/ 1 x1) in x0 * [misc]taylor: Taking taylor expansion of x1 in x0 * [misc]backup-simplify: Simplify x1 into x1 * [misc]backup-simplify: Simplify (/ 1 x1) into (/ 1 x1) * [misc]taylor: Taking taylor expansion of (/ 1 x2) in x0 * [misc]taylor: Taking taylor expansion of x2 in x0 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (/ 1 x2) into (/ 1 x2) * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 x1) (/ 1 x0)) (+ (- (/ 1 x1)) (- (/ 1 x1) (/ 1 x2)))) in x1 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x1) (/ 1 x0)) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x1 * [misc]taylor: Taking taylor expansion of x0 in x1 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (/ 1 x0) into (/ 1 x0) * [misc]taylor: Taking taylor expansion of (+ (- (/ 1 x1)) (- (/ 1 x1) (/ 1 x2))) in x1 * [misc]taylor: Taking taylor expansion of (- (/ 1 x1)) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (- (/ 1 x1) (/ 1 x2)) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1 x2) in x1 * [misc]taylor: Taking taylor expansion of x2 in x1 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (/ 1 x2) into (/ 1 x2) * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 x1) (/ 1 x0)) (+ (- (/ 1 x1)) (- (/ 1 x1) (/ 1 x2)))) in x1 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x1) (/ 1 x0)) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x1 * [misc]taylor: Taking taylor expansion of x0 in x1 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (/ 1 x0) into (/ 1 x0) * [misc]taylor: Taking taylor expansion of (+ (- (/ 1 x1)) (- (/ 1 x1) (/ 1 x2))) in x1 * [misc]taylor: Taking taylor expansion of (- (/ 1 x1)) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (- (/ 1 x1) (/ 1 x2)) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1 x2) in x1 * [misc]taylor: Taking taylor expansion of x2 in x1 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (/ 1 x2) into (/ 1 x2) * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (+ -1 1) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]taylor: Taking taylor expansion of 1 in x0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ 0 (/ 1 x0)) into (/ 1 x0) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 1 x2)) into (- (/ 1 x2)) * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 x2))) into (- (/ 1 x2)) * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 x2))) into (- (/ 1 x2)) * [misc]backup-simplify: Simplify (- (- (/ 1 x2))) into (/ 1 x2) * [misc]backup-simplify: Simplify (+ (/ 1 x0) (/ 1 x2)) into (+ (/ 1 x2) (/ 1 x0)) * [misc]taylor: Taking taylor expansion of (+ (/ 1 x2) (/ 1 x0)) in x0 * [misc]taylor: Taking taylor expansion of (/ 1 x2) in x0 * [misc]taylor: Taking taylor expansion of x2 in x0 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (/ 1 x2) into (/ 1 x2) * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x0 * [misc]taylor: Taking taylor expansion of x0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (+ 0 1) into 1 * [misc]taylor: Taking taylor expansion of 1 in x2 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 1 in x2 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x0) (/ 0 x0)))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x2) (/ 0 x2)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (/ 1 x2) 0) into (/ 1 x2) * [misc]taylor: Taking taylor expansion of (/ 1 x2) in x2 * [misc]taylor: Taking taylor expansion of x2 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 0 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 x1))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 x0)) 1))) (* 1 (* (/ 1 (/ 1 x2)) (* 1 1))))) into (+ x1 (+ x2 x0)) * [misc]approximate: Taking taylor expansion of (- (+ (/ 1 (- x1)) (/ 1 (- x0))) (+ (- (/ 1 (- x1))) (- (/ 1 (- x1)) (/ 1 (- x2))))) in (x1 x0 x2) around 0 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 (- x1)) (/ 1 (- x0))) (+ (- (/ 1 (- x1))) (- (/ 1 (- x1)) (/ 1 (- x2))))) in x2 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (- x1)) (/ 1 (- x0))) in x2 * [misc]taylor: Taking taylor expansion of (/ 1 (- x1)) in x2 * [misc]taylor: Taking taylor expansion of (- x1) in x2 * [misc]taylor: Taking taylor expansion of x1 in x2 * [misc]backup-simplify: Simplify x1 into x1 * [misc]backup-simplify: Simplify (- x1) into (- x1) * [misc]backup-simplify: Simplify (- x1) into (- x1) * [misc]backup-simplify: Simplify (/ 1 (- x1)) into (/ -1 x1) * [misc]taylor: Taking taylor expansion of (/ 1 (- x0)) in x2 * [misc]taylor: Taking taylor expansion of (- x0) in x2 * [misc]taylor: Taking taylor expansion of x0 in x2 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (/ 1 (- x0)) into (/ -1 x0) * [misc]taylor: Taking taylor expansion of (+ (- (/ 1 (- x1))) (- (/ 1 (- x1)) (/ 1 (- x2)))) in x2 * [misc]taylor: Taking taylor expansion of (- (/ 1 (- x1))) in x2 * [misc]taylor: Taking taylor expansion of (/ 1 (- x1)) in x2 * [misc]taylor: Taking taylor expansion of (- x1) in x2 * [misc]taylor: Taking taylor expansion of x1 in x2 * [misc]backup-simplify: Simplify x1 into x1 * [misc]backup-simplify: Simplify (- x1) into (- x1) * [misc]backup-simplify: Simplify (- x1) into (- x1) * [misc]backup-simplify: Simplify (/ 1 (- x1)) into (/ -1 x1) * [misc]taylor: Taking taylor expansion of (- (/ 1 (- x1)) (/ 1 (- x2))) in x2 * [misc]taylor: Taking taylor expansion of (/ 1 (- x1)) in x2 * [misc]taylor: Taking taylor expansion of (- x1) in x2 * [misc]taylor: Taking taylor expansion of x1 in x2 * [misc]backup-simplify: Simplify x1 into x1 * [misc]backup-simplify: Simplify (- x1) into (- x1) * [misc]backup-simplify: Simplify (- x1) into (- x1) * [misc]backup-simplify: Simplify (/ 1 (- x1)) into (/ -1 x1) * [misc]taylor: Taking taylor expansion of (/ 1 (- x2)) in x2 * [misc]taylor: Taking taylor expansion of (- x2) in x2 * [misc]taylor: Taking taylor expansion of x2 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 (- x1)) (/ 1 (- x0))) (+ (- (/ 1 (- x1))) (- (/ 1 (- x1)) (/ 1 (- x2))))) in x0 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (- x1)) (/ 1 (- x0))) in x0 * [misc]taylor: Taking taylor expansion of (/ 1 (- x1)) in x0 * [misc]taylor: Taking taylor expansion of (- x1) in x0 * [misc]taylor: Taking taylor expansion of x1 in x0 * [misc]backup-simplify: Simplify x1 into x1 * [misc]backup-simplify: Simplify (- x1) into (- x1) * [misc]backup-simplify: Simplify (- x1) into (- x1) * [misc]backup-simplify: Simplify (/ 1 (- x1)) into (/ -1 x1) * [misc]taylor: Taking taylor expansion of (/ 1 (- x0)) in x0 * [misc]taylor: Taking taylor expansion of (- x0) in x0 * [misc]taylor: Taking taylor expansion of x0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (+ (- (/ 1 (- x1))) (- (/ 1 (- x1)) (/ 1 (- x2)))) in x0 * [misc]taylor: Taking taylor expansion of (- (/ 1 (- x1))) in x0 * [misc]taylor: Taking taylor expansion of (/ 1 (- x1)) in x0 * [misc]taylor: Taking taylor expansion of (- x1) in x0 * [misc]taylor: Taking taylor expansion of x1 in x0 * [misc]backup-simplify: Simplify x1 into x1 * [misc]backup-simplify: Simplify (- x1) into (- x1) * [misc]backup-simplify: Simplify (- x1) into (- x1) * [misc]backup-simplify: Simplify (/ 1 (- x1)) into (/ -1 x1) * [misc]taylor: Taking taylor expansion of (- (/ 1 (- x1)) (/ 1 (- x2))) in x0 * [misc]taylor: Taking taylor expansion of (/ 1 (- x1)) in x0 * [misc]taylor: Taking taylor expansion of (- x1) in x0 * [misc]taylor: Taking taylor expansion of x1 in x0 * [misc]backup-simplify: Simplify x1 into x1 * [misc]backup-simplify: Simplify (- x1) into (- x1) * [misc]backup-simplify: Simplify (- x1) into (- x1) * [misc]backup-simplify: Simplify (/ 1 (- x1)) into (/ -1 x1) * [misc]taylor: Taking taylor expansion of (/ 1 (- x2)) in x0 * [misc]taylor: Taking taylor expansion of (- x2) in x0 * [misc]taylor: Taking taylor expansion of x2 in x0 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (/ 1 (- x2)) into (/ -1 x2) * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 (- x1)) (/ 1 (- x0))) (+ (- (/ 1 (- x1))) (- (/ 1 (- x1)) (/ 1 (- x2))))) in x1 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (- x1)) (/ 1 (- x0))) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x1)) in x1 * [misc]taylor: Taking taylor expansion of (- x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x0)) in x1 * [misc]taylor: Taking taylor expansion of (- x0) in x1 * [misc]taylor: Taking taylor expansion of x0 in x1 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (/ 1 (- x0)) into (/ -1 x0) * [misc]taylor: Taking taylor expansion of (+ (- (/ 1 (- x1))) (- (/ 1 (- x1)) (/ 1 (- x2)))) in x1 * [misc]taylor: Taking taylor expansion of (- (/ 1 (- x1))) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x1)) in x1 * [misc]taylor: Taking taylor expansion of (- x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (- (/ 1 (- x1)) (/ 1 (- x2))) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x1)) in x1 * [misc]taylor: Taking taylor expansion of (- x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x2)) in x1 * [misc]taylor: Taking taylor expansion of (- x2) in x1 * [misc]taylor: Taking taylor expansion of x2 in x1 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (/ 1 (- x2)) into (/ -1 x2) * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 (- x1)) (/ 1 (- x0))) (+ (- (/ 1 (- x1))) (- (/ 1 (- x1)) (/ 1 (- x2))))) in x1 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (- x1)) (/ 1 (- x0))) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x1)) in x1 * [misc]taylor: Taking taylor expansion of (- x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x0)) in x1 * [misc]taylor: Taking taylor expansion of (- x0) in x1 * [misc]taylor: Taking taylor expansion of x0 in x1 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (/ 1 (- x0)) into (/ -1 x0) * [misc]taylor: Taking taylor expansion of (+ (- (/ 1 (- x1))) (- (/ 1 (- x1)) (/ 1 (- x2)))) in x1 * [misc]taylor: Taking taylor expansion of (- (/ 1 (- x1))) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x1)) in x1 * [misc]taylor: Taking taylor expansion of (- x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (- (/ 1 (- x1)) (/ 1 (- x2))) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x1)) in x1 * [misc]taylor: Taking taylor expansion of (- x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x2)) in x1 * [misc]taylor: Taking taylor expansion of (- x2) in x1 * [misc]taylor: Taking taylor expansion of x2 in x1 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (/ 1 (- x2)) into (/ -1 x2) * [misc]backup-simplify: Simplify (+ -1 0) into -1 * [misc]backup-simplify: Simplify (- -1) into 1 * [misc]backup-simplify: Simplify (+ -1 0) into -1 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ -1 0) into -1 * [misc]taylor: Taking taylor expansion of -1 in x0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ 0 (/ -1 x0)) into (- (/ 1 x0)) * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- (/ -1 x2)) into (/ 1 x2) * [misc]backup-simplify: Simplify (+ 0 (/ 1 x2)) into (/ 1 x2) * [misc]backup-simplify: Simplify (+ 0 (/ 1 x2)) into (/ 1 x2) * [misc]backup-simplify: Simplify (- (/ 1 x2)) into (- (/ 1 x2)) * [misc]backup-simplify: Simplify (+ (- (/ 1 x0)) (- (/ 1 x2))) into (- (+ (/ 1 x2) (/ 1 x0))) * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 x2) (/ 1 x0))) in x0 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x2) (/ 1 x0)) in x0 * [misc]taylor: Taking taylor expansion of (/ 1 x2) in x0 * [misc]taylor: Taking taylor expansion of x2 in x0 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (/ 1 x2) into (/ 1 x2) * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x0 * [misc]taylor: Taking taylor expansion of x0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (+ 0 1) into 1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]taylor: Taking taylor expansion of -1 in x2 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of -1 in x2 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (- (+ (* (/ -1 x0) (/ 0 (- x0))))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (- (+ (* (/ -1 x2) (/ 0 (- x2))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (/ 1 x2) 0) into (/ 1 x2) * [misc]backup-simplify: Simplify (- (/ 1 x2)) into (- (/ 1 x2)) * [misc]taylor: Taking taylor expansion of (- (/ 1 x2)) in x2 * [misc]taylor: Taking taylor expansion of (/ 1 x2) in x2 * [misc]taylor: Taking taylor expansion of x2 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of 0 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x1)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- x0))) 1))) (* -1 (* (/ 1 (/ 1 (- x2))) (* 1 1))))) into (+ x1 (+ x2 x0)) * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (+ x1 (+ x2 x0)) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (11 enodes) * * [misc]simplify: iters left: 1 (15 enodes) * [exit]simplify: Simplified to (+ (+ x1 x0) x2) * * * * [misc]progress: [ 2 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (+ x1 (+ x2 x0)) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (11 enodes) * * [misc]simplify: iters left: 1 (15 enodes) * [exit]simplify: Simplified to (+ (+ x1 x0) x2) * * * * [misc]progress: [ 3 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (+ x1 (+ x2 x0)) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (11 enodes) * * [misc]simplify: iters left: 1 (15 enodes) * [exit]simplify: Simplified to (+ (+ x1 x0) x2) * * * * [misc]progress: [ 4 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (exp (+ x1 x0)) (* (exp (- x1)) (exp (- x1 x2)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (24 enodes) * * [misc]simplify: iters left: 4 (51 enodes) * * [misc]simplify: iters left: 3 (90 enodes) * * [misc]simplify: iters left: 2 (158 enodes) * * [misc]simplify: iters left: 1 (296 enodes) * [exit]simplify: Simplified to (exp (- (+ x2 x0) (- x1))) * [exit]simplify: Simplified to (exp (- (+ x2 x0) (- x1))) * * * * [misc]progress: [ 5 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (exp (+ x1 x0)) (exp (+ (- x1) (- x1 x2)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (48 enodes) * * [misc]simplify: iters left: 3 (105 enodes) * * [misc]simplify: iters left: 2 (184 enodes) * * [misc]simplify: iters left: 1 (346 enodes) * [exit]simplify: Simplified to (exp (- (+ x0 x2) (- x1))) * [exit]simplify: Simplified to (exp (- (+ x0 x2) (- x1))) * * * * [misc]progress: [ 6 / 26 ] simplifiying candidate # * * * * [misc]progress: [ 7 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (log (- (+ x1 x0) (+ (- x1) (- x1 x2)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * * [misc]simplify: iters left: 4 (30 enodes) * * [misc]simplify: iters left: 3 (51 enodes) * * [misc]simplify: iters left: 2 (86 enodes) * * [misc]simplify: iters left: 1 (115 enodes) * [exit]simplify: Simplified to (log (- (+ x2 x0) (- x1))) * [exit]simplify: Simplified to (log (- (+ x2 x0) (- x1))) * * * * [misc]progress: [ 8 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (- (+ x1 x0) (+ (- x1) (- x1 x2)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (20 enodes) * * [misc]simplify: iters left: 4 (46 enodes) * * [misc]simplify: iters left: 3 (97 enodes) * * [misc]simplify: iters left: 2 (174 enodes) * * [misc]simplify: iters left: 1 (253 enodes) * [exit]simplify: Simplified to (exp (- (+ x0 x2) (- x1))) * [exit]simplify: Simplified to (exp (- (+ x0 x2) (- x1))) * * * * [misc]progress: [ 9 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (- (+ x1 x0) (+ (- x1) (- x1 x2)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * * [misc]simplify: iters left: 4 (30 enodes) * * [misc]simplify: iters left: 3 (51 enodes) * * [misc]simplify: iters left: 2 (86 enodes) * * [misc]simplify: iters left: 1 (115 enodes) * [exit]simplify: Simplified to (cbrt (- (+ x2 x0) (- x1))) * [exit]simplify: Simplified to (cbrt (- (+ x2 x0) (- x1))) * * * * [misc]progress: [ 10 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (- (+ x1 x0) (+ (- x1) (- x1 x2)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (19 enodes) * * [misc]simplify: iters left: 4 (40 enodes) * * [misc]simplify: iters left: 3 (84 enodes) * * [misc]simplify: iters left: 2 (195 enodes) * * [misc]simplify: iters left: 1 (455 enodes) * [exit]simplify: Simplified to (cube (- (+ x0 x2) (- x1))) * [exit]simplify: Simplified to (cube (- (+ x0 x2) (- x1))) * * * * [misc]progress: [ 11 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (- (+ x1 x0) (+ (- x1) (- x1 x2)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * * [misc]simplify: iters left: 4 (30 enodes) * * [misc]simplify: iters left: 3 (51 enodes) * * [misc]simplify: iters left: 2 (86 enodes) * * [misc]simplify: iters left: 1 (115 enodes) * [exit]simplify: Simplified to (sqrt (- (+ x2 x0) (- x1))) * [exit]simplify: Simplified to (sqrt (- (+ x2 x0) (- x1))) * * * * [misc]progress: [ 12 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* (+ (pow x1 3) (pow x0 3)) (+ (sqr (- x1)) (- (sqr (- x1 x2)) (* (- x1) (- x1 x2))))) (* (+ (sqr x1) (- (sqr x0) (* x1 x0))) (+ (pow (- x1) 3) (pow (- x1 x2) 3)))) * * [misc]simplify: iters left: 6 (25 enodes) * * [misc]simplify: iters left: 5 (59 enodes) * * [misc]simplify: iters left: 4 (149 enodes) * * [misc]simplify: iters left: 3 (321 enodes) * [exit]simplify: Simplified to (- (* (+ (* (- (- x1 x2) (- x1)) (- x1 x2)) (* x1 x1)) (+ (cube x0) (cube x1))) (* (+ (* (* x1 x1) (- x1)) (cube (- x1 x2))) (+ (* x0 (- x0 x1)) (* x1 x1)))) * [exit]simplify: Simplified to (- (* (+ (* (- (- x1 x2) (- x1)) (- x1 x2)) (* x1 x1)) (+ (cube x0) (cube x1))) (* (+ (* (* x1 x1) (- x1)) (cube (- x1 x2))) (+ (* x0 (- x0 x1)) (* x1 x1)))) * [enter]simplify: Simplifying (* (+ (sqr x1) (- (sqr x0) (* x1 x0))) (+ (sqr (- x1)) (- (sqr (- x1 x2)) (* (- x1) (- x1 x2))))) * * [misc]simplify: iters left: 6 (16 enodes) * * [misc]simplify: iters left: 5 (37 enodes) * * [misc]simplify: iters left: 4 (90 enodes) * * [misc]simplify: iters left: 3 (205 enodes) * * [misc]simplify: iters left: 2 (474 enodes) * [exit]simplify: Simplified to (* (- (* (- x1 x2) (- x1 x2)) (* (- x1) (- (- x1 x2) (- x1)))) (+ (* (- x0 x1) x0) (* x1 x1))) * [exit]simplify: Simplified to (* (- (* (- x1 x2) (- x1 x2)) (* (- x1) (- (- x1 x2) (- x1)))) (+ (* (- x0 x1) x0) (* x1 x1))) * * * * [misc]progress: [ 13 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* (+ (pow x1 3) (pow x0 3)) (- (- x1) (- x1 x2))) (* (+ (sqr x1) (- (sqr x0) (* x1 x0))) (- (sqr (- x1)) (sqr (- x1 x2))))) * * [misc]simplify: iters left: 6 (21 enodes) * * [misc]simplify: iters left: 5 (36 enodes) * * [misc]simplify: iters left: 4 (77 enodes) * * [misc]simplify: iters left: 3 (169 enodes) * * [misc]simplify: iters left: 2 (402 enodes) * [exit]simplify: Simplified to (- (* (- (- x1) (- x1 x2)) (+ (cube x0) (cube x1))) (* (+ (sqr x0) (* x1 (- x1 x0))) (* (+ (- x1 x2) x1) x2))) * [exit]simplify: Simplified to (- (* (- (- x1) (- x1 x2)) (+ (cube x0) (cube x1))) (* (+ (sqr x0) (* x1 (- x1 x0))) (* (+ (- x1 x2) x1) x2))) * [enter]simplify: Simplifying (* (+ (sqr x1) (- (sqr x0) (* x1 x0))) (- (- x1) (- x1 x2))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (41 enodes) * * [misc]simplify: iters left: 3 (78 enodes) * * [misc]simplify: iters left: 2 (148 enodes) * * [misc]simplify: iters left: 1 (246 enodes) * [exit]simplify: Simplified to (* (- (- x1) (- x1 x2)) (+ (* x1 x1) (* (- x0 x1) x0))) * [exit]simplify: Simplified to (* (- (- x1) (- x1 x2)) (+ (* x1 x1) (* (- x0 x1) x0))) * * * * [misc]progress: [ 14 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* (- (sqr x1) (sqr x0)) (+ (sqr (- x1)) (- (sqr (- x1 x2)) (* (- x1) (- x1 x2))))) (* (- x1 x0) (+ (pow (- x1) 3) (pow (- x1 x2) 3)))) * * [misc]simplify: iters left: 6 (21 enodes) * * [misc]simplify: iters left: 5 (48 enodes) * * [misc]simplify: iters left: 4 (81 enodes) * * [misc]simplify: iters left: 3 (156 enodes) * * [misc]simplify: iters left: 2 (320 enodes) * * [misc]simplify: iters left: 1 (496 enodes) * [exit]simplify: Simplified to (+ (* (- (* (- (- x1 x2) (- x1)) (* (- x1 x2) (+ x1 x0))) (cube (- x1 x2))) (- x1 x0)) (* (* x1 x1) (* (- x1 x0) (- (+ x1 x0) (- x1))))) * [exit]simplify: Simplified to (+ (* (- (* (- (- x1 x2) (- x1)) (* (- x1 x2) (+ x1 x0))) (cube (- x1 x2))) (- x1 x0)) (* (* x1 x1) (* (- x1 x0) (- (+ x1 x0) (- x1))))) * [enter]simplify: Simplifying (* (- x1 x0) (+ (sqr (- x1)) (- (sqr (- x1 x2)) (* (- x1) (- x1 x2))))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (28 enodes) * * [misc]simplify: iters left: 4 (43 enodes) * * [misc]simplify: iters left: 3 (64 enodes) * * [misc]simplify: iters left: 2 (83 enodes) * * [misc]simplify: iters left: 1 (99 enodes) * [exit]simplify: Simplified to (+ (* (- x1 x0) (* x1 x1)) (* (* (- x1 x0) (- x1 x2)) (- (- x1 x2) (- x1)))) * [exit]simplify: Simplified to (+ (* (- x1 x0) (* x1 x1)) (* (* (- x1 x0) (- x1 x2)) (- (- x1 x2) (- x1)))) * * * * [misc]progress: [ 15 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* (- (sqr x1) (sqr x0)) (- (- x1) (- x1 x2))) (* (- x1 x0) (- (sqr (- x1)) (sqr (- x1 x2))))) * * [misc]simplify: iters left: 6 (16 enodes) * * [misc]simplify: iters left: 5 (24 enodes) * * [misc]simplify: iters left: 4 (45 enodes) * * [misc]simplify: iters left: 3 (98 enodes) * * [misc]simplify: iters left: 2 (261 enodes) * * [misc]simplify: iters left: 1 (439 enodes) * [exit]simplify: Simplified to (* (* (- x1 x0) (- (- x1) (- x1 x2))) (- (+ x1 x0) (+ (- x1) (- x1 x2)))) * [exit]simplify: Simplified to (* (* (- x1 x0) (- (- x1) (- x1 x2))) (- (+ x1 x0) (+ (- x1) (- x1 x2)))) * [enter]simplify: Simplifying (* (- x1 x0) (- (- x1) (- x1 x2))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (11 enodes) * * [misc]simplify: iters left: 4 (18 enodes) * * [misc]simplify: iters left: 3 (21 enodes) * * [misc]simplify: iters left: 2 (22 enodes) * [exit]simplify: Simplified to (* (- x1 x0) (- (- x1) (- x1 x2))) * [exit]simplify: Simplified to (* (- x1 x0) (- (- x1) (- x1 x2))) * * * * [misc]progress: [ 16 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (- (pow (+ x1 x0) 3) (pow (+ (- x1) (- x1 x2)) 3)) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * * [misc]simplify: iters left: 4 (24 enodes) * * [misc]simplify: iters left: 3 (44 enodes) * * [misc]simplify: iters left: 2 (120 enodes) * * [misc]simplify: iters left: 1 (301 enodes) * [exit]simplify: Simplified to (- (cube (+ x0 x1)) (cube (+ (- x1) (- x1 x2)))) * [exit]simplify: Simplified to (- (cube (+ x0 x1)) (cube (+ (- x1) (- x1 x2)))) * [enter]simplify: Simplifying (+ (sqr (+ x1 x0)) (+ (sqr (+ (- x1) (- x1 x2))) (* (+ x1 x0) (+ (- x1) (- x1 x2))))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (28 enodes) * * [misc]simplify: iters left: 4 (82 enodes) * * [misc]simplify: iters left: 3 (174 enodes) * * [misc]simplify: iters left: 2 (311 enodes) * [exit]simplify: Simplified to (+ (* (+ (- x1) (- x1 x2)) (+ x0 x1)) (+ (* (+ (- x1) (- x1 x2)) (+ (- x1) (- x1 x2))) (* (+ x0 x1) (+ x0 x1)))) * [exit]simplify: Simplified to (+ (* (+ (- x1) (- x1 x2)) (+ x0 x1)) (+ (* (+ (- x1) (- x1 x2)) (+ (- x1) (- x1 x2))) (* (+ x0 x1) (+ x0 x1)))) * * * * [misc]progress: [ 17 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (- (+ (- x1) (- x1 x2))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (12 enodes) * * [misc]simplify: iters left: 4 (16 enodes) * [exit]simplify: Simplified to (+ x1 (- (- x1 x2))) * [exit]simplify: Simplified to (+ x1 (- (- x1 x2))) * * * * [misc]progress: [ 18 / 26 ] simplifiying candidate # * * * * [misc]progress: [ 19 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (- (sqr (+ x1 x0)) (sqr (+ (- x1) (- x1 x2)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (19 enodes) * * [misc]simplify: iters left: 4 (51 enodes) * * [misc]simplify: iters left: 3 (161 enodes) * [exit]simplify: Simplified to (- (* (+ x0 x1) (+ x0 x1)) (* (+ (- x1) (- x1 x2)) (+ (- x1) (- x1 x2)))) * [exit]simplify: Simplified to (- (* (+ x0 x1) (+ x0 x1)) (* (+ (- x1) (- x1 x2)) (+ (- x1) (- x1 x2)))) * [enter]simplify: Simplifying (+ (+ x1 x0) (+ (- x1) (- x1 x2))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * * [misc]simplify: iters left: 4 (26 enodes) * * [misc]simplify: iters left: 3 (49 enodes) * * [misc]simplify: iters left: 2 (87 enodes) * * [misc]simplify: iters left: 1 (108 enodes) * [exit]simplify: Simplified to (+ (+ x1 (- x0 x2)) (+ x1 (- x1))) * [exit]simplify: Simplified to (+ (+ x1 (- x0 x2)) (+ x1 (- x1))) * * * * [misc]progress: [ 20 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (sqrt (+ x1 x0)) (sqrt (+ (- x1) (- x1 x2)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * * [misc]simplify: iters left: 4 (18 enodes) * [exit]simplify: Simplified to (+ (sqrt (+ (- x1) (- x1 x2))) (sqrt (+ x0 x1))) * [exit]simplify: Simplified to (+ (sqrt (+ (- x1) (- x1 x2))) (sqrt (+ x0 x1))) * [enter]simplify: Simplifying (- (sqrt (+ x1 x0)) (sqrt (+ (- x1) (- x1 x2)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * * [misc]simplify: iters left: 4 (17 enodes) * [exit]simplify: Simplified to (- (sqrt (+ x0 x1)) (sqrt (+ (- x1) (- x1 x2)))) * [exit]simplify: Simplified to (- (sqrt (+ x0 x1)) (sqrt (+ (- x1) (- x1 x2)))) * * * * [misc]progress: [ 21 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (- (+ x1 x0) (+ (- x1) (- x1 x2))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (29 enodes) * * [misc]simplify: iters left: 3 (50 enodes) * * [misc]simplify: iters left: 2 (75 enodes) * * [misc]simplify: iters left: 1 (103 enodes) * [exit]simplify: Simplified to (- (+ x0 x2) (- x1)) * [exit]simplify: Simplified to (- (+ x0 x2) (- x1)) * * * * [misc]progress: [ 22 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (- (+ x1 x0) (+ (- x1) (- x1 x2))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (29 enodes) * * [misc]simplify: iters left: 3 (50 enodes) * * [misc]simplify: iters left: 2 (75 enodes) * * [misc]simplify: iters left: 1 (103 enodes) * [exit]simplify: Simplified to (- (+ x0 x2) (- x1)) * [exit]simplify: Simplified to (- (+ x0 x2) (- x1)) * * * * [misc]progress: [ 23 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (- (+ x1 x0) (- x1)) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (9 enodes) * * [misc]simplify: iters left: 1 (13 enodes) * [exit]simplify: Simplified to (- (+ x0 x1) (- x1)) * [exit]simplify: Simplified to (- (+ x0 x1) (- x1)) * * * * [misc]progress: [ 24 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (- x0 (+ (- x1) (- x1 x2))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (12 enodes) * * [misc]simplify: iters left: 4 (15 enodes) * * [misc]simplify: iters left: 3 (21 enodes) * * [misc]simplify: iters left: 2 (26 enodes) * * [misc]simplify: iters left: 1 (31 enodes) * [exit]simplify: Simplified to (+ x2 (- (- x0 x1) (- x1))) * [exit]simplify: Simplified to (+ x2 (- (- x0 x1) (- x1))) * * * * [misc]progress: [ 25 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (- (+ x1 x0) (+ (- x1) x1)) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (12 enodes) * * [misc]simplify: iters left: 4 (22 enodes) * * [misc]simplify: iters left: 3 (33 enodes) * * [misc]simplify: iters left: 2 (49 enodes) * * [misc]simplify: iters left: 1 (70 enodes) * [exit]simplify: Simplified to (+ x0 x1) * [exit]simplify: Simplified to (+ x0 x1) * * * * [misc]progress: [ 26 / 26 ] simplifiying candidate # * [enter]simplify: Simplifying (- (+ x1 x0) 0) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (9 enodes) * * [misc]simplify: iters left: 1 (13 enodes) * [exit]simplify: Simplified to (- x0 (- x1)) * [exit]simplify: Simplified to (- x0 (- x1)) * * * [misc]progress: adding candidates to table * * [misc]progress: iteration 2 / 3 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 1 ] generating series at (2) * [misc]approximate: Taking taylor expansion of (+ x1 (+ x2 x0)) in (x1 x2 x0) around 0 * [misc]taylor: Taking taylor expansion of (+ x1 (+ x2 x0)) in x0 * [misc]taylor: Taking taylor expansion of x1 in x0 * [misc]backup-simplify: Simplify x1 into x1 * [misc]taylor: Taking taylor expansion of (+ x2 x0) in x0 * [misc]taylor: Taking taylor expansion of x2 in x0 * [misc]backup-simplify: Simplify x2 into x2 * [misc]taylor: Taking taylor expansion of x0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (+ x1 (+ x2 x0)) in x2 * [misc]taylor: Taking taylor expansion of x1 in x2 * [misc]backup-simplify: Simplify x1 into x1 * [misc]taylor: Taking taylor expansion of (+ x2 x0) in x2 * [misc]taylor: Taking taylor expansion of x2 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of x0 in x2 * [misc]backup-simplify: Simplify x0 into x0 * [misc]taylor: Taking taylor expansion of (+ x1 (+ x2 x0)) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (+ x2 x0) in x1 * [misc]taylor: Taking taylor expansion of x2 in x1 * [misc]backup-simplify: Simplify x2 into x2 * [misc]taylor: Taking taylor expansion of x0 in x1 * [misc]backup-simplify: Simplify x0 into x0 * [misc]taylor: Taking taylor expansion of (+ x1 (+ x2 x0)) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (+ x2 x0) in x1 * [misc]taylor: Taking taylor expansion of x2 in x1 * [misc]backup-simplify: Simplify x2 into x2 * [misc]taylor: Taking taylor expansion of x0 in x1 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (+ x2 x0) into (+ x2 x0) * [misc]backup-simplify: Simplify (+ 0 (+ x2 x0)) into (+ x2 x0) * [misc]taylor: Taking taylor expansion of (+ x2 x0) in x2 * [misc]taylor: Taking taylor expansion of x2 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of x0 in x2 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (+ 0 x0) into x0 * [misc]taylor: Taking taylor expansion of x0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]taylor: Taking taylor expansion of 1 in x2 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 1 in x0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]taylor: Taking taylor expansion of 1 in x0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (+ (* 1 (* x0 (* 1 1))) (+ (* 1 (* 1 (* x2 1))) (* 1 (* 1 (* 1 x1))))) into (+ x1 (+ x2 x0)) * [misc]approximate: Taking taylor expansion of (+ (/ 1 x1) (+ (/ 1 x2) (/ 1 x0))) in (x1 x2 x0) around 0 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x1) (+ (/ 1 x2) (/ 1 x0))) in x0 * [misc]taylor: Taking taylor expansion of (/ 1 x1) in x0 * [misc]taylor: Taking taylor expansion of x1 in x0 * [misc]backup-simplify: Simplify x1 into x1 * [misc]backup-simplify: Simplify (/ 1 x1) into (/ 1 x1) * [misc]taylor: Taking taylor expansion of (+ (/ 1 x2) (/ 1 x0)) in x0 * [misc]taylor: Taking taylor expansion of (/ 1 x2) in x0 * [misc]taylor: Taking taylor expansion of x2 in x0 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (/ 1 x2) into (/ 1 x2) * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x0 * [misc]taylor: Taking taylor expansion of x0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x1) (+ (/ 1 x2) (/ 1 x0))) in x2 * [misc]taylor: Taking taylor expansion of (/ 1 x1) in x2 * [misc]taylor: Taking taylor expansion of x1 in x2 * [misc]backup-simplify: Simplify x1 into x1 * [misc]backup-simplify: Simplify (/ 1 x1) into (/ 1 x1) * [misc]taylor: Taking taylor expansion of (+ (/ 1 x2) (/ 1 x0)) in x2 * [misc]taylor: Taking taylor expansion of (/ 1 x2) in x2 * [misc]taylor: Taking taylor expansion of x2 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x2 * [misc]taylor: Taking taylor expansion of x0 in x2 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (/ 1 x0) into (/ 1 x0) * [misc]taylor: Taking taylor expansion of (+ (/ 1 x1) (+ (/ 1 x2) (/ 1 x0))) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x2) (/ 1 x0)) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 x2) in x1 * [misc]taylor: Taking taylor expansion of x2 in x1 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (/ 1 x2) into (/ 1 x2) * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x1 * [misc]taylor: Taking taylor expansion of x0 in x1 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (/ 1 x0) into (/ 1 x0) * [misc]taylor: Taking taylor expansion of (+ (/ 1 x1) (+ (/ 1 x2) (/ 1 x0))) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x2) (/ 1 x0)) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 x2) in x1 * [misc]taylor: Taking taylor expansion of x2 in x1 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (/ 1 x2) into (/ 1 x2) * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x1 * [misc]taylor: Taking taylor expansion of x0 in x1 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (/ 1 x0) into (/ 1 x0) * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]taylor: Taking taylor expansion of 1 in x2 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (/ 1 x2) (/ 1 x0)) into (+ (/ 1 x2) (/ 1 x0)) * [misc]backup-simplify: Simplify (+ 0 (+ (/ 1 x2) (/ 1 x0))) into (+ (/ 1 x2) (/ 1 x0)) * [misc]taylor: Taking taylor expansion of (+ (/ 1 x2) (/ 1 x0)) in x2 * [misc]taylor: Taking taylor expansion of (/ 1 x2) in x2 * [misc]taylor: Taking taylor expansion of x2 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x2 * [misc]taylor: Taking taylor expansion of x0 in x2 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (/ 1 x0) into (/ 1 x0) * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]taylor: Taking taylor expansion of 1 in x0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 1 in x0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x2) (/ 0 x2)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x0) (/ 0 x0)))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ 0 (/ 1 x0)) into (/ 1 x0) * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x0 * [misc]taylor: Taking taylor expansion of x0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 x1))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 x2)) 1))) (* 1 (* (/ 1 (/ 1 x0)) (* 1 1))))) into (+ x1 (+ x2 x0)) * [misc]approximate: Taking taylor expansion of (+ (/ 1 (- x1)) (+ (/ 1 (- x2)) (/ 1 (- x0)))) in (x1 x2 x0) around 0 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (- x1)) (+ (/ 1 (- x2)) (/ 1 (- x0)))) in x0 * [misc]taylor: Taking taylor expansion of (/ 1 (- x1)) in x0 * [misc]taylor: Taking taylor expansion of (- x1) in x0 * [misc]taylor: Taking taylor expansion of x1 in x0 * [misc]backup-simplify: Simplify x1 into x1 * [misc]backup-simplify: Simplify (- x1) into (- x1) * [misc]backup-simplify: Simplify (- x1) into (- x1) * [misc]backup-simplify: Simplify (/ 1 (- x1)) into (/ -1 x1) * [misc]taylor: Taking taylor expansion of (+ (/ 1 (- x2)) (/ 1 (- x0))) in x0 * [misc]taylor: Taking taylor expansion of (/ 1 (- x2)) in x0 * [misc]taylor: Taking taylor expansion of (- x2) in x0 * [misc]taylor: Taking taylor expansion of x2 in x0 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (/ 1 (- x2)) into (/ -1 x2) * [misc]taylor: Taking taylor expansion of (/ 1 (- x0)) in x0 * [misc]taylor: Taking taylor expansion of (- x0) in x0 * [misc]taylor: Taking taylor expansion of x0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (- x1)) (+ (/ 1 (- x2)) (/ 1 (- x0)))) in x2 * [misc]taylor: Taking taylor expansion of (/ 1 (- x1)) in x2 * [misc]taylor: Taking taylor expansion of (- x1) in x2 * [misc]taylor: Taking taylor expansion of x1 in x2 * [misc]backup-simplify: Simplify x1 into x1 * [misc]backup-simplify: Simplify (- x1) into (- x1) * [misc]backup-simplify: Simplify (- x1) into (- x1) * [misc]backup-simplify: Simplify (/ 1 (- x1)) into (/ -1 x1) * [misc]taylor: Taking taylor expansion of (+ (/ 1 (- x2)) (/ 1 (- x0))) in x2 * [misc]taylor: Taking taylor expansion of (/ 1 (- x2)) in x2 * [misc]taylor: Taking taylor expansion of (- x2) in x2 * [misc]taylor: Taking taylor expansion of x2 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x0)) in x2 * [misc]taylor: Taking taylor expansion of (- x0) in x2 * [misc]taylor: Taking taylor expansion of x0 in x2 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (/ 1 (- x0)) into (/ -1 x0) * [misc]taylor: Taking taylor expansion of (+ (/ 1 (- x1)) (+ (/ 1 (- x2)) (/ 1 (- x0)))) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x1)) in x1 * [misc]taylor: Taking taylor expansion of (- x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (- x2)) (/ 1 (- x0))) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x2)) in x1 * [misc]taylor: Taking taylor expansion of (- x2) in x1 * [misc]taylor: Taking taylor expansion of x2 in x1 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (/ 1 (- x2)) into (/ -1 x2) * [misc]taylor: Taking taylor expansion of (/ 1 (- x0)) in x1 * [misc]taylor: Taking taylor expansion of (- x0) in x1 * [misc]taylor: Taking taylor expansion of x0 in x1 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (/ 1 (- x0)) into (/ -1 x0) * [misc]taylor: Taking taylor expansion of (+ (/ 1 (- x1)) (+ (/ 1 (- x2)) (/ 1 (- x0)))) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x1)) in x1 * [misc]taylor: Taking taylor expansion of (- x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (- x2)) (/ 1 (- x0))) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x2)) in x1 * [misc]taylor: Taking taylor expansion of (- x2) in x1 * [misc]taylor: Taking taylor expansion of x2 in x1 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (/ 1 (- x2)) into (/ -1 x2) * [misc]taylor: Taking taylor expansion of (/ 1 (- x0)) in x1 * [misc]taylor: Taking taylor expansion of (- x0) in x1 * [misc]taylor: Taking taylor expansion of x0 in x1 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (/ 1 (- x0)) into (/ -1 x0) * [misc]backup-simplify: Simplify (+ -1 0) into -1 * [misc]taylor: Taking taylor expansion of -1 in x2 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (/ -1 x2) (/ -1 x0)) into (- (+ (/ 1 x2) (/ 1 x0))) * [misc]backup-simplify: Simplify (+ 0 (- (+ (/ 1 x2) (/ 1 x0)))) into (- (+ (/ 1 x2) (/ 1 x0))) * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 x2) (/ 1 x0))) in x2 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x2) (/ 1 x0)) in x2 * [misc]taylor: Taking taylor expansion of (/ 1 x2) in x2 * [misc]taylor: Taking taylor expansion of x2 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x2 * [misc]taylor: Taking taylor expansion of x0 in x2 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (/ 1 x0) into (/ 1 x0) * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]taylor: Taking taylor expansion of -1 in x0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of -1 in x0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (- (+ (* (/ -1 x2) (/ 0 (- x2))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (- (+ (* (/ -1 x0) (/ 0 (- x0))))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ 0 (/ 1 x0)) into (/ 1 x0) * [misc]backup-simplify: Simplify (- (/ 1 x0)) into (- (/ 1 x0)) * [misc]taylor: Taking taylor expansion of (- (/ 1 x0)) in x0 * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x0 * [misc]taylor: Taking taylor expansion of x0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of 0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x1)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- x2))) 1))) (* -1 (* (/ 1 (/ 1 (- x0))) (* 1 1))))) into (+ x1 (+ x2 x0)) * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (+ x1 (+ x2 x0)) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (11 enodes) * * [misc]simplify: iters left: 1 (15 enodes) * [exit]simplify: Simplified to (+ (+ x1 x0) x2) * * * * [misc]progress: [ 2 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (+ x1 (+ x2 x0)) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (11 enodes) * * [misc]simplify: iters left: 1 (15 enodes) * [exit]simplify: Simplified to (+ (+ x1 x0) x2) * * * * [misc]progress: [ 3 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (+ x1 (+ x2 x0)) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (11 enodes) * * [misc]simplify: iters left: 1 (15 enodes) * [exit]simplify: Simplified to (+ (+ x1 x0) x2) * * * * [misc]progress: [ 4 / 14 ] simplifiying candidate # * * * * [misc]progress: [ 5 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (log (+ x1 (+ x2 x0))) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (16 enodes) * * [misc]simplify: iters left: 1 (18 enodes) * [exit]simplify: Simplified to (log (+ x1 (+ x2 x0))) * [exit]simplify: Simplified to (log (+ x1 (+ x2 x0))) * * * * [misc]progress: [ 6 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (+ x1 (+ x2 x0))) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (12 enodes) * * [misc]simplify: iters left: 3 (20 enodes) * * [misc]simplify: iters left: 2 (31 enodes) * * [misc]simplify: iters left: 1 (38 enodes) * [exit]simplify: Simplified to (exp (+ (+ x1 x0) x2)) * [exit]simplify: Simplified to (exp (+ (+ x1 x0) x2)) * * * * [misc]progress: [ 7 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (+ x1 (+ x2 x0))) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (16 enodes) * * [misc]simplify: iters left: 1 (18 enodes) * [exit]simplify: Simplified to (cbrt (+ x1 (+ x2 x0))) * [exit]simplify: Simplified to (cbrt (+ x1 (+ x2 x0))) * * * * [misc]progress: [ 8 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (+ x1 (+ x2 x0))) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (11 enodes) * * [misc]simplify: iters left: 3 (28 enodes) * * [misc]simplify: iters left: 2 (92 enodes) * * [misc]simplify: iters left: 1 (225 enodes) * [exit]simplify: Simplified to (cube (+ x2 (+ x1 x0))) * [exit]simplify: Simplified to (cube (+ x2 (+ x1 x0))) * * * * [misc]progress: [ 9 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (+ x1 (+ x2 x0))) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (16 enodes) * * [misc]simplify: iters left: 1 (18 enodes) * [exit]simplify: Simplified to (sqrt (+ x1 (+ x2 x0))) * [exit]simplify: Simplified to (sqrt (+ x1 (+ x2 x0))) * * * * [misc]progress: [ 10 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (pow x1 3) (pow (+ x2 x0) 3)) * * [misc]simplify: iters left: 5 (8 enodes) * * [misc]simplify: iters left: 4 (12 enodes) * * [misc]simplify: iters left: 3 (16 enodes) * * [misc]simplify: iters left: 2 (28 enodes) * * [misc]simplify: iters left: 1 (64 enodes) * [exit]simplify: Simplified to (+ (cube x1) (cube (+ x2 x0))) * [exit]simplify: Simplified to (+ (cube x1) (cube (+ x2 x0))) * [enter]simplify: Simplifying (+ (sqr x1) (- (sqr (+ x2 x0)) (* x1 (+ x2 x0)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (37 enodes) * * [misc]simplify: iters left: 3 (83 enodes) * * [misc]simplify: iters left: 2 (158 enodes) * * [misc]simplify: iters left: 1 (303 enodes) * [exit]simplify: Simplified to (+ (* x1 x1) (- (* (+ x0 x2) (+ x0 x2)) (* x1 (+ x0 x2)))) * [exit]simplify: Simplified to (+ (* x1 x1) (- (* (+ x0 x2) (+ x0 x2)) (* x1 (+ x0 x2)))) * * * * [misc]progress: [ 11 / 14 ] simplifiying candidate # * * * * [misc]progress: [ 12 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (- (sqr x1) (sqr (+ x2 x0))) * * [misc]simplify: iters left: 5 (7 enodes) * * [misc]simplify: iters left: 4 (13 enodes) * * [misc]simplify: iters left: 3 (30 enodes) * * [misc]simplify: iters left: 2 (73 enodes) * * [misc]simplify: iters left: 1 (119 enodes) * [exit]simplify: Simplified to (* (- x1 (+ x0 x2)) (+ (+ x0 x2) x1)) * [exit]simplify: Simplified to (* (- x1 (+ x0 x2)) (+ (+ x0 x2) x1)) * [enter]simplify: Simplifying (- x1 (+ x2 x0)) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * [exit]simplify: Simplified to (- (- x1 x2) x0) * [exit]simplify: Simplified to (- (- x1 x2) x0) * * * * [misc]progress: [ 13 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (+ x1 x2) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (4 enodes) * [exit]simplify: Simplified to (+ x2 x1) * [exit]simplify: Simplified to (+ x2 x1) * * * * [misc]progress: [ 14 / 14 ] simplifiying candidate # * * * [misc]progress: adding candidates to table * * [misc]progress: iteration 3 / 3 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 1 ] generating series at (2) * [misc]approximate: Taking taylor expansion of (+ (+ x1 x2) x0) in (x1 x2 x0) around 0 * [misc]taylor: Taking taylor expansion of (+ (+ x1 x2) x0) in x0 * [misc]taylor: Taking taylor expansion of (+ x1 x2) in x0 * [misc]taylor: Taking taylor expansion of x1 in x0 * [misc]backup-simplify: Simplify x1 into x1 * [misc]taylor: Taking taylor expansion of x2 in x0 * [misc]backup-simplify: Simplify x2 into x2 * [misc]taylor: Taking taylor expansion of x0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (+ (+ x1 x2) x0) in x2 * [misc]taylor: Taking taylor expansion of (+ x1 x2) in x2 * [misc]taylor: Taking taylor expansion of x1 in x2 * [misc]backup-simplify: Simplify x1 into x1 * [misc]taylor: Taking taylor expansion of x2 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of x0 in x2 * [misc]backup-simplify: Simplify x0 into x0 * [misc]taylor: Taking taylor expansion of (+ (+ x1 x2) x0) in x1 * [misc]taylor: Taking taylor expansion of (+ x1 x2) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of x2 in x1 * [misc]backup-simplify: Simplify x2 into x2 * [misc]taylor: Taking taylor expansion of x0 in x1 * [misc]backup-simplify: Simplify x0 into x0 * [misc]taylor: Taking taylor expansion of (+ (+ x1 x2) x0) in x1 * [misc]taylor: Taking taylor expansion of (+ x1 x2) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of x2 in x1 * [misc]backup-simplify: Simplify x2 into x2 * [misc]taylor: Taking taylor expansion of x0 in x1 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (+ 0 x2) into x2 * [misc]backup-simplify: Simplify (+ x2 x0) into (+ x2 x0) * [misc]taylor: Taking taylor expansion of (+ x2 x0) in x2 * [misc]taylor: Taking taylor expansion of x2 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of x0 in x2 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (+ 0 x0) into x0 * [misc]taylor: Taking taylor expansion of x0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]taylor: Taking taylor expansion of 1 in x2 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 1 in x0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]taylor: Taking taylor expansion of 1 in x0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (+ (* 1 (* x0 (* 1 1))) (+ (* 1 (* 1 (* x2 1))) (* 1 (* 1 (* 1 x1))))) into (+ x1 (+ x2 x0)) * [misc]approximate: Taking taylor expansion of (+ (+ (/ 1 x1) (/ 1 x2)) (/ 1 x0)) in (x1 x2 x0) around 0 * [misc]taylor: Taking taylor expansion of (+ (+ (/ 1 x1) (/ 1 x2)) (/ 1 x0)) in x0 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x1) (/ 1 x2)) in x0 * [misc]taylor: Taking taylor expansion of (/ 1 x1) in x0 * [misc]taylor: Taking taylor expansion of x1 in x0 * [misc]backup-simplify: Simplify x1 into x1 * [misc]backup-simplify: Simplify (/ 1 x1) into (/ 1 x1) * [misc]taylor: Taking taylor expansion of (/ 1 x2) in x0 * [misc]taylor: Taking taylor expansion of x2 in x0 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (/ 1 x2) into (/ 1 x2) * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x0 * [misc]taylor: Taking taylor expansion of x0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (+ (+ (/ 1 x1) (/ 1 x2)) (/ 1 x0)) in x2 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x1) (/ 1 x2)) in x2 * [misc]taylor: Taking taylor expansion of (/ 1 x1) in x2 * [misc]taylor: Taking taylor expansion of x1 in x2 * [misc]backup-simplify: Simplify x1 into x1 * [misc]backup-simplify: Simplify (/ 1 x1) into (/ 1 x1) * [misc]taylor: Taking taylor expansion of (/ 1 x2) in x2 * [misc]taylor: Taking taylor expansion of x2 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x2 * [misc]taylor: Taking taylor expansion of x0 in x2 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (/ 1 x0) into (/ 1 x0) * [misc]taylor: Taking taylor expansion of (+ (+ (/ 1 x1) (/ 1 x2)) (/ 1 x0)) in x1 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x1) (/ 1 x2)) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1 x2) in x1 * [misc]taylor: Taking taylor expansion of x2 in x1 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (/ 1 x2) into (/ 1 x2) * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x1 * [misc]taylor: Taking taylor expansion of x0 in x1 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (/ 1 x0) into (/ 1 x0) * [misc]taylor: Taking taylor expansion of (+ (+ (/ 1 x1) (/ 1 x2)) (/ 1 x0)) in x1 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x1) (/ 1 x2)) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1 x2) in x1 * [misc]taylor: Taking taylor expansion of x2 in x1 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (/ 1 x2) into (/ 1 x2) * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x1 * [misc]taylor: Taking taylor expansion of x0 in x1 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (/ 1 x0) into (/ 1 x0) * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]taylor: Taking taylor expansion of 1 in x2 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ 0 (/ 1 x2)) into (/ 1 x2) * [misc]backup-simplify: Simplify (+ (/ 1 x2) (/ 1 x0)) into (+ (/ 1 x2) (/ 1 x0)) * [misc]taylor: Taking taylor expansion of (+ (/ 1 x2) (/ 1 x0)) in x2 * [misc]taylor: Taking taylor expansion of (/ 1 x2) in x2 * [misc]taylor: Taking taylor expansion of x2 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x2 * [misc]taylor: Taking taylor expansion of x0 in x2 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (/ 1 x0) into (/ 1 x0) * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]taylor: Taking taylor expansion of 1 in x0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 1 in x0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x2) (/ 0 x2)))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 x0) (/ 0 x0)))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ 0 (/ 1 x0)) into (/ 1 x0) * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x0 * [misc]taylor: Taking taylor expansion of x0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 x1))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 x2)) 1))) (* 1 (* (/ 1 (/ 1 x0)) (* 1 1))))) into (+ x1 (+ x2 x0)) * [misc]approximate: Taking taylor expansion of (+ (+ (/ 1 (- x1)) (/ 1 (- x2))) (/ 1 (- x0))) in (x1 x2 x0) around 0 * [misc]taylor: Taking taylor expansion of (+ (+ (/ 1 (- x1)) (/ 1 (- x2))) (/ 1 (- x0))) in x0 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (- x1)) (/ 1 (- x2))) in x0 * [misc]taylor: Taking taylor expansion of (/ 1 (- x1)) in x0 * [misc]taylor: Taking taylor expansion of (- x1) in x0 * [misc]taylor: Taking taylor expansion of x1 in x0 * [misc]backup-simplify: Simplify x1 into x1 * [misc]backup-simplify: Simplify (- x1) into (- x1) * [misc]backup-simplify: Simplify (- x1) into (- x1) * [misc]backup-simplify: Simplify (/ 1 (- x1)) into (/ -1 x1) * [misc]taylor: Taking taylor expansion of (/ 1 (- x2)) in x0 * [misc]taylor: Taking taylor expansion of (- x2) in x0 * [misc]taylor: Taking taylor expansion of x2 in x0 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (/ 1 (- x2)) into (/ -1 x2) * [misc]taylor: Taking taylor expansion of (/ 1 (- x0)) in x0 * [misc]taylor: Taking taylor expansion of (- x0) in x0 * [misc]taylor: Taking taylor expansion of x0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (+ (+ (/ 1 (- x1)) (/ 1 (- x2))) (/ 1 (- x0))) in x2 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (- x1)) (/ 1 (- x2))) in x2 * [misc]taylor: Taking taylor expansion of (/ 1 (- x1)) in x2 * [misc]taylor: Taking taylor expansion of (- x1) in x2 * [misc]taylor: Taking taylor expansion of x1 in x2 * [misc]backup-simplify: Simplify x1 into x1 * [misc]backup-simplify: Simplify (- x1) into (- x1) * [misc]backup-simplify: Simplify (- x1) into (- x1) * [misc]backup-simplify: Simplify (/ 1 (- x1)) into (/ -1 x1) * [misc]taylor: Taking taylor expansion of (/ 1 (- x2)) in x2 * [misc]taylor: Taking taylor expansion of (- x2) in x2 * [misc]taylor: Taking taylor expansion of x2 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x0)) in x2 * [misc]taylor: Taking taylor expansion of (- x0) in x2 * [misc]taylor: Taking taylor expansion of x0 in x2 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (/ 1 (- x0)) into (/ -1 x0) * [misc]taylor: Taking taylor expansion of (+ (+ (/ 1 (- x1)) (/ 1 (- x2))) (/ 1 (- x0))) in x1 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (- x1)) (/ 1 (- x2))) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x1)) in x1 * [misc]taylor: Taking taylor expansion of (- x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x2)) in x1 * [misc]taylor: Taking taylor expansion of (- x2) in x1 * [misc]taylor: Taking taylor expansion of x2 in x1 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (/ 1 (- x2)) into (/ -1 x2) * [misc]taylor: Taking taylor expansion of (/ 1 (- x0)) in x1 * [misc]taylor: Taking taylor expansion of (- x0) in x1 * [misc]taylor: Taking taylor expansion of x0 in x1 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (/ 1 (- x0)) into (/ -1 x0) * [misc]taylor: Taking taylor expansion of (+ (+ (/ 1 (- x1)) (/ 1 (- x2))) (/ 1 (- x0))) in x1 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (- x1)) (/ 1 (- x2))) in x1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x1)) in x1 * [misc]taylor: Taking taylor expansion of (- x1) in x1 * [misc]taylor: Taking taylor expansion of x1 in x1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x2)) in x1 * [misc]taylor: Taking taylor expansion of (- x2) in x1 * [misc]taylor: Taking taylor expansion of x2 in x1 * [misc]backup-simplify: Simplify x2 into x2 * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (/ 1 (- x2)) into (/ -1 x2) * [misc]taylor: Taking taylor expansion of (/ 1 (- x0)) in x1 * [misc]taylor: Taking taylor expansion of (- x0) in x1 * [misc]taylor: Taking taylor expansion of x0 in x1 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (/ 1 (- x0)) into (/ -1 x0) * [misc]backup-simplify: Simplify (+ -1 0) into -1 * [misc]backup-simplify: Simplify (+ -1 0) into -1 * [misc]taylor: Taking taylor expansion of -1 in x2 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ 0 (/ -1 x2)) into (- (/ 1 x2)) * [misc]backup-simplify: Simplify (+ (- (/ 1 x2)) (/ -1 x0)) into (- (+ (/ 1 x2) (/ 1 x0))) * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 x2) (/ 1 x0))) in x2 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x2) (/ 1 x0)) in x2 * [misc]taylor: Taking taylor expansion of (/ 1 x2) in x2 * [misc]taylor: Taking taylor expansion of x2 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x2 * [misc]taylor: Taking taylor expansion of x0 in x2 * [misc]backup-simplify: Simplify x0 into x0 * [misc]backup-simplify: Simplify (/ 1 x0) into (/ 1 x0) * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]taylor: Taking taylor expansion of -1 in x0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of -1 in x0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- x2) into (- x2) * [misc]backup-simplify: Simplify (- (+ (* (/ -1 x2) (/ 0 (- x2))))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- x0) into (- x0) * [misc]backup-simplify: Simplify (- (+ (* (/ -1 x0) (/ 0 (- x0))))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in x2 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ 0 (/ 1 x0)) into (/ 1 x0) * [misc]backup-simplify: Simplify (- (/ 1 x0)) into (- (/ 1 x0)) * [misc]taylor: Taking taylor expansion of (- (/ 1 x0)) in x0 * [misc]taylor: Taking taylor expansion of (/ 1 x0) in x0 * [misc]taylor: Taking taylor expansion of x0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]taylor: Taking taylor expansion of 0 in x0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x1)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- x2))) 1))) (* -1 (* (/ 1 (/ 1 (- x0))) (* 1 1))))) into (+ x1 (+ x2 x0)) * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (+ x1 (+ x2 x0)) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (11 enodes) * * [misc]simplify: iters left: 1 (15 enodes) * [exit]simplify: Simplified to (+ (+ x1 x0) x2) * * * * [misc]progress: [ 2 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (+ x1 (+ x2 x0)) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (11 enodes) * * [misc]simplify: iters left: 1 (15 enodes) * [exit]simplify: Simplified to (+ (+ x1 x0) x2) * * * * [misc]progress: [ 3 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (+ x1 (+ x2 x0)) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (11 enodes) * * [misc]simplify: iters left: 1 (15 enodes) * [exit]simplify: Simplified to (+ (+ x1 x0) x2) * * * * [misc]progress: [ 4 / 14 ] simplifiying candidate # * * * * [misc]progress: [ 5 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (log (+ (+ x1 x2) x0)) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (16 enodes) * * [misc]simplify: iters left: 1 (18 enodes) * [exit]simplify: Simplified to (log (+ x0 (+ x2 x1))) * [exit]simplify: Simplified to (log (+ x0 (+ x2 x1))) * * * * [misc]progress: [ 6 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (+ (+ x1 x2) x0)) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (12 enodes) * * [misc]simplify: iters left: 3 (20 enodes) * * [misc]simplify: iters left: 2 (31 enodes) * * [misc]simplify: iters left: 1 (38 enodes) * [exit]simplify: Simplified to (exp (+ (+ x1 x0) x2)) * [exit]simplify: Simplified to (exp (+ (+ x1 x0) x2)) * * * * [misc]progress: [ 7 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (+ (+ x1 x2) x0)) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (16 enodes) * * [misc]simplify: iters left: 1 (18 enodes) * [exit]simplify: Simplified to (cbrt (+ x0 (+ x2 x1))) * [exit]simplify: Simplified to (cbrt (+ x0 (+ x2 x1))) * * * * [misc]progress: [ 8 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (+ (+ x1 x2) x0)) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (11 enodes) * * [misc]simplify: iters left: 3 (28 enodes) * * [misc]simplify: iters left: 2 (92 enodes) * * [misc]simplify: iters left: 1 (225 enodes) * [exit]simplify: Simplified to (cube (+ x2 (+ x1 x0))) * [exit]simplify: Simplified to (cube (+ x2 (+ x1 x0))) * * * * [misc]progress: [ 9 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (+ (+ x1 x2) x0)) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (16 enodes) * * [misc]simplify: iters left: 1 (18 enodes) * [exit]simplify: Simplified to (sqrt (+ x0 (+ x2 x1))) * [exit]simplify: Simplified to (sqrt (+ x0 (+ x2 x1))) * * * * [misc]progress: [ 10 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (pow (+ x1 x2) 3) (pow x0 3)) * * [misc]simplify: iters left: 5 (8 enodes) * * [misc]simplify: iters left: 4 (12 enodes) * * [misc]simplify: iters left: 3 (16 enodes) * * [misc]simplify: iters left: 2 (28 enodes) * * [misc]simplify: iters left: 1 (64 enodes) * [exit]simplify: Simplified to (+ (cube (+ x2 x1)) (cube x0)) * [exit]simplify: Simplified to (+ (cube (+ x2 x1)) (cube x0)) * [enter]simplify: Simplifying (+ (sqr (+ x1 x2)) (- (sqr x0) (* (+ x1 x2) x0))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (37 enodes) * * [misc]simplify: iters left: 3 (103 enodes) * * [misc]simplify: iters left: 2 (186 enodes) * * [misc]simplify: iters left: 1 (392 enodes) * [exit]simplify: Simplified to (- (+ (* x0 x0) (* (+ x2 x1) (+ x2 x1))) (* (+ x2 x1) x0)) * [exit]simplify: Simplified to (- (+ (* x0 x0) (* (+ x2 x1) (+ x2 x1))) (* (+ x2 x1) x0)) * * * * [misc]progress: [ 11 / 14 ] simplifiying candidate # * * * * [misc]progress: [ 12 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (- (sqr (+ x1 x2)) (sqr x0)) * * [misc]simplify: iters left: 5 (7 enodes) * * [misc]simplify: iters left: 4 (13 enodes) * * [misc]simplify: iters left: 3 (30 enodes) * * [misc]simplify: iters left: 2 (87 enodes) * * [misc]simplify: iters left: 1 (277 enodes) * [exit]simplify: Simplified to (* (- (+ x2 x1) x0) (+ x0 (+ x2 x1))) * [exit]simplify: Simplified to (* (- (+ x2 x1) x0) (+ x0 (+ x2 x1))) * [enter]simplify: Simplifying (- (+ x1 x2) x0) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (9 enodes) * * [misc]simplify: iters left: 1 (13 enodes) * [exit]simplify: Simplified to (+ x1 (- x2 x0)) * [exit]simplify: Simplified to (+ x1 (- x2 x0)) * * * * [misc]progress: [ 13 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (+ x2 x0) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (4 enodes) * [exit]simplify: Simplified to (+ x0 x2) * [exit]simplify: Simplified to (+ x0 x2) * * * * [misc]progress: [ 14 / 14 ] simplifiying candidate # * * * [misc]progress: adding candidates to table * [misc]progress: [Phase 3 of 3] Extracting. * * [misc]regime-changes: Finding splitpoints for: (# # # # #) * [misc]regimes: Found splitpoints: (#s(sp 0 (- (+ x1 x2) x0) +inf.0)) , with alts (#) * [enter]simplify: Simplifying (- (+ x0 x2) (- x1)) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * * [misc]simplify: iters left: 2 (10 enodes) * * [misc]simplify: iters left: 1 (14 enodes) * [exit]simplify: Simplified to (- (+ x2 x0) (- x1)) * [exit]simplify: Simplified to (- (+ x2 x0) (- x1)) * [enter]simplify: Simplifying (* (- x1 x0) (- (- x1) (- x1 x2))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (11 enodes) * * [misc]simplify: iters left: 4 (18 enodes) * * [misc]simplify: iters left: 3 (21 enodes) * * [misc]simplify: iters left: 2 (22 enodes) * [exit]simplify: Simplified to (* (- x1 x0) (- (- x1) (- x1 x2))) * [exit]simplify: Simplified to (* (- x1 x0) (- (- x1) (- x1 x2))) * [enter]simplify: Simplifying (- (+ x1 x0) (+ (- x1) (- x1 x2))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (29 enodes) * * [misc]simplify: iters left: 3 (50 enodes) * * [misc]simplify: iters left: 2 (75 enodes) * * [misc]simplify: iters left: 1 (103 enodes) * [exit]simplify: Simplified to (- (+ x0 x2) (- x1)) * [exit]simplify: Simplified to (- (+ x0 x2) (- x1)) * [enter]simplify: Simplifying (- (sqr (+ x1 x0)) (sqr (+ (- x1) (- x1 x2)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (19 enodes) * * [misc]simplify: iters left: 4 (51 enodes) * * [misc]simplify: iters left: 3 (161 enodes) * [exit]simplify: Simplified to (- (* (+ x0 x1) (+ x0 x1)) (* (+ (- x1) (- x1 x2)) (+ (- x1) (- x1 x2)))) * [exit]simplify: Simplified to (- (* (+ x0 x1) (+ x0 x1)) (* (+ (- x1) (- x1 x2)) (+ (- x1) (- x1 x2)))) * [enter]simplify: Simplifying (+ (+ x1 x0) (+ (- x1) (- x1 x2))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * * [misc]simplify: iters left: 4 (26 enodes) * * [misc]simplify: iters left: 3 (49 enodes) * * [misc]simplify: iters left: 2 (87 enodes) * * [misc]simplify: iters left: 1 (108 enodes) * [exit]simplify: Simplified to (+ (+ x1 (- x0 x2)) (+ x1 (- x1))) * [exit]simplify: Simplified to (+ (+ x1 (- x0 x2)) (+ x1 (- x1))) * [enter]simplify: Simplifying (+ x1 x2) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (4 enodes) * [exit]simplify: Simplified to (+ x2 x1) * [exit]simplify: Simplified to (+ x2 x1) * [enter]simplify: Simplifying (+ x1 (+ x2 x0)) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (11 enodes) * * [misc]simplify: iters left: 1 (15 enodes) * [exit]simplify: Simplified to (+ (+ x1 x0) x2)