1545132334.019 * [misc]progress: [Phase 1 of 3] Setting up. 1545132334.019 * * * [misc]progress: [1/2] Preparing points 1545132334.019 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545132334.052 * * * * [misc]points: Filtering points with unrepresentable outputs 1545132334.052 * * * * [misc]points: Sampling 123 additional inputs, on iter 1 have 133 / 256 1545132334.069 * * * * [misc]points: Filtering points with unrepresentable outputs 1545132334.069 * * * * [misc]points: Sampling 50 additional inputs, on iter 2 have 206 / 256 1545132334.077 * * * * [misc]points: Filtering points with unrepresentable outputs 1545132334.077 * * * * [misc]points: Sampling 20 additional inputs, on iter 3 have 236 / 256 1545132334.081 * * * * [misc]points: Filtering points with unrepresentable outputs 1545132334.081 * * * * [misc]points: Sampling 9 additional inputs, on iter 4 have 247 / 256 1545132334.083 * * * * [misc]points: Filtering points with unrepresentable outputs 1545132334.083 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 253 / 256 1545132334.085 * * * * [misc]points: Filtering points with unrepresentable outputs 1545132334.085 * * * * [exit]points: Sampled 256 points with exact outputs 1545132334.085 * * * [misc]progress: [2/2] Setting up program. 1545132334.089 * [misc]progress: [Phase 2 of 3] Improving. 1545132334.089 * [enter]simplify: Simplifying (/ a (- (acos a))) 1545132334.089 * * [misc]simplify: iters left: 5 (4 enodes) 1545132334.090 * [exit]simplify: Simplified to (/ a (- (acos a))) 1545132334.098 * * [misc]progress: iteration 1 / 4 1545132334.098 * * * [misc]progress: picking best candidate 1545132334.101 * * * * [misc]pick: Picked # 1545132334.101 * * * [misc]progress: localizing error 1545132334.116 * * * [misc]progress: generating rewritten candidates 1545132334.116 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1545132334.124 * * * [misc]progress: generating series expansions 1545132334.124 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1545132334.124 * [misc]backup-simplify: Simplify (/ a (- (acos a))) into (* -1 (/ a (acos a))) 1545132334.125 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1545132334.125 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1545132334.125 * [misc]taylor: Taking taylor expansion of -1 in a 1545132334.125 * [misc]backup-simplify: Simplify -1 into -1 1545132334.125 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1545132334.125 * [misc]taylor: Taking taylor expansion of a in a 1545132334.125 * [misc]backup-simplify: Simplify 0 into 0 1545132334.125 * [misc]backup-simplify: Simplify 1 into 1 1545132334.125 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545132334.141 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545132334.142 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1545132334.142 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1545132334.142 * [misc]taylor: Taking taylor expansion of -1 in a 1545132334.142 * [misc]backup-simplify: Simplify -1 into -1 1545132334.142 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1545132334.142 * [misc]taylor: Taking taylor expansion of a in a 1545132334.142 * [misc]backup-simplify: Simplify 0 into 0 1545132334.142 * [misc]backup-simplify: Simplify 1 into 1 1545132334.142 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545132334.142 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545132334.142 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1545132334.142 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1545132334.142 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1545132334.142 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1545132334.143 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1545132334.143 * [misc]backup-simplify: Simplify 0 into 0 1545132334.143 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545132334.144 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1545132334.144 * [misc]backup-simplify: Simplify 0 into 0 1545132334.144 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545132334.144 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1545132334.144 * [misc]backup-simplify: Simplify 0 into 0 1545132334.145 * [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 1545132334.145 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1545132334.145 * [misc]backup-simplify: Simplify 0 into 0 1545132334.146 * [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 1545132334.147 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1545132334.147 * [misc]backup-simplify: Simplify 0 into 0 1545132334.147 * [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 1545132334.148 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1545132334.148 * [misc]backup-simplify: Simplify 0 into 0 1545132334.148 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1545132334.148 * [misc]backup-simplify: Simplify (/ (/ 1 a) (- (acos (/ 1 a)))) into (/ -1 (* a (acos (/ 1 a)))) 1545132334.148 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1545132334.148 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1545132334.148 * [misc]taylor: Taking taylor expansion of -1 in a 1545132334.148 * [misc]backup-simplify: Simplify -1 into -1 1545132334.148 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545132334.148 * [misc]taylor: Taking taylor expansion of a in a 1545132334.149 * [misc]backup-simplify: Simplify 0 into 0 1545132334.149 * [misc]backup-simplify: Simplify 1 into 1 1545132334.149 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545132334.149 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545132334.149 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545132334.149 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545132334.149 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545132334.149 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1545132334.149 * [misc]taylor: Taking taylor expansion of -1 in a 1545132334.149 * [misc]backup-simplify: Simplify -1 into -1 1545132334.149 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545132334.149 * [misc]taylor: Taking taylor expansion of a in a 1545132334.149 * [misc]backup-simplify: Simplify 0 into 0 1545132334.149 * [misc]backup-simplify: Simplify 1 into 1 1545132334.149 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545132334.149 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545132334.149 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545132334.150 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545132334.150 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545132334.150 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545132334.150 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1545132334.151 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1545132334.151 * [misc]backup-simplify: Simplify 0 into 0 1545132334.152 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1545132334.153 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545132334.153 * [misc]backup-simplify: Simplify 0 into 0 1545132334.154 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1545132334.154 * [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 1545132334.154 * [misc]backup-simplify: Simplify 0 into 0 1545132334.155 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1545132334.155 * [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 1545132334.155 * [misc]backup-simplify: Simplify 0 into 0 1545132334.156 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1545132334.157 * [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 1545132334.157 * [misc]backup-simplify: Simplify 0 into 0 1545132334.158 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1545132334.158 * [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 1545132334.158 * [misc]backup-simplify: Simplify 0 into 0 1545132334.159 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1545132334.159 * [misc]backup-simplify: Simplify (/ (/ 1 (- a)) (- (acos (/ 1 (- a))))) into (/ 1 (* a (acos (/ -1 a)))) 1545132334.159 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1545132334.159 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1545132334.159 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545132334.159 * [misc]taylor: Taking taylor expansion of a in a 1545132334.159 * [misc]backup-simplify: Simplify 0 into 0 1545132334.159 * [misc]backup-simplify: Simplify 1 into 1 1545132334.159 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545132334.159 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545132334.159 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545132334.159 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545132334.160 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545132334.160 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1545132334.160 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545132334.160 * [misc]taylor: Taking taylor expansion of a in a 1545132334.160 * [misc]backup-simplify: Simplify 0 into 0 1545132334.160 * [misc]backup-simplify: Simplify 1 into 1 1545132334.160 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545132334.160 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545132334.160 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545132334.160 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545132334.160 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545132334.160 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545132334.161 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1545132334.161 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1545132334.161 * [misc]backup-simplify: Simplify 0 into 0 1545132334.161 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1545132334.162 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545132334.162 * [misc]backup-simplify: Simplify 0 into 0 1545132334.162 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1545132334.163 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545132334.163 * [misc]backup-simplify: Simplify 0 into 0 1545132334.163 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1545132334.164 * [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 1545132334.164 * [misc]backup-simplify: Simplify 0 into 0 1545132334.165 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1545132334.165 * [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 1545132334.165 * [misc]backup-simplify: Simplify 0 into 0 1545132334.166 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1545132334.167 * [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 1545132334.167 * [misc]backup-simplify: Simplify 0 into 0 1545132334.167 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1545132334.167 * * * [misc]progress: simplifying candidates 1545132334.167 * * * * [misc]progress: [ 1 / 25 ] simplifiying candidate # 1545132334.167 * * * * [misc]progress: [ 2 / 25 ] simplifiying candidate # 1545132334.167 * * * * [misc]progress: [ 3 / 25 ] simplifiying candidate # 1545132334.167 * * * * [misc]progress: [ 4 / 25 ] simplifiying candidate # 1545132334.167 * * * * [misc]progress: [ 5 / 25 ] simplifiying candidate # 1545132334.167 * * * * [misc]progress: [ 6 / 25 ] simplifiying candidate # 1545132334.167 * * * * [misc]progress: [ 7 / 25 ] simplifiying candidate # 1545132334.167 * * * * [misc]progress: [ 8 / 25 ] simplifiying candidate # 1545132334.167 * * * * [misc]progress: [ 9 / 25 ] simplifiying candidate # 1545132334.168 * * * * [misc]progress: [ 10 / 25 ] simplifiying candidate # 1545132334.168 * * * * [misc]progress: [ 11 / 25 ] simplifiying candidate # 1545132334.168 * * * * [misc]progress: [ 12 / 25 ] simplifiying candidate # 1545132334.168 * * * * [misc]progress: [ 13 / 25 ] simplifiying candidate # 1545132334.168 * [enter]simplify: Simplifying (cbrt (- (acos a))) 1545132334.168 * * [misc]simplify: iters left: 4 (4 enodes) 1545132334.169 * [exit]simplify: Simplified to (cbrt (- (acos a))) 1545132334.169 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (cbrt (- (acos a))))) 1545132334.169 * * * * [misc]progress: [ 14 / 25 ] simplifiying candidate # 1545132334.170 * [enter]simplify: Simplifying (sqrt (- (acos a))) 1545132334.170 * * [misc]simplify: iters left: 4 (4 enodes) 1545132334.171 * [exit]simplify: Simplified to (sqrt (- (acos a))) 1545132334.171 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (sqrt (- (acos a)))) (sqrt (- (acos a))))) 1545132334.171 * * * * [misc]progress: [ 15 / 25 ] simplifiying candidate # 1545132334.172 * [enter]simplify: Simplifying (- (acos a)) 1545132334.172 * * [misc]simplify: iters left: 3 (3 enodes) 1545132334.172 * [exit]simplify: Simplified to (- (acos a)) 1545132334.172 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a 1) (- (acos a)))) 1545132334.172 * * * * [misc]progress: [ 16 / 25 ] simplifiying candidate # 1545132334.172 * [enter]simplify: Simplifying (acos a) 1545132334.172 * * [misc]simplify: iters left: 1 (2 enodes) 1545132334.173 * [exit]simplify: Simplified to (acos a) 1545132334.173 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a -1) (acos a))) 1545132334.173 * * * * [misc]progress: [ 17 / 25 ] simplifiying candidate # 1545132334.173 * [enter]simplify: Simplifying (cbrt (acos a)) 1545132334.173 * * [misc]simplify: iters left: 2 (3 enodes) 1545132334.173 * [exit]simplify: Simplified to (cbrt (acos a)) 1545132334.173 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (- (* (cbrt (acos a)) (cbrt (acos a))))) (cbrt (acos a)))) 1545132334.173 * * * * [misc]progress: [ 18 / 25 ] simplifiying candidate # 1545132334.174 * [enter]simplify: Simplifying (sqrt (acos a)) 1545132334.174 * * [misc]simplify: iters left: 2 (3 enodes) 1545132334.174 * [exit]simplify: Simplified to (sqrt (acos a)) 1545132334.174 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (- (sqrt (acos a)))) (sqrt (acos a)))) 1545132334.174 * * * * [misc]progress: [ 19 / 25 ] simplifiying candidate # 1545132334.174 * [enter]simplify: Simplifying (acos a) 1545132334.174 * * [misc]simplify: iters left: 1 (2 enodes) 1545132334.175 * [exit]simplify: Simplified to (acos a) 1545132334.175 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (- 1)) (acos a))) 1545132334.175 * * * * [misc]progress: [ 20 / 25 ] simplifiying candidate # 1545132334.175 * [enter]simplify: Simplifying (- (cbrt (acos a))) 1545132334.175 * * [misc]simplify: iters left: 4 (4 enodes) 1545132334.175 * [exit]simplify: Simplified to (- (cbrt (acos a))) 1545132334.175 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (* (cbrt (acos a)) (cbrt (acos a)))) (- (cbrt (acos a))))) 1545132334.175 * * * * [misc]progress: [ 21 / 25 ] simplifiying candidate # 1545132334.175 * [enter]simplify: Simplifying (- (sqrt (acos a))) 1545132334.176 * * [misc]simplify: iters left: 4 (4 enodes) 1545132334.176 * [exit]simplify: Simplified to (- (sqrt (acos a))) 1545132334.176 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (sqrt (acos a))) (- (sqrt (acos a))))) 1545132334.176 * * * * [misc]progress: [ 22 / 25 ] simplifiying candidate # 1545132334.176 * [enter]simplify: Simplifying (- (acos a)) 1545132334.176 * * [misc]simplify: iters left: 3 (3 enodes) 1545132334.177 * [exit]simplify: Simplified to (- (acos a)) 1545132334.177 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a 1) (- (acos a)))) 1545132334.177 * * * * [misc]progress: [ 23 / 25 ] simplifiying candidate # 1545132334.177 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545132334.177 * * [misc]simplify: iters left: 5 (5 enodes) 1545132334.178 * * [misc]simplify: iters left: 4 (9 enodes) 1545132334.179 * * [misc]simplify: iters left: 3 (14 enodes) 1545132334.181 * * [misc]simplify: iters left: 2 (16 enodes) 1545132334.182 * * [misc]simplify: iters left: 1 (18 enodes) 1545132334.184 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545132334.184 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545132334.184 * * * * [misc]progress: [ 24 / 25 ] simplifiying candidate # 1545132334.185 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545132334.185 * * [misc]simplify: iters left: 5 (5 enodes) 1545132334.185 * * [misc]simplify: iters left: 4 (9 enodes) 1545132334.187 * * [misc]simplify: iters left: 3 (14 enodes) 1545132334.188 * * [misc]simplify: iters left: 2 (16 enodes) 1545132334.190 * * [misc]simplify: iters left: 1 (18 enodes) 1545132334.192 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545132334.192 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545132334.192 * * * * [misc]progress: [ 25 / 25 ] simplifiying candidate # 1545132334.192 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545132334.192 * * [misc]simplify: iters left: 5 (5 enodes) 1545132334.193 * * [misc]simplify: iters left: 4 (9 enodes) 1545132334.195 * * [misc]simplify: iters left: 3 (14 enodes) 1545132334.196 * * [misc]simplify: iters left: 2 (16 enodes) 1545132334.198 * * [misc]simplify: iters left: 1 (18 enodes) 1545132334.200 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545132334.200 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545132334.200 * * * [misc]progress: adding candidates to table 1545132334.350 * * [misc]progress: iteration 2 / 4 1545132334.350 * * * [misc]progress: picking best candidate 1545132334.359 * * * * [misc]pick: Picked # 1545132334.359 * * * [misc]progress: localizing error 1545132334.364 * * * [misc]progress: generating rewritten candidates 1545132334.364 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2) 1545132334.368 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2) 1545132334.372 * * * [misc]progress: generating series expansions 1545132334.372 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2) 1545132334.372 * [misc]backup-simplify: Simplify (/ (- (acos a)) a) into (* -1 (/ (acos a) a)) 1545132334.372 * [misc]approximate: Taking taylor expansion of (* -1 (/ (acos a) a)) in (a) around 0 1545132334.372 * [misc]taylor: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 1545132334.372 * [misc]taylor: Taking taylor expansion of -1 in a 1545132334.372 * [misc]backup-simplify: Simplify -1 into -1 1545132334.372 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1545132334.372 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545132334.372 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545132334.372 * [misc]taylor: Taking taylor expansion of a in a 1545132334.372 * [misc]backup-simplify: Simplify 0 into 0 1545132334.372 * [misc]backup-simplify: Simplify 1 into 1 1545132334.372 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1545132334.372 * [misc]taylor: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 1545132334.372 * [misc]taylor: Taking taylor expansion of -1 in a 1545132334.372 * [misc]backup-simplify: Simplify -1 into -1 1545132334.372 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1545132334.372 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545132334.372 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545132334.372 * [misc]taylor: Taking taylor expansion of a in a 1545132334.372 * [misc]backup-simplify: Simplify 0 into 0 1545132334.372 * [misc]backup-simplify: Simplify 1 into 1 1545132334.372 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1545132334.372 * [misc]backup-simplify: Simplify (* -1 (acos a)) into (* -1 (acos a)) 1545132334.372 * [misc]backup-simplify: Simplify (* -1 (acos a)) into (* -1 (acos a)) 1545132334.373 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)))) into 0 1545132334.373 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (acos a))) into 0 1545132334.373 * [misc]backup-simplify: Simplify 0 into 0 1545132334.373 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132334.373 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (acos a)))) into 0 1545132334.373 * [misc]backup-simplify: Simplify 0 into 0 1545132334.374 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132334.374 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a))))) into 0 1545132334.374 * [misc]backup-simplify: Simplify 0 into 0 1545132334.375 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132334.375 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a)))))) into 0 1545132334.375 * [misc]backup-simplify: Simplify 0 into 0 1545132334.376 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132334.376 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a))))))) into 0 1545132334.377 * [misc]backup-simplify: Simplify 0 into 0 1545132334.378 * [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 1545132334.378 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a)))))))) into 0 1545132334.378 * [misc]backup-simplify: Simplify 0 into 0 1545132334.378 * [misc]backup-simplify: Simplify (* (* -1 (acos a)) (/ 1 a)) into (* -1 (/ (acos a) a)) 1545132334.379 * [misc]backup-simplify: Simplify (/ (- (acos (/ 1 a))) (/ 1 a)) into (* -1 (* a (acos (/ 1 a)))) 1545132334.379 * [misc]approximate: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in (a) around 0 1545132334.379 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in a 1545132334.379 * [misc]taylor: Taking taylor expansion of -1 in a 1545132334.379 * [misc]backup-simplify: Simplify -1 into -1 1545132334.379 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545132334.379 * [misc]taylor: Taking taylor expansion of a in a 1545132334.379 * [misc]backup-simplify: Simplify 0 into 0 1545132334.379 * [misc]backup-simplify: Simplify 1 into 1 1545132334.379 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545132334.379 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545132334.379 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in a 1545132334.379 * [misc]taylor: Taking taylor expansion of -1 in a 1545132334.379 * [misc]backup-simplify: Simplify -1 into -1 1545132334.379 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545132334.379 * [misc]taylor: Taking taylor expansion of a in a 1545132334.379 * [misc]backup-simplify: Simplify 0 into 0 1545132334.379 * [misc]backup-simplify: Simplify 1 into 1 1545132334.379 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545132334.379 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545132334.379 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545132334.380 * [misc]backup-simplify: Simplify (* -1 0) into 0 1545132334.380 * [misc]backup-simplify: Simplify 0 into 0 1545132334.380 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545132334.380 * [misc]backup-simplify: Simplify (+ (* -1 (acos (/ 1 a))) (* 0 0)) into (- (acos (/ 1 a))) 1545132334.380 * [misc]backup-simplify: Simplify (- (acos (/ 1 a))) into (- (acos (/ 1 a))) 1545132334.381 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1545132334.381 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))) into 0 1545132334.381 * [misc]backup-simplify: Simplify 0 into 0 1545132334.381 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1545132334.382 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))) into 0 1545132334.382 * [misc]backup-simplify: Simplify 0 into 0 1545132334.382 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1545132334.383 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))))) into 0 1545132334.383 * [misc]backup-simplify: Simplify 0 into 0 1545132334.386 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1545132334.387 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))))) into 0 1545132334.387 * [misc]backup-simplify: Simplify 0 into 0 1545132334.388 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1545132334.389 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))))))) into 0 1545132334.389 * [misc]backup-simplify: Simplify 0 into 0 1545132334.390 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1545132334.391 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))))))) into 0 1545132334.391 * [misc]backup-simplify: Simplify 0 into 0 1545132334.391 * [misc]backup-simplify: Simplify (* (- (acos (/ 1 (/ 1 a)))) (/ 1 a)) into (* -1 (/ (acos a) a)) 1545132334.391 * [misc]backup-simplify: Simplify (/ (- (acos (/ 1 (- a)))) (/ 1 (- a))) into (* a (acos (/ -1 a))) 1545132334.391 * [misc]approximate: Taking taylor expansion of (* a (acos (/ -1 a))) in (a) around 0 1545132334.391 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545132334.391 * [misc]taylor: Taking taylor expansion of a in a 1545132334.391 * [misc]backup-simplify: Simplify 0 into 0 1545132334.391 * [misc]backup-simplify: Simplify 1 into 1 1545132334.391 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545132334.392 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545132334.392 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545132334.392 * [misc]taylor: Taking taylor expansion of a in a 1545132334.392 * [misc]backup-simplify: Simplify 0 into 0 1545132334.392 * [misc]backup-simplify: Simplify 1 into 1 1545132334.392 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545132334.392 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545132334.392 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545132334.392 * [misc]backup-simplify: Simplify 0 into 0 1545132334.392 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545132334.392 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545132334.393 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1545132334.393 * [misc]backup-simplify: Simplify 0 into 0 1545132334.393 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1545132334.393 * [misc]backup-simplify: Simplify 0 into 0 1545132334.394 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1545132334.394 * [misc]backup-simplify: Simplify 0 into 0 1545132334.395 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1545132334.395 * [misc]backup-simplify: Simplify 0 into 0 1545132334.395 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1545132334.395 * [misc]backup-simplify: Simplify 0 into 0 1545132334.396 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1545132334.396 * [misc]backup-simplify: Simplify 0 into 0 1545132334.397 * [misc]backup-simplify: Simplify (* (acos (/ -1 (/ 1 (- a)))) (/ 1 (- a))) into (* -1 (/ (acos a) a)) 1545132334.397 * * * * [misc]progress: [ 2 / 2 ] generating series at (2) 1545132334.397 * [misc]backup-simplify: Simplify (/ 1 (/ (- (acos a)) a)) into (* -1 (/ a (acos a))) 1545132334.397 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1545132334.397 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1545132334.397 * [misc]taylor: Taking taylor expansion of -1 in a 1545132334.397 * [misc]backup-simplify: Simplify -1 into -1 1545132334.397 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1545132334.397 * [misc]taylor: Taking taylor expansion of a in a 1545132334.397 * [misc]backup-simplify: Simplify 0 into 0 1545132334.397 * [misc]backup-simplify: Simplify 1 into 1 1545132334.397 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545132334.397 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545132334.397 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1545132334.397 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1545132334.397 * [misc]taylor: Taking taylor expansion of -1 in a 1545132334.397 * [misc]backup-simplify: Simplify -1 into -1 1545132334.397 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1545132334.397 * [misc]taylor: Taking taylor expansion of a in a 1545132334.397 * [misc]backup-simplify: Simplify 0 into 0 1545132334.397 * [misc]backup-simplify: Simplify 1 into 1 1545132334.397 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545132334.397 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545132334.397 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1545132334.398 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1545132334.398 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1545132334.398 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1545132334.398 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1545132334.398 * [misc]backup-simplify: Simplify 0 into 0 1545132334.398 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545132334.399 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1545132334.399 * [misc]backup-simplify: Simplify 0 into 0 1545132334.399 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545132334.399 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1545132334.399 * [misc]backup-simplify: Simplify 0 into 0 1545132334.400 * [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 1545132334.400 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1545132334.400 * [misc]backup-simplify: Simplify 0 into 0 1545132334.401 * [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 1545132334.402 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1545132334.402 * [misc]backup-simplify: Simplify 0 into 0 1545132334.402 * [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 1545132334.403 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1545132334.403 * [misc]backup-simplify: Simplify 0 into 0 1545132334.403 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1545132334.403 * [misc]backup-simplify: Simplify (/ 1 (/ (- (acos (/ 1 a))) (/ 1 a))) into (/ -1 (* a (acos (/ 1 a)))) 1545132334.403 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1545132334.403 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1545132334.403 * [misc]taylor: Taking taylor expansion of -1 in a 1545132334.403 * [misc]backup-simplify: Simplify -1 into -1 1545132334.403 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545132334.403 * [misc]taylor: Taking taylor expansion of a in a 1545132334.403 * [misc]backup-simplify: Simplify 0 into 0 1545132334.403 * [misc]backup-simplify: Simplify 1 into 1 1545132334.403 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545132334.403 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545132334.404 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545132334.404 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545132334.404 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545132334.404 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1545132334.404 * [misc]taylor: Taking taylor expansion of -1 in a 1545132334.404 * [misc]backup-simplify: Simplify -1 into -1 1545132334.404 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545132334.404 * [misc]taylor: Taking taylor expansion of a in a 1545132334.404 * [misc]backup-simplify: Simplify 0 into 0 1545132334.404 * [misc]backup-simplify: Simplify 1 into 1 1545132334.404 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545132334.404 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545132334.404 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545132334.404 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545132334.405 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545132334.405 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545132334.405 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1545132334.405 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1545132334.405 * [misc]backup-simplify: Simplify 0 into 0 1545132334.406 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1545132334.406 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545132334.406 * [misc]backup-simplify: Simplify 0 into 0 1545132334.407 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1545132334.407 * [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 1545132334.407 * [misc]backup-simplify: Simplify 0 into 0 1545132334.408 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1545132334.409 * [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 1545132334.409 * [misc]backup-simplify: Simplify 0 into 0 1545132334.409 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1545132334.410 * [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 1545132334.410 * [misc]backup-simplify: Simplify 0 into 0 1545132334.411 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1545132334.411 * [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 1545132334.412 * [misc]backup-simplify: Simplify 0 into 0 1545132334.412 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1545132334.412 * [misc]backup-simplify: Simplify (/ 1 (/ (- (acos (/ 1 (- a)))) (/ 1 (- a)))) into (/ 1 (* a (acos (/ -1 a)))) 1545132334.412 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1545132334.412 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1545132334.412 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545132334.412 * [misc]taylor: Taking taylor expansion of a in a 1545132334.412 * [misc]backup-simplify: Simplify 0 into 0 1545132334.412 * [misc]backup-simplify: Simplify 1 into 1 1545132334.412 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545132334.412 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545132334.412 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545132334.412 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545132334.413 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545132334.413 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1545132334.413 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545132334.413 * [misc]taylor: Taking taylor expansion of a in a 1545132334.413 * [misc]backup-simplify: Simplify 0 into 0 1545132334.413 * [misc]backup-simplify: Simplify 1 into 1 1545132334.413 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545132334.413 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545132334.413 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545132334.413 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545132334.413 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545132334.413 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545132334.414 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1545132334.414 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1545132334.414 * [misc]backup-simplify: Simplify 0 into 0 1545132334.414 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1545132334.415 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545132334.415 * [misc]backup-simplify: Simplify 0 into 0 1545132334.415 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1545132334.416 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545132334.416 * [misc]backup-simplify: Simplify 0 into 0 1545132334.416 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1545132334.417 * [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 1545132334.417 * [misc]backup-simplify: Simplify 0 into 0 1545132334.418 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1545132334.418 * [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 1545132334.418 * [misc]backup-simplify: Simplify 0 into 0 1545132334.419 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1545132334.420 * [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 1545132334.420 * [misc]backup-simplify: Simplify 0 into 0 1545132334.420 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1545132334.420 * * * [misc]progress: simplifying candidates 1545132334.420 * * * * [misc]progress: [ 1 / 50 ] simplifiying candidate # 1545132334.420 * * * * [misc]progress: [ 2 / 50 ] simplifiying candidate # 1545132334.420 * * * * [misc]progress: [ 3 / 50 ] simplifiying candidate # 1545132334.420 * * * * [misc]progress: [ 4 / 50 ] simplifiying candidate # 1545132334.420 * * * * [misc]progress: [ 5 / 50 ] simplifiying candidate # 1545132334.420 * * * * [misc]progress: [ 6 / 50 ] simplifiying candidate # 1545132334.420 * * * * [misc]progress: [ 7 / 50 ] simplifiying candidate # 1545132334.420 * * * * [misc]progress: [ 8 / 50 ] simplifiying candidate # 1545132334.420 * * * * [misc]progress: [ 9 / 50 ] simplifiying candidate # 1545132334.420 * * * * [misc]progress: [ 10 / 50 ] simplifiying candidate # 1545132334.421 * [enter]simplify: Simplifying (/ 0 a) 1545132334.421 * * [misc]simplify: iters left: 2 (3 enodes) 1545132334.422 * [exit]simplify: Simplified to 0 1545132334.422 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (- 0 (/ (acos a) a)))) 1545132334.422 * * * * [misc]progress: [ 11 / 50 ] simplifiying candidate # 1545132334.422 * * * * [misc]progress: [ 12 / 50 ] simplifiying candidate # 1545132334.422 * * * * [misc]progress: [ 13 / 50 ] simplifiying candidate # 1545132334.422 * * * * [misc]progress: [ 14 / 50 ] simplifiying candidate # 1545132334.422 * [enter]simplify: Simplifying (/ (acos a) a) 1545132334.422 * * [misc]simplify: iters left: 3 (3 enodes) 1545132334.423 * [exit]simplify: Simplified to (/ (acos a) a) 1545132334.423 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (- (/ (acos a) a)))) 1545132334.423 * * * * [misc]progress: [ 15 / 50 ] simplifiying candidate # 1545132334.423 * [enter]simplify: Simplifying (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1545132334.424 * * [misc]simplify: iters left: 6 (5 enodes) 1545132334.425 * [exit]simplify: Simplified to (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1545132334.425 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (/ a (cbrt (- (acos a))))))) 1545132334.425 * * * * [misc]progress: [ 16 / 50 ] simplifiying candidate # 1545132334.425 * [enter]simplify: Simplifying (sqrt (- (acos a))) 1545132334.425 * * [misc]simplify: iters left: 4 (4 enodes) 1545132334.427 * [exit]simplify: Simplified to (sqrt (- (acos a))) 1545132334.427 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (sqrt (- (acos a))) (/ a (sqrt (- (acos a))))))) 1545132334.427 * * * * [misc]progress: [ 17 / 50 ] simplifiying candidate # 1545132334.427 * * * * [misc]progress: [ 18 / 50 ] simplifiying candidate # 1545132334.427 * * * * [misc]progress: [ 19 / 50 ] simplifiying candidate # 1545132334.427 * [enter]simplify: Simplifying (- (* (cbrt (acos a)) (cbrt (acos a)))) 1545132334.427 * * [misc]simplify: iters left: 6 (5 enodes) 1545132334.429 * * [misc]simplify: iters left: 5 (8 enodes) 1545132334.431 * [exit]simplify: Simplified to (* (cbrt (acos a)) (- (cbrt (acos a)))) 1545132334.431 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (* (cbrt (acos a)) (- (cbrt (acos a)))) (/ a (cbrt (acos a)))))) 1545132334.431 * * * * [misc]progress: [ 20 / 50 ] simplifiying candidate # 1545132334.431 * [enter]simplify: Simplifying (- (sqrt (acos a))) 1545132334.431 * * [misc]simplify: iters left: 4 (4 enodes) 1545132334.433 * [exit]simplify: Simplified to (- (sqrt (acos a))) 1545132334.433 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (- (sqrt (acos a))) (/ a (sqrt (acos a)))))) 1545132334.433 * * * * [misc]progress: [ 21 / 50 ] simplifiying candidate # 1545132334.433 * [enter]simplify: Simplifying (- 1) 1545132334.433 * * [misc]simplify: iters left: 2 (2 enodes) 1545132334.434 * * [misc]simplify: iters left: 1 (5 enodes) 1545132334.435 * [exit]simplify: Simplified to -1 1545132334.435 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ -1 (/ a (acos a))))) 1545132334.435 * * * * [misc]progress: [ 22 / 50 ] simplifiying candidate # 1545132334.436 * [enter]simplify: Simplifying (* (cbrt (acos a)) (cbrt (acos a))) 1545132334.436 * * [misc]simplify: iters left: 4 (4 enodes) 1545132334.437 * [exit]simplify: Simplified to (* (cbrt (acos a)) (cbrt (acos a))) 1545132334.437 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (/ a (- (cbrt (acos a))))))) 1545132334.437 * * * * [misc]progress: [ 23 / 50 ] simplifiying candidate # 1545132334.437 * [enter]simplify: Simplifying (sqrt (acos a)) 1545132334.437 * * [misc]simplify: iters left: 2 (3 enodes) 1545132334.438 * [exit]simplify: Simplified to (sqrt (acos a)) 1545132334.438 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (sqrt (acos a)) (/ a (- (sqrt (acos a))))))) 1545132334.438 * * * * [misc]progress: [ 24 / 50 ] simplifiying candidate # 1545132334.438 * * * * [misc]progress: [ 25 / 50 ] simplifiying candidate # 1545132334.438 * * * * [misc]progress: [ 26 / 50 ] simplifiying candidate # 1545132334.438 * * * * [misc]progress: [ 27 / 50 ] simplifiying candidate # 1545132334.438 * * * * [misc]progress: [ 28 / 50 ] simplifiying candidate # 1545132334.439 * [enter]simplify: Simplifying (- 1) 1545132334.439 * * [misc]simplify: iters left: 2 (2 enodes) 1545132334.440 * * [misc]simplify: iters left: 1 (5 enodes) 1545132334.441 * [exit]simplify: Simplified to -1 1545132334.441 * [misc]simplify: Simplified (2 2) to (λ (a) (pow (/ (- (acos a)) a) -1)) 1545132334.441 * * * * [misc]progress: [ 29 / 50 ] simplifiying candidate # 1545132334.442 * * * * [misc]progress: [ 30 / 50 ] simplifiying candidate # 1545132334.442 * * * * [misc]progress: [ 31 / 50 ] simplifiying candidate # 1545132334.442 * * * * [misc]progress: [ 32 / 50 ] simplifiying candidate # 1545132334.442 * * * * [misc]progress: [ 33 / 50 ] simplifiying candidate # 1545132334.442 * * * * [misc]progress: [ 34 / 50 ] simplifiying candidate # 1545132334.442 * * * * [misc]progress: [ 35 / 50 ] simplifiying candidate # 1545132334.442 * * * * [misc]progress: [ 36 / 50 ] simplifiying candidate # 1545132334.442 * * * * [misc]progress: [ 37 / 50 ] simplifiying candidate # 1545132334.442 * * * * [misc]progress: [ 38 / 50 ] simplifiying candidate # 1545132334.442 * * * * [misc]progress: [ 39 / 50 ] simplifiying candidate # 1545132334.442 * * * * [misc]progress: [ 40 / 50 ] simplifiying candidate # 1545132334.442 * [enter]simplify: Simplifying (cbrt (/ (- (acos a)) a)) 1545132334.442 * * [misc]simplify: iters left: 6 (5 enodes) 1545132334.444 * * [misc]simplify: iters left: 5 (7 enodes) 1545132334.446 * [exit]simplify: Simplified to (cbrt (- (/ (acos a) a))) 1545132334.446 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (* (cbrt (/ (- (acos a)) a)) (cbrt (/ (- (acos a)) a)))) (cbrt (- (/ (acos a) a))))) 1545132334.446 * * * * [misc]progress: [ 41 / 50 ] simplifiying candidate # 1545132334.446 * [enter]simplify: Simplifying (sqrt (/ (- (acos a)) a)) 1545132334.446 * * [misc]simplify: iters left: 6 (5 enodes) 1545132334.447 * * [misc]simplify: iters left: 5 (7 enodes) 1545132334.448 * [exit]simplify: Simplified to (sqrt (- (/ (acos a) a))) 1545132334.448 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (sqrt (/ (- (acos a)) a))) (sqrt (- (/ (acos a) a))))) 1545132334.448 * * * * [misc]progress: [ 42 / 50 ] simplifiying candidate # 1545132334.449 * [enter]simplify: Simplifying (/ (- (acos a)) a) 1545132334.449 * * [misc]simplify: iters left: 5 (4 enodes) 1545132334.449 * * [misc]simplify: iters left: 4 (6 enodes) 1545132334.450 * [exit]simplify: Simplified to (- (/ (acos a) a)) 1545132334.450 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 1) (- (/ (acos a) a)))) 1545132334.450 * * * * [misc]progress: [ 43 / 50 ] simplifiying candidate # 1545132334.450 * [enter]simplify: Simplifying (/ 1 a) 1545132334.450 * * [misc]simplify: iters left: 2 (3 enodes) 1545132334.451 * * [misc]simplify: iters left: 1 (5 enodes) 1545132334.451 * [exit]simplify: Simplified to (/ 1 a) 1545132334.451 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (- (acos a))) (/ 1 a))) 1545132334.451 * * * * [misc]progress: [ 44 / 50 ] simplifiying candidate # 1545132334.451 * * * * [misc]progress: [ 45 / 50 ] simplifiying candidate # 1545132334.451 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1545132334.452 * * [misc]simplify: iters left: 5 (5 enodes) 1545132334.452 * * [misc]simplify: iters left: 4 (9 enodes) 1545132334.454 * * [misc]simplify: iters left: 3 (14 enodes) 1545132334.455 * * [misc]simplify: iters left: 2 (16 enodes) 1545132334.457 * * [misc]simplify: iters left: 1 (18 enodes) 1545132334.459 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1545132334.459 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1545132334.459 * * * * [misc]progress: [ 46 / 50 ] simplifiying candidate # 1545132334.459 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1545132334.459 * * [misc]simplify: iters left: 5 (5 enodes) 1545132334.460 * * [misc]simplify: iters left: 4 (9 enodes) 1545132334.462 * * [misc]simplify: iters left: 3 (14 enodes) 1545132334.463 * * [misc]simplify: iters left: 2 (16 enodes) 1545132334.465 * * [misc]simplify: iters left: 1 (18 enodes) 1545132334.467 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1545132334.467 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1545132334.467 * * * * [misc]progress: [ 47 / 50 ] simplifiying candidate # 1545132334.468 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1545132334.468 * * [misc]simplify: iters left: 5 (5 enodes) 1545132334.468 * * [misc]simplify: iters left: 4 (9 enodes) 1545132334.470 * * [misc]simplify: iters left: 3 (14 enodes) 1545132334.471 * * [misc]simplify: iters left: 2 (16 enodes) 1545132334.473 * * [misc]simplify: iters left: 1 (18 enodes) 1545132334.475 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1545132334.475 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1545132334.475 * * * * [misc]progress: [ 48 / 50 ] simplifiying candidate # 1545132334.475 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545132334.476 * * [misc]simplify: iters left: 5 (5 enodes) 1545132334.476 * * [misc]simplify: iters left: 4 (9 enodes) 1545132334.478 * * [misc]simplify: iters left: 3 (14 enodes) 1545132334.479 * * [misc]simplify: iters left: 2 (16 enodes) 1545132334.481 * * [misc]simplify: iters left: 1 (18 enodes) 1545132334.483 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545132334.483 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545132334.483 * * * * [misc]progress: [ 49 / 50 ] simplifiying candidate # 1545132334.484 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545132334.484 * * [misc]simplify: iters left: 5 (5 enodes) 1545132334.485 * * [misc]simplify: iters left: 4 (9 enodes) 1545132334.488 * * [misc]simplify: iters left: 3 (14 enodes) 1545132334.491 * * [misc]simplify: iters left: 2 (16 enodes) 1545132334.495 * * [misc]simplify: iters left: 1 (18 enodes) 1545132334.502 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545132334.502 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545132334.502 * * * * [misc]progress: [ 50 / 50 ] simplifiying candidate # 1545132334.503 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545132334.503 * * [misc]simplify: iters left: 5 (5 enodes) 1545132334.504 * * [misc]simplify: iters left: 4 (9 enodes) 1545132334.507 * * [misc]simplify: iters left: 3 (14 enodes) 1545132334.509 * * [misc]simplify: iters left: 2 (16 enodes) 1545132334.511 * * [misc]simplify: iters left: 1 (18 enodes) 1545132334.513 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545132334.513 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545132334.513 * * * [misc]progress: adding candidates to table 1545132334.842 * * [misc]progress: iteration 3 / 4 1545132334.842 * * * [misc]progress: picking best candidate 1545132334.856 * * * * [misc]pick: Picked # 1545132334.856 * * * [misc]progress: localizing error 1545132334.865 * * * [misc]progress: generating rewritten candidates 1545132334.865 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2 2) 1545132334.869 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2) 1545132334.884 * * * [misc]progress: generating series expansions 1545132334.884 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2 2) 1545132334.884 * [misc]backup-simplify: Simplify (/ (acos a) a) into (/ (acos a) a) 1545132334.884 * [misc]approximate: Taking taylor expansion of (/ (acos a) a) in (a) around 0 1545132334.884 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1545132334.884 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545132334.884 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545132334.884 * [misc]taylor: Taking taylor expansion of a in a 1545132334.884 * [misc]backup-simplify: Simplify 0 into 0 1545132334.884 * [misc]backup-simplify: Simplify 1 into 1 1545132334.884 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1545132334.884 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1545132334.884 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545132334.885 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545132334.885 * [misc]taylor: Taking taylor expansion of a in a 1545132334.885 * [misc]backup-simplify: Simplify 0 into 0 1545132334.885 * [misc]backup-simplify: Simplify 1 into 1 1545132334.885 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1545132334.885 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545132334.885 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)))) into 0 1545132334.885 * [misc]backup-simplify: Simplify 0 into 0 1545132334.886 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132334.886 * [misc]backup-simplify: Simplify 0 into 0 1545132334.887 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132334.887 * [misc]backup-simplify: Simplify 0 into 0 1545132334.887 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132334.887 * [misc]backup-simplify: Simplify 0 into 0 1545132334.888 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132334.888 * [misc]backup-simplify: Simplify 0 into 0 1545132334.889 * [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 1545132334.890 * [misc]backup-simplify: Simplify 0 into 0 1545132334.890 * [misc]backup-simplify: Simplify (* (acos a) (/ 1 a)) into (/ (acos a) a) 1545132334.890 * [misc]backup-simplify: Simplify (/ (acos (/ 1 a)) (/ 1 a)) into (* a (acos (/ 1 a))) 1545132334.890 * [misc]approximate: Taking taylor expansion of (* a (acos (/ 1 a))) in (a) around 0 1545132334.890 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545132334.890 * [misc]taylor: Taking taylor expansion of a in a 1545132334.890 * [misc]backup-simplify: Simplify 0 into 0 1545132334.890 * [misc]backup-simplify: Simplify 1 into 1 1545132334.890 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545132334.890 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545132334.890 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545132334.890 * [misc]taylor: Taking taylor expansion of a in a 1545132334.890 * [misc]backup-simplify: Simplify 0 into 0 1545132334.890 * [misc]backup-simplify: Simplify 1 into 1 1545132334.890 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545132334.890 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545132334.890 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545132334.890 * [misc]backup-simplify: Simplify 0 into 0 1545132334.891 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545132334.891 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545132334.891 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1545132334.891 * [misc]backup-simplify: Simplify 0 into 0 1545132334.892 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1545132334.892 * [misc]backup-simplify: Simplify 0 into 0 1545132334.892 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1545132334.892 * [misc]backup-simplify: Simplify 0 into 0 1545132334.893 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1545132334.893 * [misc]backup-simplify: Simplify 0 into 0 1545132334.894 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1545132334.894 * [misc]backup-simplify: Simplify 0 into 0 1545132334.895 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1545132334.895 * [misc]backup-simplify: Simplify 0 into 0 1545132334.895 * [misc]backup-simplify: Simplify (* (acos (/ 1 (/ 1 a))) (/ 1 a)) into (/ (acos a) a) 1545132334.895 * [misc]backup-simplify: Simplify (/ (acos (/ 1 (- a))) (/ 1 (- a))) into (* -1 (* a (acos (/ -1 a)))) 1545132334.895 * [misc]approximate: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in (a) around 0 1545132334.895 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in a 1545132334.895 * [misc]taylor: Taking taylor expansion of -1 in a 1545132334.895 * [misc]backup-simplify: Simplify -1 into -1 1545132334.895 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545132334.895 * [misc]taylor: Taking taylor expansion of a in a 1545132334.895 * [misc]backup-simplify: Simplify 0 into 0 1545132334.896 * [misc]backup-simplify: Simplify 1 into 1 1545132334.896 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545132334.896 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545132334.896 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in a 1545132334.896 * [misc]taylor: Taking taylor expansion of -1 in a 1545132334.896 * [misc]backup-simplify: Simplify -1 into -1 1545132334.896 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545132334.896 * [misc]taylor: Taking taylor expansion of a in a 1545132334.896 * [misc]backup-simplify: Simplify 0 into 0 1545132334.896 * [misc]backup-simplify: Simplify 1 into 1 1545132334.896 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545132334.896 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545132334.896 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545132334.896 * [misc]backup-simplify: Simplify (* -1 0) into 0 1545132334.896 * [misc]backup-simplify: Simplify 0 into 0 1545132334.896 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545132334.896 * [misc]backup-simplify: Simplify (+ (* -1 (acos (/ -1 a))) (* 0 0)) into (- (acos (/ -1 a))) 1545132334.896 * [misc]backup-simplify: Simplify (- (acos (/ -1 a))) into (- (acos (/ -1 a))) 1545132334.897 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1545132334.897 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (acos (/ -1 a))) (* 0 0))) into 0 1545132334.897 * [misc]backup-simplify: Simplify 0 into 0 1545132334.897 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1545132334.897 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0)))) into 0 1545132334.897 * [misc]backup-simplify: Simplify 0 into 0 1545132334.898 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1545132334.898 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0))))) into 0 1545132334.898 * [misc]backup-simplify: Simplify 0 into 0 1545132334.899 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1545132334.899 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0)))))) into 0 1545132334.899 * [misc]backup-simplify: Simplify 0 into 0 1545132334.900 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1545132334.900 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0))))))) into 0 1545132334.900 * [misc]backup-simplify: Simplify 0 into 0 1545132334.901 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1545132334.901 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0)))))))) into 0 1545132334.901 * [misc]backup-simplify: Simplify 0 into 0 1545132334.901 * [misc]backup-simplify: Simplify (* (- (acos (/ -1 (/ 1 (- a))))) (/ 1 (- a))) into (/ (acos a) a) 1545132334.901 * * * * [misc]progress: [ 2 / 2 ] generating series at (2) 1545132334.902 * [misc]backup-simplify: Simplify (/ 1 (* -1 (/ (acos a) a))) into (* -1 (/ a (acos a))) 1545132334.902 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1545132334.902 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1545132334.902 * [misc]taylor: Taking taylor expansion of -1 in a 1545132334.902 * [misc]backup-simplify: Simplify -1 into -1 1545132334.902 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1545132334.902 * [misc]taylor: Taking taylor expansion of a in a 1545132334.902 * [misc]backup-simplify: Simplify 0 into 0 1545132334.902 * [misc]backup-simplify: Simplify 1 into 1 1545132334.902 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545132334.902 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545132334.902 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1545132334.902 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1545132334.902 * [misc]taylor: Taking taylor expansion of -1 in a 1545132334.902 * [misc]backup-simplify: Simplify -1 into -1 1545132334.902 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1545132334.902 * [misc]taylor: Taking taylor expansion of a in a 1545132334.902 * [misc]backup-simplify: Simplify 0 into 0 1545132334.902 * [misc]backup-simplify: Simplify 1 into 1 1545132334.902 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545132334.902 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545132334.902 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1545132334.902 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1545132334.902 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1545132334.902 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1545132334.902 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1545132334.902 * [misc]backup-simplify: Simplify 0 into 0 1545132334.903 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545132334.903 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1545132334.903 * [misc]backup-simplify: Simplify 0 into 0 1545132334.903 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545132334.903 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1545132334.903 * [misc]backup-simplify: Simplify 0 into 0 1545132334.903 * [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 1545132334.904 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1545132334.904 * [misc]backup-simplify: Simplify 0 into 0 1545132334.904 * [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 1545132334.905 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1545132334.905 * [misc]backup-simplify: Simplify 0 into 0 1545132334.905 * [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 1545132334.905 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1545132334.905 * [misc]backup-simplify: Simplify 0 into 0 1545132334.905 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1545132334.906 * [misc]backup-simplify: Simplify (/ 1 (* -1 (/ (acos (/ 1 a)) (/ 1 a)))) into (/ -1 (* a (acos (/ 1 a)))) 1545132334.906 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1545132334.906 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1545132334.906 * [misc]taylor: Taking taylor expansion of -1 in a 1545132334.906 * [misc]backup-simplify: Simplify -1 into -1 1545132334.906 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545132334.906 * [misc]taylor: Taking taylor expansion of a in a 1545132334.906 * [misc]backup-simplify: Simplify 0 into 0 1545132334.906 * [misc]backup-simplify: Simplify 1 into 1 1545132334.906 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545132334.906 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545132334.906 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545132334.906 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545132334.906 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545132334.906 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1545132334.906 * [misc]taylor: Taking taylor expansion of -1 in a 1545132334.906 * [misc]backup-simplify: Simplify -1 into -1 1545132334.906 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545132334.906 * [misc]taylor: Taking taylor expansion of a in a 1545132334.906 * [misc]backup-simplify: Simplify 0 into 0 1545132334.906 * [misc]backup-simplify: Simplify 1 into 1 1545132334.906 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545132334.906 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545132334.906 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545132334.906 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545132334.906 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545132334.906 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545132334.907 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1545132334.907 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1545132334.907 * [misc]backup-simplify: Simplify 0 into 0 1545132334.907 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1545132334.907 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545132334.907 * [misc]backup-simplify: Simplify 0 into 0 1545132334.908 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1545132334.908 * [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 1545132334.908 * [misc]backup-simplify: Simplify 0 into 0 1545132334.908 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1545132334.909 * [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 1545132334.909 * [misc]backup-simplify: Simplify 0 into 0 1545132334.909 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1545132334.909 * [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 1545132334.909 * [misc]backup-simplify: Simplify 0 into 0 1545132334.910 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1545132334.910 * [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 1545132334.910 * [misc]backup-simplify: Simplify 0 into 0 1545132334.910 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1545132334.911 * [misc]backup-simplify: Simplify (/ 1 (* -1 (/ (acos (/ 1 (- a))) (/ 1 (- a))))) into (/ 1 (* a (acos (/ -1 a)))) 1545132334.911 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1545132334.911 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1545132334.911 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545132334.911 * [misc]taylor: Taking taylor expansion of a in a 1545132334.911 * [misc]backup-simplify: Simplify 0 into 0 1545132334.911 * [misc]backup-simplify: Simplify 1 into 1 1545132334.911 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545132334.911 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545132334.911 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545132334.911 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545132334.911 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545132334.911 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1545132334.911 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545132334.911 * [misc]taylor: Taking taylor expansion of a in a 1545132334.911 * [misc]backup-simplify: Simplify 0 into 0 1545132334.911 * [misc]backup-simplify: Simplify 1 into 1 1545132334.911 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545132334.911 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545132334.911 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545132334.911 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545132334.911 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545132334.911 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545132334.912 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1545132334.912 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1545132334.912 * [misc]backup-simplify: Simplify 0 into 0 1545132334.912 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1545132334.912 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545132334.912 * [misc]backup-simplify: Simplify 0 into 0 1545132334.913 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1545132334.913 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545132334.913 * [misc]backup-simplify: Simplify 0 into 0 1545132334.913 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1545132334.914 * [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 1545132334.914 * [misc]backup-simplify: Simplify 0 into 0 1545132334.914 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1545132334.914 * [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 1545132334.914 * [misc]backup-simplify: Simplify 0 into 0 1545132334.915 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1545132334.915 * [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 1545132334.915 * [misc]backup-simplify: Simplify 0 into 0 1545132334.915 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1545132334.915 * * * [misc]progress: simplifying candidates 1545132334.915 * * * * [misc]progress: [ 1 / 39 ] simplifiying candidate # 1545132334.915 * * * * [misc]progress: [ 2 / 39 ] simplifiying candidate # 1545132334.916 * * * * [misc]progress: [ 3 / 39 ] simplifiying candidate # 1545132334.916 * * * * [misc]progress: [ 4 / 39 ] simplifiying candidate # 1545132334.916 * * * * [misc]progress: [ 5 / 39 ] simplifiying candidate # 1545132334.916 * * * * [misc]progress: [ 6 / 39 ] simplifiying candidate # 1545132334.916 * * * * [misc]progress: [ 7 / 39 ] simplifiying candidate # 1545132334.916 * * * * [misc]progress: [ 8 / 39 ] simplifiying candidate # 1545132334.916 * * * * [misc]progress: [ 9 / 39 ] simplifiying candidate # 1545132334.916 * * * * [misc]progress: [ 10 / 39 ] simplifiying candidate # 1545132334.916 * [enter]simplify: Simplifying (/ (/ PI 2) a) 1545132334.916 * * [misc]simplify: iters left: 4 (5 enodes) 1545132334.917 * * [misc]simplify: iters left: 3 (7 enodes) 1545132334.918 * * [misc]simplify: iters left: 2 (10 enodes) 1545132334.919 * [exit]simplify: Simplified to (/ (/ PI 2) a) 1545132334.919 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (- (/ (/ PI 2) a) (/ (asin a) a))))) 1545132334.919 * * * * [misc]progress: [ 11 / 39 ] simplifiying candidate # 1545132334.919 * * * * [misc]progress: [ 12 / 39 ] simplifiying candidate # 1545132334.919 * * * * [misc]progress: [ 13 / 39 ] simplifiying candidate # 1545132334.919 * * * * [misc]progress: [ 14 / 39 ] simplifiying candidate # 1545132334.919 * [enter]simplify: Simplifying (* (cbrt (acos a)) (cbrt (acos a))) 1545132334.919 * * [misc]simplify: iters left: 4 (4 enodes) 1545132334.920 * [exit]simplify: Simplified to (* (cbrt (acos a)) (cbrt (acos a))) 1545132334.920 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (/ a (cbrt (acos a))))))) 1545132334.920 * * * * [misc]progress: [ 15 / 39 ] simplifiying candidate # 1545132334.920 * [enter]simplify: Simplifying (sqrt (acos a)) 1545132334.920 * * [misc]simplify: iters left: 2 (3 enodes) 1545132334.921 * [exit]simplify: Simplified to (sqrt (acos a)) 1545132334.921 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (/ (sqrt (acos a)) (/ a (sqrt (acos a))))))) 1545132334.921 * * * * [misc]progress: [ 16 / 39 ] simplifiying candidate # 1545132334.921 * * * * [misc]progress: [ 17 / 39 ] simplifiying candidate # 1545132334.921 * * * * [misc]progress: [ 18 / 39 ] simplifiying candidate # 1545132334.921 * * * * [misc]progress: [ 19 / 39 ] simplifiying candidate # 1545132334.921 * * * * [misc]progress: [ 20 / 39 ] simplifiying candidate # 1545132334.921 * [enter]simplify: Simplifying (- 1) 1545132334.921 * * [misc]simplify: iters left: 2 (2 enodes) 1545132334.922 * * [misc]simplify: iters left: 1 (5 enodes) 1545132334.922 * [exit]simplify: Simplified to -1 1545132334.922 * [misc]simplify: Simplified (2 2) to (λ (a) (pow (* -1 (/ (acos a) a)) -1)) 1545132334.922 * * * * [misc]progress: [ 21 / 39 ] simplifiying candidate # 1545132334.922 * * * * [misc]progress: [ 22 / 39 ] simplifiying candidate # 1545132334.922 * * * * [misc]progress: [ 23 / 39 ] simplifiying candidate # 1545132334.922 * * * * [misc]progress: [ 24 / 39 ] simplifiying candidate # 1545132334.922 * * * * [misc]progress: [ 25 / 39 ] simplifiying candidate # 1545132334.922 * * * * [misc]progress: [ 26 / 39 ] simplifiying candidate # 1545132334.922 * * * * [misc]progress: [ 27 / 39 ] simplifiying candidate # 1545132334.922 * * * * [misc]progress: [ 28 / 39 ] simplifiying candidate # 1545132334.922 * * * * [misc]progress: [ 29 / 39 ] simplifiying candidate # 1545132334.922 * * * * [misc]progress: [ 30 / 39 ] simplifiying candidate # 1545132334.922 * * * * [misc]progress: [ 31 / 39 ] simplifiying candidate # 1545132334.923 * * * * [misc]progress: [ 32 / 39 ] simplifiying candidate # 1545132334.923 * [enter]simplify: Simplifying (/ (acos a) a) 1545132334.923 * * [misc]simplify: iters left: 3 (3 enodes) 1545132334.923 * [exit]simplify: Simplified to (/ (acos a) a) 1545132334.923 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 -1) (/ (acos a) a))) 1545132334.923 * * * * [misc]progress: [ 33 / 39 ] simplifiying candidate # 1545132334.923 * * * * [misc]progress: [ 34 / 39 ] simplifiying candidate # 1545132334.923 * [enter]simplify: Simplifying (/ (acos a) a) 1545132334.923 * * [misc]simplify: iters left: 3 (3 enodes) 1545132334.924 * [exit]simplify: Simplified to (/ (acos a) a) 1545132334.924 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* -1 (/ (acos a) a)))) 1545132334.924 * * * * [misc]progress: [ 35 / 39 ] simplifiying candidate # 1545132334.924 * [enter]simplify: Simplifying (/ (acos a) a) 1545132334.924 * * [misc]simplify: iters left: 3 (3 enodes) 1545132334.925 * [exit]simplify: Simplified to (/ (acos a) a) 1545132334.925 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* -1 (/ (acos a) a)))) 1545132334.925 * * * * [misc]progress: [ 36 / 39 ] simplifiying candidate # 1545132334.925 * [enter]simplify: Simplifying (/ (acos a) a) 1545132334.925 * * [misc]simplify: iters left: 3 (3 enodes) 1545132334.925 * [exit]simplify: Simplified to (/ (acos a) a) 1545132334.925 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* -1 (/ (acos a) a)))) 1545132334.925 * * * * [misc]progress: [ 37 / 39 ] simplifiying candidate # 1545132334.925 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545132334.925 * * [misc]simplify: iters left: 5 (5 enodes) 1545132334.926 * * [misc]simplify: iters left: 4 (9 enodes) 1545132334.928 * * [misc]simplify: iters left: 3 (14 enodes) 1545132334.929 * * [misc]simplify: iters left: 2 (16 enodes) 1545132334.931 * * [misc]simplify: iters left: 1 (18 enodes) 1545132334.935 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545132334.935 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545132334.935 * * * * [misc]progress: [ 38 / 39 ] simplifiying candidate # 1545132334.935 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545132334.935 * * [misc]simplify: iters left: 5 (5 enodes) 1545132334.937 * * [misc]simplify: iters left: 4 (9 enodes) 1545132334.939 * * [misc]simplify: iters left: 3 (14 enodes) 1545132334.943 * * [misc]simplify: iters left: 2 (16 enodes) 1545132334.946 * * [misc]simplify: iters left: 1 (18 enodes) 1545132334.951 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545132334.951 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545132334.951 * * * * [misc]progress: [ 39 / 39 ] simplifiying candidate # 1545132334.951 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545132334.951 * * [misc]simplify: iters left: 5 (5 enodes) 1545132334.953 * * [misc]simplify: iters left: 4 (9 enodes) 1545132334.955 * * [misc]simplify: iters left: 3 (14 enodes) 1545132334.958 * * [misc]simplify: iters left: 2 (16 enodes) 1545132334.962 * * [misc]simplify: iters left: 1 (18 enodes) 1545132334.967 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545132334.967 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545132334.967 * * * [misc]progress: adding candidates to table 1545132335.287 * * [misc]progress: iteration 4 / 4 1545132335.287 * * * [misc]progress: picking best candidate 1545132335.310 * * * * [misc]pick: Picked # 1545132335.310 * * * [misc]progress: localizing error 1545132335.327 * * * [misc]progress: generating rewritten candidates 1545132335.327 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 1) 1545132335.329 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2) 1545132335.390 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 2 2) 1545132335.393 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 2) 1545132335.403 * * * [misc]progress: generating series expansions 1545132335.403 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 1) 1545132335.404 * [misc]backup-simplify: Simplify (/ (/ PI 2) a) into (* 1/2 (/ PI a)) 1545132335.404 * [misc]approximate: Taking taylor expansion of (* 1/2 (/ PI a)) in (a) around 0 1545132335.404 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ PI a)) in a 1545132335.404 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545132335.404 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545132335.404 * [misc]taylor: Taking taylor expansion of (/ PI a) in a 1545132335.404 * [misc]taylor: Taking taylor expansion of PI in a 1545132335.404 * [misc]backup-simplify: Simplify PI into PI 1545132335.404 * [misc]taylor: Taking taylor expansion of a in a 1545132335.404 * [misc]backup-simplify: Simplify 0 into 0 1545132335.404 * [misc]backup-simplify: Simplify 1 into 1 1545132335.404 * [misc]backup-simplify: Simplify (/ PI 1) into PI 1545132335.404 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ PI a)) in a 1545132335.404 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545132335.404 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545132335.404 * [misc]taylor: Taking taylor expansion of (/ PI a) in a 1545132335.404 * [misc]taylor: Taking taylor expansion of PI in a 1545132335.404 * [misc]backup-simplify: Simplify PI into PI 1545132335.404 * [misc]taylor: Taking taylor expansion of a in a 1545132335.404 * [misc]backup-simplify: Simplify 0 into 0 1545132335.404 * [misc]backup-simplify: Simplify 1 into 1 1545132335.404 * [misc]backup-simplify: Simplify (/ PI 1) into PI 1545132335.404 * [misc]backup-simplify: Simplify (* 1/2 PI) into (* 1/2 PI) 1545132335.405 * [misc]backup-simplify: Simplify (* 1/2 PI) into (* 1/2 PI) 1545132335.405 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)))) into 0 1545132335.406 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 PI)) into 0 1545132335.406 * [misc]backup-simplify: Simplify 0 into 0 1545132335.406 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.407 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0 1545132335.407 * [misc]backup-simplify: Simplify 0 into 0 1545132335.408 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.409 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 1545132335.409 * [misc]backup-simplify: Simplify 0 into 0 1545132335.410 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.411 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 1545132335.411 * [misc]backup-simplify: Simplify 0 into 0 1545132335.413 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.416 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 1545132335.416 * [misc]backup-simplify: Simplify 0 into 0 1545132335.418 * [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 1545132335.422 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 1545132335.422 * [misc]backup-simplify: Simplify 0 into 0 1545132335.422 * [misc]backup-simplify: Simplify (* (* 1/2 PI) (/ 1 a)) into (* 1/2 (/ PI a)) 1545132335.423 * [misc]backup-simplify: Simplify (/ (/ PI 2) (/ 1 a)) into (* 1/2 (* a PI)) 1545132335.423 * [misc]approximate: Taking taylor expansion of (* 1/2 (* a PI)) in (a) around 0 1545132335.423 * [misc]taylor: Taking taylor expansion of (* 1/2 (* a PI)) in a 1545132335.423 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545132335.423 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545132335.423 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545132335.423 * [misc]taylor: Taking taylor expansion of a in a 1545132335.423 * [misc]backup-simplify: Simplify 0 into 0 1545132335.423 * [misc]backup-simplify: Simplify 1 into 1 1545132335.423 * [misc]taylor: Taking taylor expansion of PI in a 1545132335.423 * [misc]backup-simplify: Simplify PI into PI 1545132335.423 * [misc]taylor: Taking taylor expansion of (* 1/2 (* a PI)) in a 1545132335.423 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545132335.423 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545132335.423 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545132335.423 * [misc]taylor: Taking taylor expansion of a in a 1545132335.423 * [misc]backup-simplify: Simplify 0 into 0 1545132335.423 * [misc]backup-simplify: Simplify 1 into 1 1545132335.423 * [misc]taylor: Taking taylor expansion of PI in a 1545132335.423 * [misc]backup-simplify: Simplify PI into PI 1545132335.424 * [misc]backup-simplify: Simplify (* 0 PI) into 0 1545132335.424 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 1545132335.424 * [misc]backup-simplify: Simplify 0 into 0 1545132335.424 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 PI)) into PI 1545132335.425 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (* 0 0)) into (* 1/2 PI) 1545132335.425 * [misc]backup-simplify: Simplify (* 1/2 PI) into (* 1/2 PI) 1545132335.427 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 PI))) into 0 1545132335.428 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 PI) (* 0 0))) into 0 1545132335.428 * [misc]backup-simplify: Simplify 0 into 0 1545132335.429 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI)))) into 0 1545132335.431 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))) into 0 1545132335.431 * [misc]backup-simplify: Simplify 0 into 0 1545132335.433 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 1545132335.435 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))) into 0 1545132335.435 * [misc]backup-simplify: Simplify 0 into 0 1545132335.438 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 1545132335.441 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))) into 0 1545132335.441 * [misc]backup-simplify: Simplify 0 into 0 1545132335.444 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 1545132335.447 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))))) into 0 1545132335.448 * [misc]backup-simplify: Simplify 0 into 0 1545132335.452 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))))) into 0 1545132335.456 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))))) into 0 1545132335.456 * [misc]backup-simplify: Simplify 0 into 0 1545132335.457 * [misc]backup-simplify: Simplify (* (* 1/2 PI) (/ 1 a)) into (* 1/2 (/ PI a)) 1545132335.457 * [misc]backup-simplify: Simplify (/ (/ PI 2) (/ 1 (- a))) into (* -1/2 (* a PI)) 1545132335.457 * [misc]approximate: Taking taylor expansion of (* -1/2 (* a PI)) in (a) around 0 1545132335.457 * [misc]taylor: Taking taylor expansion of (* -1/2 (* a PI)) in a 1545132335.457 * [misc]taylor: Taking taylor expansion of -1/2 in a 1545132335.457 * [misc]backup-simplify: Simplify -1/2 into -1/2 1545132335.457 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545132335.457 * [misc]taylor: Taking taylor expansion of a in a 1545132335.457 * [misc]backup-simplify: Simplify 0 into 0 1545132335.457 * [misc]backup-simplify: Simplify 1 into 1 1545132335.457 * [misc]taylor: Taking taylor expansion of PI in a 1545132335.457 * [misc]backup-simplify: Simplify PI into PI 1545132335.457 * [misc]taylor: Taking taylor expansion of (* -1/2 (* a PI)) in a 1545132335.457 * [misc]taylor: Taking taylor expansion of -1/2 in a 1545132335.457 * [misc]backup-simplify: Simplify -1/2 into -1/2 1545132335.457 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545132335.457 * [misc]taylor: Taking taylor expansion of a in a 1545132335.457 * [misc]backup-simplify: Simplify 0 into 0 1545132335.457 * [misc]backup-simplify: Simplify 1 into 1 1545132335.457 * [misc]taylor: Taking taylor expansion of PI in a 1545132335.457 * [misc]backup-simplify: Simplify PI into PI 1545132335.458 * [misc]backup-simplify: Simplify (* 0 PI) into 0 1545132335.458 * [misc]backup-simplify: Simplify (* -1/2 0) into 0 1545132335.458 * [misc]backup-simplify: Simplify 0 into 0 1545132335.459 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 PI)) into PI 1545132335.459 * [misc]backup-simplify: Simplify (+ (* -1/2 PI) (* 0 0)) into (- (* 1/2 PI)) 1545132335.460 * [misc]backup-simplify: Simplify (- (* 1/2 PI)) into (- (* 1/2 PI)) 1545132335.461 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 PI))) into 0 1545132335.462 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (+ (* 0 PI) (* 0 0))) into 0 1545132335.462 * [misc]backup-simplify: Simplify 0 into 0 1545132335.463 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI)))) into 0 1545132335.465 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))) into 0 1545132335.465 * [misc]backup-simplify: Simplify 0 into 0 1545132335.467 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 1545132335.469 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))) into 0 1545132335.469 * [misc]backup-simplify: Simplify 0 into 0 1545132335.472 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 1545132335.474 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))) into 0 1545132335.474 * [misc]backup-simplify: Simplify 0 into 0 1545132335.477 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 1545132335.478 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))))) into 0 1545132335.479 * [misc]backup-simplify: Simplify 0 into 0 1545132335.481 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))))) into 0 1545132335.483 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))))) into 0 1545132335.484 * [misc]backup-simplify: Simplify 0 into 0 1545132335.484 * [misc]backup-simplify: Simplify (* (- (* 1/2 PI)) (/ 1 (- a))) into (* 1/2 (/ PI a)) 1545132335.484 * * * * [misc]progress: [ 2 / 4 ] generating series at (2) 1545132335.484 * [misc]backup-simplify: Simplify (/ 1 (* -1 (- (/ (/ PI 2) a) (/ (asin a) a)))) into (/ -1 (- (* 1/2 (/ PI a)) (/ (asin a) a))) 1545132335.484 * [misc]approximate: Taking taylor expansion of (/ -1 (- (* 1/2 (/ PI a)) (/ (asin a) a))) in (a) around 0 1545132335.484 * [misc]taylor: Taking taylor expansion of (/ -1 (- (* 1/2 (/ PI a)) (/ (asin a) a))) in a 1545132335.484 * [misc]taylor: Taking taylor expansion of -1 in a 1545132335.484 * [misc]backup-simplify: Simplify -1 into -1 1545132335.484 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (/ PI a)) (/ (asin a) a)) in a 1545132335.485 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ PI a)) in a 1545132335.485 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545132335.485 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545132335.485 * [misc]taylor: Taking taylor expansion of (/ PI a) in a 1545132335.485 * [misc]taylor: Taking taylor expansion of PI in a 1545132335.485 * [misc]backup-simplify: Simplify PI into PI 1545132335.485 * [misc]taylor: Taking taylor expansion of a in a 1545132335.485 * [misc]backup-simplify: Simplify 0 into 0 1545132335.485 * [misc]backup-simplify: Simplify 1 into 1 1545132335.485 * [misc]backup-simplify: Simplify (/ PI 1) into PI 1545132335.485 * [misc]taylor: Taking taylor expansion of (/ (asin a) a) in a 1545132335.485 * [misc]taylor: Taking taylor expansion of (asin a) in a 1545132335.485 * [misc]backup-simplify: Simplify (asin a) into (asin a) 1545132335.485 * [misc]taylor: Taking taylor expansion of a in a 1545132335.485 * [misc]backup-simplify: Simplify 0 into 0 1545132335.485 * [misc]backup-simplify: Simplify 1 into 1 1545132335.485 * [misc]backup-simplify: Simplify (/ (asin a) 1) into (asin a) 1545132335.485 * [misc]backup-simplify: Simplify (* 1/2 PI) into (* 1/2 PI) 1545132335.485 * [misc]backup-simplify: Simplify (- (asin a)) into (- (asin a)) 1545132335.485 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (- (asin a))) into (- (* 1/2 PI) (asin a)) 1545132335.486 * [misc]backup-simplify: Simplify (/ -1 (- (* 1/2 PI) (asin a))) into (/ -1 (- (* 1/2 PI) (asin a))) 1545132335.486 * [misc]taylor: Taking taylor expansion of (/ -1 (- (* 1/2 (/ PI a)) (/ (asin a) a))) in a 1545132335.486 * [misc]taylor: Taking taylor expansion of -1 in a 1545132335.486 * [misc]backup-simplify: Simplify -1 into -1 1545132335.486 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (/ PI a)) (/ (asin a) a)) in a 1545132335.486 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ PI a)) in a 1545132335.486 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545132335.486 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545132335.486 * [misc]taylor: Taking taylor expansion of (/ PI a) in a 1545132335.486 * [misc]taylor: Taking taylor expansion of PI in a 1545132335.486 * [misc]backup-simplify: Simplify PI into PI 1545132335.486 * [misc]taylor: Taking taylor expansion of a in a 1545132335.486 * [misc]backup-simplify: Simplify 0 into 0 1545132335.486 * [misc]backup-simplify: Simplify 1 into 1 1545132335.486 * [misc]backup-simplify: Simplify (/ PI 1) into PI 1545132335.486 * [misc]taylor: Taking taylor expansion of (/ (asin a) a) in a 1545132335.486 * [misc]taylor: Taking taylor expansion of (asin a) in a 1545132335.486 * [misc]backup-simplify: Simplify (asin a) into (asin a) 1545132335.486 * [misc]taylor: Taking taylor expansion of a in a 1545132335.486 * [misc]backup-simplify: Simplify 0 into 0 1545132335.486 * [misc]backup-simplify: Simplify 1 into 1 1545132335.486 * [misc]backup-simplify: Simplify (/ (asin a) 1) into (asin a) 1545132335.486 * [misc]backup-simplify: Simplify (* 1/2 PI) into (* 1/2 PI) 1545132335.486 * [misc]backup-simplify: Simplify (- (asin a)) into (- (asin a)) 1545132335.487 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (- (asin a))) into (- (* 1/2 PI) (asin a)) 1545132335.487 * [misc]backup-simplify: Simplify (/ -1 (- (* 1/2 PI) (asin a))) into (/ -1 (- (* 1/2 PI) (asin a))) 1545132335.487 * [misc]backup-simplify: Simplify (/ -1 (- (* 1/2 PI) (asin a))) into (/ -1 (- (* 1/2 PI) (asin a))) 1545132335.488 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)))) into 0 1545132335.489 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 PI)) into 0 1545132335.490 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)))) into 0 1545132335.490 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.490 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.491 * [misc]backup-simplify: Simplify (- (/ 0 (- (* 1/2 PI) (asin a))) (+ (* (/ -1 (- (* 1/2 PI) (asin a))) (/ 0 (- (* 1/2 PI) (asin a)))))) into 0 1545132335.491 * [misc]backup-simplify: Simplify 0 into 0 1545132335.491 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.492 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0 1545132335.492 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.492 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.492 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.493 * [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 1545132335.493 * [misc]backup-simplify: Simplify 0 into 0 1545132335.494 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.495 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 1545132335.495 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.495 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.496 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.496 * [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 1545132335.496 * [misc]backup-simplify: Simplify 0 into 0 1545132335.498 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.499 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 1545132335.499 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.499 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.499 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.500 * [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 1545132335.501 * [misc]backup-simplify: Simplify 0 into 0 1545132335.502 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.503 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 1545132335.504 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.504 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.504 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.505 * [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 1545132335.505 * [misc]backup-simplify: Simplify 0 into 0 1545132335.507 * [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 1545132335.508 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 1545132335.509 * [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 1545132335.509 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.509 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.511 * [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 1545132335.511 * [misc]backup-simplify: Simplify 0 into 0 1545132335.511 * [misc]backup-simplify: Simplify (* (/ -1 (- (* 1/2 PI) (asin a))) a) into (* -1 (/ a (- (* 1/2 PI) (asin a)))) 1545132335.511 * [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))))) 1545132335.511 * [misc]approximate: Taking taylor expansion of (/ -1 (- (* 1/2 (* a PI)) (* a (asin (/ 1 a))))) in (a) around 0 1545132335.511 * [misc]taylor: Taking taylor expansion of (/ -1 (- (* 1/2 (* a PI)) (* a (asin (/ 1 a))))) in a 1545132335.511 * [misc]taylor: Taking taylor expansion of -1 in a 1545132335.511 * [misc]backup-simplify: Simplify -1 into -1 1545132335.511 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (* a PI)) (* a (asin (/ 1 a)))) in a 1545132335.511 * [misc]taylor: Taking taylor expansion of (* 1/2 (* a PI)) in a 1545132335.512 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545132335.512 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545132335.512 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545132335.512 * [misc]taylor: Taking taylor expansion of a in a 1545132335.512 * [misc]backup-simplify: Simplify 0 into 0 1545132335.512 * [misc]backup-simplify: Simplify 1 into 1 1545132335.512 * [misc]taylor: Taking taylor expansion of PI in a 1545132335.512 * [misc]backup-simplify: Simplify PI into PI 1545132335.512 * [misc]taylor: Taking taylor expansion of (* a (asin (/ 1 a))) in a 1545132335.512 * [misc]taylor: Taking taylor expansion of a in a 1545132335.512 * [misc]backup-simplify: Simplify 0 into 0 1545132335.512 * [misc]backup-simplify: Simplify 1 into 1 1545132335.512 * [misc]taylor: Taking taylor expansion of (asin (/ 1 a)) in a 1545132335.512 * [misc]backup-simplify: Simplify (asin (/ 1 a)) into (asin (/ 1 a)) 1545132335.512 * [misc]backup-simplify: Simplify (* 0 PI) into 0 1545132335.512 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 1545132335.512 * [misc]backup-simplify: Simplify (* 0 (asin (/ 1 a))) into 0 1545132335.512 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.512 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.513 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 PI)) into PI 1545132335.513 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (* 0 0)) into (* 1/2 PI) 1545132335.513 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (asin (/ 1 a)))) into (asin (/ 1 a)) 1545132335.513 * [misc]backup-simplify: Simplify (- (asin (/ 1 a))) into (- (asin (/ 1 a))) 1545132335.513 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (- (asin (/ 1 a)))) into (- (* 1/2 PI) (asin (/ 1 a))) 1545132335.514 * [misc]backup-simplify: Simplify (/ -1 (- (* 1/2 PI) (asin (/ 1 a)))) into (/ -1 (- (* 1/2 PI) (asin (/ 1 a)))) 1545132335.514 * [misc]taylor: Taking taylor expansion of (/ -1 (- (* 1/2 (* a PI)) (* a (asin (/ 1 a))))) in a 1545132335.514 * [misc]taylor: Taking taylor expansion of -1 in a 1545132335.514 * [misc]backup-simplify: Simplify -1 into -1 1545132335.514 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (* a PI)) (* a (asin (/ 1 a)))) in a 1545132335.514 * [misc]taylor: Taking taylor expansion of (* 1/2 (* a PI)) in a 1545132335.514 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545132335.514 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545132335.514 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545132335.514 * [misc]taylor: Taking taylor expansion of a in a 1545132335.514 * [misc]backup-simplify: Simplify 0 into 0 1545132335.514 * [misc]backup-simplify: Simplify 1 into 1 1545132335.514 * [misc]taylor: Taking taylor expansion of PI in a 1545132335.514 * [misc]backup-simplify: Simplify PI into PI 1545132335.514 * [misc]taylor: Taking taylor expansion of (* a (asin (/ 1 a))) in a 1545132335.514 * [misc]taylor: Taking taylor expansion of a in a 1545132335.514 * [misc]backup-simplify: Simplify 0 into 0 1545132335.514 * [misc]backup-simplify: Simplify 1 into 1 1545132335.514 * [misc]taylor: Taking taylor expansion of (asin (/ 1 a)) in a 1545132335.514 * [misc]backup-simplify: Simplify (asin (/ 1 a)) into (asin (/ 1 a)) 1545132335.514 * [misc]backup-simplify: Simplify (* 0 PI) into 0 1545132335.514 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 1545132335.514 * [misc]backup-simplify: Simplify (* 0 (asin (/ 1 a))) into 0 1545132335.514 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.514 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.515 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 PI)) into PI 1545132335.515 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (* 0 0)) into (* 1/2 PI) 1545132335.515 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (asin (/ 1 a)))) into (asin (/ 1 a)) 1545132335.515 * [misc]backup-simplify: Simplify (- (asin (/ 1 a))) into (- (asin (/ 1 a))) 1545132335.516 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (- (asin (/ 1 a)))) into (- (* 1/2 PI) (asin (/ 1 a))) 1545132335.516 * [misc]backup-simplify: Simplify (/ -1 (- (* 1/2 PI) (asin (/ 1 a)))) into (/ -1 (- (* 1/2 PI) (asin (/ 1 a)))) 1545132335.516 * [misc]backup-simplify: Simplify (/ -1 (- (* 1/2 PI) (asin (/ 1 a)))) into (/ -1 (- (* 1/2 PI) (asin (/ 1 a)))) 1545132335.517 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 PI))) into 0 1545132335.517 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 PI) (* 0 0))) into 0 1545132335.518 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (asin (/ 1 a))))) into 0 1545132335.518 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.518 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.518 * [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 1545132335.518 * [misc]backup-simplify: Simplify 0 into 0 1545132335.519 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI)))) into 0 1545132335.521 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))) into 0 1545132335.521 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (asin (/ 1 a)))))) into 0 1545132335.522 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.522 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.523 * [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 1545132335.523 * [misc]backup-simplify: Simplify 0 into 0 1545132335.525 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 1545132335.527 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))) into 0 1545132335.528 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a))))))) into 0 1545132335.528 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.528 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.530 * [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 1545132335.530 * [misc]backup-simplify: Simplify 0 into 0 1545132335.532 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 1545132335.535 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))) into 0 1545132335.536 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a)))))))) into 0 1545132335.536 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.536 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.538 * [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 1545132335.538 * [misc]backup-simplify: Simplify 0 into 0 1545132335.542 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 1545132335.546 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))))) into 0 1545132335.546 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a))))))))) into 0 1545132335.547 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.547 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.548 * [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 1545132335.548 * [misc]backup-simplify: Simplify 0 into 0 1545132335.551 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))))) into 0 1545132335.553 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))))) into 0 1545132335.554 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a)))))))))) into 0 1545132335.554 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.554 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.555 * [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 1545132335.555 * [misc]backup-simplify: Simplify 0 into 0 1545132335.556 * [misc]backup-simplify: Simplify (* (/ -1 (- (* 1/2 PI) (asin (/ 1 (/ 1 a))))) (/ 1 (/ 1 a))) into (* -1 (/ a (- (* 1/2 PI) (asin a)))) 1545132335.556 * [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)))) 1545132335.556 * [misc]approximate: Taking taylor expansion of (/ -1 (- (* a (asin (/ -1 a))) (* 1/2 (* a PI)))) in (a) around 0 1545132335.556 * [misc]taylor: Taking taylor expansion of (/ -1 (- (* a (asin (/ -1 a))) (* 1/2 (* a PI)))) in a 1545132335.556 * [misc]taylor: Taking taylor expansion of -1 in a 1545132335.556 * [misc]backup-simplify: Simplify -1 into -1 1545132335.556 * [misc]taylor: Taking taylor expansion of (- (* a (asin (/ -1 a))) (* 1/2 (* a PI))) in a 1545132335.556 * [misc]taylor: Taking taylor expansion of (* a (asin (/ -1 a))) in a 1545132335.556 * [misc]taylor: Taking taylor expansion of a in a 1545132335.556 * [misc]backup-simplify: Simplify 0 into 0 1545132335.556 * [misc]backup-simplify: Simplify 1 into 1 1545132335.556 * [misc]taylor: Taking taylor expansion of (asin (/ -1 a)) in a 1545132335.556 * [misc]backup-simplify: Simplify (asin (/ -1 a)) into (asin (/ -1 a)) 1545132335.556 * [misc]taylor: Taking taylor expansion of (* 1/2 (* a PI)) in a 1545132335.556 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545132335.556 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545132335.556 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545132335.556 * [misc]taylor: Taking taylor expansion of a in a 1545132335.556 * [misc]backup-simplify: Simplify 0 into 0 1545132335.556 * [misc]backup-simplify: Simplify 1 into 1 1545132335.556 * [misc]taylor: Taking taylor expansion of PI in a 1545132335.556 * [misc]backup-simplify: Simplify PI into PI 1545132335.556 * [misc]backup-simplify: Simplify (* 0 (asin (/ -1 a))) into 0 1545132335.557 * [misc]backup-simplify: Simplify (* 0 PI) into 0 1545132335.557 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 1545132335.557 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.557 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.557 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (asin (/ -1 a)))) into (asin (/ -1 a)) 1545132335.557 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 PI)) into PI 1545132335.558 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (* 0 0)) into (* 1/2 PI) 1545132335.558 * [misc]backup-simplify: Simplify (- (* 1/2 PI)) into (- (* 1/2 PI)) 1545132335.558 * [misc]backup-simplify: Simplify (+ (asin (/ -1 a)) (- (* 1/2 PI))) into (- (asin (/ -1 a)) (* 1/2 PI)) 1545132335.559 * [misc]backup-simplify: Simplify (/ -1 (- (asin (/ -1 a)) (* 1/2 PI))) into (/ -1 (- (asin (/ -1 a)) (* 1/2 PI))) 1545132335.559 * [misc]taylor: Taking taylor expansion of (/ -1 (- (* a (asin (/ -1 a))) (* 1/2 (* a PI)))) in a 1545132335.559 * [misc]taylor: Taking taylor expansion of -1 in a 1545132335.559 * [misc]backup-simplify: Simplify -1 into -1 1545132335.559 * [misc]taylor: Taking taylor expansion of (- (* a (asin (/ -1 a))) (* 1/2 (* a PI))) in a 1545132335.559 * [misc]taylor: Taking taylor expansion of (* a (asin (/ -1 a))) in a 1545132335.559 * [misc]taylor: Taking taylor expansion of a in a 1545132335.559 * [misc]backup-simplify: Simplify 0 into 0 1545132335.559 * [misc]backup-simplify: Simplify 1 into 1 1545132335.559 * [misc]taylor: Taking taylor expansion of (asin (/ -1 a)) in a 1545132335.559 * [misc]backup-simplify: Simplify (asin (/ -1 a)) into (asin (/ -1 a)) 1545132335.559 * [misc]taylor: Taking taylor expansion of (* 1/2 (* a PI)) in a 1545132335.559 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545132335.559 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545132335.559 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545132335.559 * [misc]taylor: Taking taylor expansion of a in a 1545132335.559 * [misc]backup-simplify: Simplify 0 into 0 1545132335.559 * [misc]backup-simplify: Simplify 1 into 1 1545132335.559 * [misc]taylor: Taking taylor expansion of PI in a 1545132335.559 * [misc]backup-simplify: Simplify PI into PI 1545132335.559 * [misc]backup-simplify: Simplify (* 0 (asin (/ -1 a))) into 0 1545132335.559 * [misc]backup-simplify: Simplify (* 0 PI) into 0 1545132335.559 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 1545132335.559 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.559 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.560 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (asin (/ -1 a)))) into (asin (/ -1 a)) 1545132335.560 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 PI)) into PI 1545132335.560 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (* 0 0)) into (* 1/2 PI) 1545132335.561 * [misc]backup-simplify: Simplify (- (* 1/2 PI)) into (- (* 1/2 PI)) 1545132335.561 * [misc]backup-simplify: Simplify (+ (asin (/ -1 a)) (- (* 1/2 PI))) into (- (asin (/ -1 a)) (* 1/2 PI)) 1545132335.561 * [misc]backup-simplify: Simplify (/ -1 (- (asin (/ -1 a)) (* 1/2 PI))) into (/ -1 (- (asin (/ -1 a)) (* 1/2 PI))) 1545132335.561 * [misc]backup-simplify: Simplify (/ -1 (- (asin (/ -1 a)) (* 1/2 PI))) into (/ -1 (- (asin (/ -1 a)) (* 1/2 PI))) 1545132335.562 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (asin (/ -1 a))))) into 0 1545132335.562 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 PI))) into 0 1545132335.563 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 PI) (* 0 0))) into 0 1545132335.563 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.563 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.564 * [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 1545132335.564 * [misc]backup-simplify: Simplify 0 into 0 1545132335.564 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (asin (/ -1 a)))))) into 0 1545132335.565 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI)))) into 0 1545132335.566 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))) into 0 1545132335.566 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.566 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.567 * [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 1545132335.567 * [misc]backup-simplify: Simplify 0 into 0 1545132335.567 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a))))))) into 0 1545132335.568 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 1545132335.570 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))) into 0 1545132335.570 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.570 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.571 * [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 1545132335.571 * [misc]backup-simplify: Simplify 0 into 0 1545132335.571 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a)))))))) into 0 1545132335.573 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 1545132335.574 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))) into 0 1545132335.574 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.574 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.576 * [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 1545132335.576 * [misc]backup-simplify: Simplify 0 into 0 1545132335.577 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a))))))))) into 0 1545132335.580 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 1545132335.583 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))))) into 0 1545132335.583 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.583 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.585 * [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 1545132335.585 * [misc]backup-simplify: Simplify 0 into 0 1545132335.586 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a)))))))))) into 0 1545132335.590 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))))) into 0 1545132335.595 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))))) into 0 1545132335.595 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.595 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.598 * [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 1545132335.598 * [misc]backup-simplify: Simplify 0 into 0 1545132335.599 * [misc]backup-simplify: Simplify (* (/ -1 (- (asin (/ -1 (/ 1 (- a)))) (* 1/2 PI))) (/ 1 (/ 1 (- a)))) into (/ a (- (asin a) (* 1/2 PI))) 1545132335.599 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 2 2) 1545132335.599 * [misc]backup-simplify: Simplify (/ (asin a) a) into (/ (asin a) a) 1545132335.599 * [misc]approximate: Taking taylor expansion of (/ (asin a) a) in (a) around 0 1545132335.599 * [misc]taylor: Taking taylor expansion of (/ (asin a) a) in a 1545132335.599 * [misc]taylor: Taking taylor expansion of (asin a) in a 1545132335.599 * [misc]backup-simplify: Simplify (asin a) into (asin a) 1545132335.599 * [misc]taylor: Taking taylor expansion of a in a 1545132335.599 * [misc]backup-simplify: Simplify 0 into 0 1545132335.599 * [misc]backup-simplify: Simplify 1 into 1 1545132335.599 * [misc]backup-simplify: Simplify (/ (asin a) 1) into (asin a) 1545132335.599 * [misc]taylor: Taking taylor expansion of (/ (asin a) a) in a 1545132335.599 * [misc]taylor: Taking taylor expansion of (asin a) in a 1545132335.599 * [misc]backup-simplify: Simplify (asin a) into (asin a) 1545132335.599 * [misc]taylor: Taking taylor expansion of a in a 1545132335.599 * [misc]backup-simplify: Simplify 0 into 0 1545132335.599 * [misc]backup-simplify: Simplify 1 into 1 1545132335.600 * [misc]backup-simplify: Simplify (/ (asin a) 1) into (asin a) 1545132335.600 * [misc]backup-simplify: Simplify (asin a) into (asin a) 1545132335.601 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)))) into 0 1545132335.601 * [misc]backup-simplify: Simplify 0 into 0 1545132335.602 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.602 * [misc]backup-simplify: Simplify 0 into 0 1545132335.602 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.602 * [misc]backup-simplify: Simplify 0 into 0 1545132335.603 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.603 * [misc]backup-simplify: Simplify 0 into 0 1545132335.604 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.604 * [misc]backup-simplify: Simplify 0 into 0 1545132335.605 * [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 1545132335.605 * [misc]backup-simplify: Simplify 0 into 0 1545132335.605 * [misc]backup-simplify: Simplify (* (asin a) (/ 1 a)) into (/ (asin a) a) 1545132335.605 * [misc]backup-simplify: Simplify (/ (asin (/ 1 a)) (/ 1 a)) into (* a (asin (/ 1 a))) 1545132335.605 * [misc]approximate: Taking taylor expansion of (* a (asin (/ 1 a))) in (a) around 0 1545132335.606 * [misc]taylor: Taking taylor expansion of (* a (asin (/ 1 a))) in a 1545132335.606 * [misc]taylor: Taking taylor expansion of a in a 1545132335.606 * [misc]backup-simplify: Simplify 0 into 0 1545132335.606 * [misc]backup-simplify: Simplify 1 into 1 1545132335.606 * [misc]taylor: Taking taylor expansion of (asin (/ 1 a)) in a 1545132335.606 * [misc]backup-simplify: Simplify (asin (/ 1 a)) into (asin (/ 1 a)) 1545132335.606 * [misc]taylor: Taking taylor expansion of (* a (asin (/ 1 a))) in a 1545132335.606 * [misc]taylor: Taking taylor expansion of a in a 1545132335.606 * [misc]backup-simplify: Simplify 0 into 0 1545132335.606 * [misc]backup-simplify: Simplify 1 into 1 1545132335.606 * [misc]taylor: Taking taylor expansion of (asin (/ 1 a)) in a 1545132335.606 * [misc]backup-simplify: Simplify (asin (/ 1 a)) into (asin (/ 1 a)) 1545132335.606 * [misc]backup-simplify: Simplify (* 0 (asin (/ 1 a))) into 0 1545132335.606 * [misc]backup-simplify: Simplify 0 into 0 1545132335.606 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (asin (/ 1 a)))) into (asin (/ 1 a)) 1545132335.606 * [misc]backup-simplify: Simplify (asin (/ 1 a)) into (asin (/ 1 a)) 1545132335.607 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (asin (/ 1 a))))) into 0 1545132335.607 * [misc]backup-simplify: Simplify 0 into 0 1545132335.607 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (asin (/ 1 a)))))) into 0 1545132335.607 * [misc]backup-simplify: Simplify 0 into 0 1545132335.608 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a))))))) into 0 1545132335.608 * [misc]backup-simplify: Simplify 0 into 0 1545132335.609 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a)))))))) into 0 1545132335.609 * [misc]backup-simplify: Simplify 0 into 0 1545132335.610 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a))))))))) into 0 1545132335.610 * [misc]backup-simplify: Simplify 0 into 0 1545132335.611 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a)))))))))) into 0 1545132335.611 * [misc]backup-simplify: Simplify 0 into 0 1545132335.611 * [misc]backup-simplify: Simplify (* (asin (/ 1 (/ 1 a))) (/ 1 a)) into (/ (asin a) a) 1545132335.611 * [misc]backup-simplify: Simplify (/ (asin (/ 1 (- a))) (/ 1 (- a))) into (* -1 (* a (asin (/ -1 a)))) 1545132335.611 * [misc]approximate: Taking taylor expansion of (* -1 (* a (asin (/ -1 a)))) in (a) around 0 1545132335.611 * [misc]taylor: Taking taylor expansion of (* -1 (* a (asin (/ -1 a)))) in a 1545132335.611 * [misc]taylor: Taking taylor expansion of -1 in a 1545132335.611 * [misc]backup-simplify: Simplify -1 into -1 1545132335.611 * [misc]taylor: Taking taylor expansion of (* a (asin (/ -1 a))) in a 1545132335.611 * [misc]taylor: Taking taylor expansion of a in a 1545132335.611 * [misc]backup-simplify: Simplify 0 into 0 1545132335.611 * [misc]backup-simplify: Simplify 1 into 1 1545132335.611 * [misc]taylor: Taking taylor expansion of (asin (/ -1 a)) in a 1545132335.611 * [misc]backup-simplify: Simplify (asin (/ -1 a)) into (asin (/ -1 a)) 1545132335.611 * [misc]taylor: Taking taylor expansion of (* -1 (* a (asin (/ -1 a)))) in a 1545132335.611 * [misc]taylor: Taking taylor expansion of -1 in a 1545132335.611 * [misc]backup-simplify: Simplify -1 into -1 1545132335.611 * [misc]taylor: Taking taylor expansion of (* a (asin (/ -1 a))) in a 1545132335.611 * [misc]taylor: Taking taylor expansion of a in a 1545132335.611 * [misc]backup-simplify: Simplify 0 into 0 1545132335.611 * [misc]backup-simplify: Simplify 1 into 1 1545132335.611 * [misc]taylor: Taking taylor expansion of (asin (/ -1 a)) in a 1545132335.612 * [misc]backup-simplify: Simplify (asin (/ -1 a)) into (asin (/ -1 a)) 1545132335.612 * [misc]backup-simplify: Simplify (* 0 (asin (/ -1 a))) into 0 1545132335.612 * [misc]backup-simplify: Simplify (* -1 0) into 0 1545132335.612 * [misc]backup-simplify: Simplify 0 into 0 1545132335.612 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (asin (/ -1 a)))) into (asin (/ -1 a)) 1545132335.612 * [misc]backup-simplify: Simplify (+ (* -1 (asin (/ -1 a))) (* 0 0)) into (- (asin (/ -1 a))) 1545132335.612 * [misc]backup-simplify: Simplify (- (asin (/ -1 a))) into (- (asin (/ -1 a))) 1545132335.613 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (asin (/ -1 a))))) into 0 1545132335.613 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (asin (/ -1 a))) (* 0 0))) into 0 1545132335.613 * [misc]backup-simplify: Simplify 0 into 0 1545132335.614 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (asin (/ -1 a)))))) into 0 1545132335.614 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (asin (/ -1 a))) (* 0 0)))) into 0 1545132335.614 * [misc]backup-simplify: Simplify 0 into 0 1545132335.615 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a))))))) into 0 1545132335.615 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (asin (/ -1 a))) (* 0 0))))) into 0 1545132335.615 * [misc]backup-simplify: Simplify 0 into 0 1545132335.616 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a)))))))) into 0 1545132335.617 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (asin (/ -1 a))) (* 0 0)))))) into 0 1545132335.617 * [misc]backup-simplify: Simplify 0 into 0 1545132335.618 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a))))))))) into 0 1545132335.619 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (asin (/ -1 a))) (* 0 0))))))) into 0 1545132335.619 * [misc]backup-simplify: Simplify 0 into 0 1545132335.620 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a)))))))))) into 0 1545132335.621 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (asin (/ -1 a))) (* 0 0)))))))) into 0 1545132335.621 * [misc]backup-simplify: Simplify 0 into 0 1545132335.621 * [misc]backup-simplify: Simplify (* (- (asin (/ -1 (/ 1 (- a))))) (/ 1 (- a))) into (/ (asin a) a) 1545132335.621 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 2) 1545132335.622 * [misc]backup-simplify: Simplify (- (/ (/ PI 2) a) (/ (asin a) a)) into (- (* 1/2 (/ PI a)) (/ (asin a) a)) 1545132335.622 * [misc]approximate: Taking taylor expansion of (- (* 1/2 (/ PI a)) (/ (asin a) a)) in (a) around 0 1545132335.622 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (/ PI a)) (/ (asin a) a)) in a 1545132335.622 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ PI a)) in a 1545132335.622 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545132335.622 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545132335.622 * [misc]taylor: Taking taylor expansion of (/ PI a) in a 1545132335.622 * [misc]taylor: Taking taylor expansion of PI in a 1545132335.622 * [misc]backup-simplify: Simplify PI into PI 1545132335.622 * [misc]taylor: Taking taylor expansion of a in a 1545132335.622 * [misc]backup-simplify: Simplify 0 into 0 1545132335.622 * [misc]backup-simplify: Simplify 1 into 1 1545132335.622 * [misc]backup-simplify: Simplify (/ PI 1) into PI 1545132335.622 * [misc]taylor: Taking taylor expansion of (/ (asin a) a) in a 1545132335.622 * [misc]taylor: Taking taylor expansion of (asin a) in a 1545132335.622 * [misc]backup-simplify: Simplify (asin a) into (asin a) 1545132335.622 * [misc]taylor: Taking taylor expansion of a in a 1545132335.622 * [misc]backup-simplify: Simplify 0 into 0 1545132335.622 * [misc]backup-simplify: Simplify 1 into 1 1545132335.622 * [misc]backup-simplify: Simplify (/ (asin a) 1) into (asin a) 1545132335.622 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (/ PI a)) (/ (asin a) a)) in a 1545132335.622 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ PI a)) in a 1545132335.622 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545132335.623 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545132335.623 * [misc]taylor: Taking taylor expansion of (/ PI a) in a 1545132335.623 * [misc]taylor: Taking taylor expansion of PI in a 1545132335.623 * [misc]backup-simplify: Simplify PI into PI 1545132335.623 * [misc]taylor: Taking taylor expansion of a in a 1545132335.623 * [misc]backup-simplify: Simplify 0 into 0 1545132335.623 * [misc]backup-simplify: Simplify 1 into 1 1545132335.623 * [misc]backup-simplify: Simplify (/ PI 1) into PI 1545132335.623 * [misc]taylor: Taking taylor expansion of (/ (asin a) a) in a 1545132335.623 * [misc]taylor: Taking taylor expansion of (asin a) in a 1545132335.623 * [misc]backup-simplify: Simplify (asin a) into (asin a) 1545132335.623 * [misc]taylor: Taking taylor expansion of a in a 1545132335.623 * [misc]backup-simplify: Simplify 0 into 0 1545132335.623 * [misc]backup-simplify: Simplify 1 into 1 1545132335.623 * [misc]backup-simplify: Simplify (/ (asin a) 1) into (asin a) 1545132335.623 * [misc]backup-simplify: Simplify (* 1/2 PI) into (* 1/2 PI) 1545132335.624 * [misc]backup-simplify: Simplify (- (asin a)) into (- (asin a)) 1545132335.624 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (- (asin a))) into (- (* 1/2 PI) (asin a)) 1545132335.624 * [misc]backup-simplify: Simplify (- (* 1/2 PI) (asin a)) into (- (* 1/2 PI) (asin a)) 1545132335.625 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)))) into 0 1545132335.626 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 PI)) into 0 1545132335.626 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)))) into 0 1545132335.626 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.626 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.626 * [misc]backup-simplify: Simplify 0 into 0 1545132335.628 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.629 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0 1545132335.629 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.629 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.630 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.630 * [misc]backup-simplify: Simplify 0 into 0 1545132335.631 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.633 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 1545132335.633 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.634 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.634 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.634 * [misc]backup-simplify: Simplify 0 into 0 1545132335.636 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.638 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 1545132335.639 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.639 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.639 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.639 * [misc]backup-simplify: Simplify 0 into 0 1545132335.641 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.645 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 1545132335.646 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (asin a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545132335.646 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.646 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.646 * [misc]backup-simplify: Simplify 0 into 0 1545132335.649 * [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 1545132335.653 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 1545132335.654 * [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 1545132335.654 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.655 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.655 * [misc]backup-simplify: Simplify 0 into 0 1545132335.655 * [misc]backup-simplify: Simplify (* (- (* 1/2 PI) (asin a)) (/ 1 a)) into (/ (- (* 1/2 PI) (asin a)) a) 1545132335.656 * [misc]backup-simplify: Simplify (- (/ (/ PI 2) (/ 1 a)) (/ (asin (/ 1 a)) (/ 1 a))) into (- (* 1/2 (* a PI)) (* a (asin (/ 1 a)))) 1545132335.656 * [misc]approximate: Taking taylor expansion of (- (* 1/2 (* a PI)) (* a (asin (/ 1 a)))) in (a) around 0 1545132335.656 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (* a PI)) (* a (asin (/ 1 a)))) in a 1545132335.656 * [misc]taylor: Taking taylor expansion of (* 1/2 (* a PI)) in a 1545132335.656 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545132335.656 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545132335.656 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545132335.656 * [misc]taylor: Taking taylor expansion of a in a 1545132335.656 * [misc]backup-simplify: Simplify 0 into 0 1545132335.656 * [misc]backup-simplify: Simplify 1 into 1 1545132335.656 * [misc]taylor: Taking taylor expansion of PI in a 1545132335.656 * [misc]backup-simplify: Simplify PI into PI 1545132335.656 * [misc]taylor: Taking taylor expansion of (* a (asin (/ 1 a))) in a 1545132335.656 * [misc]taylor: Taking taylor expansion of a in a 1545132335.656 * [misc]backup-simplify: Simplify 0 into 0 1545132335.656 * [misc]backup-simplify: Simplify 1 into 1 1545132335.656 * [misc]taylor: Taking taylor expansion of (asin (/ 1 a)) in a 1545132335.656 * [misc]backup-simplify: Simplify (asin (/ 1 a)) into (asin (/ 1 a)) 1545132335.656 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (* a PI)) (* a (asin (/ 1 a)))) in a 1545132335.656 * [misc]taylor: Taking taylor expansion of (* 1/2 (* a PI)) in a 1545132335.656 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545132335.656 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545132335.656 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545132335.656 * [misc]taylor: Taking taylor expansion of a in a 1545132335.656 * [misc]backup-simplify: Simplify 0 into 0 1545132335.656 * [misc]backup-simplify: Simplify 1 into 1 1545132335.657 * [misc]taylor: Taking taylor expansion of PI in a 1545132335.657 * [misc]backup-simplify: Simplify PI into PI 1545132335.657 * [misc]taylor: Taking taylor expansion of (* a (asin (/ 1 a))) in a 1545132335.657 * [misc]taylor: Taking taylor expansion of a in a 1545132335.657 * [misc]backup-simplify: Simplify 0 into 0 1545132335.657 * [misc]backup-simplify: Simplify 1 into 1 1545132335.657 * [misc]taylor: Taking taylor expansion of (asin (/ 1 a)) in a 1545132335.657 * [misc]backup-simplify: Simplify (asin (/ 1 a)) into (asin (/ 1 a)) 1545132335.657 * [misc]backup-simplify: Simplify (* 0 PI) into 0 1545132335.657 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 1545132335.657 * [misc]backup-simplify: Simplify (* 0 (asin (/ 1 a))) into 0 1545132335.658 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.658 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.658 * [misc]backup-simplify: Simplify 0 into 0 1545132335.658 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 PI)) into PI 1545132335.659 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (* 0 0)) into (* 1/2 PI) 1545132335.659 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (asin (/ 1 a)))) into (asin (/ 1 a)) 1545132335.659 * [misc]backup-simplify: Simplify (- (asin (/ 1 a))) into (- (asin (/ 1 a))) 1545132335.660 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (- (asin (/ 1 a)))) into (- (* 1/2 PI) (asin (/ 1 a))) 1545132335.660 * [misc]backup-simplify: Simplify (- (* 1/2 PI) (asin (/ 1 a))) into (- (* 1/2 PI) (asin (/ 1 a))) 1545132335.661 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 PI))) into 0 1545132335.662 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 PI) (* 0 0))) into 0 1545132335.663 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (asin (/ 1 a))))) into 0 1545132335.663 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.663 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.663 * [misc]backup-simplify: Simplify 0 into 0 1545132335.665 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI)))) into 0 1545132335.666 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))) into 0 1545132335.667 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (asin (/ 1 a)))))) into 0 1545132335.667 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.667 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.667 * [misc]backup-simplify: Simplify 0 into 0 1545132335.669 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 1545132335.671 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))) into 0 1545132335.672 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a))))))) into 0 1545132335.672 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.672 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.672 * [misc]backup-simplify: Simplify 0 into 0 1545132335.675 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 1545132335.677 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))) into 0 1545132335.678 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a)))))))) into 0 1545132335.678 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.678 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.678 * [misc]backup-simplify: Simplify 0 into 0 1545132335.681 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 1545132335.684 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))))) into 0 1545132335.685 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a))))))))) into 0 1545132335.685 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.685 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.685 * [misc]backup-simplify: Simplify 0 into 0 1545132335.689 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))))) into 0 1545132335.693 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))))) into 0 1545132335.694 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ 1 a)))))))))) into 0 1545132335.694 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.694 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.694 * [misc]backup-simplify: Simplify 0 into 0 1545132335.694 * [misc]backup-simplify: Simplify (* (- (* 1/2 PI) (asin (/ 1 (/ 1 a)))) (/ 1 a)) into (/ (- (* 1/2 PI) (asin a)) a) 1545132335.695 * [misc]backup-simplify: Simplify (- (/ (/ PI 2) (/ 1 (- a))) (/ (asin (/ 1 (- a))) (/ 1 (- a)))) into (- (* a (asin (/ -1 a))) (* 1/2 (* a PI))) 1545132335.695 * [misc]approximate: Taking taylor expansion of (- (* a (asin (/ -1 a))) (* 1/2 (* a PI))) in (a) around 0 1545132335.695 * [misc]taylor: Taking taylor expansion of (- (* a (asin (/ -1 a))) (* 1/2 (* a PI))) in a 1545132335.695 * [misc]taylor: Taking taylor expansion of (* a (asin (/ -1 a))) in a 1545132335.695 * [misc]taylor: Taking taylor expansion of a in a 1545132335.695 * [misc]backup-simplify: Simplify 0 into 0 1545132335.695 * [misc]backup-simplify: Simplify 1 into 1 1545132335.695 * [misc]taylor: Taking taylor expansion of (asin (/ -1 a)) in a 1545132335.695 * [misc]backup-simplify: Simplify (asin (/ -1 a)) into (asin (/ -1 a)) 1545132335.695 * [misc]taylor: Taking taylor expansion of (* 1/2 (* a PI)) in a 1545132335.695 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545132335.695 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545132335.695 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545132335.695 * [misc]taylor: Taking taylor expansion of a in a 1545132335.695 * [misc]backup-simplify: Simplify 0 into 0 1545132335.695 * [misc]backup-simplify: Simplify 1 into 1 1545132335.695 * [misc]taylor: Taking taylor expansion of PI in a 1545132335.695 * [misc]backup-simplify: Simplify PI into PI 1545132335.695 * [misc]taylor: Taking taylor expansion of (- (* a (asin (/ -1 a))) (* 1/2 (* a PI))) in a 1545132335.695 * [misc]taylor: Taking taylor expansion of (* a (asin (/ -1 a))) in a 1545132335.695 * [misc]taylor: Taking taylor expansion of a in a 1545132335.695 * [misc]backup-simplify: Simplify 0 into 0 1545132335.695 * [misc]backup-simplify: Simplify 1 into 1 1545132335.695 * [misc]taylor: Taking taylor expansion of (asin (/ -1 a)) in a 1545132335.695 * [misc]backup-simplify: Simplify (asin (/ -1 a)) into (asin (/ -1 a)) 1545132335.696 * [misc]taylor: Taking taylor expansion of (* 1/2 (* a PI)) in a 1545132335.696 * [misc]taylor: Taking taylor expansion of 1/2 in a 1545132335.696 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545132335.696 * [misc]taylor: Taking taylor expansion of (* a PI) in a 1545132335.696 * [misc]taylor: Taking taylor expansion of a in a 1545132335.696 * [misc]backup-simplify: Simplify 0 into 0 1545132335.696 * [misc]backup-simplify: Simplify 1 into 1 1545132335.696 * [misc]taylor: Taking taylor expansion of PI in a 1545132335.696 * [misc]backup-simplify: Simplify PI into PI 1545132335.696 * [misc]backup-simplify: Simplify (* 0 (asin (/ -1 a))) into 0 1545132335.696 * [misc]backup-simplify: Simplify (* 0 PI) into 0 1545132335.696 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 1545132335.696 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.697 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.697 * [misc]backup-simplify: Simplify 0 into 0 1545132335.697 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (asin (/ -1 a)))) into (asin (/ -1 a)) 1545132335.697 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 PI)) into PI 1545132335.698 * [misc]backup-simplify: Simplify (+ (* 1/2 PI) (* 0 0)) into (* 1/2 PI) 1545132335.698 * [misc]backup-simplify: Simplify (- (* 1/2 PI)) into (- (* 1/2 PI)) 1545132335.699 * [misc]backup-simplify: Simplify (+ (asin (/ -1 a)) (- (* 1/2 PI))) into (- (asin (/ -1 a)) (* 1/2 PI)) 1545132335.699 * [misc]backup-simplify: Simplify (- (asin (/ -1 a)) (* 1/2 PI)) into (- (asin (/ -1 a)) (* 1/2 PI)) 1545132335.700 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (asin (/ -1 a))))) into 0 1545132335.701 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 PI))) into 0 1545132335.702 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 PI) (* 0 0))) into 0 1545132335.702 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.702 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.702 * [misc]backup-simplify: Simplify 0 into 0 1545132335.702 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (asin (/ -1 a)))))) into 0 1545132335.704 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI)))) into 0 1545132335.706 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))) into 0 1545132335.706 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.706 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.706 * [misc]backup-simplify: Simplify 0 into 0 1545132335.706 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a))))))) into 0 1545132335.708 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 1545132335.710 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))) into 0 1545132335.710 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.710 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.710 * [misc]backup-simplify: Simplify 0 into 0 1545132335.711 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a)))))))) into 0 1545132335.714 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 1545132335.717 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))) into 0 1545132335.717 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.717 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.717 * [misc]backup-simplify: Simplify 0 into 0 1545132335.718 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a))))))))) into 0 1545132335.721 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 1545132335.725 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))))) into 0 1545132335.725 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.725 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.725 * [misc]backup-simplify: Simplify 0 into 0 1545132335.726 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (asin (/ -1 a)))))))))) into 0 1545132335.731 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))))) into 0 1545132335.734 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))))) into 0 1545132335.735 * [misc]backup-simplify: Simplify (- 0) into 0 1545132335.735 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545132335.735 * [misc]backup-simplify: Simplify 0 into 0 1545132335.735 * [misc]backup-simplify: Simplify (* (- (asin (/ -1 (/ 1 (- a)))) (* 1/2 PI)) (/ 1 (- a))) into (* -1 (/ (- (asin a) (* 1/2 PI)) a)) 1545132335.735 * * * [misc]progress: simplifying candidates 1545132335.735 * * * * [misc]progress: [ 1 / 105 ] simplifiying candidate # 1545132335.735 * * * * [misc]progress: [ 2 / 105 ] simplifiying candidate # 1545132335.736 * * * * [misc]progress: [ 3 / 105 ] simplifiying candidate # 1545132335.736 * * * * [misc]progress: [ 4 / 105 ] simplifiying candidate # 1545132335.736 * * * * [misc]progress: [ 5 / 105 ] simplifiying candidate # 1545132335.736 * * * * [misc]progress: [ 6 / 105 ] simplifiying candidate # 1545132335.736 * * * * [misc]progress: [ 7 / 105 ] simplifiying candidate # 1545132335.736 * * * * [misc]progress: [ 8 / 105 ] simplifiying candidate # 1545132335.736 * * * * [misc]progress: [ 9 / 105 ] simplifiying candidate # 1545132335.736 * * * * [misc]progress: [ 10 / 105 ] simplifiying candidate # 1545132335.736 * * * * [misc]progress: [ 11 / 105 ] simplifiying candidate # 1545132335.736 * * * * [misc]progress: [ 12 / 105 ] simplifiying candidate # 1545132335.736 * * * * [misc]progress: [ 13 / 105 ] simplifiying candidate # 1545132335.736 * [enter]simplify: Simplifying (* (cbrt (/ PI 2)) (cbrt (/ PI 2))) 1545132335.736 * * [misc]simplify: iters left: 5 (5 enodes) 1545132335.738 * [exit]simplify: Simplified to (* (cbrt (/ PI 2)) (cbrt (/ PI 2))) 1545132335.738 * [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))))) 1545132335.738 * * * * [misc]progress: [ 14 / 105 ] simplifiying candidate # 1545132335.738 * [enter]simplify: Simplifying (sqrt (/ PI 2)) 1545132335.738 * * [misc]simplify: iters left: 3 (4 enodes) 1545132335.740 * [exit]simplify: Simplified to (sqrt (/ PI 2)) 1545132335.740 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (a) (/ 1 (* -1 (- (/ (sqrt (/ PI 2)) (/ a (sqrt (/ PI 2)))) (/ (asin a) a))))) 1545132335.740 * * * * [misc]progress: [ 15 / 105 ] simplifiying candidate # 1545132335.740 * * * * [misc]progress: [ 16 / 105 ] simplifiying candidate # 1545132335.740 * * * * [misc]progress: [ 17 / 105 ] simplifiying candidate # 1545132335.740 * * * * [misc]progress: [ 18 / 105 ] simplifiying candidate # 1545132335.740 * * * * [misc]progress: [ 19 / 105 ] simplifiying candidate # 1545132335.740 * * * * [misc]progress: [ 20 / 105 ] simplifiying candidate # 1545132335.740 * * * * [misc]progress: [ 21 / 105 ] simplifiying candidate # 1545132335.740 * [enter]simplify: Simplifying (- 1) 1545132335.740 * * [misc]simplify: iters left: 2 (2 enodes) 1545132335.742 * * [misc]simplify: iters left: 1 (5 enodes) 1545132335.743 * [exit]simplify: Simplified to -1 1545132335.743 * [misc]simplify: Simplified (2 2) to (λ (a) (pow (* -1 (- (/ (/ PI 2) a) (/ (asin a) a))) -1)) 1545132335.743 * * * * [misc]progress: [ 22 / 105 ] simplifiying candidate # 1545132335.743 * * * * [misc]progress: [ 23 / 105 ] simplifiying candidate # 1545132335.743 * * * * [misc]progress: [ 24 / 105 ] simplifiying candidate # 1545132335.743 * * * * [misc]progress: [ 25 / 105 ] simplifiying candidate # 1545132335.743 * * * * [misc]progress: [ 26 / 105 ] simplifiying candidate # 1545132335.743 * * * * [misc]progress: [ 27 / 105 ] simplifiying candidate # 1545132335.743 * * * * [misc]progress: [ 28 / 105 ] simplifiying candidate # 1545132335.743 * * * * [misc]progress: [ 29 / 105 ] simplifiying candidate # 1545132335.743 * * * * [misc]progress: [ 30 / 105 ] simplifiying candidate # 1545132335.744 * * * * [misc]progress: [ 31 / 105 ] simplifiying candidate # 1545132335.744 * * * * [misc]progress: [ 32 / 105 ] simplifiying candidate # 1545132335.744 * * * * [misc]progress: [ 33 / 105 ] simplifiying candidate # 1545132335.744 * [enter]simplify: Simplifying (- (/ (/ PI 2) a) (/ (asin a) a)) 1545132335.744 * * [misc]simplify: iters left: 6 (8 enodes) 1545132335.747 * * [misc]simplify: iters left: 5 (12 enodes) 1545132335.752 * * [misc]simplify: iters left: 4 (18 enodes) 1545132335.757 * [exit]simplify: Simplified to (- (/ (/ PI 2) a) (/ (asin a) a)) 1545132335.757 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 -1) (- (/ (/ PI 2) a) (/ (asin a) a)))) 1545132335.757 * * * * [misc]progress: [ 34 / 105 ] simplifiying candidate # 1545132335.757 * * * * [misc]progress: [ 35 / 105 ] simplifiying candidate # 1545132335.758 * [enter]simplify: Simplifying (* a a) 1545132335.758 * * [misc]simplify: iters left: 2 (2 enodes) 1545132335.758 * [exit]simplify: Simplified to (* a a) 1545132335.758 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (* -1 (- (* (/ PI 2) a) (* a (asin a))))) (* a a))) 1545132335.758 * * * * [misc]progress: [ 36 / 105 ] simplifiying candidate # 1545132335.759 * [enter]simplify: Simplifying (+ (* (/ (/ PI 2) a) (/ (/ PI 2) a)) (+ (* (/ (asin a) a) (/ (asin a) a)) (* (/ (/ PI 2) a) (/ (asin a) a)))) 1545132335.759 * * [misc]simplify: iters left: 6 (12 enodes) 1545132335.764 * * [misc]simplify: iters left: 5 (35 enodes) 1545132335.777 * * [misc]simplify: iters left: 4 (89 enodes) 1545132335.796 * * [misc]simplify: iters left: 3 (202 enodes) 1545132335.833 * * [misc]simplify: iters left: 2 (361 enodes) 1545132335.950 * [exit]simplify: Simplified to (fma (/ (/ PI 2) a) (/ (/ PI 2) a) (* (/ (asin a) (* a a)) (+ (/ PI 2) (asin a)))) 1545132335.950 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (* -1 (- (pow (/ (/ PI 2) a) 3) (pow (/ (asin a) a) 3)))) (fma (/ (/ PI 2) a) (/ (/ PI 2) a) (* (/ (asin a) (* a a)) (+ (/ PI 2) (asin a)))))) 1545132335.951 * * * * [misc]progress: [ 37 / 105 ] simplifiying candidate # 1545132335.951 * [enter]simplify: Simplifying (+ (/ (/ PI 2) a) (/ (asin a) a)) 1545132335.951 * * [misc]simplify: iters left: 6 (8 enodes) 1545132335.954 * * [misc]simplify: iters left: 5 (11 enodes) 1545132335.956 * * [misc]simplify: iters left: 4 (14 enodes) 1545132335.958 * [exit]simplify: Simplified to (+ (/ (asin a) a) (/ (/ PI 2) a)) 1545132335.958 * [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)))) 1545132335.958 * * * * [misc]progress: [ 38 / 105 ] simplifiying candidate # 1545132335.958 * * * * [misc]progress: [ 39 / 105 ] simplifiying candidate # 1545132335.958 * * * * [misc]progress: [ 40 / 105 ] simplifiying candidate # 1545132335.958 * * * * [misc]progress: [ 41 / 105 ] simplifiying candidate # 1545132335.958 * * * * [misc]progress: [ 42 / 105 ] simplifiying candidate # 1545132335.958 * * * * [misc]progress: [ 43 / 105 ] simplifiying candidate # 1545132335.959 * * * * [misc]progress: [ 44 / 105 ] simplifiying candidate # 1545132335.959 * * * * [misc]progress: [ 45 / 105 ] simplifiying candidate # 1545132335.959 * * * * [misc]progress: [ 46 / 105 ] simplifiying candidate # 1545132335.959 * * * * [misc]progress: [ 47 / 105 ] simplifiying candidate # 1545132335.959 * [enter]simplify: Simplifying (/ (/ PI 2) a) 1545132335.959 * * [misc]simplify: iters left: 4 (5 enodes) 1545132335.960 * * [misc]simplify: iters left: 3 (7 enodes) 1545132335.961 * * [misc]simplify: iters left: 2 (10 enodes) 1545132335.962 * [exit]simplify: Simplified to (/ (/ PI 2) a) 1545132335.962 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (a) (/ 1 (* -1 (- (/ (/ PI 2) a) (- (/ (/ PI 2) a) (/ (acos a) a)))))) 1545132335.962 * * * * [misc]progress: [ 48 / 105 ] simplifiying candidate # 1545132335.962 * * * * [misc]progress: [ 49 / 105 ] simplifiying candidate # 1545132335.962 * * * * [misc]progress: [ 50 / 105 ] simplifiying candidate # 1545132335.962 * * * * [misc]progress: [ 51 / 105 ] simplifiying candidate # 1545132335.962 * [enter]simplify: Simplifying (* (cbrt (asin a)) (cbrt (asin a))) 1545132335.962 * * [misc]simplify: iters left: 4 (4 enodes) 1545132335.963 * [exit]simplify: Simplified to (* (cbrt (asin a)) (cbrt (asin a))) 1545132335.963 * [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)))))))) 1545132335.963 * * * * [misc]progress: [ 52 / 105 ] simplifiying candidate # 1545132335.963 * [enter]simplify: Simplifying (sqrt (asin a)) 1545132335.963 * * [misc]simplify: iters left: 2 (3 enodes) 1545132335.964 * [exit]simplify: Simplified to (sqrt (asin a)) 1545132335.964 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (a) (/ 1 (* -1 (- (/ (/ PI 2) a) (/ (sqrt (asin a)) (/ a (sqrt (asin a)))))))) 1545132335.964 * * * * [misc]progress: [ 53 / 105 ] simplifiying candidate # 1545132335.964 * * * * [misc]progress: [ 54 / 105 ] simplifiying candidate # 1545132335.964 * [enter]simplify: Simplifying (fma (* (cbrt (/ (/ PI 2) a)) (cbrt (/ (/ PI 2) a))) (cbrt (/ (/ PI 2) a)) (- (* (cbrt (/ (asin a) a)) (* (cbrt (/ (asin a) a)) (cbrt (/ (asin a) a)))))) 1545132335.964 * * [misc]simplify: iters left: 6 (14 enodes) 1545132335.966 * * [misc]simplify: iters left: 5 (25 enodes) 1545132335.970 * * [misc]simplify: iters left: 4 (35 enodes) 1545132335.975 * * [misc]simplify: iters left: 3 (43 enodes) 1545132335.980 * [exit]simplify: Simplified to (- (/ (/ PI 2) a) (/ (asin a) a)) 1545132335.980 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI 2) a) (/ (asin a) a)) (fma (- (cbrt (/ (asin a) a))) (* (cbrt (/ (asin a) a)) (cbrt (/ (asin a) a))) (* (cbrt (/ (asin a) a)) (* (cbrt (/ (asin a) a)) (cbrt (/ (asin a) a))))))))) 1545132335.980 * [enter]simplify: Simplifying (fma (- (cbrt (/ (asin a) a))) (* (cbrt (/ (asin a) a)) (cbrt (/ (asin a) a))) (* (cbrt (/ (asin a) a)) (* (cbrt (/ (asin a) a)) (cbrt (/ (asin a) a))))) 1545132335.980 * * [misc]simplify: iters left: 6 (8 enodes) 1545132335.981 * * [misc]simplify: iters left: 5 (13 enodes) 1545132335.983 * * [misc]simplify: iters left: 4 (20 enodes) 1545132335.986 * * [misc]simplify: iters left: 3 (41 enodes) 1545132335.992 * * [misc]simplify: iters left: 2 (49 enodes) 1545132335.996 * [exit]simplify: Simplified to 0 1545132335.997 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI 2) a) (/ (asin a) a)) 0)))) 1545132335.997 * * * * [misc]progress: [ 55 / 105 ] simplifiying candidate # 1545132335.997 * [enter]simplify: Simplifying (fma (* (cbrt (/ (/ PI 2) a)) (cbrt (/ (/ PI 2) a))) (cbrt (/ (/ PI 2) a)) (- (* (sqrt (/ (asin a) a)) (sqrt (/ (asin a) a))))) 1545132335.997 * * [misc]simplify: iters left: 6 (13 enodes) 1545132336.002 * * [misc]simplify: iters left: 5 (20 enodes) 1545132336.007 * * [misc]simplify: iters left: 4 (29 enodes) 1545132336.015 * * [misc]simplify: iters left: 3 (34 enodes) 1545132336.021 * [exit]simplify: Simplified to (- (/ PI (* a 2)) (/ (asin a) a)) 1545132336.021 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (+ (- (/ PI (* a 2)) (/ (asin a) a)) (fma (- (sqrt (/ (asin a) a))) (sqrt (/ (asin a) a)) (* (sqrt (/ (asin a) a)) (sqrt (/ (asin a) a)))))))) 1545132336.022 * [enter]simplify: Simplifying (fma (- (sqrt (/ (asin a) a))) (sqrt (/ (asin a) a)) (* (sqrt (/ (asin a) a)) (sqrt (/ (asin a) a)))) 1545132336.022 * * [misc]simplify: iters left: 6 (7 enodes) 1545132336.023 * * [misc]simplify: iters left: 5 (9 enodes) 1545132336.024 * * [misc]simplify: iters left: 4 (15 enodes) 1545132336.026 * * [misc]simplify: iters left: 3 (23 enodes) 1545132336.029 * * [misc]simplify: iters left: 2 (25 enodes) 1545132336.032 * [exit]simplify: Simplified to 0 1545132336.032 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (+ (- (/ PI (* a 2)) (/ (asin a) a)) 0)))) 1545132336.032 * * * * [misc]progress: [ 56 / 105 ] simplifiying candidate # 1545132336.032 * [enter]simplify: Simplifying (fma (* (cbrt (/ (/ PI 2) a)) (cbrt (/ (/ PI 2) a))) (cbrt (/ (/ PI 2) a)) (- (* (/ (asin a) a) 1))) 1545132336.032 * * [misc]simplify: iters left: 6 (13 enodes) 1545132336.035 * * [misc]simplify: iters left: 5 (27 enodes) 1545132336.040 * * [misc]simplify: iters left: 4 (44 enodes) 1545132336.048 * * [misc]simplify: iters left: 3 (57 enodes) 1545132336.053 * * [misc]simplify: iters left: 2 (63 enodes) 1545132336.061 * * [misc]simplify: iters left: 1 (72 enodes) 1545132336.077 * [exit]simplify: Simplified to (- (/ (/ PI 2) a) (/ (asin a) a)) 1545132336.077 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI 2) a) (/ (asin a) a)) (fma (- (/ (asin a) a)) 1 (* (/ (asin a) a) 1)))))) 1545132336.077 * [enter]simplify: Simplifying (fma (- (/ (asin a) a)) 1 (* (/ (asin a) a) 1)) 1545132336.077 * * [misc]simplify: iters left: 6 (7 enodes) 1545132336.079 * * [misc]simplify: iters left: 5 (16 enodes) 1545132336.083 * * [misc]simplify: iters left: 4 (34 enodes) 1545132336.088 * * [misc]simplify: iters left: 3 (58 enodes) 1545132336.097 * * [misc]simplify: iters left: 2 (74 enodes) 1545132336.102 * * [misc]simplify: iters left: 1 (83 enodes) 1545132336.110 * [exit]simplify: Simplified to 0 1545132336.111 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI 2) a) (/ (asin a) a)) 0)))) 1545132336.111 * * * * [misc]progress: [ 57 / 105 ] simplifiying candidate # 1545132336.111 * [enter]simplify: Simplifying (fma (* (cbrt (/ (/ PI 2) a)) (cbrt (/ (/ PI 2) a))) (cbrt (/ (/ PI 2) a)) (- (* (/ 1 a) (asin a)))) 1545132336.111 * * [misc]simplify: iters left: 6 (13 enodes) 1545132336.116 * * [misc]simplify: iters left: 5 (26 enodes) 1545132336.126 * * [misc]simplify: iters left: 4 (54 enodes) 1545132336.144 * * [misc]simplify: iters left: 3 (79 enodes) 1545132336.167 * * [misc]simplify: iters left: 2 (102 enodes) 1545132336.192 * * [misc]simplify: iters left: 1 (125 enodes) 1545132336.219 * [exit]simplify: Simplified to (- (/ (/ PI 2) a) (/ (asin a) a)) 1545132336.219 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI 2) a) (/ (asin a) a)) (fma (- (/ 1 a)) (asin a) (* (/ 1 a) (asin a))))))) 1545132336.219 * [enter]simplify: Simplifying (fma (- (/ 1 a)) (asin a) (* (/ 1 a) (asin a))) 1545132336.219 * * [misc]simplify: iters left: 5 (7 enodes) 1545132336.223 * * [misc]simplify: iters left: 4 (17 enodes) 1545132336.228 * * [misc]simplify: iters left: 3 (32 enodes) 1545132336.240 * * [misc]simplify: iters left: 2 (65 enodes) 1545132336.270 * * [misc]simplify: iters left: 1 (119 enodes) 1545132336.290 * [exit]simplify: Simplified to 0 1545132336.290 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI 2) a) (/ (asin a) a)) 0)))) 1545132336.290 * * * * [misc]progress: [ 58 / 105 ] simplifiying candidate # 1545132336.290 * [enter]simplify: Simplifying (fma (sqrt (/ (/ PI 2) a)) (sqrt (/ (/ PI 2) a)) (- (* (cbrt (/ (asin a) a)) (* (cbrt (/ (asin a) a)) (cbrt (/ (asin a) a)))))) 1545132336.290 * * [misc]simplify: iters left: 6 (13 enodes) 1545132336.292 * * [misc]simplify: iters left: 5 (24 enodes) 1545132336.296 * * [misc]simplify: iters left: 4 (33 enodes) 1545132336.301 * * [misc]simplify: iters left: 3 (40 enodes) 1545132336.310 * [exit]simplify: Simplified to (- (/ (/ PI 2) a) (/ (asin a) a)) 1545132336.310 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI 2) a) (/ (asin a) a)) (fma (- (cbrt (/ (asin a) a))) (* (cbrt (/ (asin a) a)) (cbrt (/ (asin a) a))) (* (cbrt (/ (asin a) a)) (* (cbrt (/ (asin a) a)) (cbrt (/ (asin a) a))))))))) 1545132336.311 * [enter]simplify: Simplifying (fma (- (cbrt (/ (asin a) a))) (* (cbrt (/ (asin a) a)) (cbrt (/ (asin a) a))) (* (cbrt (/ (asin a) a)) (* (cbrt (/ (asin a) a)) (cbrt (/ (asin a) a))))) 1545132336.311 * * [misc]simplify: iters left: 6 (8 enodes) 1545132336.313 * * [misc]simplify: iters left: 5 (13 enodes) 1545132336.318 * * [misc]simplify: iters left: 4 (20 enodes) 1545132336.325 * * [misc]simplify: iters left: 3 (41 enodes) 1545132336.336 * * [misc]simplify: iters left: 2 (49 enodes) 1545132336.344 * [exit]simplify: Simplified to 0 1545132336.344 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI 2) a) (/ (asin a) a)) 0)))) 1545132336.344 * * * * [misc]progress: [ 59 / 105 ] simplifiying candidate # 1545132336.344 * [enter]simplify: Simplifying (fma (sqrt (/ (/ PI 2) a)) (sqrt (/ (/ PI 2) a)) (- (* (sqrt (/ (asin a) a)) (sqrt (/ (asin a) a))))) 1545132336.344 * * [misc]simplify: iters left: 6 (12 enodes) 1545132336.348 * * [misc]simplify: iters left: 5 (19 enodes) 1545132336.354 * * [misc]simplify: iters left: 4 (27 enodes) 1545132336.361 * * [misc]simplify: iters left: 3 (33 enodes) 1545132336.369 * * [misc]simplify: iters left: 2 (36 enodes) 1545132336.378 * * [misc]simplify: iters left: 1 (51 enodes) 1545132336.395 * [exit]simplify: Simplified to (- (/ (/ PI 2) a) (/ (asin a) a)) 1545132336.395 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI 2) a) (/ (asin a) a)) (fma (- (sqrt (/ (asin a) a))) (sqrt (/ (asin a) a)) (* (sqrt (/ (asin a) a)) (sqrt (/ (asin a) a)))))))) 1545132336.396 * [enter]simplify: Simplifying (fma (- (sqrt (/ (asin a) a))) (sqrt (/ (asin a) a)) (* (sqrt (/ (asin a) a)) (sqrt (/ (asin a) a)))) 1545132336.396 * * [misc]simplify: iters left: 6 (7 enodes) 1545132336.398 * * [misc]simplify: iters left: 5 (9 enodes) 1545132336.400 * * [misc]simplify: iters left: 4 (15 enodes) 1545132336.402 * * [misc]simplify: iters left: 3 (23 enodes) 1545132336.405 * * [misc]simplify: iters left: 2 (25 enodes) 1545132336.406 * [exit]simplify: Simplified to 0 1545132336.406 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI 2) a) (/ (asin a) a)) 0)))) 1545132336.407 * * * * [misc]progress: [ 60 / 105 ] simplifiying candidate # 1545132336.407 * [enter]simplify: Simplifying (fma (sqrt (/ (/ PI 2) a)) (sqrt (/ (/ PI 2) a)) (- (* (/ (asin a) a) 1))) 1545132336.407 * * [misc]simplify: iters left: 6 (12 enodes) 1545132336.409 * * [misc]simplify: iters left: 5 (26 enodes) 1545132336.414 * * [misc]simplify: iters left: 4 (42 enodes) 1545132336.421 * * [misc]simplify: iters left: 3 (53 enodes) 1545132336.426 * * [misc]simplify: iters left: 2 (59 enodes) 1545132336.437 * * [misc]simplify: iters left: 1 (68 enodes) 1545132336.453 * [exit]simplify: Simplified to (- (/ (/ PI 2) a) (/ (asin a) a)) 1545132336.453 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI 2) a) (/ (asin a) a)) (fma (- (/ (asin a) a)) 1 (* (/ (asin a) a) 1)))))) 1545132336.453 * [enter]simplify: Simplifying (fma (- (/ (asin a) a)) 1 (* (/ (asin a) a) 1)) 1545132336.453 * * [misc]simplify: iters left: 6 (7 enodes) 1545132336.456 * * [misc]simplify: iters left: 5 (16 enodes) 1545132336.461 * * [misc]simplify: iters left: 4 (34 enodes) 1545132336.472 * * [misc]simplify: iters left: 3 (58 enodes) 1545132336.491 * * [misc]simplify: iters left: 2 (74 enodes) 1545132336.502 * * [misc]simplify: iters left: 1 (83 enodes) 1545132336.515 * [exit]simplify: Simplified to 0 1545132336.515 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI 2) a) (/ (asin a) a)) 0)))) 1545132336.515 * * * * [misc]progress: [ 61 / 105 ] simplifiying candidate # 1545132336.516 * [enter]simplify: Simplifying (fma (sqrt (/ (/ PI 2) a)) (sqrt (/ (/ PI 2) a)) (- (* (/ 1 a) (asin a)))) 1545132336.516 * * [misc]simplify: iters left: 6 (12 enodes) 1545132336.519 * * [misc]simplify: iters left: 5 (25 enodes) 1545132336.528 * * [misc]simplify: iters left: 4 (52 enodes) 1545132336.544 * * [misc]simplify: iters left: 3 (80 enodes) 1545132336.569 * * [misc]simplify: iters left: 2 (111 enodes) 1545132336.600 * * [misc]simplify: iters left: 1 (126 enodes) 1545132336.626 * [exit]simplify: Simplified to (- (/ (/ PI 2) a) (/ (asin a) a)) 1545132336.626 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI 2) a) (/ (asin a) a)) (fma (- (/ 1 a)) (asin a) (* (/ 1 a) (asin a))))))) 1545132336.627 * [enter]simplify: Simplifying (fma (- (/ 1 a)) (asin a) (* (/ 1 a) (asin a))) 1545132336.627 * * [misc]simplify: iters left: 5 (7 enodes) 1545132336.630 * * [misc]simplify: iters left: 4 (17 enodes) 1545132336.636 * * [misc]simplify: iters left: 3 (32 enodes) 1545132336.646 * * [misc]simplify: iters left: 2 (65 enodes) 1545132336.660 * * [misc]simplify: iters left: 1 (119 enodes) 1545132336.680 * [exit]simplify: Simplified to 0 1545132336.680 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI 2) a) (/ (asin a) a)) 0)))) 1545132336.680 * * * * [misc]progress: [ 62 / 105 ] simplifiying candidate # 1545132336.681 * [enter]simplify: Simplifying (fma 1 (/ (/ PI 2) a) (- (* (cbrt (/ (asin a) a)) (* (cbrt (/ (asin a) a)) (cbrt (/ (asin a) a)))))) 1545132336.681 * * [misc]simplify: iters left: 6 (13 enodes) 1545132336.685 * * [misc]simplify: iters left: 5 (26 enodes) 1545132336.693 * * [misc]simplify: iters left: 4 (40 enodes) 1545132336.707 * * [misc]simplify: iters left: 3 (63 enodes) 1545132336.722 * * [misc]simplify: iters left: 2 (73 enodes) 1545132336.734 * * [misc]simplify: iters left: 1 (99 enodes) 1545132336.749 * [exit]simplify: Simplified to (- (* 1/2 (/ PI a)) (/ (asin a) a)) 1545132336.749 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (+ (- (* 1/2 (/ PI a)) (/ (asin a) a)) (fma (- (cbrt (/ (asin a) a))) (* (cbrt (/ (asin a) a)) (cbrt (/ (asin a) a))) (* (cbrt (/ (asin a) a)) (* (cbrt (/ (asin a) a)) (cbrt (/ (asin a) a))))))))) 1545132336.749 * [enter]simplify: Simplifying (fma (- (cbrt (/ (asin a) a))) (* (cbrt (/ (asin a) a)) (cbrt (/ (asin a) a))) (* (cbrt (/ (asin a) a)) (* (cbrt (/ (asin a) a)) (cbrt (/ (asin a) a))))) 1545132336.749 * * [misc]simplify: iters left: 6 (8 enodes) 1545132336.752 * * [misc]simplify: iters left: 5 (13 enodes) 1545132336.756 * * [misc]simplify: iters left: 4 (20 enodes) 1545132336.761 * * [misc]simplify: iters left: 3 (41 enodes) 1545132336.767 * * [misc]simplify: iters left: 2 (49 enodes) 1545132336.770 * [exit]simplify: Simplified to 0 1545132336.771 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (+ (- (* 1/2 (/ PI a)) (/ (asin a) a)) 0)))) 1545132336.771 * * * * [misc]progress: [ 63 / 105 ] simplifiying candidate # 1545132336.771 * [enter]simplify: Simplifying (fma 1 (/ (/ PI 2) a) (- (* (sqrt (/ (asin a) a)) (sqrt (/ (asin a) a))))) 1545132336.771 * * [misc]simplify: iters left: 6 (12 enodes) 1545132336.773 * * [misc]simplify: iters left: 5 (21 enodes) 1545132336.776 * * [misc]simplify: iters left: 4 (34 enodes) 1545132336.782 * * [misc]simplify: iters left: 3 (53 enodes) 1545132336.789 * * [misc]simplify: iters left: 2 (63 enodes) 1545132336.799 * * [misc]simplify: iters left: 1 (89 enodes) 1545132336.813 * [exit]simplify: Simplified to (- (* 1/2 (/ PI a)) (/ (asin a) a)) 1545132336.813 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (+ (- (* 1/2 (/ PI a)) (/ (asin a) a)) (fma (- (sqrt (/ (asin a) a))) (sqrt (/ (asin a) a)) (* (sqrt (/ (asin a) a)) (sqrt (/ (asin a) a)))))))) 1545132336.814 * [enter]simplify: Simplifying (fma (- (sqrt (/ (asin a) a))) (sqrt (/ (asin a) a)) (* (sqrt (/ (asin a) a)) (sqrt (/ (asin a) a)))) 1545132336.814 * * [misc]simplify: iters left: 6 (7 enodes) 1545132336.815 * * [misc]simplify: iters left: 5 (9 enodes) 1545132336.816 * * [misc]simplify: iters left: 4 (15 enodes) 1545132336.818 * * [misc]simplify: iters left: 3 (23 enodes) 1545132336.821 * * [misc]simplify: iters left: 2 (25 enodes) 1545132336.823 * [exit]simplify: Simplified to 0 1545132336.823 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (+ (- (* 1/2 (/ PI a)) (/ (asin a) a)) 0)))) 1545132336.823 * * * * [misc]progress: [ 64 / 105 ] simplifiying candidate # 1545132336.823 * [enter]simplify: Simplifying (fma 1 (/ (/ PI 2) a) (- (* (/ (asin a) a) 1))) 1545132336.823 * * [misc]simplify: iters left: 6 (11 enodes) 1545132336.825 * * [misc]simplify: iters left: 5 (25 enodes) 1545132336.830 * * [misc]simplify: iters left: 4 (46 enodes) 1545132336.839 * * [misc]simplify: iters left: 3 (71 enodes) 1545132336.848 * * [misc]simplify: iters left: 2 (91 enodes) 1545132336.873 * * [misc]simplify: iters left: 1 (123 enodes) 1545132336.901 * [exit]simplify: Simplified to (- (* 1/2 (/ PI a)) (/ (asin a) a)) 1545132336.901 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (+ (- (* 1/2 (/ PI a)) (/ (asin a) a)) (fma (- (/ (asin a) a)) 1 (* (/ (asin a) a) 1)))))) 1545132336.901 * [enter]simplify: Simplifying (fma (- (/ (asin a) a)) 1 (* (/ (asin a) a) 1)) 1545132336.901 * * [misc]simplify: iters left: 6 (7 enodes) 1545132336.904 * * [misc]simplify: iters left: 5 (16 enodes) 1545132336.910 * * [misc]simplify: iters left: 4 (34 enodes) 1545132336.923 * * [misc]simplify: iters left: 3 (58 enodes) 1545132336.943 * * [misc]simplify: iters left: 2 (74 enodes) 1545132336.950 * * [misc]simplify: iters left: 1 (83 enodes) 1545132336.957 * [exit]simplify: Simplified to 0 1545132336.957 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (+ (- (* 1/2 (/ PI a)) (/ (asin a) a)) 0)))) 1545132336.957 * * * * [misc]progress: [ 65 / 105 ] simplifiying candidate # 1545132336.958 * [enter]simplify: Simplifying (fma 1 (/ (/ PI 2) a) (- (* (/ 1 a) (asin a)))) 1545132336.958 * * [misc]simplify: iters left: 6 (11 enodes) 1545132336.959 * * [misc]simplify: iters left: 5 (24 enodes) 1545132336.964 * * [misc]simplify: iters left: 4 (56 enodes) 1545132336.981 * * [misc]simplify: iters left: 3 (98 enodes) 1545132337.015 * * [misc]simplify: iters left: 2 (136 enodes) 1545132337.042 * * [misc]simplify: iters left: 1 (172 enodes) 1545132337.076 * [exit]simplify: Simplified to (/ (- (/ PI 2) (asin a)) a) 1545132337.076 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (+ (/ (- (/ PI 2) (asin a)) a) (fma (- (/ 1 a)) (asin a) (* (/ 1 a) (asin a))))))) 1545132337.076 * [enter]simplify: Simplifying (fma (- (/ 1 a)) (asin a) (* (/ 1 a) (asin a))) 1545132337.076 * * [misc]simplify: iters left: 5 (7 enodes) 1545132337.079 * * [misc]simplify: iters left: 4 (17 enodes) 1545132337.084 * * [misc]simplify: iters left: 3 (32 enodes) 1545132337.093 * * [misc]simplify: iters left: 2 (65 enodes) 1545132337.107 * * [misc]simplify: iters left: 1 (119 enodes) 1545132337.127 * [exit]simplify: Simplified to 0 1545132337.127 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (+ (/ (- (/ PI 2) (asin a)) a) 0)))) 1545132337.127 * * * * [misc]progress: [ 66 / 105 ] simplifiying candidate # 1545132337.128 * [enter]simplify: Simplifying (fma (/ PI 2) (/ 1 a) (- (* (cbrt (/ (asin a) a)) (* (cbrt (/ (asin a) a)) (cbrt (/ (asin a) a)))))) 1545132337.128 * * [misc]simplify: iters left: 6 (13 enodes) 1545132337.133 * * [misc]simplify: iters left: 5 (24 enodes) 1545132337.138 * * [misc]simplify: iters left: 4 (35 enodes) 1545132337.144 * * [misc]simplify: iters left: 3 (56 enodes) 1545132337.153 * * [misc]simplify: iters left: 2 (68 enodes) 1545132337.161 * * [misc]simplify: iters left: 1 (80 enodes) 1545132337.171 * [exit]simplify: Simplified to (- (/ (/ PI 2) a) (/ (asin a) a)) 1545132337.172 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI 2) a) (/ (asin a) a)) (fma (- (cbrt (/ (asin a) a))) (* (cbrt (/ (asin a) a)) (cbrt (/ (asin a) a))) (* (cbrt (/ (asin a) a)) (* (cbrt (/ (asin a) a)) (cbrt (/ (asin a) a))))))))) 1545132337.172 * [enter]simplify: Simplifying (fma (- (cbrt (/ (asin a) a))) (* (cbrt (/ (asin a) a)) (cbrt (/ (asin a) a))) (* (cbrt (/ (asin a) a)) (* (cbrt (/ (asin a) a)) (cbrt (/ (asin a) a))))) 1545132337.172 * * [misc]simplify: iters left: 6 (8 enodes) 1545132337.173 * * [misc]simplify: iters left: 5 (13 enodes) 1545132337.175 * * [misc]simplify: iters left: 4 (20 enodes) 1545132337.179 * * [misc]simplify: iters left: 3 (41 enodes) 1545132337.184 * * [misc]simplify: iters left: 2 (49 enodes) 1545132337.188 * [exit]simplify: Simplified to 0 1545132337.188 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI 2) a) (/ (asin a) a)) 0)))) 1545132337.188 * * * * [misc]progress: [ 67 / 105 ] simplifiying candidate # 1545132337.188 * [enter]simplify: Simplifying (fma (/ PI 2) (/ 1 a) (- (* (sqrt (/ (asin a) a)) (sqrt (/ (asin a) a))))) 1545132337.188 * * [misc]simplify: iters left: 6 (12 enodes) 1545132337.190 * * [misc]simplify: iters left: 5 (19 enodes) 1545132337.193 * * [misc]simplify: iters left: 4 (29 enodes) 1545132337.198 * * [misc]simplify: iters left: 3 (46 enodes) 1545132337.210 * * [misc]simplify: iters left: 2 (58 enodes) 1545132337.216 * * [misc]simplify: iters left: 1 (70 enodes) 1545132337.225 * [exit]simplify: Simplified to (- (/ (/ PI 2) a) (/ (asin a) a)) 1545132337.225 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI 2) a) (/ (asin a) a)) (fma (- (sqrt (/ (asin a) a))) (sqrt (/ (asin a) a)) (* (sqrt (/ (asin a) a)) (sqrt (/ (asin a) a)))))))) 1545132337.225 * [enter]simplify: Simplifying (fma (- (sqrt (/ (asin a) a))) (sqrt (/ (asin a) a)) (* (sqrt (/ (asin a) a)) (sqrt (/ (asin a) a)))) 1545132337.225 * * [misc]simplify: iters left: 6 (7 enodes) 1545132337.226 * * [misc]simplify: iters left: 5 (9 enodes) 1545132337.228 * * [misc]simplify: iters left: 4 (15 enodes) 1545132337.230 * * [misc]simplify: iters left: 3 (23 enodes) 1545132337.232 * * [misc]simplify: iters left: 2 (25 enodes) 1545132337.234 * [exit]simplify: Simplified to 0 1545132337.234 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI 2) a) (/ (asin a) a)) 0)))) 1545132337.234 * * * * [misc]progress: [ 68 / 105 ] simplifiying candidate # 1545132337.234 * [enter]simplify: Simplifying (fma (/ PI 2) (/ 1 a) (- (* (/ (asin a) a) 1))) 1545132337.234 * * [misc]simplify: iters left: 6 (11 enodes) 1545132337.237 * * [misc]simplify: iters left: 5 (23 enodes) 1545132337.241 * * [misc]simplify: iters left: 4 (41 enodes) 1545132337.249 * * [misc]simplify: iters left: 3 (65 enodes) 1545132337.256 * * [misc]simplify: iters left: 2 (81 enodes) 1545132337.266 * * [misc]simplify: iters left: 1 (102 enodes) 1545132337.292 * [exit]simplify: Simplified to (- (/ (/ PI a) 2) (/ (asin a) a)) 1545132337.292 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI a) 2) (/ (asin a) a)) (fma (- (/ (asin a) a)) 1 (* (/ (asin a) a) 1)))))) 1545132337.293 * [enter]simplify: Simplifying (fma (- (/ (asin a) a)) 1 (* (/ (asin a) a) 1)) 1545132337.293 * * [misc]simplify: iters left: 6 (7 enodes) 1545132337.295 * * [misc]simplify: iters left: 5 (16 enodes) 1545132337.301 * * [misc]simplify: iters left: 4 (34 enodes) 1545132337.306 * * [misc]simplify: iters left: 3 (58 enodes) 1545132337.316 * * [misc]simplify: iters left: 2 (74 enodes) 1545132337.321 * * [misc]simplify: iters left: 1 (83 enodes) 1545132337.328 * [exit]simplify: Simplified to 0 1545132337.328 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI a) 2) (/ (asin a) a)) 0)))) 1545132337.328 * * * * [misc]progress: [ 69 / 105 ] simplifiying candidate # 1545132337.329 * [enter]simplify: Simplifying (fma (/ PI 2) (/ 1 a) (- (* (/ 1 a) (asin a)))) 1545132337.329 * * [misc]simplify: iters left: 6 (10 enodes) 1545132337.330 * * [misc]simplify: iters left: 5 (21 enodes) 1545132337.334 * * [misc]simplify: iters left: 4 (50 enodes) 1545132337.344 * * [misc]simplify: iters left: 3 (86 enodes) 1545132337.368 * * [misc]simplify: iters left: 2 (115 enodes) 1545132337.397 * * [misc]simplify: iters left: 1 (144 enodes) 1545132337.429 * [exit]simplify: Simplified to (- (/ (/ PI a) 2) (/ (asin a) a)) 1545132337.429 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI a) 2) (/ (asin a) a)) (fma (- (/ 1 a)) (asin a) (* (/ 1 a) (asin a))))))) 1545132337.429 * [enter]simplify: Simplifying (fma (- (/ 1 a)) (asin a) (* (/ 1 a) (asin a))) 1545132337.429 * * [misc]simplify: iters left: 5 (7 enodes) 1545132337.432 * * [misc]simplify: iters left: 4 (17 enodes) 1545132337.437 * * [misc]simplify: iters left: 3 (32 enodes) 1545132337.449 * * [misc]simplify: iters left: 2 (65 enodes) 1545132337.476 * * [misc]simplify: iters left: 1 (119 enodes) 1545132337.509 * [exit]simplify: Simplified to 0 1545132337.509 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI a) 2) (/ (asin a) a)) 0)))) 1545132337.509 * * * * [misc]progress: [ 70 / 105 ] simplifiying candidate # 1545132337.509 * * * * [misc]progress: [ 71 / 105 ] simplifiying candidate # 1545132337.510 * * * * [misc]progress: [ 72 / 105 ] simplifiying candidate # 1545132337.510 * [enter]simplify: Simplifying (* (cbrt (/ (/ PI 2) a)) (cbrt (/ (/ PI 2) a))) 1545132337.510 * * [misc]simplify: iters left: 6 (7 enodes) 1545132337.512 * * [misc]simplify: iters left: 5 (9 enodes) 1545132337.515 * * [misc]simplify: iters left: 4 (12 enodes) 1545132337.518 * [exit]simplify: Simplified to (* (cbrt (/ (/ PI 2) a)) (cbrt (/ (/ PI 2) a))) 1545132337.518 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (fma (* (cbrt (/ (/ PI 2) a)) (cbrt (/ (/ PI 2) a))) (cbrt (/ (/ PI 2) a)) (- (/ (asin a) a)))))) 1545132337.518 * * * * [misc]progress: [ 73 / 105 ] simplifiying candidate # 1545132337.518 * [enter]simplify: Simplifying (sqrt (/ (/ PI 2) a)) 1545132337.518 * * [misc]simplify: iters left: 5 (6 enodes) 1545132337.520 * * [misc]simplify: iters left: 4 (8 enodes) 1545132337.522 * * [misc]simplify: iters left: 3 (11 enodes) 1545132337.525 * [exit]simplify: Simplified to (sqrt (/ (/ PI 2) a)) 1545132337.525 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (fma (sqrt (/ (/ PI 2) a)) (sqrt (/ (/ PI 2) a)) (- (/ (asin a) a)))))) 1545132337.525 * * * * [misc]progress: [ 74 / 105 ] simplifiying candidate # 1545132337.525 * * * * [misc]progress: [ 75 / 105 ] simplifiying candidate # 1545132337.525 * [enter]simplify: Simplifying (/ PI 2) 1545132337.525 * * [misc]simplify: iters left: 2 (3 enodes) 1545132337.526 * [exit]simplify: Simplified to (/ PI 2) 1545132337.526 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (fma (/ PI 2) (/ 1 a) (- (/ (asin a) a)))))) 1545132337.526 * * * * [misc]progress: [ 76 / 105 ] simplifiying candidate # 1545132337.526 * [enter]simplify: Simplifying (/ (exp (/ (/ PI 2) a)) (exp (/ (asin a) a))) 1545132337.527 * * [misc]simplify: iters left: 6 (10 enodes) 1545132337.529 * * [misc]simplify: iters left: 5 (14 enodes) 1545132337.533 * * [misc]simplify: iters left: 4 (19 enodes) 1545132337.539 * * [misc]simplify: iters left: 3 (26 enodes) 1545132337.544 * * [misc]simplify: iters left: 2 (29 enodes) 1545132337.549 * * [misc]simplify: iters left: 1 (35 enodes) 1545132337.553 * [exit]simplify: Simplified to (exp (- (/ (/ PI 2) a) (/ (asin a) a))) 1545132337.553 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (log (exp (- (/ (/ PI 2) a) (/ (asin a) a))))))) 1545132337.553 * * * * [misc]progress: [ 77 / 105 ] simplifiying candidate # 1545132337.554 * * * * [misc]progress: [ 78 / 105 ] simplifiying candidate # 1545132337.554 * * * * [misc]progress: [ 79 / 105 ] simplifiying candidate # 1545132337.554 * * * * [misc]progress: [ 80 / 105 ] simplifiying candidate # 1545132337.554 * * * * [misc]progress: [ 81 / 105 ] simplifiying candidate # 1545132337.554 * * * * [misc]progress: [ 82 / 105 ] simplifiying candidate # 1545132337.554 * * * * [misc]progress: [ 83 / 105 ] simplifiying candidate # 1545132337.554 * [enter]simplify: Simplifying (- (/ PI 2) (asin a)) 1545132337.554 * * [misc]simplify: iters left: 4 (6 enodes) 1545132337.555 * * [misc]simplify: iters left: 3 (8 enodes) 1545132337.556 * * [misc]simplify: iters left: 2 (9 enodes) 1545132337.557 * [exit]simplify: Simplified to (- (/ PI 2) (asin a)) 1545132337.557 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (/ (- (/ PI 2) (asin a)) a)))) 1545132337.557 * * * * [misc]progress: [ 84 / 105 ] simplifiying candidate # 1545132337.557 * [enter]simplify: Simplifying (- (* (/ PI 2) a) (* a (asin a))) 1545132337.557 * * [misc]simplify: iters left: 6 (8 enodes) 1545132337.559 * * [misc]simplify: iters left: 5 (15 enodes) 1545132337.561 * * [misc]simplify: iters left: 4 (29 enodes) 1545132337.565 * * [misc]simplify: iters left: 3 (38 enodes) 1545132337.570 * [exit]simplify: Simplified to (* a (- (/ PI 2) (asin a))) 1545132337.570 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (/ (* a (- (/ PI 2) (asin a))) (* a a))))) 1545132337.570 * [enter]simplify: Simplifying (* a a) 1545132337.570 * * [misc]simplify: iters left: 2 (2 enodes) 1545132337.570 * [exit]simplify: Simplified to (* a a) 1545132337.570 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (/ (* a (- (/ PI 2) (asin a))) (* a a))))) 1545132337.571 * * * * [misc]progress: [ 85 / 105 ] simplifiying candidate # 1545132337.571 * * * * [misc]progress: [ 86 / 105 ] simplifiying candidate # 1545132337.571 * * * * [misc]progress: [ 87 / 105 ] simplifiying candidate # 1545132337.571 * * * * [misc]progress: [ 88 / 105 ] simplifiying candidate # 1545132337.571 * * * * [misc]progress: [ 89 / 105 ] simplifiying candidate # 1545132337.571 * [enter]simplify: Simplifying (+ (sqrt (/ (/ PI 2) a)) (sqrt (/ (asin a) a))) 1545132337.571 * * [misc]simplify: iters left: 6 (10 enodes) 1545132337.572 * * [misc]simplify: iters left: 5 (13 enodes) 1545132337.574 * * [misc]simplify: iters left: 4 (16 enodes) 1545132337.576 * [exit]simplify: Simplified to (+ (sqrt (/ (/ PI 2) a)) (sqrt (/ (asin a) a))) 1545132337.576 * [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))))))) 1545132337.576 * [enter]simplify: Simplifying (- (sqrt (/ (/ PI 2) a)) (sqrt (/ (asin a) a))) 1545132337.576 * * [misc]simplify: iters left: 6 (10 enodes) 1545132337.578 * * [misc]simplify: iters left: 5 (14 enodes) 1545132337.580 * * [misc]simplify: iters left: 4 (18 enodes) 1545132337.582 * [exit]simplify: Simplified to (- (sqrt (/ (/ PI 2) a)) (sqrt (/ (asin a) a))) 1545132337.582 * [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))))))) 1545132337.582 * * * * [misc]progress: [ 90 / 105 ] simplifiying candidate # 1545132337.582 * [enter]simplify: Simplifying (- (/ (/ PI 2) a) (/ (asin a) a)) 1545132337.582 * * [misc]simplify: iters left: 6 (8 enodes) 1545132337.584 * * [misc]simplify: iters left: 5 (12 enodes) 1545132337.585 * * [misc]simplify: iters left: 4 (18 enodes) 1545132337.588 * [exit]simplify: Simplified to (- (/ (/ PI 2) a) (/ (asin a) a)) 1545132337.588 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (* 1 (- (/ (/ PI 2) a) (/ (asin a) a)))))) 1545132337.588 * * * * [misc]progress: [ 91 / 105 ] simplifiying candidate # 1545132337.588 * [enter]simplify: Simplifying (/ 1 a) 1545132337.588 * * [misc]simplify: iters left: 2 (3 enodes) 1545132337.588 * * [misc]simplify: iters left: 1 (5 enodes) 1545132337.589 * [exit]simplify: Simplified to (/ 1 a) 1545132337.589 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (* (/ 1 a) (- (/ PI 2) (asin a)))))) 1545132337.589 * [enter]simplify: Simplifying (- (/ PI 2) (asin a)) 1545132337.589 * * [misc]simplify: iters left: 4 (6 enodes) 1545132337.590 * * [misc]simplify: iters left: 3 (8 enodes) 1545132337.591 * * [misc]simplify: iters left: 2 (9 enodes) 1545132337.592 * [exit]simplify: Simplified to (- (/ PI 2) (asin a)) 1545132337.592 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (* (/ 1 a) (- (/ PI 2) (asin a)))))) 1545132337.592 * * * * [misc]progress: [ 92 / 105 ] simplifiying candidate # 1545132337.592 * [enter]simplify: Simplifying (/ (acos a) a) 1545132337.592 * * [misc]simplify: iters left: 3 (3 enodes) 1545132337.593 * [exit]simplify: Simplified to (/ (acos a) a) 1545132337.593 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (+ (- (/ (/ PI 2) a) (/ (/ PI 2) a)) (/ (acos a) a))))) 1545132337.593 * * * * [misc]progress: [ 93 / 105 ] simplifiying candidate # 1545132337.593 * * * * [misc]progress: [ 94 / 105 ] simplifiying candidate # 1545132337.593 * [enter]simplify: Simplifying (* 1/2 (/ PI a)) 1545132337.593 * * [misc]simplify: iters left: 4 (5 enodes) 1545132337.594 * * [misc]simplify: iters left: 3 (8 enodes) 1545132337.595 * * [misc]simplify: iters left: 2 (12 enodes) 1545132337.596 * * [misc]simplify: iters left: 1 (14 enodes) 1545132337.599 * [exit]simplify: Simplified to (* (/ PI a) 1/2) 1545132337.599 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (- (* (/ PI a) 1/2) (/ (asin a) a))))) 1545132337.599 * * * * [misc]progress: [ 95 / 105 ] simplifiying candidate # 1545132337.599 * [enter]simplify: Simplifying (* 1/2 (/ PI a)) 1545132337.599 * * [misc]simplify: iters left: 4 (5 enodes) 1545132337.600 * * [misc]simplify: iters left: 3 (8 enodes) 1545132337.601 * * [misc]simplify: iters left: 2 (12 enodes) 1545132337.603 * * [misc]simplify: iters left: 1 (14 enodes) 1545132337.605 * [exit]simplify: Simplified to (* (/ PI a) 1/2) 1545132337.605 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (- (* (/ PI a) 1/2) (/ (asin a) a))))) 1545132337.605 * * * * [misc]progress: [ 96 / 105 ] simplifiying candidate # 1545132337.605 * [enter]simplify: Simplifying (* 1/2 (/ PI a)) 1545132337.605 * * [misc]simplify: iters left: 4 (5 enodes) 1545132337.606 * * [misc]simplify: iters left: 3 (8 enodes) 1545132337.607 * * [misc]simplify: iters left: 2 (12 enodes) 1545132337.608 * * [misc]simplify: iters left: 1 (14 enodes) 1545132337.610 * [exit]simplify: Simplified to (* (/ PI a) 1/2) 1545132337.610 * [misc]simplify: Simplified (2 2 2 1) to (λ (a) (/ 1 (* -1 (- (* (/ PI a) 1/2) (/ (asin a) a))))) 1545132337.610 * * * * [misc]progress: [ 97 / 105 ] simplifiying candidate # 1545132337.610 * [enter]simplify: Simplifying (* -1 (/ a (- (* 1/2 PI) (asin a)))) 1545132337.610 * * [misc]simplify: iters left: 6 (9 enodes) 1545132337.612 * * [misc]simplify: iters left: 5 (17 enodes) 1545132337.614 * * [misc]simplify: iters left: 4 (24 enodes) 1545132337.617 * * [misc]simplify: iters left: 3 (29 enodes) 1545132337.620 * * [misc]simplify: iters left: 2 (37 enodes) 1545132337.625 * * [misc]simplify: iters left: 1 (47 enodes) 1545132337.632 * [exit]simplify: Simplified to (/ (- a) (- (* 1/2 PI) (asin a))) 1545132337.632 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (- (* 1/2 PI) (asin a)))) 1545132337.632 * * * * [misc]progress: [ 98 / 105 ] simplifiying candidate # 1545132337.632 * [enter]simplify: Simplifying (* -1 (/ a (- (* 1/2 PI) (asin a)))) 1545132337.632 * * [misc]simplify: iters left: 6 (9 enodes) 1545132337.633 * * [misc]simplify: iters left: 5 (17 enodes) 1545132337.636 * * [misc]simplify: iters left: 4 (24 enodes) 1545132337.638 * * [misc]simplify: iters left: 3 (29 enodes) 1545132337.642 * * [misc]simplify: iters left: 2 (37 enodes) 1545132337.646 * * [misc]simplify: iters left: 1 (47 enodes) 1545132337.653 * [exit]simplify: Simplified to (/ (- a) (- (* 1/2 PI) (asin a))) 1545132337.653 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (- (* 1/2 PI) (asin a)))) 1545132337.653 * * * * [misc]progress: [ 99 / 105 ] simplifiying candidate # 1545132337.653 * [enter]simplify: Simplifying (/ a (- (asin a) (* 1/2 PI))) 1545132337.653 * * [misc]simplify: iters left: 6 (7 enodes) 1545132337.654 * * [misc]simplify: iters left: 5 (10 enodes) 1545132337.656 * * [misc]simplify: iters left: 4 (18 enodes) 1545132337.659 * * [misc]simplify: iters left: 3 (22 enodes) 1545132337.663 * [exit]simplify: Simplified to (/ a (fma PI -1/2 (asin a))) 1545132337.663 * [misc]simplify: Simplified (2) to (λ (a) (/ a (fma PI -1/2 (asin a)))) 1545132337.663 * * * * [misc]progress: [ 100 / 105 ] simplifiying candidate # 1545132337.663 * [enter]simplify: Simplifying (/ (asin a) a) 1545132337.663 * * [misc]simplify: iters left: 3 (3 enodes) 1545132337.664 * [exit]simplify: Simplified to (/ (asin a) a) 1545132337.664 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (- (/ (/ PI 2) a) (/ (asin a) a))))) 1545132337.664 * * * * [misc]progress: [ 101 / 105 ] simplifiying candidate # 1545132337.665 * [enter]simplify: Simplifying (/ (asin a) a) 1545132337.665 * * [misc]simplify: iters left: 3 (3 enodes) 1545132337.666 * [exit]simplify: Simplified to (/ (asin a) a) 1545132337.666 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (- (/ (/ PI 2) a) (/ (asin a) a))))) 1545132337.666 * * * * [misc]progress: [ 102 / 105 ] simplifiying candidate # 1545132337.666 * [enter]simplify: Simplifying (/ (asin a) a) 1545132337.666 * * [misc]simplify: iters left: 3 (3 enodes) 1545132337.667 * [exit]simplify: Simplified to (/ (asin a) a) 1545132337.667 * [misc]simplify: Simplified (2 2 2 2) to (λ (a) (/ 1 (* -1 (- (/ (/ PI 2) a) (/ (asin a) a))))) 1545132337.667 * * * * [misc]progress: [ 103 / 105 ] simplifiying candidate # 1545132337.667 * [enter]simplify: Simplifying (/ (- (* 1/2 PI) (asin a)) a) 1545132337.667 * * [misc]simplify: iters left: 6 (7 enodes) 1545132337.670 * * [misc]simplify: iters left: 5 (14 enodes) 1545132337.674 * * [misc]simplify: iters left: 4 (22 enodes) 1545132337.680 * * [misc]simplify: iters left: 3 (28 enodes) 1545132337.689 * * [misc]simplify: iters left: 2 (32 enodes) 1545132337.696 * [exit]simplify: Simplified to (/ (- (* 1/2 PI) (asin a)) a) 1545132337.696 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* -1 (/ (- (* 1/2 PI) (asin a)) a)))) 1545132337.696 * * * * [misc]progress: [ 104 / 105 ] simplifiying candidate # 1545132337.697 * [enter]simplify: Simplifying (/ (- (* 1/2 PI) (asin a)) a) 1545132337.697 * * [misc]simplify: iters left: 6 (7 enodes) 1545132337.699 * * [misc]simplify: iters left: 5 (14 enodes) 1545132337.703 * * [misc]simplify: iters left: 4 (22 enodes) 1545132337.709 * * [misc]simplify: iters left: 3 (28 enodes) 1545132337.716 * * [misc]simplify: iters left: 2 (32 enodes) 1545132337.723 * [exit]simplify: Simplified to (/ (- (* 1/2 PI) (asin a)) a) 1545132337.723 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* -1 (/ (- (* 1/2 PI) (asin a)) a)))) 1545132337.723 * * * * [misc]progress: [ 105 / 105 ] simplifiying candidate # 1545132337.723 * [enter]simplify: Simplifying (* -1 (/ (- (asin a) (* 1/2 PI)) a)) 1545132337.723 * * [misc]simplify: iters left: 6 (9 enodes) 1545132337.726 * * [misc]simplify: iters left: 5 (19 enodes) 1545132337.732 * * [misc]simplify: iters left: 4 (44 enodes) 1545132337.749 * * [misc]simplify: iters left: 3 (85 enodes) 1545132337.794 * * [misc]simplify: iters left: 2 (181 enodes) 1545132337.974 * * [misc]simplify: iters left: 1 (342 enodes) 1545132338.195 * [exit]simplify: Simplified to (/ (- (* 1/2 PI) (asin a)) a) 1545132338.195 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* -1 (/ (- (* 1/2 PI) (asin a)) a)))) 1545132338.195 * * * [misc]progress: adding candidates to table 1545132339.335 * [misc]progress: [Phase 3 of 3] Extracting. 1545132339.335 * * [misc]regime: Finding splitpoints for: (# # # # # # # #) 1545132339.337 * * * [misc]regime-changes: Trying 2 branch expressions: (a (/ a (- (acos a)))) 1545132339.337 * * * * [misc]regimes: Trying to branch on a from (# # # # # # # #) 1545132339.408 * * * * [misc]regimes: Trying to branch on (/ a (- (acos a))) from (# # # # # # # #) 1545132339.475 * * * [misc]regime: Found split indices: #