0.523 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.147 * * * [progress]: [2/2] Setting up program.
0.157 * [progress]: [Phase 2 of 3] Improving.
0.160 * [simplify]: Simplifying:
  (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)
0.161 * * [simplify]: Extracting # 0 : cost  0
0.162 * * [simplify]: Extracting # 1 : cost  0
0.162 * * [simplify]: Extracting # 2 : cost  0
0.162 * * [simplify]: Extracting # 3 : cost  0
0.162 * * [simplify]: Extracting # 4 : cost  0
0.162 * * [simplify]: Extracting # 5 : cost  0
0.162 * * [simplify]: Extracting # 6 : cost  0
0.162 * * [simplify]: Extracting # 7 : cost  0
0.162 * * [simplify]: Extracting # 8 : cost  0
0.163 * * [simplify]: Extracting # 9 : cost  0
0.163 * * [simplify]: iteration  0 :  18  enodes  (cost  19 )
0.235 * * [simplify]: Extracting # 0 : cost  0
0.236 * * [simplify]: Extracting # 1 : cost  0
0.236 * * [simplify]: Extracting # 2 : cost  0
0.236 * * [simplify]: Extracting # 3 : cost  0
0.236 * * [simplify]: Extracting # 4 : cost  0
0.236 * * [simplify]: Extracting # 5 : cost  0
0.236 * * [simplify]: iteration  1 :  35  enodes  (cost  18 )
0.251 * * [simplify]: Extracting # 0 : cost  0
0.251 * * [simplify]: Extracting # 1 : cost  0
0.251 * * [simplify]: Extracting # 2 : cost  0
0.251 * * [simplify]: Extracting # 3 : cost  0
0.251 * * [simplify]: iteration  2 :  72  enodes  (cost  18 )
0.284 * * [simplify]: Extracting # 0 : cost  0
0.285 * * [simplify]: Extracting # 1 : cost  0
0.285 * * [simplify]: Extracting # 2 : cost  0
0.285 * * [simplify]: Extracting # 3 : cost  0
0.286 * * [simplify]: Extracting # 4 : cost  0
0.286 * * [simplify]: iteration  3 :  156  enodes  (cost  18 )
0.413 * * [simplify]: Extracting # 0 : cost  0
0.414 * * [simplify]: Extracting # 1 : cost  0
0.415 * * [simplify]: Extracting # 2 : cost  0
0.416 * * [simplify]: Extracting # 3 : cost  0
0.417 * * [simplify]: Extracting # 4 : cost  0
0.418 * * [simplify]: iteration  4 :  450  enodes  (cost  18 )
0.978 * * [simplify]: Extracting # 0 : cost  0
0.982 * * [simplify]: Extracting # 1 : cost  0
0.985 * * [simplify]: Extracting # 2 : cost  0
0.988 * * [simplify]: Extracting # 3 : cost  0
0.990 * * [simplify]: Extracting # 4 : cost  0
0.993 * * [simplify]: iteration  5 :  1407  enodes  (cost  18 )
4.564 * * [simplify]: Extracting # 0 : cost  0
4.583 * * [simplify]: Extracting # 1 : cost  0
4.592 * * [simplify]: Extracting # 2 : cost  0
4.597 * * [simplify]: Extracting # 3 : cost  0
4.606 * * [simplify]: Extracting # 4 : cost  0
4.611 * * [simplify]: iteration done:  5000  enodes  (cost  18 )
4.611 * [simplify]: Simplified to:
  (fma (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2)) 0.5)
