1539790594.746 * [misc]progress: [Phase 1 of 3] Setting up. 1539790594.746 * * * [misc]progress: [1/2] Preparing points 1539790594.746 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539790594.748 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539790594.753 * * * * [misc]points: Setting MPFR precision to 64 1539790594.754 * * * * [misc]points: Setting MPFR precision to 320 1539790594.754 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539790594.761 * * * * [misc]points: Setting MPFR precision to 64 1539790594.763 * * * * [misc]points: Setting MPFR precision to 320 1539790594.764 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539790594.771 * * * * [misc]points: Setting MPFR precision to 64 1539790594.774 * * * * [misc]points: Setting MPFR precision to 320 1539790594.776 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539790594.784 * * * * [misc]points: Setting MPFR precision to 64 1539790594.788 * * * * [misc]points: Setting MPFR precision to 320 1539790594.792 * * * * [misc]points: Computing exacts for 256 points 1539790594.799 * * * * [misc]points: Setting MPFR precision to 64 1539790594.805 * * * * [misc]points: Setting MPFR precision to 320 1539790594.824 * * * * [misc]points: Filtering points with unrepresentable outputs 1539790594.824 * * * * [misc]points: Sampling 117 additional inputs, on iter 1 have 139 / 256 1539790594.824 * * * * [misc]points: Computing exacts on every 7 of 117 points to ramp up precision 1539790594.829 * * * * [misc]points: Setting MPFR precision to 64 1539790594.832 * * * * [misc]points: Setting MPFR precision to 320 1539790594.832 * * * * [misc]points: Computing exacts on every 3 of 117 points to ramp up precision 1539790594.840 * * * * [misc]points: Setting MPFR precision to 64 1539790594.841 * * * * [misc]points: Setting MPFR precision to 320 1539790594.843 * * * * [misc]points: Computing exacts for 117 points 1539790594.850 * * * * [misc]points: Setting MPFR precision to 64 1539790594.855 * * * * [misc]points: Setting MPFR precision to 320 1539790594.860 * * * * [misc]points: Filtering points with unrepresentable outputs 1539790594.860 * * * * [misc]points: Sampling 59 additional inputs, on iter 2 have 197 / 256 1539790594.860 * * * * [misc]points: Computing exacts on every 3 of 59 points to ramp up precision 1539790594.864 * * * * [misc]points: Setting MPFR precision to 64 1539790594.865 * * * * [misc]points: Setting MPFR precision to 320 1539790594.865 * * * * [misc]points: Computing exacts for 59 points 1539790594.869 * * * * [misc]points: Setting MPFR precision to 64 1539790594.870 * * * * [misc]points: Setting MPFR precision to 320 1539790594.872 * * * * [misc]points: Filtering points with unrepresentable outputs 1539790594.872 * * * * [misc]points: Sampling 24 additional inputs, on iter 3 have 232 / 256 1539790594.872 * * * * [misc]points: Computing exacts for 24 points 1539790594.875 * * * * [misc]points: Setting MPFR precision to 64 1539790594.876 * * * * [misc]points: Setting MPFR precision to 320 1539790594.877 * * * * [misc]points: Filtering points with unrepresentable outputs 1539790594.877 * * * * [misc]points: Sampling 10 additional inputs, on iter 4 have 246 / 256 1539790594.877 * * * * [misc]points: Computing exacts for 10 points 1539790594.880 * * * * [misc]points: Setting MPFR precision to 64 1539790594.880 * * * * [misc]points: Setting MPFR precision to 320 1539790594.881 * * * * [misc]points: Filtering points with unrepresentable outputs 1539790594.881 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 254 / 256 1539790594.881 * * * * [misc]points: Computing exacts for 4 points 1539790594.884 * * * * [misc]points: Setting MPFR precision to 64 1539790594.884 * * * * [misc]points: Setting MPFR precision to 320 1539790594.885 * * * * [misc]points: Filtering points with unrepresentable outputs 1539790594.885 * * * * [exit]points: Sampled 257 points with exact outputs 1539790594.885 * * * [misc]progress: [2/2] Setting up program. 1539790594.888 * [misc]progress: [Phase 2 of 3] Improving. 1539790594.888 * [enter]simplify: Simplifying (/ 4 (* (* (* 3 PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) 1539790594.888 * * [misc]simplify: iters left: 6 (16 enodes) 1539790594.891 * * [misc]simplify: iters left: 5 (34 enodes) 1539790594.898 * * [misc]simplify: iters left: 4 (89 enodes) 1539790594.938 * * [misc]simplify: iters left: 3 (186 enodes) 1539790595.021 * [exit]simplify: Simplified to (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))) 1539790595.028 * * [misc]progress: iteration 1 / 4 1539790595.028 * * * [misc]progress: picking best candidate 1539790595.034 * * * * [misc]pick: Picked # 1539790595.034 * * * [misc]progress: localizing error 1539790595.076 * * * [misc]progress: generating rewritten candidates 1539790595.076 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1539790595.077 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 1 2) 1539790595.081 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1) 1539790595.096 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1) 1539790595.103 * * * [misc]progress: generating series expansions 1539790595.103 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1539790595.103 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 1 2) 1539790595.103 * [misc]backup-simplify: Simplify (* (* v v) -6) into (* -6 (pow v 2)) 1539790595.103 * [misc]approximate: Taking taylor expansion of (* -6 (pow v 2)) in (v) around 0 1539790595.103 * [misc]taylor: Taking taylor expansion of (* -6 (pow v 2)) in v 1539790595.103 * [misc]taylor: Taking taylor expansion of -6 in v 1539790595.103 * [misc]backup-simplify: Simplify -6 into -6 1539790595.103 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539790595.103 * [misc]taylor: Taking taylor expansion of v in v 1539790595.103 * [misc]backup-simplify: Simplify 0 into 0 1539790595.103 * [misc]backup-simplify: Simplify 1 into 1 1539790595.103 * [misc]taylor: Taking taylor expansion of (* -6 (pow v 2)) in v 1539790595.103 * [misc]taylor: Taking taylor expansion of -6 in v 1539790595.103 * [misc]backup-simplify: Simplify -6 into -6 1539790595.103 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539790595.103 * [misc]taylor: Taking taylor expansion of v in v 1539790595.103 * [misc]backup-simplify: Simplify 0 into 0 1539790595.103 * [misc]backup-simplify: Simplify 1 into 1 1539790595.104 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539790595.104 * [misc]backup-simplify: Simplify (* -6 1) into -6 1539790595.104 * [misc]backup-simplify: Simplify -6 into -6 1539790595.104 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539790595.104 * [misc]backup-simplify: Simplify (+ (* -6 0) (* 0 1)) into 0 1539790595.105 * [misc]backup-simplify: Simplify 0 into 0 1539790595.105 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539790595.105 * [misc]backup-simplify: Simplify (+ (* -6 0) (+ (* 0 0) (* 0 1))) into 0 1539790595.105 * [misc]backup-simplify: Simplify 0 into 0 1539790595.106 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539790595.106 * [misc]backup-simplify: Simplify (+ (* -6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539790595.106 * [misc]backup-simplify: Simplify 0 into 0 1539790595.106 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539790595.107 * [misc]backup-simplify: Simplify (+ (* -6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539790595.107 * [misc]backup-simplify: Simplify 0 into 0 1539790595.107 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539790595.108 * [misc]backup-simplify: Simplify (+ (* -6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539790595.108 * [misc]backup-simplify: Simplify 0 into 0 1539790595.108 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539790595.109 * [misc]backup-simplify: Simplify (+ (* -6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539790595.109 * [misc]backup-simplify: Simplify 0 into 0 1539790595.109 * [misc]backup-simplify: Simplify (* -6 (pow v 2)) into (* -6 (pow v 2)) 1539790595.109 * [misc]backup-simplify: Simplify (* (* (/ 1 v) (/ 1 v)) -6) into (/ -6 (pow v 2)) 1539790595.109 * [misc]approximate: Taking taylor expansion of (/ -6 (pow v 2)) in (v) around 0 1539790595.109 * [misc]taylor: Taking taylor expansion of (/ -6 (pow v 2)) in v 1539790595.109 * [misc]taylor: Taking taylor expansion of -6 in v 1539790595.109 * [misc]backup-simplify: Simplify -6 into -6 1539790595.109 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539790595.109 * [misc]taylor: Taking taylor expansion of v in v 1539790595.109 * [misc]backup-simplify: Simplify 0 into 0 1539790595.109 * [misc]backup-simplify: Simplify 1 into 1 1539790595.110 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539790595.110 * [misc]backup-simplify: Simplify (/ -6 1) into -6 1539790595.110 * [misc]taylor: Taking taylor expansion of (/ -6 (pow v 2)) in v 1539790595.110 * [misc]taylor: Taking taylor expansion of -6 in v 1539790595.110 * [misc]backup-simplify: Simplify -6 into -6 1539790595.110 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539790595.110 * [misc]taylor: Taking taylor expansion of v in v 1539790595.110 * [misc]backup-simplify: Simplify 0 into 0 1539790595.110 * [misc]backup-simplify: Simplify 1 into 1 1539790595.110 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539790595.110 * [misc]backup-simplify: Simplify (/ -6 1) into -6 1539790595.110 * [misc]backup-simplify: Simplify -6 into -6 1539790595.111 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539790595.111 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)))) into 0 1539790595.111 * [misc]backup-simplify: Simplify 0 into 0 1539790595.111 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539790595.112 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.112 * [misc]backup-simplify: Simplify 0 into 0 1539790595.112 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539790595.112 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.112 * [misc]backup-simplify: Simplify 0 into 0 1539790595.113 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539790595.113 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.113 * [misc]backup-simplify: Simplify 0 into 0 1539790595.114 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539790595.114 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.114 * [misc]backup-simplify: Simplify 0 into 0 1539790595.115 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539790595.116 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.116 * [misc]backup-simplify: Simplify 0 into 0 1539790595.116 * [misc]backup-simplify: Simplify (* -6 (pow (/ 1 (/ 1 v)) 2)) into (* -6 (pow v 2)) 1539790595.116 * [misc]backup-simplify: Simplify (* (* (/ 1 (- v)) (/ 1 (- v))) -6) into (/ -6 (pow v 2)) 1539790595.116 * [misc]approximate: Taking taylor expansion of (/ -6 (pow v 2)) in (v) around 0 1539790595.116 * [misc]taylor: Taking taylor expansion of (/ -6 (pow v 2)) in v 1539790595.116 * [misc]taylor: Taking taylor expansion of -6 in v 1539790595.116 * [misc]backup-simplify: Simplify -6 into -6 1539790595.116 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539790595.116 * [misc]taylor: Taking taylor expansion of v in v 1539790595.116 * [misc]backup-simplify: Simplify 0 into 0 1539790595.116 * [misc]backup-simplify: Simplify 1 into 1 1539790595.117 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539790595.117 * [misc]backup-simplify: Simplify (/ -6 1) into -6 1539790595.117 * [misc]taylor: Taking taylor expansion of (/ -6 (pow v 2)) in v 1539790595.117 * [misc]taylor: Taking taylor expansion of -6 in v 1539790595.117 * [misc]backup-simplify: Simplify -6 into -6 1539790595.117 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539790595.117 * [misc]taylor: Taking taylor expansion of v in v 1539790595.117 * [misc]backup-simplify: Simplify 0 into 0 1539790595.117 * [misc]backup-simplify: Simplify 1 into 1 1539790595.117 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539790595.117 * [misc]backup-simplify: Simplify (/ -6 1) into -6 1539790595.117 * [misc]backup-simplify: Simplify -6 into -6 1539790595.118 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539790595.118 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)))) into 0 1539790595.118 * [misc]backup-simplify: Simplify 0 into 0 1539790595.118 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539790595.119 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.119 * [misc]backup-simplify: Simplify 0 into 0 1539790595.119 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539790595.119 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.119 * [misc]backup-simplify: Simplify 0 into 0 1539790595.120 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539790595.120 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.120 * [misc]backup-simplify: Simplify 0 into 0 1539790595.121 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539790595.121 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.121 * [misc]backup-simplify: Simplify 0 into 0 1539790595.122 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539790595.123 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.123 * [misc]backup-simplify: Simplify 0 into 0 1539790595.123 * [misc]backup-simplify: Simplify (* -6 (pow (/ 1 (/ 1 (- v))) 2)) into (* -6 (pow v 2)) 1539790595.123 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1) 1539790595.123 * [misc]backup-simplify: Simplify (/ (/ 4/3 PI) (- 1 (* v v))) into (/ 4/3 (* (- 1 (pow v 2)) PI)) 1539790595.123 * [misc]approximate: Taking taylor expansion of (/ 4/3 (* (- 1 (pow v 2)) PI)) in (v) around 0 1539790595.123 * [misc]taylor: Taking taylor expansion of (/ 4/3 (* (- 1 (pow v 2)) PI)) in v 1539790595.124 * [misc]taylor: Taking taylor expansion of 4/3 in v 1539790595.124 * [misc]backup-simplify: Simplify 4/3 into 4/3 1539790595.124 * [misc]taylor: Taking taylor expansion of (* (- 1 (pow v 2)) PI) in v 1539790595.124 * [misc]taylor: Taking taylor expansion of (- 1 (pow v 2)) in v 1539790595.124 * [misc]taylor: Taking taylor expansion of 1 in v 1539790595.124 * [misc]backup-simplify: Simplify 1 into 1 1539790595.124 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539790595.124 * [misc]taylor: Taking taylor expansion of v in v 1539790595.124 * [misc]backup-simplify: Simplify 0 into 0 1539790595.124 * [misc]backup-simplify: Simplify 1 into 1 1539790595.124 * [misc]taylor: Taking taylor expansion of PI in v 1539790595.124 * [misc]backup-simplify: Simplify PI into PI 1539790595.124 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539790595.124 * [misc]backup-simplify: Simplify (* 1 PI) into PI 1539790595.125 * [misc]backup-simplify: Simplify (/ 4/3 PI) into (/ 4/3 PI) 1539790595.125 * [misc]taylor: Taking taylor expansion of (/ 4/3 (* (- 1 (pow v 2)) PI)) in v 1539790595.125 * [misc]taylor: Taking taylor expansion of 4/3 in v 1539790595.125 * [misc]backup-simplify: Simplify 4/3 into 4/3 1539790595.125 * [misc]taylor: Taking taylor expansion of (* (- 1 (pow v 2)) PI) in v 1539790595.125 * [misc]taylor: Taking taylor expansion of (- 1 (pow v 2)) in v 1539790595.125 * [misc]taylor: Taking taylor expansion of 1 in v 1539790595.125 * [misc]backup-simplify: Simplify 1 into 1 1539790595.125 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539790595.125 * [misc]taylor: Taking taylor expansion of v in v 1539790595.125 * [misc]backup-simplify: Simplify 0 into 0 1539790595.125 * [misc]backup-simplify: Simplify 1 into 1 1539790595.125 * [misc]taylor: Taking taylor expansion of PI in v 1539790595.125 * [misc]backup-simplify: Simplify PI into PI 1539790595.125 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539790595.125 * [misc]backup-simplify: Simplify (* 1 PI) into PI 1539790595.126 * [misc]backup-simplify: Simplify (/ 4/3 PI) into (/ 4/3 PI) 1539790595.126 * [misc]backup-simplify: Simplify (/ 4/3 PI) into (/ 4/3 PI) 1539790595.126 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.127 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 PI)) into 0 1539790595.128 * [misc]backup-simplify: Simplify (- (/ 0 PI) (+ (* (/ 4/3 PI) (/ 0 PI)))) into 0 1539790595.128 * [misc]backup-simplify: Simplify 0 into 0 1539790595.129 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539790595.129 * [misc]backup-simplify: Simplify (- 1) into -1 1539790595.129 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539790595.130 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* -1 PI))) into (- PI) 1539790595.132 * [misc]backup-simplify: Simplify (- (/ 0 PI) (+ (* (/ 4/3 PI) (/ (- PI) PI)) (* 0 (/ 0 PI)))) into (* 4/3 (/ 1 PI)) 1539790595.133 * [misc]backup-simplify: Simplify (* 4/3 (/ 1 PI)) into (/ 4/3 PI) 1539790595.133 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539790595.133 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.133 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.135 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* -1 0) (* 0 PI)))) into 0 1539790595.139 * [misc]backup-simplify: Simplify (- (/ 0 PI) (+ (* (/ 4/3 PI) (/ 0 PI)) (* 0 (/ (- PI) PI)) (* (* 4/3 (/ 1 PI)) (/ 0 PI)))) into 0 1539790595.139 * [misc]backup-simplify: Simplify 0 into 0 1539790595.139 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539790595.139 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.139 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.141 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* -1 0) (+ (* 0 0) (* 0 PI))))) into 0 1539790595.146 * [misc]backup-simplify: Simplify (- (/ 0 PI) (+ (* (/ 4/3 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* (* 4/3 (/ 1 PI)) (/ (- PI) PI)) (* 0 (/ 0 PI)))) into (* 4/3 (/ 1 PI)) 1539790595.146 * [misc]backup-simplify: Simplify (* 4/3 (/ 1 PI)) into (/ 4/3 PI) 1539790595.147 * [misc]backup-simplify: Simplify (+ (* (/ 4/3 PI) (pow v 4)) (+ (* (/ 4/3 PI) (pow v 2)) (/ 4/3 PI))) into (+ (* 4/3 (/ (pow v 2) PI)) (+ (* 4/3 (/ 1 PI)) (* 4/3 (/ (pow v 4) PI)))) 1539790595.148 * [misc]backup-simplify: Simplify (/ (/ 4/3 PI) (- 1 (* (/ 1 v) (/ 1 v)))) into (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) 1539790595.148 * [misc]approximate: Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in (v) around 0 1539790595.148 * [misc]taylor: Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in v 1539790595.148 * [misc]taylor: Taking taylor expansion of 4/3 in v 1539790595.148 * [misc]backup-simplify: Simplify 4/3 into 4/3 1539790595.148 * [misc]taylor: Taking taylor expansion of (* (- 1 (/ 1 (pow v 2))) PI) in v 1539790595.148 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v 1539790595.148 * [misc]taylor: Taking taylor expansion of 1 in v 1539790595.148 * [misc]backup-simplify: Simplify 1 into 1 1539790595.148 * [misc]taylor: Taking taylor expansion of (/ 1 (pow v 2)) in v 1539790595.148 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539790595.148 * [misc]taylor: Taking taylor expansion of v in v 1539790595.148 * [misc]backup-simplify: Simplify 0 into 0 1539790595.148 * [misc]backup-simplify: Simplify 1 into 1 1539790595.148 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539790595.149 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539790595.149 * [misc]taylor: Taking taylor expansion of PI in v 1539790595.149 * [misc]backup-simplify: Simplify PI into PI 1539790595.149 * [misc]backup-simplify: Simplify (- 1) into -1 1539790595.149 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539790595.149 * [misc]backup-simplify: Simplify (* -1 PI) into (* -1 PI) 1539790595.150 * [misc]backup-simplify: Simplify (/ 4/3 (* -1 PI)) into (/ -4/3 PI) 1539790595.150 * [misc]taylor: Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in v 1539790595.150 * [misc]taylor: Taking taylor expansion of 4/3 in v 1539790595.150 * [misc]backup-simplify: Simplify 4/3 into 4/3 1539790595.150 * [misc]taylor: Taking taylor expansion of (* (- 1 (/ 1 (pow v 2))) PI) in v 1539790595.150 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v 1539790595.150 * [misc]taylor: Taking taylor expansion of 1 in v 1539790595.150 * [misc]backup-simplify: Simplify 1 into 1 1539790595.150 * [misc]taylor: Taking taylor expansion of (/ 1 (pow v 2)) in v 1539790595.150 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539790595.150 * [misc]taylor: Taking taylor expansion of v in v 1539790595.150 * [misc]backup-simplify: Simplify 0 into 0 1539790595.150 * [misc]backup-simplify: Simplify 1 into 1 1539790595.150 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539790595.150 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539790595.150 * [misc]taylor: Taking taylor expansion of PI in v 1539790595.150 * [misc]backup-simplify: Simplify PI into PI 1539790595.151 * [misc]backup-simplify: Simplify (- 1) into -1 1539790595.151 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539790595.151 * [misc]backup-simplify: Simplify (* -1 PI) into (* -1 PI) 1539790595.151 * [misc]backup-simplify: Simplify (/ 4/3 (* -1 PI)) into (/ -4/3 PI) 1539790595.152 * [misc]backup-simplify: Simplify (/ -4/3 PI) into (/ -4/3 PI) 1539790595.153 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539790595.153 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539790595.153 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.153 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.154 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 PI)) into 0 1539790595.156 * [misc]backup-simplify: Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ 0 (* -1 PI))))) into 0 1539790595.156 * [misc]backup-simplify: Simplify 0 into 0 1539790595.156 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539790595.157 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.157 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.157 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539790595.158 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 1 PI))) into PI 1539790595.161 * [misc]backup-simplify: Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ PI (* -1 PI))) (* 0 (/ 0 (* -1 PI))))) into (- (* 4/3 (/ 1 PI))) 1539790595.162 * [misc]backup-simplify: Simplify (- (* 4/3 (/ 1 PI))) into (- (* 4/3 (/ 1 PI))) 1539790595.162 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539790595.163 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.163 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.163 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.164 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (* 0 PI)))) into 0 1539790595.169 * [misc]backup-simplify: Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ 0 (* -1 PI))) (* 0 (/ PI (* -1 PI))) (* (- (* 4/3 (/ 1 PI))) (/ 0 (* -1 PI))))) into 0 1539790595.169 * [misc]backup-simplify: Simplify 0 into 0 1539790595.170 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539790595.170 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.170 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.171 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.178 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI))))) into 0 1539790595.185 * [misc]backup-simplify: Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ 0 (* -1 PI))) (* 0 (/ 0 (* -1 PI))) (* (- (* 4/3 (/ 1 PI))) (/ PI (* -1 PI))) (* 0 (/ 0 (* -1 PI))))) into (- (* 4/3 (/ 1 PI))) 1539790595.186 * [misc]backup-simplify: Simplify (- (* 4/3 (/ 1 PI))) into (- (* 4/3 (/ 1 PI))) 1539790595.188 * [misc]backup-simplify: Simplify (+ (* (- (* 4/3 (/ 1 PI))) (pow (/ 1 v) 6)) (+ (* (- (* 4/3 (/ 1 PI))) (pow (/ 1 v) 4)) (* (/ -4/3 PI) (pow (/ 1 v) 2)))) into (- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI)))))) 1539790595.189 * [misc]backup-simplify: Simplify (/ (/ 4/3 PI) (- 1 (* (/ 1 (- v)) (/ 1 (- v))))) into (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) 1539790595.189 * [misc]approximate: Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in (v) around 0 1539790595.189 * [misc]taylor: Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in v 1539790595.189 * [misc]taylor: Taking taylor expansion of 4/3 in v 1539790595.189 * [misc]backup-simplify: Simplify 4/3 into 4/3 1539790595.189 * [misc]taylor: Taking taylor expansion of (* (- 1 (/ 1 (pow v 2))) PI) in v 1539790595.189 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v 1539790595.189 * [misc]taylor: Taking taylor expansion of 1 in v 1539790595.189 * [misc]backup-simplify: Simplify 1 into 1 1539790595.189 * [misc]taylor: Taking taylor expansion of (/ 1 (pow v 2)) in v 1539790595.189 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539790595.189 * [misc]taylor: Taking taylor expansion of v in v 1539790595.189 * [misc]backup-simplify: Simplify 0 into 0 1539790595.189 * [misc]backup-simplify: Simplify 1 into 1 1539790595.190 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539790595.190 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539790595.190 * [misc]taylor: Taking taylor expansion of PI in v 1539790595.190 * [misc]backup-simplify: Simplify PI into PI 1539790595.190 * [misc]backup-simplify: Simplify (- 1) into -1 1539790595.190 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539790595.190 * [misc]backup-simplify: Simplify (* -1 PI) into (* -1 PI) 1539790595.191 * [misc]backup-simplify: Simplify (/ 4/3 (* -1 PI)) into (/ -4/3 PI) 1539790595.191 * [misc]taylor: Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in v 1539790595.191 * [misc]taylor: Taking taylor expansion of 4/3 in v 1539790595.191 * [misc]backup-simplify: Simplify 4/3 into 4/3 1539790595.191 * [misc]taylor: Taking taylor expansion of (* (- 1 (/ 1 (pow v 2))) PI) in v 1539790595.191 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v 1539790595.191 * [misc]taylor: Taking taylor expansion of 1 in v 1539790595.191 * [misc]backup-simplify: Simplify 1 into 1 1539790595.191 * [misc]taylor: Taking taylor expansion of (/ 1 (pow v 2)) in v 1539790595.191 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539790595.191 * [misc]taylor: Taking taylor expansion of v in v 1539790595.191 * [misc]backup-simplify: Simplify 0 into 0 1539790595.191 * [misc]backup-simplify: Simplify 1 into 1 1539790595.191 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539790595.192 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539790595.192 * [misc]taylor: Taking taylor expansion of PI in v 1539790595.192 * [misc]backup-simplify: Simplify PI into PI 1539790595.192 * [misc]backup-simplify: Simplify (- 1) into -1 1539790595.192 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539790595.192 * [misc]backup-simplify: Simplify (* -1 PI) into (* -1 PI) 1539790595.193 * [misc]backup-simplify: Simplify (/ 4/3 (* -1 PI)) into (/ -4/3 PI) 1539790595.193 * [misc]backup-simplify: Simplify (/ -4/3 PI) into (/ -4/3 PI) 1539790595.193 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539790595.194 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539790595.194 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.194 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.195 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 PI)) into 0 1539790595.197 * [misc]backup-simplify: Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ 0 (* -1 PI))))) into 0 1539790595.197 * [misc]backup-simplify: Simplify 0 into 0 1539790595.197 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539790595.197 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.198 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.198 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539790595.199 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 1 PI))) into PI 1539790595.202 * [misc]backup-simplify: Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ PI (* -1 PI))) (* 0 (/ 0 (* -1 PI))))) into (- (* 4/3 (/ 1 PI))) 1539790595.203 * [misc]backup-simplify: Simplify (- (* 4/3 (/ 1 PI))) into (- (* 4/3 (/ 1 PI))) 1539790595.203 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539790595.204 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.204 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.204 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.205 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (* 0 PI)))) into 0 1539790595.210 * [misc]backup-simplify: Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ 0 (* -1 PI))) (* 0 (/ PI (* -1 PI))) (* (- (* 4/3 (/ 1 PI))) (/ 0 (* -1 PI))))) into 0 1539790595.210 * [misc]backup-simplify: Simplify 0 into 0 1539790595.211 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539790595.211 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.211 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.212 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.214 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI))))) into 0 1539790595.220 * [misc]backup-simplify: Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ 0 (* -1 PI))) (* 0 (/ 0 (* -1 PI))) (* (- (* 4/3 (/ 1 PI))) (/ PI (* -1 PI))) (* 0 (/ 0 (* -1 PI))))) into (- (* 4/3 (/ 1 PI))) 1539790595.221 * [misc]backup-simplify: Simplify (- (* 4/3 (/ 1 PI))) into (- (* 4/3 (/ 1 PI))) 1539790595.223 * [misc]backup-simplify: Simplify (+ (* (- (* 4/3 (/ 1 PI))) (pow (/ 1 (- v)) 6)) (+ (* (- (* 4/3 (/ 1 PI))) (pow (/ 1 (- v)) 4)) (* (/ -4/3 PI) (pow (/ 1 (- v)) 2)))) into (- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI)))))) 1539790595.223 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1) 1539790595.223 * [misc]backup-simplify: Simplify (+ 2 (* (* v v) -6)) into (- 2 (* 6 (pow v 2))) 1539790595.223 * [misc]approximate: Taking taylor expansion of (- 2 (* 6 (pow v 2))) in (v) around 0 1539790595.223 * [misc]taylor: Taking taylor expansion of (- 2 (* 6 (pow v 2))) in v 1539790595.223 * [misc]taylor: Taking taylor expansion of 2 in v 1539790595.223 * [misc]backup-simplify: Simplify 2 into 2 1539790595.224 * [misc]taylor: Taking taylor expansion of (* 6 (pow v 2)) in v 1539790595.224 * [misc]taylor: Taking taylor expansion of 6 in v 1539790595.224 * [misc]backup-simplify: Simplify 6 into 6 1539790595.224 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539790595.224 * [misc]taylor: Taking taylor expansion of v in v 1539790595.224 * [misc]backup-simplify: Simplify 0 into 0 1539790595.224 * [misc]backup-simplify: Simplify 1 into 1 1539790595.224 * [misc]taylor: Taking taylor expansion of (- 2 (* 6 (pow v 2))) in v 1539790595.224 * [misc]taylor: Taking taylor expansion of 2 in v 1539790595.224 * [misc]backup-simplify: Simplify 2 into 2 1539790595.224 * [misc]taylor: Taking taylor expansion of (* 6 (pow v 2)) in v 1539790595.224 * [misc]taylor: Taking taylor expansion of 6 in v 1539790595.224 * [misc]backup-simplify: Simplify 6 into 6 1539790595.224 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539790595.224 * [misc]taylor: Taking taylor expansion of v in v 1539790595.224 * [misc]backup-simplify: Simplify 0 into 0 1539790595.224 * [misc]backup-simplify: Simplify 1 into 1 1539790595.224 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1539790595.224 * [misc]backup-simplify: Simplify 2 into 2 1539790595.224 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.224 * [misc]backup-simplify: Simplify 0 into 0 1539790595.225 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539790595.225 * [misc]backup-simplify: Simplify (* 6 1) into 6 1539790595.225 * [misc]backup-simplify: Simplify (- 6) into -6 1539790595.225 * [misc]backup-simplify: Simplify (+ 0 -6) into -6 1539790595.225 * [misc]backup-simplify: Simplify -6 into -6 1539790595.225 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539790595.226 * [misc]backup-simplify: Simplify (+ (* 6 0) (* 0 1)) into 0 1539790595.226 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.226 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.226 * [misc]backup-simplify: Simplify 0 into 0 1539790595.226 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539790595.226 * [misc]backup-simplify: Simplify (+ (* 6 0) (+ (* 0 0) (* 0 1))) into 0 1539790595.227 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.227 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.227 * [misc]backup-simplify: Simplify 0 into 0 1539790595.227 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539790595.228 * [misc]backup-simplify: Simplify (+ (* 6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539790595.228 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.228 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.228 * [misc]backup-simplify: Simplify 0 into 0 1539790595.228 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539790595.229 * [misc]backup-simplify: Simplify (+ (* 6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539790595.229 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.229 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.229 * [misc]backup-simplify: Simplify 0 into 0 1539790595.230 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539790595.230 * [misc]backup-simplify: Simplify (+ (* 6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539790595.230 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.230 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.230 * [misc]backup-simplify: Simplify 0 into 0 1539790595.231 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539790595.231 * [misc]backup-simplify: Simplify (+ (* 6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539790595.232 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.232 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.232 * [misc]backup-simplify: Simplify 0 into 0 1539790595.232 * [misc]backup-simplify: Simplify (+ (* -6 (pow v 2)) 2) into (- 2 (* 6 (pow v 2))) 1539790595.232 * [misc]backup-simplify: Simplify (+ 2 (* (* (/ 1 v) (/ 1 v)) -6)) into (- 2 (* 6 (/ 1 (pow v 2)))) 1539790595.232 * [misc]approximate: Taking taylor expansion of (- 2 (* 6 (/ 1 (pow v 2)))) in (v) around 0 1539790595.232 * [misc]taylor: Taking taylor expansion of (- 2 (* 6 (/ 1 (pow v 2)))) in v 1539790595.232 * [misc]taylor: Taking taylor expansion of 2 in v 1539790595.232 * [misc]backup-simplify: Simplify 2 into 2 1539790595.232 * [misc]taylor: Taking taylor expansion of (* 6 (/ 1 (pow v 2))) in v 1539790595.232 * [misc]taylor: Taking taylor expansion of 6 in v 1539790595.232 * [misc]backup-simplify: Simplify 6 into 6 1539790595.232 * [misc]taylor: Taking taylor expansion of (/ 1 (pow v 2)) in v 1539790595.232 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539790595.232 * [misc]taylor: Taking taylor expansion of v in v 1539790595.232 * [misc]backup-simplify: Simplify 0 into 0 1539790595.233 * [misc]backup-simplify: Simplify 1 into 1 1539790595.233 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539790595.233 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539790595.233 * [misc]taylor: Taking taylor expansion of (- 2 (* 6 (/ 1 (pow v 2)))) in v 1539790595.233 * [misc]taylor: Taking taylor expansion of 2 in v 1539790595.233 * [misc]backup-simplify: Simplify 2 into 2 1539790595.233 * [misc]taylor: Taking taylor expansion of (* 6 (/ 1 (pow v 2))) in v 1539790595.233 * [misc]taylor: Taking taylor expansion of 6 in v 1539790595.233 * [misc]backup-simplify: Simplify 6 into 6 1539790595.233 * [misc]taylor: Taking taylor expansion of (/ 1 (pow v 2)) in v 1539790595.233 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539790595.233 * [misc]taylor: Taking taylor expansion of v in v 1539790595.233 * [misc]backup-simplify: Simplify 0 into 0 1539790595.233 * [misc]backup-simplify: Simplify 1 into 1 1539790595.233 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539790595.233 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539790595.234 * [misc]backup-simplify: Simplify (* 6 1) into 6 1539790595.234 * [misc]backup-simplify: Simplify (- 6) into -6 1539790595.234 * [misc]backup-simplify: Simplify (+ 0 -6) into -6 1539790595.234 * [misc]backup-simplify: Simplify -6 into -6 1539790595.234 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539790595.234 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539790595.235 * [misc]backup-simplify: Simplify (+ (* 6 0) (* 0 1)) into 0 1539790595.235 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.235 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.235 * [misc]backup-simplify: Simplify 0 into 0 1539790595.235 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539790595.236 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.236 * [misc]backup-simplify: Simplify (+ (* 6 0) (+ (* 0 0) (* 0 1))) into 0 1539790595.236 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.236 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1539790595.236 * [misc]backup-simplify: Simplify 2 into 2 1539790595.237 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539790595.237 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.237 * [misc]backup-simplify: Simplify (+ (* 6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539790595.237 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.238 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.238 * [misc]backup-simplify: Simplify 0 into 0 1539790595.238 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539790595.238 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.239 * [misc]backup-simplify: Simplify (+ (* 6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539790595.239 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.239 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.239 * [misc]backup-simplify: Simplify 0 into 0 1539790595.240 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539790595.240 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.241 * [misc]backup-simplify: Simplify (+ (* 6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539790595.241 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.241 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.241 * [misc]backup-simplify: Simplify 0 into 0 1539790595.241 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539790595.242 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.243 * [misc]backup-simplify: Simplify (+ (* 6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539790595.243 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.243 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.243 * [misc]backup-simplify: Simplify 0 into 0 1539790595.243 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1539790595.244 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.245 * [misc]backup-simplify: Simplify (+ (* 6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1539790595.245 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.245 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.245 * [misc]backup-simplify: Simplify 0 into 0 1539790595.246 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1539790595.246 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.247 * [misc]backup-simplify: Simplify (+ (* 6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1539790595.247 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.247 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.247 * [misc]backup-simplify: Simplify 0 into 0 1539790595.247 * [misc]backup-simplify: Simplify (+ 2 (* -6 (pow (/ 1 (/ 1 v)) 2))) into (- 2 (* 6 (pow v 2))) 1539790595.248 * [misc]backup-simplify: Simplify (+ 2 (* (* (/ 1 (- v)) (/ 1 (- v))) -6)) into (- 2 (* 6 (/ 1 (pow v 2)))) 1539790595.248 * [misc]approximate: Taking taylor expansion of (- 2 (* 6 (/ 1 (pow v 2)))) in (v) around 0 1539790595.248 * [misc]taylor: Taking taylor expansion of (- 2 (* 6 (/ 1 (pow v 2)))) in v 1539790595.248 * [misc]taylor: Taking taylor expansion of 2 in v 1539790595.248 * [misc]backup-simplify: Simplify 2 into 2 1539790595.248 * [misc]taylor: Taking taylor expansion of (* 6 (/ 1 (pow v 2))) in v 1539790595.248 * [misc]taylor: Taking taylor expansion of 6 in v 1539790595.248 * [misc]backup-simplify: Simplify 6 into 6 1539790595.248 * [misc]taylor: Taking taylor expansion of (/ 1 (pow v 2)) in v 1539790595.248 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539790595.248 * [misc]taylor: Taking taylor expansion of v in v 1539790595.248 * [misc]backup-simplify: Simplify 0 into 0 1539790595.248 * [misc]backup-simplify: Simplify 1 into 1 1539790595.248 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539790595.248 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539790595.248 * [misc]taylor: Taking taylor expansion of (- 2 (* 6 (/ 1 (pow v 2)))) in v 1539790595.248 * [misc]taylor: Taking taylor expansion of 2 in v 1539790595.248 * [misc]backup-simplify: Simplify 2 into 2 1539790595.248 * [misc]taylor: Taking taylor expansion of (* 6 (/ 1 (pow v 2))) in v 1539790595.248 * [misc]taylor: Taking taylor expansion of 6 in v 1539790595.248 * [misc]backup-simplify: Simplify 6 into 6 1539790595.248 * [misc]taylor: Taking taylor expansion of (/ 1 (pow v 2)) in v 1539790595.248 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1539790595.248 * [misc]taylor: Taking taylor expansion of v in v 1539790595.248 * [misc]backup-simplify: Simplify 0 into 0 1539790595.248 * [misc]backup-simplify: Simplify 1 into 1 1539790595.248 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539790595.248 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539790595.248 * [misc]backup-simplify: Simplify (* 6 1) into 6 1539790595.249 * [misc]backup-simplify: Simplify (- 6) into -6 1539790595.249 * [misc]backup-simplify: Simplify (+ 0 -6) into -6 1539790595.249 * [misc]backup-simplify: Simplify -6 into -6 1539790595.249 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539790595.249 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539790595.249 * [misc]backup-simplify: Simplify (+ (* 6 0) (* 0 1)) into 0 1539790595.249 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.249 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.249 * [misc]backup-simplify: Simplify 0 into 0 1539790595.250 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539790595.250 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.250 * [misc]backup-simplify: Simplify (+ (* 6 0) (+ (* 0 0) (* 0 1))) into 0 1539790595.250 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.250 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1539790595.250 * [misc]backup-simplify: Simplify 2 into 2 1539790595.250 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539790595.250 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.251 * [misc]backup-simplify: Simplify (+ (* 6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539790595.251 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.251 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.251 * [misc]backup-simplify: Simplify 0 into 0 1539790595.251 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539790595.251 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.252 * [misc]backup-simplify: Simplify (+ (* 6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539790595.252 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.252 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.252 * [misc]backup-simplify: Simplify 0 into 0 1539790595.252 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539790595.252 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.253 * [misc]backup-simplify: Simplify (+ (* 6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539790595.253 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.253 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.253 * [misc]backup-simplify: Simplify 0 into 0 1539790595.253 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539790595.253 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.254 * [misc]backup-simplify: Simplify (+ (* 6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539790595.254 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.254 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.254 * [misc]backup-simplify: Simplify 0 into 0 1539790595.254 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1539790595.255 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.255 * [misc]backup-simplify: Simplify (+ (* 6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1539790595.255 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.255 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.255 * [misc]backup-simplify: Simplify 0 into 0 1539790595.255 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1539790595.256 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539790595.256 * [misc]backup-simplify: Simplify (+ (* 6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1539790595.256 * [misc]backup-simplify: Simplify (- 0) into 0 1539790595.256 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539790595.256 * [misc]backup-simplify: Simplify 0 into 0 1539790595.256 * [misc]backup-simplify: Simplify (+ 2 (* -6 (pow (/ 1 (/ 1 (- v))) 2))) into (- 2 (* 6 (pow v 2))) 1539790595.257 * * * [misc]progress: simplifying candidates 1539790595.257 * * * * [misc]progress: [ 1 / 73 ] simplifiying candidate # 1539790595.257 * * * * [misc]progress: [ 2 / 73 ] simplifiying candidate # 1539790595.257 * * * * [misc]progress: [ 3 / 73 ] simplifiying candidate # 1539790595.257 * * * * [misc]progress: [ 4 / 73 ] simplifiying candidate # 1539790595.257 * * * * [misc]progress: [ 5 / 73 ] simplifiying candidate # 1539790595.257 * * * * [misc]progress: [ 6 / 73 ] simplifiying candidate # 1539790595.257 * * * * [misc]progress: [ 7 / 73 ] simplifiying candidate # 1539790595.257 * * * * [misc]progress: [ 8 / 73 ] simplifiying candidate # 1539790595.257 * * * * [misc]progress: [ 9 / 73 ] simplifiying candidate # 1539790595.257 * * * * [misc]progress: [ 10 / 73 ] simplifiying candidate # 1539790595.257 * * * * [misc]progress: [ 11 / 73 ] simplifiying candidate # 1539790595.257 * * * * [misc]progress: [ 12 / 73 ] simplifiying candidate # 1539790595.257 * * * * [misc]progress: [ 13 / 73 ] simplifiying candidate # 1539790595.257 * * * * [misc]progress: [ 14 / 73 ] simplifiying candidate # 1539790595.257 * * * * [misc]progress: [ 15 / 73 ] simplifiying candidate # 1539790595.257 * * * * [misc]progress: [ 16 / 73 ] simplifiying candidate # 1539790595.257 * * * * [misc]progress: [ 17 / 73 ] simplifiying candidate # 1539790595.257 * * * * [misc]progress: [ 18 / 73 ] simplifiying candidate # 1539790595.257 * * * * [misc]progress: [ 19 / 73 ] simplifiying candidate # 1539790595.257 * * * * [misc]progress: [ 20 / 73 ] simplifiying candidate # 1539790595.257 * * * * [misc]progress: [ 21 / 73 ] simplifiying candidate # 1539790595.257 * [enter]simplify: Simplifying (- (log (/ 4/3 PI)) (log (- 1 (* v v)))) 1539790595.258 * * [misc]simplify: iters left: 6 (10 enodes) 1539790595.260 * * [misc]simplify: iters left: 5 (19 enodes) 1539790595.263 * * [misc]simplify: iters left: 4 (30 enodes) 1539790595.268 * * [misc]simplify: iters left: 3 (45 enodes) 1539790595.275 * * [misc]simplify: iters left: 2 (64 enodes) 1539790595.287 * * [misc]simplify: iters left: 1 (81 enodes) 1539790595.304 * [exit]simplify: Simplified to (- (log (/ 4/3 PI)) (log (- 1 (* v v)))) 1539790595.304 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (exp (- (log (/ 4/3 PI)) (log (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.304 * * * * [misc]progress: [ 22 / 73 ] simplifiying candidate # 1539790595.304 * * * * [misc]progress: [ 23 / 73 ] simplifiying candidate # 1539790595.304 * * * * [misc]progress: [ 24 / 73 ] simplifiying candidate # 1539790595.304 * [enter]simplify: Simplifying (/ (* (* (/ 4/3 PI) (/ 4/3 PI)) (/ 4/3 PI)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))) 1539790595.304 * * [misc]simplify: iters left: 6 (12 enodes) 1539790595.309 * * [misc]simplify: iters left: 5 (31 enodes) 1539790595.316 * * [misc]simplify: iters left: 4 (101 enodes) 1539790595.343 * * [misc]simplify: iters left: 3 (325 enodes) 1539790595.636 * [exit]simplify: Simplified to (/ (/ (/ (/ 64/27 PI) (* PI PI)) (- 1 (* v v))) (* (- 1 (* v v)) (- 1 (* v v)))) 1539790595.636 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (cbrt (/ (/ (/ (/ 64/27 PI) (* PI PI)) (- 1 (* v v))) (* (- 1 (* v v)) (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.636 * * * * [misc]progress: [ 25 / 73 ] simplifiying candidate # 1539790595.636 * * * * [misc]progress: [ 26 / 73 ] simplifiying candidate # 1539790595.636 * * * * [misc]progress: [ 27 / 73 ] simplifiying candidate # 1539790595.636 * * * * [misc]progress: [ 28 / 73 ] simplifiying candidate # 1539790595.636 * * * * [misc]progress: [ 29 / 73 ] simplifiying candidate # 1539790595.636 * [enter]simplify: Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) 1539790595.637 * * [misc]simplify: iters left: 6 (12 enodes) 1539790595.641 * * [misc]simplify: iters left: 5 (22 enodes) 1539790595.647 * * [misc]simplify: iters left: 4 (35 enodes) 1539790595.662 * * [misc]simplify: iters left: 3 (38 enodes) 1539790595.672 * * [misc]simplify: iters left: 2 (41 enodes) 1539790595.682 * [exit]simplify: Simplified to (* (/ (cbrt (/ 4/3 PI)) (cbrt (- 1 (* v v)))) (/ (cbrt (/ 4/3 PI)) (cbrt (- 1 (* v v))))) 1539790595.683 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (* (* (/ (cbrt (/ 4/3 PI)) (cbrt (- 1 (* v v)))) (/ (cbrt (/ 4/3 PI)) (cbrt (- 1 (* v v))))) (/ (cbrt (/ 4/3 PI)) (cbrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.683 * [enter]simplify: Simplifying (/ (cbrt (/ 4/3 PI)) (cbrt (- 1 (* v v)))) 1539790595.683 * * [misc]simplify: iters left: 6 (10 enodes) 1539790595.686 * * [misc]simplify: iters left: 5 (14 enodes) 1539790595.690 * * [misc]simplify: iters left: 4 (18 enodes) 1539790595.695 * [exit]simplify: Simplified to (/ (cbrt (/ 4/3 PI)) (cbrt (- 1 (* v v)))) 1539790595.695 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (* (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (/ (cbrt (/ 4/3 PI)) (cbrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.695 * * * * [misc]progress: [ 30 / 73 ] simplifiying candidate # 1539790595.695 * [enter]simplify: Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (- 1 (* v v)))) 1539790595.695 * * [misc]simplify: iters left: 6 (11 enodes) 1539790595.699 * * [misc]simplify: iters left: 5 (17 enodes) 1539790595.704 * * [misc]simplify: iters left: 4 (23 enodes) 1539790595.709 * * [misc]simplify: iters left: 3 (24 enodes) 1539790595.712 * [exit]simplify: Simplified to (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (- 1 (* v v)))) 1539790595.712 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (* (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (- 1 (* v v)))) (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.712 * [enter]simplify: Simplifying (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))) 1539790595.712 * * [misc]simplify: iters left: 6 (10 enodes) 1539790595.714 * * [misc]simplify: iters left: 5 (14 enodes) 1539790595.716 * * [misc]simplify: iters left: 4 (18 enodes) 1539790595.719 * [exit]simplify: Simplified to (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))) 1539790595.719 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (* (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (- 1 (* v v)))) (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.719 * * * * [misc]progress: [ 31 / 73 ] simplifiying candidate # 1539790595.719 * [enter]simplify: Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) 1) 1539790595.719 * * [misc]simplify: iters left: 6 (7 enodes) 1539790595.720 * * [misc]simplify: iters left: 5 (11 enodes) 1539790595.722 * * [misc]simplify: iters left: 4 (17 enodes) 1539790595.724 * * [misc]simplify: iters left: 3 (31 enodes) 1539790595.729 * * [misc]simplify: iters left: 2 (57 enodes) 1539790595.737 * [exit]simplify: Simplified to (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) 1539790595.737 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (* (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (/ (cbrt (/ 4/3 PI)) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.737 * [enter]simplify: Simplifying (/ (cbrt (/ 4/3 PI)) (- 1 (* v v))) 1539790595.737 * * [misc]simplify: iters left: 6 (9 enodes) 1539790595.738 * * [misc]simplify: iters left: 5 (13 enodes) 1539790595.741 * * [misc]simplify: iters left: 4 (17 enodes) 1539790595.746 * [exit]simplify: Simplified to (/ (cbrt (/ 4/3 PI)) (- 1 (* v v))) 1539790595.746 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (* (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (/ (cbrt (/ 4/3 PI)) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.746 * * * * [misc]progress: [ 32 / 73 ] simplifiying candidate # 1539790595.746 * [enter]simplify: Simplifying (/ (sqrt (/ 4/3 PI)) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) 1539790595.746 * * [misc]simplify: iters left: 6 (11 enodes) 1539790595.750 * * [misc]simplify: iters left: 5 (17 enodes) 1539790595.755 * * [misc]simplify: iters left: 4 (21 enodes) 1539790595.761 * [exit]simplify: Simplified to (/ (/ (sqrt (/ 4/3 PI)) (cbrt (- 1 (* v v)))) (cbrt (- 1 (* v v)))) 1539790595.761 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (* (/ (/ (sqrt (/ 4/3 PI)) (cbrt (- 1 (* v v)))) (cbrt (- 1 (* v v)))) (/ (sqrt (/ 4/3 PI)) (cbrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.762 * [enter]simplify: Simplifying (/ (sqrt (/ 4/3 PI)) (cbrt (- 1 (* v v)))) 1539790595.762 * * [misc]simplify: iters left: 6 (10 enodes) 1539790595.764 * * [misc]simplify: iters left: 5 (14 enodes) 1539790595.766 * * [misc]simplify: iters left: 4 (18 enodes) 1539790595.769 * [exit]simplify: Simplified to (/ (sqrt (/ 4/3 PI)) (cbrt (- 1 (* v v)))) 1539790595.769 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (* (/ (sqrt (/ 4/3 PI)) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (/ (sqrt (/ 4/3 PI)) (cbrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.769 * * * * [misc]progress: [ 33 / 73 ] simplifiying candidate # 1539790595.769 * [enter]simplify: Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))) 1539790595.769 * * [misc]simplify: iters left: 6 (10 enodes) 1539790595.771 * * [misc]simplify: iters left: 5 (14 enodes) 1539790595.773 * * [misc]simplify: iters left: 4 (18 enodes) 1539790595.776 * [exit]simplify: Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))) 1539790595.776 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (* (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))) (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.777 * [enter]simplify: Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))) 1539790595.777 * * [misc]simplify: iters left: 6 (10 enodes) 1539790595.778 * * [misc]simplify: iters left: 5 (14 enodes) 1539790595.780 * * [misc]simplify: iters left: 4 (18 enodes) 1539790595.783 * [exit]simplify: Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))) 1539790595.783 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (* (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))) (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.783 * * * * [misc]progress: [ 34 / 73 ] simplifiying candidate # 1539790595.783 * [enter]simplify: Simplifying (/ (sqrt (/ 4/3 PI)) 1) 1539790595.783 * * [misc]simplify: iters left: 5 (6 enodes) 1539790595.784 * * [misc]simplify: iters left: 4 (8 enodes) 1539790595.786 * * [misc]simplify: iters left: 3 (10 enodes) 1539790595.787 * [exit]simplify: Simplified to (sqrt (/ 4/3 PI)) 1539790595.787 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (* (sqrt (/ 4/3 PI)) (/ (sqrt (/ 4/3 PI)) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.787 * [enter]simplify: Simplifying (/ (sqrt (/ 4/3 PI)) (- 1 (* v v))) 1539790595.787 * * [misc]simplify: iters left: 6 (9 enodes) 1539790595.788 * * [misc]simplify: iters left: 5 (13 enodes) 1539790595.790 * * [misc]simplify: iters left: 4 (17 enodes) 1539790595.794 * [exit]simplify: Simplified to (/ (sqrt (/ 4/3 PI)) (- 1 (* v v))) 1539790595.794 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (* (sqrt (/ 4/3 PI)) (/ (sqrt (/ 4/3 PI)) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.794 * * * * [misc]progress: [ 35 / 73 ] simplifiying candidate # 1539790595.795 * [enter]simplify: Simplifying (/ 1 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) 1539790595.795 * * [misc]simplify: iters left: 6 (7 enodes) 1539790595.797 * * [misc]simplify: iters left: 5 (13 enodes) 1539790595.801 * * [misc]simplify: iters left: 4 (17 enodes) 1539790595.806 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (- 1 (* v v)))) (cbrt (- 1 (* v v)))) 1539790595.806 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (* (/ (/ 1 (cbrt (- 1 (* v v)))) (cbrt (- 1 (* v v)))) (/ (/ 4/3 PI) (cbrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.806 * [enter]simplify: Simplifying (/ (/ 4/3 PI) (cbrt (- 1 (* v v)))) 1539790595.806 * * [misc]simplify: iters left: 6 (9 enodes) 1539790595.809 * * [misc]simplify: iters left: 5 (15 enodes) 1539790595.812 * * [misc]simplify: iters left: 4 (22 enodes) 1539790595.816 * [exit]simplify: Simplified to (/ (/ 4/3 PI) (cbrt (- 1 (* v v)))) 1539790595.816 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (* (/ 1 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (/ (/ 4/3 PI) (cbrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.816 * * * * [misc]progress: [ 36 / 73 ] simplifiying candidate # 1539790595.816 * [enter]simplify: Simplifying (/ 1 (sqrt (- 1 (* v v)))) 1539790595.816 * * [misc]simplify: iters left: 6 (6 enodes) 1539790595.817 * * [misc]simplify: iters left: 5 (10 enodes) 1539790595.818 * * [misc]simplify: iters left: 4 (14 enodes) 1539790595.820 * [exit]simplify: Simplified to (/ 1 (sqrt (- 1 (* v v)))) 1539790595.820 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.821 * [enter]simplify: Simplifying (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))) 1539790595.821 * * [misc]simplify: iters left: 6 (9 enodes) 1539790595.822 * * [misc]simplify: iters left: 5 (15 enodes) 1539790595.824 * * [misc]simplify: iters left: 4 (22 enodes) 1539790595.827 * [exit]simplify: Simplified to (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))) 1539790595.827 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.827 * * * * [misc]progress: [ 37 / 73 ] simplifiying candidate # 1539790595.828 * [enter]simplify: Simplifying (/ 1 1) 1539790595.828 * * [misc]simplify: iters left: 2 (2 enodes) 1539790595.828 * * [misc]simplify: iters left: 1 (4 enodes) 1539790595.828 * [exit]simplify: Simplified to 1 1539790595.828 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (* 1 (/ (/ 4/3 PI) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.829 * [enter]simplify: Simplifying (/ (/ 4/3 PI) (- 1 (* v v))) 1539790595.829 * * [misc]simplify: iters left: 6 (8 enodes) 1539790595.830 * * [misc]simplify: iters left: 5 (14 enodes) 1539790595.832 * * [misc]simplify: iters left: 4 (21 enodes) 1539790595.835 * * [misc]simplify: iters left: 3 (29 enodes) 1539790595.840 * * [misc]simplify: iters left: 2 (41 enodes) 1539790595.846 * * [misc]simplify: iters left: 1 (52 enodes) 1539790595.856 * [exit]simplify: Simplified to (/ (/ 4/3 PI) (- 1 (* v v))) 1539790595.856 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (* 1 (/ (/ 4/3 PI) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.856 * * * * [misc]progress: [ 38 / 73 ] simplifiying candidate # 1539790595.856 * [enter]simplify: Simplifying (/ 4/3 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) 1539790595.856 * * [misc]simplify: iters left: 6 (8 enodes) 1539790595.857 * * [misc]simplify: iters left: 5 (14 enodes) 1539790595.860 * * [misc]simplify: iters left: 4 (18 enodes) 1539790595.862 * [exit]simplify: Simplified to (/ 4/3 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) 1539790595.862 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (* (/ 4/3 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (/ (/ 1 PI) (cbrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.863 * [enter]simplify: Simplifying (/ (/ 1 PI) (cbrt (- 1 (* v v)))) 1539790595.863 * * [misc]simplify: iters left: 6 (8 enodes) 1539790595.864 * * [misc]simplify: iters left: 5 (14 enodes) 1539790595.866 * * [misc]simplify: iters left: 4 (21 enodes) 1539790595.869 * [exit]simplify: Simplified to (/ (/ 1 PI) (cbrt (- 1 (* v v)))) 1539790595.869 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (* (/ 4/3 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (/ (/ 1 PI) (cbrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.869 * * * * [misc]progress: [ 39 / 73 ] simplifiying candidate # 1539790595.870 * [enter]simplify: Simplifying (/ 4/3 (sqrt (- 1 (* v v)))) 1539790595.870 * * [misc]simplify: iters left: 6 (7 enodes) 1539790595.872 * * [misc]simplify: iters left: 5 (11 enodes) 1539790595.873 * * [misc]simplify: iters left: 4 (15 enodes) 1539790595.876 * [exit]simplify: Simplified to (/ 4/3 (sqrt (- 1 (* v v)))) 1539790595.876 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (* (/ 4/3 (sqrt (- 1 (* v v)))) (/ (/ 1 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.876 * [enter]simplify: Simplifying (/ (/ 1 PI) (sqrt (- 1 (* v v)))) 1539790595.876 * * [misc]simplify: iters left: 6 (8 enodes) 1539790595.877 * * [misc]simplify: iters left: 5 (14 enodes) 1539790595.879 * * [misc]simplify: iters left: 4 (21 enodes) 1539790595.882 * [exit]simplify: Simplified to (/ (/ 1 PI) (sqrt (- 1 (* v v)))) 1539790595.882 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (* (/ 4/3 (sqrt (- 1 (* v v)))) (/ (/ 1 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.882 * * * * [misc]progress: [ 40 / 73 ] simplifiying candidate # 1539790595.883 * [enter]simplify: Simplifying (/ 4/3 1) 1539790595.883 * * [misc]simplify: iters left: 2 (3 enodes) 1539790595.883 * * [misc]simplify: iters left: 1 (5 enodes) 1539790595.884 * [exit]simplify: Simplified to 4/3 1539790595.884 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (* 4/3 (/ (/ 1 PI) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.884 * [enter]simplify: Simplifying (/ (/ 1 PI) (- 1 (* v v))) 1539790595.885 * * [misc]simplify: iters left: 6 (7 enodes) 1539790595.887 * * [misc]simplify: iters left: 5 (13 enodes) 1539790595.891 * * [misc]simplify: iters left: 4 (20 enodes) 1539790595.897 * * [misc]simplify: iters left: 3 (28 enodes) 1539790595.906 * * [misc]simplify: iters left: 2 (40 enodes) 1539790595.912 * * [misc]simplify: iters left: 1 (51 enodes) 1539790595.918 * [exit]simplify: Simplified to (/ (/ 1 PI) (- 1 (* v v))) 1539790595.918 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (* 4/3 (/ (/ 1 PI) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.919 * * * * [misc]progress: [ 41 / 73 ] simplifiying candidate # 1539790595.919 * * * * [misc]progress: [ 42 / 73 ] simplifiying candidate # 1539790595.919 * * * * [misc]progress: [ 43 / 73 ] simplifiying candidate # 1539790595.919 * * * * [misc]progress: [ 44 / 73 ] simplifiying candidate # 1539790595.919 * [enter]simplify: Simplifying (cbrt (- 1 (* v v))) 1539790595.919 * * [misc]simplify: iters left: 5 (5 enodes) 1539790595.920 * * [misc]simplify: iters left: 4 (9 enodes) 1539790595.921 * * [misc]simplify: iters left: 3 (13 enodes) 1539790595.923 * [exit]simplify: Simplified to (cbrt (- 1 (* v v))) 1539790595.923 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (/ (/ (/ 4/3 PI) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (cbrt (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.923 * * * * [misc]progress: [ 45 / 73 ] simplifiying candidate # 1539790595.923 * [enter]simplify: Simplifying (sqrt (- 1 (* v v))) 1539790595.923 * * [misc]simplify: iters left: 5 (5 enodes) 1539790595.924 * * [misc]simplify: iters left: 4 (9 enodes) 1539790595.925 * * [misc]simplify: iters left: 3 (13 enodes) 1539790595.927 * [exit]simplify: Simplified to (sqrt (- 1 (* v v))) 1539790595.927 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (/ (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))) (sqrt (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.927 * * * * [misc]progress: [ 46 / 73 ] simplifiying candidate # 1539790595.927 * [enter]simplify: Simplifying (- 1 (* v v)) 1539790595.927 * * [misc]simplify: iters left: 4 (4 enodes) 1539790595.928 * * [misc]simplify: iters left: 3 (8 enodes) 1539790595.929 * * [misc]simplify: iters left: 2 (12 enodes) 1539790595.931 * [exit]simplify: Simplified to (- 1 (* v v)) 1539790595.931 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (/ (/ (/ 4/3 PI) 1) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.931 * * * * [misc]progress: [ 47 / 73 ] simplifiying candidate # 1539790595.931 * [enter]simplify: Simplifying (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) 1539790595.931 * * [misc]simplify: iters left: 5 (5 enodes) 1539790595.932 * [exit]simplify: Simplified to (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) 1539790595.932 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (/ (- 1 (* v v)) (cbrt (/ 4/3 PI)))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.932 * * * * [misc]progress: [ 48 / 73 ] simplifiying candidate # 1539790595.932 * [enter]simplify: Simplifying (sqrt (/ 4/3 PI)) 1539790595.932 * * [misc]simplify: iters left: 3 (4 enodes) 1539790595.933 * [exit]simplify: Simplified to (sqrt (/ 4/3 PI)) 1539790595.933 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (/ (sqrt (/ 4/3 PI)) (/ (- 1 (* v v)) (sqrt (/ 4/3 PI)))) (sqrt (+ 2 (* (* v v) -6))))) 1539790595.933 * * * * [misc]progress: [ 49 / 73 ] simplifiying candidate # 1539790595.933 * * * * [misc]progress: [ 50 / 73 ] simplifiying candidate # 1539790595.933 * * * * [misc]progress: [ 51 / 73 ] simplifiying candidate # 1539790595.933 * [enter]simplify: Simplifying (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))) 1539790595.933 * * [misc]simplify: iters left: 6 (8 enodes) 1539790595.935 * * [misc]simplify: iters left: 5 (23 enodes) 1539790595.944 * * [misc]simplify: iters left: 4 (57 enodes) 1539790595.964 * * [misc]simplify: iters left: 3 (87 enodes) 1539790595.983 * * [misc]simplify: iters left: 2 (118 enodes) 1539790595.998 * * [misc]simplify: iters left: 1 (146 enodes) 1539790596.025 * [exit]simplify: Simplified to (+ 1 (+ (* v v) (pow v 4))) 1539790596.026 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (* (/ (/ 4/3 PI) (- (pow 1 3) (pow (* v v) 3))) (+ 1 (+ (* v v) (pow v 4)))) (sqrt (+ 2 (* (* v v) -6))))) 1539790596.026 * * * * [misc]progress: [ 52 / 73 ] simplifiying candidate # 1539790596.026 * [enter]simplify: Simplifying (+ 1 (* v v)) 1539790596.026 * * [misc]simplify: iters left: 4 (4 enodes) 1539790596.027 * * [misc]simplify: iters left: 3 (7 enodes) 1539790596.029 * [exit]simplify: Simplified to (+ 1 (* v v)) 1539790596.029 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (* (/ (/ 4/3 PI) (- (* 1 1) (* (* v v) (* v v)))) (+ 1 (* v v))) (sqrt (+ 2 (* (* v v) -6))))) 1539790596.029 * * * * [misc]progress: [ 53 / 73 ] simplifiying candidate # 1539790596.029 * * * * [misc]progress: [ 54 / 73 ] simplifiying candidate # 1539790596.030 * * * * [misc]progress: [ 55 / 73 ] simplifiying candidate # 1539790596.030 * * * * [misc]progress: [ 56 / 73 ] simplifiying candidate # 1539790596.030 * * * * [misc]progress: [ 57 / 73 ] simplifiying candidate # 1539790596.030 * * * * [misc]progress: [ 58 / 73 ] simplifiying candidate # 1539790596.030 * * * * [misc]progress: [ 59 / 73 ] simplifiying candidate # 1539790596.030 * * * * [misc]progress: [ 60 / 73 ] simplifiying candidate # 1539790596.030 * * * * [misc]progress: [ 61 / 73 ] simplifiying candidate # 1539790596.030 * * * * [misc]progress: [ 62 / 73 ] simplifiying candidate # 1539790596.030 * * * * [misc]progress: [ 63 / 73 ] simplifiying candidate # 1539790596.030 * * * * [misc]progress: [ 64 / 73 ] simplifiying candidate # 1539790596.030 * [enter]simplify: Simplifying (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))) 1539790596.031 * * [misc]simplify: iters left: 6 (14 enodes) 1539790596.035 * * [misc]simplify: iters left: 5 (26 enodes) 1539790596.043 * * [misc]simplify: iters left: 4 (44 enodes) 1539790596.056 * * [misc]simplify: iters left: 3 (97 enodes) 1539790596.101 * * [misc]simplify: iters left: 2 (173 enodes) 1539790596.168 * * [misc]simplify: iters left: 1 (299 enodes) 1539790596.295 * [exit]simplify: Simplified to (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ (* -6 (* v v)) 2))) 1539790596.295 * [misc]simplify: Simplified (2) to (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ (* -6 (* v v)) 2)))) 1539790596.295 * * * * [misc]progress: [ 65 / 73 ] simplifiying candidate # 1539790596.295 * [enter]simplify: Simplifying (* -6 (pow v 2)) 1539790596.295 * * [misc]simplify: iters left: 3 (5 enodes) 1539790596.297 * * [misc]simplify: iters left: 2 (7 enodes) 1539790596.299 * * [misc]simplify: iters left: 1 (11 enodes) 1539790596.302 * [exit]simplify: Simplified to (* (* v v) -6) 1539790596.302 * [misc]simplify: Simplified (2 2 1 2) to (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6))))) 1539790596.302 * * * * [misc]progress: [ 66 / 73 ] simplifiying candidate # 1539790596.302 * [enter]simplify: Simplifying (* -6 (pow v 2)) 1539790596.302 * * [misc]simplify: iters left: 3 (5 enodes) 1539790596.304 * * [misc]simplify: iters left: 2 (7 enodes) 1539790596.306 * * [misc]simplify: iters left: 1 (11 enodes) 1539790596.309 * [exit]simplify: Simplified to (* (* v v) -6) 1539790596.309 * [misc]simplify: Simplified (2 2 1 2) to (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6))))) 1539790596.309 * * * * [misc]progress: [ 67 / 73 ] simplifiying candidate # 1539790596.310 * [enter]simplify: Simplifying (* -6 (pow v 2)) 1539790596.310 * * [misc]simplify: iters left: 3 (5 enodes) 1539790596.311 * * [misc]simplify: iters left: 2 (7 enodes) 1539790596.315 * * [misc]simplify: iters left: 1 (11 enodes) 1539790596.318 * [exit]simplify: Simplified to (* (* v v) -6) 1539790596.318 * [misc]simplify: Simplified (2 2 1 2) to (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6))))) 1539790596.318 * * * * [misc]progress: [ 68 / 73 ] simplifiying candidate # 1539790596.319 * [enter]simplify: Simplifying (+ (* 4/3 (/ (pow v 2) PI)) (+ (* 4/3 (/ 1 PI)) (* 4/3 (/ (pow v 4) PI)))) 1539790596.319 * * [misc]simplify: iters left: 6 (16 enodes) 1539790596.326 * * [misc]simplify: iters left: 5 (34 enodes) 1539790596.340 * * [misc]simplify: iters left: 4 (63 enodes) 1539790596.364 * * [misc]simplify: iters left: 3 (91 enodes) 1539790596.400 * * [misc]simplify: iters left: 2 (126 enodes) 1539790596.425 * * [misc]simplify: iters left: 1 (203 enodes) 1539790596.530 * [exit]simplify: Simplified to (+ (/ 4/3 PI) (* (+ (pow v 4) (* v v)) (/ 4/3 PI))) 1539790596.531 * [misc]simplify: Simplified (2 1) to (λ (v) (/ (+ (/ 4/3 PI) (* (+ (pow v 4) (* v v)) (/ 4/3 PI))) (sqrt (+ 2 (* (* v v) -6))))) 1539790596.531 * * * * [misc]progress: [ 69 / 73 ] simplifiying candidate # 1539790596.531 * [enter]simplify: Simplifying (- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI)))))) 1539790596.531 * * [misc]simplify: iters left: 6 (22 enodes) 1539790596.541 * * [misc]simplify: iters left: 5 (50 enodes) 1539790596.566 * * [misc]simplify: iters left: 4 (105 enodes) 1539790596.652 * * [misc]simplify: iters left: 3 (237 enodes) 1539790596.916 * * [misc]simplify: iters left: 2 (443 enodes) 1539790597.197 * [exit]simplify: Simplified to (- (/ -4/3 (* (* v PI) v)) (+ (/ (/ 4/3 PI) (pow v 6)) (/ (/ 4/3 PI) (pow v 4)))) 1539790597.197 * [misc]simplify: Simplified (2 1) to (λ (v) (/ (- (/ -4/3 (* (* v PI) v)) (+ (/ (/ 4/3 PI) (pow v 6)) (/ (/ 4/3 PI) (pow v 4)))) (sqrt (+ 2 (* (* v v) -6))))) 1539790597.197 * * * * [misc]progress: [ 70 / 73 ] simplifiying candidate # 1539790597.197 * [enter]simplify: Simplifying (- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI)))))) 1539790597.197 * * [misc]simplify: iters left: 6 (22 enodes) 1539790597.202 * * [misc]simplify: iters left: 5 (50 enodes) 1539790597.223 * * [misc]simplify: iters left: 4 (105 enodes) 1539790597.287 * * [misc]simplify: iters left: 3 (237 enodes) 1539790597.509 * * [misc]simplify: iters left: 2 (443 enodes) 1539790597.813 * [exit]simplify: Simplified to (- (/ -4/3 (* (* v PI) v)) (+ (/ (/ 4/3 PI) (pow v 6)) (/ (/ 4/3 PI) (pow v 4)))) 1539790597.813 * [misc]simplify: Simplified (2 1) to (λ (v) (/ (- (/ -4/3 (* (* v PI) v)) (+ (/ (/ 4/3 PI) (pow v 6)) (/ (/ 4/3 PI) (pow v 4)))) (sqrt (+ 2 (* (* v v) -6))))) 1539790597.813 * * * * [misc]progress: [ 71 / 73 ] simplifiying candidate # 1539790597.813 * [enter]simplify: Simplifying (- 2 (* 6 (pow v 2))) 1539790597.813 * * [misc]simplify: iters left: 5 (6 enodes) 1539790597.815 * * [misc]simplify: iters left: 4 (10 enodes) 1539790597.822 * * [misc]simplify: iters left: 3 (22 enodes) 1539790597.828 * * [misc]simplify: iters left: 2 (30 enodes) 1539790597.833 * * [misc]simplify: iters left: 1 (36 enodes) 1539790597.838 * [exit]simplify: Simplified to (- 2 (* (* v v) 6)) 1539790597.838 * [misc]simplify: Simplified (2 2 1) to (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (- 2 (* (* v v) 6))))) 1539790597.838 * * * * [misc]progress: [ 72 / 73 ] simplifiying candidate # 1539790597.838 * [enter]simplify: Simplifying (- 2 (* 6 (pow v 2))) 1539790597.838 * * [misc]simplify: iters left: 5 (6 enodes) 1539790597.839 * * [misc]simplify: iters left: 4 (10 enodes) 1539790597.842 * * [misc]simplify: iters left: 3 (22 enodes) 1539790597.845 * * [misc]simplify: iters left: 2 (30 enodes) 1539790597.849 * * [misc]simplify: iters left: 1 (36 enodes) 1539790597.854 * [exit]simplify: Simplified to (- 2 (* (* v v) 6)) 1539790597.854 * [misc]simplify: Simplified (2 2 1) to (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (- 2 (* (* v v) 6))))) 1539790597.854 * * * * [misc]progress: [ 73 / 73 ] simplifiying candidate # 1539790597.854 * [enter]simplify: Simplifying (- 2 (* 6 (pow v 2))) 1539790597.854 * * [misc]simplify: iters left: 5 (6 enodes) 1539790597.855 * * [misc]simplify: iters left: 4 (10 enodes) 1539790597.857 * * [misc]simplify: iters left: 3 (22 enodes) 1539790597.860 * * [misc]simplify: iters left: 2 (30 enodes) 1539790597.865 * * [misc]simplify: iters left: 1 (36 enodes) 1539790597.874 * [exit]simplify: Simplified to (- 2 (* (* v v) 6)) 1539790597.874 * [misc]simplify: Simplified (2 2 1) to (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (- 2 (* (* v v) 6))))) 1539790597.874 * * * [misc]progress: adding candidates to table 1539790598.488 * [misc]progress: [Phase 3 of 3] Extracting. 1539790598.491 * [enter]simplify: Simplifying (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))) 1539790598.491 * * [misc]simplify: iters left: 6 (14 enodes) 1539790598.492 * * [misc]simplify: iters left: 5 (18 enodes) 1539790598.492 * [exit]simplify: Simplified to (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ (* -6 (* v v)) 2))) 1539790598.492 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539790598.510 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539790598.513 * * * * [misc]points: Setting MPFR precision to 64 1539790598.514 * * * * [misc]points: Setting MPFR precision to 320 1539790598.514 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539790598.518 * * * * [misc]points: Setting MPFR precision to 64 1539790598.519 * * * * [misc]points: Setting MPFR precision to 320 1539790598.519 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539790598.529 * * * * [misc]points: Setting MPFR precision to 64 1539790598.533 * * * * [misc]points: Setting MPFR precision to 320 1539790598.537 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539790598.544 * * * * [misc]points: Setting MPFR precision to 64 1539790598.550 * * * * [misc]points: Setting MPFR precision to 320 1539790598.556 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539790598.563 * * * * [misc]points: Setting MPFR precision to 64 1539790598.569 * * * * [misc]points: Setting MPFR precision to 320 1539790598.575 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539790598.579 * * * * [misc]points: Setting MPFR precision to 64 1539790598.590 * * * * [misc]points: Setting MPFR precision to 320 1539790598.602 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539790598.606 * * * * [misc]points: Setting MPFR precision to 64 1539790598.662 * * * * [misc]points: Setting MPFR precision to 320 1539790598.711 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539790598.719 * * * * [misc]points: Setting MPFR precision to 64 1539790598.765 * * * * [misc]points: Setting MPFR precision to 320 1539790598.912 * * * * [misc]points: Computing exacts for 8000 points 1539790598.919 * * * * [misc]points: Setting MPFR precision to 64 1539790599.324 * * * * [misc]points: Setting MPFR precision to 320 1539790600.150 * * * * [misc]points: Filtering points with unrepresentable outputs 1539790600.151 * * * * [misc]points: Sampling 3948 additional inputs, on iter 1 have 4052 / 8000 1539790600.160 * * * * [misc]points: Computing exacts on every 246 of 3948 points to ramp up precision 1539790600.164 * * * * [misc]points: Setting MPFR precision to 64 1539790600.164 * * * * [misc]points: Setting MPFR precision to 320 1539790600.165 * * * * [misc]points: Computing exacts on every 123 of 3948 points to ramp up precision 1539790600.168 * * * * [misc]points: Setting MPFR precision to 64 1539790600.169 * * * * [misc]points: Setting MPFR precision to 320 1539790600.170 * * * * [misc]points: Computing exacts on every 61 of 3948 points to ramp up precision 1539790600.173 * * * * [misc]points: Setting MPFR precision to 64 1539790600.175 * * * * [misc]points: Setting MPFR precision to 320 1539790600.176 * * * * [misc]points: Computing exacts on every 30 of 3948 points to ramp up precision 1539790600.180 * * * * [misc]points: Setting MPFR precision to 64 1539790600.183 * * * * [misc]points: Setting MPFR precision to 320 1539790600.205 * * * * [misc]points: Computing exacts on every 15 of 3948 points to ramp up precision 1539790600.212 * * * * [misc]points: Setting MPFR precision to 64 1539790600.227 * * * * [misc]points: Setting MPFR precision to 320 1539790600.239 * * * * [misc]points: Computing exacts on every 7 of 3948 points to ramp up precision 1539790600.246 * * * * [misc]points: Setting MPFR precision to 64 1539790600.269 * * * * [misc]points: Setting MPFR precision to 320 1539790600.293 * * * * [misc]points: Computing exacts on every 3 of 3948 points to ramp up precision 1539790600.300 * * * * [misc]points: Setting MPFR precision to 64 1539790600.338 * * * * [misc]points: Setting MPFR precision to 320 1539790600.420 * * * * [misc]points: Computing exacts for 3948 points 1539790600.427 * * * * [misc]points: Setting MPFR precision to 64 1539790600.655 * * * * [misc]points: Setting MPFR precision to 320 1539790600.869 * * * * [misc]points: Filtering points with unrepresentable outputs 1539790600.870 * * * * [misc]points: Sampling 1949 additional inputs, on iter 2 have 6051 / 8000 1539790600.879 * * * * [misc]points: Computing exacts on every 121 of 1949 points to ramp up precision 1539790600.886 * * * * [misc]points: Setting MPFR precision to 64 1539790600.887 * * * * [misc]points: Setting MPFR precision to 320 1539790600.888 * * * * [misc]points: Computing exacts on every 60 of 1949 points to ramp up precision 1539790600.895 * * * * [misc]points: Setting MPFR precision to 64 1539790600.897 * * * * [misc]points: Setting MPFR precision to 320 1539790600.899 * * * * [misc]points: Computing exacts on every 30 of 1949 points to ramp up precision 1539790600.903 * * * * [misc]points: Setting MPFR precision to 64 1539790600.904 * * * * [misc]points: Setting MPFR precision to 320 1539790600.906 * * * * [misc]points: Computing exacts on every 15 of 1949 points to ramp up precision 1539790600.909 * * * * [misc]points: Setting MPFR precision to 64 1539790600.912 * * * * [misc]points: Setting MPFR precision to 320 1539790600.915 * * * * [misc]points: Computing exacts on every 7 of 1949 points to ramp up precision 1539790600.943 * * * * [misc]points: Setting MPFR precision to 64 1539790600.949 * * * * [misc]points: Setting MPFR precision to 320 1539790600.959 * * * * [misc]points: Computing exacts on every 3 of 1949 points to ramp up precision 1539790600.962 * * * * [misc]points: Setting MPFR precision to 64 1539790600.974 * * * * [misc]points: Setting MPFR precision to 320 1539790600.985 * * * * [misc]points: Computing exacts for 1949 points 1539790600.990 * * * * [misc]points: Setting MPFR precision to 64 1539790601.120 * * * * [misc]points: Setting MPFR precision to 320 1539790601.201 * * * * [misc]points: Filtering points with unrepresentable outputs 1539790601.202 * * * * [misc]points: Sampling 950 additional inputs, on iter 3 have 7050 / 8000 1539790601.204 * * * * [misc]points: Computing exacts on every 59 of 950 points to ramp up precision 1539790601.208 * * * * [misc]points: Setting MPFR precision to 64 1539790601.209 * * * * [misc]points: Setting MPFR precision to 320 1539790601.209 * * * * [misc]points: Computing exacts on every 29 of 950 points to ramp up precision 1539790601.212 * * * * [misc]points: Setting MPFR precision to 64 1539790601.213 * * * * [misc]points: Setting MPFR precision to 320 1539790601.214 * * * * [misc]points: Computing exacts on every 14 of 950 points to ramp up precision 1539790601.218 * * * * [misc]points: Setting MPFR precision to 64 1539790601.219 * * * * [misc]points: Setting MPFR precision to 320 1539790601.221 * * * * [misc]points: Computing exacts on every 7 of 950 points to ramp up precision 1539790601.225 * * * * [misc]points: Setting MPFR precision to 64 1539790601.269 * * * * [misc]points: Setting MPFR precision to 320 1539790601.279 * * * * [misc]points: Computing exacts on every 3 of 950 points to ramp up precision 1539790601.286 * * * * [misc]points: Setting MPFR precision to 64 1539790601.294 * * * * [misc]points: Setting MPFR precision to 320 1539790601.300 * * * * [misc]points: Computing exacts for 950 points 1539790601.303 * * * * [misc]points: Setting MPFR precision to 64 1539790601.325 * * * * [misc]points: Setting MPFR precision to 320 1539790601.348 * * * * [misc]points: Filtering points with unrepresentable outputs 1539790601.349 * * * * [misc]points: Sampling 467 additional inputs, on iter 4 have 7533 / 8000 1539790601.350 * * * * [misc]points: Computing exacts on every 29 of 467 points to ramp up precision 1539790601.355 * * * * [misc]points: Setting MPFR precision to 64 1539790601.356 * * * * [misc]points: Setting MPFR precision to 320 1539790601.356 * * * * [misc]points: Computing exacts on every 14 of 467 points to ramp up precision 1539790601.363 * * * * [misc]points: Setting MPFR precision to 64 1539790601.407 * * * * [misc]points: Setting MPFR precision to 320 1539790601.409 * * * * [misc]points: Computing exacts on every 7 of 467 points to ramp up precision 1539790601.418 * * * * [misc]points: Setting MPFR precision to 64 1539790601.420 * * * * [misc]points: Setting MPFR precision to 320 1539790601.421 * * * * [misc]points: Computing exacts on every 3 of 467 points to ramp up precision 1539790601.425 * * * * [misc]points: Setting MPFR precision to 64 1539790601.428 * * * * [misc]points: Setting MPFR precision to 320 1539790601.430 * * * * [misc]points: Computing exacts for 467 points 1539790601.434 * * * * [misc]points: Setting MPFR precision to 64 1539790601.445 * * * * [misc]points: Setting MPFR precision to 320 1539790601.466 * * * * [misc]points: Filtering points with unrepresentable outputs 1539790601.466 * * * * [misc]points: Sampling 254 additional inputs, on iter 5 have 7746 / 8000 1539790601.468 * * * * [misc]points: Computing exacts on every 15 of 254 points to ramp up precision 1539790601.473 * * * * [misc]points: Setting MPFR precision to 64 1539790601.474 * * * * [misc]points: Setting MPFR precision to 320 1539790601.474 * * * * [misc]points: Computing exacts on every 7 of 254 points to ramp up precision 1539790601.477 * * * * [misc]points: Setting MPFR precision to 64 1539790601.478 * * * * [misc]points: Setting MPFR precision to 320 1539790601.479 * * * * [misc]points: Computing exacts on every 3 of 254 points to ramp up precision 1539790601.483 * * * * [misc]points: Setting MPFR precision to 64 1539790601.484 * * * * [misc]points: Setting MPFR precision to 320 1539790601.486 * * * * [misc]points: Computing exacts for 254 points 1539790601.489 * * * * [misc]points: Setting MPFR precision to 64 1539790601.495 * * * * [misc]points: Setting MPFR precision to 320 1539790601.537 * * * * [misc]points: Filtering points with unrepresentable outputs 1539790601.537 * * * * [misc]points: Sampling 128 additional inputs, on iter 6 have 7872 / 8000 1539790601.538 * * * * [misc]points: Computing exacts on every 8 of 128 points to ramp up precision 1539790601.545 * * * * [misc]points: Setting MPFR precision to 64 1539790601.546 * * * * [misc]points: Setting MPFR precision to 320 1539790601.547 * * * * [misc]points: Computing exacts on every 4 of 128 points to ramp up precision 1539790601.558 * * * * [misc]points: Setting MPFR precision to 64 1539790601.559 * * * * [misc]points: Setting MPFR precision to 320 1539790601.560 * * * * [misc]points: Computing exacts on every 2 of 128 points to ramp up precision 1539790601.567 * * * * [misc]points: Setting MPFR precision to 64 1539790601.569 * * * * [misc]points: Setting MPFR precision to 320 1539790601.571 * * * * [misc]points: Computing exacts for 128 points 1539790601.578 * * * * [misc]points: Setting MPFR precision to 64 1539790601.584 * * * * [misc]points: Setting MPFR precision to 320 1539790601.590 * * * * [misc]points: Filtering points with unrepresentable outputs 1539790601.591 * * * * [misc]points: Sampling 63 additional inputs, on iter 7 have 7937 / 8000 1539790601.591 * * * * [misc]points: Computing exacts on every 3 of 63 points to ramp up precision 1539790601.597 * * * * [misc]points: Setting MPFR precision to 64 1539790601.597 * * * * [misc]points: Setting MPFR precision to 320 1539790601.598 * * * * [misc]points: Computing exacts for 63 points 1539790601.601 * * * * [misc]points: Setting MPFR precision to 64 1539790601.603 * * * * [misc]points: Setting MPFR precision to 320 1539790601.604 * * * * [misc]points: Filtering points with unrepresentable outputs 1539790601.604 * * * * [misc]points: Sampling 33 additional inputs, on iter 8 have 7967 / 8000 1539790601.604 * * * * [misc]points: Computing exacts on every 2 of 33 points to ramp up precision 1539790601.608 * * * * [misc]points: Setting MPFR precision to 64 1539790601.608 * * * * [misc]points: Setting MPFR precision to 320 1539790601.609 * * * * [misc]points: Computing exacts for 33 points 1539790601.612 * * * * [misc]points: Setting MPFR precision to 64 1539790601.613 * * * * [misc]points: Setting MPFR precision to 320 1539790601.614 * * * * [misc]points: Filtering points with unrepresentable outputs 1539790601.614 * * * * [misc]points: Sampling 14 additional inputs, on iter 9 have 7986 / 8000 1539790601.614 * * * * [misc]points: Computing exacts for 14 points 1539790601.617 * * * * [misc]points: Setting MPFR precision to 64 1539790601.618 * * * * [misc]points: Setting MPFR precision to 320 1539790601.618 * * * * [misc]points: Filtering points with unrepresentable outputs 1539790601.618 * * * * [misc]points: Sampling 8 additional inputs, on iter 10 have 7992 / 8000 1539790601.618 * * * * [misc]points: Computing exacts for 8 points 1539790601.624 * * * * [misc]points: Setting MPFR precision to 64 1539790601.624 * * * * [misc]points: Setting MPFR precision to 320 1539790601.625 * * * * [misc]points: Filtering points with unrepresentable outputs 1539790601.625 * * * * [misc]points: Sampling 6 additional inputs, on iter 11 have 7994 / 8000 1539790601.625 * * * * [misc]points: Computing exacts for 6 points 1539790601.632 * * * * [misc]points: Setting MPFR precision to 64 1539790601.632 * * * * [misc]points: Setting MPFR precision to 320 1539790601.632 * * * * [misc]points: Filtering points with unrepresentable outputs 1539790601.632 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 1539790601.633 * * * * [misc]points: Computing exacts for 4 points 1539790601.957 * * * * [misc]points: Setting MPFR precision to 64 1539790601.958 * * * * [misc]points: Setting MPFR precision to 320 1539790601.958 * * * * [misc]points: Filtering points with unrepresentable outputs 1539790601.958 * * * * [exit]points: Sampled 8000 points with exact outputs 1539790602.168 * [misc]regime-testing: Baseline error score: 0.009625 1539790602.168 * [misc]regime-testing: End program error score: 0.009625 1539790602.169 * [misc]regime-testing: Oracle error score: 0.009625