3.272 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.062 * * * [progress]: [2/2] Setting up program.
0.064 * [progress]: [Phase 2 of 3] Improving.
0.065 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))
0.065 * * [simplify]: iteration  0 :  11  enodes  (cost  16 )
0.067 * * [simplify]: iteration  1 :  20  enodes  (cost  16 )
0.070 * * [simplify]: iteration  2 :  42  enodes  (cost  16 )
0.075 * * [simplify]: iteration  3 :  90  enodes  (cost  16 )
0.087 * * [simplify]: iteration  4 :  168  enodes  (cost  16 )
0.115 * * [simplify]: iteration  5 :  246  enodes  (cost  16 )
0.156 * * [simplify]: iteration  6 :  264  enodes  (cost  16 )
0.196 * * [simplify]: iteration  done :  264  enodes  (cost  16 )
0.197 * [simplify]: Simplified to:
   (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))
0.197 * * [progress]: iteration 1 / 4
0.197 * * * [progress]: picking best candidate
0.201 * * * * [pick]: Picked  #<alt (λ (x) (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x)))>
0.201 * * * [progress]: localizing error
0.213 * * * [progress]: generating rewritten candidates
0.213 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.234 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
0.245 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.268 * * * [progress]: generating series expansions
0.269 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.270 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in (x) around 0
0.270 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
0.270 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.270 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
0.270 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
0.270 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
0.270 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.270 * [taylor]: Taking taylor expansion of 0.5 in x
0.270 * [taylor]: Taking taylor expansion of x in x
0.274 * [taylor]: Taking taylor expansion of (sin x) in x
0.274 * [taylor]: Taking taylor expansion of x in x
0.275 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
0.275 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.275 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
0.275 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
0.275 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
0.275 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.275 * [taylor]: Taking taylor expansion of 0.5 in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.278 * [taylor]: Taking taylor expansion of (sin x) in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.324 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in (x) around 0
0.324 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
0.324 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.324 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
0.324 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
0.324 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
0.324 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
0.324 * [taylor]: Taking taylor expansion of 0.5 in x
0.324 * [taylor]: Taking taylor expansion of x in x
0.324 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.324 * [taylor]: Taking taylor expansion of x in x
0.325 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
0.325 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.325 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
0.325 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
0.325 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
0.325 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
0.325 * [taylor]: Taking taylor expansion of 0.5 in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.326 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.326 * [taylor]: Taking taylor expansion of x in x
0.343 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in (x) around 0
0.343 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
0.343 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.343 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
0.343 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
0.343 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
0.343 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
0.343 * [taylor]: Taking taylor expansion of -0.5 in x
0.343 * [taylor]: Taking taylor expansion of x in x
0.344 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.344 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.344 * [taylor]: Taking taylor expansion of -1 in x
0.344 * [taylor]: Taking taylor expansion of x in x
0.345 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
0.345 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.345 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
0.345 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
0.345 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
0.345 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
0.345 * [taylor]: Taking taylor expansion of -0.5 in x
0.345 * [taylor]: Taking taylor expansion of x in x
0.345 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.345 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.345 * [taylor]: Taking taylor expansion of -1 in x
0.345 * [taylor]: Taking taylor expansion of x in x
0.362 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
0.363 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in (x) around 0
0.363 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in x
0.363 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.363 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
0.363 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.363 * [taylor]: Taking taylor expansion of 0.5 in x
0.363 * [taylor]: Taking taylor expansion of x in x
0.364 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in x
0.364 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.364 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
0.364 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.364 * [taylor]: Taking taylor expansion of 0.5 in x
0.364 * [taylor]: Taking taylor expansion of x in x
0.389 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in (x) around 0
0.390 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in x
0.390 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.390 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
0.390 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
0.390 * [taylor]: Taking taylor expansion of 0.5 in x
0.390 * [taylor]: Taking taylor expansion of x in x
0.390 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in x
0.390 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.390 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
0.390 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
0.390 * [taylor]: Taking taylor expansion of 0.5 in x
0.390 * [taylor]: Taking taylor expansion of x in x
0.398 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in (x) around 0
0.398 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in x
0.398 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.398 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
0.398 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
0.398 * [taylor]: Taking taylor expansion of -0.5 in x
0.398 * [taylor]: Taking taylor expansion of x in x
0.398 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in x
0.398 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.398 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
0.398 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
0.398 * [taylor]: Taking taylor expansion of -0.5 in x
0.398 * [taylor]: Taking taylor expansion of x in x
0.409 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.410 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (* 0.5 x)) 2)) in (x) around 0
0.410 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (* 0.5 x)) 2)) in x
0.410 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.410 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
0.410 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
0.410 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.410 * [taylor]: Taking taylor expansion of 0.5 in x
0.410 * [taylor]: Taking taylor expansion of x in x
0.413 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (* 0.5 x)) 2)) in x
0.413 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.413 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
0.413 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
0.413 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.413 * [taylor]: Taking taylor expansion of 0.5 in x
0.413 * [taylor]: Taking taylor expansion of x in x
0.445 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (/ 0.5 x)) 2)) in (x) around 0
0.445 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (/ 0.5 x)) 2)) in x
0.445 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.445 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
0.445 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
0.445 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
0.446 * [taylor]: Taking taylor expansion of 0.5 in x
0.446 * [taylor]: Taking taylor expansion of x in x
0.446 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (/ 0.5 x)) 2)) in x
0.446 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.446 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
0.446 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
0.446 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
0.446 * [taylor]: Taking taylor expansion of 0.5 in x
0.446 * [taylor]: Taking taylor expansion of x in x
0.458 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (/ -0.5 x)) 2)) in (x) around 0
0.458 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (/ -0.5 x)) 2)) in x
0.458 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.458 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
0.458 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
0.458 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
0.458 * [taylor]: Taking taylor expansion of -0.5 in x
0.458 * [taylor]: Taking taylor expansion of x in x
0.459 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (/ -0.5 x)) 2)) in x
0.459 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.459 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
0.459 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
0.459 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
0.459 * [taylor]: Taking taylor expansion of -0.5 in x
0.459 * [taylor]: Taking taylor expansion of x in x
0.470 * * * [progress]: simplifying candidates
0.472 * [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.476 * * [simplify]: iteration  0 :  169  enodes  (cost  1554 )
0.511 * * [simplify]: iteration  1 :  423  enodes  (cost  1349 )
0.632 * * [simplify]: iteration  2 :  1866  enodes  (cost  1080 )
1.285 * * [simplify]: iteration  done :  5000  enodes  (cost  1080 )
1.285 * [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.286 * * * [progress]: adding candidates to table
1.543 * * [progress]: iteration 2 / 4
1.543 * * * [progress]: picking best candidate
1.578 * * * * [pick]: Picked  #<alt (λ (x) (* (* (sin (* 0.5 x)) (/ 8.0 3.0)) (/ (sin (* x 0.5)) (sin x))))>
1.578 * * * [progress]: localizing error
1.593 * * * [progress]: generating rewritten candidates
1.593 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
1.604 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1.628 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
1.635 * * * [progress]: generating series expansions
1.635 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
1.636 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in (x) around 0
1.636 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in x
1.636 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.636 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
1.636 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.636 * [taylor]: Taking taylor expansion of 0.5 in x
1.636 * [taylor]: Taking taylor expansion of x in x
1.638 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in x
1.638 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.638 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
1.638 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.638 * [taylor]: Taking taylor expansion of 0.5 in x
1.638 * [taylor]: Taking taylor expansion of x in x
1.664 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in (x) around 0
1.664 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in x
1.664 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.664 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
1.664 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
1.664 * [taylor]: Taking taylor expansion of 0.5 in x
1.664 * [taylor]: Taking taylor expansion of x in x
1.665 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in x
1.665 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.665 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
1.665 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
1.665 * [taylor]: Taking taylor expansion of 0.5 in x
1.665 * [taylor]: Taking taylor expansion of x in x
1.672 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in (x) around 0
1.672 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in x
1.672 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.672 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
1.672 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
1.672 * [taylor]: Taking taylor expansion of -0.5 in x
1.672 * [taylor]: Taking taylor expansion of x in x
1.673 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in x
1.673 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.673 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
1.673 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
1.673 * [taylor]: Taking taylor expansion of -0.5 in x
1.673 * [taylor]: Taking taylor expansion of x in x
1.679 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1.680 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in (x) around 0
1.680 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
1.680 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.680 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
1.680 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
1.680 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
1.680 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.680 * [taylor]: Taking taylor expansion of 0.5 in x
1.680 * [taylor]: Taking taylor expansion of x in x
1.683 * [taylor]: Taking taylor expansion of (sin x) in x
1.683 * [taylor]: Taking taylor expansion of x in x
1.684 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
1.684 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.684 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
1.684 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
1.685 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
1.685 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.685 * [taylor]: Taking taylor expansion of 0.5 in x
1.685 * [taylor]: Taking taylor expansion of x in x
1.687 * [taylor]: Taking taylor expansion of (sin x) in x
1.688 * [taylor]: Taking taylor expansion of x in x
1.735 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in (x) around 0
1.735 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
1.735 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.735 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
1.735 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
1.735 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
1.735 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
1.735 * [taylor]: Taking taylor expansion of 0.5 in x
1.735 * [taylor]: Taking taylor expansion of x in x
1.736 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.736 * [taylor]: Taking taylor expansion of x in x
1.736 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
1.737 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.737 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
1.737 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
1.737 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
1.737 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
1.737 * [taylor]: Taking taylor expansion of 0.5 in x
1.737 * [taylor]: Taking taylor expansion of x in x
1.737 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.737 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.737 * [taylor]: Taking taylor expansion of x in x
1.754 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in (x) around 0
1.754 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
1.754 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.754 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
1.754 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
1.754 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
1.755 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
1.755 * [taylor]: Taking taylor expansion of -0.5 in x
1.755 * [taylor]: Taking taylor expansion of x in x
1.755 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.755 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.755 * [taylor]: Taking taylor expansion of -1 in x
1.755 * [taylor]: Taking taylor expansion of x in x
1.756 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
1.756 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.756 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
1.756 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
1.756 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
1.756 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
1.756 * [taylor]: Taking taylor expansion of -0.5 in x
1.756 * [taylor]: Taking taylor expansion of x in x
1.756 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.757 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.757 * [taylor]: Taking taylor expansion of -1 in x
1.757 * [taylor]: Taking taylor expansion of x in x
1.774 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
1.774 * [approximate]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in (x) around 0
1.774 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
1.774 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
1.774 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.774 * [taylor]: Taking taylor expansion of 0.5 in x
1.774 * [taylor]: Taking taylor expansion of x in x
1.776 * [taylor]: Taking taylor expansion of (sin x) in x
1.776 * [taylor]: Taking taylor expansion of x in x
1.779 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
1.779 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
1.779 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.779 * [taylor]: Taking taylor expansion of 0.5 in x
1.779 * [taylor]: Taking taylor expansion of x in x
1.780 * [taylor]: Taking taylor expansion of (sin x) in x
1.780 * [taylor]: Taking taylor expansion of x in x
1.810 * [approximate]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in (x) around 0
1.810 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
1.810 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
1.811 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
1.811 * [taylor]: Taking taylor expansion of 0.5 in x
1.811 * [taylor]: Taking taylor expansion of x in x
1.811 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.811 * [taylor]: Taking taylor expansion of x in x
1.812 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
1.812 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
1.812 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
1.812 * [taylor]: Taking taylor expansion of 0.5 in x
1.812 * [taylor]: Taking taylor expansion of x in x
1.812 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.812 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.812 * [taylor]: Taking taylor expansion of x in x
1.815 * [approximate]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in (x) around 0
1.815 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
1.815 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
1.815 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
1.815 * [taylor]: Taking taylor expansion of -0.5 in x
1.815 * [taylor]: Taking taylor expansion of x in x
1.816 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.816 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.816 * [taylor]: Taking taylor expansion of -1 in x
1.816 * [taylor]: Taking taylor expansion of x in x
1.816 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
1.816 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
1.816 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
1.816 * [taylor]: Taking taylor expansion of -0.5 in x
1.816 * [taylor]: Taking taylor expansion of x in x
1.817 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.817 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.817 * [taylor]: Taking taylor expansion of -1 in x
1.823 * [taylor]: Taking taylor expansion of x in x
1.826 * * * [progress]: simplifying candidates
1.828 * [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.834 * * [simplify]: iteration  0 :  196  enodes  (cost  1801 )
1.871 * * [simplify]: iteration  1 :  504  enodes  (cost  1699 )
2.035 * * [simplify]: iteration  2 :  2338  enodes  (cost  1357 )
2.826 * * [simplify]: iteration  done :  5001  enodes  (cost  1357 )
2.827 * [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.828 * * * [progress]: adding candidates to table
3.161 * * [progress]: iteration 3 / 4
3.162 * * * [progress]: picking best candidate
3.192 * * * * [pick]: Picked  #<alt (λ (x) (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (/ (sin (* x 0.5)) (sin x))))>
3.192 * * * [progress]: localizing error
3.207 * * * [progress]: generating rewritten candidates
3.208 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
3.224 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
3.228 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
3.241 * * * [progress]: generating series expansions
3.241 * * * * [progress]: [ 1 / 3 ] generating series at (2)
3.241 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in (x) around 0
3.241 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
3.241 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.241 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
3.241 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
3.241 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
3.241 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
3.241 * [taylor]: Taking taylor expansion of 0.5 in x
3.241 * [taylor]: Taking taylor expansion of x in x
3.245 * [taylor]: Taking taylor expansion of (sin x) in x
3.245 * [taylor]: Taking taylor expansion of x in x
3.246 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
3.246 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.246 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
3.246 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
3.246 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
3.246 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
3.247 * [taylor]: Taking taylor expansion of 0.5 in x
3.247 * [taylor]: Taking taylor expansion of x in x
3.250 * [taylor]: Taking taylor expansion of (sin x) in x
3.250 * [taylor]: Taking taylor expansion of x in x
3.293 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in (x) around 0
3.293 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
3.293 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.293 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
3.293 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
3.293 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
3.293 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
3.293 * [taylor]: Taking taylor expansion of 0.5 in x
3.293 * [taylor]: Taking taylor expansion of x in x
3.294 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
3.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.294 * [taylor]: Taking taylor expansion of x in x
3.295 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
3.295 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.295 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
3.295 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
3.295 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
3.295 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
3.295 * [taylor]: Taking taylor expansion of 0.5 in x
3.295 * [taylor]: Taking taylor expansion of x in x
3.295 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
3.295 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.295 * [taylor]: Taking taylor expansion of x in x
3.312 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in (x) around 0
3.312 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
3.312 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.312 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
3.312 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
3.312 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
3.312 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
3.312 * [taylor]: Taking taylor expansion of -0.5 in x
3.312 * [taylor]: Taking taylor expansion of x in x
3.313 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
3.313 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.313 * [taylor]: Taking taylor expansion of -1 in x
3.313 * [taylor]: Taking taylor expansion of x in x
3.314 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
3.314 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.314 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
3.314 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
3.314 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
3.314 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
3.314 * [taylor]: Taking taylor expansion of -0.5 in x
3.314 * [taylor]: Taking taylor expansion of x in x
3.314 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
3.314 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.314 * [taylor]: Taking taylor expansion of -1 in x
3.315 * [taylor]: Taking taylor expansion of x in x
3.331 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
3.332 * [approximate]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in (x) around 0
3.332 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
3.332 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
3.332 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
3.332 * [taylor]: Taking taylor expansion of 0.5 in x
3.332 * [taylor]: Taking taylor expansion of x in x
3.333 * [taylor]: Taking taylor expansion of (sin x) in x
3.333 * [taylor]: Taking taylor expansion of x in x
3.342 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
3.342 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
3.342 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
3.342 * [taylor]: Taking taylor expansion of 0.5 in x
3.343 * [taylor]: Taking taylor expansion of x in x
3.344 * [taylor]: Taking taylor expansion of (sin x) in x
3.344 * [taylor]: Taking taylor expansion of x in x
3.375 * [approximate]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in (x) around 0
3.375 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
3.375 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
3.375 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
3.375 * [taylor]: Taking taylor expansion of 0.5 in x
3.375 * [taylor]: Taking taylor expansion of x in x
3.376 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
3.376 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.376 * [taylor]: Taking taylor expansion of x in x
3.376 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
3.376 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
3.376 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
3.376 * [taylor]: Taking taylor expansion of 0.5 in x
3.376 * [taylor]: Taking taylor expansion of x in x
3.377 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
3.377 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.377 * [taylor]: Taking taylor expansion of x in x
3.379 * [approximate]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in (x) around 0
3.380 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
3.380 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
3.380 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
3.380 * [taylor]: Taking taylor expansion of -0.5 in x
3.380 * [taylor]: Taking taylor expansion of x in x
3.380 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
3.380 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.380 * [taylor]: Taking taylor expansion of -1 in x
3.380 * [taylor]: Taking taylor expansion of x in x
3.381 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
3.381 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
3.381 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
3.381 * [taylor]: Taking taylor expansion of -0.5 in x
3.381 * [taylor]: Taking taylor expansion of x in x
3.381 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
3.381 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.381 * [taylor]: Taking taylor expansion of -1 in x
3.382 * [taylor]: Taking taylor expansion of x in x
3.384 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
3.384 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in (x) around 0
3.384 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in x
3.384 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.384 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
3.384 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
3.384 * [taylor]: Taking taylor expansion of 0.5 in x
3.384 * [taylor]: Taking taylor expansion of x in x
3.386 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in x
3.386 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.386 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
3.386 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
3.386 * [taylor]: Taking taylor expansion of 0.5 in x
3.386 * [taylor]: Taking taylor expansion of x in x
3.411 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in (x) around 0
3.411 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in x
3.411 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.411 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
3.412 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
3.412 * [taylor]: Taking taylor expansion of 0.5 in x
3.412 * [taylor]: Taking taylor expansion of x in x
3.412 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in x
3.412 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.412 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
3.412 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
3.412 * [taylor]: Taking taylor expansion of 0.5 in x
3.412 * [taylor]: Taking taylor expansion of x in x
3.419 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in (x) around 0
3.419 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in x
3.419 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.419 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
3.419 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
3.419 * [taylor]: Taking taylor expansion of -0.5 in x
3.419 * [taylor]: Taking taylor expansion of x in x
3.420 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in x
3.420 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.420 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
3.420 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
3.420 * [taylor]: Taking taylor expansion of -0.5 in x
3.420 * [taylor]: Taking taylor expansion of x in x
3.428 * * * [progress]: simplifying candidates
3.429 * [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.441 * * [simplify]: iteration  0 :  184  enodes  (cost  1811 )
3.476 * * [simplify]: iteration  1 :  484  enodes  (cost  1731 )
3.628 * * [simplify]: iteration  2 :  2148  enodes  (cost  1375 )
4.306 * * [simplify]: iteration  done :  5001  enodes  (cost  1375 )
4.307 * [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)))
4.308 * * * [progress]: adding candidates to table
4.636 * * [progress]: iteration 4 / 4
4.636 * * * [progress]: picking best candidate
4.668 * * * * [pick]: Picked  #<alt (λ (x) (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x))))))>
4.668 * * * [progress]: localizing error
4.688 * * * [progress]: generating rewritten candidates
4.688 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
4.719 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
4.724 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
4.730 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
4.738 * * * [progress]: generating series expansions
4.739 * * * * [progress]: [ 1 / 4 ] generating series at (2)
4.739 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in (x) around 0
4.739 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
4.739 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
4.739 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
4.739 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
4.739 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
4.739 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
4.739 * [taylor]: Taking taylor expansion of 0.5 in x
4.739 * [taylor]: Taking taylor expansion of x in x
4.743 * [taylor]: Taking taylor expansion of (sin x) in x
4.743 * [taylor]: Taking taylor expansion of x in x
4.744 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
4.744 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
4.744 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
4.744 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
4.745 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
4.745 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
4.745 * [taylor]: Taking taylor expansion of 0.5 in x
4.745 * [taylor]: Taking taylor expansion of x in x
4.748 * [taylor]: Taking taylor expansion of (sin x) in x
4.748 * [taylor]: Taking taylor expansion of x in x
4.796 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in (x) around 0
4.796 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
4.796 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
4.796 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
4.796 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
4.796 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
4.796 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
4.796 * [taylor]: Taking taylor expansion of 0.5 in x
4.796 * [taylor]: Taking taylor expansion of x in x
4.797 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
4.797 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.797 * [taylor]: Taking taylor expansion of x in x
4.798 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
4.798 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
4.798 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
4.798 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
4.798 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
4.798 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
4.798 * [taylor]: Taking taylor expansion of 0.5 in x
4.798 * [taylor]: Taking taylor expansion of x in x
4.799 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
4.799 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.799 * [taylor]: Taking taylor expansion of x in x
4.816 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in (x) around 0
4.816 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
4.816 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
4.816 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
4.816 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
4.816 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
4.816 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
4.816 * [taylor]: Taking taylor expansion of -0.5 in x
4.816 * [taylor]: Taking taylor expansion of x in x
4.817 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
4.817 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.817 * [taylor]: Taking taylor expansion of -1 in x
4.817 * [taylor]: Taking taylor expansion of x in x
4.818 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
4.818 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
4.818 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
4.818 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
4.818 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
4.818 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
4.818 * [taylor]: Taking taylor expansion of -0.5 in x
4.818 * [taylor]: Taking taylor expansion of x in x
4.819 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
4.819 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.819 * [taylor]: Taking taylor expansion of -1 in x
4.819 * [taylor]: Taking taylor expansion of x in x
4.835 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
4.836 * [approximate]: Taking taylor expansion of (exp (/ (sin (* 0.5 x)) (sin x))) in (x) around 0
4.836 * [taylor]: Taking taylor expansion of (exp (/ (sin (* 0.5 x)) (sin x))) in x
4.836 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
4.836 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
4.836 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
4.836 * [taylor]: Taking taylor expansion of 0.5 in x
4.836 * [taylor]: Taking taylor expansion of x in x
4.837 * [taylor]: Taking taylor expansion of (sin x) in x
4.838 * [taylor]: Taking taylor expansion of x in x
4.840 * [taylor]: Taking taylor expansion of (exp (/ (sin (* 0.5 x)) (sin x))) in x
4.841 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
4.841 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
4.841 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
4.841 * [taylor]: Taking taylor expansion of 0.5 in x
4.841 * [taylor]: Taking taylor expansion of x in x
4.842 * [taylor]: Taking taylor expansion of (sin x) in x
4.842 * [taylor]: Taking taylor expansion of x in x
4.899 * [approximate]: Taking taylor expansion of (exp (/ (sin (/ 0.5 x)) (sin (/ 1 x)))) in (x) around 0
4.899 * [taylor]: Taking taylor expansion of (exp (/ (sin (/ 0.5 x)) (sin (/ 1 x)))) in x
4.900 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
4.900 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
4.900 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
4.900 * [taylor]: Taking taylor expansion of 0.5 in x
4.900 * [taylor]: Taking taylor expansion of x in x
4.900 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
4.900 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.900 * [taylor]: Taking taylor expansion of x in x
4.901 * [taylor]: Taking taylor expansion of (exp (/ (sin (/ 0.5 x)) (sin (/ 1 x)))) in x
4.901 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
4.901 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
4.901 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
4.901 * [taylor]: Taking taylor expansion of 0.5 in x
4.901 * [taylor]: Taking taylor expansion of x in x
4.901 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
4.901 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.901 * [taylor]: Taking taylor expansion of x in x
4.915 * [approximate]: Taking taylor expansion of (exp (/ (sin (/ -0.5 x)) (sin (/ -1 x)))) in (x) around 0
4.915 * [taylor]: Taking taylor expansion of (exp (/ (sin (/ -0.5 x)) (sin (/ -1 x)))) in x
4.915 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
4.915 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
4.915 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
4.915 * [taylor]: Taking taylor expansion of -0.5 in x
4.915 * [taylor]: Taking taylor expansion of x in x
4.916 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
4.916 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.916 * [taylor]: Taking taylor expansion of -1 in x
4.916 * [taylor]: Taking taylor expansion of x in x
4.917 * [taylor]: Taking taylor expansion of (exp (/ (sin (/ -0.5 x)) (sin (/ -1 x)))) in x
4.917 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
4.917 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
4.917 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
4.917 * [taylor]: Taking taylor expansion of -0.5 in x
4.917 * [taylor]: Taking taylor expansion of x in x
4.917 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
4.917 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.917 * [taylor]: Taking taylor expansion of -1 in x
4.917 * [taylor]: Taking taylor expansion of x in x
4.931 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
4.932 * [approximate]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in (x) around 0
4.932 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
4.932 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
4.932 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
4.932 * [taylor]: Taking taylor expansion of 0.5 in x
4.932 * [taylor]: Taking taylor expansion of x in x
4.934 * [taylor]: Taking taylor expansion of (sin x) in x
4.934 * [taylor]: Taking taylor expansion of x in x
4.936 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
4.936 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
4.936 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
4.936 * [taylor]: Taking taylor expansion of 0.5 in x
4.936 * [taylor]: Taking taylor expansion of x in x
4.938 * [taylor]: Taking taylor expansion of (sin x) in x
4.938 * [taylor]: Taking taylor expansion of x in x
4.975 * [approximate]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in (x) around 0
4.975 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
4.975 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
4.975 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
4.975 * [taylor]: Taking taylor expansion of 0.5 in x
4.975 * [taylor]: Taking taylor expansion of x in x
4.975 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
4.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.976 * [taylor]: Taking taylor expansion of x in x
4.976 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
4.976 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
4.976 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
4.976 * [taylor]: Taking taylor expansion of 0.5 in x
4.976 * [taylor]: Taking taylor expansion of x in x
4.977 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
4.977 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.977 * [taylor]: Taking taylor expansion of x in x
4.979 * [approximate]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in (x) around 0
4.979 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
4.979 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
4.979 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
4.980 * [taylor]: Taking taylor expansion of -0.5 in x
4.980 * [taylor]: Taking taylor expansion of x in x
4.980 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
4.980 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.980 * [taylor]: Taking taylor expansion of -1 in x
4.980 * [taylor]: Taking taylor expansion of x in x
4.981 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
4.981 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
4.981 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
4.981 * [taylor]: Taking taylor expansion of -0.5 in x
4.981 * [taylor]: Taking taylor expansion of x in x
4.982 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
4.982 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.982 * [taylor]: Taking taylor expansion of -1 in x
4.982 * [taylor]: Taking taylor expansion of x in x
4.985 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
4.985 * [approximate]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in (x) around 0
4.985 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
4.985 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
4.985 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
4.985 * [taylor]: Taking taylor expansion of 0.5 in x
4.985 * [taylor]: Taking taylor expansion of x in x
4.987 * [taylor]: Taking taylor expansion of (sin x) in x
4.987 * [taylor]: Taking taylor expansion of x in x
4.989 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
4.989 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
4.989 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
4.990 * [taylor]: Taking taylor expansion of 0.5 in x
4.990 * [taylor]: Taking taylor expansion of x in x
4.991 * [taylor]: Taking taylor expansion of (sin x) in x
4.991 * [taylor]: Taking taylor expansion of x in x
5.021 * [approximate]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in (x) around 0
5.021 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
5.021 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
5.022 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
5.022 * [taylor]: Taking taylor expansion of 0.5 in x
5.022 * [taylor]: Taking taylor expansion of x in x
5.022 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
5.022 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.022 * [taylor]: Taking taylor expansion of x in x
5.023 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
5.023 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
5.023 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
5.023 * [taylor]: Taking taylor expansion of 0.5 in x
5.023 * [taylor]: Taking taylor expansion of x in x
5.023 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
5.023 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.023 * [taylor]: Taking taylor expansion of x in x
5.026 * [approximate]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in (x) around 0
5.026 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
5.026 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
5.026 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
5.026 * [taylor]: Taking taylor expansion of -0.5 in x
5.026 * [taylor]: Taking taylor expansion of x in x
5.027 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
5.027 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.027 * [taylor]: Taking taylor expansion of -1 in x
5.027 * [taylor]: Taking taylor expansion of x in x
5.027 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
5.027 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
5.027 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
5.027 * [taylor]: Taking taylor expansion of -0.5 in x
5.027 * [taylor]: Taking taylor expansion of x in x
5.028 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
5.028 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.028 * [taylor]: Taking taylor expansion of -1 in x
5.028 * [taylor]: Taking taylor expansion of x in x
5.030 * * * [progress]: simplifying candidates
5.033 * [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))
5.040 * * [simplify]: iteration  0 :  221  enodes  (cost  2235 )
5.085 * * [simplify]: iteration  1 :  486  enodes  (cost  2043 )
5.213 * * [simplify]: iteration  2 :  1920  enodes  (cost  1747 )
5.772 * * [simplify]: iteration  done :  5001  enodes  (cost  1747 )
5.773 * [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.774 * * * [progress]: adding candidates to table
6.279 * [progress]: [Phase 3 of 3] Extracting.
6.279 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ 1 (/ (sin x) (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)))))> #<alt (λ (x) (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))> #<alt (λ (x) (* (expm1 (log1p (/ (* (sin (* 0.5 x)) 8.0) 3.0))) (/ (sin (* x 0.5)) (sin x))))> #<alt (λ (x) (* (* (sin (* 0.5 x)) 8.0) (/ (/ (sin (* x 0.5)) (sin x)) 3.0)))> #<alt (λ (x) (* (log1p (expm1 (/ (* (sin (* 0.5 x)) 8.0) 3.0))) (/ (sin (* x 0.5)) (sin x))))> #<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) (/ (* (* (/ (* (cbrt 8.0) (cbrt 8.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 8.0) (cbrt 3.0)) (sin (* x 0.5)))) (sin (* x 0.5))) (sin x)))> #<alt (λ (x) (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (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)))))>)
6.281 * * * [regime-changes]: Trying 1 branch expressions: (x)
6.281 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ 1 (/ (sin x) (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)))))> #<alt (λ (x) (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))> #<alt (λ (x) (* (expm1 (log1p (/ (* (sin (* 0.5 x)) 8.0) 3.0))) (/ (sin (* x 0.5)) (sin x))))> #<alt (λ (x) (* (* (sin (* 0.5 x)) 8.0) (/ (/ (sin (* x 0.5)) (sin x)) 3.0)))> #<alt (λ (x) (* (log1p (expm1 (/ (* (sin (* 0.5 x)) 8.0) 3.0))) (/ (sin (* x 0.5)) (sin x))))> #<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) (/ (* (* (/ (* (cbrt 8.0) (cbrt 8.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 8.0) (cbrt 3.0)) (sin (* x 0.5)))) (sin (* x 0.5))) (sin x)))> #<alt (λ (x) (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (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)))))>)
6.322 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
6.323 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x)))))
6.323 * * [simplify]: iteration  0 :  15  enodes  (cost  18 )
6.323 * * [simplify]: iteration  1 :  17  enodes  (cost  18 )
6.324 * * [simplify]: iteration  done :  17  enodes  (cost  18 )
6.324 * [simplify]: Simplified to:
   (* (/ (* (sin (* 0.5 x)) 8.0) 3.0) (log (exp (/ (sin (* x 0.5)) (sin x)))))
8.505 * [regime-testing]: Baseline error score: 0.3650995409631316
8.505 * [regime-testing]: Oracle error score: 0.04948738904953263
8.506 * [regime-testing]: End program error score: 0.3650995409631316
8.540 * [regime-testing]: Target error score: 0.29879167554691305