2.827 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.056 * * * [progress]: [2/2] Setting up program.
0.058 * [progress]: [Phase 2 of 3] Improving.
0.058 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))
0.059 * * [simplify]: iteration  0 :  11  enodes  (cost  16 )
0.061 * * [simplify]: iteration  1 :  20  enodes  (cost  16 )
0.063 * * [simplify]: iteration  2 :  42  enodes  (cost  16 )
0.069 * * [simplify]: iteration  3 :  90  enodes  (cost  16 )
0.080 * * [simplify]: iteration  4 :  168  enodes  (cost  16 )
0.107 * * [simplify]: iteration  5 :  246  enodes  (cost  16 )
0.144 * * [simplify]: iteration  6 :  264  enodes  (cost  16 )
0.183 * * [simplify]: iteration  done :  264  enodes  (cost  16 )
0.183 * [simplify]: Simplified to:
   (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))
0.184 * * [progress]: iteration 1 / 4
0.184 * * * [progress]: picking best candidate
0.186 * * * * [pick]: Picked  #<alt (λ (x) (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x)))>
0.186 * * * [progress]: localizing error
0.197 * * * [progress]: generating rewritten candidates
0.197 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.217 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
0.227 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.250 * * * [progress]: generating series expansions
0.250 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.251 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in (x) around 0
0.251 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
0.251 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.251 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
0.251 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
0.251 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
0.251 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.251 * [taylor]: Taking taylor expansion of 0.5 in x
0.251 * [taylor]: Taking taylor expansion of x in x
0.254 * [taylor]: Taking taylor expansion of (sin x) in x
0.254 * [taylor]: Taking taylor expansion of x in x
0.255 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
0.255 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.255 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
0.255 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
0.255 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
0.255 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.255 * [taylor]: Taking taylor expansion of 0.5 in x
0.255 * [taylor]: Taking taylor expansion of x in x
0.258 * [taylor]: Taking taylor expansion of (sin x) in x
0.258 * [taylor]: Taking taylor expansion of x in x
0.299 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in (x) around 0
0.300 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
0.300 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.300 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
0.300 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
0.300 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
0.300 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
0.300 * [taylor]: Taking taylor expansion of 0.5 in x
0.300 * [taylor]: Taking taylor expansion of x in x
0.300 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.300 * [taylor]: Taking taylor expansion of x in x
0.301 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
0.301 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.301 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
0.301 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
0.301 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
0.301 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
0.301 * [taylor]: Taking taylor expansion of 0.5 in x
0.301 * [taylor]: Taking taylor expansion of x in x
0.302 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.302 * [taylor]: Taking taylor expansion of x in x
0.315 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in (x) around 0
0.315 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
0.316 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.316 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
0.316 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
0.316 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
0.316 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
0.316 * [taylor]: Taking taylor expansion of -0.5 in x
0.316 * [taylor]: Taking taylor expansion of x in x
0.316 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.316 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.316 * [taylor]: Taking taylor expansion of -1 in x
0.316 * [taylor]: Taking taylor expansion of x in x
0.317 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
0.317 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.317 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
0.317 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
0.317 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
0.317 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
0.317 * [taylor]: Taking taylor expansion of -0.5 in x
0.317 * [taylor]: Taking taylor expansion of x in x
0.317 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.317 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.317 * [taylor]: Taking taylor expansion of -1 in x
0.317 * [taylor]: Taking taylor expansion of x in x
0.331 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
0.331 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in (x) around 0
0.332 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in x
0.332 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.332 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
0.332 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.332 * [taylor]: Taking taylor expansion of 0.5 in x
0.332 * [taylor]: Taking taylor expansion of x in x
0.333 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in x
0.333 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.333 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
0.333 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.333 * [taylor]: Taking taylor expansion of 0.5 in x
0.333 * [taylor]: Taking taylor expansion of x in x
0.360 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in (x) around 0
0.360 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in x
0.360 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.361 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
0.361 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
0.361 * [taylor]: Taking taylor expansion of 0.5 in x
0.361 * [taylor]: Taking taylor expansion of x in x
0.361 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in x
0.361 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.361 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
0.361 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
0.361 * [taylor]: Taking taylor expansion of 0.5 in x
0.361 * [taylor]: Taking taylor expansion of x in x
0.367 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in (x) around 0
0.367 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in x
0.367 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.367 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
0.367 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
0.367 * [taylor]: Taking taylor expansion of -0.5 in x
0.368 * [taylor]: Taking taylor expansion of x in x
0.368 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in x
0.368 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.368 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
0.368 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
0.368 * [taylor]: Taking taylor expansion of -0.5 in x
0.368 * [taylor]: Taking taylor expansion of x in x
0.374 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.374 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (* 0.5 x)) 2)) in (x) around 0
0.374 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (* 0.5 x)) 2)) in x
0.374 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.374 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
0.374 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
0.374 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.374 * [taylor]: Taking taylor expansion of 0.5 in x
0.374 * [taylor]: Taking taylor expansion of x in x
0.377 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (* 0.5 x)) 2)) in x
0.377 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.377 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
0.377 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
0.377 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.377 * [taylor]: Taking taylor expansion of 0.5 in x
0.377 * [taylor]: Taking taylor expansion of x in x
0.406 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (/ 0.5 x)) 2)) in (x) around 0
0.406 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (/ 0.5 x)) 2)) in x
0.406 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.406 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
0.406 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
0.406 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
0.406 * [taylor]: Taking taylor expansion of 0.5 in x
0.406 * [taylor]: Taking taylor expansion of x in x
0.406 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (/ 0.5 x)) 2)) in x
0.406 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.406 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
0.406 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
0.407 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
0.407 * [taylor]: Taking taylor expansion of 0.5 in x
0.407 * [taylor]: Taking taylor expansion of x in x
0.418 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (/ -0.5 x)) 2)) in (x) around 0
0.418 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (/ -0.5 x)) 2)) in x
0.418 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.418 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
0.418 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
0.418 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
0.418 * [taylor]: Taking taylor expansion of -0.5 in x
0.418 * [taylor]: Taking taylor expansion of x in x
0.418 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (/ -0.5 x)) 2)) in x
0.418 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.418 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
0.418 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
0.418 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
0.418 * [taylor]: Taking taylor expansion of -0.5 in x
0.418 * [taylor]: Taking taylor expansion of x in x
0.429 * * * [progress]: simplifying candidates
0.431 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x)))
  (log1p (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x)))
  (- (+ (+ (- (log 8.0) (log 3.0)) (log (sin (* x 0.5)))) (log (sin (* x 0.5)))) (log (sin x)))
  (- (+ (+ (log (/ 8.0 3.0)) (log (sin (* x 0.5)))) (log (sin (* x 0.5)))) (log (sin x)))
  (- (+ (log (* (/ 8.0 3.0) (sin (* x 0.5)))) (log (sin (* x 0.5)))) (log (sin x)))
  (- (log (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))) (log (sin x)))
  (log (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x)))
  (exp (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x)))
  (/ (* (* (/ (* (* 8.0 8.0) 8.0) (* (* 3.0 3.0) 3.0)) (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5)))) (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5)))) (* (* (sin x) (sin x)) (sin x)))
  (/ (* (* (* (* (/ 8.0 3.0) (/ 8.0 3.0)) (/ 8.0 3.0)) (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5)))) (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5)))) (* (* (sin x) (sin x)) (sin x)))
  (/ (* (* (* (* (/ 8.0 3.0) (sin (* x 0.5))) (* (/ 8.0 3.0) (sin (* x 0.5)))) (* (/ 8.0 3.0) (sin (* x 0.5)))) (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5)))) (* (* (sin x) (sin x)) (sin x)))
  (/ (* (* (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))) (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))) (* (* (sin x) (sin x)) (sin x)))
  (* (cbrt (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))) (cbrt (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))))
  (cbrt (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x)))
  (* (* (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x)) (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))) (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x)))
  (sqrt (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x)))
  (sqrt (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x)))
  (- (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))))
  (- (sin x))
  (/ (* (/ 8.0 3.0) (sin (* x 0.5))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sin (* x 0.5)) (cbrt (sin x)))
  (/ (* (/ 8.0 3.0) (sin (* x 0.5))) (sqrt (sin x)))
  (/ (sin (* x 0.5)) (sqrt (sin x)))
  (/ (* (/ 8.0 3.0) (sin (* x 0.5))) 1)
  (/ (sin (* x 0.5)) (sin x))
  (/ 1 (sin x))
  (/ (sin x) (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))))
  (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sqrt (sin x)))
  (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) 1)
  (/ (sin x) (sin (* x 0.5)))
  (* (sin x) 3.0)
  (expm1 (* (/ 8.0 3.0) (sin (* x 0.5))))
  (log1p (* (/ 8.0 3.0) (sin (* x 0.5))))
  (* (/ 8.0 3.0) (sin (* x 0.5)))
  (+ (- (log 8.0) (log 3.0)) (log (sin (* x 0.5))))
  (+ (log (/ 8.0 3.0)) (log (sin (* x 0.5))))
  (log (* (/ 8.0 3.0) (sin (* x 0.5))))
  (exp (* (/ 8.0 3.0) (sin (* x 0.5))))
  (* (/ (* (* 8.0 8.0) 8.0) (* (* 3.0 3.0) 3.0)) (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5))))
  (* (* (* (/ 8.0 3.0) (/ 8.0 3.0)) (/ 8.0 3.0)) (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5))))
  (* (cbrt (* (/ 8.0 3.0) (sin (* x 0.5)))) (cbrt (* (/ 8.0 3.0) (sin (* x 0.5)))))
  (cbrt (* (/ 8.0 3.0) (sin (* x 0.5))))
  (* (* (* (/ 8.0 3.0) (sin (* x 0.5))) (* (/ 8.0 3.0) (sin (* x 0.5)))) (* (/ 8.0 3.0) (sin (* x 0.5))))
  (sqrt (* (/ 8.0 3.0) (sin (* x 0.5))))
  (sqrt (* (/ 8.0 3.0) (sin (* x 0.5))))
  (* (sqrt (/ 8.0 3.0)) (sqrt (sin (* x 0.5))))
  (* (sqrt (/ 8.0 3.0)) (sqrt (sin (* x 0.5))))
  (* (/ (sqrt 8.0) (sqrt 3.0)) (sqrt (sin (* x 0.5))))
  (* (/ (sqrt 8.0) (sqrt 3.0)) (sqrt (sin (* x 0.5))))
  (* (/ 8.0 3.0) (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))))
  (* (/ 8.0 3.0) (sqrt (sin (* x 0.5))))
  (* (/ 8.0 3.0) 1)
  (* (cbrt (/ 8.0 3.0)) (sin (* x 0.5)))
  (* (sqrt (/ 8.0 3.0)) (sin (* x 0.5)))
  (* (/ (cbrt 8.0) (cbrt 3.0)) (sin (* x 0.5)))
  (* (/ (cbrt 8.0) (sqrt 3.0)) (sin (* x 0.5)))
  (* (/ (cbrt 8.0) 3.0) (sin (* x 0.5)))
  (* (/ (sqrt 8.0) (cbrt 3.0)) (sin (* x 0.5)))
  (* (/ (sqrt 8.0) (sqrt 3.0)) (sin (* x 0.5)))
  (* (/ (sqrt 8.0) 3.0) (sin (* x 0.5)))
  (* (/ 8.0 (cbrt 3.0)) (sin (* x 0.5)))
  (* (/ 8.0 (sqrt 3.0)) (sin (* x 0.5)))
  (* (/ 8.0 3.0) (sin (* x 0.5)))
  (* (/ 8.0 3.0) (sin (* x 0.5)))
  (* (/ 1 3.0) (sin (* x 0.5)))
  (* 8.0 (sin (* x 0.5)))
  (expm1 (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))))
  (log1p (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))))
  (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))
  (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))
  (+ (+ (- (log 8.0) (log 3.0)) (log (sin (* x 0.5)))) (log (sin (* x 0.5))))
  (+ (+ (log (/ 8.0 3.0)) (log (sin (* x 0.5)))) (log (sin (* x 0.5))))
  (+ (log (* (/ 8.0 3.0) (sin (* x 0.5)))) (log (sin (* x 0.5))))
  (log (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))))
  (exp (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))))
  (* (* (/ (* (* 8.0 8.0) 8.0) (* (* 3.0 3.0) 3.0)) (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5)))) (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5))))
  (* (* (* (* (/ 8.0 3.0) (/ 8.0 3.0)) (/ 8.0 3.0)) (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5)))) (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5))))
  (* (* (* (* (/ 8.0 3.0) (sin (* x 0.5))) (* (/ 8.0 3.0) (sin (* x 0.5)))) (* (/ 8.0 3.0) (sin (* x 0.5)))) (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5))))
  (* (cbrt (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))) (cbrt (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))))
  (cbrt (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))))
  (* (* (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))) (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))))
  (sqrt (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))))
  (sqrt (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))))
  (* (* (/ 8.0 3.0) (sin (* x 0.5))) (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))))
  (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sqrt (sin (* x 0.5))))
  (* (* (/ 8.0 3.0) (sin (* x 0.5))) 1)
  (* (sin (* x 0.5)) (sin (* x 0.5)))
  (* (* 8.0 (sin (* x 0.5))) (sin (* x 0.5)))
  (+ (* 0.05555555555555555 (pow x 3)) (+ (* 0.005555555555555554 (pow x 5)) (* 0.6666666666666666 x)))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (- (+ (* 1.3333333333333333 x) (* 0.0006944444444444444 (pow x 5))) (* 0.05555555555555555 (pow x 3)))
  (* 2.6666666666666665 (sin (* 0.5 x)))
  (* 2.6666666666666665 (sin (* 0.5 x)))
  (- (+ (* 0.6666666666666666 (pow x 2)) (* 0.0018518518518518515 (pow x 6))) (* 0.05555555555555555 (pow x 4)))
  (* 2.6666666666666665 (pow (sin (* 0.5 x)) 2))
  (* 2.6666666666666665 (pow (sin (* 0.5 x)) 2))
