1545993420.511 * [misc]progress: [Phase 1 of 3] Setting up. 1545993420.511 * * * [misc]progress: [1/2] Preparing points 1545993420.511 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545993420.540 * * * * [misc]points: Filtering points with unrepresentable outputs 1545993420.540 * * * * [misc]points: Sampling 104 additional inputs, on iter 1 have 152 / 256 1545993420.557 * * * * [misc]points: Filtering points with unrepresentable outputs 1545993420.557 * * * * [misc]points: Sampling 51 additional inputs, on iter 2 have 205 / 256 1545993420.562 * * * * [misc]points: Filtering points with unrepresentable outputs 1545993420.562 * * * * [misc]points: Sampling 23 additional inputs, on iter 3 have 233 / 256 1545993420.564 * * * * [misc]points: Filtering points with unrepresentable outputs 1545993420.564 * * * * [misc]points: Sampling 8 additional inputs, on iter 4 have 248 / 256 1545993420.566 * * * * [misc]points: Filtering points with unrepresentable outputs 1545993420.566 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 253 / 256 1545993420.566 * * * * [misc]points: Filtering points with unrepresentable outputs 1545993420.566 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 255 / 256 1545993420.567 * * * * [misc]points: Filtering points with unrepresentable outputs 1545993420.567 * * * * [exit]points: Sampled 257 points with exact outputs 1545993420.567 * * * [misc]progress: [2/2] Setting up program. 1545993420.569 * [misc]progress: [Phase 2 of 3] Improving. 1545993420.569 * [enter]simplify: Simplifying (/ a (- (acos a))) 1545993420.569 * * [misc]simplify: iters left: 5 (4 enodes) 1545993420.570 * [exit]simplify: Simplified to (/ a (- (acos a))) 1545993420.574 * * [misc]progress: iteration 1 / 4 1545993420.574 * * * [misc]progress: picking best candidate 1545993420.576 * * * * [misc]pick: Picked # 1545993420.576 * * * [misc]progress: localizing error 1545993420.583 * * * [misc]progress: generating rewritten candidates 1545993420.583 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1545993420.584 * * * [misc]progress: generating series expansions 1545993420.584 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1545993420.585 * [misc]backup-simplify: Simplify (/ a (- (acos a))) into (* -1 (/ a (acos a))) 1545993420.585 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1545993420.585 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1545993420.585 * [misc]taylor: Taking taylor expansion of -1 in a 1545993420.585 * [misc]backup-simplify: Simplify -1 into -1 1545993420.585 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1545993420.585 * [misc]taylor: Taking taylor expansion of a in a 1545993420.585 * [misc]backup-simplify: Simplify 0 into 0 1545993420.585 * [misc]backup-simplify: Simplify 1 into 1 1545993420.585 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545993420.585 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545993420.585 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1545993420.585 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1545993420.585 * [misc]taylor: Taking taylor expansion of -1 in a 1545993420.585 * [misc]backup-simplify: Simplify -1 into -1 1545993420.585 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1545993420.585 * [misc]taylor: Taking taylor expansion of a in a 1545993420.585 * [misc]backup-simplify: Simplify 0 into 0 1545993420.585 * [misc]backup-simplify: Simplify 1 into 1 1545993420.585 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545993420.585 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545993420.585 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1545993420.585 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1545993420.585 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1545993420.585 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1545993420.586 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1545993420.586 * [misc]backup-simplify: Simplify 0 into 0 1545993420.586 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545993420.586 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1545993420.586 * [misc]backup-simplify: Simplify 0 into 0 1545993420.586 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545993420.587 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1545993420.587 * [misc]backup-simplify: Simplify 0 into 0 1545993420.587 * [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 1545993420.587 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1545993420.587 * [misc]backup-simplify: Simplify 0 into 0 1545993420.587 * [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 1545993420.588 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1545993420.588 * [misc]backup-simplify: Simplify 0 into 0 1545993420.588 * [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 1545993420.589 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1545993420.589 * [misc]backup-simplify: Simplify 0 into 0 1545993420.589 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1545993420.589 * [misc]backup-simplify: Simplify (/ (/ 1 a) (- (acos (/ 1 a)))) into (/ -1 (* a (acos (/ 1 a)))) 1545993420.589 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1545993420.589 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1545993420.589 * [misc]taylor: Taking taylor expansion of -1 in a 1545993420.589 * [misc]backup-simplify: Simplify -1 into -1 1545993420.589 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545993420.589 * [misc]taylor: Taking taylor expansion of a in a 1545993420.589 * [misc]backup-simplify: Simplify 0 into 0 1545993420.589 * [misc]backup-simplify: Simplify 1 into 1 1545993420.589 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545993420.589 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545993420.589 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545993420.589 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545993420.589 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545993420.589 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1545993420.589 * [misc]taylor: Taking taylor expansion of -1 in a 1545993420.589 * [misc]backup-simplify: Simplify -1 into -1 1545993420.589 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545993420.589 * [misc]taylor: Taking taylor expansion of a in a 1545993420.589 * [misc]backup-simplify: Simplify 0 into 0 1545993420.590 * [misc]backup-simplify: Simplify 1 into 1 1545993420.590 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545993420.590 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545993420.590 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545993420.590 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545993420.590 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545993420.590 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545993420.590 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1545993420.590 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1545993420.590 * [misc]backup-simplify: Simplify 0 into 0 1545993420.591 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1545993420.591 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545993420.591 * [misc]backup-simplify: Simplify 0 into 0 1545993420.591 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1545993420.591 * [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 1545993420.591 * [misc]backup-simplify: Simplify 0 into 0 1545993420.592 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1545993420.592 * [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 1545993420.592 * [misc]backup-simplify: Simplify 0 into 0 1545993420.593 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1545993420.593 * [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 1545993420.593 * [misc]backup-simplify: Simplify 0 into 0 1545993420.594 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1545993420.594 * [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 1545993420.594 * [misc]backup-simplify: Simplify 0 into 0 1545993420.594 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1545993420.594 * [misc]backup-simplify: Simplify (/ (/ 1 (- a)) (- (acos (/ 1 (- a))))) into (/ 1 (* a (acos (/ -1 a)))) 1545993420.594 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1545993420.594 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1545993420.594 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545993420.594 * [misc]taylor: Taking taylor expansion of a in a 1545993420.594 * [misc]backup-simplify: Simplify 0 into 0 1545993420.594 * [misc]backup-simplify: Simplify 1 into 1 1545993420.594 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545993420.594 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545993420.595 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545993420.595 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545993420.595 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545993420.595 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1545993420.595 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545993420.595 * [misc]taylor: Taking taylor expansion of a in a 1545993420.595 * [misc]backup-simplify: Simplify 0 into 0 1545993420.595 * [misc]backup-simplify: Simplify 1 into 1 1545993420.595 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545993420.595 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545993420.595 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545993420.595 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545993420.595 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545993420.595 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545993420.595 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1545993420.596 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1545993420.596 * [misc]backup-simplify: Simplify 0 into 0 1545993420.596 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1545993420.596 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545993420.596 * [misc]backup-simplify: Simplify 0 into 0 1545993420.596 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1545993420.597 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545993420.597 * [misc]backup-simplify: Simplify 0 into 0 1545993420.597 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1545993420.597 * [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 1545993420.597 * [misc]backup-simplify: Simplify 0 into 0 1545993420.598 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1545993420.598 * [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 1545993420.598 * [misc]backup-simplify: Simplify 0 into 0 1545993420.599 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1545993420.599 * [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 1545993420.599 * [misc]backup-simplify: Simplify 0 into 0 1545993420.599 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1545993420.600 * * * [misc]progress: simplifying candidates 1545993420.600 * * * * [misc]progress: [ 1 / 25 ] simplifiying candidate # 1545993420.600 * * * * [misc]progress: [ 2 / 25 ] simplifiying candidate # 1545993420.600 * * * * [misc]progress: [ 3 / 25 ] simplifiying candidate # 1545993420.600 * * * * [misc]progress: [ 4 / 25 ] simplifiying candidate # 1545993420.600 * * * * [misc]progress: [ 5 / 25 ] simplifiying candidate # 1545993420.600 * * * * [misc]progress: [ 6 / 25 ] simplifiying candidate # 1545993420.600 * * * * [misc]progress: [ 7 / 25 ] simplifiying candidate # 1545993420.600 * * * * [misc]progress: [ 8 / 25 ] simplifiying candidate # 1545993420.600 * * * * [misc]progress: [ 9 / 25 ] simplifiying candidate # 1545993420.600 * * * * [misc]progress: [ 10 / 25 ] simplifiying candidate # 1545993420.600 * * * * [misc]progress: [ 11 / 25 ] simplifiying candidate # 1545993420.600 * * * * [misc]progress: [ 12 / 25 ] simplifiying candidate # 1545993420.600 * * * * [misc]progress: [ 13 / 25 ] simplifiying candidate # 1545993420.600 * [enter]simplify: Simplifying (cbrt (- (acos a))) 1545993420.601 * * [misc]simplify: iters left: 4 (4 enodes) 1545993420.602 * [exit]simplify: Simplified to (cbrt (- (acos a))) 1545993420.602 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (cbrt (- (acos a))))) 1545993420.602 * * * * [misc]progress: [ 14 / 25 ] simplifiying candidate # 1545993420.602 * [enter]simplify: Simplifying (sqrt (- (acos a))) 1545993420.602 * * [misc]simplify: iters left: 4 (4 enodes) 1545993420.603 * [exit]simplify: Simplified to (sqrt (- (acos a))) 1545993420.603 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (sqrt (- (acos a)))) (sqrt (- (acos a))))) 1545993420.603 * * * * [misc]progress: [ 15 / 25 ] simplifiying candidate # 1545993420.604 * [enter]simplify: Simplifying (- (acos a)) 1545993420.604 * * [misc]simplify: iters left: 3 (3 enodes) 1545993420.605 * [exit]simplify: Simplified to (- (acos a)) 1545993420.605 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a 1) (- (acos a)))) 1545993420.605 * * * * [misc]progress: [ 16 / 25 ] simplifiying candidate # 1545993420.605 * [enter]simplify: Simplifying (acos a) 1545993420.605 * * [misc]simplify: iters left: 1 (2 enodes) 1545993420.606 * [exit]simplify: Simplified to (acos a) 1545993420.606 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a -1) (acos a))) 1545993420.606 * * * * [misc]progress: [ 17 / 25 ] simplifiying candidate # 1545993420.606 * [enter]simplify: Simplifying (cbrt (acos a)) 1545993420.606 * * [misc]simplify: iters left: 2 (3 enodes) 1545993420.607 * [exit]simplify: Simplified to (cbrt (acos a)) 1545993420.607 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (- (* (cbrt (acos a)) (cbrt (acos a))))) (cbrt (acos a)))) 1545993420.607 * * * * [misc]progress: [ 18 / 25 ] simplifiying candidate # 1545993420.607 * [enter]simplify: Simplifying (sqrt (acos a)) 1545993420.607 * * [misc]simplify: iters left: 2 (3 enodes) 1545993420.608 * [exit]simplify: Simplified to (sqrt (acos a)) 1545993420.608 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (- (sqrt (acos a)))) (sqrt (acos a)))) 1545993420.608 * * * * [misc]progress: [ 19 / 25 ] simplifiying candidate # 1545993420.608 * [enter]simplify: Simplifying (acos a) 1545993420.608 * * [misc]simplify: iters left: 1 (2 enodes) 1545993420.609 * [exit]simplify: Simplified to (acos a) 1545993420.609 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (- 1)) (acos a))) 1545993420.609 * * * * [misc]progress: [ 20 / 25 ] simplifiying candidate # 1545993420.609 * [enter]simplify: Simplifying (- (cbrt (acos a))) 1545993420.609 * * [misc]simplify: iters left: 4 (4 enodes) 1545993420.611 * [exit]simplify: Simplified to (- (cbrt (acos a))) 1545993420.611 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (* (cbrt (acos a)) (cbrt (acos a)))) (- (cbrt (acos a))))) 1545993420.611 * * * * [misc]progress: [ 21 / 25 ] simplifiying candidate # 1545993420.611 * [enter]simplify: Simplifying (- (sqrt (acos a))) 1545993420.611 * * [misc]simplify: iters left: 4 (4 enodes) 1545993420.612 * [exit]simplify: Simplified to (- (sqrt (acos a))) 1545993420.612 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (sqrt (acos a))) (- (sqrt (acos a))))) 1545993420.612 * * * * [misc]progress: [ 22 / 25 ] simplifiying candidate # 1545993420.612 * [enter]simplify: Simplifying (- (acos a)) 1545993420.612 * * [misc]simplify: iters left: 3 (3 enodes) 1545993420.613 * [exit]simplify: Simplified to (- (acos a)) 1545993420.613 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a 1) (- (acos a)))) 1545993420.613 * * * * [misc]progress: [ 23 / 25 ] simplifiying candidate # 1545993420.614 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545993420.614 * * [misc]simplify: iters left: 5 (5 enodes) 1545993420.615 * * [misc]simplify: iters left: 4 (9 enodes) 1545993420.618 * * [misc]simplify: iters left: 3 (14 enodes) 1545993420.622 * * [misc]simplify: iters left: 2 (16 enodes) 1545993420.625 * * [misc]simplify: iters left: 1 (18 enodes) 1545993420.630 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545993420.630 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545993420.630 * * * * [misc]progress: [ 24 / 25 ] simplifiying candidate # 1545993420.630 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545993420.630 * * [misc]simplify: iters left: 5 (5 enodes) 1545993420.632 * * [misc]simplify: iters left: 4 (9 enodes) 1545993420.635 * * [misc]simplify: iters left: 3 (14 enodes) 1545993420.638 * * [misc]simplify: iters left: 2 (16 enodes) 1545993420.642 * * [misc]simplify: iters left: 1 (18 enodes) 1545993420.647 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545993420.647 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545993420.647 * * * * [misc]progress: [ 25 / 25 ] simplifiying candidate # 1545993420.647 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545993420.647 * * [misc]simplify: iters left: 5 (5 enodes) 1545993420.649 * * [misc]simplify: iters left: 4 (9 enodes) 1545993420.651 * * [misc]simplify: iters left: 3 (14 enodes) 1545993420.655 * * [misc]simplify: iters left: 2 (16 enodes) 1545993420.658 * * [misc]simplify: iters left: 1 (18 enodes) 1545993420.673 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545993420.673 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545993420.673 * * * [misc]progress: adding candidates to table 1545993420.811 * * [misc]progress: iteration 2 / 4 1545993420.811 * * * [misc]progress: picking best candidate 1545993420.833 * * * * [misc]pick: Picked # 1545993420.833 * * * [misc]progress: localizing error 1545993420.844 * * * [misc]progress: generating rewritten candidates 1545993420.844 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1545993420.847 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1545993420.855 * * * [misc]progress: generating series expansions 1545993420.855 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1545993420.855 * [misc]backup-simplify: Simplify (/ 1 (/ (- (acos a)) a)) into (* -1 (/ a (acos a))) 1545993420.855 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1545993420.855 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1545993420.855 * [misc]taylor: Taking taylor expansion of -1 in a 1545993420.855 * [misc]backup-simplify: Simplify -1 into -1 1545993420.855 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1545993420.855 * [misc]taylor: Taking taylor expansion of a in a 1545993420.856 * [misc]backup-simplify: Simplify 0 into 0 1545993420.856 * [misc]backup-simplify: Simplify 1 into 1 1545993420.856 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545993420.856 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545993420.856 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1545993420.856 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1545993420.856 * [misc]taylor: Taking taylor expansion of -1 in a 1545993420.856 * [misc]backup-simplify: Simplify -1 into -1 1545993420.856 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1545993420.856 * [misc]taylor: Taking taylor expansion of a in a 1545993420.856 * [misc]backup-simplify: Simplify 0 into 0 1545993420.856 * [misc]backup-simplify: Simplify 1 into 1 1545993420.856 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545993420.856 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545993420.856 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1545993420.856 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1545993420.856 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1545993420.857 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1545993420.857 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1545993420.857 * [misc]backup-simplify: Simplify 0 into 0 1545993420.858 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545993420.858 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1545993420.858 * [misc]backup-simplify: Simplify 0 into 0 1545993420.858 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545993420.859 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1545993420.859 * [misc]backup-simplify: Simplify 0 into 0 1545993420.859 * [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 1545993420.860 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1545993420.860 * [misc]backup-simplify: Simplify 0 into 0 1545993420.860 * [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 1545993420.861 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1545993420.861 * [misc]backup-simplify: Simplify 0 into 0 1545993420.862 * [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 1545993420.863 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1545993420.863 * [misc]backup-simplify: Simplify 0 into 0 1545993420.863 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1545993420.863 * [misc]backup-simplify: Simplify (/ 1 (/ (- (acos (/ 1 a))) (/ 1 a))) into (/ -1 (* a (acos (/ 1 a)))) 1545993420.863 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1545993420.863 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1545993420.863 * [misc]taylor: Taking taylor expansion of -1 in a 1545993420.863 * [misc]backup-simplify: Simplify -1 into -1 1545993420.863 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545993420.863 * [misc]taylor: Taking taylor expansion of a in a 1545993420.863 * [misc]backup-simplify: Simplify 0 into 0 1545993420.863 * [misc]backup-simplify: Simplify 1 into 1 1545993420.863 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545993420.863 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545993420.863 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545993420.864 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545993420.864 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545993420.864 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1545993420.864 * [misc]taylor: Taking taylor expansion of -1 in a 1545993420.864 * [misc]backup-simplify: Simplify -1 into -1 1545993420.864 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545993420.864 * [misc]taylor: Taking taylor expansion of a in a 1545993420.864 * [misc]backup-simplify: Simplify 0 into 0 1545993420.864 * [misc]backup-simplify: Simplify 1 into 1 1545993420.864 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545993420.864 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545993420.864 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545993420.864 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545993420.865 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545993420.865 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545993420.865 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1545993420.865 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1545993420.865 * [misc]backup-simplify: Simplify 0 into 0 1545993420.866 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1545993420.866 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545993420.866 * [misc]backup-simplify: Simplify 0 into 0 1545993420.867 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1545993420.867 * [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 1545993420.867 * [misc]backup-simplify: Simplify 0 into 0 1545993420.868 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1545993420.869 * [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 1545993420.869 * [misc]backup-simplify: Simplify 0 into 0 1545993420.869 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1545993420.870 * [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 1545993420.870 * [misc]backup-simplify: Simplify 0 into 0 1545993420.871 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1545993420.871 * [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 1545993420.871 * [misc]backup-simplify: Simplify 0 into 0 1545993420.872 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1545993420.872 * [misc]backup-simplify: Simplify (/ 1 (/ (- (acos (/ 1 (- a)))) (/ 1 (- a)))) into (/ 1 (* a (acos (/ -1 a)))) 1545993420.872 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1545993420.872 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1545993420.872 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545993420.872 * [misc]taylor: Taking taylor expansion of a in a 1545993420.872 * [misc]backup-simplify: Simplify 0 into 0 1545993420.872 * [misc]backup-simplify: Simplify 1 into 1 1545993420.872 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545993420.872 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545993420.872 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545993420.872 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545993420.872 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545993420.872 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1545993420.872 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545993420.872 * [misc]taylor: Taking taylor expansion of a in a 1545993420.872 * [misc]backup-simplify: Simplify 0 into 0 1545993420.872 * [misc]backup-simplify: Simplify 1 into 1 1545993420.872 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545993420.872 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545993420.872 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545993420.872 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545993420.872 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545993420.873 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545993420.873 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1545993420.873 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1545993420.873 * [misc]backup-simplify: Simplify 0 into 0 1545993420.873 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1545993420.873 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545993420.873 * [misc]backup-simplify: Simplify 0 into 0 1545993420.874 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1545993420.874 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545993420.874 * [misc]backup-simplify: Simplify 0 into 0 1545993420.874 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1545993420.875 * [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 1545993420.875 * [misc]backup-simplify: Simplify 0 into 0 1545993420.875 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1545993420.876 * [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 1545993420.876 * [misc]backup-simplify: Simplify 0 into 0 1545993420.876 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1545993420.876 * [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 1545993420.876 * [misc]backup-simplify: Simplify 0 into 0 1545993420.877 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1545993420.877 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1545993420.877 * [misc]backup-simplify: Simplify (/ (- (acos a)) a) into (* -1 (/ (acos a) a)) 1545993420.877 * [misc]approximate: Taking taylor expansion of (* -1 (/ (acos a) a)) in (a) around 0 1545993420.877 * [misc]taylor: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 1545993420.877 * [misc]taylor: Taking taylor expansion of -1 in a 1545993420.877 * [misc]backup-simplify: Simplify -1 into -1 1545993420.877 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1545993420.877 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545993420.877 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545993420.877 * [misc]taylor: Taking taylor expansion of a in a 1545993420.877 * [misc]backup-simplify: Simplify 0 into 0 1545993420.877 * [misc]backup-simplify: Simplify 1 into 1 1545993420.877 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1545993420.877 * [misc]taylor: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 1545993420.877 * [misc]taylor: Taking taylor expansion of -1 in a 1545993420.877 * [misc]backup-simplify: Simplify -1 into -1 1545993420.877 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1545993420.877 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545993420.877 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545993420.877 * [misc]taylor: Taking taylor expansion of a in a 1545993420.877 * [misc]backup-simplify: Simplify 0 into 0 1545993420.877 * [misc]backup-simplify: Simplify 1 into 1 1545993420.877 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1545993420.877 * [misc]backup-simplify: Simplify (* -1 (acos a)) into (* -1 (acos a)) 1545993420.877 * [misc]backup-simplify: Simplify (* -1 (acos a)) into (* -1 (acos a)) 1545993420.877 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)))) into 0 1545993420.878 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (acos a))) into 0 1545993420.878 * [misc]backup-simplify: Simplify 0 into 0 1545993420.878 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545993420.878 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (acos a)))) into 0 1545993420.878 * [misc]backup-simplify: Simplify 0 into 0 1545993420.879 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545993420.879 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a))))) into 0 1545993420.879 * [misc]backup-simplify: Simplify 0 into 0 1545993420.879 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545993420.880 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a)))))) into 0 1545993420.880 * [misc]backup-simplify: Simplify 0 into 0 1545993420.880 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545993420.881 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a))))))) into 0 1545993420.881 * [misc]backup-simplify: Simplify 0 into 0 1545993420.881 * [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 1545993420.882 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a)))))))) into 0 1545993420.882 * [misc]backup-simplify: Simplify 0 into 0 1545993420.882 * [misc]backup-simplify: Simplify (* (* -1 (acos a)) (/ 1 a)) into (* -1 (/ (acos a) a)) 1545993420.882 * [misc]backup-simplify: Simplify (/ (- (acos (/ 1 a))) (/ 1 a)) into (* -1 (* a (acos (/ 1 a)))) 1545993420.882 * [misc]approximate: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in (a) around 0 1545993420.882 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in a 1545993420.882 * [misc]taylor: Taking taylor expansion of -1 in a 1545993420.882 * [misc]backup-simplify: Simplify -1 into -1 1545993420.882 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545993420.882 * [misc]taylor: Taking taylor expansion of a in a 1545993420.882 * [misc]backup-simplify: Simplify 0 into 0 1545993420.882 * [misc]backup-simplify: Simplify 1 into 1 1545993420.882 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545993420.882 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545993420.882 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in a 1545993420.882 * [misc]taylor: Taking taylor expansion of -1 in a 1545993420.882 * [misc]backup-simplify: Simplify -1 into -1 1545993420.882 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545993420.882 * [misc]taylor: Taking taylor expansion of a in a 1545993420.882 * [misc]backup-simplify: Simplify 0 into 0 1545993420.882 * [misc]backup-simplify: Simplify 1 into 1 1545993420.882 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545993420.882 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545993420.883 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545993420.883 * [misc]backup-simplify: Simplify (* -1 0) into 0 1545993420.883 * [misc]backup-simplify: Simplify 0 into 0 1545993420.883 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545993420.883 * [misc]backup-simplify: Simplify (+ (* -1 (acos (/ 1 a))) (* 0 0)) into (- (acos (/ 1 a))) 1545993420.883 * [misc]backup-simplify: Simplify (- (acos (/ 1 a))) into (- (acos (/ 1 a))) 1545993420.883 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1545993420.884 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))) into 0 1545993420.884 * [misc]backup-simplify: Simplify 0 into 0 1545993420.884 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1545993420.884 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))) into 0 1545993420.884 * [misc]backup-simplify: Simplify 0 into 0 1545993420.885 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1545993420.885 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))))) into 0 1545993420.885 * [misc]backup-simplify: Simplify 0 into 0 1545993420.885 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1545993420.886 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))))) into 0 1545993420.886 * [misc]backup-simplify: Simplify 0 into 0 1545993420.886 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1545993420.887 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))))))) into 0 1545993420.887 * [misc]backup-simplify: Simplify 0 into 0 1545993420.888 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1545993420.888 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))))))) into 0 1545993420.888 * [misc]backup-simplify: Simplify 0 into 0 1545993420.888 * [misc]backup-simplify: Simplify (* (- (acos (/ 1 (/ 1 a)))) (/ 1 a)) into (* -1 (/ (acos a) a)) 1545993420.888 * [misc]backup-simplify: Simplify (/ (- (acos (/ 1 (- a)))) (/ 1 (- a))) into (* a (acos (/ -1 a))) 1545993420.888 * [misc]approximate: Taking taylor expansion of (* a (acos (/ -1 a))) in (a) around 0 1545993420.888 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545993420.889 * [misc]taylor: Taking taylor expansion of a in a 1545993420.889 * [misc]backup-simplify: Simplify 0 into 0 1545993420.889 * [misc]backup-simplify: Simplify 1 into 1 1545993420.889 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545993420.889 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545993420.889 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545993420.889 * [misc]taylor: Taking taylor expansion of a in a 1545993420.889 * [misc]backup-simplify: Simplify 0 into 0 1545993420.889 * [misc]backup-simplify: Simplify 1 into 1 1545993420.889 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545993420.889 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545993420.889 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545993420.889 * [misc]backup-simplify: Simplify 0 into 0 1545993420.889 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545993420.889 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545993420.889 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1545993420.889 * [misc]backup-simplify: Simplify 0 into 0 1545993420.890 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1545993420.890 * [misc]backup-simplify: Simplify 0 into 0 1545993420.890 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1545993420.890 * [misc]backup-simplify: Simplify 0 into 0 1545993420.891 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1545993420.891 * [misc]backup-simplify: Simplify 0 into 0 1545993420.891 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1545993420.891 * [misc]backup-simplify: Simplify 0 into 0 1545993420.892 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1545993420.892 * [misc]backup-simplify: Simplify 0 into 0 1545993420.892 * [misc]backup-simplify: Simplify (* (acos (/ -1 (/ 1 (- a)))) (/ 1 (- a))) into (* -1 (/ (acos a) a)) 1545993420.892 * * * [misc]progress: simplifying candidates 1545993420.892 * * * * [misc]progress: [ 1 / 50 ] simplifiying candidate # 1545993420.892 * * * * [misc]progress: [ 2 / 50 ] simplifiying candidate # 1545993420.892 * * * * [misc]progress: [ 3 / 50 ] simplifiying candidate # 1545993420.892 * * * * [misc]progress: [ 4 / 50 ] simplifiying candidate # 1545993420.892 * [enter]simplify: Simplifying (- 1) 1545993420.892 * * [misc]simplify: iters left: 2 (2 enodes) 1545993420.893 * * [misc]simplify: iters left: 1 (5 enodes) 1545993420.893 * [exit]simplify: Simplified to -1 1545993420.893 * [misc]simplify: Simplified (2 2) to (λ (a) (pow (/ (- (acos a)) a) -1)) 1545993420.894 * * * * [misc]progress: [ 5 / 50 ] simplifiying candidate # 1545993420.894 * * * * [misc]progress: [ 6 / 50 ] simplifiying candidate # 1545993420.894 * * * * [misc]progress: [ 7 / 50 ] simplifiying candidate # 1545993420.894 * * * * [misc]progress: [ 8 / 50 ] simplifiying candidate # 1545993420.894 * * * * [misc]progress: [ 9 / 50 ] simplifiying candidate # 1545993420.894 * * * * [misc]progress: [ 10 / 50 ] simplifiying candidate # 1545993420.894 * * * * [misc]progress: [ 11 / 50 ] simplifiying candidate # 1545993420.894 * * * * [misc]progress: [ 12 / 50 ] simplifiying candidate # 1545993420.894 * * * * [misc]progress: [ 13 / 50 ] simplifiying candidate # 1545993420.894 * * * * [misc]progress: [ 14 / 50 ] simplifiying candidate # 1545993420.894 * * * * [misc]progress: [ 15 / 50 ] simplifiying candidate # 1545993420.894 * * * * [misc]progress: [ 16 / 50 ] simplifiying candidate # 1545993420.894 * [enter]simplify: Simplifying (cbrt (/ (- (acos a)) a)) 1545993420.894 * * [misc]simplify: iters left: 6 (5 enodes) 1545993420.895 * * [misc]simplify: iters left: 5 (7 enodes) 1545993420.896 * [exit]simplify: Simplified to (cbrt (- (/ (acos a) a))) 1545993420.896 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (* (cbrt (/ (- (acos a)) a)) (cbrt (/ (- (acos a)) a)))) (cbrt (- (/ (acos a) a))))) 1545993420.896 * * * * [misc]progress: [ 17 / 50 ] simplifiying candidate # 1545993420.896 * [enter]simplify: Simplifying (sqrt (/ (- (acos a)) a)) 1545993420.896 * * [misc]simplify: iters left: 6 (5 enodes) 1545993420.897 * * [misc]simplify: iters left: 5 (7 enodes) 1545993420.898 * [exit]simplify: Simplified to (sqrt (- (/ (acos a) a))) 1545993420.898 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (sqrt (/ (- (acos a)) a))) (sqrt (- (/ (acos a) a))))) 1545993420.898 * * * * [misc]progress: [ 18 / 50 ] simplifiying candidate # 1545993420.898 * [enter]simplify: Simplifying (/ (- (acos a)) a) 1545993420.898 * * [misc]simplify: iters left: 5 (4 enodes) 1545993420.899 * * [misc]simplify: iters left: 4 (6 enodes) 1545993420.900 * [exit]simplify: Simplified to (- (/ (acos a) a)) 1545993420.900 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 1) (- (/ (acos a) a)))) 1545993420.900 * * * * [misc]progress: [ 19 / 50 ] simplifiying candidate # 1545993420.900 * [enter]simplify: Simplifying (/ 1 a) 1545993420.900 * * [misc]simplify: iters left: 2 (3 enodes) 1545993420.901 * * [misc]simplify: iters left: 1 (5 enodes) 1545993420.902 * [exit]simplify: Simplified to (/ 1 a) 1545993420.902 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (- (acos a))) (/ 1 a))) 1545993420.902 * * * * [misc]progress: [ 20 / 50 ] simplifiying candidate # 1545993420.902 * * * * [misc]progress: [ 21 / 50 ] simplifiying candidate # 1545993420.902 * * * * [misc]progress: [ 22 / 50 ] simplifiying candidate # 1545993420.902 * * * * [misc]progress: [ 23 / 50 ] simplifiying candidate # 1545993420.903 * * * * [misc]progress: [ 24 / 50 ] simplifiying candidate # 1545993420.903 * * * * [misc]progress: [ 25 / 50 ] simplifiying candidate # 1545993420.903 * * * * [misc]progress: [ 26 / 50 ] simplifiying candidate # 1545993420.903 * * * * [misc]progress: [ 27 / 50 ] simplifiying candidate # 1545993420.903 * * * * [misc]progress: [ 28 / 50 ] simplifiying candidate # 1545993420.903 * * * * [misc]progress: [ 29 / 50 ] simplifiying candidate # 1545993420.903 * * * * [misc]progress: [ 30 / 50 ] simplifiying candidate # 1545993420.903 * [enter]simplify: Simplifying (/ 0 a) 1545993420.903 * * [misc]simplify: iters left: 2 (3 enodes) 1545993420.904 * [exit]simplify: Simplified to 0 1545993420.904 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (- 0 (/ (acos a) a)))) 1545993420.904 * * * * [misc]progress: [ 31 / 50 ] simplifiying candidate # 1545993420.904 * * * * [misc]progress: [ 32 / 50 ] simplifiying candidate # 1545993420.904 * * * * [misc]progress: [ 33 / 50 ] simplifiying candidate # 1545993420.904 * * * * [misc]progress: [ 34 / 50 ] simplifiying candidate # 1545993420.905 * [enter]simplify: Simplifying (/ (acos a) a) 1545993420.905 * * [misc]simplify: iters left: 3 (3 enodes) 1545993420.906 * [exit]simplify: Simplified to (/ (acos a) a) 1545993420.906 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (- (/ (acos a) a)))) 1545993420.906 * * * * [misc]progress: [ 35 / 50 ] simplifiying candidate # 1545993420.906 * [enter]simplify: Simplifying (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1545993420.906 * * [misc]simplify: iters left: 6 (5 enodes) 1545993420.908 * [exit]simplify: Simplified to (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1545993420.908 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (/ a (cbrt (- (acos a))))))) 1545993420.908 * * * * [misc]progress: [ 36 / 50 ] simplifiying candidate # 1545993420.908 * [enter]simplify: Simplifying (sqrt (- (acos a))) 1545993420.908 * * [misc]simplify: iters left: 4 (4 enodes) 1545993420.909 * [exit]simplify: Simplified to (sqrt (- (acos a))) 1545993420.910 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (sqrt (- (acos a))) (/ a (sqrt (- (acos a))))))) 1545993420.910 * * * * [misc]progress: [ 37 / 50 ] simplifiying candidate # 1545993420.910 * * * * [misc]progress: [ 38 / 50 ] simplifiying candidate # 1545993420.910 * * * * [misc]progress: [ 39 / 50 ] simplifiying candidate # 1545993420.910 * [enter]simplify: Simplifying (- (* (cbrt (acos a)) (cbrt (acos a)))) 1545993420.910 * * [misc]simplify: iters left: 6 (5 enodes) 1545993420.912 * * [misc]simplify: iters left: 5 (8 enodes) 1545993420.914 * [exit]simplify: Simplified to (* (cbrt (acos a)) (- (cbrt (acos a)))) 1545993420.914 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (* (cbrt (acos a)) (- (cbrt (acos a)))) (/ a (cbrt (acos a)))))) 1545993420.914 * * * * [misc]progress: [ 40 / 50 ] simplifiying candidate # 1545993420.914 * [enter]simplify: Simplifying (- (sqrt (acos a))) 1545993420.915 * * [misc]simplify: iters left: 4 (4 enodes) 1545993420.915 * [exit]simplify: Simplified to (- (sqrt (acos a))) 1545993420.915 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (- (sqrt (acos a))) (/ a (sqrt (acos a)))))) 1545993420.915 * * * * [misc]progress: [ 41 / 50 ] simplifiying candidate # 1545993420.916 * [enter]simplify: Simplifying (- 1) 1545993420.916 * * [misc]simplify: iters left: 2 (2 enodes) 1545993420.916 * * [misc]simplify: iters left: 1 (5 enodes) 1545993420.917 * [exit]simplify: Simplified to -1 1545993420.917 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ -1 (/ a (acos a))))) 1545993420.917 * * * * [misc]progress: [ 42 / 50 ] simplifiying candidate # 1545993420.917 * [enter]simplify: Simplifying (* (cbrt (acos a)) (cbrt (acos a))) 1545993420.917 * * [misc]simplify: iters left: 4 (4 enodes) 1545993420.918 * [exit]simplify: Simplified to (* (cbrt (acos a)) (cbrt (acos a))) 1545993420.918 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (/ a (- (cbrt (acos a))))))) 1545993420.918 * * * * [misc]progress: [ 43 / 50 ] simplifiying candidate # 1545993420.918 * [enter]simplify: Simplifying (sqrt (acos a)) 1545993420.918 * * [misc]simplify: iters left: 2 (3 enodes) 1545993420.918 * [exit]simplify: Simplified to (sqrt (acos a)) 1545993420.918 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (sqrt (acos a)) (/ a (- (sqrt (acos a))))))) 1545993420.918 * * * * [misc]progress: [ 44 / 50 ] simplifiying candidate # 1545993420.918 * * * * [misc]progress: [ 45 / 50 ] simplifiying candidate # 1545993420.919 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545993420.919 * * [misc]simplify: iters left: 5 (5 enodes) 1545993420.919 * * [misc]simplify: iters left: 4 (9 enodes) 1545993420.921 * * [misc]simplify: iters left: 3 (14 enodes) 1545993420.922 * * [misc]simplify: iters left: 2 (16 enodes) 1545993420.924 * * [misc]simplify: iters left: 1 (18 enodes) 1545993420.926 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545993420.926 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545993420.927 * * * * [misc]progress: [ 46 / 50 ] simplifiying candidate # 1545993420.927 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545993420.927 * * [misc]simplify: iters left: 5 (5 enodes) 1545993420.929 * * [misc]simplify: iters left: 4 (9 enodes) 1545993420.931 * * [misc]simplify: iters left: 3 (14 enodes) 1545993420.932 * * [misc]simplify: iters left: 2 (16 enodes) 1545993420.934 * * [misc]simplify: iters left: 1 (18 enodes) 1545993420.936 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545993420.936 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545993420.936 * * * * [misc]progress: [ 47 / 50 ] simplifiying candidate # 1545993420.936 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545993420.937 * * [misc]simplify: iters left: 5 (5 enodes) 1545993420.937 * * [misc]simplify: iters left: 4 (9 enodes) 1545993420.939 * * [misc]simplify: iters left: 3 (14 enodes) 1545993420.940 * * [misc]simplify: iters left: 2 (16 enodes) 1545993420.942 * * [misc]simplify: iters left: 1 (18 enodes) 1545993420.944 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545993420.944 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545993420.944 * * * * [misc]progress: [ 48 / 50 ] simplifiying candidate # 1545993420.944 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1545993420.944 * * [misc]simplify: iters left: 5 (5 enodes) 1545993420.945 * * [misc]simplify: iters left: 4 (9 enodes) 1545993420.946 * * [misc]simplify: iters left: 3 (14 enodes) 1545993420.948 * * [misc]simplify: iters left: 2 (16 enodes) 1545993420.950 * * [misc]simplify: iters left: 1 (18 enodes) 1545993420.952 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1545993420.952 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1545993420.952 * * * * [misc]progress: [ 49 / 50 ] simplifiying candidate # 1545993420.952 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1545993420.952 * * [misc]simplify: iters left: 5 (5 enodes) 1545993420.953 * * [misc]simplify: iters left: 4 (9 enodes) 1545993420.954 * * [misc]simplify: iters left: 3 (14 enodes) 1545993420.956 * * [misc]simplify: iters left: 2 (16 enodes) 1545993420.958 * * [misc]simplify: iters left: 1 (18 enodes) 1545993420.960 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1545993420.960 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1545993420.960 * * * * [misc]progress: [ 50 / 50 ] simplifiying candidate # 1545993420.960 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1545993420.960 * * [misc]simplify: iters left: 5 (5 enodes) 1545993420.961 * * [misc]simplify: iters left: 4 (9 enodes) 1545993420.962 * * [misc]simplify: iters left: 3 (14 enodes) 1545993420.964 * * [misc]simplify: iters left: 2 (16 enodes) 1545993420.966 * * [misc]simplify: iters left: 1 (18 enodes) 1545993420.968 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1545993420.968 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1545993420.968 * * * [misc]progress: adding candidates to table 1545993421.354 * * [misc]progress: iteration 3 / 4 1545993421.354 * * * [misc]progress: picking best candidate 1545993421.380 * * * * [misc]pick: Picked # 1545993421.380 * * * [misc]progress: localizing error 1545993421.395 * * * [misc]progress: generating rewritten candidates 1545993421.395 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1545993421.402 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1545993421.406 * * * [misc]progress: generating series expansions 1545993421.406 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1545993421.406 * [misc]backup-simplify: Simplify (/ (/ 1 (- (acos a))) (/ 1 a)) into (* -1 (/ a (acos a))) 1545993421.406 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1545993421.406 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1545993421.407 * [misc]taylor: Taking taylor expansion of -1 in a 1545993421.407 * [misc]backup-simplify: Simplify -1 into -1 1545993421.407 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1545993421.407 * [misc]taylor: Taking taylor expansion of a in a 1545993421.407 * [misc]backup-simplify: Simplify 0 into 0 1545993421.407 * [misc]backup-simplify: Simplify 1 into 1 1545993421.407 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545993421.407 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545993421.407 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1545993421.407 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1545993421.407 * [misc]taylor: Taking taylor expansion of -1 in a 1545993421.407 * [misc]backup-simplify: Simplify -1 into -1 1545993421.407 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1545993421.407 * [misc]taylor: Taking taylor expansion of a in a 1545993421.407 * [misc]backup-simplify: Simplify 0 into 0 1545993421.407 * [misc]backup-simplify: Simplify 1 into 1 1545993421.407 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545993421.407 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545993421.407 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1545993421.407 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1545993421.407 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1545993421.408 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1545993421.408 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1545993421.408 * [misc]backup-simplify: Simplify 0 into 0 1545993421.408 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545993421.409 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1545993421.409 * [misc]backup-simplify: Simplify 0 into 0 1545993421.409 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545993421.410 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1545993421.410 * [misc]backup-simplify: Simplify 0 into 0 1545993421.410 * [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 1545993421.411 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1545993421.411 * [misc]backup-simplify: Simplify 0 into 0 1545993421.411 * [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 1545993421.412 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1545993421.412 * [misc]backup-simplify: Simplify 0 into 0 1545993421.412 * [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 1545993421.413 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1545993421.413 * [misc]backup-simplify: Simplify 0 into 0 1545993421.413 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1545993421.413 * [misc]backup-simplify: Simplify (/ (/ 1 (- (acos (/ 1 a)))) (/ 1 (/ 1 a))) into (/ -1 (* a (acos (/ 1 a)))) 1545993421.413 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1545993421.413 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1545993421.413 * [misc]taylor: Taking taylor expansion of -1 in a 1545993421.413 * [misc]backup-simplify: Simplify -1 into -1 1545993421.414 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545993421.414 * [misc]taylor: Taking taylor expansion of a in a 1545993421.414 * [misc]backup-simplify: Simplify 0 into 0 1545993421.414 * [misc]backup-simplify: Simplify 1 into 1 1545993421.414 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545993421.414 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545993421.414 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545993421.414 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545993421.414 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545993421.414 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1545993421.414 * [misc]taylor: Taking taylor expansion of -1 in a 1545993421.414 * [misc]backup-simplify: Simplify -1 into -1 1545993421.414 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545993421.414 * [misc]taylor: Taking taylor expansion of a in a 1545993421.414 * [misc]backup-simplify: Simplify 0 into 0 1545993421.414 * [misc]backup-simplify: Simplify 1 into 1 1545993421.414 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545993421.414 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545993421.414 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545993421.415 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545993421.415 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545993421.415 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545993421.415 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1545993421.416 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1545993421.416 * [misc]backup-simplify: Simplify 0 into 0 1545993421.416 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1545993421.416 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545993421.417 * [misc]backup-simplify: Simplify 0 into 0 1545993421.417 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1545993421.418 * [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 1545993421.418 * [misc]backup-simplify: Simplify 0 into 0 1545993421.418 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1545993421.419 * [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 1545993421.419 * [misc]backup-simplify: Simplify 0 into 0 1545993421.420 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1545993421.420 * [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 1545993421.420 * [misc]backup-simplify: Simplify 0 into 0 1545993421.421 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1545993421.422 * [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 1545993421.422 * [misc]backup-simplify: Simplify 0 into 0 1545993421.422 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1545993421.422 * [misc]backup-simplify: Simplify (/ (/ 1 (- (acos (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (/ 1 (* a (acos (/ -1 a)))) 1545993421.422 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1545993421.422 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1545993421.422 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545993421.422 * [misc]taylor: Taking taylor expansion of a in a 1545993421.422 * [misc]backup-simplify: Simplify 0 into 0 1545993421.422 * [misc]backup-simplify: Simplify 1 into 1 1545993421.422 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545993421.423 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545993421.423 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545993421.423 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545993421.423 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545993421.423 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1545993421.423 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545993421.423 * [misc]taylor: Taking taylor expansion of a in a 1545993421.423 * [misc]backup-simplify: Simplify 0 into 0 1545993421.423 * [misc]backup-simplify: Simplify 1 into 1 1545993421.423 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545993421.423 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545993421.423 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545993421.424 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545993421.424 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545993421.424 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545993421.424 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1545993421.425 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1545993421.425 * [misc]backup-simplify: Simplify 0 into 0 1545993421.425 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1545993421.425 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545993421.425 * [misc]backup-simplify: Simplify 0 into 0 1545993421.426 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1545993421.426 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545993421.426 * [misc]backup-simplify: Simplify 0 into 0 1545993421.427 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1545993421.428 * [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 1545993421.428 * [misc]backup-simplify: Simplify 0 into 0 1545993421.428 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1545993421.429 * [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 1545993421.429 * [misc]backup-simplify: Simplify 0 into 0 1545993421.430 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1545993421.430 * [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 1545993421.430 * [misc]backup-simplify: Simplify 0 into 0 1545993421.431 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1545993421.431 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1545993421.431 * [misc]backup-simplify: Simplify (/ 1 (- (acos a))) into (/ -1 (acos a)) 1545993421.431 * [misc]approximate: Taking taylor expansion of (/ -1 (acos a)) in (a) around 0 1545993421.431 * [misc]taylor: Taking taylor expansion of (/ -1 (acos a)) in a 1545993421.431 * [misc]taylor: Taking taylor expansion of -1 in a 1545993421.431 * [misc]backup-simplify: Simplify -1 into -1 1545993421.431 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545993421.431 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545993421.431 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1545993421.431 * [misc]taylor: Taking taylor expansion of (/ -1 (acos a)) in a 1545993421.431 * [misc]taylor: Taking taylor expansion of -1 in a 1545993421.431 * [misc]backup-simplify: Simplify -1 into -1 1545993421.431 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545993421.431 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545993421.431 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1545993421.431 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1545993421.431 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))))) into 0 1545993421.431 * [misc]backup-simplify: Simplify 0 into 0 1545993421.432 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545993421.432 * [misc]backup-simplify: Simplify 0 into 0 1545993421.432 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545993421.432 * [misc]backup-simplify: Simplify 0 into 0 1545993421.432 * [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 1545993421.432 * [misc]backup-simplify: Simplify 0 into 0 1545993421.433 * [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 1545993421.433 * [misc]backup-simplify: Simplify 0 into 0 1545993421.433 * [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 1545993421.433 * [misc]backup-simplify: Simplify 0 into 0 1545993421.433 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1545993421.433 * [misc]backup-simplify: Simplify (/ 1 (- (acos (/ 1 a)))) into (/ -1 (acos (/ 1 a))) 1545993421.433 * [misc]approximate: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in (a) around 0 1545993421.433 * [misc]taylor: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in a 1545993421.434 * [misc]taylor: Taking taylor expansion of -1 in a 1545993421.434 * [misc]backup-simplify: Simplify -1 into -1 1545993421.434 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545993421.434 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545993421.434 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545993421.434 * [misc]taylor: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in a 1545993421.434 * [misc]taylor: Taking taylor expansion of -1 in a 1545993421.434 * [misc]backup-simplify: Simplify -1 into -1 1545993421.434 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545993421.434 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545993421.434 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545993421.434 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545993421.435 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1545993421.435 * [misc]backup-simplify: Simplify 0 into 0 1545993421.435 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545993421.435 * [misc]backup-simplify: Simplify 0 into 0 1545993421.435 * [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 1545993421.435 * [misc]backup-simplify: Simplify 0 into 0 1545993421.436 * [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 1545993421.436 * [misc]backup-simplify: Simplify 0 into 0 1545993421.436 * [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 1545993421.436 * [misc]backup-simplify: Simplify 0 into 0 1545993421.437 * [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 1545993421.437 * [misc]backup-simplify: Simplify 0 into 0 1545993421.437 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 (/ 1 a)))) into (/ -1 (acos a)) 1545993421.437 * [misc]backup-simplify: Simplify (/ 1 (- (acos (/ 1 (- a))))) into (/ -1 (acos (/ -1 a))) 1545993421.437 * [misc]approximate: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in (a) around 0 1545993421.437 * [misc]taylor: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in a 1545993421.437 * [misc]taylor: Taking taylor expansion of -1 in a 1545993421.437 * [misc]backup-simplify: Simplify -1 into -1 1545993421.437 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545993421.437 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545993421.437 * [misc]backup-simplify: Simplify (/ -1 (acos (/ -1 a))) into (/ -1 (acos (/ -1 a))) 1545993421.437 * [misc]taylor: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in a 1545993421.437 * [misc]taylor: Taking taylor expansion of -1 in a 1545993421.437 * [misc]backup-simplify: Simplify -1 into -1 1545993421.437 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545993421.437 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545993421.438 * [misc]backup-simplify: Simplify (/ -1 (acos (/ -1 a))) into (/ -1 (acos (/ -1 a))) 1545993421.438 * [misc]backup-simplify: Simplify (/ -1 (acos (/ -1 a))) into (/ -1 (acos (/ -1 a))) 1545993421.438 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ -1 a))) (+ (* (/ -1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1545993421.438 * [misc]backup-simplify: Simplify 0 into 0 1545993421.438 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ -1 a))) (+ (* (/ -1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545993421.438 * [misc]backup-simplify: Simplify 0 into 0 1545993421.439 * [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 1545993421.439 * [misc]backup-simplify: Simplify 0 into 0 1545993421.439 * [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 1545993421.439 * [misc]backup-simplify: Simplify 0 into 0 1545993421.440 * [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 1545993421.440 * [misc]backup-simplify: Simplify 0 into 0 1545993421.440 * [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 1545993421.440 * [misc]backup-simplify: Simplify 0 into 0 1545993421.440 * [misc]backup-simplify: Simplify (/ -1 (acos (/ -1 (/ 1 (- a))))) into (/ -1 (acos a)) 1545993421.440 * * * [misc]progress: simplifying candidates 1545993421.440 * * * * [misc]progress: [ 1 / 72 ] simplifiying candidate # 1545993421.440 * * * * [misc]progress: [ 2 / 72 ] simplifiying candidate # 1545993421.440 * * * * [misc]progress: [ 3 / 72 ] simplifiying candidate # 1545993421.440 * * * * [misc]progress: [ 4 / 72 ] simplifiying candidate # 1545993421.441 * [enter]simplify: Simplifying (- (- (log (- (acos a)))) (log (/ 1 a))) 1545993421.441 * * [misc]simplify: iters left: 6 (9 enodes) 1545993421.445 * * [misc]simplify: iters left: 5 (17 enodes) 1545993421.448 * * [misc]simplify: iters left: 4 (20 enodes) 1545993421.453 * * [misc]simplify: iters left: 3 (23 enodes) 1545993421.458 * * [misc]simplify: iters left: 2 (29 enodes) 1545993421.466 * * [misc]simplify: iters left: 1 (43 enodes) 1545993421.478 * [exit]simplify: Simplified to (- (log a) (log (- (acos a)))) 1545993421.478 * [misc]simplify: Simplified (2 1) to (λ (a) (exp (- (log a) (log (- (acos a)))))) 1545993421.478 * * * * [misc]progress: [ 5 / 72 ] simplifiying candidate # 1545993421.479 * [enter]simplify: Simplifying (- (log (/ 1 (- (acos a)))) (log (/ 1 a))) 1545993421.479 * * [misc]simplify: iters left: 6 (9 enodes) 1545993421.481 * * [misc]simplify: iters left: 5 (20 enodes) 1545993421.483 * * [misc]simplify: iters left: 4 (23 enodes) 1545993421.489 * * [misc]simplify: iters left: 3 (31 enodes) 1545993421.493 * * [misc]simplify: iters left: 2 (41 enodes) 1545993421.512 * * [misc]simplify: iters left: 1 (86 enodes) 1545993421.534 * [exit]simplify: Simplified to (- (log a) (log (- (acos a)))) 1545993421.534 * [misc]simplify: Simplified (2 1) to (λ (a) (exp (- (log a) (log (- (acos a)))))) 1545993421.534 * * * * [misc]progress: [ 6 / 72 ] simplifiying candidate # 1545993421.534 * * * * [misc]progress: [ 7 / 72 ] simplifiying candidate # 1545993421.534 * * * * [misc]progress: [ 8 / 72 ] simplifiying candidate # 1545993421.534 * [enter]simplify: Simplifying (/ (* (* (/ 1 (- (acos a))) (/ 1 (- (acos a)))) (/ 1 (- (acos a)))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a))) 1545993421.534 * * [misc]simplify: iters left: 6 (11 enodes) 1545993421.536 * * [misc]simplify: iters left: 5 (34 enodes) 1545993421.544 * * [misc]simplify: iters left: 4 (100 enodes) 1545993421.617 * * [misc]simplify: iters left: 3 (414 enodes) 1545993422.601 * [exit]simplify: Simplified to (pow (/ a (- (acos a))) 3) 1545993422.601 * [misc]simplify: Simplified (2 1) to (λ (a) (cbrt (pow (/ a (- (acos a))) 3))) 1545993422.601 * * * * [misc]progress: [ 9 / 72 ] simplifiying candidate # 1545993422.601 * * * * [misc]progress: [ 10 / 72 ] simplifiying candidate # 1545993422.601 * * * * [misc]progress: [ 11 / 72 ] simplifiying candidate # 1545993422.601 * * * * [misc]progress: [ 12 / 72 ] simplifiying candidate # 1545993422.601 * * * * [misc]progress: [ 13 / 72 ] simplifiying candidate # 1545993422.601 * [enter]simplify: Simplifying (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1545993422.601 * * [misc]simplify: iters left: 6 (11 enodes) 1545993422.603 * * [misc]simplify: iters left: 5 (19 enodes) 1545993422.606 * * [misc]simplify: iters left: 4 (28 enodes) 1545993422.610 * * [misc]simplify: iters left: 3 (31 enodes) 1545993422.614 * * [misc]simplify: iters left: 2 (34 enodes) 1545993422.622 * [exit]simplify: Simplified to (* (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a)))) 1545993422.623 * [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))))) 1545993422.623 * [enter]simplify: Simplifying (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) 1545993422.623 * * [misc]simplify: iters left: 6 (9 enodes) 1545993422.624 * * [misc]simplify: iters left: 5 (11 enodes) 1545993422.625 * [exit]simplify: Simplified to (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) 1545993422.625 * [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))))) 1545993422.626 * * * * [misc]progress: [ 14 / 72 ] simplifiying candidate # 1545993422.626 * [enter]simplify: Simplifying (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (sqrt (/ 1 a))) 1545993422.626 * * [misc]simplify: iters left: 6 (10 enodes) 1545993422.627 * * [misc]simplify: iters left: 5 (14 enodes) 1545993422.629 * * [misc]simplify: iters left: 4 (16 enodes) 1545993422.631 * * [misc]simplify: iters left: 3 (17 enodes) 1545993422.634 * [exit]simplify: Simplified to (* (/ (cbrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) (cbrt (/ 1 (- (acos a))))) 1545993422.634 * [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))))) 1545993422.634 * [enter]simplify: Simplifying (/ (cbrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1545993422.634 * * [misc]simplify: iters left: 6 (9 enodes) 1545993422.635 * * [misc]simplify: iters left: 5 (11 enodes) 1545993422.637 * [exit]simplify: Simplified to (/ (cbrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1545993422.637 * [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))))) 1545993422.637 * * * * [misc]progress: [ 15 / 72 ] simplifiying candidate # 1545993422.637 * [enter]simplify: Simplifying (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1) 1545993422.637 * * [misc]simplify: iters left: 6 (8 enodes) 1545993422.639 * * [misc]simplify: iters left: 5 (12 enodes) 1545993422.641 * * [misc]simplify: iters left: 4 (18 enodes) 1545993422.644 * * [misc]simplify: iters left: 3 (20 enodes) 1545993422.646 * * [misc]simplify: iters left: 2 (25 enodes) 1545993422.650 * [exit]simplify: Simplified to (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1545993422.650 * [misc]simplify: Simplified (2 1) to (λ (a) (* (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (/ (cbrt (/ 1 (- (acos a)))) (/ 1 a)))) 1545993422.651 * [enter]simplify: Simplifying (/ (cbrt (/ 1 (- (acos a)))) (/ 1 a)) 1545993422.651 * * [misc]simplify: iters left: 6 (8 enodes) 1545993422.653 * * [misc]simplify: iters left: 5 (12 enodes) 1545993422.656 * * [misc]simplify: iters left: 4 (15 enodes) 1545993422.662 * * [misc]simplify: iters left: 3 (25 enodes) 1545993422.668 * * [misc]simplify: iters left: 2 (27 enodes) 1545993422.673 * * [misc]simplify: iters left: 1 (32 enodes) 1545993422.680 * [exit]simplify: Simplified to (* (cbrt (/ 1 (- (acos a)))) a) 1545993422.680 * [misc]simplify: Simplified (2 2) to (λ (a) (* (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (* (cbrt (/ 1 (- (acos a)))) a))) 1545993422.680 * * * * [misc]progress: [ 16 / 72 ] simplifiying candidate # 1545993422.680 * [enter]simplify: Simplifying (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1) 1545993422.680 * * [misc]simplify: iters left: 6 (8 enodes) 1545993422.683 * * [misc]simplify: iters left: 5 (12 enodes) 1545993422.687 * * [misc]simplify: iters left: 4 (18 enodes) 1545993422.691 * * [misc]simplify: iters left: 3 (20 enodes) 1545993422.695 * * [misc]simplify: iters left: 2 (25 enodes) 1545993422.701 * [exit]simplify: Simplified to (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1545993422.701 * [misc]simplify: Simplified (2 1) to (λ (a) (* (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (/ (cbrt (/ 1 (- (acos a)))) (/ 1 a)))) 1545993422.701 * [enter]simplify: Simplifying (/ (cbrt (/ 1 (- (acos a)))) (/ 1 a)) 1545993422.702 * * [misc]simplify: iters left: 6 (8 enodes) 1545993422.704 * * [misc]simplify: iters left: 5 (12 enodes) 1545993422.707 * * [misc]simplify: iters left: 4 (15 enodes) 1545993422.713 * * [misc]simplify: iters left: 3 (25 enodes) 1545993422.719 * * [misc]simplify: iters left: 2 (27 enodes) 1545993422.724 * * [misc]simplify: iters left: 1 (32 enodes) 1545993422.731 * [exit]simplify: Simplified to (* (cbrt (/ 1 (- (acos a)))) a) 1545993422.731 * [misc]simplify: Simplified (2 2) to (λ (a) (* (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (* (cbrt (/ 1 (- (acos a)))) a))) 1545993422.731 * * * * [misc]progress: [ 17 / 72 ] simplifiying candidate # 1545993422.731 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1545993422.731 * * [misc]simplify: iters left: 6 (10 enodes) 1545993422.734 * * [misc]simplify: iters left: 5 (14 enodes) 1545993422.738 * [exit]simplify: Simplified to (/ (sqrt (/ 1 (- (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1545993422.738 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ (sqrt (/ 1 (- (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (sqrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))))) 1545993422.739 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) 1545993422.739 * * [misc]simplify: iters left: 6 (9 enodes) 1545993422.742 * * [misc]simplify: iters left: 5 (11 enodes) 1545993422.746 * [exit]simplify: Simplified to (/ (sqrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) 1545993422.746 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ (sqrt (/ 1 (- (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (sqrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))))) 1545993422.746 * * * * [misc]progress: [ 18 / 72 ] simplifiying candidate # 1545993422.747 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1545993422.747 * * [misc]simplify: iters left: 6 (9 enodes) 1545993422.749 * * [misc]simplify: iters left: 5 (11 enodes) 1545993422.752 * [exit]simplify: Simplified to (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1545993422.753 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))))) 1545993422.753 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1545993422.753 * * [misc]simplify: iters left: 6 (9 enodes) 1545993422.756 * * [misc]simplify: iters left: 5 (11 enodes) 1545993422.759 * [exit]simplify: Simplified to (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1545993422.759 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))))) 1545993422.759 * * * * [misc]progress: [ 19 / 72 ] simplifiying candidate # 1545993422.759 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) 1) 1545993422.759 * * [misc]simplify: iters left: 6 (7 enodes) 1545993422.761 * * [misc]simplify: iters left: 5 (9 enodes) 1545993422.765 * * [misc]simplify: iters left: 4 (11 enodes) 1545993422.767 * [exit]simplify: Simplified to (sqrt (/ 1 (- (acos a)))) 1545993422.767 * [misc]simplify: Simplified (2 1) to (λ (a) (* (sqrt (/ 1 (- (acos a)))) (/ (sqrt (/ 1 (- (acos a)))) (/ 1 a)))) 1545993422.768 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (/ 1 a)) 1545993422.768 * * [misc]simplify: iters left: 6 (8 enodes) 1545993422.770 * * [misc]simplify: iters left: 5 (12 enodes) 1545993422.774 * * [misc]simplify: iters left: 4 (15 enodes) 1545993422.778 * * [misc]simplify: iters left: 3 (25 enodes) 1545993422.785 * * [misc]simplify: iters left: 2 (27 enodes) 1545993422.790 * * [misc]simplify: iters left: 1 (32 enodes) 1545993422.797 * [exit]simplify: Simplified to (* (sqrt (/ 1 (- (acos a)))) a) 1545993422.797 * [misc]simplify: Simplified (2 2) to (λ (a) (* (sqrt (/ 1 (- (acos a)))) (* (sqrt (/ 1 (- (acos a)))) a))) 1545993422.797 * * * * [misc]progress: [ 20 / 72 ] simplifiying candidate # 1545993422.797 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) 1) 1545993422.797 * * [misc]simplify: iters left: 6 (7 enodes) 1545993422.800 * * [misc]simplify: iters left: 5 (9 enodes) 1545993422.803 * * [misc]simplify: iters left: 4 (11 enodes) 1545993422.805 * [exit]simplify: Simplified to (sqrt (/ 1 (- (acos a)))) 1545993422.805 * [misc]simplify: Simplified (2 1) to (λ (a) (* (sqrt (/ 1 (- (acos a)))) (/ (sqrt (/ 1 (- (acos a)))) (/ 1 a)))) 1545993422.805 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (/ 1 a)) 1545993422.805 * * [misc]simplify: iters left: 6 (8 enodes) 1545993422.808 * * [misc]simplify: iters left: 5 (12 enodes) 1545993422.811 * * [misc]simplify: iters left: 4 (15 enodes) 1545993422.815 * * [misc]simplify: iters left: 3 (25 enodes) 1545993422.821 * * [misc]simplify: iters left: 2 (27 enodes) 1545993422.825 * * [misc]simplify: iters left: 1 (32 enodes) 1545993422.831 * [exit]simplify: Simplified to (* (sqrt (/ 1 (- (acos a)))) a) 1545993422.831 * [misc]simplify: Simplified (2 2) to (λ (a) (* (sqrt (/ 1 (- (acos a)))) (* (sqrt (/ 1 (- (acos a)))) a))) 1545993422.831 * * * * [misc]progress: [ 21 / 72 ] simplifiying candidate # 1545993422.831 * [enter]simplify: Simplifying (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1545993422.832 * * [misc]simplify: iters left: 6 (6 enodes) 1545993422.833 * * [misc]simplify: iters left: 5 (10 enodes) 1545993422.836 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (/ 1 a))) (cbrt (/ 1 a))) 1545993422.836 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ (/ 1 (cbrt (/ 1 a))) (cbrt (/ 1 a))) (/ (/ 1 (- (acos a))) (cbrt (/ 1 a))))) 1545993422.836 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (cbrt (/ 1 a))) 1545993422.836 * * [misc]simplify: iters left: 6 (8 enodes) 1545993422.837 * * [misc]simplify: iters left: 5 (12 enodes) 1545993422.839 * * [misc]simplify: iters left: 4 (17 enodes) 1545993422.841 * * [misc]simplify: iters left: 3 (21 enodes) 1545993422.844 * * [misc]simplify: iters left: 2 (22 enodes) 1545993422.846 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (/ 1 a))) (- (acos a))) 1545993422.846 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (cbrt (/ 1 a))) (- (acos a))))) 1545993422.846 * * * * [misc]progress: [ 22 / 72 ] simplifiying candidate # 1545993422.846 * [enter]simplify: Simplifying (/ 1 (sqrt (/ 1 a))) 1545993422.847 * * [misc]simplify: iters left: 5 (5 enodes) 1545993422.847 * * [misc]simplify: iters left: 4 (7 enodes) 1545993422.848 * [exit]simplify: Simplified to (/ 1 (sqrt (/ 1 a))) 1545993422.848 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))))) 1545993422.848 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))) 1545993422.848 * * [misc]simplify: iters left: 6 (8 enodes) 1545993422.850 * * [misc]simplify: iters left: 5 (12 enodes) 1545993422.851 * * [misc]simplify: iters left: 4 (17 enodes) 1545993422.853 * * [misc]simplify: iters left: 3 (21 enodes) 1545993422.856 * * [misc]simplify: iters left: 2 (22 enodes) 1545993422.859 * [exit]simplify: Simplified to (/ (/ 1 (sqrt (/ 1 a))) (- (acos a))) 1545993422.859 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (sqrt (/ 1 a))) (- (acos a))))) 1545993422.859 * * * * [misc]progress: [ 23 / 72 ] simplifiying candidate # 1545993422.859 * [enter]simplify: Simplifying (/ 1 1) 1545993422.859 * * [misc]simplify: iters left: 2 (2 enodes) 1545993422.859 * * [misc]simplify: iters left: 1 (4 enodes) 1545993422.860 * [exit]simplify: Simplified to 1 1545993422.860 * [misc]simplify: Simplified (2 1) to (λ (a) (* 1 (/ (/ 1 (- (acos a))) (/ 1 a)))) 1545993422.860 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (/ 1 a)) 1545993422.860 * * [misc]simplify: iters left: 6 (7 enodes) 1545993422.862 * * [misc]simplify: iters left: 5 (13 enodes) 1545993422.866 * * [misc]simplify: iters left: 4 (26 enodes) 1545993422.878 * * [misc]simplify: iters left: 3 (42 enodes) 1545993422.893 * * [misc]simplify: iters left: 2 (77 enodes) 1545993422.915 * * [misc]simplify: iters left: 1 (108 enodes) 1545993422.962 * [exit]simplify: Simplified to (/ (/ a -1) (acos a)) 1545993422.963 * [misc]simplify: Simplified (2 2) to (λ (a) (* 1 (/ (/ a -1) (acos a)))) 1545993422.963 * * * * [misc]progress: [ 24 / 72 ] simplifiying candidate # 1545993422.963 * [enter]simplify: Simplifying (/ 1 1) 1545993422.963 * * [misc]simplify: iters left: 2 (2 enodes) 1545993422.963 * * [misc]simplify: iters left: 1 (4 enodes) 1545993422.964 * [exit]simplify: Simplified to 1 1545993422.964 * [misc]simplify: Simplified (2 1) to (λ (a) (* 1 (/ (/ 1 (- (acos a))) (/ 1 a)))) 1545993422.964 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (/ 1 a)) 1545993422.964 * * [misc]simplify: iters left: 6 (7 enodes) 1545993422.965 * * [misc]simplify: iters left: 5 (13 enodes) 1545993422.967 * * [misc]simplify: iters left: 4 (26 enodes) 1545993422.971 * * [misc]simplify: iters left: 3 (42 enodes) 1545993422.979 * * [misc]simplify: iters left: 2 (77 enodes) 1545993422.999 * * [misc]simplify: iters left: 1 (108 enodes) 1545993423.027 * [exit]simplify: Simplified to (/ (/ a -1) (acos a)) 1545993423.028 * [misc]simplify: Simplified (2 2) to (λ (a) (* 1 (/ (/ a -1) (acos a)))) 1545993423.028 * * * * [misc]progress: [ 25 / 72 ] simplifiying candidate # 1545993423.028 * [enter]simplify: Simplifying (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1545993423.028 * * [misc]simplify: iters left: 6 (6 enodes) 1545993423.030 * * [misc]simplify: iters left: 5 (10 enodes) 1545993423.033 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (/ 1 a))) (cbrt (/ 1 a))) 1545993423.033 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ (/ 1 (cbrt (/ 1 a))) (cbrt (/ 1 a))) (/ (/ 1 (- (acos a))) (cbrt (/ 1 a))))) 1545993423.033 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (cbrt (/ 1 a))) 1545993423.033 * * [misc]simplify: iters left: 6 (8 enodes) 1545993423.036 * * [misc]simplify: iters left: 5 (12 enodes) 1545993423.039 * * [misc]simplify: iters left: 4 (17 enodes) 1545993423.044 * * [misc]simplify: iters left: 3 (21 enodes) 1545993423.049 * * [misc]simplify: iters left: 2 (22 enodes) 1545993423.053 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (/ 1 a))) (- (acos a))) 1545993423.053 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (cbrt (/ 1 a))) (- (acos a))))) 1545993423.053 * * * * [misc]progress: [ 26 / 72 ] simplifiying candidate # 1545993423.053 * [enter]simplify: Simplifying (/ 1 (sqrt (/ 1 a))) 1545993423.053 * * [misc]simplify: iters left: 5 (5 enodes) 1545993423.054 * * [misc]simplify: iters left: 4 (7 enodes) 1545993423.055 * [exit]simplify: Simplified to (/ 1 (sqrt (/ 1 a))) 1545993423.055 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))))) 1545993423.055 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))) 1545993423.055 * * [misc]simplify: iters left: 6 (8 enodes) 1545993423.056 * * [misc]simplify: iters left: 5 (12 enodes) 1545993423.057 * * [misc]simplify: iters left: 4 (17 enodes) 1545993423.060 * * [misc]simplify: iters left: 3 (21 enodes) 1545993423.062 * * [misc]simplify: iters left: 2 (22 enodes) 1545993423.064 * [exit]simplify: Simplified to (/ (/ 1 (sqrt (/ 1 a))) (- (acos a))) 1545993423.065 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (sqrt (/ 1 a))) (- (acos a))))) 1545993423.065 * * * * [misc]progress: [ 27 / 72 ] simplifiying candidate # 1545993423.065 * [enter]simplify: Simplifying (/ 1 1) 1545993423.065 * * [misc]simplify: iters left: 2 (2 enodes) 1545993423.065 * * [misc]simplify: iters left: 1 (4 enodes) 1545993423.066 * [exit]simplify: Simplified to 1 1545993423.066 * [misc]simplify: Simplified (2 1) to (λ (a) (* 1 (/ (/ 1 (- (acos a))) (/ 1 a)))) 1545993423.066 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (/ 1 a)) 1545993423.066 * * [misc]simplify: iters left: 6 (7 enodes) 1545993423.067 * * [misc]simplify: iters left: 5 (13 enodes) 1545993423.069 * * [misc]simplify: iters left: 4 (26 enodes) 1545993423.073 * * [misc]simplify: iters left: 3 (42 enodes) 1545993423.082 * * [misc]simplify: iters left: 2 (77 enodes) 1545993423.093 * * [misc]simplify: iters left: 1 (108 enodes) 1545993423.138 * [exit]simplify: Simplified to (/ (/ a -1) (acos a)) 1545993423.138 * [misc]simplify: Simplified (2 2) to (λ (a) (* 1 (/ (/ a -1) (acos a)))) 1545993423.138 * * * * [misc]progress: [ 28 / 72 ] simplifiying candidate # 1545993423.139 * [enter]simplify: Simplifying (/ 1 1) 1545993423.139 * * [misc]simplify: iters left: 2 (2 enodes) 1545993423.140 * * [misc]simplify: iters left: 1 (4 enodes) 1545993423.141 * [exit]simplify: Simplified to 1 1545993423.141 * [misc]simplify: Simplified (2 1) to (λ (a) (* 1 (/ (/ 1 (- (acos a))) (/ 1 a)))) 1545993423.141 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (/ 1 a)) 1545993423.141 * * [misc]simplify: iters left: 6 (7 enodes) 1545993423.143 * * [misc]simplify: iters left: 5 (13 enodes) 1545993423.147 * * [misc]simplify: iters left: 4 (26 enodes) 1545993423.157 * * [misc]simplify: iters left: 3 (42 enodes) 1545993423.171 * * [misc]simplify: iters left: 2 (77 enodes) 1545993423.193 * * [misc]simplify: iters left: 1 (108 enodes) 1545993423.234 * [exit]simplify: Simplified to (/ (/ a -1) (acos a)) 1545993423.234 * [misc]simplify: Simplified (2 2) to (λ (a) (* 1 (/ (/ a -1) (acos a)))) 1545993423.234 * * * * [misc]progress: [ 29 / 72 ] simplifiying candidate # 1545993423.234 * * * * [misc]progress: [ 30 / 72 ] simplifiying candidate # 1545993423.234 * * * * [misc]progress: [ 31 / 72 ] simplifiying candidate # 1545993423.234 * * * * [misc]progress: [ 32 / 72 ] simplifiying candidate # 1545993423.234 * [enter]simplify: Simplifying (cbrt (/ 1 a)) 1545993423.234 * * [misc]simplify: iters left: 3 (4 enodes) 1545993423.235 * * [misc]simplify: iters left: 2 (6 enodes) 1545993423.235 * [exit]simplify: Simplified to (cbrt (/ 1 a)) 1545993423.236 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ (/ 1 (- (acos a))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (cbrt (/ 1 a)))) 1545993423.236 * * * * [misc]progress: [ 33 / 72 ] simplifiying candidate # 1545993423.236 * [enter]simplify: Simplifying (sqrt (/ 1 a)) 1545993423.236 * * [misc]simplify: iters left: 3 (4 enodes) 1545993423.236 * * [misc]simplify: iters left: 2 (6 enodes) 1545993423.237 * [exit]simplify: Simplified to (sqrt (/ 1 a)) 1545993423.237 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))) (sqrt (/ 1 a)))) 1545993423.237 * * * * [misc]progress: [ 34 / 72 ] simplifiying candidate # 1545993423.237 * [enter]simplify: Simplifying (/ 1 a) 1545993423.237 * * [misc]simplify: iters left: 2 (3 enodes) 1545993423.238 * * [misc]simplify: iters left: 1 (5 enodes) 1545993423.238 * [exit]simplify: Simplified to (/ 1 a) 1545993423.238 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ (/ 1 (- (acos a))) 1) (/ 1 a))) 1545993423.238 * * * * [misc]progress: [ 35 / 72 ] simplifiying candidate # 1545993423.238 * [enter]simplify: Simplifying (/ 1 a) 1545993423.238 * * [misc]simplify: iters left: 2 (3 enodes) 1545993423.239 * * [misc]simplify: iters left: 1 (5 enodes) 1545993423.240 * [exit]simplify: Simplified to (/ 1 a) 1545993423.240 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ (/ 1 (- (acos a))) 1) (/ 1 a))) 1545993423.240 * * * * [misc]progress: [ 36 / 72 ] simplifiying candidate # 1545993423.240 * [enter]simplify: Simplifying (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1545993423.240 * * [misc]simplify: iters left: 6 (7 enodes) 1545993423.241 * * [misc]simplify: iters left: 5 (9 enodes) 1545993423.242 * [exit]simplify: Simplified to (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1545993423.242 * [misc]simplify: Simplified (2 1) to (λ (a) (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (/ (/ 1 a) (cbrt (/ 1 (- (acos a))))))) 1545993423.242 * * * * [misc]progress: [ 37 / 72 ] simplifiying candidate # 1545993423.242 * [enter]simplify: Simplifying (sqrt (/ 1 (- (acos a)))) 1545993423.242 * * [misc]simplify: iters left: 6 (6 enodes) 1545993423.243 * * [misc]simplify: iters left: 5 (8 enodes) 1545993423.244 * [exit]simplify: Simplified to (sqrt (/ 1 (- (acos a)))) 1545993423.244 * [misc]simplify: Simplified (2 1) to (λ (a) (/ (sqrt (/ 1 (- (acos a)))) (/ (/ 1 a) (sqrt (/ 1 (- (acos a))))))) 1545993423.244 * * * * [misc]progress: [ 38 / 72 ] simplifiying candidate # 1545993423.244 * * * * [misc]progress: [ 39 / 72 ] simplifiying candidate # 1545993423.244 * * * * [misc]progress: [ 40 / 72 ] simplifiying candidate # 1545993423.244 * * * * [misc]progress: [ 41 / 72 ] simplifiying candidate # 1545993423.244 * * * * [misc]progress: [ 42 / 72 ] simplifiying candidate # 1545993423.244 * * * * [misc]progress: [ 43 / 72 ] simplifiying candidate # 1545993423.244 * * * * [misc]progress: [ 44 / 72 ] simplifiying candidate # 1545993423.244 * * * * [misc]progress: [ 45 / 72 ] simplifiying candidate # 1545993423.245 * [enter]simplify: Simplifying (- 1) 1545993423.245 * * [misc]simplify: iters left: 2 (2 enodes) 1545993423.245 * * [misc]simplify: iters left: 1 (5 enodes) 1545993423.246 * [exit]simplify: Simplified to -1 1545993423.246 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (pow (- (acos a)) -1) (/ 1 a))) 1545993423.246 * * * * [misc]progress: [ 46 / 72 ] simplifiying candidate # 1545993423.246 * * * * [misc]progress: [ 47 / 72 ] simplifiying candidate # 1545993423.246 * * * * [misc]progress: [ 48 / 72 ] simplifiying candidate # 1545993423.246 * * * * [misc]progress: [ 49 / 72 ] simplifiying candidate # 1545993423.246 * * * * [misc]progress: [ 50 / 72 ] simplifiying candidate # 1545993423.246 * * * * [misc]progress: [ 51 / 72 ] simplifiying candidate # 1545993423.246 * * * * [misc]progress: [ 52 / 72 ] simplifiying candidate # 1545993423.246 * * * * [misc]progress: [ 53 / 72 ] simplifiying candidate # 1545993423.246 * * * * [misc]progress: [ 54 / 72 ] simplifiying candidate # 1545993423.246 * * * * [misc]progress: [ 55 / 72 ] simplifiying candidate # 1545993423.246 * * * * [misc]progress: [ 56 / 72 ] simplifiying candidate # 1545993423.246 * * * * [misc]progress: [ 57 / 72 ] simplifiying candidate # 1545993423.246 * [enter]simplify: Simplifying (cbrt (- (acos a))) 1545993423.246 * * [misc]simplify: iters left: 4 (4 enodes) 1545993423.247 * [exit]simplify: Simplified to (cbrt (- (acos a))) 1545993423.247 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (cbrt (- (acos a)))) (/ 1 a))) 1545993423.247 * * * * [misc]progress: [ 58 / 72 ] simplifiying candidate # 1545993423.247 * [enter]simplify: Simplifying (sqrt (- (acos a))) 1545993423.247 * * [misc]simplify: iters left: 4 (4 enodes) 1545993423.248 * [exit]simplify: Simplified to (sqrt (- (acos a))) 1545993423.248 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (sqrt (- (acos a)))) (sqrt (- (acos a)))) (/ 1 a))) 1545993423.248 * * * * [misc]progress: [ 59 / 72 ] simplifiying candidate # 1545993423.248 * [enter]simplify: Simplifying (- (acos a)) 1545993423.248 * * [misc]simplify: iters left: 3 (3 enodes) 1545993423.248 * [exit]simplify: Simplified to (- (acos a)) 1545993423.248 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 1) (- (acos a))) (/ 1 a))) 1545993423.248 * * * * [misc]progress: [ 60 / 72 ] simplifiying candidate # 1545993423.249 * [enter]simplify: Simplifying (acos a) 1545993423.249 * * [misc]simplify: iters left: 1 (2 enodes) 1545993423.249 * [exit]simplify: Simplified to (acos a) 1545993423.249 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 -1) (acos a)) (/ 1 a))) 1545993423.249 * * * * [misc]progress: [ 61 / 72 ] simplifiying candidate # 1545993423.249 * [enter]simplify: Simplifying (cbrt (acos a)) 1545993423.249 * * [misc]simplify: iters left: 2 (3 enodes) 1545993423.250 * [exit]simplify: Simplified to (cbrt (acos a)) 1545993423.250 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (- (* (cbrt (acos a)) (cbrt (acos a))))) (cbrt (acos a))) (/ 1 a))) 1545993423.250 * * * * [misc]progress: [ 62 / 72 ] simplifiying candidate # 1545993423.250 * [enter]simplify: Simplifying (sqrt (acos a)) 1545993423.250 * * [misc]simplify: iters left: 2 (3 enodes) 1545993423.250 * [exit]simplify: Simplified to (sqrt (acos a)) 1545993423.250 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (- (sqrt (acos a)))) (sqrt (acos a))) (/ 1 a))) 1545993423.250 * * * * [misc]progress: [ 63 / 72 ] simplifiying candidate # 1545993423.250 * [enter]simplify: Simplifying (acos a) 1545993423.250 * * [misc]simplify: iters left: 1 (2 enodes) 1545993423.251 * [exit]simplify: Simplified to (acos a) 1545993423.251 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (- 1)) (acos a)) (/ 1 a))) 1545993423.251 * * * * [misc]progress: [ 64 / 72 ] simplifiying candidate # 1545993423.251 * [enter]simplify: Simplifying (- (cbrt (acos a))) 1545993423.251 * * [misc]simplify: iters left: 4 (4 enodes) 1545993423.251 * [exit]simplify: Simplified to (- (cbrt (acos a))) 1545993423.251 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (cbrt (acos a)))) (/ 1 a))) 1545993423.251 * * * * [misc]progress: [ 65 / 72 ] simplifiying candidate # 1545993423.252 * [enter]simplify: Simplifying (- (sqrt (acos a))) 1545993423.252 * * [misc]simplify: iters left: 4 (4 enodes) 1545993423.252 * [exit]simplify: Simplified to (- (sqrt (acos a))) 1545993423.252 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (sqrt (acos a))) (- (sqrt (acos a)))) (/ 1 a))) 1545993423.252 * * * * [misc]progress: [ 66 / 72 ] simplifiying candidate # 1545993423.252 * [enter]simplify: Simplifying (- (acos a)) 1545993423.252 * * [misc]simplify: iters left: 3 (3 enodes) 1545993423.253 * [exit]simplify: Simplified to (- (acos a)) 1545993423.253 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 1) (- (acos a))) (/ 1 a))) 1545993423.253 * * * * [misc]progress: [ 67 / 72 ] simplifiying candidate # 1545993423.253 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545993423.253 * * [misc]simplify: iters left: 5 (5 enodes) 1545993423.254 * * [misc]simplify: iters left: 4 (9 enodes) 1545993423.255 * * [misc]simplify: iters left: 3 (14 enodes) 1545993423.257 * * [misc]simplify: iters left: 2 (16 enodes) 1545993423.258 * * [misc]simplify: iters left: 1 (18 enodes) 1545993423.261 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545993423.261 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545993423.261 * * * * [misc]progress: [ 68 / 72 ] simplifiying candidate # 1545993423.261 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545993423.261 * * [misc]simplify: iters left: 5 (5 enodes) 1545993423.262 * * [misc]simplify: iters left: 4 (9 enodes) 1545993423.263 * * [misc]simplify: iters left: 3 (14 enodes) 1545993423.266 * * [misc]simplify: iters left: 2 (16 enodes) 1545993423.270 * * [misc]simplify: iters left: 1 (18 enodes) 1545993423.275 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545993423.275 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545993423.275 * * * * [misc]progress: [ 69 / 72 ] simplifiying candidate # 1545993423.275 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545993423.275 * * [misc]simplify: iters left: 5 (5 enodes) 1545993423.277 * * [misc]simplify: iters left: 4 (9 enodes) 1545993423.280 * * [misc]simplify: iters left: 3 (14 enodes) 1545993423.283 * * [misc]simplify: iters left: 2 (16 enodes) 1545993423.287 * * [misc]simplify: iters left: 1 (18 enodes) 1545993423.291 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545993423.291 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545993423.291 * * * * [misc]progress: [ 70 / 72 ] simplifiying candidate # 1545993423.292 * [enter]simplify: Simplifying (/ -1 (acos a)) 1545993423.292 * * [misc]simplify: iters left: 3 (4 enodes) 1545993423.293 * [exit]simplify: Simplified to (/ -1 (acos a)) 1545993423.293 * [misc]simplify: Simplified (2 1) to (λ (a) (/ (/ -1 (acos a)) (/ 1 a))) 1545993423.293 * * * * [misc]progress: [ 71 / 72 ] simplifiying candidate # 1545993423.293 * [enter]simplify: Simplifying (/ -1 (acos a)) 1545993423.293 * * [misc]simplify: iters left: 3 (4 enodes) 1545993423.295 * [exit]simplify: Simplified to (/ -1 (acos a)) 1545993423.295 * [misc]simplify: Simplified (2 1) to (λ (a) (/ (/ -1 (acos a)) (/ 1 a))) 1545993423.295 * * * * [misc]progress: [ 72 / 72 ] simplifiying candidate # 1545993423.295 * [enter]simplify: Simplifying (/ -1 (acos a)) 1545993423.295 * * [misc]simplify: iters left: 3 (4 enodes) 1545993423.298 * [exit]simplify: Simplified to (/ -1 (acos a)) 1545993423.298 * [misc]simplify: Simplified (2 1) to (λ (a) (/ (/ -1 (acos a)) (/ 1 a))) 1545993423.298 * * * [misc]progress: adding candidates to table 1545993423.927 * * [misc]progress: iteration 4 / 4 1545993423.927 * * * [misc]progress: picking best candidate 1545993423.950 * * * * [misc]pick: Picked # 1545993423.950 * * * [misc]progress: localizing error 1545993423.961 * * * [misc]progress: generating rewritten candidates 1545993423.961 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2) 1545993423.970 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2) 1545993423.978 * * * [misc]progress: generating series expansions 1545993423.978 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2) 1545993423.979 * [misc]backup-simplify: Simplify (* (- (acos a)) (/ 1 a)) into (* -1 (/ (acos a) a)) 1545993423.979 * [misc]approximate: Taking taylor expansion of (* -1 (/ (acos a) a)) in (a) around 0 1545993423.979 * [misc]taylor: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 1545993423.979 * [misc]taylor: Taking taylor expansion of -1 in a 1545993423.979 * [misc]backup-simplify: Simplify -1 into -1 1545993423.979 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1545993423.979 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545993423.979 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545993423.979 * [misc]taylor: Taking taylor expansion of a in a 1545993423.979 * [misc]backup-simplify: Simplify 0 into 0 1545993423.979 * [misc]backup-simplify: Simplify 1 into 1 1545993423.979 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1545993423.979 * [misc]taylor: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 1545993423.979 * [misc]taylor: Taking taylor expansion of -1 in a 1545993423.979 * [misc]backup-simplify: Simplify -1 into -1 1545993423.979 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1545993423.979 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545993423.979 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545993423.979 * [misc]taylor: Taking taylor expansion of a in a 1545993423.980 * [misc]backup-simplify: Simplify 0 into 0 1545993423.980 * [misc]backup-simplify: Simplify 1 into 1 1545993423.980 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1545993423.980 * [misc]backup-simplify: Simplify (* -1 (acos a)) into (* -1 (acos a)) 1545993423.980 * [misc]backup-simplify: Simplify (* -1 (acos a)) into (* -1 (acos a)) 1545993423.981 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)))) into 0 1545993423.981 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (acos a))) into 0 1545993423.981 * [misc]backup-simplify: Simplify 0 into 0 1545993423.981 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545993423.982 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (acos a)))) into 0 1545993423.982 * [misc]backup-simplify: Simplify 0 into 0 1545993423.983 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545993423.983 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a))))) into 0 1545993423.983 * [misc]backup-simplify: Simplify 0 into 0 1545993423.984 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545993423.984 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a)))))) into 0 1545993423.985 * [misc]backup-simplify: Simplify 0 into 0 1545993423.986 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545993423.986 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a))))))) into 0 1545993423.986 * [misc]backup-simplify: Simplify 0 into 0 1545993423.987 * [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 1545993423.988 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a)))))))) into 0 1545993423.988 * [misc]backup-simplify: Simplify 0 into 0 1545993423.988 * [misc]backup-simplify: Simplify (* (* -1 (acos a)) (/ 1 a)) into (* -1 (/ (acos a) a)) 1545993423.989 * [misc]backup-simplify: Simplify (* (- (acos (/ 1 a))) (/ 1 (/ 1 a))) into (* -1 (* a (acos (/ 1 a)))) 1545993423.989 * [misc]approximate: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in (a) around 0 1545993423.989 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in a 1545993423.989 * [misc]taylor: Taking taylor expansion of -1 in a 1545993423.989 * [misc]backup-simplify: Simplify -1 into -1 1545993423.989 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545993423.989 * [misc]taylor: Taking taylor expansion of a in a 1545993423.989 * [misc]backup-simplify: Simplify 0 into 0 1545993423.989 * [misc]backup-simplify: Simplify 1 into 1 1545993423.989 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545993423.989 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545993423.989 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in a 1545993423.989 * [misc]taylor: Taking taylor expansion of -1 in a 1545993423.989 * [misc]backup-simplify: Simplify -1 into -1 1545993423.989 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545993423.989 * [misc]taylor: Taking taylor expansion of a in a 1545993423.989 * [misc]backup-simplify: Simplify 0 into 0 1545993423.989 * [misc]backup-simplify: Simplify 1 into 1 1545993423.989 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545993423.989 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545993423.989 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545993423.990 * [misc]backup-simplify: Simplify (* -1 0) into 0 1545993423.990 * [misc]backup-simplify: Simplify 0 into 0 1545993423.990 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545993423.990 * [misc]backup-simplify: Simplify (+ (* -1 (acos (/ 1 a))) (* 0 0)) into (- (acos (/ 1 a))) 1545993423.990 * [misc]backup-simplify: Simplify (- (acos (/ 1 a))) into (- (acos (/ 1 a))) 1545993423.991 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1545993423.991 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))) into 0 1545993423.991 * [misc]backup-simplify: Simplify 0 into 0 1545993423.991 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1545993423.992 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))) into 0 1545993423.992 * [misc]backup-simplify: Simplify 0 into 0 1545993423.993 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1545993423.993 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))))) into 0 1545993423.993 * [misc]backup-simplify: Simplify 0 into 0 1545993423.994 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1545993423.995 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))))) into 0 1545993423.995 * [misc]backup-simplify: Simplify 0 into 0 1545993423.996 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1545993423.997 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))))))) into 0 1545993423.997 * [misc]backup-simplify: Simplify 0 into 0 1545993423.998 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1545993423.999 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))))))) into 0 1545993423.999 * [misc]backup-simplify: Simplify 0 into 0 1545993423.999 * [misc]backup-simplify: Simplify (* (- (acos (/ 1 (/ 1 a)))) (/ 1 a)) into (* -1 (/ (acos a) a)) 1545993423.999 * [misc]backup-simplify: Simplify (* (- (acos (/ 1 (- a)))) (/ 1 (/ 1 (- a)))) into (* a (acos (/ -1 a))) 1545993423.999 * [misc]approximate: Taking taylor expansion of (* a (acos (/ -1 a))) in (a) around 0 1545993423.999 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545993423.999 * [misc]taylor: Taking taylor expansion of a in a 1545993423.999 * [misc]backup-simplify: Simplify 0 into 0 1545993423.999 * [misc]backup-simplify: Simplify 1 into 1 1545993423.999 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545993423.999 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545993423.999 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545993423.999 * [misc]taylor: Taking taylor expansion of a in a 1545993423.999 * [misc]backup-simplify: Simplify 0 into 0 1545993423.999 * [misc]backup-simplify: Simplify 1 into 1 1545993423.999 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545993424.000 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545993424.000 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545993424.000 * [misc]backup-simplify: Simplify 0 into 0 1545993424.000 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545993424.000 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545993424.000 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1545993424.000 * [misc]backup-simplify: Simplify 0 into 0 1545993424.001 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1545993424.001 * [misc]backup-simplify: Simplify 0 into 0 1545993424.002 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1545993424.002 * [misc]backup-simplify: Simplify 0 into 0 1545993424.003 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1545993424.003 * [misc]backup-simplify: Simplify 0 into 0 1545993424.004 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1545993424.004 * [misc]backup-simplify: Simplify 0 into 0 1545993424.005 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1545993424.005 * [misc]backup-simplify: Simplify 0 into 0 1545993424.005 * [misc]backup-simplify: Simplify (* (acos (/ -1 (/ 1 (- a)))) (/ 1 (- a))) into (* -1 (/ (acos a) a)) 1545993424.005 * * * * [misc]progress: [ 2 / 2 ] generating series at (2) 1545993424.005 * [misc]backup-simplify: Simplify (/ 1 (* (- (acos a)) (/ 1 a))) into (* -1 (/ a (acos a))) 1545993424.005 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1545993424.005 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1545993424.005 * [misc]taylor: Taking taylor expansion of -1 in a 1545993424.005 * [misc]backup-simplify: Simplify -1 into -1 1545993424.005 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1545993424.005 * [misc]taylor: Taking taylor expansion of a in a 1545993424.005 * [misc]backup-simplify: Simplify 0 into 0 1545993424.005 * [misc]backup-simplify: Simplify 1 into 1 1545993424.005 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545993424.005 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545993424.005 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1545993424.005 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1545993424.005 * [misc]taylor: Taking taylor expansion of -1 in a 1545993424.005 * [misc]backup-simplify: Simplify -1 into -1 1545993424.006 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1545993424.006 * [misc]taylor: Taking taylor expansion of a in a 1545993424.006 * [misc]backup-simplify: Simplify 0 into 0 1545993424.006 * [misc]backup-simplify: Simplify 1 into 1 1545993424.006 * [misc]taylor: Taking taylor expansion of (acos a) in a 1545993424.006 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1545993424.006 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1545993424.006 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1545993424.006 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1545993424.006 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1545993424.006 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1545993424.006 * [misc]backup-simplify: Simplify 0 into 0 1545993424.007 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545993424.007 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1545993424.007 * [misc]backup-simplify: Simplify 0 into 0 1545993424.007 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1545993424.008 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1545993424.008 * [misc]backup-simplify: Simplify 0 into 0 1545993424.008 * [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 1545993424.009 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1545993424.009 * [misc]backup-simplify: Simplify 0 into 0 1545993424.009 * [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 1545993424.010 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1545993424.010 * [misc]backup-simplify: Simplify 0 into 0 1545993424.011 * [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 1545993424.011 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1545993424.011 * [misc]backup-simplify: Simplify 0 into 0 1545993424.012 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1545993424.012 * [misc]backup-simplify: Simplify (/ 1 (* (- (acos (/ 1 a))) (/ 1 (/ 1 a)))) into (/ -1 (* a (acos (/ 1 a)))) 1545993424.012 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1545993424.012 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1545993424.012 * [misc]taylor: Taking taylor expansion of -1 in a 1545993424.012 * [misc]backup-simplify: Simplify -1 into -1 1545993424.012 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545993424.012 * [misc]taylor: Taking taylor expansion of a in a 1545993424.012 * [misc]backup-simplify: Simplify 0 into 0 1545993424.012 * [misc]backup-simplify: Simplify 1 into 1 1545993424.012 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545993424.012 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545993424.012 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545993424.012 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545993424.012 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545993424.013 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1545993424.013 * [misc]taylor: Taking taylor expansion of -1 in a 1545993424.013 * [misc]backup-simplify: Simplify -1 into -1 1545993424.013 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1545993424.013 * [misc]taylor: Taking taylor expansion of a in a 1545993424.013 * [misc]backup-simplify: Simplify 0 into 0 1545993424.013 * [misc]backup-simplify: Simplify 1 into 1 1545993424.013 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1545993424.013 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1545993424.013 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1545993424.013 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1545993424.013 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545993424.013 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1545993424.014 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1545993424.014 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1545993424.014 * [misc]backup-simplify: Simplify 0 into 0 1545993424.014 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1545993424.015 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1545993424.015 * [misc]backup-simplify: Simplify 0 into 0 1545993424.015 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1545993424.016 * [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 1545993424.016 * [misc]backup-simplify: Simplify 0 into 0 1545993424.017 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1545993424.017 * [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 1545993424.017 * [misc]backup-simplify: Simplify 0 into 0 1545993424.018 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1545993424.018 * [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 1545993424.019 * [misc]backup-simplify: Simplify 0 into 0 1545993424.020 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1545993424.020 * [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 1545993424.020 * [misc]backup-simplify: Simplify 0 into 0 1545993424.020 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1545993424.021 * [misc]backup-simplify: Simplify (/ 1 (* (- (acos (/ 1 (- a)))) (/ 1 (/ 1 (- a))))) into (/ 1 (* a (acos (/ -1 a)))) 1545993424.021 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1545993424.021 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1545993424.021 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545993424.021 * [misc]taylor: Taking taylor expansion of a in a 1545993424.021 * [misc]backup-simplify: Simplify 0 into 0 1545993424.021 * [misc]backup-simplify: Simplify 1 into 1 1545993424.021 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545993424.021 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545993424.021 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545993424.021 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545993424.021 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545993424.021 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1545993424.021 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1545993424.021 * [misc]taylor: Taking taylor expansion of a in a 1545993424.021 * [misc]backup-simplify: Simplify 0 into 0 1545993424.021 * [misc]backup-simplify: Simplify 1 into 1 1545993424.021 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1545993424.022 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1545993424.022 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1545993424.022 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1545993424.022 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545993424.022 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1545993424.023 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1545993424.023 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1545993424.023 * [misc]backup-simplify: Simplify 0 into 0 1545993424.023 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1545993424.023 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545993424.024 * [misc]backup-simplify: Simplify 0 into 0 1545993424.024 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1545993424.024 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1545993424.025 * [misc]backup-simplify: Simplify 0 into 0 1545993424.025 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1545993424.029 * [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 1545993424.029 * [misc]backup-simplify: Simplify 0 into 0 1545993424.030 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1545993424.030 * [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 1545993424.030 * [misc]backup-simplify: Simplify 0 into 0 1545993424.031 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1545993424.032 * [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 1545993424.032 * [misc]backup-simplify: Simplify 0 into 0 1545993424.032 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1545993424.032 * * * [misc]progress: simplifying candidates 1545993424.032 * * * * [misc]progress: [ 1 / 56 ] simplifiying candidate # 1545993424.032 * * * * [misc]progress: [ 2 / 56 ] simplifiying candidate # 1545993424.032 * * * * [misc]progress: [ 3 / 56 ] simplifiying candidate # 1545993424.033 * [enter]simplify: Simplifying (* (- (acos a)) (/ 1 a)) 1545993424.033 * * [misc]simplify: iters left: 5 (6 enodes) 1545993424.035 * * [misc]simplify: iters left: 4 (13 enodes) 1545993424.039 * * [misc]simplify: iters left: 3 (23 enodes) 1545993424.048 * * [misc]simplify: iters left: 2 (48 enodes) 1545993424.060 * * [misc]simplify: iters left: 1 (69 enodes) 1545993424.077 * [exit]simplify: Simplified to (* (/ -1 a) (acos a)) 1545993424.077 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (pow (* (/ -1 a) (acos a)) 1))) 1545993424.077 * * * * [misc]progress: [ 4 / 56 ] simplifiying candidate # 1545993424.077 * * * * [misc]progress: [ 5 / 56 ] simplifiying candidate # 1545993424.078 * [enter]simplify: Simplifying (+ (log (- (acos a))) (log (/ 1 a))) 1545993424.078 * * [misc]simplify: iters left: 6 (8 enodes) 1545993424.079 * * [misc]simplify: iters left: 5 (15 enodes) 1545993424.081 * * [misc]simplify: iters left: 4 (16 enodes) 1545993424.083 * * [misc]simplify: iters left: 3 (20 enodes) 1545993424.085 * * [misc]simplify: iters left: 2 (26 enodes) 1545993424.089 * * [misc]simplify: iters left: 1 (39 enodes) 1545993424.094 * [exit]simplify: Simplified to (- (log (- (acos a))) (log a)) 1545993424.094 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (exp (- (log (- (acos a))) (log a))))) 1545993424.094 * * * * [misc]progress: [ 6 / 56 ] simplifiying candidate # 1545993424.094 * * * * [misc]progress: [ 7 / 56 ] simplifiying candidate # 1545993424.094 * * * * [misc]progress: [ 8 / 56 ] simplifiying candidate # 1545993424.094 * [enter]simplify: Simplifying (* (* (* (- (acos a)) (- (acos a))) (- (acos a))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a))) 1545993424.095 * * [misc]simplify: iters left: 6 (10 enodes) 1545993424.098 * * [misc]simplify: iters left: 5 (32 enodes) 1545993424.110 * * [misc]simplify: iters left: 4 (106 enodes) 1545993424.143 * * [misc]simplify: iters left: 3 (354 enodes) 1545993424.407 * [exit]simplify: Simplified to (* (pow (acos a) 3) (/ -1 (pow a 3))) 1545993424.407 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (cbrt (* (pow (acos a) 3) (/ -1 (pow a 3)))))) 1545993424.407 * * * * [misc]progress: [ 9 / 56 ] simplifiying candidate # 1545993424.407 * * * * [misc]progress: [ 10 / 56 ] simplifiying candidate # 1545993424.407 * * * * [misc]progress: [ 11 / 56 ] simplifiying candidate # 1545993424.408 * * * * [misc]progress: [ 12 / 56 ] simplifiying candidate # 1545993424.408 * * * * [misc]progress: [ 13 / 56 ] simplifiying candidate # 1545993424.408 * * * * [misc]progress: [ 14 / 56 ] simplifiying candidate # 1545993424.408 * [enter]simplify: Simplifying (* (acos a) (/ 1 a)) 1545993424.408 * * [misc]simplify: iters left: 4 (5 enodes) 1545993424.409 * * [misc]simplify: iters left: 3 (10 enodes) 1545993424.410 * * [misc]simplify: iters left: 2 (17 enodes) 1545993424.413 * * [misc]simplify: iters left: 1 (22 enodes) 1545993424.415 * [exit]simplify: Simplified to (/ (acos a) a) 1545993424.415 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (- (/ (acos a) a)))) 1545993424.415 * * * * [misc]progress: [ 15 / 56 ] simplifiying candidate # 1545993424.415 * [enter]simplify: Simplifying (cbrt (/ 1 a)) 1545993424.415 * * [misc]simplify: iters left: 3 (4 enodes) 1545993424.416 * * [misc]simplify: iters left: 2 (6 enodes) 1545993424.416 * [exit]simplify: Simplified to (cbrt (/ 1 a)) 1545993424.417 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* (* (- (acos a)) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (cbrt (/ 1 a))))) 1545993424.417 * * * * [misc]progress: [ 16 / 56 ] simplifiying candidate # 1545993424.417 * [enter]simplify: Simplifying (sqrt (/ 1 a)) 1545993424.417 * * [misc]simplify: iters left: 3 (4 enodes) 1545993424.417 * * [misc]simplify: iters left: 2 (6 enodes) 1545993424.418 * [exit]simplify: Simplified to (sqrt (/ 1 a)) 1545993424.418 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* (* (- (acos a)) (sqrt (/ 1 a))) (sqrt (/ 1 a))))) 1545993424.418 * * * * [misc]progress: [ 17 / 56 ] simplifiying candidate # 1545993424.418 * [enter]simplify: Simplifying (/ 1 a) 1545993424.418 * * [misc]simplify: iters left: 2 (3 enodes) 1545993424.419 * * [misc]simplify: iters left: 1 (5 enodes) 1545993424.419 * [exit]simplify: Simplified to (/ 1 a) 1545993424.419 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* (* (- (acos a)) 1) (/ 1 a)))) 1545993424.419 * * * * [misc]progress: [ 18 / 56 ] simplifiying candidate # 1545993424.419 * [enter]simplify: Simplifying (/ 1 a) 1545993424.420 * * [misc]simplify: iters left: 2 (3 enodes) 1545993424.420 * * [misc]simplify: iters left: 1 (5 enodes) 1545993424.421 * [exit]simplify: Simplified to (/ 1 a) 1545993424.421 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* (* (- (acos a)) 1) (/ 1 a)))) 1545993424.421 * * * * [misc]progress: [ 19 / 56 ] simplifiying candidate # 1545993424.421 * [enter]simplify: Simplifying (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1545993424.421 * * [misc]simplify: iters left: 6 (5 enodes) 1545993424.422 * [exit]simplify: Simplified to (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1545993424.422 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (* (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (* (cbrt (- (acos a))) (/ 1 a))))) 1545993424.422 * * * * [misc]progress: [ 20 / 56 ] simplifiying candidate # 1545993424.422 * [enter]simplify: Simplifying (sqrt (- (acos a))) 1545993424.422 * * [misc]simplify: iters left: 4 (4 enodes) 1545993424.423 * [exit]simplify: Simplified to (sqrt (- (acos a))) 1545993424.423 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (* (sqrt (- (acos a))) (* (sqrt (- (acos a))) (/ 1 a))))) 1545993424.423 * * * * [misc]progress: [ 21 / 56 ] simplifiying candidate # 1545993424.423 * * * * [misc]progress: [ 22 / 56 ] simplifiying candidate # 1545993424.423 * * * * [misc]progress: [ 23 / 56 ] simplifiying candidate # 1545993424.423 * [enter]simplify: Simplifying (- (* (cbrt (acos a)) (cbrt (acos a)))) 1545993424.423 * * [misc]simplify: iters left: 6 (5 enodes) 1545993424.424 * * [misc]simplify: iters left: 5 (8 enodes) 1545993424.425 * [exit]simplify: Simplified to (* (cbrt (acos a)) (- (cbrt (acos a)))) 1545993424.425 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (* (* (cbrt (acos a)) (- (cbrt (acos a)))) (* (cbrt (acos a)) (/ 1 a))))) 1545993424.425 * * * * [misc]progress: [ 24 / 56 ] simplifiying candidate # 1545993424.425 * [enter]simplify: Simplifying (- (sqrt (acos a))) 1545993424.425 * * [misc]simplify: iters left: 4 (4 enodes) 1545993424.426 * [exit]simplify: Simplified to (- (sqrt (acos a))) 1545993424.426 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (* (- (sqrt (acos a))) (* (sqrt (acos a)) (/ 1 a))))) 1545993424.426 * * * * [misc]progress: [ 25 / 56 ] simplifiying candidate # 1545993424.426 * [enter]simplify: Simplifying (- 1) 1545993424.426 * * [misc]simplify: iters left: 2 (2 enodes) 1545993424.427 * * [misc]simplify: iters left: 1 (5 enodes) 1545993424.427 * [exit]simplify: Simplified to -1 1545993424.427 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (* -1 (* (acos a) (/ 1 a))))) 1545993424.427 * * * * [misc]progress: [ 26 / 56 ] simplifiying candidate # 1545993424.428 * [enter]simplify: Simplifying (* (cbrt (acos a)) (cbrt (acos a))) 1545993424.428 * * [misc]simplify: iters left: 4 (4 enodes) 1545993424.429 * [exit]simplify: Simplified to (* (cbrt (acos a)) (cbrt (acos a))) 1545993424.429 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (* (* (cbrt (acos a)) (cbrt (acos a))) (* (- (cbrt (acos a))) (/ 1 a))))) 1545993424.429 * * * * [misc]progress: [ 27 / 56 ] simplifiying candidate # 1545993424.429 * [enter]simplify: Simplifying (sqrt (acos a)) 1545993424.429 * * [misc]simplify: iters left: 2 (3 enodes) 1545993424.430 * [exit]simplify: Simplified to (sqrt (acos a)) 1545993424.430 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (* (sqrt (acos a)) (* (- (sqrt (acos a))) (/ 1 a))))) 1545993424.430 * * * * [misc]progress: [ 28 / 56 ] simplifiying candidate # 1545993424.430 * * * * [misc]progress: [ 29 / 56 ] simplifiying candidate # 1545993424.430 * * * * [misc]progress: [ 30 / 56 ] simplifiying candidate # 1545993424.431 * * * * [misc]progress: [ 31 / 56 ] simplifiying candidate # 1545993424.431 * * * * [misc]progress: [ 32 / 56 ] simplifiying candidate # 1545993424.431 * * * * [misc]progress: [ 33 / 56 ] simplifiying candidate # 1545993424.431 * * * * [misc]progress: [ 34 / 56 ] simplifiying candidate # 1545993424.431 * [enter]simplify: Simplifying (- 1) 1545993424.431 * * [misc]simplify: iters left: 2 (2 enodes) 1545993424.432 * * [misc]simplify: iters left: 1 (5 enodes) 1545993424.433 * [exit]simplify: Simplified to -1 1545993424.433 * [misc]simplify: Simplified (2 2) to (λ (a) (pow (* (- (acos a)) (/ 1 a)) -1)) 1545993424.433 * * * * [misc]progress: [ 35 / 56 ] simplifiying candidate # 1545993424.434 * [enter]simplify: Simplifying (- 1) 1545993424.434 * * [misc]simplify: iters left: 2 (2 enodes) 1545993424.435 * * [misc]simplify: iters left: 1 (5 enodes) 1545993424.436 * [exit]simplify: Simplified to -1 1545993424.436 * [misc]simplify: Simplified (2 2) to (λ (a) (pow (* (- (acos a)) (/ 1 a)) -1)) 1545993424.436 * * * * [misc]progress: [ 36 / 56 ] simplifiying candidate # 1545993424.436 * * * * [misc]progress: [ 37 / 56 ] simplifiying candidate # 1545993424.436 * * * * [misc]progress: [ 38 / 56 ] simplifiying candidate # 1545993424.436 * * * * [misc]progress: [ 39 / 56 ] simplifiying candidate # 1545993424.436 * * * * [misc]progress: [ 40 / 56 ] simplifiying candidate # 1545993424.436 * * * * [misc]progress: [ 41 / 56 ] simplifiying candidate # 1545993424.436 * * * * [misc]progress: [ 42 / 56 ] simplifiying candidate # 1545993424.436 * * * * [misc]progress: [ 43 / 56 ] simplifiying candidate # 1545993424.436 * * * * [misc]progress: [ 44 / 56 ] simplifiying candidate # 1545993424.436 * * * * [misc]progress: [ 45 / 56 ] simplifiying candidate # 1545993424.436 * * * * [misc]progress: [ 46 / 56 ] simplifiying candidate # 1545993424.437 * * * * [misc]progress: [ 47 / 56 ] simplifiying candidate # 1545993424.437 * * * * [misc]progress: [ 48 / 56 ] simplifiying candidate # 1545993424.437 * [enter]simplify: Simplifying (/ 1 a) 1545993424.437 * * [misc]simplify: iters left: 2 (3 enodes) 1545993424.438 * * [misc]simplify: iters left: 1 (5 enodes) 1545993424.441 * [exit]simplify: Simplified to (/ 1 a) 1545993424.441 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (- (acos a))) (/ 1 a))) 1545993424.442 * * * * [misc]progress: [ 49 / 56 ] simplifiying candidate # 1545993424.442 * * * * [misc]progress: [ 50 / 56 ] simplifiying candidate # 1545993424.442 * * * * [misc]progress: [ 51 / 56 ] simplifiying candidate # 1545993424.442 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1545993424.442 * * [misc]simplify: iters left: 5 (5 enodes) 1545993424.444 * * [misc]simplify: iters left: 4 (9 enodes) 1545993424.446 * * [misc]simplify: iters left: 3 (14 enodes) 1545993424.450 * * [misc]simplify: iters left: 2 (16 enodes) 1545993424.454 * * [misc]simplify: iters left: 1 (18 enodes) 1545993424.458 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1545993424.458 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1545993424.459 * * * * [misc]progress: [ 52 / 56 ] simplifiying candidate # 1545993424.459 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1545993424.459 * * [misc]simplify: iters left: 5 (5 enodes) 1545993424.461 * * [misc]simplify: iters left: 4 (9 enodes) 1545993424.463 * * [misc]simplify: iters left: 3 (14 enodes) 1545993424.467 * * [misc]simplify: iters left: 2 (16 enodes) 1545993424.470 * * [misc]simplify: iters left: 1 (18 enodes) 1545993424.475 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1545993424.475 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1545993424.475 * * * * [misc]progress: [ 53 / 56 ] simplifiying candidate # 1545993424.475 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1545993424.476 * * [misc]simplify: iters left: 5 (5 enodes) 1545993424.477 * * [misc]simplify: iters left: 4 (9 enodes) 1545993424.480 * * [misc]simplify: iters left: 3 (14 enodes) 1545993424.483 * * [misc]simplify: iters left: 2 (16 enodes) 1545993424.487 * * [misc]simplify: iters left: 1 (18 enodes) 1545993424.491 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1545993424.491 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1545993424.491 * * * * [misc]progress: [ 54 / 56 ] simplifiying candidate # 1545993424.491 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545993424.491 * * [misc]simplify: iters left: 5 (5 enodes) 1545993424.493 * * [misc]simplify: iters left: 4 (9 enodes) 1545993424.495 * * [misc]simplify: iters left: 3 (14 enodes) 1545993424.498 * * [misc]simplify: iters left: 2 (16 enodes) 1545993424.502 * * [misc]simplify: iters left: 1 (18 enodes) 1545993424.506 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545993424.506 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545993424.506 * * * * [misc]progress: [ 55 / 56 ] simplifiying candidate # 1545993424.506 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545993424.506 * * [misc]simplify: iters left: 5 (5 enodes) 1545993424.508 * * [misc]simplify: iters left: 4 (9 enodes) 1545993424.510 * * [misc]simplify: iters left: 3 (14 enodes) 1545993424.514 * * [misc]simplify: iters left: 2 (16 enodes) 1545993424.517 * * [misc]simplify: iters left: 1 (18 enodes) 1545993424.522 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545993424.522 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545993424.522 * * * * [misc]progress: [ 56 / 56 ] simplifiying candidate # 1545993424.522 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1545993424.522 * * [misc]simplify: iters left: 5 (5 enodes) 1545993424.524 * * [misc]simplify: iters left: 4 (9 enodes) 1545993424.526 * * [misc]simplify: iters left: 3 (14 enodes) 1545993424.530 * * [misc]simplify: iters left: 2 (16 enodes) 1545993424.533 * * [misc]simplify: iters left: 1 (18 enodes) 1545993424.538 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1545993424.538 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1545993424.538 * * * [misc]progress: adding candidates to table 1545993424.986 * [misc]progress: [Phase 3 of 3] Extracting. 1545993424.986 * * [misc]regime: Finding splitpoints for: (# # # # # # #) 1545993424.987 * * * [misc]regime-changes: Trying 2 branch expressions: (a (/ a (- (acos a)))) 1545993424.987 * * * * [misc]regimes: Trying to branch on a from (# # # # # # #) 1545993425.024 * * * * [misc]regimes: Trying to branch on (/ a (- (acos a))) from (# # # # # # #) 1545993425.082 * * * [misc]regime: Found split indices: #