1548151701.772 * [misc]progress: [Phase 1 of 3] Setting up. 1548151701.772 * * * [misc]progress: [1/2] Preparing points 1548151701.811 * * * [misc]progress: [2/2] Setting up program. 1548151701.813 * [misc]progress: [Phase 2 of 3] Improving. 1548151701.813 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1548151701.813 * [enter]simplify: Simplifying (/ a (- (acos a))) 1548151701.813 * * [misc]simplify: iters left: 5 (4 enodes) 1548151701.814 * [exit]simplify: Simplified to (/ a (- (acos a))) 1548151701.814 * [misc]simplify: Simplified (2) to (λ (a) (/ a (- (acos a)))) 1548151701.816 * * [misc]progress: iteration 1 / 4 1548151701.816 * * * [misc]progress: picking best candidate 1548151701.818 * * * * [misc]pick: Picked # 1548151701.818 * * * [misc]progress: localizing error 1548151701.827 * * * [misc]progress: generating rewritten candidates 1548151701.827 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1548151701.828 * * * [misc]progress: generating series expansions 1548151701.828 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1548151701.828 * [misc]backup-simplify: Simplify (/ a (- (acos a))) into (* -1 (/ a (acos a))) 1548151701.828 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1548151701.828 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1548151701.828 * [misc]taylor: Taking taylor expansion of -1 in a 1548151701.828 * [misc]backup-simplify: Simplify -1 into -1 1548151701.828 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1548151701.828 * [misc]taylor: Taking taylor expansion of a in a 1548151701.828 * [misc]backup-simplify: Simplify 0 into 0 1548151701.828 * [misc]backup-simplify: Simplify 1 into 1 1548151701.828 * [misc]taylor: Taking taylor expansion of (acos a) in a 1548151701.829 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1548151701.829 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1548151701.829 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1548151701.829 * [misc]taylor: Taking taylor expansion of -1 in a 1548151701.829 * [misc]backup-simplify: Simplify -1 into -1 1548151701.829 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1548151701.829 * [misc]taylor: Taking taylor expansion of a in a 1548151701.829 * [misc]backup-simplify: Simplify 0 into 0 1548151701.829 * [misc]backup-simplify: Simplify 1 into 1 1548151701.829 * [misc]taylor: Taking taylor expansion of (acos a) in a 1548151701.829 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1548151701.829 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1548151701.829 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1548151701.829 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1548151701.829 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1548151701.829 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1548151701.829 * [misc]backup-simplify: Simplify 0 into 0 1548151701.829 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1548151701.830 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1548151701.830 * [misc]backup-simplify: Simplify 0 into 0 1548151701.830 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1548151701.830 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1548151701.830 * [misc]backup-simplify: Simplify 0 into 0 1548151701.830 * [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 1548151701.831 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1548151701.831 * [misc]backup-simplify: Simplify 0 into 0 1548151701.831 * [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 1548151701.831 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1548151701.831 * [misc]backup-simplify: Simplify 0 into 0 1548151701.832 * [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 1548151701.832 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1548151701.832 * [misc]backup-simplify: Simplify 0 into 0 1548151701.832 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1548151701.832 * [misc]backup-simplify: Simplify (/ (/ 1 a) (- (acos (/ 1 a)))) into (/ -1 (* a (acos (/ 1 a)))) 1548151701.832 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1548151701.832 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1548151701.832 * [misc]taylor: Taking taylor expansion of -1 in a 1548151701.832 * [misc]backup-simplify: Simplify -1 into -1 1548151701.832 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1548151701.832 * [misc]taylor: Taking taylor expansion of a in a 1548151701.832 * [misc]backup-simplify: Simplify 0 into 0 1548151701.832 * [misc]backup-simplify: Simplify 1 into 1 1548151701.833 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1548151701.833 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1548151701.833 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1548151701.833 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1548151701.833 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1548151701.833 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1548151701.833 * [misc]taylor: Taking taylor expansion of -1 in a 1548151701.833 * [misc]backup-simplify: Simplify -1 into -1 1548151701.833 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1548151701.833 * [misc]taylor: Taking taylor expansion of a in a 1548151701.833 * [misc]backup-simplify: Simplify 0 into 0 1548151701.833 * [misc]backup-simplify: Simplify 1 into 1 1548151701.833 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1548151701.833 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1548151701.833 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1548151701.833 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1548151701.833 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1548151701.833 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1548151701.834 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1548151701.834 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1548151701.834 * [misc]backup-simplify: Simplify 0 into 0 1548151701.834 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1548151701.834 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1548151701.834 * [misc]backup-simplify: Simplify 0 into 0 1548151701.835 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1548151701.835 * [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 1548151701.835 * [misc]backup-simplify: Simplify 0 into 0 1548151701.835 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1548151701.835 * [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 1548151701.835 * [misc]backup-simplify: Simplify 0 into 0 1548151701.836 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1548151701.836 * [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 1548151701.836 * [misc]backup-simplify: Simplify 0 into 0 1548151701.837 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1548151701.837 * [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 1548151701.837 * [misc]backup-simplify: Simplify 0 into 0 1548151701.837 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1548151701.837 * [misc]backup-simplify: Simplify (/ (/ 1 (- a)) (- (acos (/ 1 (- a))))) into (/ 1 (* a (acos (/ -1 a)))) 1548151701.837 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1548151701.837 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1548151701.837 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1548151701.837 * [misc]taylor: Taking taylor expansion of a in a 1548151701.838 * [misc]backup-simplify: Simplify 0 into 0 1548151701.838 * [misc]backup-simplify: Simplify 1 into 1 1548151701.838 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1548151701.838 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1548151701.838 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1548151701.838 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1548151701.838 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1548151701.838 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1548151701.838 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1548151701.838 * [misc]taylor: Taking taylor expansion of a in a 1548151701.838 * [misc]backup-simplify: Simplify 0 into 0 1548151701.838 * [misc]backup-simplify: Simplify 1 into 1 1548151701.838 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1548151701.838 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1548151701.838 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1548151701.838 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1548151701.838 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1548151701.838 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1548151701.839 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1548151701.839 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1548151701.839 * [misc]backup-simplify: Simplify 0 into 0 1548151701.839 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1548151701.839 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1548151701.839 * [misc]backup-simplify: Simplify 0 into 0 1548151701.840 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1548151701.840 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1548151701.840 * [misc]backup-simplify: Simplify 0 into 0 1548151701.840 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1548151701.841 * [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 1548151701.841 * [misc]backup-simplify: Simplify 0 into 0 1548151701.842 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1548151701.842 * [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 1548151701.842 * [misc]backup-simplify: Simplify 0 into 0 1548151701.843 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1548151701.844 * [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 1548151701.844 * [misc]backup-simplify: Simplify 0 into 0 1548151701.844 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1548151701.844 * * * [misc]progress: simplifying candidates 1548151701.844 * * * * [misc]progress: [ 1 / 25 ] simplifiying candidate # 1548151701.844 * * * * [misc]progress: [ 2 / 25 ] simplifiying candidate # 1548151701.844 * * * * [misc]progress: [ 3 / 25 ] simplifiying candidate # 1548151701.844 * * * * [misc]progress: [ 4 / 25 ] simplifiying candidate # 1548151701.844 * * * * [misc]progress: [ 5 / 25 ] simplifiying candidate # 1548151701.844 * * * * [misc]progress: [ 6 / 25 ] simplifiying candidate # 1548151701.844 * * * * [misc]progress: [ 7 / 25 ] simplifiying candidate # 1548151701.844 * * * * [misc]progress: [ 8 / 25 ] simplifiying candidate # 1548151701.845 * * * * [misc]progress: [ 9 / 25 ] simplifiying candidate # 1548151701.845 * * * * [misc]progress: [ 10 / 25 ] simplifiying candidate # 1548151701.845 * * * * [misc]progress: [ 11 / 25 ] simplifiying candidate # 1548151701.845 * * * * [misc]progress: [ 12 / 25 ] simplifiying candidate # 1548151701.845 * * * * [misc]progress: [ 13 / 25 ] simplifiying candidate # 1548151701.845 * [enter]simplify: Simplifying (cbrt (- (acos a))) 1548151701.845 * * [misc]simplify: iters left: 4 (4 enodes) 1548151701.846 * [exit]simplify: Simplified to (cbrt (- (acos a))) 1548151701.846 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (cbrt (- (acos a))))) 1548151701.846 * * * * [misc]progress: [ 14 / 25 ] simplifiying candidate # 1548151701.846 * [enter]simplify: Simplifying (sqrt (- (acos a))) 1548151701.846 * * [misc]simplify: iters left: 4 (4 enodes) 1548151701.847 * [exit]simplify: Simplified to (sqrt (- (acos a))) 1548151701.848 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (sqrt (- (acos a)))) (sqrt (- (acos a))))) 1548151701.848 * * * * [misc]progress: [ 15 / 25 ] simplifiying candidate # 1548151701.848 * [enter]simplify: Simplifying (- (acos a)) 1548151701.848 * * [misc]simplify: iters left: 3 (3 enodes) 1548151701.849 * [exit]simplify: Simplified to (- (acos a)) 1548151701.849 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a 1) (- (acos a)))) 1548151701.849 * * * * [misc]progress: [ 16 / 25 ] simplifiying candidate # 1548151701.849 * [enter]simplify: Simplifying (acos a) 1548151701.849 * * [misc]simplify: iters left: 1 (2 enodes) 1548151701.849 * [exit]simplify: Simplified to (acos a) 1548151701.849 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a -1) (acos a))) 1548151701.850 * * * * [misc]progress: [ 17 / 25 ] simplifiying candidate # 1548151701.850 * [enter]simplify: Simplifying (cbrt (acos a)) 1548151701.850 * * [misc]simplify: iters left: 2 (3 enodes) 1548151701.851 * [exit]simplify: Simplified to (cbrt (acos a)) 1548151701.851 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (- (* (cbrt (acos a)) (cbrt (acos a))))) (cbrt (acos a)))) 1548151701.851 * * * * [misc]progress: [ 18 / 25 ] simplifiying candidate # 1548151701.851 * [enter]simplify: Simplifying (sqrt (acos a)) 1548151701.851 * * [misc]simplify: iters left: 2 (3 enodes) 1548151701.852 * [exit]simplify: Simplified to (sqrt (acos a)) 1548151701.852 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (- (sqrt (acos a)))) (sqrt (acos a)))) 1548151701.852 * * * * [misc]progress: [ 19 / 25 ] simplifiying candidate # 1548151701.852 * [enter]simplify: Simplifying (acos a) 1548151701.852 * * [misc]simplify: iters left: 1 (2 enodes) 1548151701.853 * [exit]simplify: Simplified to (acos a) 1548151701.853 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (- 1)) (acos a))) 1548151701.853 * * * * [misc]progress: [ 20 / 25 ] simplifiying candidate # 1548151701.853 * [enter]simplify: Simplifying (- (cbrt (acos a))) 1548151701.853 * * [misc]simplify: iters left: 4 (4 enodes) 1548151701.854 * [exit]simplify: Simplified to (- (cbrt (acos a))) 1548151701.854 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (* (cbrt (acos a)) (cbrt (acos a)))) (- (cbrt (acos a))))) 1548151701.854 * * * * [misc]progress: [ 21 / 25 ] simplifiying candidate # 1548151701.854 * [enter]simplify: Simplifying (- (sqrt (acos a))) 1548151701.854 * * [misc]simplify: iters left: 4 (4 enodes) 1548151701.855 * [exit]simplify: Simplified to (- (sqrt (acos a))) 1548151701.856 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a (sqrt (acos a))) (- (sqrt (acos a))))) 1548151701.856 * * * * [misc]progress: [ 22 / 25 ] simplifiying candidate # 1548151701.856 * [enter]simplify: Simplifying (- (acos a)) 1548151701.856 * * [misc]simplify: iters left: 3 (3 enodes) 1548151701.856 * [exit]simplify: Simplified to (- (acos a)) 1548151701.856 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ a 1) (- (acos a)))) 1548151701.856 * * * * [misc]progress: [ 23 / 25 ] simplifiying candidate # 1548151701.857 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1548151701.857 * * [misc]simplify: iters left: 5 (5 enodes) 1548151701.857 * * [misc]simplify: iters left: 4 (9 enodes) 1548151701.859 * * [misc]simplify: iters left: 3 (14 enodes) 1548151701.860 * * [misc]simplify: iters left: 2 (16 enodes) 1548151701.863 * * [misc]simplify: iters left: 1 (18 enodes) 1548151701.867 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1548151701.867 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1548151701.867 * * * * [misc]progress: [ 24 / 25 ] simplifiying candidate # 1548151701.867 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1548151701.867 * * [misc]simplify: iters left: 5 (5 enodes) 1548151701.868 * * [misc]simplify: iters left: 4 (9 enodes) 1548151701.871 * * [misc]simplify: iters left: 3 (14 enodes) 1548151701.873 * * [misc]simplify: iters left: 2 (16 enodes) 1548151701.876 * * [misc]simplify: iters left: 1 (18 enodes) 1548151701.880 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1548151701.880 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1548151701.880 * * * * [misc]progress: [ 25 / 25 ] simplifiying candidate # 1548151701.880 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1548151701.880 * * [misc]simplify: iters left: 5 (5 enodes) 1548151701.881 * * [misc]simplify: iters left: 4 (9 enodes) 1548151701.884 * * [misc]simplify: iters left: 3 (14 enodes) 1548151701.895 * * [misc]simplify: iters left: 2 (16 enodes) 1548151701.898 * * [misc]simplify: iters left: 1 (18 enodes) 1548151701.903 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1548151701.903 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1548151701.903 * * * [misc]progress: adding candidates to table 1548151702.020 * * [misc]progress: iteration 2 / 4 1548151702.020 * * * [misc]progress: picking best candidate 1548151702.040 * * * * [misc]pick: Picked # 1548151702.040 * * * [misc]progress: localizing error 1548151702.050 * * * [misc]progress: generating rewritten candidates 1548151702.050 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1548151702.053 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1548151702.055 * * * [misc]progress: generating series expansions 1548151702.056 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1548151702.056 * [misc]backup-simplify: Simplify (* a (/ 1 (- (acos a)))) into (* -1 (/ a (acos a))) 1548151702.056 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1548151702.056 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1548151702.056 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.056 * [misc]backup-simplify: Simplify -1 into -1 1548151702.056 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1548151702.056 * [misc]taylor: Taking taylor expansion of a in a 1548151702.056 * [misc]backup-simplify: Simplify 0 into 0 1548151702.056 * [misc]backup-simplify: Simplify 1 into 1 1548151702.056 * [misc]taylor: Taking taylor expansion of (acos a) in a 1548151702.056 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1548151702.056 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1548151702.056 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1548151702.056 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.056 * [misc]backup-simplify: Simplify -1 into -1 1548151702.056 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1548151702.056 * [misc]taylor: Taking taylor expansion of a in a 1548151702.056 * [misc]backup-simplify: Simplify 0 into 0 1548151702.056 * [misc]backup-simplify: Simplify 1 into 1 1548151702.056 * [misc]taylor: Taking taylor expansion of (acos a) in a 1548151702.056 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1548151702.056 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1548151702.056 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1548151702.057 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1548151702.057 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1548151702.057 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1548151702.057 * [misc]backup-simplify: Simplify 0 into 0 1548151702.057 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1548151702.057 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1548151702.057 * [misc]backup-simplify: Simplify 0 into 0 1548151702.057 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1548151702.058 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1548151702.058 * [misc]backup-simplify: Simplify 0 into 0 1548151702.058 * [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 1548151702.058 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1548151702.058 * [misc]backup-simplify: Simplify 0 into 0 1548151702.059 * [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 1548151702.059 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1548151702.059 * [misc]backup-simplify: Simplify 0 into 0 1548151702.059 * [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 1548151702.060 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1548151702.060 * [misc]backup-simplify: Simplify 0 into 0 1548151702.060 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1548151702.060 * [misc]backup-simplify: Simplify (* (/ 1 a) (/ 1 (- (acos (/ 1 a))))) into (/ -1 (* a (acos (/ 1 a)))) 1548151702.060 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1548151702.060 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1548151702.060 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.060 * [misc]backup-simplify: Simplify -1 into -1 1548151702.060 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1548151702.060 * [misc]taylor: Taking taylor expansion of a in a 1548151702.060 * [misc]backup-simplify: Simplify 0 into 0 1548151702.060 * [misc]backup-simplify: Simplify 1 into 1 1548151702.060 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1548151702.060 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1548151702.060 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1548151702.061 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1548151702.061 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1548151702.061 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1548151702.061 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.061 * [misc]backup-simplify: Simplify -1 into -1 1548151702.061 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1548151702.061 * [misc]taylor: Taking taylor expansion of a in a 1548151702.061 * [misc]backup-simplify: Simplify 0 into 0 1548151702.061 * [misc]backup-simplify: Simplify 1 into 1 1548151702.061 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1548151702.061 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1548151702.061 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1548151702.061 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1548151702.061 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1548151702.061 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1548151702.061 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1548151702.062 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1548151702.062 * [misc]backup-simplify: Simplify 0 into 0 1548151702.062 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1548151702.062 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1548151702.062 * [misc]backup-simplify: Simplify 0 into 0 1548151702.062 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1548151702.063 * [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 1548151702.063 * [misc]backup-simplify: Simplify 0 into 0 1548151702.063 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1548151702.063 * [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 1548151702.063 * [misc]backup-simplify: Simplify 0 into 0 1548151702.064 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1548151702.064 * [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 1548151702.064 * [misc]backup-simplify: Simplify 0 into 0 1548151702.065 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1548151702.065 * [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 1548151702.065 * [misc]backup-simplify: Simplify 0 into 0 1548151702.065 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1548151702.065 * [misc]backup-simplify: Simplify (* (/ 1 (- a)) (/ 1 (- (acos (/ 1 (- a)))))) into (/ 1 (* a (acos (/ -1 a)))) 1548151702.065 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1548151702.065 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1548151702.065 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1548151702.065 * [misc]taylor: Taking taylor expansion of a in a 1548151702.065 * [misc]backup-simplify: Simplify 0 into 0 1548151702.065 * [misc]backup-simplify: Simplify 1 into 1 1548151702.065 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1548151702.065 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1548151702.065 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1548151702.066 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1548151702.066 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1548151702.066 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1548151702.066 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1548151702.066 * [misc]taylor: Taking taylor expansion of a in a 1548151702.066 * [misc]backup-simplify: Simplify 0 into 0 1548151702.066 * [misc]backup-simplify: Simplify 1 into 1 1548151702.066 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1548151702.066 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1548151702.066 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1548151702.066 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1548151702.066 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1548151702.066 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1548151702.066 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1548151702.066 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1548151702.066 * [misc]backup-simplify: Simplify 0 into 0 1548151702.067 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1548151702.067 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1548151702.067 * [misc]backup-simplify: Simplify 0 into 0 1548151702.067 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1548151702.067 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1548151702.068 * [misc]backup-simplify: Simplify 0 into 0 1548151702.068 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1548151702.068 * [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 1548151702.068 * [misc]backup-simplify: Simplify 0 into 0 1548151702.069 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1548151702.069 * [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 1548151702.069 * [misc]backup-simplify: Simplify 0 into 0 1548151702.070 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1548151702.070 * [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 1548151702.070 * [misc]backup-simplify: Simplify 0 into 0 1548151702.070 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1548151702.070 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1548151702.070 * [misc]backup-simplify: Simplify (/ 1 (- (acos a))) into (/ -1 (acos a)) 1548151702.070 * [misc]approximate: Taking taylor expansion of (/ -1 (acos a)) in (a) around 0 1548151702.070 * [misc]taylor: Taking taylor expansion of (/ -1 (acos a)) in a 1548151702.070 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.070 * [misc]backup-simplify: Simplify -1 into -1 1548151702.070 * [misc]taylor: Taking taylor expansion of (acos a) in a 1548151702.070 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1548151702.070 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1548151702.070 * [misc]taylor: Taking taylor expansion of (/ -1 (acos a)) in a 1548151702.070 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.070 * [misc]backup-simplify: Simplify -1 into -1 1548151702.070 * [misc]taylor: Taking taylor expansion of (acos a) in a 1548151702.070 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1548151702.070 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1548151702.070 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1548151702.071 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))))) into 0 1548151702.071 * [misc]backup-simplify: Simplify 0 into 0 1548151702.071 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1548151702.071 * [misc]backup-simplify: Simplify 0 into 0 1548151702.071 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1548151702.071 * [misc]backup-simplify: Simplify 0 into 0 1548151702.071 * [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 1548151702.071 * [misc]backup-simplify: Simplify 0 into 0 1548151702.072 * [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 1548151702.072 * [misc]backup-simplify: Simplify 0 into 0 1548151702.072 * [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 1548151702.072 * [misc]backup-simplify: Simplify 0 into 0 1548151702.072 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1548151702.072 * [misc]backup-simplify: Simplify (/ 1 (- (acos (/ 1 a)))) into (/ -1 (acos (/ 1 a))) 1548151702.072 * [misc]approximate: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in (a) around 0 1548151702.072 * [misc]taylor: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in a 1548151702.072 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.072 * [misc]backup-simplify: Simplify -1 into -1 1548151702.072 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1548151702.072 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1548151702.072 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1548151702.072 * [misc]taylor: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in a 1548151702.072 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.072 * [misc]backup-simplify: Simplify -1 into -1 1548151702.072 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1548151702.072 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1548151702.072 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1548151702.072 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1548151702.073 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1548151702.073 * [misc]backup-simplify: Simplify 0 into 0 1548151702.073 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1548151702.073 * [misc]backup-simplify: Simplify 0 into 0 1548151702.073 * [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 1548151702.073 * [misc]backup-simplify: Simplify 0 into 0 1548151702.073 * [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 1548151702.073 * [misc]backup-simplify: Simplify 0 into 0 1548151702.073 * [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 1548151702.074 * [misc]backup-simplify: Simplify 0 into 0 1548151702.074 * [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 1548151702.074 * [misc]backup-simplify: Simplify 0 into 0 1548151702.074 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 (/ 1 a)))) into (/ -1 (acos a)) 1548151702.074 * [misc]backup-simplify: Simplify (/ 1 (- (acos (/ 1 (- a))))) into (/ -1 (acos (/ -1 a))) 1548151702.074 * [misc]approximate: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in (a) around 0 1548151702.074 * [misc]taylor: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in a 1548151702.074 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.074 * [misc]backup-simplify: Simplify -1 into -1 1548151702.074 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1548151702.074 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1548151702.074 * [misc]backup-simplify: Simplify (/ -1 (acos (/ -1 a))) into (/ -1 (acos (/ -1 a))) 1548151702.074 * [misc]taylor: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in a 1548151702.074 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.074 * [misc]backup-simplify: Simplify -1 into -1 1548151702.074 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1548151702.074 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1548151702.074 * [misc]backup-simplify: Simplify (/ -1 (acos (/ -1 a))) into (/ -1 (acos (/ -1 a))) 1548151702.074 * [misc]backup-simplify: Simplify (/ -1 (acos (/ -1 a))) into (/ -1 (acos (/ -1 a))) 1548151702.074 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ -1 a))) (+ (* (/ -1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1548151702.074 * [misc]backup-simplify: Simplify 0 into 0 1548151702.075 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ -1 a))) (+ (* (/ -1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1548151702.075 * [misc]backup-simplify: Simplify 0 into 0 1548151702.075 * [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 1548151702.075 * [misc]backup-simplify: Simplify 0 into 0 1548151702.075 * [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 1548151702.075 * [misc]backup-simplify: Simplify 0 into 0 1548151702.075 * [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 1548151702.075 * [misc]backup-simplify: Simplify 0 into 0 1548151702.076 * [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 1548151702.076 * [misc]backup-simplify: Simplify 0 into 0 1548151702.076 * [misc]backup-simplify: Simplify (/ -1 (acos (/ -1 (/ 1 (- a))))) into (/ -1 (acos a)) 1548151702.076 * * * [misc]progress: simplifying candidates 1548151702.076 * * * * [misc]progress: [ 1 / 47 ] simplifiying candidate # 1548151702.076 * * * * [misc]progress: [ 2 / 47 ] simplifiying candidate # 1548151702.076 * * * * [misc]progress: [ 3 / 47 ] simplifiying candidate # 1548151702.076 * * * * [misc]progress: [ 4 / 47 ] simplifiying candidate # 1548151702.076 * * * * [misc]progress: [ 5 / 47 ] simplifiying candidate # 1548151702.076 * * * * [misc]progress: [ 6 / 47 ] simplifiying candidate # 1548151702.076 * * * * [misc]progress: [ 7 / 47 ] simplifiying candidate # 1548151702.076 * * * * [misc]progress: [ 8 / 47 ] simplifiying candidate # 1548151702.076 * * * * [misc]progress: [ 9 / 47 ] simplifiying candidate # 1548151702.076 * * * * [misc]progress: [ 10 / 47 ] simplifiying candidate # 1548151702.076 * [enter]simplify: Simplifying (- (acos a)) 1548151702.076 * * [misc]simplify: iters left: 3 (3 enodes) 1548151702.077 * [exit]simplify: Simplified to (- (acos a)) 1548151702.077 * [misc]simplify: Simplified (2 2) to (λ (a) (/ a (- (acos a)))) 1548151702.077 * * * * [misc]progress: [ 11 / 47 ] simplifiying candidate # 1548151702.077 * [enter]simplify: Simplifying (cbrt (/ 1 (- (acos a)))) 1548151702.078 * * [misc]simplify: iters left: 6 (6 enodes) 1548151702.079 * * [misc]simplify: iters left: 5 (8 enodes) 1548151702.081 * [exit]simplify: Simplified to (cbrt (/ 1 (- (acos a)))) 1548151702.081 * [misc]simplify: Simplified (2 2) to (λ (a) (* (* a (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a)))))) (cbrt (/ 1 (- (acos a)))))) 1548151702.081 * * * * [misc]progress: [ 12 / 47 ] simplifiying candidate # 1548151702.081 * [enter]simplify: Simplifying (sqrt (/ 1 (- (acos a)))) 1548151702.081 * * [misc]simplify: iters left: 6 (6 enodes) 1548151702.083 * * [misc]simplify: iters left: 5 (8 enodes) 1548151702.084 * [exit]simplify: Simplified to (sqrt (/ 1 (- (acos a)))) 1548151702.084 * [misc]simplify: Simplified (2 2) to (λ (a) (* (* a (sqrt (/ 1 (- (acos a))))) (sqrt (/ 1 (- (acos a)))))) 1548151702.084 * * * * [misc]progress: [ 13 / 47 ] simplifiying candidate # 1548151702.084 * [enter]simplify: Simplifying (/ 1 (- (acos a))) 1548151702.084 * * [misc]simplify: iters left: 5 (5 enodes) 1548151702.084 * * [misc]simplify: iters left: 4 (7 enodes) 1548151702.085 * [exit]simplify: Simplified to (/ 1 (- (acos a))) 1548151702.085 * [misc]simplify: Simplified (2 2) to (λ (a) (* (* a 1) (/ 1 (- (acos a))))) 1548151702.085 * * * * [misc]progress: [ 14 / 47 ] simplifiying candidate # 1548151702.085 * [enter]simplify: Simplifying (/ 1 (- (acos a))) 1548151702.085 * * [misc]simplify: iters left: 5 (5 enodes) 1548151702.086 * * [misc]simplify: iters left: 4 (7 enodes) 1548151702.087 * [exit]simplify: Simplified to (/ 1 (- (acos a))) 1548151702.087 * [misc]simplify: Simplified (2 2) to (λ (a) (* (* a 1) (/ 1 (- (acos a))))) 1548151702.087 * * * * [misc]progress: [ 15 / 47 ] simplifiying candidate # 1548151702.087 * [enter]simplify: Simplifying (- (acos a)) 1548151702.087 * * [misc]simplify: iters left: 3 (3 enodes) 1548151702.088 * [exit]simplify: Simplified to (- (acos a)) 1548151702.088 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (* a 1) (- (acos a)))) 1548151702.088 * * * * [misc]progress: [ 16 / 47 ] simplifiying candidate # 1548151702.088 * * * * [misc]progress: [ 17 / 47 ] simplifiying candidate # 1548151702.088 * * * * [misc]progress: [ 18 / 47 ] simplifiying candidate # 1548151702.088 * * * * [misc]progress: [ 19 / 47 ] simplifiying candidate # 1548151702.088 * * * * [misc]progress: [ 20 / 47 ] simplifiying candidate # 1548151702.088 * [enter]simplify: Simplifying (- 1) 1548151702.088 * * [misc]simplify: iters left: 2 (2 enodes) 1548151702.089 * * [misc]simplify: iters left: 1 (5 enodes) 1548151702.089 * [exit]simplify: Simplified to -1 1548151702.089 * [misc]simplify: Simplified (2 2 2) to (λ (a) (* a (pow (- (acos a)) -1))) 1548151702.089 * * * * [misc]progress: [ 21 / 47 ] simplifiying candidate # 1548151702.089 * * * * [misc]progress: [ 22 / 47 ] simplifiying candidate # 1548151702.089 * * * * [misc]progress: [ 23 / 47 ] simplifiying candidate # 1548151702.089 * * * * [misc]progress: [ 24 / 47 ] simplifiying candidate # 1548151702.089 * * * * [misc]progress: [ 25 / 47 ] simplifiying candidate # 1548151702.089 * * * * [misc]progress: [ 26 / 47 ] simplifiying candidate # 1548151702.089 * * * * [misc]progress: [ 27 / 47 ] simplifiying candidate # 1548151702.089 * * * * [misc]progress: [ 28 / 47 ] simplifiying candidate # 1548151702.089 * * * * [misc]progress: [ 29 / 47 ] simplifiying candidate # 1548151702.090 * * * * [misc]progress: [ 30 / 47 ] simplifiying candidate # 1548151702.090 * * * * [misc]progress: [ 31 / 47 ] simplifiying candidate # 1548151702.090 * * * * [misc]progress: [ 32 / 47 ] simplifiying candidate # 1548151702.090 * [enter]simplify: Simplifying (cbrt (- (acos a))) 1548151702.090 * * [misc]simplify: iters left: 4 (4 enodes) 1548151702.090 * [exit]simplify: Simplified to (cbrt (- (acos a))) 1548151702.090 * [misc]simplify: Simplified (2 2 2) to (λ (a) (* a (/ (/ 1 (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (cbrt (- (acos a)))))) 1548151702.090 * * * * [misc]progress: [ 33 / 47 ] simplifiying candidate # 1548151702.090 * [enter]simplify: Simplifying (sqrt (- (acos a))) 1548151702.091 * * [misc]simplify: iters left: 4 (4 enodes) 1548151702.091 * [exit]simplify: Simplified to (sqrt (- (acos a))) 1548151702.091 * [misc]simplify: Simplified (2 2 2) to (λ (a) (* a (/ (/ 1 (sqrt (- (acos a)))) (sqrt (- (acos a)))))) 1548151702.091 * * * * [misc]progress: [ 34 / 47 ] simplifiying candidate # 1548151702.091 * [enter]simplify: Simplifying (- (acos a)) 1548151702.091 * * [misc]simplify: iters left: 3 (3 enodes) 1548151702.092 * [exit]simplify: Simplified to (- (acos a)) 1548151702.092 * [misc]simplify: Simplified (2 2 2) to (λ (a) (* a (/ (/ 1 1) (- (acos a))))) 1548151702.092 * * * * [misc]progress: [ 35 / 47 ] simplifiying candidate # 1548151702.092 * [enter]simplify: Simplifying (acos a) 1548151702.092 * * [misc]simplify: iters left: 1 (2 enodes) 1548151702.092 * [exit]simplify: Simplified to (acos a) 1548151702.092 * [misc]simplify: Simplified (2 2 2) to (λ (a) (* a (/ (/ 1 -1) (acos a)))) 1548151702.092 * * * * [misc]progress: [ 36 / 47 ] simplifiying candidate # 1548151702.092 * [enter]simplify: Simplifying (cbrt (acos a)) 1548151702.092 * * [misc]simplify: iters left: 2 (3 enodes) 1548151702.093 * [exit]simplify: Simplified to (cbrt (acos a)) 1548151702.093 * [misc]simplify: Simplified (2 2 2) to (λ (a) (* a (/ (/ 1 (- (* (cbrt (acos a)) (cbrt (acos a))))) (cbrt (acos a))))) 1548151702.093 * * * * [misc]progress: [ 37 / 47 ] simplifiying candidate # 1548151702.093 * [enter]simplify: Simplifying (sqrt (acos a)) 1548151702.093 * * [misc]simplify: iters left: 2 (3 enodes) 1548151702.093 * [exit]simplify: Simplified to (sqrt (acos a)) 1548151702.093 * [misc]simplify: Simplified (2 2 2) to (λ (a) (* a (/ (/ 1 (- (sqrt (acos a)))) (sqrt (acos a))))) 1548151702.093 * * * * [misc]progress: [ 38 / 47 ] simplifiying candidate # 1548151702.093 * [enter]simplify: Simplifying (acos a) 1548151702.094 * * [misc]simplify: iters left: 1 (2 enodes) 1548151702.094 * [exit]simplify: Simplified to (acos a) 1548151702.094 * [misc]simplify: Simplified (2 2 2) to (λ (a) (* a (/ (/ 1 (- 1)) (acos a)))) 1548151702.094 * * * * [misc]progress: [ 39 / 47 ] simplifiying candidate # 1548151702.094 * [enter]simplify: Simplifying (- (cbrt (acos a))) 1548151702.094 * * [misc]simplify: iters left: 4 (4 enodes) 1548151702.095 * [exit]simplify: Simplified to (- (cbrt (acos a))) 1548151702.095 * [misc]simplify: Simplified (2 2 2) to (λ (a) (* a (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (cbrt (acos a)))))) 1548151702.095 * * * * [misc]progress: [ 40 / 47 ] simplifiying candidate # 1548151702.095 * [enter]simplify: Simplifying (- (sqrt (acos a))) 1548151702.095 * * [misc]simplify: iters left: 4 (4 enodes) 1548151702.095 * [exit]simplify: Simplified to (- (sqrt (acos a))) 1548151702.095 * [misc]simplify: Simplified (2 2 2) to (λ (a) (* a (/ (/ 1 (sqrt (acos a))) (- (sqrt (acos a)))))) 1548151702.095 * * * * [misc]progress: [ 41 / 47 ] simplifiying candidate # 1548151702.095 * [enter]simplify: Simplifying (- (acos a)) 1548151702.095 * * [misc]simplify: iters left: 3 (3 enodes) 1548151702.096 * [exit]simplify: Simplified to (- (acos a)) 1548151702.096 * [misc]simplify: Simplified (2 2 2) to (λ (a) (* a (/ (/ 1 1) (- (acos a))))) 1548151702.096 * * * * [misc]progress: [ 42 / 47 ] simplifiying candidate # 1548151702.096 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1548151702.096 * * [misc]simplify: iters left: 5 (5 enodes) 1548151702.097 * * [misc]simplify: iters left: 4 (9 enodes) 1548151702.098 * * [misc]simplify: iters left: 3 (14 enodes) 1548151702.099 * * [misc]simplify: iters left: 2 (16 enodes) 1548151702.101 * * [misc]simplify: iters left: 1 (18 enodes) 1548151702.103 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1548151702.103 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1548151702.103 * * * * [misc]progress: [ 43 / 47 ] simplifiying candidate # 1548151702.104 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1548151702.104 * * [misc]simplify: iters left: 5 (5 enodes) 1548151702.105 * * [misc]simplify: iters left: 4 (9 enodes) 1548151702.108 * * [misc]simplify: iters left: 3 (14 enodes) 1548151702.110 * * [misc]simplify: iters left: 2 (16 enodes) 1548151702.111 * * [misc]simplify: iters left: 1 (18 enodes) 1548151702.113 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1548151702.113 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1548151702.113 * * * * [misc]progress: [ 44 / 47 ] simplifiying candidate # 1548151702.114 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1548151702.114 * * [misc]simplify: iters left: 5 (5 enodes) 1548151702.114 * * [misc]simplify: iters left: 4 (9 enodes) 1548151702.116 * * [misc]simplify: iters left: 3 (14 enodes) 1548151702.117 * * [misc]simplify: iters left: 2 (16 enodes) 1548151702.121 * * [misc]simplify: iters left: 1 (18 enodes) 1548151702.123 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1548151702.123 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1548151702.123 * * * * [misc]progress: [ 45 / 47 ] simplifiying candidate # 1548151702.123 * [enter]simplify: Simplifying (/ -1 (acos a)) 1548151702.123 * * [misc]simplify: iters left: 3 (4 enodes) 1548151702.124 * [exit]simplify: Simplified to (/ -1 (acos a)) 1548151702.124 * [misc]simplify: Simplified (2 2) to (λ (a) (* a (/ -1 (acos a)))) 1548151702.124 * * * * [misc]progress: [ 46 / 47 ] simplifiying candidate # 1548151702.124 * [enter]simplify: Simplifying (/ -1 (acos a)) 1548151702.124 * * [misc]simplify: iters left: 3 (4 enodes) 1548151702.125 * [exit]simplify: Simplified to (/ -1 (acos a)) 1548151702.125 * [misc]simplify: Simplified (2 2) to (λ (a) (* a (/ -1 (acos a)))) 1548151702.125 * * * * [misc]progress: [ 47 / 47 ] simplifiying candidate # 1548151702.125 * [enter]simplify: Simplifying (/ -1 (acos a)) 1548151702.125 * * [misc]simplify: iters left: 3 (4 enodes) 1548151702.125 * [exit]simplify: Simplified to (/ -1 (acos a)) 1548151702.126 * [misc]simplify: Simplified (2 2) to (λ (a) (* a (/ -1 (acos a)))) 1548151702.126 * * * [misc]progress: adding candidates to table 1548151702.359 * * [misc]progress: iteration 3 / 4 1548151702.359 * * * [misc]progress: picking best candidate 1548151702.368 * * * * [misc]pick: Picked # 1548151702.368 * * * [misc]progress: localizing error 1548151702.376 * * * [misc]progress: generating rewritten candidates 1548151702.376 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1548151702.378 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1548151702.384 * * * [misc]progress: generating series expansions 1548151702.384 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1548151702.384 * [misc]backup-simplify: Simplify (/ 1 (/ (- (acos a)) a)) into (* -1 (/ a (acos a))) 1548151702.385 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1548151702.385 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1548151702.385 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.385 * [misc]backup-simplify: Simplify -1 into -1 1548151702.385 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1548151702.385 * [misc]taylor: Taking taylor expansion of a in a 1548151702.385 * [misc]backup-simplify: Simplify 0 into 0 1548151702.385 * [misc]backup-simplify: Simplify 1 into 1 1548151702.385 * [misc]taylor: Taking taylor expansion of (acos a) in a 1548151702.385 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1548151702.385 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1548151702.385 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1548151702.385 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.385 * [misc]backup-simplify: Simplify -1 into -1 1548151702.385 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1548151702.385 * [misc]taylor: Taking taylor expansion of a in a 1548151702.385 * [misc]backup-simplify: Simplify 0 into 0 1548151702.385 * [misc]backup-simplify: Simplify 1 into 1 1548151702.385 * [misc]taylor: Taking taylor expansion of (acos a) in a 1548151702.385 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1548151702.385 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1548151702.385 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1548151702.385 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1548151702.385 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1548151702.385 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1548151702.385 * [misc]backup-simplify: Simplify 0 into 0 1548151702.386 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1548151702.386 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1548151702.386 * [misc]backup-simplify: Simplify 0 into 0 1548151702.386 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1548151702.386 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1548151702.386 * [misc]backup-simplify: Simplify 0 into 0 1548151702.387 * [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 1548151702.387 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1548151702.387 * [misc]backup-simplify: Simplify 0 into 0 1548151702.387 * [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 1548151702.388 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1548151702.388 * [misc]backup-simplify: Simplify 0 into 0 1548151702.388 * [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 1548151702.388 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1548151702.388 * [misc]backup-simplify: Simplify 0 into 0 1548151702.389 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1548151702.389 * [misc]backup-simplify: Simplify (/ 1 (/ (- (acos (/ 1 a))) (/ 1 a))) into (/ -1 (* a (acos (/ 1 a)))) 1548151702.389 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1548151702.389 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1548151702.389 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.389 * [misc]backup-simplify: Simplify -1 into -1 1548151702.389 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1548151702.389 * [misc]taylor: Taking taylor expansion of a in a 1548151702.389 * [misc]backup-simplify: Simplify 0 into 0 1548151702.389 * [misc]backup-simplify: Simplify 1 into 1 1548151702.389 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1548151702.389 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1548151702.389 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1548151702.389 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1548151702.389 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1548151702.389 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1548151702.389 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.389 * [misc]backup-simplify: Simplify -1 into -1 1548151702.389 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1548151702.389 * [misc]taylor: Taking taylor expansion of a in a 1548151702.389 * [misc]backup-simplify: Simplify 0 into 0 1548151702.389 * [misc]backup-simplify: Simplify 1 into 1 1548151702.389 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1548151702.389 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1548151702.389 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1548151702.389 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1548151702.389 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1548151702.390 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1548151702.390 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1548151702.390 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1548151702.390 * [misc]backup-simplify: Simplify 0 into 0 1548151702.390 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1548151702.390 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1548151702.390 * [misc]backup-simplify: Simplify 0 into 0 1548151702.391 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1548151702.391 * [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 1548151702.391 * [misc]backup-simplify: Simplify 0 into 0 1548151702.392 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1548151702.392 * [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 1548151702.392 * [misc]backup-simplify: Simplify 0 into 0 1548151702.392 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1548151702.393 * [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 1548151702.393 * [misc]backup-simplify: Simplify 0 into 0 1548151702.393 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1548151702.394 * [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 1548151702.394 * [misc]backup-simplify: Simplify 0 into 0 1548151702.394 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1548151702.394 * [misc]backup-simplify: Simplify (/ 1 (/ (- (acos (/ 1 (- a)))) (/ 1 (- a)))) into (/ 1 (* a (acos (/ -1 a)))) 1548151702.394 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1548151702.394 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1548151702.394 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1548151702.394 * [misc]taylor: Taking taylor expansion of a in a 1548151702.394 * [misc]backup-simplify: Simplify 0 into 0 1548151702.394 * [misc]backup-simplify: Simplify 1 into 1 1548151702.394 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1548151702.394 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1548151702.394 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1548151702.394 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1548151702.394 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1548151702.394 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1548151702.394 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1548151702.394 * [misc]taylor: Taking taylor expansion of a in a 1548151702.394 * [misc]backup-simplify: Simplify 0 into 0 1548151702.395 * [misc]backup-simplify: Simplify 1 into 1 1548151702.395 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1548151702.395 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1548151702.395 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1548151702.395 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1548151702.395 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1548151702.395 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1548151702.395 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1548151702.395 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1548151702.395 * [misc]backup-simplify: Simplify 0 into 0 1548151702.396 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1548151702.396 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1548151702.396 * [misc]backup-simplify: Simplify 0 into 0 1548151702.396 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1548151702.396 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1548151702.396 * [misc]backup-simplify: Simplify 0 into 0 1548151702.397 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1548151702.397 * [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 1548151702.397 * [misc]backup-simplify: Simplify 0 into 0 1548151702.400 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1548151702.400 * [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 1548151702.400 * [misc]backup-simplify: Simplify 0 into 0 1548151702.401 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1548151702.401 * [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 1548151702.401 * [misc]backup-simplify: Simplify 0 into 0 1548151702.401 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1548151702.401 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1548151702.402 * [misc]backup-simplify: Simplify (/ (- (acos a)) a) into (* -1 (/ (acos a) a)) 1548151702.402 * [misc]approximate: Taking taylor expansion of (* -1 (/ (acos a) a)) in (a) around 0 1548151702.402 * [misc]taylor: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 1548151702.402 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.402 * [misc]backup-simplify: Simplify -1 into -1 1548151702.402 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1548151702.402 * [misc]taylor: Taking taylor expansion of (acos a) in a 1548151702.402 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1548151702.402 * [misc]taylor: Taking taylor expansion of a in a 1548151702.402 * [misc]backup-simplify: Simplify 0 into 0 1548151702.402 * [misc]backup-simplify: Simplify 1 into 1 1548151702.402 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1548151702.402 * [misc]taylor: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 1548151702.402 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.402 * [misc]backup-simplify: Simplify -1 into -1 1548151702.402 * [misc]taylor: Taking taylor expansion of (/ (acos a) a) in a 1548151702.402 * [misc]taylor: Taking taylor expansion of (acos a) in a 1548151702.402 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1548151702.402 * [misc]taylor: Taking taylor expansion of a in a 1548151702.402 * [misc]backup-simplify: Simplify 0 into 0 1548151702.402 * [misc]backup-simplify: Simplify 1 into 1 1548151702.402 * [misc]backup-simplify: Simplify (/ (acos a) 1) into (acos a) 1548151702.402 * [misc]backup-simplify: Simplify (* -1 (acos a)) into (* -1 (acos a)) 1548151702.403 * [misc]backup-simplify: Simplify (* -1 (acos a)) into (* -1 (acos a)) 1548151702.403 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)))) into 0 1548151702.403 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (acos a))) into 0 1548151702.403 * [misc]backup-simplify: Simplify 0 into 0 1548151702.404 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548151702.404 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (acos a)))) into 0 1548151702.404 * [misc]backup-simplify: Simplify 0 into 0 1548151702.405 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548151702.405 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a))))) into 0 1548151702.405 * [misc]backup-simplify: Simplify 0 into 0 1548151702.406 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548151702.407 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a)))))) into 0 1548151702.407 * [misc]backup-simplify: Simplify 0 into 0 1548151702.407 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548151702.408 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a))))))) into 0 1548151702.408 * [misc]backup-simplify: Simplify 0 into 0 1548151702.409 * [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 1548151702.410 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a)))))))) into 0 1548151702.410 * [misc]backup-simplify: Simplify 0 into 0 1548151702.410 * [misc]backup-simplify: Simplify (* (* -1 (acos a)) (/ 1 a)) into (* -1 (/ (acos a) a)) 1548151702.410 * [misc]backup-simplify: Simplify (/ (- (acos (/ 1 a))) (/ 1 a)) into (* -1 (* a (acos (/ 1 a)))) 1548151702.411 * [misc]approximate: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in (a) around 0 1548151702.411 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in a 1548151702.411 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.411 * [misc]backup-simplify: Simplify -1 into -1 1548151702.411 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1548151702.411 * [misc]taylor: Taking taylor expansion of a in a 1548151702.411 * [misc]backup-simplify: Simplify 0 into 0 1548151702.411 * [misc]backup-simplify: Simplify 1 into 1 1548151702.411 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1548151702.411 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1548151702.411 * [misc]taylor: Taking taylor expansion of (* -1 (* a (acos (/ 1 a)))) in a 1548151702.411 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.411 * [misc]backup-simplify: Simplify -1 into -1 1548151702.411 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1548151702.411 * [misc]taylor: Taking taylor expansion of a in a 1548151702.411 * [misc]backup-simplify: Simplify 0 into 0 1548151702.411 * [misc]backup-simplify: Simplify 1 into 1 1548151702.411 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1548151702.411 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1548151702.411 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1548151702.411 * [misc]backup-simplify: Simplify (* -1 0) into 0 1548151702.411 * [misc]backup-simplify: Simplify 0 into 0 1548151702.412 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1548151702.412 * [misc]backup-simplify: Simplify (+ (* -1 (acos (/ 1 a))) (* 0 0)) into (- (acos (/ 1 a))) 1548151702.412 * [misc]backup-simplify: Simplify (- (acos (/ 1 a))) into (- (acos (/ 1 a))) 1548151702.412 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1548151702.413 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))) into 0 1548151702.413 * [misc]backup-simplify: Simplify 0 into 0 1548151702.413 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1548151702.414 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))) into 0 1548151702.414 * [misc]backup-simplify: Simplify 0 into 0 1548151702.414 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1548151702.415 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))))) into 0 1548151702.415 * [misc]backup-simplify: Simplify 0 into 0 1548151702.416 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1548151702.417 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))))) into 0 1548151702.417 * [misc]backup-simplify: Simplify 0 into 0 1548151702.417 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1548151702.418 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))))))) into 0 1548151702.418 * [misc]backup-simplify: Simplify 0 into 0 1548151702.418 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1548151702.419 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))))))) into 0 1548151702.419 * [misc]backup-simplify: Simplify 0 into 0 1548151702.419 * [misc]backup-simplify: Simplify (* (- (acos (/ 1 (/ 1 a)))) (/ 1 a)) into (* -1 (/ (acos a) a)) 1548151702.419 * [misc]backup-simplify: Simplify (/ (- (acos (/ 1 (- a)))) (/ 1 (- a))) into (* a (acos (/ -1 a))) 1548151702.419 * [misc]approximate: Taking taylor expansion of (* a (acos (/ -1 a))) in (a) around 0 1548151702.419 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1548151702.419 * [misc]taylor: Taking taylor expansion of a in a 1548151702.419 * [misc]backup-simplify: Simplify 0 into 0 1548151702.419 * [misc]backup-simplify: Simplify 1 into 1 1548151702.419 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1548151702.419 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1548151702.419 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1548151702.419 * [misc]taylor: Taking taylor expansion of a in a 1548151702.419 * [misc]backup-simplify: Simplify 0 into 0 1548151702.419 * [misc]backup-simplify: Simplify 1 into 1 1548151702.419 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1548151702.419 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1548151702.419 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1548151702.419 * [misc]backup-simplify: Simplify 0 into 0 1548151702.420 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1548151702.420 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1548151702.420 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1548151702.420 * [misc]backup-simplify: Simplify 0 into 0 1548151702.420 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1548151702.420 * [misc]backup-simplify: Simplify 0 into 0 1548151702.421 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1548151702.421 * [misc]backup-simplify: Simplify 0 into 0 1548151702.421 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1548151702.421 * [misc]backup-simplify: Simplify 0 into 0 1548151702.422 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1548151702.422 * [misc]backup-simplify: Simplify 0 into 0 1548151702.422 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1548151702.422 * [misc]backup-simplify: Simplify 0 into 0 1548151702.422 * [misc]backup-simplify: Simplify (* (acos (/ -1 (/ 1 (- a)))) (/ 1 (- a))) into (* -1 (/ (acos a) a)) 1548151702.423 * * * [misc]progress: simplifying candidates 1548151702.423 * * * * [misc]progress: [ 1 / 50 ] simplifiying candidate # 1548151702.423 * * * * [misc]progress: [ 2 / 50 ] simplifiying candidate # 1548151702.423 * * * * [misc]progress: [ 3 / 50 ] simplifiying candidate # 1548151702.423 * * * * [misc]progress: [ 4 / 50 ] simplifiying candidate # 1548151702.423 * [enter]simplify: Simplifying (- 1) 1548151702.423 * * [misc]simplify: iters left: 2 (2 enodes) 1548151702.424 * * [misc]simplify: iters left: 1 (5 enodes) 1548151702.424 * [exit]simplify: Simplified to -1 1548151702.424 * [misc]simplify: Simplified (2 2) to (λ (a) (pow (/ (- (acos a)) a) -1)) 1548151702.424 * * * * [misc]progress: [ 5 / 50 ] simplifiying candidate # 1548151702.424 * * * * [misc]progress: [ 6 / 50 ] simplifiying candidate # 1548151702.424 * * * * [misc]progress: [ 7 / 50 ] simplifiying candidate # 1548151702.424 * * * * [misc]progress: [ 8 / 50 ] simplifiying candidate # 1548151702.424 * * * * [misc]progress: [ 9 / 50 ] simplifiying candidate # 1548151702.424 * * * * [misc]progress: [ 10 / 50 ] simplifiying candidate # 1548151702.425 * * * * [misc]progress: [ 11 / 50 ] simplifiying candidate # 1548151702.425 * * * * [misc]progress: [ 12 / 50 ] simplifiying candidate # 1548151702.425 * * * * [misc]progress: [ 13 / 50 ] simplifiying candidate # 1548151702.425 * * * * [misc]progress: [ 14 / 50 ] simplifiying candidate # 1548151702.425 * * * * [misc]progress: [ 15 / 50 ] simplifiying candidate # 1548151702.425 * * * * [misc]progress: [ 16 / 50 ] simplifiying candidate # 1548151702.425 * [enter]simplify: Simplifying (cbrt (/ (- (acos a)) a)) 1548151702.425 * * [misc]simplify: iters left: 6 (5 enodes) 1548151702.426 * * [misc]simplify: iters left: 5 (7 enodes) 1548151702.426 * [exit]simplify: Simplified to (cbrt (- (/ (acos a) a))) 1548151702.426 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (* (cbrt (/ (- (acos a)) a)) (cbrt (/ (- (acos a)) a)))) (cbrt (- (/ (acos a) a))))) 1548151702.426 * * * * [misc]progress: [ 17 / 50 ] simplifiying candidate # 1548151702.427 * [enter]simplify: Simplifying (sqrt (/ (- (acos a)) a)) 1548151702.427 * * [misc]simplify: iters left: 6 (5 enodes) 1548151702.427 * * [misc]simplify: iters left: 5 (7 enodes) 1548151702.428 * [exit]simplify: Simplified to (sqrt (- (/ (acos a) a))) 1548151702.428 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (sqrt (/ (- (acos a)) a))) (sqrt (- (/ (acos a) a))))) 1548151702.428 * * * * [misc]progress: [ 18 / 50 ] simplifiying candidate # 1548151702.428 * [enter]simplify: Simplifying (/ (- (acos a)) a) 1548151702.428 * * [misc]simplify: iters left: 5 (4 enodes) 1548151702.429 * * [misc]simplify: iters left: 4 (6 enodes) 1548151702.430 * [exit]simplify: Simplified to (- (/ (acos a) a)) 1548151702.430 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 1) (- (/ (acos a) a)))) 1548151702.430 * * * * [misc]progress: [ 19 / 50 ] simplifiying candidate # 1548151702.430 * [enter]simplify: Simplifying (/ 1 a) 1548151702.430 * * [misc]simplify: iters left: 2 (3 enodes) 1548151702.430 * * [misc]simplify: iters left: 1 (5 enodes) 1548151702.431 * [exit]simplify: Simplified to (/ 1 a) 1548151702.431 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ 1 (- (acos a))) (/ 1 a))) 1548151702.431 * * * * [misc]progress: [ 20 / 50 ] simplifiying candidate # 1548151702.431 * * * * [misc]progress: [ 21 / 50 ] simplifiying candidate # 1548151702.431 * * * * [misc]progress: [ 22 / 50 ] simplifiying candidate # 1548151702.431 * * * * [misc]progress: [ 23 / 50 ] simplifiying candidate # 1548151702.431 * * * * [misc]progress: [ 24 / 50 ] simplifiying candidate # 1548151702.431 * * * * [misc]progress: [ 25 / 50 ] simplifiying candidate # 1548151702.431 * * * * [misc]progress: [ 26 / 50 ] simplifiying candidate # 1548151702.431 * * * * [misc]progress: [ 27 / 50 ] simplifiying candidate # 1548151702.431 * * * * [misc]progress: [ 28 / 50 ] simplifiying candidate # 1548151702.431 * * * * [misc]progress: [ 29 / 50 ] simplifiying candidate # 1548151702.431 * * * * [misc]progress: [ 30 / 50 ] simplifiying candidate # 1548151702.431 * [enter]simplify: Simplifying (/ 0 a) 1548151702.432 * * [misc]simplify: iters left: 2 (3 enodes) 1548151702.432 * [exit]simplify: Simplified to 0 1548151702.432 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (- 0 (/ (acos a) a)))) 1548151702.432 * * * * [misc]progress: [ 31 / 50 ] simplifiying candidate # 1548151702.432 * * * * [misc]progress: [ 32 / 50 ] simplifiying candidate # 1548151702.432 * * * * [misc]progress: [ 33 / 50 ] simplifiying candidate # 1548151702.432 * * * * [misc]progress: [ 34 / 50 ] simplifiying candidate # 1548151702.432 * [enter]simplify: Simplifying (/ (acos a) a) 1548151702.432 * * [misc]simplify: iters left: 3 (3 enodes) 1548151702.433 * [exit]simplify: Simplified to (/ (acos a) a) 1548151702.433 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (- (/ (acos a) a)))) 1548151702.433 * * * * [misc]progress: [ 35 / 50 ] simplifiying candidate # 1548151702.433 * [enter]simplify: Simplifying (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1548151702.433 * * [misc]simplify: iters left: 6 (5 enodes) 1548151702.434 * [exit]simplify: Simplified to (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1548151702.435 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (/ a (cbrt (- (acos a))))))) 1548151702.435 * * * * [misc]progress: [ 36 / 50 ] simplifiying candidate # 1548151702.435 * [enter]simplify: Simplifying (sqrt (- (acos a))) 1548151702.435 * * [misc]simplify: iters left: 4 (4 enodes) 1548151702.436 * [exit]simplify: Simplified to (sqrt (- (acos a))) 1548151702.436 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (sqrt (- (acos a))) (/ a (sqrt (- (acos a))))))) 1548151702.436 * * * * [misc]progress: [ 37 / 50 ] simplifiying candidate # 1548151702.436 * * * * [misc]progress: [ 38 / 50 ] simplifiying candidate # 1548151702.436 * * * * [misc]progress: [ 39 / 50 ] simplifiying candidate # 1548151702.436 * [enter]simplify: Simplifying (- (* (cbrt (acos a)) (cbrt (acos a)))) 1548151702.436 * * [misc]simplify: iters left: 6 (5 enodes) 1548151702.437 * * [misc]simplify: iters left: 5 (8 enodes) 1548151702.438 * [exit]simplify: Simplified to (* (cbrt (acos a)) (- (cbrt (acos a)))) 1548151702.438 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (* (cbrt (acos a)) (- (cbrt (acos a)))) (/ a (cbrt (acos a)))))) 1548151702.438 * * * * [misc]progress: [ 40 / 50 ] simplifiying candidate # 1548151702.438 * [enter]simplify: Simplifying (- (sqrt (acos a))) 1548151702.438 * * [misc]simplify: iters left: 4 (4 enodes) 1548151702.439 * [exit]simplify: Simplified to (- (sqrt (acos a))) 1548151702.439 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (- (sqrt (acos a))) (/ a (sqrt (acos a)))))) 1548151702.439 * * * * [misc]progress: [ 41 / 50 ] simplifiying candidate # 1548151702.439 * [enter]simplify: Simplifying (- 1) 1548151702.439 * * [misc]simplify: iters left: 2 (2 enodes) 1548151702.440 * * [misc]simplify: iters left: 1 (5 enodes) 1548151702.440 * [exit]simplify: Simplified to -1 1548151702.440 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ -1 (/ a (acos a))))) 1548151702.440 * * * * [misc]progress: [ 42 / 50 ] simplifiying candidate # 1548151702.440 * [enter]simplify: Simplifying (* (cbrt (acos a)) (cbrt (acos a))) 1548151702.440 * * [misc]simplify: iters left: 4 (4 enodes) 1548151702.441 * [exit]simplify: Simplified to (* (cbrt (acos a)) (cbrt (acos a))) 1548151702.441 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (/ a (- (cbrt (acos a))))))) 1548151702.441 * * * * [misc]progress: [ 43 / 50 ] simplifiying candidate # 1548151702.441 * [enter]simplify: Simplifying (sqrt (acos a)) 1548151702.441 * * [misc]simplify: iters left: 2 (3 enodes) 1548151702.442 * [exit]simplify: Simplified to (sqrt (acos a)) 1548151702.442 * [misc]simplify: Simplified (2 2 1) to (λ (a) (/ 1 (/ (sqrt (acos a)) (/ a (- (sqrt (acos a))))))) 1548151702.442 * * * * [misc]progress: [ 44 / 50 ] simplifiying candidate # 1548151702.442 * * * * [misc]progress: [ 45 / 50 ] simplifiying candidate # 1548151702.442 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1548151702.442 * * [misc]simplify: iters left: 5 (5 enodes) 1548151702.443 * * [misc]simplify: iters left: 4 (9 enodes) 1548151702.444 * * [misc]simplify: iters left: 3 (14 enodes) 1548151702.445 * * [misc]simplify: iters left: 2 (16 enodes) 1548151702.447 * * [misc]simplify: iters left: 1 (18 enodes) 1548151702.449 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1548151702.449 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1548151702.449 * * * * [misc]progress: [ 46 / 50 ] simplifiying candidate # 1548151702.449 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1548151702.449 * * [misc]simplify: iters left: 5 (5 enodes) 1548151702.450 * * [misc]simplify: iters left: 4 (9 enodes) 1548151702.451 * * [misc]simplify: iters left: 3 (14 enodes) 1548151702.453 * * [misc]simplify: iters left: 2 (16 enodes) 1548151702.454 * * [misc]simplify: iters left: 1 (18 enodes) 1548151702.456 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1548151702.456 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1548151702.456 * * * * [misc]progress: [ 47 / 50 ] simplifiying candidate # 1548151702.456 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1548151702.456 * * [misc]simplify: iters left: 5 (5 enodes) 1548151702.457 * * [misc]simplify: iters left: 4 (9 enodes) 1548151702.458 * * [misc]simplify: iters left: 3 (14 enodes) 1548151702.460 * * [misc]simplify: iters left: 2 (16 enodes) 1548151702.462 * * [misc]simplify: iters left: 1 (18 enodes) 1548151702.463 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1548151702.464 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1548151702.464 * * * * [misc]progress: [ 48 / 50 ] simplifiying candidate # 1548151702.464 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1548151702.464 * * [misc]simplify: iters left: 5 (5 enodes) 1548151702.465 * * [misc]simplify: iters left: 4 (9 enodes) 1548151702.466 * * [misc]simplify: iters left: 3 (14 enodes) 1548151702.467 * * [misc]simplify: iters left: 2 (16 enodes) 1548151702.469 * * [misc]simplify: iters left: 1 (18 enodes) 1548151702.471 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1548151702.471 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1548151702.471 * * * * [misc]progress: [ 49 / 50 ] simplifiying candidate # 1548151702.471 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1548151702.471 * * [misc]simplify: iters left: 5 (5 enodes) 1548151702.472 * * [misc]simplify: iters left: 4 (9 enodes) 1548151702.474 * * [misc]simplify: iters left: 3 (14 enodes) 1548151702.477 * * [misc]simplify: iters left: 2 (16 enodes) 1548151702.480 * * [misc]simplify: iters left: 1 (18 enodes) 1548151702.484 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1548151702.484 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1548151702.484 * * * * [misc]progress: [ 50 / 50 ] simplifiying candidate # 1548151702.484 * [enter]simplify: Simplifying (* -1 (/ (acos a) a)) 1548151702.484 * * [misc]simplify: iters left: 5 (5 enodes) 1548151702.485 * * [misc]simplify: iters left: 4 (9 enodes) 1548151702.489 * * [misc]simplify: iters left: 3 (14 enodes) 1548151702.491 * * [misc]simplify: iters left: 2 (16 enodes) 1548151702.494 * * [misc]simplify: iters left: 1 (18 enodes) 1548151702.498 * [exit]simplify: Simplified to (/ (acos a) (/ a -1)) 1548151702.498 * [misc]simplify: Simplified (2 2) to (λ (a) (/ 1 (/ (acos a) (/ a -1)))) 1548151702.498 * * * [misc]progress: adding candidates to table 1548151702.784 * * [misc]progress: iteration 4 / 4 1548151702.785 * * * [misc]progress: picking best candidate 1548151702.799 * * * * [misc]pick: Picked # 1548151702.799 * * * [misc]progress: localizing error 1548151702.812 * * * [misc]progress: generating rewritten candidates 1548151702.812 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1548151702.820 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1548151702.823 * * * [misc]progress: generating series expansions 1548151702.823 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1548151702.823 * [misc]backup-simplify: Simplify (/ (/ 1 (- (acos a))) (/ 1 a)) into (* -1 (/ a (acos a))) 1548151702.823 * [misc]approximate: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1548151702.823 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1548151702.823 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.824 * [misc]backup-simplify: Simplify -1 into -1 1548151702.824 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1548151702.824 * [misc]taylor: Taking taylor expansion of a in a 1548151702.824 * [misc]backup-simplify: Simplify 0 into 0 1548151702.824 * [misc]backup-simplify: Simplify 1 into 1 1548151702.824 * [misc]taylor: Taking taylor expansion of (acos a) in a 1548151702.824 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1548151702.824 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1548151702.824 * [misc]taylor: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1548151702.824 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.824 * [misc]backup-simplify: Simplify -1 into -1 1548151702.824 * [misc]taylor: Taking taylor expansion of (/ a (acos a)) in a 1548151702.824 * [misc]taylor: Taking taylor expansion of a in a 1548151702.824 * [misc]backup-simplify: Simplify 0 into 0 1548151702.824 * [misc]backup-simplify: Simplify 1 into 1 1548151702.824 * [misc]taylor: Taking taylor expansion of (acos a) in a 1548151702.824 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1548151702.824 * [misc]backup-simplify: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1548151702.824 * [misc]backup-simplify: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1548151702.824 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1548151702.825 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1548151702.825 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1548151702.825 * [misc]backup-simplify: Simplify 0 into 0 1548151702.825 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1548151702.826 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1548151702.826 * [misc]backup-simplify: Simplify 0 into 0 1548151702.826 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1548151702.826 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1548151702.827 * [misc]backup-simplify: Simplify 0 into 0 1548151702.827 * [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 1548151702.827 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1548151702.827 * [misc]backup-simplify: Simplify 0 into 0 1548151702.828 * [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 1548151702.829 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1548151702.829 * [misc]backup-simplify: Simplify 0 into 0 1548151702.829 * [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 1548151702.830 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1548151702.830 * [misc]backup-simplify: Simplify 0 into 0 1548151702.830 * [misc]backup-simplify: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1548151702.830 * [misc]backup-simplify: Simplify (/ (/ 1 (- (acos (/ 1 a)))) (/ 1 (/ 1 a))) into (/ -1 (* a (acos (/ 1 a)))) 1548151702.830 * [misc]approximate: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in (a) around 0 1548151702.830 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1548151702.830 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.830 * [misc]backup-simplify: Simplify -1 into -1 1548151702.830 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1548151702.830 * [misc]taylor: Taking taylor expansion of a in a 1548151702.830 * [misc]backup-simplify: Simplify 0 into 0 1548151702.830 * [misc]backup-simplify: Simplify 1 into 1 1548151702.830 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1548151702.830 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1548151702.831 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1548151702.831 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1548151702.831 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1548151702.831 * [misc]taylor: Taking taylor expansion of (/ -1 (* a (acos (/ 1 a)))) in a 1548151702.831 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.831 * [misc]backup-simplify: Simplify -1 into -1 1548151702.831 * [misc]taylor: Taking taylor expansion of (* a (acos (/ 1 a))) in a 1548151702.831 * [misc]taylor: Taking taylor expansion of a in a 1548151702.831 * [misc]backup-simplify: Simplify 0 into 0 1548151702.831 * [misc]backup-simplify: Simplify 1 into 1 1548151702.831 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1548151702.831 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1548151702.831 * [misc]backup-simplify: Simplify (* 0 (acos (/ 1 a))) into 0 1548151702.831 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ 1 a)))) into (acos (/ 1 a)) 1548151702.832 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1548151702.832 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1548151702.832 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ 1 a))))) into 0 1548151702.832 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1548151702.832 * [misc]backup-simplify: Simplify 0 into 0 1548151702.833 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))) into 0 1548151702.833 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1548151702.833 * [misc]backup-simplify: Simplify 0 into 0 1548151702.834 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))) into 0 1548151702.834 * [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 1548151702.834 * [misc]backup-simplify: Simplify 0 into 0 1548151702.835 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))) into 0 1548151702.835 * [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 1548151702.836 * [misc]backup-simplify: Simplify 0 into 0 1548151702.836 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a))))))))) into 0 1548151702.837 * [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 1548151702.837 * [misc]backup-simplify: Simplify 0 into 0 1548151702.838 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ 1 a)))))))))) into 0 1548151702.838 * [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 1548151702.838 * [misc]backup-simplify: Simplify 0 into 0 1548151702.839 * [misc]backup-simplify: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1548151702.839 * [misc]backup-simplify: Simplify (/ (/ 1 (- (acos (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (/ 1 (* a (acos (/ -1 a)))) 1548151702.839 * [misc]approximate: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1548151702.839 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1548151702.839 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1548151702.839 * [misc]taylor: Taking taylor expansion of a in a 1548151702.839 * [misc]backup-simplify: Simplify 0 into 0 1548151702.839 * [misc]backup-simplify: Simplify 1 into 1 1548151702.839 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1548151702.839 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1548151702.839 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1548151702.839 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1548151702.839 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1548151702.839 * [misc]taylor: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1548151702.839 * [misc]taylor: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1548151702.840 * [misc]taylor: Taking taylor expansion of a in a 1548151702.840 * [misc]backup-simplify: Simplify 0 into 0 1548151702.840 * [misc]backup-simplify: Simplify 1 into 1 1548151702.840 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1548151702.840 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1548151702.840 * [misc]backup-simplify: Simplify (* 0 (acos (/ -1 a))) into 0 1548151702.840 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1548151702.840 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1548151702.840 * [misc]backup-simplify: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1548151702.841 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1548151702.841 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1548151702.841 * [misc]backup-simplify: Simplify 0 into 0 1548151702.841 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1548151702.841 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1548151702.842 * [misc]backup-simplify: Simplify 0 into 0 1548151702.842 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1548151702.842 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1548151702.842 * [misc]backup-simplify: Simplify 0 into 0 1548151702.843 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1548151702.843 * [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 1548151702.844 * [misc]backup-simplify: Simplify 0 into 0 1548151702.844 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1548151702.845 * [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 1548151702.845 * [misc]backup-simplify: Simplify 0 into 0 1548151702.846 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1548151702.846 * [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 1548151702.846 * [misc]backup-simplify: Simplify 0 into 0 1548151702.847 * [misc]backup-simplify: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1548151702.847 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1548151702.847 * [misc]backup-simplify: Simplify (/ 1 (- (acos a))) into (/ -1 (acos a)) 1548151702.847 * [misc]approximate: Taking taylor expansion of (/ -1 (acos a)) in (a) around 0 1548151702.847 * [misc]taylor: Taking taylor expansion of (/ -1 (acos a)) in a 1548151702.847 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.847 * [misc]backup-simplify: Simplify -1 into -1 1548151702.847 * [misc]taylor: Taking taylor expansion of (acos a) in a 1548151702.847 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1548151702.847 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1548151702.847 * [misc]taylor: Taking taylor expansion of (/ -1 (acos a)) in a 1548151702.847 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.847 * [misc]backup-simplify: Simplify -1 into -1 1548151702.847 * [misc]taylor: Taking taylor expansion of (acos a) in a 1548151702.847 * [misc]backup-simplify: Simplify (acos a) into (acos a) 1548151702.847 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1548151702.847 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1548151702.847 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))))) into 0 1548151702.847 * [misc]backup-simplify: Simplify 0 into 0 1548151702.848 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1548151702.848 * [misc]backup-simplify: Simplify 0 into 0 1548151702.848 * [misc]backup-simplify: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1548151702.848 * [misc]backup-simplify: Simplify 0 into 0 1548151702.848 * [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 1548151702.848 * [misc]backup-simplify: Simplify 0 into 0 1548151702.849 * [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 1548151702.849 * [misc]backup-simplify: Simplify 0 into 0 1548151702.849 * [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 1548151702.849 * [misc]backup-simplify: Simplify 0 into 0 1548151702.849 * [misc]backup-simplify: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1548151702.849 * [misc]backup-simplify: Simplify (/ 1 (- (acos (/ 1 a)))) into (/ -1 (acos (/ 1 a))) 1548151702.849 * [misc]approximate: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in (a) around 0 1548151702.849 * [misc]taylor: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in a 1548151702.849 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.850 * [misc]backup-simplify: Simplify -1 into -1 1548151702.850 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1548151702.850 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1548151702.850 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1548151702.850 * [misc]taylor: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in a 1548151702.850 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.850 * [misc]backup-simplify: Simplify -1 into -1 1548151702.850 * [misc]taylor: Taking taylor expansion of (acos (/ 1 a)) in a 1548151702.850 * [misc]backup-simplify: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1548151702.850 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1548151702.850 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1548151702.850 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1548151702.850 * [misc]backup-simplify: Simplify 0 into 0 1548151702.851 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1548151702.851 * [misc]backup-simplify: Simplify 0 into 0 1548151702.851 * [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 1548151702.851 * [misc]backup-simplify: Simplify 0 into 0 1548151702.851 * [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 1548151702.851 * [misc]backup-simplify: Simplify 0 into 0 1548151702.852 * [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 1548151702.852 * [misc]backup-simplify: Simplify 0 into 0 1548151702.852 * [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 1548151702.852 * [misc]backup-simplify: Simplify 0 into 0 1548151702.852 * [misc]backup-simplify: Simplify (/ -1 (acos (/ 1 (/ 1 a)))) into (/ -1 (acos a)) 1548151702.853 * [misc]backup-simplify: Simplify (/ 1 (- (acos (/ 1 (- a))))) into (/ -1 (acos (/ -1 a))) 1548151702.853 * [misc]approximate: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in (a) around 0 1548151702.853 * [misc]taylor: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in a 1548151702.853 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.853 * [misc]backup-simplify: Simplify -1 into -1 1548151702.853 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1548151702.853 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1548151702.853 * [misc]backup-simplify: Simplify (/ -1 (acos (/ -1 a))) into (/ -1 (acos (/ -1 a))) 1548151702.853 * [misc]taylor: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in a 1548151702.853 * [misc]taylor: Taking taylor expansion of -1 in a 1548151702.853 * [misc]backup-simplify: Simplify -1 into -1 1548151702.853 * [misc]taylor: Taking taylor expansion of (acos (/ -1 a)) in a 1548151702.853 * [misc]backup-simplify: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1548151702.853 * [misc]backup-simplify: Simplify (/ -1 (acos (/ -1 a))) into (/ -1 (acos (/ -1 a))) 1548151702.853 * [misc]backup-simplify: Simplify (/ -1 (acos (/ -1 a))) into (/ -1 (acos (/ -1 a))) 1548151702.853 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ -1 a))) (+ (* (/ -1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1548151702.853 * [misc]backup-simplify: Simplify 0 into 0 1548151702.853 * [misc]backup-simplify: Simplify (- (/ 0 (acos (/ -1 a))) (+ (* (/ -1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1548151702.853 * [misc]backup-simplify: Simplify 0 into 0 1548151702.853 * [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 1548151702.853 * [misc]backup-simplify: Simplify 0 into 0 1548151702.854 * [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 1548151702.854 * [misc]backup-simplify: Simplify 0 into 0 1548151702.854 * [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 1548151702.854 * [misc]backup-simplify: Simplify 0 into 0 1548151702.854 * [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 1548151702.854 * [misc]backup-simplify: Simplify 0 into 0 1548151702.854 * [misc]backup-simplify: Simplify (/ -1 (acos (/ -1 (/ 1 (- a))))) into (/ -1 (acos a)) 1548151702.854 * * * [misc]progress: simplifying candidates 1548151702.854 * * * * [misc]progress: [ 1 / 72 ] simplifiying candidate # 1548151702.854 * * * * [misc]progress: [ 2 / 72 ] simplifiying candidate # 1548151702.854 * * * * [misc]progress: [ 3 / 72 ] simplifiying candidate # 1548151702.855 * * * * [misc]progress: [ 4 / 72 ] simplifiying candidate # 1548151702.855 * [enter]simplify: Simplifying (- (- (log (- (acos a)))) (log (/ 1 a))) 1548151702.855 * * [misc]simplify: iters left: 6 (9 enodes) 1548151702.856 * * [misc]simplify: iters left: 5 (17 enodes) 1548151702.858 * * [misc]simplify: iters left: 4 (20 enodes) 1548151702.861 * * [misc]simplify: iters left: 3 (23 enodes) 1548151702.863 * * [misc]simplify: iters left: 2 (29 enodes) 1548151702.867 * * [misc]simplify: iters left: 1 (43 enodes) 1548151702.874 * [exit]simplify: Simplified to (- (log a) (log (- (acos a)))) 1548151702.874 * [misc]simplify: Simplified (2 1) to (λ (a) (exp (- (log a) (log (- (acos a)))))) 1548151702.874 * * * * [misc]progress: [ 5 / 72 ] simplifiying candidate # 1548151702.875 * [enter]simplify: Simplifying (- (log (/ 1 (- (acos a)))) (log (/ 1 a))) 1548151702.875 * * [misc]simplify: iters left: 6 (9 enodes) 1548151702.877 * * [misc]simplify: iters left: 5 (20 enodes) 1548151702.880 * * [misc]simplify: iters left: 4 (23 enodes) 1548151702.882 * * [misc]simplify: iters left: 3 (31 enodes) 1548151702.886 * * [misc]simplify: iters left: 2 (41 enodes) 1548151702.904 * * [misc]simplify: iters left: 1 (86 enodes) 1548151702.922 * [exit]simplify: Simplified to (- (log a) (log (- (acos a)))) 1548151702.922 * [misc]simplify: Simplified (2 1) to (λ (a) (exp (- (log a) (log (- (acos a)))))) 1548151702.923 * * * * [misc]progress: [ 6 / 72 ] simplifiying candidate # 1548151702.923 * * * * [misc]progress: [ 7 / 72 ] simplifiying candidate # 1548151702.923 * * * * [misc]progress: [ 8 / 72 ] simplifiying candidate # 1548151702.923 * [enter]simplify: Simplifying (/ (* (* (/ 1 (- (acos a))) (/ 1 (- (acos a)))) (/ 1 (- (acos a)))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a))) 1548151702.923 * * [misc]simplify: iters left: 6 (11 enodes) 1548151702.925 * * [misc]simplify: iters left: 5 (34 enodes) 1548151702.933 * * [misc]simplify: iters left: 4 (100 enodes) 1548151702.974 * * [misc]simplify: iters left: 3 (414 enodes) 1548151703.710 * [exit]simplify: Simplified to (pow (/ a (- (acos a))) 3) 1548151703.710 * [misc]simplify: Simplified (2 1) to (λ (a) (cbrt (pow (/ a (- (acos a))) 3))) 1548151703.710 * * * * [misc]progress: [ 9 / 72 ] simplifiying candidate # 1548151703.710 * * * * [misc]progress: [ 10 / 72 ] simplifiying candidate # 1548151703.710 * * * * [misc]progress: [ 11 / 72 ] simplifiying candidate # 1548151703.710 * * * * [misc]progress: [ 12 / 72 ] simplifiying candidate # 1548151703.710 * * * * [misc]progress: [ 13 / 72 ] simplifiying candidate # 1548151703.710 * [enter]simplify: Simplifying (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1548151703.711 * * [misc]simplify: iters left: 6 (11 enodes) 1548151703.712 * * [misc]simplify: iters left: 5 (19 enodes) 1548151703.715 * * [misc]simplify: iters left: 4 (28 enodes) 1548151703.718 * * [misc]simplify: iters left: 3 (31 enodes) 1548151703.722 * * [misc]simplify: iters left: 2 (34 enodes) 1548151703.726 * [exit]simplify: Simplified to (* (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a)))) 1548151703.726 * [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))))) 1548151703.726 * [enter]simplify: Simplifying (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) 1548151703.726 * * [misc]simplify: iters left: 6 (9 enodes) 1548151703.727 * * [misc]simplify: iters left: 5 (11 enodes) 1548151703.730 * [exit]simplify: Simplified to (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) 1548151703.730 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))))) 1548151703.730 * * * * [misc]progress: [ 14 / 72 ] simplifiying candidate # 1548151703.730 * [enter]simplify: Simplifying (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (sqrt (/ 1 a))) 1548151703.730 * * [misc]simplify: iters left: 6 (10 enodes) 1548151703.732 * * [misc]simplify: iters left: 5 (14 enodes) 1548151703.733 * * [misc]simplify: iters left: 4 (16 enodes) 1548151703.735 * * [misc]simplify: iters left: 3 (17 enodes) 1548151703.737 * [exit]simplify: Simplified to (* (/ (cbrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) (cbrt (/ 1 (- (acos a))))) 1548151703.737 * [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))))) 1548151703.738 * [enter]simplify: Simplifying (/ (cbrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1548151703.738 * * [misc]simplify: iters left: 6 (9 enodes) 1548151703.739 * * [misc]simplify: iters left: 5 (11 enodes) 1548151703.740 * [exit]simplify: Simplified to (/ (cbrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1548151703.740 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (sqrt (/ 1 a))) (/ (cbrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))))) 1548151703.740 * * * * [misc]progress: [ 15 / 72 ] simplifiying candidate # 1548151703.740 * [enter]simplify: Simplifying (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1) 1548151703.741 * * [misc]simplify: iters left: 6 (8 enodes) 1548151703.743 * * [misc]simplify: iters left: 5 (12 enodes) 1548151703.747 * * [misc]simplify: iters left: 4 (18 enodes) 1548151703.751 * * [misc]simplify: iters left: 3 (20 enodes) 1548151703.756 * * [misc]simplify: iters left: 2 (25 enodes) 1548151703.759 * [exit]simplify: Simplified to (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1548151703.759 * [misc]simplify: Simplified (2 1) to (λ (a) (* (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (/ (cbrt (/ 1 (- (acos a)))) (/ 1 a)))) 1548151703.759 * [enter]simplify: Simplifying (/ (cbrt (/ 1 (- (acos a)))) (/ 1 a)) 1548151703.759 * * [misc]simplify: iters left: 6 (8 enodes) 1548151703.761 * * [misc]simplify: iters left: 5 (12 enodes) 1548151703.762 * * [misc]simplify: iters left: 4 (15 enodes) 1548151703.765 * * [misc]simplify: iters left: 3 (25 enodes) 1548151703.767 * * [misc]simplify: iters left: 2 (27 enodes) 1548151703.770 * * [misc]simplify: iters left: 1 (32 enodes) 1548151703.774 * [exit]simplify: Simplified to (* (cbrt (/ 1 (- (acos a)))) a) 1548151703.774 * [misc]simplify: Simplified (2 2) to (λ (a) (* (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (* (cbrt (/ 1 (- (acos a)))) a))) 1548151703.774 * * * * [misc]progress: [ 16 / 72 ] simplifiying candidate # 1548151703.774 * [enter]simplify: Simplifying (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1) 1548151703.774 * * [misc]simplify: iters left: 6 (8 enodes) 1548151703.777 * * [misc]simplify: iters left: 5 (12 enodes) 1548151703.780 * * [misc]simplify: iters left: 4 (18 enodes) 1548151703.784 * * [misc]simplify: iters left: 3 (20 enodes) 1548151703.788 * * [misc]simplify: iters left: 2 (25 enodes) 1548151703.794 * [exit]simplify: Simplified to (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1548151703.794 * [misc]simplify: Simplified (2 1) to (λ (a) (* (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (/ (cbrt (/ 1 (- (acos a)))) (/ 1 a)))) 1548151703.794 * [enter]simplify: Simplifying (/ (cbrt (/ 1 (- (acos a)))) (/ 1 a)) 1548151703.794 * * [misc]simplify: iters left: 6 (8 enodes) 1548151703.797 * * [misc]simplify: iters left: 5 (12 enodes) 1548151703.800 * * [misc]simplify: iters left: 4 (15 enodes) 1548151703.802 * * [misc]simplify: iters left: 3 (25 enodes) 1548151703.805 * * [misc]simplify: iters left: 2 (27 enodes) 1548151703.807 * * [misc]simplify: iters left: 1 (32 enodes) 1548151703.810 * [exit]simplify: Simplified to (* (cbrt (/ 1 (- (acos a)))) a) 1548151703.810 * [misc]simplify: Simplified (2 2) to (λ (a) (* (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (* (cbrt (/ 1 (- (acos a)))) a))) 1548151703.810 * * * * [misc]progress: [ 17 / 72 ] simplifiying candidate # 1548151703.811 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1548151703.811 * * [misc]simplify: iters left: 6 (10 enodes) 1548151703.812 * * [misc]simplify: iters left: 5 (14 enodes) 1548151703.814 * [exit]simplify: Simplified to (/ (sqrt (/ 1 (- (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1548151703.814 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ (sqrt (/ 1 (- (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (sqrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))))) 1548151703.814 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) 1548151703.814 * * [misc]simplify: iters left: 6 (9 enodes) 1548151703.815 * * [misc]simplify: iters left: 5 (11 enodes) 1548151703.817 * [exit]simplify: Simplified to (/ (sqrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))) 1548151703.817 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ (sqrt (/ 1 (- (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (sqrt (/ 1 (- (acos a)))) (cbrt (/ 1 a))))) 1548151703.817 * * * * [misc]progress: [ 18 / 72 ] simplifiying candidate # 1548151703.817 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1548151703.817 * * [misc]simplify: iters left: 6 (9 enodes) 1548151703.818 * * [misc]simplify: iters left: 5 (11 enodes) 1548151703.820 * [exit]simplify: Simplified to (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1548151703.820 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))))) 1548151703.820 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1548151703.820 * * [misc]simplify: iters left: 6 (9 enodes) 1548151703.821 * * [misc]simplify: iters left: 5 (11 enodes) 1548151703.823 * [exit]simplify: Simplified to (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) 1548151703.823 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))) (/ (sqrt (/ 1 (- (acos a)))) (sqrt (/ 1 a))))) 1548151703.823 * * * * [misc]progress: [ 19 / 72 ] simplifiying candidate # 1548151703.823 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) 1) 1548151703.823 * * [misc]simplify: iters left: 6 (7 enodes) 1548151703.824 * * [misc]simplify: iters left: 5 (9 enodes) 1548151703.826 * * [misc]simplify: iters left: 4 (11 enodes) 1548151703.828 * [exit]simplify: Simplified to (sqrt (/ 1 (- (acos a)))) 1548151703.828 * [misc]simplify: Simplified (2 1) to (λ (a) (* (sqrt (/ 1 (- (acos a)))) (/ (sqrt (/ 1 (- (acos a)))) (/ 1 a)))) 1548151703.828 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (/ 1 a)) 1548151703.829 * * [misc]simplify: iters left: 6 (8 enodes) 1548151703.831 * * [misc]simplify: iters left: 5 (12 enodes) 1548151703.834 * * [misc]simplify: iters left: 4 (15 enodes) 1548151703.839 * * [misc]simplify: iters left: 3 (25 enodes) 1548151703.845 * * [misc]simplify: iters left: 2 (27 enodes) 1548151703.849 * * [misc]simplify: iters left: 1 (32 enodes) 1548151703.858 * [exit]simplify: Simplified to (* (sqrt (/ 1 (- (acos a)))) a) 1548151703.858 * [misc]simplify: Simplified (2 2) to (λ (a) (* (sqrt (/ 1 (- (acos a)))) (* (sqrt (/ 1 (- (acos a)))) a))) 1548151703.858 * * * * [misc]progress: [ 20 / 72 ] simplifiying candidate # 1548151703.858 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) 1) 1548151703.859 * * [misc]simplify: iters left: 6 (7 enodes) 1548151703.861 * * [misc]simplify: iters left: 5 (9 enodes) 1548151703.864 * * [misc]simplify: iters left: 4 (11 enodes) 1548151703.866 * [exit]simplify: Simplified to (sqrt (/ 1 (- (acos a)))) 1548151703.866 * [misc]simplify: Simplified (2 1) to (λ (a) (* (sqrt (/ 1 (- (acos a)))) (/ (sqrt (/ 1 (- (acos a)))) (/ 1 a)))) 1548151703.866 * [enter]simplify: Simplifying (/ (sqrt (/ 1 (- (acos a)))) (/ 1 a)) 1548151703.866 * * [misc]simplify: iters left: 6 (8 enodes) 1548151703.869 * * [misc]simplify: iters left: 5 (12 enodes) 1548151703.872 * * [misc]simplify: iters left: 4 (15 enodes) 1548151703.877 * * [misc]simplify: iters left: 3 (25 enodes) 1548151703.883 * * [misc]simplify: iters left: 2 (27 enodes) 1548151703.888 * * [misc]simplify: iters left: 1 (32 enodes) 1548151703.895 * [exit]simplify: Simplified to (* (sqrt (/ 1 (- (acos a)))) a) 1548151703.895 * [misc]simplify: Simplified (2 2) to (λ (a) (* (sqrt (/ 1 (- (acos a)))) (* (sqrt (/ 1 (- (acos a)))) a))) 1548151703.895 * * * * [misc]progress: [ 21 / 72 ] simplifiying candidate # 1548151703.895 * [enter]simplify: Simplifying (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1548151703.895 * * [misc]simplify: iters left: 6 (6 enodes) 1548151703.898 * * [misc]simplify: iters left: 5 (10 enodes) 1548151703.901 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (/ 1 a))) (cbrt (/ 1 a))) 1548151703.901 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ (/ 1 (cbrt (/ 1 a))) (cbrt (/ 1 a))) (/ (/ 1 (- (acos a))) (cbrt (/ 1 a))))) 1548151703.901 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (cbrt (/ 1 a))) 1548151703.901 * * [misc]simplify: iters left: 6 (8 enodes) 1548151703.904 * * [misc]simplify: iters left: 5 (12 enodes) 1548151703.907 * * [misc]simplify: iters left: 4 (17 enodes) 1548151703.911 * * [misc]simplify: iters left: 3 (21 enodes) 1548151703.916 * * [misc]simplify: iters left: 2 (22 enodes) 1548151703.921 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (/ 1 a))) (- (acos a))) 1548151703.922 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (cbrt (/ 1 a))) (- (acos a))))) 1548151703.922 * * * * [misc]progress: [ 22 / 72 ] simplifiying candidate # 1548151703.922 * [enter]simplify: Simplifying (/ 1 (sqrt (/ 1 a))) 1548151703.922 * * [misc]simplify: iters left: 5 (5 enodes) 1548151703.923 * * [misc]simplify: iters left: 4 (7 enodes) 1548151703.925 * [exit]simplify: Simplified to (/ 1 (sqrt (/ 1 a))) 1548151703.925 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))))) 1548151703.925 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))) 1548151703.926 * * [misc]simplify: iters left: 6 (8 enodes) 1548151703.928 * * [misc]simplify: iters left: 5 (12 enodes) 1548151703.931 * * [misc]simplify: iters left: 4 (17 enodes) 1548151703.936 * * [misc]simplify: iters left: 3 (21 enodes) 1548151703.941 * * [misc]simplify: iters left: 2 (22 enodes) 1548151703.946 * [exit]simplify: Simplified to (/ (/ 1 (sqrt (/ 1 a))) (- (acos a))) 1548151703.946 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (sqrt (/ 1 a))) (- (acos a))))) 1548151703.946 * * * * [misc]progress: [ 23 / 72 ] simplifiying candidate # 1548151703.947 * [enter]simplify: Simplifying (/ 1 1) 1548151703.947 * * [misc]simplify: iters left: 2 (2 enodes) 1548151703.947 * * [misc]simplify: iters left: 1 (4 enodes) 1548151703.948 * [exit]simplify: Simplified to 1 1548151703.948 * [misc]simplify: Simplified (2 1) to (λ (a) (* 1 (/ (/ 1 (- (acos a))) (/ 1 a)))) 1548151703.948 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (/ 1 a)) 1548151703.948 * * [misc]simplify: iters left: 6 (7 enodes) 1548151703.951 * * [misc]simplify: iters left: 5 (13 enodes) 1548151703.954 * * [misc]simplify: iters left: 4 (26 enodes) 1548151703.963 * * [misc]simplify: iters left: 3 (42 enodes) 1548151703.975 * * [misc]simplify: iters left: 2 (77 enodes) 1548151703.986 * * [misc]simplify: iters left: 1 (108 enodes) 1548151704.010 * [exit]simplify: Simplified to (/ (/ a -1) (acos a)) 1548151704.010 * [misc]simplify: Simplified (2 2) to (λ (a) (* 1 (/ (/ a -1) (acos a)))) 1548151704.010 * * * * [misc]progress: [ 24 / 72 ] simplifiying candidate # 1548151704.010 * [enter]simplify: Simplifying (/ 1 1) 1548151704.010 * * [misc]simplify: iters left: 2 (2 enodes) 1548151704.011 * * [misc]simplify: iters left: 1 (4 enodes) 1548151704.011 * [exit]simplify: Simplified to 1 1548151704.011 * [misc]simplify: Simplified (2 1) to (λ (a) (* 1 (/ (/ 1 (- (acos a))) (/ 1 a)))) 1548151704.011 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (/ 1 a)) 1548151704.011 * * [misc]simplify: iters left: 6 (7 enodes) 1548151704.013 * * [misc]simplify: iters left: 5 (13 enodes) 1548151704.014 * * [misc]simplify: iters left: 4 (26 enodes) 1548151704.019 * * [misc]simplify: iters left: 3 (42 enodes) 1548151704.025 * * [misc]simplify: iters left: 2 (77 enodes) 1548151704.036 * * [misc]simplify: iters left: 1 (108 enodes) 1548151704.061 * [exit]simplify: Simplified to (/ (/ a -1) (acos a)) 1548151704.062 * [misc]simplify: Simplified (2 2) to (λ (a) (* 1 (/ (/ a -1) (acos a)))) 1548151704.062 * * * * [misc]progress: [ 25 / 72 ] simplifiying candidate # 1548151704.062 * [enter]simplify: Simplifying (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) 1548151704.062 * * [misc]simplify: iters left: 6 (6 enodes) 1548151704.063 * * [misc]simplify: iters left: 5 (10 enodes) 1548151704.064 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (/ 1 a))) (cbrt (/ 1 a))) 1548151704.065 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ (/ 1 (cbrt (/ 1 a))) (cbrt (/ 1 a))) (/ (/ 1 (- (acos a))) (cbrt (/ 1 a))))) 1548151704.065 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (cbrt (/ 1 a))) 1548151704.065 * * [misc]simplify: iters left: 6 (8 enodes) 1548151704.067 * * [misc]simplify: iters left: 5 (12 enodes) 1548151704.070 * * [misc]simplify: iters left: 4 (17 enodes) 1548151704.074 * * [misc]simplify: iters left: 3 (21 enodes) 1548151704.079 * * [misc]simplify: iters left: 2 (22 enodes) 1548151704.084 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (/ 1 a))) (- (acos a))) 1548151704.084 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (cbrt (/ 1 a))) (- (acos a))))) 1548151704.084 * * * * [misc]progress: [ 26 / 72 ] simplifiying candidate # 1548151704.085 * [enter]simplify: Simplifying (/ 1 (sqrt (/ 1 a))) 1548151704.085 * * [misc]simplify: iters left: 5 (5 enodes) 1548151704.085 * * [misc]simplify: iters left: 4 (7 enodes) 1548151704.086 * [exit]simplify: Simplified to (/ 1 (sqrt (/ 1 a))) 1548151704.086 * [misc]simplify: Simplified (2 1) to (λ (a) (* (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))))) 1548151704.086 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))) 1548151704.086 * * [misc]simplify: iters left: 6 (8 enodes) 1548151704.088 * * [misc]simplify: iters left: 5 (12 enodes) 1548151704.089 * * [misc]simplify: iters left: 4 (17 enodes) 1548151704.091 * * [misc]simplify: iters left: 3 (21 enodes) 1548151704.093 * * [misc]simplify: iters left: 2 (22 enodes) 1548151704.096 * [exit]simplify: Simplified to (/ (/ 1 (sqrt (/ 1 a))) (- (acos a))) 1548151704.096 * [misc]simplify: Simplified (2 2) to (λ (a) (* (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (sqrt (/ 1 a))) (- (acos a))))) 1548151704.096 * * * * [misc]progress: [ 27 / 72 ] simplifiying candidate # 1548151704.096 * [enter]simplify: Simplifying (/ 1 1) 1548151704.096 * * [misc]simplify: iters left: 2 (2 enodes) 1548151704.097 * * [misc]simplify: iters left: 1 (4 enodes) 1548151704.097 * [exit]simplify: Simplified to 1 1548151704.097 * [misc]simplify: Simplified (2 1) to (λ (a) (* 1 (/ (/ 1 (- (acos a))) (/ 1 a)))) 1548151704.097 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (/ 1 a)) 1548151704.097 * * [misc]simplify: iters left: 6 (7 enodes) 1548151704.098 * * [misc]simplify: iters left: 5 (13 enodes) 1548151704.100 * * [misc]simplify: iters left: 4 (26 enodes) 1548151704.104 * * [misc]simplify: iters left: 3 (42 enodes) 1548151704.111 * * [misc]simplify: iters left: 2 (77 enodes) 1548151704.126 * * [misc]simplify: iters left: 1 (108 enodes) 1548151704.171 * [exit]simplify: Simplified to (/ (/ a -1) (acos a)) 1548151704.171 * [misc]simplify: Simplified (2 2) to (λ (a) (* 1 (/ (/ a -1) (acos a)))) 1548151704.172 * * * * [misc]progress: [ 28 / 72 ] simplifiying candidate # 1548151704.172 * [enter]simplify: Simplifying (/ 1 1) 1548151704.172 * * [misc]simplify: iters left: 2 (2 enodes) 1548151704.172 * * [misc]simplify: iters left: 1 (4 enodes) 1548151704.173 * [exit]simplify: Simplified to 1 1548151704.173 * [misc]simplify: Simplified (2 1) to (λ (a) (* 1 (/ (/ 1 (- (acos a))) (/ 1 a)))) 1548151704.173 * [enter]simplify: Simplifying (/ (/ 1 (- (acos a))) (/ 1 a)) 1548151704.173 * * [misc]simplify: iters left: 6 (7 enodes) 1548151704.174 * * [misc]simplify: iters left: 5 (13 enodes) 1548151704.176 * * [misc]simplify: iters left: 4 (26 enodes) 1548151704.180 * * [misc]simplify: iters left: 3 (42 enodes) 1548151704.191 * * [misc]simplify: iters left: 2 (77 enodes) 1548151704.208 * * [misc]simplify: iters left: 1 (108 enodes) 1548151704.246 * [exit]simplify: Simplified to (/ (/ a -1) (acos a)) 1548151704.246 * [misc]simplify: Simplified (2 2) to (λ (a) (* 1 (/ (/ a -1) (acos a)))) 1548151704.246 * * * * [misc]progress: [ 29 / 72 ] simplifiying candidate # 1548151704.246 * * * * [misc]progress: [ 30 / 72 ] simplifiying candidate # 1548151704.246 * * * * [misc]progress: [ 31 / 72 ] simplifiying candidate # 1548151704.246 * * * * [misc]progress: [ 32 / 72 ] simplifiying candidate # 1548151704.246 * [enter]simplify: Simplifying (cbrt (/ 1 a)) 1548151704.246 * * [misc]simplify: iters left: 3 (4 enodes) 1548151704.247 * * [misc]simplify: iters left: 2 (6 enodes) 1548151704.249 * [exit]simplify: Simplified to (cbrt (/ 1 a)) 1548151704.249 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ (/ 1 (- (acos a))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (cbrt (/ 1 a)))) 1548151704.249 * * * * [misc]progress: [ 33 / 72 ] simplifiying candidate # 1548151704.249 * [enter]simplify: Simplifying (sqrt (/ 1 a)) 1548151704.249 * * [misc]simplify: iters left: 3 (4 enodes) 1548151704.251 * * [misc]simplify: iters left: 2 (6 enodes) 1548151704.252 * [exit]simplify: Simplified to (sqrt (/ 1 a)) 1548151704.252 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ (/ 1 (- (acos a))) (sqrt (/ 1 a))) (sqrt (/ 1 a)))) 1548151704.252 * * * * [misc]progress: [ 34 / 72 ] simplifiying candidate # 1548151704.253 * [enter]simplify: Simplifying (/ 1 a) 1548151704.253 * * [misc]simplify: iters left: 2 (3 enodes) 1548151704.254 * * [misc]simplify: iters left: 1 (5 enodes) 1548151704.255 * [exit]simplify: Simplified to (/ 1 a) 1548151704.255 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ (/ 1 (- (acos a))) 1) (/ 1 a))) 1548151704.255 * * * * [misc]progress: [ 35 / 72 ] simplifiying candidate # 1548151704.255 * [enter]simplify: Simplifying (/ 1 a) 1548151704.255 * * [misc]simplify: iters left: 2 (3 enodes) 1548151704.256 * * [misc]simplify: iters left: 1 (5 enodes) 1548151704.257 * [exit]simplify: Simplified to (/ 1 a) 1548151704.257 * [misc]simplify: Simplified (2 2) to (λ (a) (/ (/ (/ 1 (- (acos a))) 1) (/ 1 a))) 1548151704.257 * * * * [misc]progress: [ 36 / 72 ] simplifiying candidate # 1548151704.257 * [enter]simplify: Simplifying (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1548151704.257 * * [misc]simplify: iters left: 6 (7 enodes) 1548151704.258 * * [misc]simplify: iters left: 5 (9 enodes) 1548151704.259 * [exit]simplify: Simplified to (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) 1548151704.259 * [misc]simplify: Simplified (2 1) to (λ (a) (/ (* (cbrt (/ 1 (- (acos a)))) (cbrt (/ 1 (- (acos a))))) (/ (/ 1 a) (cbrt (/ 1 (- (acos a))))))) 1548151704.259 * * * * [misc]progress: [ 37 / 72 ] simplifiying candidate # 1548151704.259 * [enter]simplify: Simplifying (sqrt (/ 1 (- (acos a)))) 1548151704.259 * * [misc]simplify: iters left: 6 (6 enodes) 1548151704.260 * * [misc]simplify: iters left: 5 (8 enodes) 1548151704.261 * [exit]simplify: Simplified to (sqrt (/ 1 (- (acos a)))) 1548151704.261 * [misc]simplify: Simplified (2 1) to (λ (a) (/ (sqrt (/ 1 (- (acos a)))) (/ (/ 1 a) (sqrt (/ 1 (- (acos a))))))) 1548151704.261 * * * * [misc]progress: [ 38 / 72 ] simplifiying candidate # 1548151704.261 * * * * [misc]progress: [ 39 / 72 ] simplifiying candidate # 1548151704.261 * * * * [misc]progress: [ 40 / 72 ] simplifiying candidate # 1548151704.261 * * * * [misc]progress: [ 41 / 72 ] simplifiying candidate # 1548151704.261 * * * * [misc]progress: [ 42 / 72 ] simplifiying candidate # 1548151704.261 * * * * [misc]progress: [ 43 / 72 ] simplifiying candidate # 1548151704.261 * * * * [misc]progress: [ 44 / 72 ] simplifiying candidate # 1548151704.261 * * * * [misc]progress: [ 45 / 72 ] simplifiying candidate # 1548151704.261 * [enter]simplify: Simplifying (- 1) 1548151704.261 * * [misc]simplify: iters left: 2 (2 enodes) 1548151704.262 * * [misc]simplify: iters left: 1 (5 enodes) 1548151704.262 * [exit]simplify: Simplified to -1 1548151704.262 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (pow (- (acos a)) -1) (/ 1 a))) 1548151704.262 * * * * [misc]progress: [ 46 / 72 ] simplifiying candidate # 1548151704.262 * * * * [misc]progress: [ 47 / 72 ] simplifiying candidate # 1548151704.262 * * * * [misc]progress: [ 48 / 72 ] simplifiying candidate # 1548151704.262 * * * * [misc]progress: [ 49 / 72 ] simplifiying candidate # 1548151704.263 * * * * [misc]progress: [ 50 / 72 ] simplifiying candidate # 1548151704.263 * * * * [misc]progress: [ 51 / 72 ] simplifiying candidate # 1548151704.263 * * * * [misc]progress: [ 52 / 72 ] simplifiying candidate # 1548151704.263 * * * * [misc]progress: [ 53 / 72 ] simplifiying candidate # 1548151704.263 * * * * [misc]progress: [ 54 / 72 ] simplifiying candidate # 1548151704.263 * * * * [misc]progress: [ 55 / 72 ] simplifiying candidate # 1548151704.263 * * * * [misc]progress: [ 56 / 72 ] simplifiying candidate # 1548151704.263 * * * * [misc]progress: [ 57 / 72 ] simplifiying candidate # 1548151704.263 * [enter]simplify: Simplifying (cbrt (- (acos a))) 1548151704.263 * * [misc]simplify: iters left: 4 (4 enodes) 1548151704.263 * [exit]simplify: Simplified to (cbrt (- (acos a))) 1548151704.263 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (cbrt (- (acos a)))) (/ 1 a))) 1548151704.263 * * * * [misc]progress: [ 58 / 72 ] simplifiying candidate # 1548151704.264 * [enter]simplify: Simplifying (sqrt (- (acos a))) 1548151704.264 * * [misc]simplify: iters left: 4 (4 enodes) 1548151704.264 * [exit]simplify: Simplified to (sqrt (- (acos a))) 1548151704.264 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (sqrt (- (acos a)))) (sqrt (- (acos a)))) (/ 1 a))) 1548151704.264 * * * * [misc]progress: [ 59 / 72 ] simplifiying candidate # 1548151704.264 * [enter]simplify: Simplifying (- (acos a)) 1548151704.264 * * [misc]simplify: iters left: 3 (3 enodes) 1548151704.265 * [exit]simplify: Simplified to (- (acos a)) 1548151704.265 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 1) (- (acos a))) (/ 1 a))) 1548151704.265 * * * * [misc]progress: [ 60 / 72 ] simplifiying candidate # 1548151704.265 * [enter]simplify: Simplifying (acos a) 1548151704.265 * * [misc]simplify: iters left: 1 (2 enodes) 1548151704.265 * [exit]simplify: Simplified to (acos a) 1548151704.265 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 -1) (acos a)) (/ 1 a))) 1548151704.265 * * * * [misc]progress: [ 61 / 72 ] simplifiying candidate # 1548151704.265 * [enter]simplify: Simplifying (cbrt (acos a)) 1548151704.265 * * [misc]simplify: iters left: 2 (3 enodes) 1548151704.266 * [exit]simplify: Simplified to (cbrt (acos a)) 1548151704.266 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (- (* (cbrt (acos a)) (cbrt (acos a))))) (cbrt (acos a))) (/ 1 a))) 1548151704.266 * * * * [misc]progress: [ 62 / 72 ] simplifiying candidate # 1548151704.266 * [enter]simplify: Simplifying (sqrt (acos a)) 1548151704.266 * * [misc]simplify: iters left: 2 (3 enodes) 1548151704.266 * [exit]simplify: Simplified to (sqrt (acos a)) 1548151704.266 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (- (sqrt (acos a)))) (sqrt (acos a))) (/ 1 a))) 1548151704.266 * * * * [misc]progress: [ 63 / 72 ] simplifiying candidate # 1548151704.267 * [enter]simplify: Simplifying (acos a) 1548151704.267 * * [misc]simplify: iters left: 1 (2 enodes) 1548151704.267 * [exit]simplify: Simplified to (acos a) 1548151704.267 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (- 1)) (acos a)) (/ 1 a))) 1548151704.267 * * * * [misc]progress: [ 64 / 72 ] simplifiying candidate # 1548151704.267 * [enter]simplify: Simplifying (- (cbrt (acos a))) 1548151704.267 * * [misc]simplify: iters left: 4 (4 enodes) 1548151704.268 * [exit]simplify: Simplified to (- (cbrt (acos a))) 1548151704.268 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (cbrt (acos a)))) (/ 1 a))) 1548151704.268 * * * * [misc]progress: [ 65 / 72 ] simplifiying candidate # 1548151704.268 * [enter]simplify: Simplifying (- (sqrt (acos a))) 1548151704.268 * * [misc]simplify: iters left: 4 (4 enodes) 1548151704.268 * [exit]simplify: Simplified to (- (sqrt (acos a))) 1548151704.268 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 (sqrt (acos a))) (- (sqrt (acos a)))) (/ 1 a))) 1548151704.268 * * * * [misc]progress: [ 66 / 72 ] simplifiying candidate # 1548151704.269 * [enter]simplify: Simplifying (- (acos a)) 1548151704.269 * * [misc]simplify: iters left: 3 (3 enodes) 1548151704.269 * [exit]simplify: Simplified to (- (acos a)) 1548151704.269 * [misc]simplify: Simplified (2 1 2) to (λ (a) (/ (/ (/ 1 1) (- (acos a))) (/ 1 a))) 1548151704.269 * * * * [misc]progress: [ 67 / 72 ] simplifiying candidate # 1548151704.269 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1548151704.269 * * [misc]simplify: iters left: 5 (5 enodes) 1548151704.270 * * [misc]simplify: iters left: 4 (9 enodes) 1548151704.271 * * [misc]simplify: iters left: 3 (14 enodes) 1548151704.273 * * [misc]simplify: iters left: 2 (16 enodes) 1548151704.274 * * [misc]simplify: iters left: 1 (18 enodes) 1548151704.276 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1548151704.277 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1548151704.277 * * * * [misc]progress: [ 68 / 72 ] simplifiying candidate # 1548151704.277 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1548151704.277 * * [misc]simplify: iters left: 5 (5 enodes) 1548151704.278 * * [misc]simplify: iters left: 4 (9 enodes) 1548151704.279 * * [misc]simplify: iters left: 3 (14 enodes) 1548151704.280 * * [misc]simplify: iters left: 2 (16 enodes) 1548151704.282 * * [misc]simplify: iters left: 1 (18 enodes) 1548151704.286 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1548151704.286 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1548151704.286 * * * * [misc]progress: [ 69 / 72 ] simplifiying candidate # 1548151704.286 * [enter]simplify: Simplifying (* -1 (/ a (acos a))) 1548151704.286 * * [misc]simplify: iters left: 5 (5 enodes) 1548151704.288 * * [misc]simplify: iters left: 4 (9 enodes) 1548151704.290 * * [misc]simplify: iters left: 3 (14 enodes) 1548151704.294 * * [misc]simplify: iters left: 2 (16 enodes) 1548151704.298 * * [misc]simplify: iters left: 1 (18 enodes) 1548151704.301 * [exit]simplify: Simplified to (/ (- a) (acos a)) 1548151704.301 * [misc]simplify: Simplified (2) to (λ (a) (/ (- a) (acos a))) 1548151704.301 * * * * [misc]progress: [ 70 / 72 ] simplifiying candidate # 1548151704.301 * [enter]simplify: Simplifying (/ -1 (acos a)) 1548151704.301 * * [misc]simplify: iters left: 3 (4 enodes) 1548151704.302 * [exit]simplify: Simplified to (/ -1 (acos a)) 1548151704.302 * [misc]simplify: Simplified (2 1) to (λ (a) (/ (/ -1 (acos a)) (/ 1 a))) 1548151704.302 * * * * [misc]progress: [ 71 / 72 ] simplifiying candidate # 1548151704.302 * [enter]simplify: Simplifying (/ -1 (acos a)) 1548151704.302 * * [misc]simplify: iters left: 3 (4 enodes) 1548151704.303 * [exit]simplify: Simplified to (/ -1 (acos a)) 1548151704.303 * [misc]simplify: Simplified (2 1) to (λ (a) (/ (/ -1 (acos a)) (/ 1 a))) 1548151704.303 * * * * [misc]progress: [ 72 / 72 ] simplifiying candidate # 1548151704.303 * [enter]simplify: Simplifying (/ -1 (acos a)) 1548151704.303 * * [misc]simplify: iters left: 3 (4 enodes) 1548151704.303 * [exit]simplify: Simplified to (/ -1 (acos a)) 1548151704.303 * [misc]simplify: Simplified (2 1) to (λ (a) (/ (/ -1 (acos a)) (/ 1 a))) 1548151704.303 * * * [misc]progress: adding candidates to table 1548151704.756 * [misc]progress: [Phase 3 of 3] Extracting. 1548151704.756 * * [misc]regime: Finding splitpoints for: (# # # # # #) 1548151704.756 * * * [misc]regime-changes: Trying 2 branch expressions: (a (/ a (- (acos a)))) 1548151704.756 * * * * [misc]regimes: Trying to branch on a from (# # # # # #) 1548151704.781 * * * * [misc]regimes: Trying to branch on (/ a (- (acos a))) from (# # # # # #) 1548151704.814 * * * [misc]regime: Found split indices: #