0.435 * * [simplify]: iteration  0 :  169  enodes  (cost  1554 )
0.468 * * [simplify]: iteration  1 :  423  enodes  (cost  1349 )
0.572 * * [simplify]: iteration  2 :  1866  enodes  (cost  1080 )
1.142 * * [simplify]: iteration  done :  5000  enodes  (cost  1080 )
1.143 * [simplify]: Simplified to:
   (expm1 (/ (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) (sin x)))
  (log1p (/ (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) (sin x)))
  (log (/ (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) (sin x)))
  (log (/ (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) (sin x)))
  (log (/ (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) (sin x)))
  (log (/ (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) (sin x)))
  (log (/ (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) (sin x)))
  (exp (/ (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) (sin x)))
  (pow (/ (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) (sin x)) 3)
  (pow (/ (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) (sin x)) 3)
  (pow (/ (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) (sin x)) 3)
  (pow (/ (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) (sin x)) 3)
  (* (cbrt (/ (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) (sin x))) (cbrt (/ (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) (sin x))))
  (cbrt (/ (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) (sin x)))
  (pow (/ (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) (sin x)) 3)
  (sqrt (/ (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) (sin x)))
  (sqrt (/ (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) (sin x)))
  (- (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)))
  (- (sin x))
  (/ (* (/ 8.0 3.0) (sin (* x 0.5))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sin (* x 0.5)) (cbrt (sin x)))
  (/ (* (/ 8.0 3.0) (sin (* x 0.5))) (sqrt (sin x)))
  (/ (sin (* x 0.5)) (sqrt (sin x)))
  (* (sin (* 0.5 x)) (/ 8.0 3.0))
  (/ (sin (* x 0.5)) (sin x))
  (/ 1 (sin x))
  (/ (sin x) (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)))
  (/ (/ (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) (cbrt (sin x))) (cbrt (sin x)))
  (/ (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) (sqrt (sin x)))
  (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2))
  (/ (sin x) (sin (* 0.5 x)))
  (* (sin x) 3.0)
  (expm1 (* (/ 8.0 3.0) (sin (* x 0.5))))
  (log1p (* (/ 8.0 3.0) (sin (* x 0.5))))
  (* (sin (* 0.5 x)) (/ 8.0 3.0))
  (log (* (/ 8.0 3.0) (sin (* x 0.5))))
  (log (* (/ 8.0 3.0) (sin (* x 0.5))))
  (log (* (/ 8.0 3.0) (sin (* x 0.5))))
  (exp (* (/ 8.0 3.0) (sin (* x 0.5))))
  (pow (* (sin (* 0.5 x)) (/ 8.0 3.0)) 3)
  (pow (* (sin (* 0.5 x)) (/ 8.0 3.0)) 3)
  (* (cbrt (* (/ 8.0 3.0) (sin (* x 0.5)))) (cbrt (* (/ 8.0 3.0) (sin (* x 0.5)))))
  (cbrt (* (/ 8.0 3.0) (sin (* x 0.5))))
  (pow (* (sin (* 0.5 x)) (/ 8.0 3.0)) 3)
  (sqrt (* (/ 8.0 3.0) (sin (* x 0.5))))
  (sqrt (* (/ 8.0 3.0) (sin (* x 0.5))))
  (* (sqrt (/ 8.0 3.0)) (sqrt (sin (* x 0.5))))
  (* (sqrt (/ 8.0 3.0)) (sqrt (sin (* x 0.5))))
  (* (/ (sqrt 8.0) (sqrt 3.0)) (sqrt (sin (* x 0.5))))
  (* (/ (sqrt 8.0) (sqrt 3.0)) (sqrt (sin (* x 0.5))))
  (* (/ 8.0 3.0) (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))))
  (* (/ 8.0 3.0) (sqrt (sin (* x 0.5))))
  (/ 8.0 3.0)
  (* (cbrt (/ 8.0 3.0)) (sin (* x 0.5)))
  (* (sqrt (/ 8.0 3.0)) (sin (* x 0.5)))
  (* (/ (cbrt 8.0) (cbrt 3.0)) (sin (* x 0.5)))
  (* (/ (cbrt 8.0) (sqrt 3.0)) (sin (* x 0.5)))
  (* (/ (cbrt 8.0) 3.0) (sin (* x 0.5)))
  (* (/ (sqrt 8.0) (cbrt 3.0)) (sin (* x 0.5)))
  (* (/ (sqrt 8.0) (sqrt 3.0)) (sin (* x 0.5)))
  (* (/ (sqrt 8.0) 3.0) (sin (* x 0.5)))
  (* (/ 8.0 (cbrt 3.0)) (sin (* x 0.5)))
  (* (/ 8.0 (sqrt 3.0)) (sin (* x 0.5)))
  (* (sin (* 0.5 x)) (/ 8.0 3.0))
  (* (sin (* 0.5 x)) (/ 8.0 3.0))
  (/ (sin (* 0.5 x)) 3.0)
  (* 8.0 (sin (* x 0.5)))
  (expm1 (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)))
  (log1p (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)))
  (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2))
  (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2))
  (log (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)))
  (log (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)))
  (log (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)))
  (log (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)))
  (exp (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)))
  (pow (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) 3)
  (pow (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) 3)
  (pow (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) 3)
  (* (cbrt (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2))) (cbrt (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2))))
  (cbrt (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)))
  (pow (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)) 3)
  (sqrt (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)))
  (sqrt (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)))
  (* (* (/ 8.0 3.0) (sin (* x 0.5))) (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))))
  (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sqrt (sin (* x 0.5))))
  (* (sin (* 0.5 x)) (/ 8.0 3.0))
  (pow (sin (* x 0.5)) 2)
  (* 8.0 (pow (sin (* x 0.5)) 2))
  (fma 0.05555555555555555 (pow x 3) (fma 0.005555555555555554 (pow x 5) (* 0.6666666666666666 x)))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (- (fma 1.3333333333333333 x (* 0.0006944444444444444 (pow x 5))) (* 0.05555555555555555 (pow x 3)))
  (* 2.6666666666666665 (sin (* 0.5 x)))
  (* 2.6666666666666665 (sin (* 0.5 x)))
  (- (fma 0.6666666666666666 (pow x 2) (* 0.0018518518518518515 (pow x 6))) (* 0.05555555555555555 (pow x 4)))
  (* 2.6666666666666665 (pow (sin (* 0.5 x)) 2))
  (* 2.6666666666666665 (pow (sin (* 0.5 x)) 2))
