1545556675.422 * [misc]progress:  [Phase 1 of 3] Setting up.
1545556675.422 * * * [misc]progress:  [1/2] Preparing points
1545556675.422 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545556675.541 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556675.541 * * * * [misc]points:  Sampling 131 additional inputs, on iter 1 have 125 / 256
1545556675.645 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556675.646 * * * * [misc]points:  Sampling 66 additional inputs, on iter 2 have 190 / 256
1545556675.666 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556675.666 * * * * [misc]points:  Sampling 35 additional inputs, on iter 3 have 221 / 256
1545556675.676 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556675.676 * * * * [misc]points:  Sampling 17 additional inputs, on iter 4 have 239 / 256
1545556675.682 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556675.682 * * * * [misc]points:  Sampling 8 additional inputs, on iter 5 have 248 / 256
1545556675.687 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556675.687 * * * * [misc]points:  Sampling 7 additional inputs, on iter 6 have 249 / 256
1545556675.691 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556675.691 * * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 252 / 256
1545556675.694 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556675.694 * * * * [misc]points:  Sampling 4 additional inputs, on iter 8 have 253 / 256
1545556675.698 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556675.698 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 254 / 256
1545556675.701 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556675.701 * * * * [exit]points:  Sampled 257 points with exact outputs
1545556675.701 * * * [misc]progress:  [2/2] Setting up program.
1545556675.709 * [misc]progress:  [Phase 2 of 3] Improving.
1545556675.709 * [enter]simplify:  Simplifying (/ 4 (* (* (* 3 PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))))
1545556675.709 * * [misc]simplify:  iters left: 6 (16 enodes)
1545556675.715 * * [misc]simplify:  iters left: 5 (34 enodes)
1545556675.727 * * [misc]simplify:  iters left: 4 (89 enodes)
1545556675.805 * * [misc]simplify:  iters left: 3 (186 enodes)
1545556675.898 * [exit]simplify:  Simplified to (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6))))
1545556675.923 * * [misc]progress:  iteration 1 / 4
1545556675.923 * * * [misc]progress:  picking best candidate
1545556675.931 * * * * [misc]pick:  Picked  #<alt (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556675.931 * * * [misc]progress:  localizing error
1545556675.972 * * * [misc]progress:  generating rewritten candidates
1545556675.972 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1545556675.973 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 2 1 2)
1545556675.977 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1)
1545556675.985 * * * [misc]progress:  generating series expansions
1545556675.985 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1545556675.985 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 2 1 2)
1545556675.985 * [misc]backup-simplify:  Simplify (* (* v v) -6) into (* -6 (pow v 2))
1545556675.985 * [misc]approximate:  Taking taylor expansion of (* -6 (pow v 2)) in (v) around 0
1545556675.985 * [misc]taylor:  Taking taylor expansion of (* -6 (pow v 2)) in v
1545556675.985 * [misc]taylor:  Taking taylor expansion of -6 in v
1545556675.985 * [misc]backup-simplify:  Simplify -6 into -6
1545556675.985 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556675.985 * [misc]taylor:  Taking taylor expansion of v in v
1545556675.985 * [misc]backup-simplify:  Simplify 0 into 0
1545556675.985 * [misc]backup-simplify:  Simplify 1 into 1
1545556675.985 * [misc]taylor:  Taking taylor expansion of (* -6 (pow v 2)) in v
1545556675.985 * [misc]taylor:  Taking taylor expansion of -6 in v
1545556675.985 * [misc]backup-simplify:  Simplify -6 into -6
1545556675.985 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556675.985 * [misc]taylor:  Taking taylor expansion of v in v
1545556675.985 * [misc]backup-simplify:  Simplify 0 into 0
1545556675.985 * [misc]backup-simplify:  Simplify 1 into 1
1545556675.986 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545556675.986 * [misc]backup-simplify:  Simplify (* -6 1) into -6
1545556675.986 * [misc]backup-simplify:  Simplify -6 into -6
1545556675.986 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545556675.986 * [misc]backup-simplify:  Simplify (+ (* -6 0) (* 0 1)) into 0
1545556675.986 * [misc]backup-simplify:  Simplify 0 into 0
1545556675.987 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545556675.987 * [misc]backup-simplify:  Simplify (+ (* -6 0) (+ (* 0 0) (* 0 1))) into 0
1545556675.987 * [misc]backup-simplify:  Simplify 0 into 0
1545556675.987 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545556675.988 * [misc]backup-simplify:  Simplify (+ (* -6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545556675.988 * [misc]backup-simplify:  Simplify 0 into 0
1545556675.988 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545556675.989 * [misc]backup-simplify:  Simplify (+ (* -6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545556675.989 * [misc]backup-simplify:  Simplify 0 into 0
1545556675.989 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545556675.989 * [misc]backup-simplify:  Simplify (+ (* -6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545556675.990 * [misc]backup-simplify:  Simplify 0 into 0
1545556675.990 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545556675.991 * [misc]backup-simplify:  Simplify (+ (* -6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545556675.991 * [misc]backup-simplify:  Simplify 0 into 0
1545556675.991 * [misc]backup-simplify:  Simplify (* -6 (pow v 2)) into (* -6 (pow v 2))
1545556675.991 * [misc]backup-simplify:  Simplify (* (* (/ 1 v) (/ 1 v)) -6) into (/ -6 (pow v 2))
1545556675.991 * [misc]approximate:  Taking taylor expansion of (/ -6 (pow v 2)) in (v) around 0
1545556675.991 * [misc]taylor:  Taking taylor expansion of (/ -6 (pow v 2)) in v
1545556675.991 * [misc]taylor:  Taking taylor expansion of -6 in v
1545556675.991 * [misc]backup-simplify:  Simplify -6 into -6
1545556675.991 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556675.991 * [misc]taylor:  Taking taylor expansion of v in v
1545556675.991 * [misc]backup-simplify:  Simplify 0 into 0
1545556675.991 * [misc]backup-simplify:  Simplify 1 into 1
1545556675.991 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545556675.992 * [misc]backup-simplify:  Simplify (/ -6 1) into -6
1545556675.992 * [misc]taylor:  Taking taylor expansion of (/ -6 (pow v 2)) in v
1545556675.992 * [misc]taylor:  Taking taylor expansion of -6 in v
1545556675.992 * [misc]backup-simplify:  Simplify -6 into -6
1545556675.992 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556675.992 * [misc]taylor:  Taking taylor expansion of v in v
1545556675.992 * [misc]backup-simplify:  Simplify 0 into 0
1545556675.992 * [misc]backup-simplify:  Simplify 1 into 1
1545556675.992 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545556675.992 * [misc]backup-simplify:  Simplify (/ -6 1) into -6
1545556675.992 * [misc]backup-simplify:  Simplify -6 into -6
1545556675.992 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545556675.993 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)))) into 0
1545556675.993 * [misc]backup-simplify:  Simplify 0 into 0
1545556675.993 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545556675.994 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556675.994 * [misc]backup-simplify:  Simplify 0 into 0
1545556675.994 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545556675.995 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556675.995 * [misc]backup-simplify:  Simplify 0 into 0
1545556675.995 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545556675.996 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556675.996 * [misc]backup-simplify:  Simplify 0 into 0
1545556675.996 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545556675.997 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556675.997 * [misc]backup-simplify:  Simplify 0 into 0
1545556675.997 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545556675.998 * [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
1545556675.998 * [misc]backup-simplify:  Simplify 0 into 0
1545556675.998 * [misc]backup-simplify:  Simplify (* -6 (pow (/ 1 (/ 1 v)) 2)) into (* -6 (pow v 2))
1545556675.998 * [misc]backup-simplify:  Simplify (* (* (/ 1 (- v)) (/ 1 (- v))) -6) into (/ -6 (pow v 2))
1545556675.998 * [misc]approximate:  Taking taylor expansion of (/ -6 (pow v 2)) in (v) around 0
1545556675.998 * [misc]taylor:  Taking taylor expansion of (/ -6 (pow v 2)) in v
1545556675.998 * [misc]taylor:  Taking taylor expansion of -6 in v
1545556675.998 * [misc]backup-simplify:  Simplify -6 into -6
1545556675.998 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556675.998 * [misc]taylor:  Taking taylor expansion of v in v
1545556675.998 * [misc]backup-simplify:  Simplify 0 into 0
1545556675.998 * [misc]backup-simplify:  Simplify 1 into 1
1545556675.999 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545556675.999 * [misc]backup-simplify:  Simplify (/ -6 1) into -6
1545556675.999 * [misc]taylor:  Taking taylor expansion of (/ -6 (pow v 2)) in v
1545556675.999 * [misc]taylor:  Taking taylor expansion of -6 in v
1545556675.999 * [misc]backup-simplify:  Simplify -6 into -6
1545556675.999 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556675.999 * [misc]taylor:  Taking taylor expansion of v in v
1545556675.999 * [misc]backup-simplify:  Simplify 0 into 0
1545556675.999 * [misc]backup-simplify:  Simplify 1 into 1
1545556675.999 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545556675.999 * [misc]backup-simplify:  Simplify (/ -6 1) into -6
1545556675.999 * [misc]backup-simplify:  Simplify -6 into -6
1545556676.000 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545556676.000 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)))) into 0
1545556676.000 * [misc]backup-simplify:  Simplify 0 into 0
1545556676.000 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545556676.001 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556676.001 * [misc]backup-simplify:  Simplify 0 into 0
1545556676.001 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545556676.001 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556676.001 * [misc]backup-simplify:  Simplify 0 into 0
1545556676.002 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545556676.002 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556676.002 * [misc]backup-simplify:  Simplify 0 into 0
1545556676.003 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545556676.003 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556676.003 * [misc]backup-simplify:  Simplify 0 into 0
1545556676.004 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545556676.004 * [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
1545556676.004 * [misc]backup-simplify:  Simplify 0 into 0
1545556676.005 * [misc]backup-simplify:  Simplify (* -6 (pow (/ 1 (/ 1 (- v))) 2)) into (* -6 (pow v 2))
1545556676.005 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1)
1545556676.005 * [misc]backup-simplify:  Simplify (/ (/ 4/3 PI) (- 1 (* v v))) into (/ 4/3 (* (- 1 (pow v 2)) PI))
1545556676.005 * [misc]approximate:  Taking taylor expansion of (/ 4/3 (* (- 1 (pow v 2)) PI)) in (v) around 0
1545556676.005 * [misc]taylor:  Taking taylor expansion of (/ 4/3 (* (- 1 (pow v 2)) PI)) in v
1545556676.005 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545556676.005 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545556676.005 * [misc]taylor:  Taking taylor expansion of (* (- 1 (pow v 2)) PI) in v
1545556676.005 * [misc]taylor:  Taking taylor expansion of (- 1 (pow v 2)) in v
1545556676.006 * [misc]taylor:  Taking taylor expansion of 1 in v
1545556676.006 * [misc]backup-simplify:  Simplify 1 into 1
1545556676.006 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556676.006 * [misc]taylor:  Taking taylor expansion of v in v
1545556676.006 * [misc]backup-simplify:  Simplify 0 into 0
1545556676.006 * [misc]backup-simplify:  Simplify 1 into 1
1545556676.006 * [misc]taylor:  Taking taylor expansion of PI in v
1545556676.006 * [misc]backup-simplify:  Simplify PI into PI
1545556676.006 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545556676.006 * [misc]backup-simplify:  Simplify (* 1 PI) into PI
1545556676.006 * [misc]backup-simplify:  Simplify (/ 4/3 PI) into (/ 4/3 PI)
1545556676.006 * [misc]taylor:  Taking taylor expansion of (/ 4/3 (* (- 1 (pow v 2)) PI)) in v
1545556676.007 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545556676.007 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545556676.007 * [misc]taylor:  Taking taylor expansion of (* (- 1 (pow v 2)) PI) in v
1545556676.007 * [misc]taylor:  Taking taylor expansion of (- 1 (pow v 2)) in v
1545556676.007 * [misc]taylor:  Taking taylor expansion of 1 in v
1545556676.007 * [misc]backup-simplify:  Simplify 1 into 1
1545556676.007 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556676.007 * [misc]taylor:  Taking taylor expansion of v in v
1545556676.007 * [misc]backup-simplify:  Simplify 0 into 0
1545556676.007 * [misc]backup-simplify:  Simplify 1 into 1
1545556676.007 * [misc]taylor:  Taking taylor expansion of PI in v
1545556676.007 * [misc]backup-simplify:  Simplify PI into PI
1545556676.007 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545556676.007 * [misc]backup-simplify:  Simplify (* 1 PI) into PI
1545556676.008 * [misc]backup-simplify:  Simplify (/ 4/3 PI) into (/ 4/3 PI)
1545556676.008 * [misc]backup-simplify:  Simplify (/ 4/3 PI) into (/ 4/3 PI)
1545556676.008 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556676.009 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 PI)) into 0
1545556676.010 * [misc]backup-simplify:  Simplify (- (/ 0 PI) (+ (* (/ 4/3 PI) (/ 0 PI)))) into 0
1545556676.010 * [misc]backup-simplify:  Simplify 0 into 0
1545556676.010 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545556676.011 * [misc]backup-simplify:  Simplify (- 1) into -1
1545556676.011 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545556676.012 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* -1 PI))) into (- PI)
1545556676.014 * [misc]backup-simplify:  Simplify (- (/ 0 PI) (+ (* (/ 4/3 PI) (/ (- PI) PI)) (* 0 (/ 0 PI)))) into (* 4/3 (/ 1 PI))
1545556676.015 * [misc]backup-simplify:  Simplify (* 4/3 (/ 1 PI)) into (/ 4/3 PI)
1545556676.015 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545556676.015 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556676.015 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556676.017 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* -1 0) (* 0 PI)))) into 0
1545556676.020 * [misc]backup-simplify:  Simplify (- (/ 0 PI) (+ (* (/ 4/3 PI) (/ 0 PI)) (* 0 (/ (- PI) PI)) (* (* 4/3 (/ 1 PI)) (/ 0 PI)))) into 0
1545556676.021 * [misc]backup-simplify:  Simplify 0 into 0
1545556676.021 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545556676.021 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556676.021 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556676.023 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* -1 0) (+ (* 0 0) (* 0 PI))))) into 0
1545556676.028 * [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))
1545556676.028 * [misc]backup-simplify:  Simplify (* 4/3 (/ 1 PI)) into (/ 4/3 PI)
1545556676.029 * [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))))
1545556676.030 * [misc]backup-simplify:  Simplify (/ (/ 4/3 PI) (- 1 (* (/ 1 v) (/ 1 v)))) into (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI))
1545556676.030 * [misc]approximate:  Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in (v) around 0
1545556676.030 * [misc]taylor:  Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in v
1545556676.030 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545556676.030 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545556676.030 * [misc]taylor:  Taking taylor expansion of (* (- 1 (/ 1 (pow v 2))) PI) in v
1545556676.030 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v
1545556676.030 * [misc]taylor:  Taking taylor expansion of 1 in v
1545556676.030 * [misc]backup-simplify:  Simplify 1 into 1
1545556676.030 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1545556676.030 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556676.030 * [misc]taylor:  Taking taylor expansion of v in v
1545556676.030 * [misc]backup-simplify:  Simplify 0 into 0
1545556676.030 * [misc]backup-simplify:  Simplify 1 into 1
1545556676.030 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545556676.030 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545556676.030 * [misc]taylor:  Taking taylor expansion of PI in v
1545556676.030 * [misc]backup-simplify:  Simplify PI into PI
1545556676.031 * [misc]backup-simplify:  Simplify (- 1) into -1
1545556676.031 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545556676.031 * [misc]backup-simplify:  Simplify (* -1 PI) into (* -1 PI)
1545556676.032 * [misc]backup-simplify:  Simplify (/ 4/3 (* -1 PI)) into (/ -4/3 PI)
1545556676.032 * [misc]taylor:  Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in v
1545556676.032 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545556676.032 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545556676.032 * [misc]taylor:  Taking taylor expansion of (* (- 1 (/ 1 (pow v 2))) PI) in v
1545556676.032 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v
1545556676.032 * [misc]taylor:  Taking taylor expansion of 1 in v
1545556676.032 * [misc]backup-simplify:  Simplify 1 into 1
1545556676.032 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1545556676.032 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556676.032 * [misc]taylor:  Taking taylor expansion of v in v
1545556676.032 * [misc]backup-simplify:  Simplify 0 into 0
1545556676.032 * [misc]backup-simplify:  Simplify 1 into 1
1545556676.032 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545556676.032 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545556676.032 * [misc]taylor:  Taking taylor expansion of PI in v
1545556676.032 * [misc]backup-simplify:  Simplify PI into PI
1545556676.032 * [misc]backup-simplify:  Simplify (- 1) into -1
1545556676.033 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545556676.033 * [misc]backup-simplify:  Simplify (* -1 PI) into (* -1 PI)
1545556676.033 * [misc]backup-simplify:  Simplify (/ 4/3 (* -1 PI)) into (/ -4/3 PI)
1545556676.034 * [misc]backup-simplify:  Simplify (/ -4/3 PI) into (/ -4/3 PI)
1545556676.034 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545556676.034 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545556676.034 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556676.034 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556676.035 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 PI)) into 0
1545556676.037 * [misc]backup-simplify:  Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ 0 (* -1 PI))))) into 0
1545556676.037 * [misc]backup-simplify:  Simplify 0 into 0
1545556676.038 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545556676.038 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556676.038 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556676.038 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545556676.039 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 1 PI))) into PI
1545556676.042 * [misc]backup-simplify:  Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ PI (* -1 PI))) (* 0 (/ 0 (* -1 PI))))) into (- (* 4/3 (/ 1 PI)))
1545556676.043 * [misc]backup-simplify:  Simplify (- (* 4/3 (/ 1 PI))) into (- (* 4/3 (/ 1 PI)))
1545556676.044 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545556676.044 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556676.044 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556676.044 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556676.046 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (* 0 PI)))) into 0
1545556676.051 * [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
1545556676.051 * [misc]backup-simplify:  Simplify 0 into 0
1545556676.052 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545556676.052 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556676.052 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556676.052 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556676.054 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI))))) into 0
1545556676.066 * [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)))
1545556676.067 * [misc]backup-simplify:  Simplify (- (* 4/3 (/ 1 PI))) into (- (* 4/3 (/ 1 PI)))
1545556676.069 * [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))))))
1545556676.069 * [misc]backup-simplify:  Simplify (/ (/ 4/3 PI) (- 1 (* (/ 1 (- v)) (/ 1 (- v))))) into (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI))
1545556676.069 * [misc]approximate:  Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in (v) around 0
1545556676.069 * [misc]taylor:  Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in v
1545556676.069 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545556676.069 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545556676.069 * [misc]taylor:  Taking taylor expansion of (* (- 1 (/ 1 (pow v 2))) PI) in v
1545556676.069 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v
1545556676.070 * [misc]taylor:  Taking taylor expansion of 1 in v
1545556676.070 * [misc]backup-simplify:  Simplify 1 into 1
1545556676.070 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1545556676.070 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556676.070 * [misc]taylor:  Taking taylor expansion of v in v
1545556676.070 * [misc]backup-simplify:  Simplify 0 into 0
1545556676.070 * [misc]backup-simplify:  Simplify 1 into 1
1545556676.070 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545556676.070 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545556676.070 * [misc]taylor:  Taking taylor expansion of PI in v
1545556676.070 * [misc]backup-simplify:  Simplify PI into PI
1545556676.070 * [misc]backup-simplify:  Simplify (- 1) into -1
1545556676.070 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545556676.071 * [misc]backup-simplify:  Simplify (* -1 PI) into (* -1 PI)
1545556676.071 * [misc]backup-simplify:  Simplify (/ 4/3 (* -1 PI)) into (/ -4/3 PI)
1545556676.071 * [misc]taylor:  Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in v
1545556676.071 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545556676.071 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545556676.071 * [misc]taylor:  Taking taylor expansion of (* (- 1 (/ 1 (pow v 2))) PI) in v
1545556676.071 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v
1545556676.071 * [misc]taylor:  Taking taylor expansion of 1 in v
1545556676.071 * [misc]backup-simplify:  Simplify 1 into 1
1545556676.071 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1545556676.071 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556676.071 * [misc]taylor:  Taking taylor expansion of v in v
1545556676.071 * [misc]backup-simplify:  Simplify 0 into 0
1545556676.071 * [misc]backup-simplify:  Simplify 1 into 1
1545556676.072 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545556676.072 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545556676.072 * [misc]taylor:  Taking taylor expansion of PI in v
1545556676.072 * [misc]backup-simplify:  Simplify PI into PI
1545556676.072 * [misc]backup-simplify:  Simplify (- 1) into -1
1545556676.072 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545556676.072 * [misc]backup-simplify:  Simplify (* -1 PI) into (* -1 PI)
1545556676.073 * [misc]backup-simplify:  Simplify (/ 4/3 (* -1 PI)) into (/ -4/3 PI)
1545556676.073 * [misc]backup-simplify:  Simplify (/ -4/3 PI) into (/ -4/3 PI)
1545556676.073 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545556676.074 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545556676.074 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556676.074 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556676.075 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 PI)) into 0
1545556676.077 * [misc]backup-simplify:  Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ 0 (* -1 PI))))) into 0
1545556676.077 * [misc]backup-simplify:  Simplify 0 into 0
1545556676.077 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545556676.078 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556676.078 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556676.078 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545556676.079 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 1 PI))) into PI
1545556676.082 * [misc]backup-simplify:  Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ PI (* -1 PI))) (* 0 (/ 0 (* -1 PI))))) into (- (* 4/3 (/ 1 PI)))
1545556676.083 * [misc]backup-simplify:  Simplify (- (* 4/3 (/ 1 PI))) into (- (* 4/3 (/ 1 PI)))
1545556676.083 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545556676.083 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556676.083 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556676.084 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556676.084 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (* 0 PI)))) into 0
1545556676.088 * [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
1545556676.088 * [misc]backup-simplify:  Simplify 0 into 0
1545556676.088 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545556676.088 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556676.088 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556676.088 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556676.089 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI))))) into 0
1545556676.093 * [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)))
1545556676.093 * [misc]backup-simplify:  Simplify (- (* 4/3 (/ 1 PI))) into (- (* 4/3 (/ 1 PI)))
1545556676.095 * [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))))))
1545556676.095 * * * [misc]progress:  simplifying candidates
1545556676.095 * * * * [misc]progress:  [ 1 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (pow (/ 4/3 PI) 1) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.095 * * * * [misc]progress:  [ 2 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (exp (log (/ 4/3 PI))) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.095 * * * * [misc]progress:  [ 3 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (log (exp (/ 4/3 PI))) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.095 * * * * [misc]progress:  [ 4 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (* (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (cbrt (/ 4/3 PI))) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.095 * * * * [misc]progress:  [ 5 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (cbrt (* (* (/ 4/3 PI) (/ 4/3 PI)) (/ 4/3 PI))) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.095 * * * * [misc]progress:  [ 6 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (* (sqrt (/ 4/3 PI)) (sqrt (/ 4/3 PI))) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.095 * * * * [misc]progress:  [ 7 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ (- 4/3) (- PI)) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.095 * * * * [misc]progress:  [ 8 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (* 1 (/ 4/3 PI)) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.095 * * * * [misc]progress:  [ 9 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (* 4/3 (/ 1 PI)) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.095 * * * * [misc]progress:  [ 10 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ 1 (/ PI 4/3)) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.095 * * * * [misc]progress:  [ 11 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (pow (* (* v v) -6) 1)))))>
1545556676.095 * * * * [misc]progress:  [ 12 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (exp (log (* (* v v) -6)))))))>
1545556676.095 * * * * [misc]progress:  [ 13 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (log (exp (* (* v v) -6)))))))>
1545556676.095 * * * * [misc]progress:  [ 14 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* (cbrt (* (* v v) -6)) (cbrt (* (* v v) -6))) (cbrt (* (* v v) -6)))))))>
1545556676.095 * * * * [misc]progress:  [ 15 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (cbrt (* (* (* (* v v) -6) (* (* v v) -6)) (* (* v v) -6)))))))>
1545556676.095 * * * * [misc]progress:  [ 16 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (sqrt (* (* v v) -6)) (sqrt (* (* v v) -6)))))))>
1545556676.095 * * * * [misc]progress:  [ 17 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* 1 (* (* v v) -6))))))>
1545556676.095 * * * * [misc]progress:  [ 18 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* v (* v -6))))))>
1545556676.095 * * * * [misc]progress:  [ 19 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* -6 (* v v))))))>
1545556676.095 * * * * [misc]progress:  [ 20 / 60 ] simplifiying candidate #<alt (λ (v) (/ (pow (/ (/ 4/3 PI) (- 1 (* v v))) 1) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.096 * * * * [misc]progress:  [ 21 / 60 ] simplifiying candidate #<alt (λ (v) (/ (exp (- (log (/ 4/3 PI)) (log (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.096 * [enter]simplify:  Simplifying (- (log (/ 4/3 PI)) (log (- 1 (* v v))))
1545556676.096 * * [misc]simplify:  iters left: 6 (10 enodes)
1545556676.098 * * [misc]simplify:  iters left: 5 (19 enodes)
1545556676.101 * * [misc]simplify:  iters left: 4 (30 enodes)
1545556676.105 * * [misc]simplify:  iters left: 3 (45 enodes)
1545556676.112 * * [misc]simplify:  iters left: 2 (64 enodes)
1545556676.120 * * [misc]simplify:  iters left: 1 (81 enodes)
1545556676.128 * [exit]simplify:  Simplified to (- (log (/ 4/3 PI)) (log (- 1 (* v v))))
1545556676.128 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (/ (exp (- (log (/ 4/3 PI)) (log (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556676.128 * * * * [misc]progress:  [ 22 / 60 ] simplifiying candidate #<alt (λ (v) (/ (exp (log (/ (/ 4/3 PI) (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.128 * * * * [misc]progress:  [ 23 / 60 ] simplifiying candidate #<alt (λ (v) (/ (log (exp (/ (/ 4/3 PI) (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.128 * * * * [misc]progress:  [ 24 / 60 ] simplifiying candidate #<alt (λ (v) (/ (cbrt (/ (* (* (/ 4/3 PI) (/ 4/3 PI)) (/ 4/3 PI)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.128 * [enter]simplify:  Simplifying (/ (* (* (/ 4/3 PI) (/ 4/3 PI)) (/ 4/3 PI)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))))
1545556676.129 * * [misc]simplify:  iters left: 6 (12 enodes)
1545556676.131 * * [misc]simplify:  iters left: 5 (31 enodes)
1545556676.137 * * [misc]simplify:  iters left: 4 (101 enodes)
1545556676.184 * * [misc]simplify:  iters left: 3 (325 enodes)
1545556676.538 * [exit]simplify:  Simplified to (/ (/ (/ (/ 64/27 PI) (* PI PI)) (- 1 (* v v))) (* (- 1 (* v v)) (- 1 (* v v))))
1545556676.538 * [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)))))
1545556676.539 * * * * [misc]progress:  [ 25 / 60 ] simplifiying candidate #<alt (λ (v) (/ (* (* (cbrt (/ (/ 4/3 PI) (- 1 (* v v)))) (cbrt (/ (/ 4/3 PI) (- 1 (* v v))))) (cbrt (/ (/ 4/3 PI) (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.539 * * * * [misc]progress:  [ 26 / 60 ] simplifiying candidate #<alt (λ (v) (/ (cbrt (* (* (/ (/ 4/3 PI) (- 1 (* v v))) (/ (/ 4/3 PI) (- 1 (* v v)))) (/ (/ 4/3 PI) (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.539 * * * * [misc]progress:  [ 27 / 60 ] simplifiying candidate #<alt (λ (v) (/ (* (sqrt (/ (/ 4/3 PI) (- 1 (* v v)))) (sqrt (/ (/ 4/3 PI) (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.539 * * * * [misc]progress:  [ 28 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (- (/ 4/3 PI)) (- (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.539 * * * * [misc]progress:  [ 29 / 60 ] simplifiying candidate #<alt (λ (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)))))>
1545556676.539 * [enter]simplify:  Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))
1545556676.539 * * [misc]simplify:  iters left: 6 (12 enodes)
1545556676.541 * * [misc]simplify:  iters left: 5 (22 enodes)
1545556676.544 * * [misc]simplify:  iters left: 4 (35 enodes)
1545556676.549 * * [misc]simplify:  iters left: 3 (38 enodes)
1545556676.554 * * [misc]simplify:  iters left: 2 (41 enodes)
1545556676.563 * [exit]simplify:  Simplified to (* (/ (cbrt (/ 4/3 PI)) (cbrt (- 1 (* v v)))) (/ (cbrt (/ 4/3 PI)) (cbrt (- 1 (* v v)))))
1545556676.563 * [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)))))
1545556676.564 * [enter]simplify:  Simplifying (/ (cbrt (/ 4/3 PI)) (cbrt (- 1 (* v v))))
1545556676.564 * * [misc]simplify:  iters left: 6 (10 enodes)
1545556676.567 * * [misc]simplify:  iters left: 5 (14 enodes)
1545556676.571 * * [misc]simplify:  iters left: 4 (18 enodes)
1545556676.576 * [exit]simplify:  Simplified to (/ (cbrt (/ 4/3 PI)) (cbrt (- 1 (* v v))))
1545556676.576 * [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)))))
1545556676.576 * * * * [misc]progress:  [ 30 / 60 ] simplifiying candidate #<alt (λ (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)))))>
1545556676.576 * [enter]simplify:  Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (- 1 (* v v))))
1545556676.576 * * [misc]simplify:  iters left: 6 (11 enodes)
1545556676.579 * * [misc]simplify:  iters left: 5 (17 enodes)
1545556676.584 * * [misc]simplify:  iters left: 4 (23 enodes)
1545556676.587 * * [misc]simplify:  iters left: 3 (24 enodes)
1545556676.590 * [exit]simplify:  Simplified to (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (- 1 (* v v))))
1545556676.590 * [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)))))
1545556676.590 * [enter]simplify:  Simplifying (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545556676.590 * * [misc]simplify:  iters left: 6 (10 enodes)
1545556676.592 * * [misc]simplify:  iters left: 5 (14 enodes)
1545556676.593 * * [misc]simplify:  iters left: 4 (18 enodes)
1545556676.596 * [exit]simplify:  Simplified to (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545556676.596 * [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)))))
1545556676.596 * * * * [misc]progress:  [ 31 / 60 ] simplifiying candidate #<alt (λ (v) (/ (* (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) 1) (/ (cbrt (/ 4/3 PI)) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.596 * [enter]simplify:  Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) 1)
1545556676.596 * * [misc]simplify:  iters left: 6 (7 enodes)
1545556676.597 * * [misc]simplify:  iters left: 5 (11 enodes)
1545556676.599 * * [misc]simplify:  iters left: 4 (17 enodes)
1545556676.601 * * [misc]simplify:  iters left: 3 (31 enodes)
1545556676.605 * * [misc]simplify:  iters left: 2 (57 enodes)
1545556676.612 * [exit]simplify:  Simplified to (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI)))
1545556676.612 * [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)))))
1545556676.613 * [enter]simplify:  Simplifying (/ (cbrt (/ 4/3 PI)) (- 1 (* v v)))
1545556676.613 * * [misc]simplify:  iters left: 6 (9 enodes)
1545556676.614 * * [misc]simplify:  iters left: 5 (13 enodes)
1545556676.616 * * [misc]simplify:  iters left: 4 (17 enodes)
1545556676.620 * [exit]simplify:  Simplified to (/ (cbrt (/ 4/3 PI)) (- 1 (* v v)))
1545556676.620 * [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)))))
1545556676.620 * * * * [misc]progress:  [ 32 / 60 ] simplifiying candidate #<alt (λ (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)))))>
1545556676.621 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))
1545556676.621 * * [misc]simplify:  iters left: 6 (11 enodes)
1545556676.624 * * [misc]simplify:  iters left: 5 (17 enodes)
1545556676.628 * * [misc]simplify:  iters left: 4 (21 enodes)
1545556676.633 * [exit]simplify:  Simplified to (/ (/ (sqrt (/ 4/3 PI)) (cbrt (- 1 (* v v)))) (cbrt (- 1 (* v v))))
1545556676.633 * [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)))))
1545556676.633 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (cbrt (- 1 (* v v))))
1545556676.633 * * [misc]simplify:  iters left: 6 (10 enodes)
1545556676.636 * * [misc]simplify:  iters left: 5 (14 enodes)
1545556676.639 * * [misc]simplify:  iters left: 4 (18 enodes)
1545556676.643 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (cbrt (- 1 (* v v))))
1545556676.644 * [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)))))
1545556676.644 * * * * [misc]progress:  [ 33 / 60 ] simplifiying candidate #<alt (λ (v) (/ (* (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))) (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.644 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545556676.644 * * [misc]simplify:  iters left: 6 (10 enodes)
1545556676.647 * * [misc]simplify:  iters left: 5 (14 enodes)
1545556676.649 * * [misc]simplify:  iters left: 4 (18 enodes)
1545556676.651 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545556676.651 * [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)))))
1545556676.651 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545556676.651 * * [misc]simplify:  iters left: 6 (10 enodes)
1545556676.653 * * [misc]simplify:  iters left: 5 (14 enodes)
1545556676.654 * * [misc]simplify:  iters left: 4 (18 enodes)
1545556676.657 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545556676.657 * [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)))))
1545556676.657 * * * * [misc]progress:  [ 34 / 60 ] simplifiying candidate #<alt (λ (v) (/ (* (/ (sqrt (/ 4/3 PI)) 1) (/ (sqrt (/ 4/3 PI)) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.657 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) 1)
1545556676.657 * * [misc]simplify:  iters left: 5 (6 enodes)
1545556676.658 * * [misc]simplify:  iters left: 4 (8 enodes)
1545556676.659 * * [misc]simplify:  iters left: 3 (10 enodes)
1545556676.660 * [exit]simplify:  Simplified to (sqrt (/ 4/3 PI))
1545556676.660 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (/ (* (sqrt (/ 4/3 PI)) (/ (sqrt (/ 4/3 PI)) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6)))))
1545556676.660 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (- 1 (* v v)))
1545556676.660 * * [misc]simplify:  iters left: 6 (9 enodes)
1545556676.662 * * [misc]simplify:  iters left: 5 (13 enodes)
1545556676.663 * * [misc]simplify:  iters left: 4 (17 enodes)
1545556676.665 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (- 1 (* v v)))
1545556676.665 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (* (sqrt (/ 4/3 PI)) (/ (sqrt (/ 4/3 PI)) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6)))))
1545556676.666 * * * * [misc]progress:  [ 35 / 60 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (/ (/ 4/3 PI) (cbrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.666 * [enter]simplify:  Simplifying (/ 1 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))
1545556676.666 * * [misc]simplify:  iters left: 6 (7 enodes)
1545556676.667 * * [misc]simplify:  iters left: 5 (13 enodes)
1545556676.671 * * [misc]simplify:  iters left: 4 (17 enodes)
1545556676.677 * [exit]simplify:  Simplified to (/ (/ 1 (cbrt (- 1 (* v v)))) (cbrt (- 1 (* v v))))
1545556676.677 * [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)))))
1545556676.677 * [enter]simplify:  Simplifying (/ (/ 4/3 PI) (cbrt (- 1 (* v v))))
1545556676.677 * * [misc]simplify:  iters left: 6 (9 enodes)
1545556676.680 * * [misc]simplify:  iters left: 5 (15 enodes)
1545556676.685 * * [misc]simplify:  iters left: 4 (22 enodes)
1545556676.691 * [exit]simplify:  Simplified to (/ (/ 4/3 PI) (cbrt (- 1 (* v v))))
1545556676.691 * [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)))))
1545556676.691 * * * * [misc]progress:  [ 36 / 60 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.691 * [enter]simplify:  Simplifying (/ 1 (sqrt (- 1 (* v v))))
1545556676.691 * * [misc]simplify:  iters left: 6 (6 enodes)
1545556676.692 * * [misc]simplify:  iters left: 5 (10 enodes)
1545556676.693 * * [misc]simplify:  iters left: 4 (14 enodes)
1545556676.695 * [exit]simplify:  Simplified to (/ 1 (sqrt (- 1 (* v v))))
1545556676.695 * [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)))))
1545556676.695 * [enter]simplify:  Simplifying (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))
1545556676.696 * * [misc]simplify:  iters left: 6 (9 enodes)
1545556676.697 * * [misc]simplify:  iters left: 5 (15 enodes)
1545556676.699 * * [misc]simplify:  iters left: 4 (22 enodes)
1545556676.702 * [exit]simplify:  Simplified to (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))
1545556676.702 * [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)))))
1545556676.702 * * * * [misc]progress:  [ 37 / 60 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 1) (/ (/ 4/3 PI) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.702 * [enter]simplify:  Simplifying (/ 1 1)
1545556676.702 * * [misc]simplify:  iters left: 2 (2 enodes)
1545556676.702 * * [misc]simplify:  iters left: 1 (4 enodes)
1545556676.703 * [exit]simplify:  Simplified to 1
1545556676.703 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (/ (* 1 (/ (/ 4/3 PI) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6)))))
1545556676.703 * [enter]simplify:  Simplifying (/ (/ 4/3 PI) (- 1 (* v v)))
1545556676.703 * * [misc]simplify:  iters left: 6 (8 enodes)
1545556676.704 * * [misc]simplify:  iters left: 5 (14 enodes)
1545556676.706 * * [misc]simplify:  iters left: 4 (21 enodes)
1545556676.709 * * [misc]simplify:  iters left: 3 (29 enodes)
1545556676.713 * * [misc]simplify:  iters left: 2 (41 enodes)
1545556676.718 * * [misc]simplify:  iters left: 1 (52 enodes)
1545556676.726 * [exit]simplify:  Simplified to (/ (/ 4/3 PI) (- 1 (* v v)))
1545556676.726 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (* 1 (/ (/ 4/3 PI) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6)))))
1545556676.726 * * * * [misc]progress:  [ 38 / 60 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 4/3 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (/ (/ 1 PI) (cbrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.726 * [enter]simplify:  Simplifying (/ 4/3 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))
1545556676.727 * * [misc]simplify:  iters left: 6 (8 enodes)
1545556676.729 * * [misc]simplify:  iters left: 5 (14 enodes)
1545556676.733 * * [misc]simplify:  iters left: 4 (18 enodes)
1545556676.737 * [exit]simplify:  Simplified to (/ 4/3 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))
1545556676.737 * [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)))))
1545556676.737 * [enter]simplify:  Simplifying (/ (/ 1 PI) (cbrt (- 1 (* v v))))
1545556676.737 * * [misc]simplify:  iters left: 6 (8 enodes)
1545556676.738 * * [misc]simplify:  iters left: 5 (14 enodes)
1545556676.740 * * [misc]simplify:  iters left: 4 (21 enodes)
1545556676.743 * [exit]simplify:  Simplified to (/ (/ 1 PI) (cbrt (- 1 (* v v))))
1545556676.743 * [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)))))
1545556676.743 * * * * [misc]progress:  [ 39 / 60 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 4/3 (sqrt (- 1 (* v v)))) (/ (/ 1 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.743 * [enter]simplify:  Simplifying (/ 4/3 (sqrt (- 1 (* v v))))
1545556676.743 * * [misc]simplify:  iters left: 6 (7 enodes)
1545556676.744 * * [misc]simplify:  iters left: 5 (11 enodes)
1545556676.746 * * [misc]simplify:  iters left: 4 (15 enodes)
1545556676.748 * [exit]simplify:  Simplified to (/ 4/3 (sqrt (- 1 (* v v))))
1545556676.748 * [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)))))
1545556676.748 * [enter]simplify:  Simplifying (/ (/ 1 PI) (sqrt (- 1 (* v v))))
1545556676.748 * * [misc]simplify:  iters left: 6 (8 enodes)
1545556676.749 * * [misc]simplify:  iters left: 5 (14 enodes)
1545556676.751 * * [misc]simplify:  iters left: 4 (21 enodes)
1545556676.754 * [exit]simplify:  Simplified to (/ (/ 1 PI) (sqrt (- 1 (* v v))))
1545556676.754 * [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)))))
1545556676.754 * * * * [misc]progress:  [ 40 / 60 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 4/3 1) (/ (/ 1 PI) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.754 * [enter]simplify:  Simplifying (/ 4/3 1)
1545556676.754 * * [misc]simplify:  iters left: 2 (3 enodes)
1545556676.755 * * [misc]simplify:  iters left: 1 (5 enodes)
1545556676.755 * [exit]simplify:  Simplified to 4/3
1545556676.755 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (/ (* 4/3 (/ (/ 1 PI) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6)))))
1545556676.755 * [enter]simplify:  Simplifying (/ (/ 1 PI) (- 1 (* v v)))
1545556676.755 * * [misc]simplify:  iters left: 6 (7 enodes)
1545556676.756 * * [misc]simplify:  iters left: 5 (13 enodes)
1545556676.758 * * [misc]simplify:  iters left: 4 (20 enodes)
1545556676.761 * * [misc]simplify:  iters left: 3 (28 enodes)
1545556676.768 * * [misc]simplify:  iters left: 2 (40 enodes)
1545556676.777 * * [misc]simplify:  iters left: 1 (51 enodes)
1545556676.787 * [exit]simplify:  Simplified to (/ (/ 1 PI) (- 1 (* v v)))
1545556676.787 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (* 4/3 (/ (/ 1 PI) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6)))))
1545556676.787 * * * * [misc]progress:  [ 41 / 60 ] simplifiying candidate #<alt (λ (v) (/ (* 1 (/ (/ 4/3 PI) (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.788 * * * * [misc]progress:  [ 42 / 60 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 4/3 PI) (/ 1 (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.788 * * * * [misc]progress:  [ 43 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ 1 (/ (- 1 (* v v)) (/ 4/3 PI))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.788 * * * * [misc]progress:  [ 44 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ (/ 4/3 PI) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (cbrt (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.788 * [enter]simplify:  Simplifying (cbrt (- 1 (* v v)))
1545556676.788 * * [misc]simplify:  iters left: 5 (5 enodes)
1545556676.789 * * [misc]simplify:  iters left: 4 (9 enodes)
1545556676.791 * * [misc]simplify:  iters left: 3 (13 enodes)
1545556676.793 * [exit]simplify:  Simplified to (cbrt (- 1 (* v v)))
1545556676.793 * [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)))))
1545556676.793 * * * * [misc]progress:  [ 45 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))) (sqrt (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.793 * [enter]simplify:  Simplifying (sqrt (- 1 (* v v)))
1545556676.793 * * [misc]simplify:  iters left: 5 (5 enodes)
1545556676.794 * * [misc]simplify:  iters left: 4 (9 enodes)
1545556676.795 * * [misc]simplify:  iters left: 3 (13 enodes)
1545556676.797 * [exit]simplify:  Simplified to (sqrt (- 1 (* v v)))
1545556676.797 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (/ (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))) (sqrt (- 1 (* v v)))) (sqrt (+ 2 (* (* v v) -6)))))
1545556676.797 * * * * [misc]progress:  [ 46 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ (/ 4/3 PI) 1) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.797 * [enter]simplify:  Simplifying (- 1 (* v v))
1545556676.797 * * [misc]simplify:  iters left: 4 (4 enodes)
1545556676.798 * * [misc]simplify:  iters left: 3 (8 enodes)
1545556676.799 * * [misc]simplify:  iters left: 2 (12 enodes)
1545556676.800 * [exit]simplify:  Simplified to (- 1 (* v v))
1545556676.800 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (/ (/ (/ 4/3 PI) 1) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))))
1545556676.800 * * * * [misc]progress:  [ 47 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (/ (- 1 (* v v)) (cbrt (/ 4/3 PI)))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.801 * [enter]simplify:  Simplifying (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI)))
1545556676.801 * * [misc]simplify:  iters left: 5 (5 enodes)
1545556676.801 * [exit]simplify:  Simplified to (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI)))
1545556676.801 * [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)))))
1545556676.801 * * * * [misc]progress:  [ 48 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (sqrt (/ 4/3 PI)) (/ (- 1 (* v v)) (sqrt (/ 4/3 PI)))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.802 * [enter]simplify:  Simplifying (sqrt (/ 4/3 PI))
1545556676.802 * * [misc]simplify:  iters left: 3 (4 enodes)
1545556676.802 * [exit]simplify:  Simplified to (sqrt (/ 4/3 PI))
1545556676.802 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (/ (/ (sqrt (/ 4/3 PI)) (/ (- 1 (* v v)) (sqrt (/ 4/3 PI)))) (sqrt (+ 2 (* (* v v) -6)))))
1545556676.802 * * * * [misc]progress:  [ 49 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ 1 (/ (- 1 (* v v)) (/ 4/3 PI))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.802 * * * * [misc]progress:  [ 50 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ 4/3 (/ (- 1 (* v v)) (/ 1 PI))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.802 * * * * [misc]progress:  [ 51 / 60 ] simplifiying candidate #<alt (λ (v) (/ (* (/ (/ 4/3 PI) (- (pow 1 3) (pow (* v v) 3))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.802 * [enter]simplify:  Simplifying (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v))))
1545556676.803 * * [misc]simplify:  iters left: 6 (8 enodes)
1545556676.804 * * [misc]simplify:  iters left: 5 (23 enodes)
1545556676.809 * * [misc]simplify:  iters left: 4 (57 enodes)
1545556676.820 * * [misc]simplify:  iters left: 3 (87 enodes)
1545556676.849 * * [misc]simplify:  iters left: 2 (118 enodes)
1545556676.864 * * [misc]simplify:  iters left: 1 (146 enodes)
1545556676.890 * [exit]simplify:  Simplified to (+ 1 (+ (* v v) (pow v 4)))
1545556676.890 * [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)))))
1545556676.891 * * * * [misc]progress:  [ 52 / 60 ] simplifiying candidate #<alt (λ (v) (/ (* (/ (/ 4/3 PI) (- (* 1 1) (* (* v v) (* v v)))) (+ 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.891 * [enter]simplify:  Simplifying (+ 1 (* v v))
1545556676.891 * * [misc]simplify:  iters left: 4 (4 enodes)
1545556676.892 * * [misc]simplify:  iters left: 3 (7 enodes)
1545556676.894 * [exit]simplify:  Simplified to (+ 1 (* v v))
1545556676.894 * [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)))))
1545556676.894 * * * * [misc]progress:  [ 53 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ 4/3 (* (- 1 (* v v)) PI)) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.894 * * * * [misc]progress:  [ 54 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556676.895 * [enter]simplify:  Simplifying (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6))))
1545556676.895 * * [misc]simplify:  iters left: 6 (14 enodes)
1545556676.899 * * [misc]simplify:  iters left: 5 (26 enodes)
1545556676.907 * * [misc]simplify:  iters left: 4 (44 enodes)
1545556676.921 * * [misc]simplify:  iters left: 3 (97 enodes)
1545556676.954 * * [misc]simplify:  iters left: 2 (173 enodes)
1545556676.988 * * [misc]simplify:  iters left: 1 (299 enodes)
1545556677.098 * [exit]simplify:  Simplified to (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ (* -6 (* v v)) 2)))
1545556677.098 * [misc]simplify:  Simplified (2) to (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ (* -6 (* v v)) 2))))
1545556677.098 * * * * [misc]progress:  [ 55 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* -6 (pow v 2))))))>
1545556677.098 * [enter]simplify:  Simplifying (* -6 (pow v 2))
1545556677.098 * * [misc]simplify:  iters left: 3 (5 enodes)
1545556677.100 * * [misc]simplify:  iters left: 2 (7 enodes)
1545556677.100 * * [misc]simplify:  iters left: 1 (11 enodes)
1545556677.102 * [exit]simplify:  Simplified to (* (* v v) -6)
1545556677.102 * [misc]simplify:  Simplified (2 2 1 2) to (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))))
1545556677.102 * * * * [misc]progress:  [ 56 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* -6 (pow v 2))))))>
1545556677.102 * [enter]simplify:  Simplifying (* -6 (pow v 2))
1545556677.102 * * [misc]simplify:  iters left: 3 (5 enodes)
1545556677.103 * * [misc]simplify:  iters left: 2 (7 enodes)
1545556677.104 * * [misc]simplify:  iters left: 1 (11 enodes)
1545556677.105 * [exit]simplify:  Simplified to (* (* v v) -6)
1545556677.105 * [misc]simplify:  Simplified (2 2 1 2) to (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))))
1545556677.105 * * * * [misc]progress:  [ 57 / 60 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* -6 (pow v 2))))))>
1545556677.106 * [enter]simplify:  Simplifying (* -6 (pow v 2))
1545556677.106 * * [misc]simplify:  iters left: 3 (5 enodes)
1545556677.106 * * [misc]simplify:  iters left: 2 (7 enodes)
1545556677.107 * * [misc]simplify:  iters left: 1 (11 enodes)
1545556677.109 * [exit]simplify:  Simplified to (* (* v v) -6)
1545556677.109 * [misc]simplify:  Simplified (2 2 1 2) to (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))))
1545556677.109 * * * * [misc]progress:  [ 58 / 60 ] simplifiying candidate #<alt (λ (v) (/ (+ (* 4/3 (/ (pow v 2) PI)) (+ (* 4/3 (/ 1 PI)) (* 4/3 (/ (pow v 4) PI)))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556677.109 * [enter]simplify:  Simplifying (+ (* 4/3 (/ (pow v 2) PI)) (+ (* 4/3 (/ 1 PI)) (* 4/3 (/ (pow v 4) PI))))
1545556677.109 * * [misc]simplify:  iters left: 6 (16 enodes)
1545556677.113 * * [misc]simplify:  iters left: 5 (34 enodes)
1545556677.120 * * [misc]simplify:  iters left: 4 (63 enodes)
1545556677.146 * * [misc]simplify:  iters left: 3 (91 enodes)
1545556677.178 * * [misc]simplify:  iters left: 2 (126 enodes)
1545556677.201 * * [misc]simplify:  iters left: 1 (203 enodes)
1545556677.313 * [exit]simplify:  Simplified to (+ (/ 4/3 PI) (* (+ (pow v 4) (* v v)) (/ 4/3 PI)))
1545556677.314 * [misc]simplify:  Simplified (2 1) to (λ (v) (/ (+ (/ 4/3 PI) (* (+ (pow v 4) (* v v)) (/ 4/3 PI))) (sqrt (+ 2 (* (* v v) -6)))))
1545556677.314 * * * * [misc]progress:  [ 59 / 60 ] simplifiying candidate #<alt (λ (v) (/ (- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI)))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556677.314 * [enter]simplify:  Simplifying (- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI))))))
1545556677.314 * * [misc]simplify:  iters left: 6 (22 enodes)
1545556677.323 * * [misc]simplify:  iters left: 5 (50 enodes)
1545556677.345 * * [misc]simplify:  iters left: 4 (105 enodes)
1545556677.395 * * [misc]simplify:  iters left: 3 (237 enodes)
1545556677.654 * * [misc]simplify:  iters left: 2 (443 enodes)
1545556677.935 * [exit]simplify:  Simplified to (- (/ -4/3 (* (* v PI) v)) (+ (/ (/ 4/3 PI) (pow v 6)) (/ (/ 4/3 PI) (pow v 4))))
1545556677.935 * [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)))))
1545556677.935 * * * * [misc]progress:  [ 60 / 60 ] simplifiying candidate #<alt (λ (v) (/ (- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI)))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556677.935 * [enter]simplify:  Simplifying (- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI))))))
1545556677.936 * * [misc]simplify:  iters left: 6 (22 enodes)
1545556677.940 * * [misc]simplify:  iters left: 5 (50 enodes)
1545556677.951 * * [misc]simplify:  iters left: 4 (105 enodes)
1545556678.033 * * [misc]simplify:  iters left: 3 (237 enodes)
1545556678.241 * * [misc]simplify:  iters left: 2 (443 enodes)
1545556678.529 * [exit]simplify:  Simplified to (- (/ -4/3 (* (* v PI) v)) (+ (/ (/ 4/3 PI) (pow v 6)) (/ (/ 4/3 PI) (pow v 4))))
1545556678.530 * [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)))))
1545556678.530 * * * [misc]progress:  adding candidates to table
1545556679.341 * * [misc]progress:  iteration 2 / 4
1545556679.341 * * * [misc]progress:  picking best candidate
1545556679.346 * * * * [misc]pick:  Picked  #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.346 * * * [misc]progress:  localizing error
1545556679.370 * * * [misc]progress:  generating rewritten candidates
1545556679.370 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 2 1)
1545556679.370 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 2 1 2)
1545556679.375 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1 2)
1545556679.383 * * * [misc]progress:  generating series expansions
1545556679.383 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 2 1)
1545556679.383 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 2 1 2)
1545556679.383 * [misc]backup-simplify:  Simplify (* (* v v) -6) into (* -6 (pow v 2))
1545556679.383 * [misc]approximate:  Taking taylor expansion of (* -6 (pow v 2)) in (v) around 0
1545556679.383 * [misc]taylor:  Taking taylor expansion of (* -6 (pow v 2)) in v
1545556679.383 * [misc]taylor:  Taking taylor expansion of -6 in v
1545556679.383 * [misc]backup-simplify:  Simplify -6 into -6
1545556679.383 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556679.383 * [misc]taylor:  Taking taylor expansion of v in v
1545556679.383 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.384 * [misc]backup-simplify:  Simplify 1 into 1
1545556679.384 * [misc]taylor:  Taking taylor expansion of (* -6 (pow v 2)) in v
1545556679.384 * [misc]taylor:  Taking taylor expansion of -6 in v
1545556679.384 * [misc]backup-simplify:  Simplify -6 into -6
1545556679.384 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556679.384 * [misc]taylor:  Taking taylor expansion of v in v
1545556679.384 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.384 * [misc]backup-simplify:  Simplify 1 into 1
1545556679.384 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545556679.384 * [misc]backup-simplify:  Simplify (* -6 1) into -6
1545556679.384 * [misc]backup-simplify:  Simplify -6 into -6
1545556679.385 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545556679.385 * [misc]backup-simplify:  Simplify (+ (* -6 0) (* 0 1)) into 0
1545556679.385 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.385 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545556679.385 * [misc]backup-simplify:  Simplify (+ (* -6 0) (+ (* 0 0) (* 0 1))) into 0
1545556679.385 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.386 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545556679.386 * [misc]backup-simplify:  Simplify (+ (* -6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545556679.386 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.387 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545556679.387 * [misc]backup-simplify:  Simplify (+ (* -6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545556679.387 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.387 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545556679.388 * [misc]backup-simplify:  Simplify (+ (* -6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545556679.388 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.388 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545556679.393 * [misc]backup-simplify:  Simplify (+ (* -6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545556679.393 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.393 * [misc]backup-simplify:  Simplify (* -6 (pow v 2)) into (* -6 (pow v 2))
1545556679.393 * [misc]backup-simplify:  Simplify (* (* (/ 1 v) (/ 1 v)) -6) into (/ -6 (pow v 2))
1545556679.394 * [misc]approximate:  Taking taylor expansion of (/ -6 (pow v 2)) in (v) around 0
1545556679.394 * [misc]taylor:  Taking taylor expansion of (/ -6 (pow v 2)) in v
1545556679.394 * [misc]taylor:  Taking taylor expansion of -6 in v
1545556679.394 * [misc]backup-simplify:  Simplify -6 into -6
1545556679.394 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556679.394 * [misc]taylor:  Taking taylor expansion of v in v
1545556679.394 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.394 * [misc]backup-simplify:  Simplify 1 into 1
1545556679.394 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545556679.394 * [misc]backup-simplify:  Simplify (/ -6 1) into -6
1545556679.394 * [misc]taylor:  Taking taylor expansion of (/ -6 (pow v 2)) in v
1545556679.394 * [misc]taylor:  Taking taylor expansion of -6 in v
1545556679.394 * [misc]backup-simplify:  Simplify -6 into -6
1545556679.394 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556679.394 * [misc]taylor:  Taking taylor expansion of v in v
1545556679.394 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.394 * [misc]backup-simplify:  Simplify 1 into 1
1545556679.394 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545556679.395 * [misc]backup-simplify:  Simplify (/ -6 1) into -6
1545556679.395 * [misc]backup-simplify:  Simplify -6 into -6
1545556679.395 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545556679.395 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)))) into 0
1545556679.395 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.396 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545556679.396 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556679.396 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.396 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545556679.397 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556679.397 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.397 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545556679.398 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556679.398 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.398 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545556679.399 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556679.399 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.399 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545556679.400 * [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
1545556679.400 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.400 * [misc]backup-simplify:  Simplify (* -6 (pow (/ 1 (/ 1 v)) 2)) into (* -6 (pow v 2))
1545556679.400 * [misc]backup-simplify:  Simplify (* (* (/ 1 (- v)) (/ 1 (- v))) -6) into (/ -6 (pow v 2))
1545556679.400 * [misc]approximate:  Taking taylor expansion of (/ -6 (pow v 2)) in (v) around 0
1545556679.400 * [misc]taylor:  Taking taylor expansion of (/ -6 (pow v 2)) in v
1545556679.400 * [misc]taylor:  Taking taylor expansion of -6 in v
1545556679.401 * [misc]backup-simplify:  Simplify -6 into -6
1545556679.401 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556679.401 * [misc]taylor:  Taking taylor expansion of v in v
1545556679.401 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.401 * [misc]backup-simplify:  Simplify 1 into 1
1545556679.401 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545556679.401 * [misc]backup-simplify:  Simplify (/ -6 1) into -6
1545556679.401 * [misc]taylor:  Taking taylor expansion of (/ -6 (pow v 2)) in v
1545556679.401 * [misc]taylor:  Taking taylor expansion of -6 in v
1545556679.401 * [misc]backup-simplify:  Simplify -6 into -6
1545556679.401 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556679.401 * [misc]taylor:  Taking taylor expansion of v in v
1545556679.401 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.401 * [misc]backup-simplify:  Simplify 1 into 1
1545556679.401 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545556679.401 * [misc]backup-simplify:  Simplify (/ -6 1) into -6
1545556679.402 * [misc]backup-simplify:  Simplify -6 into -6
1545556679.402 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545556679.402 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)))) into 0
1545556679.402 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.402 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545556679.403 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556679.403 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.403 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545556679.404 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556679.404 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.404 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545556679.404 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556679.405 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.405 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545556679.405 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556679.406 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.406 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545556679.407 * [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
1545556679.407 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.407 * [misc]backup-simplify:  Simplify (* -6 (pow (/ 1 (/ 1 (- v))) 2)) into (* -6 (pow v 2))
1545556679.407 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1 2)
1545556679.408 * [misc]backup-simplify:  Simplify (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))) into (* 4/3 (* (sqrt (/ 1 (- 1 (pow v 2)))) (/ 1 PI)))
1545556679.408 * [misc]approximate:  Taking taylor expansion of (* 4/3 (* (sqrt (/ 1 (- 1 (pow v 2)))) (/ 1 PI))) in (v) around 0
1545556679.408 * [misc]taylor:  Taking taylor expansion of (* 4/3 (* (sqrt (/ 1 (- 1 (pow v 2)))) (/ 1 PI))) in v
1545556679.408 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545556679.408 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545556679.408 * [misc]taylor:  Taking taylor expansion of (* (sqrt (/ 1 (- 1 (pow v 2)))) (/ 1 PI)) in v
1545556679.408 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (- 1 (pow v 2)))) in v
1545556679.408 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (pow v 2))) in v
1545556679.408 * [misc]taylor:  Taking taylor expansion of (- 1 (pow v 2)) in v
1545556679.408 * [misc]taylor:  Taking taylor expansion of 1 in v
1545556679.408 * [misc]backup-simplify:  Simplify 1 into 1
1545556679.408 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556679.408 * [misc]taylor:  Taking taylor expansion of v in v
1545556679.408 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.408 * [misc]backup-simplify:  Simplify 1 into 1
1545556679.408 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545556679.408 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545556679.409 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545556679.409 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556679.409 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545556679.409 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545556679.409 * [misc]taylor:  Taking taylor expansion of (/ 1 PI) in v
1545556679.409 * [misc]taylor:  Taking taylor expansion of PI in v
1545556679.409 * [misc]backup-simplify:  Simplify PI into PI
1545556679.410 * [misc]backup-simplify:  Simplify (/ 1 PI) into (/ 1 PI)
1545556679.410 * [misc]taylor:  Taking taylor expansion of (* 4/3 (* (sqrt (/ 1 (- 1 (pow v 2)))) (/ 1 PI))) in v
1545556679.410 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545556679.410 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545556679.410 * [misc]taylor:  Taking taylor expansion of (* (sqrt (/ 1 (- 1 (pow v 2)))) (/ 1 PI)) in v
1545556679.410 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (- 1 (pow v 2)))) in v
1545556679.410 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (pow v 2))) in v
1545556679.410 * [misc]taylor:  Taking taylor expansion of (- 1 (pow v 2)) in v
1545556679.410 * [misc]taylor:  Taking taylor expansion of 1 in v
1545556679.410 * [misc]backup-simplify:  Simplify 1 into 1
1545556679.410 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556679.410 * [misc]taylor:  Taking taylor expansion of v in v
1545556679.410 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.410 * [misc]backup-simplify:  Simplify 1 into 1
1545556679.410 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545556679.410 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545556679.410 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545556679.411 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556679.411 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545556679.411 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545556679.411 * [misc]taylor:  Taking taylor expansion of (/ 1 PI) in v
1545556679.411 * [misc]taylor:  Taking taylor expansion of PI in v
1545556679.411 * [misc]backup-simplify:  Simplify PI into PI
1545556679.411 * [misc]backup-simplify:  Simplify (/ 1 PI) into (/ 1 PI)
1545556679.412 * [misc]backup-simplify:  Simplify (* 1 (/ 1 PI)) into (/ 1 PI)
1545556679.412 * [misc]backup-simplify:  Simplify (* 4/3 (/ 1 PI)) into (/ 4/3 PI)
1545556679.413 * [misc]backup-simplify:  Simplify (/ 4/3 PI) into (/ 4/3 PI)
1545556679.414 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)))) into 0
1545556679.415 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ 1 PI))) into 0
1545556679.416 * [misc]backup-simplify:  Simplify (+ (* 4/3 0) (* 0 (/ 1 PI))) into 0
1545556679.416 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.418 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)))) into 0
1545556679.418 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545556679.418 * [misc]backup-simplify:  Simplify (- 1) into -1
1545556679.418 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545556679.418 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ -1 1)) (* 0 (/ 0 1)))) into 1
1545556679.419 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 1)) into 1/2
1545556679.421 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 1/2 (/ 1 PI)))) into (* 1/2 (/ 1 PI))
1545556679.423 * [misc]backup-simplify:  Simplify (+ (* 4/3 (* 1/2 (/ 1 PI))) (+ (* 0 0) (* 0 (/ 1 PI)))) into (* 2/3 (/ 1 PI))
1545556679.423 * [misc]backup-simplify:  Simplify (* 2/3 (/ 1 PI)) into (/ 2/3 PI)
1545556679.426 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0
1545556679.426 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545556679.426 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556679.426 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556679.427 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ -1 1)) (* 1 (/ 0 1)))) into 0
1545556679.427 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 1/2)))) (* 2 1)) into 0
1545556679.429 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1/2 0) (* 0 (/ 1 PI))))) into 0
1545556679.431 * [misc]backup-simplify:  Simplify (+ (* 4/3 0) (+ (* 0 (* 1/2 (/ 1 PI))) (+ (* 0 0) (* 0 (/ 1 PI))))) into 0
1545556679.431 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.434 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0
1545556679.435 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545556679.435 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556679.435 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556679.435 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 1 (/ -1 1)) (* 0 (/ 0 1)))) into 1
1545556679.437 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into 3/8
1545556679.439 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1/2 0) (+ (* 0 0) (* 3/8 (/ 1 PI)))))) into (* 3/8 (/ 1 PI))
1545556679.443 * [misc]backup-simplify:  Simplify (+ (* 4/3 (* 3/8 (/ 1 PI))) (+ (* 0 0) (+ (* 0 (* 1/2 (/ 1 PI))) (+ (* 0 0) (* 0 (/ 1 PI)))))) into (* 1/2 (/ 1 PI))
1545556679.444 * [misc]backup-simplify:  Simplify (* 1/2 (/ 1 PI)) into (/ 1/2 PI)
1545556679.445 * [misc]backup-simplify:  Simplify (+ (* (/ 1/2 PI) (pow v 4)) (+ (* (/ 2/3 PI) (pow v 2)) (/ 4/3 PI))) into (+ (* 2/3 (/ (pow v 2) PI)) (+ (* 4/3 (/ 1 PI)) (* 1/2 (/ (pow v 4) PI))))
1545556679.446 * [misc]backup-simplify:  Simplify (/ (/ 4/3 PI) (sqrt (- 1 (* (/ 1 v) (/ 1 v))))) into (* 4/3 (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI)))
1545556679.446 * [misc]approximate:  Taking taylor expansion of (* 4/3 (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI))) in (v) around 0
1545556679.446 * [misc]taylor:  Taking taylor expansion of (* 4/3 (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI))) in v
1545556679.446 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545556679.446 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545556679.446 * [misc]taylor:  Taking taylor expansion of (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI)) in v
1545556679.446 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) in v
1545556679.446 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 (pow v 2)))) in v
1545556679.446 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v
1545556679.446 * [misc]taylor:  Taking taylor expansion of 1 in v
1545556679.446 * [misc]backup-simplify:  Simplify 1 into 1
1545556679.446 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1545556679.446 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556679.446 * [misc]taylor:  Taking taylor expansion of v in v
1545556679.446 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.446 * [misc]backup-simplify:  Simplify 1 into 1
1545556679.446 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545556679.446 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545556679.447 * [misc]backup-simplify:  Simplify (- 1) into -1
1545556679.447 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545556679.447 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545556679.447 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545556679.447 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545556679.448 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545556679.448 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556679.448 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556679.448 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
1545556679.448 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1545556679.448 * [misc]taylor:  Taking taylor expansion of (/ 1 PI) in v
1545556679.448 * [misc]taylor:  Taking taylor expansion of PI in v
1545556679.448 * [misc]backup-simplify:  Simplify PI into PI
1545556679.449 * [misc]backup-simplify:  Simplify (/ 1 PI) into (/ 1 PI)
1545556679.449 * [misc]taylor:  Taking taylor expansion of (* 4/3 (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI))) in v
1545556679.449 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545556679.449 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545556679.449 * [misc]taylor:  Taking taylor expansion of (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI)) in v
1545556679.449 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) in v
1545556679.449 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 (pow v 2)))) in v
1545556679.449 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v
1545556679.449 * [misc]taylor:  Taking taylor expansion of 1 in v
1545556679.449 * [misc]backup-simplify:  Simplify 1 into 1
1545556679.449 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1545556679.449 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556679.449 * [misc]taylor:  Taking taylor expansion of v in v
1545556679.449 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.449 * [misc]backup-simplify:  Simplify 1 into 1
1545556679.449 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545556679.449 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545556679.450 * [misc]backup-simplify:  Simplify (- 1) into -1
1545556679.450 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545556679.450 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545556679.450 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545556679.450 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545556679.451 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545556679.451 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556679.451 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556679.451 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
1545556679.451 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1545556679.451 * [misc]taylor:  Taking taylor expansion of (/ 1 PI) in v
1545556679.451 * [misc]taylor:  Taking taylor expansion of PI in v
1545556679.451 * [misc]backup-simplify:  Simplify PI into PI
1545556679.452 * [misc]backup-simplify:  Simplify (/ 1 PI) into (/ 1 PI)
1545556679.452 * [misc]backup-simplify:  Simplify (* (sqrt -1) (/ 1 PI)) into (/ (sqrt -1) PI)
1545556679.453 * [misc]backup-simplify:  Simplify (* 4/3 (/ (sqrt -1) PI)) into (* 4/3 (/ (sqrt -1) PI))
1545556679.454 * [misc]backup-simplify:  Simplify (* 4/3 (/ (sqrt -1) PI)) into (* 4/3 (/ (sqrt -1) PI))
1545556679.455 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)))) into 0
1545556679.456 * [misc]backup-simplify:  Simplify (+ (* (sqrt -1) 0) (* 0 (/ 1 PI))) into 0
1545556679.457 * [misc]backup-simplify:  Simplify (+ (* 4/3 0) (* 0 (/ (sqrt -1) PI))) into 0
1545556679.457 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.459 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)))) into 0
1545556679.459 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545556679.459 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556679.460 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556679.460 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545556679.460 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)) (* 0 (/ 0 -1)))) into -1
1545556679.461 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1545556679.463 * [misc]backup-simplify:  Simplify (+ (* (sqrt -1) 0) (+ (* 0 0) (* (/ -1/2 (sqrt -1)) (/ 1 PI)))) into (- (* 1/2 (/ 1 (* (sqrt -1) PI))))
1545556679.466 * [misc]backup-simplify:  Simplify (+ (* 4/3 (- (* 1/2 (/ 1 (* (sqrt -1) PI))))) (+ (* 0 0) (* 0 (/ (sqrt -1) PI)))) into (- (* 2/3 (/ 1 (* (sqrt -1) PI))))
1545556679.468 * [misc]backup-simplify:  Simplify (- (* 2/3 (/ 1 (* (sqrt -1) PI)))) into (- (* 2/3 (/ 1 (* (sqrt -1) PI))))
1545556679.470 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0
1545556679.470 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545556679.471 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556679.471 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556679.471 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556679.471 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 1 -1)) (* -1 (/ 0 -1)))) into 0
1545556679.472 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1545556679.474 * [misc]backup-simplify:  Simplify (+ (* (sqrt -1) 0) (+ (* 0 0) (+ (* (/ -1/2 (sqrt -1)) 0) (* 0 (/ 1 PI))))) into 0
1545556679.478 * [misc]backup-simplify:  Simplify (+ (* 4/3 0) (+ (* 0 (- (* 1/2 (/ 1 (* (sqrt -1) PI))))) (+ (* 0 0) (* 0 (/ (sqrt -1) PI))))) into 0
1545556679.478 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.481 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0
1545556679.481 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545556679.482 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556679.482 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556679.482 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556679.482 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* -1 (/ 1 -1)) (* 0 (/ 0 -1)))) into -1
1545556679.484 * [misc]backup-simplify:  Simplify (/ (- -1 (pow (/ -1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (* 1/4 (/ 1 (pow (sqrt -1) 2))) 1) (sqrt -1)))
1545556679.491 * [misc]backup-simplify:  Simplify (+ (* (sqrt -1) 0) (+ (* 0 0) (+ (* (/ -1/2 (sqrt -1)) 0) (+ (* 0 0) (* (* -1/2 (/ (+ (* 1/4 (/ 1 (pow (sqrt -1) 2))) 1) (sqrt -1))) (/ 1 PI)))))) into (- (+ (* 1/2 (/ 1 (* (sqrt -1) PI))) (* 1/8 (/ 1 (* (pow (sqrt -1) 3) PI)))))
1545556679.500 * [misc]backup-simplify:  Simplify (+ (* 4/3 (- (+ (* 1/2 (/ 1 (* (sqrt -1) PI))) (* 1/8 (/ 1 (* (pow (sqrt -1) 3) PI)))))) (+ (* 0 0) (+ (* 0 (- (* 1/2 (/ 1 (* (sqrt -1) PI))))) (+ (* 0 0) (* 0 (/ (sqrt -1) PI)))))) into (- (+ (* 2/3 (/ 1 (* (sqrt -1) PI))) (* 1/6 (/ 1 (* (pow (sqrt -1) 3) PI)))))
1545556679.503 * [misc]backup-simplify:  Simplify (- (+ (* 2/3 (/ 1 (* (sqrt -1) PI))) (* 1/6 (/ 1 (* (pow (sqrt -1) 3) PI))))) into (- (+ (* 2/3 (/ 1 (* (sqrt -1) PI))) (* 1/6 (/ 1 (* (pow (sqrt -1) 3) PI)))))
1545556679.509 * [misc]backup-simplify:  Simplify (+ (* (- (+ (* 2/3 (/ 1 (* (sqrt -1) PI))) (* 1/6 (/ 1 (* (pow (sqrt -1) 3) PI))))) (pow (/ 1 v) 5)) (+ (* (- (* 2/3 (/ 1 (* (sqrt -1) PI)))) (pow (/ 1 v) 3)) (* (* 4/3 (/ (sqrt -1) PI)) (/ 1 v)))) into (- (* 4/3 (/ (sqrt -1) (* v PI))) (+ (* 2/3 (/ 1 (* (pow v 5) (* (sqrt -1) PI)))) (+ (* 2/3 (/ 1 (* (pow v 3) (* (sqrt -1) PI)))) (* 1/6 (/ 1 (* (pow v 5) (* (pow (sqrt -1) 3) PI)))))))
1545556679.510 * [misc]backup-simplify:  Simplify (/ (/ 4/3 PI) (sqrt (- 1 (* (/ 1 (- v)) (/ 1 (- v)))))) into (* 4/3 (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI)))
1545556679.510 * [misc]approximate:  Taking taylor expansion of (* 4/3 (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI))) in (v) around 0
1545556679.510 * [misc]taylor:  Taking taylor expansion of (* 4/3 (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI))) in v
1545556679.510 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545556679.510 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545556679.510 * [misc]taylor:  Taking taylor expansion of (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI)) in v
1545556679.510 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) in v
1545556679.510 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 (pow v 2)))) in v
1545556679.510 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v
1545556679.510 * [misc]taylor:  Taking taylor expansion of 1 in v
1545556679.510 * [misc]backup-simplify:  Simplify 1 into 1
1545556679.510 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1545556679.510 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556679.510 * [misc]taylor:  Taking taylor expansion of v in v
1545556679.510 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.510 * [misc]backup-simplify:  Simplify 1 into 1
1545556679.510 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545556679.511 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545556679.511 * [misc]backup-simplify:  Simplify (- 1) into -1
1545556679.511 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545556679.511 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545556679.511 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545556679.512 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545556679.512 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545556679.512 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556679.512 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556679.512 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
1545556679.513 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1545556679.513 * [misc]taylor:  Taking taylor expansion of (/ 1 PI) in v
1545556679.513 * [misc]taylor:  Taking taylor expansion of PI in v
1545556679.513 * [misc]backup-simplify:  Simplify PI into PI
1545556679.513 * [misc]backup-simplify:  Simplify (/ 1 PI) into (/ 1 PI)
1545556679.513 * [misc]taylor:  Taking taylor expansion of (* 4/3 (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI))) in v
1545556679.513 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545556679.513 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545556679.513 * [misc]taylor:  Taking taylor expansion of (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI)) in v
1545556679.513 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) in v
1545556679.513 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 (pow v 2)))) in v
1545556679.513 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v
1545556679.513 * [misc]taylor:  Taking taylor expansion of 1 in v
1545556679.513 * [misc]backup-simplify:  Simplify 1 into 1
1545556679.513 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1545556679.513 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545556679.513 * [misc]taylor:  Taking taylor expansion of v in v
1545556679.513 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.513 * [misc]backup-simplify:  Simplify 1 into 1
1545556679.513 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545556679.514 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545556679.514 * [misc]backup-simplify:  Simplify (- 1) into -1
1545556679.514 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545556679.514 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545556679.514 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545556679.515 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545556679.515 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545556679.515 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556679.515 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556679.515 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
1545556679.516 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1545556679.516 * [misc]taylor:  Taking taylor expansion of (/ 1 PI) in v
1545556679.516 * [misc]taylor:  Taking taylor expansion of PI in v
1545556679.516 * [misc]backup-simplify:  Simplify PI into PI
1545556679.516 * [misc]backup-simplify:  Simplify (/ 1 PI) into (/ 1 PI)
1545556679.517 * [misc]backup-simplify:  Simplify (* (sqrt -1) (/ 1 PI)) into (/ (sqrt -1) PI)
1545556679.517 * [misc]backup-simplify:  Simplify (* 4/3 (/ (sqrt -1) PI)) into (* 4/3 (/ (sqrt -1) PI))
1545556679.518 * [misc]backup-simplify:  Simplify (* 4/3 (/ (sqrt -1) PI)) into (* 4/3 (/ (sqrt -1) PI))
1545556679.519 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)))) into 0
1545556679.520 * [misc]backup-simplify:  Simplify (+ (* (sqrt -1) 0) (* 0 (/ 1 PI))) into 0
1545556679.521 * [misc]backup-simplify:  Simplify (+ (* 4/3 0) (* 0 (/ (sqrt -1) PI))) into 0
1545556679.521 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.523 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)))) into 0
1545556679.524 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545556679.524 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556679.524 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556679.524 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545556679.524 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)) (* 0 (/ 0 -1)))) into -1
1545556679.526 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1545556679.528 * [misc]backup-simplify:  Simplify (+ (* (sqrt -1) 0) (+ (* 0 0) (* (/ -1/2 (sqrt -1)) (/ 1 PI)))) into (- (* 1/2 (/ 1 (* (sqrt -1) PI))))
1545556679.531 * [misc]backup-simplify:  Simplify (+ (* 4/3 (- (* 1/2 (/ 1 (* (sqrt -1) PI))))) (+ (* 0 0) (* 0 (/ (sqrt -1) PI)))) into (- (* 2/3 (/ 1 (* (sqrt -1) PI))))
1545556679.532 * [misc]backup-simplify:  Simplify (- (* 2/3 (/ 1 (* (sqrt -1) PI)))) into (- (* 2/3 (/ 1 (* (sqrt -1) PI))))
1545556679.535 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0
1545556679.535 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545556679.535 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556679.536 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556679.536 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556679.536 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 1 -1)) (* -1 (/ 0 -1)))) into 0
1545556679.537 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1545556679.539 * [misc]backup-simplify:  Simplify (+ (* (sqrt -1) 0) (+ (* 0 0) (+ (* (/ -1/2 (sqrt -1)) 0) (* 0 (/ 1 PI))))) into 0
1545556679.543 * [misc]backup-simplify:  Simplify (+ (* 4/3 0) (+ (* 0 (- (* 1/2 (/ 1 (* (sqrt -1) PI))))) (+ (* 0 0) (* 0 (/ (sqrt -1) PI))))) into 0
1545556679.543 * [misc]backup-simplify:  Simplify 0 into 0
1545556679.546 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0
1545556679.546 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545556679.547 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545556679.547 * [misc]backup-simplify:  Simplify (- 0) into 0
1545556679.547 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545556679.548 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* -1 (/ 1 -1)) (* 0 (/ 0 -1)))) into -1
1545556679.550 * [misc]backup-simplify:  Simplify (/ (- -1 (pow (/ -1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (* 1/4 (/ 1 (pow (sqrt -1) 2))) 1) (sqrt -1)))
1545556679.559 * [misc]backup-simplify:  Simplify (+ (* (sqrt -1) 0) (+ (* 0 0) (+ (* (/ -1/2 (sqrt -1)) 0) (+ (* 0 0) (* (* -1/2 (/ (+ (* 1/4 (/ 1 (pow (sqrt -1) 2))) 1) (sqrt -1))) (/ 1 PI)))))) into (- (+ (* 1/2 (/ 1 (* (sqrt -1) PI))) (* 1/8 (/ 1 (* (pow (sqrt -1) 3) PI)))))
1545556679.568 * [misc]backup-simplify:  Simplify (+ (* 4/3 (- (+ (* 1/2 (/ 1 (* (sqrt -1) PI))) (* 1/8 (/ 1 (* (pow (sqrt -1) 3) PI)))))) (+ (* 0 0) (+ (* 0 (- (* 1/2 (/ 1 (* (sqrt -1) PI))))) (+ (* 0 0) (* 0 (/ (sqrt -1) PI)))))) into (- (+ (* 2/3 (/ 1 (* (sqrt -1) PI))) (* 1/6 (/ 1 (* (pow (sqrt -1) 3) PI)))))
1545556679.571 * [misc]backup-simplify:  Simplify (- (+ (* 2/3 (/ 1 (* (sqrt -1) PI))) (* 1/6 (/ 1 (* (pow (sqrt -1) 3) PI))))) into (- (+ (* 2/3 (/ 1 (* (sqrt -1) PI))) (* 1/6 (/ 1 (* (pow (sqrt -1) 3) PI)))))
1545556679.578 * [misc]backup-simplify:  Simplify (+ (* (- (+ (* 2/3 (/ 1 (* (sqrt -1) PI))) (* 1/6 (/ 1 (* (pow (sqrt -1) 3) PI))))) (pow (/ 1 (- v)) 5)) (+ (* (- (* 2/3 (/ 1 (* (sqrt -1) PI)))) (pow (/ 1 (- v)) 3)) (* (* 4/3 (/ (sqrt -1) PI)) (/ 1 (- v))))) into (- (+ (* 2/3 (/ 1 (* (pow v 5) (* (sqrt -1) PI)))) (+ (* 2/3 (/ 1 (* (pow v 3) (* (sqrt -1) PI)))) (* 1/6 (/ 1 (* (pow v 5) (* (pow (sqrt -1) 3) PI)))))) (* 4/3 (/ (sqrt -1) (* v PI))))
1545556679.579 * * * [misc]progress:  simplifying candidates
1545556679.579 * * * * [misc]progress:  [ 1 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (pow (/ 4/3 PI) 1) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.579 * * * * [misc]progress:  [ 2 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (exp (log (/ 4/3 PI))) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.579 * * * * [misc]progress:  [ 3 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (log (exp (/ 4/3 PI))) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.579 * * * * [misc]progress:  [ 4 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (* (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (cbrt (/ 4/3 PI))) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.579 * * * * [misc]progress:  [ 5 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (cbrt (* (* (/ 4/3 PI) (/ 4/3 PI)) (/ 4/3 PI))) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.579 * * * * [misc]progress:  [ 6 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (* (sqrt (/ 4/3 PI)) (sqrt (/ 4/3 PI))) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.579 * * * * [misc]progress:  [ 7 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ (- 4/3) (- PI)) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.579 * * * * [misc]progress:  [ 8 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (* 1 (/ 4/3 PI)) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.580 * * * * [misc]progress:  [ 9 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (* 4/3 (/ 1 PI)) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.580 * * * * [misc]progress:  [ 10 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 1 (/ PI 4/3)) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.580 * * * * [misc]progress:  [ 11 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (pow (* (* v v) -6) 1)))))>
1545556679.580 * * * * [misc]progress:  [ 12 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (exp (log (* (* v v) -6)))))))>
1545556679.580 * * * * [misc]progress:  [ 13 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (log (exp (* (* v v) -6)))))))>
1545556679.580 * * * * [misc]progress:  [ 14 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* (cbrt (* (* v v) -6)) (cbrt (* (* v v) -6))) (cbrt (* (* v v) -6)))))))>
1545556679.580 * * * * [misc]progress:  [ 15 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (cbrt (* (* (* (* v v) -6) (* (* v v) -6)) (* (* v v) -6)))))))>
1545556679.580 * * * * [misc]progress:  [ 16 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (sqrt (* (* v v) -6)) (sqrt (* (* v v) -6)))))))>
1545556679.580 * * * * [misc]progress:  [ 17 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* 1 (* (* v v) -6))))))>
1545556679.580 * * * * [misc]progress:  [ 18 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* v (* v -6))))))>
1545556679.580 * * * * [misc]progress:  [ 19 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* -6 (* v v))))))>
1545556679.580 * * * * [misc]progress:  [ 20 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (pow (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))) 1)) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.580 * * * * [misc]progress:  [ 21 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (exp (- (log (/ 4/3 PI)) (log (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.581 * [enter]simplify:  Simplifying (- (log (/ 4/3 PI)) (log (sqrt (- 1 (* v v)))))
1545556679.581 * * [misc]simplify:  iters left: 6 (11 enodes)
1545556679.585 * * [misc]simplify:  iters left: 5 (20 enodes)
1545556679.591 * * [misc]simplify:  iters left: 4 (31 enodes)
1545556679.600 * * [misc]simplify:  iters left: 3 (46 enodes)
1545556679.614 * * [misc]simplify:  iters left: 2 (68 enodes)
1545556679.631 * * [misc]simplify:  iters left: 1 (86 enodes)
1545556679.642 * [exit]simplify:  Simplified to (- (log (/ 4/3 PI)) (log (sqrt (- 1 (* v v)))))
1545556679.642 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (exp (- (log (/ 4/3 PI)) (log (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556679.642 * * * * [misc]progress:  [ 22 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (exp (log (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.642 * * * * [misc]progress:  [ 23 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (log (exp (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.642 * * * * [misc]progress:  [ 24 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (cbrt (/ (* (* (/ 4/3 PI) (/ 4/3 PI)) (/ 4/3 PI)) (* (* (sqrt (- 1 (* v v))) (sqrt (- 1 (* v v)))) (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.642 * [enter]simplify:  Simplifying (/ (* (* (/ 4/3 PI) (/ 4/3 PI)) (/ 4/3 PI)) (* (* (sqrt (- 1 (* v v))) (sqrt (- 1 (* v v)))) (sqrt (- 1 (* v v)))))
1545556679.642 * * [misc]simplify:  iters left: 6 (13 enodes)
1545556679.645 * * [misc]simplify:  iters left: 5 (32 enodes)
1545556679.651 * * [misc]simplify:  iters left: 4 (97 enodes)
1545556679.683 * * [misc]simplify:  iters left: 3 (285 enodes)
1545556679.966 * [exit]simplify:  Simplified to (/ (/ (/ (/ 64/27 PI) (* PI PI)) (- 1 (* v v))) (sqrt (- 1 (* v v))))
1545556679.966 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (cbrt (/ (/ (/ (/ 64/27 PI) (* PI PI)) (- 1 (* v v))) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556679.966 * * * * [misc]progress:  [ 25 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (* (cbrt (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (cbrt (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))))) (cbrt (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.966 * * * * [misc]progress:  [ 26 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (cbrt (* (* (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.966 * * * * [misc]progress:  [ 27 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (sqrt (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.966 * * * * [misc]progress:  [ 28 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (- (/ 4/3 PI)) (- (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.966 * * * * [misc]progress:  [ 29 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v)))))) (/ (cbrt (/ 4/3 PI)) (cbrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556679.967 * [enter]simplify:  Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v))))))
1545556679.967 * * [misc]simplify:  iters left: 6 (13 enodes)
1545556679.971 * * [misc]simplify:  iters left: 5 (23 enodes)
1545556679.978 * * [misc]simplify:  iters left: 4 (36 enodes)
1545556679.988 * * [misc]simplify:  iters left: 3 (39 enodes)
1545556679.998 * * [misc]simplify:  iters left: 2 (42 enodes)
1545556680.010 * [exit]simplify:  Simplified to (* (/ (cbrt (/ 4/3 PI)) (cbrt (sqrt (- 1 (* v v))))) (/ (cbrt (/ 4/3 PI)) (cbrt (sqrt (- 1 (* v v))))))
1545556680.010 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (* (/ (cbrt (/ 4/3 PI)) (cbrt (sqrt (- 1 (* v v))))) (/ (cbrt (/ 4/3 PI)) (cbrt (sqrt (- 1 (* v v)))))) (/ (cbrt (/ 4/3 PI)) (cbrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.010 * [enter]simplify:  Simplifying (/ (cbrt (/ 4/3 PI)) (cbrt (sqrt (- 1 (* v v)))))
1545556680.010 * * [misc]simplify:  iters left: 6 (11 enodes)
1545556680.013 * * [misc]simplify:  iters left: 5 (15 enodes)
1545556680.018 * * [misc]simplify:  iters left: 4 (19 enodes)
1545556680.023 * [exit]simplify:  Simplified to (/ (cbrt (/ 4/3 PI)) (cbrt (sqrt (- 1 (* v v)))))
1545556680.023 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v)))))) (/ (cbrt (/ 4/3 PI)) (cbrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.023 * * * * [misc]progress:  [ 30 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))) (/ (cbrt (/ 4/3 PI)) (sqrt (cbrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.023 * [enter]simplify:  Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))))
1545556680.023 * * [misc]simplify:  iters left: 6 (13 enodes)
1545556680.027 * * [misc]simplify:  iters left: 5 (20 enodes)
1545556680.033 * * [misc]simplify:  iters left: 4 (26 enodes)
1545556680.040 * * [misc]simplify:  iters left: 3 (27 enodes)
1545556680.047 * [exit]simplify:  Simplified to (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (fabs (cbrt (- 1 (* v v)))))
1545556680.047 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (fabs (cbrt (- 1 (* v v))))) (/ (cbrt (/ 4/3 PI)) (sqrt (cbrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.047 * [enter]simplify:  Simplifying (/ (cbrt (/ 4/3 PI)) (sqrt (cbrt (- 1 (* v v)))))
1545556680.048 * * [misc]simplify:  iters left: 6 (11 enodes)
1545556680.051 * * [misc]simplify:  iters left: 5 (15 enodes)
1545556680.055 * * [misc]simplify:  iters left: 4 (19 enodes)
1545556680.060 * [exit]simplify:  Simplified to (/ (cbrt (/ 4/3 PI)) (sqrt (cbrt (- 1 (* v v)))))
1545556680.060 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (fabs (cbrt (- 1 (* v v))))) (/ (cbrt (/ 4/3 PI)) (sqrt (cbrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.060 * * * * [misc]progress:  [ 31 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (sqrt (- 1 (* v v))))) (/ (cbrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.060 * [enter]simplify:  Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (sqrt (- 1 (* v v)))))
1545556680.060 * * [misc]simplify:  iters left: 6 (12 enodes)
1545556680.062 * * [misc]simplify:  iters left: 5 (18 enodes)
1545556680.064 * * [misc]simplify:  iters left: 4 (24 enodes)
1545556680.067 * * [misc]simplify:  iters left: 3 (25 enodes)
1545556680.070 * [exit]simplify:  Simplified to (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (sqrt (- 1 (* v v)))))
1545556680.071 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (sqrt (- 1 (* v v))))) (/ (cbrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.071 * [enter]simplify:  Simplifying (/ (cbrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545556680.071 * * [misc]simplify:  iters left: 6 (11 enodes)
1545556680.072 * * [misc]simplify:  iters left: 5 (15 enodes)
1545556680.074 * * [misc]simplify:  iters left: 4 (19 enodes)
1545556680.077 * [exit]simplify:  Simplified to (/ (cbrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545556680.077 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (sqrt (- 1 (* v v))))) (/ (cbrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.077 * * * * [misc]progress:  [ 32 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt 1)) (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.077 * [enter]simplify:  Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt 1))
1545556680.077 * * [misc]simplify:  iters left: 6 (8 enodes)
1545556680.079 * * [misc]simplify:  iters left: 5 (12 enodes)
1545556680.080 * * [misc]simplify:  iters left: 4 (14 enodes)
1545556680.082 * [exit]simplify:  Simplified to (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI)))
1545556680.082 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.082 * [enter]simplify:  Simplifying (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545556680.082 * * [misc]simplify:  iters left: 6 (10 enodes)
1545556680.084 * * [misc]simplify:  iters left: 5 (14 enodes)
1545556680.086 * * [misc]simplify:  iters left: 4 (18 enodes)
1545556680.090 * [exit]simplify:  Simplified to (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545556680.090 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.090 * * * * [misc]progress:  [ 33 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (sqrt (- 1 (* v v))))) (/ (cbrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.090 * [enter]simplify:  Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (sqrt (- 1 (* v v)))))
1545556680.090 * * [misc]simplify:  iters left: 6 (12 enodes)
1545556680.094 * * [misc]simplify:  iters left: 5 (18 enodes)
1545556680.099 * * [misc]simplify:  iters left: 4 (24 enodes)
1545556680.105 * * [misc]simplify:  iters left: 3 (25 enodes)
1545556680.112 * [exit]simplify:  Simplified to (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (sqrt (- 1 (* v v)))))
1545556680.112 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (sqrt (- 1 (* v v))))) (/ (cbrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.113 * [enter]simplify:  Simplifying (/ (cbrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545556680.113 * * [misc]simplify:  iters left: 6 (11 enodes)
1545556680.116 * * [misc]simplify:  iters left: 5 (15 enodes)
1545556680.120 * * [misc]simplify:  iters left: 4 (19 enodes)
1545556680.125 * [exit]simplify:  Simplified to (/ (cbrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545556680.125 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (sqrt (- 1 (* v v))))) (/ (cbrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.125 * * * * [misc]progress:  [ 34 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) 1) (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.126 * [enter]simplify:  Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) 1)
1545556680.126 * * [misc]simplify:  iters left: 6 (7 enodes)
1545556680.128 * * [misc]simplify:  iters left: 5 (11 enodes)
1545556680.132 * * [misc]simplify:  iters left: 4 (17 enodes)
1545556680.136 * * [misc]simplify:  iters left: 3 (31 enodes)
1545556680.144 * * [misc]simplify:  iters left: 2 (57 enodes)
1545556680.160 * [exit]simplify:  Simplified to (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI)))
1545556680.160 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.160 * [enter]simplify:  Simplifying (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545556680.160 * * [misc]simplify:  iters left: 6 (10 enodes)
1545556680.164 * * [misc]simplify:  iters left: 5 (14 enodes)
1545556680.168 * * [misc]simplify:  iters left: 4 (18 enodes)
1545556680.172 * [exit]simplify:  Simplified to (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545556680.173 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.173 * * * * [misc]progress:  [ 35 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (sqrt (/ 4/3 PI)) (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v)))))) (/ (sqrt (/ 4/3 PI)) (cbrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.173 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v))))))
1545556680.173 * * [misc]simplify:  iters left: 6 (12 enodes)
1545556680.177 * * [misc]simplify:  iters left: 5 (18 enodes)
1545556680.181 * * [misc]simplify:  iters left: 4 (22 enodes)
1545556680.188 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v))))))
1545556680.188 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (sqrt (/ 4/3 PI)) (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v)))))) (/ (sqrt (/ 4/3 PI)) (cbrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.188 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (cbrt (sqrt (- 1 (* v v)))))
1545556680.188 * * [misc]simplify:  iters left: 6 (11 enodes)
1545556680.191 * * [misc]simplify:  iters left: 5 (15 enodes)
1545556680.195 * * [misc]simplify:  iters left: 4 (19 enodes)
1545556680.201 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (cbrt (sqrt (- 1 (* v v)))))
1545556680.201 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (sqrt (/ 4/3 PI)) (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v)))))) (/ (sqrt (/ 4/3 PI)) (cbrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.201 * * * * [misc]progress:  [ 36 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (sqrt (/ 4/3 PI)) (sqrt (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))) (/ (sqrt (/ 4/3 PI)) (sqrt (cbrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.201 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))))
1545556680.201 * * [misc]simplify:  iters left: 6 (12 enodes)
1545556680.205 * * [misc]simplify:  iters left: 5 (17 enodes)
1545556680.209 * * [misc]simplify:  iters left: 4 (21 enodes)
1545556680.215 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (fabs (cbrt (- 1 (* v v)))))
1545556680.215 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (sqrt (/ 4/3 PI)) (fabs (cbrt (- 1 (* v v))))) (/ (sqrt (/ 4/3 PI)) (sqrt (cbrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.215 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (cbrt (- 1 (* v v)))))
1545556680.215 * * [misc]simplify:  iters left: 6 (11 enodes)
1545556680.219 * * [misc]simplify:  iters left: 5 (15 enodes)
1545556680.223 * * [misc]simplify:  iters left: 4 (19 enodes)
1545556680.228 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (cbrt (- 1 (* v v)))))
1545556680.228 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (sqrt (/ 4/3 PI)) (fabs (cbrt (- 1 (* v v))))) (/ (sqrt (/ 4/3 PI)) (sqrt (cbrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.229 * * * * [misc]progress:  [ 37 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v))))) (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.229 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545556680.229 * * [misc]simplify:  iters left: 6 (11 enodes)
1545556680.234 * * [misc]simplify:  iters left: 5 (15 enodes)
1545556680.238 * * [misc]simplify:  iters left: 4 (19 enodes)
1545556680.243 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545556680.243 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v))))) (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.243 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545556680.244 * * [misc]simplify:  iters left: 6 (11 enodes)
1545556680.247 * * [misc]simplify:  iters left: 5 (15 enodes)
1545556680.251 * * [misc]simplify:  iters left: 4 (19 enodes)
1545556680.256 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545556680.256 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v))))) (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.256 * * * * [misc]progress:  [ 38 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (sqrt (/ 4/3 PI)) (sqrt 1)) (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.256 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt 1))
1545556680.257 * * [misc]simplify:  iters left: 5 (7 enodes)
1545556680.259 * * [misc]simplify:  iters left: 4 (9 enodes)
1545556680.262 * [exit]simplify:  Simplified to (sqrt (/ 4/3 PI))
1545556680.262 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (sqrt (/ 4/3 PI)) (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.262 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545556680.262 * * [misc]simplify:  iters left: 6 (10 enodes)
1545556680.265 * * [misc]simplify:  iters left: 5 (14 enodes)
1545556680.269 * * [misc]simplify:  iters left: 4 (18 enodes)
1545556680.274 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545556680.275 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (sqrt (/ 4/3 PI)) (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.275 * * * * [misc]progress:  [ 39 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v))))) (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.275 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545556680.275 * * [misc]simplify:  iters left: 6 (11 enodes)
1545556680.278 * * [misc]simplify:  iters left: 5 (15 enodes)
1545556680.282 * * [misc]simplify:  iters left: 4 (19 enodes)
1545556680.287 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545556680.287 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v))))) (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.288 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545556680.288 * * [misc]simplify:  iters left: 6 (11 enodes)
1545556680.291 * * [misc]simplify:  iters left: 5 (15 enodes)
1545556680.295 * * [misc]simplify:  iters left: 4 (19 enodes)
1545556680.300 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545556680.301 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v))))) (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.301 * * * * [misc]progress:  [ 40 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (sqrt (/ 4/3 PI)) 1) (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.301 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) 1)
1545556680.301 * * [misc]simplify:  iters left: 5 (6 enodes)
1545556680.303 * * [misc]simplify:  iters left: 4 (8 enodes)
1545556680.305 * * [misc]simplify:  iters left: 3 (10 enodes)
1545556680.307 * [exit]simplify:  Simplified to (sqrt (/ 4/3 PI))
1545556680.307 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (sqrt (/ 4/3 PI)) (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.308 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545556680.308 * * [misc]simplify:  iters left: 6 (10 enodes)
1545556680.311 * * [misc]simplify:  iters left: 5 (14 enodes)
1545556680.314 * * [misc]simplify:  iters left: 4 (18 enodes)
1545556680.319 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545556680.319 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (sqrt (/ 4/3 PI)) (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.319 * * * * [misc]progress:  [ 41 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 1 (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v)))))) (/ (/ 4/3 PI) (cbrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.320 * [enter]simplify:  Simplifying (/ 1 (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v))))))
1545556680.320 * * [misc]simplify:  iters left: 6 (8 enodes)
1545556680.322 * * [misc]simplify:  iters left: 5 (14 enodes)
1545556680.326 * * [misc]simplify:  iters left: 4 (18 enodes)
1545556680.331 * [exit]simplify:  Simplified to (/ 1 (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v))))))
1545556680.331 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 1 (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v)))))) (/ (/ 4/3 PI) (cbrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.331 * [enter]simplify:  Simplifying (/ (/ 4/3 PI) (cbrt (sqrt (- 1 (* v v)))))
1545556680.331 * * [misc]simplify:  iters left: 6 (10 enodes)
1545556680.335 * * [misc]simplify:  iters left: 5 (16 enodes)
1545556680.339 * * [misc]simplify:  iters left: 4 (23 enodes)
1545556680.345 * [exit]simplify:  Simplified to (/ (/ 4/3 PI) (cbrt (sqrt (- 1 (* v v)))))
1545556680.345 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 1 (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v)))))) (/ (/ 4/3 PI) (cbrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.345 * * * * [misc]progress:  [ 42 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 1 (sqrt (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))) (/ (/ 4/3 PI) (sqrt (cbrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.346 * [enter]simplify:  Simplifying (/ 1 (sqrt (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))))
1545556680.346 * * [misc]simplify:  iters left: 6 (8 enodes)
1545556680.348 * * [misc]simplify:  iters left: 5 (13 enodes)
1545556680.352 * * [misc]simplify:  iters left: 4 (17 enodes)
1545556680.357 * [exit]simplify:  Simplified to (/ 1 (fabs (cbrt (- 1 (* v v)))))
1545556680.357 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 1 (fabs (cbrt (- 1 (* v v))))) (/ (/ 4/3 PI) (sqrt (cbrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.357 * [enter]simplify:  Simplifying (/ (/ 4/3 PI) (sqrt (cbrt (- 1 (* v v)))))
1545556680.357 * * [misc]simplify:  iters left: 6 (10 enodes)
1545556680.360 * * [misc]simplify:  iters left: 5 (16 enodes)
1545556680.365 * * [misc]simplify:  iters left: 4 (23 enodes)
1545556680.371 * [exit]simplify:  Simplified to (/ (/ 4/3 PI) (sqrt (cbrt (- 1 (* v v)))))
1545556680.371 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 1 (fabs (cbrt (- 1 (* v v))))) (/ (/ 4/3 PI) (sqrt (cbrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.371 * * * * [misc]progress:  [ 43 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 1 (sqrt (sqrt (- 1 (* v v))))) (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.371 * [enter]simplify:  Simplifying (/ 1 (sqrt (sqrt (- 1 (* v v)))))
1545556680.371 * * [misc]simplify:  iters left: 6 (7 enodes)
1545556680.374 * * [misc]simplify:  iters left: 5 (11 enodes)
1545556680.377 * * [misc]simplify:  iters left: 4 (15 enodes)
1545556680.381 * [exit]simplify:  Simplified to (/ 1 (sqrt (sqrt (- 1 (* v v)))))
1545556680.381 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 1 (sqrt (sqrt (- 1 (* v v))))) (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.381 * [enter]simplify:  Simplifying (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v)))))
1545556680.381 * * [misc]simplify:  iters left: 6 (10 enodes)
1545556680.384 * * [misc]simplify:  iters left: 5 (16 enodes)
1545556680.390 * * [misc]simplify:  iters left: 4 (23 enodes)
1545556680.396 * [exit]simplify:  Simplified to (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v)))))
1545556680.396 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 1 (sqrt (sqrt (- 1 (* v v))))) (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.396 * * * * [misc]progress:  [ 44 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 1 (sqrt 1)) (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.397 * [enter]simplify:  Simplifying (/ 1 (sqrt 1))
1545556680.397 * * [misc]simplify:  iters left: 3 (3 enodes)
1545556680.399 * * [misc]simplify:  iters left: 2 (5 enodes)
1545556680.400 * [exit]simplify:  Simplified to 1
1545556680.400 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* 1 (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.400 * [enter]simplify:  Simplifying (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))
1545556680.400 * * [misc]simplify:  iters left: 6 (9 enodes)
1545556680.403 * * [misc]simplify:  iters left: 5 (15 enodes)
1545556680.407 * * [misc]simplify:  iters left: 4 (22 enodes)
1545556680.413 * [exit]simplify:  Simplified to (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))
1545556680.413 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* 1 (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.413 * * * * [misc]progress:  [ 45 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 1 (sqrt (sqrt (- 1 (* v v))))) (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.413 * [enter]simplify:  Simplifying (/ 1 (sqrt (sqrt (- 1 (* v v)))))
1545556680.413 * * [misc]simplify:  iters left: 6 (7 enodes)
1545556680.415 * * [misc]simplify:  iters left: 5 (11 enodes)
1545556680.418 * * [misc]simplify:  iters left: 4 (15 enodes)
1545556680.422 * [exit]simplify:  Simplified to (/ 1 (sqrt (sqrt (- 1 (* v v)))))
1545556680.423 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 1 (sqrt (sqrt (- 1 (* v v))))) (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.423 * [enter]simplify:  Simplifying (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v)))))
1545556680.423 * * [misc]simplify:  iters left: 6 (10 enodes)
1545556680.426 * * [misc]simplify:  iters left: 5 (16 enodes)
1545556680.430 * * [misc]simplify:  iters left: 4 (23 enodes)
1545556680.436 * [exit]simplify:  Simplified to (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v)))))
1545556680.436 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 1 (sqrt (sqrt (- 1 (* v v))))) (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.436 * * * * [misc]progress:  [ 46 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 1 1) (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.437 * [enter]simplify:  Simplifying (/ 1 1)
1545556680.437 * * [misc]simplify:  iters left: 2 (2 enodes)
1545556680.437 * * [misc]simplify:  iters left: 1 (4 enodes)
1545556680.438 * [exit]simplify:  Simplified to 1
1545556680.438 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* 1 (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.438 * [enter]simplify:  Simplifying (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))
1545556680.438 * * [misc]simplify:  iters left: 6 (9 enodes)
1545556680.441 * * [misc]simplify:  iters left: 5 (15 enodes)
1545556680.445 * * [misc]simplify:  iters left: 4 (22 enodes)
1545556680.451 * [exit]simplify:  Simplified to (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))
1545556680.452 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* 1 (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.452 * * * * [misc]progress:  [ 47 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 4/3 (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v)))))) (/ (/ 1 PI) (cbrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.452 * [enter]simplify:  Simplifying (/ 4/3 (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v))))))
1545556680.452 * * [misc]simplify:  iters left: 6 (9 enodes)
1545556680.455 * * [misc]simplify:  iters left: 5 (15 enodes)
1545556680.459 * * [misc]simplify:  iters left: 4 (19 enodes)
1545556680.464 * [exit]simplify:  Simplified to (/ (/ 4/3 (cbrt (sqrt (- 1 (* v v))))) (cbrt (sqrt (- 1 (* v v)))))
1545556680.464 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (/ 4/3 (cbrt (sqrt (- 1 (* v v))))) (cbrt (sqrt (- 1 (* v v))))) (/ (/ 1 PI) (cbrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.465 * [enter]simplify:  Simplifying (/ (/ 1 PI) (cbrt (sqrt (- 1 (* v v)))))
1545556680.465 * * [misc]simplify:  iters left: 6 (9 enodes)
1545556680.468 * * [misc]simplify:  iters left: 5 (15 enodes)
1545556680.472 * * [misc]simplify:  iters left: 4 (22 enodes)
1545556680.478 * [exit]simplify:  Simplified to (/ (/ 1 PI) (cbrt (sqrt (- 1 (* v v)))))
1545556680.478 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 4/3 (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v)))))) (/ (/ 1 PI) (cbrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.478 * * * * [misc]progress:  [ 48 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 4/3 (sqrt (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))) (/ (/ 1 PI) (sqrt (cbrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.478 * [enter]simplify:  Simplifying (/ 4/3 (sqrt (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))))
1545556680.478 * * [misc]simplify:  iters left: 6 (9 enodes)
1545556680.481 * * [misc]simplify:  iters left: 5 (14 enodes)
1545556680.485 * * [misc]simplify:  iters left: 4 (18 enodes)
1545556680.490 * [exit]simplify:  Simplified to (/ 4/3 (fabs (cbrt (- 1 (* v v)))))
1545556680.490 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 4/3 (fabs (cbrt (- 1 (* v v))))) (/ (/ 1 PI) (sqrt (cbrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.490 * [enter]simplify:  Simplifying (/ (/ 1 PI) (sqrt (cbrt (- 1 (* v v)))))
1545556680.490 * * [misc]simplify:  iters left: 6 (9 enodes)
1545556680.493 * * [misc]simplify:  iters left: 5 (15 enodes)
1545556680.498 * * [misc]simplify:  iters left: 4 (22 enodes)
1545556680.504 * [exit]simplify:  Simplified to (/ (/ 1 PI) (sqrt (cbrt (- 1 (* v v)))))
1545556680.504 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 4/3 (fabs (cbrt (- 1 (* v v))))) (/ (/ 1 PI) (sqrt (cbrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.504 * * * * [misc]progress:  [ 49 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 4/3 (sqrt (sqrt (- 1 (* v v))))) (/ (/ 1 PI) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.504 * [enter]simplify:  Simplifying (/ 4/3 (sqrt (sqrt (- 1 (* v v)))))
1545556680.504 * * [misc]simplify:  iters left: 6 (8 enodes)
1545556680.507 * * [misc]simplify:  iters left: 5 (12 enodes)
1545556680.510 * * [misc]simplify:  iters left: 4 (16 enodes)
1545556680.514 * [exit]simplify:  Simplified to (/ 4/3 (sqrt (sqrt (- 1 (* v v)))))
1545556680.514 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 4/3 (sqrt (sqrt (- 1 (* v v))))) (/ (/ 1 PI) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.515 * [enter]simplify:  Simplifying (/ (/ 1 PI) (sqrt (sqrt (- 1 (* v v)))))
1545556680.515 * * [misc]simplify:  iters left: 6 (9 enodes)
1545556680.517 * * [misc]simplify:  iters left: 5 (15 enodes)
1545556680.522 * * [misc]simplify:  iters left: 4 (22 enodes)
1545556680.525 * [exit]simplify:  Simplified to (/ (/ 1 PI) (sqrt (sqrt (- 1 (* v v)))))
1545556680.525 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 4/3 (sqrt (sqrt (- 1 (* v v))))) (/ (/ 1 PI) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.525 * * * * [misc]progress:  [ 50 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 4/3 (sqrt 1)) (/ (/ 1 PI) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.526 * [enter]simplify:  Simplifying (/ 4/3 (sqrt 1))
1545556680.526 * * [misc]simplify:  iters left: 3 (4 enodes)
1545556680.527 * * [misc]simplify:  iters left: 2 (6 enodes)
1545556680.528 * [exit]simplify:  Simplified to 4/3
1545556680.528 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* 4/3 (/ (/ 1 PI) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.528 * [enter]simplify:  Simplifying (/ (/ 1 PI) (sqrt (- 1 (* v v))))
1545556680.528 * * [misc]simplify:  iters left: 6 (8 enodes)
1545556680.529 * * [misc]simplify:  iters left: 5 (14 enodes)
1545556680.531 * * [misc]simplify:  iters left: 4 (21 enodes)
1545556680.535 * [exit]simplify:  Simplified to (/ (/ 1 PI) (sqrt (- 1 (* v v))))
1545556680.535 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* 4/3 (/ (/ 1 PI) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.535 * * * * [misc]progress:  [ 51 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 4/3 (sqrt (sqrt (- 1 (* v v))))) (/ (/ 1 PI) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.535 * [enter]simplify:  Simplifying (/ 4/3 (sqrt (sqrt (- 1 (* v v)))))
1545556680.535 * * [misc]simplify:  iters left: 6 (8 enodes)
1545556680.536 * * [misc]simplify:  iters left: 5 (12 enodes)
1545556680.538 * * [misc]simplify:  iters left: 4 (16 enodes)
1545556680.540 * [exit]simplify:  Simplified to (/ 4/3 (sqrt (sqrt (- 1 (* v v)))))
1545556680.540 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 4/3 (sqrt (sqrt (- 1 (* v v))))) (/ (/ 1 PI) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.540 * [enter]simplify:  Simplifying (/ (/ 1 PI) (sqrt (sqrt (- 1 (* v v)))))
1545556680.540 * * [misc]simplify:  iters left: 6 (9 enodes)
1545556680.542 * * [misc]simplify:  iters left: 5 (15 enodes)
1545556680.544 * * [misc]simplify:  iters left: 4 (22 enodes)
1545556680.547 * [exit]simplify:  Simplified to (/ (/ 1 PI) (sqrt (sqrt (- 1 (* v v)))))
1545556680.547 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 4/3 (sqrt (sqrt (- 1 (* v v))))) (/ (/ 1 PI) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.547 * * * * [misc]progress:  [ 52 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 4/3 1) (/ (/ 1 PI) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.547 * [enter]simplify:  Simplifying (/ 4/3 1)
1545556680.547 * * [misc]simplify:  iters left: 2 (3 enodes)
1545556680.548 * * [misc]simplify:  iters left: 1 (5 enodes)
1545556680.548 * [exit]simplify:  Simplified to 4/3
1545556680.548 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* 4/3 (/ (/ 1 PI) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.548 * [enter]simplify:  Simplifying (/ (/ 1 PI) (sqrt (- 1 (* v v))))
1545556680.548 * * [misc]simplify:  iters left: 6 (8 enodes)
1545556680.550 * * [misc]simplify:  iters left: 5 (14 enodes)
1545556680.552 * * [misc]simplify:  iters left: 4 (21 enodes)
1545556680.558 * [exit]simplify:  Simplified to (/ (/ 1 PI) (sqrt (- 1 (* v v))))
1545556680.558 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* 4/3 (/ (/ 1 PI) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.558 * * * * [misc]progress:  [ 53 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* 1 (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.558 * * * * [misc]progress:  [ 54 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 4/3 PI) (/ 1 (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.558 * * * * [misc]progress:  [ 55 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ 1 (/ (sqrt (- 1 (* v v))) (/ 4/3 PI)))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.558 * * * * [misc]progress:  [ 56 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ (/ 4/3 PI) (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v)))))) (cbrt (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.558 * [enter]simplify:  Simplifying (cbrt (sqrt (- 1 (* v v))))
1545556680.558 * * [misc]simplify:  iters left: 6 (6 enodes)
1545556680.560 * * [misc]simplify:  iters left: 5 (10 enodes)
1545556680.563 * * [misc]simplify:  iters left: 4 (14 enodes)
1545556680.567 * [exit]simplify:  Simplified to (cbrt (sqrt (- 1 (* v v))))
1545556680.567 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ (/ 4/3 PI) (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v)))))) (cbrt (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.567 * * * * [misc]progress:  [ 57 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ (/ 4/3 PI) (sqrt (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))) (sqrt (cbrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.567 * [enter]simplify:  Simplifying (sqrt (cbrt (- 1 (* v v))))
1545556680.567 * * [misc]simplify:  iters left: 6 (6 enodes)
1545556680.569 * * [misc]simplify:  iters left: 5 (10 enodes)
1545556680.572 * * [misc]simplify:  iters left: 4 (14 enodes)
1545556680.576 * [exit]simplify:  Simplified to (sqrt (cbrt (- 1 (* v v))))
1545556680.576 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ (/ 4/3 PI) (sqrt (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))) (sqrt (cbrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.576 * * * * [misc]progress:  [ 58 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v))))) (sqrt (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.576 * [enter]simplify:  Simplifying (sqrt (sqrt (- 1 (* v v))))
1545556680.576 * * [misc]simplify:  iters left: 6 (6 enodes)
1545556680.578 * * [misc]simplify:  iters left: 5 (10 enodes)
1545556680.581 * * [misc]simplify:  iters left: 4 (14 enodes)
1545556680.585 * [exit]simplify:  Simplified to (sqrt (sqrt (- 1 (* v v))))
1545556680.585 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v))))) (sqrt (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.585 * * * * [misc]progress:  [ 59 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ (/ 4/3 PI) (sqrt 1)) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.585 * [enter]simplify:  Simplifying (sqrt (- 1 (* v v)))
1545556680.585 * * [misc]simplify:  iters left: 5 (5 enodes)
1545556680.587 * * [misc]simplify:  iters left: 4 (9 enodes)
1545556680.588 * * [misc]simplify:  iters left: 3 (13 enodes)
1545556680.590 * [exit]simplify:  Simplified to (sqrt (- 1 (* v v)))
1545556680.590 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ (/ 4/3 PI) (sqrt 1)) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.590 * * * * [misc]progress:  [ 60 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v))))) (sqrt (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.590 * [enter]simplify:  Simplifying (sqrt (sqrt (- 1 (* v v))))
1545556680.590 * * [misc]simplify:  iters left: 6 (6 enodes)
1545556680.591 * * [misc]simplify:  iters left: 5 (10 enodes)
1545556680.592 * * [misc]simplify:  iters left: 4 (14 enodes)
1545556680.594 * [exit]simplify:  Simplified to (sqrt (sqrt (- 1 (* v v))))
1545556680.594 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v))))) (sqrt (sqrt (- 1 (* v v)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.594 * * * * [misc]progress:  [ 61 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ (/ 4/3 PI) 1) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.594 * [enter]simplify:  Simplifying (sqrt (- 1 (* v v)))
1545556680.594 * * [misc]simplify:  iters left: 5 (5 enodes)
1545556680.595 * * [misc]simplify:  iters left: 4 (9 enodes)
1545556680.596 * * [misc]simplify:  iters left: 3 (13 enodes)
1545556680.598 * [exit]simplify:  Simplified to (sqrt (- 1 (* v v)))
1545556680.598 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ (/ 4/3 PI) 1) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.598 * * * * [misc]progress:  [ 62 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (/ (sqrt (- 1 (* v v))) (cbrt (/ 4/3 PI))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.598 * [enter]simplify:  Simplifying (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI)))
1545556680.598 * * [misc]simplify:  iters left: 5 (5 enodes)
1545556680.599 * [exit]simplify:  Simplified to (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI)))
1545556680.599 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (/ (sqrt (- 1 (* v v))) (cbrt (/ 4/3 PI))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.599 * * * * [misc]progress:  [ 63 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (sqrt (/ 4/3 PI)) (/ (sqrt (- 1 (* v v))) (sqrt (/ 4/3 PI))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.599 * [enter]simplify:  Simplifying (sqrt (/ 4/3 PI))
1545556680.599 * * [misc]simplify:  iters left: 3 (4 enodes)
1545556680.600 * [exit]simplify:  Simplified to (sqrt (/ 4/3 PI))
1545556680.600 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (sqrt (/ 4/3 PI)) (/ (sqrt (- 1 (* v v))) (sqrt (/ 4/3 PI))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.600 * * * * [misc]progress:  [ 64 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ 1 (/ (sqrt (- 1 (* v v))) (/ 4/3 PI)))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.600 * * * * [misc]progress:  [ 65 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ 4/3 (/ (sqrt (- 1 (* v v))) (/ 1 PI)))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.600 * * * * [misc]progress:  [ 66 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (/ 4/3 PI) (sqrt (- (pow 1 3) (pow (* v v) 3)))) (sqrt (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.600 * [enter]simplify:  Simplifying (sqrt (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
1545556680.600 * * [misc]simplify:  iters left: 6 (9 enodes)
1545556680.602 * * [misc]simplify:  iters left: 5 (24 enodes)
1545556680.606 * * [misc]simplify:  iters left: 4 (58 enodes)
1545556680.620 * * [misc]simplify:  iters left: 3 (87 enodes)
1545556680.656 * * [misc]simplify:  iters left: 2 (125 enodes)
1545556680.680 * * [misc]simplify:  iters left: 1 (142 enodes)
1545556680.692 * [exit]simplify:  Simplified to (sqrt (+ 1 (+ (* v v) (pow v 4))))
1545556680.692 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (/ 4/3 PI) (sqrt (- (pow 1 3) (pow (* v v) 3)))) (sqrt (+ 1 (+ (* v v) (pow v 4)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.692 * * * * [misc]progress:  [ 67 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (/ 4/3 PI) (sqrt (- (* 1 1) (* (* v v) (* v v))))) (sqrt (+ 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.692 * [enter]simplify:  Simplifying (sqrt (+ 1 (* v v)))
1545556680.692 * * [misc]simplify:  iters left: 5 (5 enodes)
1545556680.693 * * [misc]simplify:  iters left: 4 (8 enodes)
1545556680.694 * [exit]simplify:  Simplified to (sqrt (+ 1 (* v v)))
1545556680.694 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (/ 4/3 PI) (sqrt (- (* 1 1) (* (* v v) (* v v))))) (sqrt (+ 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.694 * * * * [misc]progress:  [ 68 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ 4/3 (* (sqrt (- 1 (* v v))) PI))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.694 * * * * [misc]progress:  [ 69 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.694 * [enter]simplify:  Simplifying (/ 1 (sqrt (- 1 (* v v))))
1545556680.694 * * [misc]simplify:  iters left: 6 (6 enodes)
1545556680.695 * * [misc]simplify:  iters left: 5 (10 enodes)
1545556680.697 * * [misc]simplify:  iters left: 4 (14 enodes)
1545556680.698 * [exit]simplify:  Simplified to (/ 1 (sqrt (- 1 (* v v))))
1545556680.698 * [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)))))
1545556680.699 * [enter]simplify:  Simplifying (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))
1545556680.699 * * [misc]simplify:  iters left: 6 (9 enodes)
1545556680.700 * * [misc]simplify:  iters left: 5 (15 enodes)
1545556680.702 * * [misc]simplify:  iters left: 4 (22 enodes)
1545556680.705 * [exit]simplify:  Simplified to (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))
1545556680.705 * [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)))))
1545556680.705 * * * * [misc]progress:  [ 70 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* -6 (pow v 2))))))>
1545556680.705 * [enter]simplify:  Simplifying (* -6 (pow v 2))
1545556680.705 * * [misc]simplify:  iters left: 3 (5 enodes)
1545556680.706 * * [misc]simplify:  iters left: 2 (7 enodes)
1545556680.707 * * [misc]simplify:  iters left: 1 (11 enodes)
1545556680.708 * [exit]simplify:  Simplified to (* (* v v) -6)
1545556680.708 * [misc]simplify:  Simplified (2 2 1 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.708 * * * * [misc]progress:  [ 71 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* -6 (pow v 2))))))>
1545556680.708 * [enter]simplify:  Simplifying (* -6 (pow v 2))
1545556680.709 * * [misc]simplify:  iters left: 3 (5 enodes)
1545556680.709 * * [misc]simplify:  iters left: 2 (7 enodes)
1545556680.710 * * [misc]simplify:  iters left: 1 (11 enodes)
1545556680.712 * [exit]simplify:  Simplified to (* (* v v) -6)
1545556680.712 * [misc]simplify:  Simplified (2 2 1 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.712 * * * * [misc]progress:  [ 72 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* -6 (pow v 2))))))>
1545556680.712 * [enter]simplify:  Simplifying (* -6 (pow v 2))
1545556680.712 * * [misc]simplify:  iters left: 3 (5 enodes)
1545556680.713 * * [misc]simplify:  iters left: 2 (7 enodes)
1545556680.714 * * [misc]simplify:  iters left: 1 (11 enodes)
1545556680.715 * [exit]simplify:  Simplified to (* (* v v) -6)
1545556680.715 * [misc]simplify:  Simplified (2 2 1 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.715 * * * * [misc]progress:  [ 73 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (+ (* 2/3 (/ (pow v 2) PI)) (+ (* 4/3 (/ 1 PI)) (* 1/2 (/ (pow v 4) PI))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.715 * [enter]simplify:  Simplifying (+ (* 2/3 (/ (pow v 2) PI)) (+ (* 4/3 (/ 1 PI)) (* 1/2 (/ (pow v 4) PI))))
1545556680.715 * * [misc]simplify:  iters left: 6 (18 enodes)
1545556680.719 * * [misc]simplify:  iters left: 5 (34 enodes)
1545556680.726 * * [misc]simplify:  iters left: 4 (54 enodes)
1545556680.733 * * [misc]simplify:  iters left: 3 (70 enodes)
1545556680.742 * * [misc]simplify:  iters left: 2 (86 enodes)
1545556680.761 * * [misc]simplify:  iters left: 1 (101 enodes)
1545556680.773 * [exit]simplify:  Simplified to (+ (+ (* (/ v PI) (* 2/3 v)) (* (pow v 4) (/ 1/2 PI))) (/ 4/3 PI))
1545556680.774 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (+ (+ (* (/ v PI) (* 2/3 v)) (* (pow v 4) (/ 1/2 PI))) (/ 4/3 PI))) (sqrt (+ 2 (* (* v v) -6)))))
1545556680.774 * * * * [misc]progress:  [ 74 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (- (* 4/3 (/ (sqrt -1) (* v PI))) (+ (* 2/3 (/ 1 (* (pow v 5) (* (sqrt -1) PI)))) (+ (* 2/3 (/ 1 (* (pow v 3) (* (sqrt -1) PI)))) (* 1/6 (/ 1 (* (pow v 5) (* (pow (sqrt -1) 3) PI)))))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556680.774 * [enter]simplify:  Simplifying (- (* 4/3 (/ (sqrt -1) (* v PI))) (+ (* 2/3 (/ 1 (* (pow v 5) (* (sqrt -1) PI)))) (+ (* 2/3 (/ 1 (* (pow v 3) (* (sqrt -1) PI)))) (* 1/6 (/ 1 (* (pow v 5) (* (pow (sqrt -1) 3) PI)))))))
1545556680.774 * * [misc]simplify:  iters left: 6 (30 enodes)
1545556680.781 * * [misc]simplify:  iters left: 5 (76 enodes)
1545556680.802 * * [misc]simplify:  iters left: 4 (178 enodes)
1545556680.860 * * [misc]simplify:  iters left: 3 (396 enodes)
1545556681.062 * [exit]simplify:  Simplified to (- (- (/ (/ (sqrt -1) v) (/ PI 4/3)) (/ (/ (/ 2/3 v) v) (* (sqrt -1) (* v PI)))) (+ (/ (/ 2/3 (pow v 5)) (* PI (sqrt -1))) (/ (/ -1/6 (pow v 5)) (* PI (sqrt -1)))))
1545556681.062 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (- (- (/ (/ (sqrt -1) v) (/ PI 4/3)) (/ (/ (/ 2/3 v) v) (* (sqrt -1) (* v PI)))) (+ (/ (/ 2/3 (pow v 5)) (* PI (sqrt -1))) (/ (/ -1/6 (pow v 5)) (* PI (sqrt -1)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556681.063 * * * * [misc]progress:  [ 75 / 75 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (- (+ (* 2/3 (/ 1 (* (pow v 5) (* (sqrt -1) PI)))) (+ (* 2/3 (/ 1 (* (pow v 3) (* (sqrt -1) PI)))) (* 1/6 (/ 1 (* (pow v 5) (* (pow (sqrt -1) 3) PI)))))) (* 4/3 (/ (sqrt -1) (* v PI))))) (sqrt (+ 2 (* (* v v) -6)))))>
1545556681.063 * [enter]simplify:  Simplifying (- (+ (* 2/3 (/ 1 (* (pow v 5) (* (sqrt -1) PI)))) (+ (* 2/3 (/ 1 (* (pow v 3) (* (sqrt -1) PI)))) (* 1/6 (/ 1 (* (pow v 5) (* (pow (sqrt -1) 3) PI)))))) (* 4/3 (/ (sqrt -1) (* v PI))))
1545556681.063 * * [misc]simplify:  iters left: 6 (30 enodes)
1545556681.076 * * [misc]simplify:  iters left: 5 (76 enodes)
1545556681.092 * * [misc]simplify:  iters left: 4 (185 enodes)
1545556681.146 * * [misc]simplify:  iters left: 3 (393 enodes)
1545556681.274 * [exit]simplify:  Simplified to (+ (* (/ 1 (* (sqrt -1) (pow v 5))) (+ (/ -1/6 PI) (/ 2/3 PI))) (+ (* -4/3 (/ (sqrt -1) (* PI v))) (/ (/ (/ 2/3 v) (* v v)) (* PI (sqrt -1)))))
1545556681.274 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (+ (* (/ 1 (* (sqrt -1) (pow v 5))) (+ (/ -1/6 PI) (/ 2/3 PI))) (+ (* -4/3 (/ (sqrt -1) (* PI v))) (/ (/ (/ 2/3 v) (* v v)) (* PI (sqrt -1)))))) (sqrt (+ 2 (* (* v v) -6)))))
1545556681.274 * * * [misc]progress:  adding candidates to table
1545556682.426 * [misc]progress:  [Phase 3 of 3] Extracting.
1545556682.430 * [enter]simplify:  Simplifying (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (+ 2 (* (* v v) -6))))
1545556682.430 * * [misc]simplify:  iters left: 6 (17 enodes)
1545556682.431 * * [misc]simplify:  iters left: 5 (22 enodes)
1545556682.432 * [exit]simplify:  Simplified to (/ (* (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))) (/ 1 (sqrt (- 1 (* v v))))) (sqrt (+ (* (* v v) -6) 2)))
1545556682.432 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545556686.702 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556686.705 * * * * [misc]points:  Sampling 3979 additional inputs, on iter 1 have 4021 / 8000
1545556688.836 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556688.836 * * * * [misc]points:  Sampling 2020 additional inputs, on iter 2 have 5980 / 8000
1545556689.742 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556689.743 * * * * [misc]points:  Sampling 1002 additional inputs, on iter 3 have 6998 / 8000
1545556690.229 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556690.230 * * * * [misc]points:  Sampling 521 additional inputs, on iter 4 have 7479 / 8000
1545556690.876 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556690.876 * * * * [misc]points:  Sampling 280 additional inputs, on iter 5 have 7720 / 8000
1545556690.941 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556690.941 * * * * [misc]points:  Sampling 133 additional inputs, on iter 6 have 7867 / 8000
1545556691.041 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556691.041 * * * * [misc]points:  Sampling 69 additional inputs, on iter 7 have 7931 / 8000
1545556691.075 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556691.075 * * * * [misc]points:  Sampling 30 additional inputs, on iter 8 have 7970 / 8000
1545556691.094 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556691.094 * * * * [misc]points:  Sampling 17 additional inputs, on iter 9 have 7983 / 8000
1545556691.103 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556691.103 * * * * [misc]points:  Sampling 7 additional inputs, on iter 10 have 7993 / 8000
1545556691.107 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556691.107 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7997 / 8000
1545556691.110 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545556691.111 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545556691.433 * [misc]regime-testing:  Baseline error score: 0.013877443751081738
1545556691.434 * [misc]regime-testing:  Oracle error score: 0.013877443751081738
1545556691.434 * [misc]regime-testing:  End program error score: 0.013877443751081738