4.618 * * [progress]: iteration 1 / 4
4.618 * * * [progress]: picking best candidate
4.621 * * * * [pick]: Picked  #<alt (λ (u1 u2) (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))>
4.621 * * * [progress]: localizing error
4.644 * * * [progress]: generating rewritten candidates
4.644 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
4.676 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
4.726 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
4.740 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
4.844 * * * [progress]: generating series expansions
4.844 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
4.852 * [backup-simplify]: Simplify (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) into (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))
4.852 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in (u1) around 0
4.854 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in u1
4.854 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
4.854 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
4.854 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u1
4.854 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u1
4.854 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u1
4.854 * [taylor]: Taking taylor expansion of 0.5 in u1
4.854 * [backup-simplify]: Simplify 0.5 into 0.5
4.854 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u1
4.854 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u1
4.854 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u1
4.854 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u1
4.854 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u1
4.854 * [taylor]: Taking taylor expansion of 1.0 in u1
4.854 * [backup-simplify]: Simplify 1.0 into 1.0
4.854 * [taylor]: Taking taylor expansion of (log (log u1)) in u1
4.854 * [taylor]: Taking taylor expansion of (log u1) in u1
4.854 * [taylor]: Taking taylor expansion of u1 in u1
4.854 * [backup-simplify]: Simplify 0 into 0
4.854 * [backup-simplify]: Simplify 1 into 1
4.855 * [backup-simplify]: Simplify (log 1) into 0
4.857 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.857 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.857 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
4.857 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
4.858 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
4.858 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
4.858 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
4.858 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
4.858 * [taylor]: Taking taylor expansion of 1.0 in u1
4.858 * [backup-simplify]: Simplify 1.0 into 1.0
4.858 * [taylor]: Taking taylor expansion of (log -2.0) in u1
4.858 * [taylor]: Taking taylor expansion of -2.0 in u1
4.858 * [backup-simplify]: Simplify -2.0 into -2.0
4.858 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
4.859 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
4.861 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
4.862 * [backup-simplify]: Simplify (* (pow (log u1) 1.0) (pow -2.0 1.0)) into (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)
4.863 * [backup-simplify]: Simplify (log (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)) into (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))
4.863 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))
4.864 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)
4.864 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in u1
4.864 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
4.864 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
4.864 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u1
4.865 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u1
4.865 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u1
4.865 * [taylor]: Taking taylor expansion of 0.5 in u1
4.865 * [backup-simplify]: Simplify 0.5 into 0.5
4.865 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u1
4.865 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u1
4.865 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u1
4.865 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u1
4.865 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u1
4.865 * [taylor]: Taking taylor expansion of 1.0 in u1
4.865 * [backup-simplify]: Simplify 1.0 into 1.0
4.865 * [taylor]: Taking taylor expansion of (log (log u1)) in u1
4.865 * [taylor]: Taking taylor expansion of (log u1) in u1
4.865 * [taylor]: Taking taylor expansion of u1 in u1
4.865 * [backup-simplify]: Simplify 0 into 0
4.865 * [backup-simplify]: Simplify 1 into 1
4.865 * [backup-simplify]: Simplify (log 1) into 0
4.866 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.866 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.866 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
4.866 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
4.867 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
4.867 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
4.867 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
4.867 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
4.867 * [taylor]: Taking taylor expansion of 1.0 in u1
4.867 * [backup-simplify]: Simplify 1.0 into 1.0
4.867 * [taylor]: Taking taylor expansion of (log -2.0) in u1
4.867 * [taylor]: Taking taylor expansion of -2.0 in u1
4.867 * [backup-simplify]: Simplify -2.0 into -2.0
4.867 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
4.868 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
4.870 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
4.871 * [backup-simplify]: Simplify (* (pow (log u1) 1.0) (pow -2.0 1.0)) into (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)
4.871 * [backup-simplify]: Simplify (log (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)) into (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))
4.872 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))
4.873 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)
4.875 * [backup-simplify]: Simplify (* 0.16666666666666666 (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)) into (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))
4.876 * [backup-simplify]: Simplify (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) into (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))
4.878 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2.0 1)))) 1) into 0
4.879 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log -2.0))) into 0
4.881 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 1) 1)))) into 0
4.883 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
4.883 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.885 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log u1) 1)))) 1) into 0
4.885 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (log u1)))) into 0
4.886 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 1) 1)))) into 0
4.887 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (* 0 (pow -2.0 1.0))) into 0
4.889 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1)))) 1) into 0
4.890 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0)))) into 0
4.892 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
4.894 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (* 0 (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5))) into 0
4.894 * [backup-simplify]: Simplify 0 into 0
4.899 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -2.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -2.0 1)))) 2) into 0
4.900 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log -2.0)))) into 0
4.902 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.903 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.906 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
4.907 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.909 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (log u1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (log u1) 1)))) 2) into 0
4.910 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log (log u1))))) into 0
4.911 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.912 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))) into 0
4.915 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1)))) 2) into 0
4.917 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))))) into 0
4.919 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.921 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)))) into 0
4.921 * [backup-simplify]: Simplify 0 into 0
4.928 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -2.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -2.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -2.0 1)))) 6) into 0
4.929 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))) into 0
4.932 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.933 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.933 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.939 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
4.939 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.943 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (log u1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (log u1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (log u1) 1)))) 6) into 0
4.944 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log u1)))))) into 0
4.946 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.947 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0))))) into 0
4.953 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1)))) 6) into 0
4.955 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0)))))) into 0
4.968 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.971 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5))))) into 0
4.971 * [backup-simplify]: Simplify 0 into 0
4.984 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -2.0 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -2.0 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -2.0 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -2.0 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -2.0 1)))) 24) into 0
4.986 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))) into 0
4.990 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.991 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.991 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.992 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.992 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.000 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
5.001 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.004 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (log u1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (log u1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (log u1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (log u1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (log u1) 1)))) 24) into 0
5.005 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log u1))))))) into 0
5.007 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.007 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))))) into 0
5.012 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1)))) 24) into 0
5.014 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))))))) into 0
5.016 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.017 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)))))) into 0
5.017 * [backup-simplify]: Simplify 0 into 0
5.035 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -2.0 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -2.0 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -2.0 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -2.0 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -2.0 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -2.0 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -2.0 1)))) 120) into 0
5.037 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))))) into 0
5.040 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.040 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.041 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.041 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.041 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.042 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.042 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.052 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
5.052 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.057 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (log u1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (log u1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (log u1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (log u1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (log u1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (log u1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (log u1) 1)))) 120) into 0
5.059 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log u1)))))))) into 0
5.061 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.062 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0))))))) into 0
5.069 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1)))) 120) into 0
5.071 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0)))))))) into 0
5.073 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.075 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5))))))) into 0
5.075 * [backup-simplify]: Simplify 0 into 0
5.101 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -2.0 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -2.0 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -2.0 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -2.0 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -2.0 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -2.0 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -2.0 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -2.0 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -2.0 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -2.0 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -2.0 1)))) 720) into 0
5.102 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))))) into 0
5.107 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.107 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.108 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.108 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.108 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.109 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.109 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.109 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.110 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.110 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.110 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.135 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
5.136 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.144 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (log u1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (log u1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (log u1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (log u1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (log u1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (log u1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (log u1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (log u1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (log u1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (log u1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (log u1) 1)))) 720) into 0
5.145 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log u1))))))))) into 0
5.149 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.150 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))))))) into 0
5.163 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1)))) 720) into 0
5.166 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))))))))) into 0
5.174 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.177 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)))))))) into 0
5.177 * [backup-simplify]: Simplify 0 into 0
5.178 * [backup-simplify]: Simplify (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) into (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))
5.179 * [backup-simplify]: Simplify (* (/ 1.0 6.0) (pow (* -2.0 (log (/ 1 u1))) 0.5)) into (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5))
5.179 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5)) in (u1) around 0
5.179 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5)) in u1
5.179 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
5.179 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
5.179 * [taylor]: Taking taylor expansion of (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5) in u1
5.179 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))))) in u1
5.179 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)))) in u1
5.179 * [taylor]: Taking taylor expansion of 0.5 in u1
5.179 * [backup-simplify]: Simplify 0.5 into 0.5
5.180 * [taylor]: Taking taylor expansion of (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) in u1
5.180 * [taylor]: Taking taylor expansion of (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) in u1
5.180 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
5.180 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
5.180 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
5.180 * [taylor]: Taking taylor expansion of 1.0 in u1
5.180 * [backup-simplify]: Simplify 1.0 into 1.0
5.180 * [taylor]: Taking taylor expansion of (log -2.0) in u1
5.180 * [taylor]: Taking taylor expansion of -2.0 in u1
5.180 * [backup-simplify]: Simplify -2.0 into -2.0
5.180 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
5.181 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
5.183 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
5.183 * [taylor]: Taking taylor expansion of (pow (log (/ 1 u1)) 1.0) in u1
5.183 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log (/ 1 u1))))) in u1
5.183 * [taylor]: Taking taylor expansion of (* 1.0 (log (log (/ 1 u1)))) in u1
5.183 * [taylor]: Taking taylor expansion of 1.0 in u1
5.183 * [backup-simplify]: Simplify 1.0 into 1.0
5.183 * [taylor]: Taking taylor expansion of (log (log (/ 1 u1))) in u1
5.183 * [taylor]: Taking taylor expansion of (log (/ 1 u1)) in u1
5.183 * [taylor]: Taking taylor expansion of (/ 1 u1) in u1
5.183 * [taylor]: Taking taylor expansion of u1 in u1
5.183 * [backup-simplify]: Simplify 0 into 0
5.183 * [backup-simplify]: Simplify 1 into 1
5.184 * [backup-simplify]: Simplify (/ 1 1) into 1
5.184 * [backup-simplify]: Simplify (log 1) into 0
5.185 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.186 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.186 * [backup-simplify]: Simplify (log (- (log u1))) into (log (- (log u1)))
5.186 * [backup-simplify]: Simplify (* 1.0 (log (- (log u1)))) into (* 1.0 (log (- (log u1))))
5.186 * [backup-simplify]: Simplify (exp (* 1.0 (log (- (log u1))))) into (pow (- (log u1)) 1.0)
5.187 * [backup-simplify]: Simplify (* (pow -2.0 1.0) (pow (- (log u1)) 1.0)) into (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0)
5.188 * [backup-simplify]: Simplify (log (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0)) into (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0))
5.190 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))
5.191 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5)
5.191 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5)) in u1
5.191 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
5.191 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
5.191 * [taylor]: Taking taylor expansion of (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5) in u1
5.191 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))))) in u1
5.191 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)))) in u1
5.191 * [taylor]: Taking taylor expansion of 0.5 in u1
5.191 * [backup-simplify]: Simplify 0.5 into 0.5
5.191 * [taylor]: Taking taylor expansion of (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) in u1
5.191 * [taylor]: Taking taylor expansion of (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) in u1
5.191 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
5.192 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
5.192 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
5.192 * [taylor]: Taking taylor expansion of 1.0 in u1
5.192 * [backup-simplify]: Simplify 1.0 into 1.0
5.192 * [taylor]: Taking taylor expansion of (log -2.0) in u1
5.192 * [taylor]: Taking taylor expansion of -2.0 in u1
5.192 * [backup-simplify]: Simplify -2.0 into -2.0
5.192 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
5.193 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
5.194 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
5.195 * [taylor]: Taking taylor expansion of (pow (log (/ 1 u1)) 1.0) in u1
5.195 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log (/ 1 u1))))) in u1
5.195 * [taylor]: Taking taylor expansion of (* 1.0 (log (log (/ 1 u1)))) in u1
5.195 * [taylor]: Taking taylor expansion of 1.0 in u1
5.195 * [backup-simplify]: Simplify 1.0 into 1.0
5.195 * [taylor]: Taking taylor expansion of (log (log (/ 1 u1))) in u1
5.195 * [taylor]: Taking taylor expansion of (log (/ 1 u1)) in u1
5.195 * [taylor]: Taking taylor expansion of (/ 1 u1) in u1
5.195 * [taylor]: Taking taylor expansion of u1 in u1
5.195 * [backup-simplify]: Simplify 0 into 0
5.195 * [backup-simplify]: Simplify 1 into 1
5.195 * [backup-simplify]: Simplify (/ 1 1) into 1
5.196 * [backup-simplify]: Simplify (log 1) into 0
5.196 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.196 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.197 * [backup-simplify]: Simplify (log (- (log u1))) into (log (- (log u1)))
5.197 * [backup-simplify]: Simplify (* 1.0 (log (- (log u1)))) into (* 1.0 (log (- (log u1))))
5.197 * [backup-simplify]: Simplify (exp (* 1.0 (log (- (log u1))))) into (pow (- (log u1)) 1.0)
5.198 * [backup-simplify]: Simplify (* (pow -2.0 1.0) (pow (- (log u1)) 1.0)) into (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0)
5.199 * [backup-simplify]: Simplify (log (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0)) into (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0))
5.210 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))
5.211 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5)
5.213 * [backup-simplify]: Simplify (* 0.16666666666666666 (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5)) into (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 0.5))
5.214 * [backup-simplify]: Simplify (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 0.5)) into (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 0.5))
5.215 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.217 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
5.217 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.218 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log u1)) 1)))) 1) into 0
5.218 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (- (log u1))))) into 0
5.219 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log u1))))) (+ (* (/ (pow 0 1) 1)))) into 0
5.221 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2.0 1)))) 1) into 0
5.221 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log -2.0))) into 0
5.223 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 1) 1)))) into 0
5.224 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (* 0 (pow (- (log u1)) 1.0))) into 0
5.226 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1)))) 1) into 0
5.227 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0)))) into 0
5.229 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
5.231 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (* 0 (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5))) into 0
5.231 * [backup-simplify]: Simplify 0 into 0
5.231 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.232 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.235 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
5.236 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.237 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (log u1)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (log u1)) 1)))) 2) into 0
5.238 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log (- (log u1)))))) into 0
5.240 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log u1))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.243 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -2.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -2.0 1)))) 2) into 0
5.244 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log -2.0)))) into 0
5.246 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.247 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (+ (* 0 0) (* 0 (pow (- (log u1)) 1.0)))) into 0
5.250 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1)))) 2) into 0
5.252 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0))))) into 0
5.255 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.257 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5)))) into 0
5.257 * [backup-simplify]: Simplify 0 into 0
5.258 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.258 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.265 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
5.265 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.269 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (log u1)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (log u1)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (log u1)) 1)))) 6) into 0
5.270 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log u1))))))) into 0
5.272 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log u1))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.278 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -2.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -2.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -2.0 1)))) 6) into 0
5.280 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))) into 0
5.283 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.285 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (- (log u1)) 1.0))))) into 0
5.292 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1)))) 6) into 0
5.295 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0)))))) into 0
5.298 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.301 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5))))) into 0
5.301 * [backup-simplify]: Simplify 0 into 0
5.302 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.302 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.303 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.303 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.316 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
5.317 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.322 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (- (log u1)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (- (log u1)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (- (log u1)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (- (log u1)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (- (log u1)) 1)))) 24) into 0
5.324 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log u1)))))))) into 0
5.327 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log u1))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.339 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -2.0 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -2.0 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -2.0 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -2.0 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -2.0 1)))) 24) into 0
5.341 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))) into 0
5.345 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.347 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (- (log u1)) 1.0)))))) into 0
5.359 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1)))) 24) into 0
5.370 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0))))))) into 0
5.372 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.374 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5)))))) into 0
5.374 * [backup-simplify]: Simplify 0 into 0
5.375 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.375 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.375 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.376 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.376 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.376 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.387 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
5.387 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.392 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (- (log u1)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (- (log u1)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (- (log u1)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (- (log u1)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log u1)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (- (log u1)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (- (log u1)) 1)))) 120) into 0
5.394 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log u1))))))))) into 0
5.396 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log u1))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.407 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -2.0 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -2.0 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -2.0 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -2.0 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -2.0 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -2.0 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -2.0 1)))) 120) into 0
5.409 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))))) into 0
5.412 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.414 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (- (log u1)) 1.0))))))) into 0
5.423 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1)))) 120) into 0
5.425 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0)))))))) into 0
5.428 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.430 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5))))))) into 0
5.430 * [backup-simplify]: Simplify 0 into 0
5.431 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.431 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.431 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.432 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.432 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.433 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.433 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.433 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.434 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.434 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.435 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.472 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
5.473 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.495 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (- (log u1)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (- (log u1)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (- (log u1)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (- (log u1)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (- (log u1)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log u1)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (- (log u1)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (- (log u1)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (- (log u1)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (- (log u1)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (- (log u1)) 1)))) 720) into 0
5.498 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log u1)))))))))) into 0
5.502 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log u1))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.520 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -2.0 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -2.0 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -2.0 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -2.0 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -2.0 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -2.0 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -2.0 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -2.0 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -2.0 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -2.0 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -2.0 1)))) 720) into 0
5.521 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))))) into 0
5.526 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.528 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (- (log u1)) 1.0)))))))) into 0
5.543 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1)))) 720) into 0
5.545 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0))))))))) into 0
5.549 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.551 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5)))))))) into 0
5.551 * [backup-simplify]: Simplify 0 into 0
5.552 * [backup-simplify]: Simplify (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow (log (/ 1 u1)) 1.0) (pow -2.0 1.0))) 0.5)) into (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5))
5.553 * [backup-simplify]: Simplify (* (/ 1.0 6.0) (pow (* -2.0 (log (/ 1 (- u1)))) 0.5)) into (* 0.16666666666666666 (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5))
5.553 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5)) in (u1) around 0
5.553 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5)) in u1
5.553 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
5.553 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
5.553 * [taylor]: Taking taylor expansion of (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5) in u1
5.553 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0))))) in u1
5.553 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)))) in u1
5.553 * [taylor]: Taking taylor expansion of 0.5 in u1
5.553 * [backup-simplify]: Simplify 0.5 into 0.5
5.553 * [taylor]: Taking taylor expansion of (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0))) in u1
5.553 * [taylor]: Taking taylor expansion of (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) in u1
5.553 * [taylor]: Taking taylor expansion of (pow (log (/ -1 u1)) 1.0) in u1
5.553 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log (/ -1 u1))))) in u1
5.553 * [taylor]: Taking taylor expansion of (* 1.0 (log (log (/ -1 u1)))) in u1
5.553 * [taylor]: Taking taylor expansion of 1.0 in u1
5.553 * [backup-simplify]: Simplify 1.0 into 1.0
5.553 * [taylor]: Taking taylor expansion of (log (log (/ -1 u1))) in u1
5.553 * [taylor]: Taking taylor expansion of (log (/ -1 u1)) in u1
5.553 * [taylor]: Taking taylor expansion of (/ -1 u1) in u1
5.553 * [taylor]: Taking taylor expansion of -1 in u1
5.553 * [backup-simplify]: Simplify -1 into -1
5.553 * [taylor]: Taking taylor expansion of u1 in u1
5.553 * [backup-simplify]: Simplify 0 into 0
5.553 * [backup-simplify]: Simplify 1 into 1
5.553 * [backup-simplify]: Simplify (/ -1 1) into -1
5.554 * [backup-simplify]: Simplify (log -1) into (log -1)
5.554 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.555 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.555 * [backup-simplify]: Simplify (log (- (log -1) (log u1))) into (log (- (log -1) (log u1)))
5.555 * [backup-simplify]: Simplify (* 1.0 (log (- (log -1) (log u1)))) into (* 1.0 (log (- (log -1) (log u1))))
5.556 * [backup-simplify]: Simplify (exp (* 1.0 (log (- (log -1) (log u1))))) into (pow (- (log -1) (log u1)) 1.0)
5.556 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
5.556 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
5.556 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
5.556 * [taylor]: Taking taylor expansion of 1.0 in u1
5.556 * [backup-simplify]: Simplify 1.0 into 1.0
5.556 * [taylor]: Taking taylor expansion of (log -2.0) in u1
5.556 * [taylor]: Taking taylor expansion of -2.0 in u1
5.556 * [backup-simplify]: Simplify -2.0 into -2.0
5.556 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
5.557 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
5.557 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
5.558 * [backup-simplify]: Simplify (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) into (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0)
5.559 * [backup-simplify]: Simplify (log (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0)) into (log (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0))
5.560 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1.0) 1.0)))
5.560 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)
5.560 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5)) in u1
5.560 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
5.561 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
5.561 * [taylor]: Taking taylor expansion of (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5) in u1
5.561 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0))))) in u1
5.561 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)))) in u1
5.561 * [taylor]: Taking taylor expansion of 0.5 in u1
5.561 * [backup-simplify]: Simplify 0.5 into 0.5
5.561 * [taylor]: Taking taylor expansion of (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0))) in u1
5.561 * [taylor]: Taking taylor expansion of (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) in u1
5.561 * [taylor]: Taking taylor expansion of (pow (log (/ -1 u1)) 1.0) in u1
5.561 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log (/ -1 u1))))) in u1
5.561 * [taylor]: Taking taylor expansion of (* 1.0 (log (log (/ -1 u1)))) in u1
5.561 * [taylor]: Taking taylor expansion of 1.0 in u1
5.561 * [backup-simplify]: Simplify 1.0 into 1.0
5.561 * [taylor]: Taking taylor expansion of (log (log (/ -1 u1))) in u1
5.561 * [taylor]: Taking taylor expansion of (log (/ -1 u1)) in u1
5.561 * [taylor]: Taking taylor expansion of (/ -1 u1) in u1
5.561 * [taylor]: Taking taylor expansion of -1 in u1
5.561 * [backup-simplify]: Simplify -1 into -1
5.561 * [taylor]: Taking taylor expansion of u1 in u1
5.561 * [backup-simplify]: Simplify 0 into 0
5.561 * [backup-simplify]: Simplify 1 into 1
5.561 * [backup-simplify]: Simplify (/ -1 1) into -1
5.561 * [backup-simplify]: Simplify (log -1) into (log -1)
5.562 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.562 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.563 * [backup-simplify]: Simplify (log (- (log -1) (log u1))) into (log (- (log -1) (log u1)))
5.563 * [backup-simplify]: Simplify (* 1.0 (log (- (log -1) (log u1)))) into (* 1.0 (log (- (log -1) (log u1))))
5.563 * [backup-simplify]: Simplify (exp (* 1.0 (log (- (log -1) (log u1))))) into (pow (- (log -1) (log u1)) 1.0)
5.563 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
5.563 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
5.563 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
5.563 * [taylor]: Taking taylor expansion of 1.0 in u1
5.563 * [backup-simplify]: Simplify 1.0 into 1.0
5.563 * [taylor]: Taking taylor expansion of (log -2.0) in u1
5.563 * [taylor]: Taking taylor expansion of -2.0 in u1
5.563 * [backup-simplify]: Simplify -2.0 into -2.0
5.564 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
5.564 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
5.565 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
5.566 * [backup-simplify]: Simplify (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) into (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0)
5.567 * [backup-simplify]: Simplify (log (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0)) into (log (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0))
5.567 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1.0) 1.0)))
5.568 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)
5.569 * [backup-simplify]: Simplify (* 0.16666666666666666 (pow (pow (pow (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)) into (* 0.16666666666666666 (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 0.5))
5.570 * [backup-simplify]: Simplify (* 0.16666666666666666 (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 0.5)) into (* 0.16666666666666666 (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 0.5))
5.571 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2.0 1)))) 1) into 0
5.572 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log -2.0))) into 0
5.573 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 1) 1)))) into 0
5.573 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.574 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
5.575 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.575 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log -1) (log u1)) 1)))) 1) into 0
5.576 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (- (log -1) (log u1))))) into 0
5.577 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log -1) (log u1))))) (+ (* (/ (pow 0 1) 1)))) into 0
5.577 * [backup-simplify]: Simplify (+ (* (pow (- (log -1) (log u1)) 1.0) 0) (* 0 (pow -2.0 1.0))) into 0
5.579 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1)))) 1) into 0
5.580 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0)))) into 0
5.581 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
5.588 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (* 0 (pow (pow (pow (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5))) into 0
5.588 * [backup-simplify]: Simplify 0 into 0
5.592 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -2.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -2.0 1)))) 2) into 0
5.593 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log -2.0)))) into 0
5.595 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.596 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.597 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.600 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
5.601 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.604 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (log -1) (log u1)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (log -1) (log u1)) 1)))) 2) into 0
5.605 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log (- (log -1) (log u1)))))) into 0
5.606 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log -1) (log u1))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.607 * [backup-simplify]: Simplify (+ (* (pow (- (log -1) (log u1)) 1.0) 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))) into 0
5.609 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1)))) 2) into 0
5.610 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0))))) into 0
5.612 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.613 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)))) into 0
5.613 * [backup-simplify]: Simplify 0 into 0
5.616 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -2.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -2.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -2.0 1)))) 6) into 0
5.617 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))) into 0
5.618 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.619 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.619 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.620 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.623 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0
5.623 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.626 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (log -1) (log u1)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (log -1) (log u1)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (log -1) (log u1)) 1)))) 6) into 0
5.627 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log -1) (log u1))))))) into 0
5.629 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log -1) (log u1))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.630 * [backup-simplify]: Simplify (+ (* (pow (- (log -1) (log u1)) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0))))) into 0
5.637 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1)))) 6) into 0
5.639 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0)))))) into 0
5.642 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.645 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5))))) into 0
5.645 * [backup-simplify]: Simplify 0 into 0
5.655 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -2.0 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -2.0 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -2.0 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -2.0 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -2.0 1)))) 24) into 0
5.656 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))) into 0
5.658 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.659 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.660 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.660 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.661 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.661 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.668 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into 0
5.668 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.673 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (- (log -1) (log u1)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (- (log -1) (log u1)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (- (log -1) (log u1)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (- (log -1) (log u1)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (- (log -1) (log u1)) 1)))) 24) into 0
5.674 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log -1) (log u1)))))))) into 0
5.676 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log -1) (log u1))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.677 * [backup-simplify]: Simplify (+ (* (pow (- (log -1) (log u1)) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))))) into 0
5.683 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1)))) 24) into 0
5.685 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0))))))) into 0
5.687 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.689 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)))))) into 0
5.689 * [backup-simplify]: Simplify 0 into 0
5.714 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -2.0 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -2.0 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -2.0 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -2.0 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -2.0 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -2.0 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -2.0 1)))) 120) into 0
5.716 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))))) into 0
5.721 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.722 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.723 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.724 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.725 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.726 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.726 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.727 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.746 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1 1)))) 120) into 0
5.747 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.759 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (- (log -1) (log u1)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (- (log -1) (log u1)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (- (log -1) (log u1)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (- (log -1) (log u1)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log -1) (log u1)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (- (log -1) (log u1)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (- (log -1) (log u1)) 1)))) 120) into 0
5.761 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log -1) (log u1))))))))) into 0
5.766 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log -1) (log u1))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.768 * [backup-simplify]: Simplify (+ (* (pow (- (log -1) (log u1)) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0))))))) into 0
5.785 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1)))) 120) into 0
5.789 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0)))))))) into 0
5.794 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.798 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5))))))) into 0
5.798 * [backup-simplify]: Simplify 0 into 0
5.834 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -2.0 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -2.0 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -2.0 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -2.0 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -2.0 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -2.0 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -2.0 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -2.0 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -2.0 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -2.0 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -2.0 1)))) 720) into 0
5.836 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))))) into 0
5.845 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.847 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.848 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.849 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.849 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.850 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.851 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.852 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.853 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.854 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.855 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.856 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.905 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -1 1)))) 720) into 0
5.906 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.923 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (- (log -1) (log u1)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (- (log -1) (log u1)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (- (log -1) (log u1)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (- (log -1) (log u1)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (- (log -1) (log u1)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log -1) (log u1)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (- (log -1) (log u1)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (- (log -1) (log u1)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (- (log -1) (log u1)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (- (log -1) (log u1)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (- (log -1) (log u1)) 1)))) 720) into 0
5.926 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log -1) (log u1)))))))))) into 0
5.933 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log -1) (log u1))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.935 * [backup-simplify]: Simplify (+ (* (pow (- (log -1) (log u1)) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))))))) into 0
5.960 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1)))) 720) into 0
5.963 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0))))))))) into 0
5.971 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.975 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)))))))) into 0
5.975 * [backup-simplify]: Simplify 0 into 0
5.977 * [backup-simplify]: Simplify (* 0.16666666666666666 (pow (* (pow (- (log -1) (log (/ 1 (- u1)))) 1.0) (pow -2.0 1.0)) 0.5)) into (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (- (log -1) (log (/ -1 u1))) 1.0)) 0.5))
5.977 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
5.977 * [backup-simplify]: Simplify (* (* 2.0 PI) u2) into (* 2.0 (* u2 PI))
5.977 * [approximate]: Taking taylor expansion of (* 2.0 (* u2 PI)) in (u2) around 0
5.977 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u2
5.977 * [taylor]: Taking taylor expansion of 2.0 in u2
5.977 * [backup-simplify]: Simplify 2.0 into 2.0
5.977 * [taylor]: Taking taylor expansion of (* u2 PI) in u2
5.977 * [taylor]: Taking taylor expansion of u2 in u2
5.978 * [backup-simplify]: Simplify 0 into 0
5.978 * [backup-simplify]: Simplify 1 into 1
5.978 * [taylor]: Taking taylor expansion of PI in u2
5.978 * [backup-simplify]: Simplify PI into PI
5.978 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u2
5.978 * [taylor]: Taking taylor expansion of 2.0 in u2
5.978 * [backup-simplify]: Simplify 2.0 into 2.0
5.978 * [taylor]: Taking taylor expansion of (* u2 PI) in u2
5.978 * [taylor]: Taking taylor expansion of u2 in u2
5.978 * [backup-simplify]: Simplify 0 into 0
5.978 * [backup-simplify]: Simplify 1 into 1
5.978 * [taylor]: Taking taylor expansion of PI in u2
5.978 * [backup-simplify]: Simplify PI into PI
5.978 * [backup-simplify]: Simplify (* 0 PI) into 0
5.979 * [backup-simplify]: Simplify (* 2.0 0) into 0
5.979 * [backup-simplify]: Simplify 0 into 0
5.980 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 PI)) into PI
5.982 * [backup-simplify]: Simplify (+ (* 2.0 PI) (* 0 0)) into (* 2.0 PI)
5.982 * [backup-simplify]: Simplify (* 2.0 PI) into (* 2.0 PI)
5.984 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 PI))) into 0
5.985 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 PI) (* 0 0))) into 0
5.985 * [backup-simplify]: Simplify 0 into 0
5.986 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI)))) into 0
5.987 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))) into 0
5.987 * [backup-simplify]: Simplify 0 into 0
5.989 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
5.990 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))) into 0
5.990 * [backup-simplify]: Simplify 0 into 0
5.991 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
5.993 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))) into 0
5.993 * [backup-simplify]: Simplify 0 into 0
5.995 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
5.996 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))))) into 0
5.996 * [backup-simplify]: Simplify 0 into 0
5.998 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))))) into 0
6.000 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))))) into 0
6.000 * [backup-simplify]: Simplify 0 into 0
6.001 * [backup-simplify]: Simplify (* (* 2.0 PI) u2) into (* 2.0 (* u2 PI))
6.001 * [backup-simplify]: Simplify (* (* 2.0 PI) (/ 1 u2)) into (* 2.0 (/ PI u2))
6.001 * [approximate]: Taking taylor expansion of (* 2.0 (/ PI u2)) in (u2) around 0
6.001 * [taylor]: Taking taylor expansion of (* 2.0 (/ PI u2)) in u2
6.001 * [taylor]: Taking taylor expansion of 2.0 in u2
6.001 * [backup-simplify]: Simplify 2.0 into 2.0
6.002 * [taylor]: Taking taylor expansion of (/ PI u2) in u2
6.002 * [taylor]: Taking taylor expansion of PI in u2
6.002 * [backup-simplify]: Simplify PI into PI
6.002 * [taylor]: Taking taylor expansion of u2 in u2
6.002 * [backup-simplify]: Simplify 0 into 0
6.002 * [backup-simplify]: Simplify 1 into 1
6.002 * [backup-simplify]: Simplify (/ PI 1) into PI
6.002 * [taylor]: Taking taylor expansion of (* 2.0 (/ PI u2)) in u2
6.002 * [taylor]: Taking taylor expansion of 2.0 in u2
6.002 * [backup-simplify]: Simplify 2.0 into 2.0
6.002 * [taylor]: Taking taylor expansion of (/ PI u2) in u2
6.002 * [taylor]: Taking taylor expansion of PI in u2
6.002 * [backup-simplify]: Simplify PI into PI
6.002 * [taylor]: Taking taylor expansion of u2 in u2
6.002 * [backup-simplify]: Simplify 0 into 0
6.002 * [backup-simplify]: Simplify 1 into 1
6.003 * [backup-simplify]: Simplify (/ PI 1) into PI
6.003 * [backup-simplify]: Simplify (* 2.0 PI) into (* 2.0 PI)
6.004 * [backup-simplify]: Simplify (* 2.0 PI) into (* 2.0 PI)
6.005 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)))) into 0
6.006 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 PI)) into 0
6.006 * [backup-simplify]: Simplify 0 into 0
6.007 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.008 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 PI))) into 0
6.008 * [backup-simplify]: Simplify 0 into 0
6.009 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.010 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
6.010 * [backup-simplify]: Simplify 0 into 0
6.012 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.013 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
6.013 * [backup-simplify]: Simplify 0 into 0
6.014 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.016 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
6.016 * [backup-simplify]: Simplify 0 into 0
6.017 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.019 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
6.019 * [backup-simplify]: Simplify 0 into 0
6.019 * [backup-simplify]: Simplify (* (* 2.0 PI) (/ 1 (/ 1 u2))) into (* 2.0 (* u2 PI))
6.020 * [backup-simplify]: Simplify (* (* 2.0 PI) (/ 1 (- u2))) into (* -2.0 (/ PI u2))
6.020 * [approximate]: Taking taylor expansion of (* -2.0 (/ PI u2)) in (u2) around 0
6.020 * [taylor]: Taking taylor expansion of (* -2.0 (/ PI u2)) in u2
6.020 * [taylor]: Taking taylor expansion of -2.0 in u2
6.020 * [backup-simplify]: Simplify -2.0 into -2.0
6.020 * [taylor]: Taking taylor expansion of (/ PI u2) in u2
6.020 * [taylor]: Taking taylor expansion of PI in u2
6.020 * [backup-simplify]: Simplify PI into PI
6.020 * [taylor]: Taking taylor expansion of u2 in u2
6.020 * [backup-simplify]: Simplify 0 into 0
6.020 * [backup-simplify]: Simplify 1 into 1
6.021 * [backup-simplify]: Simplify (/ PI 1) into PI
6.021 * [taylor]: Taking taylor expansion of (* -2.0 (/ PI u2)) in u2
6.021 * [taylor]: Taking taylor expansion of -2.0 in u2
6.021 * [backup-simplify]: Simplify -2.0 into -2.0
6.021 * [taylor]: Taking taylor expansion of (/ PI u2) in u2
6.021 * [taylor]: Taking taylor expansion of PI in u2
6.021 * [backup-simplify]: Simplify PI into PI
6.021 * [taylor]: Taking taylor expansion of u2 in u2
6.021 * [backup-simplify]: Simplify 0 into 0
6.021 * [backup-simplify]: Simplify 1 into 1
6.022 * [backup-simplify]: Simplify (/ PI 1) into PI
6.022 * [backup-simplify]: Simplify (* -2.0 PI) into (* -2.0 PI)
6.023 * [backup-simplify]: Simplify (* -2.0 PI) into (* -2.0 PI)
6.024 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)))) into 0
6.025 * [backup-simplify]: Simplify (+ (* -2.0 0) (* 0 PI)) into 0
6.025 * [backup-simplify]: Simplify 0 into 0
6.026 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.036 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (* 0 PI))) into 0
6.036 * [backup-simplify]: Simplify 0 into 0
6.039 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.040 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
6.040 * [backup-simplify]: Simplify 0 into 0
6.041 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.042 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
6.043 * [backup-simplify]: Simplify 0 into 0
6.044 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.045 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
6.045 * [backup-simplify]: Simplify 0 into 0
6.046 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.048 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
6.048 * [backup-simplify]: Simplify 0 into 0
6.049 * [backup-simplify]: Simplify (* (* -2.0 PI) (/ 1 (/ 1 (- u2)))) into (* 2.0 (* u2 PI))
6.049 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
6.049 * [backup-simplify]: Simplify (pow (* -2.0 (log u1)) 0.5) into (pow (* -2.0 (log u1)) 0.5)
6.049 * [approximate]: Taking taylor expansion of (pow (* -2.0 (log u1)) 0.5) in (u1) around 0
6.049 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log u1)) 0.5) in u1
6.049 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log u1))))) in u1
6.050 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log u1)))) in u1
6.050 * [taylor]: Taking taylor expansion of 0.5 in u1
6.050 * [backup-simplify]: Simplify 0.5 into 0.5
6.050 * [taylor]: Taking taylor expansion of (log (* -2.0 (log u1))) in u1
6.050 * [taylor]: Taking taylor expansion of (* -2.0 (log u1)) in u1
6.050 * [taylor]: Taking taylor expansion of -2.0 in u1
6.050 * [backup-simplify]: Simplify -2.0 into -2.0
6.050 * [taylor]: Taking taylor expansion of (log u1) in u1
6.050 * [taylor]: Taking taylor expansion of u1 in u1
6.050 * [backup-simplify]: Simplify 0 into 0
6.050 * [backup-simplify]: Simplify 1 into 1
6.050 * [backup-simplify]: Simplify (log 1) into 0
6.051 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.051 * [backup-simplify]: Simplify (* -2.0 (log u1)) into (* -2.0 (log u1))
6.051 * [backup-simplify]: Simplify (log (* -2.0 (log u1))) into (log (* -2.0 (log u1)))
6.051 * [backup-simplify]: Simplify (* 0.5 (log (* -2.0 (log u1)))) into (* 0.5 (log (* -2.0 (log u1))))
6.051 * [backup-simplify]: Simplify (exp (* 0.5 (log (* -2.0 (log u1))))) into (pow (* -2.0 (log u1)) 0.5)
6.051 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log u1)) 0.5) in u1
6.051 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log u1))))) in u1
6.051 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log u1)))) in u1
6.051 * [taylor]: Taking taylor expansion of 0.5 in u1
6.051 * [backup-simplify]: Simplify 0.5 into 0.5
6.051 * [taylor]: Taking taylor expansion of (log (* -2.0 (log u1))) in u1
6.051 * [taylor]: Taking taylor expansion of (* -2.0 (log u1)) in u1
6.051 * [taylor]: Taking taylor expansion of -2.0 in u1
6.051 * [backup-simplify]: Simplify -2.0 into -2.0
6.051 * [taylor]: Taking taylor expansion of (log u1) in u1
6.051 * [taylor]: Taking taylor expansion of u1 in u1
6.051 * [backup-simplify]: Simplify 0 into 0
6.052 * [backup-simplify]: Simplify 1 into 1
6.052 * [backup-simplify]: Simplify (log 1) into 0
6.052 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.052 * [backup-simplify]: Simplify (* -2.0 (log u1)) into (* -2.0 (log u1))
6.053 * [backup-simplify]: Simplify (log (* -2.0 (log u1))) into (log (* -2.0 (log u1)))
6.053 * [backup-simplify]: Simplify (* 0.5 (log (* -2.0 (log u1)))) into (* 0.5 (log (* -2.0 (log u1))))
6.053 * [backup-simplify]: Simplify (exp (* 0.5 (log (* -2.0 (log u1))))) into (pow (* -2.0 (log u1)) 0.5)
6.053 * [backup-simplify]: Simplify (pow (* -2.0 (log u1)) 0.5) into (pow (* -2.0 (log u1)) 0.5)
6.055 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
6.055 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.056 * [backup-simplify]: Simplify (+ (* -2.0 0) (* 0 (log u1))) into 0
6.056 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (* -2.0 (log u1)) 1)))) 1) into 0
6.057 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (* -2.0 (log u1))))) into 0
6.058 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (log u1))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.058 * [backup-simplify]: Simplify 0 into 0
6.061 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
6.061 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.062 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (* 0 (log u1)))) into 0
6.064 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (* -2.0 (log u1)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (* -2.0 (log u1)) 1)))) 2) into 0
6.065 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (* -2.0 (log u1)))))) into 0
6.067 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (log u1))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.067 * [backup-simplify]: Simplify 0 into 0
6.073 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
6.073 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.075 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log u1))))) into 0
6.078 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (* -2.0 (log u1)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (* -2.0 (log u1)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (* -2.0 (log u1)) 1)))) 6) into 0
6.079 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (log u1))))))) into 0
6.081 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (log u1))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.081 * [backup-simplify]: Simplify 0 into 0
6.093 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
6.094 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.095 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log u1)))))) into 0
6.101 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (* -2.0 (log u1)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (* -2.0 (log u1)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (* -2.0 (log u1)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (* -2.0 (log u1)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (* -2.0 (log u1)) 1)))) 24) into 0
6.103 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (log u1)))))))) into 0
6.106 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (log u1))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.106 * [backup-simplify]: Simplify 0 into 0
6.117 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
6.118 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.119 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log u1))))))) into 0
6.124 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (* -2.0 (log u1)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (* -2.0 (log u1)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (* -2.0 (log u1)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (* -2.0 (log u1)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (* -2.0 (log u1)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (* -2.0 (log u1)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (* -2.0 (log u1)) 1)))) 120) into 0
6.125 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (log u1))))))))) into 0
6.127 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (log u1))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.127 * [backup-simplify]: Simplify 0 into 0
6.151 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
6.152 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.153 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log u1)))))))) into 0
6.161 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (* -2.0 (log u1)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (* -2.0 (log u1)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (* -2.0 (log u1)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (* -2.0 (log u1)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (* -2.0 (log u1)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (* -2.0 (log u1)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (* -2.0 (log u1)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (* -2.0 (log u1)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (* -2.0 (log u1)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (* -2.0 (log u1)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (* -2.0 (log u1)) 1)))) 720) into 0
6.169 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (log u1)))))))))) into 0
6.172 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (log u1))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.172 * [backup-simplify]: Simplify 0 into 0
6.173 * [backup-simplify]: Simplify (pow (* -2.0 (log u1)) 0.5) into (pow (* -2.0 (log u1)) 0.5)
6.173 * [backup-simplify]: Simplify (pow (* -2.0 (log (/ 1 u1))) 0.5) into (pow (* -2.0 (log (/ 1 u1))) 0.5)
6.173 * [approximate]: Taking taylor expansion of (pow (* -2.0 (log (/ 1 u1))) 0.5) in (u1) around 0
6.173 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log (/ 1 u1))) 0.5) in u1
6.173 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log (/ 1 u1)))))) in u1
6.173 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log (/ 1 u1))))) in u1
6.173 * [taylor]: Taking taylor expansion of 0.5 in u1
6.173 * [backup-simplify]: Simplify 0.5 into 0.5
6.173 * [taylor]: Taking taylor expansion of (log (* -2.0 (log (/ 1 u1)))) in u1
6.173 * [taylor]: Taking taylor expansion of (* -2.0 (log (/ 1 u1))) in u1
6.173 * [taylor]: Taking taylor expansion of -2.0 in u1
6.173 * [backup-simplify]: Simplify -2.0 into -2.0
6.173 * [taylor]: Taking taylor expansion of (log (/ 1 u1)) in u1
6.173 * [taylor]: Taking taylor expansion of (/ 1 u1) in u1
6.173 * [taylor]: Taking taylor expansion of u1 in u1
6.173 * [backup-simplify]: Simplify 0 into 0
6.173 * [backup-simplify]: Simplify 1 into 1
6.173 * [backup-simplify]: Simplify (/ 1 1) into 1
6.174 * [backup-simplify]: Simplify (log 1) into 0
6.174 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
6.174 * [backup-simplify]: Simplify (* -2.0 (- (log u1))) into (* 2.0 (log u1))
6.174 * [backup-simplify]: Simplify (log (* 2.0 (log u1))) into (log (* 2.0 (log u1)))
6.174 * [backup-simplify]: Simplify (* 0.5 (log (* 2.0 (log u1)))) into (* 0.5 (log (* 2.0 (log u1))))
6.174 * [backup-simplify]: Simplify (exp (* 0.5 (log (* 2.0 (log u1))))) into (pow (* 2.0 (log u1)) 0.5)
6.174 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log (/ 1 u1))) 0.5) in u1
6.174 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log (/ 1 u1)))))) in u1
6.174 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log (/ 1 u1))))) in u1
6.174 * [taylor]: Taking taylor expansion of 0.5 in u1
6.174 * [backup-simplify]: Simplify 0.5 into 0.5
6.174 * [taylor]: Taking taylor expansion of (log (* -2.0 (log (/ 1 u1)))) in u1
6.174 * [taylor]: Taking taylor expansion of (* -2.0 (log (/ 1 u1))) in u1
6.174 * [taylor]: Taking taylor expansion of -2.0 in u1
6.174 * [backup-simplify]: Simplify -2.0 into -2.0
6.174 * [taylor]: Taking taylor expansion of (log (/ 1 u1)) in u1
6.174 * [taylor]: Taking taylor expansion of (/ 1 u1) in u1
6.174 * [taylor]: Taking taylor expansion of u1 in u1
6.174 * [backup-simplify]: Simplify 0 into 0
6.174 * [backup-simplify]: Simplify 1 into 1
6.175 * [backup-simplify]: Simplify (/ 1 1) into 1
6.175 * [backup-simplify]: Simplify (log 1) into 0
6.175 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
6.175 * [backup-simplify]: Simplify (* -2.0 (- (log u1))) into (* 2.0 (log u1))
6.175 * [backup-simplify]: Simplify (log (* 2.0 (log u1))) into (log (* 2.0 (log u1)))
6.175 * [backup-simplify]: Simplify (* 0.5 (log (* 2.0 (log u1)))) into (* 0.5 (log (* 2.0 (log u1))))
6.175 * [backup-simplify]: Simplify (exp (* 0.5 (log (* 2.0 (log u1))))) into (pow (* 2.0 (log u1)) 0.5)
6.176 * [backup-simplify]: Simplify (pow (* 2.0 (log u1)) 0.5) into (pow (* 2.0 (log u1)) 0.5)
6.176 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.177 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
6.177 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
6.177 * [backup-simplify]: Simplify (+ (* -2.0 0) (* 0 (- (log u1)))) into 0
6.178 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (* 2.0 (log u1)) 1)))) 1) into 0
6.178 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (* 2.0 (log u1))))) into 0
6.179 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* 2.0 (log u1))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.179 * [backup-simplify]: Simplify 0 into 0
6.179 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.181 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
6.181 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
6.182 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (* 0 (- (log u1))))) into 0
6.183 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (* 2.0 (log u1)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (* 2.0 (log u1)) 1)))) 2) into 0
6.184 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (* 2.0 (log u1)))))) into 0
6.185 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* 2.0 (log u1))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.185 * [backup-simplify]: Simplify 0 into 0
6.187 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.192 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
6.193 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
6.194 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log u1)))))) into 0
6.198 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (* 2.0 (log u1)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (* 2.0 (log u1)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (* 2.0 (log u1)) 1)))) 6) into 0
6.200 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* 2.0 (log u1))))))) into 0
6.202 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* 2.0 (log u1))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.202 * [backup-simplify]: Simplify 0 into 0
6.203 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.214 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
6.215 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
6.217 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log u1))))))) into 0
6.222 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (* 2.0 (log u1)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (* 2.0 (log u1)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (* 2.0 (log u1)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (* 2.0 (log u1)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (* 2.0 (log u1)) 1)))) 24) into 0
6.223 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* 2.0 (log u1)))))))) into 0
6.226 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* 2.0 (log u1))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.226 * [backup-simplify]: Simplify 0 into 0
6.227 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.246 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
6.247 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
6.249 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log u1)))))))) into 0
6.257 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (* 2.0 (log u1)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (* 2.0 (log u1)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (* 2.0 (log u1)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (* 2.0 (log u1)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (* 2.0 (log u1)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (* 2.0 (log u1)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (* 2.0 (log u1)) 1)))) 120) into 0
6.260 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* 2.0 (log u1))))))))) into 0
6.264 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* 2.0 (log u1))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.264 * [backup-simplify]: Simplify 0 into 0
6.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.290 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
6.291 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
6.292 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log u1))))))))) into 0
6.306 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (* 2.0 (log u1)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (* 2.0 (log u1)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (* 2.0 (log u1)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (* 2.0 (log u1)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (* 2.0 (log u1)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (* 2.0 (log u1)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (* 2.0 (log u1)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (* 2.0 (log u1)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (* 2.0 (log u1)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (* 2.0 (log u1)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (* 2.0 (log u1)) 1)))) 720) into 0
6.308 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* 2.0 (log u1)))))))))) into 0
6.311 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* 2.0 (log u1))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.311 * [backup-simplify]: Simplify 0 into 0
6.312 * [backup-simplify]: Simplify (pow (* 2.0 (log (/ 1 u1))) 0.5) into (pow (* 2.0 (log (/ 1 u1))) 0.5)
6.312 * [backup-simplify]: Simplify (pow (* -2.0 (log (/ 1 (- u1)))) 0.5) into (pow (* -2.0 (log (/ -1 u1))) 0.5)
6.312 * [approximate]: Taking taylor expansion of (pow (* -2.0 (log (/ -1 u1))) 0.5) in (u1) around 0
6.312 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log (/ -1 u1))) 0.5) in u1
6.312 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log (/ -1 u1)))))) in u1
6.312 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log (/ -1 u1))))) in u1
6.312 * [taylor]: Taking taylor expansion of 0.5 in u1
6.312 * [backup-simplify]: Simplify 0.5 into 0.5
6.312 * [taylor]: Taking taylor expansion of (log (* -2.0 (log (/ -1 u1)))) in u1
6.312 * [taylor]: Taking taylor expansion of (* -2.0 (log (/ -1 u1))) in u1
6.312 * [taylor]: Taking taylor expansion of -2.0 in u1
6.312 * [backup-simplify]: Simplify -2.0 into -2.0
6.312 * [taylor]: Taking taylor expansion of (log (/ -1 u1)) in u1
6.312 * [taylor]: Taking taylor expansion of (/ -1 u1) in u1
6.312 * [taylor]: Taking taylor expansion of -1 in u1
6.312 * [backup-simplify]: Simplify -1 into -1
6.312 * [taylor]: Taking taylor expansion of u1 in u1
6.312 * [backup-simplify]: Simplify 0 into 0
6.312 * [backup-simplify]: Simplify 1 into 1
6.312 * [backup-simplify]: Simplify (/ -1 1) into -1
6.313 * [backup-simplify]: Simplify (log -1) into (log -1)
6.313 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
6.314 * [backup-simplify]: Simplify (* -2.0 (- (log -1) (log u1))) into (* -2.0 (- (log -1) (log u1)))
6.314 * [backup-simplify]: Simplify (log (* -2.0 (- (log -1) (log u1)))) into (log (* -2.0 (- (log -1) (log u1))))
6.314 * [backup-simplify]: Simplify (* 0.5 (log (* -2.0 (- (log -1) (log u1))))) into (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))
6.315 * [backup-simplify]: Simplify (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) into (pow (* -2.0 (- (log -1) (log u1))) 0.5)
6.315 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log (/ -1 u1))) 0.5) in u1
6.315 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log (/ -1 u1)))))) in u1
6.315 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log (/ -1 u1))))) in u1
6.315 * [taylor]: Taking taylor expansion of 0.5 in u1
6.315 * [backup-simplify]: Simplify 0.5 into 0.5
6.315 * [taylor]: Taking taylor expansion of (log (* -2.0 (log (/ -1 u1)))) in u1
6.315 * [taylor]: Taking taylor expansion of (* -2.0 (log (/ -1 u1))) in u1
6.315 * [taylor]: Taking taylor expansion of -2.0 in u1
6.315 * [backup-simplify]: Simplify -2.0 into -2.0
6.315 * [taylor]: Taking taylor expansion of (log (/ -1 u1)) in u1
6.315 * [taylor]: Taking taylor expansion of (/ -1 u1) in u1
6.315 * [taylor]: Taking taylor expansion of -1 in u1
6.315 * [backup-simplify]: Simplify -1 into -1
6.315 * [taylor]: Taking taylor expansion of u1 in u1
6.315 * [backup-simplify]: Simplify 0 into 0
6.315 * [backup-simplify]: Simplify 1 into 1
6.315 * [backup-simplify]: Simplify (/ -1 1) into -1
6.315 * [backup-simplify]: Simplify (log -1) into (log -1)
6.316 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
6.316 * [backup-simplify]: Simplify (* -2.0 (- (log -1) (log u1))) into (* -2.0 (- (log -1) (log u1)))
6.317 * [backup-simplify]: Simplify (log (* -2.0 (- (log -1) (log u1)))) into (log (* -2.0 (- (log -1) (log u1))))
6.317 * [backup-simplify]: Simplify (* 0.5 (log (* -2.0 (- (log -1) (log u1))))) into (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))
6.317 * [backup-simplify]: Simplify (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) into (pow (* -2.0 (- (log -1) (log u1))) 0.5)
6.318 * [backup-simplify]: Simplify (pow (* -2.0 (- (log -1) (log u1))) 0.5) into (pow (* -2.0 (- (log -1) (log u1))) 0.5)
6.318 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.319 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
6.320 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
6.320 * [backup-simplify]: Simplify (+ (* -2.0 0) (* 0 (- (log -1) (log u1)))) into 0
6.322 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 1)))) 1) into 0
6.323 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (* -2.0 (- (log -1) (log u1)))))) into 0
6.324 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.324 * [backup-simplify]: Simplify 0 into 0
6.326 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.329 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
6.330 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
6.331 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (* 0 (- (log -1) (log u1))))) into 0
6.334 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 1)))) 2) into 0
6.336 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (* -2.0 (- (log -1) (log u1))))))) into 0
6.338 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.338 * [backup-simplify]: Simplify 0 into 0
6.339 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.345 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0
6.346 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
6.348 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log u1)))))) into 0
6.352 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 1)))) 6) into 0
6.354 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (- (log -1) (log u1)))))))) into 0
6.356 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.356 * [backup-simplify]: Simplify 0 into 0
6.357 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.370 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into 0
6.371 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
6.373 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log u1))))))) into 0
6.380 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (* -2.0 (- (log -1) (log u1))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 1)))) 24) into 0
6.382 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (- (log -1) (log u1))))))))) into 0
6.386 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.386 * [backup-simplify]: Simplify 0 into 0
6.387 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.407 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1 1)))) 120) into 0
6.409 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
6.411 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log u1)))))))) into 0
6.422 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (* -2.0 (- (log -1) (log u1))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 1)))) 120) into 0
6.425 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (- (log -1) (log u1)))))))))) into 0
6.429 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.429 * [backup-simplify]: Simplify 0 into 0
6.431 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.475 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -1 1)))) 720) into 0
6.477 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
6.479 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log u1))))))))) into 0
6.492 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (* -2.0 (- (log -1) (log u1))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (* -2.0 (- (log -1) (log u1))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 1)))) 720) into 0
6.494 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (- (log -1) (log u1))))))))))) into 0
6.498 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.498 * [backup-simplify]: Simplify 0 into 0
6.499 * [backup-simplify]: Simplify (pow (* -2.0 (- (log -1) (log (/ 1 (- u1))))) 0.5) into (pow (* -2.0 (- (log -1) (log (/ -1 u1)))) 0.5)
6.499 * * * * [progress]: [ 4 / 4 ] generating series at (2)
6.500 * [backup-simplify]: Simplify (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5) into (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5)
6.500 * [approximate]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5) in (u1 u2) around 0
6.500 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5) in u2
6.500 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) in u2
6.500 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u2
6.500 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
6.500 * [taylor]: Taking taylor expansion of (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in u2
6.500 * [taylor]: Taking taylor expansion of (cos (* 2.0 (* u2 PI))) in u2
6.500 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u2
6.500 * [taylor]: Taking taylor expansion of 2.0 in u2
6.500 * [backup-simplify]: Simplify 2.0 into 2.0
6.500 * [taylor]: Taking taylor expansion of (* u2 PI) in u2
6.500 * [taylor]: Taking taylor expansion of u2 in u2
6.500 * [backup-simplify]: Simplify 0 into 0
6.500 * [backup-simplify]: Simplify 1 into 1
6.500 * [taylor]: Taking taylor expansion of PI in u2
6.500 * [backup-simplify]: Simplify PI into PI
6.501 * [backup-simplify]: Simplify (* 0 PI) into 0
6.501 * [backup-simplify]: Simplify (* 2.0 0) into 0
6.502 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 PI)) into PI
6.503 * [backup-simplify]: Simplify (+ (* 2.0 PI) (* 0 0)) into (* 2.0 PI)
6.503 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u2
6.503 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u2
6.503 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u2
6.503 * [taylor]: Taking taylor expansion of 0.5 in u2
6.503 * [backup-simplify]: Simplify 0.5 into 0.5
6.503 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u2
6.503 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u2
6.503 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u2
6.503 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u2
6.503 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u2
6.503 * [taylor]: Taking taylor expansion of 1.0 in u2
6.503 * [backup-simplify]: Simplify 1.0 into 1.0
6.503 * [taylor]: Taking taylor expansion of (log (log u1)) in u2
6.503 * [taylor]: Taking taylor expansion of (log u1) in u2
6.503 * [taylor]: Taking taylor expansion of u1 in u2
6.503 * [backup-simplify]: Simplify u1 into u1
6.503 * [backup-simplify]: Simplify (log u1) into (log u1)
6.503 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
6.503 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
6.503 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
6.503 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u2
6.503 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u2
6.503 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u2
6.503 * [taylor]: Taking taylor expansion of 1.0 in u2
6.503 * [backup-simplify]: Simplify 1.0 into 1.0
6.503 * [taylor]: Taking taylor expansion of (log -2.0) in u2
6.504 * [taylor]: Taking taylor expansion of -2.0 in u2
6.504 * [backup-simplify]: Simplify -2.0 into -2.0
6.504 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
6.504 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
6.505 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
6.506 * [backup-simplify]: Simplify (* (pow (log u1) 1.0) (pow -2.0 1.0)) into (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)
6.506 * [backup-simplify]: Simplify (log (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)) into (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))
6.507 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))
6.507 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)
6.508 * [taylor]: Taking taylor expansion of 0.5 in u2
6.508 * [backup-simplify]: Simplify 0.5 into 0.5
6.508 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5) in u1
6.508 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) in u1
6.508 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
6.508 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
6.508 * [taylor]: Taking taylor expansion of (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in u1
6.508 * [taylor]: Taking taylor expansion of (cos (* 2.0 (* u2 PI))) in u1
6.508 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u1
6.508 * [taylor]: Taking taylor expansion of 2.0 in u1
6.508 * [backup-simplify]: Simplify 2.0 into 2.0
6.508 * [taylor]: Taking taylor expansion of (* u2 PI) in u1
6.508 * [taylor]: Taking taylor expansion of u2 in u1
6.508 * [backup-simplify]: Simplify u2 into u2
6.508 * [taylor]: Taking taylor expansion of PI in u1
6.508 * [backup-simplify]: Simplify PI into PI
6.508 * [backup-simplify]: Simplify (* u2 PI) into (* u2 PI)
6.508 * [backup-simplify]: Simplify (* 2.0 (* u2 PI)) into (* 2.0 (* u2 PI))
6.508 * [backup-simplify]: Simplify (cos (* 2.0 (* u2 PI))) into (cos (* 2.0 (* u2 PI)))
6.508 * [backup-simplify]: Simplify (sin (* 2.0 (* u2 PI))) into (sin (* 2.0 (* u2 PI)))
6.508 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u1
6.508 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u1
6.508 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u1
6.508 * [taylor]: Taking taylor expansion of 0.5 in u1
6.508 * [backup-simplify]: Simplify 0.5 into 0.5
6.508 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u1
6.508 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u1
6.508 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u1
6.508 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u1
6.509 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u1
6.509 * [taylor]: Taking taylor expansion of 1.0 in u1
6.509 * [backup-simplify]: Simplify 1.0 into 1.0
6.509 * [taylor]: Taking taylor expansion of (log (log u1)) in u1
6.509 * [taylor]: Taking taylor expansion of (log u1) in u1
6.509 * [taylor]: Taking taylor expansion of u1 in u1
6.509 * [backup-simplify]: Simplify 0 into 0
6.509 * [backup-simplify]: Simplify 1 into 1
6.509 * [backup-simplify]: Simplify (log 1) into 0
6.509 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.510 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.510 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
6.510 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
6.510 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
6.510 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
6.510 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
6.510 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
6.510 * [taylor]: Taking taylor expansion of 1.0 in u1
6.510 * [backup-simplify]: Simplify 1.0 into 1.0
6.510 * [taylor]: Taking taylor expansion of (log -2.0) in u1
6.510 * [taylor]: Taking taylor expansion of -2.0 in u1
6.510 * [backup-simplify]: Simplify -2.0 into -2.0
6.510 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
6.511 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
6.512 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
6.512 * [backup-simplify]: Simplify (* (pow (log u1) 1.0) (pow -2.0 1.0)) into (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)
6.513 * [backup-simplify]: Simplify (log (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)) into (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))
6.513 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))
6.514 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)
6.514 * [taylor]: Taking taylor expansion of 0.5 in u1
6.514 * [backup-simplify]: Simplify 0.5 into 0.5
6.514 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5) in u1
6.514 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) in u1
6.514 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
6.514 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
6.514 * [taylor]: Taking taylor expansion of (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in u1
6.514 * [taylor]: Taking taylor expansion of (cos (* 2.0 (* u2 PI))) in u1
6.514 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u1
6.514 * [taylor]: Taking taylor expansion of 2.0 in u1
6.514 * [backup-simplify]: Simplify 2.0 into 2.0
6.514 * [taylor]: Taking taylor expansion of (* u2 PI) in u1
6.514 * [taylor]: Taking taylor expansion of u2 in u1
6.514 * [backup-simplify]: Simplify u2 into u2
6.514 * [taylor]: Taking taylor expansion of PI in u1
6.514 * [backup-simplify]: Simplify PI into PI
6.514 * [backup-simplify]: Simplify (* u2 PI) into (* u2 PI)
6.514 * [backup-simplify]: Simplify (* 2.0 (* u2 PI)) into (* 2.0 (* u2 PI))
6.514 * [backup-simplify]: Simplify (cos (* 2.0 (* u2 PI))) into (cos (* 2.0 (* u2 PI)))
6.515 * [backup-simplify]: Simplify (sin (* 2.0 (* u2 PI))) into (sin (* 2.0 (* u2 PI)))
6.515 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u1
6.515 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u1
6.515 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u1
6.515 * [taylor]: Taking taylor expansion of 0.5 in u1
6.515 * [backup-simplify]: Simplify 0.5 into 0.5
6.515 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u1
6.515 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u1
6.515 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u1
6.515 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u1
6.515 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u1
6.515 * [taylor]: Taking taylor expansion of 1.0 in u1
6.515 * [backup-simplify]: Simplify 1.0 into 1.0
6.515 * [taylor]: Taking taylor expansion of (log (log u1)) in u1
6.515 * [taylor]: Taking taylor expansion of (log u1) in u1
6.515 * [taylor]: Taking taylor expansion of u1 in u1
6.515 * [backup-simplify]: Simplify 0 into 0
6.515 * [backup-simplify]: Simplify 1 into 1
6.515 * [backup-simplify]: Simplify (log 1) into 0
6.515 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.516 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.516 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
6.516 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
6.516 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
6.516 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
6.516 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
6.516 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
6.516 * [taylor]: Taking taylor expansion of 1.0 in u1
6.516 * [backup-simplify]: Simplify 1.0 into 1.0
6.516 * [taylor]: Taking taylor expansion of (log -2.0) in u1
6.516 * [taylor]: Taking taylor expansion of -2.0 in u1
6.516 * [backup-simplify]: Simplify -2.0 into -2.0
6.516 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
6.517 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
6.518 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
6.518 * [backup-simplify]: Simplify (* (pow (log u1) 1.0) (pow -2.0 1.0)) into (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)
6.519 * [backup-simplify]: Simplify (log (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)) into (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))
6.519 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))
6.520 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)
6.520 * [taylor]: Taking taylor expansion of 0.5 in u1
6.520 * [backup-simplify]: Simplify 0.5 into 0.5
6.520 * [backup-simplify]: Simplify (* (cos (* 2.0 (* u2 PI))) 1) into (cos (* 2.0 (* u2 PI)))
6.520 * [backup-simplify]: Simplify (* (sin (* 2.0 (* u2 PI))) 0) into 0
6.521 * [backup-simplify]: Simplify (- 0) into 0
6.521 * [backup-simplify]: Simplify (+ (cos (* 2.0 (* u2 PI))) 0) into (cos (* 2.0 (* u2 PI)))
6.521 * [backup-simplify]: Simplify (* (cos (* 2.0 (* u2 PI))) (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)) into (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))
6.522 * [backup-simplify]: Simplify (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) into (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)))
6.522 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5) into (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5)
6.522 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5) in u2
6.522 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) in u2
6.523 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u2
6.523 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
6.523 * [taylor]: Taking taylor expansion of (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in u2
6.523 * [taylor]: Taking taylor expansion of (cos (* 2.0 (* u2 PI))) in u2
6.523 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u2
6.523 * [taylor]: Taking taylor expansion of 2.0 in u2
6.523 * [backup-simplify]: Simplify 2.0 into 2.0
6.523 * [taylor]: Taking taylor expansion of (* u2 PI) in u2
6.523 * [taylor]: Taking taylor expansion of u2 in u2
6.523 * [backup-simplify]: Simplify 0 into 0
6.523 * [backup-simplify]: Simplify 1 into 1
6.523 * [taylor]: Taking taylor expansion of PI in u2
6.523 * [backup-simplify]: Simplify PI into PI
6.523 * [backup-simplify]: Simplify (* 0 PI) into 0
6.523 * [backup-simplify]: Simplify (* 2.0 0) into 0
6.524 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 PI)) into PI
6.525 * [backup-simplify]: Simplify (+ (* 2.0 PI) (* 0 0)) into (* 2.0 PI)
6.525 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u2
6.525 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u2
6.525 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u2
6.525 * [taylor]: Taking taylor expansion of 0.5 in u2
6.525 * [backup-simplify]: Simplify 0.5 into 0.5
6.525 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u2
6.525 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u2
6.525 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u2
6.525 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u2
6.525 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u2
6.525 * [taylor]: Taking taylor expansion of 1.0 in u2
6.525 * [backup-simplify]: Simplify 1.0 into 1.0
6.525 * [taylor]: Taking taylor expansion of (log (log u1)) in u2
6.525 * [taylor]: Taking taylor expansion of (log u1) in u2
6.525 * [taylor]: Taking taylor expansion of u1 in u2
6.525 * [backup-simplify]: Simplify u1 into u1
6.525 * [backup-simplify]: Simplify (log u1) into (log u1)
6.526 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
6.526 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
6.526 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
6.526 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u2
6.526 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u2
6.526 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u2
6.526 * [taylor]: Taking taylor expansion of 1.0 in u2
6.526 * [backup-simplify]: Simplify 1.0 into 1.0
6.526 * [taylor]: Taking taylor expansion of (log -2.0) in u2
6.526 * [taylor]: Taking taylor expansion of -2.0 in u2
6.526 * [backup-simplify]: Simplify -2.0 into -2.0
6.526 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
6.527 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
6.528 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
6.528 * [backup-simplify]: Simplify (* (pow (log u1) 1.0) (pow -2.0 1.0)) into (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)
6.528 * [backup-simplify]: Simplify (log (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)) into (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))
6.529 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))
6.530 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)
6.530 * [taylor]: Taking taylor expansion of 0.5 in u2
6.530 * [backup-simplify]: Simplify 0.5 into 0.5
6.530 * [backup-simplify]: Simplify (* 1 (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)) into (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)
6.531 * [backup-simplify]: Simplify (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) into (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))
6.531 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) 0.5) into (+ (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) 0.5)
6.532 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) 0.5) into (+ (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) 0.5)
6.533 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2.0 1)))) 1) into 0
6.533 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log -2.0))) into 0
6.534 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 1) 1)))) into 0
6.535 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
6.535 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.536 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log u1) 1)))) 1) into 0
6.536 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (log u1)))) into 0
6.537 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 1) 1)))) into 0
6.537 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (* 0 (pow -2.0 1.0))) into 0
6.538 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1)))) 1) into 0
6.539 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0)))) into 0
6.540 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
6.541 * [backup-simplify]: Simplify (+ 0) into 0
6.541 * [backup-simplify]: Simplify (+ (* (cos (* 2.0 (* u2 PI))) 0) (* 0 1)) into 0
6.542 * [backup-simplify]: Simplify (+ (* u2 0) (* 0 PI)) into 0
6.542 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 (* u2 PI))) into 0
6.542 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
6.543 * [backup-simplify]: Simplify (+ (* (sin (* 2.0 (* u2 PI))) 0) (* 0 0)) into 0
6.543 * [backup-simplify]: Simplify (- 0) into 0
6.543 * [backup-simplify]: Simplify (+ 0 0) into 0
6.544 * [backup-simplify]: Simplify (+ (* (cos (* 2.0 (* u2 PI))) 0) (* 0 (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5))) into 0
6.545 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (* 0 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)))) into 0
6.545 * [backup-simplify]: Simplify (+ 0 0) into 0
6.545 * [taylor]: Taking taylor expansion of 0 in u2
6.545 * [backup-simplify]: Simplify 0 into 0
6.545 * [backup-simplify]: Simplify 0 into 0
6.546 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2.0 1)))) 1) into 0
6.546 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log -2.0))) into 0
6.547 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 1) 1)))) into 0
6.548 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow u1 1)))) 1) into 0
6.548 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log u1) 1)))) 1) into 0
6.548 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (log u1)))) into 0
6.549 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 1) 1)))) into 0
6.549 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (* 0 (pow -2.0 1.0))) into 0
6.550 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1)))) 1) into 0
6.551 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0)))) into 0
6.552 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
6.552 * [backup-simplify]: Simplify (+ 0) into 0
6.553 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5))) into 0
6.554 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (* 0 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) into 0
6.554 * [backup-simplify]: Simplify (+ 0 0) into 0
6.554 * [backup-simplify]: Simplify 0 into 0
6.556 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -2.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -2.0 1)))) 2) into 0
6.557 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log -2.0)))) into 0
6.558 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.559 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.560 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
6.560 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.562 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (log u1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (log u1) 1)))) 2) into 0
6.562 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log (log u1))))) into 0
6.563 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.563 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))) into 0
6.571 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1)))) 2) into 0
6.572 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))))) into 0
6.574 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.574 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
6.575 * [backup-simplify]: Simplify (+ (* (cos (* 2.0 (* u2 PI))) 0) (+ (* 0 0) (* 0 1))) into 0
6.575 * [backup-simplify]: Simplify (+ (* u2 0) (+ (* 0 0) (* 0 PI))) into 0
6.575 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 (* u2 PI)))) into 0
6.576 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
6.576 * [backup-simplify]: Simplify (+ (* (sin (* 2.0 (* u2 PI))) 0) (+ (* 0 0) (* 0 0))) into 0
6.577 * [backup-simplify]: Simplify (- 0) into 0
6.577 * [backup-simplify]: Simplify (+ 0 0) into 0
6.578 * [backup-simplify]: Simplify (+ (* (cos (* 2.0 (* u2 PI))) 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)))) into 0
6.579 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (* 0 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))))) into 0
6.579 * [backup-simplify]: Simplify (+ 0 0) into 0
6.579 * [taylor]: Taking taylor expansion of 0 in u2
6.579 * [backup-simplify]: Simplify 0 into 0
6.579 * [backup-simplify]: Simplify 0 into 0
6.579 * [backup-simplify]: Simplify 0 into 0
6.581 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -2.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -2.0 1)))) 2) into 0
6.582 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log -2.0)))) into 0
6.583 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0