1.231 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.230 * * * [progress]: [2/2] Setting up program.
0.238 * [progress]: [Phase 2 of 3] Improving.
0.242 * [simplify]: Simplifying:
  (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)
0.243 * * [simplify]: Extracting # 0 : cost  0
0.244 * * [simplify]: Extracting # 1 : cost  0
0.244 * * [simplify]: Extracting # 2 : cost  0
0.244 * * [simplify]: Extracting # 3 : cost  0
0.244 * * [simplify]: Extracting # 4 : cost  0
0.244 * * [simplify]: Extracting # 5 : cost  0
0.244 * * [simplify]: Extracting # 6 : cost  0
0.244 * * [simplify]: Extracting # 7 : cost  0
0.244 * * [simplify]: Extracting # 8 : cost  0
0.244 * * [simplify]: Extracting # 9 : cost  0
0.244 * * [simplify]: iteration  0 :  18  enodes  (cost  19 )
0.303 * * [simplify]: Extracting # 0 : cost  0
0.303 * * [simplify]: Extracting # 1 : cost  0
0.304 * * [simplify]: Extracting # 2 : cost  0
0.304 * * [simplify]: Extracting # 3 : cost  0
0.304 * * [simplify]: Extracting # 4 : cost  0
0.304 * * [simplify]: Extracting # 5 : cost  0
0.304 * * [simplify]: iteration  1 :  35  enodes  (cost  18 )
0.323 * * [simplify]: Extracting # 0 : cost  0
0.324 * * [simplify]: Extracting # 1 : cost  0
0.324 * * [simplify]: Extracting # 2 : cost  0
0.324 * * [simplify]: Extracting # 3 : cost  0
0.324 * * [simplify]: iteration  2 :  72  enodes  (cost  18 )
0.348 * * [simplify]: Extracting # 0 : cost  0
0.348 * * [simplify]: Extracting # 1 : cost  0
0.348 * * [simplify]: Extracting # 2 : cost  0
0.348 * * [simplify]: Extracting # 3 : cost  0
0.349 * * [simplify]: Extracting # 4 : cost  0
0.349 * * [simplify]: iteration  3 :  156  enodes  (cost  18 )
0.470 * * [simplify]: Extracting # 0 : cost  0
0.471 * * [simplify]: Extracting # 1 : cost  0
0.472 * * [simplify]: Extracting # 2 : cost  0
0.473 * * [simplify]: Extracting # 3 : cost  0
0.474 * * [simplify]: Extracting # 4 : cost  0
0.475 * * [simplify]: iteration  4 :  450  enodes  (cost  18 )
1.097 * * [simplify]: Extracting # 0 : cost  0
1.099 * * [simplify]: Extracting # 1 : cost  0
1.100 * * [simplify]: Extracting # 2 : cost  0
1.101 * * [simplify]: Extracting # 3 : cost  0
1.103 * * [simplify]: Extracting # 4 : cost  0
1.104 * * [simplify]: iteration  5 :  1407  enodes  (cost  18 )
4.480 * * [simplify]: Extracting # 0 : cost  0
4.500 * * [simplify]: Extracting # 1 : cost  0
4.510 * * [simplify]: Extracting # 2 : cost  0
4.519 * * [simplify]: Extracting # 3 : cost  0
4.536 * * [simplify]: Extracting # 4 : cost  0
4.545 * * [simplify]: iteration done:  5000  enodes  (cost  18 )
4.545 * [simplify]: Simplified to:
  (fma (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2)) 0.5)
