1545126690.846 * [misc]progress: [Phase 1 of 3] Setting up. 1545126690.846 * * * [misc]progress: [1/2] Preparing points 1545126690.846 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545126690.874 * * * * [misc]points: Filtering points with unrepresentable outputs 1545126690.874 * * * * [misc]points: Sampling 123 additional inputs, on iter 1 have 133 / 256 1545126690.891 * * * * [misc]points: Filtering points with unrepresentable outputs 1545126690.891 * * * * [misc]points: Sampling 50 additional inputs, on iter 2 have 206 / 256 1545126690.899 * * * * [misc]points: Filtering points with unrepresentable outputs 1545126690.899 * * * * [misc]points: Sampling 20 additional inputs, on iter 3 have 236 / 256 1545126690.903 * * * * [misc]points: Filtering points with unrepresentable outputs 1545126690.903 * * * * [misc]points: Sampling 9 additional inputs, on iter 4 have 247 / 256 1545126690.905 * * * * [misc]points: Filtering points with unrepresentable outputs 1545126690.905 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 253 / 256 1545126690.907 * * * * [misc]points: Filtering points with unrepresentable outputs 1545126690.907 * * * * [exit]points: Sampled 256 points with exact outputs 1545126690.907 * * * [misc]progress: [2/2] Setting up program. 1545126690.911 * [misc]progress: [Phase 2 of 3] Improving. 1545126690.911 * [enter]simplify: Simplifying (/ a (- (acos a))) 1545126690.911 * * [misc]simplify: iters left: 5 (4 enodes) 1545126690.912 * [exit]simplify: Simplified to (/ a (- (acos a))) 1545126690.920 * * [misc]progress: iteration 1 / 4 1545126690.920 * * * [misc]progress: picking best candidate 1545126690.924 * * * * [misc]pick: Picked # 1545126690.924 * * * [misc]progress: localizing error 1545126690.933 * * * [misc]progress: generating rewritten candidates 1545126690.933 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1545126690.937 * * * [misc]progress: generating series expansions 1545126690.937 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1545126690.937 * [misc]backup-simplify: Simplify (/ a (- (acos a))) into (* -1 (/ a (acos a))) 1545126690.937 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1545126690.937 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1545126690.937 * [misc]taylor: Taking taylor expansion of -1 in a 1545126690.937 * [misc]backup-simplify: Simplify -1 into -1 1545126690.937 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1545126690.938 * [misc]taylor: Taking taylor expansion of a in a 1545126690.938 * [misc]backup-simplify: Simplify 0 into 0 1545126690.938 * [misc]backup-simplify: Simplify 1 into 1 1545126690.938 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545126690.938 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545126690.938 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1545126690.938 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1545126690.938 * [misc]taylor: Taking taylor expansion of -1 in a 1545126690.938 * [misc]backup-simplify: Simplify -1 into -1 1545126690.938 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1545126690.938 * [misc]taylor: Taking taylor expansion of a in a 1545126690.938 * [misc]backup-simplify: Simplify 0 into 0 1545126690.938 * [misc]backup-simplify: Simplify 1 into 1 1545126690.938 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545126690.938 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545126690.938 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1545126690.938 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1545126690.938 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1545126690.938 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1545126690.938 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1545126690.938 * [misc]backup-simplify: Simplify 0 into 0 1545126690.939 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545126690.939 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1545126690.939 * [misc]backup-simplify: Simplify 0 into 0 1545126690.939 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545126690.939 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1545126690.939 * [misc]backup-simplify: Simplify 0 into 0 1545126690.940 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545126690.940 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1545126690.940 * [misc]backup-simplify: Simplify 0 into 0 1545126690.940 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545126690.941 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1545126690.941 * [misc]backup-simplify: Simplify 0 into 0 1545126690.941 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545126690.942 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1545126690.942 * [misc]backup-simplify: Simplify 0 into 0 1545126690.942 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1545126690.942 * [misc]backup-simplify: Simplify (/ (/ 1 a) (- (acos (/ 1 a)))) into (/ -1 (* a (acos (/ 1 a)))) 1545126690.942 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1545126690.942 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1545126690.942 * [misc]taylor: Taking taylor expansion of -1 in a 1545126690.942 * [misc]backup-simplify: Simplify -1 into -1 1545126690.942 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545126690.942 * [misc]taylor: Taking taylor expansion of a in a 1545126690.942 * [misc]backup-simplify: Simplify 0 into 0 1545126690.942 * [misc]backup-simplify: Simplify 1 into 1 1545126690.942 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545126690.942 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545126690.942 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545126690.942 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545126690.942 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545126690.942 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1545126690.942 * [misc]taylor: Taking taylor expansion of -1 in a 1545126690.942 * [misc]backup-simplify: Simplify -1 into -1 1545126690.942 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545126690.942 * [misc]taylor: Taking taylor expansion of a in a 1545126690.942 * [misc]backup-simplify: Simplify 0 into 0 1545126690.942 * [misc]backup-simplify: Simplify 1 into 1 1545126690.942 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545126690.942 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545126690.942 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545126690.943 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545126690.943 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545126690.943 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545126690.943 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1545126690.943 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1545126690.943 * [misc]backup-simplify: Simplify 0 into 0 1545126690.944 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1545126690.944 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545126690.944 * [misc]backup-simplify: Simplify 0 into 0 1545126690.944 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1545126690.944 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545126690.944 * [misc]backup-simplify: Simplify 0 into 0 1545126690.945 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1545126690.945 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545126690.945 * [misc]backup-simplify: Simplify 0 into 0 1545126690.946 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1545126690.946 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545126690.946 * [misc]backup-simplify: Simplify 0 into 0 1545126690.947 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1545126690.947 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545126690.947 * [misc]backup-simplify: Simplify 0 into 0 1545126690.947 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1545126690.948 * [misc]backup-simplify: Simplify (/ (/ 1 (- a)) (- (acos (/ 1 (- a))))) into (/ 1 (* a (acos (/ -1 a)))) 1545126690.948 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1545126690.948 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1545126690.948 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545126690.948 * [misc]taylor: Taking taylor expansion of a in a 1545126690.948 * [misc]backup-simplify: Simplify 0 into 0 1545126690.948 * [misc]backup-simplify: Simplify 1 into 1 1545126690.948 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545126690.948 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545126690.948 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545126690.948 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545126690.948 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545126690.948 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1545126690.948 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545126690.948 * [misc]taylor: Taking taylor expansion of a in a 1545126690.948 * [misc]backup-simplify: Simplify 0 into 0 1545126690.948 * [misc]backup-simplify: Simplify 1 into 1 1545126690.948 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545126690.948 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545126690.948 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545126690.948 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545126690.948 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545126690.949 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545126690.949 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1545126690.949 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1545126690.949 * [misc]backup-simplify: Simplify 0 into 0 1545126690.949 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1545126690.949 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545126690.949 * [misc]backup-simplify: Simplify 0 into 0 1545126690.950 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1545126690.950 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545126690.950 * [misc]backup-simplify: Simplify 0 into 0 1545126690.951 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1545126690.951 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545126690.951 * [misc]backup-simplify: Simplify 0 into 0 1545126690.951 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1545126690.952 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545126690.952 * [misc]backup-simplify: Simplify 0 into 0 1545126690.952 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1545126690.953 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545126690.953 * [misc]backup-simplify: Simplify 0 into 0 1545126690.953 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1545126690.953 * * * [misc]progress: simplifying candidates 1545126690.953 * * * * [misc]progress: [ 1 / 23 ] simplifiying candidate # 1545126690.953 * * * * [misc]progress: [ 2 / 23 ] simplifiying candidate # 1545126690.953 * * * * [misc]progress: [ 3 / 23 ] simplifiying candidate # 1545126690.953 * * * * [misc]progress: [ 4 / 23 ] simplifiying candidate # 1545126690.953 * * * * [misc]progress: [ 5 / 23 ] simplifiying candidate # 1545126690.953 * * * * [misc]progress: [ 6 / 23 ] simplifiying candidate # 1545126690.953 * * * * [misc]progress: [ 7 / 23 ] simplifiying candidate # 1545126690.953 * * * * [misc]progress: [ 8 / 23 ] simplifiying candidate # 1545126690.953 * * * * [misc]progress: [ 9 / 23 ] simplifiying candidate # 1545126690.953 * * * * [misc]progress: [ 10 / 23 ] simplifiying candidate # 1545126690.953 * * * * [misc]progress: [ 11 / 23 ] simplifiying candidate # 1545126690.953 * [enter]simplify: Simplifying (cbrt (- (acos a))) 1545126690.953 * * [misc]simplify: iters left: 4 (4 enodes) 1545126690.954 * [exit]simplify: Simplified to (cbrt (- (acos a))) 1545126690.954 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (cbrt (- (acos a))))) 1545126690.954 * * * * [misc]progress: [ 12 / 23 ] simplifiying candidate # 1545126690.954 * [enter]simplify: Simplifying (sqrt (- (acos a))) 1545126690.954 * * [misc]simplify: iters left: 4 (4 enodes) 1545126690.955 * [exit]simplify: Simplified to (sqrt (- (acos a))) 1545126690.955 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (sqrt (- (acos a)))) (sqrt (- (acos a))))) 1545126690.955 * * * * [misc]progress: [ 13 / 23 ] simplifiying candidate # 1545126690.955 * [enter]simplify: Simplifying (- (acos a)) 1545126690.955 * * [misc]simplify: iters left: 3 (3 enodes) 1545126690.955 * [exit]simplify: Simplified to (- (acos a)) 1545126690.955 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a 1) (- (acos a)))) 1545126690.955 * * * * [misc]progress: [ 14 / 23 ] simplifiying candidate # 1545126690.955 * [enter]simplify: Simplifying (acos a) 1545126690.956 * * [misc]simplify: iters left: 1 (2 enodes) 1545126690.956 * [exit]simplify: Simplified to (acos a) 1545126690.956 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a -1) (acos a))) 1545126690.956 * * * * [misc]progress: [ 15 / 23 ] simplifiying candidate # 1545126690.956 * [enter]simplify: Simplifying (cbrt (acos a)) 1545126690.956 * * [misc]simplify: iters left: 2 (3 enodes) 1545126690.957 * [exit]simplify: Simplified to (cbrt (acos a)) 1545126690.957 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (- (* (cbrt (acos a)) (cbrt (acos a))))) (cbrt (acos a)))) 1545126690.957 * * * * [misc]progress: [ 16 / 23 ] simplifiying candidate # 1545126690.957 * [enter]simplify: Simplifying (sqrt (acos a)) 1545126690.958 * * [misc]simplify: iters left: 2 (3 enodes) 1545126690.958 * [exit]simplify: Simplified to (sqrt (acos a)) 1545126690.958 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (- (sqrt (acos a)))) (sqrt (acos a)))) 1545126690.958 * * * * [misc]progress: [ 17 / 23 ] simplifiying candidate # 1545126690.959 * [enter]simplify: Simplifying (acos a) 1545126690.959 * * [misc]simplify: iters left: 1 (2 enodes) 1545126690.959 * [exit]simplify: Simplified to (acos a) 1545126690.959 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (- 1)) (acos a))) 1545126690.959 * * * * [misc]progress: [ 18 / 23 ] simplifiying candidate # 1545126690.960 * [enter]simplify: Simplifying (- (cbrt (acos a))) 1545126690.960 * * [misc]simplify: iters left: 4 (4 enodes) 1545126690.961 * [exit]simplify: Simplified to (- (cbrt (acos a))) 1545126690.961 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (* (cbrt (acos a)) (cbrt (acos a)))) (- (cbrt (acos a))))) 1545126690.961 * * * * [misc]progress: [ 19 / 23 ] simplifiying candidate # 1545126690.961 * [enter]simplify: Simplifying (- (sqrt (acos a))) 1545126690.961 * * [misc]simplify: iters left: 4 (4 enodes) 1545126690.962 * [exit]simplify: Simplified to (- (sqrt (acos a))) 1545126690.962 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (sqrt (acos a))) (- (sqrt (acos a))))) 1545126690.962 * * * * [misc]progress: [ 20 / 23 ] simplifiying candidate # 1545126690.963 * [enter]simplify: Simplifying (- (acos a)) 1545126690.963 * * [misc]simplify: iters left: 3 (3 enodes) 1545126690.963 * [exit]simplify: Simplified to (- (acos a)) 1545126690.963 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a 1) (- (acos a)))) 1545126690.963 * * * * [misc]progress: [ 21 / 23 ] simplifiying candidate # 1545126690.963 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545126690.964 * * [misc]simplify: iters left: 5 (5 enodes) 1545126690.964 * * [misc]simplify: iters left: 4 (9 enodes) 1545126690.966 * * [misc]simplify: iters left: 3 (14 enodes) 1545126690.967 * * [misc]simplify: iters left: 2 (16 enodes) 1545126690.969 * * [misc]simplify: iters left: 1 (18 enodes) 1545126690.971 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545126690.971 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545126690.971 * * * * [misc]progress: [ 22 / 23 ] simplifiying candidate # 1545126690.971 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545126690.971 * * [misc]simplify: iters left: 5 (5 enodes) 1545126690.972 * * [misc]simplify: iters left: 4 (9 enodes) 1545126690.973 * * [misc]simplify: iters left: 3 (14 enodes) 1545126690.975 * * [misc]simplify: iters left: 2 (16 enodes) 1545126690.977 * * [misc]simplify: iters left: 1 (18 enodes) 1545126690.979 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545126690.979 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545126690.979 * * * * [misc]progress: [ 23 / 23 ] simplifiying candidate # 1545126690.979 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545126690.979 * * [misc]simplify: iters left: 5 (5 enodes) 1545126690.980 * * [misc]simplify: iters left: 4 (9 enodes) 1545126690.988 * * [misc]simplify: iters left: 3 (14 enodes) 1545126690.990 * * [misc]simplify: iters left: 2 (16 enodes) 1545126690.992 * * [misc]simplify: iters left: 1 (18 enodes) 1545126690.994 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545126690.994 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545126690.994 * * * [misc]progress: adding candidates to table 1545126691.120 * * [misc]progress: iteration 2 / 4 1545126691.120 * * * [misc]progress: picking best candidate 1545126691.137 * * * * [misc]pick: Picked # 1545126691.137 * * * [misc]progress: localizing error 1545126691.148 * * * [misc]progress: generating rewritten candidates 1545126691.148 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2) 1545126691.156 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2) 1545126691.164 * * * [misc]progress: generating series expansions 1545126691.164 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2) 1545126691.164 * [misc]backup-simplify: Simplify (/ (- (acos a)) a) into (* -1 (/ (acos a) a)) 1545126691.164 * [misc]approximate: Taking taylor expansion of (* -1 (/ (acos a) a)) in (a) around 0 1545126691.164 * [misc]taylor: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 1545126691.164 * [misc]taylor: Taking taylor expansion of -1 in a 1545126691.164 * [misc]backup-simplify: Simplify -1 into -1 1545126691.164 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1545126691.164 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545126691.164 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545126691.164 * [misc]taylor: Taking taylor expansion of a in a 1545126691.164 * [misc]backup-simplify: Simplify 0 into 0 1545126691.164 * [misc]backup-simplify: Simplify 1 into 1 1545126691.164 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1545126691.164 * [misc]taylor: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 1545126691.164 * [misc]taylor: Taking taylor expansion of -1 in a 1545126691.164 * [misc]backup-simplify: Simplify -1 into -1 1545126691.165 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1545126691.165 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545126691.165 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545126691.165 * [misc]taylor: Taking taylor expansion of a in a 1545126691.165 * [misc]backup-simplify: Simplify 0 into 0 1545126691.165 * [misc]backup-simplify: Simplify 1 into 1 1545126691.165 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1545126691.165 * [misc]backup-simplify: Simplify (* -1 (acos a)) into (* -1 (acos a)) 1545126691.165 * [misc]backup-simplify: Simplify (* -1 (acos a)) into (* -1 (acos a)) 1545126691.166 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)))) into 0 1545126691.166 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (acos a))) into 0 1545126691.166 * [misc]backup-simplify: Simplify 0 into 0 1545126691.167 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126691.167 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (acos a)))) into 0 1545126691.167 * [misc]backup-simplify: Simplify 0 into 0 1545126691.168 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126691.168 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a))))) into 0 1545126691.168 * [misc]backup-simplify: Simplify 0 into 0 1545126691.169 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126691.169 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a)))))) into 0 1545126691.169 * [misc]backup-simplify: Simplify 0 into 0 1545126691.170 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126691.171 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a))))))) into 0 1545126691.171 * [misc]backup-simplify: Simplify 0 into 0 1545126691.172 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126691.173 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a)))))))) into 0 1545126691.173 * [misc]backup-simplify: Simplify 0 into 0 1545126691.173 * [misc]backup-simplify: Simplify (* (* -1 (acos a)) (/ 1 a)) into (* -1 (/ (acos a) a)) 1545126691.173 * [misc]backup-simplify: Simplify (/ (- (acos (/ 1 a))) (/ 1 a)) into (* -1 (* a (acos (/ 1 a)))) 1545126691.173 * [misc]approximate: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in (a) around 0 1545126691.173 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in a 1545126691.173 * [misc]taylor: Taking taylor expansion of -1 in a 1545126691.173 * [misc]backup-simplify: Simplify -1 into -1 1545126691.173 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545126691.173 * [misc]taylor: Taking taylor expansion of a in a 1545126691.174 * [misc]backup-simplify: Simplify 0 into 0 1545126691.174 * [misc]backup-simplify: Simplify 1 into 1 1545126691.174 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545126691.174 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545126691.174 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in a 1545126691.174 * [misc]taylor: Taking taylor expansion of -1 in a 1545126691.174 * [misc]backup-simplify: Simplify -1 into -1 1545126691.174 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545126691.174 * [misc]taylor: Taking taylor expansion of a in a 1545126691.174 * [misc]backup-simplify: Simplify 0 into 0 1545126691.174 * [misc]backup-simplify: Simplify 1 into 1 1545126691.174 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545126691.174 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545126691.174 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545126691.174 * [misc]backup-simplify: Simplify (* -1 0) into 0 1545126691.174 * [misc]backup-simplify: Simplify 0 into 0 1545126691.175 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545126691.175 * [misc]backup-simplify: Simplify (+ (* -1 (acos (/ 1 a))) (* 0 0)) into (- (acos (/ 1 a))) 1545126691.175 * [misc]backup-simplify: Simplify (- (acos (/ 1 a))) into (- (acos (/ 1 a))) 1545126691.175 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1545126691.175 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))) into 0 1545126691.175 * [misc]backup-simplify: Simplify 0 into 0 1545126691.176 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1545126691.176 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))) into 0 1545126691.176 * [misc]backup-simplify: Simplify 0 into 0 1545126691.176 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1545126691.177 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))))) into 0 1545126691.177 * [misc]backup-simplify: Simplify 0 into 0 1545126691.177 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1545126691.178 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))))) into 0 1545126691.178 * [misc]backup-simplify: Simplify 0 into 0 1545126691.178 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1545126691.179 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))))))) into 0 1545126691.179 * [misc]backup-simplify: Simplify 0 into 0 1545126691.180 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1545126691.180 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))))))) into 0 1545126691.180 * [misc]backup-simplify: Simplify 0 into 0 1545126691.180 * [misc]backup-simplify: Simplify (* (- (acos (/ 1 (/ 1 a)))) (/ 1 a)) into (* -1 (/ (acos a) a)) 1545126691.180 * [misc]backup-simplify: Simplify (/ (- (acos (/ 1 (- a)))) (/ 1 (- a))) into (* a (acos (/ -1 a))) 1545126691.180 * [misc]approximate: Taking taylor expansion of (* a (acos (/ -1 a))) in (a) around 0 1545126691.180 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545126691.180 * [misc]taylor: Taking taylor expansion of a in a 1545126691.180 * [misc]backup-simplify: Simplify 0 into 0 1545126691.180 * [misc]backup-simplify: Simplify 1 into 1 1545126691.180 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545126691.181 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545126691.181 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545126691.181 * [misc]taylor: Taking taylor expansion of a in a 1545126691.181 * [misc]backup-simplify: Simplify 0 into 0 1545126691.181 * [misc]backup-simplify: Simplify 1 into 1 1545126691.181 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545126691.181 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545126691.181 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545126691.181 * [misc]backup-simplify: Simplify 0 into 0 1545126691.181 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545126691.181 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545126691.181 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1545126691.181 * [misc]backup-simplify: Simplify 0 into 0 1545126691.182 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1545126691.182 * [misc]backup-simplify: Simplify 0 into 0 1545126691.182 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1545126691.182 * [misc]backup-simplify: Simplify 0 into 0 1545126691.182 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1545126691.182 * [misc]backup-simplify: Simplify 0 into 0 1545126691.183 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1545126691.183 * [misc]backup-simplify: Simplify 0 into 0 1545126691.184 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1545126691.184 * [misc]backup-simplify: Simplify 0 into 0 1545126691.184 * [misc]backup-simplify: Simplify (* (acos (/ -1 (/ 1 (- a)))) (/ 1 (- a))) into (* -1 (/ (acos a) a)) 1545126691.184 * * * * [misc]progress: [ 2 / 2 ] generating series at (2) 1545126691.184 * [misc]backup-simplify: Simplify (/ 1 (/ (- (acos a)) a)) into (* -1 (/ a (acos a))) 1545126691.184 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1545126691.184 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1545126691.184 * [misc]taylor: Taking taylor expansion of -1 in a 1545126691.184 * [misc]backup-simplify: Simplify -1 into -1 1545126691.184 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1545126691.184 * [misc]taylor: Taking taylor expansion of a in a 1545126691.184 * [misc]backup-simplify: Simplify 0 into 0 1545126691.184 * [misc]backup-simplify: Simplify 1 into 1 1545126691.184 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545126691.184 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545126691.184 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1545126691.184 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1545126691.184 * [misc]taylor: Taking taylor expansion of -1 in a 1545126691.184 * [misc]backup-simplify: Simplify -1 into -1 1545126691.184 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1545126691.184 * [misc]taylor: Taking taylor expansion of a in a 1545126691.184 * [misc]backup-simplify: Simplify 0 into 0 1545126691.184 * [misc]backup-simplify: Simplify 1 into 1 1545126691.184 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545126691.184 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545126691.184 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1545126691.184 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1545126691.184 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1545126691.185 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1545126691.185 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1545126691.185 * [misc]backup-simplify: Simplify 0 into 0 1545126691.185 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545126691.185 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1545126691.185 * [misc]backup-simplify: Simplify 0 into 0 1545126691.185 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545126691.186 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1545126691.186 * [misc]backup-simplify: Simplify 0 into 0 1545126691.186 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545126691.186 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1545126691.186 * [misc]backup-simplify: Simplify 0 into 0 1545126691.186 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545126691.187 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1545126691.187 * [misc]backup-simplify: Simplify 0 into 0 1545126691.187 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545126691.188 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1545126691.188 * [misc]backup-simplify: Simplify 0 into 0 1545126691.188 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1545126691.188 * [misc]backup-simplify: Simplify (/ 1 (/ (- (acos (/ 1 a))) (/ 1 a))) into (/ -1 (* a (acos (/ 1 a)))) 1545126691.188 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1545126691.188 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1545126691.188 * [misc]taylor: Taking taylor expansion of -1 in a 1545126691.188 * [misc]backup-simplify: Simplify -1 into -1 1545126691.188 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545126691.188 * [misc]taylor: Taking taylor expansion of a in a 1545126691.188 * [misc]backup-simplify: Simplify 0 into 0 1545126691.188 * [misc]backup-simplify: Simplify 1 into 1 1545126691.188 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545126691.188 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545126691.188 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545126691.188 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545126691.188 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545126691.188 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1545126691.188 * [misc]taylor: Taking taylor expansion of -1 in a 1545126691.188 * [misc]backup-simplify: Simplify -1 into -1 1545126691.189 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545126691.189 * [misc]taylor: Taking taylor expansion of a in a 1545126691.189 * [misc]backup-simplify: Simplify 0 into 0 1545126691.189 * [misc]backup-simplify: Simplify 1 into 1 1545126691.189 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545126691.189 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545126691.189 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545126691.189 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545126691.189 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545126691.189 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545126691.189 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1545126691.189 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1545126691.189 * [misc]backup-simplify: Simplify 0 into 0 1545126691.190 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1545126691.190 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545126691.190 * [misc]backup-simplify: Simplify 0 into 0 1545126691.190 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1545126691.190 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545126691.190 * [misc]backup-simplify: Simplify 0 into 0 1545126691.191 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1545126691.191 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545126691.191 * [misc]backup-simplify: Simplify 0 into 0 1545126691.192 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1545126691.192 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545126691.192 * [misc]backup-simplify: Simplify 0 into 0 1545126691.193 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1545126691.193 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545126691.193 * [misc]backup-simplify: Simplify 0 into 0 1545126691.193 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1545126691.193 * [misc]backup-simplify: Simplify (/ 1 (/ (- (acos (/ 1 (- a)))) (/ 1 (- a)))) into (/ 1 (* a (acos (/ -1 a)))) 1545126691.193 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1545126691.193 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1545126691.193 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545126691.193 * [misc]taylor: Taking taylor expansion of a in a 1545126691.193 * [misc]backup-simplify: Simplify 0 into 0 1545126691.193 * [misc]backup-simplify: Simplify 1 into 1 1545126691.193 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545126691.193 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545126691.193 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545126691.194 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545126691.194 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545126691.194 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1545126691.194 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545126691.194 * [misc]taylor: Taking taylor expansion of a in a 1545126691.194 * [misc]backup-simplify: Simplify 0 into 0 1545126691.194 * [misc]backup-simplify: Simplify 1 into 1 1545126691.194 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545126691.194 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545126691.194 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545126691.194 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545126691.194 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545126691.194 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545126691.194 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1545126691.194 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1545126691.194 * [misc]backup-simplify: Simplify 0 into 0 1545126691.195 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1545126691.195 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545126691.195 * [misc]backup-simplify: Simplify 0 into 0 1545126691.195 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1545126691.196 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545126691.196 * [misc]backup-simplify: Simplify 0 into 0 1545126691.196 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1545126691.196 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545126691.196 * [misc]backup-simplify: Simplify 0 into 0 1545126691.197 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1545126691.197 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545126691.197 * [misc]backup-simplify: Simplify 0 into 0 1545126691.198 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1545126691.198 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545126691.198 * [misc]backup-simplify: Simplify 0 into 0 1545126691.198 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1545126691.198 * * * [misc]progress: simplifying candidates 1545126691.198 * * * * [misc]progress: [ 1 / 46 ] simplifiying candidate # 1545126691.198 * * * * [misc]progress: [ 2 / 46 ] simplifiying candidate # 1545126691.198 * * * * [misc]progress: [ 3 / 46 ] simplifiying candidate # 1545126691.198 * * * * [misc]progress: [ 4 / 46 ] simplifiying candidate # 1545126691.198 * * * * [misc]progress: [ 5 / 46 ] simplifiying candidate # 1545126691.198 * * * * [misc]progress: [ 6 / 46 ] simplifiying candidate # 1545126691.198 * * * * [misc]progress: [ 7 / 46 ] simplifiying candidate # 1545126691.198 * * * * [misc]progress: [ 8 / 46 ] simplifiying candidate # 1545126691.199 * [enter]simplify: Simplifying (/ 0 a) 1545126691.199 * * [misc]simplify: iters left: 2 (3 enodes) 1545126691.199 * [exit]simplify: Simplified to 0 1545126691.199 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (- 0 (/ (acos a) a)))) 1545126691.199 * * * * [misc]progress: [ 9 / 46 ] simplifiying candidate # 1545126691.199 * * * * [misc]progress: [ 10 / 46 ] simplifiying candidate # 1545126691.199 * * * * [misc]progress: [ 11 / 46 ] simplifiying candidate # 1545126691.199 * * * * [misc]progress: [ 12 / 46 ] simplifiying candidate # 1545126691.199 * [enter]simplify: Simplifying (/ (acos a) a) 1545126691.200 * * [misc]simplify: iters left: 3 (3 enodes) 1545126691.200 * [exit]simplify: Simplified to (/ (acos a) a) 1545126691.200 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (- (/ (acos a) a)))) 1545126691.200 * * * * [misc]progress: [ 13 / 46 ] simplifiying candidate # 1545126691.200 * [enter]simplify: Simplifying (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1545126691.200 * * [misc]simplify: iters left: 6 (5 enodes) 1545126691.201 * [exit]simplify: Simplified to (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1545126691.201 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (/ a (cbrt (- (acos a))))))) 1545126691.201 * * * * [misc]progress: [ 14 / 46 ] simplifiying candidate # 1545126691.201 * [enter]simplify: Simplifying (sqrt (- (acos a))) 1545126691.201 * * [misc]simplify: iters left: 4 (4 enodes) 1545126691.202 * [exit]simplify: Simplified to (sqrt (- (acos a))) 1545126691.202 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (sqrt (- (acos a))) (/ a (sqrt (- (acos a))))))) 1545126691.202 * * * * [misc]progress: [ 15 / 46 ] simplifiying candidate # 1545126691.202 * * * * [misc]progress: [ 16 / 46 ] simplifiying candidate # 1545126691.202 * * * * [misc]progress: [ 17 / 46 ] simplifiying candidate # 1545126691.202 * [enter]simplify: Simplifying (- (* (cbrt (acos a)) (cbrt (acos a)))) 1545126691.202 * * [misc]simplify: iters left: 6 (5 enodes) 1545126691.203 * * [misc]simplify: iters left: 5 (8 enodes) 1545126691.205 * [exit]simplify: Simplified to (* (cbrt (acos a)) (- (cbrt (acos a)))) 1545126691.205 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (* (cbrt (acos a)) (- (cbrt (acos a)))) (/ a (cbrt (acos a)))))) 1545126691.205 * * * * [misc]progress: [ 18 / 46 ] simplifiying candidate # 1545126691.205 * [enter]simplify: Simplifying (- (sqrt (acos a))) 1545126691.205 * * [misc]simplify: iters left: 4 (4 enodes) 1545126691.206 * [exit]simplify: Simplified to (- (sqrt (acos a))) 1545126691.206 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (- (sqrt (acos a))) (/ a (sqrt (acos a)))))) 1545126691.206 * * * * [misc]progress: [ 19 / 46 ] simplifiying candidate # 1545126691.207 * [enter]simplify: Simplifying (- 1) 1545126691.207 * * [misc]simplify: iters left: 2 (2 enodes) 1545126691.208 * * [misc]simplify: iters left: 1 (5 enodes) 1545126691.209 * [exit]simplify: Simplified to -1 1545126691.209 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ -1 (/ a (acos a))))) 1545126691.209 * * * * [misc]progress: [ 20 / 46 ] simplifiying candidate # 1545126691.209 * [enter]simplify: Simplifying (* (cbrt (acos a)) (cbrt (acos a))) 1545126691.210 * * [misc]simplify: iters left: 4 (4 enodes) 1545126691.211 * [exit]simplify: Simplified to (* (cbrt (acos a)) (cbrt (acos a))) 1545126691.211 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (/ a (- (cbrt (acos a))))))) 1545126691.211 * * * * [misc]progress: [ 21 / 46 ] simplifiying candidate # 1545126691.211 * [enter]simplify: Simplifying (sqrt (acos a)) 1545126691.211 * * [misc]simplify: iters left: 2 (3 enodes) 1545126691.212 * [exit]simplify: Simplified to (sqrt (acos a)) 1545126691.212 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (sqrt (acos a)) (/ a (- (sqrt (acos a))))))) 1545126691.212 * * * * [misc]progress: [ 22 / 46 ] simplifiying candidate # 1545126691.212 * * * * [misc]progress: [ 23 / 46 ] simplifiying candidate # 1545126691.212 * * * * [misc]progress: [ 24 / 46 ] simplifiying candidate # 1545126691.212 * [enter]simplify: Simplifying (- 1) 1545126691.212 * * [misc]simplify: iters left: 2 (2 enodes) 1545126691.214 * * [misc]simplify: iters left: 1 (5 enodes) 1545126691.215 * [exit]simplify: Simplified to -1 1545126691.215 * [misc]simplify: Simplified (2 2) to (λ (a) (pow (/ (- (acos a)) a) -1)) 1545126691.215 * * * * [misc]progress: [ 25 / 46 ] simplifiying candidate # 1545126691.215 * * * * [misc]progress: [ 26 / 46 ] simplifiying candidate # 1545126691.215 * * * * [misc]progress: [ 27 / 46 ] simplifiying candidate # 1545126691.215 * * * * [misc]progress: [ 28 / 46 ] simplifiying candidate # 1545126691.215 * * * * [misc]progress: [ 29 / 46 ] simplifiying candidate # 1545126691.215 * * * * [misc]progress: [ 30 / 46 ] simplifiying candidate # 1545126691.215 * * * * [misc]progress: [ 31 / 46 ] simplifiying candidate # 1545126691.215 * * * * [misc]progress: [ 32 / 46 ] simplifiying candidate # 1545126691.215 * * * * [misc]progress: [ 33 / 46 ] simplifiying candidate # 1545126691.215 * * * * [misc]progress: [ 34 / 46 ] simplifiying candidate # 1545126691.215 * * * * [misc]progress: [ 35 / 46 ] simplifiying candidate # 1545126691.215 * * * * [misc]progress: [ 36 / 46 ] simplifiying candidate # 1545126691.215 * [enter]simplify: Simplifying (cbrt (/ (- (acos a)) a)) 1545126691.215 * * [misc]simplify: iters left: 6 (5 enodes) 1545126691.217 * * [misc]simplify: iters left: 5 (7 enodes) 1545126691.219 * [exit]simplify: Simplified to (cbrt (- (/ (acos a) a))) 1545126691.219 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (* (cbrt (/ (- (acos a)) a)) (cbrt (/ (- (acos a)) a)))) (cbrt (- (/ (acos a) a))))) 1545126691.219 * * * * [misc]progress: [ 37 / 46 ] simplifiying candidate # 1545126691.219 * [enter]simplify: Simplifying (sqrt (/ (- (acos a)) a)) 1545126691.219 * * [misc]simplify: iters left: 6 (5 enodes) 1545126691.221 * * [misc]simplify: iters left: 5 (7 enodes) 1545126691.223 * [exit]simplify: Simplified to (sqrt (- (/ (acos a) a))) 1545126691.223 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (sqrt (/ (- (acos a)) a))) (sqrt (- (/ (acos a) a))))) 1545126691.223 * * * * [misc]progress: [ 38 / 46 ] simplifiying candidate # 1545126691.223 * [enter]simplify: Simplifying (/ (- (acos a)) a) 1545126691.223 * * [misc]simplify: iters left: 5 (4 enodes) 1545126691.224 * * [misc]simplify: iters left: 4 (6 enodes) 1545126691.226 * [exit]simplify: Simplified to (- (/ (acos a) a)) 1545126691.226 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 1) (- (/ (acos a) a)))) 1545126691.226 * * * * [misc]progress: [ 39 / 46 ] simplifiying candidate # 1545126691.226 * [enter]simplify: Simplifying (/ 1 a) 1545126691.226 * * [misc]simplify: iters left: 2 (3 enodes) 1545126691.227 * * [misc]simplify: iters left: 1 (5 enodes) 1545126691.229 * [exit]simplify: Simplified to (/ 1 a) 1545126691.229 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (- (acos a))) (/ 1 a))) 1545126691.229 * * * * [misc]progress: [ 40 / 46 ] simplifiying candidate # 1545126691.229 * * * * [misc]progress: [ 41 / 46 ] simplifiying candidate # 1545126691.229 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1545126691.229 * * [misc]simplify: iters left: 5 (5 enodes) 1545126691.231 * * [misc]simplify: iters left: 4 (9 enodes) 1545126691.232 * * [misc]simplify: iters left: 3 (14 enodes) 1545126691.234 * * [misc]simplify: iters left: 2 (16 enodes) 1545126691.236 * * [misc]simplify: iters left: 1 (18 enodes) 1545126691.238 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1545126691.238 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1545126691.238 * * * * [misc]progress: [ 42 / 46 ] simplifiying candidate # 1545126691.238 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1545126691.238 * * [misc]simplify: iters left: 5 (5 enodes) 1545126691.239 * * [misc]simplify: iters left: 4 (9 enodes) 1545126691.240 * * [misc]simplify: iters left: 3 (14 enodes) 1545126691.242 * * [misc]simplify: iters left: 2 (16 enodes) 1545126691.243 * * [misc]simplify: iters left: 1 (18 enodes) 1545126691.246 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1545126691.246 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1545126691.246 * * * * [misc]progress: [ 43 / 46 ] simplifiying candidate # 1545126691.246 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1545126691.246 * * [misc]simplify: iters left: 5 (5 enodes) 1545126691.247 * * [misc]simplify: iters left: 4 (9 enodes) 1545126691.250 * * [misc]simplify: iters left: 3 (14 enodes) 1545126691.251 * * [misc]simplify: iters left: 2 (16 enodes) 1545126691.253 * * [misc]simplify: iters left: 1 (18 enodes) 1545126691.255 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1545126691.255 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1545126691.255 * * * * [misc]progress: [ 44 / 46 ] simplifiying candidate # 1545126691.255 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545126691.255 * * [misc]simplify: iters left: 5 (5 enodes) 1545126691.256 * * [misc]simplify: iters left: 4 (9 enodes) 1545126691.258 * * [misc]simplify: iters left: 3 (14 enodes) 1545126691.259 * * [misc]simplify: iters left: 2 (16 enodes) 1545126691.261 * * [misc]simplify: iters left: 1 (18 enodes) 1545126691.263 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545126691.263 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545126691.263 * * * * [misc]progress: [ 45 / 46 ] simplifiying candidate # 1545126691.263 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545126691.263 * * [misc]simplify: iters left: 5 (5 enodes) 1545126691.264 * * [misc]simplify: iters left: 4 (9 enodes) 1545126691.265 * * [misc]simplify: iters left: 3 (14 enodes) 1545126691.267 * * [misc]simplify: iters left: 2 (16 enodes) 1545126691.269 * * [misc]simplify: iters left: 1 (18 enodes) 1545126691.271 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545126691.271 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545126691.271 * * * * [misc]progress: [ 46 / 46 ] simplifiying candidate # 1545126691.271 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545126691.271 * * [misc]simplify: iters left: 5 (5 enodes) 1545126691.272 * * [misc]simplify: iters left: 4 (9 enodes) 1545126691.274 * * [misc]simplify: iters left: 3 (14 enodes) 1545126691.275 * * [misc]simplify: iters left: 2 (16 enodes) 1545126691.277 * * [misc]simplify: iters left: 1 (18 enodes) 1545126691.279 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545126691.279 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545126691.279 * * * [misc]progress: adding candidates to table 1545126691.635 * * [misc]progress: iteration 3 / 4 1545126691.635 * * * [misc]progress: picking best candidate 1545126691.662 * * * * [misc]pick: Picked # 1545126691.662 * * * [misc]progress: localizing error 1545126691.679 * * * [misc]progress: generating rewritten candidates 1545126691.679 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2 2) 1545126691.685 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2) 1545126691.703 * * * [misc]progress: generating series expansions 1545126691.703 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2 2) 1545126691.703 * [misc]backup-simplify: Simplify (/ (acos a) a) into (/ (acos a) a) 1545126691.703 * [misc]approximate: Taking taylor expansion of (/ (acos a) a) in (a) around 0 1545126691.703 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1545126691.703 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545126691.703 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545126691.703 * [misc]taylor: Taking taylor expansion of a in a 1545126691.703 * [misc]backup-simplify: Simplify 0 into 0 1545126691.703 * [misc]backup-simplify: Simplify 1 into 1 1545126691.703 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1545126691.703 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1545126691.703 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545126691.703 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545126691.703 * [misc]taylor: Taking taylor expansion of a in a 1545126691.703 * [misc]backup-simplify: Simplify 0 into 0 1545126691.703 * [misc]backup-simplify: Simplify 1 into 1 1545126691.704 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1545126691.704 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545126691.704 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)))) into 0 1545126691.704 * [misc]backup-simplify: Simplify 0 into 0 1545126691.705 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126691.705 * [misc]backup-simplify: Simplify 0 into 0 1545126691.706 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126691.706 * [misc]backup-simplify: Simplify 0 into 0 1545126691.706 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126691.706 * [misc]backup-simplify: Simplify 0 into 0 1545126691.707 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126691.707 * [misc]backup-simplify: Simplify 0 into 0 1545126691.709 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126691.709 * [misc]backup-simplify: Simplify 0 into 0 1545126691.709 * [misc]backup-simplify: Simplify (* (acos a) (/ 1 a)) into (/ (acos a) a) 1545126691.709 * [misc]backup-simplify: Simplify (/ (acos (/ 1 a)) (/ 1 a)) into (* a (acos (/ 1 a))) 1545126691.709 * [misc]approximate: Taking taylor expansion of (* a (acos (/ 1 a))) in (a) around 0 1545126691.709 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545126691.709 * [misc]taylor: Taking taylor expansion of a in a 1545126691.709 * [misc]backup-simplify: Simplify 0 into 0 1545126691.709 * [misc]backup-simplify: Simplify 1 into 1 1545126691.709 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545126691.709 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545126691.709 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545126691.709 * [misc]taylor: Taking taylor expansion of a in a 1545126691.709 * [misc]backup-simplify: Simplify 0 into 0 1545126691.709 * [misc]backup-simplify: Simplify 1 into 1 1545126691.709 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545126691.709 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545126691.709 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545126691.709 * [misc]backup-simplify: Simplify 0 into 0 1545126691.710 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545126691.710 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545126691.710 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1545126691.710 * [misc]backup-simplify: Simplify 0 into 0 1545126691.711 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1545126691.711 * [misc]backup-simplify: Simplify 0 into 0 1545126691.711 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1545126691.711 * [misc]backup-simplify: Simplify 0 into 0 1545126691.712 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1545126691.712 * [misc]backup-simplify: Simplify 0 into 0 1545126691.713 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1545126691.713 * [misc]backup-simplify: Simplify 0 into 0 1545126691.714 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1545126691.714 * [misc]backup-simplify: Simplify 0 into 0 1545126691.714 * [misc]backup-simplify: Simplify (* (acos (/ 1 (/ 1 a))) (/ 1 a)) into (/ (acos a) a) 1545126691.714 * [misc]backup-simplify: Simplify (/ (acos (/ 1 (- a))) (/ 1 (- a))) into (* -1 (* a (acos (/ -1 a)))) 1545126691.714 * [misc]approximate: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in (a) around 0 1545126691.714 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in a 1545126691.714 * [misc]taylor: Taking taylor expansion of -1 in a 1545126691.714 * [misc]backup-simplify: Simplify -1 into -1 1545126691.714 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545126691.714 * [misc]taylor: Taking taylor expansion of a in a 1545126691.714 * [misc]backup-simplify: Simplify 0 into 0 1545126691.714 * [misc]backup-simplify: Simplify 1 into 1 1545126691.714 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545126691.714 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545126691.715 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in a 1545126691.715 * [misc]taylor: Taking taylor expansion of -1 in a 1545126691.715 * [misc]backup-simplify: Simplify -1 into -1 1545126691.715 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545126691.715 * [misc]taylor: Taking taylor expansion of a in a 1545126691.715 * [misc]backup-simplify: Simplify 0 into 0 1545126691.715 * [misc]backup-simplify: Simplify 1 into 1 1545126691.715 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545126691.715 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545126691.715 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545126691.715 * [misc]backup-simplify: Simplify (* -1 0) into 0 1545126691.715 * [misc]backup-simplify: Simplify 0 into 0 1545126691.715 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545126691.716 * [misc]backup-simplify: Simplify (+ (* -1 (acos (/ -1 a))) (* 0 0)) into (- (acos (/ -1 a))) 1545126691.716 * [misc]backup-simplify: Simplify (- (acos (/ -1 a))) into (- (acos (/ -1 a))) 1545126691.716 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1545126691.716 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (acos (/ -1 a))) (* 0 0))) into 0 1545126691.716 * [misc]backup-simplify: Simplify 0 into 0 1545126691.717 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1545126691.717 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0)))) into 0 1545126691.717 * [misc]backup-simplify: Simplify 0 into 0 1545126691.718 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1545126691.719 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0))))) into 0 1545126691.719 * [misc]backup-simplify: Simplify 0 into 0 1545126691.719 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1545126691.720 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0)))))) into 0 1545126691.720 * [misc]backup-simplify: Simplify 0 into 0 1545126691.721 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1545126691.722 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0))))))) into 0 1545126691.722 * [misc]backup-simplify: Simplify 0 into 0 1545126691.723 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1545126691.724 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0)))))))) into 0 1545126691.724 * [misc]backup-simplify: Simplify 0 into 0 1545126691.724 * [misc]backup-simplify: Simplify (* (- (acos (/ -1 (/ 1 (- a))))) (/ 1 (- a))) into (/ (acos a) a) 1545126691.724 * * * * [misc]progress: [ 2 / 2 ] generating series at (2) 1545126691.724 * [misc]backup-simplify: Simplify (/ 1 (* -1 (/ (acos a) a))) into (* -1 (/ a (acos a))) 1545126691.725 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1545126691.725 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1545126691.725 * [misc]taylor: Taking taylor expansion of -1 in a 1545126691.725 * [misc]backup-simplify: Simplify -1 into -1 1545126691.725 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1545126691.725 * [misc]taylor: Taking taylor expansion of a in a 1545126691.725 * [misc]backup-simplify: Simplify 0 into 0 1545126691.725 * [misc]backup-simplify: Simplify 1 into 1 1545126691.725 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545126691.725 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545126691.725 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1545126691.725 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1545126691.725 * [misc]taylor: Taking taylor expansion of -1 in a 1545126691.725 * [misc]backup-simplify: Simplify -1 into -1 1545126691.725 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1545126691.725 * [misc]taylor: Taking taylor expansion of a in a 1545126691.725 * [misc]backup-simplify: Simplify 0 into 0 1545126691.725 * [misc]backup-simplify: Simplify 1 into 1 1545126691.725 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545126691.725 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545126691.726 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1545126691.726 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1545126691.726 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1545126691.726 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1545126691.726 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1545126691.726 * [misc]backup-simplify: Simplify 0 into 0 1545126691.727 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545126691.727 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1545126691.727 * [misc]backup-simplify: Simplify 0 into 0 1545126691.727 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545126691.728 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1545126691.728 * [misc]backup-simplify: Simplify 0 into 0 1545126691.728 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545126691.729 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1545126691.729 * [misc]backup-simplify: Simplify 0 into 0 1545126691.729 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545126691.730 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1545126691.730 * [misc]backup-simplify: Simplify 0 into 0 1545126691.731 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545126691.731 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1545126691.732 * [misc]backup-simplify: Simplify 0 into 0 1545126691.732 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1545126691.732 * [misc]backup-simplify: Simplify (/ 1 (* -1 (/ (acos (/ 1 a)) (/ 1 a)))) into (/ -1 (* a (acos (/ 1 a)))) 1545126691.732 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1545126691.732 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1545126691.732 * [misc]taylor: Taking taylor expansion of -1 in a 1545126691.732 * [misc]backup-simplify: Simplify -1 into -1 1545126691.732 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545126691.732 * [misc]taylor: Taking taylor expansion of a in a 1545126691.732 * [misc]backup-simplify: Simplify 0 into 0 1545126691.732 * [misc]backup-simplify: Simplify 1 into 1 1545126691.732 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545126691.732 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545126691.732 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545126691.732 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545126691.733 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545126691.733 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1545126691.733 * [misc]taylor: Taking taylor expansion of -1 in a 1545126691.733 * [misc]backup-simplify: Simplify -1 into -1 1545126691.733 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545126691.733 * [misc]taylor: Taking taylor expansion of a in a 1545126691.733 * [misc]backup-simplify: Simplify 0 into 0 1545126691.733 * [misc]backup-simplify: Simplify 1 into 1 1545126691.733 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545126691.733 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545126691.733 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545126691.733 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545126691.733 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545126691.734 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545126691.734 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1545126691.734 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1545126691.734 * [misc]backup-simplify: Simplify 0 into 0 1545126691.735 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1545126691.735 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545126691.736 * [misc]backup-simplify: Simplify 0 into 0 1545126691.736 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1545126691.737 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545126691.737 * [misc]backup-simplify: Simplify 0 into 0 1545126691.737 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1545126691.738 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545126691.738 * [misc]backup-simplify: Simplify 0 into 0 1545126691.739 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1545126691.739 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545126691.739 * [misc]backup-simplify: Simplify 0 into 0 1545126691.740 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1545126691.741 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545126691.741 * [misc]backup-simplify: Simplify 0 into 0 1545126691.741 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1545126691.741 * [misc]backup-simplify: Simplify (/ 1 (* -1 (/ (acos (/ 1 (- a))) (/ 1 (- a))))) into (/ 1 (* a (acos (/ -1 a)))) 1545126691.741 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1545126691.741 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1545126691.741 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545126691.741 * [misc]taylor: Taking taylor expansion of a in a 1545126691.742 * [misc]backup-simplify: Simplify 0 into 0 1545126691.742 * [misc]backup-simplify: Simplify 1 into 1 1545126691.742 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545126691.742 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545126691.742 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545126691.742 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545126691.742 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545126691.742 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1545126691.742 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545126691.742 * [misc]taylor: Taking taylor expansion of a in a 1545126691.742 * [misc]backup-simplify: Simplify 0 into 0 1545126691.742 * [misc]backup-simplify: Simplify 1 into 1 1545126691.742 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545126691.742 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545126691.742 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545126691.743 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545126691.743 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545126691.743 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545126691.743 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1545126691.743 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1545126691.743 * [misc]backup-simplify: Simplify 0 into 0 1545126691.744 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1545126691.744 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545126691.744 * [misc]backup-simplify: Simplify 0 into 0 1545126691.745 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1545126691.745 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545126691.745 * [misc]backup-simplify: Simplify 0 into 0 1545126691.746 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1545126691.747 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545126691.747 * [misc]backup-simplify: Simplify 0 into 0 1545126691.747 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1545126691.748 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545126691.748 * [misc]backup-simplify: Simplify 0 into 0 1545126691.749 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1545126691.750 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545126691.750 * [misc]backup-simplify: Simplify 0 into 0 1545126691.750 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1545126691.750 * * * [misc]progress: simplifying candidates 1545126691.750 * * * * [misc]progress: [ 1 / 35 ] simplifiying candidate # 1545126691.750 * * * * [misc]progress: [ 2 / 35 ] simplifiying candidate # 1545126691.750 * * * * [misc]progress: [ 3 / 35 ] simplifiying candidate # 1545126691.750 * * * * [misc]progress: [ 4 / 35 ] simplifiying candidate # 1545126691.750 * * * * [misc]progress: [ 5 / 35 ] simplifiying candidate # 1545126691.750 * * * * [misc]progress: [ 6 / 35 ] simplifiying candidate # 1545126691.750 * * * * [misc]progress: [ 7 / 35 ] simplifiying candidate # 1545126691.750 * * * * [misc]progress: [ 8 / 35 ] simplifiying candidate # 1545126691.751 * [enter]simplify: Simplifying (/ (/ PI 2) a) 1545126691.751 * * [misc]simplify: iters left: 4 (5 enodes) 1545126691.752 * * [misc]simplify: iters left: 3 (7 enodes) 1545126691.754 * * [misc]simplify: iters left: 2 (10 enodes) 1545126691.757 * [exit]simplify: Simplified to (/ (/ PI 2) a) 1545126691.757 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (- (/ (/ PI 2) a) (/ (asin a) a))))) 1545126691.757 * * * * [misc]progress: [ 9 / 35 ] simplifiying candidate # 1545126691.757 * * * * [misc]progress: [ 10 / 35 ] simplifiying candidate # 1545126691.757 * * * * [misc]progress: [ 11 / 35 ] simplifiying candidate # 1545126691.757 * * * * [misc]progress: [ 12 / 35 ] simplifiying candidate # 1545126691.758 * [enter]simplify: Simplifying (* (cbrt (acos a)) (cbrt (acos a))) 1545126691.758 * * [misc]simplify: iters left: 4 (4 enodes) 1545126691.759 * [exit]simplify: Simplified to (* (cbrt (acos a)) (cbrt (acos a))) 1545126691.759 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (/ a (cbrt (acos a))))))) 1545126691.759 * * * * [misc]progress: [ 13 / 35 ] simplifiying candidate # 1545126691.759 * [enter]simplify: Simplifying (sqrt (acos a)) 1545126691.759 * * [misc]simplify: iters left: 2 (3 enodes) 1545126691.760 * [exit]simplify: Simplified to (sqrt (acos a)) 1545126691.760 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (/ (sqrt (acos a)) (/ a (sqrt (acos a))))))) 1545126691.760 * * * * [misc]progress: [ 14 / 35 ] simplifiying candidate # 1545126691.760 * * * * [misc]progress: [ 15 / 35 ] simplifiying candidate # 1545126691.760 * * * * [misc]progress: [ 16 / 35 ] simplifiying candidate # 1545126691.761 * [enter]simplify: Simplifying (- 1) 1545126691.761 * * [misc]simplify: iters left: 2 (2 enodes) 1545126691.762 * * [misc]simplify: iters left: 1 (5 enodes) 1545126691.763 * [exit]simplify: Simplified to -1 1545126691.763 * [misc]simplify: Simplified (2 2) to (λ (a) (pow (* -1 (/ (acos a) a)) -1)) 1545126691.763 * * * * [misc]progress: [ 17 / 35 ] simplifiying candidate # 1545126691.763 * * * * [misc]progress: [ 18 / 35 ] simplifiying candidate # 1545126691.763 * * * * [misc]progress: [ 19 / 35 ] simplifiying candidate # 1545126691.763 * * * * [misc]progress: [ 20 / 35 ] simplifiying candidate # 1545126691.763 * * * * [misc]progress: [ 21 / 35 ] simplifiying candidate # 1545126691.763 * * * * [misc]progress: [ 22 / 35 ] simplifiying candidate # 1545126691.763 * * * * [misc]progress: [ 23 / 35 ] simplifiying candidate # 1545126691.764 * * * * [misc]progress: [ 24 / 35 ] simplifiying candidate # 1545126691.764 * * * * [misc]progress: [ 25 / 35 ] simplifiying candidate # 1545126691.764 * * * * [misc]progress: [ 26 / 35 ] simplifiying candidate # 1545126691.764 * * * * [misc]progress: [ 27 / 35 ] simplifiying candidate # 1545126691.764 * * * * [misc]progress: [ 28 / 35 ] simplifiying candidate # 1545126691.764 * [enter]simplify: Simplifying (/ (acos a) a) 1545126691.764 * * [misc]simplify: iters left: 3 (3 enodes) 1545126691.765 * [exit]simplify: Simplified to (/ (acos a) a) 1545126691.765 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 -1) (/ (acos a) a))) 1545126691.765 * * * * [misc]progress: [ 29 / 35 ] simplifiying candidate # 1545126691.765 * * * * [misc]progress: [ 30 / 35 ] simplifiying candidate # 1545126691.765 * [enter]simplify: Simplifying (/ (acos a) a) 1545126691.765 * * [misc]simplify: iters left: 3 (3 enodes) 1545126691.766 * [exit]simplify: Simplified to (/ (acos a) a) 1545126691.766 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* -1 (/ (acos a) a)))) 1545126691.766 * * * * [misc]progress: [ 31 / 35 ] simplifiying candidate # 1545126691.767 * [enter]simplify: Simplifying (/ (acos a) a) 1545126691.767 * * [misc]simplify: iters left: 3 (3 enodes) 1545126691.768 * [exit]simplify: Simplified to (/ (acos a) a) 1545126691.768 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* -1 (/ (acos a) a)))) 1545126691.768 * * * * [misc]progress: [ 32 / 35 ] simplifiying candidate # 1545126691.768 * [enter]simplify: Simplifying (/ (acos a) a) 1545126691.768 * * [misc]simplify: iters left: 3 (3 enodes) 1545126691.769 * [exit]simplify: Simplified to (/ (acos a) a) 1545126691.769 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* -1 (/ (acos a) a)))) 1545126691.769 * * * * [misc]progress: [ 33 / 35 ] simplifiying candidate # 1545126691.769 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545126691.769 * * [misc]simplify: iters left: 5 (5 enodes) 1545126691.771 * * [misc]simplify: iters left: 4 (9 enodes) 1545126691.774 * * [misc]simplify: iters left: 3 (14 enodes) 1545126691.777 * * [misc]simplify: iters left: 2 (16 enodes) 1545126691.781 * * [misc]simplify: iters left: 1 (18 enodes) 1545126691.785 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545126691.786 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545126691.786 * * * * [misc]progress: [ 34 / 35 ] simplifiying candidate # 1545126691.786 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545126691.786 * * [misc]simplify: iters left: 5 (5 enodes) 1545126691.788 * * [misc]simplify: iters left: 4 (9 enodes) 1545126691.790 * * [misc]simplify: iters left: 3 (14 enodes) 1545126691.793 * * [misc]simplify: iters left: 2 (16 enodes) 1545126691.797 * * [misc]simplify: iters left: 1 (18 enodes) 1545126691.801 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545126691.801 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545126691.801 * * * * [misc]progress: [ 35 / 35 ] simplifiying candidate # 1545126691.802 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545126691.802 * * [misc]simplify: iters left: 5 (5 enodes) 1545126691.803 * * [misc]simplify: iters left: 4 (9 enodes) 1545126691.806 * * [misc]simplify: iters left: 3 (14 enodes) 1545126691.809 * * [misc]simplify: iters left: 2 (16 enodes) 1545126691.813 * * [misc]simplify: iters left: 1 (18 enodes) 1545126691.817 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545126691.817 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545126691.817 * * * [misc]progress: adding candidates to table 1545126692.141 * * [misc]progress: iteration 4 / 4 1545126692.142 * * * [misc]progress: picking best candidate 1545126692.161 * * * * [misc]pick: Picked # 1545126692.161 * * * [misc]progress: localizing error 1545126692.198 * * * [misc]progress: generating rewritten candidates 1545126692.198 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 1) 1545126692.204 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2) 1545126692.277 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 2 2) 1545126692.283 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 2) 1545126692.299 * * * [misc]progress: generating series expansions 1545126692.299 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 1) 1545126692.300 * [misc]backup-simplify: Simplify (/ (/ PI 2) a) into (* 1/2 (/ PI a)) 1545126692.300 * [misc]approximate: Taking taylor expansion of (* 1/2 (/ PI a)) in (a) around 0 1545126692.300 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ PI a)) in a 1545126692.300 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545126692.300 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545126692.300 * [misc]taylor: Taking taylor expansion of (/ PI a) in a 1545126692.300 * [misc]taylor: Taking taylor expansion of PI in a 1545126692.300 * [misc]backup-simplify: Simplify PI into PI 1545126692.300 * [misc]taylor: Taking taylor expansion of a in a 1545126692.300 * [misc]backup-simplify: Simplify 0 into 0 1545126692.300 * [misc]backup-simplify: Simplify 1 into 1 1545126692.301 * [misc]backup-simplify: Simplify (/ PI 1) into PI 1545126692.301 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ PI a)) in a 1545126692.301 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545126692.301 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545126692.301 * [misc]taylor: Taking taylor expansion of (/ PI a) in a 1545126692.301 * [misc]taylor: Taking taylor expansion of PI in a 1545126692.301 * [misc]backup-simplify: Simplify PI into PI 1545126692.301 * [misc]taylor: Taking taylor expansion of a in a 1545126692.301 * [misc]backup-simplify: Simplify 0 into 0 1545126692.301 * [misc]backup-simplify: Simplify 1 into 1 1545126692.301 * [misc]backup-simplify: Simplify (/ PI 1) into PI 1545126692.302 * [misc]backup-simplify: Simplify (* 1/2 PI) into (* 1/2 PI) 1545126692.302 * [misc]backup-simplify: Simplify (* 1/2 PI) into (* 1/2 PI) 1545126692.303 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)))) into 0 1545126692.304 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 PI)) into 0 1545126692.304 * [misc]backup-simplify: Simplify 0 into 0 1545126692.305 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.306 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0 1545126692.307 * [misc]backup-simplify: Simplify 0 into 0 1545126692.308 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.310 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 1545126692.310 * [misc]backup-simplify: Simplify 0 into 0 1545126692.312 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.314 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 1545126692.314 * [misc]backup-simplify: Simplify 0 into 0 1545126692.317 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.319 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 1545126692.320 * [misc]backup-simplify: Simplify 0 into 0 1545126692.322 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.326 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 1545126692.326 * [misc]backup-simplify: Simplify 0 into 0 1545126692.326 * [misc]backup-simplify: Simplify (* (* 1/2 PI) (/ 1 a)) into (* 1/2 (/ PI a)) 1545126692.327 * [misc]backup-simplify: Simplify (/ (/ PI 2) (/ 1 a)) into (* 1/2 (* a PI)) 1545126692.327 * [misc]approximate: Taking taylor expansion of (* 1/2 (* a PI)) in (a) around 0 1545126692.327 * [misc]taylor: Taking taylor expansion of (* 1/2 (* a PI)) in a 1545126692.327 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545126692.327 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545126692.327 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545126692.327 * [misc]taylor: Taking taylor expansion of a in a 1545126692.327 * [misc]backup-simplify: Simplify 0 into 0 1545126692.327 * [misc]backup-simplify: Simplify 1 into 1 1545126692.327 * [misc]taylor: Taking taylor expansion of PI in a 1545126692.327 * [misc]backup-simplify: Simplify PI into PI 1545126692.327 * [misc]taylor: Taking taylor expansion of (* 1/2 (* a PI)) in a 1545126692.327 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545126692.327 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545126692.327 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545126692.327 * [misc]taylor: Taking taylor expansion of a in a 1545126692.327 * [misc]backup-simplify: Simplify 0 into 0 1545126692.327 * [misc]backup-simplify: Simplify 1 into 1 1545126692.327 * [misc]taylor: Taking taylor expansion of PI in a 1545126692.327 * [misc]backup-simplify: Simplify PI into PI 1545126692.328 * [misc]backup-simplify: Simplify (* 0 PI) into 0 1545126692.328 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 1545126692.328 * [misc]backup-simplify: Simplify 0 into 0 1545126692.328 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 PI)) into PI 1545126692.329 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (* 0 0)) into (* 1/2 PI) 1545126692.329 * [misc]backup-simplify: Simplify (* 1/2 PI) into (* 1/2 PI) 1545126692.330 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 PI))) into 0 1545126692.331 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 PI) (* 0 0))) into 0 1545126692.331 * [misc]backup-simplify: Simplify 0 into 0 1545126692.333 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI)))) into 0 1545126692.335 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))) into 0 1545126692.335 * [misc]backup-simplify: Simplify 0 into 0 1545126692.337 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 1545126692.339 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))) into 0 1545126692.339 * [misc]backup-simplify: Simplify 0 into 0 1545126692.341 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 1545126692.344 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))) into 0 1545126692.344 * [misc]backup-simplify: Simplify 0 into 0 1545126692.347 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 1545126692.350 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))))) into 0 1545126692.350 * [misc]backup-simplify: Simplify 0 into 0 1545126692.354 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))))) into 0 1545126692.357 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))))) into 0 1545126692.358 * [misc]backup-simplify: Simplify 0 into 0 1545126692.358 * [misc]backup-simplify: Simplify (* (* 1/2 PI) (/ 1 a)) into (* 1/2 (/ PI a)) 1545126692.360 * [misc]backup-simplify: Simplify (/ (/ PI 2) (/ 1 (- a))) into (* -1/2 (* a PI)) 1545126692.360 * [misc]approximate: Taking taylor expansion of (* -1/2 (* a PI)) in (a) around 0 1545126692.360 * [misc]taylor: Taking taylor expansion of (* -1/2 (* a PI)) in a 1545126692.360 * [misc]taylor: Taking taylor expansion of -1/2 in a 1545126692.360 * [misc]backup-simplify: Simplify -1/2 into -1/2 1545126692.360 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545126692.360 * [misc]taylor: Taking taylor expansion of a in a 1545126692.360 * [misc]backup-simplify: Simplify 0 into 0 1545126692.360 * [misc]backup-simplify: Simplify 1 into 1 1545126692.360 * [misc]taylor: Taking taylor expansion of PI in a 1545126692.360 * [misc]backup-simplify: Simplify PI into PI 1545126692.360 * [misc]taylor: Taking taylor expansion of (* -1/2 (* a PI)) in a 1545126692.360 * [misc]taylor: Taking taylor expansion of -1/2 in a 1545126692.360 * [misc]backup-simplify: Simplify -1/2 into -1/2 1545126692.360 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545126692.360 * [misc]taylor: Taking taylor expansion of a in a 1545126692.360 * [misc]backup-simplify: Simplify 0 into 0 1545126692.360 * [misc]backup-simplify: Simplify 1 into 1 1545126692.360 * [misc]taylor: Taking taylor expansion of PI in a 1545126692.360 * [misc]backup-simplify: Simplify PI into PI 1545126692.361 * [misc]backup-simplify: Simplify (* 0 PI) into 0 1545126692.361 * [misc]backup-simplify: Simplify (* -1/2 0) into 0 1545126692.361 * [misc]backup-simplify: Simplify 0 into 0 1545126692.361 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 PI)) into PI 1545126692.362 * [misc]backup-simplify: Simplify (+ (* -1/2 PI) (* 0 0)) into (- (* 1/2 PI)) 1545126692.363 * [misc]backup-simplify: Simplify (- (* 1/2 PI)) into (- (* 1/2 PI)) 1545126692.364 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 PI))) into 0 1545126692.365 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (+ (* 0 PI) (* 0 0))) into 0 1545126692.365 * [misc]backup-simplify: Simplify 0 into 0 1545126692.366 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI)))) into 0 1545126692.368 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))) into 0 1545126692.368 * [misc]backup-simplify: Simplify 0 into 0 1545126692.370 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 1545126692.371 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))) into 0 1545126692.371 * [misc]backup-simplify: Simplify 0 into 0 1545126692.374 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 1545126692.376 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))) into 0 1545126692.376 * [misc]backup-simplify: Simplify 0 into 0 1545126692.378 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 1545126692.380 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))))) into 0 1545126692.380 * [misc]backup-simplify: Simplify 0 into 0 1545126692.382 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))))) into 0 1545126692.385 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))))) into 0 1545126692.385 * [misc]backup-simplify: Simplify 0 into 0 1545126692.385 * [misc]backup-simplify: Simplify (* (- (* 1/2 PI)) (/ 1 (- a))) into (* 1/2 (/ PI a)) 1545126692.385 * * * * [misc]progress: [ 2 / 4 ] generating series at (2) 1545126692.386 * [misc]backup-simplify: Simplify (/ 1 (* -1 (- (/ (/ PI 2) a) (/ (asin a) a)))) into (/ -1 (- (* 1/2 (/ PI a)) (/ (asin a) a))) 1545126692.386 * [misc]approximate: Taking taylor expansion of (/ -1 (- (* 1/2 (/ PI a)) (/ (asin a) a))) in (a) around 0 1545126692.386 * [misc]taylor: Taking taylor expansion of (/ -1 (- (* 1/2 (/ PI a)) (/ (asin a) a))) in a 1545126692.386 * [misc]taylor: Taking taylor expansion of -1 in a 1545126692.386 * [misc]backup-simplify: Simplify -1 into -1 1545126692.386 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (/ PI a)) (/ (asin a) a)) in a 1545126692.386 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ PI a)) in a 1545126692.386 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545126692.386 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545126692.386 * [misc]taylor: Taking taylor expansion of (/ PI a) in a 1545126692.386 * [misc]taylor: Taking taylor expansion of PI in a 1545126692.386 * [misc]backup-simplify: Simplify PI into PI 1545126692.386 * [misc]taylor: Taking taylor expansion of a in a 1545126692.386 * [misc]backup-simplify: Simplify 0 into 0 1545126692.386 * [misc]backup-simplify: Simplify 1 into 1 1545126692.386 * [misc]backup-simplify: Simplify (/ PI 1) into PI 1545126692.386 * [misc]taylor: Taking taylor expansion of (/ (asin a) a) in a 1545126692.386 * [misc]taylor: Taking taylor expansion of (asin a) in a 1545126692.386 * [misc]backup-simplify: Simplify (asin a) into (asin a) 1545126692.386 * [misc]taylor: Taking taylor expansion of a in a 1545126692.386 * [misc]backup-simplify: Simplify 0 into 0 1545126692.386 * [misc]backup-simplify: Simplify 1 into 1 1545126692.386 * [misc]backup-simplify: Simplify (/ (asin a) 1) into (asin a) 1545126692.386 * [misc]backup-simplify: Simplify (* 1/2 PI) into (* 1/2 PI) 1545126692.386 * [misc]backup-simplify: Simplify (- (asin a)) into (- (asin a)) 1545126692.387 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (- (asin a))) into (- (* 1/2 PI) (asin a)) 1545126692.387 * [misc]backup-simplify: Simplify (/ -1 (- (* 1/2 PI) (asin a))) into (/ -1 (- (* 1/2 PI) (asin a))) 1545126692.387 * [misc]taylor: Taking taylor expansion of (/ -1 (- (* 1/2 (/ PI a)) (/ (asin a) a))) in a 1545126692.387 * [misc]taylor: Taking taylor expansion of -1 in a 1545126692.387 * [misc]backup-simplify: Simplify -1 into -1 1545126692.387 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (/ PI a)) (/ (asin a) a)) in a 1545126692.387 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ PI a)) in a 1545126692.387 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545126692.387 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545126692.387 * [misc]taylor: Taking taylor expansion of (/ PI a) in a 1545126692.387 * [misc]taylor: Taking taylor expansion of PI in a 1545126692.387 * [misc]backup-simplify: Simplify PI into PI 1545126692.387 * [misc]taylor: Taking taylor expansion of a in a 1545126692.387 * [misc]backup-simplify: Simplify 0 into 0 1545126692.387 * [misc]backup-simplify: Simplify 1 into 1 1545126692.387 * [misc]backup-simplify: Simplify (/ PI 1) into PI 1545126692.387 * [misc]taylor: Taking taylor expansion of (/ (asin a) a) in a 1545126692.387 * [misc]taylor: Taking taylor expansion of (asin a) in a 1545126692.387 * [misc]backup-simplify: Simplify (asin a) into (asin a) 1545126692.387 * [misc]taylor: Taking taylor expansion of a in a 1545126692.387 * [misc]backup-simplify: Simplify 0 into 0 1545126692.387 * [misc]backup-simplify: Simplify 1 into 1 1545126692.387 * [misc]backup-simplify: Simplify (/ (asin a) 1) into (asin a) 1545126692.388 * [misc]backup-simplify: Simplify (* 1/2 PI) into (* 1/2 PI) 1545126692.388 * [misc]backup-simplify: Simplify (- (asin a)) into (- (asin a)) 1545126692.388 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (- (asin a))) into (- (* 1/2 PI) (asin a)) 1545126692.388 * [misc]backup-simplify: Simplify (/ -1 (- (* 1/2 PI) (asin a))) into (/ -1 (- (* 1/2 PI) (asin a))) 1545126692.388 * [misc]backup-simplify: Simplify (/ -1 (- (* 1/2 PI) (asin a))) into (/ -1 (- (* 1/2 PI) (asin a))) 1545126692.389 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)))) into 0 1545126692.390 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 PI)) into 0 1545126692.390 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)))) into 0 1545126692.390 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.390 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.391 * [misc]backup-simplify: Simplify (- (/ 0 (- (* 1/2 PI) (asin a))) (+ (* (/ -1 (- (* 1/2 PI) (asin a))) (/ 0 (- (* 1/2 PI) (asin a)))))) into 0 1545126692.391 * [misc]backup-simplify: Simplify 0 into 0 1545126692.392 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.393 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0 1545126692.393 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.393 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.393 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.394 * [misc]backup-simplify: Simplify (- (/ 0 (- (* 1/2 PI) (asin a))) (+ (* (/ -1 (- (* 1/2 PI) (asin a))) (/ 0 (- (* 1/2 PI) (asin a)))) (* 0 (/ 0 (- (* 1/2 PI) (asin a)))))) into 0 1545126692.394 * [misc]backup-simplify: Simplify 0 into 0 1545126692.395 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.396 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 1545126692.396 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.397 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.397 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.398 * [misc]backup-simplify: Simplify (- (/ 0 (- (* 1/2 PI) (asin a))) (+ (* (/ -1 (- (* 1/2 PI) (asin a))) (/ 0 (- (* 1/2 PI) (asin a)))) (* 0 (/ 0 (- (* 1/2 PI) (asin a)))) (* 0 (/ 0 (- (* 1/2 PI) (asin a)))))) into 0 1545126692.398 * [misc]backup-simplify: Simplify 0 into 0 1545126692.399 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.400 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 1545126692.400 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.400 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.401 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.402 * [misc]backup-simplify: Simplify (- (/ 0 (- (* 1/2 PI) (asin a))) (+ (* (/ -1 (- (* 1/2 PI) (asin a))) (/ 0 (- (* 1/2 PI) (asin a)))) (* 0 (/ 0 (- (* 1/2 PI) (asin a)))) (* 0 (/ 0 (- (* 1/2 PI) (asin a)))) (* 0 (/ 0 (- (* 1/2 PI) (asin a)))))) into 0 1545126692.402 * [misc]backup-simplify: Simplify 0 into 0 1545126692.403 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.404 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 1545126692.405 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.405 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.405 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.406 * [misc]backup-simplify: Simplify (- (/ 0 (- (* 1/2 PI) (asin a))) (+ (* (/ -1 (- (* 1/2 PI) (asin a))) (/ 0 (- (* 1/2 PI) (asin a)))) (* 0 (/ 0 (- (* 1/2 PI) (asin a)))) (* 0 (/ 0 (- (* 1/2 PI) (asin a)))) (* 0 (/ 0 (- (* 1/2 PI) (asin a)))) (* 0 (/ 0 (- (* 1/2 PI) (asin a)))))) into 0 1545126692.407 * [misc]backup-simplify: Simplify 0 into 0 1545126692.408 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.410 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 1545126692.410 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.411 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.411 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.413 * [misc]backup-simplify: Simplify (- (/ 0 (- (* 1/2 PI) (asin a))) (+ (* (/ -1 (- (* 1/2 PI) (asin a))) (/ 0 (- (* 1/2 PI) (asin a)))) (* 0 (/ 0 (- (* 1/2 PI) (asin a)))) (* 0 (/ 0 (- (* 1/2 PI) (asin a)))) (* 0 (/ 0 (- (* 1/2 PI) (asin a)))) (* 0 (/ 0 (- (* 1/2 PI) (asin a)))) (* 0 (/ 0 (- (* 1/2 PI) (asin a)))))) into 0 1545126692.413 * [misc]backup-simplify: Simplify 0 into 0 1545126692.414 * [misc]backup-simplify: Simplify (* (/ -1 (- (* 1/2 PI) (asin a))) a) into (* -1 (/ a (- (* 1/2 PI) (asin a)))) 1545126692.414 * [misc]backup-simplify: Simplify (/ 1 (* -1 (- (/ (/ PI 2) (/ 1 a)) (/ (asin (/ 1 a)) (/ 1 a))))) into (/ -1 (- (* 1/2 (* a PI)) (* a (asin (/ 1 a))))) 1545126692.414 * [misc]approximate: Taking taylor expansion of (/ -1 (- (* 1/2 (* a PI)) (* a (asin (/ 1 a))))) in (a) around 0 1545126692.414 * [misc]taylor: Taking taylor expansion of (/ -1 (- (* 1/2 (* a PI)) (* a (asin (/ 1 a))))) in a 1545126692.414 * [misc]taylor: Taking taylor expansion of -1 in a 1545126692.414 * [misc]backup-simplify: Simplify -1 into -1 1545126692.414 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (* a PI)) (* a (asin (/ 1 a)))) in a 1545126692.414 * [misc]taylor: Taking taylor expansion of (* 1/2 (* a PI)) in a 1545126692.414 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545126692.414 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545126692.414 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545126692.415 * [misc]taylor: Taking taylor expansion of a in a 1545126692.415 * [misc]backup-simplify: Simplify 0 into 0 1545126692.415 * [misc]backup-simplify: Simplify 1 into 1 1545126692.415 * [misc]taylor: Taking taylor expansion of PI in a 1545126692.415 * [misc]backup-simplify: Simplify PI into PI 1545126692.415 * [misc]taylor: Taking taylor expansion of (* a (asin (/ 1 a))) in a 1545126692.415 * [misc]taylor: Taking taylor expansion of a in a 1545126692.415 * [misc]backup-simplify: Simplify 0 into 0 1545126692.415 * [misc]backup-simplify: Simplify 1 into 1 1545126692.415 * [misc]taylor: Taking taylor expansion of (asin (/ 1 a)) in a 1545126692.415 * [misc]backup-simplify: Simplify (asin (/ 1 a)) into (asin (/ 1 a)) 1545126692.415 * [misc]backup-simplify: Simplify (* 0 PI) into 0 1545126692.415 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 1545126692.415 * [misc]backup-simplify: Simplify (* 0 (asin (/ 1 a))) into 0 1545126692.416 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.416 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.416 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 PI)) into PI 1545126692.417 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (* 0 0)) into (* 1/2 PI) 1545126692.417 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (asin (/ 1 a)))) into (asin (/ 1 a)) 1545126692.417 * [misc]backup-simplify: Simplify (- (asin (/ 1 a))) into (- (asin (/ 1 a))) 1545126692.418 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (- (asin (/ 1 a)))) into (- (* 1/2 PI) (asin (/ 1 a))) 1545126692.418 * [misc]backup-simplify: Simplify (/ -1 (- (* 1/2 PI) (asin (/ 1 a)))) into (/ -1 (- (* 1/2 PI) (asin (/ 1 a)))) 1545126692.418 * [misc]taylor: Taking taylor expansion of (/ -1 (- (* 1/2 (* a PI)) (* a (asin (/ 1 a))))) in a 1545126692.418 * [misc]taylor: Taking taylor expansion of -1 in a 1545126692.418 * [misc]backup-simplify: Simplify -1 into -1 1545126692.418 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (* a PI)) (* a (asin (/ 1 a)))) in a 1545126692.418 * [misc]taylor: Taking taylor expansion of (* 1/2 (* a PI)) in a 1545126692.418 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545126692.418 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545126692.418 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545126692.418 * [misc]taylor: Taking taylor expansion of a in a 1545126692.418 * [misc]backup-simplify: Simplify 0 into 0 1545126692.418 * [misc]backup-simplify: Simplify 1 into 1 1545126692.418 * [misc]taylor: Taking taylor expansion of PI in a 1545126692.418 * [misc]backup-simplify: Simplify PI into PI 1545126692.418 * [misc]taylor: Taking taylor expansion of (* a (asin (/ 1 a))) in a 1545126692.418 * [misc]taylor: Taking taylor expansion of a in a 1545126692.418 * [misc]backup-simplify: Simplify 0 into 0 1545126692.419 * [misc]backup-simplify: Simplify 1 into 1 1545126692.419 * [misc]taylor: Taking taylor expansion of (asin (/ 1 a)) in a 1545126692.419 * [misc]backup-simplify: Simplify (asin (/ 1 a)) into (asin (/ 1 a)) 1545126692.419 * [misc]backup-simplify: Simplify (* 0 PI) into 0 1545126692.419 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 1545126692.419 * [misc]backup-simplify: Simplify (* 0 (asin (/ 1 a))) into 0 1545126692.419 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.419 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.420 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 PI)) into PI 1545126692.421 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (* 0 0)) into (* 1/2 PI) 1545126692.421 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (asin (/ 1 a)))) into (asin (/ 1 a)) 1545126692.421 * [misc]backup-simplify: Simplify (- (asin (/ 1 a))) into (- (asin (/ 1 a))) 1545126692.421 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (- (asin (/ 1 a)))) into (- (* 1/2 PI) (asin (/ 1 a))) 1545126692.422 * [misc]backup-simplify: Simplify (/ -1 (- (* 1/2 PI) (asin (/ 1 a)))) into (/ -1 (- (* 1/2 PI) (asin (/ 1 a)))) 1545126692.422 * [misc]backup-simplify: Simplify (/ -1 (- (* 1/2 PI) (asin (/ 1 a)))) into (/ -1 (- (* 1/2 PI) (asin (/ 1 a)))) 1545126692.423 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 PI))) into 0 1545126692.424 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 PI) (* 0 0))) into 0 1545126692.425 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (asin (/ 1 a))))) into 0 1545126692.425 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.425 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.426 * [misc]backup-simplify: Simplify (- (/ 0 (- (* 1/2 PI) (asin (/ 1 a)))) (+ (* (/ -1 (- (* 1/2 PI) (asin (/ 1 a)))) (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))))) into 0 1545126692.426 * [misc]backup-simplify: Simplify 0 into 0 1545126692.428 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI)))) into 0 1545126692.429 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))) into 0 1545126692.430 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (asin (/ 1 a)))))) into 0 1545126692.430 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.430 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.431 * [misc]backup-simplify: Simplify (- (/ 0 (- (* 1/2 PI) (asin (/ 1 a)))) (+ (* (/ -1 (- (* 1/2 PI) (asin (/ 1 a)))) (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))) (* 0 (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))))) into 0 1545126692.431 * [misc]backup-simplify: Simplify 0 into 0 1545126692.434 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 1545126692.436 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))) into 0 1545126692.436 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a))))))) into 0 1545126692.437 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.437 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.438 * [misc]backup-simplify: Simplify (- (/ 0 (- (* 1/2 PI) (asin (/ 1 a)))) (+ (* (/ -1 (- (* 1/2 PI) (asin (/ 1 a)))) (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))) (* 0 (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))) (* 0 (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))))) into 0 1545126692.438 * [misc]backup-simplify: Simplify 0 into 0 1545126692.441 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 1545126692.444 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))) into 0 1545126692.445 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a)))))))) into 0 1545126692.445 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.445 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.447 * [misc]backup-simplify: Simplify (- (/ 0 (- (* 1/2 PI) (asin (/ 1 a)))) (+ (* (/ -1 (- (* 1/2 PI) (asin (/ 1 a)))) (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))) (* 0 (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))) (* 0 (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))) (* 0 (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))))) into 0 1545126692.447 * [misc]backup-simplify: Simplify 0 into 0 1545126692.451 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 1545126692.454 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))))) into 0 1545126692.455 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a))))))))) into 0 1545126692.455 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.455 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.458 * [misc]backup-simplify: Simplify (- (/ 0 (- (* 1/2 PI) (asin (/ 1 a)))) (+ (* (/ -1 (- (* 1/2 PI) (asin (/ 1 a)))) (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))) (* 0 (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))) (* 0 (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))) (* 0 (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))) (* 0 (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))))) into 0 1545126692.458 * [misc]backup-simplify: Simplify 0 into 0 1545126692.462 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))))) into 0 1545126692.467 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))))) into 0 1545126692.468 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a)))))))))) into 0 1545126692.468 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.468 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.471 * [misc]backup-simplify: Simplify (- (/ 0 (- (* 1/2 PI) (asin (/ 1 a)))) (+ (* (/ -1 (- (* 1/2 PI) (asin (/ 1 a)))) (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))) (* 0 (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))) (* 0 (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))) (* 0 (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))) (* 0 (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))) (* 0 (/ 0 (- (* 1/2 PI) (asin (/ 1 a))))))) into 0 1545126692.471 * [misc]backup-simplify: Simplify 0 into 0 1545126692.471 * [misc]backup-simplify: Simplify (* (/ -1 (- (* 1/2 PI) (asin (/ 1 (/ 1 a))))) (/ 1 (/ 1 a))) into (* -1 (/ a (- (* 1/2 PI) (asin a)))) 1545126692.472 * [misc]backup-simplify: Simplify (/ 1 (* -1 (- (/ (/ PI 2) (/ 1 (- a))) (/ (asin (/ 1 (- a))) (/ 1 (- a)))))) into (/ -1 (- (* a (asin (/ -1 a))) (* 1/2 (* a PI)))) 1545126692.472 * [misc]approximate: Taking taylor expansion of (/ -1 (- (* a (asin (/ -1 a))) (* 1/2 (* a PI)))) in (a) around 0 1545126692.472 * [misc]taylor: Taking taylor expansion of (/ -1 (- (* a (asin (/ -1 a))) (* 1/2 (* a PI)))) in a 1545126692.472 * [misc]taylor: Taking taylor expansion of -1 in a 1545126692.472 * [misc]backup-simplify: Simplify -1 into -1 1545126692.472 * [misc]taylor: Taking taylor expansion of (- (* a (asin (/ -1 a))) (* 1/2 (* a PI))) in a 1545126692.472 * [misc]taylor: Taking taylor expansion of (* a (asin (/ -1 a))) in a 1545126692.472 * [misc]taylor: Taking taylor expansion of a in a 1545126692.472 * [misc]backup-simplify: Simplify 0 into 0 1545126692.472 * [misc]backup-simplify: Simplify 1 into 1 1545126692.472 * [misc]taylor: Taking taylor expansion of (asin (/ -1 a)) in a 1545126692.472 * [misc]backup-simplify: Simplify (asin (/ -1 a)) into (asin (/ -1 a)) 1545126692.472 * [misc]taylor: Taking taylor expansion of (* 1/2 (* a PI)) in a 1545126692.472 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545126692.472 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545126692.473 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545126692.473 * [misc]taylor: Taking taylor expansion of a in a 1545126692.473 * [misc]backup-simplify: Simplify 0 into 0 1545126692.473 * [misc]backup-simplify: Simplify 1 into 1 1545126692.473 * [misc]taylor: Taking taylor expansion of PI in a 1545126692.473 * [misc]backup-simplify: Simplify PI into PI 1545126692.473 * [misc]backup-simplify: Simplify (* 0 (asin (/ -1 a))) into 0 1545126692.473 * [misc]backup-simplify: Simplify (* 0 PI) into 0 1545126692.473 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 1545126692.473 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.473 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.474 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (asin (/ -1 a)))) into (asin (/ -1 a)) 1545126692.474 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 PI)) into PI 1545126692.475 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (* 0 0)) into (* 1/2 PI) 1545126692.475 * [misc]backup-simplify: Simplify (- (* 1/2 PI)) into (- (* 1/2 PI)) 1545126692.476 * [misc]backup-simplify: Simplify (+ (asin (/ -1 a)) (- (* 1/2 PI))) into (- (asin (/ -1 a)) (* 1/2 PI)) 1545126692.476 * [misc]backup-simplify: Simplify (/ -1 (- (asin (/ -1 a)) (* 1/2 PI))) into (/ -1 (- (asin (/ -1 a)) (* 1/2 PI))) 1545126692.476 * [misc]taylor: Taking taylor expansion of (/ -1 (- (* a (asin (/ -1 a))) (* 1/2 (* a PI)))) in a 1545126692.476 * [misc]taylor: Taking taylor expansion of -1 in a 1545126692.476 * [misc]backup-simplify: Simplify -1 into -1 1545126692.476 * [misc]taylor: Taking taylor expansion of (- (* a (asin (/ -1 a))) (* 1/2 (* a PI))) in a 1545126692.476 * [misc]taylor: Taking taylor expansion of (* a (asin (/ -1 a))) in a 1545126692.476 * [misc]taylor: Taking taylor expansion of a in a 1545126692.476 * [misc]backup-simplify: Simplify 0 into 0 1545126692.476 * [misc]backup-simplify: Simplify 1 into 1 1545126692.476 * [misc]taylor: Taking taylor expansion of (asin (/ -1 a)) in a 1545126692.477 * [misc]backup-simplify: Simplify (asin (/ -1 a)) into (asin (/ -1 a)) 1545126692.477 * [misc]taylor: Taking taylor expansion of (* 1/2 (* a PI)) in a 1545126692.477 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545126692.477 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545126692.477 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545126692.477 * [misc]taylor: Taking taylor expansion of a in a 1545126692.477 * [misc]backup-simplify: Simplify 0 into 0 1545126692.477 * [misc]backup-simplify: Simplify 1 into 1 1545126692.477 * [misc]taylor: Taking taylor expansion of PI in a 1545126692.477 * [misc]backup-simplify: Simplify PI into PI 1545126692.477 * [misc]backup-simplify: Simplify (* 0 (asin (/ -1 a))) into 0 1545126692.477 * [misc]backup-simplify: Simplify (* 0 PI) into 0 1545126692.477 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 1545126692.477 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.478 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.478 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (asin (/ -1 a)))) into (asin (/ -1 a)) 1545126692.478 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 PI)) into PI 1545126692.479 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (* 0 0)) into (* 1/2 PI) 1545126692.479 * [misc]backup-simplify: Simplify (- (* 1/2 PI)) into (- (* 1/2 PI)) 1545126692.480 * [misc]backup-simplify: Simplify (+ (asin (/ -1 a)) (- (* 1/2 PI))) into (- (asin (/ -1 a)) (* 1/2 PI)) 1545126692.480 * [misc]backup-simplify: Simplify (/ -1 (- (asin (/ -1 a)) (* 1/2 PI))) into (/ -1 (- (asin (/ -1 a)) (* 1/2 PI))) 1545126692.481 * [misc]backup-simplify: Simplify (/ -1 (- (asin (/ -1 a)) (* 1/2 PI))) into (/ -1 (- (asin (/ -1 a)) (* 1/2 PI))) 1545126692.481 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (asin (/ -1 a))))) into 0 1545126692.482 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 PI))) into 0 1545126692.483 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 PI) (* 0 0))) into 0 1545126692.483 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.484 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.485 * [misc]backup-simplify: Simplify (- (/ 0 (- (asin (/ -1 a)) (* 1/2 PI))) (+ (* (/ -1 (- (asin (/ -1 a)) (* 1/2 PI))) (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))))) into 0 1545126692.485 * [misc]backup-simplify: Simplify 0 into 0 1545126692.485 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (asin (/ -1 a)))))) into 0 1545126692.487 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI)))) into 0 1545126692.488 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))) into 0 1545126692.488 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.489 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.490 * [misc]backup-simplify: Simplify (- (/ 0 (- (asin (/ -1 a)) (* 1/2 PI))) (+ (* (/ -1 (- (asin (/ -1 a)) (* 1/2 PI))) (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))) (* 0 (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))))) into 0 1545126692.490 * [misc]backup-simplify: Simplify 0 into 0 1545126692.491 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a))))))) into 0 1545126692.493 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 1545126692.495 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))) into 0 1545126692.495 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.496 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.497 * [misc]backup-simplify: Simplify (- (/ 0 (- (asin (/ -1 a)) (* 1/2 PI))) (+ (* (/ -1 (- (asin (/ -1 a)) (* 1/2 PI))) (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))) (* 0 (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))) (* 0 (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))))) into 0 1545126692.497 * [misc]backup-simplify: Simplify 0 into 0 1545126692.498 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a)))))))) into 0 1545126692.500 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 1545126692.503 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))) into 0 1545126692.503 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.503 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.505 * [misc]backup-simplify: Simplify (- (/ 0 (- (asin (/ -1 a)) (* 1/2 PI))) (+ (* (/ -1 (- (asin (/ -1 a)) (* 1/2 PI))) (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))) (* 0 (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))) (* 0 (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))) (* 0 (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))))) into 0 1545126692.505 * [misc]backup-simplify: Simplify 0 into 0 1545126692.506 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a))))))))) into 0 1545126692.509 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 1545126692.512 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))))) into 0 1545126692.512 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.512 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.514 * [misc]backup-simplify: Simplify (- (/ 0 (- (asin (/ -1 a)) (* 1/2 PI))) (+ (* (/ -1 (- (asin (/ -1 a)) (* 1/2 PI))) (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))) (* 0 (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))) (* 0 (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))) (* 0 (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))) (* 0 (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))))) into 0 1545126692.514 * [misc]backup-simplify: Simplify 0 into 0 1545126692.515 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a)))))))))) into 0 1545126692.519 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))))) into 0 1545126692.523 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))))) into 0 1545126692.523 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.523 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.526 * [misc]backup-simplify: Simplify (- (/ 0 (- (asin (/ -1 a)) (* 1/2 PI))) (+ (* (/ -1 (- (asin (/ -1 a)) (* 1/2 PI))) (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))) (* 0 (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))) (* 0 (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))) (* 0 (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))) (* 0 (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))) (* 0 (/ 0 (- (asin (/ -1 a)) (* 1/2 PI)))))) into 0 1545126692.526 * [misc]backup-simplify: Simplify 0 into 0 1545126692.526 * [misc]backup-simplify: Simplify (* (/ -1 (- (asin (/ -1 (/ 1 (- a)))) (* 1/2 PI))) (/ 1 (/ 1 (- a)))) into (/ a (- (asin a) (* 1/2 PI))) 1545126692.526 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 2 2) 1545126692.527 * [misc]backup-simplify: Simplify (/ (asin a) a) into (/ (asin a) a) 1545126692.527 * [misc]approximate: Taking taylor expansion of (/ (asin a) a) in (a) around 0 1545126692.527 * [misc]taylor: Taking taylor expansion of (/ (asin a) a) in a 1545126692.527 * [misc]taylor: Taking taylor expansion of (asin a) in a 1545126692.527 * [misc]backup-simplify: Simplify (asin a) into (asin a) 1545126692.527 * [misc]taylor: Taking taylor expansion of a in a 1545126692.527 * [misc]backup-simplify: Simplify 0 into 0 1545126692.527 * [misc]backup-simplify: Simplify 1 into 1 1545126692.527 * [misc]backup-simplify: Simplify (/ (asin a) 1) into (asin a) 1545126692.527 * [misc]taylor: Taking taylor expansion of (/ (asin a) a) in a 1545126692.527 * [misc]taylor: Taking taylor expansion of (asin a) in a 1545126692.527 * [misc]backup-simplify: Simplify (asin a) into (asin a) 1545126692.527 * [misc]taylor: Taking taylor expansion of a in a 1545126692.527 * [misc]backup-simplify: Simplify 0 into 0 1545126692.527 * [misc]backup-simplify: Simplify 1 into 1 1545126692.527 * [misc]backup-simplify: Simplify (/ (asin a) 1) into (asin a) 1545126692.527 * [misc]backup-simplify: Simplify (asin a) into (asin a) 1545126692.528 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)))) into 0 1545126692.528 * [misc]backup-simplify: Simplify 0 into 0 1545126692.528 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.528 * [misc]backup-simplify: Simplify 0 into 0 1545126692.529 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.529 * [misc]backup-simplify: Simplify 0 into 0 1545126692.530 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.530 * [misc]backup-simplify: Simplify 0 into 0 1545126692.531 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.531 * [misc]backup-simplify: Simplify 0 into 0 1545126692.532 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.532 * [misc]backup-simplify: Simplify 0 into 0 1545126692.532 * [misc]backup-simplify: Simplify (* (asin a) (/ 1 a)) into (/ (asin a) a) 1545126692.532 * [misc]backup-simplify: Simplify (/ (asin (/ 1 a)) (/ 1 a)) into (* a (asin (/ 1 a))) 1545126692.532 * [misc]approximate: Taking taylor expansion of (* a (asin (/ 1 a))) in (a) around 0 1545126692.532 * [misc]taylor: Taking taylor expansion of (* a (asin (/ 1 a))) in a 1545126692.532 * [misc]taylor: Taking taylor expansion of a in a 1545126692.532 * [misc]backup-simplify: Simplify 0 into 0 1545126692.532 * [misc]backup-simplify: Simplify 1 into 1 1545126692.532 * [misc]taylor: Taking taylor expansion of (asin (/ 1 a)) in a 1545126692.532 * [misc]backup-simplify: Simplify (asin (/ 1 a)) into (asin (/ 1 a)) 1545126692.532 * [misc]taylor: Taking taylor expansion of (* a (asin (/ 1 a))) in a 1545126692.532 * [misc]taylor: Taking taylor expansion of a in a 1545126692.532 * [misc]backup-simplify: Simplify 0 into 0 1545126692.532 * [misc]backup-simplify: Simplify 1 into 1 1545126692.532 * [misc]taylor: Taking taylor expansion of (asin (/ 1 a)) in a 1545126692.532 * [misc]backup-simplify: Simplify (asin (/ 1 a)) into (asin (/ 1 a)) 1545126692.532 * [misc]backup-simplify: Simplify (* 0 (asin (/ 1 a))) into 0 1545126692.532 * [misc]backup-simplify: Simplify 0 into 0 1545126692.533 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (asin (/ 1 a)))) into (asin (/ 1 a)) 1545126692.533 * [misc]backup-simplify: Simplify (asin (/ 1 a)) into (asin (/ 1 a)) 1545126692.533 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (asin (/ 1 a))))) into 0 1545126692.533 * [misc]backup-simplify: Simplify 0 into 0 1545126692.534 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (asin (/ 1 a)))))) into 0 1545126692.534 * [misc]backup-simplify: Simplify 0 into 0 1545126692.534 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a))))))) into 0 1545126692.534 * [misc]backup-simplify: Simplify 0 into 0 1545126692.535 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a)))))))) into 0 1545126692.535 * [misc]backup-simplify: Simplify 0 into 0 1545126692.536 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a))))))))) into 0 1545126692.536 * [misc]backup-simplify: Simplify 0 into 0 1545126692.536 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a)))))))))) into 0 1545126692.536 * [misc]backup-simplify: Simplify 0 into 0 1545126692.536 * [misc]backup-simplify: Simplify (* (asin (/ 1 (/ 1 a))) (/ 1 a)) into (/ (asin a) a) 1545126692.536 * [misc]backup-simplify: Simplify (/ (asin (/ 1 (- a))) (/ 1 (- a))) into (* -1 (* a (asin (/ -1 a)))) 1545126692.536 * [misc]approximate: Taking taylor expansion of (* -1 (* a (asin (/ -1 a)))) in (a) around 0 1545126692.537 * [misc]taylor: Taking taylor expansion of (* -1 (* a (asin (/ -1 a)))) in a 1545126692.537 * [misc]taylor: Taking taylor expansion of -1 in a 1545126692.537 * [misc]backup-simplify: Simplify -1 into -1 1545126692.537 * [misc]taylor: Taking taylor expansion of (* a (asin (/ -1 a))) in a 1545126692.537 * [misc]taylor: Taking taylor expansion of a in a 1545126692.537 * [misc]backup-simplify: Simplify 0 into 0 1545126692.537 * [misc]backup-simplify: Simplify 1 into 1 1545126692.537 * [misc]taylor: Taking taylor expansion of (asin (/ -1 a)) in a 1545126692.537 * [misc]backup-simplify: Simplify (asin (/ -1 a)) into (asin (/ -1 a)) 1545126692.537 * [misc]taylor: Taking taylor expansion of (* -1 (* a (asin (/ -1 a)))) in a 1545126692.537 * [misc]taylor: Taking taylor expansion of -1 in a 1545126692.537 * [misc]backup-simplify: Simplify -1 into -1 1545126692.537 * [misc]taylor: Taking taylor expansion of (* a (asin (/ -1 a))) in a 1545126692.537 * [misc]taylor: Taking taylor expansion of a in a 1545126692.537 * [misc]backup-simplify: Simplify 0 into 0 1545126692.537 * [misc]backup-simplify: Simplify 1 into 1 1545126692.537 * [misc]taylor: Taking taylor expansion of (asin (/ -1 a)) in a 1545126692.537 * [misc]backup-simplify: Simplify (asin (/ -1 a)) into (asin (/ -1 a)) 1545126692.537 * [misc]backup-simplify: Simplify (* 0 (asin (/ -1 a))) into 0 1545126692.537 * [misc]backup-simplify: Simplify (* -1 0) into 0 1545126692.537 * [misc]backup-simplify: Simplify 0 into 0 1545126692.537 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (asin (/ -1 a)))) into (asin (/ -1 a)) 1545126692.537 * [misc]backup-simplify: Simplify (+ (* -1 (asin (/ -1 a))) (* 0 0)) into (- (asin (/ -1 a))) 1545126692.537 * [misc]backup-simplify: Simplify (- (asin (/ -1 a))) into (- (asin (/ -1 a))) 1545126692.538 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (asin (/ -1 a))))) into 0 1545126692.538 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (asin (/ -1 a))) (* 0 0))) into 0 1545126692.538 * [misc]backup-simplify: Simplify 0 into 0 1545126692.538 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (asin (/ -1 a)))))) into 0 1545126692.539 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (asin (/ -1 a))) (* 0 0)))) into 0 1545126692.539 * [misc]backup-simplify: Simplify 0 into 0 1545126692.539 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a))))))) into 0 1545126692.539 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (asin (/ -1 a))) (* 0 0))))) into 0 1545126692.539 * [misc]backup-simplify: Simplify 0 into 0 1545126692.540 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a)))))))) into 0 1545126692.540 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (asin (/ -1 a))) (* 0 0)))))) into 0 1545126692.540 * [misc]backup-simplify: Simplify 0 into 0 1545126692.541 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a))))))))) into 0 1545126692.541 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (asin (/ -1 a))) (* 0 0))))))) into 0 1545126692.541 * [misc]backup-simplify: Simplify 0 into 0 1545126692.542 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a)))))))))) into 0 1545126692.543 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (asin (/ -1 a))) (* 0 0)))))))) into 0 1545126692.543 * [misc]backup-simplify: Simplify 0 into 0 1545126692.543 * [misc]backup-simplify: Simplify (* (- (asin (/ -1 (/ 1 (- a))))) (/ 1 (- a))) into (/ (asin a) a) 1545126692.543 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 2) 1545126692.543 * [misc]backup-simplify: Simplify (- (/ (/ PI 2) a) (/ (asin a) a)) into (- (* 1/2 (/ PI a)) (/ (asin a) a)) 1545126692.543 * [misc]approximate: Taking taylor expansion of (- (* 1/2 (/ PI a)) (/ (asin a) a)) in (a) around 0 1545126692.543 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (/ PI a)) (/ (asin a) a)) in a 1545126692.543 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ PI a)) in a 1545126692.543 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545126692.543 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545126692.543 * [misc]taylor: Taking taylor expansion of (/ PI a) in a 1545126692.543 * [misc]taylor: Taking taylor expansion of PI in a 1545126692.543 * [misc]backup-simplify: Simplify PI into PI 1545126692.543 * [misc]taylor: Taking taylor expansion of a in a 1545126692.543 * [misc]backup-simplify: Simplify 0 into 0 1545126692.543 * [misc]backup-simplify: Simplify 1 into 1 1545126692.544 * [misc]backup-simplify: Simplify (/ PI 1) into PI 1545126692.544 * [misc]taylor: Taking taylor expansion of (/ (asin a) a) in a 1545126692.544 * [misc]taylor: Taking taylor expansion of (asin a) in a 1545126692.544 * [misc]backup-simplify: Simplify (asin a) into (asin a) 1545126692.544 * [misc]taylor: Taking taylor expansion of a in a 1545126692.544 * [misc]backup-simplify: Simplify 0 into 0 1545126692.544 * [misc]backup-simplify: Simplify 1 into 1 1545126692.544 * [misc]backup-simplify: Simplify (/ (asin a) 1) into (asin a) 1545126692.544 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (/ PI a)) (/ (asin a) a)) in a 1545126692.544 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ PI a)) in a 1545126692.544 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545126692.544 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545126692.544 * [misc]taylor: Taking taylor expansion of (/ PI a) in a 1545126692.544 * [misc]taylor: Taking taylor expansion of PI in a 1545126692.544 * [misc]backup-simplify: Simplify PI into PI 1545126692.544 * [misc]taylor: Taking taylor expansion of a in a 1545126692.544 * [misc]backup-simplify: Simplify 0 into 0 1545126692.544 * [misc]backup-simplify: Simplify 1 into 1 1545126692.544 * [misc]backup-simplify: Simplify (/ PI 1) into PI 1545126692.544 * [misc]taylor: Taking taylor expansion of (/ (asin a) a) in a 1545126692.544 * [misc]taylor: Taking taylor expansion of (asin a) in a 1545126692.544 * [misc]backup-simplify: Simplify (asin a) into (asin a) 1545126692.544 * [misc]taylor: Taking taylor expansion of a in a 1545126692.544 * [misc]backup-simplify: Simplify 0 into 0 1545126692.544 * [misc]backup-simplify: Simplify 1 into 1 1545126692.544 * [misc]backup-simplify: Simplify (/ (asin a) 1) into (asin a) 1545126692.544 * [misc]backup-simplify: Simplify (* 1/2 PI) into (* 1/2 PI) 1545126692.544 * [misc]backup-simplify: Simplify (- (asin a)) into (- (asin a)) 1545126692.545 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (- (asin a))) into (- (* 1/2 PI) (asin a)) 1545126692.545 * [misc]backup-simplify: Simplify (- (* 1/2 PI) (asin a)) into (- (* 1/2 PI) (asin a)) 1545126692.546 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)))) into 0 1545126692.546 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 PI)) into 0 1545126692.546 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)))) into 0 1545126692.546 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.546 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.546 * [misc]backup-simplify: Simplify 0 into 0 1545126692.547 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.548 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0 1545126692.548 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.548 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.548 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.548 * [misc]backup-simplify: Simplify 0 into 0 1545126692.549 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.550 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 1545126692.551 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.551 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.551 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.551 * [misc]backup-simplify: Simplify 0 into 0 1545126692.552 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.553 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 1545126692.554 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.554 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.554 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.554 * [misc]backup-simplify: Simplify 0 into 0 1545126692.555 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.557 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 1545126692.557 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.557 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.557 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.557 * [misc]backup-simplify: Simplify 0 into 0 1545126692.559 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.561 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 1545126692.561 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545126692.561 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.561 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.561 * [misc]backup-simplify: Simplify 0 into 0 1545126692.562 * [misc]backup-simplify: Simplify (* (- (* 1/2 PI) (asin a)) (/ 1 a)) into (/ (- (* 1/2 PI) (asin a)) a) 1545126692.562 * [misc]backup-simplify: Simplify (- (/ (/ PI 2) (/ 1 a)) (/ (asin (/ 1 a)) (/ 1 a))) into (- (* 1/2 (* a PI)) (* a (asin (/ 1 a)))) 1545126692.562 * [misc]approximate: Taking taylor expansion of (- (* 1/2 (* a PI)) (* a (asin (/ 1 a)))) in (a) around 0 1545126692.562 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (* a PI)) (* a (asin (/ 1 a)))) in a 1545126692.562 * [misc]taylor: Taking taylor expansion of (* 1/2 (* a PI)) in a 1545126692.562 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545126692.562 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545126692.562 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545126692.562 * [misc]taylor: Taking taylor expansion of a in a 1545126692.562 * [misc]backup-simplify: Simplify 0 into 0 1545126692.562 * [misc]backup-simplify: Simplify 1 into 1 1545126692.562 * [misc]taylor: Taking taylor expansion of PI in a 1545126692.562 * [misc]backup-simplify: Simplify PI into PI 1545126692.562 * [misc]taylor: Taking taylor expansion of (* a (asin (/ 1 a))) in a 1545126692.562 * [misc]taylor: Taking taylor expansion of a in a 1545126692.562 * [misc]backup-simplify: Simplify 0 into 0 1545126692.562 * [misc]backup-simplify: Simplify 1 into 1 1545126692.562 * [misc]taylor: Taking taylor expansion of (asin (/ 1 a)) in a 1545126692.562 * [misc]backup-simplify: Simplify (asin (/ 1 a)) into (asin (/ 1 a)) 1545126692.562 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (* a PI)) (* a (asin (/ 1 a)))) in a 1545126692.562 * [misc]taylor: Taking taylor expansion of (* 1/2 (* a PI)) in a 1545126692.562 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545126692.562 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545126692.562 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545126692.562 * [misc]taylor: Taking taylor expansion of a in a 1545126692.562 * [misc]backup-simplify: Simplify 0 into 0 1545126692.562 * [misc]backup-simplify: Simplify 1 into 1 1545126692.562 * [misc]taylor: Taking taylor expansion of PI in a 1545126692.562 * [misc]backup-simplify: Simplify PI into PI 1545126692.562 * [misc]taylor: Taking taylor expansion of (* a (asin (/ 1 a))) in a 1545126692.563 * [misc]taylor: Taking taylor expansion of a in a 1545126692.563 * [misc]backup-simplify: Simplify 0 into 0 1545126692.563 * [misc]backup-simplify: Simplify 1 into 1 1545126692.563 * [misc]taylor: Taking taylor expansion of (asin (/ 1 a)) in a 1545126692.563 * [misc]backup-simplify: Simplify (asin (/ 1 a)) into (asin (/ 1 a)) 1545126692.563 * [misc]backup-simplify: Simplify (* 0 PI) into 0 1545126692.563 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 1545126692.563 * [misc]backup-simplify: Simplify (* 0 (asin (/ 1 a))) into 0 1545126692.563 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.563 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.563 * [misc]backup-simplify: Simplify 0 into 0 1545126692.564 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 PI)) into PI 1545126692.564 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (* 0 0)) into (* 1/2 PI) 1545126692.564 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (asin (/ 1 a)))) into (asin (/ 1 a)) 1545126692.564 * [misc]backup-simplify: Simplify (- (asin (/ 1 a))) into (- (asin (/ 1 a))) 1545126692.564 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (- (asin (/ 1 a)))) into (- (* 1/2 PI) (asin (/ 1 a))) 1545126692.565 * [misc]backup-simplify: Simplify (- (* 1/2 PI) (asin (/ 1 a))) into (- (* 1/2 PI) (asin (/ 1 a))) 1545126692.565 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 PI))) into 0 1545126692.566 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 PI) (* 0 0))) into 0 1545126692.566 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (asin (/ 1 a))))) into 0 1545126692.566 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.566 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.566 * [misc]backup-simplify: Simplify 0 into 0 1545126692.567 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI)))) into 0 1545126692.568 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))) into 0 1545126692.568 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (asin (/ 1 a)))))) into 0 1545126692.569 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.569 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.569 * [misc]backup-simplify: Simplify 0 into 0 1545126692.570 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 1545126692.572 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))) into 0 1545126692.572 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a))))))) into 0 1545126692.572 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.572 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.572 * [misc]backup-simplify: Simplify 0 into 0 1545126692.575 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 1545126692.577 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))) into 0 1545126692.578 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a)))))))) into 0 1545126692.578 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.578 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.578 * [misc]backup-simplify: Simplify 0 into 0 1545126692.582 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 1545126692.585 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))))) into 0 1545126692.586 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a))))))))) into 0 1545126692.586 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.586 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.586 * [misc]backup-simplify: Simplify 0 into 0 1545126692.590 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))))) into 0 1545126692.593 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))))) into 0 1545126692.594 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a)))))))))) into 0 1545126692.595 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.595 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.595 * [misc]backup-simplify: Simplify 0 into 0 1545126692.595 * [misc]backup-simplify: Simplify (* (- (* 1/2 PI) (asin (/ 1 (/ 1 a)))) (/ 1 a)) into (/ (- (* 1/2 PI) (asin a)) a) 1545126692.596 * [misc]backup-simplify: Simplify (- (/ (/ PI 2) (/ 1 (- a))) (/ (asin (/ 1 (- a))) (/ 1 (- a)))) into (- (* a (asin (/ -1 a))) (* 1/2 (* a PI))) 1545126692.596 * [misc]approximate: Taking taylor expansion of (- (* a (asin (/ -1 a))) (* 1/2 (* a PI))) in (a) around 0 1545126692.596 * [misc]taylor: Taking taylor expansion of (- (* a (asin (/ -1 a))) (* 1/2 (* a PI))) in a 1545126692.596 * [misc]taylor: Taking taylor expansion of (* a (asin (/ -1 a))) in a 1545126692.596 * [misc]taylor: Taking taylor expansion of a in a 1545126692.596 * [misc]backup-simplify: Simplify 0 into 0 1545126692.596 * [misc]backup-simplify: Simplify 1 into 1 1545126692.596 * [misc]taylor: Taking taylor expansion of (asin (/ -1 a)) in a 1545126692.596 * [misc]backup-simplify: Simplify (asin (/ -1 a)) into (asin (/ -1 a)) 1545126692.596 * [misc]taylor: Taking taylor expansion of (* 1/2 (* a PI)) in a 1545126692.596 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545126692.596 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545126692.596 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545126692.596 * [misc]taylor: Taking taylor expansion of a in a 1545126692.596 * [misc]backup-simplify: Simplify 0 into 0 1545126692.596 * [misc]backup-simplify: Simplify 1 into 1 1545126692.596 * [misc]taylor: Taking taylor expansion of PI in a 1545126692.596 * [misc]backup-simplify: Simplify PI into PI 1545126692.596 * [misc]taylor: Taking taylor expansion of (- (* a (asin (/ -1 a))) (* 1/2 (* a PI))) in a 1545126692.596 * [misc]taylor: Taking taylor expansion of (* a (asin (/ -1 a))) in a 1545126692.596 * [misc]taylor: Taking taylor expansion of a in a 1545126692.596 * [misc]backup-simplify: Simplify 0 into 0 1545126692.596 * [misc]backup-simplify: Simplify 1 into 1 1545126692.596 * [misc]taylor: Taking taylor expansion of (asin (/ -1 a)) in a 1545126692.597 * [misc]backup-simplify: Simplify (asin (/ -1 a)) into (asin (/ -1 a)) 1545126692.597 * [misc]taylor: Taking taylor expansion of (* 1/2 (* a PI)) in a 1545126692.597 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545126692.597 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545126692.597 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545126692.597 * [misc]taylor: Taking taylor expansion of a in a 1545126692.597 * [misc]backup-simplify: Simplify 0 into 0 1545126692.597 * [misc]backup-simplify: Simplify 1 into 1 1545126692.597 * [misc]taylor: Taking taylor expansion of PI in a 1545126692.597 * [misc]backup-simplify: Simplify PI into PI 1545126692.597 * [misc]backup-simplify: Simplify (* 0 (asin (/ -1 a))) into 0 1545126692.597 * [misc]backup-simplify: Simplify (* 0 PI) into 0 1545126692.597 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 1545126692.597 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.598 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.598 * [misc]backup-simplify: Simplify 0 into 0 1545126692.598 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (asin (/ -1 a)))) into (asin (/ -1 a)) 1545126692.598 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 PI)) into PI 1545126692.599 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (* 0 0)) into (* 1/2 PI) 1545126692.600 * [misc]backup-simplify: Simplify (- (* 1/2 PI)) into (- (* 1/2 PI)) 1545126692.600 * [misc]backup-simplify: Simplify (+ (asin (/ -1 a)) (- (* 1/2 PI))) into (- (asin (/ -1 a)) (* 1/2 PI)) 1545126692.600 * [misc]backup-simplify: Simplify (- (asin (/ -1 a)) (* 1/2 PI)) into (- (asin (/ -1 a)) (* 1/2 PI)) 1545126692.601 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (asin (/ -1 a))))) into 0 1545126692.602 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 PI))) into 0 1545126692.603 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 PI) (* 0 0))) into 0 1545126692.603 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.603 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.603 * [misc]backup-simplify: Simplify 0 into 0 1545126692.604 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (asin (/ -1 a)))))) into 0 1545126692.605 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI)))) into 0 1545126692.607 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))) into 0 1545126692.607 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.607 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.607 * [misc]backup-simplify: Simplify 0 into 0 1545126692.608 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a))))))) into 0 1545126692.609 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 1545126692.611 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))) into 0 1545126692.612 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.612 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.613 * [misc]backup-simplify: Simplify 0 into 0 1545126692.613 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a)))))))) into 0 1545126692.616 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 1545126692.619 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))) into 0 1545126692.619 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.619 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.619 * [misc]backup-simplify: Simplify 0 into 0 1545126692.620 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a))))))))) into 0 1545126692.624 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 1545126692.627 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))))) into 0 1545126692.627 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.627 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.627 * [misc]backup-simplify: Simplify 0 into 0 1545126692.628 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a)))))))))) into 0 1545126692.632 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))))) into 0 1545126692.636 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))))) into 0 1545126692.636 * [misc]backup-simplify: Simplify (- 0) into 0 1545126692.636 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545126692.636 * [misc]backup-simplify: Simplify 0 into 0 1545126692.637 * [misc]backup-simplify: Simplify (* (- (asin (/ -1 (/ 1 (- a)))) (* 1/2 PI)) (/ 1 (- a))) into (* -1 (/ (- (asin a) (* 1/2 PI)) a)) 1545126692.637 * * * [misc]progress: simplifying candidates 1545126692.637 * * * * [misc]progress: [ 1 / 77 ] simplifiying candidate # 1545126692.637 * * * * [misc]progress: [ 2 / 77 ] simplifiying candidate # 1545126692.637 * * * * [misc]progress: [ 3 / 77 ] simplifiying candidate # 1545126692.637 * * * * [misc]progress: [ 4 / 77 ] simplifiying candidate # 1545126692.637 * * * * [misc]progress: [ 5 / 77 ] simplifiying candidate # 1545126692.637 * * * * [misc]progress: [ 6 / 77 ] simplifiying candidate # 1545126692.637 * * * * [misc]progress: [ 7 / 77 ] simplifiying candidate # 1545126692.637 * * * * [misc]progress: [ 8 / 77 ] simplifiying candidate # 1545126692.637 * * * * [misc]progress: [ 9 / 77 ] simplifiying candidate # 1545126692.637 * * * * [misc]progress: [ 10 / 77 ] simplifiying candidate # 1545126692.637 * * * * [misc]progress: [ 11 / 77 ] simplifiying candidate # 1545126692.638 * [enter]simplify: Simplifying (* (cbrt (/ PI 2)) (cbrt (/ PI 2))) 1545126692.638 * * [misc]simplify: iters left: 5 (5 enodes) 1545126692.639 * [exit]simplify: Simplified to (* (cbrt (/ PI 2)) (cbrt (/ PI 2))) 1545126692.639 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (a) (/ 1 (* -1 (- (/ (* (cbrt (/ PI 2)) (cbrt (/ PI 2))) (/ a (cbrt (/ PI 2)))) (/ (asin a) a))))) 1545126692.639 * * * * [misc]progress: [ 12 / 77 ] simplifiying candidate # 1545126692.639 * [enter]simplify: Simplifying (sqrt (/ PI 2)) 1545126692.640 * * [misc]simplify: iters left: 3 (4 enodes) 1545126692.641 * [exit]simplify: Simplified to (sqrt (/ PI 2)) 1545126692.641 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (a) (/ 1 (* -1 (- (/ (sqrt (/ PI 2)) (/ a (sqrt (/ PI 2)))) (/ (asin a) a))))) 1545126692.641 * * * * [misc]progress: [ 13 / 77 ] simplifiying candidate # 1545126692.641 * * * * [misc]progress: [ 14 / 77 ] simplifiying candidate # 1545126692.641 * * * * [misc]progress: [ 15 / 77 ] simplifiying candidate # 1545126692.641 * * * * [misc]progress: [ 16 / 77 ] simplifiying candidate # 1545126692.641 * * * * [misc]progress: [ 17 / 77 ] simplifiying candidate # 1545126692.641 * [enter]simplify: Simplifying (- 1) 1545126692.641 * * [misc]simplify: iters left: 2 (2 enodes) 1545126692.643 * * [misc]simplify: iters left: 1 (5 enodes) 1545126692.643 * [exit]simplify: Simplified to -1 1545126692.643 * [misc]simplify: Simplified (2 2) to (λ (a) (pow (* -1 (- (/ (/ PI 2) a) (/ (asin a) a))) -1)) 1545126692.643 * * * * [misc]progress: [ 18 / 77 ] simplifiying candidate # 1545126692.643 * * * * [misc]progress: [ 19 / 77 ] simplifiying candidate # 1545126692.644 * * * * [misc]progress: [ 20 / 77 ] simplifiying candidate # 1545126692.644 * * * * [misc]progress: [ 21 / 77 ] simplifiying candidate # 1545126692.644 * * * * [misc]progress: [ 22 / 77 ] simplifiying candidate # 1545126692.644 * * * * [misc]progress: [ 23 / 77 ] simplifiying candidate # 1545126692.644 * * * * [misc]progress: [ 24 / 77 ] simplifiying candidate # 1545126692.644 * * * * [misc]progress: [ 25 / 77 ] simplifiying candidate # 1545126692.644 * * * * [misc]progress: [ 26 / 77 ] simplifiying candidate # 1545126692.644 * * * * [misc]progress: [ 27 / 77 ] simplifiying candidate # 1545126692.644 * * * * [misc]progress: [ 28 / 77 ] simplifiying candidate # 1545126692.644 * * * * [misc]progress: [ 29 / 77 ] simplifiying candidate # 1545126692.644 * [enter]simplify: Simplifying (- (/ (/ PI 2) a) (/ (asin a) a)) 1545126692.644 * * [misc]simplify: iters left: 6 (8 enodes) 1545126692.646 * * [misc]simplify: iters left: 5 (12 enodes) 1545126692.649 * * [misc]simplify: iters left: 4 (18 enodes) 1545126692.654 * [exit]simplify: Simplified to (- (/ (/ PI 2) a) (/ (asin a) a)) 1545126692.654 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 -1) (- (/ (/ PI 2) a) (/ (asin a) a)))) 1545126692.654 * * * * [misc]progress: [ 30 / 77 ] simplifiying candidate # 1545126692.654 * * * * [misc]progress: [ 31 / 77 ] simplifiying candidate # 1545126692.654 * [enter]simplify: Simplifying (* a a) 1545126692.655 * * [misc]simplify: iters left: 2 (2 enodes) 1545126692.655 * [exit]simplify: Simplified to (* a a) 1545126692.655 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (* -1 (- (* (/ PI 2) a) (* a (asin a))))) (* a a))) 1545126692.655 * * * * [misc]progress: [ 32 / 77 ] simplifiying candidate # 1545126692.656 * [enter]simplify: Simplifying (+ (* (/ (/ PI 2) a) (/ (/ PI 2) a)) (+ (* (/ (asin a) a) (/ (asin a) a)) (* (/ (/ PI 2) a) (/ (asin a) a)))) 1545126692.656 * * [misc]simplify: iters left: 6 (12 enodes) 1545126692.660 * * [misc]simplify: iters left: 5 (33 enodes) 1545126692.672 * * [misc]simplify: iters left: 4 (83 enodes) 1545126692.702 * * [misc]simplify: iters left: 3 (184 enodes) 1545126692.745 * * [misc]simplify: iters left: 2 (322 enodes) 1545126692.851 * * [misc]simplify: iters left: 1 (482 enodes) 1545126693.000 * [exit]simplify: Simplified to (+ (* (/ (asin a) a) (/ (asin a) a)) (* (/ (/ PI 2) (* a a)) (+ (/ PI 2) (asin a)))) 1545126693.000 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (* -1 (- (pow (/ (/ PI 2) a) 3) (pow (/ (asin a) a) 3)))) (+ (* (/ (asin a) a) (/ (asin a) a)) (* (/ (/ PI 2) (* a a)) (+ (/ PI 2) (asin a)))))) 1545126693.000 * * * * [misc]progress: [ 33 / 77 ] simplifiying candidate # 1545126693.000 * [enter]simplify: Simplifying (+ (/ (/ PI 2) a) (/ (asin a) a)) 1545126693.000 * * [misc]simplify: iters left: 6 (8 enodes) 1545126693.003 * * [misc]simplify: iters left: 5 (11 enodes) 1545126693.004 * * [misc]simplify: iters left: 4 (14 enodes) 1545126693.006 * [exit]simplify: Simplified to (+ (/ (asin a) a) (/ (/ PI 2) a)) 1545126693.006 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (* -1 (- (* (/ (/ PI 2) a) (/ (/ PI 2) a)) (* (/ (asin a) a) (/ (asin a) a))))) (+ (/ (asin a) a) (/ (/ PI 2) a)))) 1545126693.006 * * * * [misc]progress: [ 34 / 77 ] simplifiying candidate # 1545126693.006 * * * * [misc]progress: [ 35 / 77 ] simplifiying candidate # 1545126693.006 * * * * [misc]progress: [ 36 / 77 ] simplifiying candidate # 1545126693.006 * * * * [misc]progress: [ 37 / 77 ] simplifiying candidate # 1545126693.006 * * * * [misc]progress: [ 38 / 77 ] simplifiying candidate # 1545126693.006 * * * * [misc]progress: [ 39 / 77 ] simplifiying candidate # 1545126693.006 * * * * [misc]progress: [ 40 / 77 ] simplifiying candidate # 1545126693.006 * * * * [misc]progress: [ 41 / 77 ] simplifiying candidate # 1545126693.006 * [enter]simplify: Simplifying (/ (/ PI 2) a) 1545126693.006 * * [misc]simplify: iters left: 4 (5 enodes) 1545126693.007 * * [misc]simplify: iters left: 3 (7 enodes) 1545126693.008 * * [misc]simplify: iters left: 2 (10 enodes) 1545126693.009 * [exit]simplify: Simplified to (/ (/ PI 2) a) 1545126693.009 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (a) (/ 1 (* -1 (- (/ (/ PI 2) a) (- (/ (/ PI 2) a) (/ (acos a) a)))))) 1545126693.010 * * * * [misc]progress: [ 42 / 77 ] simplifiying candidate # 1545126693.010 * * * * [misc]progress: [ 43 / 77 ] simplifiying candidate # 1545126693.010 * * * * [misc]progress: [ 44 / 77 ] simplifiying candidate # 1545126693.010 * * * * [misc]progress: [ 45 / 77 ] simplifiying candidate # 1545126693.010 * [enter]simplify: Simplifying (* (cbrt (asin a)) (cbrt (asin a))) 1545126693.010 * * [misc]simplify: iters left: 4 (4 enodes) 1545126693.010 * [exit]simplify: Simplified to (* (cbrt (asin a)) (cbrt (asin a))) 1545126693.010 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (a) (/ 1 (* -1 (- (/ (/ PI 2) a) (/ (* (cbrt (asin a)) (cbrt (asin a))) (/ a (cbrt (asin a)))))))) 1545126693.010 * * * * [misc]progress: [ 46 / 77 ] simplifiying candidate # 1545126693.011 * [enter]simplify: Simplifying (sqrt (asin a)) 1545126693.011 * * [misc]simplify: iters left: 2 (3 enodes) 1545126693.011 * [exit]simplify: Simplified to (sqrt (asin a)) 1545126693.011 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (a) (/ 1 (* -1 (- (/ (/ PI 2) a) (/ (sqrt (asin a)) (/ a (sqrt (asin a)))))))) 1545126693.011 * * * * [misc]progress: [ 47 / 77 ] simplifiying candidate # 1545126693.011 * * * * [misc]progress: [ 48 / 77 ] simplifiying candidate # 1545126693.011 * [enter]simplify: Simplifying (/ (exp (/ (/ PI 2) a)) (exp (/ (asin a) a))) 1545126693.011 * * [misc]simplify: iters left: 6 (10 enodes) 1545126693.013 * * [misc]simplify: iters left: 5 (14 enodes) 1545126693.015 * * [misc]simplify: iters left: 4 (19 enodes) 1545126693.017 * * [misc]simplify: iters left: 3 (26 enodes) 1545126693.021 * * [misc]simplify: iters left: 2 (29 enodes) 1545126693.024 * * [misc]simplify: iters left: 1 (35 enodes) 1545126693.029 * [exit]simplify: Simplified to (exp (- (/ (/ PI 2) a) (/ (asin a) a))) 1545126693.029 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (log (exp (- (/ (/ PI 2) a) (/ (asin a) a))))))) 1545126693.029 * * * * [misc]progress: [ 49 / 77 ] simplifiying candidate # 1545126693.029 * * * * [misc]progress: [ 50 / 77 ] simplifiying candidate # 1545126693.029 * * * * [misc]progress: [ 51 / 77 ] simplifiying candidate # 1545126693.029 * * * * [misc]progress: [ 52 / 77 ] simplifiying candidate # 1545126693.029 * * * * [misc]progress: [ 53 / 77 ] simplifiying candidate # 1545126693.029 * * * * [misc]progress: [ 54 / 77 ] simplifiying candidate # 1545126693.029 * * * * [misc]progress: [ 55 / 77 ] simplifiying candidate # 1545126693.030 * [enter]simplify: Simplifying (- (/ PI 2) (asin a)) 1545126693.030 * * [misc]simplify: iters left: 4 (6 enodes) 1545126693.030 * * [misc]simplify: iters left: 3 (8 enodes) 1545126693.031 * * [misc]simplify: iters left: 2 (9 enodes) 1545126693.033 * [exit]simplify: Simplified to (- (/ PI 2) (asin a)) 1545126693.033 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (/ (- (/ PI 2) (asin a)) a)))) 1545126693.033 * * * * [misc]progress: [ 56 / 77 ] simplifiying candidate # 1545126693.033 * [enter]simplify: Simplifying (- (* (/ PI 2) a) (* a (asin a))) 1545126693.033 * * [misc]simplify: iters left: 6 (8 enodes) 1545126693.034 * * [misc]simplify: iters left: 5 (14 enodes) 1545126693.037 * * [misc]simplify: iters left: 4 (27 enodes) 1545126693.045 * * [misc]simplify: iters left: 3 (32 enodes) 1545126693.053 * [exit]simplify: Simplified to (* (- (/ PI 2) (asin a)) a) 1545126693.053 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (/ (* (- (/ PI 2) (asin a)) a) (* a a))))) 1545126693.054 * [enter]simplify: Simplifying (* a a) 1545126693.054 * * [misc]simplify: iters left: 2 (2 enodes) 1545126693.054 * [exit]simplify: Simplified to (* a a) 1545126693.054 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (/ (* (- (/ PI 2) (asin a)) a) (* a a))))) 1545126693.054 * * * * [misc]progress: [ 57 / 77 ] simplifiying candidate # 1545126693.055 * * * * [misc]progress: [ 58 / 77 ] simplifiying candidate # 1545126693.055 * * * * [misc]progress: [ 59 / 77 ] simplifiying candidate # 1545126693.055 * * * * [misc]progress: [ 60 / 77 ] simplifiying candidate # 1545126693.055 * * * * [misc]progress: [ 61 / 77 ] simplifiying candidate # 1545126693.055 * [enter]simplify: Simplifying (+ (sqrt (/ (/ PI 2) a)) (sqrt (/ (asin a) a))) 1545126693.055 * * [misc]simplify: iters left: 6 (10 enodes) 1545126693.058 * * [misc]simplify: iters left: 5 (13 enodes) 1545126693.062 * * [misc]simplify: iters left: 4 (16 enodes) 1545126693.067 * [exit]simplify: Simplified to (+ (sqrt (/ (/ PI 2) a)) (sqrt (/ (asin a) a))) 1545126693.067 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (* (+ (sqrt (/ (/ PI 2) a)) (sqrt (/ (asin a) a))) (- (sqrt (/ (/ PI 2) a)) (sqrt (/ (asin a) a))))))) 1545126693.067 * [enter]simplify: Simplifying (- (sqrt (/ (/ PI 2) a)) (sqrt (/ (asin a) a))) 1545126693.067 * * [misc]simplify: iters left: 6 (10 enodes) 1545126693.070 * * [misc]simplify: iters left: 5 (14 enodes) 1545126693.074 * * [misc]simplify: iters left: 4 (18 enodes) 1545126693.080 * [exit]simplify: Simplified to (- (sqrt (/ (/ PI 2) a)) (sqrt (/ (asin a) a))) 1545126693.080 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (* (+ (sqrt (/ (/ PI 2) a)) (sqrt (/ (asin a) a))) (- (sqrt (/ (/ PI 2) a)) (sqrt (/ (asin a) a))))))) 1545126693.080 * * * * [misc]progress: [ 62 / 77 ] simplifiying candidate # 1545126693.080 * [enter]simplify: Simplifying (- (/ (/ PI 2) a) (/ (asin a) a)) 1545126693.080 * * [misc]simplify: iters left: 6 (8 enodes) 1545126693.083 * * [misc]simplify: iters left: 5 (12 enodes) 1545126693.086 * * [misc]simplify: iters left: 4 (18 enodes) 1545126693.091 * [exit]simplify: Simplified to (- (/ (/ PI 2) a) (/ (asin a) a)) 1545126693.091 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (* 1 (- (/ (/ PI 2) a) (/ (asin a) a)))))) 1545126693.091 * * * * [misc]progress: [ 63 / 77 ] simplifiying candidate # 1545126693.091 * [enter]simplify: Simplifying (/ 1 a) 1545126693.091 * * [misc]simplify: iters left: 2 (3 enodes) 1545126693.092 * * [misc]simplify: iters left: 1 (5 enodes) 1545126693.094 * [exit]simplify: Simplified to (/ 1 a) 1545126693.094 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (* (/ 1 a) (- (/ PI 2) (asin a)))))) 1545126693.094 * [enter]simplify: Simplifying (- (/ PI 2) (asin a)) 1545126693.094 * * [misc]simplify: iters left: 4 (6 enodes) 1545126693.096 * * [misc]simplify: iters left: 3 (8 enodes) 1545126693.098 * * [misc]simplify: iters left: 2 (9 enodes) 1545126693.100 * [exit]simplify: Simplified to (- (/ PI 2) (asin a)) 1545126693.100 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (* (/ 1 a) (- (/ PI 2) (asin a)))))) 1545126693.100 * * * * [misc]progress: [ 64 / 77 ] simplifiying candidate # 1545126693.100 * [enter]simplify: Simplifying (/ (acos a) a) 1545126693.100 * * [misc]simplify: iters left: 3 (3 enodes) 1545126693.101 * [exit]simplify: Simplified to (/ (acos a) a) 1545126693.101 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI 2) a) (/ (/ PI 2) a)) (/ (acos a) a))))) 1545126693.101 * * * * [misc]progress: [ 65 / 77 ] simplifiying candidate # 1545126693.101 * * * * [misc]progress: [ 66 / 77 ] simplifiying candidate # 1545126693.102 * [enter]simplify: Simplifying (* 1/2 (/ PI a)) 1545126693.102 * * [misc]simplify: iters left: 4 (5 enodes) 1545126693.103 * * [misc]simplify: iters left: 3 (8 enodes) 1545126693.105 * * [misc]simplify: iters left: 2 (12 enodes) 1545126693.108 * * [misc]simplify: iters left: 1 (14 enodes) 1545126693.111 * [exit]simplify: Simplified to (* (/ PI a) 1/2) 1545126693.111 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (- (* (/ PI a) 1/2) (/ (asin a) a))))) 1545126693.112 * * * * [misc]progress: [ 67 / 77 ] simplifiying candidate # 1545126693.112 * [enter]simplify: Simplifying (* 1/2 (/ PI a)) 1545126693.112 * * [misc]simplify: iters left: 4 (5 enodes) 1545126693.113 * * [misc]simplify: iters left: 3 (8 enodes) 1545126693.115 * * [misc]simplify: iters left: 2 (12 enodes) 1545126693.118 * * [misc]simplify: iters left: 1 (14 enodes) 1545126693.122 * [exit]simplify: Simplified to (* (/ PI a) 1/2) 1545126693.122 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (- (* (/ PI a) 1/2) (/ (asin a) a))))) 1545126693.122 * * * * [misc]progress: [ 68 / 77 ] simplifiying candidate # 1545126693.123 * [enter]simplify: Simplifying (* 1/2 (/ PI a)) 1545126693.123 * * [misc]simplify: iters left: 4 (5 enodes) 1545126693.124 * * [misc]simplify: iters left: 3 (8 enodes) 1545126693.127 * * [misc]simplify: iters left: 2 (12 enodes) 1545126693.130 * * [misc]simplify: iters left: 1 (14 enodes) 1545126693.133 * [exit]simplify: Simplified to (* (/ PI a) 1/2) 1545126693.133 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (- (* (/ PI a) 1/2) (/ (asin a) a))))) 1545126693.133 * * * * [misc]progress: [ 69 / 77 ] simplifiying candidate # 1545126693.134 * [enter]simplify: Simplifying (* -1 (/ a (- (* 1/2 PI) (asin a)))) 1545126693.134 * * [misc]simplify: iters left: 6 (9 enodes) 1545126693.137 * * [misc]simplify: iters left: 5 (16 enodes) 1545126693.141 * * [misc]simplify: iters left: 4 (22 enodes) 1545126693.146 * * [misc]simplify: iters left: 3 (27 enodes) 1545126693.153 * * [misc]simplify: iters left: 2 (35 enodes) 1545126693.162 * * [misc]simplify: iters left: 1 (45 enodes) 1545126693.176 * [exit]simplify: Simplified to (/ (- a) (- (* 1/2 PI) (asin a))) 1545126693.176 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (- (* 1/2 PI) (asin a)))) 1545126693.176 * * * * [misc]progress: [ 70 / 77 ] simplifiying candidate # 1545126693.176 * [enter]simplify: Simplifying (* -1 (/ a (- (* 1/2 PI) (asin a)))) 1545126693.176 * * [misc]simplify: iters left: 6 (9 enodes) 1545126693.179 * * [misc]simplify: iters left: 5 (16 enodes) 1545126693.183 * * [misc]simplify: iters left: 4 (22 enodes) 1545126693.189 * * [misc]simplify: iters left: 3 (27 enodes) 1545126693.196 * * [misc]simplify: iters left: 2 (35 enodes) 1545126693.204 * * [misc]simplify: iters left: 1 (45 enodes) 1545126693.217 * [exit]simplify: Simplified to (/ (- a) (- (* 1/2 PI) (asin a))) 1545126693.217 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (- (* 1/2 PI) (asin a)))) 1545126693.217 * * * * [misc]progress: [ 71 / 77 ] simplifiying candidate # 1545126693.218 * [enter]simplify: Simplifying (/ a (- (asin a) (* 1/2 PI))) 1545126693.218 * * [misc]simplify: iters left: 6 (7 enodes) 1545126693.220 * * [misc]simplify: iters left: 5 (10 enodes) 1545126693.224 * * [misc]simplify: iters left: 4 (18 enodes) 1545126693.229 * [exit]simplify: Simplified to (/ a (- (asin a) (* 1/2 PI))) 1545126693.229 * [misc]simplify: Simplified (2) to (λ (a) (/ a (- (asin a) (* 1/2 PI)))) 1545126693.229 * * * * [misc]progress: [ 72 / 77 ] simplifiying candidate # 1545126693.229 * [enter]simplify: Simplifying (/ (asin a) a) 1545126693.229 * * [misc]simplify: iters left: 3 (3 enodes) 1545126693.230 * [exit]simplify: Simplified to (/ (asin a) a) 1545126693.230 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (- (/ (/ PI 2) a) (/ (asin a) a))))) 1545126693.230 * * * * [misc]progress: [ 73 / 77 ] simplifiying candidate # 1545126693.230 * [enter]simplify: Simplifying (/ (asin a) a) 1545126693.230 * * [misc]simplify: iters left: 3 (3 enodes) 1545126693.231 * [exit]simplify: Simplified to (/ (asin a) a) 1545126693.231 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (- (/ (/ PI 2) a) (/ (asin a) a))))) 1545126693.231 * * * * [misc]progress: [ 74 / 77 ] simplifiying candidate # 1545126693.232 * [enter]simplify: Simplifying (/ (asin a) a) 1545126693.232 * * [misc]simplify: iters left: 3 (3 enodes) 1545126693.233 * [exit]simplify: Simplified to (/ (asin a) a) 1545126693.233 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (- (/ (/ PI 2) a) (/ (asin a) a))))) 1545126693.233 * * * * [misc]progress: [ 75 / 77 ] simplifiying candidate # 1545126693.233 * [enter]simplify: Simplifying (/ (- (* 1/2 PI) (asin a)) a) 1545126693.233 * * [misc]simplify: iters left: 6 (7 enodes) 1545126693.235 * * [misc]simplify: iters left: 5 (13 enodes) 1545126693.240 * * [misc]simplify: iters left: 4 (20 enodes) 1545126693.245 * * [misc]simplify: iters left: 3 (26 enodes) 1545126693.252 * * [misc]simplify: iters left: 2 (28 enodes) 1545126693.259 * [exit]simplify: Simplified to (/ (- (* 1/2 PI) (asin a)) a) 1545126693.259 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* -1 (/ (- (* 1/2 PI) (asin a)) a)))) 1545126693.259 * * * * [misc]progress: [ 76 / 77 ] simplifiying candidate # 1545126693.259 * [enter]simplify: Simplifying (/ (- (* 1/2 PI) (asin a)) a) 1545126693.260 * * [misc]simplify: iters left: 6 (7 enodes) 1545126693.262 * * [misc]simplify: iters left: 5 (13 enodes) 1545126693.265 * * [misc]simplify: iters left: 4 (20 enodes) 1545126693.272 * * [misc]simplify: iters left: 3 (26 enodes) 1545126693.279 * * [misc]simplify: iters left: 2 (28 enodes) 1545126693.286 * [exit]simplify: Simplified to (/ (- (* 1/2 PI) (asin a)) a) 1545126693.287 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* -1 (/ (- (* 1/2 PI) (asin a)) a)))) 1545126693.287 * * * * [misc]progress: [ 77 / 77 ] simplifiying candidate # 1545126693.287 * [enter]simplify: Simplifying (* -1 (/ (- (asin a) (* 1/2 PI)) a)) 1545126693.287 * * [misc]simplify: iters left: 6 (9 enodes) 1545126693.290 * * [misc]simplify: iters left: 5 (19 enodes) 1545126693.296 * * [misc]simplify: iters left: 4 (44 enodes) 1545126693.304 * * [misc]simplify: iters left: 3 (79 enodes) 1545126693.324 * * [misc]simplify: iters left: 2 (165 enodes) 1545126693.449 * * [misc]simplify: iters left: 1 (334 enodes) 1545126693.751 * [exit]simplify: Simplified to (/ (- (* 1/2 PI) (asin a)) a) 1545126693.751 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* -1 (/ (- (* 1/2 PI) (asin a)) a)))) 1545126693.751 * * * [misc]progress: adding candidates to table 1545126694.618 * [misc]progress: [Phase 3 of 3] Extracting. 1545126694.618 * * [misc]regime: Finding splitpoints for: (# # # # # # # #) 1545126694.619 * * * [misc]regime-changes: Trying 2 branch expressions: (a (/ a (- (acos a)))) 1545126694.619 * * * * [misc]regimes: Trying to branch on a from (# # # # # # # #) 1545126694.672 * * * * [misc]regimes: Trying to branch on (/ a (- (acos a))) from (# # # # # # # #) 1545126694.718 * * * [misc]regime: Found split indices: #