1546597118.136 * [misc]progress: [Phase 1 of 3] Setting up. 1546597118.136 * * * [misc]progress: [1/2] Preparing points 1546597118.136 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1546597118.162 * * * * [misc]points: Filtering points with unrepresentable outputs 1546597118.162 * * * * [misc]points: Sampling 140 additional inputs, on iter 1 have 116 / 256 1546597118.177 * * * * [misc]points: Filtering points with unrepresentable outputs 1546597118.177 * * * * [misc]points: Sampling 80 additional inputs, on iter 2 have 176 / 256 1546597118.186 * * * * [misc]points: Filtering points with unrepresentable outputs 1546597118.186 * * * * [misc]points: Sampling 43 additional inputs, on iter 3 have 213 / 256 1546597118.192 * * * * [misc]points: Filtering points with unrepresentable outputs 1546597118.192 * * * * [misc]points: Sampling 23 additional inputs, on iter 4 have 233 / 256 1546597118.196 * * * * [misc]points: Filtering points with unrepresentable outputs 1546597118.196 * * * * [misc]points: Sampling 10 additional inputs, on iter 5 have 246 / 256 1546597118.200 * * * * [misc]points: Filtering points with unrepresentable outputs 1546597118.200 * * * * [misc]points: Sampling 5 additional inputs, on iter 6 have 251 / 256 1546597118.202 * * * * [misc]points: Filtering points with unrepresentable outputs 1546597118.202 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1546597118.203 * * * * [misc]points: Filtering points with unrepresentable outputs 1546597118.204 * * * * [exit]points: Sampled 256 points with exact outputs 1546597118.204 * * * [misc]progress: [2/2] Setting up program. 1546597118.208 * [misc]progress: [Phase 2 of 3] Improving. 1546597118.208 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1546597118.208 * [enter]simplify: Simplifying (/ a (- (acos a))) 1546597118.208 * * [misc]simplify: iters left: 5 (4 enodes) 1546597118.210 * [exit]simplify: Simplified to (/ a (- (acos a))) 1546597118.210 * [misc]simplify: Simplified (2) to (λ (a) (/ a (- (acos a)))) 1546597118.213 * * [misc]progress: iteration 1 / 4 1546597118.213 * * * [misc]progress: picking best candidate 1546597118.215 * * * * [misc]pick: Picked # 1546597118.215 * * * [misc]progress: localizing error 1546597118.231 * * * [misc]progress: generating rewritten candidates 1546597118.231 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1546597118.232 * * * [misc]progress: generating series expansions 1546597118.232 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1546597118.232 * [misc]backup-simplify: Simplify (/ a (- (acos a))) into (* -1 (/ a (acos a))) 1546597118.232 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1546597118.232 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1546597118.232 * [misc]taylor: Taking taylor expansion of -1 in a 1546597118.232 * [misc]backup-simplify: Simplify -1 into -1 1546597118.232 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1546597118.232 * [misc]taylor: Taking taylor expansion of a in a 1546597118.232 * [misc]backup-simplify: Simplify 0 into 0 1546597118.232 * [misc]backup-simplify: Simplify 1 into 1 1546597118.232 * [misc]taylor: Taking taylor expansion of (acos a) in a 1546597118.233 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1546597118.233 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1546597118.233 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1546597118.233 * [misc]taylor: Taking taylor expansion of -1 in a 1546597118.233 * [misc]backup-simplify: Simplify -1 into -1 1546597118.233 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1546597118.233 * [misc]taylor: Taking taylor expansion of a in a 1546597118.233 * [misc]backup-simplify: Simplify 0 into 0 1546597118.233 * [misc]backup-simplify: Simplify 1 into 1 1546597118.233 * [misc]taylor: Taking taylor expansion of (acos a) in a 1546597118.233 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1546597118.233 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1546597118.233 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1546597118.233 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1546597118.233 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1546597118.234 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1546597118.234 * [misc]backup-simplify: Simplify 0 into 0 1546597118.234 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1546597118.234 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1546597118.234 * [misc]backup-simplify: Simplify 0 into 0 1546597118.234 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1546597118.235 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1546597118.235 * [misc]backup-simplify: Simplify 0 into 0 1546597118.235 * [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 1546597118.236 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1546597118.236 * [misc]backup-simplify: Simplify 0 into 0 1546597118.236 * [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 1546597118.236 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1546597118.236 * [misc]backup-simplify: Simplify 0 into 0 1546597118.237 * [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 1546597118.237 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1546597118.237 * [misc]backup-simplify: Simplify 0 into 0 1546597118.237 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1546597118.237 * [misc]backup-simplify: Simplify (/ (/ 1 a) (- (acos (/ 1 a)))) into (/ -1 (* a (acos (/ 1 a)))) 1546597118.237 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1546597118.237 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1546597118.237 * [misc]taylor: Taking taylor expansion of -1 in a 1546597118.237 * [misc]backup-simplify: Simplify -1 into -1 1546597118.237 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1546597118.237 * [misc]taylor: Taking taylor expansion of a in a 1546597118.238 * [misc]backup-simplify: Simplify 0 into 0 1546597118.238 * [misc]backup-simplify: Simplify 1 into 1 1546597118.238 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1546597118.238 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1546597118.238 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1546597118.238 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1546597118.238 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1546597118.238 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1546597118.238 * [misc]taylor: Taking taylor expansion of -1 in a 1546597118.238 * [misc]backup-simplify: Simplify -1 into -1 1546597118.238 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1546597118.238 * [misc]taylor: Taking taylor expansion of a in a 1546597118.238 * [misc]backup-simplify: Simplify 0 into 0 1546597118.238 * [misc]backup-simplify: Simplify 1 into 1 1546597118.238 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1546597118.238 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1546597118.239 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1546597118.239 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1546597118.239 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1546597118.239 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1546597118.239 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1546597118.239 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1546597118.239 * [misc]backup-simplify: Simplify 0 into 0 1546597118.240 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1546597118.240 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1546597118.240 * [misc]backup-simplify: Simplify 0 into 0 1546597118.240 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1546597118.241 * [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 1546597118.241 * [misc]backup-simplify: Simplify 0 into 0 1546597118.241 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1546597118.241 * [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 1546597118.242 * [misc]backup-simplify: Simplify 0 into 0 1546597118.242 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1546597118.242 * [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 1546597118.242 * [misc]backup-simplify: Simplify 0 into 0 1546597118.243 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1546597118.244 * [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 1546597118.244 * [misc]backup-simplify: Simplify 0 into 0 1546597118.244 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1546597118.244 * [misc]backup-simplify: Simplify (/ (/ 1 (- a)) (- (acos (/ 1 (- a))))) into (/ 1 (* a (acos (/ -1 a)))) 1546597118.244 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1546597118.244 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1546597118.244 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1546597118.244 * [misc]taylor: Taking taylor expansion of a in a 1546597118.244 * [misc]backup-simplify: Simplify 0 into 0 1546597118.244 * [misc]backup-simplify: Simplify 1 into 1 1546597118.244 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1546597118.244 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1546597118.244 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1546597118.245 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1546597118.245 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1546597118.245 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1546597118.245 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1546597118.245 * [misc]taylor: Taking taylor expansion of a in a 1546597118.245 * [misc]backup-simplify: Simplify 0 into 0 1546597118.245 * [misc]backup-simplify: Simplify 1 into 1 1546597118.245 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1546597118.245 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1546597118.245 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1546597118.245 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1546597118.245 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1546597118.246 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1546597118.246 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1546597118.246 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1546597118.246 * [misc]backup-simplify: Simplify 0 into 0 1546597118.247 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1546597118.247 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1546597118.247 * [misc]backup-simplify: Simplify 0 into 0 1546597118.248 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1546597118.248 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1546597118.248 * [misc]backup-simplify: Simplify 0 into 0 1546597118.249 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1546597118.250 * [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 1546597118.250 * [misc]backup-simplify: Simplify 0 into 0 1546597118.250 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1546597118.251 * [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 1546597118.251 * [misc]backup-simplify: Simplify 0 into 0 1546597118.252 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1546597118.252 * [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 1546597118.252 * [misc]backup-simplify: Simplify 0 into 0 1546597118.253 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1546597118.253 * * * [misc]progress: simplifying candidates 1546597118.253 * * * * [misc]progress: [ 1 / 25 ] simplifiying candidate # 1546597118.253 * * * * [misc]progress: [ 2 / 25 ] simplifiying candidate # 1546597118.253 * * * * [misc]progress: [ 3 / 25 ] simplifiying candidate # 1546597118.253 * * * * [misc]progress: [ 4 / 25 ] simplifiying candidate # 1546597118.253 * * * * [misc]progress: [ 5 / 25 ] simplifiying candidate # 1546597118.253 * * * * [misc]progress: [ 6 / 25 ] simplifiying candidate # 1546597118.253 * * * * [misc]progress: [ 7 / 25 ] simplifiying candidate # 1546597118.253 * * * * [misc]progress: [ 8 / 25 ] simplifiying candidate # 1546597118.253 * * * * [misc]progress: [ 9 / 25 ] simplifiying candidate # 1546597118.253 * * * * [misc]progress: [ 10 / 25 ] simplifiying candidate # 1546597118.253 * * * * [misc]progress: [ 11 / 25 ] simplifiying candidate # 1546597118.253 * * * * [misc]progress: [ 12 / 25 ] simplifiying candidate # 1546597118.253 * * * * [misc]progress: [ 13 / 25 ] simplifiying candidate # 1546597118.254 * [enter]simplify: Simplifying (cbrt (- (acos a))) 1546597118.254 * * [misc]simplify: iters left: 4 (4 enodes) 1546597118.255 * [exit]simplify: Simplified to (cbrt (- (acos a))) 1546597118.255 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (cbrt (- (acos a))))) 1546597118.255 * * * * [misc]progress: [ 14 / 25 ] simplifiying candidate # 1546597118.255 * [enter]simplify: Simplifying (sqrt (- (acos a))) 1546597118.255 * * [misc]simplify: iters left: 4 (4 enodes) 1546597118.256 * [exit]simplify: Simplified to (sqrt (- (acos a))) 1546597118.256 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (sqrt (- (acos a)))) (sqrt (- (acos a))))) 1546597118.256 * * * * [misc]progress: [ 15 / 25 ] simplifiying candidate # 1546597118.256 * [enter]simplify: Simplifying (- (acos a)) 1546597118.257 * * [misc]simplify: iters left: 3 (3 enodes) 1546597118.257 * [exit]simplify: Simplified to (- (acos a)) 1546597118.257 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a 1) (- (acos a)))) 1546597118.257 * * * * [misc]progress: [ 16 / 25 ] simplifiying candidate # 1546597118.258 * [enter]simplify: Simplifying (acos a) 1546597118.258 * * [misc]simplify: iters left: 1 (2 enodes) 1546597118.258 * [exit]simplify: Simplified to (acos a) 1546597118.258 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a -1) (acos a))) 1546597118.258 * * * * [misc]progress: [ 17 / 25 ] simplifiying candidate # 1546597118.259 * [enter]simplify: Simplifying (cbrt (acos a)) 1546597118.259 * * [misc]simplify: iters left: 2 (3 enodes) 1546597118.259 * [exit]simplify: Simplified to (cbrt (acos a)) 1546597118.259 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (- (* (cbrt (acos a)) (cbrt (acos a))))) (cbrt (acos a)))) 1546597118.259 * * * * [misc]progress: [ 18 / 25 ] simplifiying candidate # 1546597118.260 * [enter]simplify: Simplifying (sqrt (acos a)) 1546597118.260 * * [misc]simplify: iters left: 2 (3 enodes) 1546597118.261 * [exit]simplify: Simplified to (sqrt (acos a)) 1546597118.261 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (- (sqrt (acos a)))) (sqrt (acos a)))) 1546597118.261 * * * * [misc]progress: [ 19 / 25 ] simplifiying candidate # 1546597118.261 * [enter]simplify: Simplifying (acos a) 1546597118.261 * * [misc]simplify: iters left: 1 (2 enodes) 1546597118.261 * [exit]simplify: Simplified to (acos a) 1546597118.261 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (- 1)) (acos a))) 1546597118.262 * * * * [misc]progress: [ 20 / 25 ] simplifiying candidate # 1546597118.262 * [enter]simplify: Simplifying (- (cbrt (acos a))) 1546597118.262 * * [misc]simplify: iters left: 4 (4 enodes) 1546597118.263 * [exit]simplify: Simplified to (- (cbrt (acos a))) 1546597118.263 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (* (cbrt (acos a)) (cbrt (acos a)))) (- (cbrt (acos a))))) 1546597118.263 * * * * [misc]progress: [ 21 / 25 ] simplifiying candidate # 1546597118.263 * [enter]simplify: Simplifying (- (sqrt (acos a))) 1546597118.263 * * [misc]simplify: iters left: 4 (4 enodes) 1546597118.264 * [exit]simplify: Simplified to (- (sqrt (acos a))) 1546597118.264 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (sqrt (acos a))) (- (sqrt (acos a))))) 1546597118.264 * * * * [misc]progress: [ 22 / 25 ] simplifiying candidate # 1546597118.265 * [enter]simplify: Simplifying (- (acos a)) 1546597118.265 * * [misc]simplify: iters left: 3 (3 enodes) 1546597118.266 * [exit]simplify: Simplified to (- (acos a)) 1546597118.266 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a 1) (- (acos a)))) 1546597118.266 * * * * [misc]progress: [ 23 / 25 ] simplifiying candidate # 1546597118.266 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1546597118.266 * * [misc]simplify: iters left: 5 (5 enodes) 1546597118.267 * * [misc]simplify: iters left: 4 (9 enodes) 1546597118.270 * * [misc]simplify: iters left: 3 (14 enodes) 1546597118.273 * * [misc]simplify: iters left: 2 (16 enodes) 1546597118.276 * * [misc]simplify: iters left: 1 (18 enodes) 1546597118.280 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1546597118.280 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1546597118.280 * * * * [misc]progress: [ 24 / 25 ] simplifiying candidate # 1546597118.281 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1546597118.281 * * [misc]simplify: iters left: 5 (5 enodes) 1546597118.282 * * [misc]simplify: iters left: 4 (9 enodes) 1546597118.285 * * [misc]simplify: iters left: 3 (14 enodes) 1546597118.287 * * [misc]simplify: iters left: 2 (16 enodes) 1546597118.289 * * [misc]simplify: iters left: 1 (18 enodes) 1546597118.292 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1546597118.292 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1546597118.292 * * * * [misc]progress: [ 25 / 25 ] simplifiying candidate # 1546597118.292 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1546597118.292 * * [misc]simplify: iters left: 5 (5 enodes) 1546597118.293 * * [misc]simplify: iters left: 4 (9 enodes) 1546597118.295 * * [misc]simplify: iters left: 3 (14 enodes) 1546597118.296 * * [misc]simplify: iters left: 2 (16 enodes) 1546597118.299 * * [misc]simplify: iters left: 1 (18 enodes) 1546597118.301 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1546597118.301 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1546597118.301 * * * [misc]progress: adding candidates to table 1546597118.494 * * [misc]progress: iteration 2 / 4 1546597118.494 * * * [misc]progress: picking best candidate 1546597118.514 * * * * [misc]pick: Picked # 1546597118.514 * * * [misc]progress: localizing error 1546597118.525 * * * [misc]progress: generating rewritten candidates 1546597118.525 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1546597118.527 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1546597118.535 * * * [misc]progress: generating series expansions 1546597118.535 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1546597118.535 * [misc]backup-simplify: Simplify (/ 1 (/ (- (acos a)) a)) into (* -1 (/ a (acos a))) 1546597118.535 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1546597118.535 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1546597118.535 * [misc]taylor: Taking taylor expansion of -1 in a 1546597118.535 * [misc]backup-simplify: Simplify -1 into -1 1546597118.535 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1546597118.535 * [misc]taylor: Taking taylor expansion of a in a 1546597118.536 * [misc]backup-simplify: Simplify 0 into 0 1546597118.536 * [misc]backup-simplify: Simplify 1 into 1 1546597118.536 * [misc]taylor: Taking taylor expansion of (acos a) in a 1546597118.536 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1546597118.536 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1546597118.536 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1546597118.536 * [misc]taylor: Taking taylor expansion of -1 in a 1546597118.536 * [misc]backup-simplify: Simplify -1 into -1 1546597118.536 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1546597118.536 * [misc]taylor: Taking taylor expansion of a in a 1546597118.536 * [misc]backup-simplify: Simplify 0 into 0 1546597118.536 * [misc]backup-simplify: Simplify 1 into 1 1546597118.536 * [misc]taylor: Taking taylor expansion of (acos a) in a 1546597118.536 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1546597118.536 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1546597118.536 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1546597118.536 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1546597118.536 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1546597118.537 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1546597118.537 * [misc]backup-simplify: Simplify 0 into 0 1546597118.537 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1546597118.538 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1546597118.538 * [misc]backup-simplify: Simplify 0 into 0 1546597118.538 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1546597118.538 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1546597118.539 * [misc]backup-simplify: Simplify 0 into 0 1546597118.539 * [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 1546597118.540 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1546597118.540 * [misc]backup-simplify: Simplify 0 into 0 1546597118.540 * [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 1546597118.541 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1546597118.541 * [misc]backup-simplify: Simplify 0 into 0 1546597118.541 * [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 1546597118.542 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1546597118.542 * [misc]backup-simplify: Simplify 0 into 0 1546597118.542 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1546597118.543 * [misc]backup-simplify: Simplify (/ 1 (/ (- (acos (/ 1 a))) (/ 1 a))) into (/ -1 (* a (acos (/ 1 a)))) 1546597118.543 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1546597118.543 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1546597118.543 * [misc]taylor: Taking taylor expansion of -1 in a 1546597118.543 * [misc]backup-simplify: Simplify -1 into -1 1546597118.543 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1546597118.543 * [misc]taylor: Taking taylor expansion of a in a 1546597118.543 * [misc]backup-simplify: Simplify 0 into 0 1546597118.543 * [misc]backup-simplify: Simplify 1 into 1 1546597118.543 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1546597118.543 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1546597118.543 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1546597118.543 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1546597118.543 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1546597118.543 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1546597118.543 * [misc]taylor: Taking taylor expansion of -1 in a 1546597118.543 * [misc]backup-simplify: Simplify -1 into -1 1546597118.543 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1546597118.543 * [misc]taylor: Taking taylor expansion of a in a 1546597118.543 * [misc]backup-simplify: Simplify 0 into 0 1546597118.544 * [misc]backup-simplify: Simplify 1 into 1 1546597118.544 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1546597118.544 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1546597118.544 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1546597118.544 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1546597118.544 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1546597118.544 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1546597118.545 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1546597118.545 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1546597118.545 * [misc]backup-simplify: Simplify 0 into 0 1546597118.545 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1546597118.546 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1546597118.546 * [misc]backup-simplify: Simplify 0 into 0 1546597118.546 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1546597118.547 * [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 1546597118.547 * [misc]backup-simplify: Simplify 0 into 0 1546597118.547 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1546597118.548 * [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 1546597118.548 * [misc]backup-simplify: Simplify 0 into 0 1546597118.549 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1546597118.549 * [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 1546597118.549 * [misc]backup-simplify: Simplify 0 into 0 1546597118.550 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1546597118.554 * [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 1546597118.554 * [misc]backup-simplify: Simplify 0 into 0 1546597118.554 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1546597118.554 * [misc]backup-simplify: Simplify (/ 1 (/ (- (acos (/ 1 (- a)))) (/ 1 (- a)))) into (/ 1 (* a (acos (/ -1 a)))) 1546597118.554 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1546597118.554 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1546597118.554 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1546597118.554 * [misc]taylor: Taking taylor expansion of a in a 1546597118.554 * [misc]backup-simplify: Simplify 0 into 0 1546597118.554 * [misc]backup-simplify: Simplify 1 into 1 1546597118.554 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1546597118.554 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1546597118.555 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1546597118.555 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1546597118.555 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1546597118.555 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1546597118.555 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1546597118.555 * [misc]taylor: Taking taylor expansion of a in a 1546597118.555 * [misc]backup-simplify: Simplify 0 into 0 1546597118.555 * [misc]backup-simplify: Simplify 1 into 1 1546597118.555 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1546597118.555 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1546597118.555 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1546597118.556 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1546597118.556 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1546597118.556 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1546597118.556 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1546597118.556 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1546597118.556 * [misc]backup-simplify: Simplify 0 into 0 1546597118.557 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1546597118.557 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1546597118.557 * [misc]backup-simplify: Simplify 0 into 0 1546597118.558 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1546597118.559 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1546597118.559 * [misc]backup-simplify: Simplify 0 into 0 1546597118.559 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1546597118.560 * [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 1546597118.560 * [misc]backup-simplify: Simplify 0 into 0 1546597118.561 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1546597118.561 * [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 1546597118.561 * [misc]backup-simplify: Simplify 0 into 0 1546597118.562 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1546597118.563 * [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 1546597118.563 * [misc]backup-simplify: Simplify 0 into 0 1546597118.563 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1546597118.563 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1546597118.563 * [misc]backup-simplify: Simplify (/ (- (acos a)) a) into (* -1 (/ (acos a) a)) 1546597118.563 * [misc]approximate: Taking taylor expansion of (* -1 (/ (acos a) a)) in (a) around 0 1546597118.563 * [misc]taylor: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 1546597118.563 * [misc]taylor: Taking taylor expansion of -1 in a 1546597118.563 * [misc]backup-simplify: Simplify -1 into -1 1546597118.563 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1546597118.564 * [misc]taylor: Taking taylor expansion of (acos a) in a 1546597118.564 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1546597118.564 * [misc]taylor: Taking taylor expansion of a in a 1546597118.564 * [misc]backup-simplify: Simplify 0 into 0 1546597118.564 * [misc]backup-simplify: Simplify 1 into 1 1546597118.564 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1546597118.564 * [misc]taylor: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 1546597118.564 * [misc]taylor: Taking taylor expansion of -1 in a 1546597118.564 * [misc]backup-simplify: Simplify -1 into -1 1546597118.564 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1546597118.564 * [misc]taylor: Taking taylor expansion of (acos a) in a 1546597118.564 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1546597118.564 * [misc]taylor: Taking taylor expansion of a in a 1546597118.564 * [misc]backup-simplify: Simplify 0 into 0 1546597118.564 * [misc]backup-simplify: Simplify 1 into 1 1546597118.564 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1546597118.564 * [misc]backup-simplify: Simplify (* -1 (acos a)) into (* -1 (acos a)) 1546597118.564 * [misc]backup-simplify: Simplify (* -1 (acos a)) into (* -1 (acos a)) 1546597118.565 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)))) into 0 1546597118.565 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (acos a))) into 0 1546597118.565 * [misc]backup-simplify: Simplify 0 into 0 1546597118.565 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546597118.566 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (acos a)))) into 0 1546597118.566 * [misc]backup-simplify: Simplify 0 into 0 1546597118.566 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546597118.567 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a))))) into 0 1546597118.567 * [misc]backup-simplify: Simplify 0 into 0 1546597118.568 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546597118.568 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a)))))) into 0 1546597118.568 * [misc]backup-simplify: Simplify 0 into 0 1546597118.569 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546597118.570 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a))))))) into 0 1546597118.570 * [misc]backup-simplify: Simplify 0 into 0 1546597118.571 * [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 1546597118.572 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a)))))))) into 0 1546597118.572 * [misc]backup-simplify: Simplify 0 into 0 1546597118.573 * [misc]backup-simplify: Simplify (* (* -1 (acos a)) (/ 1 a)) into (* -1 (/ (acos a) a)) 1546597118.573 * [misc]backup-simplify: Simplify (/ (- (acos (/ 1 a))) (/ 1 a)) into (* -1 (* a (acos (/ 1 a)))) 1546597118.573 * [misc]approximate: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in (a) around 0 1546597118.573 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in a 1546597118.573 * [misc]taylor: Taking taylor expansion of -1 in a 1546597118.573 * [misc]backup-simplify: Simplify -1 into -1 1546597118.573 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1546597118.573 * [misc]taylor: Taking taylor expansion of a in a 1546597118.573 * [misc]backup-simplify: Simplify 0 into 0 1546597118.573 * [misc]backup-simplify: Simplify 1 into 1 1546597118.573 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1546597118.573 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1546597118.573 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in a 1546597118.573 * [misc]taylor: Taking taylor expansion of -1 in a 1546597118.573 * [misc]backup-simplify: Simplify -1 into -1 1546597118.573 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1546597118.573 * [misc]taylor: Taking taylor expansion of a in a 1546597118.573 * [misc]backup-simplify: Simplify 0 into 0 1546597118.573 * [misc]backup-simplify: Simplify 1 into 1 1546597118.573 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1546597118.573 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1546597118.574 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1546597118.574 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546597118.574 * [misc]backup-simplify: Simplify 0 into 0 1546597118.574 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1546597118.575 * [misc]backup-simplify: Simplify (+ (* -1 (acos (/ 1 a))) (* 0 0)) into (- (acos (/ 1 a))) 1546597118.575 * [misc]backup-simplify: Simplify (- (acos (/ 1 a))) into (- (acos (/ 1 a))) 1546597118.575 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1546597118.575 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))) into 0 1546597118.576 * [misc]backup-simplify: Simplify 0 into 0 1546597118.576 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1546597118.577 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))) into 0 1546597118.577 * [misc]backup-simplify: Simplify 0 into 0 1546597118.577 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1546597118.578 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))))) into 0 1546597118.578 * [misc]backup-simplify: Simplify 0 into 0 1546597118.579 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1546597118.580 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))))) into 0 1546597118.580 * [misc]backup-simplify: Simplify 0 into 0 1546597118.581 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1546597118.582 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))))))) into 0 1546597118.582 * [misc]backup-simplify: Simplify 0 into 0 1546597118.583 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1546597118.584 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))))))) into 0 1546597118.584 * [misc]backup-simplify: Simplify 0 into 0 1546597118.584 * [misc]backup-simplify: Simplify (* (- (acos (/ 1 (/ 1 a)))) (/ 1 a)) into (* -1 (/ (acos a) a)) 1546597118.584 * [misc]backup-simplify: Simplify (/ (- (acos (/ 1 (- a)))) (/ 1 (- a))) into (* a (acos (/ -1 a))) 1546597118.585 * [misc]approximate: Taking taylor expansion of (* a (acos (/ -1 a))) in (a) around 0 1546597118.585 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1546597118.585 * [misc]taylor: Taking taylor expansion of a in a 1546597118.585 * [misc]backup-simplify: Simplify 0 into 0 1546597118.585 * [misc]backup-simplify: Simplify 1 into 1 1546597118.585 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1546597118.585 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1546597118.585 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1546597118.585 * [misc]taylor: Taking taylor expansion of a in a 1546597118.585 * [misc]backup-simplify: Simplify 0 into 0 1546597118.585 * [misc]backup-simplify: Simplify 1 into 1 1546597118.585 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1546597118.585 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1546597118.585 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1546597118.585 * [misc]backup-simplify: Simplify 0 into 0 1546597118.586 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1546597118.586 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1546597118.586 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1546597118.586 * [misc]backup-simplify: Simplify 0 into 0 1546597118.587 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1546597118.587 * [misc]backup-simplify: Simplify 0 into 0 1546597118.588 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1546597118.588 * [misc]backup-simplify: Simplify 0 into 0 1546597118.588 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1546597118.589 * [misc]backup-simplify: Simplify 0 into 0 1546597118.589 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1546597118.589 * [misc]backup-simplify: Simplify 0 into 0 1546597118.591 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1546597118.591 * [misc]backup-simplify: Simplify 0 into 0 1546597118.591 * [misc]backup-simplify: Simplify (* (acos (/ -1 (/ 1 (- a)))) (/ 1 (- a))) into (* -1 (/ (acos a) a)) 1546597118.591 * * * [misc]progress: simplifying candidates 1546597118.591 * * * * [misc]progress: [ 1 / 50 ] simplifiying candidate # 1546597118.591 * * * * [misc]progress: [ 2 / 50 ] simplifiying candidate # 1546597118.591 * * * * [misc]progress: [ 3 / 50 ] simplifiying candidate # 1546597118.591 * * * * [misc]progress: [ 4 / 50 ] simplifiying candidate # 1546597118.591 * [enter]simplify: Simplifying (- 1) 1546597118.592 * * [misc]simplify: iters left: 2 (2 enodes) 1546597118.593 * * [misc]simplify: iters left: 1 (5 enodes) 1546597118.594 * [exit]simplify: Simplified to -1 1546597118.594 * [misc]simplify: Simplified (2 2) to (λ (a) (pow (/ (- (acos a)) a) -1)) 1546597118.594 * * * * [misc]progress: [ 5 / 50 ] simplifiying candidate # 1546597118.594 * * * * [misc]progress: [ 6 / 50 ] simplifiying candidate # 1546597118.594 * * * * [misc]progress: [ 7 / 50 ] simplifiying candidate # 1546597118.594 * * * * [misc]progress: [ 8 / 50 ] simplifiying candidate # 1546597118.594 * * * * [misc]progress: [ 9 / 50 ] simplifiying candidate # 1546597118.594 * * * * [misc]progress: [ 10 / 50 ] simplifiying candidate # 1546597118.594 * * * * [misc]progress: [ 11 / 50 ] simplifiying candidate # 1546597118.595 * * * * [misc]progress: [ 12 / 50 ] simplifiying candidate # 1546597118.595 * * * * [misc]progress: [ 13 / 50 ] simplifiying candidate # 1546597118.595 * * * * [misc]progress: [ 14 / 50 ] simplifiying candidate # 1546597118.595 * * * * [misc]progress: [ 15 / 50 ] simplifiying candidate # 1546597118.595 * * * * [misc]progress: [ 16 / 50 ] simplifiying candidate # 1546597118.595 * [enter]simplify: Simplifying (cbrt (/ (- (acos a)) a)) 1546597118.595 * * [misc]simplify: iters left: 6 (5 enodes) 1546597118.597 * * [misc]simplify: iters left: 5 (7 enodes) 1546597118.599 * [exit]simplify: Simplified to (cbrt (- (/ (acos a) a))) 1546597118.599 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (* (cbrt (/ (- (acos a)) a)) (cbrt (/ (- (acos a)) a)))) (cbrt (- (/ (acos a) a))))) 1546597118.599 * * * * [misc]progress: [ 17 / 50 ] simplifiying candidate # 1546597118.599 * [enter]simplify: Simplifying (sqrt (/ (- (acos a)) a)) 1546597118.600 * * [misc]simplify: iters left: 6 (5 enodes) 1546597118.601 * * [misc]simplify: iters left: 5 (7 enodes) 1546597118.604 * [exit]simplify: Simplified to (sqrt (- (/ (acos a) a))) 1546597118.604 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (sqrt (/ (- (acos a)) a))) (sqrt (- (/ (acos a) a))))) 1546597118.604 * * * * [misc]progress: [ 18 / 50 ] simplifiying candidate # 1546597118.604 * [enter]simplify: Simplifying (/ (- (acos a)) a) 1546597118.604 * * [misc]simplify: iters left: 5 (4 enodes) 1546597118.606 * * [misc]simplify: iters left: 4 (6 enodes) 1546597118.608 * [exit]simplify: Simplified to (- (/ (acos a) a)) 1546597118.608 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 1) (- (/ (acos a) a)))) 1546597118.608 * * * * [misc]progress: [ 19 / 50 ] simplifiying candidate # 1546597118.608 * [enter]simplify: Simplifying (/ 1 a) 1546597118.608 * * [misc]simplify: iters left: 2 (3 enodes) 1546597118.609 * * [misc]simplify: iters left: 1 (5 enodes) 1546597118.611 * [exit]simplify: Simplified to (/ 1 a) 1546597118.611 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (- (acos a))) (/ 1 a))) 1546597118.611 * * * * [misc]progress: [ 20 / 50 ] simplifiying candidate # 1546597118.611 * * * * [misc]progress: [ 21 / 50 ] simplifiying candidate # 1546597118.611 * * * * [misc]progress: [ 22 / 50 ] simplifiying candidate # 1546597118.611 * * * * [misc]progress: [ 23 / 50 ] simplifiying candidate # 1546597118.611 * * * * [misc]progress: [ 24 / 50 ] simplifiying candidate # 1546597118.611 * * * * [misc]progress: [ 25 / 50 ] simplifiying candidate # 1546597118.611 * * * * [misc]progress: [ 26 / 50 ] simplifiying candidate # 1546597118.612 * * * * [misc]progress: [ 27 / 50 ] simplifiying candidate # 1546597118.612 * * * * [misc]progress: [ 28 / 50 ] simplifiying candidate # 1546597118.612 * * * * [misc]progress: [ 29 / 50 ] simplifiying candidate # 1546597118.612 * * * * [misc]progress: [ 30 / 50 ] simplifiying candidate # 1546597118.612 * [enter]simplify: Simplifying (/ 0 a) 1546597118.612 * * [misc]simplify: iters left: 2 (3 enodes) 1546597118.613 * [exit]simplify: Simplified to 0 1546597118.613 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (- 0 (/ (acos a) a)))) 1546597118.613 * * * * [misc]progress: [ 31 / 50 ] simplifiying candidate # 1546597118.613 * * * * [misc]progress: [ 32 / 50 ] simplifiying candidate # 1546597118.614 * * * * [misc]progress: [ 33 / 50 ] simplifiying candidate # 1546597118.614 * * * * [misc]progress: [ 34 / 50 ] simplifiying candidate # 1546597118.614 * [enter]simplify: Simplifying (/ (acos a) a) 1546597118.614 * * [misc]simplify: iters left: 3 (3 enodes) 1546597118.615 * [exit]simplify: Simplified to (/ (acos a) a) 1546597118.615 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (- (/ (acos a) a)))) 1546597118.615 * * * * [misc]progress: [ 35 / 50 ] simplifiying candidate # 1546597118.616 * [enter]simplify: Simplifying (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1546597118.616 * * [misc]simplify: iters left: 6 (5 enodes) 1546597118.618 * [exit]simplify: Simplified to (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1546597118.618 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (/ a (cbrt (- (acos a))))))) 1546597118.618 * * * * [misc]progress: [ 36 / 50 ] simplifiying candidate # 1546597118.618 * [enter]simplify: Simplifying (sqrt (- (acos a))) 1546597118.618 * * [misc]simplify: iters left: 4 (4 enodes) 1546597118.620 * [exit]simplify: Simplified to (sqrt (- (acos a))) 1546597118.620 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (sqrt (- (acos a))) (/ a (sqrt (- (acos a))))))) 1546597118.620 * * * * [misc]progress: [ 37 / 50 ] simplifiying candidate # 1546597118.620 * * * * [misc]progress: [ 38 / 50 ] simplifiying candidate # 1546597118.620 * * * * [misc]progress: [ 39 / 50 ] simplifiying candidate # 1546597118.620 * [enter]simplify: Simplifying (- (* (cbrt (acos a)) (cbrt (acos a)))) 1546597118.620 * * [misc]simplify: iters left: 6 (5 enodes) 1546597118.622 * * [misc]simplify: iters left: 5 (8 enodes) 1546597118.624 * [exit]simplify: Simplified to (* (cbrt (acos a)) (- (cbrt (acos a)))) 1546597118.624 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (* (cbrt (acos a)) (- (cbrt (acos a)))) (/ a (cbrt (acos a)))))) 1546597118.625 * * * * [misc]progress: [ 40 / 50 ] simplifiying candidate # 1546597118.625 * [enter]simplify: Simplifying (- (sqrt (acos a))) 1546597118.625 * * [misc]simplify: iters left: 4 (4 enodes) 1546597118.626 * [exit]simplify: Simplified to (- (sqrt (acos a))) 1546597118.626 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (- (sqrt (acos a))) (/ a (sqrt (acos a)))))) 1546597118.626 * * * * [misc]progress: [ 41 / 50 ] simplifiying candidate # 1546597118.627 * [enter]simplify: Simplifying (- 1) 1546597118.627 * * [misc]simplify: iters left: 2 (2 enodes) 1546597118.628 * * [misc]simplify: iters left: 1 (5 enodes) 1546597118.629 * [exit]simplify: Simplified to -1 1546597118.629 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ -1 (/ a (acos a))))) 1546597118.629 * * * * [misc]progress: [ 42 / 50 ] simplifiying candidate # 1546597118.630 * [enter]simplify: Simplifying (* (cbrt (acos a)) (cbrt (acos a))) 1546597118.630 * * [misc]simplify: iters left: 4 (4 enodes) 1546597118.631 * [exit]simplify: Simplified to (* (cbrt (acos a)) (cbrt (acos a))) 1546597118.631 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (/ a (- (cbrt (acos a))))))) 1546597118.631 * * * * [misc]progress: [ 43 / 50 ] simplifiying candidate # 1546597118.631 * [enter]simplify: Simplifying (sqrt (acos a)) 1546597118.631 * * [misc]simplify: iters left: 2 (3 enodes) 1546597118.632 * [exit]simplify: Simplified to (sqrt (acos a)) 1546597118.632 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (sqrt (acos a)) (/ a (- (sqrt (acos a))))))) 1546597118.633 * * * * [misc]progress: [ 44 / 50 ] simplifiying candidate # 1546597118.633 * * * * [misc]progress: [ 45 / 50 ] simplifiying candidate # 1546597118.633 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1546597118.633 * * [misc]simplify: iters left: 5 (5 enodes) 1546597118.635 * * [misc]simplify: iters left: 4 (9 enodes) 1546597118.637 * * [misc]simplify: iters left: 3 (14 enodes) 1546597118.641 * * [misc]simplify: iters left: 2 (16 enodes) 1546597118.645 * * [misc]simplify: iters left: 1 (18 enodes) 1546597118.649 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1546597118.650 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1546597118.650 * * * * [misc]progress: [ 46 / 50 ] simplifiying candidate # 1546597118.650 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1546597118.650 * * [misc]simplify: iters left: 5 (5 enodes) 1546597118.652 * * [misc]simplify: iters left: 4 (9 enodes) 1546597118.654 * * [misc]simplify: iters left: 3 (14 enodes) 1546597118.658 * * [misc]simplify: iters left: 2 (16 enodes) 1546597118.662 * * [misc]simplify: iters left: 1 (18 enodes) 1546597118.666 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1546597118.667 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1546597118.667 * * * * [misc]progress: [ 47 / 50 ] simplifiying candidate # 1546597118.667 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1546597118.667 * * [misc]simplify: iters left: 5 (5 enodes) 1546597118.672 * * [misc]simplify: iters left: 4 (9 enodes) 1546597118.674 * * [misc]simplify: iters left: 3 (14 enodes) 1546597118.678 * * [misc]simplify: iters left: 2 (16 enodes) 1546597118.682 * * [misc]simplify: iters left: 1 (18 enodes) 1546597118.687 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1546597118.687 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1546597118.687 * * * * [misc]progress: [ 48 / 50 ] simplifiying candidate # 1546597118.687 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1546597118.687 * * [misc]simplify: iters left: 5 (5 enodes) 1546597118.689 * * [misc]simplify: iters left: 4 (9 enodes) 1546597118.692 * * [misc]simplify: iters left: 3 (14 enodes) 1546597118.696 * * [misc]simplify: iters left: 2 (16 enodes) 1546597118.700 * * [misc]simplify: iters left: 1 (18 enodes) 1546597118.704 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1546597118.704 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1546597118.704 * * * * [misc]progress: [ 49 / 50 ] simplifiying candidate # 1546597118.705 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1546597118.705 * * [misc]simplify: iters left: 5 (5 enodes) 1546597118.706 * * [misc]simplify: iters left: 4 (9 enodes) 1546597118.709 * * [misc]simplify: iters left: 3 (14 enodes) 1546597118.713 * * [misc]simplify: iters left: 2 (16 enodes) 1546597118.717 * * [misc]simplify: iters left: 1 (18 enodes) 1546597118.724 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1546597118.724 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1546597118.724 * * * * [misc]progress: [ 50 / 50 ] simplifiying candidate # 1546597118.724 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1546597118.724 * * [misc]simplify: iters left: 5 (5 enodes) 1546597118.726 * * [misc]simplify: iters left: 4 (9 enodes) 1546597118.729 * * [misc]simplify: iters left: 3 (14 enodes) 1546597118.733 * * [misc]simplify: iters left: 2 (16 enodes) 1546597118.737 * * [misc]simplify: iters left: 1 (18 enodes) 1546597118.741 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1546597118.742 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1546597118.742 * * * [misc]progress: adding candidates to table 1546597119.119 * * [misc]progress: iteration 3 / 4 1546597119.119 * * * [misc]progress: picking best candidate 1546597119.134 * * * * [misc]pick: Picked # 1546597119.134 * * * [misc]progress: localizing error 1546597119.142 * * * [misc]progress: generating rewritten candidates 1546597119.142 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1546597119.146 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1546597119.148 * * * [misc]progress: generating series expansions 1546597119.148 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1546597119.148 * [misc]backup-simplify: Simplify (/ (/ 1 (- (acos a))) (/ 1 a)) into (* -1 (/ a (acos a))) 1546597119.148 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1546597119.148 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1546597119.148 * [misc]taylor: Taking taylor expansion of -1 in a 1546597119.148 * [misc]backup-simplify: Simplify -1 into -1 1546597119.149 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1546597119.149 * [misc]taylor: Taking taylor expansion of a in a 1546597119.149 * [misc]backup-simplify: Simplify 0 into 0 1546597119.149 * [misc]backup-simplify: Simplify 1 into 1 1546597119.149 * [misc]taylor: Taking taylor expansion of (acos a) in a 1546597119.149 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1546597119.149 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1546597119.149 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1546597119.149 * [misc]taylor: Taking taylor expansion of -1 in a 1546597119.149 * [misc]backup-simplify: Simplify -1 into -1 1546597119.149 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1546597119.149 * [misc]taylor: Taking taylor expansion of a in a 1546597119.149 * [misc]backup-simplify: Simplify 0 into 0 1546597119.149 * [misc]backup-simplify: Simplify 1 into 1 1546597119.149 * [misc]taylor: Taking taylor expansion of (acos a) in a 1546597119.149 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1546597119.149 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1546597119.149 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1546597119.149 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1546597119.149 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1546597119.149 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1546597119.149 * [misc]backup-simplify: Simplify 0 into 0 1546597119.150 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1546597119.150 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1546597119.150 * [misc]backup-simplify: Simplify 0 into 0 1546597119.150 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1546597119.150 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1546597119.150 * [misc]backup-simplify: Simplify 0 into 0 1546597119.151 * [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 1546597119.151 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1546597119.151 * [misc]backup-simplify: Simplify 0 into 0 1546597119.151 * [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 1546597119.152 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1546597119.152 * [misc]backup-simplify: Simplify 0 into 0 1546597119.152 * [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 1546597119.153 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1546597119.153 * [misc]backup-simplify: Simplify 0 into 0 1546597119.153 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1546597119.153 * [misc]backup-simplify: Simplify (/ (/ 1 (- (acos (/ 1 a)))) (/ 1 (/ 1 a))) into (/ -1 (* a (acos (/ 1 a)))) 1546597119.153 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1546597119.153 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1546597119.153 * [misc]taylor: Taking taylor expansion of -1 in a 1546597119.153 * [misc]backup-simplify: Simplify -1 into -1 1546597119.153 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1546597119.153 * [misc]taylor: Taking taylor expansion of a in a 1546597119.153 * [misc]backup-simplify: Simplify 0 into 0 1546597119.153 * [misc]backup-simplify: Simplify 1 into 1 1546597119.153 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1546597119.153 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1546597119.153 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1546597119.153 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1546597119.153 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1546597119.153 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1546597119.153 * [misc]taylor: Taking taylor expansion of -1 in a 1546597119.153 * [misc]backup-simplify: Simplify -1 into -1 1546597119.153 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1546597119.153 * [misc]taylor: Taking taylor expansion of a in a 1546597119.153 * [misc]backup-simplify: Simplify 0 into 0 1546597119.153 * [misc]backup-simplify: Simplify 1 into 1 1546597119.153 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1546597119.153 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1546597119.154 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1546597119.154 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1546597119.154 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1546597119.154 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1546597119.154 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1546597119.154 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1546597119.154 * [misc]backup-simplify: Simplify 0 into 0 1546597119.155 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1546597119.155 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1546597119.155 * [misc]backup-simplify: Simplify 0 into 0 1546597119.155 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1546597119.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)))))) into 0 1546597119.155 * [misc]backup-simplify: Simplify 0 into 0 1546597119.156 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1546597119.156 * [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 1546597119.156 * [misc]backup-simplify: Simplify 0 into 0 1546597119.157 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1546597119.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 1546597119.157 * [misc]backup-simplify: Simplify 0 into 0 1546597119.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 1546597119.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 1546597119.158 * [misc]backup-simplify: Simplify 0 into 0 1546597119.158 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1546597119.158 * [misc]backup-simplify: Simplify (/ (/ 1 (- (acos (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (/ 1 (* a (acos (/ -1 a)))) 1546597119.158 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1546597119.158 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1546597119.158 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1546597119.158 * [misc]taylor: Taking taylor expansion of a in a 1546597119.158 * [misc]backup-simplify: Simplify 0 into 0 1546597119.158 * [misc]backup-simplify: Simplify 1 into 1 1546597119.159 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1546597119.159 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1546597119.159 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1546597119.159 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1546597119.159 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1546597119.159 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1546597119.159 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1546597119.159 * [misc]taylor: Taking taylor expansion of a in a 1546597119.159 * [misc]backup-simplify: Simplify 0 into 0 1546597119.159 * [misc]backup-simplify: Simplify 1 into 1 1546597119.159 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1546597119.159 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1546597119.159 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1546597119.159 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1546597119.160 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1546597119.160 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1546597119.160 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1546597119.160 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1546597119.160 * [misc]backup-simplify: Simplify 0 into 0 1546597119.160 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1546597119.160 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1546597119.161 * [misc]backup-simplify: Simplify 0 into 0 1546597119.161 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1546597119.161 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1546597119.161 * [misc]backup-simplify: Simplify 0 into 0 1546597119.162 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1546597119.162 * [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 1546597119.162 * [misc]backup-simplify: Simplify 0 into 0 1546597119.162 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1546597119.163 * [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 1546597119.163 * [misc]backup-simplify: Simplify 0 into 0 1546597119.163 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1546597119.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)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1546597119.164 * [misc]backup-simplify: Simplify 0 into 0 1546597119.164 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1546597119.164 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1546597119.164 * [misc]backup-simplify: Simplify (/ 1 (- (acos a))) into (/ -1 (acos a)) 1546597119.164 * [misc]approximate: Taking taylor expansion of (/ -1 (acos a)) in (a) around 0 1546597119.164 * [misc]taylor: Taking taylor expansion of (/ -1 (acos a)) in a 1546597119.164 * [misc]taylor: Taking taylor expansion of -1 in a 1546597119.164 * [misc]backup-simplify: Simplify -1 into -1 1546597119.164 * [misc]taylor: Taking taylor expansion of (acos a) in a 1546597119.164 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1546597119.164 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1546597119.164 * [misc]taylor: Taking taylor expansion of (/ -1 (acos a)) in a 1546597119.164 * [misc]taylor: Taking taylor expansion of -1 in a 1546597119.164 * [misc]backup-simplify: Simplify -1 into -1 1546597119.164 * [misc]taylor: Taking taylor expansion of (acos a) in a 1546597119.164 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1546597119.164 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1546597119.164 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1546597119.164 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))))) into 0 1546597119.165 * [misc]backup-simplify: Simplify 0 into 0 1546597119.165 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1546597119.165 * [misc]backup-simplify: Simplify 0 into 0 1546597119.165 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1546597119.165 * [misc]backup-simplify: Simplify 0 into 0 1546597119.165 * [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 1546597119.165 * [misc]backup-simplify: Simplify 0 into 0 1546597119.165 * [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 1546597119.165 * [misc]backup-simplify: Simplify 0 into 0 1546597119.166 * [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 1546597119.166 * [misc]backup-simplify: Simplify 0 into 0 1546597119.166 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1546597119.166 * [misc]backup-simplify: Simplify (/ 1 (- (acos (/ 1 a)))) into (/ -1 (acos (/ 1 a))) 1546597119.166 * [misc]approximate: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in (a) around 0 1546597119.166 * [misc]taylor: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in a 1546597119.166 * [misc]taylor: Taking taylor expansion of -1 in a 1546597119.166 * [misc]backup-simplify: Simplify -1 into -1 1546597119.166 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1546597119.166 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1546597119.166 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1546597119.166 * [misc]taylor: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in a 1546597119.166 * [misc]taylor: Taking taylor expansion of -1 in a 1546597119.166 * [misc]backup-simplify: Simplify -1 into -1 1546597119.166 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1546597119.166 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1546597119.166 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1546597119.166 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1546597119.166 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1546597119.166 * [misc]backup-simplify: Simplify 0 into 0 1546597119.167 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1546597119.167 * [misc]backup-simplify: Simplify 0 into 0 1546597119.167 * [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 1546597119.167 * [misc]backup-simplify: Simplify 0 into 0 1546597119.167 * [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 1546597119.167 * [misc]backup-simplify: Simplify 0 into 0 1546597119.167 * [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 1546597119.167 * [misc]backup-simplify: Simplify 0 into 0 1546597119.168 * [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 1546597119.168 * [misc]backup-simplify: Simplify 0 into 0 1546597119.168 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 (/ 1 a)))) into (/ -1 (acos a)) 1546597119.168 * [misc]backup-simplify: Simplify (/ 1 (- (acos (/ 1 (- a))))) into (/ -1 (acos (/ -1 a))) 1546597119.168 * [misc]approximate: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in (a) around 0 1546597119.168 * [misc]taylor: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in a 1546597119.168 * [misc]taylor: Taking taylor expansion of -1 in a 1546597119.168 * [misc]backup-simplify: Simplify -1 into -1 1546597119.168 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1546597119.168 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1546597119.168 * [misc]backup-simplify: Simplify (/ -1 (acos (/ -1 a))) into (/ -1 (acos (/ -1 a))) 1546597119.168 * [misc]taylor: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in a 1546597119.168 * [misc]taylor: Taking taylor expansion of -1 in a 1546597119.168 * [misc]backup-simplify: Simplify -1 into -1 1546597119.168 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1546597119.168 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1546597119.168 * [misc]backup-simplify: Simplify (/ -1 (acos (/ -1 a))) into (/ -1 (acos (/ -1 a))) 1546597119.168 * [misc]backup-simplify: Simplify (/ -1 (acos (/ -1 a))) into (/ -1 (acos (/ -1 a))) 1546597119.168 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ -1 a))) (+ (* (/ -1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1546597119.168 * [misc]backup-simplify: Simplify 0 into 0 1546597119.169 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ -1 a))) (+ (* (/ -1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1546597119.169 * [misc]backup-simplify: Simplify 0 into 0 1546597119.169 * [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 1546597119.169 * [misc]backup-simplify: Simplify 0 into 0 1546597119.169 * [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 1546597119.169 * [misc]backup-simplify: Simplify 0 into 0 1546597119.169 * [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 1546597119.170 * [misc]backup-simplify: Simplify 0 into 0 1546597119.170 * [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 1546597119.170 * [misc]backup-simplify: Simplify 0 into 0 1546597119.170 * [misc]backup-simplify: Simplify (/ -1 (acos (/ -1 (/ 1 (- a))))) into (/ -1 (acos a)) 1546597119.170 * * * [misc]progress: simplifying candidates 1546597119.170 * * * * [misc]progress: [ 1 / 72 ] simplifiying candidate # 1546597119.170 * * * * [misc]progress: [ 2 / 72 ] simplifiying candidate # 1546597119.170 * * * * [misc]progress: [ 3 / 72 ] simplifiying candidate # 1546597119.170 * * * * [misc]progress: [ 4 / 72 ] simplifiying candidate # 1546597119.170 * [enter]simplify: Simplifying (- (- (log (- (acos a)))) (log (/ 1 a))) 1546597119.170 * * [misc]simplify: iters left: 6 (9 enodes) 1546597119.172 * * [misc]simplify: iters left: 5 (17 enodes) 1546597119.174 * * [misc]simplify: iters left: 4 (20 enodes) 1546597119.177 * * [misc]simplify: iters left: 3 (23 enodes) 1546597119.179 * * [misc]simplify: iters left: 2 (29 enodes) 1546597119.184 * * [misc]simplify: iters left: 1 (43 enodes) 1546597119.191 * [exit]simplify: Simplified to (- (log a) (log (- (acos a)))) 1546597119.191 * [misc]simplify: Simplified (2 1) to (λ (a) (exp (- (log a) (log (- (acos a)))))) 1546597119.191 * * * * [misc]progress: [ 5 / 72 ] simplifiying candidate # 1546597119.192 * [enter]simplify: Simplifying (- (log (/ 1 (- (acos a)))) (log (/ 1 a))) 1546597119.192 * * [misc]simplify: iters left: 6 (9 enodes) 1546597119.194 * * [misc]simplify: iters left: 5 (20 enodes) 1546597119.198 * * [misc]simplify: iters left: 4 (23 enodes) 1546597119.201 * * [misc]simplify: iters left: 3 (31 enodes) 1546597119.205 * * [misc]simplify: iters left: 2 (41 enodes) 1546597119.219 * * [misc]simplify: iters left: 1 (86 enodes) 1546597119.231 * [exit]simplify: Simplified to (- (log a) (log (- (acos a)))) 1546597119.231 * [misc]simplify: Simplified (2 1) to (λ (a) (exp (- (log a) (log (- (acos a)))))) 1546597119.231 * * * * [misc]progress: [ 6 / 72 ] simplifiying candidate # 1546597119.231 * * * * [misc]progress: [ 7 / 72 ] simplifiying candidate # 1546597119.231 * * * * [misc]progress: [ 8 / 72 ] simplifiying candidate # 1546597119.231 * [enter]simplify: Simplifying (/ (* (* (/ 1 (- (acos a))) (/ 1 (- (acos a)))) (/ 1 (- (acos a)))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a))) 1546597119.231 * * [misc]simplify: iters left: 6 (11 enodes) 1546597119.233 * * [misc]simplify: iters left: 5 (34 enodes) 1546597119.241 * * [misc]simplify: iters left: 4 (100 enodes) 1546597119.300 * * [misc]simplify: iters left: 3 (414 enodes) 1546597120.126 * [exit]simplify: Simplified to (pow (/ a (- (acos a))) 3) 1546597120.126 * [misc]simplify: Simplified (2 1) to (λ (a) (cbrt (pow (/ a (- (acos a))) 3))) 1546597120.126 * * * * [misc]progress: [ 9 / 72 ] simplifiying candidate # 1546597120.126 * * * * [misc]progress: [ 10 / 72 ] simplifiying candidate # 1546597120.126 * * * * [misc]progress: [ 11 / 72 ] simplifiying candidate # 1546597120.126 * * * * [misc]progress: [ 12 / 72 ] simplifiying candidate # 1546597120.126 * * * * [misc]progress: [ 13 / 72 ] simplifiying candidate # 1546597120.126 * [enter]simplify: Simplifying (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1546597120.127 * * [misc]simplify: iters left: 6 (11 enodes) 1546597120.129 * * [misc]simplify: iters left: 5 (19 enodes) 1546597120.132 * * [misc]simplify: iters left: 4 (28 enodes) 1546597120.136 * * [misc]simplify: iters left: 3 (31 enodes) 1546597120.144 * * [misc]simplify: iters left: 2 (34 enodes) 1546597120.156 * [exit]simplify: Simplified to (* (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a)))) 1546597120.156 * [misc]simplify: Simplified (2 1) to (λ (a) (* (* (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a)))) (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))))) 1546597120.156 * [enter]simplify: Simplifying (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) 1546597120.156 * * [misc]simplify: iters left: 6 (9 enodes) 1546597120.157 * * [misc]simplify: iters left: 5 (11 enodes) 1546597120.159 * [exit]simplify: Simplified to (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) 1546597120.159 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))))) 1546597120.159 * * * * [misc]progress: [ 14 / 72 ] simplifiying candidate # 1546597120.159 * [enter]simplify: Simplifying (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (sqrt (/ 1 a))) 1546597120.159 * * [misc]simplify: iters left: 6 (10 enodes) 1546597120.161 * * [misc]simplify: iters left: 5 (14 enodes) 1546597120.163 * * [misc]simplify: iters left: 4 (16 enodes) 1546597120.165 * * [misc]simplify: iters left: 3 (17 enodes) 1546597120.168 * [exit]simplify: Simplified to (* (/ (cbrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) (cbrt (/ 1 (- (acos a))))) 1546597120.168 * [misc]simplify: Simplified (2 1) to (λ (a) (* (* (/ (cbrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) (cbrt (/ 1 (- (acos a))))) (/ (cbrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))))) 1546597120.168 * [enter]simplify: Simplifying (/ (cbrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1546597120.168 * * [misc]simplify: iters left: 6 (9 enodes) 1546597120.170 * * [misc]simplify: iters left: 5 (11 enodes) 1546597120.171 * [exit]simplify: Simplified to (/ (cbrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1546597120.171 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (sqrt (/ 1 a))) (/ (cbrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))))) 1546597120.171 * * * * [misc]progress: [ 15 / 72 ] simplifiying candidate # 1546597120.171 * [enter]simplify: Simplifying (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1) 1546597120.172 * * [misc]simplify: iters left: 6 (8 enodes) 1546597120.173 * * [misc]simplify: iters left: 5 (12 enodes) 1546597120.175 * * [misc]simplify: iters left: 4 (18 enodes) 1546597120.177 * * [misc]simplify: iters left: 3 (20 enodes) 1546597120.180 * * [misc]simplify: iters left: 2 (25 enodes) 1546597120.183 * [exit]simplify: Simplified to (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1546597120.183 * [misc]simplify: Simplified (2 1) to (λ (a) (* (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (/ (cbrt (/ 1 (- (acos a)))) (/ 1 a)))) 1546597120.183 * [enter]simplify: Simplifying (/ (cbrt (/ 1 (- (acos a)))) (/ 1 a)) 1546597120.183 * * [misc]simplify: iters left: 6 (8 enodes) 1546597120.184 * * [misc]simplify: iters left: 5 (12 enodes) 1546597120.186 * * [misc]simplify: iters left: 4 (15 enodes) 1546597120.189 * * [misc]simplify: iters left: 3 (25 enodes) 1546597120.193 * * [misc]simplify: iters left: 2 (27 enodes) 1546597120.197 * * [misc]simplify: iters left: 1 (32 enodes) 1546597120.204 * [exit]simplify: Simplified to (* (cbrt (/ 1 (- (acos a)))) a) 1546597120.204 * [misc]simplify: Simplified (2 2) to (λ (a) (* (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (* (cbrt (/ 1 (- (acos a)))) a))) 1546597120.205 * * * * [misc]progress: [ 16 / 72 ] simplifiying candidate # 1546597120.205 * [enter]simplify: Simplifying (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1) 1546597120.205 * * [misc]simplify: iters left: 6 (8 enodes) 1546597120.207 * * [misc]simplify: iters left: 5 (12 enodes) 1546597120.211 * * [misc]simplify: iters left: 4 (18 enodes) 1546597120.215 * * [misc]simplify: iters left: 3 (20 enodes) 1546597120.219 * * [misc]simplify: iters left: 2 (25 enodes) 1546597120.225 * [exit]simplify: Simplified to (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1546597120.225 * [misc]simplify: Simplified (2 1) to (λ (a) (* (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (/ (cbrt (/ 1 (- (acos a)))) (/ 1 a)))) 1546597120.225 * [enter]simplify: Simplifying (/ (cbrt (/ 1 (- (acos a)))) (/ 1 a)) 1546597120.225 * * [misc]simplify: iters left: 6 (8 enodes) 1546597120.228 * * [misc]simplify: iters left: 5 (12 enodes) 1546597120.231 * * [misc]simplify: iters left: 4 (15 enodes) 1546597120.235 * * [misc]simplify: iters left: 3 (25 enodes) 1546597120.241 * * [misc]simplify: iters left: 2 (27 enodes) 1546597120.246 * * [misc]simplify: iters left: 1 (32 enodes) 1546597120.252 * [exit]simplify: Simplified to (* (cbrt (/ 1 (- (acos a)))) a) 1546597120.252 * [misc]simplify: Simplified (2 2) to (λ (a) (* (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (* (cbrt (/ 1 (- (acos a)))) a))) 1546597120.252 * * * * [misc]progress: [ 17 / 72 ] simplifiying candidate # 1546597120.253 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1546597120.253 * * [misc]simplify: iters left: 6 (10 enodes) 1546597120.256 * * [misc]simplify: iters left: 5 (14 enodes) 1546597120.259 * [exit]simplify: Simplified to (/ (sqrt (/ 1 (- (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1546597120.260 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ (sqrt (/ 1 (- (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (sqrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))))) 1546597120.260 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) 1546597120.260 * * [misc]simplify: iters left: 6 (9 enodes) 1546597120.263 * * [misc]simplify: iters left: 5 (11 enodes) 1546597120.267 * [exit]simplify: Simplified to (/ (sqrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) 1546597120.267 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ (sqrt (/ 1 (- (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (sqrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))))) 1546597120.267 * * * * [misc]progress: [ 18 / 72 ] simplifiying candidate # 1546597120.267 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1546597120.267 * * [misc]simplify: iters left: 6 (9 enodes) 1546597120.270 * * [misc]simplify: iters left: 5 (11 enodes) 1546597120.273 * [exit]simplify: Simplified to (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1546597120.273 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))))) 1546597120.273 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1546597120.273 * * [misc]simplify: iters left: 6 (9 enodes) 1546597120.276 * * [misc]simplify: iters left: 5 (11 enodes) 1546597120.279 * [exit]simplify: Simplified to (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1546597120.279 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))))) 1546597120.279 * * * * [misc]progress: [ 19 / 72 ] simplifiying candidate # 1546597120.279 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) 1) 1546597120.279 * * [misc]simplify: iters left: 6 (7 enodes) 1546597120.281 * * [misc]simplify: iters left: 5 (9 enodes) 1546597120.284 * * [misc]simplify: iters left: 4 (11 enodes) 1546597120.287 * [exit]simplify: Simplified to (sqrt (/ 1 (- (acos a)))) 1546597120.287 * [misc]simplify: Simplified (2 1) to (λ (a) (* (sqrt (/ 1 (- (acos a)))) (/ (sqrt (/ 1 (- (acos a)))) (/ 1 a)))) 1546597120.287 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (/ 1 a)) 1546597120.287 * * [misc]simplify: iters left: 6 (8 enodes) 1546597120.290 * * [misc]simplify: iters left: 5 (12 enodes) 1546597120.293 * * [misc]simplify: iters left: 4 (15 enodes) 1546597120.298 * * [misc]simplify: iters left: 3 (25 enodes) 1546597120.304 * * [misc]simplify: iters left: 2 (27 enodes) 1546597120.309 * * [misc]simplify: iters left: 1 (32 enodes) 1546597120.315 * [exit]simplify: Simplified to (* (sqrt (/ 1 (- (acos a)))) a) 1546597120.316 * [misc]simplify: Simplified (2 2) to (λ (a) (* (sqrt (/ 1 (- (acos a)))) (* (sqrt (/ 1 (- (acos a)))) a))) 1546597120.316 * * * * [misc]progress: [ 20 / 72 ] simplifiying candidate # 1546597120.316 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) 1) 1546597120.316 * * [misc]simplify: iters left: 6 (7 enodes) 1546597120.318 * * [misc]simplify: iters left: 5 (9 enodes) 1546597120.321 * * [misc]simplify: iters left: 4 (11 enodes) 1546597120.323 * [exit]simplify: Simplified to (sqrt (/ 1 (- (acos a)))) 1546597120.323 * [misc]simplify: Simplified (2 1) to (λ (a) (* (sqrt (/ 1 (- (acos a)))) (/ (sqrt (/ 1 (- (acos a)))) (/ 1 a)))) 1546597120.323 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (/ 1 a)) 1546597120.324 * * [misc]simplify: iters left: 6 (8 enodes) 1546597120.326 * * [misc]simplify: iters left: 5 (12 enodes) 1546597120.329 * * [misc]simplify: iters left: 4 (15 enodes) 1546597120.333 * * [misc]simplify: iters left: 3 (25 enodes) 1546597120.339 * * [misc]simplify: iters left: 2 (27 enodes) 1546597120.344 * * [misc]simplify: iters left: 1 (32 enodes) 1546597120.349 * [exit]simplify: Simplified to (* (sqrt (/ 1 (- (acos a)))) a) 1546597120.349 * [misc]simplify: Simplified (2 2) to (λ (a) (* (sqrt (/ 1 (- (acos a)))) (* (sqrt (/ 1 (- (acos a)))) a))) 1546597120.349 * * * * [misc]progress: [ 21 / 72 ] simplifiying candidate # 1546597120.349 * [enter]simplify: Simplifying (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1546597120.349 * * [misc]simplify: iters left: 6 (6 enodes) 1546597120.350 * * [misc]simplify: iters left: 5 (10 enodes) 1546597120.352 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (/ 1 a))) (cbrt (/ 1 a))) 1546597120.352 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ (/ 1 (cbrt (/ 1 a))) (cbrt (/ 1 a))) (/ (/ 1 (- (acos a))) (cbrt (/ 1 a))))) 1546597120.352 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (cbrt (/ 1 a))) 1546597120.352 * * [misc]simplify: iters left: 6 (8 enodes) 1546597120.354 * * [misc]simplify: iters left: 5 (12 enodes) 1546597120.355 * * [misc]simplify: iters left: 4 (17 enodes) 1546597120.358 * * [misc]simplify: iters left: 3 (21 enodes) 1546597120.360 * * [misc]simplify: iters left: 2 (22 enodes) 1546597120.363 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (/ 1 a))) (- (acos a))) 1546597120.364 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (cbrt (/ 1 a))) (- (acos a))))) 1546597120.364 * * * * [misc]progress: [ 22 / 72 ] simplifiying candidate # 1546597120.364 * [enter]simplify: Simplifying (/ 1 (sqrt (/ 1 a))) 1546597120.364 * * [misc]simplify: iters left: 5 (5 enodes) 1546597120.365 * * [misc]simplify: iters left: 4 (7 enodes) 1546597120.366 * [exit]simplify: Simplified to (/ 1 (sqrt (/ 1 a))) 1546597120.366 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))))) 1546597120.366 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))) 1546597120.366 * * [misc]simplify: iters left: 6 (8 enodes) 1546597120.367 * * [misc]simplify: iters left: 5 (12 enodes) 1546597120.369 * * [misc]simplify: iters left: 4 (17 enodes) 1546597120.371 * * [misc]simplify: iters left: 3 (21 enodes) 1546597120.374 * * [misc]simplify: iters left: 2 (22 enodes) 1546597120.378 * [exit]simplify: Simplified to (/ (/ 1 (sqrt (/ 1 a))) (- (acos a))) 1546597120.378 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (sqrt (/ 1 a))) (- (acos a))))) 1546597120.378 * * * * [misc]progress: [ 23 / 72 ] simplifiying candidate # 1546597120.379 * [enter]simplify: Simplifying (/ 1 1) 1546597120.379 * * [misc]simplify: iters left: 2 (2 enodes) 1546597120.379 * * [misc]simplify: iters left: 1 (4 enodes) 1546597120.380 * [exit]simplify: Simplified to 1 1546597120.380 * [misc]simplify: Simplified (2 1) to (λ (a) (* 1 (/ (/ 1 (- (acos a))) (/ 1 a)))) 1546597120.380 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (/ 1 a)) 1546597120.380 * * [misc]simplify: iters left: 6 (7 enodes) 1546597120.382 * * [misc]simplify: iters left: 5 (13 enodes) 1546597120.386 * * [misc]simplify: iters left: 4 (26 enodes) 1546597120.396 * * [misc]simplify: iters left: 3 (42 enodes) 1546597120.406 * * [misc]simplify: iters left: 2 (77 enodes) 1546597120.418 * * [misc]simplify: iters left: 1 (108 enodes) 1546597120.449 * [exit]simplify: Simplified to (/ (/ a -1) (acos a)) 1546597120.449 * [misc]simplify: Simplified (2 2) to (λ (a) (* 1 (/ (/ a -1) (acos a)))) 1546597120.450 * * * * [misc]progress: [ 24 / 72 ] simplifiying candidate # 1546597120.450 * [enter]simplify: Simplifying (/ 1 1) 1546597120.450 * * [misc]simplify: iters left: 2 (2 enodes) 1546597120.450 * * [misc]simplify: iters left: 1 (4 enodes) 1546597120.451 * [exit]simplify: Simplified to 1 1546597120.451 * [misc]simplify: Simplified (2 1) to (λ (a) (* 1 (/ (/ 1 (- (acos a))) (/ 1 a)))) 1546597120.451 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (/ 1 a)) 1546597120.451 * * [misc]simplify: iters left: 6 (7 enodes) 1546597120.452 * * [misc]simplify: iters left: 5 (13 enodes) 1546597120.454 * * [misc]simplify: iters left: 4 (26 enodes) 1546597120.459 * * [misc]simplify: iters left: 3 (42 enodes) 1546597120.467 * * [misc]simplify: iters left: 2 (77 enodes) 1546597120.482 * * [misc]simplify: iters left: 1 (108 enodes) 1546597120.530 * [exit]simplify: Simplified to (/ (/ a -1) (acos a)) 1546597120.530 * [misc]simplify: Simplified (2 2) to (λ (a) (* 1 (/ (/ a -1) (acos a)))) 1546597120.530 * * * * [misc]progress: [ 25 / 72 ] simplifiying candidate # 1546597120.530 * [enter]simplify: Simplifying (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1546597120.530 * * [misc]simplify: iters left: 6 (6 enodes) 1546597120.532 * * [misc]simplify: iters left: 5 (10 enodes) 1546597120.535 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (/ 1 a))) (cbrt (/ 1 a))) 1546597120.535 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ (/ 1 (cbrt (/ 1 a))) (cbrt (/ 1 a))) (/ (/ 1 (- (acos a))) (cbrt (/ 1 a))))) 1546597120.535 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (cbrt (/ 1 a))) 1546597120.535 * * [misc]simplify: iters left: 6 (8 enodes) 1546597120.537 * * [misc]simplify: iters left: 5 (12 enodes) 1546597120.540 * * [misc]simplify: iters left: 4 (17 enodes) 1546597120.544 * * [misc]simplify: iters left: 3 (21 enodes) 1546597120.549 * * [misc]simplify: iters left: 2 (22 enodes) 1546597120.554 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (/ 1 a))) (- (acos a))) 1546597120.554 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (cbrt (/ 1 a))) (- (acos a))))) 1546597120.554 * * * * [misc]progress: [ 26 / 72 ] simplifiying candidate # 1546597120.554 * [enter]simplify: Simplifying (/ 1 (sqrt (/ 1 a))) 1546597120.554 * * [misc]simplify: iters left: 5 (5 enodes) 1546597120.555 * * [misc]simplify: iters left: 4 (7 enodes) 1546597120.557 * [exit]simplify: Simplified to (/ 1 (sqrt (/ 1 a))) 1546597120.557 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))))) 1546597120.558 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))) 1546597120.558 * * [misc]simplify: iters left: 6 (8 enodes) 1546597120.560 * * [misc]simplify: iters left: 5 (12 enodes) 1546597120.563 * * [misc]simplify: iters left: 4 (17 enodes) 1546597120.567 * * [misc]simplify: iters left: 3 (21 enodes) 1546597120.572 * * [misc]simplify: iters left: 2 (22 enodes) 1546597120.577 * [exit]simplify: Simplified to (/ (/ 1 (sqrt (/ 1 a))) (- (acos a))) 1546597120.577 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (sqrt (/ 1 a))) (- (acos a))))) 1546597120.577 * * * * [misc]progress: [ 27 / 72 ] simplifiying candidate # 1546597120.577 * [enter]simplify: Simplifying (/ 1 1) 1546597120.577 * * [misc]simplify: iters left: 2 (2 enodes) 1546597120.578 * * [misc]simplify: iters left: 1 (4 enodes) 1546597120.579 * [exit]simplify: Simplified to 1 1546597120.579 * [misc]simplify: Simplified (2 1) to (λ (a) (* 1 (/ (/ 1 (- (acos a))) (/ 1 a)))) 1546597120.579 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (/ 1 a)) 1546597120.579 * * [misc]simplify: iters left: 6 (7 enodes) 1546597120.581 * * [misc]simplify: iters left: 5 (13 enodes) 1546597120.585 * * [misc]simplify: iters left: 4 (26 enodes) 1546597120.593 * * [misc]simplify: iters left: 3 (42 enodes) 1546597120.607 * * [misc]simplify: iters left: 2 (77 enodes) 1546597120.627 * * [misc]simplify: iters left: 1 (108 enodes) 1546597120.655 * [exit]simplify: Simplified to (/ (/ a -1) (acos a)) 1546597120.655 * [misc]simplify: Simplified (2 2) to (λ (a) (* 1 (/ (/ a -1) (acos a)))) 1546597120.655 * * * * [misc]progress: [ 28 / 72 ] simplifiying candidate # 1546597120.655 * [enter]simplify: Simplifying (/ 1 1) 1546597120.655 * * [misc]simplify: iters left: 2 (2 enodes) 1546597120.656 * * [misc]simplify: iters left: 1 (4 enodes) 1546597120.656 * [exit]simplify: Simplified to 1 1546597120.656 * [misc]simplify: Simplified (2 1) to (λ (a) (* 1 (/ (/ 1 (- (acos a))) (/ 1 a)))) 1546597120.656 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (/ 1 a)) 1546597120.656 * * [misc]simplify: iters left: 6 (7 enodes) 1546597120.658 * * [misc]simplify: iters left: 5 (13 enodes) 1546597120.660 * * [misc]simplify: iters left: 4 (26 enodes) 1546597120.665 * * [misc]simplify: iters left: 3 (42 enodes) 1546597120.673 * * [misc]simplify: iters left: 2 (77 enodes) 1546597120.684 * * [misc]simplify: iters left: 1 (108 enodes) 1546597120.724 * [exit]simplify: Simplified to (/ (/ a -1) (acos a)) 1546597120.725 * [misc]simplify: Simplified (2 2) to (λ (a) (* 1 (/ (/ a -1) (acos a)))) 1546597120.725 * * * * [misc]progress: [ 29 / 72 ] simplifiying candidate # 1546597120.725 * * * * [misc]progress: [ 30 / 72 ] simplifiying candidate # 1546597120.725 * * * * [misc]progress: [ 31 / 72 ] simplifiying candidate # 1546597120.725 * * * * [misc]progress: [ 32 / 72 ] simplifiying candidate # 1546597120.725 * [enter]simplify: Simplifying (cbrt (/ 1 a)) 1546597120.725 * * [misc]simplify: iters left: 3 (4 enodes) 1546597120.726 * * [misc]simplify: iters left: 2 (6 enodes) 1546597120.728 * [exit]simplify: Simplified to (cbrt (/ 1 a)) 1546597120.728 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ (/ 1 (- (acos a))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (cbrt (/ 1 a)))) 1546597120.728 * * * * [misc]progress: [ 33 / 72 ] simplifiying candidate # 1546597120.728 * [enter]simplify: Simplifying (sqrt (/ 1 a)) 1546597120.728 * * [misc]simplify: iters left: 3 (4 enodes) 1546597120.729 * * [misc]simplify: iters left: 2 (6 enodes) 1546597120.731 * [exit]simplify: Simplified to (sqrt (/ 1 a)) 1546597120.731 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))) (sqrt (/ 1 a)))) 1546597120.731 * * * * [misc]progress: [ 34 / 72 ] simplifiying candidate # 1546597120.731 * [enter]simplify: Simplifying (/ 1 a) 1546597120.731 * * [misc]simplify: iters left: 2 (3 enodes) 1546597120.732 * * [misc]simplify: iters left: 1 (5 enodes) 1546597120.732 * [exit]simplify: Simplified to (/ 1 a) 1546597120.732 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ (/ 1 (- (acos a))) 1) (/ 1 a))) 1546597120.732 * * * * [misc]progress: [ 35 / 72 ] simplifiying candidate # 1546597120.732 * [enter]simplify: Simplifying (/ 1 a) 1546597120.732 * * [misc]simplify: iters left: 2 (3 enodes) 1546597120.733 * * [misc]simplify: iters left: 1 (5 enodes) 1546597120.734 * [exit]simplify: Simplified to (/ 1 a) 1546597120.734 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ (/ 1 (- (acos a))) 1) (/ 1 a))) 1546597120.734 * * * * [misc]progress: [ 36 / 72 ] simplifiying candidate # 1546597120.734 * [enter]simplify: Simplifying (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1546597120.734 * * [misc]simplify: iters left: 6 (7 enodes) 1546597120.735 * * [misc]simplify: iters left: 5 (9 enodes) 1546597120.736 * [exit]simplify: Simplified to (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1546597120.736 * [misc]simplify: Simplified (2 1) to (λ (a) (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (/ (/ 1 a) (cbrt (/ 1 (- (acos a))))))) 1546597120.736 * * * * [misc]progress: [ 37 / 72 ] simplifiying candidate # 1546597120.736 * [enter]simplify: Simplifying (sqrt (/ 1 (- (acos a)))) 1546597120.736 * * [misc]simplify: iters left: 6 (6 enodes) 1546597120.737 * * [misc]simplify: iters left: 5 (8 enodes) 1546597120.738 * [exit]simplify: Simplified to (sqrt (/ 1 (- (acos a)))) 1546597120.738 * [misc]simplify: Simplified (2 1) to (λ (a) (/ (sqrt (/ 1 (- (acos a)))) (/ (/ 1 a) (sqrt (/ 1 (- (acos a))))))) 1546597120.738 * * * * [misc]progress: [ 38 / 72 ] simplifiying candidate # 1546597120.738 * * * * [misc]progress: [ 39 / 72 ] simplifiying candidate # 1546597120.739 * * * * [misc]progress: [ 40 / 72 ] simplifiying candidate # 1546597120.739 * * * * [misc]progress: [ 41 / 72 ] simplifiying candidate # 1546597120.739 * * * * [misc]progress: [ 42 / 72 ] simplifiying candidate # 1546597120.739 * * * * [misc]progress: [ 43 / 72 ] simplifiying candidate # 1546597120.739 * * * * [misc]progress: [ 44 / 72 ] simplifiying candidate # 1546597120.739 * * * * [misc]progress: [ 45 / 72 ] simplifiying candidate # 1546597120.739 * [enter]simplify: Simplifying (- 1) 1546597120.739 * * [misc]simplify: iters left: 2 (2 enodes) 1546597120.740 * * [misc]simplify: iters left: 1 (5 enodes) 1546597120.740 * [exit]simplify: Simplified to -1 1546597120.740 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (pow (- (acos a)) -1) (/ 1 a))) 1546597120.740 * * * * [misc]progress: [ 46 / 72 ] simplifiying candidate # 1546597120.740 * * * * [misc]progress: [ 47 / 72 ] simplifiying candidate # 1546597120.740 * * * * [misc]progress: [ 48 / 72 ] simplifiying candidate # 1546597120.740 * * * * [misc]progress: [ 49 / 72 ] simplifiying candidate # 1546597120.740 * * * * [misc]progress: [ 50 / 72 ] simplifiying candidate # 1546597120.740 * * * * [misc]progress: [ 51 / 72 ] simplifiying candidate # 1546597120.740 * * * * [misc]progress: [ 52 / 72 ] simplifiying candidate # 1546597120.740 * * * * [misc]progress: [ 53 / 72 ] simplifiying candidate # 1546597120.740 * * * * [misc]progress: [ 54 / 72 ] simplifiying candidate # 1546597120.741 * * * * [misc]progress: [ 55 / 72 ] simplifiying candidate # 1546597120.741 * * * * [misc]progress: [ 56 / 72 ] simplifiying candidate # 1546597120.741 * * * * [misc]progress: [ 57 / 72 ] simplifiying candidate # 1546597120.741 * [enter]simplify: Simplifying (cbrt (- (acos a))) 1546597120.741 * * [misc]simplify: iters left: 4 (4 enodes) 1546597120.741 * [exit]simplify: Simplified to (cbrt (- (acos a))) 1546597120.741 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (cbrt (- (acos a)))) (/ 1 a))) 1546597120.741 * * * * [misc]progress: [ 58 / 72 ] simplifiying candidate # 1546597120.742 * [enter]simplify: Simplifying (sqrt (- (acos a))) 1546597120.742 * * [misc]simplify: iters left: 4 (4 enodes) 1546597120.742 * [exit]simplify: Simplified to (sqrt (- (acos a))) 1546597120.742 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (sqrt (- (acos a)))) (sqrt (- (acos a)))) (/ 1 a))) 1546597120.742 * * * * [misc]progress: [ 59 / 72 ] simplifiying candidate # 1546597120.742 * [enter]simplify: Simplifying (- (acos a)) 1546597120.742 * * [misc]simplify: iters left: 3 (3 enodes) 1546597120.743 * [exit]simplify: Simplified to (- (acos a)) 1546597120.743 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 1) (- (acos a))) (/ 1 a))) 1546597120.743 * * * * [misc]progress: [ 60 / 72 ] simplifiying candidate # 1546597120.743 * [enter]simplify: Simplifying (acos a) 1546597120.743 * * [misc]simplify: iters left: 1 (2 enodes) 1546597120.744 * [exit]simplify: Simplified to (acos a) 1546597120.744 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 -1) (acos a)) (/ 1 a))) 1546597120.744 * * * * [misc]progress: [ 61 / 72 ] simplifiying candidate # 1546597120.744 * [enter]simplify: Simplifying (cbrt (acos a)) 1546597120.744 * * [misc]simplify: iters left: 2 (3 enodes) 1546597120.744 * [exit]simplify: Simplified to (cbrt (acos a)) 1546597120.744 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (- (* (cbrt (acos a)) (cbrt (acos a))))) (cbrt (acos a))) (/ 1 a))) 1546597120.744 * * * * [misc]progress: [ 62 / 72 ] simplifiying candidate # 1546597120.744 * [enter]simplify: Simplifying (sqrt (acos a)) 1546597120.745 * * [misc]simplify: iters left: 2 (3 enodes) 1546597120.745 * [exit]simplify: Simplified to (sqrt (acos a)) 1546597120.745 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (- (sqrt (acos a)))) (sqrt (acos a))) (/ 1 a))) 1546597120.745 * * * * [misc]progress: [ 63 / 72 ] simplifiying candidate # 1546597120.745 * [enter]simplify: Simplifying (acos a) 1546597120.745 * * [misc]simplify: iters left: 1 (2 enodes) 1546597120.746 * [exit]simplify: Simplified to (acos a) 1546597120.746 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (- 1)) (acos a)) (/ 1 a))) 1546597120.746 * * * * [misc]progress: [ 64 / 72 ] simplifiying candidate # 1546597120.746 * [enter]simplify: Simplifying (- (cbrt (acos a))) 1546597120.746 * * [misc]simplify: iters left: 4 (4 enodes) 1546597120.746 * [exit]simplify: Simplified to (- (cbrt (acos a))) 1546597120.746 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (cbrt (acos a)))) (/ 1 a))) 1546597120.746 * * * * [misc]progress: [ 65 / 72 ] simplifiying candidate # 1546597120.747 * [enter]simplify: Simplifying (- (sqrt (acos a))) 1546597120.747 * * [misc]simplify: iters left: 4 (4 enodes) 1546597120.747 * [exit]simplify: Simplified to (- (sqrt (acos a))) 1546597120.747 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (sqrt (acos a))) (- (sqrt (acos a)))) (/ 1 a))) 1546597120.747 * * * * [misc]progress: [ 66 / 72 ] simplifiying candidate # 1546597120.747 * [enter]simplify: Simplifying (- (acos a)) 1546597120.747 * * [misc]simplify: iters left: 3 (3 enodes) 1546597120.748 * [exit]simplify: Simplified to (- (acos a)) 1546597120.748 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 1) (- (acos a))) (/ 1 a))) 1546597120.748 * * * * [misc]progress: [ 67 / 72 ] simplifiying candidate # 1546597120.748 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1546597120.748 * * [misc]simplify: iters left: 5 (5 enodes) 1546597120.749 * * [misc]simplify: iters left: 4 (9 enodes) 1546597120.750 * * [misc]simplify: iters left: 3 (14 enodes) 1546597120.752 * * [misc]simplify: iters left: 2 (16 enodes) 1546597120.754 * * [misc]simplify: iters left: 1 (18 enodes) 1546597120.756 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1546597120.756 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1546597120.756 * * * * [misc]progress: [ 68 / 72 ] simplifiying candidate # 1546597120.756 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1546597120.756 * * [misc]simplify: iters left: 5 (5 enodes) 1546597120.757 * * [misc]simplify: iters left: 4 (9 enodes) 1546597120.758 * * [misc]simplify: iters left: 3 (14 enodes) 1546597120.760 * * [misc]simplify: iters left: 2 (16 enodes) 1546597120.762 * * [misc]simplify: iters left: 1 (18 enodes) 1546597120.764 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1546597120.764 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1546597120.764 * * * * [misc]progress: [ 69 / 72 ] simplifiying candidate # 1546597120.765 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1546597120.765 * * [misc]simplify: iters left: 5 (5 enodes) 1546597120.765 * * [misc]simplify: iters left: 4 (9 enodes) 1546597120.767 * * [misc]simplify: iters left: 3 (14 enodes) 1546597120.768 * * [misc]simplify: iters left: 2 (16 enodes) 1546597120.770 * * [misc]simplify: iters left: 1 (18 enodes) 1546597120.773 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1546597120.773 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1546597120.773 * * * * [misc]progress: [ 70 / 72 ] simplifiying candidate # 1546597120.773 * [enter]simplify: Simplifying (/ -1 (acos a)) 1546597120.773 * * [misc]simplify: iters left: 3 (4 enodes) 1546597120.774 * [exit]simplify: Simplified to (/ -1 (acos a)) 1546597120.774 * [misc]simplify: Simplified (2 1) to (λ (a) (/ (/ -1 (acos a)) (/ 1 a))) 1546597120.774 * * * * [misc]progress: [ 71 / 72 ] simplifiying candidate # 1546597120.774 * [enter]simplify: Simplifying (/ -1 (acos a)) 1546597120.774 * * [misc]simplify: iters left: 3 (4 enodes) 1546597120.774 * [exit]simplify: Simplified to (/ -1 (acos a)) 1546597120.774 * [misc]simplify: Simplified (2 1) to (λ (a) (/ (/ -1 (acos a)) (/ 1 a))) 1546597120.774 * * * * [misc]progress: [ 72 / 72 ] simplifiying candidate # 1546597120.775 * [enter]simplify: Simplifying (/ -1 (acos a)) 1546597120.775 * * [misc]simplify: iters left: 3 (4 enodes) 1546597120.775 * [exit]simplify: Simplified to (/ -1 (acos a)) 1546597120.775 * [misc]simplify: Simplified (2 1) to (λ (a) (/ (/ -1 (acos a)) (/ 1 a))) 1546597120.775 * * * [misc]progress: adding candidates to table 1546597121.329 * * [misc]progress: iteration 4 / 4 1546597121.329 * * * [misc]progress: picking best candidate 1546597121.356 * * * * [misc]pick: Picked # 1546597121.357 * * * [misc]progress: localizing error 1546597121.368 * * * [misc]progress: generating rewritten candidates 1546597121.368 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2) 1546597121.377 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2) 1546597121.386 * * * [misc]progress: generating series expansions 1546597121.386 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2) 1546597121.387 * [misc]backup-simplify: Simplify (* (/ 1 a) (- (acos a))) into (* -1 (/ (acos a) a)) 1546597121.387 * [misc]approximate: Taking taylor expansion of (* -1 (/ (acos a) a)) in (a) around 0 1546597121.387 * [misc]taylor: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 1546597121.387 * [misc]taylor: Taking taylor expansion of -1 in a 1546597121.387 * [misc]backup-simplify: Simplify -1 into -1 1546597121.387 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1546597121.387 * [misc]taylor: Taking taylor expansion of (acos a) in a 1546597121.387 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1546597121.387 * [misc]taylor: Taking taylor expansion of a in a 1546597121.387 * [misc]backup-simplify: Simplify 0 into 0 1546597121.387 * [misc]backup-simplify: Simplify 1 into 1 1546597121.387 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1546597121.387 * [misc]taylor: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 1546597121.387 * [misc]taylor: Taking taylor expansion of -1 in a 1546597121.387 * [misc]backup-simplify: Simplify -1 into -1 1546597121.387 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1546597121.387 * [misc]taylor: Taking taylor expansion of (acos a) in a 1546597121.387 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1546597121.387 * [misc]taylor: Taking taylor expansion of a in a 1546597121.387 * [misc]backup-simplify: Simplify 0 into 0 1546597121.387 * [misc]backup-simplify: Simplify 1 into 1 1546597121.387 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1546597121.388 * [misc]backup-simplify: Simplify (* -1 (acos a)) into (* -1 (acos a)) 1546597121.388 * [misc]backup-simplify: Simplify (* -1 (acos a)) into (* -1 (acos a)) 1546597121.388 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)))) into 0 1546597121.388 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (acos a))) into 0 1546597121.388 * [misc]backup-simplify: Simplify 0 into 0 1546597121.389 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546597121.389 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (acos a)))) into 0 1546597121.389 * [misc]backup-simplify: Simplify 0 into 0 1546597121.390 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546597121.390 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a))))) into 0 1546597121.390 * [misc]backup-simplify: Simplify 0 into 0 1546597121.391 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546597121.392 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a)))))) into 0 1546597121.392 * [misc]backup-simplify: Simplify 0 into 0 1546597121.393 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546597121.393 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a))))))) into 0 1546597121.394 * [misc]backup-simplify: Simplify 0 into 0 1546597121.395 * [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 1546597121.395 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a)))))))) into 0 1546597121.396 * [misc]backup-simplify: Simplify 0 into 0 1546597121.396 * [misc]backup-simplify: Simplify (* (* -1 (acos a)) (/ 1 a)) into (* -1 (/ (acos a) a)) 1546597121.396 * [misc]backup-simplify: Simplify (* (/ 1 (/ 1 a)) (- (acos (/ 1 a)))) into (* -1 (* a (acos (/ 1 a)))) 1546597121.396 * [misc]approximate: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in (a) around 0 1546597121.396 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in a 1546597121.396 * [misc]taylor: Taking taylor expansion of -1 in a 1546597121.396 * [misc]backup-simplify: Simplify -1 into -1 1546597121.396 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1546597121.396 * [misc]taylor: Taking taylor expansion of a in a 1546597121.396 * [misc]backup-simplify: Simplify 0 into 0 1546597121.396 * [misc]backup-simplify: Simplify 1 into 1 1546597121.396 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1546597121.396 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1546597121.396 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in a 1546597121.396 * [misc]taylor: Taking taylor expansion of -1 in a 1546597121.396 * [misc]backup-simplify: Simplify -1 into -1 1546597121.396 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1546597121.396 * [misc]taylor: Taking taylor expansion of a in a 1546597121.396 * [misc]backup-simplify: Simplify 0 into 0 1546597121.396 * [misc]backup-simplify: Simplify 1 into 1 1546597121.396 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1546597121.396 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1546597121.397 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1546597121.397 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546597121.397 * [misc]backup-simplify: Simplify 0 into 0 1546597121.397 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1546597121.397 * [misc]backup-simplify: Simplify (+ (* -1 (acos (/ 1 a))) (* 0 0)) into (- (acos (/ 1 a))) 1546597121.397 * [misc]backup-simplify: Simplify (- (acos (/ 1 a))) into (- (acos (/ 1 a))) 1546597121.398 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1546597121.398 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))) into 0 1546597121.398 * [misc]backup-simplify: Simplify 0 into 0 1546597121.399 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1546597121.399 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))) into 0 1546597121.399 * [misc]backup-simplify: Simplify 0 into 0 1546597121.400 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1546597121.400 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))))) into 0 1546597121.401 * [misc]backup-simplify: Simplify 0 into 0 1546597121.401 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1546597121.402 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))))) into 0 1546597121.402 * [misc]backup-simplify: Simplify 0 into 0 1546597121.403 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1546597121.404 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))))))) into 0 1546597121.404 * [misc]backup-simplify: Simplify 0 into 0 1546597121.405 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1546597121.406 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))))))) into 0 1546597121.406 * [misc]backup-simplify: Simplify 0 into 0 1546597121.406 * [misc]backup-simplify: Simplify (* (- (acos (/ 1 (/ 1 a)))) (/ 1 a)) into (* -1 (/ (acos a) a)) 1546597121.406 * [misc]backup-simplify: Simplify (* (/ 1 (/ 1 (- a))) (- (acos (/ 1 (- a))))) into (* a (acos (/ -1 a))) 1546597121.406 * [misc]approximate: Taking taylor expansion of (* a (acos (/ -1 a))) in (a) around 0 1546597121.406 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1546597121.406 * [misc]taylor: Taking taylor expansion of a in a 1546597121.406 * [misc]backup-simplify: Simplify 0 into 0 1546597121.406 * [misc]backup-simplify: Simplify 1 into 1 1546597121.406 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1546597121.406 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1546597121.407 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1546597121.407 * [misc]taylor: Taking taylor expansion of a in a 1546597121.407 * [misc]backup-simplify: Simplify 0 into 0 1546597121.407 * [misc]backup-simplify: Simplify 1 into 1 1546597121.407 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1546597121.407 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1546597121.407 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1546597121.407 * [misc]backup-simplify: Simplify 0 into 0 1546597121.407 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1546597121.407 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1546597121.408 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1546597121.408 * [misc]backup-simplify: Simplify 0 into 0 1546597121.408 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1546597121.408 * [misc]backup-simplify: Simplify 0 into 0 1546597121.409 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1546597121.409 * [misc]backup-simplify: Simplify 0 into 0 1546597121.410 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1546597121.410 * [misc]backup-simplify: Simplify 0 into 0 1546597121.411 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1546597121.411 * [misc]backup-simplify: Simplify 0 into 0 1546597121.412 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1546597121.412 * [misc]backup-simplify: Simplify 0 into 0 1546597121.412 * [misc]backup-simplify: Simplify (* (acos (/ -1 (/ 1 (- a)))) (/ 1 (- a))) into (* -1 (/ (acos a) a)) 1546597121.412 * * * * [misc]progress: [ 2 / 2 ] generating series at (2) 1546597121.413 * [misc]backup-simplify: Simplify (/ 1 (* (/ 1 a) (- (acos a)))) into (* -1 (/ a (acos a))) 1546597121.413 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1546597121.413 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1546597121.413 * [misc]taylor: Taking taylor expansion of -1 in a 1546597121.413 * [misc]backup-simplify: Simplify -1 into -1 1546597121.413 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1546597121.413 * [misc]taylor: Taking taylor expansion of a in a 1546597121.413 * [misc]backup-simplify: Simplify 0 into 0 1546597121.413 * [misc]backup-simplify: Simplify 1 into 1 1546597121.413 * [misc]taylor: Taking taylor expansion of (acos a) in a 1546597121.413 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1546597121.413 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1546597121.413 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1546597121.413 * [misc]taylor: Taking taylor expansion of -1 in a 1546597121.413 * [misc]backup-simplify: Simplify -1 into -1 1546597121.413 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1546597121.413 * [misc]taylor: Taking taylor expansion of a in a 1546597121.413 * [misc]backup-simplify: Simplify 0 into 0 1546597121.413 * [misc]backup-simplify: Simplify 1 into 1 1546597121.413 * [misc]taylor: Taking taylor expansion of (acos a) in a 1546597121.413 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1546597121.413 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1546597121.413 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1546597121.414 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1546597121.414 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1546597121.414 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1546597121.414 * [misc]backup-simplify: Simplify 0 into 0 1546597121.414 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1546597121.415 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1546597121.415 * [misc]backup-simplify: Simplify 0 into 0 1546597121.415 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1546597121.416 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1546597121.416 * [misc]backup-simplify: Simplify 0 into 0 1546597121.416 * [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 1546597121.417 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1546597121.417 * [misc]backup-simplify: Simplify 0 into 0 1546597121.417 * [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 1546597121.418 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1546597121.418 * [misc]backup-simplify: Simplify 0 into 0 1546597121.419 * [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 1546597121.423 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1546597121.423 * [misc]backup-simplify: Simplify 0 into 0 1546597121.423 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1546597121.423 * [misc]backup-simplify: Simplify (/ 1 (* (/ 1 (/ 1 a)) (- (acos (/ 1 a))))) into (/ -1 (* a (acos (/ 1 a)))) 1546597121.423 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1546597121.423 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1546597121.423 * [misc]taylor: Taking taylor expansion of -1 in a 1546597121.423 * [misc]backup-simplify: Simplify -1 into -1 1546597121.423 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1546597121.423 * [misc]taylor: Taking taylor expansion of a in a 1546597121.423 * [misc]backup-simplify: Simplify 0 into 0 1546597121.423 * [misc]backup-simplify: Simplify 1 into 1 1546597121.423 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1546597121.423 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1546597121.424 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1546597121.424 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1546597121.424 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1546597121.424 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1546597121.424 * [misc]taylor: Taking taylor expansion of -1 in a 1546597121.424 * [misc]backup-simplify: Simplify -1 into -1 1546597121.424 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1546597121.424 * [misc]taylor: Taking taylor expansion of a in a 1546597121.424 * [misc]backup-simplify: Simplify 0 into 0 1546597121.424 * [misc]backup-simplify: Simplify 1 into 1 1546597121.424 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1546597121.424 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1546597121.424 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1546597121.424 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1546597121.425 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1546597121.425 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1546597121.425 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1546597121.425 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1546597121.425 * [misc]backup-simplify: Simplify 0 into 0 1546597121.426 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1546597121.426 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1546597121.426 * [misc]backup-simplify: Simplify 0 into 0 1546597121.427 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1546597121.428 * [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 1546597121.428 * [misc]backup-simplify: Simplify 0 into 0 1546597121.429 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1546597121.429 * [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 1546597121.429 * [misc]backup-simplify: Simplify 0 into 0 1546597121.430 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1546597121.431 * [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 1546597121.431 * [misc]backup-simplify: Simplify 0 into 0 1546597121.432 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1546597121.433 * [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 1546597121.433 * [misc]backup-simplify: Simplify 0 into 0 1546597121.433 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1546597121.433 * [misc]backup-simplify: Simplify (/ 1 (* (/ 1 (/ 1 (- a))) (- (acos (/ 1 (- a)))))) into (/ 1 (* a (acos (/ -1 a)))) 1546597121.433 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1546597121.433 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1546597121.433 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1546597121.433 * [misc]taylor: Taking taylor expansion of a in a 1546597121.433 * [misc]backup-simplify: Simplify 0 into 0 1546597121.433 * [misc]backup-simplify: Simplify 1 into 1 1546597121.433 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1546597121.433 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1546597121.433 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1546597121.434 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1546597121.434 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1546597121.434 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1546597121.434 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1546597121.434 * [misc]taylor: Taking taylor expansion of a in a 1546597121.434 * [misc]backup-simplify: Simplify 0 into 0 1546597121.434 * [misc]backup-simplify: Simplify 1 into 1 1546597121.434 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1546597121.434 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1546597121.434 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1546597121.435 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1546597121.435 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1546597121.435 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1546597121.435 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1546597121.435 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1546597121.435 * [misc]backup-simplify: Simplify 0 into 0 1546597121.436 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1546597121.436 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1546597121.436 * [misc]backup-simplify: Simplify 0 into 0 1546597121.437 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1546597121.437 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1546597121.437 * [misc]backup-simplify: Simplify 0 into 0 1546597121.438 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1546597121.439 * [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 1546597121.439 * [misc]backup-simplify: Simplify 0 into 0 1546597121.440 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1546597121.440 * [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 1546597121.440 * [misc]backup-simplify: Simplify 0 into 0 1546597121.441 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1546597121.442 * [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 1546597121.442 * [misc]backup-simplify: Simplify 0 into 0 1546597121.442 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1546597121.442 * * * [misc]progress: simplifying candidates 1546597121.442 * * * * [misc]progress: [ 1 / 54 ] simplifiying candidate # 1546597121.443 * * * * [misc]progress: [ 2 / 54 ] simplifiying candidate # 1546597121.443 * * * * [misc]progress: [ 3 / 54 ] simplifiying candidate # 1546597121.443 * [enter]simplify: Simplifying (* (/ 1 a) (- (acos a))) 1546597121.443 * * [misc]simplify: iters left: 5 (6 enodes) 1546597121.445 * * [misc]simplify: iters left: 4 (13 enodes) 1546597121.449 * * [misc]simplify: iters left: 3 (23 enodes) 1546597121.457 * * [misc]simplify: iters left: 2 (52 enodes) 1546597121.468 * * [misc]simplify: iters left: 1 (73 enodes) 1546597121.479 * [exit]simplify: Simplified to (* (acos a) (/ -1 a)) 1546597121.479 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (pow (* (acos a) (/ -1 a)) 1))) 1546597121.479 * * * * [misc]progress: [ 4 / 54 ] simplifiying candidate # 1546597121.479 * * * * [misc]progress: [ 5 / 54 ] simplifiying candidate # 1546597121.479 * [enter]simplify: Simplifying (+ (log (/ 1 a)) (log (- (acos a)))) 1546597121.479 * * [misc]simplify: iters left: 6 (8 enodes) 1546597121.481 * * [misc]simplify: iters left: 5 (15 enodes) 1546597121.483 * * [misc]simplify: iters left: 4 (16 enodes) 1546597121.485 * * [misc]simplify: iters left: 3 (20 enodes) 1546597121.487 * * [misc]simplify: iters left: 2 (26 enodes) 1546597121.492 * * [misc]simplify: iters left: 1 (39 enodes) 1546597121.497 * [exit]simplify: Simplified to (- (log (- (acos a))) (log a)) 1546597121.497 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (exp (- (log (- (acos a))) (log a))))) 1546597121.497 * * * * [misc]progress: [ 6 / 54 ] simplifiying candidate # 1546597121.497 * * * * [misc]progress: [ 7 / 54 ] simplifiying candidate # 1546597121.497 * * * * [misc]progress: [ 8 / 54 ] simplifiying candidate # 1546597121.497 * [enter]simplify: Simplifying (* (* (* (/ 1 a) (/ 1 a)) (/ 1 a)) (* (* (- (acos a)) (- (acos a))) (- (acos a)))) 1546597121.497 * * [misc]simplify: iters left: 6 (10 enodes) 1546597121.500 * * [misc]simplify: iters left: 5 (32 enodes) 1546597121.513 * * [misc]simplify: iters left: 4 (111 enodes) 1546597121.581 * * [misc]simplify: iters left: 3 (362 enodes) 1546597121.902 * [exit]simplify: Simplified to (* (pow (acos a) 3) (/ (/ -1 a) (* a a))) 1546597121.902 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (cbrt (* (pow (acos a) 3) (/ (/ -1 a) (* a a)))))) 1546597121.902 * * * * [misc]progress: [ 9 / 54 ] simplifiying candidate # 1546597121.902 * * * * [misc]progress: [ 10 / 54 ] simplifiying candidate # 1546597121.902 * * * * [misc]progress: [ 11 / 54 ] simplifiying candidate # 1546597121.902 * * * * [misc]progress: [ 12 / 54 ] simplifiying candidate # 1546597121.902 * * * * [misc]progress: [ 13 / 54 ] simplifiying candidate # 1546597121.902 * * * * [misc]progress: [ 14 / 54 ] simplifiying candidate # 1546597121.903 * [enter]simplify: Simplifying (cbrt (- (acos a))) 1546597121.903 * * [misc]simplify: iters left: 4 (4 enodes) 1546597121.903 * [exit]simplify: Simplified to (cbrt (- (acos a))) 1546597121.903 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* (* (/ 1 a) (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (cbrt (- (acos a)))))) 1546597121.903 * * * * [misc]progress: [ 15 / 54 ] simplifiying candidate # 1546597121.904 * [enter]simplify: Simplifying (sqrt (- (acos a))) 1546597121.904 * * [misc]simplify: iters left: 4 (4 enodes) 1546597121.904 * [exit]simplify: Simplified to (sqrt (- (acos a))) 1546597121.904 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* (* (/ 1 a) (sqrt (- (acos a)))) (sqrt (- (acos a)))))) 1546597121.904 * * * * [misc]progress: [ 16 / 54 ] simplifiying candidate # 1546597121.904 * [enter]simplify: Simplifying (- (acos a)) 1546597121.904 * * [misc]simplify: iters left: 3 (3 enodes) 1546597121.905 * [exit]simplify: Simplified to (- (acos a)) 1546597121.905 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* (* (/ 1 a) 1) (- (acos a))))) 1546597121.905 * * * * [misc]progress: [ 17 / 54 ] simplifiying candidate # 1546597121.905 * [enter]simplify: Simplifying (acos a) 1546597121.905 * * [misc]simplify: iters left: 1 (2 enodes) 1546597121.905 * [exit]simplify: Simplified to (acos a) 1546597121.906 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* (* (/ 1 a) -1) (acos a)))) 1546597121.906 * * * * [misc]progress: [ 18 / 54 ] simplifiying candidate # 1546597121.906 * [enter]simplify: Simplifying (cbrt (acos a)) 1546597121.906 * * [misc]simplify: iters left: 2 (3 enodes) 1546597121.906 * [exit]simplify: Simplified to (cbrt (acos a)) 1546597121.906 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* (* (/ 1 a) (- (* (cbrt (acos a)) (cbrt (acos a))))) (cbrt (acos a))))) 1546597121.906 * * * * [misc]progress: [ 19 / 54 ] simplifiying candidate # 1546597121.906 * [enter]simplify: Simplifying (sqrt (acos a)) 1546597121.906 * * [misc]simplify: iters left: 2 (3 enodes) 1546597121.907 * [exit]simplify: Simplified to (sqrt (acos a)) 1546597121.907 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* (* (/ 1 a) (- (sqrt (acos a)))) (sqrt (acos a))))) 1546597121.907 * * * * [misc]progress: [ 20 / 54 ] simplifiying candidate # 1546597121.907 * [enter]simplify: Simplifying (acos a) 1546597121.907 * * [misc]simplify: iters left: 1 (2 enodes) 1546597121.907 * [exit]simplify: Simplified to (acos a) 1546597121.908 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* (* (/ 1 a) (- 1)) (acos a)))) 1546597121.908 * * * * [misc]progress: [ 21 / 54 ] simplifiying candidate # 1546597121.908 * [enter]simplify: Simplifying (- (cbrt (acos a))) 1546597121.908 * * [misc]simplify: iters left: 4 (4 enodes) 1546597121.908 * [exit]simplify: Simplified to (- (cbrt (acos a))) 1546597121.908 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* (* (/ 1 a) (* (cbrt (acos a)) (cbrt (acos a)))) (- (cbrt (acos a)))))) 1546597121.908 * * * * [misc]progress: [ 22 / 54 ] simplifiying candidate # 1546597121.909 * [enter]simplify: Simplifying (- (sqrt (acos a))) 1546597121.909 * * [misc]simplify: iters left: 4 (4 enodes) 1546597121.909 * [exit]simplify: Simplified to (- (sqrt (acos a))) 1546597121.909 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* (* (/ 1 a) (sqrt (acos a))) (- (sqrt (acos a)))))) 1546597121.909 * * * * [misc]progress: [ 23 / 54 ] simplifiying candidate # 1546597121.909 * [enter]simplify: Simplifying (- (acos a)) 1546597121.909 * * [misc]simplify: iters left: 3 (3 enodes) 1546597121.910 * [exit]simplify: Simplified to (- (acos a)) 1546597121.910 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* (* (/ 1 a) 1) (- (acos a))))) 1546597121.910 * * * * [misc]progress: [ 24 / 54 ] simplifiying candidate # 1546597121.910 * [enter]simplify: Simplifying (* (cbrt (/ 1 a)) (cbrt (/ 1 a))) 1546597121.910 * * [misc]simplify: iters left: 5 (5 enodes) 1546597121.911 * * [misc]simplify: iters left: 4 (7 enodes) 1546597121.912 * [exit]simplify: Simplified to (* (cbrt (/ 1 a)) (cbrt (/ 1 a))) 1546597121.912 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (* (* (cbrt (/ 1 a)) (cbrt (/ 1 a))) (* (cbrt (/ 1 a)) (- (acos a)))))) 1546597121.912 * * * * [misc]progress: [ 25 / 54 ] simplifiying candidate # 1546597121.912 * [enter]simplify: Simplifying (sqrt (/ 1 a)) 1546597121.912 * * [misc]simplify: iters left: 3 (4 enodes) 1546597121.913 * * [misc]simplify: iters left: 2 (6 enodes) 1546597121.914 * [exit]simplify: Simplified to (sqrt (/ 1 a)) 1546597121.914 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (* (sqrt (/ 1 a)) (* (sqrt (/ 1 a)) (- (acos a)))))) 1546597121.914 * * * * [misc]progress: [ 26 / 54 ] simplifiying candidate # 1546597121.914 * * * * [misc]progress: [ 27 / 54 ] simplifiying candidate # 1546597121.914 * * * * [misc]progress: [ 28 / 54 ] simplifiying candidate # 1546597121.914 * [enter]simplify: Simplifying (* 1 (- (acos a))) 1546597121.914 * * [misc]simplify: iters left: 5 (5 enodes) 1546597121.915 * * [misc]simplify: iters left: 4 (10 enodes) 1546597121.917 * * [misc]simplify: iters left: 3 (20 enodes) 1546597121.921 * * [misc]simplify: iters left: 2 (23 enodes) 1546597121.923 * [exit]simplify: Simplified to (- (acos a)) 1546597121.923 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (- (acos a)) a))) 1546597121.923 * * * * [misc]progress: [ 29 / 54 ] simplifiying candidate # 1546597121.923 * * * * [misc]progress: [ 30 / 54 ] simplifiying candidate # 1546597121.923 * * * * [misc]progress: [ 31 / 54 ] simplifiying candidate # 1546597121.923 * * * * [misc]progress: [ 32 / 54 ] simplifiying candidate # 1546597121.923 * * * * [misc]progress: [ 33 / 54 ] simplifiying candidate # 1546597121.923 * [enter]simplify: Simplifying (- 1) 1546597121.923 * * [misc]simplify: iters left: 2 (2 enodes) 1546597121.924 * * [misc]simplify: iters left: 1 (5 enodes) 1546597121.925 * [exit]simplify: Simplified to -1 1546597121.925 * [misc]simplify: Simplified (2 2) to (λ (a) (pow (* (/ 1 a) (- (acos a))) -1)) 1546597121.925 * * * * [misc]progress: [ 34 / 54 ] simplifiying candidate # 1546597121.925 * [enter]simplify: Simplifying (- 1) 1546597121.925 * * [misc]simplify: iters left: 2 (2 enodes) 1546597121.926 * * [misc]simplify: iters left: 1 (5 enodes) 1546597121.926 * [exit]simplify: Simplified to -1 1546597121.926 * [misc]simplify: Simplified (2 2) to (λ (a) (pow (* (/ 1 a) (- (acos a))) -1)) 1546597121.926 * * * * [misc]progress: [ 35 / 54 ] simplifiying candidate # 1546597121.926 * * * * [misc]progress: [ 36 / 54 ] simplifiying candidate # 1546597121.926 * * * * [misc]progress: [ 37 / 54 ] simplifiying candidate # 1546597121.926 * * * * [misc]progress: [ 38 / 54 ] simplifiying candidate # 1546597121.926 * * * * [misc]progress: [ 39 / 54 ] simplifiying candidate # 1546597121.927 * * * * [misc]progress: [ 40 / 54 ] simplifiying candidate # 1546597121.927 * * * * [misc]progress: [ 41 / 54 ] simplifiying candidate # 1546597121.927 * * * * [misc]progress: [ 42 / 54 ] simplifiying candidate # 1546597121.927 * * * * [misc]progress: [ 43 / 54 ] simplifiying candidate # 1546597121.927 * * * * [misc]progress: [ 44 / 54 ] simplifiying candidate # 1546597121.927 * * * * [misc]progress: [ 45 / 54 ] simplifiying candidate # 1546597121.927 * * * * [misc]progress: [ 46 / 54 ] simplifiying candidate # 1546597121.927 * * * * [misc]progress: [ 47 / 54 ] simplifiying candidate # 1546597121.927 * [enter]simplify: Simplifying (- (acos a)) 1546597121.927 * * [misc]simplify: iters left: 3 (3 enodes) 1546597121.928 * [exit]simplify: Simplified to (- (acos a)) 1546597121.928 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (/ 1 a)) (- (acos a)))) 1546597121.928 * * * * [misc]progress: [ 48 / 54 ] simplifiying candidate # 1546597121.928 * * * * [misc]progress: [ 49 / 54 ] simplifiying candidate # 1546597121.928 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1546597121.928 * * [misc]simplify: iters left: 5 (5 enodes) 1546597121.929 * * [misc]simplify: iters left: 4 (9 enodes) 1546597121.930 * * [misc]simplify: iters left: 3 (14 enodes) 1546597121.932 * * [misc]simplify: iters left: 2 (16 enodes) 1546597121.936 * * [misc]simplify: iters left: 1 (18 enodes) 1546597121.941 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1546597121.941 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1546597121.941 * * * * [misc]progress: [ 50 / 54 ] simplifiying candidate # 1546597121.941 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1546597121.941 * * [misc]simplify: iters left: 5 (5 enodes) 1546597121.942 * * [misc]simplify: iters left: 4 (9 enodes) 1546597121.944 * * [misc]simplify: iters left: 3 (14 enodes) 1546597121.946 * * [misc]simplify: iters left: 2 (16 enodes) 1546597121.948 * * [misc]simplify: iters left: 1 (18 enodes) 1546597121.950 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1546597121.950 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1546597121.950 * * * * [misc]progress: [ 51 / 54 ] simplifiying candidate # 1546597121.950 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1546597121.950 * * [misc]simplify: iters left: 5 (5 enodes) 1546597121.951 * * [misc]simplify: iters left: 4 (9 enodes) 1546597121.953 * * [misc]simplify: iters left: 3 (14 enodes) 1546597121.954 * * [misc]simplify: iters left: 2 (16 enodes) 1546597121.957 * * [misc]simplify: iters left: 1 (18 enodes) 1546597121.959 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1546597121.959 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1546597121.959 * * * * [misc]progress: [ 52 / 54 ] simplifiying candidate # 1546597121.959 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1546597121.959 * * [misc]simplify: iters left: 5 (5 enodes) 1546597121.960 * * [misc]simplify: iters left: 4 (9 enodes) 1546597121.962 * * [misc]simplify: iters left: 3 (14 enodes) 1546597121.963 * * [misc]simplify: iters left: 2 (16 enodes) 1546597121.965 * * [misc]simplify: iters left: 1 (18 enodes) 1546597121.968 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1546597121.968 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1546597121.968 * * * * [misc]progress: [ 53 / 54 ] simplifiying candidate # 1546597121.969 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1546597121.969 * * [misc]simplify: iters left: 5 (5 enodes) 1546597121.971 * * [misc]simplify: iters left: 4 (9 enodes) 1546597121.974 * * [misc]simplify: iters left: 3 (14 enodes) 1546597121.977 * * [misc]simplify: iters left: 2 (16 enodes) 1546597121.981 * * [misc]simplify: iters left: 1 (18 enodes) 1546597121.986 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1546597121.986 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1546597121.986 * * * * [misc]progress: [ 54 / 54 ] simplifiying candidate # 1546597121.986 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1546597121.986 * * [misc]simplify: iters left: 5 (5 enodes) 1546597121.988 * * [misc]simplify: iters left: 4 (9 enodes) 1546597121.991 * * [misc]simplify: iters left: 3 (14 enodes) 1546597121.994 * * [misc]simplify: iters left: 2 (16 enodes) 1546597121.998 * * [misc]simplify: iters left: 1 (18 enodes) 1546597122.003 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1546597122.003 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1546597122.003 * * * [misc]progress: adding candidates to table 1546597122.355 * [misc]progress: [Phase 3 of 3] Extracting. 1546597122.355 * * [misc]regime: Finding splitpoints for: (# # # # # # # #) 1546597122.356 * * * [misc]regime-changes: Trying 2 branch expressions: (a (/ a (- (acos a)))) 1546597122.356 * * * * [misc]regimes: Trying to branch on a from (# # # # # # # #) 1546597122.413 * * * * [misc]regimes: Trying to branch on (/ a (- (acos a))) from (# # # # # # # #) 1546597122.465 * * * [misc]regime: Found split indices: #