1548148124.011 * [misc]progress:  [Phase 1 of 3] Setting up.
1548148124.012 * * * [misc]progress:  [1/2] Preparing points
1548148124.109 * * * [misc]progress:  [2/2] Setting up program.
1548148124.112 * [misc]progress:  [Phase 2 of 3] Improving.
1548148124.112 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))))>
1548148124.112 * [enter]simplify:  Simplifying (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
1548148124.113 * * [misc]simplify:  iters left: 6 (14 enodes)
1548148124.115 * * [misc]simplify:  iters left: 5 (29 enodes)
1548148124.120 * * [misc]simplify:  iters left: 4 (73 enodes)
1548148124.136 * * [misc]simplify:  iters left: 3 (223 enodes)
1548148124.289 * [exit]simplify:  Simplified to (* (/ (- 1 (* v v)) (/ 4 (sqrt 2))) (sqrt (+ (* -3 (* v v)) 1)))
1548148124.290 * [misc]simplify:  Simplified (2) to (λ (v) (* (/ (- 1 (* v v)) (/ 4 (sqrt 2))) (sqrt (+ (* -3 (* v v)) 1))))
1548148124.293 * * [misc]progress:  iteration 1 / 4
1548148124.293 * * * [misc]progress:  picking best candidate
1548148124.298 * * * * [misc]pick:  Picked  #<alt (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))))>
1548148124.298 * * * [misc]progress:  localizing error
1548148124.343 * * * [misc]progress:  generating rewritten candidates
1548148124.343 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 2 1 2)
1548148124.345 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2)
1548148124.363 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1)
1548148124.374 * * * [misc]progress:  generating series expansions
1548148124.374 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 2 1 2)
1548148124.374 * [misc]backup-simplify:  Simplify (* 3 (* v v)) into (* 3 (pow v 2))
1548148124.374 * [misc]approximate:  Taking taylor expansion of (* 3 (pow v 2)) in (v) around 0
1548148124.374 * [misc]taylor:  Taking taylor expansion of (* 3 (pow v 2)) in v
1548148124.374 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148124.374 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.374 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.374 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.374 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.374 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.374 * [misc]taylor:  Taking taylor expansion of (* 3 (pow v 2)) in v
1548148124.374 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148124.374 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.374 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.374 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.374 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.374 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.374 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148124.374 * [misc]backup-simplify:  Simplify (* 3 1) into 3
1548148124.375 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.375 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148124.375 * [misc]backup-simplify:  Simplify (+ (* 3 0) (* 0 1)) into 0
1548148124.375 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.375 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148124.376 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
1548148124.376 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.376 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148124.376 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148124.376 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.376 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148124.377 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148124.377 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.377 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1548148124.377 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1548148124.377 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.377 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1548148124.378 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1548148124.378 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.378 * [misc]backup-simplify:  Simplify (* 3 (pow v 2)) into (* 3 (pow v 2))
1548148124.378 * [misc]backup-simplify:  Simplify (* 3 (* (/ 1 v) (/ 1 v))) into (/ 3 (pow v 2))
1548148124.378 * [misc]approximate:  Taking taylor expansion of (/ 3 (pow v 2)) in (v) around 0
1548148124.378 * [misc]taylor:  Taking taylor expansion of (/ 3 (pow v 2)) in v
1548148124.378 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148124.378 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.378 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.378 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.378 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.378 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.378 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148124.378 * [misc]backup-simplify:  Simplify (/ 3 1) into 3
1548148124.378 * [misc]taylor:  Taking taylor expansion of (/ 3 (pow v 2)) in v
1548148124.378 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148124.378 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.378 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.378 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.378 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.378 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.379 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148124.379 * [misc]backup-simplify:  Simplify (/ 3 1) into 3
1548148124.379 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.379 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148124.379 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
1548148124.379 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.379 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148124.379 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.379 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.380 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148124.380 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.380 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.380 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148124.380 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.380 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.381 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1548148124.381 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.381 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.381 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1548148124.381 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.382 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.382 * [misc]backup-simplify:  Simplify (* 3 (pow (/ 1 (/ 1 v)) 2)) into (* 3 (pow v 2))
1548148124.382 * [misc]backup-simplify:  Simplify (* 3 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 3 (pow v 2))
1548148124.382 * [misc]approximate:  Taking taylor expansion of (/ 3 (pow v 2)) in (v) around 0
1548148124.382 * [misc]taylor:  Taking taylor expansion of (/ 3 (pow v 2)) in v
1548148124.382 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148124.382 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.382 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.382 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.382 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.382 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.382 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148124.382 * [misc]backup-simplify:  Simplify (/ 3 1) into 3
1548148124.382 * [misc]taylor:  Taking taylor expansion of (/ 3 (pow v 2)) in v
1548148124.382 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148124.382 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.382 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.382 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.382 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.382 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.382 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148124.382 * [misc]backup-simplify:  Simplify (/ 3 1) into 3
1548148124.382 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.383 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148124.383 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
1548148124.383 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.383 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148124.383 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.383 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.383 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148124.384 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.384 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.384 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148124.384 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.384 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.384 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1548148124.385 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.385 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.385 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1548148124.385 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.385 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.385 * [misc]backup-simplify:  Simplify (* 3 (pow (/ 1 (/ 1 (- v))) 2)) into (* 3 (pow v 2))
1548148124.385 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2)
1548148124.386 * [misc]backup-simplify:  Simplify (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))) into (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (* (sqrt 2) (- 1 (pow v 2)))))
1548148124.386 * [misc]approximate:  Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (* (sqrt 2) (- 1 (pow v 2))))) in (v) around 0
1548148124.386 * [misc]taylor:  Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (* (sqrt 2) (- 1 (pow v 2))))) in v
1548148124.386 * [misc]taylor:  Taking taylor expansion of 1/4 in v
1548148124.386 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1548148124.386 * [misc]taylor:  Taking taylor expansion of (* (sqrt (- 1 (* 3 (pow v 2)))) (* (sqrt 2) (- 1 (pow v 2)))) in v
1548148124.386 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (* 3 (pow v 2)))) in v
1548148124.386 * [misc]taylor:  Taking taylor expansion of (- 1 (* 3 (pow v 2))) in v
1548148124.386 * [misc]taylor:  Taking taylor expansion of 1 in v
1548148124.386 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.386 * [misc]taylor:  Taking taylor expansion of (* 3 (pow v 2)) in v
1548148124.386 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148124.386 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.386 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.386 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.386 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.386 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.386 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548148124.386 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1548148124.386 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.386 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1548148124.387 * [misc]taylor:  Taking taylor expansion of (* (sqrt 2) (- 1 (pow v 2))) in v
1548148124.387 * [misc]taylor:  Taking taylor expansion of (sqrt 2) in v
1548148124.387 * [misc]taylor:  Taking taylor expansion of 2 in v
1548148124.387 * [misc]backup-simplify:  Simplify 2 into 2
1548148124.387 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1548148124.387 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 2))) into 0
1548148124.387 * [misc]taylor:  Taking taylor expansion of (- 1 (pow v 2)) in v
1548148124.387 * [misc]taylor:  Taking taylor expansion of 1 in v
1548148124.387 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.387 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.387 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.387 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.387 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.387 * [misc]taylor:  Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (* (sqrt 2) (- 1 (pow v 2))))) in v
1548148124.387 * [misc]taylor:  Taking taylor expansion of 1/4 in v
1548148124.387 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1548148124.387 * [misc]taylor:  Taking taylor expansion of (* (sqrt (- 1 (* 3 (pow v 2)))) (* (sqrt 2) (- 1 (pow v 2)))) in v
1548148124.387 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (* 3 (pow v 2)))) in v
1548148124.387 * [misc]taylor:  Taking taylor expansion of (- 1 (* 3 (pow v 2))) in v
1548148124.387 * [misc]taylor:  Taking taylor expansion of 1 in v
1548148124.387 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.387 * [misc]taylor:  Taking taylor expansion of (* 3 (pow v 2)) in v
1548148124.387 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148124.387 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.387 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.387 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.387 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.387 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.387 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548148124.387 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1548148124.387 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.388 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1548148124.388 * [misc]taylor:  Taking taylor expansion of (* (sqrt 2) (- 1 (pow v 2))) in v
1548148124.388 * [misc]taylor:  Taking taylor expansion of (sqrt 2) in v
1548148124.388 * [misc]taylor:  Taking taylor expansion of 2 in v
1548148124.388 * [misc]backup-simplify:  Simplify 2 into 2
1548148124.388 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1548148124.388 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 2))) into 0
1548148124.388 * [misc]taylor:  Taking taylor expansion of (- 1 (pow v 2)) in v
1548148124.388 * [misc]taylor:  Taking taylor expansion of 1 in v
1548148124.388 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.388 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.388 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.388 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.388 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.388 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548148124.388 * [misc]backup-simplify:  Simplify (* (sqrt 2) 1) into (sqrt 2)
1548148124.389 * [misc]backup-simplify:  Simplify (* 1 (sqrt 2)) into (sqrt 2)
1548148124.389 * [misc]backup-simplify:  Simplify (* 1/4 (sqrt 2)) into (* 1/4 (sqrt 2))
1548148124.389 * [misc]backup-simplify:  Simplify (* 1/4 (sqrt 2)) into (* 1/4 (sqrt 2))
1548148124.389 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.389 * [misc]backup-simplify:  Simplify (+ (* (sqrt 2) 0) (* 0 1)) into 0
1548148124.389 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (sqrt 2))) into 0
1548148124.389 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (* 0 (sqrt 2))) into 0
1548148124.390 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.390 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148124.390 * [misc]backup-simplify:  Simplify (- 1) into -1
1548148124.390 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1548148124.391 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2))) into 0
1548148124.391 * [misc]backup-simplify:  Simplify (+ (* (sqrt 2) -1) (+ (* 0 0) (* 0 1))) into (- (sqrt 2))
1548148124.391 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148124.391 * [misc]backup-simplify:  Simplify (* 3 1) into 3
1548148124.391 * [misc]backup-simplify:  Simplify (- 3) into -3
1548148124.392 * [misc]backup-simplify:  Simplify (+ 0 -3) into -3
1548148124.392 * [misc]backup-simplify:  Simplify (/ (- -3 (pow 0 2) (+)) (* 2 1)) into -3/2
1548148124.393 * [misc]backup-simplify:  Simplify (+ (* 1 (- (sqrt 2))) (+ (* 0 0) (* -3/2 (sqrt 2)))) into (- (* 5/2 (sqrt 2)))
1548148124.394 * [misc]backup-simplify:  Simplify (+ (* 1/4 (- (* 5/2 (sqrt 2)))) (+ (* 0 0) (* 0 (sqrt 2)))) into (- (* 5/8 (sqrt 2)))
1548148124.395 * [misc]backup-simplify:  Simplify (- (* 5/8 (sqrt 2))) into (- (* 5/8 (sqrt 2)))
1548148124.395 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148124.395 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.395 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.396 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2))) into 0
1548148124.396 * [misc]backup-simplify:  Simplify (+ (* (sqrt 2) 0) (+ (* 0 -1) (+ (* 0 0) (* 0 1)))) into 0
1548148124.396 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148124.396 * [misc]backup-simplify:  Simplify (+ (* 3 0) (* 0 1)) into 0
1548148124.396 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.396 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.397 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -3/2)))) (* 2 1)) into 0
1548148124.397 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 (- (sqrt 2))) (+ (* -3/2 0) (* 0 (sqrt 2))))) into 0
1548148124.397 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (+ (* 0 (- (* 5/2 (sqrt 2)))) (+ (* 0 0) (* 0 (sqrt 2))))) into 0
1548148124.397 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.398 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148124.398 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.398 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.399 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2))) into 0
1548148124.400 * [misc]backup-simplify:  Simplify (+ (* (sqrt 2) 0) (+ (* 0 0) (+ (* 0 -1) (+ (* 0 0) (* 0 1))))) into 0
1548148124.400 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148124.401 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
1548148124.401 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.401 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.402 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -3/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -9/8
1548148124.404 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* -3/2 (- (sqrt 2))) (+ (* 0 0) (* -9/8 (sqrt 2)))))) into (* 3/8 (sqrt 2))
1548148124.405 * [misc]backup-simplify:  Simplify (+ (* 1/4 (* 3/8 (sqrt 2))) (+ (* 0 0) (+ (* 0 (- (* 5/2 (sqrt 2)))) (+ (* 0 0) (* 0 (sqrt 2)))))) into (* 3/32 (sqrt 2))
1548148124.406 * [misc]backup-simplify:  Simplify (* 3/32 (sqrt 2)) into (* 3/32 (sqrt 2))
1548148124.407 * [misc]backup-simplify:  Simplify (+ (* (* 3/32 (sqrt 2)) (pow v 4)) (+ (* (- (* 5/8 (sqrt 2))) (pow v 2)) (* 1/4 (sqrt 2)))) into (- (+ (* 1/4 (sqrt 2)) (* 3/32 (* (sqrt 2) (pow v 4)))) (* 5/8 (* (sqrt 2) (pow v 2))))
1548148124.408 * [misc]backup-simplify:  Simplify (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* (/ 1 v) (/ 1 v)))))) (- 1 (* (/ 1 v) (/ 1 v)))) into (* 1/4 (* (* (sqrt 2) (- 1 (/ 1 (pow v 2)))) (sqrt (- 1 (* 3 (/ 1 (pow v 2)))))))
1548148124.408 * [misc]approximate:  Taking taylor expansion of (* 1/4 (* (* (sqrt 2) (- 1 (/ 1 (pow v 2)))) (sqrt (- 1 (* 3 (/ 1 (pow v 2))))))) in (v) around 0
1548148124.408 * [misc]taylor:  Taking taylor expansion of (* 1/4 (* (* (sqrt 2) (- 1 (/ 1 (pow v 2)))) (sqrt (- 1 (* 3 (/ 1 (pow v 2))))))) in v
1548148124.408 * [misc]taylor:  Taking taylor expansion of 1/4 in v
1548148124.408 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1548148124.408 * [misc]taylor:  Taking taylor expansion of (* (* (sqrt 2) (- 1 (/ 1 (pow v 2)))) (sqrt (- 1 (* 3 (/ 1 (pow v 2)))))) in v
1548148124.408 * [misc]taylor:  Taking taylor expansion of (* (sqrt 2) (- 1 (/ 1 (pow v 2)))) in v
1548148124.408 * [misc]taylor:  Taking taylor expansion of (sqrt 2) in v
1548148124.408 * [misc]taylor:  Taking taylor expansion of 2 in v
1548148124.408 * [misc]backup-simplify:  Simplify 2 into 2
1548148124.408 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1548148124.409 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 2))) into 0
1548148124.409 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v
1548148124.409 * [misc]taylor:  Taking taylor expansion of 1 in v
1548148124.409 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.409 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1548148124.409 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.409 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.409 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.409 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.409 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148124.409 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548148124.409 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
1548148124.409 * [misc]taylor:  Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
1548148124.409 * [misc]taylor:  Taking taylor expansion of 1 in v
1548148124.409 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.409 * [misc]taylor:  Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
1548148124.409 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148124.409 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.409 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1548148124.409 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.409 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.409 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.409 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.410 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148124.410 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548148124.410 * [misc]backup-simplify:  Simplify (* 3 1) into 3
1548148124.410 * [misc]backup-simplify:  Simplify (- 3) into -3
1548148124.410 * [misc]backup-simplify:  Simplify (+ 0 -3) into -3
1548148124.410 * [misc]backup-simplify:  Simplify (sqrt -3) into (sqrt -3)
1548148124.410 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148124.411 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1548148124.411 * [misc]backup-simplify:  Simplify (+ (* 3 0) (* 0 1)) into 0
1548148124.411 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.411 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.411 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -3))) into 0
1548148124.411 * [misc]taylor:  Taking taylor expansion of (* 1/4 (* (* (sqrt 2) (- 1 (/ 1 (pow v 2)))) (sqrt (- 1 (* 3 (/ 1 (pow v 2))))))) in v
1548148124.411 * [misc]taylor:  Taking taylor expansion of 1/4 in v
1548148124.411 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1548148124.411 * [misc]taylor:  Taking taylor expansion of (* (* (sqrt 2) (- 1 (/ 1 (pow v 2)))) (sqrt (- 1 (* 3 (/ 1 (pow v 2)))))) in v
1548148124.411 * [misc]taylor:  Taking taylor expansion of (* (sqrt 2) (- 1 (/ 1 (pow v 2)))) in v
1548148124.411 * [misc]taylor:  Taking taylor expansion of (sqrt 2) in v
1548148124.411 * [misc]taylor:  Taking taylor expansion of 2 in v
1548148124.411 * [misc]backup-simplify:  Simplify 2 into 2
1548148124.412 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1548148124.412 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 2))) into 0
1548148124.412 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v
1548148124.412 * [misc]taylor:  Taking taylor expansion of 1 in v
1548148124.412 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.412 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1548148124.412 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.412 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.412 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.412 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.412 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148124.412 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548148124.412 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
1548148124.412 * [misc]taylor:  Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
1548148124.412 * [misc]taylor:  Taking taylor expansion of 1 in v
1548148124.412 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.412 * [misc]taylor:  Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
1548148124.412 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148124.412 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.412 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1548148124.412 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.412 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.412 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.413 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.413 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148124.413 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548148124.413 * [misc]backup-simplify:  Simplify (* 3 1) into 3
1548148124.413 * [misc]backup-simplify:  Simplify (- 3) into -3
1548148124.413 * [misc]backup-simplify:  Simplify (+ 0 -3) into -3
1548148124.413 * [misc]backup-simplify:  Simplify (sqrt -3) into (sqrt -3)
1548148124.414 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148124.414 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1548148124.414 * [misc]backup-simplify:  Simplify (+ (* 3 0) (* 0 1)) into 0
1548148124.414 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.414 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.414 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -3))) into 0
1548148124.415 * [misc]backup-simplify:  Simplify (- 1) into -1
1548148124.415 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1548148124.415 * [misc]backup-simplify:  Simplify (* (sqrt 2) -1) into (* -1 (sqrt 2))
1548148124.416 * [misc]backup-simplify:  Simplify (* (* -1 (sqrt 2)) (sqrt -3)) into (* -1 (* (sqrt 2) (sqrt -3)))
1548148124.416 * [misc]backup-simplify:  Simplify (* 1/4 (* -1 (* (sqrt 2) (sqrt -3)))) into (* -1/4 (* (sqrt 2) (sqrt -3)))
1548148124.417 * [misc]backup-simplify:  Simplify (* -1/4 (* (sqrt 2) (sqrt -3))) into (* -1/4 (* (sqrt 2) (sqrt -3)))
1548148124.417 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148124.417 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1548148124.418 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.418 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.418 * [misc]backup-simplify:  Simplify (+ (* (sqrt 2) 0) (* 0 -1)) into 0
1548148124.418 * [misc]backup-simplify:  Simplify (+ (* (* -1 (sqrt 2)) 0) (* 0 (sqrt -3))) into 0
1548148124.418 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (* 0 (* -1 (* (sqrt 2) (sqrt -3))))) into 0
1548148124.418 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.419 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148124.419 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.419 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
1548148124.419 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.420 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548148124.421 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -3))) into (/ 1/2 (sqrt -3))
1548148124.421 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148124.422 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.422 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.422 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548148124.423 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2))) into 0
1548148124.424 * [misc]backup-simplify:  Simplify (+ (* (sqrt 2) 1) (+ (* 0 0) (* 0 -1))) into (sqrt 2)
1548148124.425 * [misc]backup-simplify:  Simplify (+ (* (* -1 (sqrt 2)) (/ 1/2 (sqrt -3))) (+ (* 0 0) (* (sqrt 2) (sqrt -3)))) into (- (* (sqrt 2) (sqrt -3)) (* 1/2 (/ (sqrt 2) (sqrt -3))))
1548148124.428 * [misc]backup-simplify:  Simplify (+ (* 1/4 (- (* (sqrt 2) (sqrt -3)) (* 1/2 (/ (sqrt 2) (sqrt -3))))) (+ (* 0 0) (* 0 (* -1 (* (sqrt 2) (sqrt -3)))))) into (- (* 1/4 (* (sqrt 2) (sqrt -3))) (* 1/8 (/ (sqrt 2) (sqrt -3))))
1548148124.429 * [misc]backup-simplify:  Simplify (- (* 1/4 (* (sqrt 2) (sqrt -3))) (* 1/8 (/ (sqrt 2) (sqrt -3)))) into (- (* 1/4 (* (sqrt 2) (sqrt -3))) (* 1/8 (/ (sqrt 2) (sqrt -3))))
1548148124.430 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148124.430 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.430 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148124.431 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.431 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.431 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -3)))))) (* 2 (sqrt -3))) into 0
1548148124.431 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148124.432 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.432 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.432 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.432 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2))) into 0
1548148124.432 * [misc]backup-simplify:  Simplify (+ (* (sqrt 2) 0) (+ (* 0 1) (+ (* 0 0) (* 0 -1)))) into 0
1548148124.433 * [misc]backup-simplify:  Simplify (+ (* (* -1 (sqrt 2)) 0) (+ (* 0 (/ 1/2 (sqrt -3))) (+ (* (sqrt 2) 0) (* 0 (sqrt -3))))) into 0
1548148124.433 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (+ (* 0 (- (* (sqrt 2) (sqrt -3)) (* 1/2 (/ (sqrt 2) (sqrt -3))))) (+ (* 0 0) (* 0 (* -1 (* (sqrt 2) (sqrt -3))))))) into 0
1548148124.433 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.434 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148124.434 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.434 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148124.435 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.435 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.437 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -3)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -3))) into (/ -1/8 (pow (sqrt -3) 3))
1548148124.437 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148124.438 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.438 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.438 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.439 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2))) into 0
1548148124.439 * [misc]backup-simplify:  Simplify (+ (* (sqrt 2) 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 -1))))) into 0
1548148124.442 * [misc]backup-simplify:  Simplify (+ (* (* -1 (sqrt 2)) (/ -1/8 (pow (sqrt -3) 3))) (+ (* 0 0) (+ (* (sqrt 2) (/ 1/2 (sqrt -3))) (+ (* 0 0) (* 0 (sqrt -3)))))) into (+ (* 1/8 (/ (sqrt 2) (pow (sqrt -3) 3))) (* 1/2 (/ (sqrt 2) (sqrt -3))))
1548148124.444 * [misc]backup-simplify:  Simplify (+ (* 1/4 (+ (* 1/8 (/ (sqrt 2) (pow (sqrt -3) 3))) (* 1/2 (/ (sqrt 2) (sqrt -3))))) (+ (* 0 0) (+ (* 0 (- (* (sqrt 2) (sqrt -3)) (* 1/2 (/ (sqrt 2) (sqrt -3))))) (+ (* 0 0) (* 0 (* -1 (* (sqrt 2) (sqrt -3)))))))) into (+ (* 1/32 (/ (sqrt 2) (pow (sqrt -3) 3))) (* 1/8 (/ (sqrt 2) (sqrt -3))))
1548148124.445 * [misc]backup-simplify:  Simplify (+ (* 1/32 (/ (sqrt 2) (pow (sqrt -3) 3))) (* 1/8 (/ (sqrt 2) (sqrt -3)))) into (+ (* 1/32 (/ (sqrt 2) (pow (sqrt -3) 3))) (* 1/8 (/ (sqrt 2) (sqrt -3))))
1548148124.449 * [misc]backup-simplify:  Simplify (+ (* (+ (* 1/32 (/ (sqrt 2) (pow (sqrt -3) 3))) (* 1/8 (/ (sqrt 2) (sqrt -3)))) (/ 1 v)) (+ (* (- (* 1/4 (* (sqrt 2) (sqrt -3))) (* 1/8 (/ (sqrt 2) (sqrt -3)))) (/ 1 (/ 1 v))) (* (* -1/4 (* (sqrt 2) (sqrt -3))) (pow (/ 1 (/ 1 v)) 3)))) into (- (+ (* 1/32 (/ (sqrt 2) (* v (pow (sqrt -3) 3)))) (+ (* 1/4 (* (sqrt 2) (* v (sqrt -3)))) (* 1/8 (/ (sqrt 2) (* v (sqrt -3)))))) (+ (* 1/8 (/ (* (sqrt 2) v) (sqrt -3))) (* 1/4 (* (sqrt 2) (* (pow v 3) (sqrt -3))))))
1548148124.449 * [misc]backup-simplify:  Simplify (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* (/ 1 (- v)) (/ 1 (- v))))))) (- 1 (* (/ 1 (- v)) (/ 1 (- v))))) into (* 1/4 (* (* (sqrt 2) (- 1 (/ 1 (pow v 2)))) (sqrt (- 1 (* 3 (/ 1 (pow v 2)))))))
1548148124.449 * [misc]approximate:  Taking taylor expansion of (* 1/4 (* (* (sqrt 2) (- 1 (/ 1 (pow v 2)))) (sqrt (- 1 (* 3 (/ 1 (pow v 2))))))) in (v) around 0
1548148124.449 * [misc]taylor:  Taking taylor expansion of (* 1/4 (* (* (sqrt 2) (- 1 (/ 1 (pow v 2)))) (sqrt (- 1 (* 3 (/ 1 (pow v 2))))))) in v
1548148124.449 * [misc]taylor:  Taking taylor expansion of 1/4 in v
1548148124.449 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1548148124.449 * [misc]taylor:  Taking taylor expansion of (* (* (sqrt 2) (- 1 (/ 1 (pow v 2)))) (sqrt (- 1 (* 3 (/ 1 (pow v 2)))))) in v
1548148124.449 * [misc]taylor:  Taking taylor expansion of (* (sqrt 2) (- 1 (/ 1 (pow v 2)))) in v
1548148124.449 * [misc]taylor:  Taking taylor expansion of (sqrt 2) in v
1548148124.449 * [misc]taylor:  Taking taylor expansion of 2 in v
1548148124.449 * [misc]backup-simplify:  Simplify 2 into 2
1548148124.449 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1548148124.449 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 2))) into 0
1548148124.449 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v
1548148124.449 * [misc]taylor:  Taking taylor expansion of 1 in v
1548148124.449 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.450 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1548148124.450 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.450 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.450 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.450 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.450 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148124.450 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548148124.450 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
1548148124.450 * [misc]taylor:  Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
1548148124.450 * [misc]taylor:  Taking taylor expansion of 1 in v
1548148124.450 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.450 * [misc]taylor:  Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
1548148124.450 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148124.450 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.450 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1548148124.450 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.450 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.450 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.450 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.450 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148124.451 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548148124.451 * [misc]backup-simplify:  Simplify (* 3 1) into 3
1548148124.451 * [misc]backup-simplify:  Simplify (- 3) into -3
1548148124.451 * [misc]backup-simplify:  Simplify (+ 0 -3) into -3
1548148124.451 * [misc]backup-simplify:  Simplify (sqrt -3) into (sqrt -3)
1548148124.451 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148124.451 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1548148124.451 * [misc]backup-simplify:  Simplify (+ (* 3 0) (* 0 1)) into 0
1548148124.451 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.452 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.452 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -3))) into 0
1548148124.452 * [misc]taylor:  Taking taylor expansion of (* 1/4 (* (* (sqrt 2) (- 1 (/ 1 (pow v 2)))) (sqrt (- 1 (* 3 (/ 1 (pow v 2))))))) in v
1548148124.452 * [misc]taylor:  Taking taylor expansion of 1/4 in v
1548148124.452 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1548148124.452 * [misc]taylor:  Taking taylor expansion of (* (* (sqrt 2) (- 1 (/ 1 (pow v 2)))) (sqrt (- 1 (* 3 (/ 1 (pow v 2)))))) in v
1548148124.452 * [misc]taylor:  Taking taylor expansion of (* (sqrt 2) (- 1 (/ 1 (pow v 2)))) in v
1548148124.452 * [misc]taylor:  Taking taylor expansion of (sqrt 2) in v
1548148124.452 * [misc]taylor:  Taking taylor expansion of 2 in v
1548148124.452 * [misc]backup-simplify:  Simplify 2 into 2
1548148124.452 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1548148124.452 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 2))) into 0
1548148124.452 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow v 2))) in v
1548148124.452 * [misc]taylor:  Taking taylor expansion of 1 in v
1548148124.452 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.452 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1548148124.452 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.452 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.452 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.452 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.452 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148124.452 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548148124.452 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
1548148124.452 * [misc]taylor:  Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
1548148124.452 * [misc]taylor:  Taking taylor expansion of 1 in v
1548148124.452 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.452 * [misc]taylor:  Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
1548148124.452 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148124.452 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.453 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1548148124.453 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.453 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.453 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.453 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.453 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148124.453 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548148124.453 * [misc]backup-simplify:  Simplify (* 3 1) into 3
1548148124.453 * [misc]backup-simplify:  Simplify (- 3) into -3
1548148124.453 * [misc]backup-simplify:  Simplify (+ 0 -3) into -3
1548148124.453 * [misc]backup-simplify:  Simplify (sqrt -3) into (sqrt -3)
1548148124.453 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148124.453 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1548148124.454 * [misc]backup-simplify:  Simplify (+ (* 3 0) (* 0 1)) into 0
1548148124.454 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.454 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.454 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -3))) into 0
1548148124.454 * [misc]backup-simplify:  Simplify (- 1) into -1
1548148124.454 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1548148124.454 * [misc]backup-simplify:  Simplify (* (sqrt 2) -1) into (* -1 (sqrt 2))
1548148124.455 * [misc]backup-simplify:  Simplify (* (* -1 (sqrt 2)) (sqrt -3)) into (* -1 (* (sqrt 2) (sqrt -3)))
1548148124.455 * [misc]backup-simplify:  Simplify (* 1/4 (* -1 (* (sqrt 2) (sqrt -3)))) into (* -1/4 (* (sqrt 2) (sqrt -3)))
1548148124.456 * [misc]backup-simplify:  Simplify (* -1/4 (* (sqrt 2) (sqrt -3))) into (* -1/4 (* (sqrt 2) (sqrt -3)))
1548148124.456 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148124.456 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1548148124.456 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.456 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.456 * [misc]backup-simplify:  Simplify (+ (* (sqrt 2) 0) (* 0 -1)) into 0
1548148124.457 * [misc]backup-simplify:  Simplify (+ (* (* -1 (sqrt 2)) 0) (* 0 (sqrt -3))) into 0
1548148124.457 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (* 0 (* -1 (* (sqrt 2) (sqrt -3))))) into 0
1548148124.457 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.457 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148124.457 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.457 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
1548148124.457 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.457 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548148124.458 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -3))) into (/ 1/2 (sqrt -3))
1548148124.459 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148124.459 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.459 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.459 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548148124.460 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2))) into 0
1548148124.460 * [misc]backup-simplify:  Simplify (+ (* (sqrt 2) 1) (+ (* 0 0) (* 0 -1))) into (sqrt 2)
1548148124.461 * [misc]backup-simplify:  Simplify (+ (* (* -1 (sqrt 2)) (/ 1/2 (sqrt -3))) (+ (* 0 0) (* (sqrt 2) (sqrt -3)))) into (- (* (sqrt 2) (sqrt -3)) (* 1/2 (/ (sqrt 2) (sqrt -3))))
1548148124.463 * [misc]backup-simplify:  Simplify (+ (* 1/4 (- (* (sqrt 2) (sqrt -3)) (* 1/2 (/ (sqrt 2) (sqrt -3))))) (+ (* 0 0) (* 0 (* -1 (* (sqrt 2) (sqrt -3)))))) into (- (* 1/4 (* (sqrt 2) (sqrt -3))) (* 1/8 (/ (sqrt 2) (sqrt -3))))
1548148124.464 * [misc]backup-simplify:  Simplify (- (* 1/4 (* (sqrt 2) (sqrt -3))) (* 1/8 (/ (sqrt 2) (sqrt -3)))) into (- (* 1/4 (* (sqrt 2) (sqrt -3))) (* 1/8 (/ (sqrt 2) (sqrt -3))))
1548148124.464 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148124.464 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.465 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148124.465 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.465 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.465 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -3)))))) (* 2 (sqrt -3))) into 0
1548148124.465 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148124.465 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.465 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.466 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.466 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2))) into 0
1548148124.466 * [misc]backup-simplify:  Simplify (+ (* (sqrt 2) 0) (+ (* 0 1) (+ (* 0 0) (* 0 -1)))) into 0
1548148124.466 * [misc]backup-simplify:  Simplify (+ (* (* -1 (sqrt 2)) 0) (+ (* 0 (/ 1/2 (sqrt -3))) (+ (* (sqrt 2) 0) (* 0 (sqrt -3))))) into 0
1548148124.466 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (+ (* 0 (- (* (sqrt 2) (sqrt -3)) (* 1/2 (/ (sqrt 2) (sqrt -3))))) (+ (* 0 0) (* 0 (* -1 (* (sqrt 2) (sqrt -3))))))) into 0
1548148124.467 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.467 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148124.467 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.467 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148124.467 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.467 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.469 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -3)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -3))) into (/ -1/8 (pow (sqrt -3) 3))
1548148124.469 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148124.469 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.469 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.469 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.470 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2))) into 0
1548148124.470 * [misc]backup-simplify:  Simplify (+ (* (sqrt 2) 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 -1))))) into 0
1548148124.473 * [misc]backup-simplify:  Simplify (+ (* (* -1 (sqrt 2)) (/ -1/8 (pow (sqrt -3) 3))) (+ (* 0 0) (+ (* (sqrt 2) (/ 1/2 (sqrt -3))) (+ (* 0 0) (* 0 (sqrt -3)))))) into (+ (* 1/8 (/ (sqrt 2) (pow (sqrt -3) 3))) (* 1/2 (/ (sqrt 2) (sqrt -3))))
1548148124.478 * [misc]backup-simplify:  Simplify (+ (* 1/4 (+ (* 1/8 (/ (sqrt 2) (pow (sqrt -3) 3))) (* 1/2 (/ (sqrt 2) (sqrt -3))))) (+ (* 0 0) (+ (* 0 (- (* (sqrt 2) (sqrt -3)) (* 1/2 (/ (sqrt 2) (sqrt -3))))) (+ (* 0 0) (* 0 (* -1 (* (sqrt 2) (sqrt -3)))))))) into (+ (* 1/32 (/ (sqrt 2) (pow (sqrt -3) 3))) (* 1/8 (/ (sqrt 2) (sqrt -3))))
1548148124.480 * [misc]backup-simplify:  Simplify (+ (* 1/32 (/ (sqrt 2) (pow (sqrt -3) 3))) (* 1/8 (/ (sqrt 2) (sqrt -3)))) into (+ (* 1/32 (/ (sqrt 2) (pow (sqrt -3) 3))) (* 1/8 (/ (sqrt 2) (sqrt -3))))
1548148124.486 * [misc]backup-simplify:  Simplify (+ (* (+ (* 1/32 (/ (sqrt 2) (pow (sqrt -3) 3))) (* 1/8 (/ (sqrt 2) (sqrt -3)))) (/ 1 (- v))) (+ (* (- (* 1/4 (* (sqrt 2) (sqrt -3))) (* 1/8 (/ (sqrt 2) (sqrt -3)))) (/ 1 (/ 1 (- v)))) (* (* -1/4 (* (sqrt 2) (sqrt -3))) (pow (/ 1 (/ 1 (- v))) 3)))) into (- (+ (* 1/8 (/ (* (sqrt 2) v) (sqrt -3))) (* 1/4 (* (sqrt 2) (* (pow v 3) (sqrt -3))))) (+ (* 1/32 (/ (sqrt 2) (* v (pow (sqrt -3) 3)))) (+ (* 1/4 (* (sqrt 2) (* v (sqrt -3)))) (* 1/8 (/ (sqrt 2) (* v (sqrt -3)))))))
1548148124.486 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1)
1548148124.487 * [misc]backup-simplify:  Simplify (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) into (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2)))
1548148124.487 * [misc]approximate:  Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) in (v) around 0
1548148124.487 * [misc]taylor:  Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) in v
1548148124.487 * [misc]taylor:  Taking taylor expansion of 1/4 in v
1548148124.487 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1548148124.487 * [misc]taylor:  Taking taylor expansion of (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2)) in v
1548148124.487 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (* 3 (pow v 2)))) in v
1548148124.487 * [misc]taylor:  Taking taylor expansion of (- 1 (* 3 (pow v 2))) in v
1548148124.487 * [misc]taylor:  Taking taylor expansion of 1 in v
1548148124.487 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.487 * [misc]taylor:  Taking taylor expansion of (* 3 (pow v 2)) in v
1548148124.487 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148124.487 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.487 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.487 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.487 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.487 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.487 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548148124.488 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1548148124.488 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.488 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1548148124.488 * [misc]taylor:  Taking taylor expansion of (sqrt 2) in v
1548148124.488 * [misc]taylor:  Taking taylor expansion of 2 in v
1548148124.488 * [misc]backup-simplify:  Simplify 2 into 2
1548148124.488 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1548148124.488 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 2))) into 0
1548148124.488 * [misc]taylor:  Taking taylor expansion of (* 1/4 (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2))) in v
1548148124.489 * [misc]taylor:  Taking taylor expansion of 1/4 in v
1548148124.489 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1548148124.489 * [misc]taylor:  Taking taylor expansion of (* (sqrt (- 1 (* 3 (pow v 2)))) (sqrt 2)) in v
1548148124.489 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (* 3 (pow v 2)))) in v
1548148124.489 * [misc]taylor:  Taking taylor expansion of (- 1 (* 3 (pow v 2))) in v
1548148124.489 * [misc]taylor:  Taking taylor expansion of 1 in v
1548148124.489 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.489 * [misc]taylor:  Taking taylor expansion of (* 3 (pow v 2)) in v
1548148124.489 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148124.489 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.489 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.489 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.489 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.489 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.489 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548148124.489 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1548148124.489 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.490 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1548148124.490 * [misc]taylor:  Taking taylor expansion of (sqrt 2) in v
1548148124.490 * [misc]taylor:  Taking taylor expansion of 2 in v
1548148124.490 * [misc]backup-simplify:  Simplify 2 into 2
1548148124.490 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1548148124.490 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 2))) into 0
1548148124.490 * [misc]backup-simplify:  Simplify (* 1 (sqrt 2)) into (sqrt 2)
1548148124.491 * [misc]backup-simplify:  Simplify (* 1/4 (sqrt 2)) into (* 1/4 (sqrt 2))
1548148124.491 * [misc]backup-simplify:  Simplify (* 1/4 (sqrt 2)) into (* 1/4 (sqrt 2))
1548148124.491 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (sqrt 2))) into 0
1548148124.492 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (* 0 (sqrt 2))) into 0
1548148124.492 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.493 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2))) into 0
1548148124.493 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148124.493 * [misc]backup-simplify:  Simplify (* 3 1) into 3
1548148124.494 * [misc]backup-simplify:  Simplify (- 3) into -3
1548148124.494 * [misc]backup-simplify:  Simplify (+ 0 -3) into -3
1548148124.495 * [misc]backup-simplify:  Simplify (/ (- -3 (pow 0 2) (+)) (* 2 1)) into -3/2
1548148124.496 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* -3/2 (sqrt 2)))) into (- (* 3/2 (sqrt 2)))
1548148124.497 * [misc]backup-simplify:  Simplify (+ (* 1/4 (- (* 3/2 (sqrt 2)))) (+ (* 0 0) (* 0 (sqrt 2)))) into (- (* 3/8 (sqrt 2)))
1548148124.497 * [misc]backup-simplify:  Simplify (- (* 3/8 (sqrt 2))) into (- (* 3/8 (sqrt 2)))
1548148124.498 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2))) into 0
1548148124.498 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148124.498 * [misc]backup-simplify:  Simplify (+ (* 3 0) (* 0 1)) into 0
1548148124.498 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.499 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.499 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -3/2)))) (* 2 1)) into 0
1548148124.499 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* -3/2 0) (* 0 (sqrt 2))))) into 0
1548148124.500 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (+ (* 0 (- (* 3/2 (sqrt 2)))) (+ (* 0 0) (* 0 (sqrt 2))))) into 0
1548148124.500 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.502 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2))) into 0
1548148124.502 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148124.502 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
1548148124.502 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.502 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.504 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -3/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -9/8
1548148124.506 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* -3/2 0) (+ (* 0 0) (* -9/8 (sqrt 2)))))) into (- (* 9/8 (sqrt 2)))
1548148124.507 * [misc]backup-simplify:  Simplify (+ (* 1/4 (- (* 9/8 (sqrt 2)))) (+ (* 0 0) (+ (* 0 (- (* 3/2 (sqrt 2)))) (+ (* 0 0) (* 0 (sqrt 2)))))) into (- (* 9/32 (sqrt 2)))
1548148124.508 * [misc]backup-simplify:  Simplify (- (* 9/32 (sqrt 2))) into (- (* 9/32 (sqrt 2)))
1548148124.509 * [misc]backup-simplify:  Simplify (+ (* (- (* 9/32 (sqrt 2))) (pow v 4)) (+ (* (- (* 3/8 (sqrt 2))) (pow v 2)) (* 1/4 (sqrt 2)))) into (- (* 1/4 (sqrt 2)) (+ (* 9/32 (* (sqrt 2) (pow v 4))) (* 3/8 (* (sqrt 2) (pow v 2)))))
1548148124.510 * [misc]backup-simplify:  Simplify (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* (/ 1 v) (/ 1 v)))))) into (* 1/4 (* (sqrt 2) (sqrt (- 1 (* 3 (/ 1 (pow v 2)))))))
1548148124.510 * [misc]approximate:  Taking taylor expansion of (* 1/4 (* (sqrt 2) (sqrt (- 1 (* 3 (/ 1 (pow v 2))))))) in (v) around 0
1548148124.510 * [misc]taylor:  Taking taylor expansion of (* 1/4 (* (sqrt 2) (sqrt (- 1 (* 3 (/ 1 (pow v 2))))))) in v
1548148124.510 * [misc]taylor:  Taking taylor expansion of 1/4 in v
1548148124.510 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1548148124.510 * [misc]taylor:  Taking taylor expansion of (* (sqrt 2) (sqrt (- 1 (* 3 (/ 1 (pow v 2)))))) in v
1548148124.510 * [misc]taylor:  Taking taylor expansion of (sqrt 2) in v
1548148124.510 * [misc]taylor:  Taking taylor expansion of 2 in v
1548148124.510 * [misc]backup-simplify:  Simplify 2 into 2
1548148124.510 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1548148124.511 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 2))) into 0
1548148124.511 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
1548148124.511 * [misc]taylor:  Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
1548148124.511 * [misc]taylor:  Taking taylor expansion of 1 in v
1548148124.511 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.511 * [misc]taylor:  Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
1548148124.511 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148124.511 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.511 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1548148124.511 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.511 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.511 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.511 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.511 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148124.511 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548148124.511 * [misc]backup-simplify:  Simplify (* 3 1) into 3
1548148124.512 * [misc]backup-simplify:  Simplify (- 3) into -3
1548148124.512 * [misc]backup-simplify:  Simplify (+ 0 -3) into -3
1548148124.512 * [misc]backup-simplify:  Simplify (sqrt -3) into (sqrt -3)
1548148124.512 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148124.512 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1548148124.513 * [misc]backup-simplify:  Simplify (+ (* 3 0) (* 0 1)) into 0
1548148124.513 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.513 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.513 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -3))) into 0
1548148124.513 * [misc]taylor:  Taking taylor expansion of (* 1/4 (* (sqrt 2) (sqrt (- 1 (* 3 (/ 1 (pow v 2))))))) in v
1548148124.513 * [misc]taylor:  Taking taylor expansion of 1/4 in v
1548148124.513 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1548148124.513 * [misc]taylor:  Taking taylor expansion of (* (sqrt 2) (sqrt (- 1 (* 3 (/ 1 (pow v 2)))))) in v
1548148124.513 * [misc]taylor:  Taking taylor expansion of (sqrt 2) in v
1548148124.513 * [misc]taylor:  Taking taylor expansion of 2 in v
1548148124.513 * [misc]backup-simplify:  Simplify 2 into 2
1548148124.513 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1548148124.514 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 2))) into 0
1548148124.514 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
1548148124.514 * [misc]taylor:  Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
1548148124.514 * [misc]taylor:  Taking taylor expansion of 1 in v
1548148124.514 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.514 * [misc]taylor:  Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
1548148124.514 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148124.514 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.514 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1548148124.514 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.514 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.514 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.514 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.514 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148124.514 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548148124.514 * [misc]backup-simplify:  Simplify (* 3 1) into 3
1548148124.515 * [misc]backup-simplify:  Simplify (- 3) into -3
1548148124.515 * [misc]backup-simplify:  Simplify (+ 0 -3) into -3
1548148124.515 * [misc]backup-simplify:  Simplify (sqrt -3) into (sqrt -3)
1548148124.515 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148124.515 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1548148124.516 * [misc]backup-simplify:  Simplify (+ (* 3 0) (* 0 1)) into 0
1548148124.516 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.516 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.516 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -3))) into 0
1548148124.516 * [misc]backup-simplify:  Simplify (* (sqrt 2) (sqrt -3)) into (* (sqrt 2) (sqrt -3))
1548148124.517 * [misc]backup-simplify:  Simplify (* 1/4 (* (sqrt 2) (sqrt -3))) into (* 1/4 (* (sqrt 2) (sqrt -3)))
1548148124.517 * [misc]backup-simplify:  Simplify (* 1/4 (* (sqrt 2) (sqrt -3))) into (* 1/4 (* (sqrt 2) (sqrt -3)))
1548148124.517 * [misc]backup-simplify:  Simplify (+ (* (sqrt 2) 0) (* 0 (sqrt -3))) into 0
1548148124.518 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (* 0 (* (sqrt 2) (sqrt -3)))) into 0
1548148124.518 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.518 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148124.518 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.518 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
1548148124.518 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.518 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548148124.519 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -3))) into (/ 1/2 (sqrt -3))
1548148124.520 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2))) into 0
1548148124.521 * [misc]backup-simplify:  Simplify (+ (* (sqrt 2) (/ 1/2 (sqrt -3))) (+ (* 0 0) (* 0 (sqrt -3)))) into (* 1/2 (/ (sqrt 2) (sqrt -3)))
1548148124.522 * [misc]backup-simplify:  Simplify (+ (* 1/4 (* 1/2 (/ (sqrt 2) (sqrt -3)))) (+ (* 0 0) (* 0 (* (sqrt 2) (sqrt -3))))) into (* 1/8 (/ (sqrt 2) (sqrt -3)))
1548148124.522 * [misc]backup-simplify:  Simplify (* 1/8 (/ (sqrt 2) (sqrt -3))) into (* 1/8 (/ (sqrt 2) (sqrt -3)))
1548148124.522 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148124.522 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.523 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148124.523 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.523 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.523 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -3)))))) (* 2 (sqrt -3))) into 0
1548148124.523 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2))) into 0
1548148124.524 * [misc]backup-simplify:  Simplify (+ (* (sqrt 2) 0) (+ (* 0 (/ 1/2 (sqrt -3))) (+ (* 0 0) (* 0 (sqrt -3))))) into 0
1548148124.524 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (+ (* 0 (* 1/2 (/ (sqrt 2) (sqrt -3)))) (+ (* 0 0) (* 0 (* (sqrt 2) (sqrt -3)))))) into 0
1548148124.524 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.524 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148124.524 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.525 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148124.525 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.525 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.526 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -3)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -3))) into (/ -1/8 (pow (sqrt -3) 3))
1548148124.527 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2))) into 0
1548148124.529 * [misc]backup-simplify:  Simplify (+ (* (sqrt 2) (/ -1/8 (pow (sqrt -3) 3))) (+ (* 0 0) (+ (* 0 (/ 1/2 (sqrt -3))) (+ (* 0 0) (* 0 (sqrt -3)))))) into (- (* 1/8 (/ (sqrt 2) (pow (sqrt -3) 3))))
1548148124.530 * [misc]backup-simplify:  Simplify (+ (* 1/4 (- (* 1/8 (/ (sqrt 2) (pow (sqrt -3) 3))))) (+ (* 0 0) (+ (* 0 (* 1/2 (/ (sqrt 2) (sqrt -3)))) (+ (* 0 0) (* 0 (* (sqrt 2) (sqrt -3))))))) into (- (* 1/32 (/ (sqrt 2) (pow (sqrt -3) 3))))
1548148124.531 * [misc]backup-simplify:  Simplify (- (* 1/32 (/ (sqrt 2) (pow (sqrt -3) 3)))) into (- (* 1/32 (/ (sqrt 2) (pow (sqrt -3) 3))))
1548148124.534 * [misc]backup-simplify:  Simplify (+ (* (- (* 1/32 (/ (sqrt 2) (pow (sqrt -3) 3)))) (pow (/ 1 v) 3)) (+ (* (* 1/8 (/ (sqrt 2) (sqrt -3))) (/ 1 v)) (* (* 1/4 (* (sqrt 2) (sqrt -3))) (/ 1 (/ 1 v))))) into (- (+ (* 1/4 (* (sqrt 2) (* v (sqrt -3)))) (* 1/8 (/ (sqrt 2) (* v (sqrt -3))))) (* 1/32 (/ (sqrt 2) (* (pow v 3) (pow (sqrt -3) 3)))))
1548148124.534 * [misc]backup-simplify:  Simplify (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* (/ 1 (- v)) (/ 1 (- v))))))) into (* 1/4 (* (sqrt 2) (sqrt (- 1 (* 3 (/ 1 (pow v 2)))))))
1548148124.534 * [misc]approximate:  Taking taylor expansion of (* 1/4 (* (sqrt 2) (sqrt (- 1 (* 3 (/ 1 (pow v 2))))))) in (v) around 0
1548148124.534 * [misc]taylor:  Taking taylor expansion of (* 1/4 (* (sqrt 2) (sqrt (- 1 (* 3 (/ 1 (pow v 2))))))) in v
1548148124.534 * [misc]taylor:  Taking taylor expansion of 1/4 in v
1548148124.534 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1548148124.534 * [misc]taylor:  Taking taylor expansion of (* (sqrt 2) (sqrt (- 1 (* 3 (/ 1 (pow v 2)))))) in v
1548148124.534 * [misc]taylor:  Taking taylor expansion of (sqrt 2) in v
1548148124.534 * [misc]taylor:  Taking taylor expansion of 2 in v
1548148124.534 * [misc]backup-simplify:  Simplify 2 into 2
1548148124.534 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1548148124.534 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 2))) into 0
1548148124.535 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
1548148124.535 * [misc]taylor:  Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
1548148124.535 * [misc]taylor:  Taking taylor expansion of 1 in v
1548148124.535 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.535 * [misc]taylor:  Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
1548148124.535 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148124.535 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.535 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1548148124.535 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.535 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.535 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.535 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.535 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148124.535 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548148124.535 * [misc]backup-simplify:  Simplify (* 3 1) into 3
1548148124.535 * [misc]backup-simplify:  Simplify (- 3) into -3
1548148124.535 * [misc]backup-simplify:  Simplify (+ 0 -3) into -3
1548148124.535 * [misc]backup-simplify:  Simplify (sqrt -3) into (sqrt -3)
1548148124.535 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148124.536 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1548148124.536 * [misc]backup-simplify:  Simplify (+ (* 3 0) (* 0 1)) into 0
1548148124.536 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.536 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.536 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -3))) into 0
1548148124.536 * [misc]taylor:  Taking taylor expansion of (* 1/4 (* (sqrt 2) (sqrt (- 1 (* 3 (/ 1 (pow v 2))))))) in v
1548148124.536 * [misc]taylor:  Taking taylor expansion of 1/4 in v
1548148124.536 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1548148124.536 * [misc]taylor:  Taking taylor expansion of (* (sqrt 2) (sqrt (- 1 (* 3 (/ 1 (pow v 2)))))) in v
1548148124.536 * [misc]taylor:  Taking taylor expansion of (sqrt 2) in v
1548148124.536 * [misc]taylor:  Taking taylor expansion of 2 in v
1548148124.536 * [misc]backup-simplify:  Simplify 2 into 2
1548148124.536 * [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
1548148124.537 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 2))) into 0
1548148124.537 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (* 3 (/ 1 (pow v 2))))) in v
1548148124.537 * [misc]taylor:  Taking taylor expansion of (- 1 (* 3 (/ 1 (pow v 2)))) in v
1548148124.537 * [misc]taylor:  Taking taylor expansion of 1 in v
1548148124.537 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.537 * [misc]taylor:  Taking taylor expansion of (* 3 (/ 1 (pow v 2))) in v
1548148124.537 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148124.537 * [misc]backup-simplify:  Simplify 3 into 3
1548148124.537 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow v 2)) in v
1548148124.537 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148124.537 * [misc]taylor:  Taking taylor expansion of v in v
1548148124.537 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.537 * [misc]backup-simplify:  Simplify 1 into 1
1548148124.537 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148124.537 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548148124.537 * [misc]backup-simplify:  Simplify (* 3 1) into 3
1548148124.537 * [misc]backup-simplify:  Simplify (- 3) into -3
1548148124.537 * [misc]backup-simplify:  Simplify (+ 0 -3) into -3
1548148124.537 * [misc]backup-simplify:  Simplify (sqrt -3) into (sqrt -3)
1548148124.538 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148124.538 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1548148124.538 * [misc]backup-simplify:  Simplify (+ (* 3 0) (* 0 1)) into 0
1548148124.538 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.538 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.538 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -3))) into 0
1548148124.539 * [misc]backup-simplify:  Simplify (* (sqrt 2) (sqrt -3)) into (* (sqrt 2) (sqrt -3))
1548148124.539 * [misc]backup-simplify:  Simplify (* 1/4 (* (sqrt 2) (sqrt -3))) into (* 1/4 (* (sqrt 2) (sqrt -3)))
1548148124.540 * [misc]backup-simplify:  Simplify (* 1/4 (* (sqrt 2) (sqrt -3))) into (* 1/4 (* (sqrt 2) (sqrt -3)))
1548148124.540 * [misc]backup-simplify:  Simplify (+ (* (sqrt 2) 0) (* 0 (sqrt -3))) into 0
1548148124.540 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (* 0 (* (sqrt 2) (sqrt -3)))) into 0
1548148124.540 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.540 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148124.540 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.540 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
1548148124.541 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.541 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548148124.542 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -3))) into (/ 1/2 (sqrt -3))
1548148124.542 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2))) into 0
1548148124.543 * [misc]backup-simplify:  Simplify (+ (* (sqrt 2) (/ 1/2 (sqrt -3))) (+ (* 0 0) (* 0 (sqrt -3)))) into (* 1/2 (/ (sqrt 2) (sqrt -3)))
1548148124.544 * [misc]backup-simplify:  Simplify (+ (* 1/4 (* 1/2 (/ (sqrt 2) (sqrt -3)))) (+ (* 0 0) (* 0 (* (sqrt 2) (sqrt -3))))) into (* 1/8 (/ (sqrt 2) (sqrt -3)))
1548148124.544 * [misc]backup-simplify:  Simplify (* 1/8 (/ (sqrt 2) (sqrt -3))) into (* 1/8 (/ (sqrt 2) (sqrt -3)))
1548148124.545 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148124.545 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.545 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148124.545 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.546 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.546 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -3)))))) (* 2 (sqrt -3))) into 0
1548148124.546 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2))) into 0
1548148124.547 * [misc]backup-simplify:  Simplify (+ (* (sqrt 2) 0) (+ (* 0 (/ 1/2 (sqrt -3))) (+ (* 0 0) (* 0 (sqrt -3))))) into 0
1548148124.547 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (+ (* 0 (* 1/2 (/ (sqrt 2) (sqrt -3)))) (+ (* 0 0) (* 0 (* (sqrt 2) (sqrt -3)))))) into 0
1548148124.547 * [misc]backup-simplify:  Simplify 0 into 0
1548148124.548 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148124.548 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148124.548 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148124.549 * [misc]backup-simplify:  Simplify (- 0) into 0
1548148124.549 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548148124.551 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -3)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -3))) into (/ -1/8 (pow (sqrt -3) 3))
1548148124.552 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2))) into 0
1548148124.554 * [misc]backup-simplify:  Simplify (+ (* (sqrt 2) (/ -1/8 (pow (sqrt -3) 3))) (+ (* 0 0) (+ (* 0 (/ 1/2 (sqrt -3))) (+ (* 0 0) (* 0 (sqrt -3)))))) into (- (* 1/8 (/ (sqrt 2) (pow (sqrt -3) 3))))
1548148124.557 * [misc]backup-simplify:  Simplify (+ (* 1/4 (- (* 1/8 (/ (sqrt 2) (pow (sqrt -3) 3))))) (+ (* 0 0) (+ (* 0 (* 1/2 (/ (sqrt 2) (sqrt -3)))) (+ (* 0 0) (* 0 (* (sqrt 2) (sqrt -3))))))) into (- (* 1/32 (/ (sqrt 2) (pow (sqrt -3) 3))))
1548148124.559 * [misc]backup-simplify:  Simplify (- (* 1/32 (/ (sqrt 2) (pow (sqrt -3) 3)))) into (- (* 1/32 (/ (sqrt 2) (pow (sqrt -3) 3))))
1548148124.563 * [misc]backup-simplify:  Simplify (+ (* (- (* 1/32 (/ (sqrt 2) (pow (sqrt -3) 3)))) (pow (/ 1 (- v)) 3)) (+ (* (* 1/8 (/ (sqrt 2) (sqrt -3))) (/ 1 (- v))) (* (* 1/4 (* (sqrt 2) (sqrt -3))) (/ 1 (/ 1 (- v)))))) into (- (* 1/32 (/ (sqrt 2) (* (pow v 3) (pow (sqrt -3) 3)))) (+ (* 1/4 (* (sqrt 2) (* v (sqrt -3)))) (* 1/8 (/ (sqrt 2) (* v (sqrt -3))))))
1548148124.563 * * * [misc]progress:  simplifying candidates
1548148124.563 * * * * [misc]progress:  [ 1 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (pow (* 3 (* v v)) 1)))) (- 1 (* v v))))>
1548148124.563 * * * * [misc]progress:  [ 2 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (exp (log (* 3 (* v v))))))) (- 1 (* v v))))>
1548148124.563 * * * * [misc]progress:  [ 3 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (log (exp (* 3 (* v v))))))) (- 1 (* v v))))>
1548148124.564 * * * * [misc]progress:  [ 4 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* (* (cbrt (* 3 (* v v))) (cbrt (* 3 (* v v)))) (cbrt (* 3 (* v v))))))) (- 1 (* v v))))>
1548148124.564 * * * * [misc]progress:  [ 5 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (cbrt (* (* (* 3 (* v v)) (* 3 (* v v))) (* 3 (* v v))))))) (- 1 (* v v))))>
1548148124.564 * * * * [misc]progress:  [ 6 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* (sqrt (* 3 (* v v))) (sqrt (* 3 (* v v))))))) (- 1 (* v v))))>
1548148124.564 * * * * [misc]progress:  [ 7 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 1 (* 3 (* v v)))))) (- 1 (* v v))))>
1548148124.564 * * * * [misc]progress:  [ 8 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* (* 3 v) v)))) (- 1 (* v v))))>
1548148124.564 * * * * [misc]progress:  [ 9 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* (* v v) 3)))) (- 1 (* v v))))>
1548148124.564 * * * * [misc]progress:  [ 10 / 83 ] simplifiying candidate #<alt (λ (v) (pow (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))) 1))>
1548148124.564 * [enter]simplify:  Simplifying (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
1548148124.564 * * [misc]simplify:  iters left: 6 (14 enodes)
1548148124.570 * * [misc]simplify:  iters left: 5 (29 enodes)
1548148124.580 * * [misc]simplify:  iters left: 4 (73 enodes)
1548148124.596 * * [misc]simplify:  iters left: 3 (223 enodes)
1548148124.727 * [exit]simplify:  Simplified to (* (/ (- 1 (* v v)) (/ 4 (sqrt 2))) (sqrt (+ (* -3 (* v v)) 1)))
1548148124.727 * [misc]simplify:  Simplified (2 1) to (λ (v) (pow (* (/ (- 1 (* v v)) (/ 4 (sqrt 2))) (sqrt (+ (* -3 (* v v)) 1))) 1))
1548148124.727 * * * * [misc]progress:  [ 11 / 83 ] simplifiying candidate #<alt (λ (v) (pow (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))) 1))>
1548148124.727 * [enter]simplify:  Simplifying (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
1548148124.728 * * [misc]simplify:  iters left: 6 (14 enodes)
1548148124.730 * * [misc]simplify:  iters left: 5 (29 enodes)
1548148124.735 * * [misc]simplify:  iters left: 4 (73 enodes)
1548148124.755 * * [misc]simplify:  iters left: 3 (223 enodes)
1548148124.869 * [exit]simplify:  Simplified to (* (/ (- 1 (* v v)) (/ 4 (sqrt 2))) (sqrt (+ (* -3 (* v v)) 1)))
1548148124.869 * [misc]simplify:  Simplified (2 1) to (λ (v) (pow (* (/ (- 1 (* v v)) (/ 4 (sqrt 2))) (sqrt (+ (* -3 (* v v)) 1))) 1))
1548148124.869 * * * * [misc]progress:  [ 12 / 83 ] simplifiying candidate #<alt (λ (v) (pow (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))) 1))>
1548148124.869 * * * * [misc]progress:  [ 13 / 83 ] simplifiying candidate #<alt (λ (v) (exp (+ (+ (log (/ (sqrt 2) 4)) (log (sqrt (- 1 (* 3 (* v v)))))) (log (- 1 (* v v))))))>
1548148124.869 * [enter]simplify:  Simplifying (+ (+ (log (/ (sqrt 2) 4)) (log (sqrt (- 1 (* 3 (* v v)))))) (log (- 1 (* v v))))
1548148124.869 * * [misc]simplify:  iters left: 6 (17 enodes)
1548148124.872 * * [misc]simplify:  iters left: 5 (33 enodes)
1548148124.879 * * [misc]simplify:  iters left: 4 (63 enodes)
1548148124.888 * * [misc]simplify:  iters left: 3 (100 enodes)
1548148124.902 * * [misc]simplify:  iters left: 2 (143 enodes)
1548148124.928 * * [misc]simplify:  iters left: 1 (236 enodes)
1548148125.027 * [exit]simplify:  Simplified to (+ (+ (log (/ (sqrt 2) 4)) (log (- 1 (* v v)))) (log (sqrt (+ 1 (* v (* -3 v))))))
1548148125.027 * [misc]simplify:  Simplified (2 1) to (λ (v) (exp (+ (+ (log (/ (sqrt 2) 4)) (log (- 1 (* v v)))) (log (sqrt (+ 1 (* v (* -3 v))))))))
1548148125.027 * * * * [misc]progress:  [ 14 / 83 ] simplifiying candidate #<alt (λ (v) (exp (+ (log (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))) (log (- 1 (* v v))))))>
1548148125.028 * [enter]simplify:  Simplifying (+ (log (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))) (log (- 1 (* v v))))
1548148125.028 * * [misc]simplify:  iters left: 6 (16 enodes)
1548148125.033 * * [misc]simplify:  iters left: 5 (32 enodes)
1548148125.043 * * [misc]simplify:  iters left: 4 (62 enodes)
1548148125.060 * * [misc]simplify:  iters left: 3 (90 enodes)
1548148125.088 * * [misc]simplify:  iters left: 2 (128 enodes)
1548148125.107 * * [misc]simplify:  iters left: 1 (183 enodes)
1548148125.152 * [exit]simplify:  Simplified to (+ (log (sqrt (+ 1 (* -3 (* v v))))) (+ (log (- 1 (* v v))) (log (/ (sqrt 2) 4))))
1548148125.152 * [misc]simplify:  Simplified (2 1) to (λ (v) (exp (+ (log (sqrt (+ 1 (* -3 (* v v))))) (+ (log (- 1 (* v v))) (log (/ (sqrt 2) 4))))))
1548148125.152 * * * * [misc]progress:  [ 15 / 83 ] simplifiying candidate #<alt (λ (v) (exp (log (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))))))>
1548148125.152 * * * * [misc]progress:  [ 16 / 83 ] simplifiying candidate #<alt (λ (v) (log (exp (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))))))>
1548148125.152 * * * * [misc]progress:  [ 17 / 83 ] simplifiying candidate #<alt (λ (v) (cbrt (* (* (* (* (/ (sqrt 2) 4) (/ (sqrt 2) 4)) (/ (sqrt 2) 4)) (* (* (sqrt (- 1 (* 3 (* v v)))) (sqrt (- 1 (* 3 (* v v))))) (sqrt (- 1 (* 3 (* v v)))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))))))>
1548148125.152 * [enter]simplify:  Simplifying (* (* (* (* (/ (sqrt 2) 4) (/ (sqrt 2) 4)) (/ (sqrt 2) 4)) (* (* (sqrt (- 1 (* 3 (* v v)))) (sqrt (- 1 (* 3 (* v v))))) (sqrt (- 1 (* 3 (* v v)))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))))
1548148125.152 * * [misc]simplify:  iters left: 6 (20 enodes)
1548148125.156 * * [misc]simplify:  iters left: 5 (48 enodes)
1548148125.166 * * [misc]simplify:  iters left: 4 (189 enodes)
1548148125.308 * [exit]simplify:  Simplified to (* (* (- 1 (* v v)) (/ (* 1/2 (sqrt 2)) 16)) (* (sqrt (+ 1 (* v (* -3 v)))) (* (+ 1 (* v (* -3 v))) (* (- 1 (* v v)) (- 1 (* v v))))))
1548148125.308 * [misc]simplify:  Simplified (2 1) to (λ (v) (cbrt (* (* (- 1 (* v v)) (/ (* 1/2 (sqrt 2)) 16)) (* (sqrt (+ 1 (* v (* -3 v)))) (* (+ 1 (* v (* -3 v))) (* (- 1 (* v v)) (- 1 (* v v))))))))
1548148125.308 * * * * [misc]progress:  [ 18 / 83 ] simplifiying candidate #<alt (λ (v) (cbrt (* (* (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))) (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))))))>
1548148125.308 * [enter]simplify:  Simplifying (* (* (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))) (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))))
1548148125.308 * * [misc]simplify:  iters left: 6 (18 enodes)
1548148125.314 * * [misc]simplify:  iters left: 5 (43 enodes)
1548148125.329 * * [misc]simplify:  iters left: 4 (152 enodes)
1548148125.432 * [exit]simplify:  Simplified to (* (* (sqrt (+ (* v (* v -3)) 1)) (* (/ (sqrt 2) 4) (/ (sqrt 2) 4))) (* (+ (* v (* v -3)) 1) (* (* (/ (sqrt 2) 4) (- 1 (* v v))) (* (- 1 (* v v)) (- 1 (* v v))))))
1548148125.433 * [misc]simplify:  Simplified (2 1) to (λ (v) (cbrt (* (* (sqrt (+ (* v (* v -3)) 1)) (* (/ (sqrt 2) 4) (/ (sqrt 2) 4))) (* (+ (* v (* v -3)) 1) (* (* (/ (sqrt 2) 4) (- 1 (* v v))) (* (- 1 (* v v)) (- 1 (* v v))))))))
1548148125.433 * * * * [misc]progress:  [ 19 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (cbrt (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))) (cbrt (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))))) (cbrt (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))))))>
1548148125.433 * * * * [misc]progress:  [ 20 / 83 ] simplifiying candidate #<alt (λ (v) (cbrt (* (* (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))))))>
1548148125.433 * * * * [misc]progress:  [ 21 / 83 ] simplifiying candidate #<alt (λ (v) (* (sqrt (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))) (sqrt (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))))))>
1548148125.433 * * * * [misc]progress:  [ 22 / 83 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- (pow 1 3) (pow (* v v) 3))) (* (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))))>
1548148125.433 * [enter]simplify:  Simplifying (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- (pow 1 3) (pow (* v v) 3)))
1548148125.433 * * [misc]simplify:  iters left: 6 (15 enodes)
1548148125.440 * * [misc]simplify:  iters left: 5 (41 enodes)
1548148125.453 * * [misc]simplify:  iters left: 4 (113 enodes)
1548148125.506 * * [misc]simplify:  iters left: 3 (438 enodes)
1548148125.760 * [exit]simplify:  Simplified to (* (* (sqrt 2) (- 1 (* v (pow v 5)))) (sqrt (- 1 (* (* v 27) (pow v 5)))))
1548148125.760 * [misc]simplify:  Simplified (2 1) to (λ (v) (/ (* (* (sqrt 2) (- 1 (* v (pow v 5)))) (sqrt (- 1 (* (* v 27) (pow v 5))))) (* (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))))
1548148125.760 * [enter]simplify:  Simplifying (* (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
1548148125.760 * * [misc]simplify:  iters left: 6 (18 enodes)
1548148125.764 * * [misc]simplify:  iters left: 5 (61 enodes)
1548148125.793 * * [misc]simplify:  iters left: 4 (197 enodes)
1548148125.860 * [exit]simplify:  Simplified to (* (+ (* (* 4 (* v v)) (+ 1 (* v v))) 4) (sqrt (+ (* (* v v) (* (* v v) 9)) (+ 1 (* v (* 3 v))))))
1548148125.860 * [misc]simplify:  Simplified (2 2) to (λ (v) (/ (* (* (sqrt 2) (- 1 (* v (pow v 5)))) (sqrt (- 1 (* (* v 27) (pow v 5))))) (* (+ (* (* 4 (* v v)) (+ 1 (* v v))) 4) (sqrt (+ (* (* v v) (* (* v v) 9)) (+ 1 (* v (* 3 v))))))))
1548148125.860 * * * * [misc]progress:  [ 23 / 83 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- (* 1 1) (* (* v v) (* v v)))) (* (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))) (+ 1 (* v v)))))>
1548148125.861 * [enter]simplify:  Simplifying (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- (* 1 1) (* (* v v) (* v v))))
1548148125.861 * * [misc]simplify:  iters left: 6 (16 enodes)
1548148125.864 * * [misc]simplify:  iters left: 5 (41 enodes)
1548148125.871 * * [misc]simplify:  iters left: 4 (110 enodes)
1548148125.914 * * [misc]simplify:  iters left: 3 (403 enodes)
1548148126.192 * [exit]simplify:  Simplified to (* (* (- 1 (pow v 4)) (sqrt 2)) (sqrt (- 1 (* (pow v 5) (* v 27)))))
1548148126.192 * [misc]simplify:  Simplified (2 1) to (λ (v) (/ (* (* (- 1 (pow v 4)) (sqrt 2)) (sqrt (- 1 (* (pow v 5) (* v 27))))) (* (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))) (+ 1 (* v v)))))
1548148126.193 * [enter]simplify:  Simplifying (* (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))) (+ 1 (* v v)))
1548148126.193 * * [misc]simplify:  iters left: 6 (15 enodes)
1548148126.197 * * [misc]simplify:  iters left: 5 (45 enodes)
1548148126.208 * * [misc]simplify:  iters left: 4 (120 enodes)
1548148126.238 * * [misc]simplify:  iters left: 3 (268 enodes)
1548148126.361 * * [misc]simplify:  iters left: 2 (482 enodes)
1548148126.546 * [exit]simplify:  Simplified to (* (sqrt (+ (* (* 3 v) v) (+ (* (* v 9) (pow v 3)) 1))) (+ (* 4 (* v v)) 4))
1548148126.546 * [misc]simplify:  Simplified (2 2) to (λ (v) (/ (* (* (- 1 (pow v 4)) (sqrt 2)) (sqrt (- 1 (* (pow v 5) (* v 27))))) (* (sqrt (+ (* (* 3 v) v) (+ (* (* v 9) (pow v 3)) 1))) (+ (* 4 (* v v)) 4))))
1548148126.546 * * * * [misc]progress:  [ 24 / 83 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (- (pow 1 3) (pow (* v v) 3))) (* (* 4 (sqrt (+ 1 (* 3 (* v v))))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))))>
1548148126.547 * [enter]simplify:  Simplifying (* (* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (- (pow 1 3) (pow (* v v) 3)))
1548148126.547 * * [misc]simplify:  iters left: 6 (16 enodes)
1548148126.553 * * [misc]simplify:  iters left: 5 (39 enodes)
1548148126.566 * * [misc]simplify:  iters left: 4 (105 enodes)
1548148126.593 * * [misc]simplify:  iters left: 3 (322 enodes)
1548148126.785 * [exit]simplify:  Simplified to (* (* (sqrt 2) (- 1 (pow (* v v) 3))) (sqrt (- 1 (* (pow v 4) 9))))
1548148126.785 * [misc]simplify:  Simplified (2 1) to (λ (v) (/ (* (* (sqrt 2) (- 1 (pow (* v v) 3))) (sqrt (- 1 (* (pow v 4) 9)))) (* (* 4 (sqrt (+ 1 (* 3 (* v v))))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))))
1548148126.785 * [enter]simplify:  Simplifying (* (* 4 (sqrt (+ 1 (* 3 (* v v))))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
1548148126.785 * * [misc]simplify:  iters left: 6 (15 enodes)
1548148126.791 * * [misc]simplify:  iters left: 5 (44 enodes)
1548148126.813 * * [misc]simplify:  iters left: 4 (137 enodes)
1548148126.886 * * [misc]simplify:  iters left: 3 (432 enodes)
1548148127.205 * [exit]simplify:  Simplified to (* (+ 4 (* (* v (* v 4)) (+ (* v v) 1))) (sqrt (+ 1 (* v (* v 3)))))
1548148127.205 * [misc]simplify:  Simplified (2 2) to (λ (v) (/ (* (* (sqrt 2) (- 1 (pow (* v v) 3))) (sqrt (- 1 (* (pow v 4) 9)))) (* (+ 4 (* (* v (* v 4)) (+ (* v v) 1))) (sqrt (+ 1 (* v (* v 3)))))))
1548148127.205 * * * * [misc]progress:  [ 25 / 83 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (- (* 1 1) (* (* v v) (* v v)))) (* (* 4 (sqrt (+ 1 (* 3 (* v v))))) (+ 1 (* v v)))))>
1548148127.205 * [enter]simplify:  Simplifying (* (* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (- (* 1 1) (* (* v v) (* v v))))
1548148127.205 * * [misc]simplify:  iters left: 6 (15 enodes)
1548148127.208 * * [misc]simplify:  iters left: 5 (36 enodes)
1548148127.215 * * [misc]simplify:  iters left: 4 (96 enodes)
1548148127.238 * * [misc]simplify:  iters left: 3 (277 enodes)
1548148127.389 * [exit]simplify:  Simplified to (* (* (- 1 (pow v 4)) (sqrt 2)) (sqrt (+ (* (pow v 4) -9) 1)))
1548148127.389 * [misc]simplify:  Simplified (2 1) to (λ (v) (/ (* (* (- 1 (pow v 4)) (sqrt 2)) (sqrt (+ (* (pow v 4) -9) 1))) (* (* 4 (sqrt (+ 1 (* 3 (* v v))))) (+ 1 (* v v)))))
1548148127.389 * [enter]simplify:  Simplifying (* (* 4 (sqrt (+ 1 (* 3 (* v v))))) (+ 1 (* v v)))
1548148127.389 * * [misc]simplify:  iters left: 6 (11 enodes)
1548148127.393 * * [misc]simplify:  iters left: 5 (28 enodes)
1548148127.407 * * [misc]simplify:  iters left: 4 (62 enodes)
1548148127.426 * * [misc]simplify:  iters left: 3 (130 enodes)
1548148127.459 * * [misc]simplify:  iters left: 2 (281 enodes)
1548148127.615 * * [misc]simplify:  iters left: 1 (411 enodes)
1548148127.645 * [exit]simplify:  Simplified to (* (sqrt (+ 1 (* v (* 3 v)))) (+ (* v (* v 4)) 4))
1548148127.645 * [misc]simplify:  Simplified (2 2) to (λ (v) (/ (* (* (- 1 (pow v 4)) (sqrt 2)) (sqrt (+ (* (pow v 4) -9) 1))) (* (sqrt (+ 1 (* v (* 3 v)))) (+ (* v (* v 4)) 4))))
1548148127.645 * * * * [misc]progress:  [ 26 / 83 ] simplifiying candidate #<alt (λ (v) (/ (* (* (/ (sqrt 2) 4) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- (pow 1 3) (pow (* v v) 3))) (* (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))))>
1548148127.645 * [enter]simplify:  Simplifying (* (* (/ (sqrt 2) 4) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- (pow 1 3) (pow (* v v) 3)))
1548148127.645 * * [misc]simplify:  iters left: 6 (17 enodes)
1548148127.649 * * [misc]simplify:  iters left: 5 (45 enodes)
1548148127.657 * * [misc]simplify:  iters left: 4 (127 enodes)
1548148127.726 * [exit]simplify:  Simplified to (* (sqrt (- 1 (pow (* (* v v) 3) 3))) (* (- 1 (pow (* v v) 3)) (/ (sqrt 2) 4)))
1548148127.727 * [misc]simplify:  Simplified (2 1) to (λ (v) (/ (* (sqrt (- 1 (pow (* (* v v) 3) 3))) (* (- 1 (pow (* v v) 3)) (/ (sqrt 2) 4))) (* (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))))
1548148127.727 * [enter]simplify:  Simplifying (* (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
1548148127.727 * * [misc]simplify:  iters left: 6 (16 enodes)
1548148127.735 * * [misc]simplify:  iters left: 5 (55 enodes)
1548148127.756 * * [misc]simplify:  iters left: 4 (189 enodes)
1548148127.832 * * [misc]simplify:  iters left: 3 (479 enodes)
1548148128.088 * [exit]simplify:  Simplified to (* (+ (* v v) (+ 1 (pow v 4))) (sqrt (+ 1 (+ (* (* 9 v) (pow v 3)) (* (* v v) 3)))))
1548148128.088 * [misc]simplify:  Simplified (2 2) to (λ (v) (/ (* (sqrt (- 1 (pow (* (* v v) 3) 3))) (* (- 1 (pow (* v v) 3)) (/ (sqrt 2) 4))) (* (+ (* v v) (+ 1 (pow v 4))) (sqrt (+ 1 (+ (* (* 9 v) (pow v 3)) (* (* v v) 3)))))))
1548148128.088 * * * * [misc]progress:  [ 27 / 83 ] simplifiying candidate #<alt (λ (v) (/ (* (* (/ (sqrt 2) 4) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- (* 1 1) (* (* v v) (* v v)))) (* (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))) (+ 1 (* v v)))))>
1548148128.088 * [enter]simplify:  Simplifying (* (* (/ (sqrt 2) 4) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- (* 1 1) (* (* v v) (* v v))))
1548148128.089 * * [misc]simplify:  iters left: 6 (18 enodes)
1548148128.097 * * [misc]simplify:  iters left: 5 (45 enodes)
1548148128.112 * * [misc]simplify:  iters left: 4 (124 enodes)
1548148128.185 * [exit]simplify:  Simplified to (* (* (/ (sqrt 2) 4) (- 1 (pow v 4))) (sqrt (- 1 (pow (* (* v v) 3) 3))))
1548148128.185 * [misc]simplify:  Simplified (2 1) to (λ (v) (/ (* (* (/ (sqrt 2) 4) (- 1 (pow v 4))) (sqrt (- 1 (pow (* (* v v) 3) 3)))) (* (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))) (+ 1 (* v v)))))
1548148128.185 * [enter]simplify:  Simplifying (* (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))) (+ 1 (* v v)))
1548148128.185 * * [misc]simplify:  iters left: 6 (13 enodes)
1548148128.188 * * [misc]simplify:  iters left: 5 (40 enodes)
1548148128.196 * * [misc]simplify:  iters left: 4 (109 enodes)
1548148128.223 * * [misc]simplify:  iters left: 3 (256 enodes)
1548148128.323 * * [misc]simplify:  iters left: 2 (413 enodes)
1548148128.412 * * [misc]simplify:  iters left: 1 (477 enodes)
1548148128.452 * [exit]simplify:  Simplified to (* (+ 1 (* v v)) (sqrt (+ 1 (+ (* (* v v) 3) (* 9 (pow v 4))))))
1548148128.452 * [misc]simplify:  Simplified (2 2) to (λ (v) (/ (* (* (/ (sqrt 2) 4) (- 1 (pow v 4))) (sqrt (- 1 (pow (* (* v v) 3) 3)))) (* (+ 1 (* v v)) (sqrt (+ 1 (+ (* (* v v) 3) (* 9 (pow v 4))))))))
1548148128.452 * * * * [misc]progress:  [ 28 / 83 ] simplifiying candidate #<alt (λ (v) (/ (* (* (/ (sqrt 2) 4) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (- (pow 1 3) (pow (* v v) 3))) (* (sqrt (+ 1 (* 3 (* v v)))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))))>
1548148128.452 * [enter]simplify:  Simplifying (* (* (/ (sqrt 2) 4) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (- (pow 1 3) (pow (* v v) 3)))
1548148128.453 * * [misc]simplify:  iters left: 6 (18 enodes)
1548148128.456 * * [misc]simplify:  iters left: 5 (43 enodes)
1548148128.464 * * [misc]simplify:  iters left: 4 (119 enodes)
1548148128.496 * * [misc]simplify:  iters left: 3 (400 enodes)
1548148128.779 * [exit]simplify:  Simplified to (* (sqrt (- 1 (* (pow v 4) 9))) (* (/ (sqrt 2) 4) (- 1 (* (pow v 3) (pow v 3)))))
1548148128.779 * [misc]simplify:  Simplified (2 1) to (λ (v) (/ (* (sqrt (- 1 (* (pow v 4) 9))) (* (/ (sqrt 2) 4) (- 1 (* (pow v 3) (pow v 3))))) (* (sqrt (+ 1 (* 3 (* v v)))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))))
1548148128.780 * [enter]simplify:  Simplifying (* (sqrt (+ 1 (* 3 (* v v)))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
1548148128.780 * * [misc]simplify:  iters left: 6 (13 enodes)
1548148128.785 * * [misc]simplify:  iters left: 5 (39 enodes)
1548148128.796 * * [misc]simplify:  iters left: 4 (118 enodes)
1548148128.841 * * [misc]simplify:  iters left: 3 (262 enodes)
1548148129.013 * * [misc]simplify:  iters left: 2 (447 enodes)
1548148129.123 * [exit]simplify:  Simplified to (* (+ (+ 1 (* v v)) (pow v 4)) (sqrt (+ 1 (* (* v 3) v))))
1548148129.123 * [misc]simplify:  Simplified (2 2) to (λ (v) (/ (* (sqrt (- 1 (* (pow v 4) 9))) (* (/ (sqrt 2) 4) (- 1 (* (pow v 3) (pow v 3))))) (* (+ (+ 1 (* v v)) (pow v 4)) (sqrt (+ 1 (* (* v 3) v))))))
1548148129.123 * * * * [misc]progress:  [ 29 / 83 ] simplifiying candidate #<alt (λ (v) (/ (* (* (/ (sqrt 2) 4) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (- (* 1 1) (* (* v v) (* v v)))) (* (sqrt (+ 1 (* 3 (* v v)))) (+ 1 (* v v)))))>
1548148129.123 * [enter]simplify:  Simplifying (* (* (/ (sqrt 2) 4) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (- (* 1 1) (* (* v v) (* v v))))
1548148129.123 * * [misc]simplify:  iters left: 6 (17 enodes)
1548148129.130 * * [misc]simplify:  iters left: 5 (40 enodes)
1548148129.145 * * [misc]simplify:  iters left: 4 (110 enodes)
1548148129.194 * * [misc]simplify:  iters left: 3 (353 enodes)
1548148129.455 * [exit]simplify:  Simplified to (* (sqrt (- 1 (* 9 (pow v 4)))) (/ (- 1 (pow v 4)) (/ 4 (sqrt 2))))
1548148129.455 * [misc]simplify:  Simplified (2 1) to (λ (v) (/ (* (sqrt (- 1 (* 9 (pow v 4)))) (/ (- 1 (pow v 4)) (/ 4 (sqrt 2)))) (* (sqrt (+ 1 (* 3 (* v v)))) (+ 1 (* v v)))))
1548148129.455 * [enter]simplify:  Simplifying (* (sqrt (+ 1 (* 3 (* v v)))) (+ 1 (* v v)))
1548148129.456 * * [misc]simplify:  iters left: 6 (9 enodes)
1548148129.459 * * [misc]simplify:  iters left: 5 (23 enodes)
1548148129.467 * * [misc]simplify:  iters left: 4 (49 enodes)
1548148129.480 * * [misc]simplify:  iters left: 3 (77 enodes)
1548148129.505 * * [misc]simplify:  iters left: 2 (112 enodes)
1548148129.519 * * [misc]simplify:  iters left: 1 (128 enodes)
1548148129.525 * [exit]simplify:  Simplified to (* (sqrt (+ 1 (* (* v v) 3))) (+ (* v v) 1))
1548148129.525 * [misc]simplify:  Simplified (2 2) to (λ (v) (/ (* (sqrt (- 1 (* 9 (pow v 4)))) (/ (- 1 (pow v 4)) (/ 4 (sqrt 2)))) (* (sqrt (+ 1 (* (* v v) 3))) (+ (* v v) 1))))
1548148129.525 * * * * [misc]progress:  [ 30 / 83 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- 1 (* 3 (* v v))))) (- (pow 1 3) (pow (* v v) 3))) (* 4 (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))))>
1548148129.525 * [enter]simplify:  Simplifying (* (* (sqrt 2) (sqrt (- 1 (* 3 (* v v))))) (- (pow 1 3) (pow (* v v) 3)))
1548148129.526 * * [misc]simplify:  iters left: 6 (14 enodes)
1548148129.529 * * [misc]simplify:  iters left: 5 (34 enodes)
1548148129.540 * * [misc]simplify:  iters left: 4 (83 enodes)
1548148129.571 * * [misc]simplify:  iters left: 3 (237 enodes)
1548148129.710 * [exit]simplify:  Simplified to (* (sqrt (+ (* (* -3 v) v) 1)) (* (sqrt 2) (- 1 (pow (* v v) 3))))
1548148129.710 * [misc]simplify:  Simplified (2 1) to (λ (v) (/ (* (sqrt (+ (* (* -3 v) v) 1)) (* (sqrt 2) (- 1 (pow (* v v) 3)))) (* 4 (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))))
1548148129.710 * [enter]simplify:  Simplifying (* 4 (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
1548148129.711 * * [misc]simplify:  iters left: 6 (10 enodes)
1548148129.714 * * [misc]simplify:  iters left: 5 (32 enodes)
1548148129.722 * * [misc]simplify:  iters left: 4 (101 enodes)
1548148129.783 * * [misc]simplify:  iters left: 3 (270 enodes)
1548148129.873 * [exit]simplify:  Simplified to (+ (* (* (* v v) 4) (+ (* v v) 1)) 4)
1548148129.873 * [misc]simplify:  Simplified (2 2) to (λ (v) (/ (* (sqrt (+ (* (* -3 v) v) 1)) (* (sqrt 2) (- 1 (pow (* v v) 3)))) (+ (* (* (* v v) 4) (+ (* v v) 1)) 4)))
1548148129.873 * * * * [misc]progress:  [ 31 / 83 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- 1 (* 3 (* v v))))) (- (* 1 1) (* (* v v) (* v v)))) (* 4 (+ 1 (* v v)))))>
1548148129.874 * [enter]simplify:  Simplifying (* (* (sqrt 2) (sqrt (- 1 (* 3 (* v v))))) (- (* 1 1) (* (* v v) (* v v))))
1548148129.874 * * [misc]simplify:  iters left: 6 (14 enodes)
1548148129.876 * * [misc]simplify:  iters left: 5 (31 enodes)
1548148129.882 * * [misc]simplify:  iters left: 4 (73 enodes)
1548148129.895 * * [misc]simplify:  iters left: 3 (192 enodes)
1548148129.998 * * [misc]simplify:  iters left: 2 (474 enodes)
1548148130.265 * [exit]simplify:  Simplified to (* (sqrt (+ 1 (* (* v v) -3))) (- (sqrt 2) (* (pow v 4) (sqrt 2))))
1548148130.265 * [misc]simplify:  Simplified (2 1) to (λ (v) (/ (* (sqrt (+ 1 (* (* v v) -3))) (- (sqrt 2) (* (pow v 4) (sqrt 2)))) (* 4 (+ 1 (* v v)))))
1548148130.265 * [enter]simplify:  Simplifying (* 4 (+ 1 (* v v)))
1548148130.265 * * [misc]simplify:  iters left: 6 (6 enodes)
1548148130.269 * * [misc]simplify:  iters left: 5 (16 enodes)
1548148130.273 * * [misc]simplify:  iters left: 4 (22 enodes)
1548148130.278 * [exit]simplify:  Simplified to (+ (* (* v v) 4) 4)
1548148130.278 * [misc]simplify:  Simplified (2 2) to (λ (v) (/ (* (sqrt (+ 1 (* (* v v) -3))) (- (sqrt 2) (* (pow v 4) (sqrt 2)))) (+ (* (* v v) 4) 4)))
1548148130.278 * * * * [misc]progress:  [ 32 / 83 ] simplifiying candidate #<alt (λ (v) (* 1 (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))))>
1548148130.279 * * * * [misc]progress:  [ 33 / 83 ] simplifiying candidate #<alt (λ (v) (+ (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) 1) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- (* v v)))))>
1548148130.279 * [enter]simplify:  Simplifying (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- (* v v)))
1548148130.279 * * [misc]simplify:  iters left: 6 (14 enodes)
1548148130.284 * * [misc]simplify:  iters left: 5 (32 enodes)
1548148130.296 * * [misc]simplify:  iters left: 4 (84 enodes)
1548148130.322 * * [misc]simplify:  iters left: 3 (207 enodes)
1548148130.749 * * [misc]simplify:  iters left: 2 (387 enodes)
1548148130.876 * [exit]simplify:  Simplified to (/ (sqrt (+ 1 (* -3 (* v v)))) (/ (/ 4 (* v v)) (- (sqrt 2))))
1548148130.876 * [misc]simplify:  Simplified (2 2) to (λ (v) (+ (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) 1) (/ (sqrt (+ 1 (* -3 (* v v)))) (/ (/ 4 (* v v)) (- (sqrt 2))))))
1548148130.876 * * * * [misc]progress:  [ 34 / 83 ] simplifiying candidate #<alt (λ (v) (+ (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) 1) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- (* v v)))))>
1548148130.876 * [enter]simplify:  Simplifying (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- (* v v)))
1548148130.876 * * [misc]simplify:  iters left: 6 (14 enodes)
1548148130.879 * * [misc]simplify:  iters left: 5 (32 enodes)
1548148130.885 * * [misc]simplify:  iters left: 4 (84 enodes)
1548148130.903 * * [misc]simplify:  iters left: 3 (207 enodes)
1548148130.991 * * [misc]simplify:  iters left: 2 (387 enodes)
1548148131.168 * [exit]simplify:  Simplified to (/ (sqrt (+ 1 (* -3 (* v v)))) (/ (/ 4 (* v v)) (- (sqrt 2))))
1548148131.168 * [misc]simplify:  Simplified (2 2) to (λ (v) (+ (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) 1) (/ (sqrt (+ 1 (* -3 (* v v)))) (/ (/ 4 (* v v)) (- (sqrt 2))))))
1548148131.168 * * * * [misc]progress:  [ 35 / 83 ] simplifiying candidate #<alt (λ (v) (+ (* 1 (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))) (* (- (* v v)) (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))))>
1548148131.168 * [enter]simplify:  Simplifying (* (- (* v v)) (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))
1548148131.169 * * [misc]simplify:  iters left: 6 (14 enodes)
1548148131.174 * * [misc]simplify:  iters left: 5 (32 enodes)
1548148131.185 * * [misc]simplify:  iters left: 4 (84 enodes)
1548148131.222 * * [misc]simplify:  iters left: 3 (202 enodes)
1548148131.292 * * [misc]simplify:  iters left: 2 (360 enodes)
1548148131.404 * * [misc]simplify:  iters left: 1 (492 enodes)
1548148131.553 * [exit]simplify:  Simplified to (* (/ (* (sqrt 2) v) (/ 4 (- v))) (sqrt (- 1 (* 3 (* v v)))))
1548148131.553 * [misc]simplify:  Simplified (2 2) to (λ (v) (+ (* 1 (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))) (* (/ (* (sqrt 2) v) (/ 4 (- v))) (sqrt (- 1 (* 3 (* v v)))))))
1548148131.553 * * * * [misc]progress:  [ 36 / 83 ] simplifiying candidate #<alt (λ (v) (+ (* 1 (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))) (* (- (* v v)) (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))))>
1548148131.553 * [enter]simplify:  Simplifying (* (- (* v v)) (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))
1548148131.553 * * [misc]simplify:  iters left: 6 (14 enodes)
1548148131.559 * * [misc]simplify:  iters left: 5 (32 enodes)
1548148131.571 * * [misc]simplify:  iters left: 4 (84 enodes)
1548148131.596 * * [misc]simplify:  iters left: 3 (202 enodes)
1548148131.666 * * [misc]simplify:  iters left: 2 (360 enodes)
1548148131.788 * * [misc]simplify:  iters left: 1 (492 enodes)
1548148132.020 * [exit]simplify:  Simplified to (* (/ (* (sqrt 2) v) (/ 4 (- v))) (sqrt (- 1 (* 3 (* v v)))))
1548148132.020 * [misc]simplify:  Simplified (2 2) to (λ (v) (+ (* 1 (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))) (* (/ (* (sqrt 2) v) (/ 4 (- v))) (sqrt (- 1 (* 3 (* v v)))))))
1548148132.021 * * * * [misc]progress:  [ 37 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (cbrt (- 1 (* v v)))))>
1548148132.021 * [enter]simplify:  Simplifying (cbrt (- 1 (* v v)))
1548148132.021 * * [misc]simplify:  iters left: 5 (5 enodes)
1548148132.023 * * [misc]simplify:  iters left: 4 (9 enodes)
1548148132.025 * * [misc]simplify:  iters left: 3 (13 enodes)
1548148132.028 * [exit]simplify:  Simplified to (cbrt (- 1 (* v v)))
1548148132.028 * [misc]simplify:  Simplified (2 2) to (λ (v) (* (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (cbrt (- 1 (* v v)))))
1548148132.028 * * * * [misc]progress:  [ 38 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (sqrt (- 1 (* v v)))) (sqrt (- 1 (* v v)))))>
1548148132.029 * [enter]simplify:  Simplifying (sqrt (- 1 (* v v)))
1548148132.029 * * [misc]simplify:  iters left: 5 (5 enodes)
1548148132.030 * * [misc]simplify:  iters left: 4 (9 enodes)
1548148132.033 * * [misc]simplify:  iters left: 3 (13 enodes)
1548148132.036 * [exit]simplify:  Simplified to (sqrt (- 1 (* v v)))
1548148132.037 * [misc]simplify:  Simplified (2 2) to (λ (v) (* (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (sqrt (- 1 (* v v)))) (sqrt (- 1 (* v v)))))
1548148132.037 * * * * [misc]progress:  [ 39 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) 1) (- 1 (* v v))))>
1548148132.037 * [enter]simplify:  Simplifying (- 1 (* v v))
1548148132.037 * * [misc]simplify:  iters left: 4 (4 enodes)
1548148132.038 * * [misc]simplify:  iters left: 3 (8 enodes)
1548148132.040 * * [misc]simplify:  iters left: 2 (12 enodes)
1548148132.044 * [exit]simplify:  Simplified to (- 1 (* v v))
1548148132.044 * [misc]simplify:  Simplified (2 2) to (λ (v) (* (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) 1) (- 1 (* v v))))
1548148132.044 * * * * [misc]progress:  [ 40 / 83 ] simplifiying candidate #<alt (λ (v) (* (/ (sqrt 2) 4) (* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v)))))>
1548148132.044 * [enter]simplify:  Simplifying (/ (sqrt 2) 4)
1548148132.044 * * [misc]simplify:  iters left: 3 (4 enodes)
1548148132.046 * [exit]simplify:  Simplified to (/ (sqrt 2) 4)
1548148132.046 * [misc]simplify:  Simplified (2 1) to (λ (v) (* (/ (sqrt 2) 4) (* (sqrt (- 1 (* 3 (* v v)))) (- 1 (* v v)))))
1548148132.046 * * * * [misc]progress:  [ 41 / 83 ] simplifiying candidate #<alt (λ (v) (/ (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- (pow 1 3) (pow (* v v) 3))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v))))))>
1548148132.046 * [enter]simplify:  Simplifying (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v))))
1548148132.046 * * [misc]simplify:  iters left: 6 (8 enodes)
1548148132.050 * * [misc]simplify:  iters left: 5 (23 enodes)
1548148132.058 * * [misc]simplify:  iters left: 4 (57 enodes)
1548148132.078 * * [misc]simplify:  iters left: 3 (87 enodes)
1548148132.112 * * [misc]simplify:  iters left: 2 (118 enodes)
1548148132.140 * * [misc]simplify:  iters left: 1 (146 enodes)
1548148132.168 * [exit]simplify:  Simplified to (+ 1 (+ (* v v) (pow v 4)))
1548148132.168 * [misc]simplify:  Simplified (2 2) to (λ (v) (/ (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- (pow 1 3) (pow (* v v) 3))) (+ 1 (+ (* v v) (pow v 4)))))
1548148132.168 * * * * [misc]progress:  [ 42 / 83 ] simplifiying candidate #<alt (λ (v) (/ (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- (* 1 1) (* (* v v) (* v v)))) (+ 1 (* v v))))>
1548148132.168 * [enter]simplify:  Simplifying (+ 1 (* v v))
1548148132.168 * * [misc]simplify:  iters left: 4 (4 enodes)
1548148132.169 * * [misc]simplify:  iters left: 3 (7 enodes)
1548148132.171 * [exit]simplify:  Simplified to (+ 1 (* v v))
1548148132.171 * [misc]simplify:  Simplified (2 2) to (λ (v) (/ (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- (* 1 1) (* (* v v) (* v v)))) (+ 1 (* v v))))
1548148132.171 * * * * [misc]progress:  [ 43 / 83 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148132.172 * [enter]simplify:  Simplifying (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v)))
1548148132.172 * * [misc]simplify:  iters left: 6 (14 enodes)
1548148132.178 * * [misc]simplify:  iters left: 5 (36 enodes)
1548148132.190 * * [misc]simplify:  iters left: 4 (99 enodes)
1548148132.219 * * [misc]simplify:  iters left: 3 (366 enodes)
1548148132.385 * [exit]simplify:  Simplified to (* (sqrt (+ (* (* (* v v) (* -3 v)) (* (* v v) (* 9 v))) 1)) (* (- 1 (* v v)) (sqrt 2)))
1548148132.385 * [misc]simplify:  Simplified (2 1) to (λ (v) (/ (* (sqrt (+ (* (* (* v v) (* -3 v)) (* (* v v) (* 9 v))) 1)) (* (- 1 (* v v)) (sqrt 2))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))
1548148132.385 * * * * [misc]progress:  [ 44 / 83 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (- 1 (* v v))) (* 4 (sqrt (+ 1 (* 3 (* v v)))))))>
1548148132.385 * [enter]simplify:  Simplifying (* (* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (- 1 (* v v)))
1548148132.385 * * [misc]simplify:  iters left: 6 (14 enodes)
1548148132.388 * * [misc]simplify:  iters left: 5 (31 enodes)
1548148132.393 * * [misc]simplify:  iters left: 4 (84 enodes)
1548148132.422 * * [misc]simplify:  iters left: 3 (246 enodes)
1548148132.554 * [exit]simplify:  Simplified to (* (* (- 1 (* v v)) (sqrt 2)) (sqrt (- 1 (* (pow v 3) (* v 9)))))
1548148132.554 * [misc]simplify:  Simplified (2 1) to (λ (v) (/ (* (* (- 1 (* v v)) (sqrt 2)) (sqrt (- 1 (* (pow v 3) (* v 9))))) (* 4 (sqrt (+ 1 (* 3 (* v v)))))))
1548148132.554 * * * * [misc]progress:  [ 45 / 83 ] simplifiying candidate #<alt (λ (v) (/ (* (* (/ (sqrt 2) 4) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))))>
1548148132.554 * [enter]simplify:  Simplifying (* (* (/ (sqrt 2) 4) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v)))
1548148132.554 * * [misc]simplify:  iters left: 6 (16 enodes)
1548148132.558 * * [misc]simplify:  iters left: 5 (40 enodes)
1548148132.565 * * [misc]simplify:  iters left: 4 (113 enodes)
1548148132.599 * * [misc]simplify:  iters left: 3 (443 enodes)
1548148132.876 * [exit]simplify:  Simplified to (* (sqrt (- 1 (* (* (* v v) (* 9 v)) (* (* v 3) (* v v))))) (* (/ (sqrt 2) 4) (- 1 (* v v))))
1548148132.876 * [misc]simplify:  Simplified (2 1) to (λ (v) (/ (* (sqrt (- 1 (* (* (* v v) (* 9 v)) (* (* v 3) (* v v))))) (* (/ (sqrt 2) 4) (- 1 (* v v)))) (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))))
1548148132.876 * * * * [misc]progress:  [ 46 / 83 ] simplifiying candidate #<alt (λ (v) (/ (* (* (/ (sqrt 2) 4) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (- 1 (* v v))) (sqrt (+ 1 (* 3 (* v v))))))>
1548148132.876 * [enter]simplify:  Simplifying (* (* (/ (sqrt 2) 4) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (- 1 (* v v)))
1548148132.877 * * [misc]simplify:  iters left: 6 (16 enodes)
1548148132.882 * * [misc]simplify:  iters left: 5 (35 enodes)
1548148132.895 * * [misc]simplify:  iters left: 4 (98 enodes)
1548148132.928 * * [misc]simplify:  iters left: 3 (323 enodes)
1548148133.084 * [exit]simplify:  Simplified to (* (/ (- 1 (* v v)) (/ 4 (sqrt 2))) (sqrt (- 1 (* (* v 9) (pow v 3)))))
1548148133.084 * [misc]simplify:  Simplified (2 1) to (λ (v) (/ (* (/ (- 1 (* v v)) (/ 4 (sqrt 2))) (sqrt (- 1 (* (* v 9) (pow v 3))))) (sqrt (+ 1 (* 3 (* v v))))))
1548148133.084 * * * * [misc]progress:  [ 47 / 83 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))) 4))>
1548148133.085 * [enter]simplify:  Simplifying (* (* (sqrt 2) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
1548148133.085 * * [misc]simplify:  iters left: 6 (12 enodes)
1548148133.089 * * [misc]simplify:  iters left: 5 (25 enodes)
1548148133.098 * * [misc]simplify:  iters left: 4 (59 enodes)
1548148133.118 * * [misc]simplify:  iters left: 3 (147 enodes)
1548148133.172 * * [misc]simplify:  iters left: 2 (320 enodes)
1548148133.310 * [exit]simplify:  Simplified to (* (sqrt (+ (* (* -3 v) v) 1)) (- (sqrt 2) (* (sqrt 2) (* v v))))
1548148133.311 * [misc]simplify:  Simplified (2 1) to (λ (v) (/ (* (sqrt (+ (* (* -3 v) v) 1)) (- (sqrt 2) (* (sqrt 2) (* v v)))) 4))
1548148133.311 * * * * [misc]progress:  [ 48 / 83 ] simplifiying candidate #<alt (λ (v) (* (- 1 (* v v)) (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))))>
1548148133.311 * * * * [misc]progress:  [ 49 / 83 ] simplifiying candidate #<alt (λ (v) (* (pow (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) 1) (- 1 (* v v))))>
1548148133.311 * [enter]simplify:  Simplifying (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
1548148133.311 * * [misc]simplify:  iters left: 6 (12 enodes)
1548148133.314 * * [misc]simplify:  iters left: 5 (22 enodes)
1548148133.319 * * [misc]simplify:  iters left: 4 (40 enodes)
1548148133.324 * * [misc]simplify:  iters left: 3 (48 enodes)
1548148133.331 * [exit]simplify:  Simplified to (* (sqrt (+ 1 (* v (* -3 v)))) (/ (sqrt 2) 4))
1548148133.331 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (* (pow (* (sqrt (+ 1 (* v (* -3 v)))) (/ (sqrt 2) 4)) 1) (- 1 (* v v))))
1548148133.331 * * * * [misc]progress:  [ 50 / 83 ] simplifiying candidate #<alt (λ (v) (* (pow (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) 1) (- 1 (* v v))))>
1548148133.331 * * * * [misc]progress:  [ 51 / 83 ] simplifiying candidate #<alt (λ (v) (* (exp (+ (log (/ (sqrt 2) 4)) (log (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v))))>
1548148133.331 * [enter]simplify:  Simplifying (+ (log (/ (sqrt 2) 4)) (log (sqrt (- 1 (* 3 (* v v))))))
1548148133.331 * * [misc]simplify:  iters left: 6 (14 enodes)
1548148133.335 * * [misc]simplify:  iters left: 5 (25 enodes)
1548148133.339 * * [misc]simplify:  iters left: 4 (45 enodes)
1548148133.346 * * [misc]simplify:  iters left: 3 (62 enodes)
1548148133.360 * * [misc]simplify:  iters left: 2 (72 enodes)
1548148133.369 * * [misc]simplify:  iters left: 1 (88 enodes)
1548148133.381 * [exit]simplify:  Simplified to (+ (log (sqrt (+ 1 (* v (* -3 v))))) (log (/ (sqrt 2) 4)))
1548148133.381 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (* (exp (+ (log (sqrt (+ 1 (* v (* -3 v))))) (log (/ (sqrt 2) 4)))) (- 1 (* v v))))
1548148133.381 * * * * [misc]progress:  [ 52 / 83 ] simplifiying candidate #<alt (λ (v) (* (exp (log (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v))))>
1548148133.382 * * * * [misc]progress:  [ 53 / 83 ] simplifiying candidate #<alt (λ (v) (* (log (exp (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v))))>
1548148133.382 * * * * [misc]progress:  [ 54 / 83 ] simplifiying candidate #<alt (λ (v) (* (cbrt (* (* (* (/ (sqrt 2) 4) (/ (sqrt 2) 4)) (/ (sqrt 2) 4)) (* (* (sqrt (- 1 (* 3 (* v v)))) (sqrt (- 1 (* 3 (* v v))))) (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v))))>
1548148133.382 * [enter]simplify:  Simplifying (* (* (* (/ (sqrt 2) 4) (/ (sqrt 2) 4)) (/ (sqrt 2) 4)) (* (* (sqrt (- 1 (* 3 (* v v)))) (sqrt (- 1 (* 3 (* v v))))) (sqrt (- 1 (* 3 (* v v))))))
1548148133.382 * * [misc]simplify:  iters left: 6 (16 enodes)
1548148133.385 * * [misc]simplify:  iters left: 5 (36 enodes)
1548148133.399 * * [misc]simplify:  iters left: 4 (111 enodes)
1548148133.461 * * [misc]simplify:  iters left: 3 (367 enodes)
1548148134.302 * [exit]simplify:  Simplified to (* (sqrt (+ 1 (* -3 (* v v)))) (* (/ (sqrt 2) 4) (+ 1/8 (* (* v v) -3/8))))
1548148134.302 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (* (cbrt (* (sqrt (+ 1 (* -3 (* v v)))) (* (/ (sqrt 2) 4) (+ 1/8 (* (* v v) -3/8))))) (- 1 (* v v))))
1548148134.302 * * * * [misc]progress:  [ 55 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (* (cbrt (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))) (cbrt (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))) (cbrt (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v))))>
1548148134.302 * * * * [misc]progress:  [ 56 / 83 ] simplifiying candidate #<alt (λ (v) (* (cbrt (* (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))) (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v))))>
1548148134.302 * * * * [misc]progress:  [ 57 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (sqrt (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))) (sqrt (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v))))>
1548148134.302 * * * * [misc]progress:  [ 58 / 83 ] simplifiying candidate #<alt (λ (v) (* (/ (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))) (- 1 (* v v))))>
1548148134.303 * [enter]simplify:  Simplifying (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3))))
1548148134.303 * * [misc]simplify:  iters left: 6 (12 enodes)
1548148134.308 * * [misc]simplify:  iters left: 5 (29 enodes)
1548148134.315 * * [misc]simplify:  iters left: 4 (70 enodes)
1548148134.334 * * [misc]simplify:  iters left: 3 (253 enodes)
1548148134.467 * [exit]simplify:  Simplified to (* (sqrt (+ (* (* (* v 9) (* v v)) (* (* -3 v) (* v v))) 1)) (sqrt 2))
1548148134.467 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (* (/ (* (sqrt (+ (* (* (* v 9) (* v v)) (* (* -3 v) (* v v))) 1)) (sqrt 2)) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))) (- 1 (* v v))))
1548148134.467 * [enter]simplify:  Simplifying (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))
1548148134.468 * * [misc]simplify:  iters left: 6 (13 enodes)
1548148134.472 * * [misc]simplify:  iters left: 5 (33 enodes)
1548148134.485 * * [misc]simplify:  iters left: 4 (76 enodes)
1548148134.501 * * [misc]simplify:  iters left: 3 (129 enodes)
1548148134.538 * * [misc]simplify:  iters left: 2 (214 enodes)
1548148134.619 * * [misc]simplify:  iters left: 1 (270 enodes)
1548148134.671 * [exit]simplify:  Simplified to (* (sqrt (+ (+ (* (pow v 4) 9) 1) (* 3 (* v v)))) 4)
1548148134.671 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (* (/ (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (* (sqrt (+ (+ (* (pow v 4) 9) 1) (* 3 (* v v)))) 4)) (- 1 (* v v))))
1548148134.671 * * * * [misc]progress:  [ 59 / 83 ] simplifiying candidate #<alt (λ (v) (* (/ (* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (* 4 (sqrt (+ 1 (* 3 (* v v)))))) (- 1 (* v v))))>
1548148134.672 * [enter]simplify:  Simplifying (* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))))
1548148134.672 * * [misc]simplify:  iters left: 6 (12 enodes)
1548148134.674 * * [misc]simplify:  iters left: 5 (24 enodes)
1548148134.679 * * [misc]simplify:  iters left: 4 (56 enodes)
1548148134.692 * * [misc]simplify:  iters left: 3 (134 enodes)
1548148134.739 * * [misc]simplify:  iters left: 2 (254 enodes)
1548148134.816 * * [misc]simplify:  iters left: 1 (289 enodes)
1548148134.876 * [exit]simplify:  Simplified to (* (sqrt (- 1 (* (pow v 4) 9))) (sqrt 2))
1548148134.876 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (* (/ (* (sqrt (- 1 (* (pow v 4) 9))) (sqrt 2)) (* 4 (sqrt (+ 1 (* 3 (* v v)))))) (- 1 (* v v))))
1548148134.876 * [enter]simplify:  Simplifying (* 4 (sqrt (+ 1 (* 3 (* v v)))))
1548148134.876 * * [misc]simplify:  iters left: 6 (9 enodes)
1548148134.879 * * [misc]simplify:  iters left: 5 (16 enodes)
1548148134.883 * * [misc]simplify:  iters left: 4 (18 enodes)
1548148134.888 * [exit]simplify:  Simplified to (* (sqrt (+ 1 (* v (* 3 v)))) 4)
1548148134.888 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (* (/ (* (sqrt (- 1 (* (pow v 4) 9))) (sqrt 2)) (* (sqrt (+ 1 (* v (* 3 v)))) 4)) (- 1 (* v v))))
1548148134.888 * * * * [misc]progress:  [ 60 / 83 ] simplifiying candidate #<alt (λ (v) (* (* 1 (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))) (- 1 (* v v))))>
1548148134.888 * * * * [misc]progress:  [ 61 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (* (/ (sqrt 2) 4) (* (cbrt (sqrt (- 1 (* 3 (* v v))))) (cbrt (sqrt (- 1 (* 3 (* v v))))))) (cbrt (sqrt (- 1 (* 3 (* v v)))))) (- 1 (* v v))))>
1548148134.889 * [enter]simplify:  Simplifying (cbrt (sqrt (- 1 (* 3 (* v v)))))
1548148134.889 * * [misc]simplify:  iters left: 6 (8 enodes)
1548148134.891 * * [misc]simplify:  iters left: 5 (15 enodes)
1548148134.896 * * [misc]simplify:  iters left: 4 (29 enodes)
1548148134.904 * * [misc]simplify:  iters left: 3 (37 enodes)
1548148134.912 * [exit]simplify:  Simplified to (cbrt (sqrt (- 1 (* (* v v) 3))))
1548148134.913 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (* (* (* (/ (sqrt 2) 4) (* (cbrt (sqrt (- 1 (* 3 (* v v))))) (cbrt (sqrt (- 1 (* 3 (* v v))))))) (cbrt (sqrt (- 1 (* (* v v) 3))))) (- 1 (* v v))))
1548148134.913 * * * * [misc]progress:  [ 62 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (* (/ (sqrt 2) 4) (sqrt (* (cbrt (- 1 (* 3 (* v v)))) (cbrt (- 1 (* 3 (* v v))))))) (sqrt (cbrt (- 1 (* 3 (* v v)))))) (- 1 (* v v))))>
1548148134.913 * [enter]simplify:  Simplifying (sqrt (cbrt (- 1 (* 3 (* v v)))))
1548148134.913 * * [misc]simplify:  iters left: 6 (8 enodes)
1548148134.914 * * [misc]simplify:  iters left: 5 (15 enodes)
1548148134.916 * * [misc]simplify:  iters left: 4 (29 enodes)
1548148134.920 * * [misc]simplify:  iters left: 3 (37 enodes)
1548148134.925 * [exit]simplify:  Simplified to (sqrt (cbrt (- 1 (* (* v v) 3))))
1548148134.925 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (* (* (* (/ (sqrt 2) 4) (sqrt (* (cbrt (- 1 (* 3 (* v v)))) (cbrt (- 1 (* 3 (* v v))))))) (sqrt (cbrt (- 1 (* (* v v) 3))))) (- 1 (* v v))))
1548148134.925 * * * * [misc]progress:  [ 63 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (* (/ (sqrt 2) 4) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (- 1 (* v v))))>
1548148134.925 * [enter]simplify:  Simplifying (sqrt (sqrt (- 1 (* 3 (* v v)))))
1548148134.925 * * [misc]simplify:  iters left: 6 (8 enodes)
1548148134.927 * * [misc]simplify:  iters left: 5 (15 enodes)
1548148134.929 * * [misc]simplify:  iters left: 4 (29 enodes)
1548148134.933 * * [misc]simplify:  iters left: 3 (37 enodes)
1548148134.937 * [exit]simplify:  Simplified to (sqrt (sqrt (- 1 (* (* v v) 3))))
1548148134.937 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (* (* (* (/ (sqrt 2) 4) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (sqrt (sqrt (- 1 (* (* v v) 3))))) (- 1 (* v v))))
1548148134.937 * * * * [misc]progress:  [ 64 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (* (/ (sqrt 2) 4) (sqrt 1)) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))))>
1548148134.938 * [enter]simplify:  Simplifying (sqrt (- 1 (* 3 (* v v))))
1548148134.938 * * [misc]simplify:  iters left: 6 (7 enodes)
1548148134.939 * * [misc]simplify:  iters left: 5 (14 enodes)
1548148134.941 * * [misc]simplify:  iters left: 4 (28 enodes)
1548148134.948 * * [misc]simplify:  iters left: 3 (36 enodes)
1548148134.957 * [exit]simplify:  Simplified to (sqrt (+ 1 (* (* v v) -3)))
1548148134.957 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (* (* (* (/ (sqrt 2) 4) (sqrt 1)) (sqrt (+ 1 (* (* v v) -3)))) (- 1 (* v v))))
1548148134.957 * * * * [misc]progress:  [ 65 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (* (/ (sqrt 2) 4) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (- 1 (* v v))))>
1548148134.957 * [enter]simplify:  Simplifying (sqrt (sqrt (- 1 (* 3 (* v v)))))
1548148134.957 * * [misc]simplify:  iters left: 6 (8 enodes)
1548148134.960 * * [misc]simplify:  iters left: 5 (15 enodes)
1548148134.965 * * [misc]simplify:  iters left: 4 (29 enodes)
1548148134.972 * * [misc]simplify:  iters left: 3 (37 enodes)
1548148134.981 * [exit]simplify:  Simplified to (sqrt (sqrt (- 1 (* (* v v) 3))))
1548148134.981 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (* (* (* (/ (sqrt 2) 4) (sqrt (sqrt (- 1 (* 3 (* v v)))))) (sqrt (sqrt (- 1 (* (* v v) 3))))) (- 1 (* v v))))
1548148134.981 * * * * [misc]progress:  [ 66 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (* (/ (sqrt 2) 4) 1) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))))>
1548148134.981 * [enter]simplify:  Simplifying (sqrt (- 1 (* 3 (* v v))))
1548148134.981 * * [misc]simplify:  iters left: 6 (7 enodes)
1548148134.984 * * [misc]simplify:  iters left: 5 (14 enodes)
1548148134.988 * * [misc]simplify:  iters left: 4 (28 enodes)
1548148134.997 * * [misc]simplify:  iters left: 3 (36 enodes)
1548148135.005 * [exit]simplify:  Simplified to (sqrt (+ 1 (* (* v v) -3)))
1548148135.006 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (* (* (* (/ (sqrt 2) 4) 1) (sqrt (+ 1 (* (* v v) -3)))) (- 1 (* v v))))
1548148135.006 * * * * [misc]progress:  [ 67 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (* (cbrt (/ (sqrt 2) 4)) (cbrt (/ (sqrt 2) 4))) (* (cbrt (/ (sqrt 2) 4)) (sqrt (- 1 (* 3 (* v v)))))) (- 1 (* v v))))>
1548148135.006 * [enter]simplify:  Simplifying (* (cbrt (/ (sqrt 2) 4)) (cbrt (/ (sqrt 2) 4)))
1548148135.006 * * [misc]simplify:  iters left: 6 (6 enodes)
1548148135.009 * [exit]simplify:  Simplified to (* (cbrt (/ (sqrt 2) 4)) (cbrt (/ (sqrt 2) 4)))
1548148135.009 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (* (* (* (cbrt (/ (sqrt 2) 4)) (cbrt (/ (sqrt 2) 4))) (* (cbrt (/ (sqrt 2) 4)) (sqrt (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
1548148135.009 * * * * [misc]progress:  [ 68 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (sqrt (/ (sqrt 2) 4)) (* (sqrt (/ (sqrt 2) 4)) (sqrt (- 1 (* 3 (* v v)))))) (- 1 (* v v))))>
1548148135.009 * [enter]simplify:  Simplifying (sqrt (/ (sqrt 2) 4))
1548148135.009 * * [misc]simplify:  iters left: 4 (5 enodes)
1548148135.011 * [exit]simplify:  Simplified to (sqrt (/ (sqrt 2) 4))
1548148135.011 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (* (* (sqrt (/ (sqrt 2) 4)) (* (sqrt (/ (sqrt 2) 4)) (sqrt (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
1548148135.011 * * * * [misc]progress:  [ 69 / 83 ] simplifiying candidate #<alt (λ (v) (* (* 1 (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))) (- 1 (* v v))))>
1548148135.011 * * * * [misc]progress:  [ 70 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (sqrt 2) (* (/ 1 4) (sqrt (- 1 (* 3 (* v v)))))) (- 1 (* v v))))>
1548148135.011 * [enter]simplify:  Simplifying (sqrt 2)
1548148135.012 * * [misc]simplify:  iters left: 1 (2 enodes)
1548148135.013 * [exit]simplify:  Simplified to (sqrt 2)
1548148135.013 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (* (* (sqrt 2) (* (/ 1 4) (sqrt (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
1548148135.013 * * * * [misc]progress:  [ 71 / 83 ] simplifiying candidate #<alt (λ (v) (* (/ (* (/ (sqrt 2) 4) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))) (- 1 (* v v))))>
1548148135.013 * [enter]simplify:  Simplifying (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))
1548148135.013 * * [misc]simplify:  iters left: 6 (11 enodes)
1548148135.018 * * [misc]simplify:  iters left: 5 (30 enodes)
1548148135.029 * * [misc]simplify:  iters left: 4 (75 enodes)
1548148135.062 * * [misc]simplify:  iters left: 3 (132 enodes)
1548148135.127 * * [misc]simplify:  iters left: 2 (227 enodes)
1548148135.220 * * [misc]simplify:  iters left: 1 (306 enodes)
1548148135.272 * [exit]simplify:  Simplified to (sqrt (+ 1 (+ (* 3 (* v v)) (* (pow v 4) 9))))
1548148135.272 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (* (/ (* (/ (sqrt 2) 4) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (sqrt (+ 1 (+ (* 3 (* v v)) (* (pow v 4) 9))))) (- 1 (* v v))))
1548148135.273 * * * * [misc]progress:  [ 72 / 83 ] simplifiying candidate #<alt (λ (v) (* (/ (* (/ (sqrt 2) 4) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (sqrt (+ 1 (* 3 (* v v))))) (- 1 (* v v))))>
1548148135.273 * [enter]simplify:  Simplifying (sqrt (+ 1 (* 3 (* v v))))
1548148135.273 * * [misc]simplify:  iters left: 6 (7 enodes)
1548148135.277 * * [misc]simplify:  iters left: 5 (13 enodes)
1548148135.280 * * [misc]simplify:  iters left: 4 (15 enodes)
1548148135.284 * [exit]simplify:  Simplified to (sqrt (+ 1 (* (* v v) 3)))
1548148135.284 * [misc]simplify:  Simplified (2 1 2) to (λ (v) (* (/ (* (/ (sqrt 2) 4) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))) (sqrt (+ 1 (* (* v v) 3)))) (- 1 (* v v))))
1548148135.284 * * * * [misc]progress:  [ 73 / 83 ] simplifiying candidate #<alt (λ (v) (* (/ (* (sqrt 2) (sqrt (- 1 (* 3 (* v v))))) 4) (- 1 (* v v))))>
1548148135.285 * [enter]simplify:  Simplifying (* (sqrt 2) (sqrt (- 1 (* 3 (* v v)))))
1548148135.285 * * [misc]simplify:  iters left: 6 (10 enodes)
1548148135.288 * * [misc]simplify:  iters left: 5 (18 enodes)
1548148135.294 * * [misc]simplify:  iters left: 4 (32 enodes)
1548148135.303 * * [misc]simplify:  iters left: 3 (40 enodes)
1548148135.313 * [exit]simplify:  Simplified to (* (sqrt (+ (* v (* v -3)) 1)) (sqrt 2))
1548148135.313 * [misc]simplify:  Simplified (2 1 1) to (λ (v) (* (/ (* (sqrt (+ (* v (* v -3)) 1)) (sqrt 2)) 4) (- 1 (* v v))))
1548148135.313 * * * * [misc]progress:  [ 74 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (sqrt (- 1 (* 3 (* v v)))) (/ (sqrt 2) 4)) (- 1 (* v v))))>
1548148135.313 * * * * [misc]progress:  [ 75 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (pow v 2))))) (- 1 (* v v))))>
1548148135.313 * [enter]simplify:  Simplifying (* 3 (pow v 2))
1548148135.313 * * [misc]simplify:  iters left: 3 (5 enodes)
1548148135.315 * * [misc]simplify:  iters left: 2 (7 enodes)
1548148135.317 * * [misc]simplify:  iters left: 1 (11 enodes)
1548148135.320 * [exit]simplify:  Simplified to (* (* v v) 3)
1548148135.320 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* (* v v) 3)))) (- 1 (* v v))))
1548148135.320 * * * * [misc]progress:  [ 76 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (pow v 2))))) (- 1 (* v v))))>
1548148135.321 * [enter]simplify:  Simplifying (* 3 (pow v 2))
1548148135.321 * * [misc]simplify:  iters left: 3 (5 enodes)
1548148135.322 * * [misc]simplify:  iters left: 2 (7 enodes)
1548148135.324 * * [misc]simplify:  iters left: 1 (11 enodes)
1548148135.327 * [exit]simplify:  Simplified to (* (* v v) 3)
1548148135.327 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* (* v v) 3)))) (- 1 (* v v))))
1548148135.327 * * * * [misc]progress:  [ 77 / 83 ] simplifiying candidate #<alt (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (pow v 2))))) (- 1 (* v v))))>
1548148135.327 * [enter]simplify:  Simplifying (* 3 (pow v 2))
1548148135.327 * * [misc]simplify:  iters left: 3 (5 enodes)
1548148135.329 * * [misc]simplify:  iters left: 2 (7 enodes)
1548148135.331 * * [misc]simplify:  iters left: 1 (11 enodes)
1548148135.334 * [exit]simplify:  Simplified to (* (* v v) 3)
1548148135.334 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* (* v v) 3)))) (- 1 (* v v))))
1548148135.334 * * * * [misc]progress:  [ 78 / 83 ] simplifiying candidate #<alt (λ (v) (- (+ (* 1/4 (sqrt 2)) (* 3/32 (* (sqrt 2) (pow v 4)))) (* 5/8 (* (sqrt 2) (pow v 2)))))>
1548148135.334 * [enter]simplify:  Simplifying (- (+ (* 1/4 (sqrt 2)) (* 3/32 (* (sqrt 2) (pow v 4)))) (* 5/8 (* (sqrt 2) (pow v 2))))
1548148135.334 * * [misc]simplify:  iters left: 6 (16 enodes)
1548148135.340 * * [misc]simplify:  iters left: 5 (31 enodes)
1548148135.351 * * [misc]simplify:  iters left: 4 (68 enodes)
1548148135.375 * * [misc]simplify:  iters left: 3 (133 enodes)
1548148135.425 * * [misc]simplify:  iters left: 2 (232 enodes)
1548148135.474 * * [misc]simplify:  iters left: 1 (314 enodes)
1548148135.568 * [exit]simplify:  Simplified to (* (+ (+ 1/4 (* (pow v 4) 3/32)) (* (* -5/8 v) v)) (sqrt 2))
1548148135.568 * [misc]simplify:  Simplified (2) to (λ (v) (* (+ (+ 1/4 (* (pow v 4) 3/32)) (* (* -5/8 v) v)) (sqrt 2)))
1548148135.568 * * * * [misc]progress:  [ 79 / 83 ] simplifiying candidate #<alt (λ (v) (- (+ (* 1/32 (/ (sqrt 2) (* v (pow (sqrt -3) 3)))) (+ (* 1/4 (* (sqrt 2) (* v (sqrt -3)))) (* 1/8 (/ (sqrt 2) (* v (sqrt -3)))))) (+ (* 1/8 (/ (* (sqrt 2) v) (sqrt -3))) (* 1/4 (* (sqrt 2) (* (pow v 3) (sqrt -3)))))))>
1548148135.568 * [enter]simplify:  Simplifying (- (+ (* 1/32 (/ (sqrt 2) (* v (pow (sqrt -3) 3)))) (+ (* 1/4 (* (sqrt 2) (* v (sqrt -3)))) (* 1/8 (/ (sqrt 2) (* v (sqrt -3)))))) (+ (* 1/8 (/ (* (sqrt 2) v) (sqrt -3))) (* 1/4 (* (sqrt 2) (* (pow v 3) (sqrt -3))))))
1548148135.569 * * [misc]simplify:  iters left: 6 (29 enodes)
1548148135.580 * * [misc]simplify:  iters left: 5 (74 enodes)
1548148135.609 * * [misc]simplify:  iters left: 4 (207 enodes)
1548148135.710 * [exit]simplify:  Simplified to (- (+ (* (/ (sqrt 2) v) (+ (/ -1/96 (sqrt -3)) (/ 1/8 (sqrt -3)))) (- (* (* (* 1/4 v) (sqrt 2)) (sqrt -3)) (/ (* 1/8 (sqrt 2)) (/ (sqrt -3) v)))) (* (* (* 1/4 v) (sqrt 2)) (* (sqrt -3) (* v v))))
1548148135.710 * [misc]simplify:  Simplified (2) to (λ (v) (- (+ (* (/ (sqrt 2) v) (+ (/ -1/96 (sqrt -3)) (/ 1/8 (sqrt -3)))) (- (* (* (* 1/4 v) (sqrt 2)) (sqrt -3)) (/ (* 1/8 (sqrt 2)) (/ (sqrt -3) v)))) (* (* (* 1/4 v) (sqrt 2)) (* (sqrt -3) (* v v)))))
1548148135.710 * * * * [misc]progress:  [ 80 / 83 ] simplifiying candidate #<alt (λ (v) (- (+ (* 1/8 (/ (* (sqrt 2) v) (sqrt -3))) (* 1/4 (* (sqrt 2) (* (pow v 3) (sqrt -3))))) (+ (* 1/32 (/ (sqrt 2) (* v (pow (sqrt -3) 3)))) (+ (* 1/4 (* (sqrt 2) (* v (sqrt -3)))) (* 1/8 (/ (sqrt 2) (* v (sqrt -3))))))))>
1548148135.711 * [enter]simplify:  Simplifying (- (+ (* 1/8 (/ (* (sqrt 2) v) (sqrt -3))) (* 1/4 (* (sqrt 2) (* (pow v 3) (sqrt -3))))) (+ (* 1/32 (/ (sqrt 2) (* v (pow (sqrt -3) 3)))) (+ (* 1/4 (* (sqrt 2) (* v (sqrt -3)))) (* 1/8 (/ (sqrt 2) (* v (sqrt -3)))))))
1548148135.711 * * [misc]simplify:  iters left: 6 (29 enodes)
1548148135.722 * * [misc]simplify:  iters left: 5 (74 enodes)
1548148135.752 * * [misc]simplify:  iters left: 4 (209 enodes)
1548148135.818 * [exit]simplify:  Simplified to (- (- (+ (* (/ 1/8 (sqrt -3)) (* (sqrt 2) v)) (* (* (sqrt 2) (* 1/4 v)) (* (sqrt -3) (* v v)))) (* (/ (sqrt 2) v) (+ (/ 1/8 (sqrt -3)) (/ -1/96 (sqrt -3))))) (* (sqrt -3) (* (sqrt 2) (* 1/4 v))))
1548148135.818 * [misc]simplify:  Simplified (2) to (λ (v) (- (- (+ (* (/ 1/8 (sqrt -3)) (* (sqrt 2) v)) (* (* (sqrt 2) (* 1/4 v)) (* (sqrt -3) (* v v)))) (* (/ (sqrt 2) v) (+ (/ 1/8 (sqrt -3)) (/ -1/96 (sqrt -3))))) (* (sqrt -3) (* (sqrt 2) (* 1/4 v)))))
1548148135.818 * * * * [misc]progress:  [ 81 / 83 ] simplifiying candidate #<alt (λ (v) (* (- (* 1/4 (sqrt 2)) (+ (* 9/32 (* (sqrt 2) (pow v 4))) (* 3/8 (* (sqrt 2) (pow v 2))))) (- 1 (* v v))))>
1548148135.819 * [enter]simplify:  Simplifying (- (* 1/4 (sqrt 2)) (+ (* 9/32 (* (sqrt 2) (pow v 4))) (* 3/8 (* (sqrt 2) (pow v 2)))))
1548148135.819 * * [misc]simplify:  iters left: 6 (16 enodes)
1548148135.824 * * [misc]simplify:  iters left: 5 (31 enodes)
1548148135.831 * * [misc]simplify:  iters left: 4 (57 enodes)
1548148135.846 * * [misc]simplify:  iters left: 3 (144 enodes)
1548148135.876 * * [misc]simplify:  iters left: 2 (282 enodes)
1548148135.959 * * [misc]simplify:  iters left: 1 (474 enodes)
1548148136.139 * [exit]simplify:  Simplified to (* (- 1/4 (- (* (pow v 4) 9/32) (* (* v v) -3/8))) (sqrt 2))
1548148136.139 * [misc]simplify:  Simplified (2 1) to (λ (v) (* (* (- 1/4 (- (* (pow v 4) 9/32) (* (* v v) -3/8))) (sqrt 2)) (- 1 (* v v))))
1548148136.140 * * * * [misc]progress:  [ 82 / 83 ] simplifiying candidate #<alt (λ (v) (* (- (+ (* 1/4 (* (sqrt 2) (* v (sqrt -3)))) (* 1/8 (/ (sqrt 2) (* v (sqrt -3))))) (* 1/32 (/ (sqrt 2) (* (pow v 3) (pow (sqrt -3) 3))))) (- 1 (* v v))))>
1548148136.140 * [enter]simplify:  Simplifying (- (+ (* 1/4 (* (sqrt 2) (* v (sqrt -3)))) (* 1/8 (/ (sqrt 2) (* v (sqrt -3))))) (* 1/32 (/ (sqrt 2) (* (pow v 3) (pow (sqrt -3) 3)))))
1548148136.140 * * [misc]simplify:  iters left: 6 (21 enodes)
1548148136.146 * * [misc]simplify:  iters left: 5 (50 enodes)
1548148136.159 * * [misc]simplify:  iters left: 4 (142 enodes)
1548148136.199 * * [misc]simplify:  iters left: 3 (384 enodes)
1548148136.420 * [exit]simplify:  Simplified to (+ (* (* (sqrt 2) (sqrt -3)) (* v 1/4)) (* (/ (sqrt 2) (sqrt -3)) (- (/ 1/8 v) (/ -1/96 (pow v 3)))))
1548148136.420 * [misc]simplify:  Simplified (2 1) to (λ (v) (* (+ (* (* (sqrt 2) (sqrt -3)) (* v 1/4)) (* (/ (sqrt 2) (sqrt -3)) (- (/ 1/8 v) (/ -1/96 (pow v 3))))) (- 1 (* v v))))
1548148136.420 * * * * [misc]progress:  [ 83 / 83 ] simplifiying candidate #<alt (λ (v) (* (- (* 1/32 (/ (sqrt 2) (* (pow v 3) (pow (sqrt -3) 3)))) (+ (* 1/4 (* (sqrt 2) (* v (sqrt -3)))) (* 1/8 (/ (sqrt 2) (* v (sqrt -3)))))) (- 1 (* v v))))>
1548148136.421 * [enter]simplify:  Simplifying (- (* 1/32 (/ (sqrt 2) (* (pow v 3) (pow (sqrt -3) 3)))) (+ (* 1/4 (* (sqrt 2) (* v (sqrt -3)))) (* 1/8 (/ (sqrt 2) (* v (sqrt -3))))))
1548148136.421 * * [misc]simplify:  iters left: 6 (21 enodes)
1548148136.433 * * [misc]simplify:  iters left: 5 (50 enodes)
1548148136.451 * * [misc]simplify:  iters left: 4 (133 enodes)
1548148136.498 * * [misc]simplify:  iters left: 3 (402 enodes)
1548148136.677 * [exit]simplify:  Simplified to (+ (* (* (sqrt -3) -1/4) (* (sqrt 2) v)) (* (/ (sqrt 2) (sqrt -3)) (- (/ -1/96 (pow v 3)) (/ 1/8 v))))
1548148136.677 * [misc]simplify:  Simplified (2 1) to (λ (v) (* (+ (* (* (sqrt -3) -1/4) (* (sqrt 2) v)) (* (/ (sqrt 2) (sqrt -3)) (- (/ -1/96 (pow v 3)) (/ 1/8 v)))) (- 1 (* v v))))
1548148136.677 * * * [misc]progress:  adding candidates to table
1548148137.384 * * [misc]progress:  iteration 2 / 4
1548148137.384 * * * [misc]progress:  picking best candidate
1548148137.393 * * * * [misc]pick:  Picked  #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.393 * * * [misc]progress:  localizing error
1548148137.447 * * * [misc]progress:  generating rewritten candidates
1548148137.447 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2 1 2 2 2)
1548148137.448 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2 1 2 1 2)
1548148137.449 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 2 1 2 1 1)
1548148137.449 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 1 2 1)
1548148137.451 * * * [misc]progress:  generating series expansions
1548148137.451 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2 1 2 2 2)
1548148137.451 * [misc]backup-simplify:  Simplify (* 3 (* v v)) into (* 3 (pow v 2))
1548148137.451 * [misc]approximate:  Taking taylor expansion of (* 3 (pow v 2)) in (v) around 0
1548148137.451 * [misc]taylor:  Taking taylor expansion of (* 3 (pow v 2)) in v
1548148137.451 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.451 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.451 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.451 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.451 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.451 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.451 * [misc]taylor:  Taking taylor expansion of (* 3 (pow v 2)) in v
1548148137.451 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.451 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.451 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.451 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.451 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.451 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.451 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148137.451 * [misc]backup-simplify:  Simplify (* 3 1) into 3
1548148137.451 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.452 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148137.452 * [misc]backup-simplify:  Simplify (+ (* 3 0) (* 0 1)) into 0
1548148137.452 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.452 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148137.452 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
1548148137.452 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.452 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148137.452 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148137.452 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.453 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148137.453 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148137.453 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.453 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1548148137.453 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1548148137.454 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.454 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1548148137.454 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1548148137.454 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.454 * [misc]backup-simplify:  Simplify (* 3 (pow v 2)) into (* 3 (pow v 2))
1548148137.454 * [misc]backup-simplify:  Simplify (* 3 (* (/ 1 v) (/ 1 v))) into (/ 3 (pow v 2))
1548148137.454 * [misc]approximate:  Taking taylor expansion of (/ 3 (pow v 2)) in (v) around 0
1548148137.454 * [misc]taylor:  Taking taylor expansion of (/ 3 (pow v 2)) in v
1548148137.454 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.454 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.455 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.455 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.455 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.455 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.455 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148137.455 * [misc]backup-simplify:  Simplify (/ 3 1) into 3
1548148137.455 * [misc]taylor:  Taking taylor expansion of (/ 3 (pow v 2)) in v
1548148137.455 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.455 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.455 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.455 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.455 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.455 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.455 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148137.455 * [misc]backup-simplify:  Simplify (/ 3 1) into 3
1548148137.455 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.455 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148137.455 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
1548148137.455 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.456 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148137.456 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.456 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.456 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148137.456 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.456 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.457 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148137.457 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.457 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.457 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1548148137.457 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.457 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.458 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1548148137.458 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.458 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.458 * [misc]backup-simplify:  Simplify (* 3 (pow (/ 1 (/ 1 v)) 2)) into (* 3 (pow v 2))
1548148137.458 * [misc]backup-simplify:  Simplify (* 3 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 3 (pow v 2))
1548148137.458 * [misc]approximate:  Taking taylor expansion of (/ 3 (pow v 2)) in (v) around 0
1548148137.458 * [misc]taylor:  Taking taylor expansion of (/ 3 (pow v 2)) in v
1548148137.458 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.458 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.458 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.458 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.458 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.458 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.458 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148137.458 * [misc]backup-simplify:  Simplify (/ 3 1) into 3
1548148137.459 * [misc]taylor:  Taking taylor expansion of (/ 3 (pow v 2)) in v
1548148137.459 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.459 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.459 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.459 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.459 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.459 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.459 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148137.459 * [misc]backup-simplify:  Simplify (/ 3 1) into 3
1548148137.459 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.459 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148137.459 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
1548148137.459 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.459 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148137.460 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.460 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.460 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148137.460 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.460 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.460 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148137.461 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.461 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.461 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1548148137.462 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.462 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.462 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1548148137.463 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.463 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.463 * [misc]backup-simplify:  Simplify (* 3 (pow (/ 1 (/ 1 (- v))) 2)) into (* 3 (pow v 2))
1548148137.463 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2 1 2 1 2)
1548148137.463 * [misc]backup-simplify:  Simplify (* 3 (* v v)) into (* 3 (pow v 2))
1548148137.463 * [misc]approximate:  Taking taylor expansion of (* 3 (pow v 2)) in (v) around 0
1548148137.463 * [misc]taylor:  Taking taylor expansion of (* 3 (pow v 2)) in v
1548148137.463 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.464 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.464 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.464 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.464 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.464 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.464 * [misc]taylor:  Taking taylor expansion of (* 3 (pow v 2)) in v
1548148137.464 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.464 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.464 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.464 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.464 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.464 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.464 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148137.464 * [misc]backup-simplify:  Simplify (* 3 1) into 3
1548148137.464 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.464 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148137.465 * [misc]backup-simplify:  Simplify (+ (* 3 0) (* 0 1)) into 0
1548148137.465 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.465 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148137.465 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
1548148137.465 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.466 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148137.466 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148137.466 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.466 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148137.467 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148137.467 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.467 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1548148137.468 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1548148137.468 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.468 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1548148137.469 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1548148137.469 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.469 * [misc]backup-simplify:  Simplify (* 3 (pow v 2)) into (* 3 (pow v 2))
1548148137.469 * [misc]backup-simplify:  Simplify (* 3 (* (/ 1 v) (/ 1 v))) into (/ 3 (pow v 2))
1548148137.469 * [misc]approximate:  Taking taylor expansion of (/ 3 (pow v 2)) in (v) around 0
1548148137.469 * [misc]taylor:  Taking taylor expansion of (/ 3 (pow v 2)) in v
1548148137.469 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.469 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.469 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.469 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.469 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.469 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.469 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148137.470 * [misc]backup-simplify:  Simplify (/ 3 1) into 3
1548148137.470 * [misc]taylor:  Taking taylor expansion of (/ 3 (pow v 2)) in v
1548148137.470 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.470 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.470 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.470 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.470 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.470 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.470 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148137.470 * [misc]backup-simplify:  Simplify (/ 3 1) into 3
1548148137.470 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.470 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148137.471 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
1548148137.471 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.471 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148137.471 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.471 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.472 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148137.472 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.472 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.472 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148137.473 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.473 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.473 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1548148137.474 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.474 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.474 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1548148137.475 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.475 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.475 * [misc]backup-simplify:  Simplify (* 3 (pow (/ 1 (/ 1 v)) 2)) into (* 3 (pow v 2))
1548148137.475 * [misc]backup-simplify:  Simplify (* 3 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 3 (pow v 2))
1548148137.475 * [misc]approximate:  Taking taylor expansion of (/ 3 (pow v 2)) in (v) around 0
1548148137.475 * [misc]taylor:  Taking taylor expansion of (/ 3 (pow v 2)) in v
1548148137.476 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.476 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.476 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.476 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.476 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.476 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.476 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148137.476 * [misc]backup-simplify:  Simplify (/ 3 1) into 3
1548148137.476 * [misc]taylor:  Taking taylor expansion of (/ 3 (pow v 2)) in v
1548148137.476 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.476 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.476 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.476 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.476 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.476 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.476 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148137.477 * [misc]backup-simplify:  Simplify (/ 3 1) into 3
1548148137.477 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.477 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148137.477 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
1548148137.477 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.477 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148137.478 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.478 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.478 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148137.479 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.479 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.479 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148137.479 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.479 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.480 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1548148137.481 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.481 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.481 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1548148137.482 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.482 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.482 * [misc]backup-simplify:  Simplify (* 3 (pow (/ 1 (/ 1 (- v))) 2)) into (* 3 (pow v 2))
1548148137.482 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 2 1 2 1 1)
1548148137.482 * [misc]backup-simplify:  Simplify (* 3 (* v v)) into (* 3 (pow v 2))
1548148137.482 * [misc]approximate:  Taking taylor expansion of (* 3 (pow v 2)) in (v) around 0
1548148137.482 * [misc]taylor:  Taking taylor expansion of (* 3 (pow v 2)) in v
1548148137.482 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.482 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.482 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.482 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.482 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.482 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.483 * [misc]taylor:  Taking taylor expansion of (* 3 (pow v 2)) in v
1548148137.483 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.483 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.483 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.483 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.483 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.483 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.483 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148137.483 * [misc]backup-simplify:  Simplify (* 3 1) into 3
1548148137.483 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.483 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148137.484 * [misc]backup-simplify:  Simplify (+ (* 3 0) (* 0 1)) into 0
1548148137.484 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.484 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148137.484 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
1548148137.484 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.485 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148137.485 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148137.485 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.485 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148137.486 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148137.486 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.486 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1548148137.487 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1548148137.487 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.487 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1548148137.488 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1548148137.488 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.488 * [misc]backup-simplify:  Simplify (* 3 (pow v 2)) into (* 3 (pow v 2))
1548148137.488 * [misc]backup-simplify:  Simplify (* 3 (* (/ 1 v) (/ 1 v))) into (/ 3 (pow v 2))
1548148137.488 * [misc]approximate:  Taking taylor expansion of (/ 3 (pow v 2)) in (v) around 0
1548148137.488 * [misc]taylor:  Taking taylor expansion of (/ 3 (pow v 2)) in v
1548148137.488 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.488 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.488 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.488 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.488 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.488 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.488 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148137.495 * [misc]backup-simplify:  Simplify (/ 3 1) into 3
1548148137.495 * [misc]taylor:  Taking taylor expansion of (/ 3 (pow v 2)) in v
1548148137.495 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.496 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.496 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.496 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.496 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.496 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.496 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148137.496 * [misc]backup-simplify:  Simplify (/ 3 1) into 3
1548148137.496 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.497 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148137.497 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
1548148137.497 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.497 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148137.498 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.498 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.498 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148137.498 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.498 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.499 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148137.499 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.499 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.500 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1548148137.500 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.500 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.501 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1548148137.501 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.501 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.502 * [misc]backup-simplify:  Simplify (* 3 (pow (/ 1 (/ 1 v)) 2)) into (* 3 (pow v 2))
1548148137.502 * [misc]backup-simplify:  Simplify (* 3 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 3 (pow v 2))
1548148137.502 * [misc]approximate:  Taking taylor expansion of (/ 3 (pow v 2)) in (v) around 0
1548148137.502 * [misc]taylor:  Taking taylor expansion of (/ 3 (pow v 2)) in v
1548148137.502 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.502 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.502 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.502 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.502 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.502 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.502 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148137.502 * [misc]backup-simplify:  Simplify (/ 3 1) into 3
1548148137.502 * [misc]taylor:  Taking taylor expansion of (/ 3 (pow v 2)) in v
1548148137.502 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.502 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.502 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.502 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.503 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.503 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.503 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148137.503 * [misc]backup-simplify:  Simplify (/ 3 1) into 3
1548148137.503 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.503 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148137.503 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
1548148137.503 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.504 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148137.504 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.504 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.504 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148137.505 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.505 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.505 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148137.506 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.506 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.506 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1548148137.507 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.507 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.507 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1548148137.508 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.508 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.508 * [misc]backup-simplify:  Simplify (* 3 (pow (/ 1 (/ 1 (- v))) 2)) into (* 3 (pow v 2))
1548148137.508 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 1 2 1)
1548148137.508 * [misc]backup-simplify:  Simplify (* 3 (* v v)) into (* 3 (pow v 2))
1548148137.508 * [misc]approximate:  Taking taylor expansion of (* 3 (pow v 2)) in (v) around 0
1548148137.508 * [misc]taylor:  Taking taylor expansion of (* 3 (pow v 2)) in v
1548148137.508 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.509 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.509 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.509 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.509 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.509 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.509 * [misc]taylor:  Taking taylor expansion of (* 3 (pow v 2)) in v
1548148137.509 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.509 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.509 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.509 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.509 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.509 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.509 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148137.509 * [misc]backup-simplify:  Simplify (* 3 1) into 3
1548148137.509 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.509 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148137.510 * [misc]backup-simplify:  Simplify (+ (* 3 0) (* 0 1)) into 0
1548148137.510 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.510 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148137.510 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
1548148137.510 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.511 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148137.511 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148137.511 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.512 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148137.512 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148137.512 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.513 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1548148137.513 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1548148137.513 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.514 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1548148137.514 * [misc]backup-simplify:  Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1548148137.514 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.514 * [misc]backup-simplify:  Simplify (* 3 (pow v 2)) into (* 3 (pow v 2))
1548148137.514 * [misc]backup-simplify:  Simplify (* 3 (* (/ 1 v) (/ 1 v))) into (/ 3 (pow v 2))
1548148137.514 * [misc]approximate:  Taking taylor expansion of (/ 3 (pow v 2)) in (v) around 0
1548148137.514 * [misc]taylor:  Taking taylor expansion of (/ 3 (pow v 2)) in v
1548148137.514 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.515 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.515 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.515 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.515 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.515 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.515 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148137.515 * [misc]backup-simplify:  Simplify (/ 3 1) into 3
1548148137.515 * [misc]taylor:  Taking taylor expansion of (/ 3 (pow v 2)) in v
1548148137.515 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.515 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.515 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.515 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.515 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.515 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.515 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148137.515 * [misc]backup-simplify:  Simplify (/ 3 1) into 3
1548148137.516 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.516 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148137.516 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
1548148137.516 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.516 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148137.517 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.517 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.517 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148137.517 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.517 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.518 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148137.518 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.518 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.519 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1548148137.519 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.519 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.520 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1548148137.520 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.520 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.520 * [misc]backup-simplify:  Simplify (* 3 (pow (/ 1 (/ 1 v)) 2)) into (* 3 (pow v 2))
1548148137.521 * [misc]backup-simplify:  Simplify (* 3 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 3 (pow v 2))
1548148137.521 * [misc]approximate:  Taking taylor expansion of (/ 3 (pow v 2)) in (v) around 0
1548148137.521 * [misc]taylor:  Taking taylor expansion of (/ 3 (pow v 2)) in v
1548148137.521 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.521 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.521 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.521 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.521 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.521 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.521 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148137.521 * [misc]backup-simplify:  Simplify (/ 3 1) into 3
1548148137.521 * [misc]taylor:  Taking taylor expansion of (/ 3 (pow v 2)) in v
1548148137.521 * [misc]taylor:  Taking taylor expansion of 3 in v
1548148137.521 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.521 * [misc]taylor:  Taking taylor expansion of (pow v 2) in v
1548148137.521 * [misc]taylor:  Taking taylor expansion of v in v
1548148137.521 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.521 * [misc]backup-simplify:  Simplify 1 into 1
1548148137.521 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548148137.521 * [misc]backup-simplify:  Simplify (/ 3 1) into 3
1548148137.521 * [misc]backup-simplify:  Simplify 3 into 3
1548148137.521 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548148137.522 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
1548148137.522 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.522 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548148137.522 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.522 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.522 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1548148137.522 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.522 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.523 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1548148137.523 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.523 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.523 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1548148137.523 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.523 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.524 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1548148137.524 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548148137.524 * [misc]backup-simplify:  Simplify 0 into 0
1548148137.524 * [misc]backup-simplify:  Simplify (* 3 (pow (/ 1 (/ 1 (- v))) 2)) into (* 3 (pow v 2))
1548148137.524 * * * [misc]progress:  simplifying candidates
1548148137.524 * * * * [misc]progress:  [ 1 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (pow (* 3 (* v v)) 1))))))))>
1548148137.524 * * * * [misc]progress:  [ 2 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (exp (log (* 3 (* v v)))))))))))>
1548148137.524 * * * * [misc]progress:  [ 3 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (log (exp (* 3 (* v v)))))))))))>
1548148137.524 * * * * [misc]progress:  [ 4 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* (* (cbrt (* 3 (* v v))) (cbrt (* 3 (* v v)))) (cbrt (* 3 (* v v)))))))))))>
1548148137.524 * * * * [misc]progress:  [ 5 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (cbrt (* (* (* 3 (* v v)) (* 3 (* v v))) (* 3 (* v v)))))))))))>
1548148137.525 * * * * [misc]progress:  [ 6 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* (sqrt (* 3 (* v v))) (sqrt (* 3 (* v v)))))))))))>
1548148137.525 * * * * [misc]progress:  [ 7 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 1 (* 3 (* v v))))))))))>
1548148137.525 * * * * [misc]progress:  [ 8 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* (* 3 v) v))))))))>
1548148137.525 * * * * [misc]progress:  [ 9 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* (* v v) 3))))))))>
1548148137.525 * * * * [misc]progress:  [ 10 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (pow (* 3 (* v v)) 1)) (* 1 (* 3 (* v v)))))))))>
1548148137.525 * * * * [misc]progress:  [ 11 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (exp (log (* 3 (* v v))))) (* 1 (* 3 (* v v)))))))))>
1548148137.525 * * * * [misc]progress:  [ 12 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (log (exp (* 3 (* v v))))) (* 1 (* 3 (* v v)))))))))>
1548148137.525 * * * * [misc]progress:  [ 13 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* (* (cbrt (* 3 (* v v))) (cbrt (* 3 (* v v)))) (cbrt (* 3 (* v v))))) (* 1 (* 3 (* v v)))))))))>
1548148137.525 * * * * [misc]progress:  [ 14 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (cbrt (* (* (* 3 (* v v)) (* 3 (* v v))) (* 3 (* v v))))) (* 1 (* 3 (* v v)))))))))>
1548148137.525 * * * * [misc]progress:  [ 15 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* (sqrt (* 3 (* v v))) (sqrt (* 3 (* v v))))) (* 1 (* 3 (* v v)))))))))>
1548148137.525 * * * * [misc]progress:  [ 16 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 1 (* 3 (* v v)))) (* 1 (* 3 (* v v)))))))))>
1548148137.525 * * * * [misc]progress:  [ 17 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* (* 3 v) v)) (* 1 (* 3 (* v v)))))))))>
1548148137.525 * * * * [misc]progress:  [ 18 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* (* v v) 3)) (* 1 (* 3 (* v v)))))))))>
1548148137.525 * * * * [misc]progress:  [ 19 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (pow (* 3 (* v v)) 1) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.525 * * * * [misc]progress:  [ 20 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (exp (log (* 3 (* v v)))) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.525 * * * * [misc]progress:  [ 21 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (log (exp (* 3 (* v v)))) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.525 * * * * [misc]progress:  [ 22 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* (* (cbrt (* 3 (* v v))) (cbrt (* 3 (* v v)))) (cbrt (* 3 (* v v)))) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.525 * * * * [misc]progress:  [ 23 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (cbrt (* (* (* 3 (* v v)) (* 3 (* v v))) (* 3 (* v v)))) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.525 * * * * [misc]progress:  [ 24 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* (sqrt (* 3 (* v v))) (sqrt (* 3 (* v v)))) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.525 * * * * [misc]progress:  [ 25 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 1 (* 3 (* v v))) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.525 * * * * [misc]progress:  [ 26 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* (* 3 v) v) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.525 * * * * [misc]progress:  [ 27 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* (* v v) 3) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.525 * * * * [misc]progress:  [ 28 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (pow (* 3 (* v v)) 1) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.526 * * * * [misc]progress:  [ 29 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (exp (log (* 3 (* v v)))) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.526 * * * * [misc]progress:  [ 30 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (log (exp (* 3 (* v v)))) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.526 * * * * [misc]progress:  [ 31 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* (* (cbrt (* 3 (* v v))) (cbrt (* 3 (* v v)))) (cbrt (* 3 (* v v)))) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.526 * * * * [misc]progress:  [ 32 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (cbrt (* (* (* 3 (* v v)) (* 3 (* v v))) (* 3 (* v v)))) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.526 * * * * [misc]progress:  [ 33 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* (sqrt (* 3 (* v v))) (sqrt (* 3 (* v v)))) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.526 * * * * [misc]progress:  [ 34 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 1 (* 3 (* v v))) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.526 * * * * [misc]progress:  [ 35 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* (* 3 v) v) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.526 * * * * [misc]progress:  [ 36 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* (* v v) 3) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.526 * * * * [misc]progress:  [ 37 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (pow v 2)))))))))>
1548148137.526 * [enter]simplify:  Simplifying (* 3 (pow v 2))
1548148137.526 * * [misc]simplify:  iters left: 3 (5 enodes)
1548148137.527 * * [misc]simplify:  iters left: 2 (7 enodes)
1548148137.528 * * [misc]simplify:  iters left: 1 (11 enodes)
1548148137.529 * [exit]simplify:  Simplified to (* (* v v) 3)
1548148137.529 * [misc]simplify:  Simplified (2 2 2 1 2 2 2) to (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* (* v v) 3))))))))
1548148137.529 * * * * [misc]progress:  [ 38 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (pow v 2)))))))))>
1548148137.530 * [enter]simplify:  Simplifying (* 3 (pow v 2))
1548148137.530 * * [misc]simplify:  iters left: 3 (5 enodes)
1548148137.530 * * [misc]simplify:  iters left: 2 (7 enodes)
1548148137.531 * * [misc]simplify:  iters left: 1 (11 enodes)
1548148137.533 * [exit]simplify:  Simplified to (* (* v v) 3)
1548148137.533 * [misc]simplify:  Simplified (2 2 2 1 2 2 2) to (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* (* v v) 3))))))))
1548148137.533 * * * * [misc]progress:  [ 39 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (pow v 2)))))))))>
1548148137.533 * [enter]simplify:  Simplifying (* 3 (pow v 2))
1548148137.533 * * [misc]simplify:  iters left: 3 (5 enodes)
1548148137.534 * * [misc]simplify:  iters left: 2 (7 enodes)
1548148137.535 * * [misc]simplify:  iters left: 1 (11 enodes)
1548148137.537 * [exit]simplify:  Simplified to (* (* v v) 3)
1548148137.537 * [misc]simplify:  Simplified (2 2 2 1 2 2 2) to (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* (* v v) 3))))))))
1548148137.537 * * * * [misc]progress:  [ 40 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (pow v 2))) (* 1 (* 3 (* v v)))))))))>
1548148137.537 * [enter]simplify:  Simplifying (* 3 (pow v 2))
1548148137.537 * * [misc]simplify:  iters left: 3 (5 enodes)
1548148137.538 * * [misc]simplify:  iters left: 2 (7 enodes)
1548148137.539 * * [misc]simplify:  iters left: 1 (11 enodes)
1548148137.541 * [exit]simplify:  Simplified to (* (* v v) 3)
1548148137.541 * [misc]simplify:  Simplified (2 2 2 1 2 1 2) to (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* (* v v) 3)) (* 1 (* 3 (* v v)))))))))
1548148137.541 * * * * [misc]progress:  [ 41 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (pow v 2))) (* 1 (* 3 (* v v)))))))))>
1548148137.541 * [enter]simplify:  Simplifying (* 3 (pow v 2))
1548148137.541 * * [misc]simplify:  iters left: 3 (5 enodes)
1548148137.542 * * [misc]simplify:  iters left: 2 (7 enodes)
1548148137.543 * * [misc]simplify:  iters left: 1 (11 enodes)
1548148137.544 * [exit]simplify:  Simplified to (* (* v v) 3)
1548148137.544 * [misc]simplify:  Simplified (2 2 2 1 2 1 2) to (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* (* v v) 3)) (* 1 (* 3 (* v v)))))))))
1548148137.544 * * * * [misc]progress:  [ 42 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (pow v 2))) (* 1 (* 3 (* v v)))))))))>
1548148137.544 * [enter]simplify:  Simplifying (* 3 (pow v 2))
1548148137.545 * * [misc]simplify:  iters left: 3 (5 enodes)
1548148137.545 * * [misc]simplify:  iters left: 2 (7 enodes)
1548148137.546 * * [misc]simplify:  iters left: 1 (11 enodes)
1548148137.548 * [exit]simplify:  Simplified to (* (* v v) 3)
1548148137.548 * [misc]simplify:  Simplified (2 2 2 1 2 1 2) to (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* (* v v) 3)) (* 1 (* 3 (* v v)))))))))
1548148137.548 * * * * [misc]progress:  [ 43 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (pow v 2)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.548 * [enter]simplify:  Simplifying (* 3 (pow v 2))
1548148137.548 * * [misc]simplify:  iters left: 3 (5 enodes)
1548148137.549 * * [misc]simplify:  iters left: 2 (7 enodes)
1548148137.550 * * [misc]simplify:  iters left: 1 (11 enodes)
1548148137.551 * [exit]simplify:  Simplified to (* (* v v) 3)
1548148137.551 * [misc]simplify:  Simplified (2 2 2 1 2 1 1) to (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* (* v v) 3) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))
1548148137.551 * * * * [misc]progress:  [ 44 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (pow v 2)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.551 * [enter]simplify:  Simplifying (* 3 (pow v 2))
1548148137.551 * * [misc]simplify:  iters left: 3 (5 enodes)
1548148137.552 * * [misc]simplify:  iters left: 2 (7 enodes)
1548148137.554 * * [misc]simplify:  iters left: 1 (11 enodes)
1548148137.557 * [exit]simplify:  Simplified to (* (* v v) 3)
1548148137.557 * [misc]simplify:  Simplified (2 2 2 1 2 1 1) to (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* (* v v) 3) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))
1548148137.557 * * * * [misc]progress:  [ 45 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (pow v 2)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.557 * [enter]simplify:  Simplifying (* 3 (pow v 2))
1548148137.558 * * [misc]simplify:  iters left: 3 (5 enodes)
1548148137.559 * * [misc]simplify:  iters left: 2 (7 enodes)
1548148137.561 * * [misc]simplify:  iters left: 1 (11 enodes)
1548148137.564 * [exit]simplify:  Simplified to (* (* v v) 3)
1548148137.564 * [misc]simplify:  Simplified (2 2 2 1 2 1 1) to (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* (* v v) 3) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))
1548148137.564 * * * * [misc]progress:  [ 46 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (pow v 2)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.564 * [enter]simplify:  Simplifying (* 3 (pow v 2))
1548148137.564 * * [misc]simplify:  iters left: 3 (5 enodes)
1548148137.566 * * [misc]simplify:  iters left: 2 (7 enodes)
1548148137.567 * * [misc]simplify:  iters left: 1 (11 enodes)
1548148137.570 * [exit]simplify:  Simplified to (* (* v v) 3)
1548148137.570 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* (* v v) 3) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))
1548148137.571 * * * * [misc]progress:  [ 47 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (pow v 2)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.571 * [enter]simplify:  Simplifying (* 3 (pow v 2))
1548148137.571 * * [misc]simplify:  iters left: 3 (5 enodes)
1548148137.573 * * [misc]simplify:  iters left: 2 (7 enodes)
1548148137.575 * * [misc]simplify:  iters left: 1 (11 enodes)
1548148137.578 * [exit]simplify:  Simplified to (* (* v v) 3)
1548148137.578 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* (* v v) 3) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))
1548148137.578 * * * * [misc]progress:  [ 48 / 48 ] simplifiying candidate #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (pow v 2)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>
1548148137.578 * [enter]simplify:  Simplifying (* 3 (pow v 2))
1548148137.578 * * [misc]simplify:  iters left: 3 (5 enodes)
1548148137.580 * * [misc]simplify:  iters left: 2 (7 enodes)
1548148137.582 * * [misc]simplify:  iters left: 1 (11 enodes)
1548148137.585 * [exit]simplify:  Simplified to (* (* v v) 3)
1548148137.585 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* (* v v) 3) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))
1548148137.585 * * * [misc]progress:  adding candidates to table
1548148138.347 * [misc]progress:  [Phase 3 of 3] Extracting.
1548148138.347 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))))> #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>)
1548148138.348 * * * [misc]regime-changes:  Trying 3 branch expressions: (v (* v v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))))
1548148138.348 * * * * [misc]regimes:  Trying to branch on v from (#<alt (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))))> #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>)
1548148138.381 * * * * [misc]regimes:  Trying to branch on (* v v) from (#<alt (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))))> #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>)
1548148138.398 * * * * [misc]regimes:  Trying to branch on (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))) from (#<alt (λ (v) (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))))> #<alt (λ (v) (/ (* (* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))) (- 1 (* v v))) (* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))))>)
1548148138.432 * * * [misc]regime:  Found split indices: #<option (#s(si 0 255))>
1548148138.433 * [enter]simplify:  Simplifying (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
1548148138.433 * * [misc]simplify:  iters left: 6 (14 enodes)
1548148138.434 * * [misc]simplify:  iters left: 5 (19 enodes)
1548148138.436 * [exit]simplify:  Simplified to (* (* (sqrt (- 1 (* (* v v) 3))) (/ (sqrt 2) 4)) (- 1 (* v v)))
1548148141.850 * [misc]regime-testing:  Baseline error score: 0.01261717871028951
1548148141.851 * [misc]regime-testing:  Oracle error score: 0.009199270221367815
1548148141.853 * [misc]regime-testing:  End program error score: 0.01261717871028951