20.043 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.009 * * * [progress]: [2/2] Setting up program.
0.010 * [progress]: [Phase 2 of 3] Improving.
0.010 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 x 3) x)
0.026 * * [simplify]: iteration  0 :  10  enodes  (cost  7 )
0.026 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
0.027 * [simplify]: Simplified to:
   (*.f64 x (*.f64 x 3))
0.028 * * [progress]: iteration 1 / 4
0.028 * * * [progress]: picking best candidate
0.028 * * * * [pick]: Picked  #<alt (λ (x) (*.f64 (*.f64 x 3) x))>
0.028 * * * [progress]: localizing error
0.031 * * * [progress]: generating rewritten candidates
0.031 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.037 * * * [progress]: generating series expansions
0.037 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.037 * [approximate]: Taking taylor expansion of (* 3 (pow x 2)) in (x) around 0
0.037 * [taylor]: Taking taylor expansion of (* 3 (pow x 2)) in x
0.037 * [taylor]: Taking taylor expansion of 3 in x
0.037 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.037 * [taylor]: Taking taylor expansion of x in x
0.037 * [taylor]: Taking taylor expansion of (* 3 (pow x 2)) in x
0.037 * [taylor]: Taking taylor expansion of 3 in x
0.037 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.037 * [taylor]: Taking taylor expansion of x in x
0.043 * [approximate]: Taking taylor expansion of (/ 3 (pow x 2)) in (x) around 0
0.043 * [taylor]: Taking taylor expansion of (/ 3 (pow x 2)) in x
0.043 * [taylor]: Taking taylor expansion of 3 in x
0.043 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.043 * [taylor]: Taking taylor expansion of x in x
0.043 * [taylor]: Taking taylor expansion of (/ 3 (pow x 2)) in x
0.043 * [taylor]: Taking taylor expansion of 3 in x
0.043 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.043 * [taylor]: Taking taylor expansion of x in x
0.050 * [approximate]: Taking taylor expansion of (/ 3 (pow x 2)) in (x) around 0
0.050 * [taylor]: Taking taylor expansion of (/ 3 (pow x 2)) in x
0.050 * [taylor]: Taking taylor expansion of 3 in x
0.050 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.050 * [taylor]: Taking taylor expansion of x in x
0.050 * [taylor]: Taking taylor expansion of (/ 3 (pow x 2)) in x
0.050 * [taylor]: Taking taylor expansion of 3 in x
0.050 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.050 * [taylor]: Taking taylor expansion of x in x
0.057 * * * [progress]: simplifying candidates
0.057 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 x 3) x)
  (*.f64 (*.f64 x 3) x)
  (+.f64 (+.f64 (log.f64 x) (log.f64 3)) (log.f64 x))
  (+.f64 (log.f64 (*.f64 x 3)) (log.f64 x))
  (exp.f64 (*.f64 (*.f64 x 3) x))
  (log.f64 (*.f64 (*.f64 x 3) x))
  (*.f64 (*.f64 (*.f64 (*.f64 x 3) x) (*.f64 (*.f64 x 3) x)) (*.f64 (*.f64 x 3) x))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 x 3) x)) (cbrt.f64 (*.f64 (*.f64 x 3) x)))
  (cbrt.f64 (*.f64 (*.f64 x 3) x))
  (*.f64 (*.f64 (*.f64 (*.f64 x 3) (*.f64 x 3)) (*.f64 x 3)) (*.f64 (*.f64 x x) x))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 3 3) 3)) (*.f64 (*.f64 x x) x))
  (sqrt.f64 (*.f64 (*.f64 x 3) x))
  (sqrt.f64 (*.f64 (*.f64 x 3) x))
  (*.f64 3 x)
  (*.f64 (*.f64 x 3) (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
  (*.f64 (*.f64 x 3) (sqrt.f64 x))
  (*.f64 (*.f64 x 3) 1)
  (*.f64 3 (pow.f64 x 2))
  (*.f64 3 (pow.f64 x 2))
  (*.f64 3 (pow.f64 x 2))
0.130 * * [simplify]: iteration  0 :  4932  enodes  (cost  168 )
0.130 * * [simplify]: iteration  1 :  4932  enodes  (cost  168 )
0.133 * [simplify]: Simplified to:
   (*.f64 x (*.f64 x 3))
  (*.f64 x (*.f64 x 3))
  (log.f64 (*.f64 x (*.f64 x 3)))
  (log.f64 (*.f64 x (*.f64 x 3)))
  (exp.f64 (*.f64 x (*.f64 x 3)))
  (log.f64 (*.f64 x (*.f64 x 3)))
  (*.f64 27 (pow.f64 x 6))
  (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 3))) (cbrt.f64 (*.f64 x (*.f64 x 3))))
  (cbrt.f64 (*.f64 x (*.f64 x 3)))
  (*.f64 27 (pow.f64 x 6))
  (*.f64 27 (pow.f64 x 6))
  (sqrt.f64 (*.f64 x (*.f64 x 3)))
  (sqrt.f64 (*.f64 x (*.f64 x 3)))
  (*.f64 x 3)
  (*.f64 (*.f64 x 3) (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
  (*.f64 3 (pow.f64 x 3/2))
  (*.f64 x 3)
  (*.f64 x (*.f64 x 3))
  (*.f64 x (*.f64 x 3))
  (*.f64 x (*.f64 x 3))
0.133 * * * [progress]: adding candidates to table
0.149 * * [progress]: iteration 2 / 4
0.149 * * * [progress]: picking best candidate
0.157 * * * * [pick]: Picked  #<alt (λ (x) (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3)))))>
0.157 * * * [progress]: localizing error
0.166 * * * [progress]: generating rewritten candidates
0.166 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.170 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.173 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.185 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
0.197 * * * [progress]: generating series expansions
0.197 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.198 * [approximate]: Taking taylor expansion of (* (sqrt 3) x) in (x) around 0
0.198 * [taylor]: Taking taylor expansion of (* (sqrt 3) x) in x
0.198 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.198 * [taylor]: Taking taylor expansion of 3 in x
0.198 * [taylor]: Taking taylor expansion of x in x
0.198 * [taylor]: Taking taylor expansion of (* (sqrt 3) x) in x
0.198 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.198 * [taylor]: Taking taylor expansion of 3 in x
0.198 * [taylor]: Taking taylor expansion of x in x
0.205 * [approximate]: Taking taylor expansion of (/ (sqrt 3) x) in (x) around 0
0.205 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.205 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.205 * [taylor]: Taking taylor expansion of 3 in x
0.206 * [taylor]: Taking taylor expansion of x in x
0.206 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.206 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.206 * [taylor]: Taking taylor expansion of 3 in x
0.206 * [taylor]: Taking taylor expansion of x in x
0.213 * [approximate]: Taking taylor expansion of (/ (sqrt 3) x) in (x) around 0
0.213 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.213 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.213 * [taylor]: Taking taylor expansion of 3 in x
0.213 * [taylor]: Taking taylor expansion of x in x
0.213 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.213 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.213 * [taylor]: Taking taylor expansion of 3 in x
0.213 * [taylor]: Taking taylor expansion of x in x
0.220 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.220 * [approximate]: Taking taylor expansion of (* (sqrt 3) x) in (x) around 0
0.220 * [taylor]: Taking taylor expansion of (* (sqrt 3) x) in x
0.220 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.220 * [taylor]: Taking taylor expansion of 3 in x
0.220 * [taylor]: Taking taylor expansion of x in x
0.220 * [taylor]: Taking taylor expansion of (* (sqrt 3) x) in x
0.220 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.220 * [taylor]: Taking taylor expansion of 3 in x
0.221 * [taylor]: Taking taylor expansion of x in x
0.227 * [approximate]: Taking taylor expansion of (/ (sqrt 3) x) in (x) around 0
0.227 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.227 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.227 * [taylor]: Taking taylor expansion of 3 in x
0.228 * [taylor]: Taking taylor expansion of x in x
0.228 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.228 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.228 * [taylor]: Taking taylor expansion of 3 in x
0.228 * [taylor]: Taking taylor expansion of x in x
0.235 * [approximate]: Taking taylor expansion of (/ (sqrt 3) x) in (x) around 0
0.235 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.235 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.235 * [taylor]: Taking taylor expansion of 3 in x
0.235 * [taylor]: Taking taylor expansion of x in x
0.235 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.235 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.235 * [taylor]: Taking taylor expansion of 3 in x
0.235 * [taylor]: Taking taylor expansion of x in x
0.242 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.242 * [approximate]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow x 2)) in (x) around 0
0.242 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow x 2)) in x
0.242 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x
0.242 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.242 * [taylor]: Taking taylor expansion of 3 in x
0.243 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.243 * [taylor]: Taking taylor expansion of x in x
0.243 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow x 2)) in x
0.243 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x
0.243 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.243 * [taylor]: Taking taylor expansion of 3 in x
0.243 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.243 * [taylor]: Taking taylor expansion of x in x
0.256 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow x 2)) in (x) around 0
0.256 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow x 2)) in x
0.256 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x
0.256 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.256 * [taylor]: Taking taylor expansion of 3 in x
0.256 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.256 * [taylor]: Taking taylor expansion of x in x
0.257 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow x 2)) in x
0.257 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x
0.257 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.257 * [taylor]: Taking taylor expansion of 3 in x
0.257 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.257 * [taylor]: Taking taylor expansion of x in x
0.271 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow x 2)) in (x) around 0
0.271 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow x 2)) in x
0.271 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x
0.271 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.271 * [taylor]: Taking taylor expansion of 3 in x
0.271 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.271 * [taylor]: Taking taylor expansion of x in x
0.272 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow x 2)) in x
0.272 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x
0.272 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.272 * [taylor]: Taking taylor expansion of 3 in x
0.272 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.272 * [taylor]: Taking taylor expansion of x in x
0.285 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
0.285 * [approximate]: Taking taylor expansion of (* 3 (pow x 2)) in (x) around 0
0.285 * [taylor]: Taking taylor expansion of (* 3 (pow x 2)) in x
0.285 * [taylor]: Taking taylor expansion of 3 in x
0.285 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.285 * [taylor]: Taking taylor expansion of x in x
0.285 * [taylor]: Taking taylor expansion of (* 3 (pow x 2)) in x
0.285 * [taylor]: Taking taylor expansion of 3 in x
0.285 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.285 * [taylor]: Taking taylor expansion of x in x
0.291 * [approximate]: Taking taylor expansion of (/ 3 (pow x 2)) in (x) around 0
0.291 * [taylor]: Taking taylor expansion of (/ 3 (pow x 2)) in x
0.291 * [taylor]: Taking taylor expansion of 3 in x
0.291 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.291 * [taylor]: Taking taylor expansion of x in x
0.291 * [taylor]: Taking taylor expansion of (/ 3 (pow x 2)) in x
0.291 * [taylor]: Taking taylor expansion of 3 in x
0.291 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.291 * [taylor]: Taking taylor expansion of x in x
0.297 * [approximate]: Taking taylor expansion of (/ 3 (pow x 2)) in (x) around 0
0.297 * [taylor]: Taking taylor expansion of (/ 3 (pow x 2)) in x
0.298 * [taylor]: Taking taylor expansion of 3 in x
0.298 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.298 * [taylor]: Taking taylor expansion of x in x
0.298 * [taylor]: Taking taylor expansion of (/ 3 (pow x 2)) in x
0.298 * [taylor]: Taking taylor expansion of 3 in x
0.298 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.298 * [taylor]: Taking taylor expansion of x in x
0.304 * * * [progress]: simplifying candidates
0.305 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (log.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (*.f64 (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3)))) (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))))
  (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (/.f64 1 2)
  (/.f64 1 2)
  (/.f64 1 2)
  (sqrt.f64 x)
  (sqrt.f64 (*.f64 x 3))
  (exp.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (log.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (*.f64 (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3)))) (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))))
  (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (/.f64 1 2)
  (/.f64 1 2)
  (/.f64 1 2)
  (sqrt.f64 x)
  (sqrt.f64 (*.f64 x 3))
  (*.f64 (*.f64 x (*.f64 x 3)) (*.f64 x (*.f64 x 3)))
  (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (*.f64 (*.f64 x (*.f64 x 3)) (*.f64 x (*.f64 x 3)))
  (*.f64 (*.f64 x (*.f64 x 3)) (*.f64 x (*.f64 x 3)))
  (*.f64 (*.f64 x (*.f64 x 3)) (*.f64 x (*.f64 x 3)))
  (*.f64 (*.f64 x (*.f64 x 3)) (*.f64 x (*.f64 x 3)))
  (*.f64 (*.f64 x (*.f64 x 3)) (*.f64 x (*.f64 x 3)))
  (*.f64 (*.f64 x (*.f64 x 3)) (*.f64 x (*.f64 x 3)))
  (*.f64 (*.f64 x (*.f64 x 3)) (*.f64 x (*.f64 x 3)))
  (*.f64 (*.f64 x (*.f64 x 3)) (*.f64 x (*.f64 x 3)))
  (*.f64 (*.f64 x (*.f64 x 3)) (*.f64 x (*.f64 x 3)))
  (+.f64 1/2 1/2)
  (+.f64 1/2 (/.f64 1 2))
  (+.f64 1/2 (/.f64 1 2))
  (+.f64 1/2 (/.f64 1 2))
  (+.f64 1 1)
  (+.f64 (/.f64 1 2) 1/2)
  (+.f64 (/.f64 1 2) (/.f64 1 2))
  (+.f64 (/.f64 1 2) (/.f64 1 2))
  (+.f64 (/.f64 1 2) (/.f64 1 2))
  (+.f64 (/.f64 1 2) 1/2)
  (+.f64 (/.f64 1 2) (/.f64 1 2))
  (+.f64 (/.f64 1 2) (/.f64 1 2))
  (+.f64 (/.f64 1 2) (/.f64 1 2))
  (+.f64 (/.f64 1 2) 1/2)
  (+.f64 (/.f64 1 2) (/.f64 1 2))
  (+.f64 (/.f64 1 2) (/.f64 1 2))
  (+.f64 (/.f64 1 2) (/.f64 1 2))
  (+.f64 1 1)
  (+.f64 (log.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (log.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))))
  (exp.f64 (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3)))))
  (log.f64 (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3)))))
  (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3)))) (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3))))) (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3)))))
  (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3))))) (cbrt.f64 (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3))))))
  (cbrt.f64 (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3)))))
  (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3)))) (sqrt.f64 (*.f64 x (*.f64 x 3)))) (*.f64 (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3)))) (sqrt.f64 (*.f64 x (*.f64 x 3)))))
  (sqrt.f64 (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3)))))
  (sqrt.f64 (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3)))))
  (*.f64 (*.f64 x (*.f64 x 3)) (*.f64 x (*.f64 x 3)))
  (*.f64 2 1/2)
  (*.f64 2 1)
  (*.f64 2 (/.f64 1 2))
  (*.f64 2 (/.f64 1 2))
  (*.f64 2 (/.f64 1 2))
  (*.f64 2 (/.f64 1 2))
  (*.f64 2 (/.f64 1 2))
  (*.f64 2 (/.f64 1 2))
  (*.f64 2 (/.f64 1 2))
  (*.f64 2 (/.f64 1 2))
  (*.f64 2 (/.f64 1 2))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))))
  (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))))
  (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 x))
  (*.f64 (sqrt.f64 (*.f64 x 3)) (sqrt.f64 (*.f64 x 3)))
  (*.f64 1 1)
  (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (*.f64 (sqrt.f64 (*.f64 x 3)) (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))))
  (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))))
  (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 x))
  (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) 1)
  (*.f64 x (*.f64 x 3))
  (*.f64 x (*.f64 x 3))
  (+.f64 (log.f64 x) (+.f64 (log.f64 x) (log.f64 3)))
  (+.f64 (log.f64 x) (log.f64 (*.f64 x 3)))
  (exp.f64 (*.f64 x (*.f64 x 3)))
  (log.f64 (*.f64 x (*.f64 x 3)))
  (*.f64 (*.f64 (*.f64 x (*.f64 x 3)) (*.f64 x (*.f64 x 3))) (*.f64 x (*.f64 x 3)))
  (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 3))) (cbrt.f64 (*.f64 x (*.f64 x 3))))
  (cbrt.f64 (*.f64 x (*.f64 x 3)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (*.f64 x 3) (*.f64 x 3)) (*.f64 x 3)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 3 3) 3)))
  (sqrt.f64 (*.f64 x (*.f64 x 3)))
  (sqrt.f64 (*.f64 x (*.f64 x 3)))
  (*.f64 (cbrt.f64 x) (*.f64 x 3))
  (*.f64 (sqrt.f64 x) (*.f64 x 3))
  (*.f64 x (*.f64 x 3))
  (*.f64 x x)
  (*.f64 (sqrt.f64 3) x)
  (*.f64 (sqrt.f64 3) x)
  (*.f64 -1 (*.f64 (sqrt.f64 3) x))
  (*.f64 (sqrt.f64 3) x)
  (*.f64 (sqrt.f64 3) x)
  (*.f64 -1 (*.f64 (sqrt.f64 3) x))
  (*.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2))
  (*.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2))
  (*.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2))
  (*.f64 3 (pow.f64 x 2))
  (*.f64 3 (pow.f64 x 2))
  (*.f64 3 (pow.f64 x 2))
