1545561467.485 * [misc]progress:  [Phase 1 of 3] Setting up.
1545561467.485 * * * [misc]progress:  [1/2] Preparing points
1545561467.485 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545561467.574 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561467.574 * * * * [misc]points:  Sampling 131 additional inputs, on iter 1 have 125 / 256
1545561467.640 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561467.640 * * * * [misc]points:  Sampling 66 additional inputs, on iter 2 have 190 / 256
1545561467.670 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561467.670 * * * * [misc]points:  Sampling 35 additional inputs, on iter 3 have 221 / 256
1545561467.682 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561467.682 * * * * [misc]points:  Sampling 17 additional inputs, on iter 4 have 239 / 256
1545561467.688 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561467.688 * * * * [misc]points:  Sampling 8 additional inputs, on iter 5 have 248 / 256
1545561467.693 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561467.693 * * * * [misc]points:  Sampling 7 additional inputs, on iter 6 have 249 / 256
1545561467.697 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561467.697 * * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 252 / 256
1545561467.700 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561467.700 * * * * [misc]points:  Sampling 4 additional inputs, on iter 8 have 253 / 256
1545561467.703 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561467.703 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 254 / 256
1545561467.710 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561467.710 * * * * [exit]points:  Sampled 257 points with exact outputs
1545561467.710 * * * [misc]progress:  [2/2] Setting up program.
1545561467.720 * [misc]progress:  [Phase 2 of 3] Improving.
1545561467.720 * [enter]simplify:  Simplifying (/ 4 (* (* (* 3 PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))))
1545561467.720 * * [misc]simplify:  iters left: 6 (16 enodes)
1545561467.726 * * [misc]simplify:  iters left: 5 (34 enodes)
1545561467.778 * * [misc]simplify:  iters left: 4 (89 enodes)
1545561467.820 * * [misc]simplify:  iters left: 3 (198 enodes)
1545561467.884 * [exit]simplify:  Simplified to (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2)))
1545561467.904 * * [misc]progress:  iteration 1 / 4
1545561467.904 * * * [misc]progress:  picking best candidate
1545561467.911 * * * * [misc]pick:  Picked  #<alt (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))>
1545561467.912 * * * [misc]progress:  localizing error
1545561467.932 * * * [misc]progress:  generating rewritten candidates
1545561467.932 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1)
1545561467.932 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1545561467.937 * * * [misc]progress:  generating series expansions
1545561467.937 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1)
1545561467.937 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1545561467.937 * [misc]backup-simplify:  Simplify (/ (/ 4/3 PI) (- 1 (* v v))) into (/ 4/3 (* (- 1 (pow v 2)) PI))
1545561467.937 * [misc]approximate:  Taking taylor expansion of (/ 4/3 (* (- 1 (pow v 2)) PI)) in (v) around 0
1545561467.937 * [misc]taylor:  Taking taylor expansion of (/ 4/3 (* (- 1 (pow v 2)) PI)) in v
1545561467.937 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545561467.937 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545561467.937 * [misc]taylor:  Taking taylor expansion of (* (- 1 (pow v 2)) PI) in v
1545561467.937 * [misc]taylor:  Taking taylor expansion of (- 1 (pow v 2)) in v
1545561467.937 * [misc]taylor:  Taking taylor expansion of 1 in v
1545561467.937 * [misc]backup-simplify:  Simplify 1 into 1
1545561467.937 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545561467.937 * [misc]taylor:  Taking taylor expansion of v in v
1545561467.937 * [misc]backup-simplify:  Simplify 0 into 0
1545561467.937 * [misc]backup-simplify:  Simplify 1 into 1
1545561467.937 * [misc]taylor:  Taking taylor expansion of PI in v
1545561467.937 * [misc]backup-simplify:  Simplify PI into PI
1545561467.938 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545561467.938 * [misc]backup-simplify:  Simplify (* 1 PI) into PI
1545561467.938 * [misc]backup-simplify:  Simplify (/ 4/3 PI) into (/ 4/3 PI)
1545561467.938 * [misc]taylor:  Taking taylor expansion of (/ 4/3 (* (- 1 (pow v 2)) PI)) in v
1545561467.938 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545561467.938 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545561467.938 * [misc]taylor:  Taking taylor expansion of (* (- 1 (pow v 2)) PI) in v
1545561467.938 * [misc]taylor:  Taking taylor expansion of (- 1 (pow v 2)) in v
1545561467.938 * [misc]taylor:  Taking taylor expansion of 1 in v
1545561467.938 * [misc]backup-simplify:  Simplify 1 into 1
1545561467.938 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545561467.938 * [misc]taylor:  Taking taylor expansion of v in v
1545561467.938 * [misc]backup-simplify:  Simplify 0 into 0
1545561467.938 * [misc]backup-simplify:  Simplify 1 into 1
1545561467.938 * [misc]taylor:  Taking taylor expansion of PI in v
1545561467.938 * [misc]backup-simplify:  Simplify PI into PI
1545561467.938 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545561467.939 * [misc]backup-simplify:  Simplify (* 1 PI) into PI
1545561467.939 * [misc]backup-simplify:  Simplify (/ 4/3 PI) into (/ 4/3 PI)
1545561467.939 * [misc]backup-simplify:  Simplify (/ 4/3 PI) into (/ 4/3 PI)
1545561467.939 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561467.940 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 PI)) into 0
1545561467.941 * [misc]backup-simplify:  Simplify (- (/ 0 PI) (+ (* (/ 4/3 PI) (/ 0 PI)))) into 0
1545561467.941 * [misc]backup-simplify:  Simplify 0 into 0
1545561467.941 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545561467.941 * [misc]backup-simplify:  Simplify (- 1) into -1
1545561467.941 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545561467.942 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* -1 PI))) into (- PI)
1545561467.944 * [misc]backup-simplify:  Simplify (- (/ 0 PI) (+ (* (/ 4/3 PI) (/ (- PI) PI)) (* 0 (/ 0 PI)))) into (* 4/3 (/ 1 PI))
1545561467.944 * [misc]backup-simplify:  Simplify (* 4/3 (/ 1 PI)) into (/ 4/3 PI)
1545561467.944 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545561467.944 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561467.944 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561467.945 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* -1 0) (* 0 PI)))) into 0
1545561467.948 * [misc]backup-simplify:  Simplify (- (/ 0 PI) (+ (* (/ 4/3 PI) (/ 0 PI)) (* 0 (/ (- PI) PI)) (* (* 4/3 (/ 1 PI)) (/ 0 PI)))) into 0
1545561467.948 * [misc]backup-simplify:  Simplify 0 into 0
1545561467.948 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545561467.948 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561467.948 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561467.949 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* -1 0) (+ (* 0 0) (* 0 PI))))) into 0
1545561467.953 * [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))
1545561467.953 * [misc]backup-simplify:  Simplify (* 4/3 (/ 1 PI)) into (/ 4/3 PI)
1545561467.954 * [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))))
1545561467.955 * [misc]backup-simplify:  Simplify (/ (/ 4/3 PI) (- 1 (* (/ 1 v) (/ 1 v)))) into (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI))
1545561467.955 * [misc]approximate:  Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in (v) around 0
1545561467.955 * [misc]taylor:  Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in v
1545561467.955 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545561467.955 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545561467.955 * [misc]taylor:  Taking taylor expansion of (* (- 1 (/ 1 (pow v 2))) PI) in v
1545561467.955 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v
1545561467.955 * [misc]taylor:  Taking taylor expansion of 1 in v
1545561467.955 * [misc]backup-simplify:  Simplify 1 into 1
1545561467.955 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1545561467.955 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545561467.955 * [misc]taylor:  Taking taylor expansion of v in v
1545561467.955 * [misc]backup-simplify:  Simplify 0 into 0
1545561467.955 * [misc]backup-simplify:  Simplify 1 into 1
1545561467.955 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545561467.955 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545561467.955 * [misc]taylor:  Taking taylor expansion of PI in v
1545561467.955 * [misc]backup-simplify:  Simplify PI into PI
1545561467.956 * [misc]backup-simplify:  Simplify (- 1) into -1
1545561467.956 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545561467.956 * [misc]backup-simplify:  Simplify (* -1 PI) into (* -1 PI)
1545561467.956 * [misc]backup-simplify:  Simplify (/ 4/3 (* -1 PI)) into (/ -4/3 PI)
1545561467.956 * [misc]taylor:  Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in v
1545561467.956 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545561467.956 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545561467.957 * [misc]taylor:  Taking taylor expansion of (* (- 1 (/ 1 (pow v 2))) PI) in v
1545561467.957 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v
1545561467.957 * [misc]taylor:  Taking taylor expansion of 1 in v
1545561467.957 * [misc]backup-simplify:  Simplify 1 into 1
1545561467.957 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1545561467.957 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545561467.957 * [misc]taylor:  Taking taylor expansion of v in v
1545561467.957 * [misc]backup-simplify:  Simplify 0 into 0
1545561467.957 * [misc]backup-simplify:  Simplify 1 into 1
1545561467.957 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545561467.957 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545561467.957 * [misc]taylor:  Taking taylor expansion of PI in v
1545561467.957 * [misc]backup-simplify:  Simplify PI into PI
1545561467.957 * [misc]backup-simplify:  Simplify (- 1) into -1
1545561467.957 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545561467.958 * [misc]backup-simplify:  Simplify (* -1 PI) into (* -1 PI)
1545561467.958 * [misc]backup-simplify:  Simplify (/ 4/3 (* -1 PI)) into (/ -4/3 PI)
1545561467.958 * [misc]backup-simplify:  Simplify (/ -4/3 PI) into (/ -4/3 PI)
1545561467.959 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545561467.959 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545561467.959 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561467.959 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561467.960 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 PI)) into 0
1545561467.968 * [misc]backup-simplify:  Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ 0 (* -1 PI))))) into 0
1545561467.968 * [misc]backup-simplify:  Simplify 0 into 0
1545561467.969 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545561467.969 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545561467.969 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561467.969 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545561467.970 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 1 PI))) into PI
1545561467.973 * [misc]backup-simplify:  Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ PI (* -1 PI))) (* 0 (/ 0 (* -1 PI))))) into (- (* 4/3 (/ 1 PI)))
1545561467.974 * [misc]backup-simplify:  Simplify (- (* 4/3 (/ 1 PI))) into (- (* 4/3 (/ 1 PI)))
1545561467.974 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545561467.975 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545561467.975 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561467.975 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561467.976 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (* 0 PI)))) into 0
1545561467.981 * [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
1545561467.981 * [misc]backup-simplify:  Simplify 0 into 0
1545561467.981 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545561467.982 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545561467.982 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561467.982 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561467.984 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI))))) into 0
1545561467.990 * [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)))
1545561467.991 * [misc]backup-simplify:  Simplify (- (* 4/3 (/ 1 PI))) into (- (* 4/3 (/ 1 PI)))
1545561467.993 * [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))))))
1545561467.993 * [misc]backup-simplify:  Simplify (/ (/ 4/3 PI) (- 1 (* (/ 1 (- v)) (/ 1 (- v))))) into (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI))
1545561467.993 * [misc]approximate:  Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in (v) around 0
1545561467.993 * [misc]taylor:  Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in v
1545561467.993 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545561467.994 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545561467.994 * [misc]taylor:  Taking taylor expansion of (* (- 1 (/ 1 (pow v 2))) PI) in v
1545561467.994 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v
1545561467.994 * [misc]taylor:  Taking taylor expansion of 1 in v
1545561467.994 * [misc]backup-simplify:  Simplify 1 into 1
1545561467.994 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1545561467.994 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545561467.994 * [misc]taylor:  Taking taylor expansion of v in v
1545561467.994 * [misc]backup-simplify:  Simplify 0 into 0
1545561467.994 * [misc]backup-simplify:  Simplify 1 into 1
1545561467.994 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545561467.994 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545561467.994 * [misc]taylor:  Taking taylor expansion of PI in v
1545561467.994 * [misc]backup-simplify:  Simplify PI into PI
1545561467.994 * [misc]backup-simplify:  Simplify (- 1) into -1
1545561467.994 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545561467.995 * [misc]backup-simplify:  Simplify (* -1 PI) into (* -1 PI)
1545561467.995 * [misc]backup-simplify:  Simplify (/ 4/3 (* -1 PI)) into (/ -4/3 PI)
1545561467.995 * [misc]taylor:  Taking taylor expansion of (/ 4/3 (* (- 1 (/ 1 (pow v 2))) PI)) in v
1545561467.995 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545561467.995 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545561467.995 * [misc]taylor:  Taking taylor expansion of (* (- 1 (/ 1 (pow v 2))) PI) in v
1545561467.995 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v
1545561467.995 * [misc]taylor:  Taking taylor expansion of 1 in v
1545561467.995 * [misc]backup-simplify:  Simplify 1 into 1
1545561467.995 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1545561467.995 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545561467.995 * [misc]taylor:  Taking taylor expansion of v in v
1545561467.995 * [misc]backup-simplify:  Simplify 0 into 0
1545561467.995 * [misc]backup-simplify:  Simplify 1 into 1
1545561467.996 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545561467.996 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545561467.996 * [misc]taylor:  Taking taylor expansion of PI in v
1545561467.996 * [misc]backup-simplify:  Simplify PI into PI
1545561467.996 * [misc]backup-simplify:  Simplify (- 1) into -1
1545561467.996 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545561467.996 * [misc]backup-simplify:  Simplify (* -1 PI) into (* -1 PI)
1545561467.997 * [misc]backup-simplify:  Simplify (/ 4/3 (* -1 PI)) into (/ -4/3 PI)
1545561467.997 * [misc]backup-simplify:  Simplify (/ -4/3 PI) into (/ -4/3 PI)
1545561467.997 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545561467.998 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545561467.998 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561467.998 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561467.998 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 PI)) into 0
1545561468.001 * [misc]backup-simplify:  Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ 0 (* -1 PI))))) into 0
1545561468.001 * [misc]backup-simplify:  Simplify 0 into 0
1545561468.001 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545561468.001 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545561468.002 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561468.002 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545561468.003 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 1 PI))) into PI
1545561468.006 * [misc]backup-simplify:  Simplify (- (/ 0 (* -1 PI)) (+ (* (/ -4/3 PI) (/ PI (* -1 PI))) (* 0 (/ 0 (* -1 PI))))) into (- (* 4/3 (/ 1 PI)))
1545561468.006 * [misc]backup-simplify:  Simplify (- (* 4/3 (/ 1 PI))) into (- (* 4/3 (/ 1 PI)))
1545561468.007 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545561468.007 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545561468.007 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561468.007 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561468.009 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (* 0 PI)))) into 0
1545561468.014 * [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
1545561468.014 * [misc]backup-simplify:  Simplify 0 into 0
1545561468.014 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545561468.015 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545561468.015 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561468.015 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561468.017 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI))))) into 0
1545561468.022 * [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)))
1545561468.023 * [misc]backup-simplify:  Simplify (- (* 4/3 (/ 1 PI))) into (- (* 4/3 (/ 1 PI)))
1545561468.025 * [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))))))
1545561468.025 * * * [misc]progress:  simplifying candidates
1545561468.025 * * * * [misc]progress:  [ 1 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ (log1p (expm1 (/ 4/3 PI))) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))>
1545561468.025 * * * * [misc]progress:  [ 2 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ (expm1 (log1p (/ 4/3 PI))) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))>
1545561468.025 * * * * [misc]progress:  [ 3 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ (pow (/ 4/3 PI) 1) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))>
1545561468.025 * * * * [misc]progress:  [ 4 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ (exp (log (/ 4/3 PI))) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))>
1545561468.025 * * * * [misc]progress:  [ 5 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ (log (exp (/ 4/3 PI))) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))>
1545561468.026 * * * * [misc]progress:  [ 6 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ (* (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (cbrt (/ 4/3 PI))) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))>
1545561468.026 * * * * [misc]progress:  [ 7 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ (cbrt (* (* (/ 4/3 PI) (/ 4/3 PI)) (/ 4/3 PI))) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))>
1545561468.026 * * * * [misc]progress:  [ 8 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ (* (sqrt (/ 4/3 PI)) (sqrt (/ 4/3 PI))) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))>
1545561468.026 * * * * [misc]progress:  [ 9 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ (- 4/3) (- PI)) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))>
1545561468.026 * * * * [misc]progress:  [ 10 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ (* 1 (/ 4/3 PI)) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))>
1545561468.026 * * * * [misc]progress:  [ 11 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ (* 4/3 (/ 1 PI)) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))>
1545561468.026 * * * * [misc]progress:  [ 12 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ 1 (/ PI 4/3)) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))>
1545561468.026 * * * * [misc]progress:  [ 13 / 52 ] simplifiying candidate #<alt (λ (v) (/ (log1p (expm1 (/ (/ 4/3 PI) (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561468.026 * * * * [misc]progress:  [ 14 / 52 ] simplifiying candidate #<alt (λ (v) (/ (expm1 (log1p (/ (/ 4/3 PI) (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561468.026 * * * * [misc]progress:  [ 15 / 52 ] simplifiying candidate #<alt (λ (v) (/ (pow (/ (/ 4/3 PI) (- 1 (* v v))) 1) (sqrt (fma -6 (* v v) 2))))>
1545561468.026 * * * * [misc]progress:  [ 16 / 52 ] simplifiying candidate #<alt (λ (v) (/ (exp (- (log (/ 4/3 PI)) (log (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561468.026 * [enter]simplify:  Simplifying (- (log (/ 4/3 PI)) (log (- 1 (* v v))))
1545561468.026 * * [misc]simplify:  iters left: 6 (10 enodes)
1545561468.030 * * [misc]simplify:  iters left: 5 (19 enodes)
1545561468.036 * * [misc]simplify:  iters left: 4 (31 enodes)
1545561468.041 * * [misc]simplify:  iters left: 3 (48 enodes)
1545561468.048 * * [misc]simplify:  iters left: 2 (58 enodes)
1545561468.054 * * [misc]simplify:  iters left: 1 (73 enodes)
1545561468.063 * [exit]simplify:  Simplified to (- (log (/ 4/3 PI)) (log (- 1 (* v v))))
1545561468.063 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (/ (exp (- (log (/ 4/3 PI)) (log (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))
1545561468.063 * * * * [misc]progress:  [ 17 / 52 ] simplifiying candidate #<alt (λ (v) (/ (exp (log (/ (/ 4/3 PI) (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561468.063 * * * * [misc]progress:  [ 18 / 52 ] simplifiying candidate #<alt (λ (v) (/ (log (exp (/ (/ 4/3 PI) (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561468.063 * * * * [misc]progress:  [ 19 / 52 ] simplifiying candidate #<alt (λ (v) (/ (cbrt (/ (* (* (/ 4/3 PI) (/ 4/3 PI)) (/ 4/3 PI)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561468.064 * [enter]simplify:  Simplifying (/ (* (* (/ 4/3 PI) (/ 4/3 PI)) (/ 4/3 PI)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))))
1545561468.064 * * [misc]simplify:  iters left: 6 (12 enodes)
1545561468.068 * * [misc]simplify:  iters left: 5 (31 enodes)
1545561468.080 * * [misc]simplify:  iters left: 4 (101 enodes)
1545561468.110 * * [misc]simplify:  iters left: 3 (331 enodes)
1545561468.455 * [exit]simplify:  Simplified to (/ (/ (/ (/ 64/27 PI) (* PI PI)) (- 1 (* v v))) (* (- 1 (* v v)) (- 1 (* v v))))
1545561468.455 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (/ (cbrt (/ (/ (/ (/ 64/27 PI) (* PI PI)) (- 1 (* v v))) (* (- 1 (* v v)) (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))
1545561468.455 * * * * [misc]progress:  [ 20 / 52 ] 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 (fma -6 (* v v) 2))))>
1545561468.455 * * * * [misc]progress:  [ 21 / 52 ] simplifiying candidate #<alt (λ (v) (/ (cbrt (* (* (/ (/ 4/3 PI) (- 1 (* v v))) (/ (/ 4/3 PI) (- 1 (* v v)))) (/ (/ 4/3 PI) (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561468.455 * * * * [misc]progress:  [ 22 / 52 ] simplifiying candidate #<alt (λ (v) (/ (* (sqrt (/ (/ 4/3 PI) (- 1 (* v v)))) (sqrt (/ (/ 4/3 PI) (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561468.455 * * * * [misc]progress:  [ 23 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ (- (/ 4/3 PI)) (- (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2))))>
1545561468.455 * * * * [misc]progress:  [ 24 / 52 ] 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 (fma -6 (* v v) 2))))>
1545561468.456 * [enter]simplify:  Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))
1545561468.456 * * [misc]simplify:  iters left: 6 (12 enodes)
1545561468.460 * * [misc]simplify:  iters left: 5 (22 enodes)
1545561468.467 * * [misc]simplify:  iters left: 4 (35 enodes)
1545561468.479 * * [misc]simplify:  iters left: 3 (40 enodes)
1545561468.486 * * [misc]simplify:  iters left: 2 (43 enodes)
1545561468.492 * [exit]simplify:  Simplified to (* (/ (cbrt (/ 4/3 PI)) (cbrt (- 1 (* v v)))) (/ (cbrt (/ 4/3 PI)) (cbrt (- 1 (* v v)))))
1545561468.492 * [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 (fma -6 (* v v) 2))))
1545561468.492 * [enter]simplify:  Simplifying (/ (cbrt (/ 4/3 PI)) (cbrt (- 1 (* v v))))
1545561468.492 * * [misc]simplify:  iters left: 6 (10 enodes)
1545561468.493 * * [misc]simplify:  iters left: 5 (14 enodes)
1545561468.495 * * [misc]simplify:  iters left: 4 (18 enodes)
1545561468.498 * * [misc]simplify:  iters left: 3 (20 enodes)
1545561468.500 * [exit]simplify:  Simplified to (/ (cbrt (/ 4/3 PI)) (cbrt (- 1 (* v v))))
1545561468.500 * [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 (fma -6 (* v v) 2))))
1545561468.500 * * * * [misc]progress:  [ 25 / 52 ] 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 (fma -6 (* v v) 2))))>
1545561468.501 * [enter]simplify:  Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (- 1 (* v v))))
1545561468.501 * * [misc]simplify:  iters left: 6 (11 enodes)
1545561468.502 * * [misc]simplify:  iters left: 5 (17 enodes)
1545561468.505 * * [misc]simplify:  iters left: 4 (23 enodes)
1545561468.508 * * [misc]simplify:  iters left: 3 (26 enodes)
1545561468.512 * [exit]simplify:  Simplified to (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (- 1 (* v v))))
1545561468.512 * [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 (fma -6 (* v v) 2))))
1545561468.512 * [enter]simplify:  Simplifying (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545561468.512 * * [misc]simplify:  iters left: 6 (10 enodes)
1545561468.515 * * [misc]simplify:  iters left: 5 (14 enodes)
1545561468.519 * * [misc]simplify:  iters left: 4 (18 enodes)
1545561468.524 * * [misc]simplify:  iters left: 3 (20 enodes)
1545561468.530 * [exit]simplify:  Simplified to (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545561468.530 * [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 (fma -6 (* v v) 2))))
1545561468.530 * * * * [misc]progress:  [ 26 / 52 ] simplifiying candidate #<alt (λ (v) (/ (* (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) 1) (/ (cbrt (/ 4/3 PI)) (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2))))>
1545561468.530 * [enter]simplify:  Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) 1)
1545561468.530 * * [misc]simplify:  iters left: 6 (7 enodes)
1545561468.532 * * [misc]simplify:  iters left: 5 (11 enodes)
1545561468.536 * * [misc]simplify:  iters left: 4 (17 enodes)
1545561468.541 * * [misc]simplify:  iters left: 3 (31 enodes)
1545561468.549 * * [misc]simplify:  iters left: 2 (57 enodes)
1545561468.564 * [exit]simplify:  Simplified to (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI)))
1545561468.564 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (/ (* (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (/ (cbrt (/ 4/3 PI)) (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2))))
1545561468.565 * [enter]simplify:  Simplifying (/ (cbrt (/ 4/3 PI)) (- 1 (* v v)))
1545561468.565 * * [misc]simplify:  iters left: 6 (9 enodes)
1545561468.568 * * [misc]simplify:  iters left: 5 (13 enodes)
1545561468.572 * * [misc]simplify:  iters left: 4 (17 enodes)
1545561468.576 * * [misc]simplify:  iters left: 3 (19 enodes)
1545561468.581 * [exit]simplify:  Simplified to (/ (cbrt (/ 4/3 PI)) (- 1 (* v v)))
1545561468.581 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (* (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (/ (cbrt (/ 4/3 PI)) (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2))))
1545561468.581 * * * * [misc]progress:  [ 27 / 52 ] 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 (fma -6 (* v v) 2))))>
1545561468.582 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))
1545561468.582 * * [misc]simplify:  iters left: 6 (11 enodes)
1545561468.585 * * [misc]simplify:  iters left: 5 (17 enodes)
1545561468.590 * * [misc]simplify:  iters left: 4 (21 enodes)
1545561468.596 * * [misc]simplify:  iters left: 3 (23 enodes)
1545561468.605 * [exit]simplify:  Simplified to (/ (/ (sqrt (/ 4/3 PI)) (cbrt (- 1 (* v v)))) (cbrt (- 1 (* v v))))
1545561468.605 * [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 (fma -6 (* v v) 2))))
1545561468.605 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (cbrt (- 1 (* v v))))
1545561468.605 * * [misc]simplify:  iters left: 6 (10 enodes)
1545561468.609 * * [misc]simplify:  iters left: 5 (14 enodes)
1545561468.613 * * [misc]simplify:  iters left: 4 (18 enodes)
1545561468.616 * * [misc]simplify:  iters left: 3 (20 enodes)
1545561468.619 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (cbrt (- 1 (* v v))))
1545561468.619 * [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 (fma -6 (* v v) 2))))
1545561468.619 * * * * [misc]progress:  [ 28 / 52 ] simplifiying candidate #<alt (λ (v) (/ (* (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))) (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561468.620 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545561468.620 * * [misc]simplify:  iters left: 6 (10 enodes)
1545561468.621 * * [misc]simplify:  iters left: 5 (14 enodes)
1545561468.623 * * [misc]simplify:  iters left: 4 (18 enodes)
1545561468.626 * * [misc]simplify:  iters left: 3 (20 enodes)
1545561468.628 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545561468.628 * [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 (fma -6 (* v v) 2))))
1545561468.628 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545561468.628 * * [misc]simplify:  iters left: 6 (10 enodes)
1545561468.630 * * [misc]simplify:  iters left: 5 (14 enodes)
1545561468.632 * * [misc]simplify:  iters left: 4 (18 enodes)
1545561468.634 * * [misc]simplify:  iters left: 3 (20 enodes)
1545561468.636 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545561468.637 * [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 (fma -6 (* v v) 2))))
1545561468.637 * * * * [misc]progress:  [ 29 / 52 ] simplifiying candidate #<alt (λ (v) (/ (* (/ (sqrt (/ 4/3 PI)) 1) (/ (sqrt (/ 4/3 PI)) (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2))))>
1545561468.637 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) 1)
1545561468.637 * * [misc]simplify:  iters left: 5 (6 enodes)
1545561468.638 * * [misc]simplify:  iters left: 4 (8 enodes)
1545561468.639 * * [misc]simplify:  iters left: 3 (10 enodes)
1545561468.640 * [exit]simplify:  Simplified to (sqrt (/ 4/3 PI))
1545561468.640 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (/ (* (sqrt (/ 4/3 PI)) (/ (sqrt (/ 4/3 PI)) (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2))))
1545561468.640 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (- 1 (* v v)))
1545561468.640 * * [misc]simplify:  iters left: 6 (9 enodes)
1545561468.642 * * [misc]simplify:  iters left: 5 (13 enodes)
1545561468.644 * * [misc]simplify:  iters left: 4 (17 enodes)
1545561468.646 * * [misc]simplify:  iters left: 3 (19 enodes)
1545561468.648 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (- 1 (* v v)))
1545561468.648 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (* (sqrt (/ 4/3 PI)) (/ (sqrt (/ 4/3 PI)) (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2))))
1545561468.648 * * * * [misc]progress:  [ 30 / 52 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (/ (/ 4/3 PI) (cbrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561468.648 * [enter]simplify:  Simplifying (/ 1 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))
1545561468.649 * * [misc]simplify:  iters left: 6 (7 enodes)
1545561468.650 * * [misc]simplify:  iters left: 5 (13 enodes)
1545561468.652 * * [misc]simplify:  iters left: 4 (17 enodes)
1545561468.657 * * [misc]simplify:  iters left: 3 (19 enodes)
1545561468.662 * [exit]simplify:  Simplified to (/ (/ 1 (cbrt (- 1 (* v v)))) (cbrt (- 1 (* v v))))
1545561468.662 * [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 (fma -6 (* v v) 2))))
1545561468.662 * [enter]simplify:  Simplifying (/ (/ 4/3 PI) (cbrt (- 1 (* v v))))
1545561468.662 * * [misc]simplify:  iters left: 6 (9 enodes)
1545561468.665 * * [misc]simplify:  iters left: 5 (15 enodes)
1545561468.669 * * [misc]simplify:  iters left: 4 (22 enodes)
1545561468.675 * * [misc]simplify:  iters left: 3 (24 enodes)
1545561468.681 * [exit]simplify:  Simplified to (/ (/ 4/3 PI) (cbrt (- 1 (* v v))))
1545561468.681 * [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 (fma -6 (* v v) 2))))
1545561468.681 * * * * [misc]progress:  [ 31 / 52 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561468.681 * [enter]simplify:  Simplifying (/ 1 (sqrt (- 1 (* v v))))
1545561468.682 * * [misc]simplify:  iters left: 6 (6 enodes)
1545561468.684 * * [misc]simplify:  iters left: 5 (10 enodes)
1545561468.687 * * [misc]simplify:  iters left: 4 (14 enodes)
1545561468.691 * * [misc]simplify:  iters left: 3 (16 enodes)
1545561468.696 * [exit]simplify:  Simplified to (/ 1 (sqrt (- 1 (* v v))))
1545561468.696 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))
1545561468.696 * [enter]simplify:  Simplifying (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))
1545561468.696 * * [misc]simplify:  iters left: 6 (9 enodes)
1545561468.699 * * [misc]simplify:  iters left: 5 (15 enodes)
1545561468.704 * * [misc]simplify:  iters left: 4 (22 enodes)
1545561468.711 * * [misc]simplify:  iters left: 3 (24 enodes)
1545561468.717 * [exit]simplify:  Simplified to (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))
1545561468.717 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))
1545561468.717 * * * * [misc]progress:  [ 32 / 52 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 1) (/ (/ 4/3 PI) (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2))))>
1545561468.717 * [enter]simplify:  Simplifying (/ 1 1)
1545561468.718 * * [misc]simplify:  iters left: 2 (2 enodes)
1545561468.718 * * [misc]simplify:  iters left: 1 (4 enodes)
1545561468.719 * [exit]simplify:  Simplified to 1
1545561468.719 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (/ (* 1 (/ (/ 4/3 PI) (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2))))
1545561468.719 * [enter]simplify:  Simplifying (/ (/ 4/3 PI) (- 1 (* v v)))
1545561468.719 * * [misc]simplify:  iters left: 6 (8 enodes)
1545561468.722 * * [misc]simplify:  iters left: 5 (14 enodes)
1545561468.728 * * [misc]simplify:  iters left: 4 (21 enodes)
1545561468.734 * * [misc]simplify:  iters left: 3 (31 enodes)
1545561468.747 * * [misc]simplify:  iters left: 2 (47 enodes)
1545561468.759 * * [misc]simplify:  iters left: 1 (58 enodes)
1545561468.773 * [exit]simplify:  Simplified to (/ (/ 4/3 PI) (- 1 (* v v)))
1545561468.773 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (* 1 (/ (/ 4/3 PI) (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2))))
1545561468.773 * * * * [misc]progress:  [ 33 / 52 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 4/3 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (/ (/ 1 PI) (cbrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561468.773 * [enter]simplify:  Simplifying (/ 4/3 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))
1545561468.773 * * [misc]simplify:  iters left: 6 (8 enodes)
1545561468.776 * * [misc]simplify:  iters left: 5 (14 enodes)
1545561468.780 * * [misc]simplify:  iters left: 4 (18 enodes)
1545561468.786 * * [misc]simplify:  iters left: 3 (20 enodes)
1545561468.791 * [exit]simplify:  Simplified to (/ 4/3 (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))
1545561468.791 * [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 (fma -6 (* v v) 2))))
1545561468.792 * [enter]simplify:  Simplifying (/ (/ 1 PI) (cbrt (- 1 (* v v))))
1545561468.792 * * [misc]simplify:  iters left: 6 (8 enodes)
1545561468.794 * * [misc]simplify:  iters left: 5 (14 enodes)
1545561468.799 * * [misc]simplify:  iters left: 4 (21 enodes)
1545561468.804 * * [misc]simplify:  iters left: 3 (23 enodes)
1545561468.810 * [exit]simplify:  Simplified to (/ (/ 1 PI) (cbrt (- 1 (* v v))))
1545561468.810 * [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 (fma -6 (* v v) 2))))
1545561468.810 * * * * [misc]progress:  [ 34 / 52 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 4/3 (sqrt (- 1 (* v v)))) (/ (/ 1 PI) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561468.811 * [enter]simplify:  Simplifying (/ 4/3 (sqrt (- 1 (* v v))))
1545561468.811 * * [misc]simplify:  iters left: 6 (7 enodes)
1545561468.813 * * [misc]simplify:  iters left: 5 (11 enodes)
1545561468.816 * * [misc]simplify:  iters left: 4 (15 enodes)
1545561468.821 * * [misc]simplify:  iters left: 3 (17 enodes)
1545561468.825 * [exit]simplify:  Simplified to (/ 4/3 (sqrt (- 1 (* v v))))
1545561468.825 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (/ (* (/ 4/3 (sqrt (- 1 (* v v)))) (/ (/ 1 PI) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))
1545561468.826 * [enter]simplify:  Simplifying (/ (/ 1 PI) (sqrt (- 1 (* v v))))
1545561468.826 * * [misc]simplify:  iters left: 6 (8 enodes)
1545561468.828 * * [misc]simplify:  iters left: 5 (14 enodes)
1545561468.833 * * [misc]simplify:  iters left: 4 (21 enodes)
1545561468.839 * * [misc]simplify:  iters left: 3 (23 enodes)
1545561468.844 * [exit]simplify:  Simplified to (/ (/ 1 PI) (sqrt (- 1 (* v v))))
1545561468.845 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (* (/ 4/3 (sqrt (- 1 (* v v)))) (/ (/ 1 PI) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))
1545561468.845 * * * * [misc]progress:  [ 35 / 52 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 4/3 1) (/ (/ 1 PI) (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2))))>
1545561468.845 * [enter]simplify:  Simplifying (/ 4/3 1)
1545561468.845 * * [misc]simplify:  iters left: 2 (3 enodes)
1545561468.846 * * [misc]simplify:  iters left: 1 (5 enodes)
1545561468.847 * [exit]simplify:  Simplified to 4/3
1545561468.847 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (/ (* 4/3 (/ (/ 1 PI) (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2))))
1545561468.847 * [enter]simplify:  Simplifying (/ (/ 1 PI) (- 1 (* v v)))
1545561468.847 * * [misc]simplify:  iters left: 6 (7 enodes)
1545561468.850 * * [misc]simplify:  iters left: 5 (13 enodes)
1545561468.853 * * [misc]simplify:  iters left: 4 (20 enodes)
1545561468.859 * * [misc]simplify:  iters left: 3 (30 enodes)
1545561468.871 * * [misc]simplify:  iters left: 2 (46 enodes)
1545561468.880 * * [misc]simplify:  iters left: 1 (57 enodes)
1545561468.886 * [exit]simplify:  Simplified to (/ (/ 1 PI) (- 1 (* v v)))
1545561468.886 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (* 4/3 (/ (/ 1 PI) (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2))))
1545561468.887 * * * * [misc]progress:  [ 36 / 52 ] simplifiying candidate #<alt (λ (v) (/ (* 1 (/ (/ 4/3 PI) (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2))))>
1545561468.887 * * * * [misc]progress:  [ 37 / 52 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 4/3 PI) (/ 1 (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2))))>
1545561468.887 * * * * [misc]progress:  [ 38 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ 1 (/ (- 1 (* v v)) (/ 4/3 PI))) (sqrt (fma -6 (* v v) 2))))>
1545561468.887 * * * * [misc]progress:  [ 39 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ (/ 4/3 PI) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (cbrt (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2))))>
1545561468.887 * [enter]simplify:  Simplifying (cbrt (- 1 (* v v)))
1545561468.887 * * [misc]simplify:  iters left: 5 (5 enodes)
1545561468.888 * * [misc]simplify:  iters left: 4 (9 enodes)
1545561468.889 * * [misc]simplify:  iters left: 3 (13 enodes)
1545561468.891 * * [misc]simplify:  iters left: 2 (15 enodes)
1545561468.893 * [exit]simplify:  Simplified to (cbrt (- 1 (* v v)))
1545561468.893 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (/ (/ (/ 4/3 PI) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (cbrt (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2))))
1545561468.893 * * * * [misc]progress:  [ 40 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))) (sqrt (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2))))>
1545561468.893 * [enter]simplify:  Simplifying (sqrt (- 1 (* v v)))
1545561468.893 * * [misc]simplify:  iters left: 5 (5 enodes)
1545561468.894 * * [misc]simplify:  iters left: 4 (9 enodes)
1545561468.895 * * [misc]simplify:  iters left: 3 (13 enodes)
1545561468.897 * * [misc]simplify:  iters left: 2 (15 enodes)
1545561468.898 * [exit]simplify:  Simplified to (sqrt (- 1 (* v v)))
1545561468.898 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (/ (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))) (sqrt (- 1 (* v v)))) (sqrt (fma -6 (* v v) 2))))
1545561468.898 * * * * [misc]progress:  [ 41 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ (/ 4/3 PI) 1) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))>
1545561468.899 * [enter]simplify:  Simplifying (- 1 (* v v))
1545561468.899 * * [misc]simplify:  iters left: 4 (4 enodes)
1545561468.899 * * [misc]simplify:  iters left: 3 (8 enodes)
1545561468.900 * * [misc]simplify:  iters left: 2 (12 enodes)
1545561468.902 * * [misc]simplify:  iters left: 1 (14 enodes)
1545561468.904 * [exit]simplify:  Simplified to (- 1 (* v v))
1545561468.904 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (/ (/ (/ 4/3 PI) 1) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))
1545561468.904 * * * * [misc]progress:  [ 42 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (/ (- 1 (* v v)) (cbrt (/ 4/3 PI)))) (sqrt (fma -6 (* v v) 2))))>
1545561468.904 * [enter]simplify:  Simplifying (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI)))
1545561468.904 * * [misc]simplify:  iters left: 5 (5 enodes)
1545561468.906 * [exit]simplify:  Simplified to (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI)))
1545561468.906 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (/ (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (/ (- 1 (* v v)) (cbrt (/ 4/3 PI)))) (sqrt (fma -6 (* v v) 2))))
1545561468.906 * * * * [misc]progress:  [ 43 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ (sqrt (/ 4/3 PI)) (/ (- 1 (* v v)) (sqrt (/ 4/3 PI)))) (sqrt (fma -6 (* v v) 2))))>
1545561468.906 * [enter]simplify:  Simplifying (sqrt (/ 4/3 PI))
1545561468.906 * * [misc]simplify:  iters left: 3 (4 enodes)
1545561468.907 * [exit]simplify:  Simplified to (sqrt (/ 4/3 PI))
1545561468.907 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (/ (/ (sqrt (/ 4/3 PI)) (/ (- 1 (* v v)) (sqrt (/ 4/3 PI)))) (sqrt (fma -6 (* v v) 2))))
1545561468.907 * * * * [misc]progress:  [ 44 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ 1 (/ (- 1 (* v v)) (/ 4/3 PI))) (sqrt (fma -6 (* v v) 2))))>
1545561468.907 * * * * [misc]progress:  [ 45 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ 4/3 (/ (- 1 (* v v)) (/ 1 PI))) (sqrt (fma -6 (* v v) 2))))>
1545561468.908 * * * * [misc]progress:  [ 46 / 52 ] simplifiying candidate #<alt (λ (v) (/ (* (/ (/ 4/3 PI) (- (pow 1 3) (pow (* v v) 3))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561468.908 * [enter]simplify:  Simplifying (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v))))
1545561468.908 * * [misc]simplify:  iters left: 6 (8 enodes)
1545561468.911 * * [misc]simplify:  iters left: 5 (25 enodes)
1545561468.922 * * [misc]simplify:  iters left: 4 (65 enodes)
1545561468.961 * * [misc]simplify:  iters left: 3 (129 enodes)
1545561469.049 * * [misc]simplify:  iters left: 2 (197 enodes)
1545561469.100 * * [misc]simplify:  iters left: 1 (243 enodes)
1545561469.127 * [exit]simplify:  Simplified to (fma (fma v v 1) (* v v) 1)
1545561469.127 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (* (/ (/ 4/3 PI) (- (pow 1 3) (pow (* v v) 3))) (fma (fma v v 1) (* v v) 1)) (sqrt (fma -6 (* v v) 2))))
1545561469.127 * * * * [misc]progress:  [ 47 / 52 ] simplifiying candidate #<alt (λ (v) (/ (* (/ (/ 4/3 PI) (- (* 1 1) (* (* v v) (* v v)))) (+ 1 (* v v))) (sqrt (fma -6 (* v v) 2))))>
1545561469.127 * [enter]simplify:  Simplifying (+ 1 (* v v))
1545561469.127 * * [misc]simplify:  iters left: 4 (4 enodes)
1545561469.128 * * [misc]simplify:  iters left: 3 (7 enodes)
1545561469.129 * * [misc]simplify:  iters left: 2 (8 enodes)
1545561469.130 * [exit]simplify:  Simplified to (fma v v 1)
1545561469.130 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (* (/ (/ 4/3 PI) (- (* 1 1) (* (* v v) (* v v)))) (fma v v 1)) (sqrt (fma -6 (* v v) 2))))
1545561469.130 * * * * [misc]progress:  [ 48 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ 4/3 (* (- 1 (* v v)) PI)) (sqrt (fma -6 (* v v) 2))))>
1545561469.130 * * * * [misc]progress:  [ 49 / 52 ] simplifiying candidate #<alt (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))>
1545561469.130 * [enter]simplify:  Simplifying (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2)))
1545561469.130 * * [misc]simplify:  iters left: 6 (13 enodes)
1545561469.132 * * [misc]simplify:  iters left: 5 (23 enodes)
1545561469.135 * * [misc]simplify:  iters left: 4 (43 enodes)
1545561469.142 * * [misc]simplify:  iters left: 3 (103 enodes)
1545561469.170 * * [misc]simplify:  iters left: 2 (199 enodes)
1545561469.218 * * [misc]simplify:  iters left: 1 (308 enodes)
1545561469.306 * [exit]simplify:  Simplified to (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (fma (* v -6) v 2)))
1545561469.306 * [misc]simplify:  Simplified (2) to (λ (v) (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (fma (* v -6) v 2))))
1545561469.306 * * * * [misc]progress:  [ 50 / 52 ] simplifiying candidate #<alt (λ (v) (/ (+ (* 4/3 (/ (pow v 2) PI)) (+ (* 4/3 (/ 1 PI)) (* 4/3 (/ (pow v 4) PI)))) (sqrt (fma -6 (* v v) 2))))>
1545561469.306 * [enter]simplify:  Simplifying (+ (* 4/3 (/ (pow v 2) PI)) (+ (* 4/3 (/ 1 PI)) (* 4/3 (/ (pow v 4) PI))))
1545561469.306 * * [misc]simplify:  iters left: 6 (16 enodes)
1545561469.313 * * [misc]simplify:  iters left: 5 (36 enodes)
1545561469.332 * * [misc]simplify:  iters left: 4 (72 enodes)
1545561469.368 * * [misc]simplify:  iters left: 3 (114 enodes)
1545561469.437 * * [misc]simplify:  iters left: 2 (170 enodes)
1545561469.492 * * [misc]simplify:  iters left: 1 (275 enodes)
1545561469.692 * [exit]simplify:  Simplified to (fma (/ 4/3 PI) (* v v) (fma (pow v 4) (/ 4/3 PI) (/ 4/3 PI)))
1545561469.692 * [misc]simplify:  Simplified (2 1) to (λ (v) (/ (fma (/ 4/3 PI) (* v v) (fma (pow v 4) (/ 4/3 PI) (/ 4/3 PI))) (sqrt (fma -6 (* v v) 2))))
1545561469.692 * * * * [misc]progress:  [ 51 / 52 ] 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 (fma -6 (* v v) 2))))>
1545561469.692 * [enter]simplify:  Simplifying (- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI))))))
1545561469.693 * * [misc]simplify:  iters left: 6 (22 enodes)
1545561469.697 * * [misc]simplify:  iters left: 5 (52 enodes)
1545561469.714 * * [misc]simplify:  iters left: 4 (114 enodes)
1545561469.804 * * [misc]simplify:  iters left: 3 (271 enodes)
1545561470.520 * [exit]simplify:  Simplified to (- (/ -4/3 (* v (* v PI))) (+ (/ (/ 4/3 PI) (pow v 6)) (/ (/ 4/3 PI) (pow v 4))))
1545561470.520 * [misc]simplify:  Simplified (2 1) to (λ (v) (/ (- (/ -4/3 (* v (* v PI))) (+ (/ (/ 4/3 PI) (pow v 6)) (/ (/ 4/3 PI) (pow v 4)))) (sqrt (fma -6 (* v v) 2))))
1545561470.520 * * * * [misc]progress:  [ 52 / 52 ] 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 (fma -6 (* v v) 2))))>
1545561470.520 * [enter]simplify:  Simplifying (- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI))))))
1545561470.521 * * [misc]simplify:  iters left: 6 (22 enodes)
1545561470.531 * * [misc]simplify:  iters left: 5 (52 enodes)
1545561470.550 * * [misc]simplify:  iters left: 4 (114 enodes)
1545561470.645 * * [misc]simplify:  iters left: 3 (271 enodes)
1545561471.350 * [exit]simplify:  Simplified to (- (/ -4/3 (* v (* v PI))) (+ (/ (/ 4/3 PI) (pow v 6)) (/ (/ 4/3 PI) (pow v 4))))
1545561471.350 * [misc]simplify:  Simplified (2 1) to (λ (v) (/ (- (/ -4/3 (* v (* v PI))) (+ (/ (/ 4/3 PI) (pow v 6)) (/ (/ 4/3 PI) (pow v 4)))) (sqrt (fma -6 (* v v) 2))))
1545561471.351 * * * [misc]progress:  adding candidates to table
1545561472.036 * * [misc]progress:  iteration 2 / 4
1545561472.036 * * * [misc]progress:  picking best candidate
1545561472.045 * * * * [misc]pick:  Picked  #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561472.045 * * * [misc]progress:  localizing error
1545561472.072 * * * [misc]progress:  generating rewritten candidates
1545561472.072 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 2 1)
1545561472.072 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1 2)
1545561472.082 * * * [misc]progress:  generating series expansions
1545561472.082 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 2 1)
1545561472.082 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1 2)
1545561472.083 * [misc]backup-simplify:  Simplify (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))) into (* 4/3 (* (sqrt (/ 1 (- 1 (pow v 2)))) (/ 1 PI)))
1545561472.083 * [misc]approximate:  Taking taylor expansion of (* 4/3 (* (sqrt (/ 1 (- 1 (pow v 2)))) (/ 1 PI))) in (v) around 0
1545561472.083 * [misc]taylor:  Taking taylor expansion of (* 4/3 (* (sqrt (/ 1 (- 1 (pow v 2)))) (/ 1 PI))) in v
1545561472.083 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545561472.083 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545561472.083 * [misc]taylor:  Taking taylor expansion of (* (sqrt (/ 1 (- 1 (pow v 2)))) (/ 1 PI)) in v
1545561472.083 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (- 1 (pow v 2)))) in v
1545561472.083 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (pow v 2))) in v
1545561472.083 * [misc]taylor:  Taking taylor expansion of (- 1 (pow v 2)) in v
1545561472.083 * [misc]taylor:  Taking taylor expansion of 1 in v
1545561472.083 * [misc]backup-simplify:  Simplify 1 into 1
1545561472.083 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545561472.083 * [misc]taylor:  Taking taylor expansion of v in v
1545561472.083 * [misc]backup-simplify:  Simplify 0 into 0
1545561472.083 * [misc]backup-simplify:  Simplify 1 into 1
1545561472.083 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545561472.083 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545561472.084 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545561472.084 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561472.084 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545561472.084 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545561472.084 * [misc]taylor:  Taking taylor expansion of (/ 1 PI) in v
1545561472.084 * [misc]taylor:  Taking taylor expansion of PI in v
1545561472.084 * [misc]backup-simplify:  Simplify PI into PI
1545561472.085 * [misc]backup-simplify:  Simplify (/ 1 PI) into (/ 1 PI)
1545561472.085 * [misc]taylor:  Taking taylor expansion of (* 4/3 (* (sqrt (/ 1 (- 1 (pow v 2)))) (/ 1 PI))) in v
1545561472.085 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545561472.085 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545561472.085 * [misc]taylor:  Taking taylor expansion of (* (sqrt (/ 1 (- 1 (pow v 2)))) (/ 1 PI)) in v
1545561472.085 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (- 1 (pow v 2)))) in v
1545561472.085 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (pow v 2))) in v
1545561472.085 * [misc]taylor:  Taking taylor expansion of (- 1 (pow v 2)) in v
1545561472.085 * [misc]taylor:  Taking taylor expansion of 1 in v
1545561472.085 * [misc]backup-simplify:  Simplify 1 into 1
1545561472.085 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545561472.085 * [misc]taylor:  Taking taylor expansion of v in v
1545561472.085 * [misc]backup-simplify:  Simplify 0 into 0
1545561472.085 * [misc]backup-simplify:  Simplify 1 into 1
1545561472.085 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545561472.085 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545561472.085 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545561472.086 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561472.086 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545561472.086 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545561472.086 * [misc]taylor:  Taking taylor expansion of (/ 1 PI) in v
1545561472.086 * [misc]taylor:  Taking taylor expansion of PI in v
1545561472.086 * [misc]backup-simplify:  Simplify PI into PI
1545561472.086 * [misc]backup-simplify:  Simplify (/ 1 PI) into (/ 1 PI)
1545561472.087 * [misc]backup-simplify:  Simplify (* 1 (/ 1 PI)) into (/ 1 PI)
1545561472.088 * [misc]backup-simplify:  Simplify (* 4/3 (/ 1 PI)) into (/ 4/3 PI)
1545561472.088 * [misc]backup-simplify:  Simplify (/ 4/3 PI) into (/ 4/3 PI)
1545561472.089 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)))) into 0
1545561472.090 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ 1 PI))) into 0
1545561472.091 * [misc]backup-simplify:  Simplify (+ (* 4/3 0) (* 0 (/ 1 PI))) into 0
1545561472.091 * [misc]backup-simplify:  Simplify 0 into 0
1545561472.093 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)))) into 0
1545561472.093 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545561472.093 * [misc]backup-simplify:  Simplify (- 1) into -1
1545561472.093 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545561472.094 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ -1 1)) (* 0 (/ 0 1)))) into 1
1545561472.095 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 1)) into 1/2
1545561472.096 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 1/2 (/ 1 PI)))) into (* 1/2 (/ 1 PI))
1545561472.098 * [misc]backup-simplify:  Simplify (+ (* 4/3 (* 1/2 (/ 1 PI))) (+ (* 0 0) (* 0 (/ 1 PI)))) into (* 2/3 (/ 1 PI))
1545561472.099 * [misc]backup-simplify:  Simplify (* 2/3 (/ 1 PI)) into (/ 2/3 PI)
1545561472.101 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0
1545561472.101 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545561472.102 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561472.102 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561472.102 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ -1 1)) (* 1 (/ 0 1)))) into 0
1545561472.102 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 1/2)))) (* 2 1)) into 0
1545561472.104 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1/2 0) (* 0 (/ 1 PI))))) into 0
1545561472.107 * [misc]backup-simplify:  Simplify (+ (* 4/3 0) (+ (* 0 (* 1/2 (/ 1 PI))) (+ (* 0 0) (* 0 (/ 1 PI))))) into 0
1545561472.107 * [misc]backup-simplify:  Simplify 0 into 0
1545561472.110 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0
1545561472.110 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545561472.110 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561472.111 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561472.111 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 1 (/ -1 1)) (* 0 (/ 0 1)))) into 1
1545561472.112 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into 3/8
1545561472.115 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1/2 0) (+ (* 0 0) (* 3/8 (/ 1 PI)))))) into (* 3/8 (/ 1 PI))
1545561472.119 * [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))
1545561472.119 * [misc]backup-simplify:  Simplify (* 1/2 (/ 1 PI)) into (/ 1/2 PI)
1545561472.120 * [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))))
1545561472.121 * [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)))
1545561472.121 * [misc]approximate:  Taking taylor expansion of (* 4/3 (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI))) in (v) around 0
1545561472.121 * [misc]taylor:  Taking taylor expansion of (* 4/3 (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI))) in v
1545561472.121 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545561472.121 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545561472.121 * [misc]taylor:  Taking taylor expansion of (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI)) in v
1545561472.121 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) in v
1545561472.121 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 (pow v 2)))) in v
1545561472.121 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v
1545561472.121 * [misc]taylor:  Taking taylor expansion of 1 in v
1545561472.121 * [misc]backup-simplify:  Simplify 1 into 1
1545561472.121 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1545561472.121 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545561472.121 * [misc]taylor:  Taking taylor expansion of v in v
1545561472.121 * [misc]backup-simplify:  Simplify 0 into 0
1545561472.121 * [misc]backup-simplify:  Simplify 1 into 1
1545561472.122 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545561472.122 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545561472.122 * [misc]backup-simplify:  Simplify (- 1) into -1
1545561472.122 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545561472.122 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545561472.122 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545561472.123 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545561472.123 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545561472.123 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561472.123 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561472.123 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
1545561472.124 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1545561472.124 * [misc]taylor:  Taking taylor expansion of (/ 1 PI) in v
1545561472.124 * [misc]taylor:  Taking taylor expansion of PI in v
1545561472.124 * [misc]backup-simplify:  Simplify PI into PI
1545561472.124 * [misc]backup-simplify:  Simplify (/ 1 PI) into (/ 1 PI)
1545561472.124 * [misc]taylor:  Taking taylor expansion of (* 4/3 (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI))) in v
1545561472.124 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545561472.124 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545561472.124 * [misc]taylor:  Taking taylor expansion of (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI)) in v
1545561472.124 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) in v
1545561472.124 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 (pow v 2)))) in v
1545561472.124 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v
1545561472.124 * [misc]taylor:  Taking taylor expansion of 1 in v
1545561472.124 * [misc]backup-simplify:  Simplify 1 into 1
1545561472.124 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1545561472.124 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545561472.124 * [misc]taylor:  Taking taylor expansion of v in v
1545561472.124 * [misc]backup-simplify:  Simplify 0 into 0
1545561472.124 * [misc]backup-simplify:  Simplify 1 into 1
1545561472.125 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545561472.125 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545561472.125 * [misc]backup-simplify:  Simplify (- 1) into -1
1545561472.125 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545561472.125 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545561472.125 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545561472.126 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545561472.126 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545561472.126 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561472.126 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561472.126 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
1545561472.127 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1545561472.127 * [misc]taylor:  Taking taylor expansion of (/ 1 PI) in v
1545561472.127 * [misc]taylor:  Taking taylor expansion of PI in v
1545561472.127 * [misc]backup-simplify:  Simplify PI into PI
1545561472.127 * [misc]backup-simplify:  Simplify (/ 1 PI) into (/ 1 PI)
1545561472.128 * [misc]backup-simplify:  Simplify (* (sqrt -1) (/ 1 PI)) into (/ (sqrt -1) PI)
1545561472.128 * [misc]backup-simplify:  Simplify (* 4/3 (/ (sqrt -1) PI)) into (* 4/3 (/ (sqrt -1) PI))
1545561472.129 * [misc]backup-simplify:  Simplify (* 4/3 (/ (sqrt -1) PI)) into (* 4/3 (/ (sqrt -1) PI))
1545561472.130 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)))) into 0
1545561472.131 * [misc]backup-simplify:  Simplify (+ (* (sqrt -1) 0) (* 0 (/ 1 PI))) into 0
1545561472.132 * [misc]backup-simplify:  Simplify (+ (* 4/3 0) (* 0 (/ (sqrt -1) PI))) into 0
1545561472.132 * [misc]backup-simplify:  Simplify 0 into 0
1545561472.134 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)))) into 0
1545561472.134 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545561472.135 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545561472.135 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561472.135 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545561472.135 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)) (* 0 (/ 0 -1)))) into -1
1545561472.137 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1545561472.139 * [misc]backup-simplify:  Simplify (+ (* (sqrt -1) 0) (+ (* 0 0) (* (/ -1/2 (sqrt -1)) (/ 1 PI)))) into (- (* 1/2 (/ 1 (* (sqrt -1) PI))))
1545561472.142 * [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))))
1545561472.143 * [misc]backup-simplify:  Simplify (- (* 2/3 (/ 1 (* (sqrt -1) PI)))) into (- (* 2/3 (/ 1 (* (sqrt -1) PI))))
1545561472.146 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0
1545561472.146 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545561472.147 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545561472.147 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561472.147 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561472.147 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 1 -1)) (* -1 (/ 0 -1)))) into 0
1545561472.148 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1545561472.150 * [misc]backup-simplify:  Simplify (+ (* (sqrt -1) 0) (+ (* 0 0) (+ (* (/ -1/2 (sqrt -1)) 0) (* 0 (/ 1 PI))))) into 0
1545561472.153 * [misc]backup-simplify:  Simplify (+ (* 4/3 0) (+ (* 0 (- (* 1/2 (/ 1 (* (sqrt -1) PI))))) (+ (* 0 0) (* 0 (/ (sqrt -1) PI))))) into 0
1545561472.153 * [misc]backup-simplify:  Simplify 0 into 0
1545561472.154 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0
1545561472.155 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545561472.155 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545561472.155 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561472.155 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561472.155 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* -1 (/ 1 -1)) (* 0 (/ 0 -1)))) into -1
1545561472.156 * [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)))
1545561472.160 * [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)))))
1545561472.165 * [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)))))
1545561472.167 * [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)))))
1545561472.170 * [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)))))))
1545561472.171 * [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)))
1545561472.171 * [misc]approximate:  Taking taylor expansion of (* 4/3 (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI))) in (v) around 0
1545561472.171 * [misc]taylor:  Taking taylor expansion of (* 4/3 (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI))) in v
1545561472.171 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545561472.171 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545561472.171 * [misc]taylor:  Taking taylor expansion of (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI)) in v
1545561472.171 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) in v
1545561472.171 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 (pow v 2)))) in v
1545561472.171 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v
1545561472.171 * [misc]taylor:  Taking taylor expansion of 1 in v
1545561472.171 * [misc]backup-simplify:  Simplify 1 into 1
1545561472.171 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1545561472.171 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545561472.171 * [misc]taylor:  Taking taylor expansion of v in v
1545561472.171 * [misc]backup-simplify:  Simplify 0 into 0
1545561472.171 * [misc]backup-simplify:  Simplify 1 into 1
1545561472.171 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545561472.171 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545561472.172 * [misc]backup-simplify:  Simplify (- 1) into -1
1545561472.172 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545561472.172 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545561472.172 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545561472.172 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545561472.172 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545561472.172 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561472.172 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561472.172 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
1545561472.173 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1545561472.173 * [misc]taylor:  Taking taylor expansion of (/ 1 PI) in v
1545561472.173 * [misc]taylor:  Taking taylor expansion of PI in v
1545561472.173 * [misc]backup-simplify:  Simplify PI into PI
1545561472.173 * [misc]backup-simplify:  Simplify (/ 1 PI) into (/ 1 PI)
1545561472.173 * [misc]taylor:  Taking taylor expansion of (* 4/3 (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI))) in v
1545561472.173 * [misc]taylor:  Taking taylor expansion of 4/3 in v
1545561472.173 * [misc]backup-simplify:  Simplify 4/3 into 4/3
1545561472.173 * [misc]taylor:  Taking taylor expansion of (* (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) (/ 1 PI)) in v
1545561472.173 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (- 1 (/ 1 (pow v 2))))) in v
1545561472.173 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 (pow v 2)))) in v
1545561472.173 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v
1545561472.173 * [misc]taylor:  Taking taylor expansion of 1 in v
1545561472.173 * [misc]backup-simplify:  Simplify 1 into 1
1545561472.173 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1545561472.173 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1545561472.173 * [misc]taylor:  Taking taylor expansion of v in v
1545561472.173 * [misc]backup-simplify:  Simplify 0 into 0
1545561472.173 * [misc]backup-simplify:  Simplify 1 into 1
1545561472.173 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545561472.173 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545561472.173 * [misc]backup-simplify:  Simplify (- 1) into -1
1545561472.173 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545561472.174 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545561472.174 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545561472.174 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545561472.174 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545561472.174 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561472.174 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561472.174 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
1545561472.174 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1545561472.174 * [misc]taylor:  Taking taylor expansion of (/ 1 PI) in v
1545561472.174 * [misc]taylor:  Taking taylor expansion of PI in v
1545561472.174 * [misc]backup-simplify:  Simplify PI into PI
1545561472.175 * [misc]backup-simplify:  Simplify (/ 1 PI) into (/ 1 PI)
1545561472.175 * [misc]backup-simplify:  Simplify (* (sqrt -1) (/ 1 PI)) into (/ (sqrt -1) PI)
1545561472.176 * [misc]backup-simplify:  Simplify (* 4/3 (/ (sqrt -1) PI)) into (* 4/3 (/ (sqrt -1) PI))
1545561472.176 * [misc]backup-simplify:  Simplify (* 4/3 (/ (sqrt -1) PI)) into (* 4/3 (/ (sqrt -1) PI))
1545561472.177 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)))) into 0
1545561472.177 * [misc]backup-simplify:  Simplify (+ (* (sqrt -1) 0) (* 0 (/ 1 PI))) into 0
1545561472.178 * [misc]backup-simplify:  Simplify (+ (* 4/3 0) (* 0 (/ (sqrt -1) PI))) into 0
1545561472.178 * [misc]backup-simplify:  Simplify 0 into 0
1545561472.179 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)))) into 0
1545561472.179 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545561472.180 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545561472.180 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561472.180 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545561472.180 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)) (* 0 (/ 0 -1)))) into -1
1545561472.182 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1545561472.183 * [misc]backup-simplify:  Simplify (+ (* (sqrt -1) 0) (+ (* 0 0) (* (/ -1/2 (sqrt -1)) (/ 1 PI)))) into (- (* 1/2 (/ 1 (* (sqrt -1) PI))))
1545561472.187 * [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))))
1545561472.188 * [misc]backup-simplify:  Simplify (- (* 2/3 (/ 1 (* (sqrt -1) PI)))) into (- (* 2/3 (/ 1 (* (sqrt -1) PI))))
1545561472.191 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0
1545561472.191 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545561472.192 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545561472.192 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561472.192 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561472.192 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 1 -1)) (* -1 (/ 0 -1)))) into 0
1545561472.193 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1545561472.195 * [misc]backup-simplify:  Simplify (+ (* (sqrt -1) 0) (+ (* 0 0) (+ (* (/ -1/2 (sqrt -1)) 0) (* 0 (/ 1 PI))))) into 0
1545561472.201 * [misc]backup-simplify:  Simplify (+ (* 4/3 0) (+ (* 0 (- (* 1/2 (/ 1 (* (sqrt -1) PI))))) (+ (* 0 0) (* 0 (/ (sqrt -1) PI))))) into 0
1545561472.201 * [misc]backup-simplify:  Simplify 0 into 0
1545561472.204 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0
1545561472.205 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545561472.205 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545561472.205 * [misc]backup-simplify:  Simplify (- 0) into 0
1545561472.205 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545561472.206 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* -1 (/ 1 -1)) (* 0 (/ 0 -1)))) into -1
1545561472.208 * [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)))
1545561472.214 * [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)))))
1545561472.223 * [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)))))
1545561472.226 * [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)))))
1545561472.232 * [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))))
1545561472.232 * * * [misc]progress:  simplifying candidates
1545561472.232 * * * * [misc]progress:  [ 1 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (log1p (expm1 (/ 4/3 PI))) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561472.232 * * * * [misc]progress:  [ 2 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (expm1 (log1p (/ 4/3 PI))) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561472.233 * * * * [misc]progress:  [ 3 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (pow (/ 4/3 PI) 1) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561472.233 * * * * [misc]progress:  [ 4 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (exp (log (/ 4/3 PI))) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561472.233 * * * * [misc]progress:  [ 5 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (log (exp (/ 4/3 PI))) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561472.233 * * * * [misc]progress:  [ 6 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561472.233 * * * * [misc]progress:  [ 7 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (cbrt (* (* (/ 4/3 PI) (/ 4/3 PI)) (/ 4/3 PI))) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561472.233 * * * * [misc]progress:  [ 8 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (* (sqrt (/ 4/3 PI)) (sqrt (/ 4/3 PI))) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561472.233 * * * * [misc]progress:  [ 9 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ (- 4/3) (- PI)) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561472.233 * * * * [misc]progress:  [ 10 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (* 1 (/ 4/3 PI)) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561472.233 * * * * [misc]progress:  [ 11 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (* 4/3 (/ 1 PI)) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561472.233 * * * * [misc]progress:  [ 12 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 1 (/ PI 4/3)) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561472.233 * * * * [misc]progress:  [ 13 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (log1p (expm1 (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))))) (sqrt (fma -6 (* v v) 2))))>
1545561472.233 * * * * [misc]progress:  [ 14 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (expm1 (log1p (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))))) (sqrt (fma -6 (* v v) 2))))>
1545561472.233 * * * * [misc]progress:  [ 15 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (pow (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))) 1)) (sqrt (fma -6 (* v v) 2))))>
1545561472.233 * * * * [misc]progress:  [ 16 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (exp (- (log (/ 4/3 PI)) (log (sqrt (- 1 (* v v))))))) (sqrt (fma -6 (* v v) 2))))>
1545561472.234 * [enter]simplify:  Simplifying (- (log (/ 4/3 PI)) (log (sqrt (- 1 (* v v)))))
1545561472.234 * * [misc]simplify:  iters left: 6 (11 enodes)
1545561472.238 * * [misc]simplify:  iters left: 5 (20 enodes)
1545561472.245 * * [misc]simplify:  iters left: 4 (31 enodes)
1545561472.255 * * [misc]simplify:  iters left: 3 (48 enodes)
1545561472.268 * * [misc]simplify:  iters left: 2 (68 enodes)
1545561472.286 * * [misc]simplify:  iters left: 1 (86 enodes)
1545561472.296 * [exit]simplify:  Simplified to (- (log (/ 4/3 PI)) (log (sqrt (- 1 (* v v)))))
1545561472.296 * [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 (fma -6 (* v v) 2))))
1545561472.296 * * * * [misc]progress:  [ 17 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (exp (log (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))))) (sqrt (fma -6 (* v v) 2))))>
1545561472.296 * * * * [misc]progress:  [ 18 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (log (exp (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))))) (sqrt (fma -6 (* v v) 2))))>
1545561472.296 * * * * [misc]progress:  [ 19 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561472.296 * [enter]simplify:  Simplifying (/ (* (* (/ 4/3 PI) (/ 4/3 PI)) (/ 4/3 PI)) (* (* (sqrt (- 1 (* v v))) (sqrt (- 1 (* v v)))) (sqrt (- 1 (* v v)))))
1545561472.296 * * [misc]simplify:  iters left: 6 (13 enodes)
1545561472.299 * * [misc]simplify:  iters left: 5 (32 enodes)
1545561472.305 * * [misc]simplify:  iters left: 4 (97 enodes)
1545561472.342 * * [misc]simplify:  iters left: 3 (289 enodes)
1545561472.651 * [exit]simplify:  Simplified to (/ (/ (/ (/ 64/27 PI) (* PI PI)) (- 1 (* v v))) (sqrt (- 1 (* v v))))
1545561472.651 * [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 (fma -6 (* v v) 2))))
1545561472.651 * * * * [misc]progress:  [ 20 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561472.651 * * * * [misc]progress:  [ 21 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561472.651 * * * * [misc]progress:  [ 22 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561472.651 * * * * [misc]progress:  [ 23 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (- (/ 4/3 PI)) (- (sqrt (- 1 (* v v)))))) (sqrt (fma -6 (* v v) 2))))>
1545561472.652 * * * * [misc]progress:  [ 24 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561472.652 * [enter]simplify:  Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v))))))
1545561472.652 * * [misc]simplify:  iters left: 6 (13 enodes)
1545561472.657 * * [misc]simplify:  iters left: 5 (23 enodes)
1545561472.664 * * [misc]simplify:  iters left: 4 (36 enodes)
1545561472.674 * * [misc]simplify:  iters left: 3 (41 enodes)
1545561472.684 * * [misc]simplify:  iters left: 2 (44 enodes)
1545561472.695 * [exit]simplify:  Simplified to (* (/ (cbrt (/ 4/3 PI)) (cbrt (sqrt (- 1 (* v v))))) (/ (cbrt (/ 4/3 PI)) (cbrt (sqrt (- 1 (* v v))))))
1545561472.695 * [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 (fma -6 (* v v) 2))))
1545561472.696 * [enter]simplify:  Simplifying (/ (cbrt (/ 4/3 PI)) (cbrt (sqrt (- 1 (* v v)))))
1545561472.696 * * [misc]simplify:  iters left: 6 (11 enodes)
1545561472.699 * * [misc]simplify:  iters left: 5 (15 enodes)
1545561472.703 * * [misc]simplify:  iters left: 4 (19 enodes)
1545561472.709 * * [misc]simplify:  iters left: 3 (21 enodes)
1545561472.715 * [exit]simplify:  Simplified to (/ (cbrt (/ 4/3 PI)) (cbrt (sqrt (- 1 (* v v)))))
1545561472.715 * [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 (fma -6 (* v v) 2))))
1545561472.715 * * * * [misc]progress:  [ 25 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561472.715 * [enter]simplify:  Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))))
1545561472.715 * * [misc]simplify:  iters left: 6 (13 enodes)
1545561472.719 * * [misc]simplify:  iters left: 5 (20 enodes)
1545561472.725 * * [misc]simplify:  iters left: 4 (26 enodes)
1545561472.733 * * [misc]simplify:  iters left: 3 (29 enodes)
1545561472.741 * [exit]simplify:  Simplified to (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (fabs (cbrt (- 1 (* v v)))))
1545561472.741 * [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 (fma -6 (* v v) 2))))
1545561472.741 * [enter]simplify:  Simplifying (/ (cbrt (/ 4/3 PI)) (sqrt (cbrt (- 1 (* v v)))))
1545561472.741 * * [misc]simplify:  iters left: 6 (11 enodes)
1545561472.745 * * [misc]simplify:  iters left: 5 (15 enodes)
1545561472.749 * * [misc]simplify:  iters left: 4 (19 enodes)
1545561472.754 * * [misc]simplify:  iters left: 3 (21 enodes)
1545561472.760 * [exit]simplify:  Simplified to (/ (cbrt (/ 4/3 PI)) (sqrt (cbrt (- 1 (* v v)))))
1545561472.760 * [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 (fma -6 (* v v) 2))))
1545561472.760 * * * * [misc]progress:  [ 26 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561472.761 * [enter]simplify:  Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (sqrt (- 1 (* v v)))))
1545561472.761 * * [misc]simplify:  iters left: 6 (12 enodes)
1545561472.765 * * [misc]simplify:  iters left: 5 (18 enodes)
1545561472.772 * * [misc]simplify:  iters left: 4 (24 enodes)
1545561472.779 * * [misc]simplify:  iters left: 3 (27 enodes)
1545561472.786 * [exit]simplify:  Simplified to (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (sqrt (- 1 (* v v)))))
1545561472.786 * [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 (fma -6 (* v v) 2))))
1545561472.787 * [enter]simplify:  Simplifying (/ (cbrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545561472.787 * * [misc]simplify:  iters left: 6 (11 enodes)
1545561472.790 * * [misc]simplify:  iters left: 5 (15 enodes)
1545561472.794 * * [misc]simplify:  iters left: 4 (19 enodes)
1545561472.800 * * [misc]simplify:  iters left: 3 (21 enodes)
1545561472.806 * [exit]simplify:  Simplified to (/ (cbrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545561472.806 * [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 (fma -6 (* v v) 2))))
1545561472.806 * * * * [misc]progress:  [ 27 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561472.806 * [enter]simplify:  Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt 1))
1545561472.806 * * [misc]simplify:  iters left: 6 (8 enodes)
1545561472.809 * * [misc]simplify:  iters left: 5 (12 enodes)
1545561472.810 * * [misc]simplify:  iters left: 4 (14 enodes)
1545561472.812 * [exit]simplify:  Simplified to (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI)))
1545561472.812 * [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 (fma -6 (* v v) 2))))
1545561472.813 * [enter]simplify:  Simplifying (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545561472.813 * * [misc]simplify:  iters left: 6 (10 enodes)
1545561472.814 * * [misc]simplify:  iters left: 5 (14 enodes)
1545561472.816 * * [misc]simplify:  iters left: 4 (18 enodes)
1545561472.819 * * [misc]simplify:  iters left: 3 (20 enodes)
1545561472.821 * [exit]simplify:  Simplified to (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545561472.821 * [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 (fma -6 (* v v) 2))))
1545561472.822 * * * * [misc]progress:  [ 28 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561472.822 * [enter]simplify:  Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (sqrt (- 1 (* v v)))))
1545561472.822 * * [misc]simplify:  iters left: 6 (12 enodes)
1545561472.824 * * [misc]simplify:  iters left: 5 (18 enodes)
1545561472.826 * * [misc]simplify:  iters left: 4 (24 enodes)
1545561472.829 * * [misc]simplify:  iters left: 3 (27 enodes)
1545561472.833 * [exit]simplify:  Simplified to (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) (sqrt (sqrt (- 1 (* v v)))))
1545561472.833 * [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 (fma -6 (* v v) 2))))
1545561472.833 * [enter]simplify:  Simplifying (/ (cbrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545561472.833 * * [misc]simplify:  iters left: 6 (11 enodes)
1545561472.835 * * [misc]simplify:  iters left: 5 (15 enodes)
1545561472.837 * * [misc]simplify:  iters left: 4 (19 enodes)
1545561472.840 * * [misc]simplify:  iters left: 3 (21 enodes)
1545561472.843 * [exit]simplify:  Simplified to (/ (cbrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545561472.843 * [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 (fma -6 (* v v) 2))))
1545561472.843 * * * * [misc]progress:  [ 29 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561472.843 * [enter]simplify:  Simplifying (/ (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI))) 1)
1545561472.843 * * [misc]simplify:  iters left: 6 (7 enodes)
1545561472.844 * * [misc]simplify:  iters left: 5 (11 enodes)
1545561472.846 * * [misc]simplify:  iters left: 4 (17 enodes)
1545561472.849 * * [misc]simplify:  iters left: 3 (31 enodes)
1545561472.853 * * [misc]simplify:  iters left: 2 (57 enodes)
1545561472.860 * [exit]simplify:  Simplified to (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI)))
1545561472.860 * [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 (fma -6 (* v v) 2))))
1545561472.861 * [enter]simplify:  Simplifying (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545561472.861 * * [misc]simplify:  iters left: 6 (10 enodes)
1545561472.862 * * [misc]simplify:  iters left: 5 (14 enodes)
1545561472.864 * * [misc]simplify:  iters left: 4 (18 enodes)
1545561472.867 * * [misc]simplify:  iters left: 3 (20 enodes)
1545561472.870 * [exit]simplify:  Simplified to (/ (cbrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545561472.870 * [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 (fma -6 (* v v) 2))))
1545561472.870 * * * * [misc]progress:  [ 30 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561472.870 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v))))))
1545561472.870 * * [misc]simplify:  iters left: 6 (12 enodes)
1545561472.872 * * [misc]simplify:  iters left: 5 (18 enodes)
1545561472.874 * * [misc]simplify:  iters left: 4 (22 enodes)
1545561472.877 * * [misc]simplify:  iters left: 3 (24 enodes)
1545561472.880 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v))))))
1545561472.881 * [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 (fma -6 (* v v) 2))))
1545561472.881 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (cbrt (sqrt (- 1 (* v v)))))
1545561472.881 * * [misc]simplify:  iters left: 6 (11 enodes)
1545561472.882 * * [misc]simplify:  iters left: 5 (15 enodes)
1545561472.884 * * [misc]simplify:  iters left: 4 (19 enodes)
1545561472.887 * * [misc]simplify:  iters left: 3 (21 enodes)
1545561472.889 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (cbrt (sqrt (- 1 (* v v)))))
1545561472.889 * [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 (fma -6 (* v v) 2))))
1545561472.889 * * * * [misc]progress:  [ 31 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561472.890 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))))
1545561472.890 * * [misc]simplify:  iters left: 6 (12 enodes)
1545561472.891 * * [misc]simplify:  iters left: 5 (17 enodes)
1545561472.894 * * [misc]simplify:  iters left: 4 (21 enodes)
1545561472.896 * * [misc]simplify:  iters left: 3 (23 enodes)
1545561472.899 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (fabs (cbrt (- 1 (* v v)))))
1545561472.899 * [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 (fma -6 (* v v) 2))))
1545561472.899 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (cbrt (- 1 (* v v)))))
1545561472.899 * * [misc]simplify:  iters left: 6 (11 enodes)
1545561472.901 * * [misc]simplify:  iters left: 5 (15 enodes)
1545561472.903 * * [misc]simplify:  iters left: 4 (19 enodes)
1545561472.905 * * [misc]simplify:  iters left: 3 (21 enodes)
1545561472.908 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (cbrt (- 1 (* v v)))))
1545561472.908 * [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 (fma -6 (* v v) 2))))
1545561472.908 * * * * [misc]progress:  [ 32 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561472.908 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545561472.908 * * [misc]simplify:  iters left: 6 (11 enodes)
1545561472.910 * * [misc]simplify:  iters left: 5 (15 enodes)
1545561472.912 * * [misc]simplify:  iters left: 4 (19 enodes)
1545561472.914 * * [misc]simplify:  iters left: 3 (21 enodes)
1545561472.917 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545561472.917 * [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 (fma -6 (* v v) 2))))
1545561472.917 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545561472.917 * * [misc]simplify:  iters left: 6 (11 enodes)
1545561472.919 * * [misc]simplify:  iters left: 5 (15 enodes)
1545561472.921 * * [misc]simplify:  iters left: 4 (19 enodes)
1545561472.923 * * [misc]simplify:  iters left: 3 (21 enodes)
1545561472.926 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545561472.926 * [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 (fma -6 (* v v) 2))))
1545561472.926 * * * * [misc]progress:  [ 33 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (sqrt (/ 4/3 PI)) (sqrt 1)) (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))))) (sqrt (fma -6 (* v v) 2))))>
1545561472.926 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt 1))
1545561472.926 * * [misc]simplify:  iters left: 5 (7 enodes)
1545561472.928 * * [misc]simplify:  iters left: 4 (9 enodes)
1545561472.929 * [exit]simplify:  Simplified to (sqrt (/ 4/3 PI))
1545561472.929 * [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 (fma -6 (* v v) 2))))
1545561472.929 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545561472.929 * * [misc]simplify:  iters left: 6 (10 enodes)
1545561472.930 * * [misc]simplify:  iters left: 5 (14 enodes)
1545561472.932 * * [misc]simplify:  iters left: 4 (18 enodes)
1545561472.935 * * [misc]simplify:  iters left: 3 (20 enodes)
1545561472.937 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545561472.937 * [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 (fma -6 (* v v) 2))))
1545561472.937 * * * * [misc]progress:  [ 34 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561472.937 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545561472.937 * * [misc]simplify:  iters left: 6 (11 enodes)
1545561472.940 * * [misc]simplify:  iters left: 5 (15 enodes)
1545561472.945 * * [misc]simplify:  iters left: 4 (19 enodes)
1545561472.950 * * [misc]simplify:  iters left: 3 (21 enodes)
1545561472.955 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545561472.956 * [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 (fma -6 (* v v) 2))))
1545561472.956 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545561472.956 * * [misc]simplify:  iters left: 6 (11 enodes)
1545561472.960 * * [misc]simplify:  iters left: 5 (15 enodes)
1545561472.964 * * [misc]simplify:  iters left: 4 (19 enodes)
1545561472.969 * * [misc]simplify:  iters left: 3 (21 enodes)
1545561472.975 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (sqrt (- 1 (* v v)))))
1545561472.975 * [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 (fma -6 (* v v) 2))))
1545561472.975 * * * * [misc]progress:  [ 35 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (sqrt (/ 4/3 PI)) 1) (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v)))))) (sqrt (fma -6 (* v v) 2))))>
1545561472.975 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) 1)
1545561472.975 * * [misc]simplify:  iters left: 5 (6 enodes)
1545561472.977 * * [misc]simplify:  iters left: 4 (8 enodes)
1545561472.980 * * [misc]simplify:  iters left: 3 (10 enodes)
1545561472.982 * [exit]simplify:  Simplified to (sqrt (/ 4/3 PI))
1545561472.982 * [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 (fma -6 (* v v) 2))))
1545561472.983 * [enter]simplify:  Simplifying (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545561472.983 * * [misc]simplify:  iters left: 6 (10 enodes)
1545561472.986 * * [misc]simplify:  iters left: 5 (14 enodes)
1545561472.990 * * [misc]simplify:  iters left: 4 (18 enodes)
1545561472.995 * * [misc]simplify:  iters left: 3 (20 enodes)
1545561473.000 * [exit]simplify:  Simplified to (/ (sqrt (/ 4/3 PI)) (sqrt (- 1 (* v v))))
1545561473.000 * [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 (fma -6 (* v v) 2))))
1545561473.000 * * * * [misc]progress:  [ 36 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561473.000 * [enter]simplify:  Simplifying (/ 1 (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v))))))
1545561473.000 * * [misc]simplify:  iters left: 6 (8 enodes)
1545561473.003 * * [misc]simplify:  iters left: 5 (14 enodes)
1545561473.007 * * [misc]simplify:  iters left: 4 (18 enodes)
1545561473.012 * * [misc]simplify:  iters left: 3 (20 enodes)
1545561473.017 * [exit]simplify:  Simplified to (/ 1 (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v))))))
1545561473.017 * [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 (fma -6 (* v v) 2))))
1545561473.018 * [enter]simplify:  Simplifying (/ (/ 4/3 PI) (cbrt (sqrt (- 1 (* v v)))))
1545561473.018 * * [misc]simplify:  iters left: 6 (10 enodes)
1545561473.021 * * [misc]simplify:  iters left: 5 (16 enodes)
1545561473.026 * * [misc]simplify:  iters left: 4 (23 enodes)
1545561473.033 * * [misc]simplify:  iters left: 3 (25 enodes)
1545561473.039 * [exit]simplify:  Simplified to (/ (/ 4/3 PI) (cbrt (sqrt (- 1 (* v v)))))
1545561473.039 * [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 (fma -6 (* v v) 2))))
1545561473.039 * * * * [misc]progress:  [ 37 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561473.039 * [enter]simplify:  Simplifying (/ 1 (sqrt (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))))
1545561473.040 * * [misc]simplify:  iters left: 6 (8 enodes)
1545561473.042 * * [misc]simplify:  iters left: 5 (13 enodes)
1545561473.047 * * [misc]simplify:  iters left: 4 (17 enodes)
1545561473.051 * * [misc]simplify:  iters left: 3 (19 enodes)
1545561473.056 * [exit]simplify:  Simplified to (/ 1 (fabs (cbrt (- 1 (* v v)))))
1545561473.056 * [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 (fma -6 (* v v) 2))))
1545561473.056 * [enter]simplify:  Simplifying (/ (/ 4/3 PI) (sqrt (cbrt (- 1 (* v v)))))
1545561473.057 * * [misc]simplify:  iters left: 6 (10 enodes)
1545561473.060 * * [misc]simplify:  iters left: 5 (16 enodes)
1545561473.065 * * [misc]simplify:  iters left: 4 (23 enodes)
1545561473.071 * * [misc]simplify:  iters left: 3 (25 enodes)
1545561473.077 * [exit]simplify:  Simplified to (/ (/ 4/3 PI) (sqrt (cbrt (- 1 (* v v)))))
1545561473.077 * [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 (fma -6 (* v v) 2))))
1545561473.077 * * * * [misc]progress:  [ 38 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 1 (sqrt (sqrt (- 1 (* v v))))) (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (fma -6 (* v v) 2))))>
1545561473.078 * [enter]simplify:  Simplifying (/ 1 (sqrt (sqrt (- 1 (* v v)))))
1545561473.078 * * [misc]simplify:  iters left: 6 (7 enodes)
1545561473.080 * * [misc]simplify:  iters left: 5 (11 enodes)
1545561473.083 * * [misc]simplify:  iters left: 4 (15 enodes)
1545561473.088 * * [misc]simplify:  iters left: 3 (17 enodes)
1545561473.092 * [exit]simplify:  Simplified to (/ 1 (sqrt (sqrt (- 1 (* v v)))))
1545561473.092 * [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 (fma -6 (* v v) 2))))
1545561473.093 * [enter]simplify:  Simplifying (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v)))))
1545561473.093 * * [misc]simplify:  iters left: 6 (10 enodes)
1545561473.097 * * [misc]simplify:  iters left: 5 (16 enodes)
1545561473.102 * * [misc]simplify:  iters left: 4 (23 enodes)
1545561473.108 * * [misc]simplify:  iters left: 3 (25 enodes)
1545561473.115 * [exit]simplify:  Simplified to (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v)))))
1545561473.115 * [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 (fma -6 (* v v) 2))))
1545561473.115 * * * * [misc]progress:  [ 39 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 1 (sqrt 1)) (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))))) (sqrt (fma -6 (* v v) 2))))>
1545561473.115 * [enter]simplify:  Simplifying (/ 1 (sqrt 1))
1545561473.115 * * [misc]simplify:  iters left: 3 (3 enodes)
1545561473.117 * * [misc]simplify:  iters left: 2 (5 enodes)
1545561473.118 * [exit]simplify:  Simplified to 1
1545561473.118 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* 1 (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))))) (sqrt (fma -6 (* v v) 2))))
1545561473.118 * [enter]simplify:  Simplifying (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))
1545561473.119 * * [misc]simplify:  iters left: 6 (9 enodes)
1545561473.121 * * [misc]simplify:  iters left: 5 (15 enodes)
1545561473.126 * * [misc]simplify:  iters left: 4 (22 enodes)
1545561473.132 * * [misc]simplify:  iters left: 3 (24 enodes)
1545561473.138 * [exit]simplify:  Simplified to (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))
1545561473.138 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* 1 (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))))) (sqrt (fma -6 (* v v) 2))))
1545561473.138 * * * * [misc]progress:  [ 40 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 1 (sqrt (sqrt (- 1 (* v v))))) (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (fma -6 (* v v) 2))))>
1545561473.138 * [enter]simplify:  Simplifying (/ 1 (sqrt (sqrt (- 1 (* v v)))))
1545561473.139 * * [misc]simplify:  iters left: 6 (7 enodes)
1545561473.141 * * [misc]simplify:  iters left: 5 (11 enodes)
1545561473.144 * * [misc]simplify:  iters left: 4 (15 enodes)
1545561473.148 * * [misc]simplify:  iters left: 3 (17 enodes)
1545561473.152 * [exit]simplify:  Simplified to (/ 1 (sqrt (sqrt (- 1 (* v v)))))
1545561473.152 * [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 (fma -6 (* v v) 2))))
1545561473.153 * [enter]simplify:  Simplifying (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v)))))
1545561473.153 * * [misc]simplify:  iters left: 6 (10 enodes)
1545561473.156 * * [misc]simplify:  iters left: 5 (16 enodes)
1545561473.161 * * [misc]simplify:  iters left: 4 (23 enodes)
1545561473.167 * * [misc]simplify:  iters left: 3 (25 enodes)
1545561473.173 * [exit]simplify:  Simplified to (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v)))))
1545561473.173 * [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 (fma -6 (* v v) 2))))
1545561473.173 * * * * [misc]progress:  [ 41 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 1 1) (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))))) (sqrt (fma -6 (* v v) 2))))>
1545561473.174 * [enter]simplify:  Simplifying (/ 1 1)
1545561473.174 * * [misc]simplify:  iters left: 2 (2 enodes)
1545561473.174 * * [misc]simplify:  iters left: 1 (4 enodes)
1545561473.175 * [exit]simplify:  Simplified to 1
1545561473.175 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* 1 (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))))) (sqrt (fma -6 (* v v) 2))))
1545561473.175 * [enter]simplify:  Simplifying (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))
1545561473.176 * * [misc]simplify:  iters left: 6 (9 enodes)
1545561473.178 * * [misc]simplify:  iters left: 5 (15 enodes)
1545561473.183 * * [misc]simplify:  iters left: 4 (22 enodes)
1545561473.189 * * [misc]simplify:  iters left: 3 (24 enodes)
1545561473.195 * [exit]simplify:  Simplified to (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))
1545561473.195 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* 1 (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))))) (sqrt (fma -6 (* v v) 2))))
1545561473.195 * * * * [misc]progress:  [ 42 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561473.196 * [enter]simplify:  Simplifying (/ 4/3 (* (cbrt (sqrt (- 1 (* v v)))) (cbrt (sqrt (- 1 (* v v))))))
1545561473.196 * * [misc]simplify:  iters left: 6 (9 enodes)
1545561473.199 * * [misc]simplify:  iters left: 5 (15 enodes)
1545561473.203 * * [misc]simplify:  iters left: 4 (19 enodes)
1545561473.209 * * [misc]simplify:  iters left: 3 (21 enodes)
1545561473.215 * [exit]simplify:  Simplified to (/ (/ 4/3 (cbrt (sqrt (- 1 (* v v))))) (cbrt (sqrt (- 1 (* v v)))))
1545561473.215 * [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 (fma -6 (* v v) 2))))
1545561473.215 * [enter]simplify:  Simplifying (/ (/ 1 PI) (cbrt (sqrt (- 1 (* v v)))))
1545561473.215 * * [misc]simplify:  iters left: 6 (9 enodes)
1545561473.218 * * [misc]simplify:  iters left: 5 (15 enodes)
1545561473.223 * * [misc]simplify:  iters left: 4 (22 enodes)
1545561473.229 * * [misc]simplify:  iters left: 3 (24 enodes)
1545561473.235 * [exit]simplify:  Simplified to (/ (/ 1 PI) (cbrt (sqrt (- 1 (* v v)))))
1545561473.235 * [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 (fma -6 (* v v) 2))))
1545561473.235 * * * * [misc]progress:  [ 43 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561473.235 * [enter]simplify:  Simplifying (/ 4/3 (sqrt (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))))
1545561473.236 * * [misc]simplify:  iters left: 6 (9 enodes)
1545561473.239 * * [misc]simplify:  iters left: 5 (14 enodes)
1545561473.242 * * [misc]simplify:  iters left: 4 (18 enodes)
1545561473.247 * * [misc]simplify:  iters left: 3 (20 enodes)
1545561473.252 * [exit]simplify:  Simplified to (/ 4/3 (fabs (cbrt (- 1 (* v v)))))
1545561473.252 * [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 (fma -6 (* v v) 2))))
1545561473.252 * [enter]simplify:  Simplifying (/ (/ 1 PI) (sqrt (cbrt (- 1 (* v v)))))
1545561473.253 * * [misc]simplify:  iters left: 6 (9 enodes)
1545561473.257 * * [misc]simplify:  iters left: 5 (15 enodes)
1545561473.260 * * [misc]simplify:  iters left: 4 (22 enodes)
1545561473.263 * * [misc]simplify:  iters left: 3 (24 enodes)
1545561473.266 * [exit]simplify:  Simplified to (/ (/ 1 PI) (sqrt (cbrt (- 1 (* v v)))))
1545561473.266 * [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 (fma -6 (* v v) 2))))
1545561473.266 * * * * [misc]progress:  [ 44 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 4/3 (sqrt (sqrt (- 1 (* v v))))) (/ (/ 1 PI) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (fma -6 (* v v) 2))))>
1545561473.266 * [enter]simplify:  Simplifying (/ 4/3 (sqrt (sqrt (- 1 (* v v)))))
1545561473.266 * * [misc]simplify:  iters left: 6 (8 enodes)
1545561473.267 * * [misc]simplify:  iters left: 5 (12 enodes)
1545561473.269 * * [misc]simplify:  iters left: 4 (16 enodes)
1545561473.271 * * [misc]simplify:  iters left: 3 (18 enodes)
1545561473.274 * [exit]simplify:  Simplified to (/ 4/3 (sqrt (sqrt (- 1 (* v v)))))
1545561473.274 * [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 (fma -6 (* v v) 2))))
1545561473.274 * [enter]simplify:  Simplifying (/ (/ 1 PI) (sqrt (sqrt (- 1 (* v v)))))
1545561473.274 * * [misc]simplify:  iters left: 6 (9 enodes)
1545561473.275 * * [misc]simplify:  iters left: 5 (15 enodes)
1545561473.277 * * [misc]simplify:  iters left: 4 (22 enodes)
1545561473.280 * * [misc]simplify:  iters left: 3 (24 enodes)
1545561473.283 * [exit]simplify:  Simplified to (/ (/ 1 PI) (sqrt (sqrt (- 1 (* v v)))))
1545561473.283 * [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 (fma -6 (* v v) 2))))
1545561473.283 * * * * [misc]progress:  [ 45 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 4/3 (sqrt 1)) (/ (/ 1 PI) (sqrt (- 1 (* v v)))))) (sqrt (fma -6 (* v v) 2))))>
1545561473.283 * [enter]simplify:  Simplifying (/ 4/3 (sqrt 1))
1545561473.283 * * [misc]simplify:  iters left: 3 (4 enodes)
1545561473.285 * * [misc]simplify:  iters left: 2 (6 enodes)
1545561473.285 * [exit]simplify:  Simplified to 4/3
1545561473.286 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* 4/3 (/ (/ 1 PI) (sqrt (- 1 (* v v)))))) (sqrt (fma -6 (* v v) 2))))
1545561473.286 * [enter]simplify:  Simplifying (/ (/ 1 PI) (sqrt (- 1 (* v v))))
1545561473.286 * * [misc]simplify:  iters left: 6 (8 enodes)
1545561473.287 * * [misc]simplify:  iters left: 5 (14 enodes)
1545561473.289 * * [misc]simplify:  iters left: 4 (21 enodes)
1545561473.292 * * [misc]simplify:  iters left: 3 (23 enodes)
1545561473.295 * [exit]simplify:  Simplified to (/ (/ 1 PI) (sqrt (- 1 (* v v))))
1545561473.295 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* 4/3 (/ (/ 1 PI) (sqrt (- 1 (* v v)))))) (sqrt (fma -6 (* v v) 2))))
1545561473.295 * * * * [misc]progress:  [ 46 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 4/3 (sqrt (sqrt (- 1 (* v v))))) (/ (/ 1 PI) (sqrt (sqrt (- 1 (* v v))))))) (sqrt (fma -6 (* v v) 2))))>
1545561473.295 * [enter]simplify:  Simplifying (/ 4/3 (sqrt (sqrt (- 1 (* v v)))))
1545561473.295 * * [misc]simplify:  iters left: 6 (8 enodes)
1545561473.296 * * [misc]simplify:  iters left: 5 (12 enodes)
1545561473.298 * * [misc]simplify:  iters left: 4 (16 enodes)
1545561473.300 * * [misc]simplify:  iters left: 3 (18 enodes)
1545561473.302 * [exit]simplify:  Simplified to (/ 4/3 (sqrt (sqrt (- 1 (* v v)))))
1545561473.302 * [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 (fma -6 (* v v) 2))))
1545561473.302 * [enter]simplify:  Simplifying (/ (/ 1 PI) (sqrt (sqrt (- 1 (* v v)))))
1545561473.302 * * [misc]simplify:  iters left: 6 (9 enodes)
1545561473.304 * * [misc]simplify:  iters left: 5 (15 enodes)
1545561473.306 * * [misc]simplify:  iters left: 4 (22 enodes)
1545561473.310 * * [misc]simplify:  iters left: 3 (24 enodes)
1545561473.314 * [exit]simplify:  Simplified to (/ (/ 1 PI) (sqrt (sqrt (- 1 (* v v)))))
1545561473.314 * [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 (fma -6 (* v v) 2))))
1545561473.314 * * * * [misc]progress:  [ 47 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 4/3 1) (/ (/ 1 PI) (sqrt (- 1 (* v v)))))) (sqrt (fma -6 (* v v) 2))))>
1545561473.314 * [enter]simplify:  Simplifying (/ 4/3 1)
1545561473.314 * * [misc]simplify:  iters left: 2 (3 enodes)
1545561473.315 * * [misc]simplify:  iters left: 1 (5 enodes)
1545561473.316 * [exit]simplify:  Simplified to 4/3
1545561473.317 * [misc]simplify:  Simplified (2 1 2 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* 4/3 (/ (/ 1 PI) (sqrt (- 1 (* v v)))))) (sqrt (fma -6 (* v v) 2))))
1545561473.317 * [enter]simplify:  Simplifying (/ (/ 1 PI) (sqrt (- 1 (* v v))))
1545561473.317 * * [misc]simplify:  iters left: 6 (8 enodes)
1545561473.319 * * [misc]simplify:  iters left: 5 (14 enodes)
1545561473.324 * * [misc]simplify:  iters left: 4 (21 enodes)
1545561473.329 * * [misc]simplify:  iters left: 3 (23 enodes)
1545561473.335 * [exit]simplify:  Simplified to (/ (/ 1 PI) (sqrt (- 1 (* v v))))
1545561473.335 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* 4/3 (/ (/ 1 PI) (sqrt (- 1 (* v v)))))) (sqrt (fma -6 (* v v) 2))))
1545561473.335 * * * * [misc]progress:  [ 48 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* 1 (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))))) (sqrt (fma -6 (* v v) 2))))>
1545561473.335 * * * * [misc]progress:  [ 49 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ 4/3 PI) (/ 1 (sqrt (- 1 (* v v)))))) (sqrt (fma -6 (* v v) 2))))>
1545561473.335 * * * * [misc]progress:  [ 50 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ 1 (/ (sqrt (- 1 (* v v))) (/ 4/3 PI)))) (sqrt (fma -6 (* v v) 2))))>
1545561473.335 * * * * [misc]progress:  [ 51 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561473.336 * [enter]simplify:  Simplifying (cbrt (sqrt (- 1 (* v v))))
1545561473.336 * * [misc]simplify:  iters left: 6 (6 enodes)
1545561473.337 * * [misc]simplify:  iters left: 5 (10 enodes)
1545561473.340 * * [misc]simplify:  iters left: 4 (14 enodes)
1545561473.344 * * [misc]simplify:  iters left: 3 (16 enodes)
1545561473.348 * [exit]simplify:  Simplified to (cbrt (sqrt (- 1 (* v v))))
1545561473.348 * [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 (fma -6 (* v v) 2))))
1545561473.349 * * * * [misc]progress:  [ 52 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561473.349 * [enter]simplify:  Simplifying (sqrt (cbrt (- 1 (* v v))))
1545561473.349 * * [misc]simplify:  iters left: 6 (6 enodes)
1545561473.351 * * [misc]simplify:  iters left: 5 (10 enodes)
1545561473.353 * * [misc]simplify:  iters left: 4 (14 enodes)
1545561473.355 * * [misc]simplify:  iters left: 3 (16 enodes)
1545561473.357 * [exit]simplify:  Simplified to (sqrt (cbrt (- 1 (* v v))))
1545561473.357 * [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 (fma -6 (* v v) 2))))
1545561473.357 * * * * [misc]progress:  [ 53 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v))))) (sqrt (sqrt (- 1 (* v v)))))) (sqrt (fma -6 (* v v) 2))))>
1545561473.358 * [enter]simplify:  Simplifying (sqrt (sqrt (- 1 (* v v))))
1545561473.358 * * [misc]simplify:  iters left: 6 (6 enodes)
1545561473.358 * * [misc]simplify:  iters left: 5 (10 enodes)
1545561473.360 * * [misc]simplify:  iters left: 4 (14 enodes)
1545561473.362 * * [misc]simplify:  iters left: 3 (16 enodes)
1545561473.364 * [exit]simplify:  Simplified to (sqrt (sqrt (- 1 (* v v))))
1545561473.364 * [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 (fma -6 (* v v) 2))))
1545561473.364 * * * * [misc]progress:  [ 54 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ (/ 4/3 PI) (sqrt 1)) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561473.364 * [enter]simplify:  Simplifying (sqrt (- 1 (* v v)))
1545561473.364 * * [misc]simplify:  iters left: 5 (5 enodes)
1545561473.365 * * [misc]simplify:  iters left: 4 (9 enodes)
1545561473.366 * * [misc]simplify:  iters left: 3 (13 enodes)
1545561473.368 * * [misc]simplify:  iters left: 2 (15 enodes)
1545561473.369 * [exit]simplify:  Simplified to (sqrt (- 1 (* v v)))
1545561473.369 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ (/ 4/3 PI) (sqrt 1)) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))
1545561473.370 * * * * [misc]progress:  [ 55 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ (/ 4/3 PI) (sqrt (sqrt (- 1 (* v v))))) (sqrt (sqrt (- 1 (* v v)))))) (sqrt (fma -6 (* v v) 2))))>
1545561473.370 * [enter]simplify:  Simplifying (sqrt (sqrt (- 1 (* v v))))
1545561473.370 * * [misc]simplify:  iters left: 6 (6 enodes)
1545561473.371 * * [misc]simplify:  iters left: 5 (10 enodes)
1545561473.372 * * [misc]simplify:  iters left: 4 (14 enodes)
1545561473.374 * * [misc]simplify:  iters left: 3 (16 enodes)
1545561473.376 * [exit]simplify:  Simplified to (sqrt (sqrt (- 1 (* v v))))
1545561473.376 * [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 (fma -6 (* v v) 2))))
1545561473.376 * * * * [misc]progress:  [ 56 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ (/ 4/3 PI) 1) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561473.376 * [enter]simplify:  Simplifying (sqrt (- 1 (* v v)))
1545561473.376 * * [misc]simplify:  iters left: 5 (5 enodes)
1545561473.377 * * [misc]simplify:  iters left: 4 (9 enodes)
1545561473.378 * * [misc]simplify:  iters left: 3 (13 enodes)
1545561473.380 * * [misc]simplify:  iters left: 2 (15 enodes)
1545561473.382 * [exit]simplify:  Simplified to (sqrt (- 1 (* v v)))
1545561473.382 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ (/ 4/3 PI) 1) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))
1545561473.382 * * * * [misc]progress:  [ 57 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561473.382 * [enter]simplify:  Simplifying (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI)))
1545561473.382 * * [misc]simplify:  iters left: 5 (5 enodes)
1545561473.383 * [exit]simplify:  Simplified to (* (cbrt (/ 4/3 PI)) (cbrt (/ 4/3 PI)))
1545561473.383 * [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 (fma -6 (* v v) 2))))
1545561473.383 * * * * [misc]progress:  [ 58 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (sqrt (/ 4/3 PI)) (/ (sqrt (- 1 (* v v))) (sqrt (/ 4/3 PI))))) (sqrt (fma -6 (* v v) 2))))>
1545561473.383 * [enter]simplify:  Simplifying (sqrt (/ 4/3 PI))
1545561473.383 * * [misc]simplify:  iters left: 3 (4 enodes)
1545561473.383 * [exit]simplify:  Simplified to (sqrt (/ 4/3 PI))
1545561473.383 * [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 (fma -6 (* v v) 2))))
1545561473.383 * * * * [misc]progress:  [ 59 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ 1 (/ (sqrt (- 1 (* v v))) (/ 4/3 PI)))) (sqrt (fma -6 (* v v) 2))))>
1545561473.383 * * * * [misc]progress:  [ 60 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ 4/3 (/ (sqrt (- 1 (* v v))) (/ 1 PI)))) (sqrt (fma -6 (* v v) 2))))>
1545561473.384 * * * * [misc]progress:  [ 61 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561473.384 * [enter]simplify:  Simplifying (sqrt (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
1545561473.384 * * [misc]simplify:  iters left: 6 (9 enodes)
1545561473.386 * * [misc]simplify:  iters left: 5 (26 enodes)
1545561473.391 * * [misc]simplify:  iters left: 4 (66 enodes)
1545561473.428 * * [misc]simplify:  iters left: 3 (130 enodes)
1545561473.513 * * [misc]simplify:  iters left: 2 (188 enodes)
1545561473.567 * * [misc]simplify:  iters left: 1 (219 enodes)
1545561473.617 * [exit]simplify:  Simplified to (sqrt (fma (fma v v 1) (* v v) 1))
1545561473.617 * [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 (fma (fma v v 1) (* v v) 1)))) (sqrt (fma -6 (* v v) 2))))
1545561473.617 * * * * [misc]progress:  [ 62 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (/ 4/3 PI) (sqrt (- (* 1 1) (* (* v v) (* v v))))) (sqrt (+ 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561473.618 * [enter]simplify:  Simplifying (sqrt (+ 1 (* v v)))
1545561473.618 * * [misc]simplify:  iters left: 5 (5 enodes)
1545561473.620 * * [misc]simplify:  iters left: 4 (9 enodes)
1545561473.622 * * [misc]simplify:  iters left: 3 (10 enodes)
1545561473.624 * [exit]simplify:  Simplified to (hypot 1 v)
1545561473.625 * [misc]simplify:  Simplified (2 1 2 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (* (/ (/ 4/3 PI) (sqrt (- (* 1 1) (* (* v v) (* v v))))) (hypot 1 v))) (sqrt (fma -6 (* v v) 2))))
1545561473.625 * * * * [misc]progress:  [ 63 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ 4/3 (* (sqrt (- 1 (* v v))) PI))) (sqrt (fma -6 (* v v) 2))))>
1545561473.625 * * * * [misc]progress:  [ 64 / 67 ] simplifiying candidate #<alt (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))>
1545561473.625 * [enter]simplify:  Simplifying (/ 1 (sqrt (- 1 (* v v))))
1545561473.625 * * [misc]simplify:  iters left: 6 (6 enodes)
1545561473.627 * * [misc]simplify:  iters left: 5 (10 enodes)
1545561473.630 * * [misc]simplify:  iters left: 4 (14 enodes)
1545561473.634 * * [misc]simplify:  iters left: 3 (16 enodes)
1545561473.638 * [exit]simplify:  Simplified to (/ 1 (sqrt (- 1 (* v v))))
1545561473.638 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))
1545561473.638 * [enter]simplify:  Simplifying (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))
1545561473.638 * * [misc]simplify:  iters left: 6 (9 enodes)
1545561473.641 * * [misc]simplify:  iters left: 5 (15 enodes)
1545561473.646 * * [misc]simplify:  iters left: 4 (22 enodes)
1545561473.652 * * [misc]simplify:  iters left: 3 (24 enodes)
1545561473.658 * [exit]simplify:  Simplified to (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))
1545561473.658 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2))))
1545561473.658 * * * * [misc]progress:  [ 65 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561473.658 * [enter]simplify:  Simplifying (+ (* 2/3 (/ (pow v 2) PI)) (+ (* 4/3 (/ 1 PI)) (* 1/2 (/ (pow v 4) PI))))
1545561473.658 * * [misc]simplify:  iters left: 6 (18 enodes)
1545561473.665 * * [misc]simplify:  iters left: 5 (36 enodes)
1545561473.678 * * [misc]simplify:  iters left: 4 (62 enodes)
1545561473.696 * * [misc]simplify:  iters left: 3 (88 enodes)
1545561473.719 * * [misc]simplify:  iters left: 2 (108 enodes)
1545561473.735 * * [misc]simplify:  iters left: 1 (124 enodes)
1545561473.750 * [exit]simplify:  Simplified to (fma (/ 1/2 PI) (pow v 4) (fma 2/3 (* v (/ v PI)) (/ 4/3 PI)))
1545561473.750 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (fma (/ 1/2 PI) (pow v 4) (fma 2/3 (* v (/ v PI)) (/ 4/3 PI)))) (sqrt (fma -6 (* v v) 2))))
1545561473.750 * * * * [misc]progress:  [ 66 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561473.751 * [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)))))))
1545561473.751 * * [misc]simplify:  iters left: 6 (30 enodes)
1545561473.758 * * [misc]simplify:  iters left: 5 (79 enodes)
1545561473.774 * * [misc]simplify:  iters left: 4 (190 enodes)
1545561473.847 * * [misc]simplify:  iters left: 3 (438 enodes)
1545561474.372 * [exit]simplify:  Simplified to (- (- (* (/ (sqrt -1) v) (/ 4/3 PI)) (/ (/ (/ 2/3 v) (* v v)) (* PI (sqrt -1)))) (* (/ 1 (* (pow v 5) (sqrt -1))) (+ (/ -1/6 PI) (/ 2/3 PI))))
1545561474.372 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (- (- (* (/ (sqrt -1) v) (/ 4/3 PI)) (/ (/ (/ 2/3 v) (* v v)) (* PI (sqrt -1)))) (* (/ 1 (* (pow v 5) (sqrt -1))) (+ (/ -1/6 PI) (/ 2/3 PI))))) (sqrt (fma -6 (* v v) 2))))
1545561474.373 * * * * [misc]progress:  [ 67 / 67 ] 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 (fma -6 (* v v) 2))))>
1545561474.373 * [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))))
1545561474.373 * * [misc]simplify:  iters left: 6 (30 enodes)
1545561474.388 * * [misc]simplify:  iters left: 5 (78 enodes)
1545561474.410 * * [misc]simplify:  iters left: 4 (195 enodes)
1545561474.492 * * [misc]simplify:  iters left: 3 (446 enodes)
1545561474.813 * [exit]simplify:  Simplified to (+ (fma -4/3 (/ (sqrt -1) (* PI v)) (/ (/ 2/3 (* v v)) (* (sqrt -1) (* PI v)))) (* (/ 1 (* (sqrt -1) (pow v 5))) (+ (/ 2/3 PI) (/ -1/6 PI))))
1545561474.813 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (/ (* (/ 1 (sqrt (- 1 (* v v)))) (+ (fma -4/3 (/ (sqrt -1) (* PI v)) (/ (/ 2/3 (* v v)) (* (sqrt -1) (* PI v)))) (* (/ 1 (* (sqrt -1) (pow v 5))) (+ (/ 2/3 PI) (/ -1/6 PI))))) (sqrt (fma -6 (* v v) 2))))
1545561474.813 * * * [misc]progress:  adding candidates to table
1545561475.975 * [misc]progress:  [Phase 3 of 3] Extracting.
1545561475.980 * [enter]simplify:  Simplifying (/ (* (/ 1 (sqrt (- 1 (* v v)))) (/ (/ 4/3 PI) (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2)))
1545561475.980 * * [misc]simplify:  iters left: 6 (16 enodes)
1545561475.981 * * [misc]simplify:  iters left: 5 (19 enodes)
1545561475.982 * [exit]simplify:  Simplified to (/ (* (/ (/ 4/3 PI) (sqrt (- 1 (* v v)))) (/ 1 (sqrt (- 1 (* v v))))) (sqrt (fma -6 (* v v) 2)))
1545561475.982 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545561480.239 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561480.241 * * * * [misc]points:  Sampling 3979 additional inputs, on iter 1 have 4021 / 8000
1545561482.431 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561482.432 * * * * [misc]points:  Sampling 2020 additional inputs, on iter 2 have 5980 / 8000
1545561483.343 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561483.344 * * * * [misc]points:  Sampling 1002 additional inputs, on iter 3 have 6998 / 8000
1545561483.758 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561483.759 * * * * [misc]points:  Sampling 521 additional inputs, on iter 4 have 7479 / 8000
1545561484.332 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561484.332 * * * * [misc]points:  Sampling 280 additional inputs, on iter 5 have 7720 / 8000
1545561484.461 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561484.461 * * * * [misc]points:  Sampling 133 additional inputs, on iter 6 have 7867 / 8000
1545561484.564 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561484.564 * * * * [misc]points:  Sampling 69 additional inputs, on iter 7 have 7931 / 8000
1545561484.584 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561484.584 * * * * [misc]points:  Sampling 30 additional inputs, on iter 8 have 7970 / 8000
1545561484.593 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561484.593 * * * * [misc]points:  Sampling 17 additional inputs, on iter 9 have 7983 / 8000
1545561484.599 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561484.600 * * * * [misc]points:  Sampling 7 additional inputs, on iter 10 have 7993 / 8000
1545561484.604 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561484.604 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7997 / 8000
1545561484.607 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545561484.608 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545561484.932 * [misc]regime-testing:  Baseline error score: 0.013679323438491594
1545561484.933 * [misc]regime-testing:  Oracle error score: 0.013679323438491594
1545561484.933 * [misc]regime-testing:  End program error score: 0.013679323438491594