1.144 * * * [progress]: adding candidates to table
1.373 * * [progress]: iteration 2 / 4
1.373 * * * [progress]: picking best candidate
1.403 * * * * [pick]: Picked  #<alt (λ (x) (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sin (* x 0.5)) (sin x))))>
1.403 * * * [progress]: localizing error
1.417 * * * [progress]: generating rewritten candidates
1.417 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
1.430 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1.450 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
1.457 * * * [progress]: generating series expansions
1.457 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
1.458 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in (x) around 0
1.458 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in x
1.458 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.458 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
1.458 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.458 * [taylor]: Taking taylor expansion of 0.5 in x
1.458 * [taylor]: Taking taylor expansion of x in x
1.459 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in x
1.459 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.459 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
1.459 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.459 * [taylor]: Taking taylor expansion of 0.5 in x
1.459 * [taylor]: Taking taylor expansion of x in x
1.481 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in (x) around 0
1.481 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in x
1.481 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.481 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
1.481 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
1.481 * [taylor]: Taking taylor expansion of 0.5 in x
1.481 * [taylor]: Taking taylor expansion of x in x
1.481 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in x
1.481 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.481 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
1.482 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
1.482 * [taylor]: Taking taylor expansion of 0.5 in x
1.482 * [taylor]: Taking taylor expansion of x in x
1.488 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in (x) around 0
1.488 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in x
1.488 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.488 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
1.488 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
1.488 * [taylor]: Taking taylor expansion of -0.5 in x
1.488 * [taylor]: Taking taylor expansion of x in x
1.488 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in x
1.488 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.488 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
1.488 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
1.488 * [taylor]: Taking taylor expansion of -0.5 in x
1.488 * [taylor]: Taking taylor expansion of x in x
1.494 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1.495 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in (x) around 0
1.495 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
1.495 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.495 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
1.495 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
1.495 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
1.495 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.495 * [taylor]: Taking taylor expansion of 0.5 in x
1.495 * [taylor]: Taking taylor expansion of x in x
1.498 * [taylor]: Taking taylor expansion of (sin x) in x
1.498 * [taylor]: Taking taylor expansion of x in x
1.499 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
1.499 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.499 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
1.499 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
1.499 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
1.499 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.499 * [taylor]: Taking taylor expansion of 0.5 in x
1.499 * [taylor]: Taking taylor expansion of x in x
1.502 * [taylor]: Taking taylor expansion of (sin x) in x
1.502 * [taylor]: Taking taylor expansion of x in x
1.543 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in (x) around 0
1.543 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
1.543 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.543 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
1.543 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
1.543 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
1.543 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
1.543 * [taylor]: Taking taylor expansion of 0.5 in x
1.543 * [taylor]: Taking taylor expansion of x in x
1.544 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.544 * [taylor]: Taking taylor expansion of x in x
1.544 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
1.544 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.544 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
1.544 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
1.544 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
1.544 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
1.544 * [taylor]: Taking taylor expansion of 0.5 in x
1.544 * [taylor]: Taking taylor expansion of x in x
1.545 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.545 * [taylor]: Taking taylor expansion of x in x
1.559 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in (x) around 0
1.559 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
1.559 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.559 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
1.559 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
1.559 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
1.559 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
1.559 * [taylor]: Taking taylor expansion of -0.5 in x
1.559 * [taylor]: Taking taylor expansion of x in x
1.560 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.560 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.560 * [taylor]: Taking taylor expansion of -1 in x
1.560 * [taylor]: Taking taylor expansion of x in x
1.560 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
1.560 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.560 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
1.560 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
1.560 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
1.560 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
1.560 * [taylor]: Taking taylor expansion of -0.5 in x
1.560 * [taylor]: Taking taylor expansion of x in x
1.561 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.561 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.561 * [taylor]: Taking taylor expansion of -1 in x
1.561 * [taylor]: Taking taylor expansion of x in x
1.574 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
1.575 * [approximate]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in (x) around 0
1.575 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
1.575 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
1.575 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.575 * [taylor]: Taking taylor expansion of 0.5 in x
1.575 * [taylor]: Taking taylor expansion of x in x
1.576 * [taylor]: Taking taylor expansion of (sin x) in x
1.576 * [taylor]: Taking taylor expansion of x in x
1.578 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
1.578 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
1.578 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.578 * [taylor]: Taking taylor expansion of 0.5 in x
1.578 * [taylor]: Taking taylor expansion of x in x
1.579 * [taylor]: Taking taylor expansion of (sin x) in x
1.579 * [taylor]: Taking taylor expansion of x in x
1.611 * [approximate]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in (x) around 0
1.611 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
1.611 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
1.611 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
1.611 * [taylor]: Taking taylor expansion of 0.5 in x
1.611 * [taylor]: Taking taylor expansion of x in x
1.611 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.611 * [taylor]: Taking taylor expansion of x in x
1.612 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
1.612 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
1.612 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
1.612 * [taylor]: Taking taylor expansion of 0.5 in x
1.612 * [taylor]: Taking taylor expansion of x in x
1.612 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.612 * [taylor]: Taking taylor expansion of x in x
1.614 * [approximate]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in (x) around 0
1.614 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
1.614 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
1.614 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
1.614 * [taylor]: Taking taylor expansion of -0.5 in x
1.614 * [taylor]: Taking taylor expansion of x in x
1.615 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.615 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.615 * [taylor]: Taking taylor expansion of -1 in x
1.615 * [taylor]: Taking taylor expansion of x in x
1.615 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
1.615 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
1.615 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
1.615 * [taylor]: Taking taylor expansion of -0.5 in x
1.615 * [taylor]: Taking taylor expansion of x in x
1.616 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.616 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.616 * [taylor]: Taking taylor expansion of -1 in x
1.616 * [taylor]: Taking taylor expansion of x in x
1.618 * * * [progress]: simplifying candidates
1.620 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (sin (* 0.5 x)) (/ 8.0 3.0)))
  (log1p (* (sin (* 0.5 x)) (/ 8.0 3.0)))
  (* (sin (* 0.5 x)) (/ 8.0 3.0))
  (+ (log (sin (* 0.5 x))) (- (log 8.0) (log 3.0)))
  (+ (log (sin (* 0.5 x))) (log (/ 8.0 3.0)))
  (log (* (sin (* 0.5 x)) (/ 8.0 3.0)))
  (exp (* (sin (* 0.5 x)) (/ 8.0 3.0)))
  (* (* (* (sin (* 0.5 x)) (sin (* 0.5 x))) (sin (* 0.5 x))) (/ (* (* 8.0 8.0) 8.0) (* (* 3.0 3.0) 3.0)))
  (* (* (* (sin (* 0.5 x)) (sin (* 0.5 x))) (sin (* 0.5 x))) (* (* (/ 8.0 3.0) (/ 8.0 3.0)) (/ 8.0 3.0)))
  (* (cbrt (* (sin (* 0.5 x)) (/ 8.0 3.0))) (cbrt (* (sin (* 0.5 x)) (/ 8.0 3.0))))
  (cbrt (* (sin (* 0.5 x)) (/ 8.0 3.0)))
  (* (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (* (sin (* 0.5 x)) (/ 8.0 3.0))) (* (sin (* 0.5 x)) (/ 8.0 3.0)))
  (sqrt (* (sin (* 0.5 x)) (/ 8.0 3.0)))
  (sqrt (* (sin (* 0.5 x)) (/ 8.0 3.0)))
  (* (sqrt (sin (* 0.5 x))) (sqrt (/ 8.0 3.0)))
  (* (sqrt (sin (* 0.5 x))) (sqrt (/ 8.0 3.0)))
  (* (sqrt (sin (* 0.5 x))) (/ (sqrt 8.0) (sqrt 3.0)))
  (* (sqrt (sin (* 0.5 x))) (/ (sqrt 8.0) (sqrt 3.0)))
  (* (sin (* 0.5 x)) (* (cbrt (/ 8.0 3.0)) (cbrt (/ 8.0 3.0))))
  (* (sin (* 0.5 x)) (sqrt (/ 8.0 3.0)))
  (* (sin (* 0.5 x)) (/ (* (cbrt 8.0) (cbrt 8.0)) (* (cbrt 3.0) (cbrt 3.0))))
  (* (sin (* 0.5 x)) (/ (* (cbrt 8.0) (cbrt 8.0)) (sqrt 3.0)))
  (* (sin (* 0.5 x)) (/ (* (cbrt 8.0) (cbrt 8.0)) 1))
  (* (sin (* 0.5 x)) (/ (sqrt 8.0) (* (cbrt 3.0) (cbrt 3.0))))
  (* (sin (* 0.5 x)) (/ (sqrt 8.0) (sqrt 3.0)))
  (* (sin (* 0.5 x)) (/ (sqrt 8.0) 1))
  (* (sin (* 0.5 x)) (/ 1 (* (cbrt 3.0) (cbrt 3.0))))
  (* (sin (* 0.5 x)) (/ 1 (sqrt 3.0)))
  (* (sin (* 0.5 x)) (/ 1 1))
  (* (sin (* 0.5 x)) 1)
  (* (sin (* 0.5 x)) 8.0)
  (* (cbrt (sin (* 0.5 x))) (/ 8.0 3.0))
  (* (sqrt (sin (* 0.5 x))) (/ 8.0 3.0))
  (* (sin (* 0.5 x)) (/ 8.0 3.0))
  (* (sin (* 0.5 x)) 8.0)
  (expm1 (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sin (* x 0.5)) (sin x))))
  (log1p (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sin (* x 0.5)) (sin x))))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sin (* x 0.5)) (sin x)))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sin (* x 0.5)) (sin x)))
  (+ (+ (log (sin (* 0.5 x))) (- (log 8.0) (log 3.0))) (- (log (sin (* x 0.5))) (log (sin x))))
  (+ (+ (log (sin (* 0.5 x))) (- (log 8.0) (log 3.0))) (log (/ (sin (* x 0.5)) (sin x))))
  (+ (+ (log (sin (* 0.5 x))) (log (/ 8.0 3.0))) (- (log (sin (* x 0.5))) (log (sin x))))
  (+ (+ (log (sin (* 0.5 x))) (log (/ 8.0 3.0))) (log (/ (sin (* x 0.5)) (sin x))))
  (+ (log (* (sin (* 0.5 x)) (/ 8.0 3.0))) (- (log (sin (* x 0.5))) (log (sin x))))
  (+ (log (* (sin (* 0.5 x)) (/ 8.0 3.0))) (log (/ (sin (* x 0.5)) (sin x))))
  (log (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sin (* x 0.5)) (sin x))))
  (exp (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sin (* x 0.5)) (sin x))))
  (* (* (* (* (sin (* 0.5 x)) (sin (* 0.5 x))) (sin (* 0.5 x))) (/ (* (* 8.0 8.0) 8.0) (* (* 3.0 3.0) 3.0))) (/ (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5))) (* (* (sin x) (sin x)) (sin x))))
  (* (* (* (* (sin (* 0.5 x)) (sin (* 0.5 x))) (sin (* 0.5 x))) (/ (* (* 8.0 8.0) 8.0) (* (* 3.0 3.0) 3.0))) (* (* (/ (sin (* x 0.5)) (sin x)) (/ (sin (* x 0.5)) (sin x))) (/ (sin (* x 0.5)) (sin x))))
  (* (* (* (* (sin (* 0.5 x)) (sin (* 0.5 x))) (sin (* 0.5 x))) (* (* (/ 8.0 3.0) (/ 8.0 3.0)) (/ 8.0 3.0))) (/ (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5))) (* (* (sin x) (sin x)) (sin x))))
  (* (* (* (* (sin (* 0.5 x)) (sin (* 0.5 x))) (sin (* 0.5 x))) (* (* (/ 8.0 3.0) (/ 8.0 3.0)) (/ 8.0 3.0))) (* (* (/ (sin (* x 0.5)) (sin x)) (/ (sin (* x 0.5)) (sin x))) (/ (sin (* x 0.5)) (sin x))))
  (* (* (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (* (sin (* 0.5 x)) (/ 8.0 3.0))) (* (sin (* 0.5 x)) (/ 8.0 3.0))) (/ (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5))) (* (* (sin x) (sin x)) (sin x))))
  (* (* (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (* (sin (* 0.5 x)) (/ 8.0 3.0))) (* (sin (* 0.5 x)) (/ 8.0 3.0))) (* (* (/ (sin (* x 0.5)) (sin x)) (/ (sin (* x 0.5)) (sin x))) (/ (sin (* x 0.5)) (sin x))))
  (* (cbrt (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sin (* x 0.5)) (sin x)))) (cbrt (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sin (* x 0.5)) (sin x)))))
  (cbrt (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sin (* x 0.5)) (sin x))))
  (* (* (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sin (* x 0.5)) (sin x))) (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sin (* x 0.5)) (sin x)))) (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sin (* x 0.5)) (sin x))))
  (sqrt (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sin (* x 0.5)) (sin x))))
  (sqrt (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sin (* x 0.5)) (sin x))))
  (* (* (sin (* 0.5 x)) 8.0) (sin (* x 0.5)))
  (* 3.0 (sin x))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (* (cbrt (/ (sin (* x 0.5)) (sin x))) (cbrt (/ (sin (* x 0.5)) (sin x)))))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (sqrt (/ (sin (* x 0.5)) (sin x))))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (sqrt (sin x))))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) 1))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sqrt (sin (* x 0.5))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sqrt (sin (* x 0.5))) (sqrt (sin x))))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sqrt (sin (* x 0.5))) 1))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ 1 (sqrt (sin x))))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ 1 1))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) 1)
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (sin (* x 0.5)))
  (* (/ 8.0 3.0) (/ (sin (* x 0.5)) (sin x)))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (sin (* x 0.5)))
  (* (* (sin (* 0.5 x)) 8.0) (/ (sin (* x 0.5)) (sin x)))
  (expm1 (/ (sin (* x 0.5)) (sin x)))
  (log1p (/ (sin (* x 0.5)) (sin x)))
  (- (log (sin (* x 0.5))) (log (sin x)))
  (log (/ (sin (* x 0.5)) (sin x)))
  (exp (/ (sin (* x 0.5)) (sin x)))
  (/ (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5))) (* (* (sin x) (sin x)) (sin x)))
  (* (cbrt (/ (sin (* x 0.5)) (sin x))) (cbrt (/ (sin (* x 0.5)) (sin x))))
  (cbrt (/ (sin (* x 0.5)) (sin x)))
  (* (* (/ (sin (* x 0.5)) (sin x)) (/ (sin (* x 0.5)) (sin x))) (/ (sin (* x 0.5)) (sin x)))
  (sqrt (/ (sin (* x 0.5)) (sin x)))
  (sqrt (/ (sin (* x 0.5)) (sin x)))
  (- (sin (* x 0.5)))
  (- (sin x))
  (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (cbrt (sin (* x 0.5))) (cbrt (sin x)))
  (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (sqrt (sin x)))
  (/ (cbrt (sin (* x 0.5))) (sqrt (sin x)))
  (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) 1)
  (/ (cbrt (sin (* x 0.5))) (sin x))
  (/ (sqrt (sin (* x 0.5))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sqrt (sin (* x 0.5))) (cbrt (sin x)))
  (/ (sqrt (sin (* x 0.5))) (sqrt (sin x)))
  (/ (sqrt (sin (* x 0.5))) (sqrt (sin x)))
  (/ (sqrt (sin (* x 0.5))) 1)
  (/ (sqrt (sin (* x 0.5))) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sin (* x 0.5)) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (sin (* x 0.5)) (sqrt (sin x)))
  (/ 1 1)
  (/ (sin (* x 0.5)) (sin x))
  (/ 1 (sin x))
  (/ (sin x) (sin (* x 0.5)))
  (/ (sin (* x 0.5)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sin (* x 0.5)) (sqrt (sin x)))
  (/ (sin (* x 0.5)) 1)
  (/ (sin x) (cbrt (sin (* x 0.5))))
  (/ (sin x) (sqrt (sin (* x 0.5))))
  (/ (sin x) (sin (* x 0.5)))
  (- (+ (* 1.3333333333333333 x) (* 0.0006944444444444444 (pow x 5))) (* 0.05555555555555555 (pow x 3)))
  (* 2.6666666666666665 (sin (* 0.5 x)))
  (* 2.6666666666666665 (sin (* 0.5 x)))
  (+ (* 0.05555555555555555 (pow x 3)) (+ (* 0.005555555555555554 (pow x 5)) (* 0.6666666666666666 x)))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (+ (* 0.0625 (pow x 2)) (+ (* 0.006510416666666666 (pow x 4)) 0.5))
  (/ (sin (* 0.5 x)) (sin x))
  (/ (sin (* 0.5 x)) (sin x))