0.387 * * [simplify]: iteration  0 :  5003  enodes  (cost  737 )
0.392 * [simplify]: Simplified to:
   (exp.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (log.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 3)
  (cbrt.f64 (*.f64 x (*.f64 x 3)))
  (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  1/2
  1/2
  1/2
  (sqrt.f64 x)
  (sqrt.f64 (*.f64 x 3))
  (exp.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (log.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 3)
  (cbrt.f64 (*.f64 x (*.f64 x 3)))
  (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  1/2
  1/2
  1/2
  (sqrt.f64 x)
  (sqrt.f64 (*.f64 x 3))
  (*.f64 9 (pow.f64 x 4))
  (*.f64 x (*.f64 x 3))
  (*.f64 9 (pow.f64 x 4))
  (*.f64 9 (pow.f64 x 4))
  (*.f64 9 (pow.f64 x 4))
  (*.f64 9 (pow.f64 x 4))
  (*.f64 9 (pow.f64 x 4))
  (*.f64 9 (pow.f64 x 4))
  (*.f64 9 (pow.f64 x 4))
  (*.f64 9 (pow.f64 x 4))
  (*.f64 9 (pow.f64 x 4))
  1
  1
  1
  1
  2
  1
  1
  1
  1
  1
  1
  1
  1
  1
  1
  1
  1
  2
  (log.f64 (*.f64 x (*.f64 x 3)))
  (exp.f64 (*.f64 x (*.f64 x 3)))
  (log.f64 (*.f64 x (*.f64 x 3)))
  (*.f64 27 (pow.f64 x 6))
  (pow.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 4)
  (cbrt.f64 (*.f64 x (*.f64 x 3)))
  (*.f64 27 (pow.f64 x 6))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 9 (pow.f64 x 4))
  1
  2
  1
  1
  1
  1
  1
  1
  1
  1
  1
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (pow.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 4)
  (cbrt.f64 (*.f64 x (*.f64 x 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  x
  (*.f64 x 3)
  1
  (*.f64 x (*.f64 x 3))
  (pow.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 4)
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)
  (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (sqrt.f64 (*.f64 x 3)))
  (*.f64 x (*.f64 x 3))
  (pow.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 5)
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)
  (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (sqrt.f64 x))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 x (*.f64 x 3))
  (*.f64 x (*.f64 x 3))
  (log.f64 (*.f64 x (*.f64 x 3)))
  (log.f64 (*.f64 x (*.f64 x 3)))
  (exp.f64 (*.f64 x (*.f64 x 3)))
  (log.f64 (*.f64 x (*.f64 x 3)))
  (*.f64 27 (pow.f64 x 6))
  (pow.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 4)
  (cbrt.f64 (*.f64 x (*.f64 x 3)))
  (*.f64 27 (pow.f64 x 6))
  (*.f64 27 (pow.f64 x 6))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 (*.f64 x 3) (cbrt.f64 x))
  (*.f64 3 (pow.f64 x 3/2))
  (*.f64 x (*.f64 x 3))
  (*.f64 x x)
  (*.f64 x (sqrt.f64 3))
  (*.f64 x (sqrt.f64 3))
  (neg.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 x (sqrt.f64 3))
  (*.f64 x (sqrt.f64 3))
  (neg.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 x (*.f64 x 3))
  (*.f64 x (*.f64 x 3))
  (*.f64 x (*.f64 x 3))
  (*.f64 x (*.f64 x 3))
  (*.f64 x (*.f64 x 3))
  (*.f64 x (*.f64 x 3))
0.392 * * * [progress]: adding candidates to table
0.441 * * [progress]: iteration 3 / 4
0.441 * * * [progress]: picking best candidate
0.446 * * * * [pick]: Picked  #<alt (λ (x) (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (fabs.f64 (*.f64 x (sqrt.f64 3)))))>
0.446 * * * [progress]: localizing error
0.453 * * * [progress]: generating rewritten candidates
0.453 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
0.458 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
0.463 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.468 * * * [progress]: generating series expansions
0.468 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
0.468 * [approximate]: Taking taylor expansion of (* (sqrt 3) x) in (x) around 0
0.468 * [taylor]: Taking taylor expansion of (* (sqrt 3) x) in x
0.468 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.468 * [taylor]: Taking taylor expansion of 3 in x
0.468 * [taylor]: Taking taylor expansion of x in x
0.468 * [taylor]: Taking taylor expansion of (* (sqrt 3) x) in x
0.469 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.469 * [taylor]: Taking taylor expansion of 3 in x
0.469 * [taylor]: Taking taylor expansion of x in x
0.477 * [approximate]: Taking taylor expansion of (/ (sqrt 3) x) in (x) around 0
0.477 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.477 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.477 * [taylor]: Taking taylor expansion of 3 in x
0.477 * [taylor]: Taking taylor expansion of x in x
0.477 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.477 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.477 * [taylor]: Taking taylor expansion of 3 in x
0.477 * [taylor]: Taking taylor expansion of x in x
0.485 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 3) x)) in (x) around 0
0.485 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) x)) in x
0.485 * [taylor]: Taking taylor expansion of -1 in x
0.485 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.485 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.485 * [taylor]: Taking taylor expansion of 3 in x
0.485 * [taylor]: Taking taylor expansion of x in x
0.485 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) x)) in x
0.485 * [taylor]: Taking taylor expansion of -1 in x
0.486 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.486 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.486 * [taylor]: Taking taylor expansion of 3 in x
0.486 * [taylor]: Taking taylor expansion of x in x
0.495 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
0.495 * [approximate]: Taking taylor expansion of (* (sqrt 3) x) in (x) around 0
0.495 * [taylor]: Taking taylor expansion of (* (sqrt 3) x) in x
0.495 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.495 * [taylor]: Taking taylor expansion of 3 in x
0.495 * [taylor]: Taking taylor expansion of x in x
0.495 * [taylor]: Taking taylor expansion of (* (sqrt 3) x) in x
0.495 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.495 * [taylor]: Taking taylor expansion of 3 in x
0.495 * [taylor]: Taking taylor expansion of x in x
0.502 * [approximate]: Taking taylor expansion of (/ (sqrt 3) x) in (x) around 0
0.502 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.502 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.502 * [taylor]: Taking taylor expansion of 3 in x
0.502 * [taylor]: Taking taylor expansion of x in x
0.502 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.502 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.502 * [taylor]: Taking taylor expansion of 3 in x
0.502 * [taylor]: Taking taylor expansion of x in x
0.508 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 3) x)) in (x) around 0
0.508 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) x)) in x
0.508 * [taylor]: Taking taylor expansion of -1 in x
0.508 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.508 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.508 * [taylor]: Taking taylor expansion of 3 in x
0.509 * [taylor]: Taking taylor expansion of x in x
0.509 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) x)) in x
0.509 * [taylor]: Taking taylor expansion of -1 in x
0.509 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.509 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.509 * [taylor]: Taking taylor expansion of 3 in x
0.509 * [taylor]: Taking taylor expansion of x in x
0.517 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.518 * [approximate]: Taking taylor expansion of (pow (fabs (* (sqrt 3) x)) 2) in (x) around 0
0.518 * [taylor]: Taking taylor expansion of (pow (fabs (* (sqrt 3) x)) 2) in x
0.518 * [taylor]: Taking taylor expansion of (fabs (* (sqrt 3) x)) in x
0.518 * [taylor]: Taking taylor expansion of (pow (fabs (* (sqrt 3) x)) 2) in x
0.518 * [taylor]: Taking taylor expansion of (fabs (* (sqrt 3) x)) in x
0.524 * [approximate]: Taking taylor expansion of (pow (fabs (/ (sqrt 3) x)) 2) in (x) around 0
0.524 * [taylor]: Taking taylor expansion of (pow (fabs (/ (sqrt 3) x)) 2) in x
0.524 * [taylor]: Taking taylor expansion of (fabs (/ (sqrt 3) x)) in x
0.524 * [taylor]: Taking taylor expansion of (pow (fabs (/ (sqrt 3) x)) 2) in x
0.524 * [taylor]: Taking taylor expansion of (fabs (/ (sqrt 3) x)) in x
0.530 * [approximate]: Taking taylor expansion of (pow (fabs (* -1 (/ (sqrt 3) x))) 2) in (x) around 0
0.530 * [taylor]: Taking taylor expansion of (pow (fabs (* -1 (/ (sqrt 3) x))) 2) in x
0.530 * [taylor]: Taking taylor expansion of (fabs (* -1 (/ (sqrt 3) x))) in x
0.530 * [taylor]: Taking taylor expansion of (pow (fabs (* -1 (/ (sqrt 3) x))) 2) in x
0.530 * [taylor]: Taking taylor expansion of (fabs (* -1 (/ (sqrt 3) x))) in x
0.536 * * * [progress]: simplifying candidates
0.537 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x (sqrt.f64 3))
  (+.f64 (log.f64 x) (log.f64 (sqrt.f64 3)))
  (exp.f64 (*.f64 x (sqrt.f64 3)))
  (log.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 (*.f64 (*.f64 x (sqrt.f64 3)) (*.f64 x (sqrt.f64 3))) (*.f64 x (sqrt.f64 3)))
  (*.f64 (cbrt.f64 (*.f64 x (sqrt.f64 3))) (cbrt.f64 (*.f64 x (sqrt.f64 3))))
  (cbrt.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (sqrt.f64 3) (sqrt.f64 3)) (sqrt.f64 3)))
  (sqrt.f64 (*.f64 x (sqrt.f64 3)))
  (sqrt.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (cbrt.f64 x) (sqrt.f64 3))
  (*.f64 (sqrt.f64 x) (sqrt.f64 3))
  (*.f64 x (sqrt.f64 3))
  (*.f64 x (*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3))))
  (*.f64 x (sqrt.f64 (sqrt.f64 3)))
  (*.f64 x (sqrt.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3))))
  (*.f64 x (sqrt.f64 (sqrt.f64 3)))
  (*.f64 x (sqrt.f64 1))
  (*.f64 x 1)
  (*.f64 x (sqrt.f64 3))
  (+.f64 (log.f64 x) (log.f64 (sqrt.f64 3)))
  (exp.f64 (*.f64 x (sqrt.f64 3)))
  (log.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 (*.f64 (*.f64 x (sqrt.f64 3)) (*.f64 x (sqrt.f64 3))) (*.f64 x (sqrt.f64 3)))
  (*.f64 (cbrt.f64 (*.f64 x (sqrt.f64 3))) (cbrt.f64 (*.f64 x (sqrt.f64 3))))
  (cbrt.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (sqrt.f64 3) (sqrt.f64 3)) (sqrt.f64 3)))
  (sqrt.f64 (*.f64 x (sqrt.f64 3)))
  (sqrt.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (cbrt.f64 x) (sqrt.f64 3))
  (*.f64 (sqrt.f64 x) (sqrt.f64 3))
  (*.f64 x (sqrt.f64 3))
  (*.f64 x (*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3))))
  (*.f64 x (sqrt.f64 (sqrt.f64 3)))
  (*.f64 x (sqrt.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3))))
  (*.f64 x (sqrt.f64 (sqrt.f64 3)))
  (*.f64 x (sqrt.f64 1))
  (*.f64 x 1)
  (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (+.f64 1 1)
  (+.f64 1 1)
  (+.f64 (log.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (log.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (exp.f64 (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (log.f64 (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (*.f64 (*.f64 (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (fabs.f64 (*.f64 x (sqrt.f64 3)))) (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (fabs.f64 (*.f64 x (sqrt.f64 3))))) (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (*.f64 (cbrt.f64 (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (fabs.f64 (*.f64 x (sqrt.f64 3))))) (cbrt.f64 (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (fabs.f64 (*.f64 x (sqrt.f64 3))))))
  (cbrt.f64 (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (*.f64 (*.f64 (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (fabs.f64 (*.f64 x (sqrt.f64 3)))) (fabs.f64 (*.f64 x (sqrt.f64 3)))) (*.f64 (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (fabs.f64 (*.f64 x (sqrt.f64 3)))) (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (sqrt.f64 (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (sqrt.f64 (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (*.f64 2 1)
  (*.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (*.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (*.f64 (*.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) (*.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))))
  (*.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (*.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (*.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (*.f64 1 1)
  (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (*.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (*.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (*.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))))
  (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 1)
  (*.f64 (sqrt.f64 3) x)
  (*.f64 (sqrt.f64 3) x)
  (*.f64 (sqrt.f64 3) x)
  (*.f64 (sqrt.f64 3) x)
  (*.f64 (sqrt.f64 3) x)
  (*.f64 (sqrt.f64 3) x)
  (pow.f64 (fabs.f64 (*.f64 (sqrt.f64 3) x)) 2)
  (pow.f64 (fabs.f64 (*.f64 (sqrt.f64 3) x)) 2)
  (pow.f64 (fabs.f64 (*.f64 (sqrt.f64 3) x)) 2)
0.652 * * [simplify]: iteration  0 :  5096  enodes  (cost  713 )
0.660 * [simplify]: Simplified to:
   (*.f64 x (sqrt.f64 3))
  (log.f64 (*.f64 x (sqrt.f64 3)))
  (exp.f64 (*.f64 x (sqrt.f64 3)))
  (log.f64 (*.f64 x (sqrt.f64 3)))
  (pow.f64 (*.f64 x (sqrt.f64 3)) 3)
  (*.f64 (cbrt.f64 (*.f64 x (sqrt.f64 3))) (cbrt.f64 (*.f64 x (sqrt.f64 3))))
  (cbrt.f64 (*.f64 x (sqrt.f64 3)))
  (pow.f64 (*.f64 x (sqrt.f64 3)) 3)
  (sqrt.f64 (*.f64 x (sqrt.f64 3)))
  (sqrt.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 3) (cbrt.f64 x))
  (*.f64 (sqrt.f64 3) (sqrt.f64 x))
  (*.f64 x (sqrt.f64 3))
  (*.f64 x (*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3))))
  (*.f64 x (sqrt.f64 (sqrt.f64 3)))
  (*.f64 x (fabs.f64 (cbrt.f64 3)))
  (*.f64 x (sqrt.f64 (sqrt.f64 3)))
  x
  x
  (*.f64 x (sqrt.f64 3))
  (log.f64 (*.f64 x (sqrt.f64 3)))
  (exp.f64 (*.f64 x (sqrt.f64 3)))
  (log.f64 (*.f64 x (sqrt.f64 3)))
  (pow.f64 (*.f64 x (sqrt.f64 3)) 3)
  (*.f64 (cbrt.f64 (*.f64 x (sqrt.f64 3))) (cbrt.f64 (*.f64 x (sqrt.f64 3))))
  (cbrt.f64 (*.f64 x (sqrt.f64 3)))
  (pow.f64 (*.f64 x (sqrt.f64 3)) 3)
  (sqrt.f64 (*.f64 x (sqrt.f64 3)))
  (sqrt.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 3) (cbrt.f64 x))
  (*.f64 (sqrt.f64 3) (sqrt.f64 x))
  (*.f64 x (sqrt.f64 3))
  (*.f64 x (*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3))))
  (*.f64 x (sqrt.f64 (sqrt.f64 3)))
  (*.f64 x (fabs.f64 (cbrt.f64 3)))
  (*.f64 x (sqrt.f64 (sqrt.f64 3)))
  x
  x
  (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 2)
  2
  2
  (*.f64 2 (log.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (exp.f64 (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 2))
  (*.f64 2 (log.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 6)
  (pow.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 4)
  (pow.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 2)
  (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 6)
  (fabs.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (fabs.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  2
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (pow.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 4)
  (pow.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 2)
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  1
  (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 2)
  (pow.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 4)
  (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 3/2)
  (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 2)
  (pow.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 5)
  (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 3/2)
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 x (sqrt.f64 3))
  (*.f64 x (sqrt.f64 3))
  (*.f64 x (sqrt.f64 3))
  (*.f64 x (sqrt.f64 3))
  (*.f64 x (sqrt.f64 3))
  (*.f64 x (sqrt.f64 3))
  (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 2)
  (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 2)
  (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 2)
0.660 * * * [progress]: adding candidates to table
0.728 * * [progress]: iteration 4 / 4
0.728 * * * [progress]: picking best candidate
0.736 * * * * [pick]: Picked  #<alt (λ (x) (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))>
0.736 * * * [progress]: localizing error
0.756 * * * [progress]: generating rewritten candidates
0.756 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.759 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.763 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
0.768 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.787 * * * [progress]: generating series expansions
0.788 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.788 * [approximate]: Taking taylor expansion of (* (sqrt 3) x) in (x) around 0
0.788 * [taylor]: Taking taylor expansion of (* (sqrt 3) x) in x
0.788 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.788 * [taylor]: Taking taylor expansion of 3 in x
0.788 * [taylor]: Taking taylor expansion of x in x
0.788 * [taylor]: Taking taylor expansion of (* (sqrt 3) x) in x
0.788 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.788 * [taylor]: Taking taylor expansion of 3 in x
0.789 * [taylor]: Taking taylor expansion of x in x
0.797 * [approximate]: Taking taylor expansion of (/ (sqrt 3) x) in (x) around 0
0.797 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.797 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.797 * [taylor]: Taking taylor expansion of 3 in x
0.797 * [taylor]: Taking taylor expansion of x in x
0.797 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.797 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.797 * [taylor]: Taking taylor expansion of 3 in x
0.798 * [taylor]: Taking taylor expansion of x in x
0.805 * [approximate]: Taking taylor expansion of (/ (sqrt 3) x) in (x) around 0
0.805 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.805 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.805 * [taylor]: Taking taylor expansion of 3 in x
0.805 * [taylor]: Taking taylor expansion of x in x
0.805 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.805 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.805 * [taylor]: Taking taylor expansion of 3 in x
0.806 * [taylor]: Taking taylor expansion of x in x
0.813 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.814 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (* (sqrt 3) x))) 3) in (x) around 0
0.814 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (* (sqrt 3) x))) 3) in x
0.814 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (sqrt 3) x))) in x
0.814 * [taylor]: Taking taylor expansion of (fabs (* (sqrt 3) x)) in x
0.814 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (* (sqrt 3) x))) 3) in x
0.814 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (sqrt 3) x))) in x
0.814 * [taylor]: Taking taylor expansion of (fabs (* (sqrt 3) x)) in x
0.829 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (/ (sqrt 3) x))) 3) in (x) around 0
0.829 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ (sqrt 3) x))) 3) in x
0.829 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ (sqrt 3) x))) in x
0.829 * [taylor]: Taking taylor expansion of (fabs (/ (sqrt 3) x)) in x
0.830 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ (sqrt 3) x))) 3) in x
0.830 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ (sqrt 3) x))) in x
0.830 * [taylor]: Taking taylor expansion of (fabs (/ (sqrt 3) x)) in x
0.844 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (* -1 (/ (sqrt 3) x)))) 3) in (x) around 0
0.844 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (* -1 (/ (sqrt 3) x)))) 3) in x
0.844 * [taylor]: Taking taylor expansion of (sqrt (fabs (* -1 (/ (sqrt 3) x)))) in x
0.844 * [taylor]: Taking taylor expansion of (fabs (* -1 (/ (sqrt 3) x))) in x
0.845 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (* -1 (/ (sqrt 3) x)))) 3) in x
0.845 * [taylor]: Taking taylor expansion of (sqrt (fabs (* -1 (/ (sqrt 3) x)))) in x
0.845 * [taylor]: Taking taylor expansion of (fabs (* -1 (/ (sqrt 3) x))) in x
0.861 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
0.862 * [approximate]: Taking taylor expansion of (* (sqrt 3) x) in (x) around 0
0.862 * [taylor]: Taking taylor expansion of (* (sqrt 3) x) in x
0.862 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.862 * [taylor]: Taking taylor expansion of 3 in x
0.862 * [taylor]: Taking taylor expansion of x in x
0.862 * [taylor]: Taking taylor expansion of (* (sqrt 3) x) in x
0.862 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.862 * [taylor]: Taking taylor expansion of 3 in x
0.862 * [taylor]: Taking taylor expansion of x in x
0.869 * [approximate]: Taking taylor expansion of (/ (sqrt 3) x) in (x) around 0
0.869 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.869 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.869 * [taylor]: Taking taylor expansion of 3 in x
0.869 * [taylor]: Taking taylor expansion of x in x
0.869 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.869 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.869 * [taylor]: Taking taylor expansion of 3 in x
0.870 * [taylor]: Taking taylor expansion of x in x
0.876 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 3) x)) in (x) around 0
0.876 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) x)) in x
0.876 * [taylor]: Taking taylor expansion of -1 in x
0.876 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.876 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.876 * [taylor]: Taking taylor expansion of 3 in x
0.876 * [taylor]: Taking taylor expansion of x in x
0.876 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) x)) in x
0.876 * [taylor]: Taking taylor expansion of -1 in x
0.876 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x) in x
0.876 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.876 * [taylor]: Taking taylor expansion of 3 in x
0.877 * [taylor]: Taking taylor expansion of x in x
0.886 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.887 * [approximate]: Taking taylor expansion of (sqrt (* (sqrt 3) (* x (pow (fabs (* (sqrt 3) x)) 3)))) in (x) around 0
0.887 * [taylor]: Taking taylor expansion of (sqrt (* (sqrt 3) (* x (pow (fabs (* (sqrt 3) x)) 3)))) in x
0.887 * [taylor]: Taking taylor expansion of (* (sqrt 3) (* x (pow (fabs (* (sqrt 3) x)) 3))) in x
0.887 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.887 * [taylor]: Taking taylor expansion of 3 in x
0.887 * [taylor]: Taking taylor expansion of (* x (pow (fabs (* (sqrt 3) x)) 3)) in x
0.887 * [taylor]: Taking taylor expansion of x in x
0.887 * [taylor]: Taking taylor expansion of (pow (fabs (* (sqrt 3) x)) 3) in x
0.887 * [taylor]: Taking taylor expansion of (fabs (* (sqrt 3) x)) in x
0.892 * [taylor]: Taking taylor expansion of (sqrt (* (sqrt 3) (* x (pow (fabs (* (sqrt 3) x)) 3)))) in x
0.892 * [taylor]: Taking taylor expansion of (* (sqrt 3) (* x (pow (fabs (* (sqrt 3) x)) 3))) in x
0.892 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.892 * [taylor]: Taking taylor expansion of 3 in x
0.892 * [taylor]: Taking taylor expansion of (* x (pow (fabs (* (sqrt 3) x)) 3)) in x
0.892 * [taylor]: Taking taylor expansion of x in x
0.892 * [taylor]: Taking taylor expansion of (pow (fabs (* (sqrt 3) x)) 3) in x
0.892 * [taylor]: Taking taylor expansion of (fabs (* (sqrt 3) x)) in x
0.921 * [approximate]: Taking taylor expansion of (sqrt (/ (* (sqrt 3) (pow (fabs (/ (sqrt 3) x)) 3)) x)) in (x) around 0
0.921 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sqrt 3) (pow (fabs (/ (sqrt 3) x)) 3)) x)) in x
0.921 * [taylor]: Taking taylor expansion of (/ (* (sqrt 3) (pow (fabs (/ (sqrt 3) x)) 3)) x) in x
0.921 * [taylor]: Taking taylor expansion of (* (sqrt 3) (pow (fabs (/ (sqrt 3) x)) 3)) in x
0.921 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.921 * [taylor]: Taking taylor expansion of 3 in x
0.921 * [taylor]: Taking taylor expansion of (pow (fabs (/ (sqrt 3) x)) 3) in x
0.921 * [taylor]: Taking taylor expansion of (fabs (/ (sqrt 3) x)) in x
0.921 * [taylor]: Taking taylor expansion of x in x
0.925 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sqrt 3) (pow (fabs (/ (sqrt 3) x)) 3)) x)) in x
0.925 * [taylor]: Taking taylor expansion of (/ (* (sqrt 3) (pow (fabs (/ (sqrt 3) x)) 3)) x) in x
0.925 * [taylor]: Taking taylor expansion of (* (sqrt 3) (pow (fabs (/ (sqrt 3) x)) 3)) in x
0.925 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.925 * [taylor]: Taking taylor expansion of 3 in x
0.925 * [taylor]: Taking taylor expansion of (pow (fabs (/ (sqrt 3) x)) 3) in x
0.925 * [taylor]: Taking taylor expansion of (fabs (/ (sqrt 3) x)) in x
0.925 * [taylor]: Taking taylor expansion of x in x
0.954 * [approximate]: Taking taylor expansion of (sqrt (/ (* (sqrt 3) (pow (fabs (* -1 (/ (sqrt 3) x))) 3)) x)) in (x) around 0
0.954 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sqrt 3) (pow (fabs (* -1 (/ (sqrt 3) x))) 3)) x)) in x
0.954 * [taylor]: Taking taylor expansion of (/ (* (sqrt 3) (pow (fabs (* -1 (/ (sqrt 3) x))) 3)) x) in x
0.954 * [taylor]: Taking taylor expansion of (* (sqrt 3) (pow (fabs (* -1 (/ (sqrt 3) x))) 3)) in x
0.954 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.954 * [taylor]: Taking taylor expansion of 3 in x
0.955 * [taylor]: Taking taylor expansion of (pow (fabs (* -1 (/ (sqrt 3) x))) 3) in x
0.955 * [taylor]: Taking taylor expansion of (fabs (* -1 (/ (sqrt 3) x))) in x
0.955 * [taylor]: Taking taylor expansion of x in x
0.959 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sqrt 3) (pow (fabs (* -1 (/ (sqrt 3) x))) 3)) x)) in x
0.959 * [taylor]: Taking taylor expansion of (/ (* (sqrt 3) (pow (fabs (* -1 (/ (sqrt 3) x))) 3)) x) in x
0.959 * [taylor]: Taking taylor expansion of (* (sqrt 3) (pow (fabs (* -1 (/ (sqrt 3) x))) 3)) in x
0.959 * [taylor]: Taking taylor expansion of (sqrt 3) in x
0.959 * [taylor]: Taking taylor expansion of 3 in x
0.959 * [taylor]: Taking taylor expansion of (pow (fabs (* -1 (/ (sqrt 3) x))) 3) in x
0.959 * [taylor]: Taking taylor expansion of (fabs (* -1 (/ (sqrt 3) x))) in x
0.959 * [taylor]: Taking taylor expansion of x in x
1.001 * * * [progress]: simplifying candidates
1.004 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (log.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (*.f64 (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3)))) (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))))
  (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))
  (/.f64 1 2)
  (/.f64 1 2)
  (/.f64 1 2)
  (sqrt.f64 x)
  (sqrt.f64 (*.f64 x 3))
  (pow.f64 (*.f64 (cbrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) (cbrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))) 3)
  (pow.f64 (cbrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3)
  (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3)
  (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3)
  (pow.f64 (sqrt.f64 (*.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))) 3)
  (pow.f64 (sqrt.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3)
  (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3)
  (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3)
  (pow.f64 (sqrt.f64 1) 3)
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)
  (pow.f64 1 3)
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (sqrt.f64 3))
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 1)
  (*.f64 1/2 3)
  (*.f64 1 3)
  (*.f64 (/.f64 1 2) 3)
  (*.f64 (log.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3)
  (*.f64 (log.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3)
  (*.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (exp.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))
  (log.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))
  (*.f64 (*.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))
  (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))
  (cbrt.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))
  (*.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (pow.f64 (*.f64 (cbrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) (cbrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))) 3)
  (pow.f64 (cbrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3)
  (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3)
  (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3)
  (pow.f64 (sqrt.f64 (*.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))) 3)
  (pow.f64 (sqrt.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3)
  (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3)
  (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3)
  (pow.f64 (sqrt.f64 1) 3)
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)
  (pow.f64 1 3)
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)
  (sqrt.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))
  (sqrt.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))
  (/.f64 3 2)
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (/.f64 3 2))
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (/.f64 3 2))
  (*.f64 x (sqrt.f64 3))
  (+.f64 (log.f64 x) (log.f64 (sqrt.f64 3)))
  (exp.f64 (*.f64 x (sqrt.f64 3)))
  (log.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 (*.f64 (*.f64 x (sqrt.f64 3)) (*.f64 x (sqrt.f64 3))) (*.f64 x (sqrt.f64 3)))
  (*.f64 (cbrt.f64 (*.f64 x (sqrt.f64 3))) (cbrt.f64 (*.f64 x (sqrt.f64 3))))
  (cbrt.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (sqrt.f64 3) (sqrt.f64 3)) (sqrt.f64 3)))
  (sqrt.f64 (*.f64 x (sqrt.f64 3)))
  (sqrt.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (cbrt.f64 x) (sqrt.f64 3))
  (*.f64 (sqrt.f64 x) (sqrt.f64 3))
  (*.f64 x (sqrt.f64 3))
  (*.f64 x (*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3))))
  (*.f64 x (sqrt.f64 (sqrt.f64 3)))
  (*.f64 x (sqrt.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3))))
  (*.f64 x (sqrt.f64 (sqrt.f64 3)))
  (*.f64 x (sqrt.f64 1))
  (*.f64 x 1)
  (+.f64 (log.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (*.f64 (log.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (+.f64 (log.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (*.f64 (log.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (+.f64 (log.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (log.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))
  (exp.f64 (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))
  (log.f64 (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))
  (*.f64 (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)) (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))) (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))
  (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))) (cbrt.f64 (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))))
  (cbrt.f64 (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))
  (*.f64 (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (*.f64 (*.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))
  (sqrt.f64 (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))
  (sqrt.f64 (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (sqrt.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (sqrt.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (/.f64 3 2)))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (/.f64 3 2)))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (sqrt.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (sqrt.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (/.f64 3 2)))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (/.f64 3 2)))
  (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))
  (*.f64 (sqrt.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x 3))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (*.f64 (cbrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) (cbrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (*.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 1) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 1 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (*.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (*.f64 (cbrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) (cbrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (*.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 1) 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 1 3))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (sqrt.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) 1)
  (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (/.f64 3 2)))
  (*.f64 (sqrt.f64 3) x)
  (*.f64 (sqrt.f64 3) x)
  (*.f64 -1 (*.f64 (sqrt.f64 3) x))
  (sqrt.f64 (pow.f64 (fabs.f64 (*.f64 (sqrt.f64 3) x)) 3))
  (sqrt.f64 (pow.f64 (fabs.f64 (*.f64 (sqrt.f64 3) x)) 3))
  (sqrt.f64 (pow.f64 (fabs.f64 (*.f64 (sqrt.f64 3) x)) 3))
  (*.f64 (sqrt.f64 3) x)
  (*.f64 (sqrt.f64 3) x)
  (*.f64 (sqrt.f64 3) x)
  (+.f64 (*.f64 (pow.f64 (sqrt.f64 3) 2) (*.f64 (pow.f64 x 2) (*.f64 (pow.f64 NAN.f64 3) (pow.f64 (fabs.f64 (*.f64 (sqrt.f64 3) x)) 6)))) (+.f64 (*.f64 (sqrt.f64 3) (*.f64 x (*.f64 NAN.f64 (pow.f64 (fabs.f64 (*.f64 (sqrt.f64 3) x)) 3)))) (*.f64 (pow.f64 (sqrt.f64 3) 3) (*.f64 (pow.f64 x 3) (*.f64 (pow.f64 NAN.f64 5) (pow.f64 (fabs.f64 (*.f64 (sqrt.f64 3) x)) 9))))))
  (+.f64 (*.f64 (sqrt.f64 3) (*.f64 NAN.f64 (pow.f64 (fabs.f64 (*.f64 (sqrt.f64 3) x)) 3))) (+.f64 (/.f64 (*.f64 (pow.f64 (sqrt.f64 3) 2) (*.f64 (pow.f64 NAN.f64 3) (pow.f64 (fabs.f64 (*.f64 (sqrt.f64 3) x)) 6))) x) (/.f64 (*.f64 (pow.f64 (sqrt.f64 3) 3) (*.f64 (pow.f64 NAN.f64 5) (pow.f64 (fabs.f64 (*.f64 (sqrt.f64 3) x)) 9))) (pow.f64 x 2))))
  (-.f64 (+.f64 (*.f64 (sqrt.f64 3) (*.f64 NAN.f64 (pow.f64 (fabs.f64 (*.f64 (sqrt.f64 3) x)) 3))) (/.f64 (*.f64 (pow.f64 (sqrt.f64 3) 3) (*.f64 (pow.f64 NAN.f64 5) (pow.f64 (fabs.f64 (*.f64 (sqrt.f64 3) x)) 9))) (pow.f64 x 2))) (/.f64 (*.f64 (pow.f64 (sqrt.f64 3) 2) (*.f64 (pow.f64 NAN.f64 3) (pow.f64 (fabs.f64 (*.f64 (sqrt.f64 3) x)) 6))) x))
1.113 * * [simplify]: iteration  0 :  4935  enodes  (cost  1770 )
1.113 * * [simplify]: iteration  1 :  4935  enodes  (cost  1770 )
1.123 * [simplify]: Simplified to:
   (exp.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (log.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 3)
  (cbrt.f64 (*.f64 x (*.f64 x 3)))
  (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  1/2
  1/2
  1/2
  (sqrt.f64 x)
  (sqrt.f64 (*.f64 x 3))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3/2)
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3/2)
  (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (*.f64 x 3)))) 3)
  (pow.f64 (sqrt.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3)
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3/2)
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3/2)
  1
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)
  1
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (sqrt.f64 3))
  (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  3/2
  3
  3/2
  (*.f64 3/2 (log.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (*.f64 3/2 (log.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (exp.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))
  (*.f64 3/2 (log.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))))
  (pow.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3/2) 6)
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3/2)
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3/2)
  (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (*.f64 x 3)))) 3)
  (pow.f64 (sqrt.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) 3)
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3/2)
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3/2)
  1
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)
  1
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)
  (sqrt.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))
  (sqrt.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))
  3/2
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3/2)
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3/2)
  (*.f64 x (sqrt.f64 3))
  (log.f64 (*.f64 x (sqrt.f64 3)))
  (exp.f64 (*.f64 x (sqrt.f64 3)))
  (log.f64 (*.f64 x (sqrt.f64 3)))
  (pow.f64 (*.f64 x (sqrt.f64 3)) 3)
  (*.f64 (cbrt.f64 (*.f64 x (sqrt.f64 3))) (cbrt.f64 (*.f64 x (sqrt.f64 3))))
  (cbrt.f64 (*.f64 x (sqrt.f64 3)))
  (pow.f64 (*.f64 x (sqrt.f64 3)) 3)
  (sqrt.f64 (*.f64 x (sqrt.f64 3)))
  (sqrt.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 3)))
  (*.f64 (sqrt.f64 3) (cbrt.f64 x))
  (*.f64 (sqrt.f64 x) (sqrt.f64 3))
  (*.f64 x (sqrt.f64 3))
  (*.f64 x (*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3))))
  (*.f64 x (sqrt.f64 (sqrt.f64 3)))
  (*.f64 x (fabs.f64 (cbrt.f64 3)))
  (*.f64 x (sqrt.f64 (sqrt.f64 3)))
  x
  x
  (log.f64 (*.f64 x (*.f64 x 3)))
  (log.f64 (*.f64 x (*.f64 x 3)))
  (log.f64 (*.f64 x (*.f64 x 3)))
  (exp.f64 (*.f64 x (*.f64 x 3)))
  (log.f64 (*.f64 x (*.f64 x 3)))
  (pow.f64 (*.f64 x (sqrt.f64 3)) 6)
  (pow.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 4)
  (cbrt.f64 (*.f64 x (*.f64 x 3)))
  (pow.f64 (*.f64 x (sqrt.f64 3)) 6)
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) (sqrt.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))
  (*.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) (sqrt.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) (sqrt.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))
  (*.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) (sqrt.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (cbrt.f64 (*.f64 x (*.f64 x 3))))
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 7/2)
  (*.f64 (sqrt.f64 (cbrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3))
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 7/2)
  (*.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3) (sqrt.f64 (sqrt.f64 (*.f64 x 3))))
  (*.f64 x (*.f64 x 3))
  (*.f64 x (*.f64 x 3))
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 5/2)
  (*.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (*.f64 x 3)))) 3))
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 5/2)
  (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)
  (fabs.f64 (*.f64 x (sqrt.f64 3)))
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 5/2)
  (*.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (*.f64 x 3)))) 3))
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 5/2)
  (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (*.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) (sqrt.f64 (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))
  (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))))
  (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 5/2)
  (*.f64 x (sqrt.f64 3))
  (*.f64 x (sqrt.f64 3))
  (neg.f64 (*.f64 x (sqrt.f64 3)))
  (sqrt.f64 (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 3))
  (sqrt.f64 (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 3))
  (sqrt.f64 (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 3))
  (*.f64 x (sqrt.f64 3))
  (*.f64 x (sqrt.f64 3))
  (*.f64 x (sqrt.f64 3))
  (+.f64 (*.f64 (pow.f64 NAN.f64 3) (pow.f64 (*.f64 x (*.f64 x 3)) 4)) (*.f64 (sqrt.f64 3) (+.f64 (*.f64 x (*.f64 (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 3) NAN.f64)) (*.f64 3 (*.f64 (pow.f64 x 3) (*.f64 (pow.f64 NAN.f64 5) (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 9)))))))
  (+.f64 (*.f64 (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 3) (*.f64 (sqrt.f64 3) NAN.f64)) (*.f64 (/.f64 3 x) (+.f64 (*.f64 (pow.f64 (*.f64 x (sqrt.f64 3)) 6) (pow.f64 NAN.f64 3)) (/.f64 (*.f64 (sqrt.f64 3) (*.f64 (pow.f64 NAN.f64 5) (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 9))) x))))
  (+.f64 (*.f64 (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 3) (*.f64 (sqrt.f64 3) NAN.f64)) (*.f64 (/.f64 3 x) (-.f64 (/.f64 (*.f64 (sqrt.f64 3) (*.f64 (pow.f64 NAN.f64 5) (pow.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) 9))) x) (*.f64 (pow.f64 (*.f64 x (sqrt.f64 3)) 6) (pow.f64 NAN.f64 3)))))
