1.158 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.155 * * * [progress]: [2/2] Setting up program.
0.160 * [progress]: [Phase 2 of 3] Improving.
0.162 * [simplify]: Simplifying:
  (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)
0.163 * * [simplify]: Extracting # 0 : cost  0
0.164 * * [simplify]: Extracting # 1 : cost  0
0.164 * * [simplify]: Extracting # 2 : cost  0
0.164 * * [simplify]: Extracting # 3 : cost  0
0.164 * * [simplify]: Extracting # 4 : cost  0
0.164 * * [simplify]: Extracting # 5 : cost  0
0.164 * * [simplify]: Extracting # 6 : cost  0
0.164 * * [simplify]: Extracting # 7 : cost  0
0.164 * * [simplify]: Extracting # 8 : cost  0
0.164 * * [simplify]: Extracting # 9 : cost  0
0.164 * * [simplify]: iteration  0 :  18  enodes  (cost  19 )
0.171 * * [simplify]: Extracting # 0 : cost  0
0.171 * * [simplify]: Extracting # 1 : cost  0
0.171 * * [simplify]: Extracting # 2 : cost  0
0.171 * * [simplify]: Extracting # 3 : cost  0
0.172 * * [simplify]: Extracting # 4 : cost  0
0.172 * * [simplify]: Extracting # 5 : cost  0
0.172 * * [simplify]: iteration  1 :  34  enodes  (cost  19 )
0.214 * * [simplify]: Extracting # 0 : cost  0
0.214 * * [simplify]: Extracting # 1 : cost  0
0.214 * * [simplify]: Extracting # 2 : cost  0
0.215 * * [simplify]: Extracting # 3 : cost  0
0.215 * * [simplify]: iteration  2 :  71  enodes  (cost  19 )
0.232 * * [simplify]: Extracting # 0 : cost  0
0.232 * * [simplify]: Extracting # 1 : cost  0
0.232 * * [simplify]: Extracting # 2 : cost  0
0.232 * * [simplify]: Extracting # 3 : cost  0
0.232 * * [simplify]: iteration  3 :  152  enodes  (cost  19 )
0.291 * * [simplify]: Extracting # 0 : cost  0
0.292 * * [simplify]: Extracting # 1 : cost  0
0.292 * * [simplify]: Extracting # 2 : cost  0
0.293 * * [simplify]: Extracting # 3 : cost  0
0.293 * * [simplify]: Extracting # 4 : cost  0
0.294 * * [simplify]: iteration  4 :  440  enodes  (cost  19 )
0.763 * * [simplify]: Extracting # 0 : cost  0
0.765 * * [simplify]: Extracting # 1 : cost  0
0.767 * * [simplify]: Extracting # 2 : cost  0
0.768 * * [simplify]: Extracting # 3 : cost  0
0.769 * * [simplify]: Extracting # 4 : cost  0
0.771 * * [simplify]: iteration  5 :  1385  enodes  (cost  19 )
3.699 * * [simplify]: Extracting # 0 : cost  0
3.718 * * [simplify]: Extracting # 1 : cost  0
3.726 * * [simplify]: Extracting # 2 : cost  0
3.741 * * [simplify]: Extracting # 3 : cost  0
3.749 * * [simplify]: Extracting # 4 : cost  0
3.757 * * [simplify]: iteration done:  5000  enodes  (cost  19 )
3.757 * [simplify]: Simplified to:
  (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)
