1550620090.739 * [misc]progress: [Phase 1 of 3] Setting up. 1550620090.739 * * * [misc]progress: [1/2] Preparing points 1550620090.787 * * * [misc]progress: [2/2] Setting up program. 1550620090.791 * [misc]progress: [Phase 2 of 3] Improving. 1550620090.791 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1550620090.791 * [enter]simplify: Simplifying (/ a (- (acos a))) 1550620090.791 * * [misc]simplify: iters left: 5 (4 enodes) 1550620090.793 * * [misc]simplify: iters left: 4 (12 enodes) 1550620090.796 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620090.796 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550620090.796 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550620090.796 * * [misc]simplify: Extracting #3: cost 5 inf + 92 1550620090.796 * * [misc]simplify: Extracting #4: cost 0 inf + 787 1550620090.796 * [exit]simplify: Simplified to (/ a (- (acos a))) 1550620090.796 * [misc]simplify: Simplified (2) to (λ (a) (/ a (- (acos a)))) 1550620090.798 * * [misc]progress: iteration 1 / 4 1550620090.798 * * * [misc]progress: picking best candidate 1550620090.800 * * * * [misc]pick: Picked # 1550620090.800 * * * [misc]progress: localizing error 1550620090.806 * * * [misc]progress: generating rewritten candidates 1550620090.806 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1550620090.808 * * * [misc]progress: generating series expansions 1550620090.808 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1550620090.808 * [misc]backup-simplify: Simplify (/ a (- (acos a))) into (* -1 (/ a (acos a))) 1550620090.808 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1550620090.808 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1550620090.808 * [misc]taylor: Taking taylor expansion of -1 in a 1550620090.808 * [misc]backup-simplify: Simplify -1 into -1 1550620090.808 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1550620090.808 * [misc]taylor: Taking taylor expansion of a in a 1550620090.808 * [misc]backup-simplify: Simplify 0 into 0 1550620090.808 * [misc]backup-simplify: Simplify 1 into 1 1550620090.808 * [misc]taylor: Taking taylor expansion of (acos a) in a 1550620090.808 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1550620090.808 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1550620090.808 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1550620090.808 * [misc]taylor: Taking taylor expansion of -1 in a 1550620090.808 * [misc]backup-simplify: Simplify -1 into -1 1550620090.808 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1550620090.808 * [misc]taylor: Taking taylor expansion of a in a 1550620090.808 * [misc]backup-simplify: Simplify 0 into 0 1550620090.808 * [misc]backup-simplify: Simplify 1 into 1 1550620090.808 * [misc]taylor: Taking taylor expansion of (acos a) in a 1550620090.808 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1550620090.809 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1550620090.809 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1550620090.809 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1550620090.809 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1550620090.809 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1550620090.809 * [misc]backup-simplify: Simplify 0 into 0 1550620090.809 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1550620090.810 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1550620090.810 * [misc]backup-simplify: Simplify 0 into 0 1550620090.810 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1550620090.810 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1550620090.810 * [misc]backup-simplify: Simplify 0 into 0 1550620090.810 * [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 1550620090.811 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1550620090.811 * [misc]backup-simplify: Simplify 0 into 0 1550620090.811 * [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 1550620090.812 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1550620090.812 * [misc]backup-simplify: Simplify 0 into 0 1550620090.812 * [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 1550620090.812 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1550620090.812 * [misc]backup-simplify: Simplify 0 into 0 1550620090.812 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1550620090.813 * [misc]backup-simplify: Simplify (/ (/ 1 a) (- (acos (/ 1 a)))) into (/ -1 (* a (acos (/ 1 a)))) 1550620090.813 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1550620090.813 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1550620090.813 * [misc]taylor: Taking taylor expansion of -1 in a 1550620090.813 * [misc]backup-simplify: Simplify -1 into -1 1550620090.813 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1550620090.813 * [misc]taylor: Taking taylor expansion of a in a 1550620090.813 * [misc]backup-simplify: Simplify 0 into 0 1550620090.813 * [misc]backup-simplify: Simplify 1 into 1 1550620090.813 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1550620090.813 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1550620090.813 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1550620090.813 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1550620090.813 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1550620090.813 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1550620090.813 * [misc]taylor: Taking taylor expansion of -1 in a 1550620090.813 * [misc]backup-simplify: Simplify -1 into -1 1550620090.813 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1550620090.813 * [misc]taylor: Taking taylor expansion of a in a 1550620090.813 * [misc]backup-simplify: Simplify 0 into 0 1550620090.813 * [misc]backup-simplify: Simplify 1 into 1 1550620090.813 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1550620090.813 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1550620090.813 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1550620090.813 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1550620090.813 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1550620090.813 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1550620090.814 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1550620090.814 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1550620090.814 * [misc]backup-simplify: Simplify 0 into 0 1550620090.814 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1550620090.814 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1550620090.814 * [misc]backup-simplify: Simplify 0 into 0 1550620090.815 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1550620090.815 * [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 1550620090.815 * [misc]backup-simplify: Simplify 0 into 0 1550620090.815 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1550620090.816 * [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 1550620090.816 * [misc]backup-simplify: Simplify 0 into 0 1550620090.816 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1550620090.816 * [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 1550620090.817 * [misc]backup-simplify: Simplify 0 into 0 1550620090.817 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1550620090.817 * [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 1550620090.817 * [misc]backup-simplify: Simplify 0 into 0 1550620090.818 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1550620090.818 * [misc]backup-simplify: Simplify (/ (/ 1 (- a)) (- (acos (/ 1 (- a))))) into (/ 1 (* a (acos (/ -1 a)))) 1550620090.818 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1550620090.818 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1550620090.818 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1550620090.818 * [misc]taylor: Taking taylor expansion of a in a 1550620090.818 * [misc]backup-simplify: Simplify 0 into 0 1550620090.818 * [misc]backup-simplify: Simplify 1 into 1 1550620090.818 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1550620090.818 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1550620090.818 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1550620090.818 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1550620090.818 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1550620090.818 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1550620090.818 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1550620090.818 * [misc]taylor: Taking taylor expansion of a in a 1550620090.818 * [misc]backup-simplify: Simplify 0 into 0 1550620090.818 * [misc]backup-simplify: Simplify 1 into 1 1550620090.818 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1550620090.818 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1550620090.818 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1550620090.818 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1550620090.818 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1550620090.819 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1550620090.819 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1550620090.819 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1550620090.819 * [misc]backup-simplify: Simplify 0 into 0 1550620090.819 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1550620090.819 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1550620090.819 * [misc]backup-simplify: Simplify 0 into 0 1550620090.820 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1550620090.820 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1550620090.820 * [misc]backup-simplify: Simplify 0 into 0 1550620090.820 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1550620090.821 * [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 1550620090.821 * [misc]backup-simplify: Simplify 0 into 0 1550620090.821 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1550620090.821 * [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 1550620090.822 * [misc]backup-simplify: Simplify 0 into 0 1550620090.822 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1550620090.822 * [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 1550620090.822 * [misc]backup-simplify: Simplify 0 into 0 1550620090.823 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1550620090.823 * * * [misc]progress: simplifying candidates 1550620090.823 * * * * [misc]progress: [ 1 / 24 ] simplifiying candidate # 1550620090.823 * * * * [misc]progress: [ 2 / 24 ] simplifiying candidate # 1550620090.823 * * * * [misc]progress: [ 3 / 24 ] simplifiying candidate # 1550620090.823 * * * * [misc]progress: [ 4 / 24 ] simplifiying candidate # 1550620090.823 * * * * [misc]progress: [ 5 / 24 ] simplifiying candidate # 1550620090.823 * * * * [misc]progress: [ 6 / 24 ] simplifiying candidate # 1550620090.823 * * * * [misc]progress: [ 7 / 24 ] simplifiying candidate # 1550620090.823 * * * * [misc]progress: [ 8 / 24 ] simplifiying candidate # 1550620090.823 * * * * [misc]progress: [ 9 / 24 ] simplifiying candidate # 1550620090.823 * * * * [misc]progress: [ 10 / 24 ] simplifiying candidate # 1550620090.823 * * * * [misc]progress: [ 11 / 24 ] simplifiying candidate # 1550620090.823 * [enter]simplify: Simplifying (cbrt (- (acos a))) 1550620090.823 * * [misc]simplify: iters left: 4 (4 enodes) 1550620090.824 * * [misc]simplify: iters left: 3 (12 enodes) 1550620090.826 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620090.826 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620090.826 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620090.826 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550620090.826 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550620090.826 * * [misc]simplify: Extracting #5: cost 0 inf + 867 1550620090.826 * [exit]simplify: Simplified to (cbrt (- (acos a))) 1550620090.826 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (cbrt (- (acos a))))) 1550620090.826 * * * * [misc]progress: [ 12 / 24 ] simplifiying candidate # 1550620090.826 * [enter]simplify: Simplifying (sqrt (- (acos a))) 1550620090.826 * * [misc]simplify: iters left: 4 (4 enodes) 1550620090.827 * * [misc]simplify: iters left: 3 (12 enodes) 1550620090.829 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620090.829 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620090.829 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620090.829 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550620090.829 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550620090.829 * * [misc]simplify: Extracting #5: cost 0 inf + 787 1550620090.829 * [exit]simplify: Simplified to (sqrt (- (acos a))) 1550620090.829 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (sqrt (- (acos a)))) (sqrt (- (acos a))))) 1550620090.829 * * * * [misc]progress: [ 13 / 24 ] simplifiying candidate # 1550620090.829 * [enter]simplify: Simplifying (- (acos a)) 1550620090.829 * * [misc]simplify: iters left: 3 (3 enodes) 1550620090.830 * * [misc]simplify: iters left: 2 (9 enodes) 1550620090.831 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620090.831 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620090.831 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620090.831 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550620090.831 * * [misc]simplify: Extracting #4: cost 0 inf + 445 1550620090.831 * [exit]simplify: Simplified to (- (acos a)) 1550620090.831 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a 1) (- (acos a)))) 1550620090.831 * * * * [misc]progress: [ 14 / 24 ] simplifiying candidate # 1550620090.831 * [enter]simplify: Simplifying (acos a) 1550620090.831 * * [misc]simplify: iters left: 1 (2 enodes) 1550620090.832 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620090.832 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620090.832 * * [misc]simplify: Extracting #2: cost 2 inf + 1 1550620090.832 * * [misc]simplify: Extracting #3: cost 0 inf + 183 1550620090.832 * [exit]simplify: Simplified to (acos a) 1550620090.832 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a -1) (acos a))) 1550620090.832 * * * * [misc]progress: [ 15 / 24 ] simplifiying candidate # 1550620090.832 * [enter]simplify: Simplifying (cbrt (acos a)) 1550620090.832 * * [misc]simplify: iters left: 2 (3 enodes) 1550620090.833 * * [misc]simplify: iters left: 1 (9 enodes) 1550620090.834 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620090.834 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620090.834 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620090.834 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550620090.834 * * [misc]simplify: Extracting #4: cost 0 inf + 525 1550620090.834 * [exit]simplify: Simplified to (cbrt (acos a)) 1550620090.834 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (- (* (cbrt (acos a)) (cbrt (acos a))))) (cbrt (acos a)))) 1550620090.834 * * * * [misc]progress: [ 16 / 24 ] simplifiying candidate # 1550620090.835 * [enter]simplify: Simplifying (sqrt (acos a)) 1550620090.835 * * [misc]simplify: iters left: 2 (3 enodes) 1550620090.835 * * [misc]simplify: iters left: 1 (9 enodes) 1550620090.842 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620090.842 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620090.842 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620090.842 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550620090.842 * * [misc]simplify: Extracting #4: cost 0 inf + 445 1550620090.842 * [exit]simplify: Simplified to (sqrt (acos a)) 1550620090.842 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (- (sqrt (acos a)))) (sqrt (acos a)))) 1550620090.842 * * * * [misc]progress: [ 17 / 24 ] simplifiying candidate # 1550620090.843 * [enter]simplify: Simplifying (acos a) 1550620090.843 * * [misc]simplify: iters left: 1 (2 enodes) 1550620090.843 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620090.843 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620090.843 * * [misc]simplify: Extracting #2: cost 2 inf + 1 1550620090.843 * * [misc]simplify: Extracting #3: cost 0 inf + 183 1550620090.843 * [exit]simplify: Simplified to (acos a) 1550620090.843 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (- 1)) (acos a))) 1550620090.843 * * * * [misc]progress: [ 18 / 24 ] simplifiying candidate # 1550620090.843 * [enter]simplify: Simplifying (- (cbrt (acos a))) 1550620090.843 * * [misc]simplify: iters left: 4 (4 enodes) 1550620090.844 * * [misc]simplify: iters left: 3 (12 enodes) 1550620090.846 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620090.846 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620090.846 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620090.846 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550620090.846 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550620090.846 * * [misc]simplify: Extracting #5: cost 0 inf + 947 1550620090.846 * [exit]simplify: Simplified to (- (cbrt (acos a))) 1550620090.846 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (* (cbrt (acos a)) (cbrt (acos a)))) (- (cbrt (acos a))))) 1550620090.846 * * * * [misc]progress: [ 19 / 24 ] simplifiying candidate # 1550620090.846 * [enter]simplify: Simplifying (- (sqrt (acos a))) 1550620090.846 * * [misc]simplify: iters left: 4 (4 enodes) 1550620090.847 * * [misc]simplify: iters left: 3 (12 enodes) 1550620090.849 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620090.849 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620090.849 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620090.849 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550620090.849 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550620090.849 * * [misc]simplify: Extracting #5: cost 0 inf + 787 1550620090.849 * [exit]simplify: Simplified to (- (sqrt (acos a))) 1550620090.849 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (sqrt (acos a))) (- (sqrt (acos a))))) 1550620090.850 * * * * [misc]progress: [ 20 / 24 ] simplifiying candidate # 1550620090.850 * [enter]simplify: Simplifying (- (acos a)) 1550620090.850 * * [misc]simplify: iters left: 3 (3 enodes) 1550620090.850 * * [misc]simplify: iters left: 2 (9 enodes) 1550620090.852 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620090.852 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620090.852 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620090.852 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550620090.852 * * [misc]simplify: Extracting #4: cost 0 inf + 445 1550620090.852 * [exit]simplify: Simplified to (- (acos a)) 1550620090.852 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a 1) (- (acos a)))) 1550620090.852 * * * * [misc]progress: [ 21 / 24 ] simplifiying candidate #real (real->posit16 (/ a (- (acos a))))))> 1550620090.852 * * * * [misc]progress: [ 22 / 24 ] simplifiying candidate # 1550620090.852 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1550620090.852 * * [misc]simplify: iters left: 5 (5 enodes) 1550620090.854 * * [misc]simplify: iters left: 4 (19 enodes) 1550620090.857 * * [misc]simplify: iters left: 3 (26 enodes) 1550620090.862 * * [misc]simplify: iters left: 2 (30 enodes) 1550620090.866 * * [misc]simplify: iters left: 1 (34 enodes) 1550620090.871 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620090.871 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550620090.871 * * [misc]simplify: Extracting #2: cost 8 inf + 738 1550620090.872 * * [misc]simplify: Extracting #3: cost 2 inf + 1396 1550620090.872 * * [misc]simplify: Extracting #4: cost 0 inf + 1660 1550620090.872 * [exit]simplify: Simplified to (- (/ a (acos a))) 1550620090.872 * [misc]simplify: Simplified (2) to (λ (a) (- (/ a (acos a)))) 1550620090.872 * * * * [misc]progress: [ 23 / 24 ] simplifiying candidate # 1550620090.872 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1550620090.872 * * [misc]simplify: iters left: 5 (5 enodes) 1550620090.874 * * [misc]simplify: iters left: 4 (19 enodes) 1550620090.877 * * [misc]simplify: iters left: 3 (26 enodes) 1550620090.881 * * [misc]simplify: iters left: 2 (30 enodes) 1550620090.885 * * [misc]simplify: iters left: 1 (34 enodes) 1550620090.891 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620090.891 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550620090.891 * * [misc]simplify: Extracting #2: cost 8 inf + 738 1550620090.891 * * [misc]simplify: Extracting #3: cost 2 inf + 1396 1550620090.891 * * [misc]simplify: Extracting #4: cost 0 inf + 1660 1550620090.891 * [exit]simplify: Simplified to (- (/ a (acos a))) 1550620090.891 * [misc]simplify: Simplified (2) to (λ (a) (- (/ a (acos a)))) 1550620090.892 * * * * [misc]progress: [ 24 / 24 ] simplifiying candidate # 1550620090.892 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1550620090.892 * * [misc]simplify: iters left: 5 (5 enodes) 1550620090.894 * * [misc]simplify: iters left: 4 (19 enodes) 1550620090.897 * * [misc]simplify: iters left: 3 (26 enodes) 1550620090.901 * * [misc]simplify: iters left: 2 (30 enodes) 1550620090.905 * * [misc]simplify: iters left: 1 (34 enodes) 1550620090.910 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620090.910 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550620090.910 * * [misc]simplify: Extracting #2: cost 8 inf + 738 1550620090.910 * * [misc]simplify: Extracting #3: cost 2 inf + 1396 1550620090.911 * * [misc]simplify: Extracting #4: cost 0 inf + 1660 1550620090.911 * [exit]simplify: Simplified to (- (/ a (acos a))) 1550620090.911 * [misc]simplify: Simplified (2) to (λ (a) (- (/ a (acos a)))) 1550620090.911 * * * [misc]progress: adding candidates to table 1550620091.017 * * [misc]progress: iteration 2 / 4 1550620091.017 * * * [misc]progress: picking best candidate 1550620091.025 * * * * [misc]pick: Picked # 1550620091.025 * * * [misc]progress: localizing error 1550620091.032 * * * [misc]progress: generating rewritten candidates 1550620091.032 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1550620091.035 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1550620091.043 * * * [misc]progress: generating series expansions 1550620091.043 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1550620091.043 * [misc]backup-simplify: Simplify (/ 1 (/ (- (acos a)) a)) into (* -1 (/ a (acos a))) 1550620091.043 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1550620091.043 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1550620091.043 * [misc]taylor: Taking taylor expansion of -1 in a 1550620091.043 * [misc]backup-simplify: Simplify -1 into -1 1550620091.043 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1550620091.043 * [misc]taylor: Taking taylor expansion of a in a 1550620091.043 * [misc]backup-simplify: Simplify 0 into 0 1550620091.043 * [misc]backup-simplify: Simplify 1 into 1 1550620091.043 * [misc]taylor: Taking taylor expansion of (acos a) in a 1550620091.044 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1550620091.044 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1550620091.044 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1550620091.044 * [misc]taylor: Taking taylor expansion of -1 in a 1550620091.044 * [misc]backup-simplify: Simplify -1 into -1 1550620091.044 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1550620091.044 * [misc]taylor: Taking taylor expansion of a in a 1550620091.044 * [misc]backup-simplify: Simplify 0 into 0 1550620091.044 * [misc]backup-simplify: Simplify 1 into 1 1550620091.044 * [misc]taylor: Taking taylor expansion of (acos a) in a 1550620091.044 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1550620091.044 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1550620091.044 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1550620091.044 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1550620091.044 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1550620091.045 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1550620091.045 * [misc]backup-simplify: Simplify 0 into 0 1550620091.045 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1550620091.045 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1550620091.045 * [misc]backup-simplify: Simplify 0 into 0 1550620091.045 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1550620091.045 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1550620091.045 * [misc]backup-simplify: Simplify 0 into 0 1550620091.046 * [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 1550620091.046 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1550620091.046 * [misc]backup-simplify: Simplify 0 into 0 1550620091.046 * [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 1550620091.047 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1550620091.047 * [misc]backup-simplify: Simplify 0 into 0 1550620091.047 * [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 1550620091.048 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1550620091.048 * [misc]backup-simplify: Simplify 0 into 0 1550620091.048 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1550620091.048 * [misc]backup-simplify: Simplify (/ 1 (/ (- (acos (/ 1 a))) (/ 1 a))) into (/ -1 (* a (acos (/ 1 a)))) 1550620091.048 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1550620091.048 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1550620091.048 * [misc]taylor: Taking taylor expansion of -1 in a 1550620091.048 * [misc]backup-simplify: Simplify -1 into -1 1550620091.048 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1550620091.048 * [misc]taylor: Taking taylor expansion of a in a 1550620091.048 * [misc]backup-simplify: Simplify 0 into 0 1550620091.048 * [misc]backup-simplify: Simplify 1 into 1 1550620091.048 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1550620091.048 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1550620091.048 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1550620091.048 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1550620091.048 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1550620091.048 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1550620091.048 * [misc]taylor: Taking taylor expansion of -1 in a 1550620091.048 * [misc]backup-simplify: Simplify -1 into -1 1550620091.048 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1550620091.048 * [misc]taylor: Taking taylor expansion of a in a 1550620091.048 * [misc]backup-simplify: Simplify 0 into 0 1550620091.048 * [misc]backup-simplify: Simplify 1 into 1 1550620091.048 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1550620091.048 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1550620091.048 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1550620091.049 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1550620091.049 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1550620091.049 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1550620091.049 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1550620091.049 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1550620091.049 * [misc]backup-simplify: Simplify 0 into 0 1550620091.049 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1550620091.050 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1550620091.050 * [misc]backup-simplify: Simplify 0 into 0 1550620091.050 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1550620091.050 * [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 1550620091.050 * [misc]backup-simplify: Simplify 0 into 0 1550620091.051 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1550620091.051 * [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 1550620091.051 * [misc]backup-simplify: Simplify 0 into 0 1550620091.051 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1550620091.052 * [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 1550620091.052 * [misc]backup-simplify: Simplify 0 into 0 1550620091.052 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1550620091.053 * [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 1550620091.053 * [misc]backup-simplify: Simplify 0 into 0 1550620091.053 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1550620091.053 * [misc]backup-simplify: Simplify (/ 1 (/ (- (acos (/ 1 (- a)))) (/ 1 (- a)))) into (/ 1 (* a (acos (/ -1 a)))) 1550620091.053 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1550620091.053 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1550620091.053 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1550620091.053 * [misc]taylor: Taking taylor expansion of a in a 1550620091.053 * [misc]backup-simplify: Simplify 0 into 0 1550620091.053 * [misc]backup-simplify: Simplify 1 into 1 1550620091.053 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1550620091.053 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1550620091.053 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1550620091.053 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1550620091.053 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1550620091.053 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1550620091.053 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1550620091.053 * [misc]taylor: Taking taylor expansion of a in a 1550620091.053 * [misc]backup-simplify: Simplify 0 into 0 1550620091.053 * [misc]backup-simplify: Simplify 1 into 1 1550620091.053 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1550620091.053 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1550620091.054 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1550620091.054 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1550620091.054 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1550620091.054 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1550620091.054 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1550620091.054 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1550620091.054 * [misc]backup-simplify: Simplify 0 into 0 1550620091.054 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1550620091.055 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1550620091.055 * [misc]backup-simplify: Simplify 0 into 0 1550620091.055 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1550620091.055 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1550620091.055 * [misc]backup-simplify: Simplify 0 into 0 1550620091.056 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1550620091.056 * [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 1550620091.056 * [misc]backup-simplify: Simplify 0 into 0 1550620091.059 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1550620091.059 * [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 1550620091.059 * [misc]backup-simplify: Simplify 0 into 0 1550620091.060 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1550620091.060 * [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 1550620091.060 * [misc]backup-simplify: Simplify 0 into 0 1550620091.060 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1550620091.060 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1550620091.060 * [misc]backup-simplify: Simplify (/ (- (acos a)) a) into (* -1 (/ (acos a) a)) 1550620091.060 * [misc]approximate: Taking taylor expansion of (* -1 (/ (acos a) a)) in (a) around 0 1550620091.060 * [misc]taylor: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 1550620091.060 * [misc]taylor: Taking taylor expansion of -1 in a 1550620091.060 * [misc]backup-simplify: Simplify -1 into -1 1550620091.060 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1550620091.060 * [misc]taylor: Taking taylor expansion of (acos a) in a 1550620091.060 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1550620091.060 * [misc]taylor: Taking taylor expansion of a in a 1550620091.060 * [misc]backup-simplify: Simplify 0 into 0 1550620091.060 * [misc]backup-simplify: Simplify 1 into 1 1550620091.060 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1550620091.060 * [misc]taylor: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 1550620091.060 * [misc]taylor: Taking taylor expansion of -1 in a 1550620091.060 * [misc]backup-simplify: Simplify -1 into -1 1550620091.060 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1550620091.060 * [misc]taylor: Taking taylor expansion of (acos a) in a 1550620091.060 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1550620091.060 * [misc]taylor: Taking taylor expansion of a in a 1550620091.060 * [misc]backup-simplify: Simplify 0 into 0 1550620091.060 * [misc]backup-simplify: Simplify 1 into 1 1550620091.061 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1550620091.061 * [misc]backup-simplify: Simplify (* -1 (acos a)) into (* -1 (acos a)) 1550620091.061 * [misc]backup-simplify: Simplify (* -1 (acos a)) into (* -1 (acos a)) 1550620091.061 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)))) into 0 1550620091.061 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (acos a))) into 0 1550620091.061 * [misc]backup-simplify: Simplify 0 into 0 1550620091.061 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550620091.062 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (acos a)))) into 0 1550620091.062 * [misc]backup-simplify: Simplify 0 into 0 1550620091.062 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550620091.062 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a))))) into 0 1550620091.062 * [misc]backup-simplify: Simplify 0 into 0 1550620091.063 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550620091.063 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a)))))) into 0 1550620091.063 * [misc]backup-simplify: Simplify 0 into 0 1550620091.064 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550620091.064 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a))))))) into 0 1550620091.064 * [misc]backup-simplify: Simplify 0 into 0 1550620091.065 * [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 1550620091.065 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a)))))))) into 0 1550620091.065 * [misc]backup-simplify: Simplify 0 into 0 1550620091.065 * [misc]backup-simplify: Simplify (* (* -1 (acos a)) (/ 1 a)) into (* -1 (/ (acos a) a)) 1550620091.065 * [misc]backup-simplify: Simplify (/ (- (acos (/ 1 a))) (/ 1 a)) into (* -1 (* a (acos (/ 1 a)))) 1550620091.065 * [misc]approximate: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in (a) around 0 1550620091.065 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in a 1550620091.065 * [misc]taylor: Taking taylor expansion of -1 in a 1550620091.065 * [misc]backup-simplify: Simplify -1 into -1 1550620091.065 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1550620091.066 * [misc]taylor: Taking taylor expansion of a in a 1550620091.066 * [misc]backup-simplify: Simplify 0 into 0 1550620091.066 * [misc]backup-simplify: Simplify 1 into 1 1550620091.066 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1550620091.066 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1550620091.066 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in a 1550620091.066 * [misc]taylor: Taking taylor expansion of -1 in a 1550620091.066 * [misc]backup-simplify: Simplify -1 into -1 1550620091.066 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1550620091.066 * [misc]taylor: Taking taylor expansion of a in a 1550620091.066 * [misc]backup-simplify: Simplify 0 into 0 1550620091.066 * [misc]backup-simplify: Simplify 1 into 1 1550620091.066 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1550620091.066 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1550620091.066 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1550620091.066 * [misc]backup-simplify: Simplify (* -1 0) into 0 1550620091.066 * [misc]backup-simplify: Simplify 0 into 0 1550620091.066 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1550620091.066 * [misc]backup-simplify: Simplify (+ (* -1 (acos (/ 1 a))) (* 0 0)) into (- (acos (/ 1 a))) 1550620091.066 * [misc]backup-simplify: Simplify (- (acos (/ 1 a))) into (- (acos (/ 1 a))) 1550620091.067 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1550620091.067 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))) into 0 1550620091.067 * [misc]backup-simplify: Simplify 0 into 0 1550620091.067 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1550620091.067 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))) into 0 1550620091.067 * [misc]backup-simplify: Simplify 0 into 0 1550620091.068 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1550620091.068 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))))) into 0 1550620091.068 * [misc]backup-simplify: Simplify 0 into 0 1550620091.069 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1550620091.070 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))))) into 0 1550620091.070 * [misc]backup-simplify: Simplify 0 into 0 1550620091.070 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1550620091.071 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))))))) into 0 1550620091.071 * [misc]backup-simplify: Simplify 0 into 0 1550620091.071 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1550620091.072 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))))))) into 0 1550620091.072 * [misc]backup-simplify: Simplify 0 into 0 1550620091.072 * [misc]backup-simplify: Simplify (* (- (acos (/ 1 (/ 1 a)))) (/ 1 a)) into (* -1 (/ (acos a) a)) 1550620091.072 * [misc]backup-simplify: Simplify (/ (- (acos (/ 1 (- a)))) (/ 1 (- a))) into (* a (acos (/ -1 a))) 1550620091.072 * [misc]approximate: Taking taylor expansion of (* a (acos (/ -1 a))) in (a) around 0 1550620091.072 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1550620091.072 * [misc]taylor: Taking taylor expansion of a in a 1550620091.072 * [misc]backup-simplify: Simplify 0 into 0 1550620091.072 * [misc]backup-simplify: Simplify 1 into 1 1550620091.072 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1550620091.073 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1550620091.073 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1550620091.073 * [misc]taylor: Taking taylor expansion of a in a 1550620091.073 * [misc]backup-simplify: Simplify 0 into 0 1550620091.073 * [misc]backup-simplify: Simplify 1 into 1 1550620091.073 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1550620091.073 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1550620091.073 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1550620091.073 * [misc]backup-simplify: Simplify 0 into 0 1550620091.073 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1550620091.073 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1550620091.073 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1550620091.073 * [misc]backup-simplify: Simplify 0 into 0 1550620091.074 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1550620091.074 * [misc]backup-simplify: Simplify 0 into 0 1550620091.074 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1550620091.074 * [misc]backup-simplify: Simplify 0 into 0 1550620091.075 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1550620091.075 * [misc]backup-simplify: Simplify 0 into 0 1550620091.075 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1550620091.075 * [misc]backup-simplify: Simplify 0 into 0 1550620091.076 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1550620091.076 * [misc]backup-simplify: Simplify 0 into 0 1550620091.076 * [misc]backup-simplify: Simplify (* (acos (/ -1 (/ 1 (- a)))) (/ 1 (- a))) into (* -1 (/ (acos a) a)) 1550620091.076 * * * [misc]progress: simplifying candidates 1550620091.076 * * * * [misc]progress: [ 1 / 48 ] simplifiying candidate # 1550620091.076 * * * * [misc]progress: [ 2 / 48 ] simplifiying candidate # 1550620091.076 * [enter]simplify: Simplifying (- 1) 1550620091.076 * * [misc]simplify: iters left: 2 (2 enodes) 1550620091.078 * * [misc]simplify: iters left: 1 (9 enodes) 1550620091.079 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.079 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550620091.079 * [exit]simplify: Simplified to -1 1550620091.079 * [misc]simplify: Simplified (2 2) to (λ (a) (pow (/ (- (acos a)) a) -1)) 1550620091.080 * * * * [misc]progress: [ 3 / 48 ] simplifiying candidate # 1550620091.080 * * * * [misc]progress: [ 4 / 48 ] simplifiying candidate # 1550620091.080 * * * * [misc]progress: [ 5 / 48 ] simplifiying candidate # 1550620091.080 * * * * [misc]progress: [ 6 / 48 ] simplifiying candidate # 1550620091.080 * * * * [misc]progress: [ 7 / 48 ] simplifiying candidate # 1550620091.080 * * * * [misc]progress: [ 8 / 48 ] simplifiying candidate # 1550620091.080 * * * * [misc]progress: [ 9 / 48 ] simplifiying candidate # 1550620091.080 * * * * [misc]progress: [ 10 / 48 ] simplifiying candidate # 1550620091.080 * * * * [misc]progress: [ 11 / 48 ] simplifiying candidate # 1550620091.080 * * * * [misc]progress: [ 12 / 48 ] simplifiying candidate # 1550620091.080 * * * * [misc]progress: [ 13 / 48 ] simplifiying candidate # 1550620091.080 * * * * [misc]progress: [ 14 / 48 ] simplifiying candidate # 1550620091.080 * [enter]simplify: Simplifying (cbrt (/ (- (acos a)) a)) 1550620091.080 * * [misc]simplify: iters left: 6 (5 enodes) 1550620091.081 * * [misc]simplify: iters left: 5 (17 enodes) 1550620091.084 * * [misc]simplify: iters left: 4 (19 enodes) 1550620091.086 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.086 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620091.086 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550620091.087 * * [misc]simplify: Extracting #3: cost 9 inf + 1 1550620091.087 * * [misc]simplify: Extracting #4: cost 1 inf + 1460 1550620091.087 * * [misc]simplify: Extracting #5: cost 0 inf + 1551 1550620091.087 * [exit]simplify: Simplified to (cbrt (/ (- (acos a)) a)) 1550620091.087 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (* (cbrt (/ (- (acos a)) a)) (cbrt (/ (- (acos a)) a)))) (cbrt (/ (- (acos a)) a)))) 1550620091.087 * * * * [misc]progress: [ 15 / 48 ] simplifiying candidate # 1550620091.087 * [enter]simplify: Simplifying (sqrt (/ (- (acos a)) a)) 1550620091.087 * * [misc]simplify: iters left: 6 (5 enodes) 1550620091.088 * * [misc]simplify: iters left: 5 (17 enodes) 1550620091.091 * * [misc]simplify: iters left: 4 (19 enodes) 1550620091.094 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.094 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620091.094 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550620091.094 * * [misc]simplify: Extracting #3: cost 9 inf + 1 1550620091.094 * * [misc]simplify: Extracting #4: cost 1 inf + 1380 1550620091.094 * * [misc]simplify: Extracting #5: cost 0 inf + 1471 1550620091.094 * [exit]simplify: Simplified to (sqrt (/ (- (acos a)) a)) 1550620091.094 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (sqrt (/ (- (acos a)) a))) (sqrt (/ (- (acos a)) a)))) 1550620091.094 * * * * [misc]progress: [ 16 / 48 ] simplifiying candidate # 1550620091.094 * [enter]simplify: Simplifying (/ (- (acos a)) a) 1550620091.095 * * [misc]simplify: iters left: 5 (4 enodes) 1550620091.095 * * [misc]simplify: iters left: 4 (14 enodes) 1550620091.098 * * [misc]simplify: iters left: 3 (16 enodes) 1550620091.101 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.101 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550620091.101 * * [misc]simplify: Extracting #2: cost 7 inf + 1 1550620091.101 * * [misc]simplify: Extracting #3: cost 1 inf + 958 1550620091.101 * * [misc]simplify: Extracting #4: cost 0 inf + 1049 1550620091.101 * [exit]simplify: Simplified to (/ (- (acos a)) a) 1550620091.101 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 1) (/ (- (acos a)) a))) 1550620091.101 * * * * [misc]progress: [ 17 / 48 ] simplifiying candidate # 1550620091.101 * [enter]simplify: Simplifying (/ 1 a) 1550620091.101 * * [misc]simplify: iters left: 2 (3 enodes) 1550620091.103 * * [misc]simplify: iters left: 1 (11 enodes) 1550620091.105 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.105 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550620091.105 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1550620091.105 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1550620091.105 * [exit]simplify: Simplified to (/ 1 a) 1550620091.105 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (- (acos a))) (/ 1 a))) 1550620091.105 * * * * [misc]progress: [ 18 / 48 ] simplifiying candidate # 1550620091.105 * * * * [misc]progress: [ 19 / 48 ] simplifiying candidate #real (real->posit16 (/ 1 (/ (- (acos a)) a)))))> 1550620091.105 * * * * [misc]progress: [ 20 / 48 ] simplifiying candidate # 1550620091.105 * * * * [misc]progress: [ 21 / 48 ] simplifiying candidate # 1550620091.105 * * * * [misc]progress: [ 22 / 48 ] simplifiying candidate # 1550620091.105 * * * * [misc]progress: [ 23 / 48 ] simplifiying candidate # 1550620091.105 * * * * [misc]progress: [ 24 / 48 ] simplifiying candidate # 1550620091.105 * * * * [misc]progress: [ 25 / 48 ] simplifiying candidate # 1550620091.105 * * * * [misc]progress: [ 26 / 48 ] simplifiying candidate # 1550620091.105 * * * * [misc]progress: [ 27 / 48 ] simplifiying candidate # 1550620091.105 * [enter]simplify: Simplifying (/ 0 a) 1550620091.105 * * [misc]simplify: iters left: 2 (3 enodes) 1550620091.107 * * [misc]simplify: iters left: 1 (7 enodes) 1550620091.108 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.108 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550620091.108 * [exit]simplify: Simplified to 0 1550620091.108 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (- 0 (/ (acos a) a)))) 1550620091.108 * * * * [misc]progress: [ 28 / 48 ] simplifiying candidate # 1550620091.108 * * * * [misc]progress: [ 29 / 48 ] simplifiying candidate # 1550620091.108 * * * * [misc]progress: [ 30 / 48 ] simplifiying candidate # 1550620091.108 * * * * [misc]progress: [ 31 / 48 ] simplifiying candidate # 1550620091.108 * [enter]simplify: Simplifying (/ (acos a) a) 1550620091.108 * * [misc]simplify: iters left: 3 (3 enodes) 1550620091.109 * * [misc]simplify: iters left: 2 (9 enodes) 1550620091.110 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.110 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550620091.110 * * [misc]simplify: Extracting #2: cost 4 inf + 1 1550620091.110 * * [misc]simplify: Extracting #3: cost 0 inf + 445 1550620091.110 * [exit]simplify: Simplified to (/ (acos a) a) 1550620091.110 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (- (/ (acos a) a)))) 1550620091.110 * * * * [misc]progress: [ 32 / 48 ] simplifiying candidate # 1550620091.110 * [enter]simplify: Simplifying (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1550620091.110 * * [misc]simplify: iters left: 6 (5 enodes) 1550620091.112 * * [misc]simplify: iters left: 5 (15 enodes) 1550620091.114 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.114 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620091.114 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620091.114 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550620091.114 * * [misc]simplify: Extracting #4: cost 9 inf + 0 1550620091.114 * * [misc]simplify: Extracting #5: cost 8 inf + 1 1550620091.114 * * [misc]simplify: Extracting #6: cost 0 inf + 1369 1550620091.114 * [exit]simplify: Simplified to (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1550620091.114 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (/ a (cbrt (- (acos a))))))) 1550620091.114 * * * * [misc]progress: [ 33 / 48 ] simplifiying candidate # 1550620091.114 * [enter]simplify: Simplifying (sqrt (- (acos a))) 1550620091.114 * * [misc]simplify: iters left: 4 (4 enodes) 1550620091.115 * * [misc]simplify: iters left: 3 (12 enodes) 1550620091.117 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.117 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620091.117 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620091.117 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550620091.117 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550620091.117 * * [misc]simplify: Extracting #5: cost 0 inf + 787 1550620091.117 * [exit]simplify: Simplified to (sqrt (- (acos a))) 1550620091.117 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (sqrt (- (acos a))) (/ a (sqrt (- (acos a))))))) 1550620091.117 * * * * [misc]progress: [ 34 / 48 ] simplifiying candidate # 1550620091.117 * * * * [misc]progress: [ 35 / 48 ] simplifiying candidate # 1550620091.117 * * * * [misc]progress: [ 36 / 48 ] simplifiying candidate # 1550620091.117 * [enter]simplify: Simplifying (- (* (cbrt (acos a)) (cbrt (acos a)))) 1550620091.117 * * [misc]simplify: iters left: 6 (5 enodes) 1550620091.119 * * [misc]simplify: iters left: 5 (18 enodes) 1550620091.121 * * [misc]simplify: iters left: 4 (20 enodes) 1550620091.124 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.124 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550620091.124 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550620091.124 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550620091.124 * * [misc]simplify: Extracting #4: cost 10 inf + 1 1550620091.124 * * [misc]simplify: Extracting #5: cost 0 inf + 1871 1550620091.124 * [exit]simplify: Simplified to (- (* (cbrt (acos a)) (cbrt (acos a)))) 1550620091.124 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (- (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (cbrt (acos a)))))) 1550620091.124 * * * * [misc]progress: [ 37 / 48 ] simplifiying candidate # 1550620091.125 * [enter]simplify: Simplifying (- (sqrt (acos a))) 1550620091.125 * * [misc]simplify: iters left: 4 (4 enodes) 1550620091.126 * * [misc]simplify: iters left: 3 (12 enodes) 1550620091.127 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.127 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620091.127 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620091.127 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550620091.127 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550620091.127 * * [misc]simplify: Extracting #5: cost 0 inf + 787 1550620091.127 * [exit]simplify: Simplified to (- (sqrt (acos a))) 1550620091.128 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (- (sqrt (acos a))) (/ a (sqrt (acos a)))))) 1550620091.128 * * * * [misc]progress: [ 38 / 48 ] simplifiying candidate # 1550620091.128 * [enter]simplify: Simplifying (- 1) 1550620091.128 * * [misc]simplify: iters left: 2 (2 enodes) 1550620091.129 * * [misc]simplify: iters left: 1 (9 enodes) 1550620091.131 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.131 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550620091.131 * [exit]simplify: Simplified to -1 1550620091.131 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ -1 (/ a (acos a))))) 1550620091.131 * * * * [misc]progress: [ 39 / 48 ] simplifiying candidate # 1550620091.131 * [enter]simplify: Simplifying (* (cbrt (acos a)) (cbrt (acos a))) 1550620091.131 * * [misc]simplify: iters left: 4 (4 enodes) 1550620091.132 * * [misc]simplify: iters left: 3 (12 enodes) 1550620091.134 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.134 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620091.134 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620091.134 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550620091.134 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550620091.134 * * [misc]simplify: Extracting #5: cost 0 inf + 947 1550620091.134 * [exit]simplify: Simplified to (* (cbrt (acos a)) (cbrt (acos a))) 1550620091.134 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (/ a (- (cbrt (acos a))))))) 1550620091.134 * * * * [misc]progress: [ 40 / 48 ] simplifiying candidate # 1550620091.135 * [enter]simplify: Simplifying (sqrt (acos a)) 1550620091.135 * * [misc]simplify: iters left: 2 (3 enodes) 1550620091.135 * * [misc]simplify: iters left: 1 (9 enodes) 1550620091.137 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.137 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620091.137 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620091.137 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550620091.137 * * [misc]simplify: Extracting #4: cost 0 inf + 445 1550620091.137 * [exit]simplify: Simplified to (sqrt (acos a)) 1550620091.137 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (sqrt (acos a)) (/ a (- (sqrt (acos a))))))) 1550620091.137 * * * * [misc]progress: [ 41 / 48 ] simplifiying candidate # 1550620091.137 * * * * [misc]progress: [ 42 / 48 ] simplifiying candidate #real (real->posit16 (/ (- (acos a)) a)))))> 1550620091.137 * * * * [misc]progress: [ 43 / 48 ] simplifiying candidate # 1550620091.138 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1550620091.138 * * [misc]simplify: iters left: 5 (5 enodes) 1550620091.140 * * [misc]simplify: iters left: 4 (19 enodes) 1550620091.144 * * [misc]simplify: iters left: 3 (26 enodes) 1550620091.148 * * [misc]simplify: iters left: 2 (30 enodes) 1550620091.154 * * [misc]simplify: iters left: 1 (34 enodes) 1550620091.159 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.159 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550620091.159 * * [misc]simplify: Extracting #2: cost 8 inf + 738 1550620091.159 * * [misc]simplify: Extracting #3: cost 2 inf + 1396 1550620091.159 * * [misc]simplify: Extracting #4: cost 0 inf + 1660 1550620091.160 * [exit]simplify: Simplified to (- (/ a (acos a))) 1550620091.160 * [misc]simplify: Simplified (2) to (λ (a) (- (/ a (acos a)))) 1550620091.160 * * * * [misc]progress: [ 44 / 48 ] simplifiying candidate # 1550620091.160 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1550620091.160 * * [misc]simplify: iters left: 5 (5 enodes) 1550620091.161 * * [misc]simplify: iters left: 4 (19 enodes) 1550620091.165 * * [misc]simplify: iters left: 3 (26 enodes) 1550620091.169 * * [misc]simplify: iters left: 2 (30 enodes) 1550620091.177 * * [misc]simplify: iters left: 1 (34 enodes) 1550620091.187 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.187 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550620091.188 * * [misc]simplify: Extracting #2: cost 8 inf + 738 1550620091.188 * * [misc]simplify: Extracting #3: cost 2 inf + 1396 1550620091.188 * * [misc]simplify: Extracting #4: cost 0 inf + 1660 1550620091.189 * [exit]simplify: Simplified to (- (/ a (acos a))) 1550620091.189 * [misc]simplify: Simplified (2) to (λ (a) (- (/ a (acos a)))) 1550620091.189 * * * * [misc]progress: [ 45 / 48 ] simplifiying candidate # 1550620091.189 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1550620091.189 * * [misc]simplify: iters left: 5 (5 enodes) 1550620091.192 * * [misc]simplify: iters left: 4 (19 enodes) 1550620091.196 * * [misc]simplify: iters left: 3 (26 enodes) 1550620091.200 * * [misc]simplify: iters left: 2 (30 enodes) 1550620091.204 * * [misc]simplify: iters left: 1 (34 enodes) 1550620091.209 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.209 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550620091.209 * * [misc]simplify: Extracting #2: cost 8 inf + 738 1550620091.209 * * [misc]simplify: Extracting #3: cost 2 inf + 1396 1550620091.210 * * [misc]simplify: Extracting #4: cost 0 inf + 1660 1550620091.210 * [exit]simplify: Simplified to (- (/ a (acos a))) 1550620091.210 * [misc]simplify: Simplified (2) to (λ (a) (- (/ a (acos a)))) 1550620091.210 * * * * [misc]progress: [ 46 / 48 ] simplifiying candidate # 1550620091.210 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1550620091.210 * * [misc]simplify: iters left: 5 (5 enodes) 1550620091.212 * * [misc]simplify: iters left: 4 (19 enodes) 1550620091.215 * * [misc]simplify: iters left: 3 (26 enodes) 1550620091.219 * * [misc]simplify: iters left: 2 (30 enodes) 1550620091.223 * * [misc]simplify: iters left: 1 (34 enodes) 1550620091.228 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.228 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550620091.228 * * [misc]simplify: Extracting #2: cost 8 inf + 828 1550620091.228 * * [misc]simplify: Extracting #3: cost 2 inf + 1396 1550620091.229 * * [misc]simplify: Extracting #4: cost 0 inf + 1480 1550620091.229 * [exit]simplify: Simplified to (- (/ (acos a) a)) 1550620091.229 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (- (/ (acos a) a)))) 1550620091.229 * * * * [misc]progress: [ 47 / 48 ] simplifiying candidate # 1550620091.229 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1550620091.229 * * [misc]simplify: iters left: 5 (5 enodes) 1550620091.231 * * [misc]simplify: iters left: 4 (19 enodes) 1550620091.234 * * [misc]simplify: iters left: 3 (26 enodes) 1550620091.238 * * [misc]simplify: iters left: 2 (30 enodes) 1550620091.242 * * [misc]simplify: iters left: 1 (34 enodes) 1550620091.248 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.249 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550620091.249 * * [misc]simplify: Extracting #2: cost 8 inf + 828 1550620091.249 * * [misc]simplify: Extracting #3: cost 2 inf + 1396 1550620091.249 * * [misc]simplify: Extracting #4: cost 0 inf + 1480 1550620091.249 * [exit]simplify: Simplified to (- (/ (acos a) a)) 1550620091.249 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (- (/ (acos a) a)))) 1550620091.249 * * * * [misc]progress: [ 48 / 48 ] simplifiying candidate # 1550620091.250 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1550620091.250 * * [misc]simplify: iters left: 5 (5 enodes) 1550620091.251 * * [misc]simplify: iters left: 4 (19 enodes) 1550620091.254 * * [misc]simplify: iters left: 3 (26 enodes) 1550620091.258 * * [misc]simplify: iters left: 2 (30 enodes) 1550620091.263 * * [misc]simplify: iters left: 1 (34 enodes) 1550620091.268 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.268 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550620091.268 * * [misc]simplify: Extracting #2: cost 8 inf + 828 1550620091.268 * * [misc]simplify: Extracting #3: cost 2 inf + 1396 1550620091.269 * * [misc]simplify: Extracting #4: cost 0 inf + 1480 1550620091.269 * [exit]simplify: Simplified to (- (/ (acos a) a)) 1550620091.269 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (- (/ (acos a) a)))) 1550620091.269 * * * [misc]progress: adding candidates to table 1550620091.483 * * [misc]progress: iteration 3 / 4 1550620091.483 * * * [misc]progress: picking best candidate 1550620091.495 * * * * [misc]pick: Picked # 1550620091.495 * * * [misc]progress: localizing error 1550620091.512 * * * [misc]progress: generating rewritten candidates 1550620091.512 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1550620091.518 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1550620091.524 * * * [misc]progress: generating series expansions 1550620091.524 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1550620091.524 * [misc]backup-simplify: Simplify (/ 1 (* (- (acos a)) (/ 1 a))) into (* -1 (/ a (acos a))) 1550620091.524 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1550620091.524 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1550620091.524 * [misc]taylor: Taking taylor expansion of -1 in a 1550620091.524 * [misc]backup-simplify: Simplify -1 into -1 1550620091.524 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1550620091.524 * [misc]taylor: Taking taylor expansion of a in a 1550620091.524 * [misc]backup-simplify: Simplify 0 into 0 1550620091.524 * [misc]backup-simplify: Simplify 1 into 1 1550620091.524 * [misc]taylor: Taking taylor expansion of (acos a) in a 1550620091.524 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1550620091.524 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1550620091.524 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1550620091.524 * [misc]taylor: Taking taylor expansion of -1 in a 1550620091.524 * [misc]backup-simplify: Simplify -1 into -1 1550620091.524 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1550620091.524 * [misc]taylor: Taking taylor expansion of a in a 1550620091.524 * [misc]backup-simplify: Simplify 0 into 0 1550620091.524 * [misc]backup-simplify: Simplify 1 into 1 1550620091.524 * [misc]taylor: Taking taylor expansion of (acos a) in a 1550620091.524 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1550620091.524 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1550620091.525 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1550620091.525 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1550620091.525 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1550620091.525 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1550620091.525 * [misc]backup-simplify: Simplify 0 into 0 1550620091.525 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1550620091.525 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1550620091.525 * [misc]backup-simplify: Simplify 0 into 0 1550620091.526 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1550620091.526 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1550620091.526 * [misc]backup-simplify: Simplify 0 into 0 1550620091.526 * [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 1550620091.527 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1550620091.527 * [misc]backup-simplify: Simplify 0 into 0 1550620091.527 * [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 1550620091.527 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1550620091.527 * [misc]backup-simplify: Simplify 0 into 0 1550620091.527 * [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 1550620091.528 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1550620091.528 * [misc]backup-simplify: Simplify 0 into 0 1550620091.528 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1550620091.528 * [misc]backup-simplify: Simplify (/ 1 (* (- (acos (/ 1 a))) (/ 1 (/ 1 a)))) into (/ -1 (* a (acos (/ 1 a)))) 1550620091.528 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1550620091.528 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1550620091.528 * [misc]taylor: Taking taylor expansion of -1 in a 1550620091.528 * [misc]backup-simplify: Simplify -1 into -1 1550620091.528 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1550620091.528 * [misc]taylor: Taking taylor expansion of a in a 1550620091.528 * [misc]backup-simplify: Simplify 0 into 0 1550620091.528 * [misc]backup-simplify: Simplify 1 into 1 1550620091.528 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1550620091.528 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1550620091.528 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1550620091.529 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1550620091.529 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1550620091.529 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1550620091.529 * [misc]taylor: Taking taylor expansion of -1 in a 1550620091.529 * [misc]backup-simplify: Simplify -1 into -1 1550620091.529 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1550620091.529 * [misc]taylor: Taking taylor expansion of a in a 1550620091.529 * [misc]backup-simplify: Simplify 0 into 0 1550620091.529 * [misc]backup-simplify: Simplify 1 into 1 1550620091.529 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1550620091.529 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1550620091.529 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1550620091.529 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1550620091.529 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1550620091.529 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1550620091.529 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1550620091.530 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1550620091.530 * [misc]backup-simplify: Simplify 0 into 0 1550620091.530 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1550620091.530 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1550620091.530 * [misc]backup-simplify: Simplify 0 into 0 1550620091.530 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1550620091.531 * [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 1550620091.531 * [misc]backup-simplify: Simplify 0 into 0 1550620091.531 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1550620091.531 * [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 1550620091.531 * [misc]backup-simplify: Simplify 0 into 0 1550620091.532 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1550620091.532 * [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 1550620091.532 * [misc]backup-simplify: Simplify 0 into 0 1550620091.533 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1550620091.533 * [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 1550620091.533 * [misc]backup-simplify: Simplify 0 into 0 1550620091.533 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1550620091.533 * [misc]backup-simplify: Simplify (/ 1 (* (- (acos (/ 1 (- a)))) (/ 1 (/ 1 (- a))))) into (/ 1 (* a (acos (/ -1 a)))) 1550620091.533 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1550620091.533 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1550620091.534 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1550620091.534 * [misc]taylor: Taking taylor expansion of a in a 1550620091.534 * [misc]backup-simplify: Simplify 0 into 0 1550620091.534 * [misc]backup-simplify: Simplify 1 into 1 1550620091.534 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1550620091.534 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1550620091.534 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1550620091.534 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1550620091.534 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1550620091.534 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1550620091.534 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1550620091.534 * [misc]taylor: Taking taylor expansion of a in a 1550620091.534 * [misc]backup-simplify: Simplify 0 into 0 1550620091.534 * [misc]backup-simplify: Simplify 1 into 1 1550620091.534 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1550620091.534 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1550620091.534 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1550620091.534 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1550620091.534 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1550620091.534 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1550620091.535 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1550620091.535 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1550620091.535 * [misc]backup-simplify: Simplify 0 into 0 1550620091.535 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1550620091.535 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1550620091.535 * [misc]backup-simplify: Simplify 0 into 0 1550620091.536 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1550620091.536 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1550620091.536 * [misc]backup-simplify: Simplify 0 into 0 1550620091.536 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1550620091.536 * [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 1550620091.536 * [misc]backup-simplify: Simplify 0 into 0 1550620091.537 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1550620091.537 * [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 1550620091.537 * [misc]backup-simplify: Simplify 0 into 0 1550620091.538 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1550620091.538 * [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 1550620091.538 * [misc]backup-simplify: Simplify 0 into 0 1550620091.538 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1550620091.538 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1550620091.538 * [misc]backup-simplify: Simplify (* (- (acos a)) (/ 1 a)) into (* -1 (/ (acos a) a)) 1550620091.538 * [misc]approximate: Taking taylor expansion of (* -1 (/ (acos a) a)) in (a) around 0 1550620091.538 * [misc]taylor: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 1550620091.538 * [misc]taylor: Taking taylor expansion of -1 in a 1550620091.539 * [misc]backup-simplify: Simplify -1 into -1 1550620091.539 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1550620091.539 * [misc]taylor: Taking taylor expansion of (acos a) in a 1550620091.539 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1550620091.539 * [misc]taylor: Taking taylor expansion of a in a 1550620091.539 * [misc]backup-simplify: Simplify 0 into 0 1550620091.539 * [misc]backup-simplify: Simplify 1 into 1 1550620091.539 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1550620091.539 * [misc]taylor: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 1550620091.539 * [misc]taylor: Taking taylor expansion of -1 in a 1550620091.539 * [misc]backup-simplify: Simplify -1 into -1 1550620091.539 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1550620091.539 * [misc]taylor: Taking taylor expansion of (acos a) in a 1550620091.539 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1550620091.539 * [misc]taylor: Taking taylor expansion of a in a 1550620091.539 * [misc]backup-simplify: Simplify 0 into 0 1550620091.539 * [misc]backup-simplify: Simplify 1 into 1 1550620091.539 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1550620091.539 * [misc]backup-simplify: Simplify (* -1 (acos a)) into (* -1 (acos a)) 1550620091.539 * [misc]backup-simplify: Simplify (* -1 (acos a)) into (* -1 (acos a)) 1550620091.539 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)))) into 0 1550620091.539 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (acos a))) into 0 1550620091.539 * [misc]backup-simplify: Simplify 0 into 0 1550620091.540 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550620091.540 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (acos a)))) into 0 1550620091.540 * [misc]backup-simplify: Simplify 0 into 0 1550620091.540 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550620091.541 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a))))) into 0 1550620091.541 * [misc]backup-simplify: Simplify 0 into 0 1550620091.541 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550620091.541 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a)))))) into 0 1550620091.541 * [misc]backup-simplify: Simplify 0 into 0 1550620091.542 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550620091.543 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a))))))) into 0 1550620091.543 * [misc]backup-simplify: Simplify 0 into 0 1550620091.543 * [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 1550620091.544 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a)))))))) into 0 1550620091.544 * [misc]backup-simplify: Simplify 0 into 0 1550620091.544 * [misc]backup-simplify: Simplify (* (* -1 (acos a)) (/ 1 a)) into (* -1 (/ (acos a) a)) 1550620091.544 * [misc]backup-simplify: Simplify (* (- (acos (/ 1 a))) (/ 1 (/ 1 a))) into (* -1 (* a (acos (/ 1 a)))) 1550620091.544 * [misc]approximate: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in (a) around 0 1550620091.544 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in a 1550620091.544 * [misc]taylor: Taking taylor expansion of -1 in a 1550620091.544 * [misc]backup-simplify: Simplify -1 into -1 1550620091.544 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1550620091.544 * [misc]taylor: Taking taylor expansion of a in a 1550620091.544 * [misc]backup-simplify: Simplify 0 into 0 1550620091.544 * [misc]backup-simplify: Simplify 1 into 1 1550620091.544 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1550620091.544 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1550620091.544 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in a 1550620091.544 * [misc]taylor: Taking taylor expansion of -1 in a 1550620091.544 * [misc]backup-simplify: Simplify -1 into -1 1550620091.544 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1550620091.544 * [misc]taylor: Taking taylor expansion of a in a 1550620091.544 * [misc]backup-simplify: Simplify 0 into 0 1550620091.544 * [misc]backup-simplify: Simplify 1 into 1 1550620091.544 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1550620091.544 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1550620091.545 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1550620091.545 * [misc]backup-simplify: Simplify (* -1 0) into 0 1550620091.545 * [misc]backup-simplify: Simplify 0 into 0 1550620091.545 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1550620091.545 * [misc]backup-simplify: Simplify (+ (* -1 (acos (/ 1 a))) (* 0 0)) into (- (acos (/ 1 a))) 1550620091.545 * [misc]backup-simplify: Simplify (- (acos (/ 1 a))) into (- (acos (/ 1 a))) 1550620091.545 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1550620091.545 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))) into 0 1550620091.546 * [misc]backup-simplify: Simplify 0 into 0 1550620091.546 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1550620091.546 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))) into 0 1550620091.546 * [misc]backup-simplify: Simplify 0 into 0 1550620091.547 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1550620091.547 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))))) into 0 1550620091.547 * [misc]backup-simplify: Simplify 0 into 0 1550620091.547 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1550620091.548 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))))) into 0 1550620091.548 * [misc]backup-simplify: Simplify 0 into 0 1550620091.548 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1550620091.549 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))))))) into 0 1550620091.549 * [misc]backup-simplify: Simplify 0 into 0 1550620091.549 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1550620091.550 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))))))) into 0 1550620091.550 * [misc]backup-simplify: Simplify 0 into 0 1550620091.550 * [misc]backup-simplify: Simplify (* (- (acos (/ 1 (/ 1 a)))) (/ 1 a)) into (* -1 (/ (acos a) a)) 1550620091.550 * [misc]backup-simplify: Simplify (* (- (acos (/ 1 (- a)))) (/ 1 (/ 1 (- a)))) into (* a (acos (/ -1 a))) 1550620091.550 * [misc]approximate: Taking taylor expansion of (* a (acos (/ -1 a))) in (a) around 0 1550620091.550 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1550620091.550 * [misc]taylor: Taking taylor expansion of a in a 1550620091.550 * [misc]backup-simplify: Simplify 0 into 0 1550620091.550 * [misc]backup-simplify: Simplify 1 into 1 1550620091.550 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1550620091.550 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1550620091.551 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1550620091.551 * [misc]taylor: Taking taylor expansion of a in a 1550620091.551 * [misc]backup-simplify: Simplify 0 into 0 1550620091.551 * [misc]backup-simplify: Simplify 1 into 1 1550620091.551 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1550620091.551 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1550620091.551 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1550620091.551 * [misc]backup-simplify: Simplify 0 into 0 1550620091.551 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1550620091.551 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1550620091.551 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1550620091.551 * [misc]backup-simplify: Simplify 0 into 0 1550620091.551 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1550620091.552 * [misc]backup-simplify: Simplify 0 into 0 1550620091.552 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1550620091.552 * [misc]backup-simplify: Simplify 0 into 0 1550620091.552 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1550620091.552 * [misc]backup-simplify: Simplify 0 into 0 1550620091.553 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1550620091.553 * [misc]backup-simplify: Simplify 0 into 0 1550620091.554 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1550620091.554 * [misc]backup-simplify: Simplify 0 into 0 1550620091.554 * [misc]backup-simplify: Simplify (* (acos (/ -1 (/ 1 (- a)))) (/ 1 (- a))) into (* -1 (/ (acos a) a)) 1550620091.554 * * * [misc]progress: simplifying candidates 1550620091.554 * * * * [misc]progress: [ 1 / 54 ] simplifiying candidate # 1550620091.554 * * * * [misc]progress: [ 2 / 54 ] simplifiying candidate # 1550620091.554 * [enter]simplify: Simplifying (- 1) 1550620091.554 * * [misc]simplify: iters left: 2 (2 enodes) 1550620091.555 * * [misc]simplify: iters left: 1 (9 enodes) 1550620091.557 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.557 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550620091.557 * [exit]simplify: Simplified to -1 1550620091.557 * [misc]simplify: Simplified (2 2) to (λ (a) (pow (* (- (acos a)) (/ 1 a)) -1)) 1550620091.557 * * * * [misc]progress: [ 3 / 54 ] simplifiying candidate # 1550620091.557 * [enter]simplify: Simplifying (- 1) 1550620091.557 * * [misc]simplify: iters left: 2 (2 enodes) 1550620091.559 * * [misc]simplify: iters left: 1 (9 enodes) 1550620091.560 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.560 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550620091.560 * [exit]simplify: Simplified to -1 1550620091.561 * [misc]simplify: Simplified (2 2) to (λ (a) (pow (* (- (acos a)) (/ 1 a)) -1)) 1550620091.561 * * * * [misc]progress: [ 4 / 54 ] simplifiying candidate # 1550620091.561 * * * * [misc]progress: [ 5 / 54 ] simplifiying candidate # 1550620091.561 * * * * [misc]progress: [ 6 / 54 ] simplifiying candidate # 1550620091.561 * * * * [misc]progress: [ 7 / 54 ] simplifiying candidate # 1550620091.561 * * * * [misc]progress: [ 8 / 54 ] simplifiying candidate # 1550620091.561 * * * * [misc]progress: [ 9 / 54 ] simplifiying candidate # 1550620091.561 * * * * [misc]progress: [ 10 / 54 ] simplifiying candidate # 1550620091.561 * * * * [misc]progress: [ 11 / 54 ] simplifiying candidate # 1550620091.561 * * * * [misc]progress: [ 12 / 54 ] simplifiying candidate # 1550620091.561 * * * * [misc]progress: [ 13 / 54 ] simplifiying candidate # 1550620091.561 * * * * [misc]progress: [ 14 / 54 ] simplifiying candidate # 1550620091.561 * * * * [misc]progress: [ 15 / 54 ] simplifiying candidate # 1550620091.561 * * * * [misc]progress: [ 16 / 54 ] simplifiying candidate # 1550620091.561 * [enter]simplify: Simplifying (/ 1 a) 1550620091.561 * * [misc]simplify: iters left: 2 (3 enodes) 1550620091.562 * * [misc]simplify: iters left: 1 (11 enodes) 1550620091.564 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.564 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550620091.565 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1550620091.565 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1550620091.565 * [exit]simplify: Simplified to (/ 1 a) 1550620091.565 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (- (acos a))) (/ 1 a))) 1550620091.565 * * * * [misc]progress: [ 17 / 54 ] simplifiying candidate # 1550620091.565 * * * * [misc]progress: [ 18 / 54 ] simplifiying candidate # 1550620091.565 * * * * [misc]progress: [ 19 / 54 ] simplifiying candidate #real (real->posit16 (/ 1 (* (- (acos a)) (/ 1 a))))))> 1550620091.565 * * * * [misc]progress: [ 20 / 54 ] simplifiying candidate # 1550620091.565 * [enter]simplify: Simplifying (* (- (acos a)) (/ 1 a)) 1550620091.565 * * [misc]simplify: iters left: 5 (6 enodes) 1550620091.567 * * [misc]simplify: iters left: 4 (25 enodes) 1550620091.571 * * [misc]simplify: iters left: 3 (40 enodes) 1550620091.579 * * [misc]simplify: iters left: 2 (61 enodes) 1550620091.590 * * [misc]simplify: iters left: 1 (74 enodes) 1550620091.602 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.602 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550620091.602 * * [misc]simplify: Extracting #2: cost 16 inf + 3 1550620091.603 * * [misc]simplify: Extracting #3: cost 9 inf + 476 1550620091.603 * * [misc]simplify: Extracting #4: cost 1 inf + 1604 1550620091.603 * * [misc]simplify: Extracting #5: cost 0 inf + 1734 1550620091.604 * [exit]simplify: Simplified to (- (/ (acos a) a)) 1550620091.604 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (pow (- (/ (acos a) a)) 1))) 1550620091.604 * * * * [misc]progress: [ 21 / 54 ] simplifiying candidate # 1550620091.604 * * * * [misc]progress: [ 22 / 54 ] simplifiying candidate # 1550620091.604 * [enter]simplify: Simplifying (+ (log (- (acos a))) (log (/ 1 a))) 1550620091.604 * * [misc]simplify: iters left: 6 (8 enodes) 1550620091.606 * * [misc]simplify: iters left: 5 (31 enodes) 1550620091.611 * * [misc]simplify: iters left: 4 (36 enodes) 1550620091.617 * * [misc]simplify: iters left: 3 (40 enodes) 1550620091.623 * * [misc]simplify: iters left: 2 (46 enodes) 1550620091.631 * * [misc]simplify: iters left: 1 (67 enodes) 1550620091.641 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.641 * * [misc]simplify: Extracting #1: cost 9 inf + 0 1550620091.641 * * [misc]simplify: Extracting #2: cost 16 inf + 1 1550620091.642 * * [misc]simplify: Extracting #3: cost 19 inf + 2 1550620091.642 * * [misc]simplify: Extracting #4: cost 13 inf + 471 1550620091.643 * * [misc]simplify: Extracting #5: cost 5 inf + 1959 1550620091.643 * * [misc]simplify: Extracting #6: cost 0 inf + 3305 1550620091.644 * [exit]simplify: Simplified to (- (log (- (acos a))) (log a)) 1550620091.644 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (exp (- (log (- (acos a))) (log a))))) 1550620091.644 * * * * [misc]progress: [ 23 / 54 ] simplifiying candidate # 1550620091.645 * * * * [misc]progress: [ 24 / 54 ] simplifiying candidate # 1550620091.645 * * * * [misc]progress: [ 25 / 54 ] simplifiying candidate # 1550620091.645 * [enter]simplify: Simplifying (* (* (* (- (acos a)) (- (acos a))) (- (acos a))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a))) 1550620091.645 * * [misc]simplify: iters left: 6 (10 enodes) 1550620091.648 * * [misc]simplify: iters left: 5 (52 enodes) 1550620091.659 * * [misc]simplify: iters left: 4 (131 enodes) 1550620091.697 * * [misc]simplify: iters left: 3 (357 enodes) 1550620091.885 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.886 * * [misc]simplify: Extracting #1: cost 54 inf + 0 1550620091.886 * * [misc]simplify: Extracting #2: cost 94 inf + 134 1550620091.887 * * [misc]simplify: Extracting #3: cost 58 inf + 5562 1550620091.892 * * [misc]simplify: Extracting #4: cost 9 inf + 16339 1550620091.899 * * [misc]simplify: Extracting #5: cost 0 inf + 18721 1550620091.905 * [exit]simplify: Simplified to (* (* (acos a) (acos a)) (/ (- (acos a)) (* a (* a a)))) 1550620091.905 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (cbrt (* (* (acos a) (acos a)) (/ (- (acos a)) (* a (* a a))))))) 1550620091.905 * * * * [misc]progress: [ 26 / 54 ] simplifiying candidate # 1550620091.905 * * * * [misc]progress: [ 27 / 54 ] simplifiying candidate # 1550620091.905 * * * * [misc]progress: [ 28 / 54 ] simplifiying candidate # 1550620091.905 * * * * [misc]progress: [ 29 / 54 ] simplifiying candidate # 1550620091.905 * * * * [misc]progress: [ 30 / 54 ] simplifiying candidate # 1550620091.906 * * * * [misc]progress: [ 31 / 54 ] simplifiying candidate # 1550620091.906 * [enter]simplify: Simplifying (* (acos a) (/ 1 a)) 1550620091.906 * * [misc]simplify: iters left: 4 (5 enodes) 1550620091.908 * * [misc]simplify: iters left: 3 (20 enodes) 1550620091.911 * * [misc]simplify: iters left: 2 (26 enodes) 1550620091.916 * * [misc]simplify: iters left: 1 (35 enodes) 1550620091.921 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.921 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1550620091.921 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1550620091.921 * * [misc]simplify: Extracting #3: cost 0 inf + 661 1550620091.923 * [exit]simplify: Simplified to (/ (acos a) a) 1550620091.924 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (- (/ (acos a) a)))) 1550620091.924 * * * * [misc]progress: [ 32 / 54 ] simplifiying candidate # 1550620091.924 * [enter]simplify: Simplifying (cbrt (/ 1 a)) 1550620091.924 * * [misc]simplify: iters left: 3 (4 enodes) 1550620091.926 * * [misc]simplify: iters left: 2 (14 enodes) 1550620091.931 * * [misc]simplify: iters left: 1 (16 enodes) 1550620091.934 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.934 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620091.934 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550620091.934 * * [misc]simplify: Extracting #3: cost 2 inf + 86 1550620091.934 * * [misc]simplify: Extracting #4: cost 1 inf + 208 1550620091.934 * * [misc]simplify: Extracting #5: cost 0 inf + 330 1550620091.934 * [exit]simplify: Simplified to (cbrt (/ 1 a)) 1550620091.935 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* (* (- (acos a)) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (cbrt (/ 1 a))))) 1550620091.935 * * * * [misc]progress: [ 33 / 54 ] simplifiying candidate # 1550620091.935 * [enter]simplify: Simplifying (sqrt (/ 1 a)) 1550620091.935 * * [misc]simplify: iters left: 3 (4 enodes) 1550620091.936 * * [misc]simplify: iters left: 2 (14 enodes) 1550620091.939 * * [misc]simplify: iters left: 1 (16 enodes) 1550620091.941 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.941 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620091.941 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550620091.941 * * [misc]simplify: Extracting #3: cost 2 inf + 86 1550620091.941 * * [misc]simplify: Extracting #4: cost 1 inf + 168 1550620091.941 * * [misc]simplify: Extracting #5: cost 0 inf + 250 1550620091.941 * [exit]simplify: Simplified to (sqrt (/ 1 a)) 1550620091.942 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* (* (- (acos a)) (sqrt (/ 1 a))) (sqrt (/ 1 a))))) 1550620091.942 * * * * [misc]progress: [ 34 / 54 ] simplifiying candidate # 1550620091.942 * [enter]simplify: Simplifying (/ 1 a) 1550620091.942 * * [misc]simplify: iters left: 2 (3 enodes) 1550620091.943 * * [misc]simplify: iters left: 1 (11 enodes) 1550620091.945 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.945 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550620091.945 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1550620091.945 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1550620091.945 * [exit]simplify: Simplified to (/ 1 a) 1550620091.945 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* (* (- (acos a)) 1) (/ 1 a)))) 1550620091.945 * * * * [misc]progress: [ 35 / 54 ] simplifiying candidate # 1550620091.945 * [enter]simplify: Simplifying (/ 1 a) 1550620091.945 * * [misc]simplify: iters left: 2 (3 enodes) 1550620091.946 * * [misc]simplify: iters left: 1 (11 enodes) 1550620091.948 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.948 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550620091.948 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1550620091.948 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1550620091.949 * [exit]simplify: Simplified to (/ 1 a) 1550620091.949 * [misc]simplify: Simplified (2 2 2) to (λ (a) (/ 1 (* (* (- (acos a)) 1) (/ 1 a)))) 1550620091.949 * * * * [misc]progress: [ 36 / 54 ] simplifiying candidate # 1550620091.949 * [enter]simplify: Simplifying (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1550620091.949 * * [misc]simplify: iters left: 6 (5 enodes) 1550620091.950 * * [misc]simplify: iters left: 5 (15 enodes) 1550620091.952 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.952 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620091.952 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620091.952 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550620091.952 * * [misc]simplify: Extracting #4: cost 9 inf + 0 1550620091.952 * * [misc]simplify: Extracting #5: cost 8 inf + 1 1550620091.952 * * [misc]simplify: Extracting #6: cost 0 inf + 1369 1550620091.952 * [exit]simplify: Simplified to (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1550620091.952 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (* (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (* (cbrt (- (acos a))) (/ 1 a))))) 1550620091.953 * * * * [misc]progress: [ 37 / 54 ] simplifiying candidate # 1550620091.953 * [enter]simplify: Simplifying (sqrt (- (acos a))) 1550620091.953 * * [misc]simplify: iters left: 4 (4 enodes) 1550620091.954 * * [misc]simplify: iters left: 3 (12 enodes) 1550620091.955 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.955 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620091.955 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620091.955 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550620091.955 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550620091.955 * * [misc]simplify: Extracting #5: cost 0 inf + 787 1550620091.955 * [exit]simplify: Simplified to (sqrt (- (acos a))) 1550620091.956 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (* (sqrt (- (acos a))) (* (sqrt (- (acos a))) (/ 1 a))))) 1550620091.956 * * * * [misc]progress: [ 38 / 54 ] simplifiying candidate # 1550620091.956 * * * * [misc]progress: [ 39 / 54 ] simplifiying candidate # 1550620091.956 * * * * [misc]progress: [ 40 / 54 ] simplifiying candidate # 1550620091.956 * [enter]simplify: Simplifying (- (* (cbrt (acos a)) (cbrt (acos a)))) 1550620091.956 * * [misc]simplify: iters left: 6 (5 enodes) 1550620091.957 * * [misc]simplify: iters left: 5 (18 enodes) 1550620091.960 * * [misc]simplify: iters left: 4 (20 enodes) 1550620091.964 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.964 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550620091.964 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550620091.964 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550620091.964 * * [misc]simplify: Extracting #4: cost 10 inf + 1 1550620091.965 * * [misc]simplify: Extracting #5: cost 0 inf + 1871 1550620091.965 * [exit]simplify: Simplified to (- (* (cbrt (acos a)) (cbrt (acos a)))) 1550620091.965 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (* (- (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (acos a)) (/ 1 a))))) 1550620091.965 * * * * [misc]progress: [ 41 / 54 ] simplifiying candidate # 1550620091.966 * [enter]simplify: Simplifying (- (sqrt (acos a))) 1550620091.966 * * [misc]simplify: iters left: 4 (4 enodes) 1550620091.967 * * [misc]simplify: iters left: 3 (12 enodes) 1550620091.970 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.970 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620091.971 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620091.971 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550620091.971 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550620091.971 * * [misc]simplify: Extracting #5: cost 0 inf + 787 1550620091.971 * [exit]simplify: Simplified to (- (sqrt (acos a))) 1550620091.971 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (* (- (sqrt (acos a))) (* (sqrt (acos a)) (/ 1 a))))) 1550620091.971 * * * * [misc]progress: [ 42 / 54 ] simplifiying candidate # 1550620091.971 * [enter]simplify: Simplifying (- 1) 1550620091.972 * * [misc]simplify: iters left: 2 (2 enodes) 1550620091.974 * * [misc]simplify: iters left: 1 (9 enodes) 1550620091.977 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.977 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550620091.977 * [exit]simplify: Simplified to -1 1550620091.977 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (* -1 (* (acos a) (/ 1 a))))) 1550620091.977 * * * * [misc]progress: [ 43 / 54 ] simplifiying candidate # 1550620091.977 * [enter]simplify: Simplifying (* (cbrt (acos a)) (cbrt (acos a))) 1550620091.977 * * [misc]simplify: iters left: 4 (4 enodes) 1550620091.978 * * [misc]simplify: iters left: 3 (12 enodes) 1550620091.980 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.980 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620091.980 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620091.980 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550620091.980 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550620091.980 * * [misc]simplify: Extracting #5: cost 0 inf + 947 1550620091.980 * [exit]simplify: Simplified to (* (cbrt (acos a)) (cbrt (acos a))) 1550620091.980 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (* (* (cbrt (acos a)) (cbrt (acos a))) (* (- (cbrt (acos a))) (/ 1 a))))) 1550620091.980 * * * * [misc]progress: [ 44 / 54 ] simplifiying candidate # 1550620091.980 * [enter]simplify: Simplifying (sqrt (acos a)) 1550620091.980 * * [misc]simplify: iters left: 2 (3 enodes) 1550620091.981 * * [misc]simplify: iters left: 1 (9 enodes) 1550620091.983 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620091.983 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620091.983 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620091.983 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550620091.983 * * [misc]simplify: Extracting #4: cost 0 inf + 445 1550620091.983 * [exit]simplify: Simplified to (sqrt (acos a)) 1550620091.983 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (* (sqrt (acos a)) (* (- (sqrt (acos a))) (/ 1 a))))) 1550620091.983 * * * * [misc]progress: [ 45 / 54 ] simplifiying candidate # 1550620091.983 * * * * [misc]progress: [ 46 / 54 ] simplifiying candidate # 1550620091.983 * * * * [misc]progress: [ 47 / 54 ] simplifiying candidate #real (real->posit16 (* (- (acos a)) (/ 1 a))))))> 1550620091.983 * * * * [misc]progress: [ 48 / 54 ] simplifiying candidate # 1550620091.983 * * * * [misc]progress: [ 49 / 54 ] simplifiying candidate # 1550620091.983 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1550620091.983 * * [misc]simplify: iters left: 5 (5 enodes) 1550620091.985 * * [misc]simplify: iters left: 4 (19 enodes) 1550620091.988 * * [misc]simplify: iters left: 3 (26 enodes) 1550620091.992 * * [misc]simplify: iters left: 2 (30 enodes) 1550620091.997 * * [misc]simplify: iters left: 1 (34 enodes) 1550620092.002 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620092.002 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550620092.002 * * [misc]simplify: Extracting #2: cost 8 inf + 738 1550620092.002 * * [misc]simplify: Extracting #3: cost 2 inf + 1396 1550620092.003 * * [misc]simplify: Extracting #4: cost 0 inf + 1660 1550620092.003 * [exit]simplify: Simplified to (- (/ a (acos a))) 1550620092.003 * [misc]simplify: Simplified (2) to (λ (a) (- (/ a (acos a)))) 1550620092.003 * * * * [misc]progress: [ 50 / 54 ] simplifiying candidate # 1550620092.003 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1550620092.003 * * [misc]simplify: iters left: 5 (5 enodes) 1550620092.005 * * [misc]simplify: iters left: 4 (19 enodes) 1550620092.011 * * [misc]simplify: iters left: 3 (26 enodes) 1550620092.018 * * [misc]simplify: iters left: 2 (30 enodes) 1550620092.024 * * [misc]simplify: iters left: 1 (34 enodes) 1550620092.029 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620092.029 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550620092.029 * * [misc]simplify: Extracting #2: cost 8 inf + 738 1550620092.029 * * [misc]simplify: Extracting #3: cost 2 inf + 1396 1550620092.029 * * [misc]simplify: Extracting #4: cost 0 inf + 1660 1550620092.029 * [exit]simplify: Simplified to (- (/ a (acos a))) 1550620092.029 * [misc]simplify: Simplified (2) to (λ (a) (- (/ a (acos a)))) 1550620092.029 * * * * [misc]progress: [ 51 / 54 ] simplifiying candidate # 1550620092.030 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1550620092.030 * * [misc]simplify: iters left: 5 (5 enodes) 1550620092.032 * * [misc]simplify: iters left: 4 (19 enodes) 1550620092.035 * * [misc]simplify: iters left: 3 (26 enodes) 1550620092.039 * * [misc]simplify: iters left: 2 (30 enodes) 1550620092.044 * * [misc]simplify: iters left: 1 (34 enodes) 1550620092.049 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620092.049 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550620092.049 * * [misc]simplify: Extracting #2: cost 8 inf + 738 1550620092.050 * * [misc]simplify: Extracting #3: cost 2 inf + 1396 1550620092.050 * * [misc]simplify: Extracting #4: cost 0 inf + 1660 1550620092.050 * [exit]simplify: Simplified to (- (/ a (acos a))) 1550620092.050 * [misc]simplify: Simplified (2) to (λ (a) (- (/ a (acos a)))) 1550620092.050 * * * * [misc]progress: [ 52 / 54 ] simplifiying candidate # 1550620092.050 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1550620092.050 * * [misc]simplify: iters left: 5 (5 enodes) 1550620092.052 * * [misc]simplify: iters left: 4 (19 enodes) 1550620092.055 * * [misc]simplify: iters left: 3 (26 enodes) 1550620092.059 * * [misc]simplify: iters left: 2 (30 enodes) 1550620092.064 * * [misc]simplify: iters left: 1 (34 enodes) 1550620092.069 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620092.069 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550620092.069 * * [misc]simplify: Extracting #2: cost 8 inf + 828 1550620092.069 * * [misc]simplify: Extracting #3: cost 2 inf + 1396 1550620092.069 * * [misc]simplify: Extracting #4: cost 0 inf + 1480 1550620092.070 * [exit]simplify: Simplified to (- (/ (acos a) a)) 1550620092.070 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (- (/ (acos a) a)))) 1550620092.070 * * * * [misc]progress: [ 53 / 54 ] simplifiying candidate # 1550620092.070 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1550620092.070 * * [misc]simplify: iters left: 5 (5 enodes) 1550620092.071 * * [misc]simplify: iters left: 4 (19 enodes) 1550620092.075 * * [misc]simplify: iters left: 3 (26 enodes) 1550620092.080 * * [misc]simplify: iters left: 2 (30 enodes) 1550620092.089 * * [misc]simplify: iters left: 1 (34 enodes) 1550620092.098 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620092.098 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550620092.098 * * [misc]simplify: Extracting #2: cost 8 inf + 828 1550620092.098 * * [misc]simplify: Extracting #3: cost 2 inf + 1396 1550620092.098 * * [misc]simplify: Extracting #4: cost 0 inf + 1480 1550620092.098 * [exit]simplify: Simplified to (- (/ (acos a) a)) 1550620092.098 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (- (/ (acos a) a)))) 1550620092.098 * * * * [misc]progress: [ 54 / 54 ] simplifiying candidate # 1550620092.099 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1550620092.099 * * [misc]simplify: iters left: 5 (5 enodes) 1550620092.100 * * [misc]simplify: iters left: 4 (19 enodes) 1550620092.103 * * [misc]simplify: iters left: 3 (26 enodes) 1550620092.107 * * [misc]simplify: iters left: 2 (30 enodes) 1550620092.111 * * [misc]simplify: iters left: 1 (34 enodes) 1550620092.116 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620092.116 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550620092.116 * * [misc]simplify: Extracting #2: cost 8 inf + 828 1550620092.117 * * [misc]simplify: Extracting #3: cost 2 inf + 1396 1550620092.117 * * [misc]simplify: Extracting #4: cost 0 inf + 1480 1550620092.118 * [exit]simplify: Simplified to (- (/ (acos a) a)) 1550620092.118 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (- (/ (acos a) a)))) 1550620092.118 * * * [misc]progress: adding candidates to table 1550620092.375 * * [misc]progress: iteration 4 / 4 1550620092.375 * * * [misc]progress: picking best candidate 1550620092.388 * * * * [misc]pick: Picked # 1550620092.388 * * * [misc]progress: localizing error 1550620092.393 * * * [misc]progress: generating rewritten candidates 1550620092.393 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1550620092.398 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1550620092.400 * * * [misc]progress: generating series expansions 1550620092.400 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1550620092.400 * [misc]backup-simplify: Simplify (/ (/ 1 (- (acos a))) (/ 1 a)) into (* -1 (/ a (acos a))) 1550620092.400 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1550620092.400 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1550620092.400 * [misc]taylor: Taking taylor expansion of -1 in a 1550620092.400 * [misc]backup-simplify: Simplify -1 into -1 1550620092.400 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1550620092.400 * [misc]taylor: Taking taylor expansion of a in a 1550620092.400 * [misc]backup-simplify: Simplify 0 into 0 1550620092.400 * [misc]backup-simplify: Simplify 1 into 1 1550620092.400 * [misc]taylor: Taking taylor expansion of (acos a) in a 1550620092.400 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1550620092.400 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1550620092.400 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1550620092.400 * [misc]taylor: Taking taylor expansion of -1 in a 1550620092.400 * [misc]backup-simplify: Simplify -1 into -1 1550620092.401 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1550620092.401 * [misc]taylor: Taking taylor expansion of a in a 1550620092.401 * [misc]backup-simplify: Simplify 0 into 0 1550620092.401 * [misc]backup-simplify: Simplify 1 into 1 1550620092.401 * [misc]taylor: Taking taylor expansion of (acos a) in a 1550620092.401 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1550620092.401 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1550620092.401 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1550620092.401 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1550620092.401 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1550620092.401 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1550620092.401 * [misc]backup-simplify: Simplify 0 into 0 1550620092.401 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1550620092.402 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1550620092.402 * [misc]backup-simplify: Simplify 0 into 0 1550620092.402 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1550620092.402 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1550620092.402 * [misc]backup-simplify: Simplify 0 into 0 1550620092.402 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1550620092.403 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1550620092.403 * [misc]backup-simplify: Simplify 0 into 0 1550620092.403 * [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 1550620092.403 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1550620092.403 * [misc]backup-simplify: Simplify 0 into 0 1550620092.404 * [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 1550620092.404 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1550620092.404 * [misc]backup-simplify: Simplify 0 into 0 1550620092.404 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1550620092.404 * [misc]backup-simplify: Simplify (/ (/ 1 (- (acos (/ 1 a)))) (/ 1 (/ 1 a))) into (/ -1 (* a (acos (/ 1 a)))) 1550620092.404 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1550620092.404 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1550620092.404 * [misc]taylor: Taking taylor expansion of -1 in a 1550620092.404 * [misc]backup-simplify: Simplify -1 into -1 1550620092.404 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1550620092.404 * [misc]taylor: Taking taylor expansion of a in a 1550620092.404 * [misc]backup-simplify: Simplify 0 into 0 1550620092.405 * [misc]backup-simplify: Simplify 1 into 1 1550620092.405 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1550620092.405 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1550620092.405 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1550620092.405 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1550620092.405 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1550620092.405 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1550620092.405 * [misc]taylor: Taking taylor expansion of -1 in a 1550620092.405 * [misc]backup-simplify: Simplify -1 into -1 1550620092.405 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1550620092.405 * [misc]taylor: Taking taylor expansion of a in a 1550620092.405 * [misc]backup-simplify: Simplify 0 into 0 1550620092.405 * [misc]backup-simplify: Simplify 1 into 1 1550620092.405 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1550620092.405 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1550620092.405 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1550620092.405 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1550620092.405 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1550620092.405 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1550620092.406 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1550620092.406 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1550620092.406 * [misc]backup-simplify: Simplify 0 into 0 1550620092.406 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1550620092.406 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1550620092.406 * [misc]backup-simplify: Simplify 0 into 0 1550620092.407 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1550620092.407 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1550620092.407 * [misc]backup-simplify: Simplify 0 into 0 1550620092.407 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1550620092.408 * [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 1550620092.408 * [misc]backup-simplify: Simplify 0 into 0 1550620092.408 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1550620092.408 * [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 1550620092.408 * [misc]backup-simplify: Simplify 0 into 0 1550620092.409 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1550620092.410 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1550620092.410 * [misc]backup-simplify: Simplify 0 into 0 1550620092.410 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1550620092.410 * [misc]backup-simplify: Simplify (/ (/ 1 (- (acos (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (/ 1 (* a (acos (/ -1 a)))) 1550620092.410 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1550620092.410 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1550620092.410 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1550620092.410 * [misc]taylor: Taking taylor expansion of a in a 1550620092.410 * [misc]backup-simplify: Simplify 0 into 0 1550620092.410 * [misc]backup-simplify: Simplify 1 into 1 1550620092.410 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1550620092.410 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1550620092.410 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1550620092.410 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1550620092.410 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1550620092.410 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1550620092.410 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1550620092.410 * [misc]taylor: Taking taylor expansion of a in a 1550620092.410 * [misc]backup-simplify: Simplify 0 into 0 1550620092.410 * [misc]backup-simplify: Simplify 1 into 1 1550620092.410 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1550620092.410 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1550620092.410 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1550620092.411 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1550620092.411 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1550620092.411 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1550620092.411 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1550620092.411 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1550620092.411 * [misc]backup-simplify: Simplify 0 into 0 1550620092.411 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1550620092.412 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1550620092.412 * [misc]backup-simplify: Simplify 0 into 0 1550620092.412 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1550620092.412 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1550620092.412 * [misc]backup-simplify: Simplify 0 into 0 1550620092.413 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1550620092.413 * [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 1550620092.413 * [misc]backup-simplify: Simplify 0 into 0 1550620092.413 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1550620092.414 * [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 1550620092.414 * [misc]backup-simplify: Simplify 0 into 0 1550620092.414 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1550620092.415 * [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 1550620092.415 * [misc]backup-simplify: Simplify 0 into 0 1550620092.415 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1550620092.415 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1550620092.415 * [misc]backup-simplify: Simplify (/ 1 (- (acos a))) into (/ -1 (acos a)) 1550620092.415 * [misc]approximate: Taking taylor expansion of (/ -1 (acos a)) in (a) around 0 1550620092.415 * [misc]taylor: Taking taylor expansion of (/ -1 (acos a)) in a 1550620092.415 * [misc]taylor: Taking taylor expansion of -1 in a 1550620092.415 * [misc]backup-simplify: Simplify -1 into -1 1550620092.415 * [misc]taylor: Taking taylor expansion of (acos a) in a 1550620092.415 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1550620092.415 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1550620092.415 * [misc]taylor: Taking taylor expansion of (/ -1 (acos a)) in a 1550620092.415 * [misc]taylor: Taking taylor expansion of -1 in a 1550620092.415 * [misc]backup-simplify: Simplify -1 into -1 1550620092.415 * [misc]taylor: Taking taylor expansion of (acos a) in a 1550620092.415 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1550620092.415 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1550620092.415 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1550620092.416 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))))) into 0 1550620092.416 * [misc]backup-simplify: Simplify 0 into 0 1550620092.416 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1550620092.416 * [misc]backup-simplify: Simplify 0 into 0 1550620092.416 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1550620092.416 * [misc]backup-simplify: Simplify 0 into 0 1550620092.416 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1550620092.416 * [misc]backup-simplify: Simplify 0 into 0 1550620092.417 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1550620092.417 * [misc]backup-simplify: Simplify 0 into 0 1550620092.417 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1550620092.417 * [misc]backup-simplify: Simplify 0 into 0 1550620092.417 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1550620092.417 * [misc]backup-simplify: Simplify (/ 1 (- (acos (/ 1 a)))) into (/ -1 (acos (/ 1 a))) 1550620092.417 * [misc]approximate: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in (a) around 0 1550620092.418 * [misc]taylor: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in a 1550620092.418 * [misc]taylor: Taking taylor expansion of -1 in a 1550620092.418 * [misc]backup-simplify: Simplify -1 into -1 1550620092.418 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1550620092.418 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1550620092.418 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1550620092.418 * [misc]taylor: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in a 1550620092.418 * [misc]taylor: Taking taylor expansion of -1 in a 1550620092.418 * [misc]backup-simplify: Simplify -1 into -1 1550620092.418 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1550620092.418 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1550620092.418 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1550620092.418 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1550620092.418 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1550620092.418 * [misc]backup-simplify: Simplify 0 into 0 1550620092.419 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1550620092.419 * [misc]backup-simplify: Simplify 0 into 0 1550620092.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)))))) into 0 1550620092.419 * [misc]backup-simplify: Simplify 0 into 0 1550620092.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)))))) into 0 1550620092.420 * [misc]backup-simplify: Simplify 0 into 0 1550620092.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 1550620092.420 * [misc]backup-simplify: Simplify 0 into 0 1550620092.421 * [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 1550620092.421 * [misc]backup-simplify: Simplify 0 into 0 1550620092.421 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 (/ 1 a)))) into (/ -1 (acos a)) 1550620092.421 * [misc]backup-simplify: Simplify (/ 1 (- (acos (/ 1 (- a))))) into (/ -1 (acos (/ -1 a))) 1550620092.421 * [misc]approximate: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in (a) around 0 1550620092.421 * [misc]taylor: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in a 1550620092.421 * [misc]taylor: Taking taylor expansion of -1 in a 1550620092.421 * [misc]backup-simplify: Simplify -1 into -1 1550620092.421 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1550620092.421 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1550620092.421 * [misc]backup-simplify: Simplify (/ -1 (acos (/ -1 a))) into (/ -1 (acos (/ -1 a))) 1550620092.421 * [misc]taylor: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in a 1550620092.422 * [misc]taylor: Taking taylor expansion of -1 in a 1550620092.422 * [misc]backup-simplify: Simplify -1 into -1 1550620092.422 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1550620092.422 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1550620092.422 * [misc]backup-simplify: Simplify (/ -1 (acos (/ -1 a))) into (/ -1 (acos (/ -1 a))) 1550620092.422 * [misc]backup-simplify: Simplify (/ -1 (acos (/ -1 a))) into (/ -1 (acos (/ -1 a))) 1550620092.422 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ -1 a))) (+ (* (/ -1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1550620092.422 * [misc]backup-simplify: Simplify 0 into 0 1550620092.422 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ -1 a))) (+ (* (/ -1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1550620092.422 * [misc]backup-simplify: Simplify 0 into 0 1550620092.423 * [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 1550620092.423 * [misc]backup-simplify: Simplify 0 into 0 1550620092.423 * [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 1550620092.423 * [misc]backup-simplify: Simplify 0 into 0 1550620092.424 * [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 1550620092.424 * [misc]backup-simplify: Simplify 0 into 0 1550620092.424 * [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 1550620092.425 * [misc]backup-simplify: Simplify 0 into 0 1550620092.425 * [misc]backup-simplify: Simplify (/ -1 (acos (/ -1 (/ 1 (- a))))) into (/ -1 (acos a)) 1550620092.425 * * * [misc]progress: simplifying candidates 1550620092.425 * * * * [misc]progress: [ 1 / 70 ] simplifiying candidate # 1550620092.425 * * * * [misc]progress: [ 2 / 70 ] simplifiying candidate # 1550620092.425 * [enter]simplify: Simplifying (- (- (log (- (acos a)))) (log (/ 1 a))) 1550620092.425 * * [misc]simplify: iters left: 6 (9 enodes) 1550620092.430 * * [misc]simplify: iters left: 5 (35 enodes) 1550620092.437 * * [misc]simplify: iters left: 4 (42 enodes) 1550620092.444 * * [misc]simplify: iters left: 3 (52 enodes) 1550620092.452 * * [misc]simplify: iters left: 2 (56 enodes) 1550620092.462 * * [misc]simplify: iters left: 1 (76 enodes) 1550620092.478 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620092.478 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550620092.478 * * [misc]simplify: Extracting #2: cost 20 inf + 1 1550620092.478 * * [misc]simplify: Extracting #3: cost 24 inf + 2 1550620092.478 * * [misc]simplify: Extracting #4: cost 22 inf + 165 1550620092.479 * * [misc]simplify: Extracting #5: cost 7 inf + 2424 1550620092.479 * * [misc]simplify: Extracting #6: cost 0 inf + 4322 1550620092.480 * [exit]simplify: Simplified to (- (log a) (log (- (acos a)))) 1550620092.480 * [misc]simplify: Simplified (2 1) to (λ (a) (exp (- (log a) (log (- (acos a)))))) 1550620092.480 * * * * [misc]progress: [ 3 / 70 ] simplifiying candidate # 1550620092.480 * [enter]simplify: Simplifying (- (log (/ 1 (- (acos a)))) (log (/ 1 a))) 1550620092.480 * * [misc]simplify: iters left: 6 (9 enodes) 1550620092.483 * * [misc]simplify: iters left: 5 (38 enodes) 1550620092.490 * * [misc]simplify: iters left: 4 (47 enodes) 1550620092.497 * * [misc]simplify: iters left: 3 (61 enodes) 1550620092.506 * * [misc]simplify: iters left: 2 (69 enodes) 1550620092.519 * * [misc]simplify: iters left: 1 (102 enodes) 1550620092.537 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620092.537 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550620092.537 * * [misc]simplify: Extracting #2: cost 17 inf + 1 1550620092.537 * * [misc]simplify: Extracting #3: cost 18 inf + 295 1550620092.537 * * [misc]simplify: Extracting #4: cost 12 inf + 804 1550620092.537 * * [misc]simplify: Extracting #5: cost 2 inf + 3125 1550620092.538 * * [misc]simplify: Extracting #6: cost 0 inf + 3608 1550620092.539 * [exit]simplify: Simplified to (- (log a) (log (- (acos a)))) 1550620092.539 * [misc]simplify: Simplified (2 1) to (λ (a) (exp (- (log a) (log (- (acos a)))))) 1550620092.539 * * * * [misc]progress: [ 4 / 70 ] simplifiying candidate # 1550620092.539 * * * * [misc]progress: [ 5 / 70 ] simplifiying candidate # 1550620092.539 * * * * [misc]progress: [ 6 / 70 ] simplifiying candidate # 1550620092.539 * [enter]simplify: Simplifying (/ (* (* (/ 1 (- (acos a))) (/ 1 (- (acos a)))) (/ 1 (- (acos a)))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a))) 1550620092.539 * * [misc]simplify: iters left: 6 (11 enodes) 1550620092.543 * * [misc]simplify: iters left: 5 (56 enodes) 1550620092.556 * * [misc]simplify: iters left: 4 (123 enodes) 1550620092.610 * * [misc]simplify: iters left: 3 (439 enodes) 1550620093.368 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.369 * * [misc]simplify: Extracting #1: cost 116 inf + 0 1550620093.371 * * [misc]simplify: Extracting #2: cost 249 inf + 663 1550620093.377 * * [misc]simplify: Extracting #3: cost 180 inf + 11751 1550620093.393 * * [misc]simplify: Extracting #4: cost 45 inf + 42682 1550620093.414 * * [misc]simplify: Extracting #5: cost 0 inf + 52867 1550620093.431 * * [misc]simplify: Extracting #6: cost 0 inf + 52827 1550620093.445 * [exit]simplify: Simplified to (/ a (* (/ (- (acos a)) a) (* (/ (- (acos a)) a) (- (acos a))))) 1550620093.445 * [misc]simplify: Simplified (2 1) to (λ (a) (cbrt (/ a (* (/ (- (acos a)) a) (* (/ (- (acos a)) a) (- (acos a))))))) 1550620093.445 * * * * [misc]progress: [ 7 / 70 ] simplifiying candidate # 1550620093.445 * * * * [misc]progress: [ 8 / 70 ] simplifiying candidate # 1550620093.445 * * * * [misc]progress: [ 9 / 70 ] simplifiying candidate # 1550620093.445 * * * * [misc]progress: [ 10 / 70 ] simplifiying candidate # 1550620093.445 * * * * [misc]progress: [ 11 / 70 ] simplifiying candidate # 1550620093.446 * [enter]simplify: Simplifying (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1550620093.446 * * [misc]simplify: iters left: 6 (11 enodes) 1550620093.449 * * [misc]simplify: iters left: 5 (41 enodes) 1550620093.456 * * [misc]simplify: iters left: 4 (58 enodes) 1550620093.467 * * [misc]simplify: iters left: 3 (65 enodes) 1550620093.486 * * [misc]simplify: iters left: 2 (68 enodes) 1550620093.497 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.497 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550620093.497 * * [misc]simplify: Extracting #2: cost 22 inf + 0 1550620093.497 * * [misc]simplify: Extracting #3: cost 27 inf + 0 1550620093.497 * * [misc]simplify: Extracting #4: cost 27 inf + 2 1550620093.497 * * [misc]simplify: Extracting #5: cost 19 inf + 1558 1550620093.498 * * [misc]simplify: Extracting #6: cost 2 inf + 6890 1550620093.499 * * [misc]simplify: Extracting #7: cost 0 inf + 7794 1550620093.500 * [exit]simplify: Simplified to (* (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a)))) 1550620093.500 * [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))))) 1550620093.500 * [enter]simplify: Simplifying (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) 1550620093.500 * * [misc]simplify: iters left: 6 (9 enodes) 1550620093.503 * * [misc]simplify: iters left: 5 (29 enodes) 1550620093.508 * * [misc]simplify: iters left: 4 (31 enodes) 1550620093.513 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.513 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550620093.513 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550620093.513 * * [misc]simplify: Extracting #3: cost 13 inf + 0 1550620093.513 * * [misc]simplify: Extracting #4: cost 13 inf + 2 1550620093.513 * * [misc]simplify: Extracting #5: cost 9 inf + 519 1550620093.513 * * [misc]simplify: Extracting #6: cost 4 inf + 1198 1550620093.514 * * [misc]simplify: Extracting #7: cost 0 inf + 2446 1550620093.514 * [exit]simplify: Simplified to (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) 1550620093.514 * [misc]simplify: Simplified (2 2) to (λ (a) (* (* (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a)))) (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))))) 1550620093.514 * * * * [misc]progress: [ 12 / 70 ] simplifiying candidate # 1550620093.514 * [enter]simplify: Simplifying (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (sqrt (/ 1 a))) 1550620093.514 * * [misc]simplify: iters left: 6 (10 enodes) 1550620093.517 * * [misc]simplify: iters left: 5 (34 enodes) 1550620093.524 * * [misc]simplify: iters left: 4 (40 enodes) 1550620093.531 * * [misc]simplify: iters left: 3 (43 enodes) 1550620093.538 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.538 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1550620093.538 * * [misc]simplify: Extracting #2: cost 14 inf + 0 1550620093.538 * * [misc]simplify: Extracting #3: cost 19 inf + 0 1550620093.538 * * [misc]simplify: Extracting #4: cost 19 inf + 2 1550620093.538 * * [misc]simplify: Extracting #5: cost 16 inf + 308 1550620093.538 * * [misc]simplify: Extracting #6: cost 8 inf + 1542 1550620093.539 * * [misc]simplify: Extracting #7: cost 0 inf + 4438 1550620093.539 * [exit]simplify: Simplified to (* (/ (cbrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) (cbrt (/ 1 (- (acos a))))) 1550620093.539 * [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))))) 1550620093.540 * [enter]simplify: Simplifying (/ (cbrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1550620093.540 * * [misc]simplify: iters left: 6 (9 enodes) 1550620093.542 * * [misc]simplify: iters left: 5 (29 enodes) 1550620093.547 * * [misc]simplify: iters left: 4 (31 enodes) 1550620093.552 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.552 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550620093.552 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550620093.552 * * [misc]simplify: Extracting #3: cost 13 inf + 0 1550620093.552 * * [misc]simplify: Extracting #4: cost 13 inf + 2 1550620093.552 * * [misc]simplify: Extracting #5: cost 9 inf + 479 1550620093.552 * * [misc]simplify: Extracting #6: cost 4 inf + 1118 1550620093.552 * * [misc]simplify: Extracting #7: cost 0 inf + 2286 1550620093.553 * [exit]simplify: Simplified to (/ (cbrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1550620093.553 * [misc]simplify: Simplified (2 2) to (λ (a) (* (* (/ (cbrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) (cbrt (/ 1 (- (acos a))))) (/ (cbrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))))) 1550620093.553 * * * * [misc]progress: [ 13 / 70 ] simplifiying candidate # 1550620093.553 * [enter]simplify: Simplifying (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1) 1550620093.553 * * [misc]simplify: iters left: 6 (8 enodes) 1550620093.555 * * [misc]simplify: iters left: 5 (26 enodes) 1550620093.560 * * [misc]simplify: iters left: 4 (36 enodes) 1550620093.570 * * [misc]simplify: iters left: 3 (37 enodes) 1550620093.579 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.579 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550620093.579 * * [misc]simplify: Extracting #2: cost 7 inf + 1 1550620093.579 * * [misc]simplify: Extracting #3: cost 9 inf + 1 1550620093.579 * * [misc]simplify: Extracting #4: cost 11 inf + 1 1550620093.579 * * [misc]simplify: Extracting #5: cost 13 inf + 1 1550620093.579 * * [misc]simplify: Extracting #6: cost 12 inf + 2 1550620093.579 * * [misc]simplify: Extracting #7: cost 9 inf + 315 1550620093.579 * * [misc]simplify: Extracting #8: cost 4 inf + 1334 1550620093.580 * * [misc]simplify: Extracting #9: cost 1 inf + 2170 1550620093.580 * * [misc]simplify: Extracting #10: cost 0 inf + 2462 1550620093.581 * [exit]simplify: Simplified to (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1550620093.581 * [misc]simplify: Simplified (2 1) to (λ (a) (* (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (/ (cbrt (/ 1 (- (acos a)))) (/ 1 a)))) 1550620093.581 * [enter]simplify: Simplifying (/ (cbrt (/ 1 (- (acos a)))) (/ 1 a)) 1550620093.581 * * [misc]simplify: iters left: 6 (8 enodes) 1550620093.585 * * [misc]simplify: iters left: 5 (28 enodes) 1550620093.591 * * [misc]simplify: iters left: 4 (31 enodes) 1550620093.597 * * [misc]simplify: iters left: 3 (38 enodes) 1550620093.603 * * [misc]simplify: iters left: 2 (39 enodes) 1550620093.608 * * [misc]simplify: iters left: 1 (41 enodes) 1550620093.614 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.614 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1550620093.614 * * [misc]simplify: Extracting #2: cost 9 inf + 2 1550620093.614 * * [misc]simplify: Extracting #3: cost 9 inf + 86 1550620093.614 * * [misc]simplify: Extracting #4: cost 11 inf + 86 1550620093.614 * * [misc]simplify: Extracting #5: cost 10 inf + 308 1550620093.614 * * [misc]simplify: Extracting #6: cost 3 inf + 1710 1550620093.614 * * [misc]simplify: Extracting #7: cost 0 inf + 2546 1550620093.615 * [exit]simplify: Simplified to (* (cbrt (/ 1 (- (acos a)))) a) 1550620093.615 * [misc]simplify: Simplified (2 2) to (λ (a) (* (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (* (cbrt (/ 1 (- (acos a)))) a))) 1550620093.615 * * * * [misc]progress: [ 14 / 70 ] simplifiying candidate # 1550620093.615 * [enter]simplify: Simplifying (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1) 1550620093.615 * * [misc]simplify: iters left: 6 (8 enodes) 1550620093.617 * * [misc]simplify: iters left: 5 (26 enodes) 1550620093.623 * * [misc]simplify: iters left: 4 (36 enodes) 1550620093.629 * * [misc]simplify: iters left: 3 (37 enodes) 1550620093.634 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.634 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550620093.634 * * [misc]simplify: Extracting #2: cost 7 inf + 1 1550620093.634 * * [misc]simplify: Extracting #3: cost 9 inf + 1 1550620093.634 * * [misc]simplify: Extracting #4: cost 11 inf + 1 1550620093.634 * * [misc]simplify: Extracting #5: cost 13 inf + 1 1550620093.634 * * [misc]simplify: Extracting #6: cost 12 inf + 2 1550620093.634 * * [misc]simplify: Extracting #7: cost 9 inf + 315 1550620093.634 * * [misc]simplify: Extracting #8: cost 4 inf + 1334 1550620093.635 * * [misc]simplify: Extracting #9: cost 1 inf + 2170 1550620093.635 * * [misc]simplify: Extracting #10: cost 0 inf + 2462 1550620093.635 * [exit]simplify: Simplified to (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1550620093.635 * [misc]simplify: Simplified (2 1) to (λ (a) (* (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (/ (cbrt (/ 1 (- (acos a)))) (/ 1 a)))) 1550620093.635 * [enter]simplify: Simplifying (/ (cbrt (/ 1 (- (acos a)))) (/ 1 a)) 1550620093.635 * * [misc]simplify: iters left: 6 (8 enodes) 1550620093.638 * * [misc]simplify: iters left: 5 (28 enodes) 1550620093.642 * * [misc]simplify: iters left: 4 (31 enodes) 1550620093.648 * * [misc]simplify: iters left: 3 (38 enodes) 1550620093.654 * * [misc]simplify: iters left: 2 (39 enodes) 1550620093.660 * * [misc]simplify: iters left: 1 (41 enodes) 1550620093.665 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.665 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1550620093.665 * * [misc]simplify: Extracting #2: cost 9 inf + 2 1550620093.665 * * [misc]simplify: Extracting #3: cost 9 inf + 86 1550620093.665 * * [misc]simplify: Extracting #4: cost 11 inf + 86 1550620093.665 * * [misc]simplify: Extracting #5: cost 10 inf + 308 1550620093.666 * * [misc]simplify: Extracting #6: cost 3 inf + 1710 1550620093.666 * * [misc]simplify: Extracting #7: cost 0 inf + 2546 1550620093.666 * [exit]simplify: Simplified to (* (cbrt (/ 1 (- (acos a)))) a) 1550620093.666 * [misc]simplify: Simplified (2 2) to (λ (a) (* (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (* (cbrt (/ 1 (- (acos a)))) a))) 1550620093.666 * * * * [misc]progress: [ 15 / 70 ] simplifiying candidate # 1550620093.667 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1550620093.667 * * [misc]simplify: iters left: 6 (10 enodes) 1550620093.669 * * [misc]simplify: iters left: 5 (34 enodes) 1550620093.675 * * [misc]simplify: iters left: 4 (38 enodes) 1550620093.680 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.680 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1550620093.680 * * [misc]simplify: Extracting #2: cost 12 inf + 0 1550620093.680 * * [misc]simplify: Extracting #3: cost 17 inf + 0 1550620093.680 * * [misc]simplify: Extracting #4: cost 17 inf + 2 1550620093.681 * * [misc]simplify: Extracting #5: cost 12 inf + 552 1550620093.681 * * [misc]simplify: Extracting #6: cost 2 inf + 2690 1550620093.681 * * [misc]simplify: Extracting #7: cost 1 inf + 3062 1550620093.682 * * [misc]simplify: Extracting #8: cost 0 inf + 3434 1550620093.682 * [exit]simplify: Simplified to (/ (sqrt (/ 1 (- (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1550620093.682 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ (sqrt (/ 1 (- (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (sqrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))))) 1550620093.682 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) 1550620093.682 * * [misc]simplify: iters left: 6 (9 enodes) 1550620093.684 * * [misc]simplify: iters left: 5 (29 enodes) 1550620093.689 * * [misc]simplify: iters left: 4 (31 enodes) 1550620093.694 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.694 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550620093.694 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550620093.694 * * [misc]simplify: Extracting #3: cost 13 inf + 0 1550620093.694 * * [misc]simplify: Extracting #4: cost 13 inf + 2 1550620093.694 * * [misc]simplify: Extracting #5: cost 9 inf + 519 1550620093.694 * * [misc]simplify: Extracting #6: cost 4 inf + 1158 1550620093.694 * * [misc]simplify: Extracting #7: cost 0 inf + 2286 1550620093.694 * [exit]simplify: Simplified to (/ (sqrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) 1550620093.694 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ (sqrt (/ 1 (- (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (sqrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))))) 1550620093.695 * * * * [misc]progress: [ 16 / 70 ] simplifiying candidate # 1550620093.695 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1550620093.695 * * [misc]simplify: iters left: 6 (9 enodes) 1550620093.697 * * [misc]simplify: iters left: 5 (29 enodes) 1550620093.702 * * [misc]simplify: iters left: 4 (31 enodes) 1550620093.707 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.707 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550620093.707 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550620093.707 * * [misc]simplify: Extracting #3: cost 13 inf + 0 1550620093.707 * * [misc]simplify: Extracting #4: cost 13 inf + 2 1550620093.707 * * [misc]simplify: Extracting #5: cost 9 inf + 479 1550620093.707 * * [misc]simplify: Extracting #6: cost 4 inf + 1078 1550620093.707 * * [misc]simplify: Extracting #7: cost 0 inf + 2126 1550620093.708 * [exit]simplify: Simplified to (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1550620093.708 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))))) 1550620093.708 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1550620093.708 * * [misc]simplify: iters left: 6 (9 enodes) 1550620093.711 * * [misc]simplify: iters left: 5 (29 enodes) 1550620093.717 * * [misc]simplify: iters left: 4 (31 enodes) 1550620093.721 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.721 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550620093.721 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550620093.721 * * [misc]simplify: Extracting #3: cost 13 inf + 0 1550620093.721 * * [misc]simplify: Extracting #4: cost 13 inf + 2 1550620093.722 * * [misc]simplify: Extracting #5: cost 9 inf + 479 1550620093.722 * * [misc]simplify: Extracting #6: cost 4 inf + 1078 1550620093.722 * * [misc]simplify: Extracting #7: cost 0 inf + 2126 1550620093.722 * [exit]simplify: Simplified to (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1550620093.722 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))))) 1550620093.722 * * * * [misc]progress: [ 17 / 70 ] simplifiying candidate # 1550620093.723 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) 1) 1550620093.723 * * [misc]simplify: iters left: 6 (7 enodes) 1550620093.724 * * [misc]simplify: iters left: 5 (21 enodes) 1550620093.728 * * [misc]simplify: iters left: 4 (23 enodes) 1550620093.731 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.731 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550620093.731 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550620093.731 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550620093.731 * * [misc]simplify: Extracting #4: cost 9 inf + 1 1550620093.731 * * [misc]simplify: Extracting #5: cost 8 inf + 2 1550620093.732 * * [misc]simplify: Extracting #6: cost 1 inf + 1002 1550620093.732 * * [misc]simplify: Extracting #7: cost 0 inf + 1214 1550620093.732 * [exit]simplify: Simplified to (sqrt (/ 1 (- (acos a)))) 1550620093.732 * [misc]simplify: Simplified (2 1) to (λ (a) (* (sqrt (/ 1 (- (acos a)))) (/ (sqrt (/ 1 (- (acos a)))) (/ 1 a)))) 1550620093.732 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (/ 1 a)) 1550620093.732 * * [misc]simplify: iters left: 6 (8 enodes) 1550620093.734 * * [misc]simplify: iters left: 5 (28 enodes) 1550620093.739 * * [misc]simplify: iters left: 4 (31 enodes) 1550620093.744 * * [misc]simplify: iters left: 3 (38 enodes) 1550620093.749 * * [misc]simplify: iters left: 2 (39 enodes) 1550620093.755 * * [misc]simplify: iters left: 1 (41 enodes) 1550620093.760 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.760 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1550620093.760 * * [misc]simplify: Extracting #2: cost 9 inf + 2 1550620093.760 * * [misc]simplify: Extracting #3: cost 9 inf + 86 1550620093.760 * * [misc]simplify: Extracting #4: cost 11 inf + 86 1550620093.761 * * [misc]simplify: Extracting #5: cost 10 inf + 308 1550620093.761 * * [misc]simplify: Extracting #6: cost 3 inf + 1590 1550620093.761 * * [misc]simplify: Extracting #7: cost 0 inf + 2306 1550620093.761 * [exit]simplify: Simplified to (* (sqrt (/ 1 (- (acos a)))) a) 1550620093.761 * [misc]simplify: Simplified (2 2) to (λ (a) (* (sqrt (/ 1 (- (acos a)))) (* (sqrt (/ 1 (- (acos a)))) a))) 1550620093.761 * * * * [misc]progress: [ 18 / 70 ] simplifiying candidate # 1550620093.762 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) 1) 1550620093.762 * * [misc]simplify: iters left: 6 (7 enodes) 1550620093.763 * * [misc]simplify: iters left: 5 (21 enodes) 1550620093.767 * * [misc]simplify: iters left: 4 (23 enodes) 1550620093.770 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.770 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550620093.770 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550620093.770 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550620093.770 * * [misc]simplify: Extracting #4: cost 9 inf + 1 1550620093.770 * * [misc]simplify: Extracting #5: cost 8 inf + 2 1550620093.771 * * [misc]simplify: Extracting #6: cost 1 inf + 1002 1550620093.771 * * [misc]simplify: Extracting #7: cost 0 inf + 1214 1550620093.771 * [exit]simplify: Simplified to (sqrt (/ 1 (- (acos a)))) 1550620093.771 * [misc]simplify: Simplified (2 1) to (λ (a) (* (sqrt (/ 1 (- (acos a)))) (/ (sqrt (/ 1 (- (acos a)))) (/ 1 a)))) 1550620093.771 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (/ 1 a)) 1550620093.771 * * [misc]simplify: iters left: 6 (8 enodes) 1550620093.773 * * [misc]simplify: iters left: 5 (28 enodes) 1550620093.778 * * [misc]simplify: iters left: 4 (31 enodes) 1550620093.783 * * [misc]simplify: iters left: 3 (38 enodes) 1550620093.788 * * [misc]simplify: iters left: 2 (39 enodes) 1550620093.794 * * [misc]simplify: iters left: 1 (41 enodes) 1550620093.801 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.801 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1550620093.801 * * [misc]simplify: Extracting #2: cost 9 inf + 2 1550620093.801 * * [misc]simplify: Extracting #3: cost 9 inf + 86 1550620093.801 * * [misc]simplify: Extracting #4: cost 11 inf + 86 1550620093.801 * * [misc]simplify: Extracting #5: cost 10 inf + 308 1550620093.801 * * [misc]simplify: Extracting #6: cost 3 inf + 1590 1550620093.802 * * [misc]simplify: Extracting #7: cost 0 inf + 2306 1550620093.802 * [exit]simplify: Simplified to (* (sqrt (/ 1 (- (acos a)))) a) 1550620093.802 * [misc]simplify: Simplified (2 2) to (λ (a) (* (sqrt (/ 1 (- (acos a)))) (* (sqrt (/ 1 (- (acos a)))) a))) 1550620093.802 * * * * [misc]progress: [ 19 / 70 ] simplifiying candidate # 1550620093.802 * [enter]simplify: Simplifying (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1550620093.802 * * [misc]simplify: iters left: 6 (6 enodes) 1550620093.804 * * [misc]simplify: iters left: 5 (22 enodes) 1550620093.808 * * [misc]simplify: iters left: 4 (26 enodes) 1550620093.812 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.812 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1550620093.812 * * [misc]simplify: Extracting #2: cost 9 inf + 1 1550620093.812 * * [misc]simplify: Extracting #3: cost 11 inf + 1 1550620093.812 * * [misc]simplify: Extracting #4: cost 8 inf + 86 1550620093.812 * * [misc]simplify: Extracting #5: cost 2 inf + 1018 1550620093.813 * * [misc]simplify: Extracting #6: cost 0 inf + 1382 1550620093.813 * [exit]simplify: Simplified to (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1550620093.813 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (- (acos a))) (cbrt (/ 1 a))))) 1550620093.813 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (cbrt (/ 1 a))) 1550620093.813 * * [misc]simplify: iters left: 6 (8 enodes) 1550620093.815 * * [misc]simplify: iters left: 5 (28 enodes) 1550620093.820 * * [misc]simplify: iters left: 4 (37 enodes) 1550620093.826 * * [misc]simplify: iters left: 3 (45 enodes) 1550620093.832 * * [misc]simplify: iters left: 2 (48 enodes) 1550620093.839 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.839 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550620093.839 * * [misc]simplify: Extracting #2: cost 16 inf + 1 1550620093.839 * * [misc]simplify: Extracting #3: cost 21 inf + 1 1550620093.839 * * [misc]simplify: Extracting #4: cost 19 inf + 44 1550620093.840 * * [misc]simplify: Extracting #5: cost 9 inf + 1381 1550620093.840 * * [misc]simplify: Extracting #6: cost 1 inf + 3226 1550620093.840 * * [misc]simplify: Extracting #7: cost 0 inf + 3518 1550620093.841 * [exit]simplify: Simplified to (/ (/ 1 (- (acos a))) (cbrt (/ 1 a))) 1550620093.841 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (- (acos a))) (cbrt (/ 1 a))))) 1550620093.841 * * * * [misc]progress: [ 20 / 70 ] simplifiying candidate # 1550620093.841 * [enter]simplify: Simplifying (/ 1 (sqrt (/ 1 a))) 1550620093.841 * * [misc]simplify: iters left: 5 (5 enodes) 1550620093.843 * * [misc]simplify: iters left: 4 (17 enodes) 1550620093.845 * * [misc]simplify: iters left: 3 (19 enodes) 1550620093.848 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.848 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550620093.848 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550620093.849 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550620093.849 * * [misc]simplify: Extracting #4: cost 0 inf + 494 1550620093.849 * [exit]simplify: Simplified to (/ 1 (sqrt (/ 1 a))) 1550620093.849 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))))) 1550620093.849 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))) 1550620093.849 * * [misc]simplify: iters left: 6 (8 enodes) 1550620093.851 * * [misc]simplify: iters left: 5 (28 enodes) 1550620093.856 * * [misc]simplify: iters left: 4 (37 enodes) 1550620093.862 * * [misc]simplify: iters left: 3 (45 enodes) 1550620093.869 * * [misc]simplify: iters left: 2 (48 enodes) 1550620093.876 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.876 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550620093.876 * * [misc]simplify: Extracting #2: cost 16 inf + 1 1550620093.876 * * [misc]simplify: Extracting #3: cost 21 inf + 1 1550620093.876 * * [misc]simplify: Extracting #4: cost 19 inf + 44 1550620093.876 * * [misc]simplify: Extracting #5: cost 9 inf + 1141 1550620093.876 * * [misc]simplify: Extracting #6: cost 1 inf + 2786 1550620093.877 * * [misc]simplify: Extracting #7: cost 0 inf + 3038 1550620093.877 * [exit]simplify: Simplified to (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))) 1550620093.877 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))))) 1550620093.877 * * * * [misc]progress: [ 21 / 70 ] simplifiying candidate # 1550620093.878 * [enter]simplify: Simplifying (/ 1 1) 1550620093.878 * * [misc]simplify: iters left: 2 (2 enodes) 1550620093.878 * * [misc]simplify: iters left: 1 (6 enodes) 1550620093.880 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.880 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550620093.880 * [exit]simplify: Simplified to 1 1550620093.880 * [misc]simplify: Simplified (2 1) to (λ (a) (* 1 (/ (/ 1 (- (acos a))) (/ 1 a)))) 1550620093.880 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (/ 1 a)) 1550620093.880 * * [misc]simplify: iters left: 6 (7 enodes) 1550620093.883 * * [misc]simplify: iters left: 5 (27 enodes) 1550620093.888 * * [misc]simplify: iters left: 4 (40 enodes) 1550620093.895 * * [misc]simplify: iters left: 3 (56 enodes) 1550620093.904 * * [misc]simplify: iters left: 2 (93 enodes) 1550620093.920 * * [misc]simplify: iters left: 1 (124 enodes) 1550620093.940 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.940 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550620093.940 * * [misc]simplify: Extracting #2: cost 24 inf + 87 1550620093.941 * * [misc]simplify: Extracting #3: cost 8 inf + 1774 1550620093.941 * * [misc]simplify: Extracting #4: cost 0 inf + 3066 1550620093.942 * [exit]simplify: Simplified to (/ a (- (acos a))) 1550620093.942 * [misc]simplify: Simplified (2 2) to (λ (a) (* 1 (/ a (- (acos a))))) 1550620093.942 * * * * [misc]progress: [ 22 / 70 ] simplifiying candidate # 1550620093.942 * [enter]simplify: Simplifying (/ 1 1) 1550620093.942 * * [misc]simplify: iters left: 2 (2 enodes) 1550620093.943 * * [misc]simplify: iters left: 1 (6 enodes) 1550620093.944 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620093.944 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550620093.944 * [exit]simplify: Simplified to 1 1550620093.944 * [misc]simplify: Simplified (2 1) to (λ (a) (* 1 (/ (/ 1 (- (acos a))) (/ 1 a)))) 1550620093.945 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (/ 1 a)) 1550620093.945 * * [misc]simplify: iters left: 6 (7 enodes) 1550620093.946 * * [misc]simplify: iters left: 5 (27 enodes) 1550620093.951 * * [misc]simplify: iters left: 4 (40 enodes) 1550620093.959 * * [misc]simplify: iters left: 3 (56 enodes) 1550620093.969 * * [misc]simplify: iters left: 2 (93 enodes) 1550620093.985 * * [misc]simplify: iters left: 1 (124 enodes) 1550620094.004 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.004 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550620094.005 * * [misc]simplify: Extracting #2: cost 24 inf + 87 1550620094.005 * * [misc]simplify: Extracting #3: cost 8 inf + 1774 1550620094.006 * * [misc]simplify: Extracting #4: cost 0 inf + 3066 1550620094.006 * [exit]simplify: Simplified to (/ a (- (acos a))) 1550620094.007 * [misc]simplify: Simplified (2 2) to (λ (a) (* 1 (/ a (- (acos a))))) 1550620094.007 * * * * [misc]progress: [ 23 / 70 ] simplifiying candidate # 1550620094.007 * [enter]simplify: Simplifying (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1550620094.007 * * [misc]simplify: iters left: 6 (6 enodes) 1550620094.009 * * [misc]simplify: iters left: 5 (22 enodes) 1550620094.012 * * [misc]simplify: iters left: 4 (26 enodes) 1550620094.016 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.016 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1550620094.016 * * [misc]simplify: Extracting #2: cost 9 inf + 1 1550620094.016 * * [misc]simplify: Extracting #3: cost 11 inf + 1 1550620094.016 * * [misc]simplify: Extracting #4: cost 8 inf + 86 1550620094.017 * * [misc]simplify: Extracting #5: cost 2 inf + 1018 1550620094.017 * * [misc]simplify: Extracting #6: cost 0 inf + 1382 1550620094.017 * [exit]simplify: Simplified to (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1550620094.017 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (- (acos a))) (cbrt (/ 1 a))))) 1550620094.017 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (cbrt (/ 1 a))) 1550620094.017 * * [misc]simplify: iters left: 6 (8 enodes) 1550620094.019 * * [misc]simplify: iters left: 5 (28 enodes) 1550620094.024 * * [misc]simplify: iters left: 4 (37 enodes) 1550620094.030 * * [misc]simplify: iters left: 3 (45 enodes) 1550620094.038 * * [misc]simplify: iters left: 2 (48 enodes) 1550620094.045 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.045 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550620094.045 * * [misc]simplify: Extracting #2: cost 16 inf + 1 1550620094.045 * * [misc]simplify: Extracting #3: cost 21 inf + 1 1550620094.045 * * [misc]simplify: Extracting #4: cost 19 inf + 44 1550620094.045 * * [misc]simplify: Extracting #5: cost 9 inf + 1381 1550620094.045 * * [misc]simplify: Extracting #6: cost 1 inf + 3226 1550620094.046 * * [misc]simplify: Extracting #7: cost 0 inf + 3518 1550620094.046 * [exit]simplify: Simplified to (/ (/ 1 (- (acos a))) (cbrt (/ 1 a))) 1550620094.046 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (- (acos a))) (cbrt (/ 1 a))))) 1550620094.046 * * * * [misc]progress: [ 24 / 70 ] simplifiying candidate # 1550620094.047 * [enter]simplify: Simplifying (/ 1 (sqrt (/ 1 a))) 1550620094.047 * * [misc]simplify: iters left: 5 (5 enodes) 1550620094.048 * * [misc]simplify: iters left: 4 (17 enodes) 1550620094.051 * * [misc]simplify: iters left: 3 (19 enodes) 1550620094.054 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.054 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550620094.054 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550620094.054 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550620094.054 * * [misc]simplify: Extracting #4: cost 0 inf + 494 1550620094.054 * [exit]simplify: Simplified to (/ 1 (sqrt (/ 1 a))) 1550620094.054 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))))) 1550620094.055 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))) 1550620094.055 * * [misc]simplify: iters left: 6 (8 enodes) 1550620094.057 * * [misc]simplify: iters left: 5 (28 enodes) 1550620094.061 * * [misc]simplify: iters left: 4 (37 enodes) 1550620094.067 * * [misc]simplify: iters left: 3 (45 enodes) 1550620094.074 * * [misc]simplify: iters left: 2 (48 enodes) 1550620094.081 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.081 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550620094.081 * * [misc]simplify: Extracting #2: cost 16 inf + 1 1550620094.081 * * [misc]simplify: Extracting #3: cost 21 inf + 1 1550620094.081 * * [misc]simplify: Extracting #4: cost 19 inf + 44 1550620094.081 * * [misc]simplify: Extracting #5: cost 9 inf + 1141 1550620094.081 * * [misc]simplify: Extracting #6: cost 1 inf + 2786 1550620094.082 * * [misc]simplify: Extracting #7: cost 0 inf + 3038 1550620094.082 * [exit]simplify: Simplified to (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))) 1550620094.082 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))))) 1550620094.082 * * * * [misc]progress: [ 25 / 70 ] simplifiying candidate # 1550620094.083 * [enter]simplify: Simplifying (/ 1 1) 1550620094.083 * * [misc]simplify: iters left: 2 (2 enodes) 1550620094.083 * * [misc]simplify: iters left: 1 (6 enodes) 1550620094.084 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.085 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550620094.085 * [exit]simplify: Simplified to 1 1550620094.085 * [misc]simplify: Simplified (2 1) to (λ (a) (* 1 (/ (/ 1 (- (acos a))) (/ 1 a)))) 1550620094.085 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (/ 1 a)) 1550620094.085 * * [misc]simplify: iters left: 6 (7 enodes) 1550620094.087 * * [misc]simplify: iters left: 5 (27 enodes) 1550620094.091 * * [misc]simplify: iters left: 4 (40 enodes) 1550620094.098 * * [misc]simplify: iters left: 3 (56 enodes) 1550620094.108 * * [misc]simplify: iters left: 2 (93 enodes) 1550620094.126 * * [misc]simplify: iters left: 1 (124 enodes) 1550620094.145 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.145 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550620094.145 * * [misc]simplify: Extracting #2: cost 24 inf + 87 1550620094.146 * * [misc]simplify: Extracting #3: cost 8 inf + 1774 1550620094.146 * * [misc]simplify: Extracting #4: cost 0 inf + 3066 1550620094.147 * [exit]simplify: Simplified to (/ a (- (acos a))) 1550620094.147 * [misc]simplify: Simplified (2 2) to (λ (a) (* 1 (/ a (- (acos a))))) 1550620094.147 * * * * [misc]progress: [ 26 / 70 ] simplifiying candidate # 1550620094.147 * [enter]simplify: Simplifying (/ 1 1) 1550620094.147 * * [misc]simplify: iters left: 2 (2 enodes) 1550620094.148 * * [misc]simplify: iters left: 1 (6 enodes) 1550620094.149 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.149 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550620094.149 * [exit]simplify: Simplified to 1 1550620094.149 * [misc]simplify: Simplified (2 1) to (λ (a) (* 1 (/ (/ 1 (- (acos a))) (/ 1 a)))) 1550620094.149 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (/ 1 a)) 1550620094.149 * * [misc]simplify: iters left: 6 (7 enodes) 1550620094.151 * * [misc]simplify: iters left: 5 (27 enodes) 1550620094.156 * * [misc]simplify: iters left: 4 (40 enodes) 1550620094.163 * * [misc]simplify: iters left: 3 (56 enodes) 1550620094.173 * * [misc]simplify: iters left: 2 (93 enodes) 1550620094.194 * * [misc]simplify: iters left: 1 (124 enodes) 1550620094.216 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.216 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550620094.217 * * [misc]simplify: Extracting #2: cost 24 inf + 87 1550620094.217 * * [misc]simplify: Extracting #3: cost 8 inf + 1774 1550620094.218 * * [misc]simplify: Extracting #4: cost 0 inf + 3066 1550620094.218 * [exit]simplify: Simplified to (/ a (- (acos a))) 1550620094.218 * [misc]simplify: Simplified (2 2) to (λ (a) (* 1 (/ a (- (acos a))))) 1550620094.218 * * * * [misc]progress: [ 27 / 70 ] simplifiying candidate # 1550620094.218 * * * * [misc]progress: [ 28 / 70 ] simplifiying candidate # 1550620094.218 * * * * [misc]progress: [ 29 / 70 ] simplifiying candidate # 1550620094.219 * * * * [misc]progress: [ 30 / 70 ] simplifiying candidate # 1550620094.219 * [enter]simplify: Simplifying (cbrt (/ 1 a)) 1550620094.219 * * [misc]simplify: iters left: 3 (4 enodes) 1550620094.220 * * [misc]simplify: iters left: 2 (14 enodes) 1550620094.222 * * [misc]simplify: iters left: 1 (16 enodes) 1550620094.225 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.225 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620094.225 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550620094.225 * * [misc]simplify: Extracting #3: cost 2 inf + 86 1550620094.225 * * [misc]simplify: Extracting #4: cost 1 inf + 208 1550620094.225 * * [misc]simplify: Extracting #5: cost 0 inf + 330 1550620094.225 * [exit]simplify: Simplified to (cbrt (/ 1 a)) 1550620094.225 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ (/ 1 (- (acos a))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (cbrt (/ 1 a)))) 1550620094.226 * * * * [misc]progress: [ 31 / 70 ] simplifiying candidate # 1550620094.226 * [enter]simplify: Simplifying (sqrt (/ 1 a)) 1550620094.226 * * [misc]simplify: iters left: 3 (4 enodes) 1550620094.227 * * [misc]simplify: iters left: 2 (14 enodes) 1550620094.230 * * [misc]simplify: iters left: 1 (16 enodes) 1550620094.235 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.235 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620094.235 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550620094.235 * * [misc]simplify: Extracting #3: cost 2 inf + 86 1550620094.235 * * [misc]simplify: Extracting #4: cost 1 inf + 168 1550620094.236 * * [misc]simplify: Extracting #5: cost 0 inf + 250 1550620094.236 * [exit]simplify: Simplified to (sqrt (/ 1 a)) 1550620094.236 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))) (sqrt (/ 1 a)))) 1550620094.236 * * * * [misc]progress: [ 32 / 70 ] simplifiying candidate # 1550620094.236 * [enter]simplify: Simplifying (/ 1 a) 1550620094.236 * * [misc]simplify: iters left: 2 (3 enodes) 1550620094.238 * * [misc]simplify: iters left: 1 (11 enodes) 1550620094.241 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.241 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550620094.241 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1550620094.241 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1550620094.242 * [exit]simplify: Simplified to (/ 1 a) 1550620094.242 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ (/ 1 (- (acos a))) 1) (/ 1 a))) 1550620094.242 * * * * [misc]progress: [ 33 / 70 ] simplifiying candidate # 1550620094.242 * [enter]simplify: Simplifying (/ 1 a) 1550620094.242 * * [misc]simplify: iters left: 2 (3 enodes) 1550620094.243 * * [misc]simplify: iters left: 1 (11 enodes) 1550620094.245 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.245 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550620094.245 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1550620094.245 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1550620094.245 * [exit]simplify: Simplified to (/ 1 a) 1550620094.245 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ (/ 1 (- (acos a))) 1) (/ 1 a))) 1550620094.245 * * * * [misc]progress: [ 34 / 70 ] simplifiying candidate # 1550620094.245 * [enter]simplify: Simplifying (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1550620094.245 * * [misc]simplify: iters left: 6 (7 enodes) 1550620094.247 * * [misc]simplify: iters left: 5 (23 enodes) 1550620094.251 * * [misc]simplify: iters left: 4 (25 enodes) 1550620094.255 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.255 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620094.255 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620094.255 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550620094.255 * * [misc]simplify: Extracting #4: cost 9 inf + 1 1550620094.255 * * [misc]simplify: Extracting #5: cost 11 inf + 1 1550620094.255 * * [misc]simplify: Extracting #6: cost 10 inf + 2 1550620094.256 * * [misc]simplify: Extracting #7: cost 6 inf + 446 1550620094.256 * * [misc]simplify: Extracting #8: cost 2 inf + 1334 1550620094.256 * * [misc]simplify: Extracting #9: cost 0 inf + 1878 1550620094.256 * [exit]simplify: Simplified to (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1550620094.256 * [misc]simplify: Simplified (2 1) to (λ (a) (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (/ (/ 1 a) (cbrt (/ 1 (- (acos a))))))) 1550620094.256 * * * * [misc]progress: [ 35 / 70 ] simplifiying candidate # 1550620094.256 * [enter]simplify: Simplifying (sqrt (/ 1 (- (acos a)))) 1550620094.256 * * [misc]simplify: iters left: 6 (6 enodes) 1550620094.258 * * [misc]simplify: iters left: 5 (20 enodes) 1550620094.262 * * [misc]simplify: iters left: 4 (22 enodes) 1550620094.265 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.265 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620094.265 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550620094.265 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550620094.265 * * [misc]simplify: Extracting #4: cost 9 inf + 1 1550620094.265 * * [misc]simplify: Extracting #5: cost 8 inf + 2 1550620094.266 * * [misc]simplify: Extracting #6: cost 1 inf + 1002 1550620094.266 * * [misc]simplify: Extracting #7: cost 0 inf + 1214 1550620094.266 * [exit]simplify: Simplified to (sqrt (/ 1 (- (acos a)))) 1550620094.266 * [misc]simplify: Simplified (2 1) to (λ (a) (/ (sqrt (/ 1 (- (acos a)))) (/ (/ 1 a) (sqrt (/ 1 (- (acos a))))))) 1550620094.266 * * * * [misc]progress: [ 36 / 70 ] simplifiying candidate # 1550620094.266 * * * * [misc]progress: [ 37 / 70 ] simplifiying candidate # 1550620094.266 * * * * [misc]progress: [ 38 / 70 ] simplifiying candidate # 1550620094.266 * * * * [misc]progress: [ 39 / 70 ] simplifiying candidate # 1550620094.266 * * * * [misc]progress: [ 40 / 70 ] simplifiying candidate #real (real->posit16 (/ (/ 1 (- (acos a))) (/ 1 a)))))> 1550620094.266 * * * * [misc]progress: [ 41 / 70 ] simplifiying candidate # 1550620094.266 * * * * [misc]progress: [ 42 / 70 ] simplifiying candidate # 1550620094.266 * [enter]simplify: Simplifying (- 1) 1550620094.266 * * [misc]simplify: iters left: 2 (2 enodes) 1550620094.268 * * [misc]simplify: iters left: 1 (9 enodes) 1550620094.269 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.270 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550620094.270 * [exit]simplify: Simplified to -1 1550620094.270 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (pow (- (acos a)) -1) (/ 1 a))) 1550620094.270 * * * * [misc]progress: [ 43 / 70 ] simplifiying candidate # 1550620094.270 * * * * [misc]progress: [ 44 / 70 ] simplifiying candidate # 1550620094.270 * * * * [misc]progress: [ 45 / 70 ] simplifiying candidate # 1550620094.270 * * * * [misc]progress: [ 46 / 70 ] simplifiying candidate # 1550620094.270 * * * * [misc]progress: [ 47 / 70 ] simplifiying candidate # 1550620094.270 * * * * [misc]progress: [ 48 / 70 ] simplifiying candidate # 1550620094.270 * * * * [misc]progress: [ 49 / 70 ] simplifiying candidate # 1550620094.270 * * * * [misc]progress: [ 50 / 70 ] simplifiying candidate # 1550620094.270 * * * * [misc]progress: [ 51 / 70 ] simplifiying candidate # 1550620094.270 * * * * [misc]progress: [ 52 / 70 ] simplifiying candidate # 1550620094.270 * * * * [misc]progress: [ 53 / 70 ] simplifiying candidate # 1550620094.270 * * * * [misc]progress: [ 54 / 70 ] simplifiying candidate # 1550620094.270 * [enter]simplify: Simplifying (cbrt (- (acos a))) 1550620094.270 * * [misc]simplify: iters left: 4 (4 enodes) 1550620094.271 * * [misc]simplify: iters left: 3 (12 enodes) 1550620094.273 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.273 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620094.273 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620094.273 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550620094.273 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550620094.273 * * [misc]simplify: Extracting #5: cost 0 inf + 867 1550620094.274 * [exit]simplify: Simplified to (cbrt (- (acos a))) 1550620094.274 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (cbrt (- (acos a)))) (/ 1 a))) 1550620094.274 * * * * [misc]progress: [ 55 / 70 ] simplifiying candidate # 1550620094.274 * [enter]simplify: Simplifying (sqrt (- (acos a))) 1550620094.274 * * [misc]simplify: iters left: 4 (4 enodes) 1550620094.276 * * [misc]simplify: iters left: 3 (12 enodes) 1550620094.279 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.279 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620094.279 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620094.279 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550620094.279 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550620094.279 * * [misc]simplify: Extracting #5: cost 0 inf + 787 1550620094.279 * [exit]simplify: Simplified to (sqrt (- (acos a))) 1550620094.279 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (sqrt (- (acos a)))) (sqrt (- (acos a)))) (/ 1 a))) 1550620094.279 * * * * [misc]progress: [ 56 / 70 ] simplifiying candidate # 1550620094.280 * [enter]simplify: Simplifying (- (acos a)) 1550620094.280 * * [misc]simplify: iters left: 3 (3 enodes) 1550620094.281 * * [misc]simplify: iters left: 2 (9 enodes) 1550620094.282 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.282 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620094.282 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620094.282 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550620094.282 * * [misc]simplify: Extracting #4: cost 0 inf + 445 1550620094.282 * [exit]simplify: Simplified to (- (acos a)) 1550620094.282 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 1) (- (acos a))) (/ 1 a))) 1550620094.282 * * * * [misc]progress: [ 57 / 70 ] simplifiying candidate # 1550620094.282 * [enter]simplify: Simplifying (acos a) 1550620094.282 * * [misc]simplify: iters left: 1 (2 enodes) 1550620094.283 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.283 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620094.283 * * [misc]simplify: Extracting #2: cost 2 inf + 1 1550620094.283 * * [misc]simplify: Extracting #3: cost 0 inf + 183 1550620094.283 * [exit]simplify: Simplified to (acos a) 1550620094.283 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 -1) (acos a)) (/ 1 a))) 1550620094.283 * * * * [misc]progress: [ 58 / 70 ] simplifiying candidate # 1550620094.283 * [enter]simplify: Simplifying (cbrt (acos a)) 1550620094.283 * * [misc]simplify: iters left: 2 (3 enodes) 1550620094.284 * * [misc]simplify: iters left: 1 (9 enodes) 1550620094.285 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.285 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620094.285 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620094.285 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550620094.285 * * [misc]simplify: Extracting #4: cost 0 inf + 525 1550620094.285 * [exit]simplify: Simplified to (cbrt (acos a)) 1550620094.285 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (- (* (cbrt (acos a)) (cbrt (acos a))))) (cbrt (acos a))) (/ 1 a))) 1550620094.285 * * * * [misc]progress: [ 59 / 70 ] simplifiying candidate # 1550620094.286 * [enter]simplify: Simplifying (sqrt (acos a)) 1550620094.286 * * [misc]simplify: iters left: 2 (3 enodes) 1550620094.286 * * [misc]simplify: iters left: 1 (9 enodes) 1550620094.288 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.288 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620094.288 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620094.288 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550620094.288 * * [misc]simplify: Extracting #4: cost 0 inf + 445 1550620094.288 * [exit]simplify: Simplified to (sqrt (acos a)) 1550620094.288 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (- (sqrt (acos a)))) (sqrt (acos a))) (/ 1 a))) 1550620094.288 * * * * [misc]progress: [ 60 / 70 ] simplifiying candidate # 1550620094.288 * [enter]simplify: Simplifying (acos a) 1550620094.288 * * [misc]simplify: iters left: 1 (2 enodes) 1550620094.288 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.288 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620094.289 * * [misc]simplify: Extracting #2: cost 2 inf + 1 1550620094.289 * * [misc]simplify: Extracting #3: cost 0 inf + 183 1550620094.289 * [exit]simplify: Simplified to (acos a) 1550620094.289 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (- 1)) (acos a)) (/ 1 a))) 1550620094.289 * * * * [misc]progress: [ 61 / 70 ] simplifiying candidate # 1550620094.289 * [enter]simplify: Simplifying (- (cbrt (acos a))) 1550620094.289 * * [misc]simplify: iters left: 4 (4 enodes) 1550620094.291 * * [misc]simplify: iters left: 3 (12 enodes) 1550620094.293 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.293 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620094.293 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620094.293 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550620094.293 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550620094.293 * * [misc]simplify: Extracting #5: cost 0 inf + 947 1550620094.293 * [exit]simplify: Simplified to (- (cbrt (acos a))) 1550620094.293 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (cbrt (acos a)))) (/ 1 a))) 1550620094.293 * * * * [misc]progress: [ 62 / 70 ] simplifiying candidate # 1550620094.293 * [enter]simplify: Simplifying (- (sqrt (acos a))) 1550620094.294 * * [misc]simplify: iters left: 4 (4 enodes) 1550620094.294 * * [misc]simplify: iters left: 3 (12 enodes) 1550620094.296 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.296 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620094.296 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620094.296 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550620094.296 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550620094.296 * * [misc]simplify: Extracting #5: cost 0 inf + 787 1550620094.296 * [exit]simplify: Simplified to (- (sqrt (acos a))) 1550620094.296 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (sqrt (acos a))) (- (sqrt (acos a)))) (/ 1 a))) 1550620094.296 * * * * [misc]progress: [ 63 / 70 ] simplifiying candidate # 1550620094.297 * [enter]simplify: Simplifying (- (acos a)) 1550620094.297 * * [misc]simplify: iters left: 3 (3 enodes) 1550620094.297 * * [misc]simplify: iters left: 2 (9 enodes) 1550620094.299 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.299 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550620094.299 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550620094.299 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550620094.299 * * [misc]simplify: Extracting #4: cost 0 inf + 445 1550620094.299 * [exit]simplify: Simplified to (- (acos a)) 1550620094.299 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 1) (- (acos a))) (/ 1 a))) 1550620094.299 * * * * [misc]progress: [ 64 / 70 ] simplifiying candidate #real (real->posit16 (/ 1 (- (acos a))))) (/ 1 a)))> 1550620094.299 * * * * [misc]progress: [ 65 / 70 ] simplifiying candidate # 1550620094.299 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1550620094.299 * * [misc]simplify: iters left: 5 (5 enodes) 1550620094.301 * * [misc]simplify: iters left: 4 (19 enodes) 1550620094.304 * * [misc]simplify: iters left: 3 (26 enodes) 1550620094.308 * * [misc]simplify: iters left: 2 (30 enodes) 1550620094.316 * * [misc]simplify: iters left: 1 (34 enodes) 1550620094.321 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.321 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550620094.321 * * [misc]simplify: Extracting #2: cost 8 inf + 738 1550620094.322 * * [misc]simplify: Extracting #3: cost 2 inf + 1396 1550620094.322 * * [misc]simplify: Extracting #4: cost 0 inf + 1660 1550620094.322 * [exit]simplify: Simplified to (- (/ a (acos a))) 1550620094.322 * [misc]simplify: Simplified (2) to (λ (a) (- (/ a (acos a)))) 1550620094.322 * * * * [misc]progress: [ 66 / 70 ] simplifiying candidate # 1550620094.322 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1550620094.322 * * [misc]simplify: iters left: 5 (5 enodes) 1550620094.324 * * [misc]simplify: iters left: 4 (19 enodes) 1550620094.327 * * [misc]simplify: iters left: 3 (26 enodes) 1550620094.331 * * [misc]simplify: iters left: 2 (30 enodes) 1550620094.336 * * [misc]simplify: iters left: 1 (34 enodes) 1550620094.341 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.341 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550620094.341 * * [misc]simplify: Extracting #2: cost 8 inf + 738 1550620094.341 * * [misc]simplify: Extracting #3: cost 2 inf + 1396 1550620094.341 * * [misc]simplify: Extracting #4: cost 0 inf + 1660 1550620094.342 * [exit]simplify: Simplified to (- (/ a (acos a))) 1550620094.342 * [misc]simplify: Simplified (2) to (λ (a) (- (/ a (acos a)))) 1550620094.342 * * * * [misc]progress: [ 67 / 70 ] simplifiying candidate # 1550620094.342 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1550620094.342 * * [misc]simplify: iters left: 5 (5 enodes) 1550620094.344 * * [misc]simplify: iters left: 4 (19 enodes) 1550620094.349 * * [misc]simplify: iters left: 3 (26 enodes) 1550620094.356 * * [misc]simplify: iters left: 2 (30 enodes) 1550620094.364 * * [misc]simplify: iters left: 1 (34 enodes) 1550620094.374 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.374 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550620094.374 * * [misc]simplify: Extracting #2: cost 8 inf + 738 1550620094.374 * * [misc]simplify: Extracting #3: cost 2 inf + 1396 1550620094.375 * * [misc]simplify: Extracting #4: cost 0 inf + 1660 1550620094.375 * [exit]simplify: Simplified to (- (/ a (acos a))) 1550620094.376 * [misc]simplify: Simplified (2) to (λ (a) (- (/ a (acos a)))) 1550620094.376 * * * * [misc]progress: [ 68 / 70 ] simplifiying candidate # 1550620094.376 * [enter]simplify: Simplifying (/ -1 (acos a)) 1550620094.376 * * [misc]simplify: iters left: 3 (4 enodes) 1550620094.379 * * [misc]simplify: iters left: 2 (12 enodes) 1550620094.383 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.383 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550620094.383 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550620094.383 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1550620094.383 * * [misc]simplify: Extracting #4: cost 0 inf + 448 1550620094.383 * [exit]simplify: Simplified to (/ -1 (acos a)) 1550620094.383 * [misc]simplify: Simplified (2 1) to (λ (a) (/ (/ -1 (acos a)) (/ 1 a))) 1550620094.384 * * * * [misc]progress: [ 69 / 70 ] simplifiying candidate # 1550620094.384 * [enter]simplify: Simplifying (/ -1 (acos a)) 1550620094.384 * * [misc]simplify: iters left: 3 (4 enodes) 1550620094.386 * * [misc]simplify: iters left: 2 (12 enodes) 1550620094.390 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.390 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550620094.390 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550620094.390 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1550620094.390 * * [misc]simplify: Extracting #4: cost 0 inf + 448 1550620094.391 * [exit]simplify: Simplified to (/ -1 (acos a)) 1550620094.391 * [misc]simplify: Simplified (2 1) to (λ (a) (/ (/ -1 (acos a)) (/ 1 a))) 1550620094.391 * * * * [misc]progress: [ 70 / 70 ] simplifiying candidate # 1550620094.391 * [enter]simplify: Simplifying (/ -1 (acos a)) 1550620094.391 * * [misc]simplify: iters left: 3 (4 enodes) 1550620094.393 * * [misc]simplify: iters left: 2 (12 enodes) 1550620094.395 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550620094.395 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550620094.395 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550620094.395 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1550620094.395 * * [misc]simplify: Extracting #4: cost 0 inf + 448 1550620094.395 * [exit]simplify: Simplified to (/ -1 (acos a)) 1550620094.396 * [misc]simplify: Simplified (2 1) to (λ (a) (/ (/ -1 (acos a)) (/ 1 a))) 1550620094.396 * * * [misc]progress: adding candidates to table 1550620094.736 * [misc]progress: [Phase 3 of 3] Extracting. 1550620094.736 * * [misc]regime: Finding splitpoints for: (# # # # # #) 1550620094.737 * * * [misc]regime-changes: Trying 2 branch expressions: (a (/ a (- (acos a)))) 1550620094.737 * * * * [misc]regimes: Trying to branch on a from (# # # # # #) 1550620094.762 * * * * [misc]regimes: Trying to branch on (/ a (- (acos a))) from (# # # # # #) 1550620094.790 * * * [misc]regime: Found split indices: #