1.123 * * * [progress]: adding candidates to table
1.217 * [progress]: [Phase 3 of 3] Extracting.
1.217 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (sqrt.f64 (*.f64 9 (pow.f64 x 4))))> #<alt (λ (x) (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))> #<alt (λ (x) (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (fabs.f64 (*.f64 x (sqrt.f64 3)))))> #<alt (λ (x) (*.f64 (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 3))) (cbrt.f64 (*.f64 x (*.f64 x 3)))) (cbrt.f64 (*.f64 x (*.f64 x 3)))))> #<alt (λ (x) (*.f64 (*.f64 x 3) x))> #<alt (λ (x) (*.f64 (*.f64 (*.f64 x 3) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)))> #<alt (λ (x) (*.f64 (*.f64 3 (pow.f64 x 3/2)) (sqrt.f64 x)))>)
1.217 * * * [regime-changes]: Trying 2 branch expressions: ((*.f64 (*.f64 x 3) x) x)
1.217 * * * * [regimes]: Trying to branch on (*.f64 (*.f64 x 3) x) from (#<alt (λ (x) (sqrt.f64 (*.f64 9 (pow.f64 x 4))))> #<alt (λ (x) (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))> #<alt (λ (x) (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (fabs.f64 (*.f64 x (sqrt.f64 3)))))> #<alt (λ (x) (*.f64 (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 3))) (cbrt.f64 (*.f64 x (*.f64 x 3)))) (cbrt.f64 (*.f64 x (*.f64 x 3)))))> #<alt (λ (x) (*.f64 (*.f64 x 3) x))> #<alt (λ (x) (*.f64 (*.f64 (*.f64 x 3) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)))> #<alt (λ (x) (*.f64 (*.f64 3 (pow.f64 x 3/2)) (sqrt.f64 x)))>)
1.233 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (sqrt.f64 (*.f64 9 (pow.f64 x 4))))> #<alt (λ (x) (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 3)))) (pow.f64 (sqrt.f64 (fabs.f64 (*.f64 x (sqrt.f64 3)))) 3)))> #<alt (λ (x) (*.f64 (fabs.f64 (*.f64 x (sqrt.f64 3))) (fabs.f64 (*.f64 x (sqrt.f64 3)))))> #<alt (λ (x) (*.f64 (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 3))) (cbrt.f64 (*.f64 x (*.f64 x 3)))) (cbrt.f64 (*.f64 x (*.f64 x 3)))))> #<alt (λ (x) (*.f64 (*.f64 x 3) x))> #<alt (λ (x) (*.f64 (*.f64 (*.f64 x 3) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)))> #<alt (λ (x) (*.f64 (*.f64 3 (pow.f64 x 3/2)) (sqrt.f64 x)))>)
1.245 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
1.245 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 x 3) x)
1.248 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
1.248 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
1.248 * [simplify]: Simplified to:
   (*.f64 x (*.f64 x 3))
1.574 * [regime-testing]: End program error score: 0.18102262782847856