3.760 * * [progress]: iteration 1 / 4
3.760 * * * [progress]: picking best candidate
3.767 * * * * [pick]: Picked  #<alt (λ (u1 u2) (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))>
3.767 * * * [progress]: localizing error
3.798 * * * [progress]: generating rewritten candidates
3.798 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
3.847 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
3.882 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
3.895 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
4.015 * * * [progress]: generating series expansions
4.016 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
4.020 * [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.020 * [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.021 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in u1
4.021 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
4.021 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
4.021 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u1
4.021 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u1
4.021 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u1
4.021 * [taylor]: Taking taylor expansion of 0.5 in u1
4.021 * [backup-simplify]: Simplify 0.5 into 0.5
4.021 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u1
4.021 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u1
4.021 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u1
4.021 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u1
4.021 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u1
4.021 * [taylor]: Taking taylor expansion of 1.0 in u1
4.021 * [backup-simplify]: Simplify 1.0 into 1.0
4.021 * [taylor]: Taking taylor expansion of (log (log u1)) in u1
4.022 * [taylor]: Taking taylor expansion of (log u1) in u1
4.022 * [taylor]: Taking taylor expansion of u1 in u1
4.022 * [backup-simplify]: Simplify 0 into 0
4.022 * [backup-simplify]: Simplify 1 into 1
4.022 * [backup-simplify]: Simplify (log 1) into 0
4.023 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.023 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.023 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
4.023 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
4.023 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
4.023 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
4.023 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
4.024 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
4.024 * [taylor]: Taking taylor expansion of 1.0 in u1
4.024 * [backup-simplify]: Simplify 1.0 into 1.0
4.024 * [taylor]: Taking taylor expansion of (log -2.0) in u1
4.024 * [taylor]: Taking taylor expansion of -2.0 in u1
4.024 * [backup-simplify]: Simplify -2.0 into -2.0
4.024 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
4.024 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
4.025 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
4.026 * [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.026 * [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.027 * [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.028 * [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.028 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in u1
4.028 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
4.028 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
4.028 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u1
4.028 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u1
4.028 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u1
4.028 * [taylor]: Taking taylor expansion of 0.5 in u1
4.028 * [backup-simplify]: Simplify 0.5 into 0.5
4.028 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u1
4.028 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u1
4.028 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u1
4.028 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u1
4.028 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u1
4.028 * [taylor]: Taking taylor expansion of 1.0 in u1
4.028 * [backup-simplify]: Simplify 1.0 into 1.0
4.028 * [taylor]: Taking taylor expansion of (log (log u1)) in u1
4.028 * [taylor]: Taking taylor expansion of (log u1) in u1
4.028 * [taylor]: Taking taylor expansion of u1 in u1
4.028 * [backup-simplify]: Simplify 0 into 0
4.028 * [backup-simplify]: Simplify 1 into 1
4.028 * [backup-simplify]: Simplify (log 1) into 0
4.028 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.029 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.029 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
4.029 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
4.029 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
4.029 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
4.029 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
4.029 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
4.029 * [taylor]: Taking taylor expansion of 1.0 in u1
4.029 * [backup-simplify]: Simplify 1.0 into 1.0
4.029 * [taylor]: Taking taylor expansion of (log -2.0) in u1
4.029 * [taylor]: Taking taylor expansion of -2.0 in u1
4.029 * [backup-simplify]: Simplify -2.0 into -2.0
4.029 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
4.030 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
4.031 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
4.031 * [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.032 * [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.032 * [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.033 * [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.034 * [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.034 * [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.036 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2.0 1)))) 1) into 0
4.037 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log -2.0))) into 0
4.038 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 1) 1)))) into 0
4.039 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
4.039 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.039 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log u1) 1)))) 1) into 0
4.040 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (log u1)))) into 0
4.040 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 1) 1)))) into 0
4.041 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (* 0 (pow -2.0 1.0))) into 0
4.042 * [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.042 * [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.044 * [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.044 * [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.045 * [backup-simplify]: Simplify 0 into 0
4.047 * [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.048 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log -2.0)))) into 0
4.049 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.050 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.051 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
4.051 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.053 * [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.053 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log (log u1))))) into 0
4.054 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.055 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))) into 0
4.058 * [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.059 * [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.062 * [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.063 * [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.063 * [backup-simplify]: Simplify 0 into 0
4.069 * [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.071 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))) into 0
4.073 * [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.074 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.074 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.083 * [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.084 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.086 * [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.087 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log u1)))))) into 0
4.088 * [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.089 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0))))) into 0
4.091 * [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.093 * [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.094 * [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.095 * [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.095 * [backup-simplify]: Simplify 0 into 0
4.102 * [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.103 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))) into 0
4.105 * [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.105 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.105 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.106 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.106 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.117 * [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
4.118 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.123 * [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
4.125 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log u1))))))) into 0
4.128 * [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
4.130 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))))) into 0
4.139 * [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
4.141 * [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
4.144 * [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
4.145 * [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
4.145 * [backup-simplify]: Simplify 0 into 0
4.156 * [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
4.157 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))))) into 0
4.160 * [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
4.160 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.161 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.161 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.161 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.162 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.162 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.172 * [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
4.173 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.182 * [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
4.185 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log u1)))))))) into 0
4.190 * [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
4.191 * [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
4.201 * [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
4.203 * [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
4.206 * [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
4.208 * [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
4.208 * [backup-simplify]: Simplify 0 into 0
4.232 * [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
4.234 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))))) into 0
4.243 * [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
4.244 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.244 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.245 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.245 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.246 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.246 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.247 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.247 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.248 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.248 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.268 * [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
4.269 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.276 * [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
4.277 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log u1))))))))) into 0
4.281 * [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
4.282 * [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
4.301 * [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
4.304 * [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
4.315 * [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
4.318 * [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
4.318 * [backup-simplify]: Simplify 0 into 0
4.319 * [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.320 * [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))
4.320 * [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
4.320 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5)) in u1
4.320 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
4.320 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
4.320 * [taylor]: Taking taylor expansion of (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5) in u1
4.320 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))))) in u1
4.320 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)))) in u1
4.320 * [taylor]: Taking taylor expansion of 0.5 in u1
4.320 * [backup-simplify]: Simplify 0.5 into 0.5
4.320 * [taylor]: Taking taylor expansion of (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) in u1
4.320 * [taylor]: Taking taylor expansion of (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) in u1
4.320 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
4.320 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
4.320 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
4.320 * [taylor]: Taking taylor expansion of 1.0 in u1
4.320 * [backup-simplify]: Simplify 1.0 into 1.0
4.320 * [taylor]: Taking taylor expansion of (log -2.0) in u1
4.320 * [taylor]: Taking taylor expansion of -2.0 in u1
4.320 * [backup-simplify]: Simplify -2.0 into -2.0
4.321 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
4.322 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
4.323 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
4.323 * [taylor]: Taking taylor expansion of (pow (log (/ 1 u1)) 1.0) in u1
4.323 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log (/ 1 u1))))) in u1
4.323 * [taylor]: Taking taylor expansion of (* 1.0 (log (log (/ 1 u1)))) in u1
4.323 * [taylor]: Taking taylor expansion of 1.0 in u1
4.323 * [backup-simplify]: Simplify 1.0 into 1.0
4.323 * [taylor]: Taking taylor expansion of (log (log (/ 1 u1))) in u1
4.323 * [taylor]: Taking taylor expansion of (log (/ 1 u1)) in u1
4.323 * [taylor]: Taking taylor expansion of (/ 1 u1) in u1
4.323 * [taylor]: Taking taylor expansion of u1 in u1
4.324 * [backup-simplify]: Simplify 0 into 0
4.324 * [backup-simplify]: Simplify 1 into 1
4.324 * [backup-simplify]: Simplify (/ 1 1) into 1
4.325 * [backup-simplify]: Simplify (log 1) into 0
4.326 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.326 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.326 * [backup-simplify]: Simplify (log (- (log u1))) into (log (- (log u1)))
4.326 * [backup-simplify]: Simplify (* 1.0 (log (- (log u1)))) into (* 1.0 (log (- (log u1))))
4.326 * [backup-simplify]: Simplify (exp (* 1.0 (log (- (log u1))))) into (pow (- (log u1)) 1.0)
4.327 * [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)
4.328 * [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))
4.330 * [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)))
4.331 * [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)
4.331 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5)) in u1
4.331 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
4.331 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
4.331 * [taylor]: Taking taylor expansion of (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5) in u1
4.331 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))))) in u1
4.331 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)))) in u1
4.331 * [taylor]: Taking taylor expansion of 0.5 in u1
4.331 * [backup-simplify]: Simplify 0.5 into 0.5
4.331 * [taylor]: Taking taylor expansion of (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) in u1
4.331 * [taylor]: Taking taylor expansion of (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) in u1
4.331 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
4.331 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
4.331 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
4.331 * [taylor]: Taking taylor expansion of 1.0 in u1
4.331 * [backup-simplify]: Simplify 1.0 into 1.0
4.331 * [taylor]: Taking taylor expansion of (log -2.0) in u1
4.332 * [taylor]: Taking taylor expansion of -2.0 in u1
4.332 * [backup-simplify]: Simplify -2.0 into -2.0
4.332 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
4.333 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
4.334 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
4.334 * [taylor]: Taking taylor expansion of (pow (log (/ 1 u1)) 1.0) in u1
4.334 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log (/ 1 u1))))) in u1
4.334 * [taylor]: Taking taylor expansion of (* 1.0 (log (log (/ 1 u1)))) in u1
4.334 * [taylor]: Taking taylor expansion of 1.0 in u1
4.334 * [backup-simplify]: Simplify 1.0 into 1.0
4.334 * [taylor]: Taking taylor expansion of (log (log (/ 1 u1))) in u1
4.334 * [taylor]: Taking taylor expansion of (log (/ 1 u1)) in u1
4.335 * [taylor]: Taking taylor expansion of (/ 1 u1) in u1
4.335 * [taylor]: Taking taylor expansion of u1 in u1
4.335 * [backup-simplify]: Simplify 0 into 0
4.335 * [backup-simplify]: Simplify 1 into 1
4.335 * [backup-simplify]: Simplify (/ 1 1) into 1
4.335 * [backup-simplify]: Simplify (log 1) into 0
4.335 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.336 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.336 * [backup-simplify]: Simplify (log (- (log u1))) into (log (- (log u1)))
4.336 * [backup-simplify]: Simplify (* 1.0 (log (- (log u1)))) into (* 1.0 (log (- (log u1))))
4.336 * [backup-simplify]: Simplify (exp (* 1.0 (log (- (log u1))))) into (pow (- (log u1)) 1.0)
4.336 * [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)
4.337 * [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))
4.338 * [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)))
4.339 * [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)
4.340 * [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))
4.340 * [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))
4.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.342 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
4.342 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.343 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log u1)) 1)))) 1) into 0
4.343 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (- (log u1))))) into 0
4.344 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log u1))))) (+ (* (/ (pow 0 1) 1)))) into 0
4.344 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2.0 1)))) 1) into 0
4.345 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log -2.0))) into 0
4.346 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 1) 1)))) into 0
4.347 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (* 0 (pow (- (log u1)) 1.0))) into 0
4.348 * [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
4.349 * [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
4.350 * [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
4.352 * [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
4.352 * [backup-simplify]: Simplify 0 into 0
4.352 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.354 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
4.355 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.356 * [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.356 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log (- (log u1)))))) into 0
4.357 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log u1))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.359 * [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.360 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log -2.0)))) into 0
4.361 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.362 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (+ (* 0 0) (* 0 (pow (- (log u1)) 1.0)))) into 0
4.366 * [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
4.368 * [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
4.370 * [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
4.373 * [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
4.373 * [backup-simplify]: Simplify 0 into 0
4.373 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.374 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.380 * [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.380 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.383 * [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.385 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log u1))))))) into 0
4.387 * [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.392 * [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.394 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))) into 0
4.396 * [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.398 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (- (log u1)) 1.0))))) into 0
4.405 * [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
4.407 * [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
4.411 * [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
4.413 * [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
4.413 * [backup-simplify]: Simplify 0 into 0
4.414 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.414 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.415 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.415 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.416 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.425 * [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
4.425 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.428 * [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
4.429 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log u1)))))))) into 0
4.431 * [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
4.441 * [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.442 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))) into 0
4.445 * [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.446 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (- (log u1)) 1.0)))))) into 0
4.454 * [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
4.456 * [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
4.461 * [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
4.464 * [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
4.464 * [backup-simplify]: Simplify 0 into 0
4.465 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.465 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.466 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.466 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.467 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.467 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.468 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.487 * [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
4.488 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.496 * [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
4.498 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log u1))))))))) into 0
4.502 * [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
4.522 * [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
4.524 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))))) into 0
4.529 * [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
4.532 * [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
4.549 * [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
4.552 * [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
4.555 * [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
4.557 * [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
4.557 * [backup-simplify]: Simplify 0 into 0
4.557 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.558 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.558 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.558 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.559 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.559 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.559 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.560 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.560 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.560 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.561 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.582 * [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
4.582 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.593 * [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
4.595 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log u1)))))))))) into 0
4.598 * [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
4.616 * [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
4.618 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))))) into 0
4.626 * [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
4.629 * [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
4.651 * [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
4.653 * [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
4.657 * [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
4.660 * [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
4.660 * [backup-simplify]: Simplify 0 into 0
4.661 * [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))
4.662 * [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))
4.662 * [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
4.662 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5)) in u1
4.662 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
4.662 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
4.662 * [taylor]: Taking taylor expansion of (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5) in u1
4.662 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0))))) in u1
4.662 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)))) in u1
4.662 * [taylor]: Taking taylor expansion of 0.5 in u1
4.662 * [backup-simplify]: Simplify 0.5 into 0.5
4.662 * [taylor]: Taking taylor expansion of (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0))) in u1
4.662 * [taylor]: Taking taylor expansion of (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) in u1
4.662 * [taylor]: Taking taylor expansion of (pow (log (/ -1 u1)) 1.0) in u1
4.662 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log (/ -1 u1))))) in u1
4.662 * [taylor]: Taking taylor expansion of (* 1.0 (log (log (/ -1 u1)))) in u1
4.662 * [taylor]: Taking taylor expansion of 1.0 in u1
4.662 * [backup-simplify]: Simplify 1.0 into 1.0
4.662 * [taylor]: Taking taylor expansion of (log (log (/ -1 u1))) in u1
4.662 * [taylor]: Taking taylor expansion of (log (/ -1 u1)) in u1
4.662 * [taylor]: Taking taylor expansion of (/ -1 u1) in u1
4.662 * [taylor]: Taking taylor expansion of -1 in u1
4.662 * [backup-simplify]: Simplify -1 into -1
4.662 * [taylor]: Taking taylor expansion of u1 in u1
4.662 * [backup-simplify]: Simplify 0 into 0
4.662 * [backup-simplify]: Simplify 1 into 1
4.663 * [backup-simplify]: Simplify (/ -1 1) into -1
4.663 * [backup-simplify]: Simplify (log -1) into (log -1)
4.663 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.664 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.664 * [backup-simplify]: Simplify (log (- (log -1) (log u1))) into (log (- (log -1) (log u1)))
4.664 * [backup-simplify]: Simplify (* 1.0 (log (- (log -1) (log u1)))) into (* 1.0 (log (- (log -1) (log u1))))
4.665 * [backup-simplify]: Simplify (exp (* 1.0 (log (- (log -1) (log u1))))) into (pow (- (log -1) (log u1)) 1.0)
4.665 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
4.665 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
4.665 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
4.665 * [taylor]: Taking taylor expansion of 1.0 in u1
4.665 * [backup-simplify]: Simplify 1.0 into 1.0
4.665 * [taylor]: Taking taylor expansion of (log -2.0) in u1
4.665 * [taylor]: Taking taylor expansion of -2.0 in u1
4.665 * [backup-simplify]: Simplify -2.0 into -2.0
4.665 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
4.666 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
4.667 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
4.667 * [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)
4.668 * [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))
4.669 * [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)))
4.670 * [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)
4.670 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5)) in u1
4.670 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
4.670 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
4.670 * [taylor]: Taking taylor expansion of (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5) in u1
4.670 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0))))) in u1
4.670 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)))) in u1
4.670 * [taylor]: Taking taylor expansion of 0.5 in u1
4.670 * [backup-simplify]: Simplify 0.5 into 0.5
4.670 * [taylor]: Taking taylor expansion of (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0))) in u1
4.670 * [taylor]: Taking taylor expansion of (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) in u1
4.670 * [taylor]: Taking taylor expansion of (pow (log (/ -1 u1)) 1.0) in u1
4.670 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log (/ -1 u1))))) in u1
4.670 * [taylor]: Taking taylor expansion of (* 1.0 (log (log (/ -1 u1)))) in u1
4.670 * [taylor]: Taking taylor expansion of 1.0 in u1
4.670 * [backup-simplify]: Simplify 1.0 into 1.0
4.670 * [taylor]: Taking taylor expansion of (log (log (/ -1 u1))) in u1
4.670 * [taylor]: Taking taylor expansion of (log (/ -1 u1)) in u1
4.670 * [taylor]: Taking taylor expansion of (/ -1 u1) in u1
4.670 * [taylor]: Taking taylor expansion of -1 in u1
4.670 * [backup-simplify]: Simplify -1 into -1
4.670 * [taylor]: Taking taylor expansion of u1 in u1
4.670 * [backup-simplify]: Simplify 0 into 0
4.670 * [backup-simplify]: Simplify 1 into 1
4.670 * [backup-simplify]: Simplify (/ -1 1) into -1
4.671 * [backup-simplify]: Simplify (log -1) into (log -1)
4.671 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.672 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.672 * [backup-simplify]: Simplify (log (- (log -1) (log u1))) into (log (- (log -1) (log u1)))
4.672 * [backup-simplify]: Simplify (* 1.0 (log (- (log -1) (log u1)))) into (* 1.0 (log (- (log -1) (log u1))))
4.673 * [backup-simplify]: Simplify (exp (* 1.0 (log (- (log -1) (log u1))))) into (pow (- (log -1) (log u1)) 1.0)
4.673 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
4.673 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
4.673 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
4.673 * [taylor]: Taking taylor expansion of 1.0 in u1
4.673 * [backup-simplify]: Simplify 1.0 into 1.0
4.673 * [taylor]: Taking taylor expansion of (log -2.0) in u1
4.673 * [taylor]: Taking taylor expansion of -2.0 in u1
4.673 * [backup-simplify]: Simplify -2.0 into -2.0
4.673 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
4.674 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
4.675 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
4.676 * [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)
4.677 * [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))
4.679 * [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)))
4.680 * [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)
4.682 * [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))
4.683 * [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))
4.692 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2.0 1)))) 1) into 0
4.693 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log -2.0))) into 0
4.695 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 1) 1)))) into 0
4.696 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.698 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
4.699 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.700 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log -1) (log u1)) 1)))) 1) into 0
4.701 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (- (log -1) (log u1))))) into 0
4.702 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log -1) (log u1))))) (+ (* (/ (pow 0 1) 1)))) into 0
4.703 * [backup-simplify]: Simplify (+ (* (pow (- (log -1) (log u1)) 1.0) 0) (* 0 (pow -2.0 1.0))) into 0
4.705 * [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
4.707 * [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
4.709 * [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
4.711 * [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
4.711 * [backup-simplify]: Simplify 0 into 0
4.714 * [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.715 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log -2.0)))) into 0
4.718 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.719 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.723 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
4.724 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.726 * [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
4.728 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log (- (log -1) (log u1)))))) into 0
4.730 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log -1) (log u1))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.731 * [backup-simplify]: Simplify (+ (* (pow (- (log -1) (log u1)) 1.0) 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))) into 0
4.735 * [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
4.737 * [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
4.740 * [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
4.742 * [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
4.742 * [backup-simplify]: Simplify 0 into 0
4.748 * [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.750 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))) into 0
4.753 * [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.754 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.755 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.756 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.761 * [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.762 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.766 * [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
4.768 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log -1) (log u1))))))) into 0
4.770 * [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
4.772 * [backup-simplify]: Simplify (+ (* (pow (- (log -1) (log u1)) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0))))) into 0
4.778 * [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
4.780 * [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
4.783 * [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
4.786 * [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
4.786 * [backup-simplify]: Simplify 0 into 0
4.798 * [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.799 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))) into 0
4.804 * [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.805 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.806 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.807 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.808 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.809 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.821 * [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
4.822 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.829 * [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
4.831 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log -1) (log u1)))))))) into 0
4.834 * [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
4.836 * [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
4.856 * [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
4.859 * [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
4.863 * [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
4.866 * [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
4.866 * [backup-simplify]: Simplify 0 into 0
4.885 * [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
4.887 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))))) into 0
4.893 * [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
4.894 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.895 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.896 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.897 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.898 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.899 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.900 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.920 * [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
4.920 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.927 * [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
4.929 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log -1) (log u1))))))))) into 0
4.931 * [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
4.933 * [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
4.942 * [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
4.944 * [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
4.947 * [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
4.949 * [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
4.949 * [backup-simplify]: Simplify 0 into 0
4.982 * [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
4.983 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))))) into 0
4.993 * [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
4.994 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.994 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.995 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.996 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.996 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.997 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.997 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.998 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.999 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
4.999 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.000 * [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.024 * [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.025 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.038 * [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.040 * [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.044 * [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.045 * [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.061 * [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.063 * [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.067 * [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.069 * [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.069 * [backup-simplify]: Simplify 0 into 0
5.070 * [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.070 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
5.071 * [backup-simplify]: Simplify (* (* 2.0 PI) u2) into (* 2.0 (* u2 PI))
5.071 * [approximate]: Taking taylor expansion of (* 2.0 (* u2 PI)) in (u2) around 0
5.071 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u2
5.071 * [taylor]: Taking taylor expansion of 2.0 in u2
5.071 * [backup-simplify]: Simplify 2.0 into 2.0
5.071 * [taylor]: Taking taylor expansion of (* u2 PI) in u2
5.071 * [taylor]: Taking taylor expansion of u2 in u2
5.071 * [backup-simplify]: Simplify 0 into 0
5.071 * [backup-simplify]: Simplify 1 into 1
5.071 * [taylor]: Taking taylor expansion of PI in u2
5.071 * [backup-simplify]: Simplify PI into PI
5.071 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u2
5.071 * [taylor]: Taking taylor expansion of 2.0 in u2
5.071 * [backup-simplify]: Simplify 2.0 into 2.0
5.071 * [taylor]: Taking taylor expansion of (* u2 PI) in u2
5.071 * [taylor]: Taking taylor expansion of u2 in u2
5.071 * [backup-simplify]: Simplify 0 into 0
5.071 * [backup-simplify]: Simplify 1 into 1
5.071 * [taylor]: Taking taylor expansion of PI in u2
5.071 * [backup-simplify]: Simplify PI into PI
5.071 * [backup-simplify]: Simplify (* 0 PI) into 0
5.071 * [backup-simplify]: Simplify (* 2.0 0) into 0
5.072 * [backup-simplify]: Simplify 0 into 0
5.072 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 PI)) into PI
5.073 * [backup-simplify]: Simplify (+ (* 2.0 PI) (* 0 0)) into (* 2.0 PI)
5.074 * [backup-simplify]: Simplify (* 2.0 PI) into (* 2.0 PI)
5.074 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 PI))) into 0
5.075 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 PI) (* 0 0))) into 0
5.075 * [backup-simplify]: Simplify 0 into 0
5.076 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI)))) into 0
5.076 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))) into 0
5.076 * [backup-simplify]: Simplify 0 into 0
5.077 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
5.078 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))) into 0
5.078 * [backup-simplify]: Simplify 0 into 0
5.079 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
5.080 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))) into 0
5.080 * [backup-simplify]: Simplify 0 into 0
5.081 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
5.082 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))))) into 0
5.082 * [backup-simplify]: Simplify 0 into 0
5.083 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))))) into 0
5.084 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))))) into 0
5.084 * [backup-simplify]: Simplify 0 into 0
5.084 * [backup-simplify]: Simplify (* (* 2.0 PI) u2) into (* 2.0 (* u2 PI))
5.085 * [backup-simplify]: Simplify (* (* 2.0 PI) (/ 1 u2)) into (* 2.0 (/ PI u2))
5.085 * [approximate]: Taking taylor expansion of (* 2.0 (/ PI u2)) in (u2) around 0
5.085 * [taylor]: Taking taylor expansion of (* 2.0 (/ PI u2)) in u2
5.085 * [taylor]: Taking taylor expansion of 2.0 in u2
5.085 * [backup-simplify]: Simplify 2.0 into 2.0
5.085 * [taylor]: Taking taylor expansion of (/ PI u2) in u2
5.085 * [taylor]: Taking taylor expansion of PI in u2
5.085 * [backup-simplify]: Simplify PI into PI
5.085 * [taylor]: Taking taylor expansion of u2 in u2
5.085 * [backup-simplify]: Simplify 0 into 0
5.085 * [backup-simplify]: Simplify 1 into 1
5.085 * [backup-simplify]: Simplify (/ PI 1) into PI
5.085 * [taylor]: Taking taylor expansion of (* 2.0 (/ PI u2)) in u2
5.085 * [taylor]: Taking taylor expansion of 2.0 in u2
5.085 * [backup-simplify]: Simplify 2.0 into 2.0
5.085 * [taylor]: Taking taylor expansion of (/ PI u2) in u2
5.085 * [taylor]: Taking taylor expansion of PI in u2
5.086 * [backup-simplify]: Simplify PI into PI
5.086 * [taylor]: Taking taylor expansion of u2 in u2
5.086 * [backup-simplify]: Simplify 0 into 0
5.086 * [backup-simplify]: Simplify 1 into 1
5.086 * [backup-simplify]: Simplify (/ PI 1) into PI
5.086 * [backup-simplify]: Simplify (* 2.0 PI) into (* 2.0 PI)
5.087 * [backup-simplify]: Simplify (* 2.0 PI) into (* 2.0 PI)
5.087 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)))) into 0
5.088 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 PI)) into 0
5.088 * [backup-simplify]: Simplify 0 into 0
5.088 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.089 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 PI))) into 0
5.089 * [backup-simplify]: Simplify 0 into 0
5.089 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.090 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
5.090 * [backup-simplify]: Simplify 0 into 0
5.096 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.097 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
5.097 * [backup-simplify]: Simplify 0 into 0
5.098 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.099 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
5.099 * [backup-simplify]: Simplify 0 into 0
5.100 * [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
5.101 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
5.101 * [backup-simplify]: Simplify 0 into 0
5.102 * [backup-simplify]: Simplify (* (* 2.0 PI) (/ 1 (/ 1 u2))) into (* 2.0 (* u2 PI))
5.102 * [backup-simplify]: Simplify (* (* 2.0 PI) (/ 1 (- u2))) into (* -2.0 (/ PI u2))
5.102 * [approximate]: Taking taylor expansion of (* -2.0 (/ PI u2)) in (u2) around 0
5.102 * [taylor]: Taking taylor expansion of (* -2.0 (/ PI u2)) in u2
5.102 * [taylor]: Taking taylor expansion of -2.0 in u2
5.102 * [backup-simplify]: Simplify -2.0 into -2.0
5.102 * [taylor]: Taking taylor expansion of (/ PI u2) in u2
5.102 * [taylor]: Taking taylor expansion of PI in u2
5.102 * [backup-simplify]: Simplify PI into PI
5.102 * [taylor]: Taking taylor expansion of u2 in u2
5.102 * [backup-simplify]: Simplify 0 into 0
5.102 * [backup-simplify]: Simplify 1 into 1
5.102 * [backup-simplify]: Simplify (/ PI 1) into PI
5.102 * [taylor]: Taking taylor expansion of (* -2.0 (/ PI u2)) in u2
5.103 * [taylor]: Taking taylor expansion of -2.0 in u2
5.103 * [backup-simplify]: Simplify -2.0 into -2.0
5.103 * [taylor]: Taking taylor expansion of (/ PI u2) in u2
5.103 * [taylor]: Taking taylor expansion of PI in u2
5.103 * [backup-simplify]: Simplify PI into PI
5.103 * [taylor]: Taking taylor expansion of u2 in u2
5.103 * [backup-simplify]: Simplify 0 into 0
5.103 * [backup-simplify]: Simplify 1 into 1
5.103 * [backup-simplify]: Simplify (/ PI 1) into PI
5.103 * [backup-simplify]: Simplify (* -2.0 PI) into (* -2.0 PI)
5.104 * [backup-simplify]: Simplify (* -2.0 PI) into (* -2.0 PI)
5.104 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)))) into 0
5.105 * [backup-simplify]: Simplify (+ (* -2.0 0) (* 0 PI)) into 0
5.105 * [backup-simplify]: Simplify 0 into 0
5.105 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.106 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (* 0 PI))) into 0
5.106 * [backup-simplify]: Simplify 0 into 0
5.107 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.107 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
5.107 * [backup-simplify]: Simplify 0 into 0
5.108 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.109 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
5.109 * [backup-simplify]: Simplify 0 into 0
5.109 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.110 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
5.110 * [backup-simplify]: Simplify 0 into 0
5.111 * [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
5.112 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
5.112 * [backup-simplify]: Simplify 0 into 0
5.112 * [backup-simplify]: Simplify (* (* -2.0 PI) (/ 1 (/ 1 (- u2)))) into (* 2.0 (* u2 PI))
5.112 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
5.113 * [backup-simplify]: Simplify (pow (* -2.0 (log u1)) 0.5) into (pow (* -2.0 (log u1)) 0.5)
5.113 * [approximate]: Taking taylor expansion of (pow (* -2.0 (log u1)) 0.5) in (u1) around 0
5.113 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log u1)) 0.5) in u1
5.113 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log u1))))) in u1
5.113 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log u1)))) in u1
5.113 * [taylor]: Taking taylor expansion of 0.5 in u1
5.113 * [backup-simplify]: Simplify 0.5 into 0.5
5.113 * [taylor]: Taking taylor expansion of (log (* -2.0 (log u1))) in u1
5.113 * [taylor]: Taking taylor expansion of (* -2.0 (log u1)) in u1
5.113 * [taylor]: Taking taylor expansion of -2.0 in u1
5.113 * [backup-simplify]: Simplify -2.0 into -2.0
5.113 * [taylor]: Taking taylor expansion of (log u1) in u1
5.113 * [taylor]: Taking taylor expansion of u1 in u1
5.113 * [backup-simplify]: Simplify 0 into 0
5.113 * [backup-simplify]: Simplify 1 into 1
5.113 * [backup-simplify]: Simplify (log 1) into 0
5.113 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.114 * [backup-simplify]: Simplify (* -2.0 (log u1)) into (* -2.0 (log u1))
5.114 * [backup-simplify]: Simplify (log (* -2.0 (log u1))) into (log (* -2.0 (log u1)))
5.114 * [backup-simplify]: Simplify (* 0.5 (log (* -2.0 (log u1)))) into (* 0.5 (log (* -2.0 (log u1))))
5.114 * [backup-simplify]: Simplify (exp (* 0.5 (log (* -2.0 (log u1))))) into (pow (* -2.0 (log u1)) 0.5)
5.114 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log u1)) 0.5) in u1
5.114 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log u1))))) in u1
5.114 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log u1)))) in u1
5.114 * [taylor]: Taking taylor expansion of 0.5 in u1
5.114 * [backup-simplify]: Simplify 0.5 into 0.5
5.114 * [taylor]: Taking taylor expansion of (log (* -2.0 (log u1))) in u1
5.114 * [taylor]: Taking taylor expansion of (* -2.0 (log u1)) in u1
5.114 * [taylor]: Taking taylor expansion of -2.0 in u1
5.114 * [backup-simplify]: Simplify -2.0 into -2.0
5.114 * [taylor]: Taking taylor expansion of (log u1) in u1
5.114 * [taylor]: Taking taylor expansion of u1 in u1
5.114 * [backup-simplify]: Simplify 0 into 0
5.114 * [backup-simplify]: Simplify 1 into 1
5.114 * [backup-simplify]: Simplify (log 1) into 0
5.115 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.115 * [backup-simplify]: Simplify (* -2.0 (log u1)) into (* -2.0 (log u1))
5.115 * [backup-simplify]: Simplify (log (* -2.0 (log u1))) into (log (* -2.0 (log u1)))
5.115 * [backup-simplify]: Simplify (* 0.5 (log (* -2.0 (log u1)))) into (* 0.5 (log (* -2.0 (log u1))))
5.115 * [backup-simplify]: Simplify (exp (* 0.5 (log (* -2.0 (log u1))))) into (pow (* -2.0 (log u1)) 0.5)
5.115 * [backup-simplify]: Simplify (pow (* -2.0 (log u1)) 0.5) into (pow (* -2.0 (log u1)) 0.5)
5.116 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
5.116 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.116 * [backup-simplify]: Simplify (+ (* -2.0 0) (* 0 (log u1))) into 0
5.117 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (* -2.0 (log u1)) 1)))) 1) into 0
5.117 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (* -2.0 (log u1))))) into 0
5.118 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (log u1))))) (+ (* (/ (pow 0 1) 1)))) into 0
5.118 * [backup-simplify]: Simplify 0 into 0
5.120 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
5.120 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.120 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (* 0 (log u1)))) into 0
5.122 * [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
5.122 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (* -2.0 (log u1)))))) into 0
5.123 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (log u1))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.123 * [backup-simplify]: Simplify 0 into 0
5.126 * [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.127 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.128 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log u1))))) into 0
5.131 * [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
5.133 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (log u1))))))) into 0
5.135 * [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
5.135 * [backup-simplify]: Simplify 0 into 0
5.146 * [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.147 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.149 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log u1)))))) into 0
5.154 * [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
5.156 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (log u1)))))))) into 0
5.159 * [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
5.159 * [backup-simplify]: Simplify 0 into 0
5.178 * [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.179 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.181 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log u1))))))) into 0
5.190 * [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
5.193 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (log u1))))))))) into 0
5.197 * [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
5.197 * [backup-simplify]: Simplify 0 into 0
5.231 * [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.231 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.234 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log u1)))))))) into 0
5.256 * [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
5.259 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (log u1)))))))))) into 0
5.265 * [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
5.265 * [backup-simplify]: Simplify 0 into 0
5.265 * [backup-simplify]: Simplify (pow (* -2.0 (log u1)) 0.5) into (pow (* -2.0 (log u1)) 0.5)
5.266 * [backup-simplify]: Simplify (pow (* -2.0 (log (/ 1 u1))) 0.5) into (pow (* -2.0 (log (/ 1 u1))) 0.5)
5.266 * [approximate]: Taking taylor expansion of (pow (* -2.0 (log (/ 1 u1))) 0.5) in (u1) around 0
5.266 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log (/ 1 u1))) 0.5) in u1
5.266 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log (/ 1 u1)))))) in u1
5.266 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log (/ 1 u1))))) in u1
5.266 * [taylor]: Taking taylor expansion of 0.5 in u1
5.266 * [backup-simplify]: Simplify 0.5 into 0.5
5.266 * [taylor]: Taking taylor expansion of (log (* -2.0 (log (/ 1 u1)))) in u1
5.266 * [taylor]: Taking taylor expansion of (* -2.0 (log (/ 1 u1))) in u1
5.266 * [taylor]: Taking taylor expansion of -2.0 in u1
5.266 * [backup-simplify]: Simplify -2.0 into -2.0
5.266 * [taylor]: Taking taylor expansion of (log (/ 1 u1)) in u1
5.266 * [taylor]: Taking taylor expansion of (/ 1 u1) in u1
5.266 * [taylor]: Taking taylor expansion of u1 in u1
5.266 * [backup-simplify]: Simplify 0 into 0
5.266 * [backup-simplify]: Simplify 1 into 1
5.266 * [backup-simplify]: Simplify (/ 1 1) into 1
5.267 * [backup-simplify]: Simplify (log 1) into 0
5.267 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.267 * [backup-simplify]: Simplify (* -2.0 (- (log u1))) into (* 2.0 (log u1))
5.268 * [backup-simplify]: Simplify (log (* 2.0 (log u1))) into (log (* 2.0 (log u1)))
5.268 * [backup-simplify]: Simplify (* 0.5 (log (* 2.0 (log u1)))) into (* 0.5 (log (* 2.0 (log u1))))
5.268 * [backup-simplify]: Simplify (exp (* 0.5 (log (* 2.0 (log u1))))) into (pow (* 2.0 (log u1)) 0.5)
5.268 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log (/ 1 u1))) 0.5) in u1
5.268 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log (/ 1 u1)))))) in u1
5.268 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log (/ 1 u1))))) in u1
5.268 * [taylor]: Taking taylor expansion of 0.5 in u1
5.268 * [backup-simplify]: Simplify 0.5 into 0.5
5.268 * [taylor]: Taking taylor expansion of (log (* -2.0 (log (/ 1 u1)))) in u1
5.268 * [taylor]: Taking taylor expansion of (* -2.0 (log (/ 1 u1))) in u1
5.268 * [taylor]: Taking taylor expansion of -2.0 in u1
5.268 * [backup-simplify]: Simplify -2.0 into -2.0
5.268 * [taylor]: Taking taylor expansion of (log (/ 1 u1)) in u1
5.268 * [taylor]: Taking taylor expansion of (/ 1 u1) in u1
5.268 * [taylor]: Taking taylor expansion of u1 in u1
5.268 * [backup-simplify]: Simplify 0 into 0
5.268 * [backup-simplify]: Simplify 1 into 1
5.269 * [backup-simplify]: Simplify (/ 1 1) into 1
5.269 * [backup-simplify]: Simplify (log 1) into 0
5.270 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.270 * [backup-simplify]: Simplify (* -2.0 (- (log u1))) into (* 2.0 (log u1))
5.270 * [backup-simplify]: Simplify (log (* 2.0 (log u1))) into (log (* 2.0 (log u1)))
5.270 * [backup-simplify]: Simplify (* 0.5 (log (* 2.0 (log u1)))) into (* 0.5 (log (* 2.0 (log u1))))
5.270 * [backup-simplify]: Simplify (exp (* 0.5 (log (* 2.0 (log u1))))) into (pow (* 2.0 (log u1)) 0.5)
5.271 * [backup-simplify]: Simplify (pow (* 2.0 (log u1)) 0.5) into (pow (* 2.0 (log u1)) 0.5)
5.271 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.273 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
5.273 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.274 * [backup-simplify]: Simplify (+ (* -2.0 0) (* 0 (- (log u1)))) into 0
5.275 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (* 2.0 (log u1)) 1)))) 1) into 0
5.275 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (* 2.0 (log u1))))) into 0
5.276 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* 2.0 (log u1))))) (+ (* (/ (pow 0 1) 1)))) into 0
5.276 * [backup-simplify]: Simplify 0 into 0
5.277 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.280 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
5.281 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.282 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (* 0 (- (log u1))))) into 0
5.284 * [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
5.285 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (* 2.0 (log u1)))))) into 0
5.287 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* 2.0 (log u1))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.287 * [backup-simplify]: Simplify 0 into 0
5.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.294 * [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.294 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.296 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log u1)))))) into 0
5.299 * [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
5.301 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* 2.0 (log u1))))))) into 0
5.303 * [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
5.303 * [backup-simplify]: Simplify 0 into 0
5.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.311 * [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.312 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.313 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log u1))))))) into 0
5.316 * [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
5.317 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* 2.0 (log u1)))))))) into 0
5.319 * [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
5.319 * [backup-simplify]: Simplify 0 into 0
5.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.330 * [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.330 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.331 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log u1)))))))) into 0
5.337 * [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
5.338 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* 2.0 (log u1))))))))) into 0
5.342 * [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
5.342 * [backup-simplify]: Simplify 0 into 0
5.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.377 * [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.385 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.389 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log u1))))))))) into 0
5.401 * [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
5.402 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* 2.0 (log u1)))))))))) into 0
5.406 * [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
5.406 * [backup-simplify]: Simplify 0 into 0
5.406 * [backup-simplify]: Simplify (pow (* 2.0 (log (/ 1 u1))) 0.5) into (pow (* 2.0 (log (/ 1 u1))) 0.5)
5.406 * [backup-simplify]: Simplify (pow (* -2.0 (log (/ 1 (- u1)))) 0.5) into (pow (* -2.0 (log (/ -1 u1))) 0.5)
5.406 * [approximate]: Taking taylor expansion of (pow (* -2.0 (log (/ -1 u1))) 0.5) in (u1) around 0
5.406 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log (/ -1 u1))) 0.5) in u1
5.406 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log (/ -1 u1)))))) in u1
5.406 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log (/ -1 u1))))) in u1
5.406 * [taylor]: Taking taylor expansion of 0.5 in u1
5.406 * [backup-simplify]: Simplify 0.5 into 0.5
5.406 * [taylor]: Taking taylor expansion of (log (* -2.0 (log (/ -1 u1)))) in u1
5.406 * [taylor]: Taking taylor expansion of (* -2.0 (log (/ -1 u1))) in u1
5.406 * [taylor]: Taking taylor expansion of -2.0 in u1
5.406 * [backup-simplify]: Simplify -2.0 into -2.0
5.406 * [taylor]: Taking taylor expansion of (log (/ -1 u1)) in u1
5.406 * [taylor]: Taking taylor expansion of (/ -1 u1) in u1
5.406 * [taylor]: Taking taylor expansion of -1 in u1
5.406 * [backup-simplify]: Simplify -1 into -1
5.406 * [taylor]: Taking taylor expansion of u1 in u1
5.406 * [backup-simplify]: Simplify 0 into 0
5.406 * [backup-simplify]: Simplify 1 into 1
5.407 * [backup-simplify]: Simplify (/ -1 1) into -1
5.407 * [backup-simplify]: Simplify (log -1) into (log -1)
5.408 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.408 * [backup-simplify]: Simplify (* -2.0 (- (log -1) (log u1))) into (* -2.0 (- (log -1) (log u1)))
5.408 * [backup-simplify]: Simplify (log (* -2.0 (- (log -1) (log u1)))) into (log (* -2.0 (- (log -1) (log u1))))
5.408 * [backup-simplify]: Simplify (* 0.5 (log (* -2.0 (- (log -1) (log u1))))) into (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))
5.409 * [backup-simplify]: Simplify (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) into (pow (* -2.0 (- (log -1) (log u1))) 0.5)
5.409 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log (/ -1 u1))) 0.5) in u1
5.409 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log (/ -1 u1)))))) in u1
5.409 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log (/ -1 u1))))) in u1
5.409 * [taylor]: Taking taylor expansion of 0.5 in u1
5.409 * [backup-simplify]: Simplify 0.5 into 0.5
5.409 * [taylor]: Taking taylor expansion of (log (* -2.0 (log (/ -1 u1)))) in u1
5.409 * [taylor]: Taking taylor expansion of (* -2.0 (log (/ -1 u1))) in u1
5.409 * [taylor]: Taking taylor expansion of -2.0 in u1
5.409 * [backup-simplify]: Simplify -2.0 into -2.0
5.409 * [taylor]: Taking taylor expansion of (log (/ -1 u1)) in u1
5.409 * [taylor]: Taking taylor expansion of (/ -1 u1) in u1
5.409 * [taylor]: Taking taylor expansion of -1 in u1
5.409 * [backup-simplify]: Simplify -1 into -1
5.409 * [taylor]: Taking taylor expansion of u1 in u1
5.409 * [backup-simplify]: Simplify 0 into 0
5.409 * [backup-simplify]: Simplify 1 into 1
5.409 * [backup-simplify]: Simplify (/ -1 1) into -1
5.410 * [backup-simplify]: Simplify (log -1) into (log -1)
5.410 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.410 * [backup-simplify]: Simplify (* -2.0 (- (log -1) (log u1))) into (* -2.0 (- (log -1) (log u1)))
5.411 * [backup-simplify]: Simplify (log (* -2.0 (- (log -1) (log u1)))) into (log (* -2.0 (- (log -1) (log u1))))
5.411 * [backup-simplify]: Simplify (* 0.5 (log (* -2.0 (- (log -1) (log u1))))) into (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))
5.411 * [backup-simplify]: Simplify (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) into (pow (* -2.0 (- (log -1) (log u1))) 0.5)
5.412 * [backup-simplify]: Simplify (pow (* -2.0 (- (log -1) (log u1))) 0.5) into (pow (* -2.0 (- (log -1) (log u1))) 0.5)
5.412 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.413 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
5.414 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.414 * [backup-simplify]: Simplify (+ (* -2.0 0) (* 0 (- (log -1) (log u1)))) into 0
5.415 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 1)))) 1) into 0
5.416 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (* -2.0 (- (log -1) (log u1)))))) into 0
5.417 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) (+ (* (/ (pow 0 1) 1)))) into 0
5.417 * [backup-simplify]: Simplify 0 into 0
5.417 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.419 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
5.419 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.420 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (* 0 (- (log -1) (log u1))))) into 0
5.422 * [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
5.423 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (* -2.0 (- (log -1) (log u1))))))) into 0
5.424 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.424 * [backup-simplify]: Simplify 0 into 0
5.424 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.428 * [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.429 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.431 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log u1)))))) into 0
5.436 * [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
5.437 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (- (log -1) (log u1)))))))) into 0
5.439 * [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
5.440 * [backup-simplify]: Simplify 0 into 0
5.441 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.453 * [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.454 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.455 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log u1))))))) into 0
5.460 * [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
5.461 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (- (log -1) (log u1))))))))) into 0
5.463 * [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
5.463 * [backup-simplify]: Simplify 0 into 0
5.464 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.474 * [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.475 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.476 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log u1)))))))) into 0
5.483 * [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
5.486 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (- (log -1) (log u1)))))))))) into 0
5.490 * [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
5.490 * [backup-simplify]: Simplify 0 into 0
5.492 * [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.529 * [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.530 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.531 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log u1))))))))) into 0
5.542 * [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
5.543 * [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
5.547 * [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
5.547 * [backup-simplify]: Simplify 0 into 0
5.547 * [backup-simplify]: Simplify (pow (* -2.0 (- (log -1) (log (/ 1 (- u1))))) 0.5) into (pow (* -2.0 (- (log -1) (log (/ -1 u1)))) 0.5)
5.548 * * * * [progress]: [ 4 / 4 ] generating series at (2)
5.549 * [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)
5.549 * [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
5.549 * [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
5.549 * [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
5.549 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u2
5.549 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
5.549 * [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
5.549 * [taylor]: Taking taylor expansion of (cos (* 2.0 (* u2 PI))) in u2
5.549 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u2
5.549 * [taylor]: Taking taylor expansion of 2.0 in u2
5.549 * [backup-simplify]: Simplify 2.0 into 2.0
5.549 * [taylor]: Taking taylor expansion of (* u2 PI) in u2
5.549 * [taylor]: Taking taylor expansion of u2 in u2
5.549 * [backup-simplify]: Simplify 0 into 0
5.549 * [backup-simplify]: Simplify 1 into 1
5.549 * [taylor]: Taking taylor expansion of PI in u2
5.549 * [backup-simplify]: Simplify PI into PI
5.549 * [backup-simplify]: Simplify (* 0 PI) into 0
5.549 * [backup-simplify]: Simplify (* 2.0 0) into 0
5.550 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 PI)) into PI
5.552 * [backup-simplify]: Simplify (+ (* 2.0 PI) (* 0 0)) into (* 2.0 PI)
5.552 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u2
5.552 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u2
5.552 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u2
5.552 * [taylor]: Taking taylor expansion of 0.5 in u2
5.552 * [backup-simplify]: Simplify 0.5 into 0.5
5.552 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u2
5.552 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u2
5.552 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u2
5.552 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u2
5.552 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u2
5.552 * [taylor]: Taking taylor expansion of 1.0 in u2
5.552 * [backup-simplify]: Simplify 1.0 into 1.0
5.552 * [taylor]: Taking taylor expansion of (log (log u1)) in u2
5.552 * [taylor]: Taking taylor expansion of (log u1) in u2
5.553 * [taylor]: Taking taylor expansion of u1 in u2
5.553 * [backup-simplify]: Simplify u1 into u1
5.553 * [backup-simplify]: Simplify (log u1) into (log u1)
5.553 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
5.553 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
5.553 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
5.553 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u2
5.553 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u2
5.553 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u2
5.553 * [taylor]: Taking taylor expansion of 1.0 in u2
5.553 * [backup-simplify]: Simplify 1.0 into 1.0
5.553 * [taylor]: Taking taylor expansion of (log -2.0) in u2
5.553 * [taylor]: Taking taylor expansion of -2.0 in u2
5.553 * [backup-simplify]: Simplify -2.0 into -2.0
5.554 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
5.555 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
5.556 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
5.557 * [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)
5.558 * [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))
5.559 * [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)))
5.560 * [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)
5.560 * [taylor]: Taking taylor expansion of 0.5 in u2
5.560 * [backup-simplify]: Simplify 0.5 into 0.5
5.560 * [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
5.560 * [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
5.560 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
5.560 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
5.560 * [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
5.560 * [taylor]: Taking taylor expansion of (cos (* 2.0 (* u2 PI))) in u1
5.560 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u1
5.560 * [taylor]: Taking taylor expansion of 2.0 in u1
5.560 * [backup-simplify]: Simplify 2.0 into 2.0
5.560 * [taylor]: Taking taylor expansion of (* u2 PI) in u1
5.560 * [taylor]: Taking taylor expansion of u2 in u1
5.560 * [backup-simplify]: Simplify u2 into u2
5.560 * [taylor]: Taking taylor expansion of PI in u1
5.560 * [backup-simplify]: Simplify PI into PI
5.560 * [backup-simplify]: Simplify (* u2 PI) into (* u2 PI)
5.561 * [backup-simplify]: Simplify (* 2.0 (* u2 PI)) into (* 2.0 (* u2 PI))
5.561 * [backup-simplify]: Simplify (cos (* 2.0 (* u2 PI))) into (cos (* 2.0 (* u2 PI)))
5.561 * [backup-simplify]: Simplify (sin (* 2.0 (* u2 PI))) into (sin (* 2.0 (* u2 PI)))
5.561 * [taylor]: Taking taylor expansion of (pow (* (pow (log 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 u1) 1.0) (pow -2.0 1.0))))) in u1
5.561 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log 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 u1) 1.0) (pow -2.0 1.0))) in u1
5.561 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u1
5.561 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u1
5.561 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u1
5.562 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u1
5.562 * [taylor]: Taking taylor expansion of 1.0 in u1
5.562 * [backup-simplify]: Simplify 1.0 into 1.0
5.562 * [taylor]: Taking taylor expansion of (log (log u1)) in u1
5.562 * [taylor]: Taking taylor expansion of (log u1) in u1
5.562 * [taylor]: Taking taylor expansion of u1 in u1
5.562 * [backup-simplify]: Simplify 0 into 0
5.562 * [backup-simplify]: Simplify 1 into 1
5.562 * [backup-simplify]: Simplify (log 1) into 0
5.563 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.563 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.563 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
5.563 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
5.563 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (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.565 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
5.566 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
5.567 * [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)
5.568 * [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))
5.568 * [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)))
5.569 * [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)
5.570 * [taylor]: Taking taylor expansion of 0.5 in u1
5.570 * [backup-simplify]: Simplify 0.5 into 0.5
5.570 * [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
5.570 * [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
5.570 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
5.570 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
5.570 * [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
5.570 * [taylor]: Taking taylor expansion of (cos (* 2.0 (* u2 PI))) in u1
5.570 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u1
5.570 * [taylor]: Taking taylor expansion of 2.0 in u1
5.570 * [backup-simplify]: Simplify 2.0 into 2.0
5.570 * [taylor]: Taking taylor expansion of (* u2 PI) in u1
5.570 * [taylor]: Taking taylor expansion of u2 in u1
5.570 * [backup-simplify]: Simplify u2 into u2
5.570 * [taylor]: Taking taylor expansion of PI in u1
5.570 * [backup-simplify]: Simplify PI into PI
5.570 * [backup-simplify]: Simplify (* u2 PI) into (* u2 PI)
5.570 * [backup-simplify]: Simplify (* 2.0 (* u2 PI)) into (* 2.0 (* u2 PI))
5.570 * [backup-simplify]: Simplify (cos (* 2.0 (* u2 PI))) into (cos (* 2.0 (* u2 PI)))
5.570 * [backup-simplify]: Simplify (sin (* 2.0 (* u2 PI))) into (sin (* 2.0 (* u2 PI)))
5.570 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u1
5.570 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u1
5.571 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u1
5.571 * [taylor]: Taking taylor expansion of 0.5 in u1
5.571 * [backup-simplify]: Simplify 0.5 into 0.5
5.571 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u1
5.571 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u1
5.571 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u1
5.571 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u1
5.571 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u1
5.571 * [taylor]: Taking taylor expansion of 1.0 in u1
5.571 * [backup-simplify]: Simplify 1.0 into 1.0
5.571 * [taylor]: Taking taylor expansion of (log (log u1)) in u1
5.571 * [taylor]: Taking taylor expansion of (log u1) in u1
5.571 * [taylor]: Taking taylor expansion of u1 in u1
5.571 * [backup-simplify]: Simplify 0 into 0
5.571 * [backup-simplify]: Simplify 1 into 1
5.571 * [backup-simplify]: Simplify (log 1) into 0
5.572 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.572 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.572 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
5.573 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
5.573 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
5.573 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
5.573 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
5.573 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
5.573 * [taylor]: Taking taylor expansion of 1.0 in u1
5.573 * [backup-simplify]: Simplify 1.0 into 1.0
5.573 * [taylor]: Taking taylor expansion of (log -2.0) in u1
5.573 * [taylor]: Taking taylor expansion of -2.0 in u1
5.573 * [backup-simplify]: Simplify -2.0 into -2.0
5.573 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
5.574 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
5.576 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
5.577 * [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)
5.577 * [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))
5.578 * [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)))
5.579 * [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)
5.579 * [taylor]: Taking taylor expansion of 0.5 in u1
5.579 * [backup-simplify]: Simplify 0.5 into 0.5
5.580 * [backup-simplify]: Simplify (* (cos (* 2.0 (* u2 PI))) 1) into (cos (* 2.0 (* u2 PI)))
5.580 * [backup-simplify]: Simplify (* (sin (* 2.0 (* u2 PI))) 0) into 0
5.581 * [backup-simplify]: Simplify (- 0) into 0
5.581 * [backup-simplify]: Simplify (+ (cos (* 2.0 (* u2 PI))) 0) into (cos (* 2.0 (* u2 PI)))
5.582 * [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))
5.583 * [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)))
5.584 * [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)
5.584 * [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
5.584 * [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
5.584 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u2
5.584 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
5.584 * [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
5.584 * [taylor]: Taking taylor expansion of (cos (* 2.0 (* u2 PI))) in u2
5.584 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u2
5.584 * [taylor]: Taking taylor expansion of 2.0 in u2
5.584 * [backup-simplify]: Simplify 2.0 into 2.0
5.584 * [taylor]: Taking taylor expansion of (* u2 PI) in u2
5.585 * [taylor]: Taking taylor expansion of u2 in u2
5.585 * [backup-simplify]: Simplify 0 into 0
5.585 * [backup-simplify]: Simplify 1 into 1
5.585 * [taylor]: Taking taylor expansion of PI in u2
5.585 * [backup-simplify]: Simplify PI into PI
5.585 * [backup-simplify]: Simplify (* 0 PI) into 0
5.586 * [backup-simplify]: Simplify (* 2.0 0) into 0
5.587 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 PI)) into PI
5.589 * [backup-simplify]: Simplify (+ (* 2.0 PI) (* 0 0)) into (* 2.0 PI)
5.589 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u2
5.589 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u2
5.589 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u2
5.589 * [taylor]: Taking taylor expansion of 0.5 in u2
5.589 * [backup-simplify]: Simplify 0.5 into 0.5
5.589 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u2
5.589 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u2
5.589 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u2
5.589 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u2
5.589 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u2
5.589 * [taylor]: Taking taylor expansion of 1.0 in u2
5.589 * [backup-simplify]: Simplify 1.0 into 1.0
5.589 * [taylor]: Taking taylor expansion of (log (log u1)) in u2
5.589 * [taylor]: Taking taylor expansion of (log u1) in u2
5.589 * [taylor]: Taking taylor expansion of u1 in u2
5.589 * [backup-simplify]: Simplify u1 into u1
5.589 * [backup-simplify]: Simplify (log u1) into (log u1)
5.589 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
5.589 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
5.590 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
5.590 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u2
5.590 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u2
5.590 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u2
5.590 * [taylor]: Taking taylor expansion of 1.0 in u2
5.590 * [backup-simplify]: Simplify 1.0 into 1.0
5.590 * [taylor]: Taking taylor expansion of (log -2.0) in u2
5.590 * [taylor]: Taking taylor expansion of -2.0 in u2
5.590 * [backup-simplify]: Simplify -2.0 into -2.0
5.590 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
5.591 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
5.593 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
5.594 * [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)
5.594 * [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))
5.595 * [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)))
5.596 * [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)
5.596 * [taylor]: Taking taylor expansion of 0.5 in u2
5.596 * [backup-simplify]: Simplify 0.5 into 0.5
5.597 * [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)
5.598 * [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.599 * [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)
5.600 * [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)
5.601 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2.0 1)))) 1) into 0
5.602 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log -2.0))) into 0
5.604 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 1) 1)))) into 0
5.605 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
5.606 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.607 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log u1) 1)))) 1) into 0
5.607 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (log u1)))) into 0
5.608 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 1) 1)))) into 0
5.609 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (* 0 (pow -2.0 1.0))) into 0
5.611 * [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
5.612 * [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
5.614 * [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
5.614 * [backup-simplify]: Simplify (+ 0) into 0
5.615 * [backup-simplify]: Simplify (+ (* (cos (* 2.0 (* u2 PI))) 0) (* 0 1)) into 0
5.616 * [backup-simplify]: Simplify (+ (* u2 0) (* 0 PI)) into 0
5.616 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 (* u2 PI))) into 0
5.617 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.618 * [backup-simplify]: Simplify (+ (* (sin (* 2.0 (* u2 PI))) 0) (* 0 0)) into 0
5.618 * [backup-simplify]: Simplify (- 0) into 0
5.619 * [backup-simplify]: Simplify (+ 0 0) into 0
5.619 * [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
5.620 * [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
5.620 * [backup-simplify]: Simplify (+ 0 0) into 0
5.620 * [taylor]: Taking taylor expansion of 0 in u2
5.620 * [backup-simplify]: Simplify 0 into 0
5.620 * [backup-simplify]: Simplify 0 into 0
5.621 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2.0 1)))) 1) into 0
5.622 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log -2.0))) into 0
5.623 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 1) 1)))) into 0
5.623 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow u1 1)))) 1) into 0
5.624 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log u1) 1)))) 1) into 0
5.624 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (log u1)))) into 0
5.625 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 1) 1)))) into 0
5.625 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (* 0 (pow -2.0 1.0))) into 0
5.627 * [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
5.627 * [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
5.628 * [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
5.629 * [backup-simplify]: Simplify (+ 0) into 0
5.630 * [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
5.630 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (* 0 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) into 0
5.631 * [backup-simplify]: Simplify (+ 0 0) into 0
5.631 * [backup-simplify]: Simplify 0 into 0
5.633 * [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.634 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log -2.0)))) into 0
5.635 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.636 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.637 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
5.638 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.639 * [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.639 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log (log u1))))) into 0
5.646 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.647 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))) into 0
5.650 * [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
5.651 * [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
5.654 * [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
5.655 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.655 * [backup-simplify]: Simplify (+ (* (cos (* 2.0 (* u2 PI))) 0) (+ (* 0 0) (* 0 1))) into 0
5.656 * [backup-simplify]: Simplify (+ (* u2 0) (+ (* 0 0) (* 0 PI))) into 0
5.657 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 (* u2 PI)))) into 0
5.659 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.659 * [backup-simplify]: Simplify (+ (* (sin (* 2.0 (* u2 PI))) 0) (+ (* 0 0) (* 0 0))) into 0
5.660 * [backup-simplify]: Simplify (- 0) into 0
5.660 * [backup-simplify]: Simplify (+ 0 0) into 0
5.661 * [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
5.663 * [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
5.663 * [backup-simplify]: Simplify (+ 0 0) into 0
5.663 * [taylor]: Taking taylor expansion of 0 in u2
5.664 * [backup-simplify]: Simplify 0 into 0
5.664 * [backup-simplify]: Simplify 0 into 0
5.664 * [backup-simplify]: Simplify 0 into 0
5.667 * [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.668 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log -2.0)))) into 0
5.671 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0