16.089 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.058 * * * [progress]: [2/2] Setting up program.
0.061 * [progress]: [Phase 2 of 3] Improving.
0.062 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))
0.063 * * [simplify]: iteration  0 :  11  enodes  (cost  16 )
0.064 * * [simplify]: iteration  1 :  20  enodes  (cost  16 )
0.067 * * [simplify]: iteration  2 :  42  enodes  (cost  16 )
0.072 * * [simplify]: iteration  3 :  90  enodes  (cost  16 )
0.090 * * [simplify]: iteration  4 :  168  enodes  (cost  16 )
0.113 * * [simplify]: iteration  5 :  237  enodes  (cost  16 )
0.149 * * [simplify]: iteration  6 :  255  enodes  (cost  16 )
0.186 * * [simplify]: iteration  done :  255  enodes  (cost  16 )
0.186 * [simplify]: Simplified to:
   (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))
0.186 * * [progress]: iteration 1 / 4
0.186 * * * [progress]: picking best candidate
0.188 * * * * [pick]: Picked  #<alt (λ (x) (/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x)))>
0.189 * * * [progress]: localizing error
0.200 * * * [progress]: generating rewritten candidates
0.200 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.221 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
0.232 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.256 * * * [progress]: generating series expansions
0.256 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.257 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in (x) around 0
0.257 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
0.257 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.257 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
0.257 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
0.257 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
0.257 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.257 * [taylor]: Taking taylor expansion of 0.5 in x
0.257 * [taylor]: Taking taylor expansion of x in x
0.260 * [taylor]: Taking taylor expansion of (sin x) in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.261 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
0.261 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.261 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
0.261 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
0.261 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
0.261 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.261 * [taylor]: Taking taylor expansion of 0.5 in x
0.261 * [taylor]: Taking taylor expansion of x in x
0.269 * [taylor]: Taking taylor expansion of (sin x) in x
0.270 * [taylor]: Taking taylor expansion of x in x
0.310 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in (x) around 0
0.310 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
0.310 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.310 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
0.310 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
0.310 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
0.310 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
0.310 * [taylor]: Taking taylor expansion of 0.5 in x
0.310 * [taylor]: Taking taylor expansion of x in x
0.310 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.310 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.310 * [taylor]: Taking taylor expansion of x in x
0.311 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
0.311 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.311 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
0.311 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
0.311 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
0.311 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
0.311 * [taylor]: Taking taylor expansion of 0.5 in x
0.311 * [taylor]: Taking taylor expansion of x in x
0.311 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.312 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.312 * [taylor]: Taking taylor expansion of x in x
0.327 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in (x) around 0
0.327 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
0.327 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.327 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
0.327 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
0.327 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
0.327 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
0.327 * [taylor]: Taking taylor expansion of -0.5 in x
0.327 * [taylor]: Taking taylor expansion of x in x
0.327 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.327 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.327 * [taylor]: Taking taylor expansion of -1 in x
0.327 * [taylor]: Taking taylor expansion of x in x
0.328 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
0.328 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.328 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
0.328 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
0.328 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
0.328 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
0.328 * [taylor]: Taking taylor expansion of -0.5 in x
0.328 * [taylor]: Taking taylor expansion of x in x
0.328 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.328 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.328 * [taylor]: Taking taylor expansion of -1 in x
0.328 * [taylor]: Taking taylor expansion of x in x
0.342 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
0.343 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in (x) around 0
0.343 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in x
0.343 * [taylor]: Taking taylor expansion of 2.6666666666666665 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 (* 2.6666666666666665 (sin (* 0.5 x))) in x
0.344 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.344 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
0.344 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.344 * [taylor]: Taking taylor expansion of 0.5 in x
0.344 * [taylor]: Taking taylor expansion of x in x
0.374 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in (x) around 0
0.374 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in x
0.374 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.374 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
0.374 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
0.375 * [taylor]: Taking taylor expansion of 0.5 in x
0.375 * [taylor]: Taking taylor expansion of x in x
0.375 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in x
0.375 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.375 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
0.375 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
0.375 * [taylor]: Taking taylor expansion of 0.5 in x
0.375 * [taylor]: Taking taylor expansion of x in x
0.382 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in (x) around 0
0.382 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in x
0.382 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.382 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
0.382 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
0.382 * [taylor]: Taking taylor expansion of -0.5 in x
0.382 * [taylor]: Taking taylor expansion of x in x
0.382 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in x
0.382 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.382 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
0.382 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
0.382 * [taylor]: Taking taylor expansion of -0.5 in x
0.382 * [taylor]: Taking taylor expansion of x in x
0.388 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.389 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (* 0.5 x)) 2)) in (x) around 0
0.389 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (* 0.5 x)) 2)) in x
0.389 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.389 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
0.389 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
0.389 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.389 * [taylor]: Taking taylor expansion of 0.5 in x
0.389 * [taylor]: Taking taylor expansion of x in x
0.392 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (* 0.5 x)) 2)) in x
0.392 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.392 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
0.392 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
0.392 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.392 * [taylor]: Taking taylor expansion of 0.5 in x
0.392 * [taylor]: Taking taylor expansion of x in x
0.422 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (/ 0.5 x)) 2)) in (x) around 0
0.422 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (/ 0.5 x)) 2)) in x
0.422 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.422 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
0.422 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
0.422 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
0.422 * [taylor]: Taking taylor expansion of 0.5 in x
0.422 * [taylor]: Taking taylor expansion of x in x
0.423 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (/ 0.5 x)) 2)) in x
0.423 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.423 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
0.423 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
0.423 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
0.423 * [taylor]: Taking taylor expansion of 0.5 in x
0.423 * [taylor]: Taking taylor expansion of x in x
0.434 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (/ -0.5 x)) 2)) in (x) around 0
0.434 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (/ -0.5 x)) 2)) in x
0.434 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.434 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
0.434 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
0.435 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
0.435 * [taylor]: Taking taylor expansion of -0.5 in x
0.435 * [taylor]: Taking taylor expansion of x in x
0.435 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (pow (sin (/ -0.5 x)) 2)) in x
0.435 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
0.435 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
0.435 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
0.435 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
0.435 * [taylor]: Taking taylor expansion of -0.5 in x
0.435 * [taylor]: Taking taylor expansion of x in x
0.446 * * * [progress]: simplifying candidates
0.448 * [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.459 * * [simplify]: iteration  0 :  169  enodes  (cost  1554 )
0.492 * * [simplify]: iteration  1 :  413  enodes  (cost  1349 )
0.665 * * [simplify]: iteration  2 :  1629  enodes  (cost  1080 )
1.145 * * [simplify]: iteration  done :  5000  enodes  (cost  1080 )
1.146 * [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)))
  (/ (* 8.0 (sin (* x 0.5))) 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 (* 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 (sin (* x 0.5))) 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 (/ (* 8.0 (sin (* x 0.5))) 3.0) 3)
  (pow (/ (* 8.0 (sin (* x 0.5))) 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 (/ (* 8.0 (sin (* x 0.5))) 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)))
  (/ (* 8.0 (sin (* x 0.5))) 3.0)
  (/ (* 8.0 (sin (* x 0.5))) 3.0)
  (/ (sin (* x 0.5)) 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))))
  (/ (* 8.0 (sin (* x 0.5))) 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.146 * * * [progress]: adding candidates to table
1.393 * * [progress]: iteration 2 / 4
1.393 * * * [progress]: picking best candidate
1.420 * * * * [pick]: Picked  #<alt (λ (x) (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sin (* x 0.5)) (sin x))))>
1.420 * * * [progress]: localizing error
1.432 * * * [progress]: generating rewritten candidates
1.432 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1.449 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
1.453 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1.466 * * * [progress]: generating series expansions
1.466 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1.466 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in (x) around 0
1.466 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
1.466 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.466 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
1.466 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
1.466 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
1.466 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.466 * [taylor]: Taking taylor expansion of 0.5 in x
1.466 * [taylor]: Taking taylor expansion of x in x
1.470 * [taylor]: Taking taylor expansion of (sin x) in x
1.470 * [taylor]: Taking taylor expansion of x in x
1.471 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
1.471 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.471 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
1.472 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
1.472 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
1.472 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.472 * [taylor]: Taking taylor expansion of 0.5 in x
1.472 * [taylor]: Taking taylor expansion of x in x
1.475 * [taylor]: Taking taylor expansion of (sin x) in x
1.475 * [taylor]: Taking taylor expansion of x in x
1.515 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in (x) around 0
1.515 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
1.515 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.515 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
1.515 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
1.515 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
1.515 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
1.515 * [taylor]: Taking taylor expansion of 0.5 in x
1.515 * [taylor]: Taking taylor expansion of x in x
1.515 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.515 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.515 * [taylor]: Taking taylor expansion of x in x
1.516 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
1.516 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.516 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
1.516 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
1.516 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
1.516 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
1.516 * [taylor]: Taking taylor expansion of 0.5 in x
1.516 * [taylor]: Taking taylor expansion of x in x
1.516 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.517 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.517 * [taylor]: Taking taylor expansion of x in x
1.531 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in (x) around 0
1.531 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
1.531 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.531 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
1.531 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
1.531 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
1.531 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
1.531 * [taylor]: Taking taylor expansion of -0.5 in x
1.531 * [taylor]: Taking taylor expansion of x in x
1.532 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.532 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.532 * [taylor]: Taking taylor expansion of -1 in x
1.532 * [taylor]: Taking taylor expansion of x in x
1.532 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
1.532 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.532 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
1.532 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
1.532 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
1.532 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
1.532 * [taylor]: Taking taylor expansion of -0.5 in x
1.532 * [taylor]: Taking taylor expansion of x in x
1.533 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.533 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.533 * [taylor]: Taking taylor expansion of -1 in x
1.533 * [taylor]: Taking taylor expansion of x in x
1.548 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
1.548 * [approximate]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in (x) around 0
1.548 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
1.548 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
1.548 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.548 * [taylor]: Taking taylor expansion of 0.5 in x
1.548 * [taylor]: Taking taylor expansion of x in x
1.556 * [taylor]: Taking taylor expansion of (sin x) in x
1.556 * [taylor]: Taking taylor expansion of x in x
1.559 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 x)) (sin x)) in x
1.559 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
1.559 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.559 * [taylor]: Taking taylor expansion of 0.5 in x
1.559 * [taylor]: Taking taylor expansion of x in x
1.561 * [taylor]: Taking taylor expansion of (sin x) in x
1.561 * [taylor]: Taking taylor expansion of x in x
1.589 * [approximate]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in (x) around 0
1.589 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
1.589 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
1.589 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
1.589 * [taylor]: Taking taylor expansion of 0.5 in x
1.589 * [taylor]: Taking taylor expansion of x in x
1.589 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.589 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.589 * [taylor]: Taking taylor expansion of x in x
1.590 * [taylor]: Taking taylor expansion of (/ (sin (/ 0.5 x)) (sin (/ 1 x))) in x
1.590 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
1.590 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
1.590 * [taylor]: Taking taylor expansion of 0.5 in x
1.590 * [taylor]: Taking taylor expansion of x in x
1.590 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.590 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.590 * [taylor]: Taking taylor expansion of x in x
1.593 * [approximate]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in (x) around 0
1.593 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
1.593 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
1.593 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
1.593 * [taylor]: Taking taylor expansion of -0.5 in x
1.593 * [taylor]: Taking taylor expansion of x in x
1.593 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.593 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.593 * [taylor]: Taking taylor expansion of -1 in x
1.593 * [taylor]: Taking taylor expansion of x in x
1.594 * [taylor]: Taking taylor expansion of (/ (sin (/ -0.5 x)) (sin (/ -1 x))) in x
1.594 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
1.594 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
1.594 * [taylor]: Taking taylor expansion of -0.5 in x
1.594 * [taylor]: Taking taylor expansion of x in x
1.594 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.594 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.594 * [taylor]: Taking taylor expansion of -1 in x
1.594 * [taylor]: Taking taylor expansion of x in x
1.597 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1.597 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in (x) around 0
1.597 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in x
1.597 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.597 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
1.597 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.597 * [taylor]: Taking taylor expansion of 0.5 in x
1.597 * [taylor]: Taking taylor expansion of x in x
1.599 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (* 0.5 x))) in x
1.599 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.599 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
1.599 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.599 * [taylor]: Taking taylor expansion of 0.5 in x
1.599 * [taylor]: Taking taylor expansion of x in x
1.621 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in (x) around 0
1.621 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in x
1.622 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.622 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
1.622 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
1.622 * [taylor]: Taking taylor expansion of 0.5 in x
1.622 * [taylor]: Taking taylor expansion of x in x
1.622 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ 0.5 x))) in x
1.622 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.622 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
1.622 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
1.622 * [taylor]: Taking taylor expansion of 0.5 in x
1.622 * [taylor]: Taking taylor expansion of x in x
1.629 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in (x) around 0
1.629 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in x
1.629 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.629 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
1.629 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
1.629 * [taylor]: Taking taylor expansion of -0.5 in x
1.629 * [taylor]: Taking taylor expansion of x in x
1.629 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (sin (/ -0.5 x))) in x
1.629 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
1.629 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
1.629 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
1.629 * [taylor]: Taking taylor expansion of -0.5 in x
1.629 * [taylor]: Taking taylor expansion of x in x
1.636 * * * [progress]: simplifying candidates
1.638 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sin (* x 0.5)) (sin x))))
  (log1p (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sin (* x 0.5)) (sin x))))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sin (* x 0.5)) (sin x)))
  (+ (- (+ (log 8.0) (log (sin (* x 0.5)))) (log 3.0)) (- (log (sin (* x 0.5))) (log (sin x))))
  (+ (- (+ (log 8.0) (log (sin (* x 0.5)))) (log 3.0)) (log (/ (sin (* x 0.5)) (sin x))))
  (+ (- (log (* 8.0 (sin (* x 0.5)))) (log 3.0)) (- (log (sin (* x 0.5))) (log (sin x))))
  (+ (- (log (* 8.0 (sin (* x 0.5)))) (log 3.0)) (log (/ (sin (* x 0.5)) (sin x))))
  (+ (log (/ (* 8.0 (sin (* x 0.5))) 3.0)) (- (log (sin (* x 0.5))) (log (sin x))))
  (+ (log (/ (* 8.0 (sin (* x 0.5))) 3.0)) (log (/ (sin (* x 0.5)) (sin x))))
  (log (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sin (* x 0.5)) (sin x))))
  (exp (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sin (* x 0.5)) (sin x))))
  (* (/ (* (* (* 8.0 8.0) 8.0) (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5)))) (* (* 3.0 3.0) 3.0)) (/ (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5))) (* (* (sin x) (sin x)) (sin x))))
  (* (/ (* (* (* 8.0 8.0) 8.0) (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5)))) (* (* 3.0 3.0) 3.0)) (* (* (/ (sin (* x 0.5)) (sin x)) (/ (sin (* x 0.5)) (sin x))) (/ (sin (* x 0.5)) (sin x))))
  (* (/ (* (* (* 8.0 (sin (* x 0.5))) (* 8.0 (sin (* x 0.5)))) (* 8.0 (sin (* x 0.5)))) (* (* 3.0 3.0) 3.0)) (/ (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5))) (* (* (sin x) (sin x)) (sin x))))
  (* (/ (* (* (* 8.0 (sin (* x 0.5))) (* 8.0 (sin (* x 0.5)))) (* 8.0 (sin (* x 0.5)))) (* (* 3.0 3.0) 3.0)) (* (* (/ (sin (* x 0.5)) (sin x)) (/ (sin (* x 0.5)) (sin x))) (/ (sin (* x 0.5)) (sin x))))
  (* (* (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (* 8.0 (sin (* x 0.5))) 3.0)) (/ (* 8.0 (sin (* x 0.5))) 3.0)) (/ (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5))) (* (* (sin x) (sin x)) (sin x))))
  (* (* (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (* 8.0 (sin (* x 0.5))) 3.0)) (/ (* 8.0 (sin (* x 0.5))) 3.0)) (* (* (/ (sin (* x 0.5)) (sin x)) (/ (sin (* x 0.5)) (sin x))) (/ (sin (* x 0.5)) (sin x))))
  (* (cbrt (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sin (* x 0.5)) (sin x)))) (cbrt (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sin (* x 0.5)) (sin x)))))
  (cbrt (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sin (* x 0.5)) (sin x))))
  (* (* (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sin (* x 0.5)) (sin x))) (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sin (* x 0.5)) (sin x)))) (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sin (* x 0.5)) (sin x))))
  (sqrt (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sin (* x 0.5)) (sin x))))
  (sqrt (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sin (* x 0.5)) (sin x))))
  (* (* 8.0 (sin (* x 0.5))) (sin (* x 0.5)))
  (* 3.0 (sin x))
  (* (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (sqrt (/ (sin (* x 0.5)) (sin x))))
  (* (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (sqrt (/ (sin (* x 0.5)) (sin x))))
  (* (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (/ (sqrt (sin (* x 0.5))) (sqrt (sin x))))
  (* (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (/ (sqrt (sin (* x 0.5))) (sqrt (sin x))))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (* (cbrt (/ (sin (* x 0.5)) (sin x))) (cbrt (/ (sin (* x 0.5)) (sin x)))))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (sqrt (/ (sin (* x 0.5)) (sin x))))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (sqrt (sin x))))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) 1))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sqrt (sin (* x 0.5))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sqrt (sin (* x 0.5))) (sqrt (sin x))))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sqrt (sin (* x 0.5))) 1))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ 1 (sqrt (sin x))))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ 1 1))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) 1)
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (sin (* x 0.5)))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (/ (sin (* x 0.5)) (sin x)))
  (* (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (/ (sin (* x 0.5)) (sin x)))
  (* (/ (sin (* x 0.5)) (cbrt 3.0)) (/ (sin (* x 0.5)) (sin x)))
  (* (/ (sin (* x 0.5)) (sqrt 3.0)) (/ (sin (* x 0.5)) (sin x)))
  (* (/ (sin (* x 0.5)) 3.0) (/ (sin (* x 0.5)) (sin x)))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sin (* x 0.5)) (sin x)))
  (* (/ 1 3.0) (/ (sin (* x 0.5)) (sin x)))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (sin (* x 0.5)))
  (* (* 8.0 (sin (* x 0.5))) (/ (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 (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (log1p (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (- (+ (log 8.0) (log (sin (* x 0.5)))) (log 3.0))
  (- (log (* 8.0 (sin (* x 0.5)))) (log 3.0))
  (log (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (exp (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (/ (* (* (* 8.0 8.0) 8.0) (* (* (sin (* x 0.5)) (sin (* x 0.5))) (sin (* x 0.5)))) (* (* 3.0 3.0) 3.0))
  (/ (* (* (* 8.0 (sin (* x 0.5))) (* 8.0 (sin (* x 0.5)))) (* 8.0 (sin (* x 0.5)))) (* (* 3.0 3.0) 3.0))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (* (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (* 8.0 (sin (* x 0.5))) 3.0)) (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (- (* 8.0 (sin (* x 0.5))))
  (- 3.0)
  (/ 8.0 (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sin (* x 0.5)) (cbrt 3.0))
  (/ 8.0 (sqrt 3.0))
  (/ (sin (* x 0.5)) (sqrt 3.0))
  (/ 8.0 1)
  (/ (sin (* x 0.5)) 3.0)
  (/ 1 3.0)
  (/ 3.0 (* 8.0 (sin (* x 0.5))))
  (/ (* 8.0 (sin (* x 0.5))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (* 8.0 (sin (* x 0.5))) (sqrt 3.0))
  (/ (* 8.0 (sin (* x 0.5))) 1)
  (/ 3.0 (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.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)))
1.651 * * [simplify]: iteration  0 :  181  enodes  (cost  1823 )
1.688 * * [simplify]: iteration  1 :  463  enodes  (cost  1671 )
1.923 * * [simplify]: iteration  2 :  1787  enodes  (cost  1392 )
2.357 * * [simplify]: iteration  done :  5001  enodes  (cost  1392 )
2.358 * [simplify]: Simplified to:
   (expm1 (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x)))
  (log1p (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x)))
  (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x))
  (log (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x)))
  (log (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x)))
  (log (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x)))
  (log (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x)))
  (log (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x)))
  (log (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x)))
  (log (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x)))
  (exp (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x)))
  (pow (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x)) 3)
  (pow (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x)) 3)
  (pow (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x)) 3)
  (pow (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x)) 3)
  (pow (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x)) 3)
  (pow (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x)) 3)
  (* (cbrt (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x))) (cbrt (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x))))
  (cbrt (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x)))
  (pow (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x)) 3)
  (sqrt (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x)))
  (sqrt (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x)))
  (* 8.0 (pow (sin (* 0.5 x)) 2))
  (* 3.0 (sin x))
  (* (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (sqrt (/ (sin (* x 0.5)) (sin x))))
  (* (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (sqrt (/ (sin (* x 0.5)) (sin x))))
  (* (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (/ (sqrt (sin (* x 0.5))) (sqrt (sin x))))
  (* (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (/ (sqrt (sin (* x 0.5))) (sqrt (sin x))))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (* (cbrt (/ (sin (* x 0.5)) (sin x))) (cbrt (/ (sin (* x 0.5)) (sin x)))))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (sqrt (/ (sin (* x 0.5)) (sin x))))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))) (sqrt (sin x))))
  (* (/ 8.0 (/ 3.0 (sin (* x 0.5)))) (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5)))))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sqrt (sin (* x 0.5))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sqrt (sin (* x 0.5))) (sqrt (sin x))))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (sqrt (sin (* x 0.5))))
  (/ (/ 8.0 (/ 3.0 (sin (* x 0.5)))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (/ (* 8.0 (sin (* x 0.5))) 3.0) (sqrt (sin x)))
  (/ (* 8.0 (sin (* x 0.5))) 3.0)
  (/ (* 8.0 (sin (* x 0.5))) 3.0)
  (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0)
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (/ (sin (* x 0.5)) (sin x)))
  (* (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (/ (sin (* x 0.5)) (sin x)))
  (/ (/ (pow (sin (* 0.5 x)) 2) (cbrt 3.0)) (sin x))
  (/ (/ (pow (sin (* 0.5 x)) 2) (sin x)) (sqrt 3.0))
  (/ (/ (pow (sin (* 0.5 x)) 2) (sin x)) 3.0)
  (/ (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0) (sin x))
  (/ (/ (sin (* x 0.5)) (sin x)) 3.0)
  (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) 3.0)
  (/ (* 8.0 (pow (sin (* 0.5 x)) 2)) (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 (* 0.5 x)) 2) (sin (* 0.5 x))) (pow (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)) 2) (sin (* 0.5 x))) (pow (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 (* 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)))
  (expm1 (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (log1p (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (log (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (log (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (log (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (exp (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (pow (/ (* 8.0 (sin (* x 0.5))) 3.0) 3)
  (pow (/ (* 8.0 (sin (* x 0.5))) 3.0) 3)
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (pow (/ (* 8.0 (sin (* x 0.5))) 3.0) 3)
  (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (- (* 8.0 (sin (* x 0.5))))
  (- 3.0)
  (/ 8.0 (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sin (* x 0.5)) (cbrt 3.0))
  (/ 8.0 (sqrt 3.0))
  (/ (sin (* x 0.5)) (sqrt 3.0))
  8.0
  (/ (sin (* x 0.5)) 3.0)
  (/ 1 3.0)
  (/ 3.0 (* 8.0 (sin (* x 0.5))))
  (/ (* 8.0 (sin (* x 0.5))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (* 8.0 (sin (* x 0.5))) (sqrt 3.0))
  (* (sin (* x 0.5)) 8.0)
  (/ 3.0 (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)))
  (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 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)))
2.359 * * * [progress]: adding candidates to table
2.642 * * [progress]: iteration 3 / 4
2.642 * * * [progress]: picking best candidate
2.658 * * * * [pick]: Picked  #<alt (λ (x) (* (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (/ (sin (* x 0.5)) (sin x)))))>
2.659 * * * [progress]: localizing error
2.674 * * * [progress]: generating rewritten candidates
2.674 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
2.676 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
2.678 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
2.680 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
2.695 * * * [progress]: generating series expansions
2.695 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
2.696 * [approximate]: Taking taylor expansion of (* (pow (sin (* 0.5 x)) 1/3) (cbrt 2.6666666666666665)) in (x) around 0
2.696 * [taylor]: Taking taylor expansion of (* (pow (sin (* 0.5 x)) 1/3) (cbrt 2.6666666666666665)) in x
2.696 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 1/3) in x
2.696 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (* 0.5 x))))) in x
2.696 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (* 0.5 x)))) in x
2.696 * [taylor]: Taking taylor expansion of 1/3 in x
2.696 * [taylor]: Taking taylor expansion of (log (sin (* 0.5 x))) in x
2.696 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
2.696 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
2.696 * [taylor]: Taking taylor expansion of 0.5 in x
2.696 * [taylor]: Taking taylor expansion of x in x
2.701 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
2.701 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
2.706 * [taylor]: Taking taylor expansion of (* (pow (sin (* 0.5 x)) 1/3) (cbrt 2.6666666666666665)) in x
2.706 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 1/3) in x
2.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (* 0.5 x))))) in x
2.706 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (* 0.5 x)))) in x
2.706 * [taylor]: Taking taylor expansion of 1/3 in x
2.706 * [taylor]: Taking taylor expansion of (log (sin (* 0.5 x))) in x
2.706 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
2.706 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
2.707 * [taylor]: Taking taylor expansion of 0.5 in x
2.707 * [taylor]: Taking taylor expansion of x in x
2.711 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
2.711 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
2.822 * [approximate]: Taking taylor expansion of (* (cbrt 2.6666666666666665) (pow (sin (/ 0.5 x)) 1/3)) in (x) around 0
2.822 * [taylor]: Taking taylor expansion of (* (cbrt 2.6666666666666665) (pow (sin (/ 0.5 x)) 1/3)) in x
2.822 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
2.822 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
2.823 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 1/3) in x
2.823 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 0.5 x))))) in x
2.823 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 0.5 x)))) in x
2.823 * [taylor]: Taking taylor expansion of 1/3 in x
2.823 * [taylor]: Taking taylor expansion of (log (sin (/ 0.5 x))) in x
2.823 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
2.823 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
2.823 * [taylor]: Taking taylor expansion of 0.5 in x
2.823 * [taylor]: Taking taylor expansion of x in x
2.824 * [taylor]: Taking taylor expansion of (* (cbrt 2.6666666666666665) (pow (sin (/ 0.5 x)) 1/3)) in x
2.824 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
2.824 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
2.824 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 1/3) in x
2.824 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 0.5 x))))) in x
2.824 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 0.5 x)))) in x
2.824 * [taylor]: Taking taylor expansion of 1/3 in x
2.825 * [taylor]: Taking taylor expansion of (log (sin (/ 0.5 x))) in x
2.825 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
2.825 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
2.825 * [taylor]: Taking taylor expansion of 0.5 in x
2.825 * [taylor]: Taking taylor expansion of x in x
2.874 * [approximate]: Taking taylor expansion of (* (cbrt 2.6666666666666665) (pow (sin (/ -0.5 x)) 1/3)) in (x) around 0
2.874 * [taylor]: Taking taylor expansion of (* (cbrt 2.6666666666666665) (pow (sin (/ -0.5 x)) 1/3)) in x
2.874 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
2.874 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
2.875 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 1/3) in x
2.875 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -0.5 x))))) in x
2.875 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -0.5 x)))) in x
2.875 * [taylor]: Taking taylor expansion of 1/3 in x
2.875 * [taylor]: Taking taylor expansion of (log (sin (/ -0.5 x))) in x
2.875 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
2.875 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
2.875 * [taylor]: Taking taylor expansion of -0.5 in x
2.875 * [taylor]: Taking taylor expansion of x in x
2.876 * [taylor]: Taking taylor expansion of (* (cbrt 2.6666666666666665) (pow (sin (/ -0.5 x)) 1/3)) in x
2.876 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
2.876 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
2.877 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 1/3) in x
2.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -0.5 x))))) in x
2.877 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -0.5 x)))) in x
2.877 * [taylor]: Taking taylor expansion of 1/3 in x
2.877 * [taylor]: Taking taylor expansion of (log (sin (/ -0.5 x))) in x
2.877 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
2.877 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
2.877 * [taylor]: Taking taylor expansion of -0.5 in x
2.877 * [taylor]: Taking taylor expansion of x in x
2.934 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
2.934 * [approximate]: Taking taylor expansion of (* (pow (sin (* 0.5 x)) 1/3) (cbrt 2.6666666666666665)) in (x) around 0
2.934 * [taylor]: Taking taylor expansion of (* (pow (sin (* 0.5 x)) 1/3) (cbrt 2.6666666666666665)) in x
2.934 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 1/3) in x
2.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (* 0.5 x))))) in x
2.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (* 0.5 x)))) in x
2.934 * [taylor]: Taking taylor expansion of 1/3 in x
2.934 * [taylor]: Taking taylor expansion of (log (sin (* 0.5 x))) in x
2.934 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
2.934 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
2.934 * [taylor]: Taking taylor expansion of 0.5 in x
2.934 * [taylor]: Taking taylor expansion of x in x
2.939 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
2.939 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
2.940 * [taylor]: Taking taylor expansion of (* (pow (sin (* 0.5 x)) 1/3) (cbrt 2.6666666666666665)) in x
2.940 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 1/3) in x
2.940 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (* 0.5 x))))) in x
2.940 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (* 0.5 x)))) in x
2.940 * [taylor]: Taking taylor expansion of 1/3 in x
2.940 * [taylor]: Taking taylor expansion of (log (sin (* 0.5 x))) in x
2.940 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
2.940 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
2.940 * [taylor]: Taking taylor expansion of 0.5 in x
2.940 * [taylor]: Taking taylor expansion of x in x
2.944 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
2.944 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.044 * [approximate]: Taking taylor expansion of (* (cbrt 2.6666666666666665) (pow (sin (/ 0.5 x)) 1/3)) in (x) around 0
3.044 * [taylor]: Taking taylor expansion of (* (cbrt 2.6666666666666665) (pow (sin (/ 0.5 x)) 1/3)) in x
3.044 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
3.044 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.045 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 1/3) in x
3.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 0.5 x))))) in x
3.045 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 0.5 x)))) in x
3.045 * [taylor]: Taking taylor expansion of 1/3 in x
3.045 * [taylor]: Taking taylor expansion of (log (sin (/ 0.5 x))) in x
3.045 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
3.045 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
3.045 * [taylor]: Taking taylor expansion of 0.5 in x
3.045 * [taylor]: Taking taylor expansion of x in x
3.045 * [taylor]: Taking taylor expansion of (* (cbrt 2.6666666666666665) (pow (sin (/ 0.5 x)) 1/3)) in x
3.045 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
3.045 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.046 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 1/3) in x
3.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 0.5 x))))) in x
3.046 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 0.5 x)))) in x
3.046 * [taylor]: Taking taylor expansion of 1/3 in x
3.046 * [taylor]: Taking taylor expansion of (log (sin (/ 0.5 x))) in x
3.046 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
3.046 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
3.046 * [taylor]: Taking taylor expansion of 0.5 in x
3.046 * [taylor]: Taking taylor expansion of x in x
3.102 * [approximate]: Taking taylor expansion of (* (cbrt 2.6666666666666665) (pow (sin (/ -0.5 x)) 1/3)) in (x) around 0
3.102 * [taylor]: Taking taylor expansion of (* (cbrt 2.6666666666666665) (pow (sin (/ -0.5 x)) 1/3)) in x
3.103 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
3.103 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.103 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 1/3) in x
3.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -0.5 x))))) in x
3.103 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -0.5 x)))) in x
3.103 * [taylor]: Taking taylor expansion of 1/3 in x
3.104 * [taylor]: Taking taylor expansion of (log (sin (/ -0.5 x))) in x
3.104 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
3.104 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
3.104 * [taylor]: Taking taylor expansion of -0.5 in x
3.104 * [taylor]: Taking taylor expansion of x in x
3.104 * [taylor]: Taking taylor expansion of (* (cbrt 2.6666666666666665) (pow (sin (/ -0.5 x)) 1/3)) in x
3.104 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
3.104 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.105 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 1/3) in x
3.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -0.5 x))))) in x
3.105 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -0.5 x)))) in x
3.105 * [taylor]: Taking taylor expansion of 1/3 in x
3.105 * [taylor]: Taking taylor expansion of (log (sin (/ -0.5 x))) in x
3.105 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
3.105 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
3.105 * [taylor]: Taking taylor expansion of -0.5 in x
3.105 * [taylor]: Taking taylor expansion of x in x
3.157 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
3.158 * [approximate]: Taking taylor expansion of (* (pow (sin (* 0.5 x)) 1/3) (cbrt 2.6666666666666665)) in (x) around 0
3.158 * [taylor]: Taking taylor expansion of (* (pow (sin (* 0.5 x)) 1/3) (cbrt 2.6666666666666665)) in x
3.158 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 1/3) in x
3.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (* 0.5 x))))) in x
3.158 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (* 0.5 x)))) in x
3.158 * [taylor]: Taking taylor expansion of 1/3 in x
3.158 * [taylor]: Taking taylor expansion of (log (sin (* 0.5 x))) in x
3.158 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
3.158 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
3.158 * [taylor]: Taking taylor expansion of 0.5 in x
3.158 * [taylor]: Taking taylor expansion of x in x
3.162 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
3.162 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.163 * [taylor]: Taking taylor expansion of (* (pow (sin (* 0.5 x)) 1/3) (cbrt 2.6666666666666665)) in x
3.163 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 1/3) in x
3.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (* 0.5 x))))) in x
3.163 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (* 0.5 x)))) in x
3.163 * [taylor]: Taking taylor expansion of 1/3 in x
3.163 * [taylor]: Taking taylor expansion of (log (sin (* 0.5 x))) in x
3.163 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
3.163 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
3.163 * [taylor]: Taking taylor expansion of 0.5 in x
3.163 * [taylor]: Taking taylor expansion of x in x
3.168 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
3.168 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.267 * [approximate]: Taking taylor expansion of (* (cbrt 2.6666666666666665) (pow (sin (/ 0.5 x)) 1/3)) in (x) around 0
3.267 * [taylor]: Taking taylor expansion of (* (cbrt 2.6666666666666665) (pow (sin (/ 0.5 x)) 1/3)) in x
3.267 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
3.267 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.268 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 1/3) in x
3.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 0.5 x))))) in x
3.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 0.5 x)))) in x
3.268 * [taylor]: Taking taylor expansion of 1/3 in x
3.268 * [taylor]: Taking taylor expansion of (log (sin (/ 0.5 x))) in x
3.268 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
3.268 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
3.268 * [taylor]: Taking taylor expansion of 0.5 in x
3.268 * [taylor]: Taking taylor expansion of x in x
3.269 * [taylor]: Taking taylor expansion of (* (cbrt 2.6666666666666665) (pow (sin (/ 0.5 x)) 1/3)) in x
3.269 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
3.269 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.269 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 1/3) in x
3.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 0.5 x))))) in x
3.269 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 0.5 x)))) in x
3.269 * [taylor]: Taking taylor expansion of 1/3 in x
3.269 * [taylor]: Taking taylor expansion of (log (sin (/ 0.5 x))) in x
3.269 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
3.269 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
3.269 * [taylor]: Taking taylor expansion of 0.5 in x
3.270 * [taylor]: Taking taylor expansion of x in x
3.326 * [approximate]: Taking taylor expansion of (* (cbrt 2.6666666666666665) (pow (sin (/ -0.5 x)) 1/3)) in (x) around 0
3.326 * [taylor]: Taking taylor expansion of (* (cbrt 2.6666666666666665) (pow (sin (/ -0.5 x)) 1/3)) in x
3.326 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
3.326 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.327 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 1/3) in x
3.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -0.5 x))))) in x
3.327 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -0.5 x)))) in x
3.327 * [taylor]: Taking taylor expansion of 1/3 in x
3.327 * [taylor]: Taking taylor expansion of (log (sin (/ -0.5 x))) in x
3.327 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
3.327 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
3.327 * [taylor]: Taking taylor expansion of -0.5 in x
3.327 * [taylor]: Taking taylor expansion of x in x
3.328 * [taylor]: Taking taylor expansion of (* (cbrt 2.6666666666666665) (pow (sin (/ -0.5 x)) 1/3)) in x
3.328 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
3.328 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.329 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 1/3) in x
3.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -0.5 x))))) in x
3.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -0.5 x)))) in x
3.329 * [taylor]: Taking taylor expansion of 1/3 in x
3.329 * [taylor]: Taking taylor expansion of (log (sin (/ -0.5 x))) in x
3.329 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
3.329 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
3.329 * [taylor]: Taking taylor expansion of -0.5 in x
3.329 * [taylor]: Taking taylor expansion of x in x
3.378 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
3.379 * [approximate]: Taking taylor expansion of (* (pow (pow (sin (* 0.5 x)) 2) 1/3) (pow (cbrt 2.6666666666666665) 2)) in (x) around 0
3.379 * [taylor]: Taking taylor expansion of (* (pow (pow (sin (* 0.5 x)) 2) 1/3) (pow (cbrt 2.6666666666666665) 2)) in x
3.379 * [taylor]: Taking taylor expansion of (pow (pow (sin (* 0.5 x)) 2) 1/3) in x
3.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (* 0.5 x)) 2)))) in x
3.379 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (* 0.5 x)) 2))) in x
3.379 * [taylor]: Taking taylor expansion of 1/3 in x
3.379 * [taylor]: Taking taylor expansion of (log (pow (sin (* 0.5 x)) 2)) in x
3.379 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
3.379 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
3.379 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
3.379 * [taylor]: Taking taylor expansion of 0.5 in x
3.379 * [taylor]: Taking taylor expansion of x in x
3.391 * [taylor]: Taking taylor expansion of (pow (cbrt 2.6666666666666665) 2) in x
3.391 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
3.392 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.392 * [taylor]: Taking taylor expansion of (* (pow (pow (sin (* 0.5 x)) 2) 1/3) (pow (cbrt 2.6666666666666665) 2)) in x
3.392 * [taylor]: Taking taylor expansion of (pow (pow (sin (* 0.5 x)) 2) 1/3) in x
3.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (* 0.5 x)) 2)))) in x
3.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (* 0.5 x)) 2))) in x
3.392 * [taylor]: Taking taylor expansion of 1/3 in x
3.392 * [taylor]: Taking taylor expansion of (log (pow (sin (* 0.5 x)) 2)) in x
3.392 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
3.393 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
3.393 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
3.393 * [taylor]: Taking taylor expansion of 0.5 in x
3.393 * [taylor]: Taking taylor expansion of x in x
3.397 * [taylor]: Taking taylor expansion of (pow (cbrt 2.6666666666666665) 2) in x
3.397 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
3.397 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.514 * [approximate]: Taking taylor expansion of (* (pow (cbrt 2.6666666666666665) 2) (pow (pow (sin (/ 0.5 x)) 2) 1/3)) in (x) around 0
3.514 * [taylor]: Taking taylor expansion of (* (pow (cbrt 2.6666666666666665) 2) (pow (pow (sin (/ 0.5 x)) 2) 1/3)) in x
3.514 * [taylor]: Taking taylor expansion of (pow (cbrt 2.6666666666666665) 2) in x
3.514 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
3.514 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.515 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 0.5 x)) 2) 1/3) in x
3.515 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 0.5 x)) 2)))) in x
3.515 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 0.5 x)) 2))) in x
3.515 * [taylor]: Taking taylor expansion of 1/3 in x
3.515 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 0.5 x)) 2)) in x
3.515 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
3.515 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
3.515 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
3.515 * [taylor]: Taking taylor expansion of 0.5 in x
3.515 * [taylor]: Taking taylor expansion of x in x
3.516 * [taylor]: Taking taylor expansion of (* (pow (cbrt 2.6666666666666665) 2) (pow (pow (sin (/ 0.5 x)) 2) 1/3)) in x
3.516 * [taylor]: Taking taylor expansion of (pow (cbrt 2.6666666666666665) 2) in x
3.516 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
3.516 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.517 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 0.5 x)) 2) 1/3) in x
3.517 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 0.5 x)) 2)))) in x
3.517 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 0.5 x)) 2))) in x
3.517 * [taylor]: Taking taylor expansion of 1/3 in x
3.517 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 0.5 x)) 2)) in x
3.517 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
3.517 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
3.517 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
3.517 * [taylor]: Taking taylor expansion of 0.5 in x
3.517 * [taylor]: Taking taylor expansion of x in x
3.589 * [approximate]: Taking taylor expansion of (* (pow (cbrt 2.6666666666666665) 2) (pow (pow (sin (/ -0.5 x)) 2) 1/3)) in (x) around 0
3.589 * [taylor]: Taking taylor expansion of (* (pow (cbrt 2.6666666666666665) 2) (pow (pow (sin (/ -0.5 x)) 2) 1/3)) in x
3.589 * [taylor]: Taking taylor expansion of (pow (cbrt 2.6666666666666665) 2) in x
3.589 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
3.589 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.590 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -0.5 x)) 2) 1/3) in x
3.590 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -0.5 x)) 2)))) in x
3.590 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -0.5 x)) 2))) in x
3.590 * [taylor]: Taking taylor expansion of 1/3 in x
3.590 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -0.5 x)) 2)) in x
3.590 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
3.590 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
3.590 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
3.590 * [taylor]: Taking taylor expansion of -0.5 in x
3.590 * [taylor]: Taking taylor expansion of x in x
3.591 * [taylor]: Taking taylor expansion of (* (pow (cbrt 2.6666666666666665) 2) (pow (pow (sin (/ -0.5 x)) 2) 1/3)) in x
3.591 * [taylor]: Taking taylor expansion of (pow (cbrt 2.6666666666666665) 2) in x
3.591 * [taylor]: Taking taylor expansion of (cbrt 2.6666666666666665) in x
3.591 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
3.592 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -0.5 x)) 2) 1/3) in x
3.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -0.5 x)) 2)))) in x
3.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -0.5 x)) 2))) in x
3.592 * [taylor]: Taking taylor expansion of 1/3 in x
3.592 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -0.5 x)) 2)) in x
3.592 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
3.592 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
3.592 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
3.592 * [taylor]: Taking taylor expansion of -0.5 in x
3.592 * [taylor]: Taking taylor expansion of x in x
3.656 * * * [progress]: simplifying candidates
3.658 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (log1p (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (log (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (exp (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (/ 8.0 (* (cbrt 3.0) (cbrt 3.0))))
  (cbrt (/ (sin (* x 0.5)) (cbrt 3.0)))
  (cbrt (/ 8.0 (sqrt 3.0)))
  (cbrt (/ (sin (* x 0.5)) (sqrt 3.0)))
  (cbrt (/ 8.0 1))
  (cbrt (/ (sin (* x 0.5)) 3.0))
  (cbrt 1)
  (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (cbrt (* 8.0 (sin (* x 0.5))))
  (cbrt (/ 1 3.0))
  (cbrt (* 8.0 (sin (* x 0.5))))
  (cbrt 3.0)
  (* (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (* (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (expm1 (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (log1p (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (log (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (exp (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (/ 8.0 (* (cbrt 3.0) (cbrt 3.0))))
  (cbrt (/ (sin (* x 0.5)) (cbrt 3.0)))
  (cbrt (/ 8.0 (sqrt 3.0)))
  (cbrt (/ (sin (* x 0.5)) (sqrt 3.0)))
  (cbrt (/ 8.0 1))
  (cbrt (/ (sin (* x 0.5)) 3.0))
  (cbrt 1)
  (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (cbrt (* 8.0 (sin (* x 0.5))))
  (cbrt (/ 1 3.0))
  (cbrt (* 8.0 (sin (* x 0.5))))
  (cbrt 3.0)
  (* (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (* (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (expm1 (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (log1p (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (log (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (exp (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (/ 8.0 (* (cbrt 3.0) (cbrt 3.0))))
  (cbrt (/ (sin (* x 0.5)) (cbrt 3.0)))
  (cbrt (/ 8.0 (sqrt 3.0)))
  (cbrt (/ (sin (* x 0.5)) (sqrt 3.0)))
  (cbrt (/ 8.0 1))
  (cbrt (/ (sin (* x 0.5)) 3.0))
  (cbrt 1)
  (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (cbrt (* 8.0 (sin (* x 0.5))))
  (cbrt (/ 1 3.0))
  (cbrt (* 8.0 (sin (* x 0.5))))
  (cbrt 3.0)
  (* (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (* (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (expm1 (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (log1p (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (+ 1 1)
  (+ (log (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (log (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (log (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (exp (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (* (cbrt (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))) (cbrt (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))))
  (cbrt (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (* (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))) (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (sqrt (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (sqrt (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (cbrt (* 8.0 (sin (* x 0.5)))) (cbrt (* 8.0 (sin (* x 0.5)))))
  (* (cbrt 3.0) (cbrt 3.0))
  (* (cbrt (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))) (cbrt (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))))
  (* (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (cbrt (/ 8.0 (* (cbrt 3.0) (cbrt 3.0)))) (cbrt (/ 8.0 (* (cbrt 3.0) (cbrt 3.0)))))
  (* (cbrt (/ (sin (* x 0.5)) (cbrt 3.0))) (cbrt (/ (sin (* x 0.5)) (cbrt 3.0))))
  (* (cbrt (/ 8.0 (sqrt 3.0))) (cbrt (/ 8.0 (sqrt 3.0))))
  (* (cbrt (/ (sin (* x 0.5)) (sqrt 3.0))) (cbrt (/ (sin (* x 0.5)) (sqrt 3.0))))
  (* (cbrt (/ 8.0 1)) (cbrt (/ 8.0 1)))
  (* (cbrt (/ (sin (* x 0.5)) 3.0)) (cbrt (/ (sin (* x 0.5)) 3.0)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (* (cbrt (* 8.0 (sin (* x 0.5)))) (cbrt (* 8.0 (sin (* x 0.5)))))
  (* (cbrt (/ 1 3.0)) (cbrt (/ 1 3.0)))
  (* (* (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))) (* (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))))
  (* (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* 1 1)
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (* (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ 8.0 (* (cbrt 3.0) (cbrt 3.0)))))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ 8.0 (sqrt 3.0))))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ 8.0 1)))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt 1))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (* 8.0 (sin (* x 0.5)))))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (* (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) 1)
  (* (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (* (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (* (cbrt (/ (sin (* x 0.5)) (cbrt 3.0))) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (* (cbrt (/ (sin (* x 0.5)) (sqrt 3.0))) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (* (cbrt (/ (sin (* x 0.5)) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (* (cbrt (/ 1 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (* (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (* (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (* 8.0 (sin (* x 0.5)))))
  (* (cbrt (* 8.0 (sin (* x 0.5)))) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (- (+ (* (cbrt 2.6666666666666665) (exp (* 1/3 (+ (log 0.5) (log x))))) (* 0.00027006172839506176 (* (pow x 4) (* (cbrt 2.6666666666666665) (exp (* 1/3 (+ (log 0.5) (log x)))))))) (+ (* 0.013888888888888888 (* (pow x 2) (* (cbrt 2.6666666666666665) (exp (* 1/3 (+ (log 0.5) (log x))))))) (* 7.233796296296296e-05 (/ (* (pow x 4) (* (cbrt 2.6666666666666665) (exp (* 1/3 (+ (log 0.5) (log x)))))) (pow 0.5 2)))))
  (* (pow (sin (* 0.5 x)) 1/3) (cbrt 2.6666666666666665))
  (* (pow (sin (* 0.5 x)) 1/3) (cbrt 2.6666666666666665))
  (- (+ (* (cbrt 2.6666666666666665) (exp (* 1/3 (+ (log 0.5) (log x))))) (* 0.00027006172839506176 (* (pow x 4) (* (cbrt 2.6666666666666665) (exp (* 1/3 (+ (log 0.5) (log x)))))))) (+ (* 0.013888888888888888 (* (pow x 2) (* (cbrt 2.6666666666666665) (exp (* 1/3 (+ (log 0.5) (log x))))))) (* 7.233796296296296e-05 (/ (* (pow x 4) (* (cbrt 2.6666666666666665) (exp (* 1/3 (+ (log 0.5) (log x)))))) (pow 0.5 2)))))
  (* (pow (sin (* 0.5 x)) 1/3) (cbrt 2.6666666666666665))
  (* (pow (sin (* 0.5 x)) 1/3) (cbrt 2.6666666666666665))
  (- (+ (* (cbrt 2.6666666666666665) (exp (* 1/3 (+ (log 0.5) (log x))))) (* 0.00027006172839506176 (* (pow x 4) (* (cbrt 2.6666666666666665) (exp (* 1/3 (+ (log 0.5) (log x)))))))) (+ (* 0.013888888888888888 (* (pow x 2) (* (cbrt 2.6666666666666665) (exp (* 1/3 (+ (log 0.5) (log x))))))) (* 7.233796296296296e-05 (/ (* (pow x 4) (* (cbrt 2.6666666666666665) (exp (* 1/3 (+ (log 0.5) (log x)))))) (pow 0.5 2)))))
  (* (pow (sin (* 0.5 x)) 1/3) (cbrt 2.6666666666666665))
  (* (pow (sin (* 0.5 x)) 1/3) (cbrt 2.6666666666666665))
  (- (+ (* (pow (cbrt 2.6666666666666665) 2) (exp (* 1/3 (+ (log 0.25) (* 2 (log x)))))) (* 0.001311728395061728 (* (pow x 4) (* (pow (cbrt 2.6666666666666665) 2) (exp (* 1/3 (+ (log 0.25) (* 2 (log x))))))))) (+ (* 7.233796296296296e-05 (/ (* (pow x 4) (* (pow (cbrt 2.6666666666666665) 2) (exp (* 1/3 (+ (log 0.25) (* 2 (log x))))))) (pow 0.25 2))) (* 0.027777777777777776 (* (pow x 2) (* (pow (cbrt 2.6666666666666665) 2) (exp (* 1/3 (+ (log 0.25) (* 2 (log x))))))))))
  (* (pow (pow (sin (* 0.5 x)) 2) 1/3) (pow (cbrt 2.6666666666666665) 2))
  (* (pow (pow (sin (* 0.5 x)) 2) 1/3) (pow (cbrt 2.6666666666666665) 2))
3.665 * * [simplify]: iteration  0 :  141  enodes  (cost  2385 )
3.700 * * [simplify]: iteration  1 :  287  enodes  (cost  2248 )
3.757 * * [simplify]: iteration  2 :  914  enodes  (cost  2077 )
4.222 * * [simplify]: iteration  3 :  4414  enodes  (cost  1831 )
5.483 * * [simplify]: iteration  done :  5000  enodes  (cost  1831 )
5.484 * [simplify]: Simplified to:
   (expm1 (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (log1p (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (log (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (exp (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (pow (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4))
  (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (/ 8.0 (* (cbrt 3.0) (cbrt 3.0))))
  (cbrt (/ (sin (* x 0.5)) (cbrt 3.0)))
  (cbrt (/ 8.0 (sqrt 3.0)))
  (cbrt (/ (sin (* x 0.5)) (sqrt 3.0)))
  (cbrt 8.0)
  (cbrt (/ (sin (* x 0.5)) 3.0))
  1
  (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (cbrt (* 8.0 (sin (* x 0.5))))
  (cbrt (/ 1 3.0))
  (cbrt (* 8.0 (sin (* x 0.5))))
  (cbrt 3.0)
  (* (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (/ (* 8.0 (sin (* x 0.5))) 3.0)
  (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (expm1 (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (log1p (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (log (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (exp (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (pow (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4))
  (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (/ 8.0 (* (cbrt 3.0) (cbrt 3.0))))
  (cbrt (/ (sin (* x 0.5)) (cbrt 3.0)))
  (cbrt (/ 8.0 (sqrt 3.0)))
  (cbrt (/ (sin (* x 0.5)) (sqrt 3.0)))
  (cbrt 8.0)
  (cbrt (/ (sin (* x 0.5)) 3.0))
  1
  (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (cbrt (* 8.0 (sin (* x 0.5))))
  (cbrt (/ 1 3.0))
  (cbrt (* 8.0 (sin (* x 0.5))))
  (cbrt 3.0)
  (* (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (/ (* 8.0 (sin (* x 0.5))) 3.0)
  (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (expm1 (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (log1p (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (log (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (exp (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (pow (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4))
  (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (cbrt (/ 8.0 (* (cbrt 3.0) (cbrt 3.0))))
  (cbrt (/ (sin (* x 0.5)) (cbrt 3.0)))
  (cbrt (/ 8.0 (sqrt 3.0)))
  (cbrt (/ (sin (* x 0.5)) (sqrt 3.0)))
  (cbrt 8.0)
  (cbrt (/ (sin (* x 0.5)) 3.0))
  1
  (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (cbrt (* 8.0 (sin (* x 0.5))))
  (cbrt (/ 1 3.0))
  (cbrt (* 8.0 (sin (* x 0.5))))
  (cbrt 3.0)
  (* (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (/ (* 8.0 (sin (* x 0.5))) 3.0)
  (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (expm1 (pow (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4))
  (log1p (pow (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4))
  2/3
  2
  (pow (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) 6)
  (pow (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4)
  2
  (* 2 (log (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* 2 (log (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (exp (pow (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4))
  (pow (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) 6)
  (* (cbrt (pow (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4)) (cbrt (pow (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4)))
  (cbrt (pow (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4))
  (pow (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) 6)
  (fabs (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (fabs (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (* (cbrt (* 8.0 (sin (* x 0.5)))) (cbrt (* 8.0 (sin (* x 0.5)))))
  (* (cbrt 3.0) (cbrt 3.0))
  (* (cbrt (pow (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4)) (cbrt (pow (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4)))
  (* (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (cbrt (/ 8.0 (* (cbrt 3.0) (cbrt 3.0)))) (cbrt (/ 8.0 (* (cbrt 3.0) (cbrt 3.0)))))
  (* (cbrt (/ (sin (* x 0.5)) (cbrt 3.0))) (cbrt (/ (sin (* x 0.5)) (cbrt 3.0))))
  (* (cbrt (/ 8.0 (sqrt 3.0))) (cbrt (/ 8.0 (sqrt 3.0))))
  (* (cbrt (/ (sin (* x 0.5)) (sqrt 3.0))) (cbrt (/ (sin (* x 0.5)) (sqrt 3.0))))
  (* (cbrt 8.0) (cbrt 8.0))
  (* (cbrt (/ (sin (* x 0.5)) 3.0)) (cbrt (/ (sin (* x 0.5)) 3.0)))
  1
  (pow (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4)
  (* (cbrt (* 8.0 (sin (* x 0.5)))) (cbrt (* 8.0 (sin (* x 0.5)))))
  (* (cbrt (/ 1 3.0)) (cbrt (/ 1 3.0)))
  (pow (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4)
  (* (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))
  1
  (pow (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4)
  (* (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))
  2/3
  2
  (* (cbrt (pow (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ 8.0 (* (cbrt 3.0) (cbrt 3.0)))))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ 8.0 (sqrt 3.0))))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt 8.0))
  (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (* 8.0 (sin (* x 0.5)))))
  (* (pow (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4) (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (pow (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 3)
  (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))
  (pow (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4)
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (sqrt (/ (* 8.0 (sin (* x 0.5))) 3.0))))
  (* (cbrt (/ (sin (* x 0.5)) (cbrt 3.0))) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (* (cbrt (/ (sin (* x 0.5)) (sqrt 3.0))) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (* (cbrt (/ (sin (* x 0.5)) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (pow (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4)
  (* (cbrt (/ 1 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)))
  (pow (cbrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4)
  (pow (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 3)
  (pow (sqrt (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) 4)
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (* 8.0 (sin (* x 0.5)))))
  (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (* 8.0 (sin (* x 0.5)))))
  (- (* (* (cbrt 2.6666666666666665) (* (pow x 1/3) (pow 0.5 1/3))) (- (fma 0.00027006172839506176 (pow x 4) 1) (* 0.013888888888888888 (pow x 2)))) (* (/ (* 7.233796296296296e-05 (pow x 4)) (pow 0.5 2)) (* (cbrt 2.6666666666666665) (* (pow x 1/3) (pow 0.5 1/3)))))
  (* (cbrt (sin (* 0.5 x))) (cbrt 2.6666666666666665))
  (* (cbrt (sin (* 0.5 x))) (cbrt 2.6666666666666665))
  (- (* (* (cbrt 2.6666666666666665) (* (pow x 1/3) (pow 0.5 1/3))) (- (fma 0.00027006172839506176 (pow x 4) 1) (* 0.013888888888888888 (pow x 2)))) (* (/ (* 7.233796296296296e-05 (pow x 4)) (pow 0.5 2)) (* (cbrt 2.6666666666666665) (* (pow x 1/3) (pow 0.5 1/3)))))
  (* (cbrt (sin (* 0.5 x))) (cbrt 2.6666666666666665))
  (* (cbrt (sin (* 0.5 x))) (cbrt 2.6666666666666665))
  (- (* (* (cbrt 2.6666666666666665) (* (pow x 1/3) (pow 0.5 1/3))) (- (fma 0.00027006172839506176 (pow x 4) 1) (* 0.013888888888888888 (pow x 2)))) (* (/ (* 7.233796296296296e-05 (pow x 4)) (pow 0.5 2)) (* (cbrt 2.6666666666666665) (* (pow x 1/3) (pow 0.5 1/3)))))
  (* (cbrt (sin (* 0.5 x))) (cbrt 2.6666666666666665))
  (* (cbrt (sin (* 0.5 x))) (cbrt 2.6666666666666665))
  (- (* (* (* (pow 0.25 1/3) (pow x 2/3)) (pow (cbrt 2.6666666666666665) 2)) (- (fma 0.001311728395061728 (pow x 4) 1) (* 0.027777777777777776 (pow x 2)))) (* (/ 7.233796296296296e-05 (pow 0.25 2)) (* (* (* (pow x 4) (pow (cbrt 2.6666666666666665) 2)) (pow 0.25 1/3)) (pow x 2/3))))
  (* (pow (cbrt 2.6666666666666665) 2) (cbrt (pow (sin (* 0.5 x)) 2)))
  (* (pow (cbrt 2.6666666666666665) 2) (cbrt (pow (sin (* 0.5 x)) 2)))
5.485 * * * [progress]: adding candidates to table
5.940 * * [progress]: iteration 4 / 4
5.940 * * * [progress]: picking best candidate
5.956 * * * * [pick]: Picked  #<alt (λ (x) (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))>
5.956 * * * [progress]: localizing error
5.967 * * * [progress]: generating rewritten candidates
5.967 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
5.973 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
5.975 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
5.996 * * * [progress]: generating series expansions
5.996 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
5.997 * [approximate]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in (x) around 0
5.997 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
5.997 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
5.997 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
5.997 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
5.997 * [taylor]: Taking taylor expansion of 0.5 in x
5.997 * [taylor]: Taking taylor expansion of x in x
6.001 * [taylor]: Taking taylor expansion of (sin x) in x
6.001 * [taylor]: Taking taylor expansion of x in x
6.002 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
6.002 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
6.002 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
6.002 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
6.002 * [taylor]: Taking taylor expansion of 0.5 in x
6.002 * [taylor]: Taking taylor expansion of x in x
6.005 * [taylor]: Taking taylor expansion of (sin x) in x
6.005 * [taylor]: Taking taylor expansion of x in x
6.047 * [approximate]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in (x) around 0
6.047 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
6.047 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
6.047 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
6.048 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
6.048 * [taylor]: Taking taylor expansion of 0.5 in x
6.048 * [taylor]: Taking taylor expansion of x in x
6.048 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
6.048 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.048 * [taylor]: Taking taylor expansion of x in x
6.049 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
6.049 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
6.049 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
6.049 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
6.049 * [taylor]: Taking taylor expansion of 0.5 in x
6.049 * [taylor]: Taking taylor expansion of x in x
6.049 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
6.049 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.049 * [taylor]: Taking taylor expansion of x in x
6.057 * [approximate]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in (x) around 0
6.057 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
6.057 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
6.057 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
6.057 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
6.057 * [taylor]: Taking taylor expansion of -0.5 in x
6.057 * [taylor]: Taking taylor expansion of x in x
6.058 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
6.058 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.058 * [taylor]: Taking taylor expansion of -1 in x
6.058 * [taylor]: Taking taylor expansion of x in x
6.058 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
6.059 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
6.059 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
6.059 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
6.059 * [taylor]: Taking taylor expansion of -0.5 in x
6.059 * [taylor]: Taking taylor expansion of x in x
6.059 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
6.059 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.059 * [taylor]: Taking taylor expansion of -1 in x
6.059 * [taylor]: Taking taylor expansion of x in x
6.067 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
6.067 * [approximate]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in (x) around 0
6.067 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
6.067 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
6.067 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
6.067 * [taylor]: Taking taylor expansion of 0.5 in x
6.067 * [taylor]: Taking taylor expansion of x in x
6.070 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
6.070 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
6.070 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
6.070 * [taylor]: Taking taylor expansion of 0.5 in x
6.070 * [taylor]: Taking taylor expansion of x in x
6.094 * [approximate]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in (x) around 0
6.095 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
6.095 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
6.095 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
6.095 * [taylor]: Taking taylor expansion of 0.5 in x
6.095 * [taylor]: Taking taylor expansion of x in x
6.095 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
6.095 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
6.095 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
6.095 * [taylor]: Taking taylor expansion of 0.5 in x
6.095 * [taylor]: Taking taylor expansion of x in x
6.100 * [approximate]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in (x) around 0
6.100 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
6.100 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
6.100 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
6.100 * [taylor]: Taking taylor expansion of -0.5 in x
6.100 * [taylor]: Taking taylor expansion of x in x
6.101 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
6.101 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
6.101 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
6.101 * [taylor]: Taking taylor expansion of -0.5 in x
6.101 * [taylor]: Taking taylor expansion of x in x
6.106 * * * * [progress]: [ 3 / 3 ] generating series at (2)
6.106 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in (x) around 0
6.106 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
6.106 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
6.106 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
6.106 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
6.106 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
6.106 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
6.107 * [taylor]: Taking taylor expansion of 0.5 in x
6.107 * [taylor]: Taking taylor expansion of x in x
6.109 * [taylor]: Taking taylor expansion of (sin x) in x
6.109 * [taylor]: Taking taylor expansion of x in x
6.110 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) in x
6.111 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
6.111 * [taylor]: Taking taylor expansion of (/ (pow (sin (* 0.5 x)) 2) (sin x)) in x
6.111 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 x)) 2) in x
6.111 * [taylor]: Taking taylor expansion of (sin (* 0.5 x)) in x
6.111 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
6.111 * [taylor]: Taking taylor expansion of 0.5 in x
6.111 * [taylor]: Taking taylor expansion of x in x
6.113 * [taylor]: Taking taylor expansion of (sin x) in x
6.114 * [taylor]: Taking taylor expansion of x in x
6.160 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in (x) around 0
6.161 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
6.161 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
6.161 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
6.161 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
6.161 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
6.161 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
6.161 * [taylor]: Taking taylor expansion of 0.5 in x
6.161 * [taylor]: Taking taylor expansion of x in x
6.161 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
6.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.161 * [taylor]: Taking taylor expansion of x in x
6.162 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x)))) in x
6.162 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
6.162 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 0.5 x)) 2) (sin (/ 1 x))) in x
6.162 * [taylor]: Taking taylor expansion of (pow (sin (/ 0.5 x)) 2) in x
6.162 * [taylor]: Taking taylor expansion of (sin (/ 0.5 x)) in x
6.162 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
6.162 * [taylor]: Taking taylor expansion of 0.5 in x
6.162 * [taylor]: Taking taylor expansion of x in x
6.162 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
6.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.162 * [taylor]: Taking taylor expansion of x in x
6.177 * [approximate]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in (x) around 0
6.177 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
6.177 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
6.177 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
6.177 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
6.177 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
6.177 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
6.177 * [taylor]: Taking taylor expansion of -0.5 in x
6.177 * [taylor]: Taking taylor expansion of x in x
6.178 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
6.178 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.178 * [taylor]: Taking taylor expansion of -1 in x
6.178 * [taylor]: Taking taylor expansion of x in x
6.178 * [taylor]: Taking taylor expansion of (* 2.6666666666666665 (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x)))) in x
6.178 * [taylor]: Taking taylor expansion of 2.6666666666666665 in x
6.178 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -0.5 x)) 2) (sin (/ -1 x))) in x
6.178 * [taylor]: Taking taylor expansion of (pow (sin (/ -0.5 x)) 2) in x
6.178 * [taylor]: Taking taylor expansion of (sin (/ -0.5 x)) in x
6.178 * [taylor]: Taking taylor expansion of (/ -0.5 x) in x
6.178 * [taylor]: Taking taylor expansion of -0.5 in x
6.178 * [taylor]: Taking taylor expansion of x in x
6.179 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
6.179 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.179 * [taylor]: Taking taylor expansion of -1 in x
6.179 * [taylor]: Taking taylor expansion of x in x
6.192 * * * [progress]: simplifying candidates
6.195 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (log1p (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (- (* (log (sin (* 0.5 x))) 2) (log (sin x)))
  (- (* (log (sin (* 0.5 x))) 2) (log (sin x)))
  (- (log (pow (sin (* 0.5 x)) 2)) (log (sin x)))
  (log (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (exp (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (/ (* (* (pow (sin (* 0.5 x)) 2) (pow (sin (* 0.5 x)) 2)) (pow (sin (* 0.5 x)) 2)) (* (* (sin x) (sin x)) (sin x)))
  (* (cbrt (/ (pow (sin (* 0.5 x)) 2) (sin x))) (cbrt (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (cbrt (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (* (* (/ (pow (sin (* 0.5 x)) 2) (sin x)) (/ (pow (sin (* 0.5 x)) 2) (sin x))) (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (sqrt (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (sqrt (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (- (pow (sin (* 0.5 x)) 2))
  (- (sin x))
  (/ (pow (* (cbrt (sin (* 0.5 x))) (cbrt (sin (* 0.5 x)))) 2) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (pow (cbrt (sin (* 0.5 x))) 2) (cbrt (sin x)))
  (/ (pow (* (cbrt (sin (* 0.5 x))) (cbrt (sin (* 0.5 x)))) 2) (sqrt (sin x)))
  (/ (pow (cbrt (sin (* 0.5 x))) 2) (sqrt (sin x)))
  (/ (pow (* (cbrt (sin (* 0.5 x))) (cbrt (sin (* 0.5 x)))) 2) 1)
  (/ (pow (cbrt (sin (* 0.5 x))) 2) (sin x))
  (/ (pow (sqrt (sin (* 0.5 x))) 2) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (pow (sqrt (sin (* 0.5 x))) 2) (cbrt (sin x)))
  (/ (pow (sqrt (sin (* 0.5 x))) 2) (sqrt (sin x)))
  (/ (pow (sqrt (sin (* 0.5 x))) 2) (sqrt (sin x)))
  (/ (pow (sqrt (sin (* 0.5 x))) 2) 1)
  (/ (pow (sqrt (sin (* 0.5 x))) 2) (sin x))
  (/ (pow 1 2) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (pow (sin (* 0.5 x)) 2) (cbrt (sin x)))
  (/ (pow 1 2) (sqrt (sin x)))
  (/ (pow (sin (* 0.5 x)) 2) (sqrt (sin x)))
  (/ (pow 1 2) 1)
  (/ (pow (sin (* 0.5 x)) 2) (sin x))
  (/ (sin (* 0.5 x)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sin (* 0.5 x)) (cbrt (sin x)))
  (/ (sin (* 0.5 x)) (sqrt (sin x)))
  (/ (sin (* 0.5 x)) (sqrt (sin x)))
  (/ (sin (* 0.5 x)) 1)
  (/ (sin (* 0.5 x)) (sin x))
  (/ (* (cbrt (pow (sin (* 0.5 x)) 2)) (cbrt (pow (sin (* 0.5 x)) 2))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (cbrt (pow (sin (* 0.5 x)) 2)) (cbrt (sin x)))
  (/ (* (cbrt (pow (sin (* 0.5 x)) 2)) (cbrt (pow (sin (* 0.5 x)) 2))) (sqrt (sin x)))
  (/ (cbrt (pow (sin (* 0.5 x)) 2)) (sqrt (sin x)))
  (/ (* (cbrt (pow (sin (* 0.5 x)) 2)) (cbrt (pow (sin (* 0.5 x)) 2))) 1)
  (/ (cbrt (pow (sin (* 0.5 x)) 2)) (sin x))
  (/ (sqrt (pow (sin (* 0.5 x)) 2)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sqrt (pow (sin (* 0.5 x)) 2)) (cbrt (sin x)))
  (/ (sqrt (pow (sin (* 0.5 x)) 2)) (sqrt (sin x)))
  (/ (sqrt (pow (sin (* 0.5 x)) 2)) (sqrt (sin x)))
  (/ (sqrt (pow (sin (* 0.5 x)) 2)) 1)
  (/ (sqrt (pow (sin (* 0.5 x)) 2)) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (pow (sin (* 0.5 x)) 2) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (pow (sin (* 0.5 x)) 2) (sqrt (sin x)))
  (/ 1 1)
  (/ (pow (sin (* 0.5 x)) 2) (sin x))
  (/ (pow (sin (* 0.5 x)) (/ 2 2)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (pow (sin (* 0.5 x)) (/ 2 2)) (cbrt (sin x)))
  (/ (pow (sin (* 0.5 x)) (/ 2 2)) (sqrt (sin x)))
  (/ (pow (sin (* 0.5 x)) (/ 2 2)) (sqrt (sin x)))
  (/ (pow (sin (* 0.5 x)) (/ 2 2)) 1)
  (/ (pow (sin (* 0.5 x)) (/ 2 2)) (sin x))
  (/ 1 (sin x))
  (/ (sin x) (pow (sin (* 0.5 x)) 2))
  (/ (pow (sin (* 0.5 x)) 2) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (pow (sin (* 0.5 x)) 2) (sqrt (sin x)))
  (/ (pow (sin (* 0.5 x)) 2) 1)
  (/ (sin x) (pow (cbrt (sin (* 0.5 x))) 2))
  (/ (sin x) (pow (sqrt (sin (* 0.5 x))) 2))
  (/ (sin x) (pow (sin (* 0.5 x)) 2))
  (/ (sin x) (sin (* 0.5 x)))
  (/ (sin x) (cbrt (pow (sin (* 0.5 x)) 2)))
  (/ (sin x) (sqrt (pow (sin (* 0.5 x)) 2)))
  (/ (sin x) (pow (sin (* 0.5 x)) 2))
  (/ (sin x) (pow (sin (* 0.5 x)) (/ 2 2)))
  (expm1 (pow (sin (* 0.5 x)) 2))
  (log1p (pow (sin (* 0.5 x)) 2))
  (* (log (sin (* 0.5 x))) 2)
  (* (log (sin (* 0.5 x))) 2)
  (* 1 2)
  (pow (sin (* 0.5 x)) (* (cbrt 2) (cbrt 2)))
  (pow (sin (* 0.5 x)) (sqrt 2))
  (pow (sin (* 0.5 x)) 1)
  (pow (* (cbrt (sin (* 0.5 x))) (cbrt (sin (* 0.5 x)))) 2)
  (pow (cbrt (sin (* 0.5 x))) 2)
  (pow (sqrt (sin (* 0.5 x))) 2)
  (pow (sqrt (sin (* 0.5 x))) 2)
  (pow 1 2)
  (pow (sin (* 0.5 x)) 2)
  (log (pow (sin (* 0.5 x)) 2))
  (exp (pow (sin (* 0.5 x)) 2))
  (* (cbrt (pow (sin (* 0.5 x)) 2)) (cbrt (pow (sin (* 0.5 x)) 2)))
  (cbrt (pow (sin (* 0.5 x)) 2))
  (* (* (pow (sin (* 0.5 x)) 2) (pow (sin (* 0.5 x)) 2)) (pow (sin (* 0.5 x)) 2))
  (sqrt (pow (sin (* 0.5 x)) 2))
  (sqrt (pow (sin (* 0.5 x)) 2))
  (pow (sin (* 0.5 x)) (/ 2 2))
  (pow (sin (* 0.5 x)) (/ 2 2))
  (expm1 (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (log1p (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (+ (log 2.6666666666666665) (- (* (log (sin (* 0.5 x))) 2) (log (sin x))))
  (+ (log 2.6666666666666665) (- (* (log (sin (* 0.5 x))) 2) (log (sin x))))
  (+ (log 2.6666666666666665) (- (log (pow (sin (* 0.5 x)) 2)) (log (sin x))))
  (+ (log 2.6666666666666665) (log (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (log (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (exp (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (* (* (* 2.6666666666666665 2.6666666666666665) 2.6666666666666665) (/ (* (* (pow (sin (* 0.5 x)) 2) (pow (sin (* 0.5 x)) 2)) (pow (sin (* 0.5 x)) 2)) (* (* (sin x) (sin x)) (sin x))))
  (* (* (* 2.6666666666666665 2.6666666666666665) 2.6666666666666665) (* (* (/ (pow (sin (* 0.5 x)) 2) (sin x)) (/ (pow (sin (* 0.5 x)) 2) (sin x))) (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (* (cbrt (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))) (cbrt (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))))
  (cbrt (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (* (* (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))) (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (sqrt (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (sqrt (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (* (sqrt 2.6666666666666665) (sqrt (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (* (sqrt 2.6666666666666665) (sqrt (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (* (sqrt 2.6666666666666665) (/ (pow (sqrt (sin (* 0.5 x))) 2) (sqrt (sin x))))
  (* (sqrt 2.6666666666666665) (/ (pow (sqrt (sin (* 0.5 x))) 2) (sqrt (sin x))))
  (* (sqrt 2.6666666666666665) (/ (sin (* 0.5 x)) (sqrt (sin x))))
  (* (sqrt 2.6666666666666665) (/ (sin (* 0.5 x)) (sqrt (sin x))))
  (* (sqrt 2.6666666666666665) (/ (sqrt (pow (sin (* 0.5 x)) 2)) (sqrt (sin x))))
  (* (sqrt 2.6666666666666665) (/ (sqrt (pow (sin (* 0.5 x)) 2)) (sqrt (sin x))))
  (* (sqrt 2.6666666666666665) (/ (pow (sin (* 0.5 x)) (/ 2 2)) (sqrt (sin x))))
  (* (sqrt 2.6666666666666665) (/ (pow (sin (* 0.5 x)) (/ 2 2)) (sqrt (sin x))))
  (* 2.6666666666666665 (* (cbrt (/ (pow (sin (* 0.5 x)) 2) (sin x))) (cbrt (/ (pow (sin (* 0.5 x)) 2) (sin x)))))
  (* 2.6666666666666665 (sqrt (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (* 2.6666666666666665 (/ (pow (* (cbrt (sin (* 0.5 x))) (cbrt (sin (* 0.5 x)))) 2) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* 2.6666666666666665 (/ (pow (* (cbrt (sin (* 0.5 x))) (cbrt (sin (* 0.5 x)))) 2) (sqrt (sin x))))
  (* 2.6666666666666665 (/ (pow (* (cbrt (sin (* 0.5 x))) (cbrt (sin (* 0.5 x)))) 2) 1))
  (* 2.6666666666666665 (/ (pow (sqrt (sin (* 0.5 x))) 2) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* 2.6666666666666665 (/ (pow (sqrt (sin (* 0.5 x))) 2) (sqrt (sin x))))
  (* 2.6666666666666665 (/ (pow (sqrt (sin (* 0.5 x))) 2) 1))
  (* 2.6666666666666665 (/ (pow 1 2) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* 2.6666666666666665 (/ (pow 1 2) (sqrt (sin x))))
  (* 2.6666666666666665 (/ (pow 1 2) 1))
  (* 2.6666666666666665 (/ (sin (* 0.5 x)) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* 2.6666666666666665 (/ (sin (* 0.5 x)) (sqrt (sin x))))
  (* 2.6666666666666665 (/ (sin (* 0.5 x)) 1))
  (* 2.6666666666666665 (/ (* (cbrt (pow (sin (* 0.5 x)) 2)) (cbrt (pow (sin (* 0.5 x)) 2))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* 2.6666666666666665 (/ (* (cbrt (pow (sin (* 0.5 x)) 2)) (cbrt (pow (sin (* 0.5 x)) 2))) (sqrt (sin x))))
  (* 2.6666666666666665 (/ (* (cbrt (pow (sin (* 0.5 x)) 2)) (cbrt (pow (sin (* 0.5 x)) 2))) 1))
  (* 2.6666666666666665 (/ (sqrt (pow (sin (* 0.5 x)) 2)) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* 2.6666666666666665 (/ (sqrt (pow (sin (* 0.5 x)) 2)) (sqrt (sin x))))
  (* 2.6666666666666665 (/ (sqrt (pow (sin (* 0.5 x)) 2)) 1))
  (* 2.6666666666666665 (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))))
  (* 2.6666666666666665 (/ 1 (sqrt (sin x))))
  (* 2.6666666666666665 (/ 1 1))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) (/ 2 2)) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) (/ 2 2)) (sqrt (sin x))))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) (/ 2 2)) 1))
  (* 2.6666666666666665 1)
  (* 2.6666666666666665 (pow (sin (* 0.5 x)) 2))
  (* (cbrt 2.6666666666666665) (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (* (sqrt 2.6666666666666665) (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (* 2.6666666666666665 (pow (sin (* 0.5 x)) 2))
  (+ (* 0.020833333333333332 (pow x 3)) (+ (* 0.002083333333333333 (pow x 5)) (* 0.25 x)))
  (/ (pow (sin (* 0.5 x)) 2) (sin x))
  (/ (pow (sin (* 0.5 x)) 2) (sin x))
  (- (+ (* 0.25 (pow x 2)) (* 0.0006944444444444444 (pow x 6))) (* 0.020833333333333332 (pow x 4)))
  (pow (sin (* 0.5 x)) 2)
  (pow (sin (* 0.5 x)) 2)
  (+ (* 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)))
6.200 * * [simplify]: iteration  0 :  193  enodes  (cost  1962 )
6.259 * * [simplify]: iteration  1 :  420  enodes  (cost  1776 )
6.361 * * [simplify]: iteration  2 :  1093  enodes  (cost  1599 )
7.108 * * [simplify]: iteration  3 :  3759  enodes  (cost  1599 )
8.046 * * [simplify]: iteration  done :  5001  enodes  (cost  1599 )
8.055 * [simplify]: Simplified to:
   (expm1 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (log1p (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (log (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (log (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (log (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (log (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (exp (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (pow (/ (pow (sin (* 0.5 x)) 2) (sin x)) 3)
  (* (cbrt (/ (pow (sin (* 0.5 x)) 2) (sin x))) (cbrt (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (cbrt (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (pow (/ (pow (sin (* 0.5 x)) 2) (sin x)) 3)
  (sqrt (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (sqrt (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (- (pow (sin (* 0.5 x)) 2))
  (- (sin x))
  (/ (/ (pow (cbrt (sin (* 0.5 x))) 4) (cbrt (sin x))) (cbrt (sin x)))
  (/ (pow (cbrt (sin (* 0.5 x))) 2) (cbrt (sin x)))
  (/ (pow (cbrt (sin (* 0.5 x))) 4) (sqrt (sin x)))
  (/ (pow (cbrt (sin (* 0.5 x))) 2) (sqrt (sin x)))
  (pow (cbrt (sin (* 0.5 x))) 4)
  (/ (pow (cbrt (sin (* 0.5 x))) 2) (sin x))
  (/ (sin (* 0.5 x)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sin (* 0.5 x)) (cbrt (sin x)))
  (/ (sin (* 0.5 x)) (sqrt (sin x)))
  (/ (sin (* 0.5 x)) (sqrt (sin x)))
  (sin (* 0.5 x))
  (/ (sin (* 0.5 x)) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (pow (sin (* 0.5 x)) 2) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (pow (sin (* 0.5 x)) 2) (sqrt (sin x)))
  1
  (/ (pow (sin (* 0.5 x)) 2) (sin x))
  (/ (sin (* 0.5 x)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sin (* 0.5 x)) (cbrt (sin x)))
  (/ (sin (* 0.5 x)) (sqrt (sin x)))
  (/ (sin (* 0.5 x)) (sqrt (sin x)))
  (sin (* 0.5 x))
  (/ (sin (* 0.5 x)) (sin x))
  (/ (* (cbrt (pow (sin (* 0.5 x)) 2)) (cbrt (pow (sin (* 0.5 x)) 2))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (cbrt (pow (sin (* 0.5 x)) 2)) (cbrt (sin x)))
  (/ (* (cbrt (pow (sin (* 0.5 x)) 2)) (cbrt (pow (sin (* 0.5 x)) 2))) (sqrt (sin x)))
  (/ (cbrt (pow (sin (* 0.5 x)) 2)) (sqrt (sin x)))
  (* (cbrt (pow (sin (* 0.5 x)) 2)) (cbrt (pow (sin (* 0.5 x)) 2)))
  (/ (cbrt (pow (sin (* 0.5 x)) 2)) (sin x))
  (/ (fabs (sin (* 0.5 x))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (fabs (sin (* 0.5 x))) (cbrt (sin x)))
  (/ (fabs (sin (* 0.5 x))) (sqrt (sin x)))
  (/ (fabs (sin (* 0.5 x))) (sqrt (sin x)))
  (fabs (sin (* 0.5 x)))
  (/ (fabs (sin (* 0.5 x))) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (pow (sin (* 0.5 x)) 2) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (pow (sin (* 0.5 x)) 2) (sqrt (sin x)))
  1
  (/ (pow (sin (* 0.5 x)) 2) (sin x))
  (/ (sin (* 0.5 x)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sin (* 0.5 x)) (cbrt (sin x)))
  (/ (sin (* 0.5 x)) (sqrt (sin x)))
  (/ (sin (* 0.5 x)) (sqrt (sin x)))
  (sin (* 0.5 x))
  (/ (sin (* 0.5 x)) (sin x))
  (/ 1 (sin x))
  (/ (sin x) (pow (sin (* 0.5 x)) 2))
  (/ (pow (sin (* 0.5 x)) 2) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (pow (sin (* 0.5 x)) 2) (sqrt (sin x)))
  (pow (sin (* 0.5 x)) 2)
  (/ (sin x) (pow (cbrt (sin (* 0.5 x))) 2))
  (/ (sin x) (sin (* 0.5 x)))
  (/ (sin x) (pow (sin (* 0.5 x)) 2))
  (/ (sin x) (sin (* 0.5 x)))
  (/ (sin x) (cbrt (pow (sin (* 0.5 x)) 2)))
  (/ (sin x) (fabs (sin (* 0.5 x))))
  (/ (sin x) (pow (sin (* 0.5 x)) 2))
  (/ (sin x) (sin (* 0.5 x)))
  (expm1 (pow (sin (* 0.5 x)) 2))
  (log1p (pow (sin (* 0.5 x)) 2))
  (log (pow (sin (* 0.5 x)) 2))
  (log (pow (sin (* 0.5 x)) 2))
  2
  (pow (sin (* 0.5 x)) (* (cbrt 2) (cbrt 2)))
  (pow (sin (* 0.5 x)) (sqrt 2))
  (sin (* 0.5 x))
  (pow (cbrt (sin (* 0.5 x))) 4)
  (pow (cbrt (sin (* 0.5 x))) 2)
  (sin (* 0.5 x))
  (sin (* 0.5 x))
  1
  (pow (sin (* 0.5 x)) 2)
  (log (pow (sin (* 0.5 x)) 2))
  (exp (pow (sin (* 0.5 x)) 2))
  (* (cbrt (pow (sin (* 0.5 x)) 2)) (cbrt (pow (sin (* 0.5 x)) 2)))
  (cbrt (pow (sin (* 0.5 x)) 2))
  (pow (pow (sin (* 0.5 x)) 2) 3)
  (fabs (sin (* 0.5 x)))
  (fabs (sin (* 0.5 x)))
  (sin (* 0.5 x))
  (sin (* 0.5 x))
  (expm1 (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (log1p (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (log (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (log (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (log (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (log (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (log (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (exp (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (pow (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) 3)
  (pow (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) 3)
  (* (cbrt (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))) (cbrt (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))))
  (cbrt (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (pow (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))) 3)
  (sqrt (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (sqrt (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (* (sqrt 2.6666666666666665) (sqrt (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (* (sqrt 2.6666666666666665) (sqrt (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (/ (* (sin (* 0.5 x)) (sqrt 2.6666666666666665)) (sqrt (sin x)))
  (/ (* (sin (* 0.5 x)) (sqrt 2.6666666666666665)) (sqrt (sin x)))
  (/ (* (sin (* 0.5 x)) (sqrt 2.6666666666666665)) (sqrt (sin x)))
  (/ (* (sin (* 0.5 x)) (sqrt 2.6666666666666665)) (sqrt (sin x)))
  (/ (* (fabs (sin (* 0.5 x))) (sqrt 2.6666666666666665)) (sqrt (sin x)))
  (/ (* (fabs (sin (* 0.5 x))) (sqrt 2.6666666666666665)) (sqrt (sin x)))
  (/ (* (sin (* 0.5 x)) (sqrt 2.6666666666666665)) (sqrt (sin x)))
  (/ (* (sin (* 0.5 x)) (sqrt 2.6666666666666665)) (sqrt (sin x)))
  (* 2.6666666666666665 (* (cbrt (/ (pow (sin (* 0.5 x)) 2) (sin x))) (cbrt (/ (pow (sin (* 0.5 x)) 2) (sin x)))))
  (* 2.6666666666666665 (sqrt (/ (pow (sin (* 0.5 x)) 2) (sin x))))
  (/ (pow (cbrt (sin (* 0.5 x))) 4) (/ (* (cbrt (sin x)) (cbrt (sin x))) 2.6666666666666665))
  (* 2.6666666666666665 (/ (pow (cbrt (sin (* 0.5 x))) 4) (sqrt (sin x))))
  (* 2.6666666666666665 (pow (cbrt (sin (* 0.5 x))) 4))
  (* 2.6666666666666665 (/ (sin (* 0.5 x)) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (/ (sin (* 0.5 x)) (sqrt (sin x))) 2.6666666666666665)
  (* (sin (* 0.5 x)) 2.6666666666666665)
  (/ 2.6666666666666665 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ 2.6666666666666665 (sqrt (sin x)))
  2.6666666666666665
  (* 2.6666666666666665 (/ (sin (* 0.5 x)) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (/ (sin (* 0.5 x)) (sqrt (sin x))) 2.6666666666666665)
  (* (sin (* 0.5 x)) 2.6666666666666665)
  (* 2.6666666666666665 (/ (* (cbrt (pow (sin (* 0.5 x)) 2)) (cbrt (pow (sin (* 0.5 x)) 2))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* 2.6666666666666665 (/ (* (cbrt (pow (sin (* 0.5 x)) 2)) (cbrt (pow (sin (* 0.5 x)) 2))) (sqrt (sin x))))
  (* 2.6666666666666665 (* (cbrt (pow (sin (* 0.5 x)) 2)) (cbrt (pow (sin (* 0.5 x)) 2))))
  (* (/ (fabs (sin (* 0.5 x))) (* (cbrt (sin x)) (cbrt (sin x)))) 2.6666666666666665)
  (/ (* (fabs (sin (* 0.5 x))) 2.6666666666666665) (sqrt (sin x)))
  (* (fabs (sin (* 0.5 x))) 2.6666666666666665)
  (/ 2.6666666666666665 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ 2.6666666666666665 (sqrt (sin x)))
  2.6666666666666665
  (* 2.6666666666666665 (/ (sin (* 0.5 x)) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (/ (sin (* 0.5 x)) (sqrt (sin x))) 2.6666666666666665)
  (* (sin (* 0.5 x)) 2.6666666666666665)
  2.6666666666666665
  (* 2.6666666666666665 (pow (sin (* 0.5 x)) 2))
  (* (cbrt 2.6666666666666665) (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (* (sqrt 2.6666666666666665) (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x)))
  (* 2.6666666666666665 (pow (sin (* 0.5 x)) 2))
  (fma 0.020833333333333332 (pow x 3) (fma 0.002083333333333333 (pow x 5) (* 0.25 x)))
  (/ (pow (sin (* 0.5 x)) 2) (sin x))
  (/ (pow (sin (* 0.5 x)) 2) (sin x))
  (- (fma 0.25 (pow x 2) (* 0.0006944444444444444 (pow x 6))) (* 0.020833333333333332 (pow x 4)))
  (pow (sin (* 0.5 x)) 2)
  (pow (sin (* 0.5 x)) 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)))
8.056 * * * [progress]: adding candidates to table
8.370 * [progress]: [Phase 3 of 3] Extracting.
8.370 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (/ 8.0 (sqrt 3.0)) (/ (/ (pow (sin (* 0.5 x)) 2) (sin x)) (sqrt 3.0))))> #<alt (λ (x) (/ (* (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (* (/ 8.0 (cbrt 3.0)) (sin (* x 0.5)))) (sin (* x 0.5))) (sin x)))> #<alt (λ (x) (/ 1 (/ (sin x) (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)))))> #<alt (λ (x) (/ (* (* (* (/ 8.0 3.0) (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5))))) (cbrt (sin (* x 0.5)))) (sin (* x 0.5))) (sin x)))> #<alt (λ (x) (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))> #<alt (λ (x) (/ (* (log1p (expm1 (* (/ 8.0 3.0) (sin (* x 0.5))))) (sin (* x 0.5))) (sin x)))> #<alt (λ (x) (* (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (/ (sin (* x 0.5)) (sin x)))))> #<alt (λ (x) (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sin (* x 0.5)) (sin x))))>)
8.371 * * * [regime-changes]: Trying 1 branch expressions: (x)
8.371 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (/ 8.0 (sqrt 3.0)) (/ (/ (pow (sin (* 0.5 x)) 2) (sin x)) (sqrt 3.0))))> #<alt (λ (x) (/ (* (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (* (/ 8.0 (cbrt 3.0)) (sin (* x 0.5)))) (sin (* x 0.5))) (sin x)))> #<alt (λ (x) (/ 1 (/ (sin x) (* (/ 8.0 3.0) (pow (sin (* x 0.5)) 2)))))> #<alt (λ (x) (/ (* (* (* (/ 8.0 3.0) (* (cbrt (sin (* x 0.5))) (cbrt (sin (* x 0.5))))) (cbrt (sin (* x 0.5)))) (sin (* x 0.5))) (sin x)))> #<alt (λ (x) (* 2.6666666666666665 (/ (pow (sin (* 0.5 x)) 2) (sin x))))> #<alt (λ (x) (/ (* (log1p (expm1 (* (/ 8.0 3.0) (sin (* x 0.5))))) (sin (* x 0.5))) (sin x)))> #<alt (λ (x) (* (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0))) (* (cbrt (/ (* 8.0 (sin (* x 0.5))) 3.0)) (/ (sin (* x 0.5)) (sin x)))))> #<alt (λ (x) (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sin (* x 0.5)) (sin x))))>)
8.404 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
8.404 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sin (* x 0.5)) (sin x)))
8.405 * * [simplify]: iteration  0 :  11  enodes  (cost  16 )
8.405 * * [simplify]: iteration  1 :  14  enodes  (cost  16 )
8.405 * * [simplify]: iteration  done :  14  enodes  (cost  16 )
8.406 * [simplify]: Simplified to:
   (* (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sin (* x 0.5)) (sin x)))
10.501 * [regime-testing]: Baseline error score: 0.3084111268049349
10.502 * [regime-testing]: Oracle error score: 0.04164204744406151
10.503 * [regime-testing]: End program error score: 0.3084111268049349
10.535 * [regime-testing]: Target error score: 0.29879167554691305