1.625 * * [simplify]: iteration  0 :  196  enodes  (cost  1801 )
1.657 * * [simplify]: iteration  1 :  504  enodes  (cost  1699 )
1.797 * * [simplify]: iteration  2 :  2338  enodes  (cost  1357 )
2.481 * * [simplify]: iteration  done :  5001  enodes  (cost  1357 )
2.482 * [simplify]: Simplified to:
   (expm1 (* (sin (* 0.5 x)) (/ 8.0 3.0)))
  (log1p (* (sin (* 0.5 x)) (/ 8.0 3.0)))
  (* (sin (* 0.5 x)) (/ 8.0 3.0))
  (log (* (sin (* 0.5 x)) (/ 8.0 3.0)))
  (log (* (sin (* 0.5 x)) (/ 8.0 3.0)))
  (log (* (sin (* 0.5 x)) (/ 8.0 3.0)))
  (exp (* (sin (* 0.5 x)) (/ 8.0 3.0)))
  (pow (* (sin (* 0.5 x)) (/ 8.0 3.0)) 3)
  (pow (* (sin (* 0.5 x)) (/ 8.0 3.0)) 3)
  (* (cbrt (* (sin (* 0.5 x)) (/ 8.0 3.0))) (cbrt (* (sin (* 0.5 x)) (/ 8.0 3.0))))
  (cbrt (* (sin (* 0.5 x)) (/ 8.0 3.0)))
  (pow (* (sin (* 0.5 x)) (/ 8.0 3.0)) 3)
  (sqrt (* (sin (* 0.5 x)) (/ 8.0 3.0)))
  (sqrt (* (sin (* 0.5 x)) (/ 8.0 3.0)))
  (* (sqrt (sin (* 0.5 x))) (sqrt (/ 8.0 3.0)))
  (* (sqrt (sin (* 0.5 x))) (sqrt (/ 8.0 3.0)))
  (* (sqrt (sin (* 0.5 x))) (/ (sqrt 8.0) (sqrt 3.0)))
  (* (sqrt (sin (* 0.5 x))) (/ (sqrt 8.0) (sqrt 3.0)))
  (* (sin (* 0.5 x)) (* (cbrt (/ 8.0 3.0)) (cbrt (/ 8.0 3.0))))
  (* (sin (* 0.5 x)) (sqrt (/ 8.0 3.0)))
  (* (sin (* 0.5 x)) (/ (* (cbrt 8.0) (cbrt 8.0)) (* (cbrt 3.0) (cbrt 3.0))))
  (* (sin (* 0.5 x)) (/ (* (cbrt 8.0) (cbrt 8.0)) (sqrt 3.0)))
  (* (sin (* 0.5 x)) (* (cbrt 8.0) (cbrt 8.0)))
  (* (sin (* 0.5 x)) (/ (sqrt 8.0) (* (cbrt 3.0) (cbrt 3.0))))
  (* (sin (* 0.5 x)) (/ (sqrt 8.0) (sqrt 3.0)))
  (* (sqrt 8.0) (sin (* 0.5 x)))
  (/ (sin (* 0.5 x)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sin (* 0.5 x)) (sqrt 3.0))
  (sin (* 0.5 x))
  (sin (* 0.5 x))
  (* (sin (* 0.5 x)) 8.0)
  (* (cbrt (sin (* 0.5 x))) (/ 8.0 3.0))
  (* (sqrt (sin (* 0.5 x))) (/ 8.0 3.0))
  (* (sin (* 0.5 x)) (/ 8.0 3.0))
  (* (sin (* 0.5 x)) 8.0)
  (expm1 (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x)))
  (log1p (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x)))
  (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x))
  (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x))
  (log (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x)))
  (log (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x)))
  (log (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x)))
  (log (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x)))
  (log (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x)))
  (log (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x)))
  (log (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x)))
  (exp (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x)))
  (pow (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x)) 3)
  (pow (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x)) 3)
  (pow (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x)) 3)
  (pow (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x)) 3)
  (pow (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x)) 3)
  (pow (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x)) 3)
  (* (cbrt (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x))) (cbrt (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x))))
  (cbrt (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x)))
  (pow (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x)) 3)
  (sqrt (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x)))
  (sqrt (/ (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0)) (sin x)))
  (* (pow (sin (* 0.5 x)) 2) 8.0)
  (* 3.0 (sin x))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (* (cbrt (/ (sin (* x 0.5)) (sin x))) (cbrt (/ (sin (* x 0.5)) (sin x)))))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (sqrt (/ (sin (* x 0.5)) (sin x))))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (sqrt (sin x))))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sqrt (sin (* x 0.5))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sqrt (sin (* x 0.5))) (sqrt (sin x))))
  (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (sqrt (sin (* x 0.5))))
  (/ (* (sin (* 0.5 x)) (/ 8.0 3.0)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (* (sin (* 0.5 x)) (/ 8.0 3.0)) (sqrt (sin x)))
  (* (sin (* 0.5 x)) (/ 8.0 3.0))
  (* (sin (* 0.5 x)) (/ 8.0 3.0))
  (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0))
  (/ (sin (* 0.5 x)) (/ (sin x) (/ 8.0 3.0)))
  (* (pow (sin (* 0.5 x)) 2) (/ 8.0 3.0))
  (/ (* (pow (sin (* 0.5 x)) 2) 8.0) (sin x))
  (expm1 (/ (sin (* x 0.5)) (sin x)))
  (log1p (/ (sin (* x 0.5)) (sin x)))
  (log (/ (sin (* 0.5 x)) (sin x)))
  (log (/ (sin (* 0.5 x)) (sin x)))
  (exp (/ (sin (* x 0.5)) (sin x)))
  (pow (/ (sin (* 0.5 x)) (sin x)) 3)
  (* (cbrt (/ (sin (* x 0.5)) (sin x))) (cbrt (/ (sin (* x 0.5)) (sin x))))
  (cbrt (/ (sin (* x 0.5)) (sin x)))
  (pow (/ (sin (* 0.5 x)) (sin x)) 3)
  (sqrt (/ (sin (* x 0.5)) (sin x)))
  (sqrt (/ (sin (* x 0.5)) (sin x)))
  (- (sin (* x 0.5)))
  (- (sin x))
  (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (cbrt (sin (* x 0.5))) (cbrt (sin x)))
  (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (sqrt (sin x)))
  (/ (cbrt (sin (* x 0.5))) (sqrt (sin x)))
  (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5))))
  (/ (cbrt (sin (* x 0.5))) (sin x))
  (/ (sqrt (sin (* x 0.5))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sqrt (sin (* x 0.5))) (cbrt (sin x)))
  (/ (sqrt (sin (* x 0.5))) (sqrt (sin x)))
  (/ (sqrt (sin (* x 0.5))) (sqrt (sin x)))
  (sqrt (sin (* x 0.5)))
  (/ (sqrt (sin (* x 0.5))) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sin (* x 0.5)) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (sin (* 0.5 x)) (sqrt (sin x)))
  1
  (/ (sin (* 0.5 x)) (sin x))
  (/ 1 (sin x))
  (/ (sin x) (sin (* x 0.5)))
  (/ (/ (sin (* x 0.5)) (cbrt (sin x))) (cbrt (sin x)))
  (/ (sin (* 0.5 x)) (sqrt (sin x)))
  (sin (* 0.5 x))
  (/ (sin x) (cbrt (sin (* x 0.5))))
  (/ (sin x) (sqrt (sin (* x 0.5))))
  (/ (sin x) (sin (* x 0.5)))
  (- (fma 1.3333333333333333 x (* 0.0006944444444444444 (pow x 5))) (* 0.05555555555555555 (pow x 3)))
  (* 2.6666666666666665 (sin (* 0.5 x)))
  (* 2.6666666666666665 (sin (* 0.5 x)))
  (fma 0.05555555555555555 (pow x 3) (fma 0.005555555555555554 (pow x 5) (* 0.6666666666666666 x)))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (fma 0.0625 (pow x 2) (fma 0.006510416666666666 (pow x 4) 0.5))
  (/ (sin (* 0.5 x)) (sin x))
  (/ (sin (* 0.5 x)) (sin x))
