* [misc]progress: [Phase 1 of 3] Setting up. * * * [misc]progress: [1/2] Preparing points * * * [misc]progress: [2/2] Setting up program. * [enter]simplify: Simplifying (+ (cos c) (sqrt c)) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (5 enodes) * [exit]simplify: Simplified to (+ (sqrt c) (cos c)) * [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 (+ (cos c) (sqrt c)) in (c) around 0 * [misc]taylor: Taking taylor expansion of (+ (cos c) (sqrt c)) in c * [misc]taylor: Taking taylor expansion of (cos c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (sqrt c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 * [misc]taylor: Taking taylor expansion of (+ (cos c) (sqrt c)) in c * [misc]taylor: Taking taylor expansion of (cos c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (sqrt c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.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 (+ 0 +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) * [misc]backup-simplify: Simplify (/ (- 0 (sqr +nan.0) (+)) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ (- 1/2) +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (* (- +nan.0) (sqr c)) (+ (* (- +nan.0) c) 1)) into (- 1 (+ (* +nan.0 (sqr c)) (- (* +nan.0 c)))) * [misc]approximate: Taking taylor expansion of (+ (cos (/ 1 c)) (sqrt (/ 1 c))) in (c) around 0 * [misc]taylor: Taking taylor expansion of (+ (cos (/ 1 c)) (sqrt (/ 1 c))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (cos (/ 1 c)) into (cos (/ 1 c)) * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 * [misc]taylor: Taking taylor expansion of (+ (cos (/ 1 c)) (sqrt (/ 1 c))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (cos (/ 1 c)) into (cos (/ 1 c)) * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (cos (/ 1 c)) +nan.0) into (- (cos (/ 1 c)) +nan.0) * [misc]backup-simplify: Simplify (- (cos (/ 1 c)) +nan.0) into (- (cos (/ 1 c)) +nan.0) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (- 0 (sqr +nan.0) (+)) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ 0 +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ 0 +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (* (- +nan.0) (sqr (/ 1 c))) (+ (* (- +nan.0) (/ 1 c)) (- (cos (/ 1 c)) +nan.0))) into (- (cos (/ 1 c)) (+ (* +nan.0 (/ 1 c)) (- (+ +nan.0 (- (* +nan.0 (/ 1 (sqr c)))))))) * [misc]approximate: Taking taylor expansion of (+ (cos (/ 1 (- c))) (sqrt (/ 1 (- c)))) in (c) around 0 * [misc]taylor: Taking taylor expansion of (+ (cos (/ 1 (- c))) (sqrt (/ 1 (- c)))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (cos (/ 1 (- c))) into (cos (/ -1 c)) * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 * [misc]taylor: Taking taylor expansion of (+ (cos (/ 1 (- c))) (sqrt (/ 1 (- c)))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (cos (/ 1 (- c))) into (cos (/ -1 c)) * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (cos (/ -1 c)) +nan.0) into (- (cos (/ -1 c)) +nan.0) * [misc]backup-simplify: Simplify (- (cos (/ -1 c)) +nan.0) into (- (cos (/ -1 c)) +nan.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 (/ (- 0 (sqr +nan.0) (+)) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ 0 +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.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 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ 0 +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (* (- +nan.0) (sqr (/ 1 (- c)))) (+ (* (- +nan.0) (/ 1 (- c))) (- (cos (/ -1 c)) +nan.0))) into (- (cos (/ -1 c)) (+ (* +nan.0 (/ 1 c)) (- (+ +nan.0 (- (* +nan.0 (/ 1 (sqr c)))))))) * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (- 1 (+ (* +nan.0 (sqr c)) (- (* +nan.0 c)))) * * * * [misc]progress: [ 2 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (- (cos (/ 1 c)) (+ (* +nan.0 (/ 1 c)) (- (+ +nan.0 (- (* +nan.0 (/ 1 (sqr c)))))))) * * * * [misc]progress: [ 3 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (- (cos (/ -1 c)) (+ (* +nan.0 (/ 1 c)) (- (+ +nan.0 (- (* +nan.0 (/ 1 (sqr c)))))))) * * * * [misc]progress: [ 4 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (* (exp (cos c)) (exp (sqrt c))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * * [misc]simplify: iters left: 2 (11 enodes) * [exit]simplify: Simplified to (exp (+ (cos c) (sqrt c))) * [exit]simplify: Simplified to (exp (+ (cos c) (sqrt c))) * * * * [misc]progress: [ 5 / 15 ] simplifiying candidate # * * * * [misc]progress: [ 6 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (log (+ (cos c) (sqrt c))) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * [exit]simplify: Simplified to (log (+ (sqrt c) (cos c))) * [exit]simplify: Simplified to (log (+ (sqrt c) (cos c))) * * * * [misc]progress: [ 7 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (+ (cos c) (sqrt c))) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * * [misc]simplify: iters left: 2 (10 enodes) * [exit]simplify: Simplified to (exp (+ (sqrt c) (cos c))) * [exit]simplify: Simplified to (exp (+ (sqrt c) (cos c))) * * * * [misc]progress: [ 8 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (+ (cos c) (sqrt c))) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * [exit]simplify: Simplified to (cbrt (+ (sqrt c) (cos c))) * [exit]simplify: Simplified to (cbrt (+ (sqrt c) (cos c))) * * * * [misc]progress: [ 9 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (+ (cos c) (sqrt c))) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (18 enodes) * * [misc]simplify: iters left: 1 (54 enodes) * [exit]simplify: Simplified to (cube (+ (sqrt c) (cos c))) * [exit]simplify: Simplified to (cube (+ (sqrt c) (cos c))) * * * * [misc]progress: [ 10 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (+ (cos c) (sqrt c))) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * [exit]simplify: Simplified to (sqrt (+ (sqrt c) (cos c))) * [exit]simplify: Simplified to (sqrt (+ (sqrt c) (cos c))) * * * * [misc]progress: [ 11 / 15 ] simplifiying candidate # * * * * [misc]progress: [ 12 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (- (pow (cos c) 3) (pow (sqrt c) 3)) * * [misc]simplify: iters left: 4 (7 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * * [misc]simplify: iters left: 2 (13 enodes) * * [misc]simplify: iters left: 1 (17 enodes) * [exit]simplify: Simplified to (- (cube (cos c)) (* c (sqrt c))) * [exit]simplify: Simplified to (- (cube (cos c)) (* c (sqrt c))) * [enter]simplify: Simplifying (+ (sqr (cos c)) (- (sqr (sqrt c)) (* (cos c) (sqrt c)))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * * [misc]simplify: iters left: 4 (19 enodes) * * [misc]simplify: iters left: 3 (23 enodes) * * [misc]simplify: iters left: 2 (27 enodes) * * [misc]simplify: iters left: 1 (33 enodes) * [exit]simplify: Simplified to (+ c (* (- (cos c) (sqrt c)) (cos c))) * [exit]simplify: Simplified to (+ c (* (- (cos c) (sqrt c)) (cos c))) * * * * [misc]progress: [ 13 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (- (sqr (cos c)) (sqr (sqrt c))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * [exit]simplify: Simplified to (- (* (cos c) (cos c)) c) * [exit]simplify: Simplified to (- (* (cos c) (cos c)) c) * [enter]simplify: Simplifying (- (cos c) (sqrt c)) * * [misc]simplify: iters left: 3 (4 enodes) * [exit]simplify: Simplified to (- (cos c) (sqrt c)) * [exit]simplify: Simplified to (- (cos c) (sqrt c)) * * * * [misc]progress: [ 14 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (cos c) (sqrt c)) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (5 enodes) * [exit]simplify: Simplified to (+ (sqrt c) (cos c)) * [exit]simplify: Simplified to (+ (sqrt c) (cos c)) * * * * [misc]progress: [ 15 / 15 ] simplifiying candidate # * * * [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 / 3 ] generating series at (2 1 2) * [misc]approximate: Taking taylor expansion of (sqr (sqrt c)) in (c) around 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt c)) in c * [misc]taylor: Taking taylor expansion of (sqrt c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt c)) in c * [misc]taylor: Taking taylor expansion of (sqrt c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ (- 0 (sqr +nan.0) (+)) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0) * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0) * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (/ (- 0 (sqr +nan.0) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0) * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (* (- +nan.0) (pow c 4)) (+ (* (- +nan.0) (pow c 3)) (* (- +nan.0) (sqr c)))) into (- (+ (* +nan.0 (sqr c)) (- (+ (* +nan.0 (pow c 4)) (- (* +nan.0 (pow c 3))))))) * [misc]approximate: Taking taylor expansion of (sqr (sqrt (/ 1 c))) in (c) around 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (/ 1 c))) in c * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (/ 1 c))) in c * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (- 0 (sqr +nan.0) (+)) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0) * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0) * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (- 0 (sqr +nan.0) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0) * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (* (- +nan.0) (sqr (/ 1 c))) (+ (* (- +nan.0) (/ 1 c)) (- +nan.0))) into (- (+ (* +nan.0 (/ 1 c)) (- (+ +nan.0 (- (* +nan.0 (/ 1 (sqr c)))))))) * [misc]approximate: Taking taylor expansion of (sqr (sqrt (/ 1 (- c)))) in (c) around 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (/ 1 (- c)))) in c * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (/ 1 (- c)))) in c * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) 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 (/ (- 0 (sqr +nan.0) (+)) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0) * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.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 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0) * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.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 (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (/ (- 0 (sqr +nan.0) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0) * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (* (- +nan.0) (sqr (/ 1 (- c)))) (+ (* (- +nan.0) (/ 1 (- c))) (- +nan.0))) into (- (+ (* +nan.0 (/ 1 c)) (- (+ +nan.0 (- (* +nan.0 (/ 1 (sqr c)))))))) * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1) * [misc]approximate: Taking taylor expansion of (sqr (cos c)) in (c) around 0 * [misc]taylor: Taking taylor expansion of (sqr (cos c)) in c * [misc]taylor: Taking taylor expansion of (cos c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (sqr (cos c)) in c * [misc]taylor: Taking taylor expansion of (cos c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (+ 0) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) * [misc]backup-simplify: Simplify (+ (* 1 (- 1/2)) (+ (* 0 0) (* (- 1/2) 1))) into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) 0) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 (- 1/2)) (+ (* (- 1/2) 0) (* 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 1 4) 24)) 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 1/24 * [misc]backup-simplify: Simplify (+ (* 1 1/24) (+ (* 0 0) (+ (* (- 1/2) (- 1/2)) (+ (* 0 0) (* 1/24 1))))) into 1/3 * [misc]backup-simplify: Simplify 1/3 into 1/3 * [misc]backup-simplify: Simplify (+ (* 1/3 (pow c 4)) (+ (* -1 (sqr c)) 1)) into (- (+ 1 (* 1/3 (pow c 4))) (sqr c)) * [misc]approximate: Taking taylor expansion of (sqr (cos (/ 1 c))) in (c) around 0 * [misc]taylor: Taking taylor expansion of (sqr (cos (/ 1 c))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (cos (/ 1 c)) into (cos (/ 1 c)) * [misc]taylor: Taking taylor expansion of (sqr (cos (/ 1 c))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (cos (/ 1 c)) into (cos (/ 1 c)) * [misc]backup-simplify: Simplify (* (cos (/ 1 c)) (cos (/ 1 c))) into (sqr (cos (/ 1 c))) * [misc]backup-simplify: Simplify (sqr (cos (/ 1 c))) into (sqr (cos (/ 1 c))) * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 c)) 0) (* 0 (cos (/ 1 c)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 c)) 0) (+ (* 0 0) (* 0 (cos (/ 1 c))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 c)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 c)))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 c)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 c))))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 c)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 c)))))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 c)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 c))))))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (sqr (cos (/ 1 c))) into (sqr (cos (/ 1 c))) * [misc]approximate: Taking taylor expansion of (sqr (cos (/ 1 (- c)))) in (c) around 0 * [misc]taylor: Taking taylor expansion of (sqr (cos (/ 1 (- c)))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (cos (/ 1 (- c))) into (cos (/ -1 c)) * [misc]taylor: Taking taylor expansion of (sqr (cos (/ 1 (- c)))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (cos (/ 1 (- c))) into (cos (/ -1 c)) * [misc]backup-simplify: Simplify (* (cos (/ -1 c)) (cos (/ -1 c))) into (sqr (cos (/ -1 c))) * [misc]backup-simplify: Simplify (sqr (cos (/ -1 c))) into (sqr (cos (/ -1 c))) * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 c)) 0) (* 0 (cos (/ -1 c)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 c)) 0) (+ (* 0 0) (* 0 (cos (/ -1 c))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 c)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 c)))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 c)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 c))))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 c)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 c)))))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 c)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 c))))))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (sqr (cos (/ -1 c))) into (sqr (cos (/ -1 c))) * * * * [misc]progress: [ 3 / 3 ] generating series at (2) * [misc]approximate: Taking taylor expansion of (/ (- (sqr (cos c)) (sqr (sqrt c))) (- (cos c) (sqrt c))) in (c) around 0 * [misc]taylor: Taking taylor expansion of (/ (- (sqr (cos c)) (sqr (sqrt c))) (- (cos c) (sqrt c))) in c * [misc]taylor: Taking taylor expansion of (- (sqr (cos c)) (sqr (sqrt c))) in c * [misc]taylor: Taking taylor expansion of (sqr (cos c)) in c * [misc]taylor: Taking taylor expansion of (cos c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (sqr (sqrt c)) in c * [misc]taylor: Taking taylor expansion of (sqrt c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 * [misc]taylor: Taking taylor expansion of (- (cos c) (sqrt c)) in c * [misc]taylor: Taking taylor expansion of (cos c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (sqrt c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ (- (sqr (cos c)) (sqr (sqrt c))) (- (cos c) (sqrt c))) in c * [misc]taylor: Taking taylor expansion of (- (sqr (cos c)) (sqr (sqrt c))) in c * [misc]taylor: Taking taylor expansion of (sqr (cos c)) in c * [misc]taylor: Taking taylor expansion of (cos c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (sqr (sqrt c)) in c * [misc]taylor: Taking taylor expansion of (sqrt c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 * [misc]taylor: Taking taylor expansion of (- (cos c) (sqrt c)) in c * [misc]taylor: Taking taylor expansion of (cos c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (sqrt c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (+ 0) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (+ 0) into 0 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ 0 (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ (- +nan.0) 1)))) into (- +nan.0) * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) * [misc]backup-simplify: Simplify (+ (* 1 (- 1/2)) (+ (* 0 0) (* (- 1/2) 1))) into -1 * [misc]backup-simplify: Simplify (/ (- 0 (sqr +nan.0) (+)) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0) * [misc]backup-simplify: Simplify (- (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (+ -1 (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) * [misc]backup-simplify: Simplify (/ (- 0 (sqr +nan.0) (+)) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (- 1/2) (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (- (/ (- +nan.0) 1) (+ (* 1 (/ (- +nan.0) 1)) (* (- +nan.0) (/ (- +nan.0) 1)))) into (- +nan.0) * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (* (- +nan.0) (sqr c)) (+ (* (- +nan.0) c) 1)) into (- 1 (+ (* +nan.0 (sqr c)) (- (* +nan.0 c)))) * [misc]approximate: Taking taylor expansion of (/ (- (sqr (cos (/ 1 c))) (sqr (sqrt (/ 1 c)))) (- (cos (/ 1 c)) (sqrt (/ 1 c)))) in (c) around 0 * [misc]taylor: Taking taylor expansion of (/ (- (sqr (cos (/ 1 c))) (sqr (sqrt (/ 1 c)))) (- (cos (/ 1 c)) (sqrt (/ 1 c)))) in c * [misc]taylor: Taking taylor expansion of (- (sqr (cos (/ 1 c))) (sqr (sqrt (/ 1 c)))) in c * [misc]taylor: Taking taylor expansion of (sqr (cos (/ 1 c))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (cos (/ 1 c)) into (cos (/ 1 c)) * [misc]taylor: Taking taylor expansion of (sqr (sqrt (/ 1 c))) in c * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 * [misc]taylor: Taking taylor expansion of (- (cos (/ 1 c)) (sqrt (/ 1 c))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (cos (/ 1 c)) into (cos (/ 1 c)) * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.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]backup-simplify: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (* (cos (/ 1 c)) (cos (/ 1 c))) into (sqr (cos (/ 1 c))) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (- 0 (sqr +nan.0) (+)) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0) * [misc]backup-simplify: Simplify (- (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (sqr (cos (/ 1 c))) (- +nan.0)) into (- (sqr (cos (/ 1 c))) +nan.0) * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (cos (/ 1 c)) (- +nan.0)) into (- (cos (/ 1 c)) +nan.0) * [misc]backup-simplify: Simplify (/ (- (sqr (cos (/ 1 c))) +nan.0) (- (cos (/ 1 c)) +nan.0)) into (/ (- (sqr (cos (/ 1 c))) +nan.0) (- (cos (/ 1 c)) +nan.0)) * [misc]taylor: Taking taylor expansion of (/ (- (sqr (cos (/ 1 c))) (sqr (sqrt (/ 1 c)))) (- (cos (/ 1 c)) (sqrt (/ 1 c)))) in c * [misc]taylor: Taking taylor expansion of (- (sqr (cos (/ 1 c))) (sqr (sqrt (/ 1 c)))) in c * [misc]taylor: Taking taylor expansion of (sqr (cos (/ 1 c))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (cos (/ 1 c)) into (cos (/ 1 c)) * [misc]taylor: Taking taylor expansion of (sqr (sqrt (/ 1 c))) in c * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 * [misc]taylor: Taking taylor expansion of (- (cos (/ 1 c)) (sqrt (/ 1 c))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (cos (/ 1 c)) into (cos (/ 1 c)) * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.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]backup-simplify: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (* (cos (/ 1 c)) (cos (/ 1 c))) into (sqr (cos (/ 1 c))) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (- 0 (sqr +nan.0) (+)) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0) * [misc]backup-simplify: Simplify (- (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (sqr (cos (/ 1 c))) (- +nan.0)) into (- (sqr (cos (/ 1 c))) +nan.0) * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (cos (/ 1 c)) (- +nan.0)) into (- (cos (/ 1 c)) +nan.0) * [misc]backup-simplify: Simplify (/ (- (sqr (cos (/ 1 c))) +nan.0) (- (cos (/ 1 c)) +nan.0)) into (/ (- (sqr (cos (/ 1 c))) +nan.0) (- (cos (/ 1 c)) +nan.0)) * [misc]backup-simplify: Simplify (/ (- (sqr (cos (/ 1 c))) +nan.0) (- (cos (/ 1 c)) +nan.0)) into (/ (- (sqr (cos (/ 1 c))) +nan.0) (- (cos (/ 1 c)) +nan.0)) * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 c)) 0) (* 0 (cos (/ 1 c)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0) * [misc]backup-simplify: Simplify (- (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (+ 0 (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (- 0 (sqr +nan.0) (+)) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ 0 (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (- (/ (- +nan.0) (- (cos (/ 1 c)) +nan.0)) (+ (* (/ (- (sqr (cos (/ 1 c))) +nan.0) (- (cos (/ 1 c)) +nan.0)) (/ (- +nan.0) (- (cos (/ 1 c)) +nan.0))))) into (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ 1 (- (cos (/ 1 c)) +nan.0))) (- (* +nan.0 (/ (sqr (cos (/ 1 c))) (sqr (- (cos (/ 1 c)) +nan.0))))))))) * [misc]backup-simplify: Simplify (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ 1 (- (cos (/ 1 c)) +nan.0))) (- (* +nan.0 (/ (sqr (cos (/ 1 c))) (sqr (- (cos (/ 1 c)) +nan.0))))))))) into (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ 1 (- (cos (/ 1 c)) +nan.0))) (- (* +nan.0 (/ (sqr (cos (/ 1 c))) (sqr (- (cos (/ 1 c)) +nan.0))))))))) * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 c)) 0) (+ (* 0 0) (* 0 (cos (/ 1 c))))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (- 0 (sqr +nan.0) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0) * [misc]backup-simplify: Simplify (- (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (+ 0 (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ 0 (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (- (/ (- +nan.0) (- (cos (/ 1 c)) +nan.0)) (+ (* (/ (- (sqr (cos (/ 1 c))) +nan.0) (- (cos (/ 1 c)) +nan.0)) (/ (- +nan.0) (- (cos (/ 1 c)) +nan.0))) (* (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ 1 (- (cos (/ 1 c)) +nan.0))) (- (* +nan.0 (/ (sqr (cos (/ 1 c))) (sqr (- (cos (/ 1 c)) +nan.0))))))))) (/ (- +nan.0) (- (cos (/ 1 c)) +nan.0))))) into (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ (sqr (cos (/ 1 c))) (sqr (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ 1 (- (cos (/ 1 c)) +nan.0))) (- (+ (* +nan.0 (/ 1 (pow (- (cos (/ 1 c)) +nan.0) 3))) (- (* +nan.0 (/ (sqr (cos (/ 1 c))) (pow (- (cos (/ 1 c)) +nan.0) 3)))))))))))) * [misc]backup-simplify: Simplify (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ (sqr (cos (/ 1 c))) (sqr (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ 1 (- (cos (/ 1 c)) +nan.0))) (- (+ (* +nan.0 (/ 1 (pow (- (cos (/ 1 c)) +nan.0) 3))) (- (* +nan.0 (/ (sqr (cos (/ 1 c))) (pow (- (cos (/ 1 c)) +nan.0) 3)))))))))))) into (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ (sqr (cos (/ 1 c))) (sqr (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ 1 (- (cos (/ 1 c)) +nan.0))) (- (+ (* +nan.0 (/ 1 (pow (- (cos (/ 1 c)) +nan.0) 3))) (- (* +nan.0 (/ (sqr (cos (/ 1 c))) (pow (- (cos (/ 1 c)) +nan.0) 3)))))))))))) * [misc]backup-simplify: Simplify (+ (* (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ (sqr (cos (/ 1 c))) (sqr (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ 1 (- (cos (/ 1 c)) +nan.0))) (- (+ (* +nan.0 (/ 1 (pow (- (cos (/ 1 c)) +nan.0) 3))) (- (* +nan.0 (/ (sqr (cos (/ 1 c))) (pow (- (cos (/ 1 c)) +nan.0) 3)))))))))))) (sqr (/ 1 c))) (+ (* (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ 1 (- (cos (/ 1 c)) +nan.0))) (- (* +nan.0 (/ (sqr (cos (/ 1 c))) (sqr (- (cos (/ 1 c)) +nan.0))))))))) (/ 1 c)) (/ (- (sqr (cos (/ 1 c))) +nan.0) (- (cos (/ 1 c)) +nan.0)))) into (- (/ (sqr (cos (/ 1 c))) (- (cos (/ 1 c)) +nan.0)) (+ (* +nan.0 (/ 1 (* (sqr c) (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ (sqr (cos (/ 1 c))) (* (sqr c) (pow (- (cos (/ 1 c)) +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (- (cos (/ 1 c)) +nan.0))) (- (+ (* +nan.0 (/ (sqr (cos (/ 1 c))) (* c (sqr (- (cos (/ 1 c)) +nan.0))))) (- (+ (* +nan.0 (/ 1 (* c (sqr (- (cos (/ 1 c)) +nan.0))))) (- (+ (* +nan.0 (/ 1 (* (sqr c) (pow (- (cos (/ 1 c)) +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (* c (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ 1 (* (sqr c) (sqr (- (cos (/ 1 c)) +nan.0))))) (- (* +nan.0 (/ (sqr (cos (/ 1 c))) (* (sqr c) (sqr (- (cos (/ 1 c)) +nan.0)))))))))))))))))))))) * [misc]approximate: Taking taylor expansion of (/ (- (sqr (cos (/ 1 (- c)))) (sqr (sqrt (/ 1 (- c))))) (- (cos (/ 1 (- c))) (sqrt (/ 1 (- c))))) in (c) around 0 * [misc]taylor: Taking taylor expansion of (/ (- (sqr (cos (/ 1 (- c)))) (sqr (sqrt (/ 1 (- c))))) (- (cos (/ 1 (- c))) (sqrt (/ 1 (- c))))) in c * [misc]taylor: Taking taylor expansion of (- (sqr (cos (/ 1 (- c)))) (sqr (sqrt (/ 1 (- c))))) in c * [misc]taylor: Taking taylor expansion of (sqr (cos (/ 1 (- c)))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (cos (/ 1 (- c))) into (cos (/ -1 c)) * [misc]taylor: Taking taylor expansion of (sqr (sqrt (/ 1 (- c)))) in c * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 * [misc]taylor: Taking taylor expansion of (- (cos (/ 1 (- c))) (sqrt (/ 1 (- c)))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (cos (/ 1 (- c))) into (cos (/ -1 c)) * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.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]backup-simplify: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (* (cos (/ -1 c)) (cos (/ -1 c))) into (sqr (cos (/ -1 c))) * [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 (sqr +nan.0) (+)) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0) * [misc]backup-simplify: Simplify (- (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (sqr (cos (/ -1 c))) (- +nan.0)) into (- (sqr (cos (/ -1 c))) +nan.0) * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (cos (/ -1 c)) (- +nan.0)) into (- (cos (/ -1 c)) +nan.0) * [misc]backup-simplify: Simplify (/ (- (sqr (cos (/ -1 c))) +nan.0) (- (cos (/ -1 c)) +nan.0)) into (/ (- (sqr (cos (/ -1 c))) +nan.0) (- (cos (/ -1 c)) +nan.0)) * [misc]taylor: Taking taylor expansion of (/ (- (sqr (cos (/ 1 (- c)))) (sqr (sqrt (/ 1 (- c))))) (- (cos (/ 1 (- c))) (sqrt (/ 1 (- c))))) in c * [misc]taylor: Taking taylor expansion of (- (sqr (cos (/ 1 (- c)))) (sqr (sqrt (/ 1 (- c))))) in c * [misc]taylor: Taking taylor expansion of (sqr (cos (/ 1 (- c)))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (cos (/ 1 (- c))) into (cos (/ -1 c)) * [misc]taylor: Taking taylor expansion of (sqr (sqrt (/ 1 (- c)))) in c * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 * [misc]taylor: Taking taylor expansion of (- (cos (/ 1 (- c))) (sqrt (/ 1 (- c)))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (cos (/ 1 (- c))) into (cos (/ -1 c)) * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.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]backup-simplify: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (* (cos (/ -1 c)) (cos (/ -1 c))) into (sqr (cos (/ -1 c))) * [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 (sqr +nan.0) (+)) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0) * [misc]backup-simplify: Simplify (- (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (sqr (cos (/ -1 c))) (- +nan.0)) into (- (sqr (cos (/ -1 c))) +nan.0) * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (cos (/ -1 c)) (- +nan.0)) into (- (cos (/ -1 c)) +nan.0) * [misc]backup-simplify: Simplify (/ (- (sqr (cos (/ -1 c))) +nan.0) (- (cos (/ -1 c)) +nan.0)) into (/ (- (sqr (cos (/ -1 c))) +nan.0) (- (cos (/ -1 c)) +nan.0)) * [misc]backup-simplify: Simplify (/ (- (sqr (cos (/ -1 c))) +nan.0) (- (cos (/ -1 c)) +nan.0)) into (/ (- (sqr (cos (/ -1 c))) +nan.0) (- (cos (/ -1 c)) +nan.0)) * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 c)) 0) (* 0 (cos (/ -1 c)))) 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 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0) * [misc]backup-simplify: Simplify (- (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (+ 0 (- +nan.0)) into (- +nan.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 (/ (- 0 (sqr +nan.0) (+)) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ 0 (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (- (/ (- +nan.0) (- (cos (/ -1 c)) +nan.0)) (+ (* (/ (- (sqr (cos (/ -1 c))) +nan.0) (- (cos (/ -1 c)) +nan.0)) (/ (- +nan.0) (- (cos (/ -1 c)) +nan.0))))) into (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ -1 c)) +nan.0)))) (- (+ (* +nan.0 (/ (sqr (cos (/ -1 c))) (sqr (- (cos (/ -1 c)) +nan.0)))) (- (* +nan.0 (/ 1 (- (cos (/ -1 c)) +nan.0)))))))) * [misc]backup-simplify: Simplify (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ -1 c)) +nan.0)))) (- (+ (* +nan.0 (/ (sqr (cos (/ -1 c))) (sqr (- (cos (/ -1 c)) +nan.0)))) (- (* +nan.0 (/ 1 (- (cos (/ -1 c)) +nan.0)))))))) into (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ -1 c)) +nan.0)))) (- (+ (* +nan.0 (/ (sqr (cos (/ -1 c))) (sqr (- (cos (/ -1 c)) +nan.0)))) (- (* +nan.0 (/ 1 (- (cos (/ -1 c)) +nan.0)))))))) * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 c)) 0) (+ (* 0 0) (* 0 (cos (/ -1 c))))) 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 (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (/ (- 0 (sqr +nan.0) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0) * [misc]backup-simplify: Simplify (- (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (+ 0 (- +nan.0)) into (- +nan.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 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ 0 (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (- (/ (- +nan.0) (- (cos (/ -1 c)) +nan.0)) (+ (* (/ (- (sqr (cos (/ -1 c))) +nan.0) (- (cos (/ -1 c)) +nan.0)) (/ (- +nan.0) (- (cos (/ -1 c)) +nan.0))) (* (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ -1 c)) +nan.0)))) (- (+ (* +nan.0 (/ (sqr (cos (/ -1 c))) (sqr (- (cos (/ -1 c)) +nan.0)))) (- (* +nan.0 (/ 1 (- (cos (/ -1 c)) +nan.0)))))))) (/ (- +nan.0) (- (cos (/ -1 c)) +nan.0))))) into (- (+ (* +nan.0 (/ 1 (pow (- (cos (/ -1 c)) +nan.0) 3))) (- (+ (* +nan.0 (/ (sqr (cos (/ -1 c))) (pow (- (cos (/ -1 c)) +nan.0) 3))) (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ -1 c)) +nan.0)))) (- (+ (* +nan.0 (/ (sqr (cos (/ -1 c))) (sqr (- (cos (/ -1 c)) +nan.0)))) (- (* +nan.0 (/ 1 (- (cos (/ -1 c)) +nan.0)))))))))))) * [misc]backup-simplify: Simplify (- (+ (* +nan.0 (/ 1 (pow (- (cos (/ -1 c)) +nan.0) 3))) (- (+ (* +nan.0 (/ (sqr (cos (/ -1 c))) (pow (- (cos (/ -1 c)) +nan.0) 3))) (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ -1 c)) +nan.0)))) (- (+ (* +nan.0 (/ (sqr (cos (/ -1 c))) (sqr (- (cos (/ -1 c)) +nan.0)))) (- (* +nan.0 (/ 1 (- (cos (/ -1 c)) +nan.0)))))))))))) into (- (+ (* +nan.0 (/ 1 (pow (- (cos (/ -1 c)) +nan.0) 3))) (- (+ (* +nan.0 (/ (sqr (cos (/ -1 c))) (pow (- (cos (/ -1 c)) +nan.0) 3))) (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ -1 c)) +nan.0)))) (- (+ (* +nan.0 (/ (sqr (cos (/ -1 c))) (sqr (- (cos (/ -1 c)) +nan.0)))) (- (* +nan.0 (/ 1 (- (cos (/ -1 c)) +nan.0)))))))))))) * [misc]backup-simplify: Simplify (+ (* (- (+ (* +nan.0 (/ 1 (pow (- (cos (/ -1 c)) +nan.0) 3))) (- (+ (* +nan.0 (/ (sqr (cos (/ -1 c))) (pow (- (cos (/ -1 c)) +nan.0) 3))) (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ -1 c)) +nan.0)))) (- (+ (* +nan.0 (/ (sqr (cos (/ -1 c))) (sqr (- (cos (/ -1 c)) +nan.0)))) (- (* +nan.0 (/ 1 (- (cos (/ -1 c)) +nan.0)))))))))))) (sqr (/ 1 (- c)))) (+ (* (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ -1 c)) +nan.0)))) (- (+ (* +nan.0 (/ (sqr (cos (/ -1 c))) (sqr (- (cos (/ -1 c)) +nan.0)))) (- (* +nan.0 (/ 1 (- (cos (/ -1 c)) +nan.0)))))))) (/ 1 (- c))) (/ (- (sqr (cos (/ -1 c))) +nan.0) (- (cos (/ -1 c)) +nan.0)))) into (- (/ (sqr (cos (/ -1 c))) (- (cos (/ -1 c)) +nan.0)) (+ (* +nan.0 (/ 1 (* (sqr c) (- (cos (/ -1 c)) +nan.0)))) (- (+ (* +nan.0 (/ 1 (* (sqr c) (sqr (- (cos (/ -1 c)) +nan.0))))) (- (+ (* +nan.0 (/ 1 (- (cos (/ -1 c)) +nan.0))) (- (+ (* +nan.0 (/ (sqr (cos (/ -1 c))) (* (sqr c) (sqr (- (cos (/ -1 c)) +nan.0))))) (- (+ (* +nan.0 (/ 1 (* (sqr c) (pow (- (cos (/ -1 c)) +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (* c (sqr (- (cos (/ -1 c)) +nan.0))))) (- (+ (* +nan.0 (/ (sqr (cos (/ -1 c))) (* (sqr c) (pow (- (cos (/ -1 c)) +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (* c (- (cos (/ -1 c)) +nan.0)))) (- (* +nan.0 (/ (sqr (cos (/ -1 c))) (* c (sqr (- (cos (/ -1 c)) +nan.0)))))))))))))))))))))) * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 2) * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1) * * * * [misc]progress: [ 3 / 3 ] rewriting at (2) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (- (+ (* +nan.0 (sqr c)) (- (+ (* +nan.0 (pow c 4)) (- (* +nan.0 (pow c 3)))))))) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 2 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (- (+ (* +nan.0 (/ 1 c)) (- (+ +nan.0 (- (* +nan.0 (/ 1 (sqr c))))))))) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 3 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (- (+ (* +nan.0 (/ 1 c)) (- (+ +nan.0 (- (* +nan.0 (/ 1 (sqr c))))))))) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 4 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (- (+ 1 (* 1/3 (pow c 4))) (sqr c)) (sqr (sqrt c))) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 6 (15 enodes) * * [misc]simplify: iters left: 5 (28 enodes) * * [misc]simplify: iters left: 4 (35 enodes) * * [misc]simplify: iters left: 3 (53 enodes) * * [misc]simplify: iters left: 2 (73 enodes) * * [misc]simplify: iters left: 1 (82 enodes) * [exit]simplify: Simplified to (/ (- (* 1/3 (pow c 4)) (- (* c c) (- 1 c))) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 5 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (cos (/ 1 c))) (sqr (sqrt c))) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * * [misc]simplify: iters left: 4 (20 enodes) * * [misc]simplify: iters left: 3 (25 enodes) * * [misc]simplify: iters left: 2 (26 enodes) * [exit]simplify: Simplified to (/ (- (* (cos (/ 1 c)) (cos (/ 1 c))) c) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 6 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (cos (/ -1 c))) (sqr (sqrt c))) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (18 enodes) * * [misc]simplify: iters left: 3 (23 enodes) * * [misc]simplify: iters left: 2 (24 enodes) * [exit]simplify: Simplified to (/ (- (* (cos (/ -1 c)) (cos (/ -1 c))) c) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 7 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (- 1 (+ (* +nan.0 (sqr c)) (- (* +nan.0 c)))) * * * * [misc]progress: [ 8 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (- (/ (sqr (cos (/ 1 c))) (- (cos (/ 1 c)) +nan.0)) (+ (* +nan.0 (/ 1 (* (sqr c) (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ (sqr (cos (/ 1 c))) (* (sqr c) (pow (- (cos (/ 1 c)) +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (- (cos (/ 1 c)) +nan.0))) (- (+ (* +nan.0 (/ (sqr (cos (/ 1 c))) (* c (sqr (- (cos (/ 1 c)) +nan.0))))) (- (+ (* +nan.0 (/ 1 (* c (sqr (- (cos (/ 1 c)) +nan.0))))) (- (+ (* +nan.0 (/ 1 (* (sqr c) (pow (- (cos (/ 1 c)) +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (* c (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ 1 (* (sqr c) (sqr (- (cos (/ 1 c)) +nan.0))))) (- (* +nan.0 (/ (sqr (cos (/ 1 c))) (* (sqr c) (sqr (- (cos (/ 1 c)) +nan.0)))))))))))))))))))))) * * * * [misc]progress: [ 9 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (- (/ (sqr (cos (/ -1 c))) (- (cos (/ -1 c)) +nan.0)) (+ (* +nan.0 (/ 1 (* (sqr c) (- (cos (/ -1 c)) +nan.0)))) (- (+ (* +nan.0 (/ 1 (* (sqr c) (sqr (- (cos (/ -1 c)) +nan.0))))) (- (+ (* +nan.0 (/ 1 (- (cos (/ -1 c)) +nan.0))) (- (+ (* +nan.0 (/ (sqr (cos (/ -1 c))) (* (sqr c) (sqr (- (cos (/ -1 c)) +nan.0))))) (- (+ (* +nan.0 (/ 1 (* (sqr c) (pow (- (cos (/ -1 c)) +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (* c (sqr (- (cos (/ -1 c)) +nan.0))))) (- (+ (* +nan.0 (/ (sqr (cos (/ -1 c))) (* (sqr c) (pow (- (cos (/ -1 c)) +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (* c (- (cos (/ -1 c)) +nan.0)))) (- (* +nan.0 (/ (sqr (cos (/ -1 c))) (* c (sqr (- (cos (/ -1 c)) +nan.0)))))))))))))))))))))) * * * * [misc]progress: [ 10 / 67 ] simplifiying candidate # * * * * [misc]progress: [ 11 / 67 ] simplifiying candidate # * * * * [misc]progress: [ 12 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (log (sqr (sqrt c))) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (5 enodes) * [exit]simplify: Simplified to (log c) * [exit]simplify: Simplified to (log c) * * * * [misc]progress: [ 13 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (sqr (sqrt c))) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (5 enodes) * [exit]simplify: Simplified to (exp c) * [exit]simplify: Simplified to (exp c) * * * * [misc]progress: [ 14 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (sqr (sqrt c))) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (5 enodes) * [exit]simplify: Simplified to (cbrt c) * [exit]simplify: Simplified to (cbrt c) * * * * [misc]progress: [ 15 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (sqr (sqrt c))) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (7 enodes) * * [misc]simplify: iters left: 1 (12 enodes) * [exit]simplify: Simplified to (cube c) * [exit]simplify: Simplified to (cube c) * * * * [misc]progress: [ 16 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (sqr (sqrt c))) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (5 enodes) * [exit]simplify: Simplified to (sqrt c) * [exit]simplify: Simplified to (sqrt c) * * * * [misc]progress: [ 17 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (sqr 1) * * [misc]simplify: iters left: 1 (2 enodes) * [exit]simplify: Simplified to (sqr 1) * [exit]simplify: Simplified to (sqr 1) * [enter]simplify: Simplifying (sqr (sqrt c)) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (4 enodes) * [exit]simplify: Simplified to c * [exit]simplify: Simplified to c * * * * [misc]progress: [ 18 / 67 ] simplifiying candidate # * * * * [misc]progress: [ 19 / 67 ] simplifiying candidate # * * * * [misc]progress: [ 20 / 67 ] simplifiying candidate # * * * * [misc]progress: [ 21 / 67 ] simplifiying candidate # * * * * [misc]progress: [ 22 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (log (sqr (cos c))) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (5 enodes) * * [misc]simplify: iters left: 1 (7 enodes) * [exit]simplify: Simplified to (+ (log (cos c)) (log (cos c))) * [exit]simplify: Simplified to (+ (log (cos c)) (log (cos c))) * * * * [misc]progress: [ 23 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (sqr (cos c))) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (5 enodes) * * [misc]simplify: iters left: 1 (7 enodes) * [exit]simplify: Simplified to (exp (* (cos c) (cos c))) * [exit]simplify: Simplified to (exp (* (cos c) (cos c))) * * * * [misc]progress: [ 24 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (sqr (cos c))) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (5 enodes) * [exit]simplify: Simplified to (cbrt (* (cos c) (cos c))) * [exit]simplify: Simplified to (cbrt (* (cos c) (cos c))) * * * * [misc]progress: [ 25 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (sqr (cos c))) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (7 enodes) * * [misc]simplify: iters left: 1 (13 enodes) * [exit]simplify: Simplified to (* (cube (cos c)) (cube (cos c))) * [exit]simplify: Simplified to (* (cube (cos c)) (cube (cos c))) * * * * [misc]progress: [ 26 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (sqr (cos c))) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (6 enodes) * [exit]simplify: Simplified to (fabs (cos c)) * [exit]simplify: Simplified to (fabs (cos c)) * * * * [misc]progress: [ 27 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (sqr 1) * * [misc]simplify: iters left: 1 (2 enodes) * [exit]simplify: Simplified to (sqr 1) * [exit]simplify: Simplified to (sqr 1) * [enter]simplify: Simplifying (sqr (cos c)) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (4 enodes) * [exit]simplify: Simplified to (* (cos c) (cos c)) * [exit]simplify: Simplified to (* (cos c) (cos c)) * * * * [misc]progress: [ 28 / 67 ] simplifiying candidate # * * * * [misc]progress: [ 29 / 67 ] simplifiying candidate # * * * * [misc]progress: [ 30 / 67 ] simplifiying candidate # * * * * [misc]progress: [ 31 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (- (log (- (sqr (cos c)) (sqr (sqrt c)))) (log (- (cos c) (sqrt c)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (12 enodes) * [exit]simplify: Simplified to (- (log (- (* (cos c) (cos c)) c)) (log (- (cos c) (sqrt c)))) * [exit]simplify: Simplified to (- (log (- (* (cos c) (cos c)) c)) (log (- (cos c) (sqrt c)))) * * * * [misc]progress: [ 32 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (log (/ (- (sqr (cos c)) (sqr (sqrt c))) (- (cos c) (sqrt c)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * * [misc]simplify: iters left: 4 (19 enodes) * * [misc]simplify: iters left: 3 (24 enodes) * * [misc]simplify: iters left: 2 (26 enodes) * * [misc]simplify: iters left: 1 (28 enodes) * [exit]simplify: Simplified to (log (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * [exit]simplify: Simplified to (log (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * * * * [misc]progress: [ 33 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (/ (- (sqr (cos c)) (sqr (sqrt c))) (- (cos c) (sqrt c)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * * [misc]simplify: iters left: 4 (19 enodes) * * [misc]simplify: iters left: 3 (24 enodes) * * [misc]simplify: iters left: 2 (28 enodes) * * [misc]simplify: iters left: 1 (30 enodes) * [exit]simplify: Simplified to (exp (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * [exit]simplify: Simplified to (exp (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * * * * [misc]progress: [ 34 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (cube (- (sqr (cos c)) (sqr (sqrt c)))) (cube (- (cos c) (sqrt c)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (23 enodes) * * [misc]simplify: iters left: 3 (36 enodes) * * [misc]simplify: iters left: 2 (62 enodes) * * [misc]simplify: iters left: 1 (111 enodes) * [exit]simplify: Simplified to (cube (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * [exit]simplify: Simplified to (cube (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * * * * [misc]progress: [ 35 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (/ (- (sqr (cos c)) (sqr (sqrt c))) (- (cos c) (sqrt c)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * * [misc]simplify: iters left: 4 (16 enodes) * * [misc]simplify: iters left: 3 (21 enodes) * * [misc]simplify: iters left: 2 (23 enodes) * * [misc]simplify: iters left: 1 (25 enodes) * [exit]simplify: Simplified to (cbrt (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * [exit]simplify: Simplified to (cbrt (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * * * * [misc]progress: [ 36 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (/ (- (sqr (cos c)) (sqr (sqrt c))) (- (cos c) (sqrt c)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (19 enodes) * * [misc]simplify: iters left: 4 (31 enodes) * * [misc]simplify: iters left: 3 (42 enodes) * * [misc]simplify: iters left: 2 (63 enodes) * * [misc]simplify: iters left: 1 (95 enodes) * [exit]simplify: Simplified to (cube (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * [exit]simplify: Simplified to (cube (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * * * * [misc]progress: [ 37 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (cbrt (- (sqr (cos c)) (sqr (sqrt c)))) (cbrt (- (cos c) (sqrt c)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (12 enodes) * [exit]simplify: Simplified to (/ (cbrt (- (* (cos c) (cos c)) c)) (cbrt (- (cos c) (sqrt c)))) * [exit]simplify: Simplified to (/ (cbrt (- (* (cos c) (cos c)) c)) (cbrt (- (cos c) (sqrt c)))) * * * * [misc]progress: [ 38 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (/ (- (sqr (cos c)) (sqr (sqrt c))) (- (cos c) (sqrt c)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * * [misc]simplify: iters left: 4 (16 enodes) * * [misc]simplify: iters left: 3 (21 enodes) * * [misc]simplify: iters left: 2 (23 enodes) * * [misc]simplify: iters left: 1 (25 enodes) * [exit]simplify: Simplified to (sqrt (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * [exit]simplify: Simplified to (sqrt (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * * * * [misc]progress: [ 39 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqrt (- (sqr (cos c)) (sqr (sqrt c)))) (sqrt (- (cos c) (sqrt c)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (12 enodes) * [exit]simplify: Simplified to (/ (sqrt (- (* (cos c) (cos c)) c)) (sqrt (- (cos c) (sqrt c)))) * [exit]simplify: Simplified to (/ (sqrt (- (* (cos c) (cos c)) c)) (sqrt (- (cos c) (sqrt c)))) * * * * [misc]progress: [ 40 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (- (- (sqr (cos c)) (sqr (sqrt c)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (9 enodes) * [exit]simplify: Simplified to (- (- (* (cos c) (cos c)) c)) * [exit]simplify: Simplified to (- (- (* (cos c) (cos c)) c)) * [enter]simplify: Simplifying (- (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 5 (5 enodes) * [exit]simplify: Simplified to (- (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (- (- (cos c) (sqrt c))) * * * * [misc]progress: [ 41 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqr (cos c)) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (7 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * * [misc]simplify: iters left: 2 (14 enodes) * * [misc]simplify: iters left: 1 (16 enodes) * [exit]simplify: Simplified to (/ (* (cos c) (cos c)) (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (/ (* (cos c) (cos c)) (- (cos c) (sqrt c))) * [enter]simplify: Simplifying (/ (sqr (sqrt c)) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (7 enodes) * [exit]simplify: Simplified to (/ c (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (/ c (- (cos c) (sqrt c))) * * * * [misc]progress: [ 42 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 1) * * [misc]simplify: iters left: 2 (2 enodes) * * [misc]simplify: iters left: 1 (4 enodes) * [exit]simplify: Simplified to 1 * [exit]simplify: Simplified to 1 * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (sqr (sqrt c))) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * * [misc]simplify: iters left: 4 (15 enodes) * * [misc]simplify: iters left: 3 (20 enodes) * * [misc]simplify: iters left: 2 (22 enodes) * * [misc]simplify: iters left: 1 (24 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 43 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 (+ (sqrt (cos c)) (sqrt (sqrt c)))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (11 enodes) * [exit]simplify: Simplified to (/ 1 (+ (sqrt (sqrt c)) (sqrt (cos c)))) * [exit]simplify: Simplified to (/ 1 (+ (sqrt (sqrt c)) (sqrt (cos c)))) * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (sqr (sqrt c))) (- (sqrt (cos c)) (sqrt (sqrt c)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * * [misc]simplify: iters left: 4 (17 enodes) * * [misc]simplify: iters left: 3 (22 enodes) * * [misc]simplify: iters left: 2 (23 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (sqrt (cos c)) (sqrt (sqrt c)))) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (sqrt (cos c)) (sqrt (sqrt c)))) * * * * [misc]progress: [ 44 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 1) * * [misc]simplify: iters left: 2 (2 enodes) * * [misc]simplify: iters left: 1 (4 enodes) * [exit]simplify: Simplified to 1 * [exit]simplify: Simplified to 1 * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (sqr (sqrt c))) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * * [misc]simplify: iters left: 4 (15 enodes) * * [misc]simplify: iters left: 3 (20 enodes) * * [misc]simplify: iters left: 2 (22 enodes) * * [misc]simplify: iters left: 1 (24 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 45 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (+ (cos c) (sqrt c)) 1) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * [exit]simplify: Simplified to (/ (+ (sqrt c) (cos c)) 1) * [exit]simplify: Simplified to (/ (+ (sqrt c) (cos c)) 1) * [enter]simplify: Simplifying (/ (- (cos c) (sqrt c)) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (11 enodes) * [exit]simplify: Simplified to 1 * [exit]simplify: Simplified to 1 * * * * [misc]progress: [ 46 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (+ (cos c) (sqrt c)) (+ (sqrt (cos c)) (sqrt (sqrt c)))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (10 enodes) * [exit]simplify: Simplified to (/ (+ (sqrt c) (cos c)) (+ (sqrt (sqrt c)) (sqrt (cos c)))) * [exit]simplify: Simplified to (/ (+ (sqrt c) (cos c)) (+ (sqrt (sqrt c)) (sqrt (cos c)))) * [enter]simplify: Simplifying (/ (- (cos c) (sqrt c)) (- (sqrt (cos c)) (sqrt (sqrt c)))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (11 enodes) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt c)) (- (sqrt (cos c)) (sqrt (sqrt c)))) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt c)) (- (sqrt (cos c)) (sqrt (sqrt c)))) * * * * [misc]progress: [ 47 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (+ (cos c) (sqrt c)) 1) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * [exit]simplify: Simplified to (/ (+ (sqrt c) (cos c)) 1) * [exit]simplify: Simplified to (/ (+ (sqrt c) (cos c)) 1) * [enter]simplify: Simplifying (/ (- (cos c) (sqrt c)) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (11 enodes) * [exit]simplify: Simplified to 1 * [exit]simplify: Simplified to 1 * * * * [misc]progress: [ 48 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqr 1) 1) * * [misc]simplify: iters left: 3 (3 enodes) * * [misc]simplify: iters left: 2 (6 enodes) * [exit]simplify: Simplified to (/ 1 1) * [exit]simplify: Simplified to (/ 1 1) * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (sqr (sqrt c))) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * * [misc]simplify: iters left: 4 (15 enodes) * * [misc]simplify: iters left: 3 (20 enodes) * * [misc]simplify: iters left: 2 (22 enodes) * * [misc]simplify: iters left: 1 (24 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 49 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqr 1) (+ (sqrt (cos c)) (sqrt (sqrt c)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * [exit]simplify: Simplified to (/ 1 (+ (sqrt (cos c)) (sqrt (sqrt c)))) * [exit]simplify: Simplified to (/ 1 (+ (sqrt (cos c)) (sqrt (sqrt c)))) * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (sqr (sqrt c))) (- (sqrt (cos c)) (sqrt (sqrt c)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * * [misc]simplify: iters left: 4 (17 enodes) * * [misc]simplify: iters left: 3 (22 enodes) * * [misc]simplify: iters left: 2 (23 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (sqrt (cos c)) (sqrt (sqrt c)))) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (sqrt (cos c)) (sqrt (sqrt c)))) * * * * [misc]progress: [ 50 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqr 1) 1) * * [misc]simplify: iters left: 3 (3 enodes) * * [misc]simplify: iters left: 2 (6 enodes) * [exit]simplify: Simplified to (/ 1 1) * [exit]simplify: Simplified to (/ 1 1) * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (sqr (sqrt c))) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * * [misc]simplify: iters left: 4 (15 enodes) * * [misc]simplify: iters left: 3 (20 enodes) * * [misc]simplify: iters left: 2 (22 enodes) * * [misc]simplify: iters left: 1 (24 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 51 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 1) * * [misc]simplify: iters left: 2 (2 enodes) * * [misc]simplify: iters left: 1 (4 enodes) * [exit]simplify: Simplified to 1 * [exit]simplify: Simplified to 1 * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (sqr (sqrt c))) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * * [misc]simplify: iters left: 4 (15 enodes) * * [misc]simplify: iters left: 3 (20 enodes) * * [misc]simplify: iters left: 2 (22 enodes) * * [misc]simplify: iters left: 1 (24 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 52 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 (+ (sqrt (cos c)) (sqrt (sqrt c)))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (11 enodes) * [exit]simplify: Simplified to (/ 1 (+ (sqrt (sqrt c)) (sqrt (cos c)))) * [exit]simplify: Simplified to (/ 1 (+ (sqrt (sqrt c)) (sqrt (cos c)))) * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (sqr (sqrt c))) (- (sqrt (cos c)) (sqrt (sqrt c)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * * [misc]simplify: iters left: 4 (17 enodes) * * [misc]simplify: iters left: 3 (22 enodes) * * [misc]simplify: iters left: 2 (23 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (sqrt (cos c)) (sqrt (sqrt c)))) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (sqrt (cos c)) (sqrt (sqrt c)))) * * * * [misc]progress: [ 53 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 1) * * [misc]simplify: iters left: 2 (2 enodes) * * [misc]simplify: iters left: 1 (4 enodes) * [exit]simplify: Simplified to 1 * [exit]simplify: Simplified to 1 * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (sqr (sqrt c))) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * * [misc]simplify: iters left: 4 (15 enodes) * * [misc]simplify: iters left: 3 (20 enodes) * * [misc]simplify: iters left: 2 (22 enodes) * * [misc]simplify: iters left: 1 (24 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 54 / 67 ] simplifiying candidate # * * * * [misc]progress: [ 55 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (8 enodes) * [exit]simplify: Simplified to (/ 1 (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (/ 1 (- (cos c) (sqrt c))) * * * * [misc]progress: [ 56 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (cos c) (sqrt c)) (- (sqr (cos c)) (sqr (sqrt c)))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt c)) (- (* (cos c) (cos c)) c)) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt c)) (- (* (cos c) (cos c)) c)) * * * * [misc]progress: [ 57 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (sqr (sqrt c))) 1) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * * [misc]simplify: iters left: 4 (17 enodes) * * [misc]simplify: iters left: 3 (19 enodes) * * [misc]simplify: iters left: 2 (20 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) 1) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) 1) * * * * [misc]progress: [ 58 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (sqr (sqrt c))) (+ (sqrt (cos c)) (sqrt (sqrt c)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (18 enodes) * * [misc]simplify: iters left: 3 (20 enodes) * * [misc]simplify: iters left: 2 (21 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (+ (sqrt (sqrt c)) (sqrt (cos c)))) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (+ (sqrt (sqrt c)) (sqrt (cos c)))) * * * * [misc]progress: [ 59 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (sqr (sqrt c))) 1) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * * [misc]simplify: iters left: 4 (17 enodes) * * [misc]simplify: iters left: 3 (19 enodes) * * [misc]simplify: iters left: 2 (20 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) 1) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) 1) * * * * [misc]progress: [ 60 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (cos c) (sqrt c)) (- (sqr (cos c)) (sqr (sqrt c)))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt c)) (- (* (cos c) (cos c)) c)) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt c)) (- (* (cos c) (cos c)) c)) * * * * [misc]progress: [ 61 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (cos c) (sqrt c)) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (11 enodes) * [exit]simplify: Simplified to 1 * [exit]simplify: Simplified to 1 * * * * [misc]progress: [ 62 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (cos c) (sqrt c)) (- (sqr (cos c)) (sqr (sqrt c)))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt c)) (- (* (cos c) (cos c)) c)) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt c)) (- (* (cos c) (cos c)) c)) * * * * [misc]progress: [ 63 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (cos c) (sqrt c)) (- (sqr (cos c)) (sqr (sqrt c)))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt c)) (- (* (cos c) (cos c)) c)) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt c)) (- (* (cos c) (cos c)) c)) * * * * [misc]progress: [ 64 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (sqr (sqrt c))) (- (pow (cos c) 3) (pow (sqrt c) 3))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * * [misc]simplify: iters left: 4 (22 enodes) * * [misc]simplify: iters left: 3 (29 enodes) * * [misc]simplify: iters left: 2 (38 enodes) * * [misc]simplify: iters left: 1 (44 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cube (cos c)) (* c (sqrt c)))) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cube (cos c)) (* c (sqrt c)))) * * * * [misc]progress: [ 65 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (sqr (sqrt c))) (- (sqr (cos c)) (sqr (sqrt c)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * * [misc]simplify: iters left: 4 (17 enodes) * * [misc]simplify: iters left: 3 (22 enodes) * * [misc]simplify: iters left: 2 (25 enodes) * [exit]simplify: Simplified to 1 * [exit]simplify: Simplified to 1 * * * * [misc]progress: [ 66 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (* (- (cos c) (sqrt c)) (+ (sqr (sqr (cos c))) (+ (sqr (sqr (sqrt c))) (* (sqr (cos c)) (sqr (sqrt c)))))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (27 enodes) * * [misc]simplify: iters left: 4 (54 enodes) * * [misc]simplify: iters left: 3 (82 enodes) * * [misc]simplify: iters left: 2 (110 enodes) * * [misc]simplify: iters left: 1 (141 enodes) * [exit]simplify: Simplified to (+ (* (- (cos c) (sqrt c)) (sqr c)) (* (* (* (cos c) (cos c)) (- (cos c) (sqrt c))) (+ (* (cos c) (cos c)) c))) * [exit]simplify: Simplified to (+ (* (- (cos c) (sqrt c)) (sqr c)) (* (* (* (cos c) (cos c)) (- (cos c) (sqrt c))) (+ (* (cos c) (cos c)) c))) * * * * [misc]progress: [ 67 / 67 ] simplifiying candidate # * [enter]simplify: Simplifying (* (- (cos c) (sqrt c)) (+ (sqr (cos c)) (sqr (sqrt c)))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * * [misc]simplify: iters left: 4 (28 enodes) * * [misc]simplify: iters left: 3 (32 enodes) * * [misc]simplify: iters left: 2 (35 enodes) * * [misc]simplify: iters left: 1 (38 enodes) * [exit]simplify: Simplified to (* (+ (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (* (+ (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * * * [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 / 2 ] generating series at (2 1 1) * [misc]approximate: Taking taylor expansion of (sqr (cos c)) in (c) around 0 * [misc]taylor: Taking taylor expansion of (sqr (cos c)) in c * [misc]taylor: Taking taylor expansion of (cos c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (sqr (cos c)) in c * [misc]taylor: Taking taylor expansion of (cos c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (+ 0) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) * [misc]backup-simplify: Simplify (+ (* 1 (- 1/2)) (+ (* 0 0) (* (- 1/2) 1))) into -1 * [misc]backup-simplify: Simplify -1 into -1 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) 0) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 (- 1/2)) (+ (* (- 1/2) 0) (* 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 1 4) 24)) 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 1/24 * [misc]backup-simplify: Simplify (+ (* 1 1/24) (+ (* 0 0) (+ (* (- 1/2) (- 1/2)) (+ (* 0 0) (* 1/24 1))))) into 1/3 * [misc]backup-simplify: Simplify 1/3 into 1/3 * [misc]backup-simplify: Simplify (+ (* 1/3 (pow c 4)) (+ (* -1 (sqr c)) 1)) into (- (+ 1 (* 1/3 (pow c 4))) (sqr c)) * [misc]approximate: Taking taylor expansion of (sqr (cos (/ 1 c))) in (c) around 0 * [misc]taylor: Taking taylor expansion of (sqr (cos (/ 1 c))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (cos (/ 1 c)) into (cos (/ 1 c)) * [misc]taylor: Taking taylor expansion of (sqr (cos (/ 1 c))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (cos (/ 1 c)) into (cos (/ 1 c)) * [misc]backup-simplify: Simplify (* (cos (/ 1 c)) (cos (/ 1 c))) into (sqr (cos (/ 1 c))) * [misc]backup-simplify: Simplify (sqr (cos (/ 1 c))) into (sqr (cos (/ 1 c))) * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 c)) 0) (* 0 (cos (/ 1 c)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 c)) 0) (+ (* 0 0) (* 0 (cos (/ 1 c))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 c)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 c)))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 c)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 c))))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 c)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 c)))))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 c)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 c))))))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (sqr (cos (/ 1 c))) into (sqr (cos (/ 1 c))) * [misc]approximate: Taking taylor expansion of (sqr (cos (/ 1 (- c)))) in (c) around 0 * [misc]taylor: Taking taylor expansion of (sqr (cos (/ 1 (- c)))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (cos (/ 1 (- c))) into (cos (/ -1 c)) * [misc]taylor: Taking taylor expansion of (sqr (cos (/ 1 (- c)))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (cos (/ 1 (- c))) into (cos (/ -1 c)) * [misc]backup-simplify: Simplify (* (cos (/ -1 c)) (cos (/ -1 c))) into (sqr (cos (/ -1 c))) * [misc]backup-simplify: Simplify (sqr (cos (/ -1 c))) into (sqr (cos (/ -1 c))) * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 c)) 0) (* 0 (cos (/ -1 c)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 c)) 0) (+ (* 0 0) (* 0 (cos (/ -1 c))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 c)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 c)))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 c)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 c))))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 c)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 c)))))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 c)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 c))))))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (sqr (cos (/ -1 c))) into (sqr (cos (/ -1 c))) * * * * [misc]progress: [ 2 / 2 ] generating series at (2) * [misc]approximate: Taking taylor expansion of (/ (- (sqr (cos c)) (* (sqr 1) c)) (- (cos c) (sqrt c))) in (c) around 0 * [misc]taylor: Taking taylor expansion of (/ (- (sqr (cos c)) (* (sqr 1) c)) (- (cos c) (sqrt c))) in c * [misc]taylor: Taking taylor expansion of (- (sqr (cos c)) (* (sqr 1) c)) in c * [misc]taylor: Taking taylor expansion of (sqr (cos c)) in c * [misc]taylor: Taking taylor expansion of (cos c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* (sqr 1) c) in c * [misc]taylor: Taking taylor expansion of (sqr 1) in c * [misc]taylor: Taking taylor expansion of 1 in c * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (- (cos c) (sqrt c)) in c * [misc]taylor: Taking taylor expansion of (cos c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (sqrt c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (* 1 0) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ (- (sqr (cos c)) (* (sqr 1) c)) (- (cos c) (sqrt c))) in c * [misc]taylor: Taking taylor expansion of (- (sqr (cos c)) (* (sqr 1) c)) in c * [misc]taylor: Taking taylor expansion of (sqr (cos c)) in c * [misc]taylor: Taking taylor expansion of (cos c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* (sqr 1) c) in c * [misc]taylor: Taking taylor expansion of (sqr 1) in c * [misc]taylor: Taking taylor expansion of 1 in c * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (- (cos c) (sqrt c)) in c * [misc]taylor: Taking taylor expansion of (cos c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (sqrt c) in c * [misc]taylor: Taking taylor expansion of c in c * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (* 1 0) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (+ 0) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 0 0)) into 1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 * [misc]backup-simplify: Simplify (+ 0) into 0 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ 0 (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ (- +nan.0) 1)))) into (- +nan.0) * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) * [misc]backup-simplify: Simplify (+ (* 1 (- 1/2)) (+ (* 0 0) (* (- 1/2) 1))) into -1 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 1) (* 0 0))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ -1 0) into -1 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) * [misc]backup-simplify: Simplify (/ (- 0 (sqr +nan.0) (+)) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (- 1/2) (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ (- +nan.0) 1)) (* (- +nan.0) (/ (- +nan.0) 1)))) into (- +nan.0) * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (* (- +nan.0) (sqr c)) (+ (* (- +nan.0) c) 1)) into (- 1 (+ (* +nan.0 (sqr c)) (- (* +nan.0 c)))) * [misc]approximate: Taking taylor expansion of (/ (- (sqr (cos (/ 1 c))) (* (sqr 1) (/ 1 c))) (- (cos (/ 1 c)) (sqrt (/ 1 c)))) in (c) around 0 * [misc]taylor: Taking taylor expansion of (/ (- (sqr (cos (/ 1 c))) (* (sqr 1) (/ 1 c))) (- (cos (/ 1 c)) (sqrt (/ 1 c)))) in c * [misc]taylor: Taking taylor expansion of (- (sqr (cos (/ 1 c))) (* (sqr 1) (/ 1 c))) in c * [misc]taylor: Taking taylor expansion of (sqr (cos (/ 1 c))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (cos (/ 1 c)) into (cos (/ 1 c)) * [misc]taylor: Taking taylor expansion of (* (sqr 1) (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (sqr 1) in c * [misc]taylor: Taking taylor expansion of 1 in c * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (- (cos (/ 1 c)) (sqrt (/ 1 c))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (cos (/ 1 c)) into (cos (/ 1 c)) * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (cos (/ 1 c)) (- +nan.0)) into (- (cos (/ 1 c)) +nan.0) * [misc]backup-simplify: Simplify (/ -1 (- (cos (/ 1 c)) +nan.0)) into (/ -1 (- (cos (/ 1 c)) +nan.0)) * [misc]taylor: Taking taylor expansion of (/ (- (sqr (cos (/ 1 c))) (* (sqr 1) (/ 1 c))) (- (cos (/ 1 c)) (sqrt (/ 1 c)))) in c * [misc]taylor: Taking taylor expansion of (- (sqr (cos (/ 1 c))) (* (sqr 1) (/ 1 c))) in c * [misc]taylor: Taking taylor expansion of (sqr (cos (/ 1 c))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (cos (/ 1 c)) into (cos (/ 1 c)) * [misc]taylor: Taking taylor expansion of (* (sqr 1) (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (sqr 1) in c * [misc]taylor: Taking taylor expansion of 1 in c * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (- (cos (/ 1 c)) (sqrt (/ 1 c))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (cos (/ 1 c)) into (cos (/ 1 c)) * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 c)) in c * [misc]taylor: Taking taylor expansion of (/ 1 c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (cos (/ 1 c)) (- +nan.0)) into (- (cos (/ 1 c)) +nan.0) * [misc]backup-simplify: Simplify (/ -1 (- (cos (/ 1 c)) +nan.0)) into (/ -1 (- (cos (/ 1 c)) +nan.0)) * [misc]backup-simplify: Simplify (/ -1 (- (cos (/ 1 c)) +nan.0)) into (/ -1 (- (cos (/ 1 c)) +nan.0)) * [misc]backup-simplify: Simplify (* (cos (/ 1 c)) (cos (/ 1 c))) into (sqr (cos (/ 1 c))) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ (sqr (cos (/ 1 c))) 0) into (sqr (cos (/ 1 c))) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (- 0 (sqr +nan.0) (+)) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ 0 (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (- (/ (sqr (cos (/ 1 c))) (- (cos (/ 1 c)) +nan.0)) (+ (* (/ -1 (- (cos (/ 1 c)) +nan.0)) (/ (- +nan.0) (- (cos (/ 1 c)) +nan.0))))) into (- (/ (sqr (cos (/ 1 c))) (- (cos (/ 1 c)) +nan.0)) (* +nan.0 (/ 1 (sqr (- (cos (/ 1 c)) +nan.0))))) * [misc]backup-simplify: Simplify (- (/ (sqr (cos (/ 1 c))) (- (cos (/ 1 c)) +nan.0)) (* +nan.0 (/ 1 (sqr (- (cos (/ 1 c)) +nan.0))))) into (- (/ (sqr (cos (/ 1 c))) (- (cos (/ 1 c)) +nan.0)) (* +nan.0 (/ 1 (sqr (- (cos (/ 1 c)) +nan.0))))) * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 c)) 0) (* 0 (cos (/ 1 c)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 * [misc]backup-simplify: Simplify (- 0) 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 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ 0 (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (- (/ 0 (- (cos (/ 1 c)) +nan.0)) (+ (* (/ -1 (- (cos (/ 1 c)) +nan.0)) (/ (- +nan.0) (- (cos (/ 1 c)) +nan.0))) (* (- (/ (sqr (cos (/ 1 c))) (- (cos (/ 1 c)) +nan.0)) (* +nan.0 (/ 1 (sqr (- (cos (/ 1 c)) +nan.0))))) (/ (- +nan.0) (- (cos (/ 1 c)) +nan.0))))) into (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ 1 (pow (- (cos (/ 1 c)) +nan.0) 3))) (- (* +nan.0 (/ (sqr (cos (/ 1 c))) (sqr (- (cos (/ 1 c)) +nan.0))))))))) * [misc]backup-simplify: Simplify (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ 1 (pow (- (cos (/ 1 c)) +nan.0) 3))) (- (* +nan.0 (/ (sqr (cos (/ 1 c))) (sqr (- (cos (/ 1 c)) +nan.0))))))))) into (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ 1 (pow (- (cos (/ 1 c)) +nan.0) 3))) (- (* +nan.0 (/ (sqr (cos (/ 1 c))) (sqr (- (cos (/ 1 c)) +nan.0))))))))) * [misc]backup-simplify: Simplify (+ (* (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ 1 c)) +nan.0)))) (- (+ (* +nan.0 (/ 1 (pow (- (cos (/ 1 c)) +nan.0) 3))) (- (* +nan.0 (/ (sqr (cos (/ 1 c))) (sqr (- (cos (/ 1 c)) +nan.0))))))))) (/ 1 c)) (+ (- (/ (sqr (cos (/ 1 c))) (- (cos (/ 1 c)) +nan.0)) (* +nan.0 (/ 1 (sqr (- (cos (/ 1 c)) +nan.0))))) (* (/ -1 (- (cos (/ 1 c)) +nan.0)) (/ 1 (/ 1 c))))) into (- (/ (sqr (cos (/ 1 c))) (- (cos (/ 1 c)) +nan.0)) (+ (* +nan.0 (/ 1 (* c (sqr (- (cos (/ 1 c)) +nan.0))))) (- (/ c (- (cos (/ 1 c)) +nan.0)) (+ (* +nan.0 (/ 1 (* c (pow (- (cos (/ 1 c)) +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ 1 c)) +nan.0)))) (- (* +nan.0 (/ (sqr (cos (/ 1 c))) (* c (sqr (- (cos (/ 1 c)) +nan.0)))))))))))) * [misc]approximate: Taking taylor expansion of (/ (- (sqr (cos (/ 1 (- c)))) (* (sqr 1) (/ 1 (- c)))) (- (cos (/ 1 (- c))) (sqrt (/ 1 (- c))))) in (c) around 0 * [misc]taylor: Taking taylor expansion of (/ (- (sqr (cos (/ 1 (- c)))) (* (sqr 1) (/ 1 (- c)))) (- (cos (/ 1 (- c))) (sqrt (/ 1 (- c))))) in c * [misc]taylor: Taking taylor expansion of (- (sqr (cos (/ 1 (- c)))) (* (sqr 1) (/ 1 (- c)))) in c * [misc]taylor: Taking taylor expansion of (sqr (cos (/ 1 (- c)))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (cos (/ 1 (- c))) into (cos (/ -1 c)) * [misc]taylor: Taking taylor expansion of (* (sqr 1) (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (sqr 1) in c * [misc]taylor: Taking taylor expansion of 1 in c * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (- (cos (/ 1 (- c))) (sqrt (/ 1 (- c)))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (cos (/ 1 (- c))) into (cos (/ -1 c)) * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (* 1 -1) into -1 * [misc]backup-simplify: Simplify (- -1) into 1 * [misc]backup-simplify: Simplify (+ 0 1) into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (cos (/ -1 c)) (- +nan.0)) into (- (cos (/ -1 c)) +nan.0) * [misc]backup-simplify: Simplify (/ 1 (- (cos (/ -1 c)) +nan.0)) into (/ 1 (- (cos (/ -1 c)) +nan.0)) * [misc]taylor: Taking taylor expansion of (/ (- (sqr (cos (/ 1 (- c)))) (* (sqr 1) (/ 1 (- c)))) (- (cos (/ 1 (- c))) (sqrt (/ 1 (- c))))) in c * [misc]taylor: Taking taylor expansion of (- (sqr (cos (/ 1 (- c)))) (* (sqr 1) (/ 1 (- c)))) in c * [misc]taylor: Taking taylor expansion of (sqr (cos (/ 1 (- c)))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (cos (/ 1 (- c))) into (cos (/ -1 c)) * [misc]taylor: Taking taylor expansion of (* (sqr 1) (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (sqr 1) in c * [misc]taylor: Taking taylor expansion of 1 in c * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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 (- (cos (/ 1 (- c))) (sqrt (/ 1 (- c)))) in c * [misc]taylor: Taking taylor expansion of (cos (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (cos (/ 1 (- c))) into (cos (/ -1 c)) * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 (- c))) in c * [misc]taylor: Taking taylor expansion of (/ 1 (- c)) in c * [misc]taylor: Taking taylor expansion of (- c) in c * [misc]taylor: Taking taylor expansion of c in c * [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]backup-simplify: Simplify (sqrt 0) into 0 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (* 1 -1) into -1 * [misc]backup-simplify: Simplify (- -1) into 1 * [misc]backup-simplify: Simplify (+ 0 1) into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ (cos (/ -1 c)) (- +nan.0)) into (- (cos (/ -1 c)) +nan.0) * [misc]backup-simplify: Simplify (/ 1 (- (cos (/ -1 c)) +nan.0)) into (/ 1 (- (cos (/ -1 c)) +nan.0)) * [misc]backup-simplify: Simplify (/ 1 (- (cos (/ -1 c)) +nan.0)) into (/ 1 (- (cos (/ -1 c)) +nan.0)) * [misc]backup-simplify: Simplify (* (cos (/ -1 c)) (cos (/ -1 c))) into (sqr (cos (/ -1 c))) * [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 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 -1)) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ (sqr (cos (/ -1 c))) 0) into (sqr (cos (/ -1 c))) * [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 (sqr +nan.0) (+)) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ 0 (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (- (/ (sqr (cos (/ -1 c))) (- (cos (/ -1 c)) +nan.0)) (+ (* (/ 1 (- (cos (/ -1 c)) +nan.0)) (/ (- +nan.0) (- (cos (/ -1 c)) +nan.0))))) into (- (/ (sqr (cos (/ -1 c))) (- (cos (/ -1 c)) +nan.0)) (* +nan.0 (/ 1 (sqr (- (cos (/ -1 c)) +nan.0))))) * [misc]backup-simplify: Simplify (- (/ (sqr (cos (/ -1 c))) (- (cos (/ -1 c)) +nan.0)) (* +nan.0 (/ 1 (sqr (- (cos (/ -1 c)) +nan.0))))) into (- (/ (sqr (cos (/ -1 c))) (- (cos (/ -1 c)) +nan.0)) (* +nan.0 (/ 1 (sqr (- (cos (/ -1 c)) +nan.0))))) * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 c)) 0) (* 0 (cos (/ -1 c)))) 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 (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 -1))) into 0 * [misc]backup-simplify: Simplify (- 0) 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 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) * [misc]backup-simplify: Simplify (+ 0 (- +nan.0)) into (- +nan.0) * [misc]backup-simplify: Simplify (- (/ 0 (- (cos (/ -1 c)) +nan.0)) (+ (* (/ 1 (- (cos (/ -1 c)) +nan.0)) (/ (- +nan.0) (- (cos (/ -1 c)) +nan.0))) (* (- (/ (sqr (cos (/ -1 c))) (- (cos (/ -1 c)) +nan.0)) (* +nan.0 (/ 1 (sqr (- (cos (/ -1 c)) +nan.0))))) (/ (- +nan.0) (- (cos (/ -1 c)) +nan.0))))) into (- (+ (* +nan.0 (/ 1 (pow (- (cos (/ -1 c)) +nan.0) 3))) (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ -1 c)) +nan.0)))) (- (* +nan.0 (/ (sqr (cos (/ -1 c))) (sqr (- (cos (/ -1 c)) +nan.0))))))))) * [misc]backup-simplify: Simplify (- (+ (* +nan.0 (/ 1 (pow (- (cos (/ -1 c)) +nan.0) 3))) (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ -1 c)) +nan.0)))) (- (* +nan.0 (/ (sqr (cos (/ -1 c))) (sqr (- (cos (/ -1 c)) +nan.0))))))))) into (- (+ (* +nan.0 (/ 1 (pow (- (cos (/ -1 c)) +nan.0) 3))) (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ -1 c)) +nan.0)))) (- (* +nan.0 (/ (sqr (cos (/ -1 c))) (sqr (- (cos (/ -1 c)) +nan.0))))))))) * [misc]backup-simplify: Simplify (+ (* (- (+ (* +nan.0 (/ 1 (pow (- (cos (/ -1 c)) +nan.0) 3))) (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ -1 c)) +nan.0)))) (- (* +nan.0 (/ (sqr (cos (/ -1 c))) (sqr (- (cos (/ -1 c)) +nan.0))))))))) (/ 1 (- c))) (+ (- (/ (sqr (cos (/ -1 c))) (- (cos (/ -1 c)) +nan.0)) (* +nan.0 (/ 1 (sqr (- (cos (/ -1 c)) +nan.0))))) (* (/ 1 (- (cos (/ -1 c)) +nan.0)) (/ 1 (/ 1 (- c)))))) into (- (/ (sqr (cos (/ -1 c))) (- (cos (/ -1 c)) +nan.0)) (+ (* +nan.0 (/ (sqr (cos (/ -1 c))) (* c (sqr (- (cos (/ -1 c)) +nan.0))))) (- (/ c (- (cos (/ -1 c)) +nan.0)) (+ (* +nan.0 (/ 1 (* c (sqr (- (cos (/ -1 c)) +nan.0))))) (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ -1 c)) +nan.0)))) (- (* +nan.0 (/ 1 (* c (pow (- (cos (/ -1 c)) +nan.0) 3))))))))))) * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1 1) * * * * [misc]progress: [ 2 / 2 ] rewriting at (2) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (- (+ 1 (* 1/3 (pow c 4))) (sqr c)) (* (sqr 1) c)) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 6 (16 enodes) * * [misc]simplify: iters left: 5 (30 enodes) * * [misc]simplify: iters left: 4 (49 enodes) * * [misc]simplify: iters left: 3 (72 enodes) * * [misc]simplify: iters left: 2 (88 enodes) * * [misc]simplify: iters left: 1 (124 enodes) * [exit]simplify: Simplified to (/ (- (* 1/3 (pow c 4)) (+ (* c c) (- c 1))) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 2 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (cos (/ 1 c))) (* (sqr 1) c)) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (20 enodes) * * [misc]simplify: iters left: 4 (26 enodes) * * [misc]simplify: iters left: 3 (40 enodes) * * [misc]simplify: iters left: 2 (43 enodes) * * [misc]simplify: iters left: 1 (45 enodes) * [exit]simplify: Simplified to (/ (- (* (cos (/ 1 c)) (cos (/ 1 c))) c) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 3 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (cos (/ -1 c))) (* (sqr 1) c)) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (27 enodes) * * [misc]simplify: iters left: 3 (41 enodes) * * [misc]simplify: iters left: 2 (44 enodes) * * [misc]simplify: iters left: 1 (46 enodes) * [exit]simplify: Simplified to (/ (- (* (cos (/ -1 c)) (cos (/ -1 c))) c) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 4 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (- 1 (+ (* +nan.0 (sqr c)) (- (* +nan.0 c)))) * * * * [misc]progress: [ 5 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (- (/ (sqr (cos (/ 1 c))) (- (cos (/ 1 c)) +nan.0)) (+ (* +nan.0 (/ 1 (* c (sqr (- (cos (/ 1 c)) +nan.0))))) (- (/ c (- (cos (/ 1 c)) +nan.0)) (+ (* +nan.0 (/ 1 (* c (pow (- (cos (/ 1 c)) +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ 1 c)) +nan.0)))) (- (* +nan.0 (/ (sqr (cos (/ 1 c))) (* c (sqr (- (cos (/ 1 c)) +nan.0)))))))))))) * * * * [misc]progress: [ 6 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (- (/ (sqr (cos (/ -1 c))) (- (cos (/ -1 c)) +nan.0)) (+ (* +nan.0 (/ (sqr (cos (/ -1 c))) (* c (sqr (- (cos (/ -1 c)) +nan.0))))) (- (/ c (- (cos (/ -1 c)) +nan.0)) (+ (* +nan.0 (/ 1 (* c (sqr (- (cos (/ -1 c)) +nan.0))))) (- (+ (* +nan.0 (/ 1 (sqr (- (cos (/ -1 c)) +nan.0)))) (- (* +nan.0 (/ 1 (* c (pow (- (cos (/ -1 c)) +nan.0) 3))))))))))) * * * * [misc]progress: [ 7 / 50 ] simplifiying candidate # * * * * [misc]progress: [ 8 / 50 ] simplifiying candidate # * * * * [misc]progress: [ 9 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (log (sqr (cos c))) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (5 enodes) * * [misc]simplify: iters left: 1 (7 enodes) * [exit]simplify: Simplified to (+ (log (cos c)) (log (cos c))) * [exit]simplify: Simplified to (+ (log (cos c)) (log (cos c))) * * * * [misc]progress: [ 10 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (sqr (cos c))) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (5 enodes) * * [misc]simplify: iters left: 1 (7 enodes) * [exit]simplify: Simplified to (exp (* (cos c) (cos c))) * [exit]simplify: Simplified to (exp (* (cos c) (cos c))) * * * * [misc]progress: [ 11 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (sqr (cos c))) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (5 enodes) * [exit]simplify: Simplified to (cbrt (* (cos c) (cos c))) * [exit]simplify: Simplified to (cbrt (* (cos c) (cos c))) * * * * [misc]progress: [ 12 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (sqr (cos c))) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (7 enodes) * * [misc]simplify: iters left: 1 (13 enodes) * [exit]simplify: Simplified to (* (cube (cos c)) (cube (cos c))) * [exit]simplify: Simplified to (* (cube (cos c)) (cube (cos c))) * * * * [misc]progress: [ 13 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (sqr (cos c))) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (6 enodes) * [exit]simplify: Simplified to (fabs (cos c)) * [exit]simplify: Simplified to (fabs (cos c)) * * * * [misc]progress: [ 14 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (sqr 1) * * [misc]simplify: iters left: 1 (2 enodes) * [exit]simplify: Simplified to (sqr 1) * [exit]simplify: Simplified to (sqr 1) * [enter]simplify: Simplifying (sqr (cos c)) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (4 enodes) * [exit]simplify: Simplified to (* (cos c) (cos c)) * [exit]simplify: Simplified to (* (cos c) (cos c)) * * * * [misc]progress: [ 15 / 50 ] simplifiying candidate # * * * * [misc]progress: [ 16 / 50 ] simplifiying candidate # * * * * [misc]progress: [ 17 / 50 ] simplifiying candidate # * * * * [misc]progress: [ 18 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (- (log (- (sqr (cos c)) (* (sqr 1) c))) (log (- (cos c) (sqrt c)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * [exit]simplify: Simplified to (- (log (- (* (cos c) (cos c)) (* c 1))) (log (- (cos c) (sqrt c)))) * [exit]simplify: Simplified to (- (log (- (* (cos c) (cos c)) (* c 1))) (log (- (cos c) (sqrt c)))) * * * * [misc]progress: [ 19 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (log (/ (- (sqr (cos c)) (* (sqr 1) c)) (- (cos c) (sqrt c)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (28 enodes) * * [misc]simplify: iters left: 3 (42 enodes) * * [misc]simplify: iters left: 2 (45 enodes) * * [misc]simplify: iters left: 1 (47 enodes) * [exit]simplify: Simplified to (log (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * [exit]simplify: Simplified to (log (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * * * * [misc]progress: [ 20 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (/ (- (sqr (cos c)) (* (sqr 1) c)) (- (cos c) (sqrt c)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (19 enodes) * * [misc]simplify: iters left: 4 (28 enodes) * * [misc]simplify: iters left: 3 (42 enodes) * * [misc]simplify: iters left: 2 (50 enodes) * * [misc]simplify: iters left: 1 (52 enodes) * [exit]simplify: Simplified to (exp (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * [exit]simplify: Simplified to (exp (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * * * * [misc]progress: [ 21 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (cube (- (sqr (cos c)) (* (sqr 1) c))) (cube (- (cos c) (sqrt c)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (28 enodes) * * [misc]simplify: iters left: 3 (41 enodes) * * [misc]simplify: iters left: 2 (67 enodes) * * [misc]simplify: iters left: 1 (109 enodes) * [exit]simplify: Simplified to (cube (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * [exit]simplify: Simplified to (cube (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * * * * [misc]progress: [ 22 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (/ (- (sqr (cos c)) (* (sqr 1) c)) (- (cos c) (sqrt c)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (19 enodes) * * [misc]simplify: iters left: 4 (25 enodes) * * [misc]simplify: iters left: 3 (39 enodes) * * [misc]simplify: iters left: 2 (42 enodes) * * [misc]simplify: iters left: 1 (44 enodes) * [exit]simplify: Simplified to (cbrt (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * [exit]simplify: Simplified to (cbrt (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * * * * [misc]progress: [ 23 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (/ (- (sqr (cos c)) (* (sqr 1) c)) (- (cos c) (sqrt c)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (24 enodes) * * [misc]simplify: iters left: 4 (40 enodes) * * [misc]simplify: iters left: 3 (60 enodes) * * [misc]simplify: iters left: 2 (82 enodes) * * [misc]simplify: iters left: 1 (123 enodes) * [exit]simplify: Simplified to (cube (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * [exit]simplify: Simplified to (cube (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * * * * [misc]progress: [ 24 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (cbrt (- (sqr (cos c)) (* (sqr 1) c))) (cbrt (- (cos c) (sqrt c)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * [exit]simplify: Simplified to (/ (cbrt (- (* (cos c) (cos c)) (* c 1))) (cbrt (- (cos c) (sqrt c)))) * [exit]simplify: Simplified to (/ (cbrt (- (* (cos c) (cos c)) (* c 1))) (cbrt (- (cos c) (sqrt c)))) * * * * [misc]progress: [ 25 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (/ (- (sqr (cos c)) (* (sqr 1) c)) (- (cos c) (sqrt c)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (19 enodes) * * [misc]simplify: iters left: 4 (25 enodes) * * [misc]simplify: iters left: 3 (39 enodes) * * [misc]simplify: iters left: 2 (42 enodes) * * [misc]simplify: iters left: 1 (44 enodes) * [exit]simplify: Simplified to (sqrt (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * [exit]simplify: Simplified to (sqrt (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c)))) * * * * [misc]progress: [ 26 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqrt (- (sqr (cos c)) (* (sqr 1) c))) (sqrt (- (cos c) (sqrt c)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * [exit]simplify: Simplified to (/ (sqrt (- (* (cos c) (cos c)) (* c 1))) (sqrt (- (cos c) (sqrt c)))) * [exit]simplify: Simplified to (/ (sqrt (- (* (cos c) (cos c)) (* c 1))) (sqrt (- (cos c) (sqrt c)))) * * * * [misc]progress: [ 27 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (- (- (sqr (cos c)) (* (sqr 1) c))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * [exit]simplify: Simplified to (- (- (* (cos c) (cos c)) (* c 1))) * [exit]simplify: Simplified to (- (- (* (cos c) (cos c)) (* c 1))) * [enter]simplify: Simplifying (- (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 5 (5 enodes) * [exit]simplify: Simplified to (- (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (- (- (cos c) (sqrt c))) * * * * [misc]progress: [ 28 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqr (cos c)) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (7 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * * [misc]simplify: iters left: 2 (14 enodes) * * [misc]simplify: iters left: 1 (16 enodes) * [exit]simplify: Simplified to (/ (* (cos c) (cos c)) (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (/ (* (cos c) (cos c)) (- (cos c) (sqrt c))) * [enter]simplify: Simplifying (/ (* (sqr 1) c) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 5 (8 enodes) * * [misc]simplify: iters left: 4 (14 enodes) * * [misc]simplify: iters left: 3 (19 enodes) * * [misc]simplify: iters left: 2 (20 enodes) * [exit]simplify: Simplified to (/ c (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (/ c (- (cos c) (sqrt c))) * * * * [misc]progress: [ 29 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 1) * * [misc]simplify: iters left: 2 (2 enodes) * * [misc]simplify: iters left: 1 (4 enodes) * [exit]simplify: Simplified to 1 * [exit]simplify: Simplified to 1 * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (* (sqr 1) c)) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * * [misc]simplify: iters left: 4 (24 enodes) * * [misc]simplify: iters left: 3 (38 enodes) * * [misc]simplify: iters left: 2 (41 enodes) * * [misc]simplify: iters left: 1 (43 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 30 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 (+ (sqrt (cos c)) (sqrt (sqrt c)))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (11 enodes) * [exit]simplify: Simplified to (/ 1 (+ (sqrt (sqrt c)) (sqrt (cos c)))) * [exit]simplify: Simplified to (/ 1 (+ (sqrt (sqrt c)) (sqrt (cos c)))) * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (* (sqr 1) c)) (- (sqrt (cos c)) (sqrt (sqrt c)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (20 enodes) * * [misc]simplify: iters left: 4 (26 enodes) * * [misc]simplify: iters left: 3 (40 enodes) * * [misc]simplify: iters left: 2 (43 enodes) * * [misc]simplify: iters left: 1 (45 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (sqrt (cos c)) (sqrt (sqrt c)))) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (sqrt (cos c)) (sqrt (sqrt c)))) * * * * [misc]progress: [ 31 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 1) * * [misc]simplify: iters left: 2 (2 enodes) * * [misc]simplify: iters left: 1 (4 enodes) * [exit]simplify: Simplified to 1 * [exit]simplify: Simplified to 1 * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (* (sqr 1) c)) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * * [misc]simplify: iters left: 4 (24 enodes) * * [misc]simplify: iters left: 3 (38 enodes) * * [misc]simplify: iters left: 2 (41 enodes) * * [misc]simplify: iters left: 1 (43 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 32 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (+ (cos c) (sqrt (* (sqr 1) c))) 1) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * [exit]simplify: Simplified to (/ (+ (cos c) (sqrt (* c 1))) 1) * [exit]simplify: Simplified to (/ (+ (cos c) (sqrt (* c 1))) 1) * [enter]simplify: Simplifying (/ (- (cos c) (sqrt (* (sqr 1) c))) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt (* c 1))) (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt (* c 1))) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 33 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (+ (cos c) (sqrt (* (sqr 1) c))) (+ (sqrt (cos c)) (sqrt (sqrt c)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * [exit]simplify: Simplified to (/ (+ (cos c) (sqrt (* c 1))) (+ (sqrt (sqrt c)) (sqrt (cos c)))) * [exit]simplify: Simplified to (/ (+ (cos c) (sqrt (* c 1))) (+ (sqrt (sqrt c)) (sqrt (cos c)))) * [enter]simplify: Simplifying (/ (- (cos c) (sqrt (* (sqr 1) c))) (- (sqrt (cos c)) (sqrt (sqrt c)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (19 enodes) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt (* c 1))) (- (sqrt (cos c)) (sqrt (sqrt c)))) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt (* c 1))) (- (sqrt (cos c)) (sqrt (sqrt c)))) * * * * [misc]progress: [ 34 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (+ (cos c) (sqrt (* (sqr 1) c))) 1) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * [exit]simplify: Simplified to (/ (+ (cos c) (sqrt (* c 1))) 1) * [exit]simplify: Simplified to (/ (+ (cos c) (sqrt (* c 1))) 1) * [enter]simplify: Simplifying (/ (- (cos c) (sqrt (* (sqr 1) c))) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt (* c 1))) (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt (* c 1))) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 35 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqr 1) 1) * * [misc]simplify: iters left: 3 (3 enodes) * * [misc]simplify: iters left: 2 (6 enodes) * [exit]simplify: Simplified to (/ 1 1) * [exit]simplify: Simplified to (/ 1 1) * [enter]simplify: Simplifying (/ (- (sqr (cos c)) c) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (11 enodes) * * [misc]simplify: iters left: 4 (13 enodes) * * [misc]simplify: iters left: 3 (18 enodes) * * [misc]simplify: iters left: 2 (20 enodes) * * [misc]simplify: iters left: 1 (22 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 36 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqr 1) (+ (sqrt (cos c)) (sqrt (sqrt c)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * [exit]simplify: Simplified to (/ 1 (+ (sqrt (cos c)) (sqrt (sqrt c)))) * [exit]simplify: Simplified to (/ 1 (+ (sqrt (cos c)) (sqrt (sqrt c)))) * [enter]simplify: Simplifying (/ (- (sqr (cos c)) c) (- (sqrt (cos c)) (sqrt (sqrt c)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * * [misc]simplify: iters left: 4 (15 enodes) * * [misc]simplify: iters left: 3 (20 enodes) * * [misc]simplify: iters left: 2 (21 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (sqrt (cos c)) (sqrt (sqrt c)))) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (sqrt (cos c)) (sqrt (sqrt c)))) * * * * [misc]progress: [ 37 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqr 1) 1) * * [misc]simplify: iters left: 3 (3 enodes) * * [misc]simplify: iters left: 2 (6 enodes) * [exit]simplify: Simplified to (/ 1 1) * [exit]simplify: Simplified to (/ 1 1) * [enter]simplify: Simplifying (/ (- (sqr (cos c)) c) (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (11 enodes) * * [misc]simplify: iters left: 4 (13 enodes) * * [misc]simplify: iters left: 3 (18 enodes) * * [misc]simplify: iters left: 2 (20 enodes) * * [misc]simplify: iters left: 1 (22 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cos c) (sqrt c))) * * * * [misc]progress: [ 38 / 50 ] simplifiying candidate # * * * * [misc]progress: [ 39 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 (- (cos c) (sqrt c))) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (8 enodes) * [exit]simplify: Simplified to (/ 1 (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (/ 1 (- (cos c) (sqrt c))) * * * * [misc]progress: [ 40 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (cos c) (sqrt c)) (- (sqr (cos c)) (* (sqr 1) c))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt c)) (- (* (cos c) (cos c)) (* c 1))) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt c)) (- (* (cos c) (cos c)) (* c 1))) * * * * [misc]progress: [ 41 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (* (sqr 1) c)) 1) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (22 enodes) * * [misc]simplify: iters left: 3 (24 enodes) * * [misc]simplify: iters left: 2 (25 enodes) * [exit]simplify: Simplified to (- (* (/ (cos c) 1) (cos c)) c) * [exit]simplify: Simplified to (- (* (/ (cos c) 1) (cos c)) c) * * * * [misc]progress: [ 42 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (* (sqr 1) c)) (+ (sqrt (cos c)) (sqrt (sqrt c)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (27 enodes) * * [misc]simplify: iters left: 3 (32 enodes) * * [misc]simplify: iters left: 2 (35 enodes) * * [misc]simplify: iters left: 1 (37 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (+ (sqrt (sqrt c)) (sqrt (cos c)))) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (+ (sqrt (sqrt c)) (sqrt (cos c)))) * * * * [misc]progress: [ 43 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (* (sqr 1) c)) 1) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (22 enodes) * * [misc]simplify: iters left: 3 (24 enodes) * * [misc]simplify: iters left: 2 (25 enodes) * [exit]simplify: Simplified to (- (* (/ (cos c) 1) (cos c)) c) * [exit]simplify: Simplified to (- (* (/ (cos c) 1) (cos c)) c) * * * * [misc]progress: [ 44 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (cos c) (sqrt c)) (- (sqr (cos c)) (* (sqr 1) c))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt c)) (- (* (cos c) (cos c)) (* c 1))) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt c)) (- (* (cos c) (cos c)) (* c 1))) * * * * [misc]progress: [ 45 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (cos c) (sqrt c)) (- (cos c) (sqrt (* (sqr 1) c)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt c)) (- (cos c) (sqrt (* c 1)))) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt c)) (- (cos c) (sqrt (* c 1)))) * * * * [misc]progress: [ 46 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (cos c) (sqrt c)) (- (sqr (cos c)) c)) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (11 enodes) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt c)) (- (* (cos c) (cos c)) c)) * [exit]simplify: Simplified to (/ (- (cos c) (sqrt c)) (- (* (cos c) (cos c)) c)) * * * * [misc]progress: [ 47 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (* (sqr 1) c)) (- (pow (cos c) 3) (pow (sqrt c) 3))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (23 enodes) * * [misc]simplify: iters left: 4 (32 enodes) * * [misc]simplify: iters left: 3 (49 enodes) * * [misc]simplify: iters left: 2 (78 enodes) * * [misc]simplify: iters left: 1 (88 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cube (cos c)) (* (sqrt c) c))) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (cube (cos c)) (* (sqrt c) c))) * * * * [misc]progress: [ 48 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (cos c)) (* (sqr 1) c)) (- (sqr (cos c)) (sqr (sqrt c)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (20 enodes) * * [misc]simplify: iters left: 4 (26 enodes) * * [misc]simplify: iters left: 3 (41 enodes) * * [misc]simplify: iters left: 2 (49 enodes) * * [misc]simplify: iters left: 1 (58 enodes) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (* (cos c) (cos c)) c)) * [exit]simplify: Simplified to (/ (- (* (cos c) (cos c)) c) (- (* (cos c) (cos c)) c)) * * * * [misc]progress: [ 49 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (* (- (cos c) (sqrt c)) (+ (sqr (sqr (cos c))) (+ (sqr (* (sqr 1) c)) (* (sqr (cos c)) (* (sqr 1) c))))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (36 enodes) * * [misc]simplify: iters left: 4 (66 enodes) * * [misc]simplify: iters left: 3 (101 enodes) * * [misc]simplify: iters left: 2 (209 enodes) * * [misc]simplify: iters left: 1 (244 enodes) * [exit]simplify: Simplified to (+ (* (- (cos c) (sqrt c)) (sqr (sqr (cos c)))) (* (+ (sqr (cos c)) c) (* c (- (cos c) (sqrt c))))) * [exit]simplify: Simplified to (+ (* (- (cos c) (sqrt c)) (sqr (sqr (cos c)))) (* (+ (sqr (cos c)) c) (* c (- (cos c) (sqrt c))))) * * * * [misc]progress: [ 50 / 50 ] simplifiying candidate # * [enter]simplify: Simplifying (* (- (cos c) (sqrt c)) (+ (sqr (cos c)) (* (sqr 1) c))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (23 enodes) * * [misc]simplify: iters left: 4 (37 enodes) * * [misc]simplify: iters left: 3 (51 enodes) * * [misc]simplify: iters left: 2 (74 enodes) * * [misc]simplify: iters left: 1 (91 enodes) * [exit]simplify: Simplified to (* (+ c (* (cos c) (cos c))) (- (cos c) (sqrt c))) * [exit]simplify: Simplified to (* (+ c (* (cos c) (cos c))) (- (cos c) (sqrt c))) * * * [misc]progress: adding candidates to table * [misc]progress: [Phase 3 of 3] Extracting. * [enter]simplify: Simplifying (/ (cbrt (- (sqr (cos c)) (sqr (sqrt c)))) (cbrt (- (cos c) (sqrt c)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (12 enodes) * [exit]simplify: Simplified to (/ (cbrt (- (* (cos c) (cos c)) c)) (cbrt (- (cos c) (sqrt c)))) * [exit]simplify: Simplified to (/ (cbrt (- (* (cos c) (cos c)) c)) (cbrt (- (cos c) (sqrt c)))) * [enter]simplify: Simplifying (+ (cos c) (sqrt c)) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (5 enodes) * [exit]simplify: Simplified to (+ (sqrt c) (cos c))