0.898 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.273 * * * [progress]: [2/2] Setting up program.
0.276 * [progress]: [Phase 2 of 3] Improving.
0.279 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 2.0 (atan (sqrt (/ (- 1.0 x) (+ 1.0 x)))))
0.283 * * [simplify]: iteration  0 :  16  enodes  (cost  6 )
0.284 * * [simplify]: iteration  1 :  19  enodes  (cost  6 )
0.286 * * [simplify]: iteration  2 :  21  enodes  (cost  6 )
0.287 * * [simplify]: iteration  3 :  21  enodes  (cost  6 )
0.288 * [simplify]: Simplified to:
   (* 2.0 (atan (sqrt (/ (- 1.0 x) (+ 1.0 x)))))
0.290 * * [progress]: iteration 1 / 4
0.290 * * * [progress]: picking best candidate
0.292 * * * * [pick]: Picked  #<alt (λ (x) (* 2.0 (atan (sqrt (/ (- 1.0 x) (+ 1.0 x))))))>
0.292 * * * [progress]: localizing error
0.302 * * * [progress]: generating rewritten candidates
0.303 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 1)
0.309 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.313 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
0.315 * * * [progress]: generating series expansions
0.316 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 1)
0.320 * [approximate]: Taking taylor expansion of (/ (- 1.0 x) (+ x 1.0)) in (x) around 0
0.321 * [taylor]: Taking taylor expansion of (/ (- 1.0 x) (+ x 1.0)) in x
0.321 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
0.321 * [taylor]: Taking taylor expansion of 1.0 in x
0.322 * [taylor]: Taking taylor expansion of x in x
0.322 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.322 * [taylor]: Taking taylor expansion of x in x
0.322 * [taylor]: Taking taylor expansion of 1.0 in x
0.324 * [taylor]: Taking taylor expansion of (/ (- 1.0 x) (+ x 1.0)) in x
0.324 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
0.324 * [taylor]: Taking taylor expansion of 1.0 in x
0.324 * [taylor]: Taking taylor expansion of x in x
0.324 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.324 * [taylor]: Taking taylor expansion of x in x
0.324 * [taylor]: Taking taylor expansion of 1.0 in x
0.333 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) in (x) around 0
0.333 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) in x
0.333 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.333 * [taylor]: Taking taylor expansion of 1.0 in x
0.333 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.333 * [taylor]: Taking taylor expansion of x in x
0.334 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.334 * [taylor]: Taking taylor expansion of x in x
0.334 * [taylor]: Taking taylor expansion of 1.0 in x
0.335 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) in x
0.335 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.335 * [taylor]: Taking taylor expansion of 1.0 in x
0.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.335 * [taylor]: Taking taylor expansion of x in x
0.336 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.336 * [taylor]: Taking taylor expansion of 1.0 in x
0.345 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x))) in (x) around 0
0.345 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x))) in x
0.345 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.346 * [taylor]: Taking taylor expansion of x in x
0.346 * [taylor]: Taking taylor expansion of 1.0 in x
0.346 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.346 * [taylor]: Taking taylor expansion of 1.0 in x
0.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.346 * [taylor]: Taking taylor expansion of x in x
0.347 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x))) in x
0.347 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.347 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.347 * [taylor]: Taking taylor expansion of x in x
0.348 * [taylor]: Taking taylor expansion of 1.0 in x
0.348 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.348 * [taylor]: Taking taylor expansion of 1.0 in x
0.348 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.348 * [taylor]: Taking taylor expansion of x in x
0.372 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.372 * [approximate]: Taking taylor expansion of (sqrt (/ (- 1.0 x) (+ x 1.0))) in (x) around 0
0.372 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1.0 x) (+ x 1.0))) in x
0.372 * [taylor]: Taking taylor expansion of (/ (- 1.0 x) (+ x 1.0)) in x
0.372 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
0.372 * [taylor]: Taking taylor expansion of 1.0 in x
0.372 * [taylor]: Taking taylor expansion of x in x
0.372 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.372 * [taylor]: Taking taylor expansion of x in x
0.372 * [taylor]: Taking taylor expansion of 1.0 in x
0.377 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1.0 x) (+ x 1.0))) in x
0.377 * [taylor]: Taking taylor expansion of (/ (- 1.0 x) (+ x 1.0)) in x
0.377 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
0.377 * [taylor]: Taking taylor expansion of 1.0 in x
0.377 * [taylor]: Taking taylor expansion of x in x
0.377 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.377 * [taylor]: Taking taylor expansion of x in x
0.377 * [taylor]: Taking taylor expansion of 1.0 in x
0.399 * [approximate]: Taking taylor expansion of (sqrt (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0))) in (x) around 0
0.399 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0))) in x
0.399 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) in x
0.399 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.399 * [taylor]: Taking taylor expansion of 1.0 in x
0.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.399 * [taylor]: Taking taylor expansion of x in x
0.400 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.400 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.400 * [taylor]: Taking taylor expansion of x in x
0.400 * [taylor]: Taking taylor expansion of 1.0 in x
0.406 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0))) in x
0.406 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) in x
0.406 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.406 * [taylor]: Taking taylor expansion of 1.0 in x
0.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.406 * [taylor]: Taking taylor expansion of x in x
0.406 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.406 * [taylor]: Taking taylor expansion of x in x
0.406 * [taylor]: Taking taylor expansion of 1.0 in x
0.431 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x)))) in (x) around 0
0.431 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x)))) in x
0.431 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x))) in x
0.431 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.431 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.431 * [taylor]: Taking taylor expansion of x in x
0.431 * [taylor]: Taking taylor expansion of 1.0 in x
0.431 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.431 * [taylor]: Taking taylor expansion of 1.0 in x
0.431 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.431 * [taylor]: Taking taylor expansion of x in x
0.437 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x)))) in x
0.437 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x))) in x
0.437 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.437 * [taylor]: Taking taylor expansion of x in x
0.438 * [taylor]: Taking taylor expansion of 1.0 in x
0.438 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.438 * [taylor]: Taking taylor expansion of 1.0 in x
0.438 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.438 * [taylor]: Taking taylor expansion of x in x
0.467 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
0.467 * [approximate]: Taking taylor expansion of (atan (sqrt (/ (- 1.0 x) (+ x 1.0)))) in (x) around 0
0.467 * [taylor]: Taking taylor expansion of (atan (sqrt (/ (- 1.0 x) (+ x 1.0)))) in x
0.468 * [taylor]: Taking taylor expansion of (atan (sqrt (/ (- 1.0 x) (+ x 1.0)))) in x
0.469 * [approximate]: Taking taylor expansion of (atan (sqrt (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)))) in (x) around 0
0.469 * [taylor]: Taking taylor expansion of (atan (sqrt (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)))) in x
0.469 * [taylor]: Taking taylor expansion of (atan (sqrt (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)))) in x
0.469 * [approximate]: Taking taylor expansion of (atan (sqrt (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x))))) in (x) around 0
0.469 * [taylor]: Taking taylor expansion of (atan (sqrt (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x))))) in x
0.469 * [taylor]: Taking taylor expansion of (atan (sqrt (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x))))) in x
0.470 * * * [progress]: simplifying candidates
0.471 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- 1.0 x))
  (- (+ 1.0 x))
  (/ 1.0 (+ 1.0 x))
  (/ x (+ 1.0 x))
  (/ 1 (+ 1.0 x))
  (/ (+ 1.0 x) (- 1.0 x))
  (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3)))
  (/ (- 1.0 x) (- (* 1.0 1.0) (* x x)))
  (* (+ 1.0 x) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
  (* (+ 1.0 x) (+ 1.0 x))
  (sqrt (- 1.0 x))
  (sqrt (/ 1 (+ 1.0 x)))
  (sqrt (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (sqrt (/ (- 1.0 x) (- (* 1.0 1.0) (* x x))))
  (sqrt (- 1.0 x))
  (sqrt (- 1.0 x))
  (sqrt (+ 1.0 x))
  (sqrt (- (- 1.0 x)))
  (sqrt (- (+ 1.0 x)))
  (sqrt 1)
  (sqrt (/ (+ 1.0 x) (- 1.0 x)))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (+ 1.0 x) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
  (sqrt (- (* 1.0 1.0) (* x x)))
  (sqrt (* (+ 1.0 x) (+ 1.0 x)))
  (- (+ (* 2.0 (pow x 2)) 1.0) (* 2.0 x))
  (- (* 2.0 (/ 1 x)) (+ 1 (* 2.0 (/ 1 (pow x 2)))))
  (- (* 2.0 (/ 1 x)) (+ 1 (* 2.0 (/ 1 (pow x 2)))))
  (- (+ (sqrt 1.0) (* 1.0 (/ (pow x 2) (sqrt 1.0)))) (+ (* 0.5 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* 1.0 (/ x (sqrt 1.0)))))
  (- (+ (* 1.0 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (+ (* 1.0 (/ 1 (* (pow x 2) (sqrt -1)))) (* 0.5 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))))
  (- (+ (* 1.0 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (+ (* 1.0 (/ 1 (* (pow x 2) (sqrt -1)))) (* 0.5 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))))
  (atan (sqrt (/ (- 1.0 x) (+ x 1.0))))
  (atan (sqrt (/ (- 1.0 x) (+ x 1.0))))
  (atan (sqrt (/ (- 1.0 x) (+ x 1.0))))
0.474 * * [simplify]: iteration  0 :  216  enodes  (cost  174 )
0.478 * * [simplify]: iteration  1 :  640  enodes  (cost  171 )
0.491 * * [simplify]: iteration  2 :  2895  enodes  (cost  161 )
0.550 * * [simplify]: iteration  3 :  5001  enodes  (cost  157 )
0.552 * [simplify]: Simplified to:
   (- x 1.0)
  (- (+ 1.0 x))
  (/ 1.0 (+ x 1.0))
  (/ x (+ x 1.0))
  (/ 1 (+ 1.0 x))
  (/ (+ 1.0 x) (- 1.0 x))
  (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3)))
  (/ (- 1.0 x) (- (* 1.0 1.0) (* x x)))
  (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (+ 1.0 x))
  (* (+ 1.0 x) (+ 1.0 x))
  (sqrt (- 1.0 x))
  (sqrt (/ 1 (+ 1.0 x)))
  (sqrt (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (sqrt (/ (- 1.0 x) (- (* 1.0 1.0) (* x x))))
  (sqrt (- 1.0 x))
  (sqrt (- 1.0 x))
  (sqrt (+ 1.0 x))
  (sqrt (- (- 1.0 x)))
  (sqrt (- (+ 1.0 x)))
  1
  (sqrt (/ (+ 1.0 x) (- 1.0 x)))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (+ 1.0 x) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
  (sqrt (- (* 1.0 1.0) (* x x)))
  (fabs (+ 1.0 x))
  (fma 2.0 (- (pow x 2) x) 1.0)
  (fma (/ 1 x) (- 2.0 (/ 2.0 x)) (- 1))
  (fma (/ 1 x) (- 2.0 (/ 2.0 x)) (- 1))
  (- (* (/ (pow x 2) (sqrt 1.0)) (- 1.0 (/ 0.5 1.0))) (- (* 1.0 (/ x (sqrt 1.0))) (sqrt 1.0)))
  (- (sqrt -1) (- (* (/ 1 (pow x 2)) (+ (/ 1.0 (sqrt -1)) (/ 0.5 (pow (sqrt -1) 3)))) (/ 1.0 (* x (sqrt -1)))))
  (- (sqrt -1) (- (* (/ 1 (pow x 2)) (+ (/ 1.0 (sqrt -1)) (/ 0.5 (pow (sqrt -1) 3)))) (/ 1.0 (* x (sqrt -1)))))
  (atan (sqrt (/ (- 1.0 x) (+ x 1.0))))
  (atan (sqrt (/ (- 1.0 x) (+ x 1.0))))
  (atan (sqrt (/ (- 1.0 x) (+ x 1.0))))
0.552 * * * [progress]: adding candidates to table
0.621 * * [progress]: iteration 2 / 4
0.621 * * * [progress]: picking best candidate
0.624 * * * * [pick]: Picked  #<alt (λ (x) (* 2.0 (atan (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))))))>
0.624 * * * [progress]: localizing error
0.640 * * * [progress]: generating rewritten candidates
0.640 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
0.655 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.674 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2)
0.682 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.687 * * * [progress]: generating series expansions
0.687 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
0.689 * [approximate]: Taking taylor expansion of (/ (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) (+ (pow x 3) 1.0)) in (x) around 0
0.689 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) (+ (pow x 3) 1.0)) in x
0.689 * [taylor]: Taking taylor expansion of (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) in x
0.689 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) 1.0) (* 1.0 x)) in x
0.689 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x
0.689 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.689 * [taylor]: Taking taylor expansion of x in x
0.690 * [taylor]: Taking taylor expansion of 1.0 in x
0.690 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
0.690 * [taylor]: Taking taylor expansion of 1.0 in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.690 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
0.690 * [taylor]: Taking taylor expansion of 1.0 in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.690 * [taylor]: Taking taylor expansion of (+ (pow x 3) 1.0) in x
0.690 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.690 * [taylor]: Taking taylor expansion of 1.0 in x
0.692 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) (+ (pow x 3) 1.0)) in x
0.692 * [taylor]: Taking taylor expansion of (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) in x
0.692 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) 1.0) (* 1.0 x)) in x
0.692 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x
0.692 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.693 * [taylor]: Taking taylor expansion of x in x
0.693 * [taylor]: Taking taylor expansion of 1.0 in x
0.693 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
0.693 * [taylor]: Taking taylor expansion of 1.0 in x
0.693 * [taylor]: Taking taylor expansion of x in x
0.693 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
0.693 * [taylor]: Taking taylor expansion of 1.0 in x
0.693 * [taylor]: Taking taylor expansion of x in x
0.693 * [taylor]: Taking taylor expansion of (+ (pow x 3) 1.0) in x
0.693 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.693 * [taylor]: Taking taylor expansion of x in x
0.693 * [taylor]: Taking taylor expansion of 1.0 in x
0.708 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (+ (/ 1 (pow x 3)) 1.0)) in (x) around 0
0.708 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (+ (/ 1 (pow x 3)) 1.0)) in x
0.708 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) in x
0.708 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.708 * [taylor]: Taking taylor expansion of 1.0 in x
0.708 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.708 * [taylor]: Taking taylor expansion of x in x
0.708 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in x
0.708 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
0.708 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.708 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.708 * [taylor]: Taking taylor expansion of x in x
0.709 * [taylor]: Taking taylor expansion of 1.0 in x
0.709 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.709 * [taylor]: Taking taylor expansion of 1.0 in x
0.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.709 * [taylor]: Taking taylor expansion of x in x
0.709 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) 1.0) in x
0.709 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.709 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.709 * [taylor]: Taking taylor expansion of x in x
0.710 * [taylor]: Taking taylor expansion of 1.0 in x
0.712 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (+ (/ 1 (pow x 3)) 1.0)) in x
0.712 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) in x
0.712 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.712 * [taylor]: Taking taylor expansion of 1.0 in x
0.712 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.712 * [taylor]: Taking taylor expansion of x in x
0.712 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in x
0.712 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
0.713 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.713 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.713 * [taylor]: Taking taylor expansion of x in x
0.713 * [taylor]: Taking taylor expansion of 1.0 in x
0.713 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.713 * [taylor]: Taking taylor expansion of 1.0 in x
0.713 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.713 * [taylor]: Taking taylor expansion of x in x
0.713 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) 1.0) in x
0.713 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.713 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.713 * [taylor]: Taking taylor expansion of x in x
0.714 * [taylor]: Taking taylor expansion of 1.0 in x
0.734 * [approximate]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) (- 1.0 (/ 1 (pow x 3)))) in (x) around 0
0.734 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) (- 1.0 (/ 1 (pow x 3)))) in x
0.734 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) in x
0.734 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.734 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.734 * [taylor]: Taking taylor expansion of x in x
0.734 * [taylor]: Taking taylor expansion of 1.0 in x
0.734 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0)) in x
0.734 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.734 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.734 * [taylor]: Taking taylor expansion of x in x
0.735 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) 1.0) in x
0.735 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.735 * [taylor]: Taking taylor expansion of 1.0 in x
0.735 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.735 * [taylor]: Taking taylor expansion of x in x
0.735 * [taylor]: Taking taylor expansion of 1.0 in x
0.735 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x
0.735 * [taylor]: Taking taylor expansion of 1.0 in x
0.735 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.735 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.735 * [taylor]: Taking taylor expansion of x in x
0.737 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) (- 1.0 (/ 1 (pow x 3)))) in x
0.737 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) in x
0.737 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.737 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.737 * [taylor]: Taking taylor expansion of x in x
0.738 * [taylor]: Taking taylor expansion of 1.0 in x
0.738 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0)) in x
0.738 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.738 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.738 * [taylor]: Taking taylor expansion of x in x
0.738 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) 1.0) in x
0.738 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.738 * [taylor]: Taking taylor expansion of 1.0 in x
0.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.738 * [taylor]: Taking taylor expansion of x in x
0.739 * [taylor]: Taking taylor expansion of 1.0 in x
0.739 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x
0.739 * [taylor]: Taking taylor expansion of 1.0 in x
0.739 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.739 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.739 * [taylor]: Taking taylor expansion of x in x
0.761 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.762 * [approximate]: Taking taylor expansion of (sqrt (/ (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) (+ (pow x 3) 1.0))) in (x) around 0
0.762 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) (+ (pow x 3) 1.0))) in x
0.762 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) (+ (pow x 3) 1.0)) in x
0.762 * [taylor]: Taking taylor expansion of (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) in x
0.762 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) 1.0) (* 1.0 x)) in x
0.762 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x
0.762 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.762 * [taylor]: Taking taylor expansion of x in x
0.762 * [taylor]: Taking taylor expansion of 1.0 in x
0.762 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
0.762 * [taylor]: Taking taylor expansion of 1.0 in x
0.762 * [taylor]: Taking taylor expansion of x in x
0.762 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
0.762 * [taylor]: Taking taylor expansion of 1.0 in x
0.762 * [taylor]: Taking taylor expansion of x in x
0.762 * [taylor]: Taking taylor expansion of (+ (pow x 3) 1.0) in x
0.762 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.762 * [taylor]: Taking taylor expansion of x in x
0.762 * [taylor]: Taking taylor expansion of 1.0 in x
0.771 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) (+ (pow x 3) 1.0))) in x
0.771 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) (+ (pow x 3) 1.0)) in x
0.771 * [taylor]: Taking taylor expansion of (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) in x
0.771 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) 1.0) (* 1.0 x)) in x
0.771 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x
0.771 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of 1.0 in x
0.771 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
0.771 * [taylor]: Taking taylor expansion of 1.0 in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
0.771 * [taylor]: Taking taylor expansion of 1.0 in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of (+ (pow x 3) 1.0) in x
0.771 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of 1.0 in x
0.800 * [approximate]: Taking taylor expansion of (sqrt (/ (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (+ (/ 1 (pow x 3)) 1.0))) in (x) around 0
0.800 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (+ (/ 1 (pow x 3)) 1.0))) in x
0.800 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (+ (/ 1 (pow x 3)) 1.0)) in x
0.801 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) in x
0.801 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.801 * [taylor]: Taking taylor expansion of 1.0 in x
0.801 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.801 * [taylor]: Taking taylor expansion of x in x
0.801 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in x
0.801 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
0.801 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.801 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.801 * [taylor]: Taking taylor expansion of x in x
0.801 * [taylor]: Taking taylor expansion of 1.0 in x
0.801 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.801 * [taylor]: Taking taylor expansion of 1.0 in x
0.802 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.802 * [taylor]: Taking taylor expansion of x in x
0.802 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) 1.0) in x
0.802 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.802 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.802 * [taylor]: Taking taylor expansion of x in x
0.803 * [taylor]: Taking taylor expansion of 1.0 in x
0.813 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (+ (/ 1 (pow x 3)) 1.0))) in x
0.813 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (+ (/ 1 (pow x 3)) 1.0)) in x
0.813 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) in x
0.813 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.813 * [taylor]: Taking taylor expansion of 1.0 in x
0.813 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.813 * [taylor]: Taking taylor expansion of x in x
0.813 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in x
0.813 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
0.813 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.813 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.813 * [taylor]: Taking taylor expansion of x in x
0.814 * [taylor]: Taking taylor expansion of 1.0 in x
0.814 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.814 * [taylor]: Taking taylor expansion of 1.0 in x
0.814 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.814 * [taylor]: Taking taylor expansion of x in x
0.814 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) 1.0) in x
0.814 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.814 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.814 * [taylor]: Taking taylor expansion of x in x
0.815 * [taylor]: Taking taylor expansion of 1.0 in x
0.851 * [approximate]: Taking taylor expansion of (sqrt (/ (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) (- 1.0 (/ 1 (pow x 3))))) in (x) around 0
0.851 * [taylor]: Taking taylor expansion of (sqrt (/ (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) (- 1.0 (/ 1 (pow x 3))))) in x
0.851 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) (- 1.0 (/ 1 (pow x 3)))) in x
0.851 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) in x
0.851 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.851 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.851 * [taylor]: Taking taylor expansion of x in x
0.851 * [taylor]: Taking taylor expansion of 1.0 in x
0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0)) in x
0.852 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.852 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.852 * [taylor]: Taking taylor expansion of x in x
0.852 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) 1.0) in x
0.852 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.852 * [taylor]: Taking taylor expansion of 1.0 in x
0.852 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.852 * [taylor]: Taking taylor expansion of x in x
0.853 * [taylor]: Taking taylor expansion of 1.0 in x
0.853 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x
0.853 * [taylor]: Taking taylor expansion of 1.0 in x
0.853 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.853 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.853 * [taylor]: Taking taylor expansion of x in x
0.862 * [taylor]: Taking taylor expansion of (sqrt (/ (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) (- 1.0 (/ 1 (pow x 3))))) in x
0.862 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) (- 1.0 (/ 1 (pow x 3)))) in x
0.862 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) in x
0.862 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.862 * [taylor]: Taking taylor expansion of x in x
0.863 * [taylor]: Taking taylor expansion of 1.0 in x
0.863 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0)) in x
0.863 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.863 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.863 * [taylor]: Taking taylor expansion of x in x
0.863 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) 1.0) in x
0.863 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.863 * [taylor]: Taking taylor expansion of 1.0 in x
0.863 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.863 * [taylor]: Taking taylor expansion of x in x
0.864 * [taylor]: Taking taylor expansion of 1.0 in x
0.864 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x
0.864 * [taylor]: Taking taylor expansion of 1.0 in x
0.864 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.864 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.864 * [taylor]: Taking taylor expansion of x in x
0.895 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2)
0.896 * [approximate]: Taking taylor expansion of (- (+ (pow x 2) 1.0) (* 1.0 x)) in (x) around 0
0.896 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) 1.0) (* 1.0 x)) in x
0.896 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x
0.896 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.896 * [taylor]: Taking taylor expansion of x in x
0.896 * [taylor]: Taking taylor expansion of 1.0 in x
0.896 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
0.896 * [taylor]: Taking taylor expansion of 1.0 in x
0.896 * [taylor]: Taking taylor expansion of x in x
0.896 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) 1.0) (* 1.0 x)) in x
0.896 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x
0.896 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.896 * [taylor]: Taking taylor expansion of x in x
0.896 * [taylor]: Taking taylor expansion of 1.0 in x
0.896 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
0.896 * [taylor]: Taking taylor expansion of 1.0 in x
0.896 * [taylor]: Taking taylor expansion of x in x
0.901 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in (x) around 0
0.901 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in x
0.901 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
0.901 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.901 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.901 * [taylor]: Taking taylor expansion of x in x
0.902 * [taylor]: Taking taylor expansion of 1.0 in x
0.902 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.902 * [taylor]: Taking taylor expansion of 1.0 in x
0.902 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.902 * [taylor]: Taking taylor expansion of x in x
0.902 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in x
0.902 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
0.902 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.902 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.902 * [taylor]: Taking taylor expansion of x in x
0.903 * [taylor]: Taking taylor expansion of 1.0 in x
0.903 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.903 * [taylor]: Taking taylor expansion of 1.0 in x
0.903 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.903 * [taylor]: Taking taylor expansion of x in x
0.910 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0)) in (x) around 0
0.910 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0)) in x
0.910 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.910 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.910 * [taylor]: Taking taylor expansion of x in x
0.910 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) 1.0) in x
0.910 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.910 * [taylor]: Taking taylor expansion of 1.0 in x
0.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.910 * [taylor]: Taking taylor expansion of x in x
0.911 * [taylor]: Taking taylor expansion of 1.0 in x
0.911 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0)) in x
0.911 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.911 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.911 * [taylor]: Taking taylor expansion of x in x
0.911 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) 1.0) in x
0.911 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.911 * [taylor]: Taking taylor expansion of 1.0 in x
0.911 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.911 * [taylor]: Taking taylor expansion of x in x
0.912 * [taylor]: Taking taylor expansion of 1.0 in x
0.916 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.917 * [approximate]: Taking taylor expansion of (atan (sqrt (/ (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) (+ (pow x 3) 1.0)))) in (x) around 0
0.917 * [taylor]: Taking taylor expansion of (atan (sqrt (/ (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) (+ (pow x 3) 1.0)))) in x
0.917 * [taylor]: Taking taylor expansion of (atan (sqrt (/ (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) (+ (pow x 3) 1.0)))) in x
0.919 * [approximate]: Taking taylor expansion of (atan (sqrt (/ (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (+ (/ 1 (pow x 3)) 1.0)))) in (x) around 0
0.919 * [taylor]: Taking taylor expansion of (atan (sqrt (/ (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (+ (/ 1 (pow x 3)) 1.0)))) in x
0.920 * [taylor]: Taking taylor expansion of (atan (sqrt (/ (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (+ (/ 1 (pow x 3)) 1.0)))) in x
0.922 * [approximate]: Taking taylor expansion of (atan (sqrt (/ (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) (- 1.0 (/ 1 (pow x 3)))))) in (x) around 0
0.922 * [taylor]: Taking taylor expansion of (atan (sqrt (/ (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) (- 1.0 (/ 1 (pow x 3)))))) in x
0.922 * [taylor]: Taking taylor expansion of (atan (sqrt (/ (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) (- 1.0 (/ 1 (pow x 3)))))) in x
0.923 * * * [progress]: simplifying candidates
0.925 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- 1.0 x) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3)))
  (* (+ (pow 1.0 3) (pow x 3)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x))))))
  (* (- 1.0 x) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x)))))
  (* (+ (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (* (- (- 1.0 x)) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3)))
  (* (- (+ (pow 1.0 3) (pow x 3))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x))))))
  (* (- (- 1.0 x)) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x)))))
  (* (- (+ (pow 1.0 3) (pow x 3))) (- (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (* 1 (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3)))
  (* (/ (+ (pow 1.0 3) (pow x 3)) (- 1.0 x)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x))))))
  (* 1 (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x)))))
  (* (/ (+ (pow 1.0 3) (pow x 3)) (- 1.0 x)) (- (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (* (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3)))
  (* (+ 1.0 x) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x))))))
  (* (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x)))))
  (* (+ 1.0 x) (- (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (* (- (pow 1.0 3) (pow x 3)) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3)))
  (* (* (+ (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x))))))
  (* (- (pow 1.0 3) (pow x 3)) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x)))))
  (* (* (+ (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (- (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (* (- (* 1.0 1.0) (* x x)) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3)))
  (* (* (+ (pow 1.0 3) (pow x 3)) (+ 1.0 x)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x))))))
  (* (- (* 1.0 1.0) (* x x)) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x)))))
  (* (* (+ (pow 1.0 3) (pow x 3)) (+ 1.0 x)) (- (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* 1.0 1.0))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (- (* x x) (* 1.0 x)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (fma x x (- (* x 1.0)))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma (- x) 1.0 (* x 1.0)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (fma x x (- (* 1.0 x)))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma (- 1.0) x (* 1.0 x)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (fma x x (- (* x 1.0)))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma (- x) 1.0 (* x 1.0)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (fma x x (- (* 1.0 x)))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma (- 1.0) x (* 1.0 x)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (* x x)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (- (* 1.0 x)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (* x x)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (- (* 1.0 x)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (- (* x x) (* 1.0 x)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* 1.0 1.0))
  (* (* 1.0 1.0) (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (* (- (* x x) (* 1.0 x)) (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (* (+ (* 1.0 1.0) (fma x x (- (* x 1.0)))) (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (* (fma (- x) 1.0 (* x 1.0)) (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (* (+ (* 1.0 1.0) (fma x x (- (* 1.0 x)))) (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (* (fma (- 1.0) x (* 1.0 x)) (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (* (+ (* 1.0 1.0) (fma x x (- (* x 1.0)))) (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (* (fma (- x) 1.0 (* x 1.0)) (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (* (+ (* 1.0 1.0) (fma x x (- (* 1.0 x)))) (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (* (fma (- 1.0) x (* 1.0 x)) (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (* (+ (* 1.0 1.0) (* x x)) (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (* (- (* 1.0 x)) (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (* (+ (* 1.0 1.0) (* x x)) (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (* (- (* 1.0 x)) (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (* (- (* x x) (* 1.0 x)) (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (* (* 1.0 1.0) (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (* (/ 1 (+ (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (* (+ (* (pow 1.0 3) (pow 1.0 3)) (- (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (* (- (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x)))))
  (* (- 1.0 x) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (* (- (- 1.0 x)) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (* 1 (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (* (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (* (- (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (* (- (* 1.0 1.0) (* x x)) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (sqrt (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (sqrt (- 1.0 x))
  (sqrt (* (/ 1 (+ (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (/ (- 1.0 x) (+ (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (sqrt (* (+ (* (pow 1.0 3) (pow 1.0 3)) (- (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (sqrt (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (- 1.0 x) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3))))
  (sqrt (* (+ (pow 1.0 3) (pow x 3)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x)))))))
  (sqrt (* (- 1.0 x) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))))))
  (sqrt (* (+ (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (* (- (- 1.0 x)) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3))))
  (sqrt (* (- (+ (pow 1.0 3) (pow x 3))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x)))))))
  (sqrt (* (- (- 1.0 x)) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))))))
  (sqrt (* (- (+ (pow 1.0 3) (pow x 3))) (- (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (* 1 (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3))))
  (sqrt (* (/ (+ (pow 1.0 3) (pow x 3)) (- 1.0 x)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x)))))))
  (sqrt (* 1 (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))))))
  (sqrt (* (/ (+ (pow 1.0 3) (pow x 3)) (- 1.0 x)) (- (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (* (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3))))
  (sqrt (* (+ 1.0 x) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x)))))))
  (sqrt (* (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))))))
  (sqrt (* (+ 1.0 x) (- (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3))))
  (sqrt (* (* (+ (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x)))))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))))))
  (sqrt (* (* (+ (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (- (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (* (- (* 1.0 1.0) (* x x)) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3))))
  (sqrt (* (* (+ (pow 1.0 3) (pow x 3)) (+ 1.0 x)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x)))))))
  (sqrt (* (- (* 1.0 1.0) (* x x)) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))))))
  (sqrt (* (* (+ (pow 1.0 3) (pow x 3)) (+ 1.0 x)) (- (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3))))
  (sqrt (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))))))
  (sqrt (- (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (sqrt (* (- 1.0 x) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (+ (pow 1.0 3) (pow x 3)))
  (sqrt (* (- (- 1.0 x)) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (- (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* 1 (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (/ (+ (pow 1.0 3) (pow x 3)) (- 1.0 x)))
  (sqrt (* (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (+ 1.0 x))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (* (+ (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
  (sqrt (* (- (* 1.0 1.0) (* x x)) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (* (+ (pow 1.0 3) (pow x 3)) (+ 1.0 x)))
  (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3))
  (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))))
  (- (* 1.0 1.0) (- (* x x) (* 1.0 x)))
  (+ (* 1.0 1.0) (fma x x (- (* x 1.0))))
  (+ (* 1.0 1.0) (fma x x (- (* 1.0 x))))
  (+ (* 1.0 1.0) (fma x x (- (* x 1.0))))
  (+ (* 1.0 1.0) (fma x x (- (* 1.0 x))))
  (+ (* 1.0 1.0) (* x x))
  (+ (* 1.0 1.0) (* x x))
  (+ (* 1.0 1.0) (* x x))
  (- (+ (* 2.0 (pow x 2)) 1.0) (* 2.0 x))
  (- (* 2.0 (/ 1 x)) (+ 1 (* 2.0 (/ 1 (pow x 2)))))
  (- (* 2.0 (/ 1 x)) (+ 1 (* 2.0 (/ 1 (pow x 2)))))
  (- (+ (sqrt 1.0) (* 1.0 (/ (pow x 2) (sqrt 1.0)))) (+ (* 0.5 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* 1.0 (/ x (sqrt 1.0)))))
  (- (+ (* 1.0 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (+ (* 1.0 (/ 1 (* (pow x 2) (sqrt -1)))) (* 0.5 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))))
  (- (+ (* 1.0 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (+ (* 1.0 (/ 1 (* (pow x 2) (sqrt -1)))) (* 0.5 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))))
  (- (+ (pow x 2) 1.0) (* 1.0 x))
  (- (+ (pow x 2) 1.0) (* 1.0 x))
  (- (+ (pow x 2) 1.0) (* 1.0 x))
  (atan (sqrt (/ (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) (+ (pow x 3) 1.0))))
  (atan (sqrt (/ (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) (+ (pow x 3) 1.0))))
  (atan (sqrt (/ (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) (+ (pow x 3) 1.0))))
0.939 * * [simplify]: iteration  0 :  634  enodes  (cost  1449 )
0.951 * * [simplify]: iteration  1 :  2851  enodes  (cost  1387 )
1.003 * * [simplify]: iteration  2 :  5002  enodes  (cost  1358 )
1.010 * [simplify]: Simplified to:
   (fma (- 1.0 x) (pow 1.0 6) (* (- 1.0 x) (pow (* x (- x 1.0)) 3)))
  (* (+ (* (* x (- x 1.0)) (- (* x (- x 1.0)) (* 1.0 1.0))) (* (pow 1.0 3) 1.0)) (+ (pow 1.0 3) (pow x 3)))
  (* (fma x (- x 1.0) (* 1.0 1.0)) (* (fma (+ 1.0 x) (- 1.0 x) (* 1.0 x)) (- 1.0 x)))
  (* (+ (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (* (- (- 1.0 x)) (+ (pow (* x (- x 1.0)) 3) (pow 1.0 6)))
  (* (- (fma (pow 1.0 3) 1.0 (* (* x (- x 1.0)) (- (* x (- x 1.0)) (* 1.0 1.0))))) (+ (pow 1.0 3) (pow x 3)))
  (* (- (- 1.0 x)) (fma (* (- x) (- x 1.0)) (* x (- x 1.0)) (pow 1.0 4)))
  (* (- (fma (+ 1.0 x) (- 1.0 x) (* 1.0 x))) (+ (pow 1.0 3) (pow x 3)))
  (+ (pow (* x (- x 1.0)) 3) (pow 1.0 6))
  (/ (+ (pow 1.0 3) (pow x 3)) (/ (- 1.0 x) (fma (pow 1.0 3) 1.0 (* (* x (- x 1.0)) (- (* x (- x 1.0)) (* 1.0 1.0))))))
  (fma (* (- x) (- x 1.0)) (* x (- x 1.0)) (pow 1.0 4))
  (/ (fma (+ 1.0 x) (- 1.0 x) (* 1.0 x)) (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (/ (* (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3)) (- 1.0 x)) (fma x (- x 1.0) (* 1.0 1.0)))
  (* (+ (* (* x (- x 1.0)) (- (* x (- x 1.0)) (* 1.0 1.0))) (* (pow 1.0 3) 1.0)) (+ 1.0 x))
  (* (* (/ (- 1.0 x) 1) (/ (fma x (- x 1.0) (* 1.0 1.0)) (fma x (- x 1.0) (* 1.0 1.0)))) (fma (+ 1.0 x) (- 1.0 x) (* 1.0 x)))
  (* (+ 1.0 x) (- (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (* (- (pow 1.0 3) (pow x 3)) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3)))
  (* (* (fma (pow 1.0 3) 1.0 (* (* x (- x 1.0)) (- (* x (- x 1.0)) (* 1.0 1.0)))) (fma 1.0 1.0 (fma x x (* 1.0 x)))) (+ (pow 1.0 3) (pow x 3)))
  (* (fma x (- x 1.0) (* 1.0 1.0)) (* (fma (+ 1.0 x) (- 1.0 x) (* 1.0 x)) (- (pow 1.0 3) (pow x 3))))
  (* (* (fma (+ 1.0 x) (- 1.0 x) (* 1.0 x)) (fma 1.0 1.0 (fma x x (* 1.0 x)))) (+ (pow 1.0 3) (pow x 3)))
  (* (- (* 1.0 1.0) (* x x)) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3)))
  (* (+ (* (* x (- x 1.0)) (- (* x (- x 1.0)) (* 1.0 1.0))) (* (pow 1.0 3) 1.0)) (* (+ (pow 1.0 3) (pow x 3)) (+ 1.0 x)))
  (* (fma x (- x 1.0) (* 1.0 1.0)) (* (fma (+ 1.0 x) (- 1.0 x) (* 1.0 x)) (- (* 1.0 1.0) (* x x))))
  (* (* (+ (pow 1.0 3) (pow x 3)) (+ 1.0 x)) (- (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* 1.0 1.0))
  (* (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) x) (- x 1.0))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma x (- x 1.0) (* 1.0 1.0)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma (- 1.0) x (* 1.0 x)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma x (- x 1.0) (* 1.0 1.0)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma (- 1.0) x (* 1.0 x)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma x (- x 1.0) (* 1.0 1.0)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma (- 1.0) x (* 1.0 x)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma x (- x 1.0) (* 1.0 1.0)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma (- 1.0) x (* 1.0 x)))
  (/ (* (- 1.0 x) (fma 1.0 1.0 (* x x))) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (- (* 1.0 x)))
  (/ (* (- 1.0 x) (fma 1.0 1.0 (* x x))) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (- (* 1.0 x)))
  (* (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) x) (- x 1.0))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* 1.0 1.0))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* 1.0 1.0))
  (* (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) x) (- x 1.0))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma x (- x 1.0) (* 1.0 1.0)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma (- 1.0) x (* 1.0 x)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma x (- x 1.0) (* 1.0 1.0)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma (- 1.0) x (* 1.0 x)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma x (- x 1.0) (* 1.0 1.0)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma (- 1.0) x (* 1.0 x)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma x (- x 1.0) (* 1.0 1.0)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma (- 1.0) x (* 1.0 x)))
  (/ (* (- 1.0 x) (fma 1.0 1.0 (* x x))) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (- (* 1.0 x)))
  (/ (* (- 1.0 x) (fma 1.0 1.0 (* x x))) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (- (* 1.0 x)))
  (* (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) x) (- x 1.0))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* 1.0 1.0))
  (/ (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (+ (pow 1.0 3) (pow x 3)))
  (* (* (fma (pow x 3) (- (pow x 3) (pow 1.0 3)) (pow 1.0 6)) 1) (fma x (- x 1.0) (* 1.0 1.0)))
  (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3)))
  (* (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma x (- x 1.0) (* 1.0 1.0))) (fma (+ 1.0 x) (- 1.0 x) (* 1.0 x)))
  (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- 1.0 x))
  (* (- (fma x (- x 1.0) (* 1.0 1.0))) (- 1.0 x))
  (fma x (- x 1.0) (* 1.0 1.0))
  (- 1.0 x)
  (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))
  (* (* (fma x (- x 1.0) (* 1.0 1.0)) (+ 1.0 x)) (- 1.0 x))
  (sqrt (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (sqrt (- 1.0 x))
  (sqrt (* (/ 1 (+ (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (/ (- 1.0 x) (+ (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (sqrt (* (+ (* (pow 1.0 3) (pow 1.0 3)) (- (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (sqrt (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (- 1.0 x) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3))))
  (sqrt (* (+ (pow 1.0 3) (pow x 3)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x)))))))
  (sqrt (* (- 1.0 x) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))))))
  (sqrt (* (+ (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (* (- (- 1.0 x)) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3))))
  (sqrt (* (- (+ (pow 1.0 3) (pow x 3))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x)))))))
  (sqrt (* (- (- 1.0 x)) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))))))
  (sqrt (* (- (+ (pow 1.0 3) (pow x 3))) (- (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (hypot (pow 1.0 3) (pow (- (* x x) (* 1.0 x)) 3/2))
  (sqrt (* (/ (+ (pow 1.0 3) (pow x 3)) (- 1.0 x)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x)))))))
  (sqrt (* 1 (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))))))
  (sqrt (* (/ (+ (pow 1.0 3) (pow x 3)) (- 1.0 x)) (- (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (* (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3))))
  (sqrt (* (+ 1.0 x) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x)))))))
  (sqrt (* (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))))))
  (sqrt (* (+ 1.0 x) (- (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3))))
  (sqrt (* (* (+ (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x)))))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))))))
  (sqrt (* (* (+ (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (- (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (* (- (* 1.0 1.0) (* x x)) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3))))
  (sqrt (* (* (+ (pow 1.0 3) (pow x 3)) (+ 1.0 x)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x)))))))
  (sqrt (* (- (* 1.0 1.0) (* x x)) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))))))
  (sqrt (* (* (+ (pow 1.0 3) (pow x 3)) (+ 1.0 x)) (- (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3))))
  (sqrt (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))))))
  (sqrt (- (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (sqrt (* (- 1.0 x) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (hypot (pow x 3/2) (pow 1.0 3/2))
  (sqrt (* (- (- 1.0 x)) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (- (+ (pow 1.0 3) (pow x 3))))
  (sqrt (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (sqrt (/ (+ (pow 1.0 3) (pow x 3)) (- 1.0 x)))
  (sqrt (- 1.0 x))
  (sqrt (+ 1.0 x))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (* (+ (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
  (sqrt (* (- (* 1.0 1.0) (* x x)) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
  (sqrt (* (+ (pow 1.0 3) (pow x 3)) (+ 1.0 x)))
  (+ (pow (* x (- x 1.0)) 3) (pow 1.0 6))
  (fma x (* (- x 1.0) (- (* x (- x 1.0)) (* 1.0 1.0))) (pow 1.0 4))
  (fma (* (- x) (- x 1.0)) (* x (- x 1.0)) (pow 1.0 4))
  (fma (+ 1.0 x) (- 1.0 x) (* 1.0 x))
  (fma x (- x 1.0) (* 1.0 1.0))
  (fma x (- x 1.0) (* 1.0 1.0))
  (fma x (- x 1.0) (* 1.0 1.0))
  (fma x (- x 1.0) (* 1.0 1.0))
  (fma 1.0 1.0 (* x x))
  (fma 1.0 1.0 (* x x))
  (fma 1.0 1.0 (* x x))
  (fma (pow x 2) 2.0 (- 1.0 (* 2.0 x)))
  (- (* 2.0 (/ 1 x)) (+ 1 (* 2.0 (/ 1 (pow x 2)))))
  (- (* 2.0 (/ 1 x)) (+ 1 (* 2.0 (/ 1 (pow x 2)))))
  (fma 1.0 (/ (pow x 2) (sqrt 1.0)) (- (sqrt 1.0) (fma 0.5 (/ (pow x 2) (pow (sqrt 1.0) 3)) (* 1.0 (/ x (sqrt 1.0))))))
  (fma 1.0 (/ 1 (* x (sqrt -1))) (- (sqrt -1) (fma 1.0 (/ 1 (* (pow x 2) (sqrt -1))) (* 0.5 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))))
  (fma 1.0 (/ 1 (* x (sqrt -1))) (- (sqrt -1) (fma 1.0 (/ 1 (* (pow x 2) (sqrt -1))) (* 0.5 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))))
  (fma x x (- 1.0 (* 1.0 x)))
  (fma x x (- 1.0 (* 1.0 x)))
  (fma x x (- 1.0 (* 1.0 x)))
  (atan (sqrt (/ (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) (+ (pow x 3) 1.0))))
  (atan (sqrt (/ (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) (+ (pow x 3) 1.0))))
  (atan (sqrt (/ (* (- (+ (pow x 2) 1.0) (* 1.0 x)) (- 1.0 x)) (+ (pow x 3) 1.0))))
1.011 * * * [progress]: adding candidates to table
1.327 * * [progress]: iteration 3 / 4
1.327 * * * [progress]: picking best candidate
1.331 * * * * [pick]: Picked  #<alt (λ (x) (* 2.0 (atan (sqrt (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))))))>
1.331 * * * [progress]: localizing error
1.351 * * * [progress]: generating rewritten candidates
1.351 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 2 2)
1.356 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
1.383 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.415 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2 1)
1.437 * * * [progress]: generating series expansions
1.437 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 2 2)
1.437 * [approximate]: Taking taylor expansion of (pow x 6) in (x) around 0
1.437 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.437 * [taylor]: Taking taylor expansion of x in x
1.437 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.437 * [taylor]: Taking taylor expansion of x in x
1.449 * [approximate]: Taking taylor expansion of (/ 1 (pow x 6)) in (x) around 0
1.449 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.449 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.449 * [taylor]: Taking taylor expansion of x in x
1.450 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.450 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.450 * [taylor]: Taking taylor expansion of x in x
1.465 * [approximate]: Taking taylor expansion of (/ 1 (pow x 6)) in (x) around 0
1.465 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.465 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.465 * [taylor]: Taking taylor expansion of x in x
1.466 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.466 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.466 * [taylor]: Taking taylor expansion of x in x
1.481 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
1.483 * [approximate]: Taking taylor expansion of (/ (* (fma 1.0 1.0 (- (pow x 2) (* 1.0 x))) (* (- 1.0 (pow x 3)) (- 1.0 x))) (- 1.0 (pow x 6))) in (x) around 0
1.483 * [taylor]: Taking taylor expansion of (/ (* (fma 1.0 1.0 (- (pow x 2) (* 1.0 x))) (* (- 1.0 (pow x 3)) (- 1.0 x))) (- 1.0 (pow x 6))) in x
1.483 * [taylor]: Taking taylor expansion of (* (fma 1.0 1.0 (- (pow x 2) (* 1.0 x))) (* (- 1.0 (pow x 3)) (- 1.0 x))) in x
1.483 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (pow x 2) (* 1.0 x))) in x
1.483 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (pow x 2) (* 1.0 x)))
1.483 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
1.483 * [taylor]: Taking taylor expansion of 1.0 in x
1.483 * [taylor]: Taking taylor expansion of 1.0 in x
1.483 * [taylor]: Taking taylor expansion of (- (pow x 2) (* 1.0 x)) in x
1.483 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.483 * [taylor]: Taking taylor expansion of x in x
1.483 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.483 * [taylor]: Taking taylor expansion of 1.0 in x
1.483 * [taylor]: Taking taylor expansion of x in x
1.484 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow x 3)) (- 1.0 x)) in x
1.484 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 3)) in x
1.484 * [taylor]: Taking taylor expansion of 1.0 in x
1.484 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.484 * [taylor]: Taking taylor expansion of x in x
1.484 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
1.484 * [taylor]: Taking taylor expansion of 1.0 in x
1.484 * [taylor]: Taking taylor expansion of x in x
1.484 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 6)) in x
1.484 * [taylor]: Taking taylor expansion of 1.0 in x
1.484 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.484 * [taylor]: Taking taylor expansion of x in x
1.487 * [taylor]: Taking taylor expansion of (/ (* (fma 1.0 1.0 (- (pow x 2) (* 1.0 x))) (* (- 1.0 (pow x 3)) (- 1.0 x))) (- 1.0 (pow x 6))) in x
1.487 * [taylor]: Taking taylor expansion of (* (fma 1.0 1.0 (- (pow x 2) (* 1.0 x))) (* (- 1.0 (pow x 3)) (- 1.0 x))) in x
1.487 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (pow x 2) (* 1.0 x))) in x
1.487 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (pow x 2) (* 1.0 x)))
1.487 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
1.487 * [taylor]: Taking taylor expansion of 1.0 in x
1.487 * [taylor]: Taking taylor expansion of 1.0 in x
1.487 * [taylor]: Taking taylor expansion of (- (pow x 2) (* 1.0 x)) in x
1.487 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.487 * [taylor]: Taking taylor expansion of x in x
1.488 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.488 * [taylor]: Taking taylor expansion of 1.0 in x
1.488 * [taylor]: Taking taylor expansion of x in x
1.488 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow x 3)) (- 1.0 x)) in x
1.488 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 3)) in x
1.488 * [taylor]: Taking taylor expansion of 1.0 in x
1.488 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.488 * [taylor]: Taking taylor expansion of x in x
1.488 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
1.488 * [taylor]: Taking taylor expansion of 1.0 in x
1.488 * [taylor]: Taking taylor expansion of x in x
1.488 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 6)) in x
1.488 * [taylor]: Taking taylor expansion of 1.0 in x
1.488 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.488 * [taylor]: Taking taylor expansion of x in x
1.515 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 (pow x 3))) (* (- 1.0 (/ 1 x)) (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) (- 1.0 (/ 1 (pow x 6)))) in (x) around 0
1.515 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 (pow x 3))) (* (- 1.0 (/ 1 x)) (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) (- 1.0 (/ 1 (pow x 6)))) in x
1.515 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow x 3))) (* (- 1.0 (/ 1 x)) (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) in x
1.515 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x
1.515 * [taylor]: Taking taylor expansion of 1.0 in x
1.515 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.515 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.515 * [taylor]: Taking taylor expansion of x in x
1.515 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) in x
1.516 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.516 * [taylor]: Taking taylor expansion of 1.0 in x
1.516 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.516 * [taylor]: Taking taylor expansion of x in x
1.516 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x
1.516 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))
1.516 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
1.516 * [taylor]: Taking taylor expansion of 1.0 in x
1.516 * [taylor]: Taking taylor expansion of 1.0 in x
1.516 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x
1.516 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.516 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.516 * [taylor]: Taking taylor expansion of x in x
1.517 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.517 * [taylor]: Taking taylor expansion of 1.0 in x
1.517 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.517 * [taylor]: Taking taylor expansion of x in x
1.517 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 6))) in x
1.517 * [taylor]: Taking taylor expansion of 1.0 in x
1.517 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.517 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.517 * [taylor]: Taking taylor expansion of x in x
1.521 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 (pow x 3))) (* (- 1.0 (/ 1 x)) (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) (- 1.0 (/ 1 (pow x 6)))) in x
1.521 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow x 3))) (* (- 1.0 (/ 1 x)) (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) in x
1.521 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x
1.521 * [taylor]: Taking taylor expansion of 1.0 in x
1.521 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.521 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.521 * [taylor]: Taking taylor expansion of x in x
1.522 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) in x
1.522 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.522 * [taylor]: Taking taylor expansion of 1.0 in x
1.522 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.522 * [taylor]: Taking taylor expansion of x in x
1.522 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x
1.522 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))
1.522 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
1.522 * [taylor]: Taking taylor expansion of 1.0 in x
1.522 * [taylor]: Taking taylor expansion of 1.0 in x
1.522 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x
1.522 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.522 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.522 * [taylor]: Taking taylor expansion of x in x
1.523 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.523 * [taylor]: Taking taylor expansion of 1.0 in x
1.523 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.523 * [taylor]: Taking taylor expansion of x in x
1.523 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 6))) in x
1.523 * [taylor]: Taking taylor expansion of 1.0 in x
1.523 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.523 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.523 * [taylor]: Taking taylor expansion of x in x
1.553 * [approximate]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (* (+ (/ 1 (pow x 3)) 1.0) (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) (- 1.0 (/ 1 (pow x 6)))) in (x) around 0
1.553 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (* (+ (/ 1 (pow x 3)) 1.0) (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) (- 1.0 (/ 1 (pow x 6)))) in x
1.553 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (* (+ (/ 1 (pow x 3)) 1.0) (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) in x
1.553 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
1.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.553 * [taylor]: Taking taylor expansion of x in x
1.553 * [taylor]: Taking taylor expansion of 1.0 in x
1.553 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 3)) 1.0) (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) in x
1.553 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) 1.0) in x
1.553 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.553 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.553 * [taylor]: Taking taylor expansion of x in x
1.554 * [taylor]: Taking taylor expansion of 1.0 in x
1.554 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x
1.554 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))
1.554 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
1.554 * [taylor]: Taking taylor expansion of 1.0 in x
1.554 * [taylor]: Taking taylor expansion of 1.0 in x
1.554 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x
1.554 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.554 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.554 * [taylor]: Taking taylor expansion of x in x
1.555 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.555 * [taylor]: Taking taylor expansion of 1.0 in x
1.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.555 * [taylor]: Taking taylor expansion of x in x
1.555 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 6))) in x
1.555 * [taylor]: Taking taylor expansion of 1.0 in x
1.555 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.555 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.555 * [taylor]: Taking taylor expansion of x in x
1.559 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (* (+ (/ 1 (pow x 3)) 1.0) (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) (- 1.0 (/ 1 (pow x 6)))) in x
1.559 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (* (+ (/ 1 (pow x 3)) 1.0) (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) in x
1.559 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
1.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.559 * [taylor]: Taking taylor expansion of x in x
1.559 * [taylor]: Taking taylor expansion of 1.0 in x
1.559 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 3)) 1.0) (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) in x
1.559 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) 1.0) in x
1.559 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.559 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.559 * [taylor]: Taking taylor expansion of x in x
1.560 * [taylor]: Taking taylor expansion of 1.0 in x
1.560 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x
1.560 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))
1.560 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
1.560 * [taylor]: Taking taylor expansion of 1.0 in x
1.560 * [taylor]: Taking taylor expansion of 1.0 in x
1.560 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x
1.560 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.560 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.560 * [taylor]: Taking taylor expansion of x in x
1.561 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.561 * [taylor]: Taking taylor expansion of 1.0 in x
1.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.561 * [taylor]: Taking taylor expansion of x in x
1.561 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 6))) in x
1.561 * [taylor]: Taking taylor expansion of 1.0 in x
1.561 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.561 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.561 * [taylor]: Taking taylor expansion of x in x
1.590 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.592 * [approximate]: Taking taylor expansion of (sqrt (/ (* (- 1.0 x) (* (- 1.0 (pow x 3)) (fma 1.0 1.0 (- (pow x 2) (* 1.0 x))))) (- 1.0 (pow x 6)))) in (x) around 0
1.592 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- 1.0 x) (* (- 1.0 (pow x 3)) (fma 1.0 1.0 (- (pow x 2) (* 1.0 x))))) (- 1.0 (pow x 6)))) in x
1.592 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 x) (* (- 1.0 (pow x 3)) (fma 1.0 1.0 (- (pow x 2) (* 1.0 x))))) (- 1.0 (pow x 6))) in x
1.592 * [taylor]: Taking taylor expansion of (* (- 1.0 x) (* (- 1.0 (pow x 3)) (fma 1.0 1.0 (- (pow x 2) (* 1.0 x))))) in x
1.592 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
1.592 * [taylor]: Taking taylor expansion of 1.0 in x
1.592 * [taylor]: Taking taylor expansion of x in x
1.592 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow x 3)) (fma 1.0 1.0 (- (pow x 2) (* 1.0 x)))) in x
1.592 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 3)) in x
1.592 * [taylor]: Taking taylor expansion of 1.0 in x
1.592 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.592 * [taylor]: Taking taylor expansion of x in x
1.593 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (pow x 2) (* 1.0 x))) in x
1.593 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (pow x 2) (* 1.0 x)))
1.593 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
1.593 * [taylor]: Taking taylor expansion of 1.0 in x
1.593 * [taylor]: Taking taylor expansion of 1.0 in x
1.593 * [taylor]: Taking taylor expansion of (- (pow x 2) (* 1.0 x)) in x
1.593 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.593 * [taylor]: Taking taylor expansion of x in x
1.593 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.593 * [taylor]: Taking taylor expansion of 1.0 in x
1.593 * [taylor]: Taking taylor expansion of x in x
1.593 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 6)) in x
1.593 * [taylor]: Taking taylor expansion of 1.0 in x
1.593 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.593 * [taylor]: Taking taylor expansion of x in x
1.605 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- 1.0 x) (* (- 1.0 (pow x 3)) (fma 1.0 1.0 (- (pow x 2) (* 1.0 x))))) (- 1.0 (pow x 6)))) in x
1.605 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 x) (* (- 1.0 (pow x 3)) (fma 1.0 1.0 (- (pow x 2) (* 1.0 x))))) (- 1.0 (pow x 6))) in x
1.605 * [taylor]: Taking taylor expansion of (* (- 1.0 x) (* (- 1.0 (pow x 3)) (fma 1.0 1.0 (- (pow x 2) (* 1.0 x))))) in x
1.605 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
1.605 * [taylor]: Taking taylor expansion of 1.0 in x
1.605 * [taylor]: Taking taylor expansion of x in x
1.605 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow x 3)) (fma 1.0 1.0 (- (pow x 2) (* 1.0 x)))) in x
1.605 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 3)) in x
1.605 * [taylor]: Taking taylor expansion of 1.0 in x
1.605 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.605 * [taylor]: Taking taylor expansion of x in x
1.605 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (pow x 2) (* 1.0 x))) in x
1.605 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (pow x 2) (* 1.0 x)))
1.605 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
1.605 * [taylor]: Taking taylor expansion of 1.0 in x
1.605 * [taylor]: Taking taylor expansion of 1.0 in x
1.605 * [taylor]: Taking taylor expansion of (- (pow x 2) (* 1.0 x)) in x
1.605 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.605 * [taylor]: Taking taylor expansion of x in x
1.605 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.605 * [taylor]: Taking taylor expansion of 1.0 in x
1.605 * [taylor]: Taking taylor expansion of x in x
1.605 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 6)) in x
1.605 * [taylor]: Taking taylor expansion of 1.0 in x
1.605 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.605 * [taylor]: Taking taylor expansion of x in x
1.639 * [approximate]: Taking taylor expansion of (sqrt (/ (* (- 1.0 (/ 1 (pow x 3))) (* (- 1.0 (/ 1 x)) (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) (- 1.0 (/ 1 (pow x 6))))) in (x) around 0
1.640 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- 1.0 (/ 1 (pow x 3))) (* (- 1.0 (/ 1 x)) (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) (- 1.0 (/ 1 (pow x 6))))) in x
1.640 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 (pow x 3))) (* (- 1.0 (/ 1 x)) (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) (- 1.0 (/ 1 (pow x 6)))) in x
1.640 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow x 3))) (* (- 1.0 (/ 1 x)) (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) in x
1.640 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x
1.640 * [taylor]: Taking taylor expansion of 1.0 in x
1.640 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.640 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.640 * [taylor]: Taking taylor expansion of x in x
1.640 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) in x
1.640 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.640 * [taylor]: Taking taylor expansion of 1.0 in x
1.640 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.641 * [taylor]: Taking taylor expansion of x in x
1.641 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x
1.641 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))
1.641 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
1.641 * [taylor]: Taking taylor expansion of 1.0 in x
1.641 * [taylor]: Taking taylor expansion of 1.0 in x
1.641 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x
1.641 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.641 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.641 * [taylor]: Taking taylor expansion of x in x
1.642 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.642 * [taylor]: Taking taylor expansion of 1.0 in x
1.642 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.642 * [taylor]: Taking taylor expansion of x in x
1.642 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 6))) in x
1.642 * [taylor]: Taking taylor expansion of 1.0 in x
1.642 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.642 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.642 * [taylor]: Taking taylor expansion of x in x
1.657 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- 1.0 (/ 1 (pow x 3))) (* (- 1.0 (/ 1 x)) (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) (- 1.0 (/ 1 (pow x 6))))) in x
1.657 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 (pow x 3))) (* (- 1.0 (/ 1 x)) (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) (- 1.0 (/ 1 (pow x 6)))) in x
1.657 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow x 3))) (* (- 1.0 (/ 1 x)) (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) in x
1.657 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x
1.657 * [taylor]: Taking taylor expansion of 1.0 in x
1.657 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.658 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.658 * [taylor]: Taking taylor expansion of x in x
1.658 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) in x
1.658 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.658 * [taylor]: Taking taylor expansion of 1.0 in x
1.658 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.658 * [taylor]: Taking taylor expansion of x in x
1.659 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x
1.659 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))
1.659 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
1.659 * [taylor]: Taking taylor expansion of 1.0 in x
1.659 * [taylor]: Taking taylor expansion of 1.0 in x
1.659 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x
1.659 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.659 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.659 * [taylor]: Taking taylor expansion of x in x
1.659 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.659 * [taylor]: Taking taylor expansion of 1.0 in x
1.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.659 * [taylor]: Taking taylor expansion of x in x
1.660 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 6))) in x
1.660 * [taylor]: Taking taylor expansion of 1.0 in x
1.660 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.660 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.660 * [taylor]: Taking taylor expansion of x in x
1.708 * [approximate]: Taking taylor expansion of (sqrt (/ (* (+ (/ 1 x) 1.0) (* (+ (/ 1 (pow x 3)) 1.0) (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) (- 1.0 (/ 1 (pow x 6))))) in (x) around 0
1.708 * [taylor]: Taking taylor expansion of (sqrt (/ (* (+ (/ 1 x) 1.0) (* (+ (/ 1 (pow x 3)) 1.0) (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) (- 1.0 (/ 1 (pow x 6))))) in x
1.708 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (* (+ (/ 1 (pow x 3)) 1.0) (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) (- 1.0 (/ 1 (pow x 6)))) in x
1.708 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (* (+ (/ 1 (pow x 3)) 1.0) (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) in x
1.708 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
1.708 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.708 * [taylor]: Taking taylor expansion of x in x
1.709 * [taylor]: Taking taylor expansion of 1.0 in x
1.709 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 3)) 1.0) (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) in x
1.709 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) 1.0) in x
1.709 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.709 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.709 * [taylor]: Taking taylor expansion of x in x
1.710 * [taylor]: Taking taylor expansion of 1.0 in x
1.710 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x
1.710 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))
1.710 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
1.710 * [taylor]: Taking taylor expansion of 1.0 in x
1.710 * [taylor]: Taking taylor expansion of 1.0 in x
1.710 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x
1.710 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.710 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.710 * [taylor]: Taking taylor expansion of x in x
1.710 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.710 * [taylor]: Taking taylor expansion of 1.0 in x
1.710 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.710 * [taylor]: Taking taylor expansion of x in x
1.711 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 6))) in x
1.711 * [taylor]: Taking taylor expansion of 1.0 in x
1.711 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.711 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.711 * [taylor]: Taking taylor expansion of x in x
1.724 * [taylor]: Taking taylor expansion of (sqrt (/ (* (+ (/ 1 x) 1.0) (* (+ (/ 1 (pow x 3)) 1.0) (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) (- 1.0 (/ 1 (pow x 6))))) in x
1.724 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (* (+ (/ 1 (pow x 3)) 1.0) (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) (- 1.0 (/ 1 (pow x 6)))) in x
1.724 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (* (+ (/ 1 (pow x 3)) 1.0) (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) in x
1.724 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
1.724 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.724 * [taylor]: Taking taylor expansion of x in x
1.724 * [taylor]: Taking taylor expansion of 1.0 in x
1.724 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 3)) 1.0) (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) in x
1.724 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) 1.0) in x
1.724 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.725 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.725 * [taylor]: Taking taylor expansion of x in x
1.725 * [taylor]: Taking taylor expansion of 1.0 in x
1.725 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x
1.725 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))
1.725 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
1.725 * [taylor]: Taking taylor expansion of 1.0 in x
1.726 * [taylor]: Taking taylor expansion of 1.0 in x
1.726 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x
1.726 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.726 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.726 * [taylor]: Taking taylor expansion of x in x
1.726 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.726 * [taylor]: Taking taylor expansion of 1.0 in x
1.726 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.726 * [taylor]: Taking taylor expansion of x in x
1.726 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 6))) in x
1.726 * [taylor]: Taking taylor expansion of 1.0 in x
1.726 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.726 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.726 * [taylor]: Taking taylor expansion of x in x
1.771 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2 1)
1.771 * [approximate]: Taking taylor expansion of (fma 1.0 1.0 (- (pow x 2) (* 1.0 x))) in (x) around 0
1.771 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (pow x 2) (* 1.0 x))) in x
1.771 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (pow x 2) (* 1.0 x)))
1.771 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
1.771 * [taylor]: Taking taylor expansion of 1.0 in x
1.771 * [taylor]: Taking taylor expansion of 1.0 in x
1.771 * [taylor]: Taking taylor expansion of (- (pow x 2) (* 1.0 x)) in x
1.771 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.771 * [taylor]: Taking taylor expansion of x in x
1.771 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.771 * [taylor]: Taking taylor expansion of 1.0 in x
1.771 * [taylor]: Taking taylor expansion of x in x
1.771 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (pow x 2) (* 1.0 x))) in x
1.771 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (pow x 2) (* 1.0 x)))
1.771 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
1.771 * [taylor]: Taking taylor expansion of 1.0 in x
1.771 * [taylor]: Taking taylor expansion of 1.0 in x
1.771 * [taylor]: Taking taylor expansion of (- (pow x 2) (* 1.0 x)) in x
1.771 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.771 * [taylor]: Taking taylor expansion of x in x
1.771 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.771 * [taylor]: Taking taylor expansion of 1.0 in x
1.771 * [taylor]: Taking taylor expansion of x in x
1.778 * [approximate]: Taking taylor expansion of (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in (x) around 0
1.778 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x
1.778 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))
1.778 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
1.778 * [taylor]: Taking taylor expansion of 1.0 in x
1.778 * [taylor]: Taking taylor expansion of 1.0 in x
1.778 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x
1.778 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.778 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.778 * [taylor]: Taking taylor expansion of x in x
1.779 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.779 * [taylor]: Taking taylor expansion of 1.0 in x
1.779 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.779 * [taylor]: Taking taylor expansion of x in x
1.779 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x
1.779 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))
1.779 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
1.779 * [taylor]: Taking taylor expansion of 1.0 in x
1.779 * [taylor]: Taking taylor expansion of 1.0 in x
1.779 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x
1.779 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.779 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.779 * [taylor]: Taking taylor expansion of x in x
1.780 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.780 * [taylor]: Taking taylor expansion of 1.0 in x
1.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.780 * [taylor]: Taking taylor expansion of x in x
1.787 * [approximate]: Taking taylor expansion of (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in (x) around 0
1.787 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x
1.787 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))
1.787 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
1.787 * [taylor]: Taking taylor expansion of 1.0 in x
1.787 * [taylor]: Taking taylor expansion of 1.0 in x
1.787 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x
1.787 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.787 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.787 * [taylor]: Taking taylor expansion of x in x
1.788 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.788 * [taylor]: Taking taylor expansion of 1.0 in x
1.788 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.788 * [taylor]: Taking taylor expansion of x in x
1.788 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x
1.788 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))
1.788 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
1.788 * [taylor]: Taking taylor expansion of 1.0 in x
1.788 * [taylor]: Taking taylor expansion of 1.0 in x
1.788 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x
1.788 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.788 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.788 * [taylor]: Taking taylor expansion of x in x
1.789 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.789 * [taylor]: Taking taylor expansion of 1.0 in x
1.789 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.789 * [taylor]: Taking taylor expansion of x in x
1.794 * * * [progress]: simplifying candidates
1.799 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ 3 3)
  (* x x)
  (+ (* (log x) 3) (* (log x) 3))
  (* (* x x) (* x x))
  (* x x)
  (* (pow x (/ 3 2)) (pow x (/ 3 2)))
  (* (pow x (/ 3 2)) (pow x (/ 3 2)))
  (* (pow x (/ 3 2)) (pow x (/ 3 2)))
  (* (pow x (/ 3 2)) (pow x (/ 3 2)))
  (* 2 3)
  (* (pow x 3) (* x x))
  (* (pow x 3) (pow x (/ 3 2)))
  (* x (pow x 3))
  (* (pow x (/ 3 2)) (pow x 3))
  (* (- 1.0 x) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (- 1.0 x) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ (pow 1.0 3) (pow x 3)))
  (* (- (- 1.0 x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (- (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (- (- 1.0 x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (- (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (+ (pow 1.0 3) (pow x 3)))
  (* 1 (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (/ (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (- 1.0 x)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* 1 (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (/ (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (- 1.0 x)) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (* x x) (* x x)) (* (* 1.0 1.0) (* x x))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (- (* 1.0 1.0) (* x x)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (/ (- 1.0 x) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (* x x) (* x x)) (* (* 1.0 1.0) (* x x))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (- (* 1.0 1.0) (* x x)) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (- (pow 1.0 3) (pow x 3)) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (- (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (- (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (- (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (- (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (- (pow 1.0 3) (pow x 3)) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3)) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3)) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3)) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3)) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (- (pow 1.0 3) (pow x 3)) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (- (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (- (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (- (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (- (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (- (pow 1.0 3) (pow x 3)) (+ (pow 1.0 3) (pow x 3)))
  (* (- (pow 1.0 3) (pow x 3)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (- (pow 1.0 3) (pow x 3)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (+ (pow 1.0 3) (pow x 3)))
  (* (- (* 1.0 1.0) (* x x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ 1.0 x)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (* (- (* 1.0 1.0) (* x x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ 1.0 x)) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (fma (* 1.0 1.0) 1.0 (- (* x (* x x))))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (fma (- x) (* x x) (* x (* x x)))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (fma (* 1.0 1.0) 1.0 (- (* (pow x (/ 3 2)) (pow x (/ 3 2)))))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (fma (- (pow x (/ 3 2))) (pow x (/ 3 2)) (* (pow x (/ 3 2)) (pow x (/ 3 2))))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* x (* x x))))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (fma (- x) (* x x) (* x (* x x)))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (pow x (/ 3 2)) (pow x (/ 3 2)))))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (fma (- (pow x (/ 3 2))) (pow x (/ 3 2)) (* (pow x (/ 3 2)) (pow x (/ 3 2))))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (pow 1.0 3)))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow x 3))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (pow 1.0 3)))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow x 3))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma (* 1.0 1.0) 1.0 (- (* x (* x x)))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma (- x) (* x x) (* x (* x x))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma (* 1.0 1.0) 1.0 (- (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma (- (pow x (/ 3 2))) (pow x (/ 3 2)) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* x (* x x)))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma (- x) (* x x) (* x (* x x))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma (- (pow x (/ 3 2))) (pow x (/ 3 2)) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (pow 1.0 3) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (- (pow x 3)) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (pow 1.0 3) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (- (pow x 3)) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (* (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (fma (* 1.0 1.0) 1.0 (- (* x (* x x))))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (fma (- x) (* x x) (* x (* x x)))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (fma (* 1.0 1.0) 1.0 (- (* (pow x (/ 3 2)) (pow x (/ 3 2)))))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (fma (- (pow x (/ 3 2))) (pow x (/ 3 2)) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* x (* x x))))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (fma (- x) (* x x) (* x (* x x)))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (pow x (/ 3 2)) (pow x (/ 3 2)))))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (fma (- (pow x (/ 3 2))) (pow x (/ 3 2)) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (pow 1.0 3)) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow x 3))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (pow 1.0 3)) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow x 3))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (fma (* 1.0 1.0) 1.0 (- (* x (* x x)))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (fma (- x) (* x x) (* x (* x x))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (fma (* 1.0 1.0) 1.0 (- (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (fma (- (pow x (/ 3 2))) (pow x (/ 3 2)) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* x (* x x)))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (fma (- x) (* x x) (* x (* x x))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (fma (- (pow x (/ 3 2))) (pow x (/ 3 2)) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (pow 1.0 3) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (- (pow x 3)) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (pow 1.0 3) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (* (- (pow x 3)) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))) (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (+ (pow 1.0 (/ 3 2)) (pow x (/ 3 2)))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (- (pow 1.0 3) (pow x 3)))
  (* (/ 1 (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (+ (* (* (pow 1.0 3) (pow 1.0 3)) (* (pow 1.0 3) (pow 1.0 3))) (+ (* (* (pow x 3) (pow x 3)) (* (pow x 3) (pow x 3))) (* (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (+ (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (* (- 1.0 x) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (- (- 1.0 x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* 1 (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (* x x) (* x x)) (* (* 1.0 1.0) (* x x))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (- (pow 1.0 3) (pow x 3)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (- (* 1.0 1.0) (* x x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (sqrt (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (sqrt (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))))
  (sqrt (- 1.0 x))
  (sqrt (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (+ (pow 1.0 (/ 3 2)) (pow x (/ 3 2))))))
  (sqrt (- (pow 1.0 (/ 3 2)) (pow x (/ 3 2))))
  (sqrt (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (- (pow 1.0 3) (pow x 3))))
  (sqrt (fma 1.0 1.0 (- (* x x) (* 1.0 x))))
  (sqrt (- 1.0 x))
  (sqrt (* (/ 1 (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (/ (- 1.0 x) (- (pow (* (pow 1.0 3) (pow 1.0 3)) 3) (pow (* (pow x 3) (pow x 3)) 3))))
  (sqrt (* (+ (* (* (pow 1.0 3) (pow 1.0 3)) (* (pow 1.0 3) (pow 1.0 3))) (+ (* (* (pow x 3) (pow x 3)) (* (pow x 3) (pow x 3))) (* (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (/ (- 1.0 x) (- (* (* (pow 1.0 3) (pow 1.0 3)) (* (pow 1.0 3) (pow 1.0 3))) (* (* (pow x 3) (pow x 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (+ (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (sqrt (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (sqrt (* (- 1.0 x) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (- 1.0 x) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (- (- 1.0 x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (- (- 1.0 x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* 1 (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (/ (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (- 1.0 x)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* 1 (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (/ (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (- 1.0 x)) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (* x x) (* x x)) (* (* 1.0 1.0) (* x x))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (* 1.0 1.0) (* x x)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (* x x) (* x x)) (* (* 1.0 1.0) (* x x))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (* 1.0 1.0) (* x x)) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3)) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3)) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3)) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3)) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2)))) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (- (* 1.0 1.0) (* x x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ 1.0 x)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (- (* 1.0 1.0) (* x x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ 1.0 x)) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (sqrt (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (+ (pow 1.0 3) (pow x 3)))
  (sqrt (* (- 1.0 x) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))
  (sqrt (* (- (- 1.0 x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (sqrt (* 1 (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (/ (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (- 1.0 x)))
  (sqrt (* (/ (- 1.0 x) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (* x x) (* x x)) (* (* 1.0 1.0) (* x x))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (* 1.0 1.0) (* x x)))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2)))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2)))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2)))))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2)))))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2)))))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (* (pow x (/ 3 2)) (pow x (/ 3 2)))))
  (sqrt (* (/ (- 1.0 x) (+ (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (* (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2))) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2)))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (* (pow x (/ 3 2)) (pow x (/ 3 2)))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
  (sqrt (* (- (* 1.0 1.0) (* x x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ 1.0 x)))
  (* 1.0 1.0)
  (pow x 6)
  (pow x 6)
  (pow x 6)
  (- (+ (* 2.0 (pow x 2)) 1.0) (* 2.0 x))
  (- (* 2.0 (/ 1 x)) (+ 1 (* 2.0 (/ 1 (pow x 2)))))
  (- (* 2.0 (/ 1 x)) (+ 1 (* 2.0 (/ 1 (pow x 2)))))
  (- (+ (sqrt 1.0) (* 1.0 (/ (pow x 2) (sqrt 1.0)))) (+ (* 0.5 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* 1.0 (/ x (sqrt 1.0)))))
  (- (+ (* 1.0 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (+ (* 1.0 (/ 1 (* (pow x 2) (sqrt -1)))) (* 0.5 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))))
  (- (+ (* 1.0 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (+ (* 1.0 (/ 1 (* (pow x 2) (sqrt -1)))) (* 0.5 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))))
  (- (+ (pow x 2) 1.0) (* 1.0 x))
  (- (+ (pow x 2) 1.0) (* 1.0 x))
  (- (+ (pow x 2) 1.0) (* 1.0 x))
1.823 * * [simplify]: iteration  0 :  982  enodes  (cost  4684 )
1.839 * * [simplify]: iteration  1 :  4452  enodes  (cost  4369 )
1.922 * * [simplify]: iteration  2 :  5001  enodes  (cost  4353 )
1.941 * [simplify]: Simplified to:
   6
  (pow x 2)
  (* (log x) 6)
  (pow x 4)
  (pow x 2)
  (pow x 3)
  (pow x 3)
  (pow x 3)
  (pow x 3)
  6
  (* (pow x 4) x)
  (pow (pow x 3/2) 3)
  (pow x 4)
  (pow (pow x 3/2) 3)
  (* (- 1.0 x) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (+ (* (pow x 3) (+ (pow x 3) (pow 1.0 3))) (pow 1.0 6)) (+ (pow 1.0 6) (- (* (pow x 3) (pow x 3)))))
  (* (- (pow 1.0 6) (pow x 6)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (* (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))) (+ (pow x 3) (pow 1.0 3)))
  (* (- (- 1.0 x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (- (fma (pow x 3) (+ (pow x 3) (pow 1.0 3)) (pow 1.0 6))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (* (- (pow 1.0 6) (pow x 6)) (* (- (- 1.0 x)) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (* (- (+ (pow x 3) (pow 1.0 3))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))
  (/ (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))) (/ (- 1.0 x) (fma (pow x 3) (+ (pow x 3) (pow 1.0 3)) (pow 1.0 6))))
  (* (- (pow 1.0 6) (pow x 6)) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))
  (/ (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))) (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))))
  (/ (* (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))) (- 1.0 x)) (fma (pow 1.0 3) 1.0 (* (pow x 2) (+ (pow x 2) (* 1.0 1.0)))))
  (* (* (fma (pow x 3) (+ (pow x 3) (pow 1.0 3)) (pow 1.0 6)) (+ 1.0 x)) (- 1.0 x))
  (* (- (pow 1.0 6) (pow x 6)) (/ (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))) (fma (pow 1.0 3) 1.0 (* (pow x 2) (+ (pow x 2) (* 1.0 1.0))))))
  (* (- (* 1.0 1.0) (* x x)) (+ (pow 1.0 3) (pow x 3)))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (fma (pow x 3) (- (pow 1.0 6) (pow x 6)) (* (pow 1.0 6) (- (pow 1.0 3) (pow x 3))))
  (* (- (pow 1.0 6) (pow x 6)) (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (- (pow 1.0 6) (pow x 6))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (fma (pow x 3) (- (pow 1.0 6) (pow x 6)) (* (pow 1.0 6) (- (pow 1.0 3) (pow x 3))))
  (* (- (pow 1.0 6) (pow x 6)) (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (- (pow 1.0 6) (pow x 6))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (fma (pow x 3) (- (pow 1.0 6) (pow x 6)) (* (pow 1.0 6) (- (pow 1.0 3) (pow x 3))))
  (* (- (pow 1.0 6) (pow x 6)) (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (- (pow 1.0 6) (pow x 6))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (fma (pow x 3) (- (pow 1.0 6) (pow x 6)) (* (pow 1.0 6) (- (pow 1.0 3) (pow x 3))))
  (* (- (pow 1.0 6) (pow x 6)) (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (- (pow 1.0 6) (pow x 6))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (fma (pow x 3) (- (pow 1.0 6) (pow x 6)) (* (pow 1.0 6) (- (pow 1.0 3) (pow x 3))))
  (* (- (pow 1.0 6) (pow x 6)) (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (- (pow 1.0 6) (pow x 6))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (fma (pow x 3) (- (pow 1.0 6) (pow x 6)) (* (pow 1.0 6) (- (pow 1.0 3) (pow x 3))))
  (* (- (pow 1.0 6) (pow x 6)) (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (- (pow 1.0 6) (pow x 6))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (fma (pow x 3) (- (pow 1.0 6) (pow x 6)) (* (pow 1.0 6) (- (pow 1.0 3) (pow x 3))))
  (* (- (pow 1.0 6) (pow x 6)) (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (- (pow 1.0 6) (pow x 6))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (fma (pow x 3) (- (pow 1.0 6) (pow x 6)) (* (pow 1.0 6) (- (pow 1.0 3) (pow x 3))))
  (* (- (pow 1.0 6) (pow x 6)) (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (- (pow 1.0 6) (pow x 6))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (fma (pow x 3) (- (pow 1.0 6) (pow x 6)) (* (pow 1.0 6) (- (pow 1.0 3) (pow x 3))))
  (* (- (pow 1.0 6) (pow x 6)) (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (- (pow 1.0 6) (pow x 6))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (fma (pow x 3) (- (pow 1.0 6) (pow x 6)) (* (pow 1.0 6) (- (pow 1.0 3) (pow x 3))))
  (* (- (pow 1.0 6) (pow x 6)) (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (- (pow 1.0 6) (pow x 6))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (fma (pow x 3) (- (pow 1.0 6) (pow x 6)) (* (pow 1.0 6) (- (pow 1.0 3) (pow x 3))))
  (* (- (pow 1.0 6) (pow x 6)) (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (- (pow 1.0 6) (pow x 6))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (fma (pow x 3) (- (pow 1.0 6) (pow x 6)) (* (pow 1.0 6) (- (pow 1.0 3) (pow x 3))))
  (* (- (pow 1.0 6) (pow x 6)) (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (- (pow 1.0 6) (pow x 6))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (fma (pow x 3) (- (pow 1.0 6) (pow x 6)) (* (pow 1.0 6) (- (pow 1.0 3) (pow x 3))))
  (* (- (pow 1.0 6) (pow x 6)) (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (- (pow 1.0 6) (pow x 6))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (fma (pow x 3) (- (pow 1.0 6) (pow x 6)) (* (pow 1.0 6) (- (pow 1.0 3) (pow x 3))))
  (* (- (pow 1.0 6) (pow x 6)) (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (- (pow 1.0 6) (pow x 6))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (fma (pow x 3) (- (pow 1.0 6) (pow x 6)) (* (pow 1.0 6) (- (pow 1.0 3) (pow x 3))))
  (* (- (pow 1.0 6) (pow x 6)) (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (- (pow 1.0 6) (pow x 6))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (fma (pow x 3) (- (pow 1.0 6) (pow x 6)) (* (pow 1.0 6) (- (pow 1.0 3) (pow x 3))))
  (* (- (pow 1.0 6) (pow x 6)) (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (- (pow 1.0 6) (pow x 6))
  (* (- (pow 1.0 3) (pow x 3)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (* (fma (pow x 3) (+ (pow x 3) (pow 1.0 3)) (pow 1.0 6)) (fma 1.0 1.0 (fma x x (* 1.0 x)))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (* (* (- (pow 1.0 3) (pow x 3)) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (* (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (+ (pow 1.0 3) (pow x 3))) (- (pow 1.0 6) (pow x 6)))
  (* (- (* 1.0 1.0) (* x x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))))
  (* (* (fma (pow x 3) (+ (pow x 3) (pow 1.0 3)) (pow 1.0 6)) (+ 1.0 x)) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (* (- (pow 1.0 6) (pow x 6)) (* (- (* 1.0 1.0) (* x x)) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (* (* (+ 1.0 x) (+ (pow 1.0 3) (pow x 3))) (- (pow 1.0 6) (pow x 6)))
  (/ (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (* (- 1.0 x) (- (pow 1.0 3) (pow x 3)))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma (- x) (pow x 2) (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (* (- 1.0 x) (- (pow 1.0 3) (pow x 3)))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma (- x) (pow x 2) (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (* (- 1.0 x) (- (pow 1.0 3) (pow x 3)))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma (- x) (pow x 2) (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (* (- 1.0 x) (- (pow 1.0 3) (pow x 3)))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma (- x) (pow x 2) (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (pow 1.0 3) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (- (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (pow 1.0 3) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (- (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (* (- 1.0 x) (- (pow 1.0 3) (pow x 3)))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma (- x) (pow x 2) (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (* (- 1.0 x) (- (pow 1.0 3) (pow x 3)))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma (- x) (pow x 2) (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (* (- 1.0 x) (- (pow 1.0 3) (pow x 3)))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma (- x) (pow x 2) (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (* (- 1.0 x) (- (pow 1.0 3) (pow x 3)))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma (- x) (pow x 2) (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (pow 1.0 3) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (- (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (pow 1.0 3) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (- (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (* (- 1.0 x) (- (pow 1.0 3) (pow x 3)))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma (- x) (pow x 2) (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (* (- 1.0 x) (- (pow 1.0 3) (pow x 3)))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma (- x) (pow x 2) (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (* (- 1.0 x) (- (pow 1.0 3) (pow x 3)))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma (- x) (pow x 2) (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (* (- 1.0 x) (- (pow 1.0 3) (pow x 3)))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma (- x) (pow x 2) (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (pow 1.0 3) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (- (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (pow 1.0 3) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (- (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (* (- 1.0 x) (- (pow 1.0 3) (pow x 3)))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma (- x) (pow x 2) (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (* (- 1.0 x) (- (pow 1.0 3) (pow x 3)))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma (- x) (pow x 2) (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (* (- 1.0 x) (- (pow 1.0 3) (pow x 3)))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma (- x) (pow x 2) (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (* (- 1.0 x) (- (pow 1.0 3) (pow x 3)))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma (- x) (pow x 2) (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (pow 1.0 3) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (- (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (pow 1.0 3) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (- (pow x 3)) (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x))))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- 1.0 x)) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))) (- 1.0 x)) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (+ (pow 1.0 3/2) (pow x 3/2))) (- 1.0 x)) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (- (pow 1.0 3) (pow x 3)) (- 1.0 x)) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (/ (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))) (- (pow 1.0 3) (pow x 3))))
  (* (* (+ (+ (pow 1.0 12) (* (pow x 6) (pow 1.0 6))) (pow x 12)) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))) (- (pow 1.0 3) (pow x 3)))
  (* (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))) (+ (pow x 6) (pow 1.0 6)))
  (/ (* (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3))) (- 1.0 x)) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))))
  (/ (* (- 1.0 x) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))) (/ (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6))) (fma (pow 1.0 3) (pow 1.0 3) (- (pow x 6)))))
  (* (- 1.0 x) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (- (- 1.0 x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))
  (/ (* (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))) (- 1.0 x)) (fma (pow 1.0 3) 1.0 (* (pow x 2) (+ (pow x 2) (* 1.0 1.0)))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (- (pow 1.0 3) (pow x 3)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (* (- (* 1.0 1.0) (* x x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (sqrt (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (sqrt (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (fma 1.0 1.0 (- (* x x) (* 1.0 x)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))))
  (sqrt (- 1.0 x))
  (sqrt (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (+ (pow 1.0 3/2) (pow x 3/2)))))
  (sqrt (- (pow 1.0 3/2) (pow x 3/2)))
  (sqrt (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (- (pow 1.0 3) (pow x 3))))
  (sqrt (fma 1.0 1.0 (- (* x x) (* 1.0 x))))
  (sqrt (- 1.0 x))
  (sqrt (* (/ 1 (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (/ (- 1.0 x) (- (pow (* (pow 1.0 3) (pow 1.0 3)) 3) (pow (* (pow x 3) (pow x 3)) 3))))
  (sqrt (* (+ (* (* (pow 1.0 3) (pow 1.0 3)) (* (pow 1.0 3) (pow 1.0 3))) (+ (* (* (pow x 3) (pow x 3)) (* (pow x 3) (pow x 3))) (* (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (/ (- 1.0 x) (- (* (* (pow 1.0 3) (pow 1.0 3)) (* (pow 1.0 3) (pow 1.0 3))) (* (* (pow x 3) (pow x 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (+ (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (sqrt (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (sqrt (* (- 1.0 x) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (- 1.0 x) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (- (- 1.0 x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (- (- 1.0 x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* 1 (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (/ (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (- 1.0 x)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* 1 (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (/ (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (- 1.0 x)) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (* x x) (* x x)) (* (* 1.0 1.0) (* x x))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (* 1.0 1.0) (* x x)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (* x x) (* x x)) (* (* 1.0 1.0) (* x x))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (- (* 1.0 1.0) (* x x)) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (- (* 1.0 1.0) (* x x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (* (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ 1.0 x)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3))))))
  (sqrt (* (- (* 1.0 1.0) (* x x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (sqrt (* (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ 1.0 x)) (+ (pow 1.0 3) (pow x 3))))
  (sqrt (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))))
  (sqrt (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))))
  (sqrt (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))))
  (hypot (pow x 3/2) (pow 1.0 3/2))
  (sqrt (* (- 1.0 x) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))
  (sqrt (* (- (- 1.0 x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))))
  (sqrt (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3))))
  (sqrt (/ (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (- 1.0 x)))
  (sqrt (* (/ (- 1.0 x) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (* x x) (* x x)) (* (* 1.0 1.0) (* x x))))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (* 1.0 1.0) (* x x)))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (/ (- 1.0 x) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (- (pow 1.0 3) (pow x 3)))
  (sqrt (* (- (pow 1.0 3) (pow x 3)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
  (sqrt (* (- (* 1.0 1.0) (* x x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))
  (sqrt (* (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))) (+ 1.0 x)))
  (* 1.0 1.0)
  (pow x 6)
  (pow x 6)
  (pow x 6)
  (fma (pow x 2) 2.0 (- 1.0 (* 2.0 x)))
  (- (* 2.0 (/ 1 x)) (+ 1 (* 2.0 (/ 1 (pow x 2)))))
  (- (* 2.0 (/ 1 x)) (+ 1 (* 2.0 (/ 1 (pow x 2)))))
  (+ (sqrt 1.0) (- (* 1.0 (/ (pow x 2) (sqrt 1.0))) (fma 0.5 (/ (pow x 2) (pow (sqrt 1.0) 3)) (* 1.0 (/ x (sqrt 1.0))))))
  (fma 1.0 (/ 1 (* x (sqrt -1))) (- (sqrt -1) (fma 1.0 (/ 1 (* (pow x 2) (sqrt -1))) (* 0.5 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))))
  (fma 1.0 (/ 1 (* x (sqrt -1))) (- (sqrt -1) (fma 1.0 (/ 1 (* (pow x 2) (sqrt -1))) (* 0.5 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))))
  (fma x x (- 1.0 (* 1.0 x)))
  (fma x x (- 1.0 (* 1.0 x)))
  (fma x x (- 1.0 (* 1.0 x)))
1.944 * * * [progress]: adding candidates to table
2.407 * [progress]: [Phase 3 of 3] Extracting.
2.411 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 2.0 (atan (sqrt (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))))
2.411 * * [simplify]: iteration  0 :  25  enodes  (cost  21 )
2.412 * * [simplify]: iteration  1 :  25  enodes  (cost  21 )
2.412 * [simplify]: Simplified to:
   (* 2.0 (atan (sqrt (* (/ (- 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3)))) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- (pow 1.0 3) (pow x 3)))))))
3.244 * [regime-testing]: End program error score: 0.012251531441430178