2.483 * * * [progress]: adding candidates to table
2.771 * * [progress]: iteration 3 / 4
2.771 * * * [progress]: picking best candidate
2.796 * * * * [pick]: Picked  #<alt (λ (x) (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sin (* x 0.5)) (sin x))))>
2.796 * * * [progress]: localizing error
2.810 * * * [progress]: generating rewritten candidates
2.810 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
2.829 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
2.833 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
2.841 * * * [progress]: generating series expansions
2.842 * * * * [progress]: [ 1 / 3 ] generating series at (2)
2.842 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in (x) around 0
2.842 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
2.842 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
2.842 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
2.842 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
2.842 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
2.842 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
2.842 * [taylor]: Taking taylor expansion of 0.5 in x
2.842 * [taylor]: Taking taylor expansion of x in x
2.845 * [taylor]: Taking taylor expansion of (sin x) in x
2.845 * [taylor]: Taking taylor expansion of x in x
2.846 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
2.846 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
2.846 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
2.846 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
2.846 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
2.846 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
2.846 * [taylor]: Taking taylor expansion of 0.5 in x
2.846 * [taylor]: Taking taylor expansion of x in x
2.849 * [taylor]: Taking taylor expansion of (sin x) in x
2.849 * [taylor]: Taking taylor expansion of x in x
2.886 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in (x) around 0
2.886 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
2.886 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
2.886 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
2.887 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
2.887 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
2.887 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
2.887 * [taylor]: Taking taylor expansion of 0.5 in x
2.887 * [taylor]: Taking taylor expansion of x in x
2.887 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.887 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.887 * [taylor]: Taking taylor expansion of x in x
2.888 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
2.888 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
2.888 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
2.888 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
2.888 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
2.888 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
2.888 * [taylor]: Taking taylor expansion of 0.5 in x
2.888 * [taylor]: Taking taylor expansion of x in x
2.888 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.888 * [taylor]: Taking taylor expansion of x in x
2.902 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in (x) around 0
2.902 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
2.902 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
2.902 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
2.902 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
2.902 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
2.902 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
2.902 * [taylor]: Taking taylor expansion of -0.5 in x
2.902 * [taylor]: Taking taylor expansion of x in x
2.902 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.902 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.902 * [taylor]: Taking taylor expansion of -1 in x
2.902 * [taylor]: Taking taylor expansion of x in x
2.903 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
2.903 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
2.903 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
2.903 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
2.903 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
2.903 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
2.903 * [taylor]: Taking taylor expansion of -0.5 in x
2.903 * [taylor]: Taking taylor expansion of x in x
2.903 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.904 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.904 * [taylor]: Taking taylor expansion of -1 in x
2.904 * [taylor]: Taking taylor expansion of x in x
2.922 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
2.923 * [approximate]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in (x) around 0
2.923 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
2.923 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
2.923 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
2.923 * [taylor]: Taking taylor expansion of 0.5 in x
2.923 * [taylor]: Taking taylor expansion of x in x
2.924 * [taylor]: Taking taylor expansion of (sin x) in x
2.924 * [taylor]: Taking taylor expansion of x in x
2.926 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
2.927 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
2.927 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
2.927 * [taylor]: Taking taylor expansion of 0.5 in x
2.927 * [taylor]: Taking taylor expansion of x in x
2.928 * [taylor]: Taking taylor expansion of (sin x) in x
2.928 * [taylor]: Taking taylor expansion of x in x
2.954 * [approximate]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in (x) around 0
2.954 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
2.954 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
2.954 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
2.954 * [taylor]: Taking taylor expansion of 0.5 in x
2.954 * [taylor]: Taking taylor expansion of x in x
2.954 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.954 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.954 * [taylor]: Taking taylor expansion of x in x
2.955 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
2.955 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
2.955 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
2.955 * [taylor]: Taking taylor expansion of 0.5 in x
2.955 * [taylor]: Taking taylor expansion of x in x
2.955 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.955 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.955 * [taylor]: Taking taylor expansion of x in x
2.957 * [approximate]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in (x) around 0
2.957 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
2.957 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
2.957 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
2.957 * [taylor]: Taking taylor expansion of -0.5 in x
2.957 * [taylor]: Taking taylor expansion of x in x
2.958 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.958 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.958 * [taylor]: Taking taylor expansion of -1 in x
2.958 * [taylor]: Taking taylor expansion of x in x
2.958 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
2.958 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
2.958 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
2.958 * [taylor]: Taking taylor expansion of -0.5 in x
2.959 * [taylor]: Taking taylor expansion of x in x
2.959 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.959 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.959 * [taylor]: Taking taylor expansion of -1 in x
2.959 * [taylor]: Taking taylor expansion of x in x
2.961 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
2.961 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in (x) around 0
2.961 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in x
2.961 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
2.961 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
2.961 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
2.961 * [taylor]: Taking taylor expansion of 0.5 in x
2.961 * [taylor]: Taking taylor expansion of x in x
2.963 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in x
2.963 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
2.963 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
2.963 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
2.963 * [taylor]: Taking taylor expansion of 0.5 in x
2.963 * [taylor]: Taking taylor expansion of x in x
2.984 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in (x) around 0
2.985 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in x
2.985 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
2.985 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
2.985 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
2.985 * [taylor]: Taking taylor expansion of 0.5 in x
2.985 * [taylor]: Taking taylor expansion of x in x
2.985 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in x
2.985 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
2.985 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
2.985 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
2.985 * [taylor]: Taking taylor expansion of 0.5 in x
2.985 * [taylor]: Taking taylor expansion of x in x
2.991 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in (x) around 0
2.991 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in x
2.991 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
2.991 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
2.991 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
2.991 * [taylor]: Taking taylor expansion of -0.5 in x
2.991 * [taylor]: Taking taylor expansion of x in x
2.992 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in x
2.992 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
2.992 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
2.992 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
2.992 * [taylor]: Taking taylor expansion of -0.5 in x
2.992 * [taylor]: Taking taylor expansion of x in x
3.003 * * * [progress]: simplifying candidates
3.004 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sin (* x 0.5)) (sin x))))
  (log1p (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sin (* x 0.5)) (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sin (* x 0.5)) (sin x)))
  (+ (- (+ (log (sin (* 0.5 x))) (log 8.0)) (log 3.0)) (- (log (sin (* x 0.5))) (log (sin x))))
  (+ (- (+ (log (sin (* 0.5 x))) (log 8.0)) (log 3.0)) (log (/ (sin (* x 0.5)) (sin x))))
  (+ (- (log (* (sin (* 0.5 x)) 8.0)) (log 3.0)) (- (log (sin (* x 0.5))) (log (sin x))))
  (+ (- (log (* (sin (* 0.5 x)) 8.0)) (log 3.0)) (log (/ (sin (* x 0.5)) (sin x))))
  (+ (log (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (- (log (sin (* x 0.5))) (log (sin x))))
  (+ (log (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (log (/ (sin (* x 0.5)) (sin x))))
  (log (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sin (* x 0.5)) (sin x))))
  (exp (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sin (* x 0.5)) (sin x))))
  (* (/ (* (* (* (sin (* 0.5 x)) (sin (* 0.5 x))) (sin (* 0.5 x))) (* (* 8.0 8.0) 8.0)) (* (* 3.0 3.0) 3.0)) (/ (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5))) (* (* (sin x) (sin x)) (sin x))))
  (* (/ (* (* (* (sin (* 0.5 x)) (sin (* 0.5 x))) (sin (* 0.5 x))) (* (* 8.0 8.0) 8.0)) (* (* 3.0 3.0) 3.0)) (* (* (/ (sin (* x 0.5)) (sin x)) (/ (sin (* x 0.5)) (sin x))) (/ (sin (* x 0.5)) (sin x))))
  (* (/ (* (* (* (sin (* 0.5 x)) 8.0) (* (sin (* 0.5 x)) 8.0)) (* (sin (* 0.5 x)) 8.0)) (* (* 3.0 3.0) 3.0)) (/ (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5))) (* (* (sin x) (sin x)) (sin x))))
  (* (/ (* (* (* (sin (* 0.5 x)) 8.0) (* (sin (* 0.5 x)) 8.0)) (* (sin (* 0.5 x)) 8.0)) (* (* 3.0 3.0) 3.0)) (* (* (/ (sin (* x 0.5)) (sin x)) (/ (sin (* x 0.5)) (sin x))) (/ (sin (* x 0.5)) (sin x))))
  (* (* (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (/ (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5))) (* (* (sin x) (sin x)) (sin x))))
  (* (* (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (* (* (/ (sin (* x 0.5)) (sin x)) (/ (sin (* x 0.5)) (sin x))) (/ (sin (* x 0.5)) (sin x))))
  (* (cbrt (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sin (* x 0.5)) (sin x)))) (cbrt (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sin (* x 0.5)) (sin x)))))
  (cbrt (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sin (* x 0.5)) (sin x))))
  (* (* (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sin (* x 0.5)) (sin x))) (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sin (* x 0.5)) (sin x)))) (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sin (* x 0.5)) (sin x))))
  (sqrt (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sin (* x 0.5)) (sin x))))
  (sqrt (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sin (* x 0.5)) (sin x))))
  (* (* (sin (* 0.5 x)) 8.0) (sin (* x 0.5)))
  (* 3.0 (sin x))
  (* (sqrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (sqrt (/ (sin (* x 0.5)) (sin x))))
  (* (sqrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (sqrt (/ (sin (* x 0.5)) (sin x))))
  (* (sqrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (/ (sqrt (sin (* x 0.5))) (sqrt (sin x))))
  (* (sqrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (/ (sqrt (sin (* x 0.5))) (sqrt (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (* (cbrt (/ (sin (* x 0.5)) (sin x))) (cbrt (/ (sin (* x 0.5)) (sin x)))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (sqrt (/ (sin (* x 0.5)) (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (sqrt (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) 1))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sqrt (sin (* x 0.5))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sqrt (sin (* x 0.5))) (sqrt (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sqrt (sin (* x 0.5))) 1))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ 1 (sqrt (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ 1 1))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) 1)
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (sin (* x 0.5)))
  (* (cbrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (/ (sin (* x 0.5)) (sin x)))
  (* (sqrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (/ (sin (* x 0.5)) (sin x)))
  (* (/ 8.0 (cbrt 3.0)) (/ (sin (* x 0.5)) (sin x)))
  (* (/ 8.0 (sqrt 3.0)) (/ (sin (* x 0.5)) (sin x)))
  (* (/ 8.0 3.0) (/ (sin (* x 0.5)) (sin x)))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sin (* x 0.5)) (sin x)))
  (* (/ 1 3.0) (/ (sin (* x 0.5)) (sin x)))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (sin (* x 0.5)))
  (* (* (sin (* 0.5 x)) 8.0) (/ (sin (* x 0.5)) (sin x)))
  (expm1 (/ (sin (* x 0.5)) (sin x)))
  (log1p (/ (sin (* x 0.5)) (sin x)))
  (- (log (sin (* x 0.5))) (log (sin x)))
  (log (/ (sin (* x 0.5)) (sin x)))
  (exp (/ (sin (* x 0.5)) (sin x)))
  (/ (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5))) (* (* (sin x) (sin x)) (sin x)))
  (* (cbrt (/ (sin (* x 0.5)) (sin x))) (cbrt (/ (sin (* x 0.5)) (sin x))))
  (cbrt (/ (sin (* x 0.5)) (sin x)))
  (* (* (/ (sin (* x 0.5)) (sin x)) (/ (sin (* x 0.5)) (sin x))) (/ (sin (* x 0.5)) (sin x)))
  (sqrt (/ (sin (* x 0.5)) (sin x)))
  (sqrt (/ (sin (* x 0.5)) (sin x)))
  (- (sin (* x 0.5)))
  (- (sin x))
  (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (cbrt (sin (* x 0.5))) (cbrt (sin x)))
  (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (sqrt (sin x)))
  (/ (cbrt (sin (* x 0.5))) (sqrt (sin x)))
  (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) 1)
  (/ (cbrt (sin (* x 0.5))) (sin x))
  (/ (sqrt (sin (* x 0.5))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sqrt (sin (* x 0.5))) (cbrt (sin x)))
  (/ (sqrt (sin (* x 0.5))) (sqrt (sin x)))
  (/ (sqrt (sin (* x 0.5))) (sqrt (sin x)))
  (/ (sqrt (sin (* x 0.5))) 1)
  (/ (sqrt (sin (* x 0.5))) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sin (* x 0.5)) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (sin (* x 0.5)) (sqrt (sin x)))
  (/ 1 1)
  (/ (sin (* x 0.5)) (sin x))
  (/ 1 (sin x))
  (/ (sin x) (sin (* x 0.5)))
  (/ (sin (* x 0.5)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sin (* x 0.5)) (sqrt (sin x)))
  (/ (sin (* x 0.5)) 1)
  (/ (sin x) (cbrt (sin (* x 0.5))))
  (/ (sin x) (sqrt (sin (* x 0.5))))
  (/ (sin x) (sin (* x 0.5)))
  (expm1 (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (log1p (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (- (+ (log (sin (* 0.5 x))) (log 8.0)) (log 3.0))
  (- (log (* (sin (* 0.5 x)) 8.0)) (log 3.0))
  (log (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (exp (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (/ (* (* (* (sin (* 0.5 x)) (sin (* 0.5 x))) (sin (* 0.5 x))) (* (* 8.0 8.0) 8.0)) (* (* 3.0 3.0) 3.0))
  (/ (* (* (* (sin (* 0.5 x)) 8.0) (* (sin (* 0.5 x)) 8.0)) (* (sin (* 0.5 x)) 8.0)) (* (* 3.0 3.0) 3.0))
  (* (cbrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (cbrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)))
  (cbrt (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (* (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (sqrt (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (sqrt (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (- (* (sin (* 0.5 x)) 8.0))
  (- 3.0)
  (/ (sin (* 0.5 x)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ 8.0 (cbrt 3.0))
  (/ (sin (* 0.5 x)) (sqrt 3.0))
  (/ 8.0 (sqrt 3.0))
  (/ (sin (* 0.5 x)) 1)
  (/ 8.0 3.0)
  (/ 1 3.0)
  (/ 3.0 (* (sin (* 0.5 x)) 8.0))
  (/ (* (sin (* 0.5 x)) 8.0) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (* (sin (* 0.5 x)) 8.0) (sqrt 3.0))
  (/ (* (sin (* 0.5 x)) 8.0) 1)
  (/ 3.0 8.0)
  (+ (* 0.05555555555555555 (pow x 3)) (+ (* 0.005555555555555554 (pow x 5)) (* 0.6666666666666666 x)))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (+ (* 0.0625 (pow x 2)) (+ (* 0.006510416666666666 (pow x 4)) 0.5))
  (/ (sin (* 0.5 x)) (sin x))
  (/ (sin (* 0.5 x)) (sin x))
  (- (+ (* 1.3333333333333333 x) (* 0.0006944444444444444 (pow x 5))) (* 0.05555555555555555 (pow x 3)))
  (* 2.6666666666666665 (sin (* 0.5 x)))
  (* 2.6666666666666665 (sin (* 0.5 x)))
3.010 * * [simplify]: iteration  0 :  184  enodes  (cost  1811 )
3.041 * * [simplify]: iteration  1 :  484  enodes  (cost  1731 )
3.171 * * [simplify]: iteration  2 :  2148  enodes  (cost  1375 )
3.789 * * [simplify]: iteration  done :  5001  enodes  (cost  1375 )
3.790 * [simplify]: Simplified to:
   (expm1 (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x))))
  (log1p (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x))))
  (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x)))
  (log (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x))))
  (log (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x))))
  (log (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x))))
  (log (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x))))
  (log (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x))))
  (log (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x))))
  (log (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x))))
  (exp (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x))))
  (pow (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x))) 3)
  (pow (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x))) 3)
  (pow (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x))) 3)
  (pow (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x))) 3)
  (pow (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x))) 3)
  (pow (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x))) 3)
  (* (cbrt (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x)))) (cbrt (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x)))))
  (cbrt (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x))))
  (pow (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x))) 3)
  (sqrt (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x))))
  (sqrt (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x))))
  (* (pow (sin (* x 0.5)) 2) 8.0)
  (* 3.0 (sin x))
  (* (sqrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (sqrt (/ (sin (* x 0.5)) (sin x))))
  (* (sqrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (sqrt (/ (sin (* x 0.5)) (sin x))))
  (* (sqrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (/ (sqrt (sin (* x 0.5))) (sqrt (sin x))))
  (* (sqrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (/ (sqrt (sin (* x 0.5))) (sqrt (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (* (cbrt (/ (sin (* x 0.5)) (sin x))) (cbrt (/ (sin (* x 0.5)) (sin x)))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (sqrt (/ (sin (* x 0.5)) (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (sqrt (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sqrt (sin (* x 0.5))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sqrt (sin (* x 0.5))) (sqrt (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (sqrt (sin (* x 0.5))))
  (/ (/ (sin (* 0.5 x)) (/ 3.0 8.0)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (/ (sin (* 0.5 x)) (/ 3.0 8.0)) (sqrt (sin x)))
  (* (/ 8.0 3.0) (sin (* 0.5 x)))
  (* (/ 8.0 3.0) (sin (* 0.5 x)))
  (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0))
  (* (cbrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (/ (sin (* x 0.5)) (sin x)))
  (* (sqrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (/ (sin (* x 0.5)) (sin x)))
  (* (/ 8.0 (cbrt 3.0)) (/ (sin (* x 0.5)) (sin x)))
  (* (/ 8.0 (sqrt 3.0)) (/ (sin (* x 0.5)) (sin x)))
  (* (/ 8.0 3.0) (/ (sin (* x 0.5)) (sin x)))
  (/ (* (pow (sin (* x 0.5)) 2) 8.0) (* 3.0 (sin x)))
  (/ (/ (sin (* 0.5 x)) (sin x)) 3.0)
  (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0))
  (* (/ (pow (sin (* 0.5 x)) 2) (sin x)) 8.0)
  (expm1 (/ (sin (* x 0.5)) (sin x)))
  (log1p (/ (sin (* x 0.5)) (sin x)))
  (log (/ (sin (* x 0.5)) (sin x)))
  (log (/ (sin (* x 0.5)) (sin x)))
  (exp (/ (sin (* x 0.5)) (sin x)))
  (pow (/ (sin (* 0.5 x)) (sin x)) 3)
  (* (cbrt (/ (sin (* x 0.5)) (sin x))) (cbrt (/ (sin (* x 0.5)) (sin x))))
  (cbrt (/ (sin (* x 0.5)) (sin x)))
  (pow (/ (sin (* 0.5 x)) (sin x)) 3)
  (sqrt (/ (sin (* x 0.5)) (sin x)))
  (sqrt (/ (sin (* x 0.5)) (sin x)))
  (- (sin (* x 0.5)))
  (- (sin x))
  (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (cbrt (sin (* x 0.5))) (cbrt (sin x)))
  (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (sqrt (sin x)))
  (/ (cbrt (sin (* x 0.5))) (sqrt (sin x)))
  (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5))))
  (/ (cbrt (sin (* x 0.5))) (sin x))
  (/ (sqrt (sin (* x 0.5))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sqrt (sin (* x 0.5))) (cbrt (sin x)))
  (/ (sqrt (sin (* x 0.5))) (sqrt (sin x)))
  (/ (sqrt (sin (* x 0.5))) (sqrt (sin x)))
  (sqrt (sin (* x 0.5)))
  (/ (sqrt (sin (* x 0.5))) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sin (* x 0.5)) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (sin (* x 0.5)) (sqrt (sin x)))
  1
  (/ (sin (* 0.5 x)) (sin x))
  (/ 1 (sin x))
  (/ (sin x) (sin (* x 0.5)))
  (/ (sin (* x 0.5)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sin (* x 0.5)) (sqrt (sin x)))
  (sin (* 0.5 x))
  (/ (sin x) (cbrt (sin (* x 0.5))))
  (/ (sin x) (sqrt (sin (* x 0.5))))
  (/ (sin x) (sin (* x 0.5)))
  (expm1 (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (log1p (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (log (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (log (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (log (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (exp (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (pow (* (/ 8.0 3.0) (sin (* 0.5 x))) 3)
  (pow (* (/ 8.0 3.0) (sin (* 0.5 x))) 3)
  (* (cbrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (cbrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)))
  (cbrt (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (pow (* (/ 8.0 3.0) (sin (* 0.5 x))) 3)
  (sqrt (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (sqrt (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (- (* (sin (* 0.5 x)) 8.0))
  (- 3.0)
  (/ (sin (* 0.5 x)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ 8.0 (cbrt 3.0))
  (/ (sin (* 0.5 x)) (sqrt 3.0))
  (/ 8.0 (sqrt 3.0))
  (sin (* 0.5 x))
  (/ 8.0 3.0)
  (/ 1 3.0)
  (/ 3.0 (* (sin (* 0.5 x)) 8.0))
  (/ (* (sin (* 0.5 x)) 8.0) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (* (sin (* 0.5 x)) 8.0) (sqrt 3.0))
  (* (sin (* 0.5 x)) 8.0)
  (/ 3.0 8.0)
  (fma 0.05555555555555555 (pow x 3) (fma 0.005555555555555554 (pow x 5) (* 0.6666666666666666 x)))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (fma 0.0625 (pow x 2) (fma 0.006510416666666666 (pow x 4) 0.5))
  (/ (sin (* 0.5 x)) (sin x))
  (/ (sin (* 0.5 x)) (sin x))
  (- (fma 1.3333333333333333 x (* 0.0006944444444444444 (pow x 5))) (* 0.05555555555555555 (pow x 3)))
  (* 2.6666666666666665 (sin (* 0.5 x)))
  (* 2.6666666666666665 (sin (* 0.5 x)))
3.791 * * * [progress]: adding candidates to table
4.097 * * [progress]: iteration 4 / 4
4.097 * * * [progress]: picking best candidate
4.125 * * * * [pick]: Picked  #<alt (λ (x) (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x))))))>
4.125 * * * [progress]: localizing error
4.143 * * * [progress]: generating rewritten candidates
4.143 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
4.174 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
4.179 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
4.185 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
4.196 * * * [progress]: generating series expansions
4.196 * * * * [progress]: [ 1 / 4 ] generating series at (2)
4.197 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in (x) around 0
4.197 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
4.197 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
4.197 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
4.197 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
4.197 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
4.197 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
4.197 * [taylor]: Taking taylor expansion of 0.5 in x
4.197 * [taylor]: Taking taylor expansion of x in x
4.200 * [taylor]: Taking taylor expansion of (sin x) in x
4.201 * [taylor]: Taking taylor expansion of x in x
4.202 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
4.202 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
4.202 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
4.202 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
4.202 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
4.202 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
4.202 * [taylor]: Taking taylor expansion of 0.5 in x
4.202 * [taylor]: Taking taylor expansion of x in x
4.205 * [taylor]: Taking taylor expansion of (sin x) in x
4.205 * [taylor]: Taking taylor expansion of x in x
4.245 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in (x) around 0
4.245 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
4.245 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
4.245 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
4.245 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
4.245 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
4.245 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
4.245 * [taylor]: Taking taylor expansion of 0.5 in x
4.245 * [taylor]: Taking taylor expansion of x in x
4.246 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
4.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.246 * [taylor]: Taking taylor expansion of x in x
4.246 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
4.246 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
4.246 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
4.247 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
4.247 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
4.247 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
4.247 * [taylor]: Taking taylor expansion of 0.5 in x
4.247 * [taylor]: Taking taylor expansion of x in x
4.247 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
4.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.247 * [taylor]: Taking taylor expansion of x in x
4.262 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in (x) around 0
4.262 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
4.262 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
4.262 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
4.262 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
4.262 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
4.262 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
4.262 * [taylor]: Taking taylor expansion of -0.5 in x
4.262 * [taylor]: Taking taylor expansion of x in x
4.263 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
4.263 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.263 * [taylor]: Taking taylor expansion of -1 in x
4.263 * [taylor]: Taking taylor expansion of x in x
4.263 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
4.263 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
4.263 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
4.263 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
4.263 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
4.263 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
4.263 * [taylor]: Taking taylor expansion of -0.5 in x
4.263 * [taylor]: Taking taylor expansion of x in x
4.264 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
4.264 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.264 * [taylor]: Taking taylor expansion of -1 in x
4.264 * [taylor]: Taking taylor expansion of x in x
4.279 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
4.279 * [approximate]: Taking taylor expansion of (exp (/ (sin (* 0.5 x)) (sin x))) in (x) around 0
4.279 * [taylor]: Taking taylor expansion of (exp (/ (sin (* 0.5 x)) (sin x))) in x
4.279 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
4.279 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
4.279 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
4.279 * [taylor]: Taking taylor expansion of 0.5 in x
4.279 * [taylor]: Taking taylor expansion of x in x
4.280 * [taylor]: Taking taylor expansion of (sin x) in x
4.281 * [taylor]: Taking taylor expansion of x in x
4.289 * [taylor]: Taking taylor expansion of (exp (/ (sin (* 0.5 x)) (sin x))) in x
4.289 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
4.289 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
4.289 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
4.289 * [taylor]: Taking taylor expansion of 0.5 in x
4.289 * [taylor]: Taking taylor expansion of x in x
4.291 * [taylor]: Taking taylor expansion of (sin x) in x
4.291 * [taylor]: Taking taylor expansion of x in x
4.337 * [approximate]: Taking taylor expansion of (exp (/ (sin (/ 0.5 x)) (sin (/ 1 x)))) in (x) around 0
4.338 * [taylor]: Taking taylor expansion of (exp (/ (sin (/ 0.5 x)) (sin (/ 1 x)))) in x
4.338 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
4.338 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
4.338 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
4.338 * [taylor]: Taking taylor expansion of 0.5 in x
4.338 * [taylor]: Taking taylor expansion of x in x
4.338 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
4.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.338 * [taylor]: Taking taylor expansion of x in x
4.339 * [taylor]: Taking taylor expansion of (exp (/ (sin (/ 0.5 x)) (sin (/ 1 x)))) in x
4.339 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
4.339 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
4.339 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
4.339 * [taylor]: Taking taylor expansion of 0.5 in x
4.339 * [taylor]: Taking taylor expansion of x in x
4.339 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
4.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.339 * [taylor]: Taking taylor expansion of x in x
4.352 * [approximate]: Taking taylor expansion of (exp (/ (sin (/ -0.5 x)) (sin (/ -1 x)))) in (x) around 0
4.352 * [taylor]: Taking taylor expansion of (exp (/ (sin (/ -0.5 x)) (sin (/ -1 x)))) in x
4.352 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
4.352 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
4.352 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
4.352 * [taylor]: Taking taylor expansion of -0.5 in x
4.352 * [taylor]: Taking taylor expansion of x in x
4.353 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
4.353 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.353 * [taylor]: Taking taylor expansion of -1 in x
4.353 * [taylor]: Taking taylor expansion of x in x
4.353 * [taylor]: Taking taylor expansion of (exp (/ (sin (/ -0.5 x)) (sin (/ -1 x)))) in x
4.353 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
4.353 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
4.353 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
4.353 * [taylor]: Taking taylor expansion of -0.5 in x
4.354 * [taylor]: Taking taylor expansion of x in x
4.354 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
4.354 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.354 * [taylor]: Taking taylor expansion of -1 in x
4.354 * [taylor]: Taking taylor expansion of x in x
4.366 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
4.366 * [approximate]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in (x) around 0
4.366 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
4.367 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
4.367 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
4.367 * [taylor]: Taking taylor expansion of 0.5 in x
4.367 * [taylor]: Taking taylor expansion of x in x
4.368 * [taylor]: Taking taylor expansion of (sin x) in x
4.368 * [taylor]: Taking taylor expansion of x in x
4.371 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
4.371 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
4.371 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
4.371 * [taylor]: Taking taylor expansion of 0.5 in x
4.371 * [taylor]: Taking taylor expansion of x in x
4.372 * [taylor]: Taking taylor expansion of (sin x) in x
4.372 * [taylor]: Taking taylor expansion of x in x
4.407 * [approximate]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in (x) around 0
4.407 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
4.407 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
4.407 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
4.407 * [taylor]: Taking taylor expansion of 0.5 in x
4.407 * [taylor]: Taking taylor expansion of x in x
4.407 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
4.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.407 * [taylor]: Taking taylor expansion of x in x
4.408 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
4.408 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
4.408 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
4.408 * [taylor]: Taking taylor expansion of 0.5 in x
4.408 * [taylor]: Taking taylor expansion of x in x
4.408 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
4.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.408 * [taylor]: Taking taylor expansion of x in x
4.411 * [approximate]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in (x) around 0
4.411 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
4.411 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
4.411 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
4.411 * [taylor]: Taking taylor expansion of -0.5 in x
4.411 * [taylor]: Taking taylor expansion of x in x
4.412 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
4.412 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.412 * [taylor]: Taking taylor expansion of -1 in x
4.412 * [taylor]: Taking taylor expansion of x in x
4.412 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
4.412 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
4.412 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
4.412 * [taylor]: Taking taylor expansion of -0.5 in x
4.412 * [taylor]: Taking taylor expansion of x in x
4.413 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
4.413 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.413 * [taylor]: Taking taylor expansion of -1 in x
4.413 * [taylor]: Taking taylor expansion of x in x
4.415 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
4.415 * [approximate]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in (x) around 0
4.415 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
4.415 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
4.415 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
4.415 * [taylor]: Taking taylor expansion of 0.5 in x
4.415 * [taylor]: Taking taylor expansion of x in x
4.417 * [taylor]: Taking taylor expansion of (sin x) in x
4.417 * [taylor]: Taking taylor expansion of x in x
4.419 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
4.419 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
4.419 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
4.419 * [taylor]: Taking taylor expansion of 0.5 in x
4.419 * [taylor]: Taking taylor expansion of x in x
4.421 * [taylor]: Taking taylor expansion of (sin x) in x
4.421 * [taylor]: Taking taylor expansion of x in x
4.450 * [approximate]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in (x) around 0
4.450 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
4.450 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
4.450 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
4.450 * [taylor]: Taking taylor expansion of 0.5 in x
4.450 * [taylor]: Taking taylor expansion of x in x
4.451 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
4.451 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.451 * [taylor]: Taking taylor expansion of x in x
4.451 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
4.451 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
4.451 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
4.451 * [taylor]: Taking taylor expansion of 0.5 in x
4.451 * [taylor]: Taking taylor expansion of x in x
4.452 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
4.452 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.452 * [taylor]: Taking taylor expansion of x in x
4.454 * [approximate]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in (x) around 0
4.454 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
4.454 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
4.454 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
4.454 * [taylor]: Taking taylor expansion of -0.5 in x
4.454 * [taylor]: Taking taylor expansion of x in x
4.455 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
4.455 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.455 * [taylor]: Taking taylor expansion of -1 in x
4.455 * [taylor]: Taking taylor expansion of x in x
4.455 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
4.455 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
4.455 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
4.455 * [taylor]: Taking taylor expansion of -0.5 in x
4.455 * [taylor]: Taking taylor expansion of x in x
4.456 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
4.456 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.456 * [taylor]: Taking taylor expansion of -1 in x
4.456 * [taylor]: Taking taylor expansion of x in x
4.458 * * * [progress]: simplifying candidates
4.460 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x))))))
  (log1p (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x))))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x)))))
  (+ (- (+ (log (sin (* 0.5 x))) (log 8.0)) (log 3.0)) (log (log (exp (/ (sin (* x 0.5)) (sin x))))))
  (+ (- (log (* (sin (* 0.5 x)) 8.0)) (log 3.0)) (log (log (exp (/ (sin (* x 0.5)) (sin x))))))
  (+ (log (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (log (log (exp (/ (sin (* x 0.5)) (sin x))))))
  (log (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x))))))
  (exp (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x))))))
  (* (/ (* (* (* (sin (* 0.5 x)) (sin (* 0.5 x))) (sin (* 0.5 x))) (* (* 8.0 8.0) 8.0)) (* (* 3.0 3.0) 3.0)) (* (* (log (exp (/ (sin (* x 0.5)) (sin x)))) (log (exp (/ (sin (* x 0.5)) (sin x))))) (log (exp (/ (sin (* x 0.5)) (sin x))))))
  (* (/ (* (* (* (sin (* 0.5 x)) 8.0) (* (sin (* 0.5 x)) 8.0)) (* (sin (* 0.5 x)) 8.0)) (* (* 3.0 3.0) 3.0)) (* (* (log (exp (/ (sin (* x 0.5)) (sin x)))) (log (exp (/ (sin (* x 0.5)) (sin x))))) (log (exp (/ (sin (* x 0.5)) (sin x))))))
  (* (* (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (* (* (log (exp (/ (sin (* x 0.5)) (sin x)))) (log (exp (/ (sin (* x 0.5)) (sin x))))) (log (exp (/ (sin (* x 0.5)) (sin x))))))
  (* (cbrt (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x)))))) (cbrt (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x)))))))
  (cbrt (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x))))))
  (* (* (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x))))) (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x)))))) (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x))))))
  (sqrt (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x))))))
  (sqrt (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x))))))
  (* (sqrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (sqrt (log (exp (/ (sin (* x 0.5)) (sin x))))))
  (* (sqrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (sqrt (log (exp (/ (sin (* x 0.5)) (sin x))))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (* (cbrt (exp (/ (sin (* x 0.5)) (sin x)))) (cbrt (exp (/ (sin (* x 0.5)) (sin x)))))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (cbrt (exp (/ (sin (* x 0.5)) (sin x))))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (sqrt (exp (/ (sin (* x 0.5)) (sin x))))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (sqrt (exp (/ (sin (* x 0.5)) (sin x))))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log 1))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x)))))
  (* (log (* (cbrt (exp (/ (sin (* x 0.5)) (sin x)))) (cbrt (exp (/ (sin (* x 0.5)) (sin x)))))) (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (* (log (cbrt (exp (/ (sin (* x 0.5)) (sin x))))) (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (* (log (sqrt (exp (/ (sin (* x 0.5)) (sin x))))) (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (* (log (sqrt (exp (/ (sin (* x 0.5)) (sin x))))) (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (* (log 1) (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (* (log (exp (/ (sin (* x 0.5)) (sin x)))) (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) 1)
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (cbrt (/ (sin (* x 0.5)) (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (sqrt (/ (sin (* x 0.5)) (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (cbrt (sin (* x 0.5))) (cbrt (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (cbrt (sin (* x 0.5))) (sqrt (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (cbrt (sin (* x 0.5))) (sin x)))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sqrt (sin (* x 0.5))) (cbrt (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sqrt (sin (* x 0.5))) (sqrt (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sqrt (sin (* x 0.5))) (sin x)))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sin (* x 0.5)) (cbrt (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sin (* x 0.5)) (sqrt (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sin (* x 0.5)) (sin x)))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sin (* x 0.5)) (sin x)))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ 1 (sin x)))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (* (cbrt (log (exp (/ (sin (* x 0.5)) (sin x))))) (cbrt (log (exp (/ (sin (* x 0.5)) (sin x)))))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (sqrt (log (exp (/ (sin (* x 0.5)) (sin x))))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) 1)
  (* (cbrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (log (exp (/ (sin (* x 0.5)) (sin x)))))
  (* (sqrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (log (exp (/ (sin (* x 0.5)) (sin x)))))
  (* (/ 8.0 (cbrt 3.0)) (log (exp (/ (sin (* x 0.5)) (sin x)))))
  (* (/ 8.0 (sqrt 3.0)) (log (exp (/ (sin (* x 0.5)) (sin x)))))
  (* (/ 8.0 3.0) (log (exp (/ (sin (* x 0.5)) (sin x)))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x)))))
  (* (/ 1 3.0) (log (exp (/ (sin (* x 0.5)) (sin x)))))
  (* (* (sin (* 0.5 x)) 8.0) (log (exp (/ (sin (* x 0.5)) (sin x)))))
  (expm1 (exp (/ (sin (* x 0.5)) (sin x))))
  (log1p (exp (/ (sin (* x 0.5)) (sin x))))
  (exp (* (cbrt (/ (sin (* x 0.5)) (sin x))) (cbrt (/ (sin (* x 0.5)) (sin x)))))
  (exp (sqrt (/ (sin (* x 0.5)) (sin x))))
  (exp (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (exp (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (sqrt (sin x))))
  (exp (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) 1))
  (exp (/ (sqrt (sin (* x 0.5))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (exp (/ (sqrt (sin (* x 0.5))) (sqrt (sin x))))
  (exp (/ (sqrt (sin (* x 0.5))) 1))
  (exp (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))))
  (exp (/ 1 (sqrt (sin x))))
  (exp (/ 1 1))
  (exp 1)
  (exp (sin (* x 0.5)))
  (log (exp (/ (sin (* x 0.5)) (sin x))))
  (exp (exp (/ (sin (* x 0.5)) (sin x))))
  (* (cbrt (exp (/ (sin (* x 0.5)) (sin x)))) (cbrt (exp (/ (sin (* x 0.5)) (sin x)))))
  (cbrt (exp (/ (sin (* x 0.5)) (sin x))))
  (* (* (exp (/ (sin (* x 0.5)) (sin x))) (exp (/ (sin (* x 0.5)) (sin x)))) (exp (/ (sin (* x 0.5)) (sin x))))
  (sqrt (exp (/ (sin (* x 0.5)) (sin x))))
  (sqrt (exp (/ (sin (* x 0.5)) (sin x))))
  (expm1 (log (exp (/ (sin (* x 0.5)) (sin x)))))
  (log1p (log (exp (/ (sin (* x 0.5)) (sin x)))))
  (log (* (cbrt (exp (/ (sin (* x 0.5)) (sin x)))) (cbrt (exp (/ (sin (* x 0.5)) (sin x))))))
  (log (cbrt (exp (/ (sin (* x 0.5)) (sin x)))))
  (log (sqrt (exp (/ (sin (* x 0.5)) (sin x)))))
  (log (sqrt (exp (/ (sin (* x 0.5)) (sin x)))))
  (log 1)
  (log (exp (/ (sin (* x 0.5)) (sin x))))
  (log (exp (/ (sin (* x 0.5)) (sin x))))
  (log (exp (* (cbrt (/ (sin (* x 0.5)) (sin x))) (cbrt (/ (sin (* x 0.5)) (sin x))))))
  (log (exp (sqrt (/ (sin (* x 0.5)) (sin x)))))
  (log (exp (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (* (cbrt (sin x)) (cbrt (sin x))))))
  (log (exp (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (sqrt (sin x)))))
  (log (exp (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) 1)))
  (log (exp (/ (sqrt (sin (* x 0.5))) (* (cbrt (sin x)) (cbrt (sin x))))))
  (log (exp (/ (sqrt (sin (* x 0.5))) (sqrt (sin x)))))
  (log (exp (/ (sqrt (sin (* x 0.5))) 1)))
  (log (exp (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))))
  (log (exp (/ 1 (sqrt (sin x)))))
  (log (exp (/ 1 1)))
  (log (exp 1))
  (log (exp (sin (* x 0.5))))
  (log (log (exp (/ (sin (* x 0.5)) (sin x)))))
  (exp (log (exp (/ (sin (* x 0.5)) (sin x)))))
  (* (cbrt (log (exp (/ (sin (* x 0.5)) (sin x))))) (cbrt (log (exp (/ (sin (* x 0.5)) (sin x))))))
  (cbrt (log (exp (/ (sin (* x 0.5)) (sin x)))))
  (* (* (log (exp (/ (sin (* x 0.5)) (sin x)))) (log (exp (/ (sin (* x 0.5)) (sin x))))) (log (exp (/ (sin (* x 0.5)) (sin x)))))
  (sqrt (log (exp (/ (sin (* x 0.5)) (sin x)))))
  (sqrt (log (exp (/ (sin (* x 0.5)) (sin x)))))
  (expm1 (/ (sin (* x 0.5)) (sin x)))
  (log1p (/ (sin (* x 0.5)) (sin x)))
  (- (log (sin (* x 0.5))) (log (sin x)))
  (log (/ (sin (* x 0.5)) (sin x)))
  (exp (/ (sin (* x 0.5)) (sin x)))
  (/ (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5))) (* (* (sin x) (sin x)) (sin x)))
  (* (cbrt (/ (sin (* x 0.5)) (sin x))) (cbrt (/ (sin (* x 0.5)) (sin x))))
  (cbrt (/ (sin (* x 0.5)) (sin x)))
  (* (* (/ (sin (* x 0.5)) (sin x)) (/ (sin (* x 0.5)) (sin x))) (/ (sin (* x 0.5)) (sin x)))
  (sqrt (/ (sin (* x 0.5)) (sin x)))
  (sqrt (/ (sin (* x 0.5)) (sin x)))
  (- (sin (* x 0.5)))
  (- (sin x))
  (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (cbrt (sin (* x 0.5))) (cbrt (sin x)))
  (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (sqrt (sin x)))
  (/ (cbrt (sin (* x 0.5))) (sqrt (sin x)))
  (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) 1)
  (/ (cbrt (sin (* x 0.5))) (sin x))
  (/ (sqrt (sin (* x 0.5))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sqrt (sin (* x 0.5))) (cbrt (sin x)))
  (/ (sqrt (sin (* x 0.5))) (sqrt (sin x)))
  (/ (sqrt (sin (* x 0.5))) (sqrt (sin x)))
  (/ (sqrt (sin (* x 0.5))) 1)
  (/ (sqrt (sin (* x 0.5))) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sin (* x 0.5)) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (sin (* x 0.5)) (sqrt (sin x)))
  (/ 1 1)
  (/ (sin (* x 0.5)) (sin x))
  (/ 1 (sin x))
  (/ (sin x) (sin (* x 0.5)))
  (/ (sin (* x 0.5)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sin (* x 0.5)) (sqrt (sin x)))
  (/ (sin (* x 0.5)) 1)
  (/ (sin x) (cbrt (sin (* x 0.5))))
  (/ (sin x) (sqrt (sin (* x 0.5))))
  (/ (sin x) (sin (* x 0.5)))
  (+ (* 0.05555555555555555 (pow x 3)) (+ (* 0.005555555555555554 (pow x 5)) (* 0.6666666666666666 x)))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (+ (* 0.008463541666666666 (* (pow x 4) (exp 0.5))) (+ (* 0.0625 (* (pow x 2) (exp 0.5))) (exp 0.5)))
  (exp (/ (sin (* 0.5 x)) (sin x)))
  (exp (/ (sin (* 0.5 x)) (sin x)))
  (+ (* 0.0625 (pow x 2)) (+ (* 0.006510416666666666 (pow x 4)) 0.5))
  (/ (sin (* 0.5 x)) (sin x))
  (/ (sin (* 0.5 x)) (sin x))
  (+ (* 0.0625 (pow x 2)) (+ (* 0.006510416666666666 (pow x 4)) 0.5))
  (/ (sin (* 0.5 x)) (sin x))
  (/ (sin (* 0.5 x)) (sin x))
4.467 * * [simplify]: iteration  0 :  221  enodes  (cost  2235 )
4.510 * * [simplify]: iteration  1 :  486  enodes  (cost  2043 )
4.628 * * [simplify]: iteration  2 :  1920  enodes  (cost  1747 )
5.136 * * [simplify]: iteration  done :  5001  enodes  (cost  1747 )
5.137 * [simplify]: Simplified to:
   (expm1 (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x)))
  (log1p (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x)))
  (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x))
  (log (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x)))
  (log (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x)))
  (log (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x)))
  (log (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x)))
  (exp (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x)))
  (pow (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x)) 3)
  (pow (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x)) 3)
  (pow (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x)) 3)
  (* (cbrt (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x))) (cbrt (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x))))
  (cbrt (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x)))
  (pow (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x)) 3)
  (sqrt (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x)))
  (sqrt (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x)))
  (* (sqrt (/ (sin (* x 0.5)) (sin x))) (sqrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)))
  (* (sqrt (/ (sin (* x 0.5)) (sin x))) (sqrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (* 2 (log (cbrt (exp (/ (sin (* x 0.5)) (sin x)))))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (cbrt (exp (/ (sin (* x 0.5)) (sin x))))))
  (* (log (sqrt (exp (/ (sin (* x 0.5)) (sin x))))) (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (* (log (sqrt (exp (/ (sin (* x 0.5)) (sin x))))) (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  0
  (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (* 2 (log (cbrt (exp (/ (sin (* x 0.5)) (sin x)))))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (cbrt (exp (/ (sin (* x 0.5)) (sin x))))))
  (* (log (sqrt (exp (/ (sin (* x 0.5)) (sin x))))) (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  (* (log (sqrt (exp (/ (sin (* x 0.5)) (sin x))))) (/ (* (sin (* 0.5 x)) 8.0) 3.0))
  0
  (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x))
  (* (sin (* x 0.5)) (/ 8.0 3.0))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (cbrt (/ (sin (* x 0.5)) (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (sqrt (/ (sin (* x 0.5)) (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (cbrt (sin (* x 0.5))) (cbrt (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (cbrt (sin (* x 0.5))) (sqrt (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (cbrt (sin (* x 0.5))) (sin x)))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sqrt (sin (* x 0.5))) (cbrt (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sqrt (sin (* x 0.5))) (sqrt (sin x))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sqrt (sin (* x 0.5))) (sin x)))
  (/ (/ (* 8.0 (pow (sin (* x 0.5)) 2)) (cbrt (sin x))) 3.0)
  (/ (/ (* 8.0 (pow (sin (* x 0.5)) 2)) (sqrt (sin x))) 3.0)
  (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x))
  (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x))
  (* (/ (sin (* x 0.5)) (sin x)) (/ 8.0 3.0))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (* (cbrt (/ (sin (* 0.5 x)) (sin x))) (cbrt (/ (sin (* 0.5 x)) (sin x)))))
  (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (sqrt (/ (sin (* x 0.5)) (sin x))))
  (* (sin (* x 0.5)) (/ 8.0 3.0))
  (* (cbrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (/ (sin (* x 0.5)) (sin x)))
  (* (sqrt (/ (* (sin (* 0.5 x)) 8.0) 3.0)) (/ (sin (* 0.5 x)) (sin x)))
  (* (/ (sin (* 0.5 x)) (sin x)) (/ 8.0 (cbrt 3.0)))
  (* (/ (sin (* x 0.5)) (sin x)) (/ 8.0 (sqrt 3.0)))
  (* (/ (sin (* x 0.5)) (sin x)) (/ 8.0 3.0))
  (/ (/ (pow (sin (* x 0.5)) 2) (/ 3.0 8.0)) (sin x))
  (/ (/ (sin (* x 0.5)) (sin x)) 3.0)
  (* 8.0 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (expm1 (exp (/ (sin (* x 0.5)) (sin x))))
  (log1p (exp (/ (sin (* x 0.5)) (sin x))))
  (exp (* (cbrt (/ (sin (* x 0.5)) (sin x))) (cbrt (/ (sin (* x 0.5)) (sin x)))))
  (exp (sqrt (/ (sin (* x 0.5)) (sin x))))
  (exp (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (exp (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (sqrt (sin x))))
  (exp (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))))
  (exp (/ (sqrt (sin (* x 0.5))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (exp (/ (sqrt (sin (* x 0.5))) (sqrt (sin x))))
  (exp (sqrt (sin (* x 0.5))))
  (exp (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))))
  (exp (/ 1 (sqrt (sin x))))
  E
  E
  (exp (sin (* x 0.5)))
  (/ (sin (* x 0.5)) (sin x))
  (exp (exp (/ (sin (* x 0.5)) (sin x))))
  (* (cbrt (exp (/ (sin (* x 0.5)) (sin x)))) (cbrt (exp (/ (sin (* x 0.5)) (sin x)))))
  (cbrt (exp (/ (sin (* x 0.5)) (sin x))))
  (pow (exp (/ (sin (* x 0.5)) (sin x))) 3)
  (sqrt (exp (/ (sin (* x 0.5)) (sin x))))
  (sqrt (exp (/ (sin (* x 0.5)) (sin x))))
  (expm1 (/ (sin (* x 0.5)) (sin x)))
  (log1p (/ (sin (* x 0.5)) (sin x)))
  (* 2 (log (cbrt (exp (/ (sin (* x 0.5)) (sin x))))))
  (log (cbrt (exp (/ (sin (* x 0.5)) (sin x)))))
  (log (sqrt (exp (/ (sin (* x 0.5)) (sin x)))))
  (log (sqrt (exp (/ (sin (* x 0.5)) (sin x)))))
  0
  (/ (sin (* x 0.5)) (sin x))
  (/ (sin (* x 0.5)) (sin x))
  (* (cbrt (/ (sin (* 0.5 x)) (sin x))) (cbrt (/ (sin (* 0.5 x)) (sin x))))
  (sqrt (/ (sin (* x 0.5)) (sin x)))
  (* (/ (cbrt (sin (* x 0.5))) (cbrt (sin x))) (/ (cbrt (sin (* x 0.5))) (cbrt (sin x))))
  (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (sqrt (sin x)))
  (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5))))
  (/ (/ (sqrt (sin (* x 0.5))) (cbrt (sin x))) (cbrt (sin x)))
  (/ (sqrt (sin (* x 0.5))) (sqrt (sin x)))
  (sqrt (sin (* x 0.5)))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ 1 (sqrt (sin x)))
  1
  1
  (sin (* x 0.5))
  (log (/ (sin (* x 0.5)) (sin x)))
  (exp (/ (sin (* x 0.5)) (sin x)))
  (* (cbrt (/ (sin (* 0.5 x)) (sin x))) (cbrt (/ (sin (* 0.5 x)) (sin x))))
  (cbrt (/ (sin (* 0.5 x)) (sin x)))
  (pow (/ (sin (* x 0.5)) (sin x)) 3)
  (sqrt (/ (sin (* x 0.5)) (sin x)))
  (sqrt (/ (sin (* x 0.5)) (sin x)))
  (expm1 (/ (sin (* x 0.5)) (sin x)))
  (log1p (/ (sin (* x 0.5)) (sin x)))
  (log (/ (sin (* x 0.5)) (sin x)))
  (log (/ (sin (* x 0.5)) (sin x)))
  (exp (/ (sin (* x 0.5)) (sin x)))
  (pow (/ (sin (* x 0.5)) (sin x)) 3)
  (* (cbrt (/ (sin (* 0.5 x)) (sin x))) (cbrt (/ (sin (* 0.5 x)) (sin x))))
  (cbrt (/ (sin (* 0.5 x)) (sin x)))
  (pow (/ (sin (* x 0.5)) (sin x)) 3)
  (sqrt (/ (sin (* x 0.5)) (sin x)))
  (sqrt (/ (sin (* x 0.5)) (sin x)))
  (- (sin (* x 0.5)))
  (- (sin x))
  (* (/ (cbrt (sin (* x 0.5))) (cbrt (sin x))) (/ (cbrt (sin (* x 0.5))) (cbrt (sin x))))
  (/ (cbrt (sin (* x 0.5))) (cbrt (sin x)))
  (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (sqrt (sin x)))
  (/ (cbrt (sin (* x 0.5))) (sqrt (sin x)))
  (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5))))
  (/ (cbrt (sin (* x 0.5))) (sin x))
  (/ (/ (sqrt (sin (* x 0.5))) (cbrt (sin x))) (cbrt (sin x)))
  (/ (sqrt (sin (* x 0.5))) (cbrt (sin x)))
  (/ (sqrt (sin (* x 0.5))) (sqrt (sin x)))
  (/ (sqrt (sin (* x 0.5))) (sqrt (sin x)))
  (sqrt (sin (* x 0.5)))
  (/ (sqrt (sin (* x 0.5))) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sin (* x 0.5)) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (sin (* x 0.5)) (sqrt (sin x)))
  1
  (/ (sin (* x 0.5)) (sin x))
  (/ 1 (sin x))
  (/ (sin x) (sin (* x 0.5)))
  (/ (sin (* x 0.5)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sin (* x 0.5)) (sqrt (sin x)))
  (sin (* x 0.5))
  (/ (sin x) (cbrt (sin (* x 0.5))))
  (/ (sin x) (sqrt (sin (* x 0.5))))
  (/ (sin x) (sin (* x 0.5)))
  (fma 0.05555555555555555 (pow x 3) (fma 0.005555555555555554 (pow x 5) (* 0.6666666666666666 x)))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (+ (* (exp 0.5) (+ (* 0.008463541666666666 (pow x 4)) (* 0.0625 (pow x 2)))) (exp 0.5))
  (exp (/ (sin (* x 0.5)) (sin x)))
  (exp (/ (sin (* x 0.5)) (sin x)))
  (fma 0.0625 (pow x 2) (fma 0.006510416666666666 (pow x 4) 0.5))
  (/ (sin (* x 0.5)) (sin x))
  (/ (sin (* x 0.5)) (sin x))
  (fma 0.0625 (pow x 2) (fma 0.006510416666666666 (pow x 4) 0.5))
  (/ (sin (* x 0.5)) (sin x))
  (/ (sin (* x 0.5)) (sin x))
5.138 * * * [progress]: adding candidates to table
5.605 * [progress]: [Phase 3 of 3] Extracting.
5.606 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (log1p (expm1 (/ (* (sin (* 0.5 x)) 8.0) 3.0))) (/ (sin (* x 0.5)) (sin x))))> #<alt (λ (x) (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))> #<alt (λ (x) (* (* (sin (* 0.5 x)) 8.0) (/ (/ (sin (* x 0.5)) (sin x)) 3.0)))> #<alt (λ (x) (* (* (* (sin (* 0.5 x)) (* (cbrt (/ 8.0 3.0)) (cbrt (/ 8.0 3.0)))) (cbrt (/ 8.0 3.0))) (/ (sin (* x 0.5)) (sin x))))> #<alt (λ (x) (* (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (sqrt (/ (sin (* x 0.5)) (sin x)))) (sqrt (/ (sin (* x 0.5)) (sin x)))))> #<alt (λ (x) (/ 1 (/ (sin x) (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)))))> #<alt (λ (x) (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x))))))> #<alt (λ (x) (/ (* (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (* (/ 8.0 (cbrt 3.0)) (sin (* x 0.5)))) (sin (* x 0.5))) (sin x)))> #<alt (λ (x) (* (expm1 (log1p (/ (* (sin (* 0.5 x)) 8.0) 3.0))) (/ (sin (* x 0.5)) (sin x))))>)
5.611 * * * [regime-changes]: Trying 1 branch expressions: (x)
5.611 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (log1p (expm1 (/ (* (sin (* 0.5 x)) 8.0) 3.0))) (/ (sin (* x 0.5)) (sin x))))> #<alt (λ (x) (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))> #<alt (λ (x) (* (* (sin (* 0.5 x)) 8.0) (/ (/ (sin (* x 0.5)) (sin x)) 3.0)))> #<alt (λ (x) (* (* (* (sin (* 0.5 x)) (* (cbrt (/ 8.0 3.0)) (cbrt (/ 8.0 3.0)))) (cbrt (/ 8.0 3.0))) (/ (sin (* x 0.5)) (sin x))))> #<alt (λ (x) (* (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (sqrt (/ (sin (* x 0.5)) (sin x)))) (sqrt (/ (sin (* x 0.5)) (sin x)))))> #<alt (λ (x) (/ 1 (/ (sin x) (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)))))> #<alt (λ (x) (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x))))))> #<alt (λ (x) (/ (* (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (* (/ 8.0 (cbrt 3.0)) (sin (* x 0.5)))) (sin (* x 0.5))) (sin x)))> #<alt (λ (x) (* (expm1 (log1p (/ (* (sin (* 0.5 x)) 8.0) 3.0))) (/ (sin (* x 0.5)) (sin x))))>)
5.646 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
5.647 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x)))))
5.647 * * [simplify]: iteration  0 :  15  enodes  (cost  18 )
5.648 * * [simplify]: iteration  1 :  17  enodes  (cost  18 )
5.648 * * [simplify]: iteration  done :  17  enodes  (cost  18 )
5.648 * [simplify]: Simplified to:
   (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x)))))
7.834 * [regime-testing]: Baseline error score: 0.3650995409631316
7.835 * [regime-testing]: Oracle error score: 0.04948738904953263
7.836 * [regime-testing]: End program error score: 0.3650995409631316
7.867 * [regime-testing]: Target error score: 0.29879167554691305