1544607367.653 * [misc]progress: [Phase 1 of 3] Setting up. 1544607367.653 * * * [misc]progress: [1/2] Preparing points 1544607367.653 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544607367.787 * * * * [misc]points: Filtering points with unrepresentable outputs 1544607367.788 * * * * [misc]points: Sampling 132 additional inputs, on iter 1 have 124 / 256 1544607367.856 * * * * [misc]points: Filtering points with unrepresentable outputs 1544607367.856 * * * * [misc]points: Sampling 59 additional inputs, on iter 2 have 197 / 256 1544607367.924 * * * * [misc]points: Filtering points with unrepresentable outputs 1544607367.924 * * * * [misc]points: Sampling 27 additional inputs, on iter 3 have 229 / 256 1544607367.936 * * * * [misc]points: Filtering points with unrepresentable outputs 1544607367.936 * * * * [misc]points: Sampling 16 additional inputs, on iter 4 have 240 / 256 1544607367.944 * * * * [misc]points: Filtering points with unrepresentable outputs 1544607367.944 * * * * [misc]points: Sampling 6 additional inputs, on iter 5 have 250 / 256 1544607367.948 * * * * [misc]points: Filtering points with unrepresentable outputs 1544607367.948 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 255 / 256 1544607367.953 * * * * [misc]points: Filtering points with unrepresentable outputs 1544607367.953 * * * * [exit]points: Sampled 257 points with exact outputs 1544607367.953 * * * [misc]progress: [2/2] Setting up program. 1544607367.959 * [misc]progress: [Phase 2 of 3] Improving. 1544607367.960 * [enter]simplify: Simplifying (/ 4 (* (* (* 3 PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) 1544607367.961 * * [misc]simplify: iters left: 6 (16 enodes) 1544607367.965 * * [misc]simplify: iters left: 5 (34 enodes) 1544607367.978 * * [misc]simplify: iters left: 4 (89 enodes) 1544607368.044 * * [misc]simplify: iters left: 3 (186 enodes) 1544607368.195 * [exit]simplify: Simplified to (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))) 1544607368.211 * * [misc]progress: iteration 1 / 4 1544607368.211 * * * [misc]progress: picking best candidate 1544607368.224 * * * * [misc]pick: Picked # 1544607368.224 * * * [misc]progress: localizing error 1544607368.271 * * * [misc]progress: generating rewritten candidates 1544607368.271 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1544607368.272 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 2 1 2) 1544607368.283 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1) 1544607368.324 * * * [misc]progress: generating series expansions 1544607368.324 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1544607368.324 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 2 1 2) 1544607368.325 * [misc]backup-simplify: Simplify (* (* v v) -6) into (* -6 (pow v 2)) 1544607368.325 * [misc]approximate: Taking taylor expansion of (* -6 (pow v 2)) in (v) around 0 1544607368.325 * [misc]taylor: Taking taylor expansion of (* -6 (pow v 2)) in v 1544607368.325 * [misc]taylor: Taking taylor expansion of -6 in v 1544607368.325 * [misc]backup-simplify: Simplify -6 into -6 1544607368.325 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607368.325 * [misc]taylor: Taking taylor expansion of v in v 1544607368.325 * [misc]backup-simplify: Simplify 0 into 0 1544607368.325 * [misc]backup-simplify: Simplify 1 into 1 1544607368.325 * [misc]taylor: Taking taylor expansion of (* -6 (pow v 2)) in v 1544607368.325 * [misc]taylor: Taking taylor expansion of -6 in v 1544607368.325 * [misc]backup-simplify: Simplify -6 into -6 1544607368.325 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607368.325 * [misc]taylor: Taking taylor expansion of v in v 1544607368.325 * [misc]backup-simplify: Simplify 0 into 0 1544607368.325 * [misc]backup-simplify: Simplify 1 into 1 1544607368.325 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544607368.326 * [misc]backup-simplify: Simplify (* -6 1) into -6 1544607368.326 * [misc]backup-simplify: Simplify -6 into -6 1544607368.326 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544607368.326 * [misc]backup-simplify: Simplify (+ (* -6 0) (* 0 1)) into 0 1544607368.326 * [misc]backup-simplify: Simplify 0 into 0 1544607368.326 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544607368.327 * [misc]backup-simplify: Simplify (+ (* -6 0) (+ (* 0 0) (* 0 1))) into 0 1544607368.327 * [misc]backup-simplify: Simplify 0 into 0 1544607368.327 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544607368.327 * [misc]backup-simplify: Simplify (+ (* -6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544607368.327 * [misc]backup-simplify: Simplify 0 into 0 1544607368.327 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544607368.328 * [misc]backup-simplify: Simplify (+ (* -6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544607368.328 * [misc]backup-simplify: Simplify 0 into 0 1544607368.328 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544607368.328 * [misc]backup-simplify: Simplify (+ (* -6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544607368.328 * [misc]backup-simplify: Simplify 0 into 0 1544607368.329 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544607368.329 * [misc]backup-simplify: Simplify (+ (* -6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544607368.329 * [misc]backup-simplify: Simplify 0 into 0 1544607368.329 * [misc]backup-simplify: Simplify (* -6 (pow v 2)) into (* -6 (pow v 2)) 1544607368.329 * [misc]backup-simplify: Simplify (* (* (/ 1 v) (/ 1 v)) -6) into (/ -6 (pow v 2)) 1544607368.329 * [misc]approximate: Taking taylor expansion of (/ -6 (pow v 2)) in (v) around 0 1544607368.329 * [misc]taylor: Taking taylor expansion of (/ -6 (pow v 2)) in v 1544607368.329 * [misc]taylor: Taking taylor expansion of -6 in v 1544607368.329 * [misc]backup-simplify: Simplify -6 into -6 1544607368.329 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607368.329 * [misc]taylor: Taking taylor expansion of v in v 1544607368.329 * [misc]backup-simplify: Simplify 0 into 0 1544607368.329 * [misc]backup-simplify: Simplify 1 into 1 1544607368.329 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544607368.329 * [misc]backup-simplify: Simplify (/ -6 1) into -6 1544607368.329 * [misc]taylor: Taking taylor expansion of (/ -6 (pow v 2)) in v 1544607368.330 * [misc]taylor: Taking taylor expansion of -6 in v 1544607368.330 * [misc]backup-simplify: Simplify -6 into -6 1544607368.330 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607368.330 * [misc]taylor: Taking taylor expansion of v in v 1544607368.330 * [misc]backup-simplify: Simplify 0 into 0 1544607368.330 * [misc]backup-simplify: Simplify 1 into 1 1544607368.330 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544607368.330 * [misc]backup-simplify: Simplify (/ -6 1) into -6 1544607368.330 * [misc]backup-simplify: Simplify -6 into -6 1544607368.330 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544607368.330 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)))) into 0 1544607368.330 * [misc]backup-simplify: Simplify 0 into 0 1544607368.330 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544607368.331 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607368.331 * [misc]backup-simplify: Simplify 0 into 0 1544607368.331 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544607368.331 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607368.331 * [misc]backup-simplify: Simplify 0 into 0 1544607368.332 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544607368.332 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607368.332 * [misc]backup-simplify: Simplify 0 into 0 1544607368.332 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544607368.332 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607368.332 * [misc]backup-simplify: Simplify 0 into 0 1544607368.333 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544607368.333 * [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 1544607368.333 * [misc]backup-simplify: Simplify 0 into 0 1544607368.333 * [misc]backup-simplify: Simplify (* -6 (pow (/ 1 (/ 1 v)) 2)) into (* -6 (pow v 2)) 1544607368.333 * [misc]backup-simplify: Simplify (* (* (/ 1 (- v)) (/ 1 (- v))) -6) into (/ -6 (pow v 2)) 1544607368.333 * [misc]approximate: Taking taylor expansion of (/ -6 (pow v 2)) in (v) around 0 1544607368.334 * [misc]taylor: Taking taylor expansion of (/ -6 (pow v 2)) in v 1544607368.334 * [misc]taylor: Taking taylor expansion of -6 in v 1544607368.334 * [misc]backup-simplify: Simplify -6 into -6 1544607368.334 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607368.334 * [misc]taylor: Taking taylor expansion of v in v 1544607368.334 * [misc]backup-simplify: Simplify 0 into 0 1544607368.334 * [misc]backup-simplify: Simplify 1 into 1 1544607368.334 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544607368.334 * [misc]backup-simplify: Simplify (/ -6 1) into -6 1544607368.334 * [misc]taylor: Taking taylor expansion of (/ -6 (pow v 2)) in v 1544607368.334 * [misc]taylor: Taking taylor expansion of -6 in v 1544607368.334 * [misc]backup-simplify: Simplify -6 into -6 1544607368.334 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607368.334 * [misc]taylor: Taking taylor expansion of v in v 1544607368.334 * [misc]backup-simplify: Simplify 0 into 0 1544607368.334 * [misc]backup-simplify: Simplify 1 into 1 1544607368.334 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544607368.334 * [misc]backup-simplify: Simplify (/ -6 1) into -6 1544607368.334 * [misc]backup-simplify: Simplify -6 into -6 1544607368.334 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544607368.335 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)))) into 0 1544607368.335 * [misc]backup-simplify: Simplify 0 into 0 1544607368.335 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544607368.335 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607368.335 * [misc]backup-simplify: Simplify 0 into 0 1544607368.335 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544607368.335 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607368.335 * [misc]backup-simplify: Simplify 0 into 0 1544607368.336 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544607368.336 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607368.336 * [misc]backup-simplify: Simplify 0 into 0 1544607368.336 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544607368.336 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607368.336 * [misc]backup-simplify: Simplify 0 into 0 1544607368.337 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544607368.337 * [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 1544607368.337 * [misc]backup-simplify: Simplify 0 into 0 1544607368.337 * [misc]backup-simplify: Simplify (* -6 (pow (/ 1 (/ 1 (- v))) 2)) into (* -6 (pow v 2)) 1544607368.337 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1) 1544607368.338 * [misc]backup-simplify: Simplify (/ (/ 4/3 PI) (- 1 (* v v))) into (/ 4/3 (* (- 1 (pow v 2)) PI)) 1544607368.338 * [misc]approximate: Taking taylor expansion of (/ 4/3 (* (- 1 (pow v 2)) PI)) in (v) around 0 1544607368.338 * [misc]taylor: Taking taylor expansion of (/ 4/3 (* (- 1 (pow v 2)) PI)) in v 1544607368.338 * [misc]taylor: Taking taylor expansion of 4/3 in v 1544607368.338 * [misc]backup-simplify: Simplify 4/3 into 4/3 1544607368.338 * [misc]taylor: Taking taylor expansion of (* (- 1 (pow v 2)) PI) in v 1544607368.338 * [misc]taylor: Taking taylor expansion of (- 1 (pow v 2)) in v 1544607368.338 * [misc]taylor: Taking taylor expansion of 1 in v 1544607368.338 * [misc]backup-simplify: Simplify 1 into 1 1544607368.338 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607368.338 * [misc]taylor: Taking taylor expansion of v in v 1544607368.338 * [misc]backup-simplify: Simplify 0 into 0 1544607368.338 * [misc]backup-simplify: Simplify 1 into 1 1544607368.338 * [misc]taylor: Taking taylor expansion of PI in v 1544607368.338 * [misc]backup-simplify: Simplify PI into PI 1544607368.338 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544607368.338 * [misc]backup-simplify: Simplify (* 1 PI) into PI 1544607368.339 * [misc]backup-simplify: Simplify (/ 4/3 PI) into (/ 4/3 PI) 1544607368.339 * [misc]taylor: Taking taylor expansion of (/ 4/3 (* (- 1 (pow v 2)) PI)) in v 1544607368.339 * [misc]taylor: Taking taylor expansion of 4/3 in v 1544607368.339 * [misc]backup-simplify: Simplify 4/3 into 4/3 1544607368.339 * [misc]taylor: Taking taylor expansion of (* (- 1 (pow v 2)) PI) in v 1544607368.339 * [misc]taylor: Taking taylor expansion of (- 1 (pow v 2)) in v 1544607368.339 * [misc]taylor: Taking taylor expansion of 1 in v 1544607368.339 * [misc]backup-simplify: Simplify 1 into 1 1544607368.339 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607368.339 * [misc]taylor: Taking taylor expansion of v in v 1544607368.339 * [misc]backup-simplify: Simplify 0 into 0 1544607368.339 * [misc]backup-simplify: Simplify 1 into 1 1544607368.339 * [misc]taylor: Taking taylor expansion of PI in v 1544607368.339 * [misc]backup-simplify: Simplify PI into PI 1544607368.339 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544607368.339 * [misc]backup-simplify: Simplify (* 1 PI) into PI 1544607368.339 * [misc]backup-simplify: Simplify (/ 4/3 PI) into (/ 4/3 PI) 1544607368.340 * [misc]backup-simplify: Simplify (/ 4/3 PI) into (/ 4/3 PI) 1544607368.340 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544607368.340 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 PI)) into 0 1544607368.341 * [misc]backup-simplify: Simplify (- (/ 0 PI) (+ (* (/ 4/3 PI) (/ 0 PI)))) into 0 1544607368.341 * [misc]backup-simplify: Simplify 0 into 0 1544607368.341 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544607368.341 * [misc]backup-simplify: Simplify (- 1) into -1 1544607368.342 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544607368.342 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* -1 PI))) into (- PI) 1544607368.344 * [misc]backup-simplify: Simplify (- (/ 0 PI) (+ (* (/ 4/3 PI) (/ (- PI) PI)) (* 0 (/ 0 PI)))) into (* 4/3 (/ 1 PI)) 1544607368.344 * [misc]backup-simplify: Simplify (* 4/3 (/ 1 PI)) into (/ 4/3 PI) 1544607368.345 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544607368.345 * [misc]backup-simplify: Simplify (- 0) into 0 1544607368.345 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544607368.346 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* -1 0) (* 0 PI)))) into 0 1544607368.348 * [misc]backup-simplify: Simplify (- (/ 0 PI) (+ (* (/ 4/3 PI) (/ 0 PI)) (* 0 (/ (- PI) PI)) (* (* 4/3 (/ 1 PI)) (/ 0 PI)))) into 0 1544607368.349 * [misc]backup-simplify: Simplify 0 into 0 1544607368.349 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544607368.349 * [misc]backup-simplify: Simplify (- 0) into 0 1544607368.349 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544607368.350 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* -1 0) (+ (* 0 0) (* 0 PI))))) into 0 1544607368.354 * [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)) 1544607368.355 * [misc]backup-simplify: Simplify (* 4/3 (/ 1 PI)) into (/ 4/3 PI) 1544607368.356 * [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)))) 1544607368.356 * [misc]backup-simplify: Simplify (/ (/ 4/3 PI) (- 1 (* (/ 1 v) (/ 1 v)))) into (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) 1544607368.357 * [misc]approximate: Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in (v) around 0 1544607368.357 * [misc]taylor: Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in v 1544607368.357 * [misc]taylor: Taking taylor expansion of 4/3 in v 1544607368.357 * [misc]backup-simplify: Simplify 4/3 into 4/3 1544607368.357 * [misc]taylor: Taking taylor expansion of (* (- 1 (/ 1 (pow v 2))) PI) in v 1544607368.357 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v 1544607368.357 * [misc]taylor: Taking taylor expansion of 1 in v 1544607368.357 * [misc]backup-simplify: Simplify 1 into 1 1544607368.357 * [misc]taylor: Taking taylor expansion of (/ 1 (pow v 2)) in v 1544607368.357 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607368.357 * [misc]taylor: Taking taylor expansion of v in v 1544607368.357 * [misc]backup-simplify: Simplify 0 into 0 1544607368.357 * [misc]backup-simplify: Simplify 1 into 1 1544607368.357 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544607368.357 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544607368.357 * [misc]taylor: Taking taylor expansion of PI in v 1544607368.357 * [misc]backup-simplify: Simplify PI into PI 1544607368.357 * [misc]backup-simplify: Simplify (- 1) into -1 1544607368.358 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544607368.358 * [misc]backup-simplify: Simplify (* -1 PI) into (* -1 PI) 1544607368.358 * [misc]backup-simplify: Simplify (/ 4/3 (* -1 PI)) into (/ -4/3 PI) 1544607368.358 * [misc]taylor: Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in v 1544607368.358 * [misc]taylor: Taking taylor expansion of 4/3 in v 1544607368.358 * [misc]backup-simplify: Simplify 4/3 into 4/3 1544607368.358 * [misc]taylor: Taking taylor expansion of (* (- 1 (/ 1 (pow v 2))) PI) in v 1544607368.359 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v 1544607368.359 * [misc]taylor: Taking taylor expansion of 1 in v 1544607368.359 * [misc]backup-simplify: Simplify 1 into 1 1544607368.359 * [misc]taylor: Taking taylor expansion of (/ 1 (pow v 2)) in v 1544607368.359 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607368.359 * [misc]taylor: Taking taylor expansion of v in v 1544607368.359 * [misc]backup-simplify: Simplify 0 into 0 1544607368.359 * [misc]backup-simplify: Simplify 1 into 1 1544607368.359 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544607368.359 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544607368.359 * [misc]taylor: Taking taylor expansion of PI in v 1544607368.359 * [misc]backup-simplify: Simplify PI into PI 1544607368.359 * [misc]backup-simplify: Simplify (- 1) into -1 1544607368.359 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544607368.360 * [misc]backup-simplify: Simplify (* -1 PI) into (* -1 PI) 1544607368.360 * [misc]backup-simplify: Simplify (/ 4/3 (* -1 PI)) into (/ -4/3 PI) 1544607368.361 * [misc]backup-simplify: Simplify (/ -4/3 PI) into (/ -4/3 PI) 1544607368.361 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544607368.361 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544607368.361 * [misc]backup-simplify: Simplify (- 0) into 0 1544607368.361 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544607368.362 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 PI)) into 0 1544607368.364 * [misc]backup-simplify: Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ 0 (* -1 PI))))) into 0 1544607368.364 * [misc]backup-simplify: Simplify 0 into 0 1544607368.365 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544607368.365 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607368.365 * [misc]backup-simplify: Simplify (- 0) into 0 1544607368.365 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544607368.366 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 1 PI))) into PI 1544607368.370 * [misc]backup-simplify: Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ PI (* -1 PI))) (* 0 (/ 0 (* -1 PI))))) into (- (* 4/3 (/ 1 PI))) 1544607368.371 * [misc]backup-simplify: Simplify (- (* 4/3 (/ 1 PI))) into (- (* 4/3 (/ 1 PI))) 1544607368.371 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544607368.371 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607368.371 * [misc]backup-simplify: Simplify (- 0) into 0 1544607368.372 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544607368.373 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (* 0 PI)))) into 0 1544607368.378 * [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 1544607368.379 * [misc]backup-simplify: Simplify 0 into 0 1544607368.379 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544607368.379 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607368.380 * [misc]backup-simplify: Simplify (- 0) into 0 1544607368.380 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544607368.382 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI))))) into 0 1544607368.388 * [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))) 1544607368.389 * [misc]backup-simplify: Simplify (- (* 4/3 (/ 1 PI))) into (- (* 4/3 (/ 1 PI))) 1544607368.390 * [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)))))) 1544607368.391 * [misc]backup-simplify: Simplify (/ (/ 4/3 PI) (- 1 (* (/ 1 (- v)) (/ 1 (- v))))) into (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) 1544607368.391 * [misc]approximate: Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in (v) around 0 1544607368.391 * [misc]taylor: Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in v 1544607368.391 * [misc]taylor: Taking taylor expansion of 4/3 in v 1544607368.391 * [misc]backup-simplify: Simplify 4/3 into 4/3 1544607368.391 * [misc]taylor: Taking taylor expansion of (* (- 1 (/ 1 (pow v 2))) PI) in v 1544607368.391 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v 1544607368.391 * [misc]taylor: Taking taylor expansion of 1 in v 1544607368.391 * [misc]backup-simplify: Simplify 1 into 1 1544607368.391 * [misc]taylor: Taking taylor expansion of (/ 1 (pow v 2)) in v 1544607368.391 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607368.391 * [misc]taylor: Taking taylor expansion of v in v 1544607368.391 * [misc]backup-simplify: Simplify 0 into 0 1544607368.391 * [misc]backup-simplify: Simplify 1 into 1 1544607368.391 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544607368.391 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544607368.391 * [misc]taylor: Taking taylor expansion of PI in v 1544607368.391 * [misc]backup-simplify: Simplify PI into PI 1544607368.391 * [misc]backup-simplify: Simplify (- 1) into -1 1544607368.392 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544607368.392 * [misc]backup-simplify: Simplify (* -1 PI) into (* -1 PI) 1544607368.392 * [misc]backup-simplify: Simplify (/ 4/3 (* -1 PI)) into (/ -4/3 PI) 1544607368.392 * [misc]taylor: Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in v 1544607368.392 * [misc]taylor: Taking taylor expansion of 4/3 in v 1544607368.392 * [misc]backup-simplify: Simplify 4/3 into 4/3 1544607368.392 * [misc]taylor: Taking taylor expansion of (* (- 1 (/ 1 (pow v 2))) PI) in v 1544607368.392 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v 1544607368.392 * [misc]taylor: Taking taylor expansion of 1 in v 1544607368.392 * [misc]backup-simplify: Simplify 1 into 1 1544607368.392 * [misc]taylor: Taking taylor expansion of (/ 1 (pow v 2)) in v 1544607368.392 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607368.392 * [misc]taylor: Taking taylor expansion of v in v 1544607368.392 * [misc]backup-simplify: Simplify 0 into 0 1544607368.392 * [misc]backup-simplify: Simplify 1 into 1 1544607368.392 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544607368.393 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544607368.393 * [misc]taylor: Taking taylor expansion of PI in v 1544607368.393 * [misc]backup-simplify: Simplify PI into PI 1544607368.393 * [misc]backup-simplify: Simplify (- 1) into -1 1544607368.393 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544607368.393 * [misc]backup-simplify: Simplify (* -1 PI) into (* -1 PI) 1544607368.393 * [misc]backup-simplify: Simplify (/ 4/3 (* -1 PI)) into (/ -4/3 PI) 1544607368.394 * [misc]backup-simplify: Simplify (/ -4/3 PI) into (/ -4/3 PI) 1544607368.394 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544607368.394 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544607368.394 * [misc]backup-simplify: Simplify (- 0) into 0 1544607368.394 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544607368.394 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 PI)) into 0 1544607368.396 * [misc]backup-simplify: Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ 0 (* -1 PI))))) into 0 1544607368.396 * [misc]backup-simplify: Simplify 0 into 0 1544607368.396 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544607368.396 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607368.397 * [misc]backup-simplify: Simplify (- 0) into 0 1544607368.397 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544607368.397 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 1 PI))) into PI 1544607368.400 * [misc]backup-simplify: Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ PI (* -1 PI))) (* 0 (/ 0 (* -1 PI))))) into (- (* 4/3 (/ 1 PI))) 1544607368.400 * [misc]backup-simplify: Simplify (- (* 4/3 (/ 1 PI))) into (- (* 4/3 (/ 1 PI))) 1544607368.401 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544607368.401 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607368.401 * [misc]backup-simplify: Simplify (- 0) into 0 1544607368.401 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544607368.402 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (* 0 PI)))) into 0 1544607368.406 * [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 1544607368.406 * [misc]backup-simplify: Simplify 0 into 0 1544607368.406 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544607368.406 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607368.406 * [misc]backup-simplify: Simplify (- 0) into 0 1544607368.407 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544607368.408 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI))))) into 0 1544607368.414 * [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))) 1544607368.415 * [misc]backup-simplify: Simplify (- (* 4/3 (/ 1 PI))) into (- (* 4/3 (/ 1 PI))) 1544607368.417 * [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)))))) 1544607368.417 * * * [misc]progress: simplifying candidates 1544607368.417 * * * * [misc]progress: [ 1 / 60 ] simplifiying candidate # 1544607368.417 * * * * [misc]progress: [ 2 / 60 ] simplifiying candidate # 1544607368.417 * * * * [misc]progress: [ 3 / 60 ] simplifiying candidate # 1544607368.417 * * * * [misc]progress: [ 4 / 60 ] simplifiying candidate # 1544607368.417 * * * * [misc]progress: [ 5 / 60 ] simplifiying candidate # 1544607368.417 * * * * [misc]progress: [ 6 / 60 ] simplifiying candidate # 1544607368.417 * * * * [misc]progress: [ 7 / 60 ] simplifiying candidate # 1544607368.417 * * * * [misc]progress: [ 8 / 60 ] simplifiying candidate # 1544607368.417 * * * * [misc]progress: [ 9 / 60 ] simplifiying candidate # 1544607368.417 * * * * [misc]progress: [ 10 / 60 ] simplifiying candidate # 1544607368.417 * * * * [misc]progress: [ 11 / 60 ] simplifiying candidate # 1544607368.417 * * * * [misc]progress: [ 12 / 60 ] simplifiying candidate # 1544607368.417 * * * * [misc]progress: [ 13 / 60 ] simplifiying candidate # 1544607368.417 * * * * [misc]progress: [ 14 / 60 ] simplifiying candidate # 1544607368.417 * * * * [misc]progress: [ 15 / 60 ] simplifiying candidate # 1544607368.417 * * * * [misc]progress: [ 16 / 60 ] simplifiying candidate # 1544607368.417 * * * * [misc]progress: [ 17 / 60 ] simplifiying candidate # 1544607368.417 * * * * [misc]progress: [ 18 / 60 ] simplifiying candidate # 1544607368.417 * * * * [misc]progress: [ 19 / 60 ] simplifiying candidate # 1544607368.417 * * * * [misc]progress: [ 20 / 60 ] simplifiying candidate # 1544607368.417 * * * * [misc]progress: [ 21 / 60 ] simplifiying candidate # 1544607368.418 * [enter]simplify: Simplifying (- (log (/ 4/3 PI)) (log (- 1 (* v v)))) 1544607368.418 * * [misc]simplify: iters left: 6 (10 enodes) 1544607368.421 * * [misc]simplify: iters left: 5 (19 enodes) 1544607368.426 * * [misc]simplify: iters left: 4 (30 enodes) 1544607368.433 * * [misc]simplify: iters left: 3 (45 enodes) 1544607368.443 * * [misc]simplify: iters left: 2 (64 enodes) 1544607368.455 * * [misc]simplify: iters left: 1 (81 enodes) 1544607368.479 * [exit]simplify: Simplified to (- (log (/ 4/3 PI)) (log (- 1 (* v v)))) 1544607368.479 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (exp (- (log (/ 4/3 PI)) (log (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))) 1544607368.479 * * * * [misc]progress: [ 22 / 60 ] simplifiying candidate # 1544607368.479 * * * * [misc]progress: [ 23 / 60 ] simplifiying candidate # 1544607368.479 * * * * [misc]progress: [ 24 / 60 ] simplifiying candidate # 1544607368.480 * [enter]simplify: Simplifying (/ (* (* (/ 4/3 PI) (/ 4/3 PI)) (/ 4/3 PI)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))) 1544607368.481 * * [misc]simplify: iters left: 6 (12 enodes) 1544607368.489 * * [misc]simplify: iters left: 5 (31 enodes) 1544607368.512 * * [misc]simplify: iters left: 4 (101 enodes) 1544607368.567 * * [misc]simplify: iters left: 3 (325 enodes) 1544607369.094 * [exit]simplify: Simplified to (/ (/ (/ (/ 64/27 PI) (* PI PI)) (- 1 (* v v))) (* (- 1 (* v v)) (- 1 (* v v)))) 1544607369.094 * [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))))) 1544607369.094 * * * * [misc]progress: [ 25 / 60 ] simplifiying candidate # 1544607369.094 * * * * [misc]progress: [ 26 / 60 ] simplifiying candidate # 1544607369.094 * * * * [misc]progress: [ 27 / 60 ] simplifiying candidate # 1544607369.094 * * * * [misc]progress: [ 28 / 60 ] simplifiying candidate # 1544607369.095 * * * * [misc]progress: [ 29 / 60 ] simplifiying candidate # 1544607369.095 * [enter]simplify: Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) 1544607369.096 * * [misc]simplify: iters left: 6 (12 enodes) 1544607369.102 * * [misc]simplify: iters left: 5 (22 enodes) 1544607369.112 * * [misc]simplify: iters left: 4 (35 enodes) 1544607369.124 * * [misc]simplify: iters left: 3 (38 enodes) 1544607369.136 * * [misc]simplify: iters left: 2 (41 enodes) 1544607369.145 * [exit]simplify: Simplified to (* (/ (cbrt (/ 4/3 PI)) (cbrt (- 1 (* v v)))) (/ (cbrt (/ 4/3 PI)) (cbrt (- 1 (* v v))))) 1544607369.145 * [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))))) 1544607369.146 * [enter]simplify: Simplifying (/ (cbrt (/ 4/3 PI)) (cbrt (- 1 (* v v)))) 1544607369.146 * * [misc]simplify: iters left: 6 (10 enodes) 1544607369.148 * * [misc]simplify: iters left: 5 (14 enodes) 1544607369.151 * * [misc]simplify: iters left: 4 (18 enodes) 1544607369.154 * [exit]simplify: Simplified to (/ (cbrt (/ 4/3 PI)) (cbrt (- 1 (* v v)))) 1544607369.154 * [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))))) 1544607369.154 * * * * [misc]progress: [ 30 / 60 ] simplifiying candidate # 1544607369.155 * [enter]simplify: Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (- 1 (* v v)))) 1544607369.155 * * [misc]simplify: iters left: 6 (11 enodes) 1544607369.158 * * [misc]simplify: iters left: 5 (17 enodes) 1544607369.161 * * [misc]simplify: iters left: 4 (23 enodes) 1544607369.166 * * [misc]simplify: iters left: 3 (24 enodes) 1544607369.175 * [exit]simplify: Simplified to (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (- 1 (* v v)))) 1544607369.175 * [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))))) 1544607369.176 * [enter]simplify: Simplifying (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))) 1544607369.177 * * [misc]simplify: iters left: 6 (10 enodes) 1544607369.181 * * [misc]simplify: iters left: 5 (14 enodes) 1544607369.186 * * [misc]simplify: iters left: 4 (18 enodes) 1544607369.192 * [exit]simplify: Simplified to (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))) 1544607369.192 * [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))))) 1544607369.192 * * * * [misc]progress: [ 31 / 60 ] simplifiying candidate # 1544607369.192 * [enter]simplify: Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) 1) 1544607369.193 * * [misc]simplify: iters left: 6 (7 enodes) 1544607369.194 * * [misc]simplify: iters left: 5 (11 enodes) 1544607369.197 * * [misc]simplify: iters left: 4 (17 enodes) 1544607369.201 * * [misc]simplify: iters left: 3 (31 enodes) 1544607369.208 * * [misc]simplify: iters left: 2 (57 enodes) 1544607369.217 * [exit]simplify: Simplified to (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) 1544607369.217 * [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))))) 1544607369.217 * [enter]simplify: Simplifying (/ (cbrt (/ 4/3 PI)) (- 1 (* v v))) 1544607369.218 * * [misc]simplify: iters left: 6 (9 enodes) 1544607369.220 * * [misc]simplify: iters left: 5 (13 enodes) 1544607369.224 * * [misc]simplify: iters left: 4 (17 enodes) 1544607369.229 * [exit]simplify: Simplified to (/ (cbrt (/ 4/3 PI)) (- 1 (* v v))) 1544607369.229 * [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))))) 1544607369.229 * * * * [misc]progress: [ 32 / 60 ] simplifiying candidate # 1544607369.229 * [enter]simplify: Simplifying (/ (sqrt (/ 4/3 PI)) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) 1544607369.231 * * [misc]simplify: iters left: 6 (11 enodes) 1544607369.234 * * [misc]simplify: iters left: 5 (17 enodes) 1544607369.237 * * [misc]simplify: iters left: 4 (21 enodes) 1544607369.241 * [exit]simplify: Simplified to (/ (/ (sqrt (/ 4/3 PI)) (cbrt (- 1 (* v v)))) (cbrt (- 1 (* v v)))) 1544607369.241 * [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))))) 1544607369.241 * [enter]simplify: Simplifying (/ (sqrt (/ 4/3 PI)) (cbrt (- 1 (* v v)))) 1544607369.242 * * [misc]simplify: iters left: 6 (10 enodes) 1544607369.244 * * [misc]simplify: iters left: 5 (14 enodes) 1544607369.247 * * [misc]simplify: iters left: 4 (18 enodes) 1544607369.250 * [exit]simplify: Simplified to (/ (sqrt (/ 4/3 PI)) (cbrt (- 1 (* v v)))) 1544607369.250 * [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))))) 1544607369.250 * * * * [misc]progress: [ 33 / 60 ] simplifiying candidate # 1544607369.250 * [enter]simplify: Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))) 1544607369.251 * * [misc]simplify: iters left: 6 (10 enodes) 1544607369.253 * * [misc]simplify: iters left: 5 (14 enodes) 1544607369.255 * * [misc]simplify: iters left: 4 (18 enodes) 1544607369.259 * [exit]simplify: Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))) 1544607369.259 * [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))))) 1544607369.259 * [enter]simplify: Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))) 1544607369.259 * * [misc]simplify: iters left: 6 (10 enodes) 1544607369.261 * * [misc]simplify: iters left: 5 (14 enodes) 1544607369.264 * * [misc]simplify: iters left: 4 (18 enodes) 1544607369.267 * [exit]simplify: Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))) 1544607369.267 * [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))))) 1544607369.267 * * * * [misc]progress: [ 34 / 60 ] simplifiying candidate # 1544607369.267 * [enter]simplify: Simplifying (/ (sqrt (/ 4/3 PI)) 1) 1544607369.268 * * [misc]simplify: iters left: 5 (6 enodes) 1544607369.269 * * [misc]simplify: iters left: 4 (8 enodes) 1544607369.271 * * [misc]simplify: iters left: 3 (10 enodes) 1544607369.273 * [exit]simplify: Simplified to (sqrt (/ 4/3 PI)) 1544607369.273 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (* (sqrt (/ 4/3 PI)) (/ (sqrt (/ 4/3 PI)) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1544607369.273 * [enter]simplify: Simplifying (/ (sqrt (/ 4/3 PI)) (- 1 (* v v))) 1544607369.274 * * [misc]simplify: iters left: 6 (9 enodes) 1544607369.278 * * [misc]simplify: iters left: 5 (13 enodes) 1544607369.283 * * [misc]simplify: iters left: 4 (17 enodes) 1544607369.289 * [exit]simplify: Simplified to (/ (sqrt (/ 4/3 PI)) (- 1 (* v v))) 1544607369.289 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (* (sqrt (/ 4/3 PI)) (/ (sqrt (/ 4/3 PI)) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1544607369.289 * * * * [misc]progress: [ 35 / 60 ] simplifiying candidate # 1544607369.289 * [enter]simplify: Simplifying (/ 1 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) 1544607369.290 * * [misc]simplify: iters left: 6 (7 enodes) 1544607369.294 * * [misc]simplify: iters left: 5 (13 enodes) 1544607369.299 * * [misc]simplify: iters left: 4 (17 enodes) 1544607369.305 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (- 1 (* v v)))) (cbrt (- 1 (* v v)))) 1544607369.306 * [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))))) 1544607369.306 * [enter]simplify: Simplifying (/ (/ 4/3 PI) (cbrt (- 1 (* v v)))) 1544607369.307 * * [misc]simplify: iters left: 6 (9 enodes) 1544607369.311 * * [misc]simplify: iters left: 5 (15 enodes) 1544607369.317 * * [misc]simplify: iters left: 4 (22 enodes) 1544607369.325 * [exit]simplify: Simplified to (/ (/ 4/3 PI) (cbrt (- 1 (* v v)))) 1544607369.325 * [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))))) 1544607369.325 * * * * [misc]progress: [ 36 / 60 ] simplifiying candidate # 1544607369.326 * [enter]simplify: Simplifying (/ 1 (sqrt (- 1 (* v v)))) 1544607369.326 * * [misc]simplify: iters left: 6 (6 enodes) 1544607369.329 * * [misc]simplify: iters left: 5 (10 enodes) 1544607369.333 * * [misc]simplify: iters left: 4 (14 enodes) 1544607369.341 * [exit]simplify: Simplified to (/ 1 (sqrt (- 1 (* v v)))) 1544607369.341 * [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))))) 1544607369.341 * [enter]simplify: Simplifying (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))) 1544607369.342 * * [misc]simplify: iters left: 6 (9 enodes) 1544607369.346 * * [misc]simplify: iters left: 5 (15 enodes) 1544607369.352 * * [misc]simplify: iters left: 4 (22 enodes) 1544607369.361 * [exit]simplify: Simplified to (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))) 1544607369.361 * [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))))) 1544607369.361 * * * * [misc]progress: [ 37 / 60 ] simplifiying candidate # 1544607369.361 * [enter]simplify: Simplifying (/ 1 1) 1544607369.361 * * [misc]simplify: iters left: 2 (2 enodes) 1544607369.363 * * [misc]simplify: iters left: 1 (4 enodes) 1544607369.363 * [exit]simplify: Simplified to 1 1544607369.363 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (* 1 (/ (/ 4/3 PI) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1544607369.364 * [enter]simplify: Simplifying (/ (/ 4/3 PI) (- 1 (* v v))) 1544607369.364 * * [misc]simplify: iters left: 6 (8 enodes) 1544607369.368 * * [misc]simplify: iters left: 5 (14 enodes) 1544607369.374 * * [misc]simplify: iters left: 4 (21 enodes) 1544607369.382 * * [misc]simplify: iters left: 3 (29 enodes) 1544607369.395 * * [misc]simplify: iters left: 2 (41 enodes) 1544607369.411 * * [misc]simplify: iters left: 1 (52 enodes) 1544607369.428 * [exit]simplify: Simplified to (/ (/ 4/3 PI) (- 1 (* v v))) 1544607369.428 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (* 1 (/ (/ 4/3 PI) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1544607369.428 * * * * [misc]progress: [ 38 / 60 ] simplifiying candidate # 1544607369.428 * [enter]simplify: Simplifying (/ 4/3 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) 1544607369.429 * * [misc]simplify: iters left: 6 (8 enodes) 1544607369.433 * * [misc]simplify: iters left: 5 (14 enodes) 1544607369.438 * * [misc]simplify: iters left: 4 (18 enodes) 1544607369.444 * [exit]simplify: Simplified to (/ 4/3 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) 1544607369.444 * [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))))) 1544607369.445 * [enter]simplify: Simplifying (/ (/ 1 PI) (cbrt (- 1 (* v v)))) 1544607369.446 * * [misc]simplify: iters left: 6 (8 enodes) 1544607369.450 * * [misc]simplify: iters left: 5 (14 enodes) 1544607369.456 * * [misc]simplify: iters left: 4 (21 enodes) 1544607369.464 * [exit]simplify: Simplified to (/ (/ 1 PI) (cbrt (- 1 (* v v)))) 1544607369.464 * [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))))) 1544607369.464 * * * * [misc]progress: [ 39 / 60 ] simplifiying candidate # 1544607369.464 * [enter]simplify: Simplifying (/ 4/3 (sqrt (- 1 (* v v)))) 1544607369.465 * * [misc]simplify: iters left: 6 (7 enodes) 1544607369.468 * * [misc]simplify: iters left: 5 (11 enodes) 1544607369.472 * * [misc]simplify: iters left: 4 (15 enodes) 1544607369.474 * [exit]simplify: Simplified to (/ 4/3 (sqrt (- 1 (* v v)))) 1544607369.474 * [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))))) 1544607369.475 * [enter]simplify: Simplifying (/ (/ 1 PI) (sqrt (- 1 (* v v)))) 1544607369.475 * * [misc]simplify: iters left: 6 (8 enodes) 1544607369.479 * * [misc]simplify: iters left: 5 (14 enodes) 1544607369.482 * * [misc]simplify: iters left: 4 (21 enodes) 1544607369.486 * [exit]simplify: Simplified to (/ (/ 1 PI) (sqrt (- 1 (* v v)))) 1544607369.486 * [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))))) 1544607369.486 * * * * [misc]progress: [ 40 / 60 ] simplifiying candidate # 1544607369.486 * [enter]simplify: Simplifying (/ 4/3 1) 1544607369.486 * * [misc]simplify: iters left: 2 (3 enodes) 1544607369.487 * * [misc]simplify: iters left: 1 (5 enodes) 1544607369.488 * [exit]simplify: Simplified to 4/3 1544607369.488 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (* 4/3 (/ (/ 1 PI) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1544607369.488 * [enter]simplify: Simplifying (/ (/ 1 PI) (- 1 (* v v))) 1544607369.488 * * [misc]simplify: iters left: 6 (7 enodes) 1544607369.490 * * [misc]simplify: iters left: 5 (13 enodes) 1544607369.493 * * [misc]simplify: iters left: 4 (20 enodes) 1544607369.497 * * [misc]simplify: iters left: 3 (28 enodes) 1544607369.504 * * [misc]simplify: iters left: 2 (40 enodes) 1544607369.513 * * [misc]simplify: iters left: 1 (51 enodes) 1544607369.530 * [exit]simplify: Simplified to (/ (/ 1 PI) (- 1 (* v v))) 1544607369.530 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (* 4/3 (/ (/ 1 PI) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1544607369.530 * * * * [misc]progress: [ 41 / 60 ] simplifiying candidate # 1544607369.530 * * * * [misc]progress: [ 42 / 60 ] simplifiying candidate # 1544607369.530 * * * * [misc]progress: [ 43 / 60 ] simplifiying candidate # 1544607369.530 * * * * [misc]progress: [ 44 / 60 ] simplifiying candidate # 1544607369.531 * [enter]simplify: Simplifying (cbrt (- 1 (* v v))) 1544607369.531 * * [misc]simplify: iters left: 5 (5 enodes) 1544607369.533 * * [misc]simplify: iters left: 4 (9 enodes) 1544607369.537 * * [misc]simplify: iters left: 3 (13 enodes) 1544607369.541 * [exit]simplify: Simplified to (cbrt (- 1 (* v v))) 1544607369.541 * [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))))) 1544607369.541 * * * * [misc]progress: [ 45 / 60 ] simplifiying candidate # 1544607369.541 * [enter]simplify: Simplifying (sqrt (- 1 (* v v))) 1544607369.542 * * [misc]simplify: iters left: 5 (5 enodes) 1544607369.544 * * [misc]simplify: iters left: 4 (9 enodes) 1544607369.547 * * [misc]simplify: iters left: 3 (13 enodes) 1544607369.552 * [exit]simplify: Simplified to (sqrt (- 1 (* v v))) 1544607369.552 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (/ (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))) (sqrt (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1544607369.552 * * * * [misc]progress: [ 46 / 60 ] simplifiying candidate # 1544607369.552 * [enter]simplify: Simplifying (- 1 (* v v)) 1544607369.552 * * [misc]simplify: iters left: 4 (4 enodes) 1544607369.555 * * [misc]simplify: iters left: 3 (8 enodes) 1544607369.558 * * [misc]simplify: iters left: 2 (12 enodes) 1544607369.563 * [exit]simplify: Simplified to (- 1 (* v v)) 1544607369.563 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (/ (/ (/ 4/3 PI) 1) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6))))) 1544607369.563 * * * * [misc]progress: [ 47 / 60 ] simplifiying candidate # 1544607369.563 * [enter]simplify: Simplifying (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) 1544607369.564 * * [misc]simplify: iters left: 5 (5 enodes) 1544607369.566 * [exit]simplify: Simplified to (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) 1544607369.566 * [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))))) 1544607369.566 * * * * [misc]progress: [ 48 / 60 ] simplifiying candidate # 1544607369.566 * [enter]simplify: Simplifying (sqrt (/ 4/3 PI)) 1544607369.567 * * [misc]simplify: iters left: 3 (4 enodes) 1544607369.568 * [exit]simplify: Simplified to (sqrt (/ 4/3 PI)) 1544607369.568 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (/ (sqrt (/ 4/3 PI)) (/ (- 1 (* v v)) (sqrt (/ 4/3 PI)))) (sqrt (+ 2 (* (* v v) -6))))) 1544607369.568 * * * * [misc]progress: [ 49 / 60 ] simplifiying candidate # 1544607369.568 * * * * [misc]progress: [ 50 / 60 ] simplifiying candidate # 1544607369.568 * * * * [misc]progress: [ 51 / 60 ] simplifiying candidate # 1544607369.569 * [enter]simplify: Simplifying (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))) 1544607369.569 * * [misc]simplify: iters left: 6 (8 enodes) 1544607369.575 * * [misc]simplify: iters left: 5 (23 enodes) 1544607369.592 * * [misc]simplify: iters left: 4 (57 enodes) 1544607369.621 * * [misc]simplify: iters left: 3 (87 enodes) 1544607369.663 * * [misc]simplify: iters left: 2 (118 enodes) 1544607369.685 * * [misc]simplify: iters left: 1 (146 enodes) 1544607369.704 * [exit]simplify: Simplified to (+ 1 (+ (* v v) (pow v 4))) 1544607369.704 * [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))))) 1544607369.704 * * * * [misc]progress: [ 52 / 60 ] simplifiying candidate # 1544607369.704 * [enter]simplify: Simplifying (+ 1 (* v v)) 1544607369.704 * * [misc]simplify: iters left: 4 (4 enodes) 1544607369.706 * * [misc]simplify: iters left: 3 (7 enodes) 1544607369.707 * [exit]simplify: Simplified to (+ 1 (* v v)) 1544607369.707 * [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))))) 1544607369.707 * * * * [misc]progress: [ 53 / 60 ] simplifiying candidate # 1544607369.707 * * * * [misc]progress: [ 54 / 60 ] simplifiying candidate # 1544607369.707 * [enter]simplify: Simplifying (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))) 1544607369.708 * * [misc]simplify: iters left: 6 (14 enodes) 1544607369.712 * * [misc]simplify: iters left: 5 (26 enodes) 1544607369.718 * * [misc]simplify: iters left: 4 (44 enodes) 1544607369.739 * * [misc]simplify: iters left: 3 (97 enodes) 1544607369.799 * * [misc]simplify: iters left: 2 (173 enodes) 1544607369.895 * * [misc]simplify: iters left: 1 (299 enodes) 1544607370.053 * [exit]simplify: Simplified to (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ (* -6 (* v v)) 2))) 1544607370.053 * [misc]simplify: Simplified (2) to (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ (* -6 (* v v)) 2)))) 1544607370.053 * * * * [misc]progress: [ 55 / 60 ] simplifiying candidate # 1544607370.053 * [enter]simplify: Simplifying (* -6 (pow v 2)) 1544607370.054 * * [misc]simplify: iters left: 3 (5 enodes) 1544607370.056 * * [misc]simplify: iters left: 2 (7 enodes) 1544607370.059 * * [misc]simplify: iters left: 1 (11 enodes) 1544607370.064 * [exit]simplify: Simplified to (* (* v v) -6) 1544607370.064 * [misc]simplify: Simplified (2 2 1 2) to (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6))))) 1544607370.064 * * * * [misc]progress: [ 56 / 60 ] simplifiying candidate # 1544607370.064 * [enter]simplify: Simplifying (* -6 (pow v 2)) 1544607370.065 * * [misc]simplify: iters left: 3 (5 enodes) 1544607370.067 * * [misc]simplify: iters left: 2 (7 enodes) 1544607370.069 * * [misc]simplify: iters left: 1 (11 enodes) 1544607370.074 * [exit]simplify: Simplified to (* (* v v) -6) 1544607370.074 * [misc]simplify: Simplified (2 2 1 2) to (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6))))) 1544607370.074 * * * * [misc]progress: [ 57 / 60 ] simplifiying candidate # 1544607370.074 * [enter]simplify: Simplifying (* -6 (pow v 2)) 1544607370.074 * * [misc]simplify: iters left: 3 (5 enodes) 1544607370.076 * * [misc]simplify: iters left: 2 (7 enodes) 1544607370.079 * * [misc]simplify: iters left: 1 (11 enodes) 1544607370.083 * [exit]simplify: Simplified to (* (* v v) -6) 1544607370.083 * [misc]simplify: Simplified (2 2 1 2) to (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6))))) 1544607370.083 * * * * [misc]progress: [ 58 / 60 ] simplifiying candidate # 1544607370.084 * [enter]simplify: Simplifying (+ (* 4/3 (/ (pow v 2) PI)) (+ (* 4/3 (/ 1 PI)) (* 4/3 (/ (pow v 4) PI)))) 1544607370.085 * * [misc]simplify: iters left: 6 (16 enodes) 1544607370.095 * * [misc]simplify: iters left: 5 (34 enodes) 1544607370.115 * * [misc]simplify: iters left: 4 (63 enodes) 1544607370.144 * * [misc]simplify: iters left: 3 (91 enodes) 1544607370.175 * * [misc]simplify: iters left: 2 (126 enodes) 1544607370.206 * * [misc]simplify: iters left: 1 (203 enodes) 1544607370.327 * [exit]simplify: Simplified to (+ (/ 4/3 PI) (* (+ (pow v 4) (* v v)) (/ 4/3 PI))) 1544607370.327 * [misc]simplify: Simplified (2 1) to (λ (v) (/ (+ (/ 4/3 PI) (* (+ (pow v 4) (* v v)) (/ 4/3 PI))) (sqrt (+ 2 (* (* v v) -6))))) 1544607370.327 * * * * [misc]progress: [ 59 / 60 ] simplifiying candidate # 1544607370.328 * [enter]simplify: Simplifying (- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI)))))) 1544607370.330 * * [misc]simplify: iters left: 6 (22 enodes) 1544607370.344 * * [misc]simplify: iters left: 5 (50 enodes) 1544607370.376 * * [misc]simplify: iters left: 4 (105 enodes) 1544607370.488 * * [misc]simplify: iters left: 3 (237 enodes) 1544607370.729 * * [misc]simplify: iters left: 2 (443 enodes) 1544607371.104 * [exit]simplify: Simplified to (- (/ -4/3 (* (* v PI) v)) (+ (/ (/ 4/3 PI) (pow v 6)) (/ (/ 4/3 PI) (pow v 4)))) 1544607371.104 * [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))))) 1544607371.104 * * * * [misc]progress: [ 60 / 60 ] simplifiying candidate # 1544607371.104 * [enter]simplify: Simplifying (- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI)))))) 1544607371.107 * * [misc]simplify: iters left: 6 (22 enodes) 1544607371.121 * * [misc]simplify: iters left: 5 (50 enodes) 1544607371.155 * * [misc]simplify: iters left: 4 (105 enodes) 1544607371.253 * * [misc]simplify: iters left: 3 (237 enodes) 1544607371.530 * * [misc]simplify: iters left: 2 (443 enodes) 1544607371.948 * [exit]simplify: Simplified to (- (/ -4/3 (* (* v PI) v)) (+ (/ (/ 4/3 PI) (pow v 6)) (/ (/ 4/3 PI) (pow v 4)))) 1544607371.948 * [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))))) 1544607371.948 * * * [misc]progress: adding candidates to table 1544607373.273 * * [misc]progress: iteration 2 / 4 1544607373.273 * * * [misc]progress: picking best candidate 1544607373.280 * * * * [misc]pick: Picked # 1544607373.280 * * * [misc]progress: localizing error 1544607373.293 * * * [misc]progress: generating rewritten candidates 1544607373.293 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2 1 2) 1544607373.314 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1544607373.376 * * * [misc]progress: generating series expansions 1544607373.376 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2 1 2) 1544607373.376 * [misc]backup-simplify: Simplify (* (* v v) -6) into (* -6 (pow v 2)) 1544607373.376 * [misc]approximate: Taking taylor expansion of (* -6 (pow v 2)) in (v) around 0 1544607373.376 * [misc]taylor: Taking taylor expansion of (* -6 (pow v 2)) in v 1544607373.376 * [misc]taylor: Taking taylor expansion of -6 in v 1544607373.376 * [misc]backup-simplify: Simplify -6 into -6 1544607373.376 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607373.376 * [misc]taylor: Taking taylor expansion of v in v 1544607373.376 * [misc]backup-simplify: Simplify 0 into 0 1544607373.376 * [misc]backup-simplify: Simplify 1 into 1 1544607373.376 * [misc]taylor: Taking taylor expansion of (* -6 (pow v 2)) in v 1544607373.376 * [misc]taylor: Taking taylor expansion of -6 in v 1544607373.376 * [misc]backup-simplify: Simplify -6 into -6 1544607373.376 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607373.376 * [misc]taylor: Taking taylor expansion of v in v 1544607373.376 * [misc]backup-simplify: Simplify 0 into 0 1544607373.376 * [misc]backup-simplify: Simplify 1 into 1 1544607373.377 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544607373.377 * [misc]backup-simplify: Simplify (* -6 1) into -6 1544607373.377 * [misc]backup-simplify: Simplify -6 into -6 1544607373.377 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544607373.378 * [misc]backup-simplify: Simplify (+ (* -6 0) (* 0 1)) into 0 1544607373.378 * [misc]backup-simplify: Simplify 0 into 0 1544607373.378 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544607373.378 * [misc]backup-simplify: Simplify (+ (* -6 0) (+ (* 0 0) (* 0 1))) into 0 1544607373.378 * [misc]backup-simplify: Simplify 0 into 0 1544607373.378 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544607373.379 * [misc]backup-simplify: Simplify (+ (* -6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544607373.379 * [misc]backup-simplify: Simplify 0 into 0 1544607373.379 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544607373.380 * [misc]backup-simplify: Simplify (+ (* -6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544607373.380 * [misc]backup-simplify: Simplify 0 into 0 1544607373.380 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544607373.380 * [misc]backup-simplify: Simplify (+ (* -6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544607373.380 * [misc]backup-simplify: Simplify 0 into 0 1544607373.381 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544607373.381 * [misc]backup-simplify: Simplify (+ (* -6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544607373.381 * [misc]backup-simplify: Simplify 0 into 0 1544607373.382 * [misc]backup-simplify: Simplify (* -6 (pow v 2)) into (* -6 (pow v 2)) 1544607373.382 * [misc]backup-simplify: Simplify (* (* (/ 1 v) (/ 1 v)) -6) into (/ -6 (pow v 2)) 1544607373.382 * [misc]approximate: Taking taylor expansion of (/ -6 (pow v 2)) in (v) around 0 1544607373.382 * [misc]taylor: Taking taylor expansion of (/ -6 (pow v 2)) in v 1544607373.382 * [misc]taylor: Taking taylor expansion of -6 in v 1544607373.382 * [misc]backup-simplify: Simplify -6 into -6 1544607373.382 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607373.382 * [misc]taylor: Taking taylor expansion of v in v 1544607373.382 * [misc]backup-simplify: Simplify 0 into 0 1544607373.382 * [misc]backup-simplify: Simplify 1 into 1 1544607373.382 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544607373.382 * [misc]backup-simplify: Simplify (/ -6 1) into -6 1544607373.382 * [misc]taylor: Taking taylor expansion of (/ -6 (pow v 2)) in v 1544607373.382 * [misc]taylor: Taking taylor expansion of -6 in v 1544607373.382 * [misc]backup-simplify: Simplify -6 into -6 1544607373.382 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607373.382 * [misc]taylor: Taking taylor expansion of v in v 1544607373.382 * [misc]backup-simplify: Simplify 0 into 0 1544607373.382 * [misc]backup-simplify: Simplify 1 into 1 1544607373.383 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544607373.383 * [misc]backup-simplify: Simplify (/ -6 1) into -6 1544607373.383 * [misc]backup-simplify: Simplify -6 into -6 1544607373.383 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544607373.383 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)))) into 0 1544607373.383 * [misc]backup-simplify: Simplify 0 into 0 1544607373.384 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544607373.384 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607373.384 * [misc]backup-simplify: Simplify 0 into 0 1544607373.384 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544607373.385 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607373.385 * [misc]backup-simplify: Simplify 0 into 0 1544607373.385 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544607373.386 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607373.386 * [misc]backup-simplify: Simplify 0 into 0 1544607373.386 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544607373.386 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607373.387 * [misc]backup-simplify: Simplify 0 into 0 1544607373.387 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544607373.388 * [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 1544607373.388 * [misc]backup-simplify: Simplify 0 into 0 1544607373.388 * [misc]backup-simplify: Simplify (* -6 (pow (/ 1 (/ 1 v)) 2)) into (* -6 (pow v 2)) 1544607373.388 * [misc]backup-simplify: Simplify (* (* (/ 1 (- v)) (/ 1 (- v))) -6) into (/ -6 (pow v 2)) 1544607373.388 * [misc]approximate: Taking taylor expansion of (/ -6 (pow v 2)) in (v) around 0 1544607373.388 * [misc]taylor: Taking taylor expansion of (/ -6 (pow v 2)) in v 1544607373.388 * [misc]taylor: Taking taylor expansion of -6 in v 1544607373.388 * [misc]backup-simplify: Simplify -6 into -6 1544607373.388 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607373.388 * [misc]taylor: Taking taylor expansion of v in v 1544607373.388 * [misc]backup-simplify: Simplify 0 into 0 1544607373.388 * [misc]backup-simplify: Simplify 1 into 1 1544607373.389 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544607373.389 * [misc]backup-simplify: Simplify (/ -6 1) into -6 1544607373.389 * [misc]taylor: Taking taylor expansion of (/ -6 (pow v 2)) in v 1544607373.389 * [misc]taylor: Taking taylor expansion of -6 in v 1544607373.389 * [misc]backup-simplify: Simplify -6 into -6 1544607373.389 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607373.389 * [misc]taylor: Taking taylor expansion of v in v 1544607373.389 * [misc]backup-simplify: Simplify 0 into 0 1544607373.389 * [misc]backup-simplify: Simplify 1 into 1 1544607373.389 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544607373.389 * [misc]backup-simplify: Simplify (/ -6 1) into -6 1544607373.389 * [misc]backup-simplify: Simplify -6 into -6 1544607373.390 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544607373.390 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)))) into 0 1544607373.390 * [misc]backup-simplify: Simplify 0 into 0 1544607373.390 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544607373.390 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607373.390 * [misc]backup-simplify: Simplify 0 into 0 1544607373.391 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544607373.391 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607373.391 * [misc]backup-simplify: Simplify 0 into 0 1544607373.392 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544607373.392 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607373.392 * [misc]backup-simplify: Simplify 0 into 0 1544607373.393 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544607373.393 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607373.393 * [misc]backup-simplify: Simplify 0 into 0 1544607373.394 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544607373.394 * [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 1544607373.394 * [misc]backup-simplify: Simplify 0 into 0 1544607373.399 * [misc]backup-simplify: Simplify (* -6 (pow (/ 1 (/ 1 (- v))) 2)) into (* -6 (pow v 2)) 1544607373.399 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1544607373.400 * [misc]backup-simplify: Simplify (/ (* 4/3 (/ 1 PI)) (- 1 (* v v))) into (/ 4/3 (* (- 1 (pow v 2)) PI)) 1544607373.400 * [misc]approximate: Taking taylor expansion of (/ 4/3 (* (- 1 (pow v 2)) PI)) in (v) around 0 1544607373.401 * [misc]taylor: Taking taylor expansion of (/ 4/3 (* (- 1 (pow v 2)) PI)) in v 1544607373.401 * [misc]taylor: Taking taylor expansion of 4/3 in v 1544607373.401 * [misc]backup-simplify: Simplify 4/3 into 4/3 1544607373.401 * [misc]taylor: Taking taylor expansion of (* (- 1 (pow v 2)) PI) in v 1544607373.401 * [misc]taylor: Taking taylor expansion of (- 1 (pow v 2)) in v 1544607373.401 * [misc]taylor: Taking taylor expansion of 1 in v 1544607373.401 * [misc]backup-simplify: Simplify 1 into 1 1544607373.401 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607373.401 * [misc]taylor: Taking taylor expansion of v in v 1544607373.401 * [misc]backup-simplify: Simplify 0 into 0 1544607373.401 * [misc]backup-simplify: Simplify 1 into 1 1544607373.401 * [misc]taylor: Taking taylor expansion of PI in v 1544607373.401 * [misc]backup-simplify: Simplify PI into PI 1544607373.401 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544607373.401 * [misc]backup-simplify: Simplify (* 1 PI) into PI 1544607373.402 * [misc]backup-simplify: Simplify (/ 4/3 PI) into (/ 4/3 PI) 1544607373.402 * [misc]taylor: Taking taylor expansion of (/ 4/3 (* (- 1 (pow v 2)) PI)) in v 1544607373.402 * [misc]taylor: Taking taylor expansion of 4/3 in v 1544607373.402 * [misc]backup-simplify: Simplify 4/3 into 4/3 1544607373.402 * [misc]taylor: Taking taylor expansion of (* (- 1 (pow v 2)) PI) in v 1544607373.402 * [misc]taylor: Taking taylor expansion of (- 1 (pow v 2)) in v 1544607373.402 * [misc]taylor: Taking taylor expansion of 1 in v 1544607373.402 * [misc]backup-simplify: Simplify 1 into 1 1544607373.402 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607373.402 * [misc]taylor: Taking taylor expansion of v in v 1544607373.402 * [misc]backup-simplify: Simplify 0 into 0 1544607373.402 * [misc]backup-simplify: Simplify 1 into 1 1544607373.402 * [misc]taylor: Taking taylor expansion of PI in v 1544607373.402 * [misc]backup-simplify: Simplify PI into PI 1544607373.402 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544607373.403 * [misc]backup-simplify: Simplify (* 1 PI) into PI 1544607373.403 * [misc]backup-simplify: Simplify (/ 4/3 PI) into (/ 4/3 PI) 1544607373.403 * [misc]backup-simplify: Simplify (/ 4/3 PI) into (/ 4/3 PI) 1544607373.403 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544607373.404 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 PI)) into 0 1544607373.406 * [misc]backup-simplify: Simplify (- (/ 0 PI) (+ (* (/ 4/3 PI) (/ 0 PI)))) into 0 1544607373.406 * [misc]backup-simplify: Simplify 0 into 0 1544607373.406 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544607373.406 * [misc]backup-simplify: Simplify (- 1) into -1 1544607373.406 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544607373.407 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* -1 PI))) into (- PI) 1544607373.410 * [misc]backup-simplify: Simplify (- (/ 0 PI) (+ (* (/ 4/3 PI) (/ (- PI) PI)) (* 0 (/ 0 PI)))) into (* 4/3 (/ 1 PI)) 1544607373.410 * [misc]backup-simplify: Simplify (* 4/3 (/ 1 PI)) into (/ 4/3 PI) 1544607373.411 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544607373.411 * [misc]backup-simplify: Simplify (- 0) into 0 1544607373.411 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544607373.413 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* -1 0) (* 0 PI)))) into 0 1544607373.416 * [misc]backup-simplify: Simplify (- (/ 0 PI) (+ (* (/ 4/3 PI) (/ 0 PI)) (* 0 (/ (- PI) PI)) (* (* 4/3 (/ 1 PI)) (/ 0 PI)))) into 0 1544607373.417 * [misc]backup-simplify: Simplify 0 into 0 1544607373.417 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544607373.417 * [misc]backup-simplify: Simplify (- 0) into 0 1544607373.417 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544607373.419 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* -1 0) (+ (* 0 0) (* 0 PI))))) into 0 1544607373.424 * [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)) 1544607373.425 * [misc]backup-simplify: Simplify (* 4/3 (/ 1 PI)) into (/ 4/3 PI) 1544607373.426 * [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)))) 1544607373.427 * [misc]backup-simplify: Simplify (/ (* 4/3 (/ 1 PI)) (- 1 (* (/ 1 v) (/ 1 v)))) into (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) 1544607373.427 * [misc]approximate: Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in (v) around 0 1544607373.427 * [misc]taylor: Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in v 1544607373.427 * [misc]taylor: Taking taylor expansion of 4/3 in v 1544607373.427 * [misc]backup-simplify: Simplify 4/3 into 4/3 1544607373.427 * [misc]taylor: Taking taylor expansion of (* (- 1 (/ 1 (pow v 2))) PI) in v 1544607373.427 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v 1544607373.427 * [misc]taylor: Taking taylor expansion of 1 in v 1544607373.427 * [misc]backup-simplify: Simplify 1 into 1 1544607373.427 * [misc]taylor: Taking taylor expansion of (/ 1 (pow v 2)) in v 1544607373.427 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607373.427 * [misc]taylor: Taking taylor expansion of v in v 1544607373.427 * [misc]backup-simplify: Simplify 0 into 0 1544607373.427 * [misc]backup-simplify: Simplify 1 into 1 1544607373.427 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544607373.427 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544607373.427 * [misc]taylor: Taking taylor expansion of PI in v 1544607373.427 * [misc]backup-simplify: Simplify PI into PI 1544607373.428 * [misc]backup-simplify: Simplify (- 1) into -1 1544607373.428 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544607373.428 * [misc]backup-simplify: Simplify (* -1 PI) into (* -1 PI) 1544607373.429 * [misc]backup-simplify: Simplify (/ 4/3 (* -1 PI)) into (/ -4/3 PI) 1544607373.429 * [misc]taylor: Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in v 1544607373.429 * [misc]taylor: Taking taylor expansion of 4/3 in v 1544607373.429 * [misc]backup-simplify: Simplify 4/3 into 4/3 1544607373.429 * [misc]taylor: Taking taylor expansion of (* (- 1 (/ 1 (pow v 2))) PI) in v 1544607373.429 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v 1544607373.429 * [misc]taylor: Taking taylor expansion of 1 in v 1544607373.429 * [misc]backup-simplify: Simplify 1 into 1 1544607373.429 * [misc]taylor: Taking taylor expansion of (/ 1 (pow v 2)) in v 1544607373.429 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607373.429 * [misc]taylor: Taking taylor expansion of v in v 1544607373.429 * [misc]backup-simplify: Simplify 0 into 0 1544607373.429 * [misc]backup-simplify: Simplify 1 into 1 1544607373.429 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544607373.429 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544607373.429 * [misc]taylor: Taking taylor expansion of PI in v 1544607373.429 * [misc]backup-simplify: Simplify PI into PI 1544607373.429 * [misc]backup-simplify: Simplify (- 1) into -1 1544607373.430 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544607373.430 * [misc]backup-simplify: Simplify (* -1 PI) into (* -1 PI) 1544607373.430 * [misc]backup-simplify: Simplify (/ 4/3 (* -1 PI)) into (/ -4/3 PI) 1544607373.431 * [misc]backup-simplify: Simplify (/ -4/3 PI) into (/ -4/3 PI) 1544607373.431 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544607373.431 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544607373.431 * [misc]backup-simplify: Simplify (- 0) into 0 1544607373.431 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544607373.432 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 PI)) into 0 1544607373.434 * [misc]backup-simplify: Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ 0 (* -1 PI))))) into 0 1544607373.434 * [misc]backup-simplify: Simplify 0 into 0 1544607373.434 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544607373.435 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607373.435 * [misc]backup-simplify: Simplify (- 0) into 0 1544607373.435 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544607373.436 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 1 PI))) into PI 1544607373.439 * [misc]backup-simplify: Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ PI (* -1 PI))) (* 0 (/ 0 (* -1 PI))))) into (- (* 4/3 (/ 1 PI))) 1544607373.440 * [misc]backup-simplify: Simplify (- (* 4/3 (/ 1 PI))) into (- (* 4/3 (/ 1 PI))) 1544607373.440 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544607373.440 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607373.441 * [misc]backup-simplify: Simplify (- 0) into 0 1544607373.441 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544607373.442 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (* 0 PI)))) into 0 1544607373.445 * [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 1544607373.445 * [misc]backup-simplify: Simplify 0 into 0 1544607373.446 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544607373.446 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607373.446 * [misc]backup-simplify: Simplify (- 0) into 0 1544607373.446 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544607373.447 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI))))) into 0 1544607373.451 * [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))) 1544607373.452 * [misc]backup-simplify: Simplify (- (* 4/3 (/ 1 PI))) into (- (* 4/3 (/ 1 PI))) 1544607373.454 * [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)))))) 1544607373.454 * [misc]backup-simplify: Simplify (/ (* 4/3 (/ 1 PI)) (- 1 (* (/ 1 (- v)) (/ 1 (- v))))) into (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) 1544607373.454 * [misc]approximate: Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in (v) around 0 1544607373.454 * [misc]taylor: Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in v 1544607373.454 * [misc]taylor: Taking taylor expansion of 4/3 in v 1544607373.454 * [misc]backup-simplify: Simplify 4/3 into 4/3 1544607373.454 * [misc]taylor: Taking taylor expansion of (* (- 1 (/ 1 (pow v 2))) PI) in v 1544607373.454 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v 1544607373.454 * [misc]taylor: Taking taylor expansion of 1 in v 1544607373.454 * [misc]backup-simplify: Simplify 1 into 1 1544607373.454 * [misc]taylor: Taking taylor expansion of (/ 1 (pow v 2)) in v 1544607373.454 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607373.454 * [misc]taylor: Taking taylor expansion of v in v 1544607373.454 * [misc]backup-simplify: Simplify 0 into 0 1544607373.454 * [misc]backup-simplify: Simplify 1 into 1 1544607373.455 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544607373.455 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544607373.455 * [misc]taylor: Taking taylor expansion of PI in v 1544607373.455 * [misc]backup-simplify: Simplify PI into PI 1544607373.455 * [misc]backup-simplify: Simplify (- 1) into -1 1544607373.455 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544607373.455 * [misc]backup-simplify: Simplify (* -1 PI) into (* -1 PI) 1544607373.456 * [misc]backup-simplify: Simplify (/ 4/3 (* -1 PI)) into (/ -4/3 PI) 1544607373.456 * [misc]taylor: Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in v 1544607373.456 * [misc]taylor: Taking taylor expansion of 4/3 in v 1544607373.456 * [misc]backup-simplify: Simplify 4/3 into 4/3 1544607373.456 * [misc]taylor: Taking taylor expansion of (* (- 1 (/ 1 (pow v 2))) PI) in v 1544607373.456 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v 1544607373.456 * [misc]taylor: Taking taylor expansion of 1 in v 1544607373.456 * [misc]backup-simplify: Simplify 1 into 1 1544607373.456 * [misc]taylor: Taking taylor expansion of (/ 1 (pow v 2)) in v 1544607373.456 * [misc]taylor: Taking taylor expansion of (pow v 2) in v 1544607373.456 * [misc]taylor: Taking taylor expansion of v in v 1544607373.456 * [misc]backup-simplify: Simplify 0 into 0 1544607373.456 * [misc]backup-simplify: Simplify 1 into 1 1544607373.456 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544607373.456 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544607373.456 * [misc]taylor: Taking taylor expansion of PI in v 1544607373.456 * [misc]backup-simplify: Simplify PI into PI 1544607373.456 * [misc]backup-simplify: Simplify (- 1) into -1 1544607373.456 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544607373.456 * [misc]backup-simplify: Simplify (* -1 PI) into (* -1 PI) 1544607373.457 * [misc]backup-simplify: Simplify (/ 4/3 (* -1 PI)) into (/ -4/3 PI) 1544607373.457 * [misc]backup-simplify: Simplify (/ -4/3 PI) into (/ -4/3 PI) 1544607373.457 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544607373.457 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544607373.457 * [misc]backup-simplify: Simplify (- 0) into 0 1544607373.457 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544607373.458 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 PI)) into 0 1544607373.459 * [misc]backup-simplify: Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ 0 (* -1 PI))))) into 0 1544607373.459 * [misc]backup-simplify: Simplify 0 into 0 1544607373.460 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544607373.460 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607373.460 * [misc]backup-simplify: Simplify (- 0) into 0 1544607373.460 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544607373.461 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 1 PI))) into PI 1544607373.463 * [misc]backup-simplify: Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ PI (* -1 PI))) (* 0 (/ 0 (* -1 PI))))) into (- (* 4/3 (/ 1 PI))) 1544607373.463 * [misc]backup-simplify: Simplify (- (* 4/3 (/ 1 PI))) into (- (* 4/3 (/ 1 PI))) 1544607373.463 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544607373.464 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607373.464 * [misc]backup-simplify: Simplify (- 0) into 0 1544607373.464 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544607373.465 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (* 0 PI)))) into 0 1544607373.468 * [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 1544607373.468 * [misc]backup-simplify: Simplify 0 into 0 1544607373.468 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544607373.469 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544607373.469 * [misc]backup-simplify: Simplify (- 0) into 0 1544607373.469 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544607373.470 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI))))) into 0 1544607373.474 * [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))) 1544607373.475 * [misc]backup-simplify: Simplify (- (* 4/3 (/ 1 PI))) into (- (* 4/3 (/ 1 PI))) 1544607373.477 * [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)))))) 1544607373.477 * * * [misc]progress: simplifying candidates 1544607373.477 * * * * [misc]progress: [ 1 / 38 ] simplifiying candidate # 1544607373.477 * * * * [misc]progress: [ 2 / 38 ] simplifiying candidate # 1544607373.477 * * * * [misc]progress: [ 3 / 38 ] simplifiying candidate # 1544607373.477 * * * * [misc]progress: [ 4 / 38 ] simplifiying candidate # 1544607373.478 * * * * [misc]progress: [ 5 / 38 ] simplifiying candidate # 1544607373.478 * * * * [misc]progress: [ 6 / 38 ] simplifiying candidate # 1544607373.478 * * * * [misc]progress: [ 7 / 38 ] simplifiying candidate # 1544607373.478 * * * * [misc]progress: [ 8 / 38 ] simplifiying candidate # 1544607373.478 * * * * [misc]progress: [ 9 / 38 ] simplifiying candidate # 1544607373.478 * * * * [misc]progress: [ 10 / 38 ] simplifiying candidate # 1544607373.478 * * * * [misc]progress: [ 11 / 38 ] simplifiying candidate # 1544607373.478 * [enter]simplify: Simplifying (- (log (* 4/3 (/ 1 PI))) (log (- 1 (* v v)))) 1544607373.480 * * [misc]simplify: iters left: 6 (11 enodes) 1544607373.487 * * [misc]simplify: iters left: 5 (23 enodes) 1544607373.501 * * [misc]simplify: iters left: 4 (41 enodes) 1544607373.525 * * [misc]simplify: iters left: 3 (68 enodes) 1544607373.562 * * [misc]simplify: iters left: 2 (127 enodes) 1544607373.625 * * [misc]simplify: iters left: 1 (249 enodes) 1544607373.862 * [exit]simplify: Simplified to (- (log (/ 4/3 PI)) (log (- 1 (* v v)))) 1544607373.862 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (exp (- (log (/ 4/3 PI)) (log (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))) 1544607373.862 * * * * [misc]progress: [ 12 / 38 ] simplifiying candidate # 1544607373.862 * * * * [misc]progress: [ 13 / 38 ] simplifiying candidate # 1544607373.862 * * * * [misc]progress: [ 14 / 38 ] simplifiying candidate # 1544607373.863 * [enter]simplify: Simplifying (/ (* (* (* 4/3 (/ 1 PI)) (* 4/3 (/ 1 PI))) (* 4/3 (/ 1 PI))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))) 1544607373.864 * * [misc]simplify: iters left: 6 (13 enodes) 1544607373.874 * * [misc]simplify: iters left: 5 (35 enodes) 1544607373.908 * * [misc]simplify: iters left: 4 (136 enodes) 1544607374.134 * [exit]simplify: Simplified to (pow (/ (/ 4/3 PI) (- 1 (* v v))) 3) 1544607374.134 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (cbrt (pow (/ (/ 4/3 PI) (- 1 (* v v))) 3)) (sqrt (+ 2 (* (* v v) -6))))) 1544607374.134 * * * * [misc]progress: [ 15 / 38 ] simplifiying candidate # 1544607374.134 * * * * [misc]progress: [ 16 / 38 ] simplifiying candidate # 1544607374.134 * * * * [misc]progress: [ 17 / 38 ] simplifiying candidate # 1544607374.134 * * * * [misc]progress: [ 18 / 38 ] simplifiying candidate # 1544607374.134 * * * * [misc]progress: [ 19 / 38 ] simplifiying candidate # 1544607374.134 * [enter]simplify: Simplifying (/ 4/3 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) 1544607374.135 * * [misc]simplify: iters left: 6 (8 enodes) 1544607374.137 * * [misc]simplify: iters left: 5 (14 enodes) 1544607374.139 * * [misc]simplify: iters left: 4 (18 enodes) 1544607374.143 * [exit]simplify: Simplified to (/ 4/3 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) 1544607374.143 * [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))))) 1544607374.143 * [enter]simplify: Simplifying (/ (/ 1 PI) (cbrt (- 1 (* v v)))) 1544607374.144 * * [misc]simplify: iters left: 6 (8 enodes) 1544607374.145 * * [misc]simplify: iters left: 5 (14 enodes) 1544607374.148 * * [misc]simplify: iters left: 4 (21 enodes) 1544607374.155 * [exit]simplify: Simplified to (/ (/ 1 PI) (cbrt (- 1 (* v v)))) 1544607374.155 * [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))))) 1544607374.155 * * * * [misc]progress: [ 20 / 38 ] simplifiying candidate # 1544607374.155 * [enter]simplify: Simplifying (/ 4/3 (sqrt (- 1 (* v v)))) 1544607374.156 * * [misc]simplify: iters left: 6 (7 enodes) 1544607374.157 * * [misc]simplify: iters left: 5 (11 enodes) 1544607374.159 * * [misc]simplify: iters left: 4 (15 enodes) 1544607374.162 * [exit]simplify: Simplified to (/ 4/3 (sqrt (- 1 (* v v)))) 1544607374.162 * [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))))) 1544607374.162 * [enter]simplify: Simplifying (/ (/ 1 PI) (sqrt (- 1 (* v v)))) 1544607374.163 * * [misc]simplify: iters left: 6 (8 enodes) 1544607374.165 * * [misc]simplify: iters left: 5 (14 enodes) 1544607374.168 * * [misc]simplify: iters left: 4 (21 enodes) 1544607374.172 * [exit]simplify: Simplified to (/ (/ 1 PI) (sqrt (- 1 (* v v)))) 1544607374.172 * [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))))) 1544607374.172 * * * * [misc]progress: [ 21 / 38 ] simplifiying candidate # 1544607374.172 * [enter]simplify: Simplifying (/ 4/3 1) 1544607374.172 * * [misc]simplify: iters left: 2 (3 enodes) 1544607374.173 * * [misc]simplify: iters left: 1 (5 enodes) 1544607374.174 * [exit]simplify: Simplified to 4/3 1544607374.174 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (* 4/3 (/ (/ 1 PI) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1544607374.174 * [enter]simplify: Simplifying (/ (/ 1 PI) (- 1 (* v v))) 1544607374.174 * * [misc]simplify: iters left: 6 (7 enodes) 1544607374.176 * * [misc]simplify: iters left: 5 (13 enodes) 1544607374.179 * * [misc]simplify: iters left: 4 (20 enodes) 1544607374.183 * * [misc]simplify: iters left: 3 (28 enodes) 1544607374.190 * * [misc]simplify: iters left: 2 (40 enodes) 1544607374.198 * * [misc]simplify: iters left: 1 (51 enodes) 1544607374.207 * [exit]simplify: Simplified to (/ (/ 1 PI) (- 1 (* v v))) 1544607374.207 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (* 4/3 (/ (/ 1 PI) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1544607374.208 * * * * [misc]progress: [ 22 / 38 ] simplifiying candidate # 1544607374.208 * * * * [misc]progress: [ 23 / 38 ] simplifiying candidate # 1544607374.208 * * * * [misc]progress: [ 24 / 38 ] simplifiying candidate # 1544607374.208 * * * * [misc]progress: [ 25 / 38 ] simplifiying candidate # 1544607374.208 * [enter]simplify: Simplifying (cbrt (- 1 (* v v))) 1544607374.208 * * [misc]simplify: iters left: 5 (5 enodes) 1544607374.210 * * [misc]simplify: iters left: 4 (9 enodes) 1544607374.212 * * [misc]simplify: iters left: 3 (13 enodes) 1544607374.214 * [exit]simplify: Simplified to (cbrt (- 1 (* v v))) 1544607374.214 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (/ (/ (* 4/3 (/ 1 PI)) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (cbrt (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1544607374.214 * * * * [misc]progress: [ 26 / 38 ] simplifiying candidate # 1544607374.214 * [enter]simplify: Simplifying (sqrt (- 1 (* v v))) 1544607374.215 * * [misc]simplify: iters left: 5 (5 enodes) 1544607374.216 * * [misc]simplify: iters left: 4 (9 enodes) 1544607374.218 * * [misc]simplify: iters left: 3 (13 enodes) 1544607374.220 * [exit]simplify: Simplified to (sqrt (- 1 (* v v))) 1544607374.220 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (/ (/ (* 4/3 (/ 1 PI)) (sqrt (- 1 (* v v)))) (sqrt (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6))))) 1544607374.220 * * * * [misc]progress: [ 27 / 38 ] simplifiying candidate # 1544607374.220 * [enter]simplify: Simplifying (- 1 (* v v)) 1544607374.221 * * [misc]simplify: iters left: 4 (4 enodes) 1544607374.222 * * [misc]simplify: iters left: 3 (8 enodes) 1544607374.223 * * [misc]simplify: iters left: 2 (12 enodes) 1544607374.225 * [exit]simplify: Simplified to (- 1 (* v v)) 1544607374.225 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (/ (/ (* 4/3 (/ 1 PI)) 1) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6))))) 1544607374.225 * * * * [misc]progress: [ 28 / 38 ] simplifiying candidate # 1544607374.226 * * * * [misc]progress: [ 29 / 38 ] simplifiying candidate # 1544607374.226 * [enter]simplify: Simplifying (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))) 1544607374.226 * * [misc]simplify: iters left: 6 (8 enodes) 1544607374.231 * * [misc]simplify: iters left: 5 (23 enodes) 1544607374.239 * * [misc]simplify: iters left: 4 (57 enodes) 1544607374.254 * * [misc]simplify: iters left: 3 (87 enodes) 1544607374.276 * * [misc]simplify: iters left: 2 (118 enodes) 1544607374.310 * * [misc]simplify: iters left: 1 (146 enodes) 1544607374.346 * [exit]simplify: Simplified to (+ 1 (+ (* v v) (pow v 4))) 1544607374.346 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (* (/ (* 4/3 (/ 1 PI)) (- (pow 1 3) (pow (* v v) 3))) (+ 1 (+ (* v v) (pow v 4)))) (sqrt (+ 2 (* (* v v) -6))))) 1544607374.347 * * * * [misc]progress: [ 30 / 38 ] simplifiying candidate # 1544607374.347 * [enter]simplify: Simplifying (+ 1 (* v v)) 1544607374.347 * * [misc]simplify: iters left: 4 (4 enodes) 1544607374.349 * * [misc]simplify: iters left: 3 (7 enodes) 1544607374.352 * [exit]simplify: Simplified to (+ 1 (* v v)) 1544607374.352 * [misc]simplify: Simplified (2 1 2) to (λ (v) (/ (* (/ (* 4/3 (/ 1 PI)) (- (* 1 1) (* (* v v) (* v v)))) (+ 1 (* v v))) (sqrt (+ 2 (* (* v v) -6))))) 1544607374.352 * * * * [misc]progress: [ 31 / 38 ] simplifiying candidate # 1544607374.352 * * * * [misc]progress: [ 32 / 38 ] simplifiying candidate # 1544607374.352 * [enter]simplify: Simplifying (* 4/3 1) 1544607374.353 * * [misc]simplify: iters left: 2 (3 enodes) 1544607374.354 * * [misc]simplify: iters left: 1 (5 enodes) 1544607374.355 * [exit]simplify: Simplified to 4/3 1544607374.355 * [misc]simplify: Simplified (2 1 1) to (λ (v) (/ (/ 4/3 (* (- 1 (* v v)) PI)) (sqrt (+ 2 (* (* v v) -6))))) 1544607374.355 * * * * [misc]progress: [ 33 / 38 ] simplifiying candidate # 1544607374.355 * [enter]simplify: Simplifying (* -6 (pow v 2)) 1544607374.356 * * [misc]simplify: iters left: 3 (5 enodes) 1544607374.358 * * [misc]simplify: iters left: 2 (7 enodes) 1544607374.361 * * [misc]simplify: iters left: 1 (11 enodes) 1544607374.365 * [exit]simplify: Simplified to (* (* v v) -6) 1544607374.365 * [misc]simplify: Simplified (2 2 1 2) to (λ (v) (/ (/ (* 4/3 (/ 1 PI)) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6))))) 1544607374.365 * * * * [misc]progress: [ 34 / 38 ] simplifiying candidate # 1544607374.366 * [enter]simplify: Simplifying (* -6 (pow v 2)) 1544607374.366 * * [misc]simplify: iters left: 3 (5 enodes) 1544607374.368 * * [misc]simplify: iters left: 2 (7 enodes) 1544607374.371 * * [misc]simplify: iters left: 1 (11 enodes) 1544607374.376 * [exit]simplify: Simplified to (* (* v v) -6) 1544607374.376 * [misc]simplify: Simplified (2 2 1 2) to (λ (v) (/ (/ (* 4/3 (/ 1 PI)) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6))))) 1544607374.376 * * * * [misc]progress: [ 35 / 38 ] simplifiying candidate # 1544607374.376 * [enter]simplify: Simplifying (* -6 (pow v 2)) 1544607374.377 * * [misc]simplify: iters left: 3 (5 enodes) 1544607374.379 * * [misc]simplify: iters left: 2 (7 enodes) 1544607374.382 * * [misc]simplify: iters left: 1 (11 enodes) 1544607374.387 * [exit]simplify: Simplified to (* (* v v) -6) 1544607374.387 * [misc]simplify: Simplified (2 2 1 2) to (λ (v) (/ (/ (* 4/3 (/ 1 PI)) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6))))) 1544607374.387 * * * * [misc]progress: [ 36 / 38 ] simplifiying candidate # 1544607374.387 * [enter]simplify: Simplifying (+ (* 4/3 (/ (pow v 2) PI)) (+ (* 4/3 (/ 1 PI)) (* 4/3 (/ (pow v 4) PI)))) 1544607374.389 * * [misc]simplify: iters left: 6 (16 enodes) 1544607374.400 * * [misc]simplify: iters left: 5 (34 enodes) 1544607374.419 * * [misc]simplify: iters left: 4 (63 enodes) 1544607374.438 * * [misc]simplify: iters left: 3 (91 enodes) 1544607374.464 * * [misc]simplify: iters left: 2 (126 enodes) 1544607374.501 * * [misc]simplify: iters left: 1 (203 enodes) 1544607374.605 * [exit]simplify: Simplified to (+ (/ 4/3 PI) (* (+ (pow v 4) (* v v)) (/ 4/3 PI))) 1544607374.605 * [misc]simplify: Simplified (2 1) to (λ (v) (/ (+ (/ 4/3 PI) (* (+ (pow v 4) (* v v)) (/ 4/3 PI))) (sqrt (+ 2 (* (* v v) -6))))) 1544607374.605 * * * * [misc]progress: [ 37 / 38 ] simplifiying candidate # 1544607374.605 * [enter]simplify: Simplifying (- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI)))))) 1544607374.606 * * [misc]simplify: iters left: 6 (22 enodes) 1544607374.614 * * [misc]simplify: iters left: 5 (50 enodes) 1544607374.646 * * [misc]simplify: iters left: 4 (105 enodes) 1544607374.721 * * [misc]simplify: iters left: 3 (237 enodes) 1544607375.083 * * [misc]simplify: iters left: 2 (443 enodes) 1544607375.474 * [exit]simplify: Simplified to (- (/ -4/3 (* (* v PI) v)) (+ (/ (/ 4/3 PI) (pow v 6)) (/ (/ 4/3 PI) (pow v 4)))) 1544607375.474 * [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))))) 1544607375.474 * * * * [misc]progress: [ 38 / 38 ] simplifiying candidate # 1544607375.475 * [enter]simplify: Simplifying (- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI)))))) 1544607375.476 * * [misc]simplify: iters left: 6 (22 enodes) 1544607375.485 * * [misc]simplify: iters left: 5 (50 enodes) 1544607375.521 * * [misc]simplify: iters left: 4 (105 enodes) 1544607375.603 * * [misc]simplify: iters left: 3 (237 enodes) 1544607375.936 * * [misc]simplify: iters left: 2 (443 enodes) 1544607376.305 * [exit]simplify: Simplified to (- (/ -4/3 (* (* v PI) v)) (+ (/ (/ 4/3 PI) (pow v 6)) (/ (/ 4/3 PI) (pow v 4)))) 1544607376.305 * [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))))) 1544607376.305 * * * [misc]progress: adding candidates to table 1544607377.252 * [misc]progress: [Phase 3 of 3] Extracting. 1544607377.253 * * [misc]regime: Finding splitpoints for: (# #) 1544607377.255 * * * [misc]regime-changes: Trying 2 branch expressions: (v (* v v)) 1544607377.255 * * * * [misc]regimes: Trying to branch on v from (# #) 1544607377.307 * * * * [misc]regimes: Trying to branch on (* v v) from (# #) 1544607377.354 * * * [misc]regime: Found split indices: #