0.700 * [progress]: [Phase 1 of 3] Setting up.
0.004 * * * [progress]: [1/2] Preparing points
0.189 * * * [progress]: [2/2] Setting up program.
0.197 * [progress]: [Phase 2 of 3] Improving.
0.200 * [simplify]: Simplifying:
  (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)
0.202 * * [simplify]: Extracting # 0 : cost  0
0.202 * * [simplify]: Extracting # 1 : cost  0
0.203 * * [simplify]: Extracting # 2 : cost  0
0.203 * * [simplify]: Extracting # 3 : cost  0
0.203 * * [simplify]: Extracting # 4 : cost  0
0.203 * * [simplify]: Extracting # 5 : cost  0
0.203 * * [simplify]: Extracting # 6 : cost  0
0.203 * * [simplify]: Extracting # 7 : cost  0
0.203 * * [simplify]: Extracting # 8 : cost  0
0.203 * * [simplify]: Extracting # 9 : cost  0
0.203 * * [simplify]: iteration  0 :  18  enodes  (cost  19 )
0.262 * * [simplify]: Extracting # 0 : cost  0
0.262 * * [simplify]: Extracting # 1 : cost  0
0.264 * * [simplify]: Extracting # 2 : cost  0
0.264 * * [simplify]: Extracting # 3 : cost  0
0.264 * * [simplify]: Extracting # 4 : cost  0
0.264 * * [simplify]: Extracting # 5 : cost  0
0.264 * * [simplify]: iteration  1 :  34  enodes  (cost  19 )
0.279 * * [simplify]: Extracting # 0 : cost  0
0.280 * * [simplify]: Extracting # 1 : cost  0
0.280 * * [simplify]: Extracting # 2 : cost  0
0.280 * * [simplify]: Extracting # 3 : cost  0
0.283 * * [simplify]: iteration  2 :  71  enodes  (cost  19 )
0.318 * * [simplify]: Extracting # 0 : cost  0
0.318 * * [simplify]: Extracting # 1 : cost  0
0.318 * * [simplify]: Extracting # 2 : cost  0
0.319 * * [simplify]: Extracting # 3 : cost  0
0.319 * * [simplify]: iteration  3 :  152  enodes  (cost  19 )
0.446 * * [simplify]: Extracting # 0 : cost  0
0.447 * * [simplify]: Extracting # 1 : cost  0
0.448 * * [simplify]: Extracting # 2 : cost  0
0.448 * * [simplify]: Extracting # 3 : cost  0
0.449 * * [simplify]: Extracting # 4 : cost  0
0.450 * * [simplify]: iteration  4 :  440  enodes  (cost  19 )
0.971 * * [simplify]: Extracting # 0 : cost  0
0.974 * * [simplify]: Extracting # 1 : cost  0
0.977 * * [simplify]: Extracting # 2 : cost  0
0.979 * * [simplify]: Extracting # 3 : cost  0
0.981 * * [simplify]: Extracting # 4 : cost  0
0.983 * * [simplify]: iteration  5 :  1385  enodes  (cost  19 )
4.228 * * [simplify]: Extracting # 0 : cost  0
4.250 * * [simplify]: Extracting # 1 : cost  0
4.258 * * [simplify]: Extracting # 2 : cost  0
4.265 * * [simplify]: Extracting # 3 : cost  0
4.269 * * [simplify]: Extracting # 4 : cost  0
4.273 * * [simplify]: iteration done:  5000  enodes  (cost  19 )
4.273 * [simplify]: Simplified to:
  (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)