4.559 * * [progress]: iteration 1 / 4
4.559 * * * [progress]: picking best candidate
4.567 * * * * [pick]: Picked  #<alt (λ (u1 u2) (fma (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2)) 0.5))>
4.567 * * * [progress]: localizing error
4.612 * * * [progress]: generating rewritten candidates
4.613 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
4.650 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
4.690 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
4.703 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
4.711 * * * [progress]: generating series expansions
4.711 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
4.718 * [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.718 * [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.720 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in u1
4.720 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
4.720 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
4.720 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u1
4.720 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u1
4.720 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u1
4.720 * [taylor]: Taking taylor expansion of 0.5 in u1
4.720 * [backup-simplify]: Simplify 0.5 into 0.5
4.720 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u1
4.720 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u1
4.720 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u1
4.720 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u1
4.720 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u1
4.720 * [taylor]: Taking taylor expansion of 1.0 in u1
4.720 * [backup-simplify]: Simplify 1.0 into 1.0
4.720 * [taylor]: Taking taylor expansion of (log (log u1)) in u1
4.720 * [taylor]: Taking taylor expansion of (log u1) in u1
4.720 * [taylor]: Taking taylor expansion of u1 in u1
4.720 * [backup-simplify]: Simplify 0 into 0
4.720 * [backup-simplify]: Simplify 1 into 1
4.721 * [backup-simplify]: Simplify (log 1) into 0
4.722 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.723 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.723 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
4.723 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
4.723 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
4.723 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
4.723 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
4.724 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
4.724 * [taylor]: Taking taylor expansion of 1.0 in u1
4.724 * [backup-simplify]: Simplify 1.0 into 1.0
4.724 * [taylor]: Taking taylor expansion of (log -2.0) in u1
4.724 * [taylor]: Taking taylor expansion of -2.0 in u1
4.724 * [backup-simplify]: Simplify -2.0 into -2.0
4.724 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
4.725 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
4.727 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
4.728 * [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.728 * [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.729 * [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.730 * [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.730 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in u1
4.730 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
4.730 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
4.730 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u1
4.730 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u1
4.730 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u1
4.730 * [taylor]: Taking taylor expansion of 0.5 in u1
4.730 * [backup-simplify]: Simplify 0.5 into 0.5
4.730 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u1
4.730 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u1
4.730 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u1
4.730 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u1
4.730 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u1
4.730 * [taylor]: Taking taylor expansion of 1.0 in u1
4.730 * [backup-simplify]: Simplify 1.0 into 1.0
4.731 * [taylor]: Taking taylor expansion of (log (log u1)) in u1
4.731 * [taylor]: Taking taylor expansion of (log u1) in u1
4.731 * [taylor]: Taking taylor expansion of u1 in u1
4.731 * [backup-simplify]: Simplify 0 into 0
4.731 * [backup-simplify]: Simplify 1 into 1
4.731 * [backup-simplify]: Simplify (log 1) into 0
4.731 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.732 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.732 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
4.732 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
4.732 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
4.732 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
4.732 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
4.732 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
4.732 * [taylor]: Taking taylor expansion of 1.0 in u1
4.732 * [backup-simplify]: Simplify 1.0 into 1.0
4.732 * [taylor]: Taking taylor expansion of (log -2.0) in u1
4.732 * [taylor]: Taking taylor expansion of -2.0 in u1
4.732 * [backup-simplify]: Simplify -2.0 into -2.0
4.733 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
4.734 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
4.735 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
4.736 * [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.737 * [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.737 * [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.738 * [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.740 * [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.741 * [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.743 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2.0 1)))) 1) into 0
4.744 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log -2.0))) into 0
4.746 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 1) 1)))) into 0
4.748 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
4.748 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.749 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log u1) 1)))) 1) into 0
4.750 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (log u1)))) into 0
4.751 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 1) 1)))) into 0
4.751 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (* 0 (pow -2.0 1.0))) into 0
4.753 * [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.754 * [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.756 * [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.757 * [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.757 * [backup-simplify]: Simplify 0 into 0
4.761 * [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.762 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log -2.0)))) into 0
4.763 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.763 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.765 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
4.765 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.766 * [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.767 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log (log u1))))) into 0
4.768 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.768 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))) into 0
4.770 * [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.771 * [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.772 * [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.774 * [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.774 * [backup-simplify]: Simplify 0 into 0
4.777 * [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.778 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))) into 0
4.780 * [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.780 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.781 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.783 * [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.784 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.786 * [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.787 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log u1)))))) into 0
4.788 * [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.788 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0))))) into 0
4.801 * [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.803 * [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.806 * [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.808 * [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.808 * [backup-simplify]: Simplify 0 into 0
4.821 * [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.823 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))) into 0
4.827 * [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.828 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.828 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.829 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.829 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.835 * [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.836 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.839 * [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.841 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log u1))))))) into 0
4.842 * [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.843 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))))) into 0
4.848 * [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.849 * [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.851 * [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.853 * [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.853 * [backup-simplify]: Simplify 0 into 0
4.869 * [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.871 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))))) into 0
4.876 * [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.877 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.877 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.878 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.878 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.879 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.879 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.890 * [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.890 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.895 * [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.897 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log u1)))))))) into 0
4.899 * [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.900 * [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.907 * [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.909 * [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.912 * [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.919 * [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.919 * [backup-simplify]: Simplify 0 into 0
4.939 * [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.941 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))))) into 0
4.950 * [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.951 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.951 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.952 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.952 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.953 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.953 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.953 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.954 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.954 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.954 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.971 * [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.972 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.979 * [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.981 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log u1))))))))) into 0
4.987 * [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.989 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))))))) into 0
5.008 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1)))) 720) into 0
5.010 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))))))))) into 0
5.014 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.016 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)))))))) into 0
5.016 * [backup-simplify]: Simplify 0 into 0
5.016 * [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.017 * [backup-simplify]: Simplify (* (/ 1.0 6.0) (pow (* -2.0 (log (/ 1 u1))) 0.5)) into (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5))
5.017 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5)) in (u1) around 0
5.017 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5)) in u1
5.017 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
5.017 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
5.017 * [taylor]: Taking taylor expansion of (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5) in u1
5.017 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))))) in u1
5.017 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)))) in u1
5.017 * [taylor]: Taking taylor expansion of 0.5 in u1
5.017 * [backup-simplify]: Simplify 0.5 into 0.5
5.017 * [taylor]: Taking taylor expansion of (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) in u1
5.017 * [taylor]: Taking taylor expansion of (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) in u1
5.017 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
5.017 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
5.017 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
5.017 * [taylor]: Taking taylor expansion of 1.0 in u1
5.017 * [backup-simplify]: Simplify 1.0 into 1.0
5.017 * [taylor]: Taking taylor expansion of (log -2.0) in u1
5.017 * [taylor]: Taking taylor expansion of -2.0 in u1
5.017 * [backup-simplify]: Simplify -2.0 into -2.0
5.017 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
5.018 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
5.019 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
5.019 * [taylor]: Taking taylor expansion of (pow (log (/ 1 u1)) 1.0) in u1
5.019 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log (/ 1 u1))))) in u1
5.019 * [taylor]: Taking taylor expansion of (* 1.0 (log (log (/ 1 u1)))) in u1
5.019 * [taylor]: Taking taylor expansion of 1.0 in u1
5.019 * [backup-simplify]: Simplify 1.0 into 1.0
5.019 * [taylor]: Taking taylor expansion of (log (log (/ 1 u1))) in u1
5.019 * [taylor]: Taking taylor expansion of (log (/ 1 u1)) in u1
5.019 * [taylor]: Taking taylor expansion of (/ 1 u1) in u1
5.019 * [taylor]: Taking taylor expansion of u1 in u1
5.019 * [backup-simplify]: Simplify 0 into 0
5.019 * [backup-simplify]: Simplify 1 into 1
5.020 * [backup-simplify]: Simplify (/ 1 1) into 1
5.020 * [backup-simplify]: Simplify (log 1) into 0
5.021 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.021 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.022 * [backup-simplify]: Simplify (log (- (log u1))) into (log (- (log u1)))
5.022 * [backup-simplify]: Simplify (* 1.0 (log (- (log u1)))) into (* 1.0 (log (- (log u1))))
5.022 * [backup-simplify]: Simplify (exp (* 1.0 (log (- (log u1))))) into (pow (- (log u1)) 1.0)
5.025 * [backup-simplify]: Simplify (* (pow -2.0 1.0) (pow (- (log u1)) 1.0)) into (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0)
5.026 * [backup-simplify]: Simplify (log (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0)) into (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0))
5.026 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))
5.027 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5)
5.027 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5)) in u1
5.027 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
5.027 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
5.027 * [taylor]: Taking taylor expansion of (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5) in u1
5.027 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))))) in u1
5.028 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)))) in u1
5.028 * [taylor]: Taking taylor expansion of 0.5 in u1
5.028 * [backup-simplify]: Simplify 0.5 into 0.5
5.028 * [taylor]: Taking taylor expansion of (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) in u1
5.028 * [taylor]: Taking taylor expansion of (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) in u1
5.028 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
5.028 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
5.028 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
5.028 * [taylor]: Taking taylor expansion of 1.0 in u1
5.028 * [backup-simplify]: Simplify 1.0 into 1.0
5.028 * [taylor]: Taking taylor expansion of (log -2.0) in u1
5.028 * [taylor]: Taking taylor expansion of -2.0 in u1
5.028 * [backup-simplify]: Simplify -2.0 into -2.0
5.028 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
5.029 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
5.029 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
5.029 * [taylor]: Taking taylor expansion of (pow (log (/ 1 u1)) 1.0) in u1
5.030 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log (/ 1 u1))))) in u1
5.030 * [taylor]: Taking taylor expansion of (* 1.0 (log (log (/ 1 u1)))) in u1
5.030 * [taylor]: Taking taylor expansion of 1.0 in u1
5.030 * [backup-simplify]: Simplify 1.0 into 1.0
5.030 * [taylor]: Taking taylor expansion of (log (log (/ 1 u1))) in u1
5.030 * [taylor]: Taking taylor expansion of (log (/ 1 u1)) in u1
5.030 * [taylor]: Taking taylor expansion of (/ 1 u1) in u1
5.030 * [taylor]: Taking taylor expansion of u1 in u1
5.030 * [backup-simplify]: Simplify 0 into 0
5.030 * [backup-simplify]: Simplify 1 into 1
5.030 * [backup-simplify]: Simplify (/ 1 1) into 1
5.030 * [backup-simplify]: Simplify (log 1) into 0
5.030 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.031 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.031 * [backup-simplify]: Simplify (log (- (log u1))) into (log (- (log u1)))
5.031 * [backup-simplify]: Simplify (* 1.0 (log (- (log u1)))) into (* 1.0 (log (- (log u1))))
5.031 * [backup-simplify]: Simplify (exp (* 1.0 (log (- (log u1))))) into (pow (- (log u1)) 1.0)
5.031 * [backup-simplify]: Simplify (* (pow -2.0 1.0) (pow (- (log u1)) 1.0)) into (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0)
5.032 * [backup-simplify]: Simplify (log (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0)) into (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0))
5.033 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))
5.035 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5)
5.037 * [backup-simplify]: Simplify (* 0.16666666666666666 (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5)) into (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 0.5))
5.038 * [backup-simplify]: Simplify (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 0.5)) into (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 0.5))
5.039 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.041 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
5.041 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.042 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log u1)) 1)))) 1) into 0
5.043 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (- (log u1))))) into 0
5.044 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log u1))))) (+ (* (/ (pow 0 1) 1)))) into 0
5.045 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2.0 1)))) 1) into 0
5.046 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log -2.0))) into 0
5.048 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 1) 1)))) into 0
5.049 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (* 0 (pow (- (log u1)) 1.0))) into 0
5.051 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1)))) 1) into 0
5.053 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0)))) into 0
5.055 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
5.057 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (* 0 (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5))) into 0
5.057 * [backup-simplify]: Simplify 0 into 0
5.058 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.059 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.062 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
5.062 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.064 * [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.065 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log (- (log u1)))))) into 0
5.066 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log u1))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.069 * [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.070 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log -2.0)))) into 0
5.071 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.072 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (+ (* 0 0) (* 0 (pow (- (log u1)) 1.0)))) into 0
5.074 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1)))) 2) into 0
5.076 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0))))) into 0
5.077 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.079 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5)))) into 0
5.079 * [backup-simplify]: Simplify 0 into 0
5.079 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.080 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.080 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.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
5.084 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.085 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (log u1)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (log u1)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (log u1)) 1)))) 6) into 0
5.086 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log u1))))))) into 0
5.087 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log u1))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.090 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -2.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -2.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -2.0 1)))) 6) into 0
5.091 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))) into 0
5.092 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.093 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (- (log u1)) 1.0))))) into 0
5.098 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1)))) 6) into 0
5.101 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0)))))) into 0
5.104 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.107 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5))))) into 0
5.107 * [backup-simplify]: Simplify 0 into 0
5.107 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.108 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.108 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.109 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.110 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.122 * [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.122 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.127 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (- (log u1)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (- (log u1)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (- (log u1)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (- (log u1)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (- (log u1)) 1)))) 24) into 0
5.129 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log u1)))))))) into 0
5.131 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log u1))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.143 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -2.0 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -2.0 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -2.0 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -2.0 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -2.0 1)))) 24) into 0
5.145 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))) into 0
5.149 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.151 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (- (log u1)) 1.0)))))) into 0
5.165 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1)))) 24) into 0
5.168 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0))))))) into 0
5.173 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.176 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5)))))) into 0
5.176 * [backup-simplify]: Simplify 0 into 0
5.177 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.178 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.178 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.179 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.179 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.179 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.200 * [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.201 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.208 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (- (log u1)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (- (log u1)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (- (log u1)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (- (log u1)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log u1)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (- (log u1)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (- (log u1)) 1)))) 120) into 0
5.210 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log u1))))))))) into 0
5.214 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log u1))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.234 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -2.0 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -2.0 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -2.0 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -2.0 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -2.0 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -2.0 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -2.0 1)))) 120) into 0
5.236 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))))) into 0
5.242 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.244 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (- (log u1)) 1.0))))))) into 0
5.260 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1)))) 120) into 0
5.263 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0)))))))) into 0
5.269 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.272 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5))))))) into 0
5.272 * [backup-simplify]: Simplify 0 into 0
5.273 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.273 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.274 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.274 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.275 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.275 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.276 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.276 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.276 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.277 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.278 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.312 * [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.313 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.326 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (- (log u1)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (- (log u1)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (- (log u1)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (- (log u1)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (- (log u1)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log u1)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (- (log u1)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (- (log u1)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (- (log u1)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (- (log u1)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (- (log u1)) 1)))) 720) into 0
5.328 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log u1)))))))))) into 0
5.334 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log u1))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.357 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -2.0 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -2.0 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -2.0 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -2.0 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -2.0 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -2.0 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -2.0 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -2.0 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -2.0 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -2.0 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -2.0 1)))) 720) into 0
5.359 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))))) into 0
5.363 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.365 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (- (log u1)) 1.0)))))))) into 0
5.381 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1)))) 720) into 0
5.384 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0))))))))) into 0
5.388 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.391 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5)))))))) into 0
5.391 * [backup-simplify]: Simplify 0 into 0
5.392 * [backup-simplify]: Simplify (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow (log (/ 1 u1)) 1.0) (pow -2.0 1.0))) 0.5)) into (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5))
5.392 * [backup-simplify]: Simplify (* (/ 1.0 6.0) (pow (* -2.0 (log (/ 1 (- u1)))) 0.5)) into (* 0.16666666666666666 (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5))
5.392 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5)) in (u1) around 0
5.393 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5)) in u1
5.393 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
5.393 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
5.393 * [taylor]: Taking taylor expansion of (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5) in u1
5.393 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0))))) in u1
5.393 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)))) in u1
5.393 * [taylor]: Taking taylor expansion of 0.5 in u1
5.393 * [backup-simplify]: Simplify 0.5 into 0.5
5.393 * [taylor]: Taking taylor expansion of (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0))) in u1
5.393 * [taylor]: Taking taylor expansion of (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) in u1
5.393 * [taylor]: Taking taylor expansion of (pow (log (/ -1 u1)) 1.0) in u1
5.393 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log (/ -1 u1))))) in u1
5.393 * [taylor]: Taking taylor expansion of (* 1.0 (log (log (/ -1 u1)))) in u1
5.393 * [taylor]: Taking taylor expansion of 1.0 in u1
5.393 * [backup-simplify]: Simplify 1.0 into 1.0
5.393 * [taylor]: Taking taylor expansion of (log (log (/ -1 u1))) in u1
5.393 * [taylor]: Taking taylor expansion of (log (/ -1 u1)) in u1
5.393 * [taylor]: Taking taylor expansion of (/ -1 u1) in u1
5.393 * [taylor]: Taking taylor expansion of -1 in u1
5.393 * [backup-simplify]: Simplify -1 into -1
5.393 * [taylor]: Taking taylor expansion of u1 in u1
5.393 * [backup-simplify]: Simplify 0 into 0
5.393 * [backup-simplify]: Simplify 1 into 1
5.393 * [backup-simplify]: Simplify (/ -1 1) into -1
5.394 * [backup-simplify]: Simplify (log -1) into (log -1)
5.394 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.395 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.395 * [backup-simplify]: Simplify (log (- (log -1) (log u1))) into (log (- (log -1) (log u1)))
5.395 * [backup-simplify]: Simplify (* 1.0 (log (- (log -1) (log u1)))) into (* 1.0 (log (- (log -1) (log u1))))
5.396 * [backup-simplify]: Simplify (exp (* 1.0 (log (- (log -1) (log u1))))) into (pow (- (log -1) (log u1)) 1.0)
5.396 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
5.396 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
5.396 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
5.396 * [taylor]: Taking taylor expansion of 1.0 in u1
5.396 * [backup-simplify]: Simplify 1.0 into 1.0
5.396 * [taylor]: Taking taylor expansion of (log -2.0) in u1
5.396 * [taylor]: Taking taylor expansion of -2.0 in u1
5.396 * [backup-simplify]: Simplify -2.0 into -2.0
5.396 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
5.397 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
5.398 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
5.398 * [backup-simplify]: Simplify (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) into (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0)
5.399 * [backup-simplify]: Simplify (log (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0)) into (log (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0))
5.400 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1.0) 1.0)))
5.401 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)
5.401 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5)) in u1
5.401 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
5.401 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
5.401 * [taylor]: Taking taylor expansion of (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5) in u1
5.401 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0))))) in u1
5.401 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)))) in u1
5.401 * [taylor]: Taking taylor expansion of 0.5 in u1
5.401 * [backup-simplify]: Simplify 0.5 into 0.5
5.401 * [taylor]: Taking taylor expansion of (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0))) in u1
5.401 * [taylor]: Taking taylor expansion of (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) in u1
5.401 * [taylor]: Taking taylor expansion of (pow (log (/ -1 u1)) 1.0) in u1
5.401 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log (/ -1 u1))))) in u1
5.401 * [taylor]: Taking taylor expansion of (* 1.0 (log (log (/ -1 u1)))) in u1
5.401 * [taylor]: Taking taylor expansion of 1.0 in u1
5.401 * [backup-simplify]: Simplify 1.0 into 1.0
5.401 * [taylor]: Taking taylor expansion of (log (log (/ -1 u1))) in u1
5.401 * [taylor]: Taking taylor expansion of (log (/ -1 u1)) in u1
5.401 * [taylor]: Taking taylor expansion of (/ -1 u1) in u1
5.401 * [taylor]: Taking taylor expansion of -1 in u1
5.401 * [backup-simplify]: Simplify -1 into -1
5.401 * [taylor]: Taking taylor expansion of u1 in u1
5.401 * [backup-simplify]: Simplify 0 into 0
5.401 * [backup-simplify]: Simplify 1 into 1
5.401 * [backup-simplify]: Simplify (/ -1 1) into -1
5.402 * [backup-simplify]: Simplify (log -1) into (log -1)
5.402 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.403 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.403 * [backup-simplify]: Simplify (log (- (log -1) (log u1))) into (log (- (log -1) (log u1)))
5.403 * [backup-simplify]: Simplify (* 1.0 (log (- (log -1) (log u1)))) into (* 1.0 (log (- (log -1) (log u1))))
5.404 * [backup-simplify]: Simplify (exp (* 1.0 (log (- (log -1) (log u1))))) into (pow (- (log -1) (log u1)) 1.0)
5.404 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
5.404 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
5.404 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
5.404 * [taylor]: Taking taylor expansion of 1.0 in u1
5.404 * [backup-simplify]: Simplify 1.0 into 1.0
5.404 * [taylor]: Taking taylor expansion of (log -2.0) in u1
5.404 * [taylor]: Taking taylor expansion of -2.0 in u1
5.404 * [backup-simplify]: Simplify -2.0 into -2.0
5.404 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
5.405 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
5.406 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
5.406 * [backup-simplify]: Simplify (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) into (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0)
5.407 * [backup-simplify]: Simplify (log (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0)) into (log (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0))
5.408 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1.0) 1.0)))
5.409 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)
5.410 * [backup-simplify]: Simplify (* 0.16666666666666666 (pow (pow (pow (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)) into (* 0.16666666666666666 (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 0.5))
5.410 * [backup-simplify]: Simplify (* 0.16666666666666666 (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 0.5)) into (* 0.16666666666666666 (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 0.5))
5.411 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2.0 1)))) 1) into 0
5.412 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log -2.0))) into 0
5.413 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 1) 1)))) into 0
5.414 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.414 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
5.415 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.416 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log -1) (log u1)) 1)))) 1) into 0
5.420 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (- (log -1) (log u1))))) into 0
5.421 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log -1) (log u1))))) (+ (* (/ (pow 0 1) 1)))) into 0
5.422 * [backup-simplify]: Simplify (+ (* (pow (- (log -1) (log u1)) 1.0) 0) (* 0 (pow -2.0 1.0))) into 0
5.423 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1)))) 1) into 0
5.425 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0)))) into 0
5.426 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
5.427 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (* 0 (pow (pow (pow (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5))) into 0
5.427 * [backup-simplify]: Simplify 0 into 0
5.429 * [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.430 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log -2.0)))) into 0
5.431 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.432 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.433 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.434 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
5.435 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.437 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (log -1) (log u1)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (log -1) (log u1)) 1)))) 2) into 0
5.437 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log (- (log -1) (log u1)))))) into 0
5.439 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log -1) (log u1))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.439 * [backup-simplify]: Simplify (+ (* (pow (- (log -1) (log u1)) 1.0) 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))) into 0
5.442 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1)))) 2) into 0
5.443 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0))))) into 0
5.445 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.446 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)))) into 0
5.446 * [backup-simplify]: Simplify 0 into 0
5.449 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -2.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -2.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -2.0 1)))) 6) into 0
5.450 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))) into 0
5.452 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.452 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.453 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.454 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.457 * [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.457 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.461 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (log -1) (log u1)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (log -1) (log u1)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (log -1) (log u1)) 1)))) 6) into 0
5.462 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log -1) (log u1))))))) into 0
5.463 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log -1) (log u1))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.464 * [backup-simplify]: Simplify (+ (* (pow (- (log -1) (log u1)) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0))))) into 0
5.468 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1)))) 6) into 0
5.470 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0)))))) into 0
5.471 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.473 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5))))) into 0
5.473 * [backup-simplify]: Simplify 0 into 0
5.480 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -2.0 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -2.0 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -2.0 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -2.0 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -2.0 1)))) 24) into 0
5.481 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))) into 0
5.483 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.484 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.485 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.486 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.486 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.487 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.497 * [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.499 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.507 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (- (log -1) (log u1)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (- (log -1) (log u1)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (- (log -1) (log u1)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (- (log -1) (log u1)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (- (log -1) (log u1)) 1)))) 24) into 0
5.509 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log -1) (log u1)))))))) into 0
5.511 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log -1) (log u1))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.512 * [backup-simplify]: Simplify (+ (* (pow (- (log -1) (log u1)) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))))) into 0
5.518 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1)))) 24) into 0
5.520 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0))))))) into 0
5.526 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.528 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)))))) into 0
5.528 * [backup-simplify]: Simplify 0 into 0
5.539 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -2.0 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -2.0 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -2.0 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -2.0 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -2.0 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -2.0 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -2.0 1)))) 120) into 0
5.541 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))))) into 0
5.543 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.544 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.545 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.546 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.546 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.547 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.547 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.548 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.559 * [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.559 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.566 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (- (log -1) (log u1)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (- (log -1) (log u1)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (- (log -1) (log u1)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (- (log -1) (log u1)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log -1) (log u1)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (- (log -1) (log u1)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (- (log -1) (log u1)) 1)))) 120) into 0
5.568 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log -1) (log u1))))))))) into 0
5.571 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log -1) (log u1))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.572 * [backup-simplify]: Simplify (+ (* (pow (- (log -1) (log u1)) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0))))))) into 0
5.581 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1)))) 120) into 0
5.583 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0)))))))) into 0
5.586 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -2.0 1.0) (pow (- (log -1) (log u1)) 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.588 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow (- (log -1) (log u1)) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5))))))) into 0
5.588 * [backup-simplify]: Simplify 0 into 0
5.621 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -2.0 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -2.0 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -2.0 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -2.0 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -2.0 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -2.0 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -2.0 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -2.0 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -2.0 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -2.0 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -2.0 1)))) 720) into 0
5.623 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))))) into 0
5.628 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.629 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.630 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.634 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.635 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.636 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.637 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.637 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.638 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.638 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.639 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.639 * [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.660 * [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.661 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.679 * [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.682 * [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.687 * [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.688 * [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.704 * [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.706 * [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.712 * [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.717 * [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.717 * [backup-simplify]: Simplify 0 into 0
5.718 * [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.718 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
5.719 * [backup-simplify]: Simplify (* (* 2.0 PI) u2) into (* 2.0 (* u2 PI))
5.719 * [approximate]: Taking taylor expansion of (* 2.0 (* u2 PI)) in (u2) around 0
5.719 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u2
5.719 * [taylor]: Taking taylor expansion of 2.0 in u2
5.719 * [backup-simplify]: Simplify 2.0 into 2.0
5.719 * [taylor]: Taking taylor expansion of (* u2 PI) in u2
5.719 * [taylor]: Taking taylor expansion of u2 in u2
5.719 * [backup-simplify]: Simplify 0 into 0
5.719 * [backup-simplify]: Simplify 1 into 1
5.719 * [taylor]: Taking taylor expansion of PI in u2
5.719 * [backup-simplify]: Simplify PI into PI
5.719 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u2
5.719 * [taylor]: Taking taylor expansion of 2.0 in u2
5.720 * [backup-simplify]: Simplify 2.0 into 2.0
5.720 * [taylor]: Taking taylor expansion of (* u2 PI) in u2
5.720 * [taylor]: Taking taylor expansion of u2 in u2
5.720 * [backup-simplify]: Simplify 0 into 0
5.720 * [backup-simplify]: Simplify 1 into 1
5.720 * [taylor]: Taking taylor expansion of PI in u2
5.720 * [backup-simplify]: Simplify PI into PI
5.720 * [backup-simplify]: Simplify (* 0 PI) into 0
5.721 * [backup-simplify]: Simplify (* 2.0 0) into 0
5.721 * [backup-simplify]: Simplify 0 into 0
5.722 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 PI)) into PI
5.724 * [backup-simplify]: Simplify (+ (* 2.0 PI) (* 0 0)) into (* 2.0 PI)
5.725 * [backup-simplify]: Simplify (* 2.0 PI) into (* 2.0 PI)
5.726 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 PI))) into 0
5.727 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 PI) (* 0 0))) into 0
5.727 * [backup-simplify]: Simplify 0 into 0
5.728 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI)))) into 0
5.730 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))) into 0
5.730 * [backup-simplify]: Simplify 0 into 0
5.731 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
5.733 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))) into 0
5.733 * [backup-simplify]: Simplify 0 into 0
5.735 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
5.736 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))) into 0
5.736 * [backup-simplify]: Simplify 0 into 0
5.738 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
5.740 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))))) into 0
5.740 * [backup-simplify]: Simplify 0 into 0
5.742 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))))) into 0
5.744 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))))) into 0
5.744 * [backup-simplify]: Simplify 0 into 0
5.745 * [backup-simplify]: Simplify (* (* 2.0 PI) u2) into (* 2.0 (* u2 PI))
5.745 * [backup-simplify]: Simplify (* (* 2.0 PI) (/ 1 u2)) into (* 2.0 (/ PI u2))
5.745 * [approximate]: Taking taylor expansion of (* 2.0 (/ PI u2)) in (u2) around 0
5.745 * [taylor]: Taking taylor expansion of (* 2.0 (/ PI u2)) in u2
5.745 * [taylor]: Taking taylor expansion of 2.0 in u2
5.745 * [backup-simplify]: Simplify 2.0 into 2.0
5.745 * [taylor]: Taking taylor expansion of (/ PI u2) in u2
5.745 * [taylor]: Taking taylor expansion of PI in u2
5.745 * [backup-simplify]: Simplify PI into PI
5.745 * [taylor]: Taking taylor expansion of u2 in u2
5.745 * [backup-simplify]: Simplify 0 into 0
5.745 * [backup-simplify]: Simplify 1 into 1
5.746 * [backup-simplify]: Simplify (/ PI 1) into PI
5.746 * [taylor]: Taking taylor expansion of (* 2.0 (/ PI u2)) in u2
5.746 * [taylor]: Taking taylor expansion of 2.0 in u2
5.746 * [backup-simplify]: Simplify 2.0 into 2.0
5.746 * [taylor]: Taking taylor expansion of (/ PI u2) in u2
5.746 * [taylor]: Taking taylor expansion of PI in u2
5.746 * [backup-simplify]: Simplify PI into PI
5.746 * [taylor]: Taking taylor expansion of u2 in u2
5.746 * [backup-simplify]: Simplify 0 into 0
5.746 * [backup-simplify]: Simplify 1 into 1
5.746 * [backup-simplify]: Simplify (/ PI 1) into PI
5.746 * [backup-simplify]: Simplify (* 2.0 PI) into (* 2.0 PI)
5.747 * [backup-simplify]: Simplify (* 2.0 PI) into (* 2.0 PI)
5.747 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)))) into 0
5.748 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 PI)) into 0
5.748 * [backup-simplify]: Simplify 0 into 0
5.748 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.749 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 PI))) into 0
5.749 * [backup-simplify]: Simplify 0 into 0
5.750 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.750 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
5.750 * [backup-simplify]: Simplify 0 into 0
5.751 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.756 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
5.756 * [backup-simplify]: Simplify 0 into 0
5.757 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.758 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
5.758 * [backup-simplify]: Simplify 0 into 0
5.759 * [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.760 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
5.760 * [backup-simplify]: Simplify 0 into 0
5.761 * [backup-simplify]: Simplify (* (* 2.0 PI) (/ 1 (/ 1 u2))) into (* 2.0 (* u2 PI))
5.761 * [backup-simplify]: Simplify (* (* 2.0 PI) (/ 1 (- u2))) into (* -2.0 (/ PI u2))
5.761 * [approximate]: Taking taylor expansion of (* -2.0 (/ PI u2)) in (u2) around 0
5.761 * [taylor]: Taking taylor expansion of (* -2.0 (/ PI u2)) in u2
5.761 * [taylor]: Taking taylor expansion of -2.0 in u2
5.761 * [backup-simplify]: Simplify -2.0 into -2.0
5.761 * [taylor]: Taking taylor expansion of (/ PI u2) in u2
5.761 * [taylor]: Taking taylor expansion of PI in u2
5.761 * [backup-simplify]: Simplify PI into PI
5.761 * [taylor]: Taking taylor expansion of u2 in u2
5.761 * [backup-simplify]: Simplify 0 into 0
5.761 * [backup-simplify]: Simplify 1 into 1
5.761 * [backup-simplify]: Simplify (/ PI 1) into PI
5.762 * [taylor]: Taking taylor expansion of (* -2.0 (/ PI u2)) in u2
5.762 * [taylor]: Taking taylor expansion of -2.0 in u2
5.762 * [backup-simplify]: Simplify -2.0 into -2.0
5.762 * [taylor]: Taking taylor expansion of (/ PI u2) in u2
5.762 * [taylor]: Taking taylor expansion of PI in u2
5.762 * [backup-simplify]: Simplify PI into PI
5.762 * [taylor]: Taking taylor expansion of u2 in u2
5.762 * [backup-simplify]: Simplify 0 into 0
5.762 * [backup-simplify]: Simplify 1 into 1
5.762 * [backup-simplify]: Simplify (/ PI 1) into PI
5.762 * [backup-simplify]: Simplify (* -2.0 PI) into (* -2.0 PI)
5.763 * [backup-simplify]: Simplify (* -2.0 PI) into (* -2.0 PI)
5.763 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)))) into 0
5.764 * [backup-simplify]: Simplify (+ (* -2.0 0) (* 0 PI)) into 0
5.764 * [backup-simplify]: Simplify 0 into 0
5.764 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.765 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (* 0 PI))) into 0
5.765 * [backup-simplify]: Simplify 0 into 0
5.766 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.766 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
5.766 * [backup-simplify]: Simplify 0 into 0
5.767 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.768 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
5.768 * [backup-simplify]: Simplify 0 into 0
5.768 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.769 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
5.769 * [backup-simplify]: Simplify 0 into 0
5.770 * [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.771 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
5.771 * [backup-simplify]: Simplify 0 into 0
5.771 * [backup-simplify]: Simplify (* (* -2.0 PI) (/ 1 (/ 1 (- u2)))) into (* 2.0 (* u2 PI))
5.771 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
5.772 * [backup-simplify]: Simplify (pow (* -2.0 (log u1)) 0.5) into (pow (* -2.0 (log u1)) 0.5)
5.772 * [approximate]: Taking taylor expansion of (pow (* -2.0 (log u1)) 0.5) in (u1) around 0
5.772 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log u1)) 0.5) in u1
5.772 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log u1))))) in u1
5.772 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log u1)))) in u1
5.772 * [taylor]: Taking taylor expansion of 0.5 in u1
5.772 * [backup-simplify]: Simplify 0.5 into 0.5
5.772 * [taylor]: Taking taylor expansion of (log (* -2.0 (log u1))) in u1
5.772 * [taylor]: Taking taylor expansion of (* -2.0 (log u1)) in u1
5.772 * [taylor]: Taking taylor expansion of -2.0 in u1
5.772 * [backup-simplify]: Simplify -2.0 into -2.0
5.772 * [taylor]: Taking taylor expansion of (log u1) in u1
5.772 * [taylor]: Taking taylor expansion of u1 in u1
5.772 * [backup-simplify]: Simplify 0 into 0
5.772 * [backup-simplify]: Simplify 1 into 1
5.772 * [backup-simplify]: Simplify (log 1) into 0
5.772 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.772 * [backup-simplify]: Simplify (* -2.0 (log u1)) into (* -2.0 (log u1))
5.772 * [backup-simplify]: Simplify (log (* -2.0 (log u1))) into (log (* -2.0 (log u1)))
5.773 * [backup-simplify]: Simplify (* 0.5 (log (* -2.0 (log u1)))) into (* 0.5 (log (* -2.0 (log u1))))
5.773 * [backup-simplify]: Simplify (exp (* 0.5 (log (* -2.0 (log u1))))) into (pow (* -2.0 (log u1)) 0.5)
5.773 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log u1)) 0.5) in u1
5.773 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log u1))))) in u1
5.773 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log u1)))) in u1
5.773 * [taylor]: Taking taylor expansion of 0.5 in u1
5.773 * [backup-simplify]: Simplify 0.5 into 0.5
5.773 * [taylor]: Taking taylor expansion of (log (* -2.0 (log u1))) in u1
5.773 * [taylor]: Taking taylor expansion of (* -2.0 (log u1)) in u1
5.773 * [taylor]: Taking taylor expansion of -2.0 in u1
5.773 * [backup-simplify]: Simplify -2.0 into -2.0
5.773 * [taylor]: Taking taylor expansion of (log u1) in u1
5.773 * [taylor]: Taking taylor expansion of u1 in u1
5.773 * [backup-simplify]: Simplify 0 into 0
5.773 * [backup-simplify]: Simplify 1 into 1
5.773 * [backup-simplify]: Simplify (log 1) into 0
5.773 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.773 * [backup-simplify]: Simplify (* -2.0 (log u1)) into (* -2.0 (log u1))
5.774 * [backup-simplify]: Simplify (log (* -2.0 (log u1))) into (log (* -2.0 (log u1)))
5.774 * [backup-simplify]: Simplify (* 0.5 (log (* -2.0 (log u1)))) into (* 0.5 (log (* -2.0 (log u1))))
5.774 * [backup-simplify]: Simplify (exp (* 0.5 (log (* -2.0 (log u1))))) into (pow (* -2.0 (log u1)) 0.5)
5.774 * [backup-simplify]: Simplify (pow (* -2.0 (log u1)) 0.5) into (pow (* -2.0 (log u1)) 0.5)
5.775 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
5.775 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.775 * [backup-simplify]: Simplify (+ (* -2.0 0) (* 0 (log u1))) into 0
5.776 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (* -2.0 (log u1)) 1)))) 1) into 0
5.776 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (* -2.0 (log u1))))) into 0
5.777 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (log u1))))) (+ (* (/ (pow 0 1) 1)))) into 0
5.777 * [backup-simplify]: Simplify 0 into 0
5.780 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
5.781 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.782 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (* 0 (log u1)))) into 0
5.784 * [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.785 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (* -2.0 (log u1)))))) into 0
5.787 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (log u1))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.787 * [backup-simplify]: Simplify 0 into 0
5.793 * [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.793 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.795 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log u1))))) into 0
5.798 * [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.799 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (log u1))))))) into 0
5.802 * [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.802 * [backup-simplify]: Simplify 0 into 0
5.814 * [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.814 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.816 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log u1)))))) into 0
5.822 * [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.824 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (log u1)))))))) into 0
5.828 * [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.828 * [backup-simplify]: Simplify 0 into 0
5.848 * [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.849 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.851 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log u1))))))) into 0
5.859 * [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.862 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (log u1))))))))) into 0
5.867 * [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.867 * [backup-simplify]: Simplify 0 into 0
5.902 * [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.903 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.905 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log u1)))))))) into 0
5.920 * [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.922 * [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.925 * [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.925 * [backup-simplify]: Simplify 0 into 0
5.925 * [backup-simplify]: Simplify (pow (* -2.0 (log u1)) 0.5) into (pow (* -2.0 (log u1)) 0.5)
5.925 * [backup-simplify]: Simplify (pow (* -2.0 (log (/ 1 u1))) 0.5) into (pow (* -2.0 (log (/ 1 u1))) 0.5)
5.926 * [approximate]: Taking taylor expansion of (pow (* -2.0 (log (/ 1 u1))) 0.5) in (u1) around 0
5.926 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log (/ 1 u1))) 0.5) in u1
5.926 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log (/ 1 u1)))))) in u1
5.926 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log (/ 1 u1))))) in u1
5.926 * [taylor]: Taking taylor expansion of 0.5 in u1
5.926 * [backup-simplify]: Simplify 0.5 into 0.5
5.926 * [taylor]: Taking taylor expansion of (log (* -2.0 (log (/ 1 u1)))) in u1
5.926 * [taylor]: Taking taylor expansion of (* -2.0 (log (/ 1 u1))) in u1
5.926 * [taylor]: Taking taylor expansion of -2.0 in u1
5.926 * [backup-simplify]: Simplify -2.0 into -2.0
5.926 * [taylor]: Taking taylor expansion of (log (/ 1 u1)) in u1
5.926 * [taylor]: Taking taylor expansion of (/ 1 u1) in u1
5.926 * [taylor]: Taking taylor expansion of u1 in u1
5.926 * [backup-simplify]: Simplify 0 into 0
5.926 * [backup-simplify]: Simplify 1 into 1
5.926 * [backup-simplify]: Simplify (/ 1 1) into 1
5.926 * [backup-simplify]: Simplify (log 1) into 0
5.927 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.927 * [backup-simplify]: Simplify (* -2.0 (- (log u1))) into (* 2.0 (log u1))
5.927 * [backup-simplify]: Simplify (log (* 2.0 (log u1))) into (log (* 2.0 (log u1)))
5.927 * [backup-simplify]: Simplify (* 0.5 (log (* 2.0 (log u1)))) into (* 0.5 (log (* 2.0 (log u1))))
5.927 * [backup-simplify]: Simplify (exp (* 0.5 (log (* 2.0 (log u1))))) into (pow (* 2.0 (log u1)) 0.5)
5.927 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log (/ 1 u1))) 0.5) in u1
5.927 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log (/ 1 u1)))))) in u1
5.927 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log (/ 1 u1))))) in u1
5.927 * [taylor]: Taking taylor expansion of 0.5 in u1
5.927 * [backup-simplify]: Simplify 0.5 into 0.5
5.927 * [taylor]: Taking taylor expansion of (log (* -2.0 (log (/ 1 u1)))) in u1
5.927 * [taylor]: Taking taylor expansion of (* -2.0 (log (/ 1 u1))) in u1
5.927 * [taylor]: Taking taylor expansion of -2.0 in u1
5.927 * [backup-simplify]: Simplify -2.0 into -2.0
5.927 * [taylor]: Taking taylor expansion of (log (/ 1 u1)) in u1
5.927 * [taylor]: Taking taylor expansion of (/ 1 u1) in u1
5.927 * [taylor]: Taking taylor expansion of u1 in u1
5.927 * [backup-simplify]: Simplify 0 into 0
5.927 * [backup-simplify]: Simplify 1 into 1
5.927 * [backup-simplify]: Simplify (/ 1 1) into 1
5.928 * [backup-simplify]: Simplify (log 1) into 0
5.928 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.928 * [backup-simplify]: Simplify (* -2.0 (- (log u1))) into (* 2.0 (log u1))
5.928 * [backup-simplify]: Simplify (log (* 2.0 (log u1))) into (log (* 2.0 (log u1)))
5.928 * [backup-simplify]: Simplify (* 0.5 (log (* 2.0 (log u1)))) into (* 0.5 (log (* 2.0 (log u1))))
5.928 * [backup-simplify]: Simplify (exp (* 0.5 (log (* 2.0 (log u1))))) into (pow (* 2.0 (log u1)) 0.5)
5.929 * [backup-simplify]: Simplify (pow (* 2.0 (log u1)) 0.5) into (pow (* 2.0 (log u1)) 0.5)
5.929 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.930 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
5.930 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.931 * [backup-simplify]: Simplify (+ (* -2.0 0) (* 0 (- (log u1)))) into 0
5.931 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (* 2.0 (log u1)) 1)))) 1) into 0
5.932 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (* 2.0 (log u1))))) into 0
5.932 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* 2.0 (log u1))))) (+ (* (/ (pow 0 1) 1)))) into 0
5.932 * [backup-simplify]: Simplify 0 into 0
5.933 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.934 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
5.935 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.935 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (* 0 (- (log u1))))) into 0
5.936 * [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.937 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (* 2.0 (log u1)))))) into 0
5.938 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* 2.0 (log u1))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.938 * [backup-simplify]: Simplify 0 into 0
5.938 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.941 * [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.942 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.942 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log u1)))))) into 0
5.944 * [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.945 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* 2.0 (log u1))))))) into 0
5.946 * [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.946 * [backup-simplify]: Simplify 0 into 0
5.946 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.953 * [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.953 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.954 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log u1))))))) into 0
5.960 * [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.961 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* 2.0 (log u1)))))))) into 0
5.964 * [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.964 * [backup-simplify]: Simplify 0 into 0
5.965 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.984 * [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.984 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.987 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log u1)))))))) into 0
5.996 * [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.998 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* 2.0 (log u1))))))))) into 0
6.001 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* 2.0 (log u1))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.001 * [backup-simplify]: Simplify 0 into 0
6.002 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.020 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
6.020 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
6.022 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log u1))))))))) into 0
6.035 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (* 2.0 (log u1)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (* 2.0 (log u1)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (* 2.0 (log u1)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (* 2.0 (log u1)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (* 2.0 (log u1)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (* 2.0 (log u1)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (* 2.0 (log u1)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (* 2.0 (log u1)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (* 2.0 (log u1)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (* 2.0 (log u1)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (* 2.0 (log u1)) 1)))) 720) into 0
6.036 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* 2.0 (log u1)))))))))) into 0
6.040 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* 2.0 (log u1))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.040 * [backup-simplify]: Simplify 0 into 0
6.040 * [backup-simplify]: Simplify (pow (* 2.0 (log (/ 1 u1))) 0.5) into (pow (* 2.0 (log (/ 1 u1))) 0.5)
6.040 * [backup-simplify]: Simplify (pow (* -2.0 (log (/ 1 (- u1)))) 0.5) into (pow (* -2.0 (log (/ -1 u1))) 0.5)
6.041 * [approximate]: Taking taylor expansion of (pow (* -2.0 (log (/ -1 u1))) 0.5) in (u1) around 0
6.041 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log (/ -1 u1))) 0.5) in u1
6.041 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log (/ -1 u1)))))) in u1
6.041 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log (/ -1 u1))))) in u1
6.041 * [taylor]: Taking taylor expansion of 0.5 in u1
6.041 * [backup-simplify]: Simplify 0.5 into 0.5
6.041 * [taylor]: Taking taylor expansion of (log (* -2.0 (log (/ -1 u1)))) in u1
6.041 * [taylor]: Taking taylor expansion of (* -2.0 (log (/ -1 u1))) in u1
6.041 * [taylor]: Taking taylor expansion of -2.0 in u1
6.041 * [backup-simplify]: Simplify -2.0 into -2.0
6.041 * [taylor]: Taking taylor expansion of (log (/ -1 u1)) in u1
6.041 * [taylor]: Taking taylor expansion of (/ -1 u1) in u1
6.041 * [taylor]: Taking taylor expansion of -1 in u1
6.041 * [backup-simplify]: Simplify -1 into -1
6.041 * [taylor]: Taking taylor expansion of u1 in u1
6.041 * [backup-simplify]: Simplify 0 into 0
6.041 * [backup-simplify]: Simplify 1 into 1
6.041 * [backup-simplify]: Simplify (/ -1 1) into -1
6.042 * [backup-simplify]: Simplify (log -1) into (log -1)
6.042 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
6.043 * [backup-simplify]: Simplify (* -2.0 (- (log -1) (log u1))) into (* -2.0 (- (log -1) (log u1)))
6.043 * [backup-simplify]: Simplify (log (* -2.0 (- (log -1) (log u1)))) into (log (* -2.0 (- (log -1) (log u1))))
6.043 * [backup-simplify]: Simplify (* 0.5 (log (* -2.0 (- (log -1) (log u1))))) into (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))
6.044 * [backup-simplify]: Simplify (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) into (pow (* -2.0 (- (log -1) (log u1))) 0.5)
6.044 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log (/ -1 u1))) 0.5) in u1
6.044 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log (/ -1 u1)))))) in u1
6.044 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log (/ -1 u1))))) in u1
6.044 * [taylor]: Taking taylor expansion of 0.5 in u1
6.044 * [backup-simplify]: Simplify 0.5 into 0.5
6.044 * [taylor]: Taking taylor expansion of (log (* -2.0 (log (/ -1 u1)))) in u1
6.044 * [taylor]: Taking taylor expansion of (* -2.0 (log (/ -1 u1))) in u1
6.044 * [taylor]: Taking taylor expansion of -2.0 in u1
6.044 * [backup-simplify]: Simplify -2.0 into -2.0
6.044 * [taylor]: Taking taylor expansion of (log (/ -1 u1)) in u1
6.044 * [taylor]: Taking taylor expansion of (/ -1 u1) in u1
6.044 * [taylor]: Taking taylor expansion of -1 in u1
6.044 * [backup-simplify]: Simplify -1 into -1
6.044 * [taylor]: Taking taylor expansion of u1 in u1
6.044 * [backup-simplify]: Simplify 0 into 0
6.044 * [backup-simplify]: Simplify 1 into 1
6.044 * [backup-simplify]: Simplify (/ -1 1) into -1
6.045 * [backup-simplify]: Simplify (log -1) into (log -1)
6.045 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
6.046 * [backup-simplify]: Simplify (* -2.0 (- (log -1) (log u1))) into (* -2.0 (- (log -1) (log u1)))
6.046 * [backup-simplify]: Simplify (log (* -2.0 (- (log -1) (log u1)))) into (log (* -2.0 (- (log -1) (log u1))))
6.046 * [backup-simplify]: Simplify (* 0.5 (log (* -2.0 (- (log -1) (log u1))))) into (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))
6.047 * [backup-simplify]: Simplify (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) into (pow (* -2.0 (- (log -1) (log u1))) 0.5)
6.047 * [backup-simplify]: Simplify (pow (* -2.0 (- (log -1) (log u1))) 0.5) into (pow (* -2.0 (- (log -1) (log u1))) 0.5)
6.048 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.049 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
6.049 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
6.050 * [backup-simplify]: Simplify (+ (* -2.0 0) (* 0 (- (log -1) (log u1)))) into 0
6.051 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 1)))) 1) into 0
6.051 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (* -2.0 (- (log -1) (log u1)))))) into 0
6.052 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.052 * [backup-simplify]: Simplify 0 into 0
6.053 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.054 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
6.055 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
6.056 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (* 0 (- (log -1) (log u1))))) into 0
6.057 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 1)))) 2) into 0
6.058 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (* -2.0 (- (log -1) (log u1))))))) into 0
6.059 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.059 * [backup-simplify]: Simplify 0 into 0
6.060 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.063 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0
6.063 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
6.064 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log u1)))))) into 0
6.067 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 1)))) 6) into 0
6.068 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (- (log -1) (log u1)))))))) into 0
6.069 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.069 * [backup-simplify]: Simplify 0 into 0
6.070 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.077 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into 0
6.078 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
6.079 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log u1))))))) into 0
6.083 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (* -2.0 (- (log -1) (log u1))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 1)))) 24) into 0
6.085 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (- (log -1) (log u1))))))))) into 0
6.086 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.086 * [backup-simplify]: Simplify 0 into 0
6.087 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.097 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1 1)))) 120) into 0
6.098 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
6.099 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log u1)))))))) into 0
6.106 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (* -2.0 (- (log -1) (log u1))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 1)))) 120) into 0
6.108 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (- (log -1) (log u1)))))))))) into 0
6.110 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.110 * [backup-simplify]: Simplify 0 into 0
6.111 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.134 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -1 1)))) 720) into 0
6.134 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
6.136 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log u1))))))))) into 0
6.147 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (* -2.0 (- (log -1) (log u1))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (* -2.0 (- (log -1) (log u1))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 1)))) 720) into 0
6.148 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (- (log -1) (log u1))))))))))) into 0
6.152 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.152 * [backup-simplify]: Simplify 0 into 0
6.153 * [backup-simplify]: Simplify (pow (* -2.0 (- (log -1) (log (/ 1 (- u1))))) 0.5) into (pow (* -2.0 (- (log -1) (log (/ -1 u1)))) 0.5)
6.153 * * * * [progress]: [ 4 / 4 ] generating series at (2)
6.154 * [backup-simplify]: Simplify (fma (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2)) 0.5) into (fma (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) (cos (* 2.0 (* u2 PI))) 0.5)
6.154 * [approximate]: Taking taylor expansion of (fma (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) (cos (* 2.0 (* u2 PI))) 0.5) in (u1 u2) around 0
6.154 * [taylor]: Taking taylor expansion of (fma (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) (cos (* 2.0 (* u2 PI))) 0.5) in u2
6.155 * [taylor]: Rewrote expression to (+ (* (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) (cos (* 2.0 (* u2 PI)))) 0.5)
6.156 * [taylor]: Taking taylor expansion of (* (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) (cos (* 2.0 (* u2 PI)))) in u2
6.156 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in u2
6.156 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u2
6.156 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
6.156 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u2
6.156 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u2
6.156 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u2
6.156 * [taylor]: Taking taylor expansion of 0.5 in u2
6.156 * [backup-simplify]: Simplify 0.5 into 0.5
6.156 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u2
6.156 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u2
6.156 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u2
6.156 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u2
6.156 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u2
6.156 * [taylor]: Taking taylor expansion of 1.0 in u2
6.156 * [backup-simplify]: Simplify 1.0 into 1.0
6.156 * [taylor]: Taking taylor expansion of (log (log u1)) in u2
6.156 * [taylor]: Taking taylor expansion of (log u1) in u2
6.156 * [taylor]: Taking taylor expansion of u1 in u2
6.156 * [backup-simplify]: Simplify u1 into u1
6.156 * [backup-simplify]: Simplify (log u1) into (log u1)
6.156 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
6.156 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
6.156 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
6.156 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u2
6.156 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u2
6.156 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u2
6.156 * [taylor]: Taking taylor expansion of 1.0 in u2
6.156 * [backup-simplify]: Simplify 1.0 into 1.0
6.156 * [taylor]: Taking taylor expansion of (log -2.0) in u2
6.156 * [taylor]: Taking taylor expansion of -2.0 in u2
6.156 * [backup-simplify]: Simplify -2.0 into -2.0
6.157 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
6.157 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
6.158 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
6.159 * [backup-simplify]: Simplify (* (pow (log u1) 1.0) (pow -2.0 1.0)) into (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)
6.159 * [backup-simplify]: Simplify (log (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)) into (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))
6.160 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))
6.160 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)
6.160 * [taylor]: Taking taylor expansion of (cos (* 2.0 (* u2 PI))) in u2
6.160 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u2
6.160 * [taylor]: Taking taylor expansion of 2.0 in u2
6.160 * [backup-simplify]: Simplify 2.0 into 2.0
6.160 * [taylor]: Taking taylor expansion of (* u2 PI) in u2
6.160 * [taylor]: Taking taylor expansion of u2 in u2
6.160 * [backup-simplify]: Simplify 0 into 0
6.160 * [backup-simplify]: Simplify 1 into 1
6.160 * [taylor]: Taking taylor expansion of PI in u2
6.160 * [backup-simplify]: Simplify PI into PI
6.161 * [backup-simplify]: Simplify (* 0 PI) into 0
6.161 * [backup-simplify]: Simplify (* 2.0 0) into 0
6.162 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 PI)) into PI
6.163 * [backup-simplify]: Simplify (+ (* 2.0 PI) (* 0 0)) into (* 2.0 PI)
6.163 * [taylor]: Taking taylor expansion of 0.5 in u2
6.163 * [backup-simplify]: Simplify 0.5 into 0.5
6.163 * [taylor]: Taking taylor expansion of (fma (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) (cos (* 2.0 (* u2 PI))) 0.5) in u1
6.163 * [taylor]: Rewrote expression to (+ (* (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) (cos (* 2.0 (* u2 PI)))) 0.5)
6.163 * [taylor]: Taking taylor expansion of (* (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) (cos (* 2.0 (* u2 PI)))) in u1
6.163 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in u1
6.163 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
6.163 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
6.163 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u1
6.163 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u1
6.164 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u1
6.164 * [taylor]: Taking taylor expansion of 0.5 in u1
6.164 * [backup-simplify]: Simplify 0.5 into 0.5
6.164 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u1
6.164 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u1
6.164 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u1
6.164 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u1
6.164 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u1
6.164 * [taylor]: Taking taylor expansion of 1.0 in u1
6.164 * [backup-simplify]: Simplify 1.0 into 1.0
6.164 * [taylor]: Taking taylor expansion of (log (log u1)) in u1
6.164 * [taylor]: Taking taylor expansion of (log u1) in u1
6.164 * [taylor]: Taking taylor expansion of u1 in u1
6.164 * [backup-simplify]: Simplify 0 into 0
6.164 * [backup-simplify]: Simplify 1 into 1
6.164 * [backup-simplify]: Simplify (log 1) into 0
6.164 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.165 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.165 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
6.165 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
6.165 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
6.165 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
6.165 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
6.165 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
6.165 * [taylor]: Taking taylor expansion of 1.0 in u1
6.165 * [backup-simplify]: Simplify 1.0 into 1.0
6.165 * [taylor]: Taking taylor expansion of (log -2.0) in u1
6.165 * [taylor]: Taking taylor expansion of -2.0 in u1
6.165 * [backup-simplify]: Simplify -2.0 into -2.0
6.165 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
6.166 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
6.167 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
6.167 * [backup-simplify]: Simplify (* (pow (log u1) 1.0) (pow -2.0 1.0)) into (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)
6.168 * [backup-simplify]: Simplify (log (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)) into (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))
6.168 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))
6.169 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)
6.169 * [taylor]: Taking taylor expansion of (cos (* 2.0 (* u2 PI))) in u1
6.169 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u1
6.169 * [taylor]: Taking taylor expansion of 2.0 in u1
6.169 * [backup-simplify]: Simplify 2.0 into 2.0
6.169 * [taylor]: Taking taylor expansion of (* u2 PI) in u1
6.169 * [taylor]: Taking taylor expansion of u2 in u1
6.169 * [backup-simplify]: Simplify u2 into u2
6.169 * [taylor]: Taking taylor expansion of PI in u1
6.169 * [backup-simplify]: Simplify PI into PI
6.169 * [backup-simplify]: Simplify (* u2 PI) into (* u2 PI)
6.169 * [backup-simplify]: Simplify (* 2.0 (* u2 PI)) into (* 2.0 (* u2 PI))
6.169 * [backup-simplify]: Simplify (cos (* 2.0 (* u2 PI))) into (cos (* 2.0 (* u2 PI)))
6.169 * [backup-simplify]: Simplify (sin (* 2.0 (* u2 PI))) into (sin (* 2.0 (* u2 PI)))
6.169 * [taylor]: Taking taylor expansion of 0.5 in u1
6.169 * [backup-simplify]: Simplify 0.5 into 0.5
6.169 * [taylor]: Taking taylor expansion of (fma (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) (cos (* 2.0 (* u2 PI))) 0.5) in u1
6.169 * [taylor]: Rewrote expression to (+ (* (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) (cos (* 2.0 (* u2 PI)))) 0.5)
6.169 * [taylor]: Taking taylor expansion of (* (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) (cos (* 2.0 (* u2 PI)))) in u1
6.169 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in u1
6.169 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
6.169 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
6.169 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u1
6.169 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u1
6.169 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u1
6.170 * [taylor]: Taking taylor expansion of 0.5 in u1
6.170 * [backup-simplify]: Simplify 0.5 into 0.5
6.170 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u1
6.170 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u1
6.170 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u1
6.170 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u1
6.170 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u1
6.170 * [taylor]: Taking taylor expansion of 1.0 in u1
6.170 * [backup-simplify]: Simplify 1.0 into 1.0
6.170 * [taylor]: Taking taylor expansion of (log (log u1)) in u1
6.170 * [taylor]: Taking taylor expansion of (log u1) in u1
6.170 * [taylor]: Taking taylor expansion of u1 in u1
6.170 * [backup-simplify]: Simplify 0 into 0
6.170 * [backup-simplify]: Simplify 1 into 1
6.170 * [backup-simplify]: Simplify (log 1) into 0
6.170 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.171 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.171 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
6.171 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
6.171 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
6.171 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
6.171 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
6.171 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
6.171 * [taylor]: Taking taylor expansion of 1.0 in u1
6.171 * [backup-simplify]: Simplify 1.0 into 1.0
6.171 * [taylor]: Taking taylor expansion of (log -2.0) in u1
6.171 * [taylor]: Taking taylor expansion of -2.0 in u1
6.171 * [backup-simplify]: Simplify -2.0 into -2.0
6.171 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
6.172 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
6.173 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
6.173 * [backup-simplify]: Simplify (* (pow (log u1) 1.0) (pow -2.0 1.0)) into (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)
6.174 * [backup-simplify]: Simplify (log (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)) into (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))
6.174 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))
6.175 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)
6.175 * [taylor]: Taking taylor expansion of (cos (* 2.0 (* u2 PI))) in u1
6.175 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u1
6.175 * [taylor]: Taking taylor expansion of 2.0 in u1
6.175 * [backup-simplify]: Simplify 2.0 into 2.0
6.175 * [taylor]: Taking taylor expansion of (* u2 PI) in u1
6.175 * [taylor]: Taking taylor expansion of u2 in u1
6.175 * [backup-simplify]: Simplify u2 into u2
6.175 * [taylor]: Taking taylor expansion of PI in u1
6.175 * [backup-simplify]: Simplify PI into PI
6.175 * [backup-simplify]: Simplify (* u2 PI) into (* u2 PI)
6.175 * [backup-simplify]: Simplify (* 2.0 (* u2 PI)) into (* 2.0 (* u2 PI))
6.175 * [backup-simplify]: Simplify (cos (* 2.0 (* u2 PI))) into (cos (* 2.0 (* u2 PI)))
6.175 * [backup-simplify]: Simplify (sin (* 2.0 (* u2 PI))) into (sin (* 2.0 (* u2 PI)))
6.175 * [taylor]: Taking taylor expansion of 0.5 in u1
6.175 * [backup-simplify]: Simplify 0.5 into 0.5
6.176 * [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))
6.176 * [backup-simplify]: Simplify (* (cos (* 2.0 (* u2 PI))) 1) into (cos (* 2.0 (* u2 PI)))
6.176 * [backup-simplify]: Simplify (* (sin (* 2.0 (* u2 PI))) 0) into 0
6.177 * [backup-simplify]: Simplify (- 0) into 0
6.177 * [backup-simplify]: Simplify (+ (cos (* 2.0 (* u2 PI))) 0) into (cos (* 2.0 (* u2 PI)))
6.177 * [backup-simplify]: Simplify (* (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) (cos (* 2.0 (* u2 PI)))) into (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)))
6.178 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5) into (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5)
6.178 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5) in u2
6.178 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) in u2
6.178 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u2
6.178 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
6.178 * [taylor]: Taking taylor expansion of (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in u2
6.178 * [taylor]: Taking taylor expansion of (cos (* 2.0 (* u2 PI))) in u2
6.178 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u2
6.178 * [taylor]: Taking taylor expansion of 2.0 in u2
6.178 * [backup-simplify]: Simplify 2.0 into 2.0
6.178 * [taylor]: Taking taylor expansion of (* u2 PI) in u2
6.178 * [taylor]: Taking taylor expansion of u2 in u2
6.178 * [backup-simplify]: Simplify 0 into 0
6.178 * [backup-simplify]: Simplify 1 into 1
6.179 * [taylor]: Taking taylor expansion of PI in u2
6.179 * [backup-simplify]: Simplify PI into PI
6.179 * [backup-simplify]: Simplify (* 0 PI) into 0
6.179 * [backup-simplify]: Simplify (* 2.0 0) into 0
6.180 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 PI)) into PI
6.181 * [backup-simplify]: Simplify (+ (* 2.0 PI) (* 0 0)) into (* 2.0 PI)
6.181 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u2
6.181 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u2
6.181 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u2
6.181 * [taylor]: Taking taylor expansion of 0.5 in u2
6.181 * [backup-simplify]: Simplify 0.5 into 0.5
6.181 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u2
6.181 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u2
6.181 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u2
6.181 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u2
6.181 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u2
6.181 * [taylor]: Taking taylor expansion of 1.0 in u2
6.181 * [backup-simplify]: Simplify 1.0 into 1.0
6.181 * [taylor]: Taking taylor expansion of (log (log u1)) in u2
6.181 * [taylor]: Taking taylor expansion of (log u1) in u2
6.181 * [taylor]: Taking taylor expansion of u1 in u2
6.181 * [backup-simplify]: Simplify u1 into u1
6.181 * [backup-simplify]: Simplify (log u1) into (log u1)
6.181 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
6.181 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
6.182 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
6.182 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u2
6.182 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u2
6.182 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u2
6.182 * [taylor]: Taking taylor expansion of 1.0 in u2
6.182 * [backup-simplify]: Simplify 1.0 into 1.0
6.182 * [taylor]: Taking taylor expansion of (log -2.0) in u2
6.182 * [taylor]: Taking taylor expansion of -2.0 in u2
6.182 * [backup-simplify]: Simplify -2.0 into -2.0
6.182 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
6.182 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
6.184 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
6.184 * [backup-simplify]: Simplify (* (pow (log u1) 1.0) (pow -2.0 1.0)) into (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)
6.185 * [backup-simplify]: Simplify (log (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)) into (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))
6.185 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))
6.186 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)
6.186 * [taylor]: Taking taylor expansion of 0.5 in u2
6.186 * [backup-simplify]: Simplify 0.5 into 0.5
6.186 * [backup-simplify]: Simplify (* 1 (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)) into (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)
6.187 * [backup-simplify]: Simplify (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) into (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))
6.187 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) 0.5) into (+ (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) 0.5)
6.188 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) 0.5) into (+ (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) 0.5)
6.189 * [backup-simplify]: Simplify (+ 0) into 0
6.189 * [backup-simplify]: Simplify (+ (* (cos (* 2.0 (* u2 PI))) 0) (* 0 1)) into 0
6.190 * [backup-simplify]: Simplify (+ (* u2 0) (* 0 PI)) into 0
6.190 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 (* u2 PI))) into 0
6.190 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
6.191 * [backup-simplify]: Simplify (+ (* (sin (* 2.0 (* u2 PI))) 0) (* 0 0)) into 0
6.191 * [backup-simplify]: Simplify (- 0) into 0
6.191 * [backup-simplify]: Simplify (+ 0 0) into 0
6.192 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2.0 1)))) 1) into 0
6.192 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log -2.0))) into 0
6.193 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 1) 1)))) into 0
6.194 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
6.194 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.195 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log u1) 1)))) 1) into 0
6.195 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (log u1)))) into 0
6.196 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 1) 1)))) into 0
6.196 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (* 0 (pow -2.0 1.0))) into 0
6.197 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1)))) 1) into 0
6.198 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0)))) into 0
6.199 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
6.200 * [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
6.201 * [backup-simplify]: Simplify (+ (* (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) 0) (* 0 (cos (* 2.0 (* u2 PI))))) into 0
6.201 * [backup-simplify]: Simplify (+ 0 0) into 0
6.201 * [taylor]: Taking taylor expansion of 0 in u2
6.201 * [backup-simplify]: Simplify 0 into 0
6.201 * [backup-simplify]: Simplify 0 into 0
6.202 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2.0 1)))) 1) into 0
6.203 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log -2.0))) into 0
6.204 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 1) 1)))) into 0
6.204 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow u1 1)))) 1) into 0
6.205 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log u1) 1)))) 1) into 0
6.205 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (log u1)))) into 0
6.206 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 1) 1)))) into 0
6.206 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (* 0 (pow -2.0 1.0))) into 0
6.207 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1)))) 1) into 0
6.208 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0)))) into 0
6.209 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
6.210 * [backup-simplify]: Simplify (+ 0) into 0
6.211 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5))) into 0
6.212 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (* 0 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) into 0
6.212 * [backup-simplify]: Simplify (+ 0 0) into 0
6.212 * [backup-simplify]: Simplify 0 into 0
6.213 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
6.213 * [backup-simplify]: Simplify (+ (* (cos (* 2.0 (* u2 PI))) 0) (+ (* 0 0) (* 0 1))) into 0
6.214 * [backup-simplify]: Simplify (+ (* u2 0) (+ (* 0 0) (* 0 PI))) into 0
6.214 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 (* u2 PI)))) into 0
6.215 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
6.215 * [backup-simplify]: Simplify (+ (* (sin (* 2.0 (* u2 PI))) 0) (+ (* 0 0) (* 0 0))) into 0
6.215 * [backup-simplify]: Simplify (- 0) into 0
6.216 * [backup-simplify]: Simplify (+ 0 0) into 0
6.218 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -2.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -2.0 1)))) 2) into 0
6.219 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log -2.0)))) into 0
6.221 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.221 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.223 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
6.223 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
6.229 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (log u1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (log u1) 1)))) 2) into 0
6.229 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log (log u1))))) into 0
6.230 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.231 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))) into 0
6.233 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1)))) 2) into 0
6.234 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))))) into 0
6.236 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.237 * [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
6.237 * [backup-simplify]: Simplify (+ (* (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) 0) (+ (* 0 0) (* 0 (cos (* 2.0 (* u2 PI)))))) into 0
6.238 * [backup-simplify]: Simplify (+ 0 0) into 0
6.238 * [taylor]: Taking taylor expansion of 0 in u2
6.238 * [backup-simplify]: Simplify 0 into 0
6.238 * [backup-simplify]: Simplify 0 into 0
6.238 * [backup-simplify]: Simplify 0 into 0
6.240 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -2.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -2.0 1)))) 2) into 0
6.240 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log -2.0)))) into 0
6.242 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0