4.275 * * [progress]: iteration 1 / 4
4.275 * * * [progress]: picking best candidate
4.279 * * * * [pick]: Picked  #<alt (λ (u1 u2) (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))>
4.279 * * * [progress]: localizing error
4.307 * * * [progress]: generating rewritten candidates
4.307 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
4.341 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
4.365 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
4.372 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
4.465 * * * [progress]: generating series expansions
4.466 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
4.470 * [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.470 * [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.471 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in u1
4.471 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
4.471 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
4.471 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u1
4.471 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u1
4.471 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u1
4.471 * [taylor]: Taking taylor expansion of 0.5 in u1
4.471 * [backup-simplify]: Simplify 0.5 into 0.5
4.471 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u1
4.471 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u1
4.471 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u1
4.471 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u1
4.472 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u1
4.472 * [taylor]: Taking taylor expansion of 1.0 in u1
4.472 * [backup-simplify]: Simplify 1.0 into 1.0
4.472 * [taylor]: Taking taylor expansion of (log (log u1)) in u1
4.472 * [taylor]: Taking taylor expansion of (log u1) in u1
4.472 * [taylor]: Taking taylor expansion of u1 in u1
4.472 * [backup-simplify]: Simplify 0 into 0
4.472 * [backup-simplify]: Simplify 1 into 1
4.472 * [backup-simplify]: Simplify (log 1) into 0
4.473 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.473 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.473 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
4.474 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
4.474 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
4.474 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
4.474 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
4.474 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
4.474 * [taylor]: Taking taylor expansion of 1.0 in u1
4.474 * [backup-simplify]: Simplify 1.0 into 1.0
4.474 * [taylor]: Taking taylor expansion of (log -2.0) in u1
4.474 * [taylor]: Taking taylor expansion of -2.0 in u1
4.474 * [backup-simplify]: Simplify -2.0 into -2.0
4.474 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
4.475 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
4.476 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
4.476 * [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.477 * [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.477 * [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.478 * [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.478 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in u1
4.478 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
4.478 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
4.478 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u1
4.478 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u1
4.478 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u1
4.478 * [taylor]: Taking taylor expansion of 0.5 in u1
4.478 * [backup-simplify]: Simplify 0.5 into 0.5
4.478 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u1
4.478 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u1
4.478 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u1
4.478 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u1
4.478 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u1
4.478 * [taylor]: Taking taylor expansion of 1.0 in u1
4.478 * [backup-simplify]: Simplify 1.0 into 1.0
4.478 * [taylor]: Taking taylor expansion of (log (log u1)) in u1
4.478 * [taylor]: Taking taylor expansion of (log u1) in u1
4.478 * [taylor]: Taking taylor expansion of u1 in u1
4.478 * [backup-simplify]: Simplify 0 into 0
4.478 * [backup-simplify]: Simplify 1 into 1
4.479 * [backup-simplify]: Simplify (log 1) into 0
4.479 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.479 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.479 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
4.479 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
4.479 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
4.479 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
4.479 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
4.479 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
4.479 * [taylor]: Taking taylor expansion of 1.0 in u1
4.480 * [backup-simplify]: Simplify 1.0 into 1.0
4.480 * [taylor]: Taking taylor expansion of (log -2.0) in u1
4.480 * [taylor]: Taking taylor expansion of -2.0 in u1
4.480 * [backup-simplify]: Simplify -2.0 into -2.0
4.480 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
4.480 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
4.481 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
4.482 * [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.482 * [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.483 * [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.483 * [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.484 * [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.485 * [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.486 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2.0 1)))) 1) into 0
4.487 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log -2.0))) into 0
4.488 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 1) 1)))) into 0
4.489 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
4.489 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.490 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log u1) 1)))) 1) into 0
4.490 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (log u1)))) into 0
4.491 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 1) 1)))) into 0
4.491 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (* 0 (pow -2.0 1.0))) into 0
4.492 * [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.493 * [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.494 * [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.495 * [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.495 * [backup-simplify]: Simplify 0 into 0
4.497 * [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.498 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log -2.0)))) into 0
4.500 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.500 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.502 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
4.502 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.503 * [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.504 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log (log u1))))) into 0
4.505 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.505 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))) into 0
4.507 * [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.508 * [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.510 * [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.512 * [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.512 * [backup-simplify]: Simplify 0 into 0
4.524 * [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.525 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))) into 0
4.527 * [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.527 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.527 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.530 * [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.530 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.532 * [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.533 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log u1)))))) into 0
4.534 * [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.535 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0))))) into 0
4.538 * [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.539 * [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.541 * [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.542 * [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.542 * [backup-simplify]: Simplify 0 into 0
4.548 * [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.549 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))) into 0
4.551 * [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.552 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.552 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.552 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.553 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.559 * [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.560 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.564 * [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.566 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log u1))))))) into 0
4.569 * [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.571 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))))) into 0
4.580 * [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.582 * [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.586 * [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.588 * [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.588 * [backup-simplify]: Simplify 0 into 0
4.607 * [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.609 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))))) into 0
4.614 * [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.614 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.615 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.615 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.615 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.616 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.616 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.625 * [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.626 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.631 * [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.632 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log u1)))))))) into 0
4.634 * [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.641 * [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.649 * [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.651 * [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.653 * [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.655 * [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.655 * [backup-simplify]: Simplify 0 into 0
4.682 * [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.684 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))))) into 0
4.692 * [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.693 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.693 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.694 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.694 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.695 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.695 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.695 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.696 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.696 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.697 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.714 * [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.715 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
4.722 * [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.723 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log u1))))))))) into 0
4.726 * [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.728 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))))))) into 0
4.739 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1)))) 720) into 0
4.746 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))))))))) into 0
4.750 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.752 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)))))))) into 0
4.752 * [backup-simplify]: Simplify 0 into 0
4.753 * [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.753 * [backup-simplify]: Simplify (* (/ 1.0 6.0) (pow (* -2.0 (log (/ 1 u1))) 0.5)) into (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5))
4.753 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5)) in (u1) around 0
4.753 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5)) in u1
4.753 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
4.753 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
4.753 * [taylor]: Taking taylor expansion of (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5) in u1
4.753 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))))) in u1
4.753 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)))) in u1
4.753 * [taylor]: Taking taylor expansion of 0.5 in u1
4.753 * [backup-simplify]: Simplify 0.5 into 0.5
4.753 * [taylor]: Taking taylor expansion of (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) in u1
4.753 * [taylor]: Taking taylor expansion of (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) in u1
4.753 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
4.753 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
4.753 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
4.753 * [taylor]: Taking taylor expansion of 1.0 in u1
4.753 * [backup-simplify]: Simplify 1.0 into 1.0
4.753 * [taylor]: Taking taylor expansion of (log -2.0) in u1
4.753 * [taylor]: Taking taylor expansion of -2.0 in u1
4.753 * [backup-simplify]: Simplify -2.0 into -2.0
4.754 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
4.754 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
4.755 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
4.755 * [taylor]: Taking taylor expansion of (pow (log (/ 1 u1)) 1.0) in u1
4.755 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log (/ 1 u1))))) in u1
4.755 * [taylor]: Taking taylor expansion of (* 1.0 (log (log (/ 1 u1)))) in u1
4.755 * [taylor]: Taking taylor expansion of 1.0 in u1
4.755 * [backup-simplify]: Simplify 1.0 into 1.0
4.755 * [taylor]: Taking taylor expansion of (log (log (/ 1 u1))) in u1
4.755 * [taylor]: Taking taylor expansion of (log (/ 1 u1)) in u1
4.755 * [taylor]: Taking taylor expansion of (/ 1 u1) in u1
4.755 * [taylor]: Taking taylor expansion of u1 in u1
4.755 * [backup-simplify]: Simplify 0 into 0
4.755 * [backup-simplify]: Simplify 1 into 1
4.756 * [backup-simplify]: Simplify (/ 1 1) into 1
4.756 * [backup-simplify]: Simplify (log 1) into 0
4.757 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.757 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.757 * [backup-simplify]: Simplify (log (- (log u1))) into (log (- (log u1)))
4.757 * [backup-simplify]: Simplify (* 1.0 (log (- (log u1)))) into (* 1.0 (log (- (log u1))))
4.757 * [backup-simplify]: Simplify (exp (* 1.0 (log (- (log u1))))) into (pow (- (log u1)) 1.0)
4.758 * [backup-simplify]: Simplify (* (pow -2.0 1.0) (pow (- (log u1)) 1.0)) into (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0)
4.759 * [backup-simplify]: Simplify (log (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0)) into (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0))
4.761 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))
4.762 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5)
4.762 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5)) in u1
4.762 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
4.762 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
4.762 * [taylor]: Taking taylor expansion of (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5) in u1
4.762 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))))) in u1
4.762 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)))) in u1
4.762 * [taylor]: Taking taylor expansion of 0.5 in u1
4.762 * [backup-simplify]: Simplify 0.5 into 0.5
4.762 * [taylor]: Taking taylor expansion of (log (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) in u1
4.762 * [taylor]: Taking taylor expansion of (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) in u1
4.763 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
4.763 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
4.763 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
4.763 * [taylor]: Taking taylor expansion of 1.0 in u1
4.763 * [backup-simplify]: Simplify 1.0 into 1.0
4.763 * [taylor]: Taking taylor expansion of (log -2.0) in u1
4.763 * [taylor]: Taking taylor expansion of -2.0 in u1
4.763 * [backup-simplify]: Simplify -2.0 into -2.0
4.763 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
4.764 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
4.766 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
4.766 * [taylor]: Taking taylor expansion of (pow (log (/ 1 u1)) 1.0) in u1
4.766 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log (/ 1 u1))))) in u1
4.766 * [taylor]: Taking taylor expansion of (* 1.0 (log (log (/ 1 u1)))) in u1
4.766 * [taylor]: Taking taylor expansion of 1.0 in u1
4.766 * [backup-simplify]: Simplify 1.0 into 1.0
4.766 * [taylor]: Taking taylor expansion of (log (log (/ 1 u1))) in u1
4.766 * [taylor]: Taking taylor expansion of (log (/ 1 u1)) in u1
4.766 * [taylor]: Taking taylor expansion of (/ 1 u1) in u1
4.766 * [taylor]: Taking taylor expansion of u1 in u1
4.766 * [backup-simplify]: Simplify 0 into 0
4.766 * [backup-simplify]: Simplify 1 into 1
4.766 * [backup-simplify]: Simplify (/ 1 1) into 1
4.767 * [backup-simplify]: Simplify (log 1) into 0
4.767 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.768 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.768 * [backup-simplify]: Simplify (log (- (log u1))) into (log (- (log u1)))
4.768 * [backup-simplify]: Simplify (* 1.0 (log (- (log u1)))) into (* 1.0 (log (- (log u1))))
4.768 * [backup-simplify]: Simplify (exp (* 1.0 (log (- (log u1))))) into (pow (- (log u1)) 1.0)
4.769 * [backup-simplify]: Simplify (* (pow -2.0 1.0) (pow (- (log u1)) 1.0)) into (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0)
4.770 * [backup-simplify]: Simplify (log (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0)) into (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0))
4.771 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))
4.773 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5)
4.775 * [backup-simplify]: Simplify (* 0.16666666666666666 (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5)) into (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 0.5))
4.776 * [backup-simplify]: Simplify (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 0.5)) into (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 0.5))
4.777 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.778 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
4.779 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.780 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log u1)) 1)))) 1) into 0
4.780 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (- (log u1))))) into 0
4.781 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log u1))))) (+ (* (/ (pow 0 1) 1)))) into 0
4.783 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2.0 1)))) 1) into 0
4.784 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log -2.0))) into 0
4.786 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 1) 1)))) into 0
4.787 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (* 0 (pow (- (log u1)) 1.0))) into 0
4.789 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1)))) 1) into 0
4.791 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0)))) into 0
4.793 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
4.795 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (* 0 (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5))) into 0
4.795 * [backup-simplify]: Simplify 0 into 0
4.796 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.797 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.800 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
4.800 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.802 * [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.803 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log (- (log u1)))))) into 0
4.804 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log u1))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.808 * [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.809 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log -2.0)))) into 0
4.812 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.813 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (+ (* 0 0) (* 0 (pow (- (log u1)) 1.0)))) into 0
4.817 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1)))) 2) into 0
4.820 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0))))) into 0
4.822 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.825 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5)))) into 0
4.825 * [backup-simplify]: Simplify 0 into 0
4.825 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.826 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.827 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.833 * [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.833 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.837 * [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.838 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log u1))))))) into 0
4.840 * [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.845 * [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.847 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))) into 0
4.850 * [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.852 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (- (log u1)) 1.0))))) into 0
4.858 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1)))) 6) into 0
4.861 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0)))))) into 0
4.864 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.867 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5))))) into 0
4.867 * [backup-simplify]: Simplify 0 into 0
4.868 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.868 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.869 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.869 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.870 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.877 * [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.878 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.881 * [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.882 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log u1)))))))) into 0
4.883 * [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.895 * [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.896 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))) into 0
4.898 * [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.900 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (- (log u1)) 1.0)))))) into 0
4.906 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1)))) 24) into 0
4.908 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0))))))) into 0
4.910 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.912 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5)))))) into 0
4.912 * [backup-simplify]: Simplify 0 into 0
4.912 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.913 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.913 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.914 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.914 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.915 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.934 * [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.935 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.942 * [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.944 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log u1))))))))) into 0
4.946 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log u1))))) (+ (* (/ (pow 0 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.956 * [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.957 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))))) into 0
4.960 * [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.961 * [backup-simplify]: Simplify (+ (* (pow -2.0 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (- (log u1)) 1.0))))))) into 0
4.971 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1)))) 120) into 0
4.973 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0)))))))) into 0
4.976 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.978 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow -1 1.0) (* (pow (log u1) 1.0) (pow -2.0 1.0))) 1.0) 1.0) 1.0) 1.0) 0.5))))))) into 0
4.979 * [backup-simplify]: Simplify 0 into 0
4.979 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.980 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.980 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.981 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.981 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.982 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.982 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.983 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.983 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.984 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
4.985 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.021 * [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.022 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.029 * [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.031 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log u1)))))))))) into 0
5.034 * [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.052 * [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.053 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))))) into 0
5.061 * [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.064 * [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.090 * [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.094 * [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.102 * [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.106 * [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.106 * [backup-simplify]: Simplify 0 into 0
5.107 * [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.108 * [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.108 * [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.108 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5)) in u1
5.108 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
5.108 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
5.108 * [taylor]: Taking taylor expansion of (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5) in u1
5.108 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0))))) in u1
5.108 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)))) in u1
5.108 * [taylor]: Taking taylor expansion of 0.5 in u1
5.108 * [backup-simplify]: Simplify 0.5 into 0.5
5.108 * [taylor]: Taking taylor expansion of (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0))) in u1
5.108 * [taylor]: Taking taylor expansion of (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) in u1
5.108 * [taylor]: Taking taylor expansion of (pow (log (/ -1 u1)) 1.0) in u1
5.108 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log (/ -1 u1))))) in u1
5.108 * [taylor]: Taking taylor expansion of (* 1.0 (log (log (/ -1 u1)))) in u1
5.108 * [taylor]: Taking taylor expansion of 1.0 in u1
5.108 * [backup-simplify]: Simplify 1.0 into 1.0
5.108 * [taylor]: Taking taylor expansion of (log (log (/ -1 u1))) in u1
5.108 * [taylor]: Taking taylor expansion of (log (/ -1 u1)) in u1
5.109 * [taylor]: Taking taylor expansion of (/ -1 u1) in u1
5.109 * [taylor]: Taking taylor expansion of -1 in u1
5.109 * [backup-simplify]: Simplify -1 into -1
5.109 * [taylor]: Taking taylor expansion of u1 in u1
5.109 * [backup-simplify]: Simplify 0 into 0
5.109 * [backup-simplify]: Simplify 1 into 1
5.109 * [backup-simplify]: Simplify (/ -1 1) into -1
5.110 * [backup-simplify]: Simplify (log -1) into (log -1)
5.111 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.111 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.112 * [backup-simplify]: Simplify (log (- (log -1) (log u1))) into (log (- (log -1) (log u1)))
5.112 * [backup-simplify]: Simplify (* 1.0 (log (- (log -1) (log u1)))) into (* 1.0 (log (- (log -1) (log u1))))
5.113 * [backup-simplify]: Simplify (exp (* 1.0 (log (- (log -1) (log u1))))) into (pow (- (log -1) (log u1)) 1.0)
5.113 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
5.113 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
5.113 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
5.113 * [taylor]: Taking taylor expansion of 1.0 in u1
5.113 * [backup-simplify]: Simplify 1.0 into 1.0
5.113 * [taylor]: Taking taylor expansion of (log -2.0) in u1
5.113 * [taylor]: Taking taylor expansion of -2.0 in u1
5.113 * [backup-simplify]: Simplify -2.0 into -2.0
5.114 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
5.115 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
5.116 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
5.117 * [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.118 * [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.120 * [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.121 * [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.121 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5)) in u1
5.121 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
5.121 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
5.121 * [taylor]: Taking taylor expansion of (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5) in u1
5.121 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0))))) in u1
5.121 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)))) in u1
5.121 * [taylor]: Taking taylor expansion of 0.5 in u1
5.121 * [backup-simplify]: Simplify 0.5 into 0.5
5.121 * [taylor]: Taking taylor expansion of (log (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0))) in u1
5.121 * [taylor]: Taking taylor expansion of (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) in u1
5.121 * [taylor]: Taking taylor expansion of (pow (log (/ -1 u1)) 1.0) in u1
5.122 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log (/ -1 u1))))) in u1
5.122 * [taylor]: Taking taylor expansion of (* 1.0 (log (log (/ -1 u1)))) in u1
5.122 * [taylor]: Taking taylor expansion of 1.0 in u1
5.122 * [backup-simplify]: Simplify 1.0 into 1.0
5.122 * [taylor]: Taking taylor expansion of (log (log (/ -1 u1))) in u1
5.122 * [taylor]: Taking taylor expansion of (log (/ -1 u1)) in u1
5.122 * [taylor]: Taking taylor expansion of (/ -1 u1) in u1
5.122 * [taylor]: Taking taylor expansion of -1 in u1
5.122 * [backup-simplify]: Simplify -1 into -1
5.122 * [taylor]: Taking taylor expansion of u1 in u1
5.122 * [backup-simplify]: Simplify 0 into 0
5.122 * [backup-simplify]: Simplify 1 into 1
5.122 * [backup-simplify]: Simplify (/ -1 1) into -1
5.123 * [backup-simplify]: Simplify (log -1) into (log -1)
5.123 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.124 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.125 * [backup-simplify]: Simplify (log (- (log -1) (log u1))) into (log (- (log -1) (log u1)))
5.125 * [backup-simplify]: Simplify (* 1.0 (log (- (log -1) (log u1)))) into (* 1.0 (log (- (log -1) (log u1))))
5.126 * [backup-simplify]: Simplify (exp (* 1.0 (log (- (log -1) (log u1))))) into (pow (- (log -1) (log u1)) 1.0)
5.126 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
5.126 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
5.126 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
5.126 * [taylor]: Taking taylor expansion of 1.0 in u1
5.126 * [backup-simplify]: Simplify 1.0 into 1.0
5.126 * [taylor]: Taking taylor expansion of (log -2.0) in u1
5.126 * [taylor]: Taking taylor expansion of -2.0 in u1
5.126 * [backup-simplify]: Simplify -2.0 into -2.0
5.126 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
5.127 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
5.128 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
5.130 * [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.131 * [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.132 * [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.133 * [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.135 * [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.136 * [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.137 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2.0 1)))) 1) into 0
5.147 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log -2.0))) into 0
5.149 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 1) 1)))) into 0
5.150 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.152 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
5.153 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.154 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log -1) (log u1)) 1)))) 1) into 0
5.155 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (- (log -1) (log u1))))) into 0
5.157 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log -1) (log u1))))) (+ (* (/ (pow 0 1) 1)))) into 0
5.158 * [backup-simplify]: Simplify (+ (* (pow (- (log -1) (log u1)) 1.0) 0) (* 0 (pow -2.0 1.0))) into 0
5.160 * [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.161 * [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.163 * [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.164 * [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.164 * [backup-simplify]: Simplify 0 into 0
5.166 * [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.166 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log -2.0)))) into 0
5.167 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.168 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.169 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.170 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
5.171 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.172 * [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.173 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log (- (log -1) (log u1)))))) into 0
5.174 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (- (log -1) (log u1))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.175 * [backup-simplify]: Simplify (+ (* (pow (- (log -1) (log u1)) 1.0) 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))) into 0
5.178 * [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.179 * [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.181 * [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.182 * [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.182 * [backup-simplify]: Simplify 0 into 0
5.185 * [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.186 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))) into 0
5.187 * [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.188 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.189 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.189 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.192 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0
5.193 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.197 * [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.199 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log -1) (log u1))))))) into 0
5.201 * [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.202 * [backup-simplify]: Simplify (+ (* (pow (- (log -1) (log u1)) 1.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow -2.0 1.0))))) into 0
5.209 * [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.211 * [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.214 * [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.217 * [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.217 * [backup-simplify]: Simplify 0 into 0
5.230 * [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.231 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))) into 0
5.236 * [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.237 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.238 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.239 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.240 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.241 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.252 * [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.253 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.260 * [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.262 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log -1) (log u1)))))))) into 0
5.265 * [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.266 * [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.278 * [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.280 * [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.282 * [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.284 * [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.284 * [backup-simplify]: Simplify 0 into 0
5.294 * [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.295 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0))))))) into 0
5.298 * [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.299 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.299 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.300 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.300 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.301 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.301 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.302 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.311 * [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.312 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.318 * [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.320 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (- (log -1) (log u1))))))))) into 0
5.322 * [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.323 * [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.339 * [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.342 * [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.347 * [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.350 * [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.350 * [backup-simplify]: Simplify 0 into 0
5.369 * [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.371 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log -2.0)))))))) into 0
5.380 * [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.381 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.382 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.382 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.383 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.383 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.384 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.385 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.385 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.386 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.387 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.388 * [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.420 * [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.421 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.431 * [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.432 * [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.436 * [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.437 * [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.453 * [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.457 * [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.465 * [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.469 * [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.469 * [backup-simplify]: Simplify 0 into 0
5.470 * [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.470 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
5.471 * [backup-simplify]: Simplify (* (* 2.0 PI) u2) into (* 2.0 (* u2 PI))
5.471 * [approximate]: Taking taylor expansion of (* 2.0 (* u2 PI)) in (u2) around 0
5.471 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u2
5.471 * [taylor]: Taking taylor expansion of 2.0 in u2
5.471 * [backup-simplify]: Simplify 2.0 into 2.0
5.471 * [taylor]: Taking taylor expansion of (* u2 PI) in u2
5.471 * [taylor]: Taking taylor expansion of u2 in u2
5.471 * [backup-simplify]: Simplify 0 into 0
5.471 * [backup-simplify]: Simplify 1 into 1
5.471 * [taylor]: Taking taylor expansion of PI in u2
5.471 * [backup-simplify]: Simplify PI into PI
5.471 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u2
5.471 * [taylor]: Taking taylor expansion of 2.0 in u2
5.471 * [backup-simplify]: Simplify 2.0 into 2.0
5.471 * [taylor]: Taking taylor expansion of (* u2 PI) in u2
5.471 * [taylor]: Taking taylor expansion of u2 in u2
5.471 * [backup-simplify]: Simplify 0 into 0
5.471 * [backup-simplify]: Simplify 1 into 1
5.471 * [taylor]: Taking taylor expansion of PI in u2
5.471 * [backup-simplify]: Simplify PI into PI
5.472 * [backup-simplify]: Simplify (* 0 PI) into 0
5.472 * [backup-simplify]: Simplify (* 2.0 0) into 0
5.472 * [backup-simplify]: Simplify 0 into 0
5.474 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 PI)) into PI
5.476 * [backup-simplify]: Simplify (+ (* 2.0 PI) (* 0 0)) into (* 2.0 PI)
5.476 * [backup-simplify]: Simplify (* 2.0 PI) into (* 2.0 PI)
5.477 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 PI))) into 0
5.478 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 PI) (* 0 0))) into 0
5.478 * [backup-simplify]: Simplify 0 into 0
5.478 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI)))) into 0
5.479 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))) into 0
5.479 * [backup-simplify]: Simplify 0 into 0
5.480 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
5.480 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))) into 0
5.480 * [backup-simplify]: Simplify 0 into 0
5.481 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
5.482 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))) into 0
5.482 * [backup-simplify]: Simplify 0 into 0
5.483 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
5.484 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0))))))) into 0
5.484 * [backup-simplify]: Simplify 0 into 0
5.486 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))))) into 0
5.487 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 PI) (* 0 0)))))))) into 0
5.487 * [backup-simplify]: Simplify 0 into 0
5.487 * [backup-simplify]: Simplify (* (* 2.0 PI) u2) into (* 2.0 (* u2 PI))
5.487 * [backup-simplify]: Simplify (* (* 2.0 PI) (/ 1 u2)) into (* 2.0 (/ PI u2))
5.487 * [approximate]: Taking taylor expansion of (* 2.0 (/ PI u2)) in (u2) around 0
5.487 * [taylor]: Taking taylor expansion of (* 2.0 (/ PI u2)) in u2
5.487 * [taylor]: Taking taylor expansion of 2.0 in u2
5.487 * [backup-simplify]: Simplify 2.0 into 2.0
5.487 * [taylor]: Taking taylor expansion of (/ PI u2) in u2
5.487 * [taylor]: Taking taylor expansion of PI in u2
5.487 * [backup-simplify]: Simplify PI into PI
5.488 * [taylor]: Taking taylor expansion of u2 in u2
5.488 * [backup-simplify]: Simplify 0 into 0
5.488 * [backup-simplify]: Simplify 1 into 1
5.488 * [backup-simplify]: Simplify (/ PI 1) into PI
5.488 * [taylor]: Taking taylor expansion of (* 2.0 (/ PI u2)) in u2
5.488 * [taylor]: Taking taylor expansion of 2.0 in u2
5.488 * [backup-simplify]: Simplify 2.0 into 2.0
5.488 * [taylor]: Taking taylor expansion of (/ PI u2) in u2
5.488 * [taylor]: Taking taylor expansion of PI in u2
5.488 * [backup-simplify]: Simplify PI into PI
5.488 * [taylor]: Taking taylor expansion of u2 in u2
5.488 * [backup-simplify]: Simplify 0 into 0
5.488 * [backup-simplify]: Simplify 1 into 1
5.488 * [backup-simplify]: Simplify (/ PI 1) into PI
5.489 * [backup-simplify]: Simplify (* 2.0 PI) into (* 2.0 PI)
5.489 * [backup-simplify]: Simplify (* 2.0 PI) into (* 2.0 PI)
5.490 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)))) into 0
5.490 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 PI)) into 0
5.490 * [backup-simplify]: Simplify 0 into 0
5.491 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.491 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 PI))) into 0
5.491 * [backup-simplify]: Simplify 0 into 0
5.492 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.498 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
5.498 * [backup-simplify]: Simplify 0 into 0
5.499 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.500 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
5.500 * [backup-simplify]: Simplify 0 into 0
5.501 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.502 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
5.502 * [backup-simplify]: Simplify 0 into 0
5.502 * [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.503 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
5.503 * [backup-simplify]: Simplify 0 into 0
5.504 * [backup-simplify]: Simplify (* (* 2.0 PI) (/ 1 (/ 1 u2))) into (* 2.0 (* u2 PI))
5.504 * [backup-simplify]: Simplify (* (* 2.0 PI) (/ 1 (- u2))) into (* -2.0 (/ PI u2))
5.504 * [approximate]: Taking taylor expansion of (* -2.0 (/ PI u2)) in (u2) around 0
5.504 * [taylor]: Taking taylor expansion of (* -2.0 (/ PI u2)) in u2
5.504 * [taylor]: Taking taylor expansion of -2.0 in u2
5.504 * [backup-simplify]: Simplify -2.0 into -2.0
5.504 * [taylor]: Taking taylor expansion of (/ PI u2) in u2
5.504 * [taylor]: Taking taylor expansion of PI in u2
5.504 * [backup-simplify]: Simplify PI into PI
5.504 * [taylor]: Taking taylor expansion of u2 in u2
5.504 * [backup-simplify]: Simplify 0 into 0
5.504 * [backup-simplify]: Simplify 1 into 1
5.504 * [backup-simplify]: Simplify (/ PI 1) into PI
5.504 * [taylor]: Taking taylor expansion of (* -2.0 (/ PI u2)) in u2
5.504 * [taylor]: Taking taylor expansion of -2.0 in u2
5.505 * [backup-simplify]: Simplify -2.0 into -2.0
5.505 * [taylor]: Taking taylor expansion of (/ PI u2) in u2
5.505 * [taylor]: Taking taylor expansion of PI in u2
5.505 * [backup-simplify]: Simplify PI into PI
5.505 * [taylor]: Taking taylor expansion of u2 in u2
5.505 * [backup-simplify]: Simplify 0 into 0
5.505 * [backup-simplify]: Simplify 1 into 1
5.505 * [backup-simplify]: Simplify (/ PI 1) into PI
5.505 * [backup-simplify]: Simplify (* -2.0 PI) into (* -2.0 PI)
5.506 * [backup-simplify]: Simplify (* -2.0 PI) into (* -2.0 PI)
5.506 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)))) into 0
5.507 * [backup-simplify]: Simplify (+ (* -2.0 0) (* 0 PI)) into 0
5.507 * [backup-simplify]: Simplify 0 into 0
5.507 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.508 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (* 0 PI))) into 0
5.508 * [backup-simplify]: Simplify 0 into 0
5.509 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.510 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
5.510 * [backup-simplify]: Simplify 0 into 0
5.511 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.512 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
5.512 * [backup-simplify]: Simplify 0 into 0
5.513 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* PI (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.515 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
5.515 * [backup-simplify]: Simplify 0 into 0
5.516 * [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.518 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
5.518 * [backup-simplify]: Simplify 0 into 0
5.519 * [backup-simplify]: Simplify (* (* -2.0 PI) (/ 1 (/ 1 (- u2)))) into (* 2.0 (* u2 PI))
5.519 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
5.519 * [backup-simplify]: Simplify (pow (* -2.0 (log u1)) 0.5) into (pow (* -2.0 (log u1)) 0.5)
5.519 * [approximate]: Taking taylor expansion of (pow (* -2.0 (log u1)) 0.5) in (u1) around 0
5.519 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log u1)) 0.5) in u1
5.519 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log u1))))) in u1
5.519 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log u1)))) in u1
5.519 * [taylor]: Taking taylor expansion of 0.5 in u1
5.519 * [backup-simplify]: Simplify 0.5 into 0.5
5.519 * [taylor]: Taking taylor expansion of (log (* -2.0 (log u1))) in u1
5.519 * [taylor]: Taking taylor expansion of (* -2.0 (log u1)) in u1
5.519 * [taylor]: Taking taylor expansion of -2.0 in u1
5.519 * [backup-simplify]: Simplify -2.0 into -2.0
5.519 * [taylor]: Taking taylor expansion of (log u1) in u1
5.519 * [taylor]: Taking taylor expansion of u1 in u1
5.519 * [backup-simplify]: Simplify 0 into 0
5.519 * [backup-simplify]: Simplify 1 into 1
5.520 * [backup-simplify]: Simplify (log 1) into 0
5.520 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.520 * [backup-simplify]: Simplify (* -2.0 (log u1)) into (* -2.0 (log u1))
5.520 * [backup-simplify]: Simplify (log (* -2.0 (log u1))) into (log (* -2.0 (log u1)))
5.521 * [backup-simplify]: Simplify (* 0.5 (log (* -2.0 (log u1)))) into (* 0.5 (log (* -2.0 (log u1))))
5.521 * [backup-simplify]: Simplify (exp (* 0.5 (log (* -2.0 (log u1))))) into (pow (* -2.0 (log u1)) 0.5)
5.521 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log u1)) 0.5) in u1
5.521 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log u1))))) in u1
5.521 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log u1)))) in u1
5.521 * [taylor]: Taking taylor expansion of 0.5 in u1
5.521 * [backup-simplify]: Simplify 0.5 into 0.5
5.521 * [taylor]: Taking taylor expansion of (log (* -2.0 (log u1))) in u1
5.521 * [taylor]: Taking taylor expansion of (* -2.0 (log u1)) in u1
5.521 * [taylor]: Taking taylor expansion of -2.0 in u1
5.521 * [backup-simplify]: Simplify -2.0 into -2.0
5.521 * [taylor]: Taking taylor expansion of (log u1) in u1
5.521 * [taylor]: Taking taylor expansion of u1 in u1
5.521 * [backup-simplify]: Simplify 0 into 0
5.521 * [backup-simplify]: Simplify 1 into 1
5.521 * [backup-simplify]: Simplify (log 1) into 0
5.522 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.522 * [backup-simplify]: Simplify (* -2.0 (log u1)) into (* -2.0 (log u1))
5.522 * [backup-simplify]: Simplify (log (* -2.0 (log u1))) into (log (* -2.0 (log u1)))
5.522 * [backup-simplify]: Simplify (* 0.5 (log (* -2.0 (log u1)))) into (* 0.5 (log (* -2.0 (log u1))))
5.522 * [backup-simplify]: Simplify (exp (* 0.5 (log (* -2.0 (log u1))))) into (pow (* -2.0 (log u1)) 0.5)
5.523 * [backup-simplify]: Simplify (pow (* -2.0 (log u1)) 0.5) into (pow (* -2.0 (log u1)) 0.5)
5.524 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
5.524 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.525 * [backup-simplify]: Simplify (+ (* -2.0 0) (* 0 (log u1))) into 0
5.525 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (* -2.0 (log u1)) 1)))) 1) into 0
5.526 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (* -2.0 (log u1))))) into 0
5.526 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (log u1))))) (+ (* (/ (pow 0 1) 1)))) into 0
5.526 * [backup-simplify]: Simplify 0 into 0
5.528 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
5.528 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.529 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (* 0 (log u1)))) into 0
5.530 * [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.530 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (* -2.0 (log u1)))))) into 0
5.531 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (log u1))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.531 * [backup-simplify]: Simplify 0 into 0
5.534 * [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.534 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.535 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log u1))))) into 0
5.537 * [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.538 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (log u1))))))) into 0
5.539 * [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.539 * [backup-simplify]: Simplify 0 into 0
5.545 * [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.545 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.546 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log u1)))))) into 0
5.549 * [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.550 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (log u1)))))))) into 0
5.551 * [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.551 * [backup-simplify]: Simplify 0 into 0
5.569 * [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.569 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.571 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log u1))))))) into 0
5.579 * [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.581 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (log u1))))))))) into 0
5.586 * [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.586 * [backup-simplify]: Simplify 0 into 0
5.630 * [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.630 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.632 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log u1)))))))) into 0
5.639 * [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.641 * [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.644 * [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.644 * [backup-simplify]: Simplify 0 into 0
5.644 * [backup-simplify]: Simplify (pow (* -2.0 (log u1)) 0.5) into (pow (* -2.0 (log u1)) 0.5)
5.645 * [backup-simplify]: Simplify (pow (* -2.0 (log (/ 1 u1))) 0.5) into (pow (* -2.0 (log (/ 1 u1))) 0.5)
5.645 * [approximate]: Taking taylor expansion of (pow (* -2.0 (log (/ 1 u1))) 0.5) in (u1) around 0
5.645 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log (/ 1 u1))) 0.5) in u1
5.645 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log (/ 1 u1)))))) in u1
5.645 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log (/ 1 u1))))) in u1
5.645 * [taylor]: Taking taylor expansion of 0.5 in u1
5.645 * [backup-simplify]: Simplify 0.5 into 0.5
5.645 * [taylor]: Taking taylor expansion of (log (* -2.0 (log (/ 1 u1)))) in u1
5.645 * [taylor]: Taking taylor expansion of (* -2.0 (log (/ 1 u1))) in u1
5.645 * [taylor]: Taking taylor expansion of -2.0 in u1
5.645 * [backup-simplify]: Simplify -2.0 into -2.0
5.645 * [taylor]: Taking taylor expansion of (log (/ 1 u1)) in u1
5.645 * [taylor]: Taking taylor expansion of (/ 1 u1) in u1
5.645 * [taylor]: Taking taylor expansion of u1 in u1
5.645 * [backup-simplify]: Simplify 0 into 0
5.645 * [backup-simplify]: Simplify 1 into 1
5.645 * [backup-simplify]: Simplify (/ 1 1) into 1
5.645 * [backup-simplify]: Simplify (log 1) into 0
5.646 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.646 * [backup-simplify]: Simplify (* -2.0 (- (log u1))) into (* 2.0 (log u1))
5.646 * [backup-simplify]: Simplify (log (* 2.0 (log u1))) into (log (* 2.0 (log u1)))
5.646 * [backup-simplify]: Simplify (* 0.5 (log (* 2.0 (log u1)))) into (* 0.5 (log (* 2.0 (log u1))))
5.646 * [backup-simplify]: Simplify (exp (* 0.5 (log (* 2.0 (log u1))))) into (pow (* 2.0 (log u1)) 0.5)
5.646 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log (/ 1 u1))) 0.5) in u1
5.646 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log (/ 1 u1)))))) in u1
5.646 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log (/ 1 u1))))) in u1
5.646 * [taylor]: Taking taylor expansion of 0.5 in u1
5.646 * [backup-simplify]: Simplify 0.5 into 0.5
5.646 * [taylor]: Taking taylor expansion of (log (* -2.0 (log (/ 1 u1)))) in u1
5.646 * [taylor]: Taking taylor expansion of (* -2.0 (log (/ 1 u1))) in u1
5.646 * [taylor]: Taking taylor expansion of -2.0 in u1
5.646 * [backup-simplify]: Simplify -2.0 into -2.0
5.646 * [taylor]: Taking taylor expansion of (log (/ 1 u1)) in u1
5.646 * [taylor]: Taking taylor expansion of (/ 1 u1) in u1
5.646 * [taylor]: Taking taylor expansion of u1 in u1
5.646 * [backup-simplify]: Simplify 0 into 0
5.646 * [backup-simplify]: Simplify 1 into 1
5.647 * [backup-simplify]: Simplify (/ 1 1) into 1
5.647 * [backup-simplify]: Simplify (log 1) into 0
5.647 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.647 * [backup-simplify]: Simplify (* -2.0 (- (log u1))) into (* 2.0 (log u1))
5.647 * [backup-simplify]: Simplify (log (* 2.0 (log u1))) into (log (* 2.0 (log u1)))
5.647 * [backup-simplify]: Simplify (* 0.5 (log (* 2.0 (log u1)))) into (* 0.5 (log (* 2.0 (log u1))))
5.647 * [backup-simplify]: Simplify (exp (* 0.5 (log (* 2.0 (log u1))))) into (pow (* 2.0 (log u1)) 0.5)
5.648 * [backup-simplify]: Simplify (pow (* 2.0 (log u1)) 0.5) into (pow (* 2.0 (log u1)) 0.5)
5.648 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.649 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
5.649 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.649 * [backup-simplify]: Simplify (+ (* -2.0 0) (* 0 (- (log u1)))) into 0
5.650 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (* 2.0 (log u1)) 1)))) 1) into 0
5.650 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (* 2.0 (log u1))))) into 0
5.651 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* 2.0 (log u1))))) (+ (* (/ (pow 0 1) 1)))) into 0
5.651 * [backup-simplify]: Simplify 0 into 0
5.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.653 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
5.654 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.654 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (* 0 (- (log u1))))) into 0
5.656 * [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.656 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (* 2.0 (log u1)))))) into 0
5.657 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* 2.0 (log u1))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.657 * [backup-simplify]: Simplify 0 into 0
5.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.660 * [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.661 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.662 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log u1)))))) into 0
5.664 * [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.666 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* 2.0 (log u1))))))) into 0
5.668 * [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.668 * [backup-simplify]: Simplify 0 into 0
5.669 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.676 * [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.677 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.678 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log u1))))))) into 0
5.681 * [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.682 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* 2.0 (log u1)))))))) into 0
5.683 * [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.683 * [backup-simplify]: Simplify 0 into 0
5.684 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.693 * [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.694 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.695 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log u1)))))))) into 0
5.699 * [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.700 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* 2.0 (log u1))))))))) into 0
5.702 * [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.702 * [backup-simplify]: Simplify 0 into 0
5.703 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.744 * [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.745 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) 0) into (- (log u1))
5.748 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log u1))))))))) into 0
5.757 * [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.758 * [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.762 * [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.762 * [backup-simplify]: Simplify 0 into 0
5.762 * [backup-simplify]: Simplify (pow (* 2.0 (log (/ 1 u1))) 0.5) into (pow (* 2.0 (log (/ 1 u1))) 0.5)
5.762 * [backup-simplify]: Simplify (pow (* -2.0 (log (/ 1 (- u1)))) 0.5) into (pow (* -2.0 (log (/ -1 u1))) 0.5)
5.762 * [approximate]: Taking taylor expansion of (pow (* -2.0 (log (/ -1 u1))) 0.5) in (u1) around 0
5.762 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log (/ -1 u1))) 0.5) in u1
5.762 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log (/ -1 u1)))))) in u1
5.762 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log (/ -1 u1))))) in u1
5.762 * [taylor]: Taking taylor expansion of 0.5 in u1
5.762 * [backup-simplify]: Simplify 0.5 into 0.5
5.762 * [taylor]: Taking taylor expansion of (log (* -2.0 (log (/ -1 u1)))) in u1
5.762 * [taylor]: Taking taylor expansion of (* -2.0 (log (/ -1 u1))) in u1
5.762 * [taylor]: Taking taylor expansion of -2.0 in u1
5.762 * [backup-simplify]: Simplify -2.0 into -2.0
5.762 * [taylor]: Taking taylor expansion of (log (/ -1 u1)) in u1
5.762 * [taylor]: Taking taylor expansion of (/ -1 u1) in u1
5.762 * [taylor]: Taking taylor expansion of -1 in u1
5.762 * [backup-simplify]: Simplify -1 into -1
5.762 * [taylor]: Taking taylor expansion of u1 in u1
5.762 * [backup-simplify]: Simplify 0 into 0
5.762 * [backup-simplify]: Simplify 1 into 1
5.763 * [backup-simplify]: Simplify (/ -1 1) into -1
5.763 * [backup-simplify]: Simplify (log -1) into (log -1)
5.763 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.764 * [backup-simplify]: Simplify (* -2.0 (- (log -1) (log u1))) into (* -2.0 (- (log -1) (log u1)))
5.764 * [backup-simplify]: Simplify (log (* -2.0 (- (log -1) (log u1)))) into (log (* -2.0 (- (log -1) (log u1))))
5.764 * [backup-simplify]: Simplify (* 0.5 (log (* -2.0 (- (log -1) (log u1))))) into (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))
5.765 * [backup-simplify]: Simplify (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) into (pow (* -2.0 (- (log -1) (log u1))) 0.5)
5.765 * [taylor]: Taking taylor expansion of (pow (* -2.0 (log (/ -1 u1))) 0.5) in u1
5.765 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* -2.0 (log (/ -1 u1)))))) in u1
5.765 * [taylor]: Taking taylor expansion of (* 0.5 (log (* -2.0 (log (/ -1 u1))))) in u1
5.765 * [taylor]: Taking taylor expansion of 0.5 in u1
5.765 * [backup-simplify]: Simplify 0.5 into 0.5
5.765 * [taylor]: Taking taylor expansion of (log (* -2.0 (log (/ -1 u1)))) in u1
5.765 * [taylor]: Taking taylor expansion of (* -2.0 (log (/ -1 u1))) in u1
5.765 * [taylor]: Taking taylor expansion of -2.0 in u1
5.765 * [backup-simplify]: Simplify -2.0 into -2.0
5.765 * [taylor]: Taking taylor expansion of (log (/ -1 u1)) in u1
5.765 * [taylor]: Taking taylor expansion of (/ -1 u1) in u1
5.765 * [taylor]: Taking taylor expansion of -1 in u1
5.765 * [backup-simplify]: Simplify -1 into -1
5.765 * [taylor]: Taking taylor expansion of u1 in u1
5.765 * [backup-simplify]: Simplify 0 into 0
5.765 * [backup-simplify]: Simplify 1 into 1
5.765 * [backup-simplify]: Simplify (/ -1 1) into -1
5.765 * [backup-simplify]: Simplify (log -1) into (log -1)
5.766 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.766 * [backup-simplify]: Simplify (* -2.0 (- (log -1) (log u1))) into (* -2.0 (- (log -1) (log u1)))
5.767 * [backup-simplify]: Simplify (log (* -2.0 (- (log -1) (log u1)))) into (log (* -2.0 (- (log -1) (log u1))))
5.767 * [backup-simplify]: Simplify (* 0.5 (log (* -2.0 (- (log -1) (log u1))))) into (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))
5.767 * [backup-simplify]: Simplify (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) into (pow (* -2.0 (- (log -1) (log u1))) 0.5)
5.768 * [backup-simplify]: Simplify (pow (* -2.0 (- (log -1) (log u1))) 0.5) into (pow (* -2.0 (- (log -1) (log u1))) 0.5)
5.768 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.769 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
5.769 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.770 * [backup-simplify]: Simplify (+ (* -2.0 0) (* 0 (- (log -1) (log u1)))) into 0
5.771 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 1)))) 1) into 0
5.771 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (* -2.0 (- (log -1) (log u1)))))) into 0
5.772 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) (+ (* (/ (pow 0 1) 1)))) into 0
5.772 * [backup-simplify]: Simplify 0 into 0
5.773 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.774 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
5.775 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.775 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (* 0 (- (log -1) (log u1))))) into 0
5.777 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 1)))) 2) into 0
5.778 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (* -2.0 (- (log -1) (log u1))))))) into 0
5.779 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.779 * [backup-simplify]: Simplify 0 into 0
5.779 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.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
5.784 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.786 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log u1)))))) into 0
5.789 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 1)))) 6) into 0
5.791 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (- (log -1) (log u1)))))))) into 0
5.793 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.793 * [backup-simplify]: Simplify 0 into 0
5.794 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.804 * [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.804 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.806 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log u1))))))) into 0
5.810 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (* -2.0 (- (log -1) (log u1))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 1)))) 24) into 0
5.811 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (- (log -1) (log u1))))))))) into 0
5.813 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.813 * [backup-simplify]: Simplify 0 into 0
5.814 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.823 * [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.824 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.825 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log u1)))))))) into 0
5.832 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (* -2.0 (- (log -1) (log u1))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 1)))) 120) into 0
5.834 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (- (log -1) (log u1)))))))))) into 0
5.836 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.836 * [backup-simplify]: Simplify 0 into 0
5.837 * [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.874 * [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.875 * [backup-simplify]: Simplify (+ (* (- 1) (log u1)) (log -1)) into (- (log -1) (log u1))
5.878 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log u1))))))))) into 0
5.894 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (* -2.0 (- (log -1) (log u1))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (* -2.0 (- (log -1) (log u1))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (* -2.0 (- (log -1) (log u1))) 1)))) 720) into 0
5.896 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (* -2.0 (- (log -1) (log u1))))))))))) into 0
5.899 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (* -2.0 (- (log -1) (log u1)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.899 * [backup-simplify]: Simplify 0 into 0
5.900 * [backup-simplify]: Simplify (pow (* -2.0 (- (log -1) (log (/ 1 (- u1))))) 0.5) into (pow (* -2.0 (- (log -1) (log (/ -1 u1)))) 0.5)
5.900 * * * * [progress]: [ 4 / 4 ] generating series at (2)
5.901 * [backup-simplify]: Simplify (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5) into (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5)
5.901 * [approximate]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5) in (u1 u2) around 0
5.901 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5) in u2
5.901 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) in u2
5.901 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u2
5.901 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
5.901 * [taylor]: Taking taylor expansion of (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in u2
5.901 * [taylor]: Taking taylor expansion of (cos (* 2.0 (* u2 PI))) in u2
5.901 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u2
5.901 * [taylor]: Taking taylor expansion of 2.0 in u2
5.901 * [backup-simplify]: Simplify 2.0 into 2.0
5.901 * [taylor]: Taking taylor expansion of (* u2 PI) in u2
5.901 * [taylor]: Taking taylor expansion of u2 in u2
5.901 * [backup-simplify]: Simplify 0 into 0
5.901 * [backup-simplify]: Simplify 1 into 1
5.901 * [taylor]: Taking taylor expansion of PI in u2
5.901 * [backup-simplify]: Simplify PI into PI
5.901 * [backup-simplify]: Simplify (* 0 PI) into 0
5.902 * [backup-simplify]: Simplify (* 2.0 0) into 0
5.903 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 PI)) into PI
5.904 * [backup-simplify]: Simplify (+ (* 2.0 PI) (* 0 0)) into (* 2.0 PI)
5.904 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u2
5.904 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u2
5.904 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u2
5.904 * [taylor]: Taking taylor expansion of 0.5 in u2
5.904 * [backup-simplify]: Simplify 0.5 into 0.5
5.904 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u2
5.904 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u2
5.904 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u2
5.904 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u2
5.904 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u2
5.904 * [taylor]: Taking taylor expansion of 1.0 in u2
5.904 * [backup-simplify]: Simplify 1.0 into 1.0
5.904 * [taylor]: Taking taylor expansion of (log (log u1)) in u2
5.904 * [taylor]: Taking taylor expansion of (log u1) in u2
5.904 * [taylor]: Taking taylor expansion of u1 in u2
5.904 * [backup-simplify]: Simplify u1 into u1
5.904 * [backup-simplify]: Simplify (log u1) into (log u1)
5.904 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
5.904 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
5.904 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
5.904 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u2
5.904 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u2
5.905 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u2
5.905 * [taylor]: Taking taylor expansion of 1.0 in u2
5.905 * [backup-simplify]: Simplify 1.0 into 1.0
5.905 * [taylor]: Taking taylor expansion of (log -2.0) in u2
5.905 * [taylor]: Taking taylor expansion of -2.0 in u2
5.905 * [backup-simplify]: Simplify -2.0 into -2.0
5.905 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
5.905 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
5.906 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
5.907 * [backup-simplify]: Simplify (* (pow (log u1) 1.0) (pow -2.0 1.0)) into (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)
5.907 * [backup-simplify]: Simplify (log (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)) into (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))
5.908 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))
5.908 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)
5.908 * [taylor]: Taking taylor expansion of 0.5 in u2
5.908 * [backup-simplify]: Simplify 0.5 into 0.5
5.909 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5) in u1
5.909 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) in u1
5.909 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
5.909 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
5.909 * [taylor]: Taking taylor expansion of (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in u1
5.909 * [taylor]: Taking taylor expansion of (cos (* 2.0 (* u2 PI))) in u1
5.909 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u1
5.909 * [taylor]: Taking taylor expansion of 2.0 in u1
5.909 * [backup-simplify]: Simplify 2.0 into 2.0
5.909 * [taylor]: Taking taylor expansion of (* u2 PI) in u1
5.909 * [taylor]: Taking taylor expansion of u2 in u1
5.909 * [backup-simplify]: Simplify u2 into u2
5.909 * [taylor]: Taking taylor expansion of PI in u1
5.909 * [backup-simplify]: Simplify PI into PI
5.909 * [backup-simplify]: Simplify (* u2 PI) into (* u2 PI)
5.909 * [backup-simplify]: Simplify (* 2.0 (* u2 PI)) into (* 2.0 (* u2 PI))
5.909 * [backup-simplify]: Simplify (cos (* 2.0 (* u2 PI))) into (cos (* 2.0 (* u2 PI)))
5.909 * [backup-simplify]: Simplify (sin (* 2.0 (* u2 PI))) into (sin (* 2.0 (* u2 PI)))
5.909 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u1
5.909 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u1
5.909 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u1
5.909 * [taylor]: Taking taylor expansion of 0.5 in u1
5.909 * [backup-simplify]: Simplify 0.5 into 0.5
5.909 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u1
5.909 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u1
5.909 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u1
5.909 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u1
5.909 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u1
5.909 * [taylor]: Taking taylor expansion of 1.0 in u1
5.909 * [backup-simplify]: Simplify 1.0 into 1.0
5.910 * [taylor]: Taking taylor expansion of (log (log u1)) in u1
5.910 * [taylor]: Taking taylor expansion of (log u1) in u1
5.910 * [taylor]: Taking taylor expansion of u1 in u1
5.910 * [backup-simplify]: Simplify 0 into 0
5.910 * [backup-simplify]: Simplify 1 into 1
5.910 * [backup-simplify]: Simplify (log 1) into 0
5.910 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.910 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.910 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
5.911 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
5.911 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
5.911 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
5.911 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
5.911 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
5.911 * [taylor]: Taking taylor expansion of 1.0 in u1
5.911 * [backup-simplify]: Simplify 1.0 into 1.0
5.911 * [taylor]: Taking taylor expansion of (log -2.0) in u1
5.911 * [taylor]: Taking taylor expansion of -2.0 in u1
5.911 * [backup-simplify]: Simplify -2.0 into -2.0
5.911 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
5.912 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
5.912 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
5.913 * [backup-simplify]: Simplify (* (pow (log u1) 1.0) (pow -2.0 1.0)) into (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)
5.913 * [backup-simplify]: Simplify (log (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)) into (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))
5.914 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))
5.914 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)
5.914 * [taylor]: Taking taylor expansion of 0.5 in u1
5.914 * [backup-simplify]: Simplify 0.5 into 0.5
5.914 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5) in u1
5.914 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) in u1
5.914 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u1
5.914 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
5.914 * [taylor]: Taking taylor expansion of (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in u1
5.914 * [taylor]: Taking taylor expansion of (cos (* 2.0 (* u2 PI))) in u1
5.915 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u1
5.915 * [taylor]: Taking taylor expansion of 2.0 in u1
5.915 * [backup-simplify]: Simplify 2.0 into 2.0
5.915 * [taylor]: Taking taylor expansion of (* u2 PI) in u1
5.915 * [taylor]: Taking taylor expansion of u2 in u1
5.915 * [backup-simplify]: Simplify u2 into u2
5.915 * [taylor]: Taking taylor expansion of PI in u1
5.915 * [backup-simplify]: Simplify PI into PI
5.915 * [backup-simplify]: Simplify (* u2 PI) into (* u2 PI)
5.915 * [backup-simplify]: Simplify (* 2.0 (* u2 PI)) into (* 2.0 (* u2 PI))
5.915 * [backup-simplify]: Simplify (cos (* 2.0 (* u2 PI))) into (cos (* 2.0 (* u2 PI)))
5.915 * [backup-simplify]: Simplify (sin (* 2.0 (* u2 PI))) into (sin (* 2.0 (* u2 PI)))
5.915 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u1
5.915 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u1
5.915 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u1
5.915 * [taylor]: Taking taylor expansion of 0.5 in u1
5.915 * [backup-simplify]: Simplify 0.5 into 0.5
5.915 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u1
5.915 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u1
5.915 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u1
5.915 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u1
5.915 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u1
5.915 * [taylor]: Taking taylor expansion of 1.0 in u1
5.915 * [backup-simplify]: Simplify 1.0 into 1.0
5.915 * [taylor]: Taking taylor expansion of (log (log u1)) in u1
5.915 * [taylor]: Taking taylor expansion of (log u1) in u1
5.915 * [taylor]: Taking taylor expansion of u1 in u1
5.915 * [backup-simplify]: Simplify 0 into 0
5.915 * [backup-simplify]: Simplify 1 into 1
5.915 * [backup-simplify]: Simplify (log 1) into 0
5.916 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.916 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.916 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
5.916 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
5.916 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
5.916 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u1
5.916 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u1
5.916 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u1
5.916 * [taylor]: Taking taylor expansion of 1.0 in u1
5.916 * [backup-simplify]: Simplify 1.0 into 1.0
5.916 * [taylor]: Taking taylor expansion of (log -2.0) in u1
5.916 * [taylor]: Taking taylor expansion of -2.0 in u1
5.916 * [backup-simplify]: Simplify -2.0 into -2.0
5.916 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
5.917 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
5.918 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
5.918 * [backup-simplify]: Simplify (* (pow (log u1) 1.0) (pow -2.0 1.0)) into (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)
5.919 * [backup-simplify]: Simplify (log (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)) into (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))
5.919 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))
5.920 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)
5.920 * [taylor]: Taking taylor expansion of 0.5 in u1
5.920 * [backup-simplify]: Simplify 0.5 into 0.5
5.920 * [backup-simplify]: Simplify (* (cos (* 2.0 (* u2 PI))) 1) into (cos (* 2.0 (* u2 PI)))
5.920 * [backup-simplify]: Simplify (* (sin (* 2.0 (* u2 PI))) 0) into 0
5.921 * [backup-simplify]: Simplify (- 0) into 0
5.921 * [backup-simplify]: Simplify (+ (cos (* 2.0 (* u2 PI))) 0) into (cos (* 2.0 (* u2 PI)))
5.922 * [backup-simplify]: Simplify (* (cos (* 2.0 (* u2 PI))) (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)) into (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))
5.923 * [backup-simplify]: Simplify (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) into (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)))
5.924 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5) into (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5)
5.924 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5) in u2
5.924 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) in u2
5.924 * [taylor]: Taking taylor expansion of 0.16666666666666666 in u2
5.924 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
5.924 * [taylor]: Taking taylor expansion of (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in u2
5.924 * [taylor]: Taking taylor expansion of (cos (* 2.0 (* u2 PI))) in u2
5.924 * [taylor]: Taking taylor expansion of (* 2.0 (* u2 PI)) in u2
5.924 * [taylor]: Taking taylor expansion of 2.0 in u2
5.924 * [backup-simplify]: Simplify 2.0 into 2.0
5.924 * [taylor]: Taking taylor expansion of (* u2 PI) in u2
5.924 * [taylor]: Taking taylor expansion of u2 in u2
5.924 * [backup-simplify]: Simplify 0 into 0
5.924 * [backup-simplify]: Simplify 1 into 1
5.924 * [taylor]: Taking taylor expansion of PI in u2
5.924 * [backup-simplify]: Simplify PI into PI
5.925 * [backup-simplify]: Simplify (* 0 PI) into 0
5.925 * [backup-simplify]: Simplify (* 2.0 0) into 0
5.927 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 PI)) into PI
5.928 * [backup-simplify]: Simplify (+ (* 2.0 PI) (* 0 0)) into (* 2.0 PI)
5.928 * [taylor]: Taking taylor expansion of (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) in u2
5.929 * [taylor]: Taking taylor expansion of (exp (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0))))) in u2
5.929 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (pow (log u1) 1.0) (pow -2.0 1.0)))) in u2
5.929 * [taylor]: Taking taylor expansion of 0.5 in u2
5.929 * [backup-simplify]: Simplify 0.5 into 0.5
5.929 * [taylor]: Taking taylor expansion of (log (* (pow (log u1) 1.0) (pow -2.0 1.0))) in u2
5.929 * [taylor]: Taking taylor expansion of (* (pow (log u1) 1.0) (pow -2.0 1.0)) in u2
5.929 * [taylor]: Taking taylor expansion of (pow (log u1) 1.0) in u2
5.929 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (log u1)))) in u2
5.929 * [taylor]: Taking taylor expansion of (* 1.0 (log (log u1))) in u2
5.929 * [taylor]: Taking taylor expansion of 1.0 in u2
5.929 * [backup-simplify]: Simplify 1.0 into 1.0
5.929 * [taylor]: Taking taylor expansion of (log (log u1)) in u2
5.929 * [taylor]: Taking taylor expansion of (log u1) in u2
5.929 * [taylor]: Taking taylor expansion of u1 in u2
5.929 * [backup-simplify]: Simplify u1 into u1
5.929 * [backup-simplify]: Simplify (log u1) into (log u1)
5.929 * [backup-simplify]: Simplify (log (log u1)) into (log (log u1))
5.929 * [backup-simplify]: Simplify (* 1.0 (log (log u1))) into (* 1.0 (log (log u1)))
5.929 * [backup-simplify]: Simplify (exp (* 1.0 (log (log u1)))) into (pow (log u1) 1.0)
5.930 * [taylor]: Taking taylor expansion of (pow -2.0 1.0) in u2
5.930 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -2.0))) in u2
5.930 * [taylor]: Taking taylor expansion of (* 1.0 (log -2.0)) in u2
5.930 * [taylor]: Taking taylor expansion of 1.0 in u2
5.930 * [backup-simplify]: Simplify 1.0 into 1.0
5.930 * [taylor]: Taking taylor expansion of (log -2.0) in u2
5.930 * [taylor]: Taking taylor expansion of -2.0 in u2
5.930 * [backup-simplify]: Simplify -2.0 into -2.0
5.930 * [backup-simplify]: Simplify (log -2.0) into (log -2.0)
5.931 * [backup-simplify]: Simplify (* 1.0 (log -2.0)) into (* 1.0 (log -2.0))
5.933 * [backup-simplify]: Simplify (exp (* 1.0 (log -2.0))) into (pow -2.0 1.0)
5.933 * [backup-simplify]: Simplify (* (pow (log u1) 1.0) (pow -2.0 1.0)) into (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)
5.934 * [backup-simplify]: Simplify (log (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0)) into (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))
5.935 * [backup-simplify]: Simplify (* 0.5 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))) into (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))
5.936 * [backup-simplify]: Simplify (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)
5.936 * [taylor]: Taking taylor expansion of 0.5 in u2
5.936 * [backup-simplify]: Simplify 0.5 into 0.5
5.937 * [backup-simplify]: Simplify (* 1 (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)) into (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)
5.937 * [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.938 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) 0.5) into (+ (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) 0.5)
5.938 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) 0.5) into (+ (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) 0.5)
5.939 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2.0 1)))) 1) into 0
5.940 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log -2.0))) into 0
5.941 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 1) 1)))) into 0
5.941 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
5.942 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.942 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log u1) 1)))) 1) into 0
5.942 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (log u1)))) into 0
5.943 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 1) 1)))) into 0
5.943 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (* 0 (pow -2.0 1.0))) into 0
5.944 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1)))) 1) into 0
5.945 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0)))) into 0
5.946 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
5.947 * [backup-simplify]: Simplify (+ 0) into 0
5.947 * [backup-simplify]: Simplify (+ (* (cos (* 2.0 (* u2 PI))) 0) (* 0 1)) into 0
5.948 * [backup-simplify]: Simplify (+ (* u2 0) (* 0 PI)) into 0
5.948 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 (* u2 PI))) into 0
5.948 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.949 * [backup-simplify]: Simplify (+ (* (sin (* 2.0 (* u2 PI))) 0) (* 0 0)) into 0
5.949 * [backup-simplify]: Simplify (- 0) into 0
5.949 * [backup-simplify]: Simplify (+ 0 0) into 0
5.950 * [backup-simplify]: Simplify (+ (* (cos (* 2.0 (* u2 PI))) 0) (* 0 (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5))) into 0
5.951 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (* 0 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)))) into 0
5.951 * [backup-simplify]: Simplify (+ 0 0) into 0
5.951 * [taylor]: Taking taylor expansion of 0 in u2
5.951 * [backup-simplify]: Simplify 0 into 0
5.951 * [backup-simplify]: Simplify 0 into 0
5.952 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2.0 1)))) 1) into 0
5.952 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log -2.0))) into 0
5.953 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 1) 1)))) into 0
5.954 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow u1 1)))) 1) into 0
5.954 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log u1) 1)))) 1) into 0
5.954 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (log u1)))) into 0
5.955 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 1) 1)))) into 0
5.955 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (* 0 (pow -2.0 1.0))) into 0
5.956 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1)))) 1) into 0
5.957 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0)))) into 0
5.958 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
5.958 * [backup-simplify]: Simplify (+ 0) into 0
5.959 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5))) into 0
5.960 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (* 0 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) into 0
5.960 * [backup-simplify]: Simplify (+ 0 0) into 0
5.960 * [backup-simplify]: Simplify 0 into 0
5.962 * [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.963 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log -2.0)))) into 0
5.964 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.964 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.967 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
5.967 * [backup-simplify]: Simplify (+ (* (- -1) (log u1)) 0) into (log u1)
5.969 * [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.979 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log (log u1))))) into 0
5.981 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (log u1)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.983 * [backup-simplify]: Simplify (+ (* (pow (log u1) 1.0) 0) (+ (* 0 0) (* 0 (pow -2.0 1.0)))) into 0
5.986 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1)))) 2) into 0
5.988 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (log (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0))))) into 0
5.990 * [backup-simplify]: Simplify (* (exp (* 0.5 (log (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.991 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.992 * [backup-simplify]: Simplify (+ (* (cos (* 2.0 (* u2 PI))) 0) (+ (* 0 0) (* 0 1))) into 0
5.992 * [backup-simplify]: Simplify (+ (* u2 0) (+ (* 0 0) (* 0 PI))) into 0
5.993 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 (* u2 PI)))) into 0
5.994 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.995 * [backup-simplify]: Simplify (+ (* (sin (* 2.0 (* u2 PI))) 0) (+ (* 0 0) (* 0 0))) into 0
5.995 * [backup-simplify]: Simplify (- 0) into 0
5.995 * [backup-simplify]: Simplify (+ 0 0) into 0
5.997 * [backup-simplify]: Simplify (+ (* (cos (* 2.0 (* u2 PI))) 0) (+ (* 0 0) (* 0 (pow (pow (pow (pow (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 1.0) 1.0) 1.0) 1.0) 0.5)))) into 0
5.999 * [backup-simplify]: Simplify (+ (* 0.16666666666666666 0) (+ (* 0 0) (* 0 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))))) into 0
5.999 * [backup-simplify]: Simplify (+ 0 0) into 0
5.999 * [taylor]: Taking taylor expansion of 0 in u2
5.999 * [backup-simplify]: Simplify 0 into 0
5.999 * [backup-simplify]: Simplify 0 into 0
5.999 * [backup-simplify]: Simplify 0 into 0
6.002 * [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.004 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log -2.0)))) into 0
6.006 * [backup-simplify]: Simplify (* (exp (* 1.0 (log -2.0))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0