41.918 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.016 * * * [progress]: [2/2] Setting up program.
0.018 * [progress]: [Phase 2 of 3] Improving.
0.018 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* x (+ y z)) z)
0.021 * * [simplify]: iteration  0 :  16  enodes  (cost  3 )
0.022 * * [simplify]: iteration  1 :  24  enodes  (cost  3 )
0.024 * * [simplify]: iteration  2 :  38  enodes  (cost  3 )
0.026 * * [simplify]: iteration  3 :  45  enodes  (cost  3 )
0.027 * * [simplify]: iteration  4 :  53  enodes  (cost  3 )
0.029 * * [simplify]: iteration  5 :  57  enodes  (cost  3 )
0.031 * * [simplify]: iteration  6 :  67  enodes  (cost  3 )
0.033 * * [simplify]: iteration  7 :  309  enodes  (cost  2 )
0.043 * * [simplify]: iteration  8 :  2125  enodes  (cost  2 )
0.072 * * [simplify]: iteration  9 :  5001  enodes  (cost  2 )
0.072 * [simplify]: Simplified to:
   (fma (/ y z) x x)
0.076 * * [progress]: iteration 1 / 4
0.076 * * * [progress]: picking best candidate
0.078 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (/ y z) x x))>
0.078 * * * [progress]: localizing error
0.083 * * * [progress]: generating rewritten candidates
0.083 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.084 * * * [progress]: generating series expansions
0.084 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.084 * [approximate]: Taking taylor expansion of (fma (/ y z) x x) in (y z x) around 0
0.084 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in x
0.084 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.084 * [taylor]: Taking taylor expansion of (* (/ y z) x) in x
0.084 * [taylor]: Taking taylor expansion of (/ y z) in x
0.084 * [taylor]: Taking taylor expansion of y in x
0.084 * [taylor]: Taking taylor expansion of z in x
0.084 * [taylor]: Taking taylor expansion of x in x
0.085 * [taylor]: Taking taylor expansion of x in x
0.085 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in z
0.085 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.085 * [taylor]: Taking taylor expansion of (* (/ y z) x) in z
0.085 * [taylor]: Taking taylor expansion of (/ y z) in z
0.085 * [taylor]: Taking taylor expansion of y in z
0.085 * [taylor]: Taking taylor expansion of z in z
0.085 * [taylor]: Taking taylor expansion of x in z
0.085 * [taylor]: Taking taylor expansion of x in z
0.085 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
0.085 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.085 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
0.085 * [taylor]: Taking taylor expansion of (/ y z) in y
0.085 * [taylor]: Taking taylor expansion of y in y
0.085 * [taylor]: Taking taylor expansion of z in y
0.085 * [taylor]: Taking taylor expansion of x in y
0.085 * [taylor]: Taking taylor expansion of x in y
0.085 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
0.085 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.085 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
0.085 * [taylor]: Taking taylor expansion of (/ y z) in y
0.085 * [taylor]: Taking taylor expansion of y in y
0.085 * [taylor]: Taking taylor expansion of z in y
0.085 * [taylor]: Taking taylor expansion of x in y
0.085 * [taylor]: Taking taylor expansion of x in y
0.085 * [taylor]: Taking taylor expansion of x in z
0.085 * [taylor]: Taking taylor expansion of (/ x z) in z
0.085 * [taylor]: Taking taylor expansion of x in z
0.085 * [taylor]: Taking taylor expansion of z in z
0.085 * [taylor]: Taking taylor expansion of x in x
0.085 * [taylor]: Taking taylor expansion of x in x
0.086 * [taylor]: Taking taylor expansion of 0 in z
0.087 * [taylor]: Taking taylor expansion of 0 in x
0.087 * [taylor]: Taking taylor expansion of 0 in x
0.087 * [taylor]: Taking taylor expansion of 0 in z
0.087 * [taylor]: Taking taylor expansion of 0 in x
0.088 * [taylor]: Taking taylor expansion of 0 in x
0.088 * [taylor]: Taking taylor expansion of 0 in x
0.089 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in (y z x) around 0
0.089 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in x
0.089 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.089 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in x
0.089 * [taylor]: Taking taylor expansion of (/ z y) in x
0.089 * [taylor]: Taking taylor expansion of z in x
0.089 * [taylor]: Taking taylor expansion of y in x
0.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.089 * [taylor]: Taking taylor expansion of x in x
0.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.089 * [taylor]: Taking taylor expansion of x in x
0.090 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in z
0.090 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.090 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in z
0.090 * [taylor]: Taking taylor expansion of (/ z y) in z
0.090 * [taylor]: Taking taylor expansion of z in z
0.090 * [taylor]: Taking taylor expansion of y in z
0.090 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.090 * [taylor]: Taking taylor expansion of x in z
0.090 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.090 * [taylor]: Taking taylor expansion of x in z
0.090 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
0.090 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.090 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
0.090 * [taylor]: Taking taylor expansion of (/ z y) in y
0.090 * [taylor]: Taking taylor expansion of z in y
0.090 * [taylor]: Taking taylor expansion of y in y
0.090 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.090 * [taylor]: Taking taylor expansion of x in y
0.090 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.090 * [taylor]: Taking taylor expansion of x in y
0.090 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
0.090 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.090 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
0.090 * [taylor]: Taking taylor expansion of (/ z y) in y
0.090 * [taylor]: Taking taylor expansion of z in y
0.090 * [taylor]: Taking taylor expansion of y in y
0.090 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.090 * [taylor]: Taking taylor expansion of x in y
0.091 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.091 * [taylor]: Taking taylor expansion of x in y
0.091 * [taylor]: Taking taylor expansion of (/ z x) in z
0.091 * [taylor]: Taking taylor expansion of z in z
0.091 * [taylor]: Taking taylor expansion of x in z
0.091 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.091 * [taylor]: Taking taylor expansion of x in z
0.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.092 * [taylor]: Taking taylor expansion of x in x
0.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.092 * [taylor]: Taking taylor expansion of x in x
0.094 * [taylor]: Taking taylor expansion of 0 in z
0.094 * [taylor]: Taking taylor expansion of 0 in x
0.094 * [taylor]: Taking taylor expansion of 0 in x
0.094 * [taylor]: Taking taylor expansion of 0 in x
0.097 * [taylor]: Taking taylor expansion of 0 in z
0.097 * [taylor]: Taking taylor expansion of 0 in x
0.097 * [taylor]: Taking taylor expansion of 0 in x
0.097 * [taylor]: Taking taylor expansion of 0 in x
0.097 * [taylor]: Taking taylor expansion of 0 in x
0.099 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in (y z x) around 0
0.099 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in x
0.099 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.099 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in x
0.099 * [taylor]: Taking taylor expansion of (/ z y) in x
0.099 * [taylor]: Taking taylor expansion of z in x
0.099 * [taylor]: Taking taylor expansion of y in x
0.099 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.099 * [taylor]: Taking taylor expansion of -1 in x
0.099 * [taylor]: Taking taylor expansion of x in x
0.099 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.099 * [taylor]: Taking taylor expansion of -1 in x
0.099 * [taylor]: Taking taylor expansion of x in x
0.100 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in z
0.100 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.100 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in z
0.100 * [taylor]: Taking taylor expansion of (/ z y) in z
0.100 * [taylor]: Taking taylor expansion of z in z
0.100 * [taylor]: Taking taylor expansion of y in z
0.100 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.100 * [taylor]: Taking taylor expansion of -1 in z
0.100 * [taylor]: Taking taylor expansion of x in z
0.100 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.100 * [taylor]: Taking taylor expansion of -1 in z
0.100 * [taylor]: Taking taylor expansion of x in z
0.100 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
0.100 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.100 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
0.100 * [taylor]: Taking taylor expansion of (/ z y) in y
0.100 * [taylor]: Taking taylor expansion of z in y
0.100 * [taylor]: Taking taylor expansion of y in y
0.100 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.100 * [taylor]: Taking taylor expansion of -1 in y
0.100 * [taylor]: Taking taylor expansion of x in y
0.100 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.100 * [taylor]: Taking taylor expansion of -1 in y
0.100 * [taylor]: Taking taylor expansion of x in y
0.100 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
0.100 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.100 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
0.100 * [taylor]: Taking taylor expansion of (/ z y) in y
0.100 * [taylor]: Taking taylor expansion of z in y
0.100 * [taylor]: Taking taylor expansion of y in y
0.101 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.101 * [taylor]: Taking taylor expansion of -1 in y
0.101 * [taylor]: Taking taylor expansion of x in y
0.101 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.101 * [taylor]: Taking taylor expansion of -1 in y
0.101 * [taylor]: Taking taylor expansion of x in y
0.101 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
0.101 * [taylor]: Taking taylor expansion of (/ z x) in z
0.101 * [taylor]: Taking taylor expansion of z in z
0.101 * [taylor]: Taking taylor expansion of x in z
0.102 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z
0.102 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.102 * [taylor]: Taking taylor expansion of x in z
0.102 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.102 * [taylor]: Taking taylor expansion of x in x
0.103 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.103 * [taylor]: Taking taylor expansion of x in x
0.105 * [taylor]: Taking taylor expansion of 0 in z
0.105 * [taylor]: Taking taylor expansion of 0 in x
0.105 * [taylor]: Taking taylor expansion of 0 in x
0.105 * [taylor]: Taking taylor expansion of 0 in x
0.109 * [taylor]: Taking taylor expansion of 0 in z
0.109 * [taylor]: Taking taylor expansion of 0 in x
0.109 * [taylor]: Taking taylor expansion of 0 in x
0.109 * [taylor]: Taking taylor expansion of 0 in x
0.109 * [taylor]: Taking taylor expansion of 0 in x
0.111 * * * [progress]: simplifying candidates
0.111 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (* (* (fma (/ y z) x x) (fma (/ y z) x x)) (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
0.114 * * [simplify]: iteration  0 :  26  enodes  (cost  44 )
0.115 * * [simplify]: iteration  1 :  62  enodes  (cost  39 )
0.117 * * [simplify]: iteration  2 :  205  enodes  (cost  39 )
0.122 * * [simplify]: iteration  3 :  849  enodes  (cost  39 )
0.146 * * [simplify]: iteration  4 :  4785  enodes  (cost  39 )
0.247 * * [simplify]: iteration  5 :  5001  enodes  (cost  39 )
0.248 * [simplify]: Simplified to:
   (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (pow (fma (/ y z) x x) 3)
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
0.248 * * * [progress]: adding candidates to table
0.272 * * [progress]: iteration 2 / 4
0.272 * * * [progress]: picking best candidate
0.276 * * * * [pick]: Picked  #<alt (λ (x y z) (* (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))) (cbrt (fma (/ y z) x x))))>
0.276 * * * [progress]: localizing error
0.284 * * * [progress]: generating rewritten candidates
0.284 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
0.285 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
0.286 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.286 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.293 * * * [progress]: generating series expansions
0.294 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
0.294 * [approximate]: Taking taylor expansion of (fma (/ y z) x x) in (y z x) around 0
0.294 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in x
0.294 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.294 * [taylor]: Taking taylor expansion of (* (/ y z) x) in x
0.294 * [taylor]: Taking taylor expansion of (/ y z) in x
0.294 * [taylor]: Taking taylor expansion of y in x
0.294 * [taylor]: Taking taylor expansion of z in x
0.294 * [taylor]: Taking taylor expansion of x in x
0.294 * [taylor]: Taking taylor expansion of x in x
0.294 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in z
0.294 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.294 * [taylor]: Taking taylor expansion of (* (/ y z) x) in z
0.294 * [taylor]: Taking taylor expansion of (/ y z) in z
0.294 * [taylor]: Taking taylor expansion of y in z
0.294 * [taylor]: Taking taylor expansion of z in z
0.294 * [taylor]: Taking taylor expansion of x in z
0.294 * [taylor]: Taking taylor expansion of x in z
0.294 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
0.294 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.294 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
0.295 * [taylor]: Taking taylor expansion of (/ y z) in y
0.295 * [taylor]: Taking taylor expansion of y in y
0.295 * [taylor]: Taking taylor expansion of z in y
0.295 * [taylor]: Taking taylor expansion of x in y
0.295 * [taylor]: Taking taylor expansion of x in y
0.295 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
0.295 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.295 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
0.295 * [taylor]: Taking taylor expansion of (/ y z) in y
0.295 * [taylor]: Taking taylor expansion of y in y
0.295 * [taylor]: Taking taylor expansion of z in y
0.295 * [taylor]: Taking taylor expansion of x in y
0.295 * [taylor]: Taking taylor expansion of x in y
0.295 * [taylor]: Taking taylor expansion of x in z
0.295 * [taylor]: Taking taylor expansion of (/ x z) in z
0.295 * [taylor]: Taking taylor expansion of x in z
0.295 * [taylor]: Taking taylor expansion of z in z
0.295 * [taylor]: Taking taylor expansion of x in x
0.295 * [taylor]: Taking taylor expansion of x in x
0.296 * [taylor]: Taking taylor expansion of 0 in z
0.296 * [taylor]: Taking taylor expansion of 0 in x
0.296 * [taylor]: Taking taylor expansion of 0 in x
0.297 * [taylor]: Taking taylor expansion of 0 in z
0.297 * [taylor]: Taking taylor expansion of 0 in x
0.298 * [taylor]: Taking taylor expansion of 0 in x
0.298 * [taylor]: Taking taylor expansion of 0 in x
0.299 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in (y z x) around 0
0.299 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in x
0.299 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.299 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in x
0.299 * [taylor]: Taking taylor expansion of (/ z y) in x
0.299 * [taylor]: Taking taylor expansion of z in x
0.299 * [taylor]: Taking taylor expansion of y in x
0.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.299 * [taylor]: Taking taylor expansion of x in x
0.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.299 * [taylor]: Taking taylor expansion of x in x
0.299 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in z
0.299 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.300 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in z
0.300 * [taylor]: Taking taylor expansion of (/ z y) in z
0.300 * [taylor]: Taking taylor expansion of z in z
0.300 * [taylor]: Taking taylor expansion of y in z
0.300 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.300 * [taylor]: Taking taylor expansion of x in z
0.300 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.300 * [taylor]: Taking taylor expansion of x in z
0.300 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
0.300 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.300 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
0.300 * [taylor]: Taking taylor expansion of (/ z y) in y
0.300 * [taylor]: Taking taylor expansion of z in y
0.300 * [taylor]: Taking taylor expansion of y in y
0.300 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.300 * [taylor]: Taking taylor expansion of x in y
0.300 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.300 * [taylor]: Taking taylor expansion of x in y
0.300 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
0.300 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.300 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
0.300 * [taylor]: Taking taylor expansion of (/ z y) in y
0.300 * [taylor]: Taking taylor expansion of z in y
0.300 * [taylor]: Taking taylor expansion of y in y
0.300 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.300 * [taylor]: Taking taylor expansion of x in y
0.300 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.300 * [taylor]: Taking taylor expansion of x in y
0.300 * [taylor]: Taking taylor expansion of (/ z x) in z
0.300 * [taylor]: Taking taylor expansion of z in z
0.300 * [taylor]: Taking taylor expansion of x in z
0.301 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.301 * [taylor]: Taking taylor expansion of x in z
0.301 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.301 * [taylor]: Taking taylor expansion of x in x
0.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.302 * [taylor]: Taking taylor expansion of x in x
0.303 * [taylor]: Taking taylor expansion of 0 in z
0.303 * [taylor]: Taking taylor expansion of 0 in x
0.303 * [taylor]: Taking taylor expansion of 0 in x
0.303 * [taylor]: Taking taylor expansion of 0 in x
0.306 * [taylor]: Taking taylor expansion of 0 in z
0.306 * [taylor]: Taking taylor expansion of 0 in x
0.306 * [taylor]: Taking taylor expansion of 0 in x
0.307 * [taylor]: Taking taylor expansion of 0 in x
0.307 * [taylor]: Taking taylor expansion of 0 in x
0.308 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in (y z x) around 0
0.308 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in x
0.308 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.308 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in x
0.308 * [taylor]: Taking taylor expansion of (/ z y) in x
0.308 * [taylor]: Taking taylor expansion of z in x
0.308 * [taylor]: Taking taylor expansion of y in x
0.308 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.308 * [taylor]: Taking taylor expansion of -1 in x
0.308 * [taylor]: Taking taylor expansion of x in x
0.308 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.308 * [taylor]: Taking taylor expansion of -1 in x
0.308 * [taylor]: Taking taylor expansion of x in x
0.309 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in z
0.309 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.309 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in z
0.309 * [taylor]: Taking taylor expansion of (/ z y) in z
0.309 * [taylor]: Taking taylor expansion of z in z
0.309 * [taylor]: Taking taylor expansion of y in z
0.309 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.309 * [taylor]: Taking taylor expansion of -1 in z
0.309 * [taylor]: Taking taylor expansion of x in z
0.309 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.309 * [taylor]: Taking taylor expansion of -1 in z
0.309 * [taylor]: Taking taylor expansion of x in z
0.309 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
0.309 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.309 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
0.309 * [taylor]: Taking taylor expansion of (/ z y) in y
0.309 * [taylor]: Taking taylor expansion of z in y
0.309 * [taylor]: Taking taylor expansion of y in y
0.309 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.309 * [taylor]: Taking taylor expansion of -1 in y
0.309 * [taylor]: Taking taylor expansion of x in y
0.309 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.309 * [taylor]: Taking taylor expansion of -1 in y
0.309 * [taylor]: Taking taylor expansion of x in y
0.309 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
0.309 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.309 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
0.309 * [taylor]: Taking taylor expansion of (/ z y) in y
0.309 * [taylor]: Taking taylor expansion of z in y
0.309 * [taylor]: Taking taylor expansion of y in y
0.310 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.310 * [taylor]: Taking taylor expansion of -1 in y
0.310 * [taylor]: Taking taylor expansion of x in y
0.310 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.310 * [taylor]: Taking taylor expansion of -1 in y
0.310 * [taylor]: Taking taylor expansion of x in y
0.310 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
0.310 * [taylor]: Taking taylor expansion of (/ z x) in z
0.310 * [taylor]: Taking taylor expansion of z in z
0.310 * [taylor]: Taking taylor expansion of x in z
0.311 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z
0.311 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.311 * [taylor]: Taking taylor expansion of x in z
0.311 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.311 * [taylor]: Taking taylor expansion of x in x
0.311 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.311 * [taylor]: Taking taylor expansion of x in x
0.313 * [taylor]: Taking taylor expansion of 0 in z
0.313 * [taylor]: Taking taylor expansion of 0 in x
0.314 * [taylor]: Taking taylor expansion of 0 in x
0.314 * [taylor]: Taking taylor expansion of 0 in x
0.318 * [taylor]: Taking taylor expansion of 0 in z
0.318 * [taylor]: Taking taylor expansion of 0 in x
0.318 * [taylor]: Taking taylor expansion of 0 in x
0.318 * [taylor]: Taking taylor expansion of 0 in x
0.318 * [taylor]: Taking taylor expansion of 0 in x
0.320 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
0.320 * [approximate]: Taking taylor expansion of (fma (/ y z) x x) in (y z x) around 0
0.320 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in x
0.320 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.320 * [taylor]: Taking taylor expansion of (* (/ y z) x) in x
0.320 * [taylor]: Taking taylor expansion of (/ y z) in x
0.320 * [taylor]: Taking taylor expansion of y in x
0.320 * [taylor]: Taking taylor expansion of z in x
0.320 * [taylor]: Taking taylor expansion of x in x
0.320 * [taylor]: Taking taylor expansion of x in x
0.320 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in z
0.320 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.320 * [taylor]: Taking taylor expansion of (* (/ y z) x) in z
0.320 * [taylor]: Taking taylor expansion of (/ y z) in z
0.320 * [taylor]: Taking taylor expansion of y in z
0.320 * [taylor]: Taking taylor expansion of z in z
0.320 * [taylor]: Taking taylor expansion of x in z
0.320 * [taylor]: Taking taylor expansion of x in z
0.320 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
0.320 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.320 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
0.320 * [taylor]: Taking taylor expansion of (/ y z) in y
0.320 * [taylor]: Taking taylor expansion of y in y
0.320 * [taylor]: Taking taylor expansion of z in y
0.320 * [taylor]: Taking taylor expansion of x in y
0.320 * [taylor]: Taking taylor expansion of x in y
0.320 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
0.320 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.321 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
0.321 * [taylor]: Taking taylor expansion of (/ y z) in y
0.321 * [taylor]: Taking taylor expansion of y in y
0.321 * [taylor]: Taking taylor expansion of z in y
0.321 * [taylor]: Taking taylor expansion of x in y
0.321 * [taylor]: Taking taylor expansion of x in y
0.321 * [taylor]: Taking taylor expansion of x in z
0.321 * [taylor]: Taking taylor expansion of (/ x z) in z
0.321 * [taylor]: Taking taylor expansion of x in z
0.321 * [taylor]: Taking taylor expansion of z in z
0.321 * [taylor]: Taking taylor expansion of x in x
0.321 * [taylor]: Taking taylor expansion of x in x
0.321 * [taylor]: Taking taylor expansion of 0 in z
0.322 * [taylor]: Taking taylor expansion of 0 in x
0.322 * [taylor]: Taking taylor expansion of 0 in x
0.323 * [taylor]: Taking taylor expansion of 0 in z
0.323 * [taylor]: Taking taylor expansion of 0 in x
0.323 * [taylor]: Taking taylor expansion of 0 in x
0.323 * [taylor]: Taking taylor expansion of 0 in x
0.324 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in (y z x) around 0
0.324 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in x
0.324 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.324 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in x
0.324 * [taylor]: Taking taylor expansion of (/ z y) in x
0.324 * [taylor]: Taking taylor expansion of z in x
0.324 * [taylor]: Taking taylor expansion of y in x
0.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.324 * [taylor]: Taking taylor expansion of x in x
0.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.325 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in z
0.325 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.325 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in z
0.325 * [taylor]: Taking taylor expansion of (/ z y) in z
0.325 * [taylor]: Taking taylor expansion of z in z
0.325 * [taylor]: Taking taylor expansion of y in z
0.325 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.325 * [taylor]: Taking taylor expansion of x in z
0.325 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.325 * [taylor]: Taking taylor expansion of x in z
0.325 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
0.325 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.325 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
0.325 * [taylor]: Taking taylor expansion of (/ z y) in y
0.325 * [taylor]: Taking taylor expansion of z in y
0.325 * [taylor]: Taking taylor expansion of y in y
0.325 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.325 * [taylor]: Taking taylor expansion of x in y
0.325 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.325 * [taylor]: Taking taylor expansion of x in y
0.325 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
0.325 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.325 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
0.326 * [taylor]: Taking taylor expansion of (/ z y) in y
0.326 * [taylor]: Taking taylor expansion of z in y
0.326 * [taylor]: Taking taylor expansion of y in y
0.326 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.326 * [taylor]: Taking taylor expansion of x in y
0.326 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.326 * [taylor]: Taking taylor expansion of x in y
0.326 * [taylor]: Taking taylor expansion of (/ z x) in z
0.326 * [taylor]: Taking taylor expansion of z in z
0.326 * [taylor]: Taking taylor expansion of x in z
0.326 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.327 * [taylor]: Taking taylor expansion of x in z
0.327 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.327 * [taylor]: Taking taylor expansion of x in x
0.327 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.327 * [taylor]: Taking taylor expansion of x in x
0.329 * [taylor]: Taking taylor expansion of 0 in z
0.329 * [taylor]: Taking taylor expansion of 0 in x
0.329 * [taylor]: Taking taylor expansion of 0 in x
0.329 * [taylor]: Taking taylor expansion of 0 in x
0.336 * [taylor]: Taking taylor expansion of 0 in z
0.336 * [taylor]: Taking taylor expansion of 0 in x
0.336 * [taylor]: Taking taylor expansion of 0 in x
0.336 * [taylor]: Taking taylor expansion of 0 in x
0.336 * [taylor]: Taking taylor expansion of 0 in x
0.337 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in (y z x) around 0
0.337 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in x
0.338 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.338 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in x
0.338 * [taylor]: Taking taylor expansion of (/ z y) in x
0.338 * [taylor]: Taking taylor expansion of z in x
0.338 * [taylor]: Taking taylor expansion of y in x
0.338 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.338 * [taylor]: Taking taylor expansion of -1 in x
0.338 * [taylor]: Taking taylor expansion of x in x
0.338 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.338 * [taylor]: Taking taylor expansion of -1 in x
0.338 * [taylor]: Taking taylor expansion of x in x
0.338 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in z
0.338 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.338 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in z
0.338 * [taylor]: Taking taylor expansion of (/ z y) in z
0.339 * [taylor]: Taking taylor expansion of z in z
0.339 * [taylor]: Taking taylor expansion of y in z
0.339 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.339 * [taylor]: Taking taylor expansion of -1 in z
0.339 * [taylor]: Taking taylor expansion of x in z
0.339 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.339 * [taylor]: Taking taylor expansion of -1 in z
0.339 * [taylor]: Taking taylor expansion of x in z
0.339 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
0.339 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.339 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
0.339 * [taylor]: Taking taylor expansion of (/ z y) in y
0.339 * [taylor]: Taking taylor expansion of z in y
0.339 * [taylor]: Taking taylor expansion of y in y
0.339 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.339 * [taylor]: Taking taylor expansion of -1 in y
0.339 * [taylor]: Taking taylor expansion of x in y
0.339 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.339 * [taylor]: Taking taylor expansion of -1 in y
0.339 * [taylor]: Taking taylor expansion of x in y
0.339 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
0.339 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.339 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
0.339 * [taylor]: Taking taylor expansion of (/ z y) in y
0.339 * [taylor]: Taking taylor expansion of z in y
0.339 * [taylor]: Taking taylor expansion of y in y
0.339 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.339 * [taylor]: Taking taylor expansion of -1 in y
0.339 * [taylor]: Taking taylor expansion of x in y
0.339 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.339 * [taylor]: Taking taylor expansion of -1 in y
0.339 * [taylor]: Taking taylor expansion of x in y
0.339 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
0.339 * [taylor]: Taking taylor expansion of (/ z x) in z
0.340 * [taylor]: Taking taylor expansion of z in z
0.340 * [taylor]: Taking taylor expansion of x in z
0.340 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z
0.340 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.340 * [taylor]: Taking taylor expansion of x in z
0.340 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.340 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.340 * [taylor]: Taking taylor expansion of x in x
0.341 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.341 * [taylor]: Taking taylor expansion of x in x
0.343 * [taylor]: Taking taylor expansion of 0 in z
0.343 * [taylor]: Taking taylor expansion of 0 in x
0.343 * [taylor]: Taking taylor expansion of 0 in x
0.344 * [taylor]: Taking taylor expansion of 0 in x
0.347 * [taylor]: Taking taylor expansion of 0 in z
0.347 * [taylor]: Taking taylor expansion of 0 in x
0.347 * [taylor]: Taking taylor expansion of 0 in x
0.347 * [taylor]: Taking taylor expansion of 0 in x
0.348 * [taylor]: Taking taylor expansion of 0 in x
0.349 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.349 * [approximate]: Taking taylor expansion of (fma (/ y z) x x) in (y z x) around 0
0.349 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in x
0.349 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.349 * [taylor]: Taking taylor expansion of (* (/ y z) x) in x
0.349 * [taylor]: Taking taylor expansion of (/ y z) in x
0.349 * [taylor]: Taking taylor expansion of y in x
0.349 * [taylor]: Taking taylor expansion of z in x
0.350 * [taylor]: Taking taylor expansion of x in x
0.350 * [taylor]: Taking taylor expansion of x in x
0.350 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in z
0.350 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.350 * [taylor]: Taking taylor expansion of (* (/ y z) x) in z
0.350 * [taylor]: Taking taylor expansion of (/ y z) in z
0.350 * [taylor]: Taking taylor expansion of y in z
0.350 * [taylor]: Taking taylor expansion of z in z
0.350 * [taylor]: Taking taylor expansion of x in z
0.350 * [taylor]: Taking taylor expansion of x in z
0.350 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
0.350 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.350 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
0.350 * [taylor]: Taking taylor expansion of (/ y z) in y
0.350 * [taylor]: Taking taylor expansion of y in y
0.350 * [taylor]: Taking taylor expansion of z in y
0.350 * [taylor]: Taking taylor expansion of x in y
0.350 * [taylor]: Taking taylor expansion of x in y
0.350 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
0.350 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.350 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
0.350 * [taylor]: Taking taylor expansion of (/ y z) in y
0.350 * [taylor]: Taking taylor expansion of y in y
0.350 * [taylor]: Taking taylor expansion of z in y
0.350 * [taylor]: Taking taylor expansion of x in y
0.350 * [taylor]: Taking taylor expansion of x in y
0.350 * [taylor]: Taking taylor expansion of x in z
0.350 * [taylor]: Taking taylor expansion of (/ x z) in z
0.350 * [taylor]: Taking taylor expansion of x in z
0.350 * [taylor]: Taking taylor expansion of z in z
0.350 * [taylor]: Taking taylor expansion of x in x
0.350 * [taylor]: Taking taylor expansion of x in x
0.351 * [taylor]: Taking taylor expansion of 0 in z
0.351 * [taylor]: Taking taylor expansion of 0 in x
0.351 * [taylor]: Taking taylor expansion of 0 in x
0.352 * [taylor]: Taking taylor expansion of 0 in z
0.352 * [taylor]: Taking taylor expansion of 0 in x
0.353 * [taylor]: Taking taylor expansion of 0 in x
0.353 * [taylor]: Taking taylor expansion of 0 in x
0.354 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in (y z x) around 0
0.354 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in x
0.354 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.354 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in x
0.354 * [taylor]: Taking taylor expansion of (/ z y) in x
0.354 * [taylor]: Taking taylor expansion of z in x
0.354 * [taylor]: Taking taylor expansion of y in x
0.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.354 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in z
0.354 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.354 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in z
0.354 * [taylor]: Taking taylor expansion of (/ z y) in z
0.354 * [taylor]: Taking taylor expansion of z in z
0.354 * [taylor]: Taking taylor expansion of y in z
0.355 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.355 * [taylor]: Taking taylor expansion of x in z
0.355 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.355 * [taylor]: Taking taylor expansion of x in z
0.355 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
0.355 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.355 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
0.355 * [taylor]: Taking taylor expansion of (/ z y) in y
0.355 * [taylor]: Taking taylor expansion of z in y
0.355 * [taylor]: Taking taylor expansion of y in y
0.355 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.355 * [taylor]: Taking taylor expansion of x in y
0.355 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.355 * [taylor]: Taking taylor expansion of x in y
0.355 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
0.355 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.355 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
0.355 * [taylor]: Taking taylor expansion of (/ z y) in y
0.355 * [taylor]: Taking taylor expansion of z in y
0.355 * [taylor]: Taking taylor expansion of y in y
0.355 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.355 * [taylor]: Taking taylor expansion of x in y
0.355 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.355 * [taylor]: Taking taylor expansion of x in y
0.355 * [taylor]: Taking taylor expansion of (/ z x) in z
0.355 * [taylor]: Taking taylor expansion of z in z
0.355 * [taylor]: Taking taylor expansion of x in z
0.356 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.356 * [taylor]: Taking taylor expansion of x in z
0.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.356 * [taylor]: Taking taylor expansion of x in x
0.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.356 * [taylor]: Taking taylor expansion of x in x
0.358 * [taylor]: Taking taylor expansion of 0 in z
0.358 * [taylor]: Taking taylor expansion of 0 in x
0.358 * [taylor]: Taking taylor expansion of 0 in x
0.358 * [taylor]: Taking taylor expansion of 0 in x
0.361 * [taylor]: Taking taylor expansion of 0 in z
0.361 * [taylor]: Taking taylor expansion of 0 in x
0.361 * [taylor]: Taking taylor expansion of 0 in x
0.361 * [taylor]: Taking taylor expansion of 0 in x
0.361 * [taylor]: Taking taylor expansion of 0 in x
0.363 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in (y z x) around 0
0.363 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in x
0.363 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.363 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in x
0.363 * [taylor]: Taking taylor expansion of (/ z y) in x
0.363 * [taylor]: Taking taylor expansion of z in x
0.363 * [taylor]: Taking taylor expansion of y in x
0.363 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.363 * [taylor]: Taking taylor expansion of -1 in x
0.363 * [taylor]: Taking taylor expansion of x in x
0.363 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.363 * [taylor]: Taking taylor expansion of -1 in x
0.363 * [taylor]: Taking taylor expansion of x in x
0.364 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in z
0.364 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.364 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in z
0.364 * [taylor]: Taking taylor expansion of (/ z y) in z
0.364 * [taylor]: Taking taylor expansion of z in z
0.364 * [taylor]: Taking taylor expansion of y in z
0.364 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.364 * [taylor]: Taking taylor expansion of -1 in z
0.364 * [taylor]: Taking taylor expansion of x in z
0.364 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.364 * [taylor]: Taking taylor expansion of -1 in z
0.364 * [taylor]: Taking taylor expansion of x in z
0.364 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
0.364 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.364 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
0.364 * [taylor]: Taking taylor expansion of (/ z y) in y
0.364 * [taylor]: Taking taylor expansion of z in y
0.364 * [taylor]: Taking taylor expansion of y in y
0.364 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.364 * [taylor]: Taking taylor expansion of -1 in y
0.364 * [taylor]: Taking taylor expansion of x in y
0.364 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.364 * [taylor]: Taking taylor expansion of -1 in y
0.364 * [taylor]: Taking taylor expansion of x in y
0.364 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
0.364 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.364 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
0.364 * [taylor]: Taking taylor expansion of (/ z y) in y
0.364 * [taylor]: Taking taylor expansion of z in y
0.364 * [taylor]: Taking taylor expansion of y in y
0.364 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.364 * [taylor]: Taking taylor expansion of -1 in y
0.364 * [taylor]: Taking taylor expansion of x in y
0.364 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.364 * [taylor]: Taking taylor expansion of -1 in y
0.364 * [taylor]: Taking taylor expansion of x in y
0.365 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
0.365 * [taylor]: Taking taylor expansion of (/ z x) in z
0.365 * [taylor]: Taking taylor expansion of z in z
0.365 * [taylor]: Taking taylor expansion of x in z
0.365 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z
0.365 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.365 * [taylor]: Taking taylor expansion of x in z
0.365 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.366 * [taylor]: Taking taylor expansion of x in x
0.366 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.366 * [taylor]: Taking taylor expansion of x in x
0.368 * [taylor]: Taking taylor expansion of 0 in z
0.368 * [taylor]: Taking taylor expansion of 0 in x
0.369 * [taylor]: Taking taylor expansion of 0 in x
0.369 * [taylor]: Taking taylor expansion of 0 in x
0.372 * [taylor]: Taking taylor expansion of 0 in z
0.372 * [taylor]: Taking taylor expansion of 0 in x
0.372 * [taylor]: Taking taylor expansion of 0 in x
0.373 * [taylor]: Taking taylor expansion of 0 in x
0.373 * [taylor]: Taking taylor expansion of 0 in x
0.374 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.375 * [approximate]: Taking taylor expansion of (pow (pow (fma (/ y z) x x) 2) 1/3) in (y z x) around 0
0.375 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ y z) x x) 2) 1/3) in x
0.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ y z) x x) 2)))) in x
0.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ y z) x x) 2))) in x
0.375 * [taylor]: Taking taylor expansion of 1/3 in x
0.375 * [taylor]: Taking taylor expansion of (log (pow (fma (/ y z) x x) 2)) in x
0.375 * [taylor]: Taking taylor expansion of (pow (fma (/ y z) x x) 2) in x
0.375 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in x
0.375 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.375 * [taylor]: Taking taylor expansion of (* (/ y z) x) in x
0.375 * [taylor]: Taking taylor expansion of (/ y z) in x
0.375 * [taylor]: Taking taylor expansion of y in x
0.375 * [taylor]: Taking taylor expansion of z in x
0.375 * [taylor]: Taking taylor expansion of x in x
0.375 * [taylor]: Taking taylor expansion of x in x
0.376 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ y z) x x) 2) 1/3) in z
0.376 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ y z) x x) 2)))) in z
0.376 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ y z) x x) 2))) in z
0.376 * [taylor]: Taking taylor expansion of 1/3 in z
0.377 * [taylor]: Taking taylor expansion of (log (pow (fma (/ y z) x x) 2)) in z
0.377 * [taylor]: Taking taylor expansion of (pow (fma (/ y z) x x) 2) in z
0.377 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in z
0.377 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.377 * [taylor]: Taking taylor expansion of (* (/ y z) x) in z
0.377 * [taylor]: Taking taylor expansion of (/ y z) in z
0.377 * [taylor]: Taking taylor expansion of y in z
0.377 * [taylor]: Taking taylor expansion of z in z
0.377 * [taylor]: Taking taylor expansion of x in z
0.377 * [taylor]: Taking taylor expansion of x in z
0.378 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ y z) x x) 2) 1/3) in y
0.378 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ y z) x x) 2)))) in y
0.378 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ y z) x x) 2))) in y
0.378 * [taylor]: Taking taylor expansion of 1/3 in y
0.378 * [taylor]: Taking taylor expansion of (log (pow (fma (/ y z) x x) 2)) in y
0.378 * [taylor]: Taking taylor expansion of (pow (fma (/ y z) x x) 2) in y
0.378 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
0.378 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.378 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
0.378 * [taylor]: Taking taylor expansion of (/ y z) in y
0.378 * [taylor]: Taking taylor expansion of y in y
0.378 * [taylor]: Taking taylor expansion of z in y
0.378 * [taylor]: Taking taylor expansion of x in y
0.378 * [taylor]: Taking taylor expansion of x in y
0.378 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ y z) x x) 2) 1/3) in y
0.378 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ y z) x x) 2)))) in y
0.378 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ y z) x x) 2))) in y
0.378 * [taylor]: Taking taylor expansion of 1/3 in y
0.378 * [taylor]: Taking taylor expansion of (log (pow (fma (/ y z) x x) 2)) in y
0.378 * [taylor]: Taking taylor expansion of (pow (fma (/ y z) x x) 2) in y
0.378 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
0.378 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.378 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
0.378 * [taylor]: Taking taylor expansion of (/ y z) in y
0.378 * [taylor]: Taking taylor expansion of y in y
0.378 * [taylor]: Taking taylor expansion of z in y
0.379 * [taylor]: Taking taylor expansion of x in y
0.379 * [taylor]: Taking taylor expansion of x in y
0.379 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in z
0.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in z
0.379 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in z
0.379 * [taylor]: Taking taylor expansion of 1/3 in z
0.379 * [taylor]: Taking taylor expansion of (log (pow x 2)) in z
0.379 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.379 * [taylor]: Taking taylor expansion of x in z
0.379 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
0.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
0.379 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
0.379 * [taylor]: Taking taylor expansion of 1/3 in x
0.379 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
0.379 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.379 * [taylor]: Taking taylor expansion of x in x
0.381 * [taylor]: Taking taylor expansion of (* 2/3 (* (pow (pow x 2) 1/3) (/ 1 z))) in z
0.381 * [taylor]: Taking taylor expansion of 2/3 in z
0.381 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (/ 1 z)) in z
0.381 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in z
0.381 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in z
0.381 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in z
0.381 * [taylor]: Taking taylor expansion of 1/3 in z
0.381 * [taylor]: Taking taylor expansion of (log (pow x 2)) in z
0.381 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.381 * [taylor]: Taking taylor expansion of x in z
0.381 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.381 * [taylor]: Taking taylor expansion of z in z
0.384 * [taylor]: Taking taylor expansion of 0 in x
0.386 * [taylor]: Taking taylor expansion of 0 in x
0.389 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (pow x 2) 1/3) (/ 1 (pow z 2)))) in z
0.389 * [taylor]: Taking taylor expansion of -1/9 in z
0.389 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (/ 1 (pow z 2))) in z
0.389 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in z
0.389 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in z
0.390 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in z
0.390 * [taylor]: Taking taylor expansion of 1/3 in z
0.390 * [taylor]: Taking taylor expansion of (log (pow x 2)) in z
0.390 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.390 * [taylor]: Taking taylor expansion of x in z
0.390 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.390 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.390 * [taylor]: Taking taylor expansion of z in z
0.398 * [taylor]: Taking taylor expansion of 0 in x
0.402 * [taylor]: Taking taylor expansion of 0 in x
0.405 * [taylor]: Taking taylor expansion of 0 in x
0.405 * [approximate]: Taking taylor expansion of (pow (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2) 1/3) in (y z x) around 0
0.405 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2) 1/3) in x
0.405 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2)))) in x
0.405 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2))) in x
0.405 * [taylor]: Taking taylor expansion of 1/3 in x
0.405 * [taylor]: Taking taylor expansion of (log (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2)) in x
0.405 * [taylor]: Taking taylor expansion of (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2) in x
0.405 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in x
0.405 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.405 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in x
0.405 * [taylor]: Taking taylor expansion of (/ z y) in x
0.406 * [taylor]: Taking taylor expansion of z in x
0.406 * [taylor]: Taking taylor expansion of y 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) in x
0.406 * [taylor]: Taking taylor expansion of x in x
0.407 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2) 1/3) in z
0.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2)))) in z
0.407 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2))) in z
0.407 * [taylor]: Taking taylor expansion of 1/3 in z
0.407 * [taylor]: Taking taylor expansion of (log (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2)) in z
0.407 * [taylor]: Taking taylor expansion of (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2) in z
0.407 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in z
0.407 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.407 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in z
0.407 * [taylor]: Taking taylor expansion of (/ z y) in z
0.407 * [taylor]: Taking taylor expansion of z in z
0.407 * [taylor]: Taking taylor expansion of y in z
0.407 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.407 * [taylor]: Taking taylor expansion of x in z
0.407 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.407 * [taylor]: Taking taylor expansion of x in z
0.408 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2) 1/3) in y
0.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2)))) in y
0.408 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2))) in y
0.408 * [taylor]: Taking taylor expansion of 1/3 in y
0.408 * [taylor]: Taking taylor expansion of (log (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2)) in y
0.408 * [taylor]: Taking taylor expansion of (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2) in y
0.408 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
0.408 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.408 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
0.408 * [taylor]: Taking taylor expansion of (/ z y) in y
0.408 * [taylor]: Taking taylor expansion of z in y
0.408 * [taylor]: Taking taylor expansion of y in y
0.408 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.408 * [taylor]: Taking taylor expansion of x in y
0.408 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.408 * [taylor]: Taking taylor expansion of x in y
0.409 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2) 1/3) in y
0.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2)))) in y
0.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2))) in y
0.409 * [taylor]: Taking taylor expansion of 1/3 in y
0.409 * [taylor]: Taking taylor expansion of (log (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2)) in y
0.409 * [taylor]: Taking taylor expansion of (pow (fma (/ z y) (/ 1 x) (/ 1 x)) 2) in y
0.409 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
0.409 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.409 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
0.409 * [taylor]: Taking taylor expansion of (/ z y) in y
0.409 * [taylor]: Taking taylor expansion of z in y
0.409 * [taylor]: Taking taylor expansion of y in y
0.409 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.409 * [taylor]: Taking taylor expansion of x in y
0.409 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.409 * [taylor]: Taking taylor expansion of x in y
0.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y))))) in z
0.410 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y)))) in z
0.410 * [taylor]: Taking taylor expansion of 1/3 in z
0.411 * [taylor]: Taking taylor expansion of (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y))) in z
0.411 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow x 2))) in z
0.411 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow x 2)) in z
0.411 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.411 * [taylor]: Taking taylor expansion of z in z
0.411 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.411 * [taylor]: Taking taylor expansion of x in z
0.411 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
0.411 * [taylor]: Taking taylor expansion of 2 in z
0.411 * [taylor]: Taking taylor expansion of (log y) in z
0.411 * [taylor]: Taking taylor expansion of y in z
0.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (* 2 (log z)) (log (/ 1 (pow x 2)))) (* 2 (log y))))) in x
0.412 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (* 2 (log z)) (log (/ 1 (pow x 2)))) (* 2 (log y)))) in x
0.412 * [taylor]: Taking taylor expansion of 1/3 in x
0.412 * [taylor]: Taking taylor expansion of (- (+ (* 2 (log z)) (log (/ 1 (pow x 2)))) (* 2 (log y))) in x
0.412 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (/ 1 (pow x 2)))) in x
0.412 * [taylor]: Taking taylor expansion of (* 2 (log z)) in x
0.412 * [taylor]: Taking taylor expansion of 2 in x
0.412 * [taylor]: Taking taylor expansion of (log z) in x
0.412 * [taylor]: Taking taylor expansion of z in x
0.412 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.412 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.412 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.412 * [taylor]: Taking taylor expansion of x in x
0.413 * [taylor]: Taking taylor expansion of (* 2 (log y)) in x
0.413 * [taylor]: Taking taylor expansion of 2 in x
0.413 * [taylor]: Taking taylor expansion of (log y) in x
0.413 * [taylor]: Taking taylor expansion of y in x
0.416 * [taylor]: Taking taylor expansion of (* 2/3 (/ (exp (* 1/3 (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y))))) z)) in z
0.416 * [taylor]: Taking taylor expansion of 2/3 in z
0.416 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y))))) z) in z
0.416 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y))))) in z
0.416 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y)))) in z
0.416 * [taylor]: Taking taylor expansion of 1/3 in z
0.416 * [taylor]: Taking taylor expansion of (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y))) in z
0.416 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow x 2))) in z
0.416 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow x 2)) in z
0.416 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.416 * [taylor]: Taking taylor expansion of z in z
0.416 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.416 * [taylor]: Taking taylor expansion of x in z
0.417 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
0.417 * [taylor]: Taking taylor expansion of 2 in z
0.417 * [taylor]: Taking taylor expansion of (log y) in z
0.417 * [taylor]: Taking taylor expansion of y in z
0.418 * [taylor]: Taking taylor expansion of z in z
0.423 * [taylor]: Taking taylor expansion of 0 in x
0.430 * [taylor]: Taking taylor expansion of 0 in x
0.439 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y))))) (pow z 2))) in z
0.439 * [taylor]: Taking taylor expansion of -1/9 in z
0.439 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y))))) (pow z 2)) in z
0.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y))))) in z
0.439 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y)))) in z
0.439 * [taylor]: Taking taylor expansion of 1/3 in z
0.439 * [taylor]: Taking taylor expansion of (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y))) in z
0.439 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow x 2))) in z
0.439 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow x 2)) in z
0.439 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.439 * [taylor]: Taking taylor expansion of z in z
0.439 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.439 * [taylor]: Taking taylor expansion of x in z
0.439 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
0.439 * [taylor]: Taking taylor expansion of 2 in z
0.439 * [taylor]: Taking taylor expansion of (log y) in z
0.439 * [taylor]: Taking taylor expansion of y in z
0.440 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.440 * [taylor]: Taking taylor expansion of z in z
0.454 * [taylor]: Taking taylor expansion of 0 in x
0.461 * [taylor]: Taking taylor expansion of 0 in x
0.467 * [taylor]: Taking taylor expansion of 0 in x
0.467 * [approximate]: Taking taylor expansion of (pow (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2) 1/3) in (y z x) around 0
0.467 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2) 1/3) in x
0.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2)))) in x
0.467 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2))) in x
0.467 * [taylor]: Taking taylor expansion of 1/3 in x
0.467 * [taylor]: Taking taylor expansion of (log (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2)) in x
0.467 * [taylor]: Taking taylor expansion of (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2) in x
0.467 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in x
0.467 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.467 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in x
0.467 * [taylor]: Taking taylor expansion of (/ z y) in x
0.468 * [taylor]: Taking taylor expansion of z in x
0.468 * [taylor]: Taking taylor expansion of y in x
0.468 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.468 * [taylor]: Taking taylor expansion of -1 in x
0.468 * [taylor]: Taking taylor expansion of x in x
0.468 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.468 * [taylor]: Taking taylor expansion of -1 in x
0.468 * [taylor]: Taking taylor expansion of x in x
0.469 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2) 1/3) in z
0.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2)))) in z
0.469 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2))) in z
0.469 * [taylor]: Taking taylor expansion of 1/3 in z
0.469 * [taylor]: Taking taylor expansion of (log (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2)) in z
0.469 * [taylor]: Taking taylor expansion of (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2) in z
0.469 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in z
0.469 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.469 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in z
0.469 * [taylor]: Taking taylor expansion of (/ z y) in z
0.470 * [taylor]: Taking taylor expansion of z in z
0.470 * [taylor]: Taking taylor expansion of y in z
0.470 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.470 * [taylor]: Taking taylor expansion of -1 in z
0.470 * [taylor]: Taking taylor expansion of x in z
0.470 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.470 * [taylor]: Taking taylor expansion of -1 in z
0.470 * [taylor]: Taking taylor expansion of x in z
0.470 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2) 1/3) in y
0.470 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2)))) in y
0.470 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2))) in y
0.470 * [taylor]: Taking taylor expansion of 1/3 in y
0.470 * [taylor]: Taking taylor expansion of (log (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2)) in y
0.470 * [taylor]: Taking taylor expansion of (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2) in y
0.470 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
0.470 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.470 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
0.470 * [taylor]: Taking taylor expansion of (/ z y) in y
0.470 * [taylor]: Taking taylor expansion of z in y
0.470 * [taylor]: Taking taylor expansion of y in y
0.470 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.470 * [taylor]: Taking taylor expansion of -1 in y
0.470 * [taylor]: Taking taylor expansion of x in y
0.471 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.471 * [taylor]: Taking taylor expansion of -1 in y
0.471 * [taylor]: Taking taylor expansion of x in y
0.472 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2) 1/3) in y
0.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2)))) in y
0.472 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2))) in y
0.472 * [taylor]: Taking taylor expansion of 1/3 in y
0.472 * [taylor]: Taking taylor expansion of (log (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2)) in y
0.472 * [taylor]: Taking taylor expansion of (pow (fma (/ z y) (/ -1 x) (/ -1 x)) 2) in y
0.472 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
0.472 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.472 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
0.472 * [taylor]: Taking taylor expansion of (/ z y) in y
0.472 * [taylor]: Taking taylor expansion of z in y
0.472 * [taylor]: Taking taylor expansion of y in y
0.472 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.472 * [taylor]: Taking taylor expansion of -1 in y
0.472 * [taylor]: Taking taylor expansion of x in y
0.472 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.472 * [taylor]: Taking taylor expansion of -1 in y
0.472 * [taylor]: Taking taylor expansion of x in y
0.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y))))) in z
0.473 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y)))) in z
0.473 * [taylor]: Taking taylor expansion of 1/3 in z
0.473 * [taylor]: Taking taylor expansion of (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y))) in z
0.473 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow x 2))) in z
0.473 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow x 2)) in z
0.473 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.473 * [taylor]: Taking taylor expansion of z in z
0.473 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.473 * [taylor]: Taking taylor expansion of x in z
0.474 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
0.474 * [taylor]: Taking taylor expansion of 2 in z
0.474 * [taylor]: Taking taylor expansion of (log y) in z
0.474 * [taylor]: Taking taylor expansion of y in z
0.475 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (* 2 (log z)) (log (/ 1 (pow x 2)))) (* 2 (log y))))) in x
0.475 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (* 2 (log z)) (log (/ 1 (pow x 2)))) (* 2 (log y)))) in x
0.475 * [taylor]: Taking taylor expansion of 1/3 in x
0.475 * [taylor]: Taking taylor expansion of (- (+ (* 2 (log z)) (log (/ 1 (pow x 2)))) (* 2 (log y))) in x
0.475 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (/ 1 (pow x 2)))) in x
0.475 * [taylor]: Taking taylor expansion of (* 2 (log z)) in x
0.475 * [taylor]: Taking taylor expansion of 2 in x
0.475 * [taylor]: Taking taylor expansion of (log z) in x
0.475 * [taylor]: Taking taylor expansion of z in x
0.475 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.475 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.475 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.475 * [taylor]: Taking taylor expansion of x in x
0.476 * [taylor]: Taking taylor expansion of (* 2 (log y)) in x
0.476 * [taylor]: Taking taylor expansion of 2 in x
0.476 * [taylor]: Taking taylor expansion of (log y) in x
0.476 * [taylor]: Taking taylor expansion of y in x
0.479 * [taylor]: Taking taylor expansion of (* 2/3 (/ (exp (* 1/3 (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y))))) z)) in z
0.479 * [taylor]: Taking taylor expansion of 2/3 in z
0.479 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y))))) z) in z
0.479 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y))))) in z
0.479 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y)))) in z
0.479 * [taylor]: Taking taylor expansion of 1/3 in z
0.479 * [taylor]: Taking taylor expansion of (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y))) in z
0.479 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow x 2))) in z
0.479 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow x 2)) in z
0.479 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.479 * [taylor]: Taking taylor expansion of z in z
0.479 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.479 * [taylor]: Taking taylor expansion of x in z
0.479 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
0.479 * [taylor]: Taking taylor expansion of 2 in z
0.479 * [taylor]: Taking taylor expansion of (log y) in z
0.479 * [taylor]: Taking taylor expansion of y in z
0.480 * [taylor]: Taking taylor expansion of z in z
0.485 * [taylor]: Taking taylor expansion of 0 in x
0.488 * [taylor]: Taking taylor expansion of 0 in x
0.497 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y))))) (pow z 2))) in z
0.497 * [taylor]: Taking taylor expansion of -1/9 in z
0.497 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y))))) (pow z 2)) in z
0.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y))))) in z
0.497 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y)))) in z
0.497 * [taylor]: Taking taylor expansion of 1/3 in z
0.497 * [taylor]: Taking taylor expansion of (- (log (/ (pow z 2) (pow x 2))) (* 2 (log y))) in z
0.497 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow x 2))) in z
0.497 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow x 2)) in z
0.497 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.497 * [taylor]: Taking taylor expansion of z in z
0.497 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.497 * [taylor]: Taking taylor expansion of x in z
0.497 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
0.497 * [taylor]: Taking taylor expansion of 2 in z
0.497 * [taylor]: Taking taylor expansion of (log y) in z
0.497 * [taylor]: Taking taylor expansion of y in z
0.498 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.498 * [taylor]: Taking taylor expansion of z in z
0.511 * [taylor]: Taking taylor expansion of 0 in x
0.524 * [taylor]: Taking taylor expansion of 0 in x
0.529 * [taylor]: Taking taylor expansion of 0 in x
0.530 * * * [progress]: simplifying candidates
0.531 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (* (* (fma (/ y z) x x) (fma (/ y z) x x)) (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (* (* (fma (/ y z) x x) (fma (/ y z) x x)) (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (* (* (fma (/ y z) x x) (fma (/ y z) x x)) (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (expm1 (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))
  (log1p (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (fma (/ y z) x x) (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (+ 1 1)
  (+ (log (cbrt (fma (/ y z) x x))) (log (cbrt (fma (/ y z) x x))))
  (log (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))
  (exp (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))
  (* (fma (/ y z) x x) (fma (/ y z) x x))
  (* (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))))
  (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))
  (* (* (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))) (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))) (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))
  (sqrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))
  (sqrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))
  (* (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))))
  (* (cbrt (cbrt (fma (/ y z) x x))) (cbrt (cbrt (fma (/ y z) x x))))
  (* (cbrt (sqrt (fma (/ y z) x x))) (cbrt (sqrt (fma (/ y z) x x))))
  (* (cbrt (sqrt (fma (/ y z) x x))) (cbrt (sqrt (fma (/ y z) x x))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (* (* (cbrt (cbrt (fma (/ y z) x x))) (cbrt (cbrt (fma (/ y z) x x)))) (* (cbrt (cbrt (fma (/ y z) x x))) (cbrt (cbrt (fma (/ y z) x x)))))
  (* (cbrt (cbrt (fma (/ y z) x x))) (cbrt (cbrt (fma (/ y z) x x))))
  (* (sqrt (cbrt (fma (/ y z) x x))) (sqrt (cbrt (fma (/ y z) x x))))
  (* (sqrt (cbrt (fma (/ y z) x x))) (sqrt (cbrt (fma (/ y z) x x))))
  (* 1 1)
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (* (cbrt (sqrt (fma (/ y z) x x))) (cbrt (sqrt (fma (/ y z) x x))))
  (* (cbrt (sqrt (fma (/ y z) x x))) (cbrt (sqrt (fma (/ y z) x x))))
  (* (cbrt (sqrt (fma (/ y z) x x))) (sqrt (cbrt (fma (/ y z) x x))))
  (* (cbrt (sqrt (fma (/ y z) x x))) (sqrt (cbrt (fma (/ y z) x x))))
  (* (sqrt (cbrt (fma (/ y z) x x))) (cbrt (sqrt (fma (/ y z) x x))))
  (* (sqrt (cbrt (fma (/ y z) x x))) (cbrt (sqrt (fma (/ y z) x x))))
  (* (sqrt (cbrt (fma (/ y z) x x))) (sqrt (cbrt (fma (/ y z) x x))))
  (* (sqrt (cbrt (fma (/ y z) x x))) (sqrt (cbrt (fma (/ y z) x x))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (fma (/ y z) x x)) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))))
  (* (cbrt (fma (/ y z) x x)) (cbrt (sqrt (fma (/ y z) x x))))
  (* (cbrt (fma (/ y z) x x)) (cbrt 1))
  (* (cbrt (fma (/ y z) x x)) (* (cbrt (cbrt (fma (/ y z) x x))) (cbrt (cbrt (fma (/ y z) x x)))))
  (* (cbrt (fma (/ y z) x x)) (sqrt (cbrt (fma (/ y z) x x))))
  (* (cbrt (fma (/ y z) x x)) 1)
  (* (cbrt (cbrt (fma (/ y z) x x))) (cbrt (fma (/ y z) x x)))
  (* (cbrt (sqrt (fma (/ y z) x x))) (cbrt (fma (/ y z) x x)))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (* (cbrt (cbrt (fma (/ y z) x x))) (cbrt (fma (/ y z) x x)))
  (* (sqrt (cbrt (fma (/ y z) x x))) (cbrt (fma (/ y z) x x)))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (pow x 2/3)
  (exp (* 1/3 (- (* 2 (log (/ 1 z))) (+ (* 2 (log (/ 1 x))) (* 2 (log (/ 1 y)))))))
  (exp (* 1/3 (- (* 2 (log (/ -1 z))) (+ (* 2 (log (/ -1 y))) (* 2 (log (/ -1 x)))))))
0.536 * * [simplify]: iteration  0 :  168  enodes  (cost  514 )
0.540 * * [simplify]: iteration  1 :  619  enodes  (cost  469 )
0.554 * * [simplify]: iteration  2 :  2823  enodes  (cost  426 )
0.604 * * [simplify]: iteration  3 :  5002  enodes  (cost  416 )
0.607 * [simplify]: Simplified to:
   (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (pow (sqrt (cbrt (fma (/ y z) x x))) 4)
  (cbrt (fma (/ y z) x x))
  (pow (fma (/ y z) x x) 3)
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (pow (sqrt (cbrt (fma (/ y z) x x))) 4)
  (cbrt (fma (/ y z) x x))
  (pow (fma (/ y z) x x) 3)
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (pow (sqrt (cbrt (fma (/ y z) x x))) 4)
  (cbrt (fma (/ y z) x x))
  (pow (fma (/ y z) x x) 3)
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (expm1 (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))
  (log1p (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))
  2/3
  2
  (pow (cbrt (fma (/ y z) x x)) 6)
  (pow (sqrt (cbrt (fma (/ y z) x x))) 4)
  2
  (* 2 (log (cbrt (fma (/ y z) x x))))
  (* 2 (log (cbrt (fma (/ y z) x x))))
  (pow (exp 1) (pow (sqrt (cbrt (fma (/ y z) x x))) 4))
  (pow (cbrt (fma (/ y z) x x)) 6)
  (* (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))))
  (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))
  (pow (cbrt (fma (/ y z) x x)) 6)
  (fabs (cbrt (fma (/ y z) x x)))
  (fabs (cbrt (fma (/ y z) x x)))
  (* (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))))
  (* (cbrt (cbrt (fma (/ y z) x x))) (cbrt (cbrt (fma (/ y z) x x))))
  (* (cbrt (sqrt (fma (/ y z) x x))) (cbrt (sqrt (fma (/ y z) x x))))
  (* (cbrt (sqrt (fma (/ y z) x x))) (cbrt (sqrt (fma (/ y z) x x))))
  1
  (pow (sqrt (cbrt (fma (/ y z) x x))) 4)
  (pow (cbrt (cbrt (fma (/ y z) x x))) 4)
  (* (cbrt (cbrt (fma (/ y z) x x))) (cbrt (cbrt (fma (/ y z) x x))))
  (cbrt (fma (/ y z) x x))
  (cbrt (fma (/ y z) x x))
  1
  (pow (sqrt (cbrt (fma (/ y z) x x))) 4)
  (* (cbrt (sqrt (fma (/ y z) x x))) (cbrt (sqrt (fma (/ y z) x x))))
  (* (cbrt (sqrt (fma (/ y z) x x))) (cbrt (sqrt (fma (/ y z) x x))))
  (* (cbrt (sqrt (fma (/ y z) x x))) (sqrt (cbrt (fma (/ y z) x x))))
  (* (cbrt (sqrt (fma (/ y z) x x))) (sqrt (cbrt (fma (/ y z) x x))))
  (* (cbrt (sqrt (fma (/ y z) x x))) (sqrt (cbrt (fma (/ y z) x x))))
  (* (cbrt (sqrt (fma (/ y z) x x))) (sqrt (cbrt (fma (/ y z) x x))))
  (cbrt (fma (/ y z) x x))
  (cbrt (fma (/ y z) x x))
  2/3
  2
  (* (cbrt (fma (/ y z) x x)) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))))
  (* (cbrt (fma (/ y z) x x)) (cbrt (sqrt (fma (/ y z) x x))))
  (cbrt (fma (/ y z) x x))
  (pow (cbrt (cbrt (fma (/ y z) x x))) 5)
  (pow (sqrt (cbrt (fma (/ y z) x x))) 3)
  (cbrt (fma (/ y z) x x))
  (pow (cbrt (cbrt (fma (/ y z) x x))) 4)
  (* (cbrt (fma (/ y z) x x)) (cbrt (sqrt (fma (/ y z) x x))))
  (pow (sqrt (cbrt (fma (/ y z) x x))) 4)
  (pow (cbrt (cbrt (fma (/ y z) x x))) 4)
  (pow (sqrt (cbrt (fma (/ y z) x x))) 3)
  (pow (sqrt (cbrt (fma (/ y z) x x))) 4)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (pow x 2/3)
  (pow (exp (+ (log (/ 1 z)) (+ (log x) (log y)))) 2/3)
  (pow (exp (- (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))) 2/3)
0.607 * * * [progress]: adding candidates to table
0.776 * * [progress]: iteration 3 / 4
0.776 * * * [progress]: picking best candidate
0.787 * * * * [pick]: Picked  #<alt (λ (x y z) (* (* (* (cbrt (fma (/ y z) x x)) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (cbrt (fma (/ y z) x x)))) (cbrt (fma (/ y z) x x))))>
0.787 * * * [progress]: localizing error
0.804 * * * [progress]: generating rewritten candidates
0.804 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
0.805 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1)
0.806 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 2 1)
0.806 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1 1)
0.808 * * * [progress]: generating series expansions
0.808 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
0.808 * [approximate]: Taking taylor expansion of (fma (/ y z) x x) in (y z x) around 0
0.808 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in x
0.808 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.808 * [taylor]: Taking taylor expansion of (* (/ y z) x) in x
0.808 * [taylor]: Taking taylor expansion of (/ y z) in x
0.808 * [taylor]: Taking taylor expansion of y in x
0.808 * [taylor]: Taking taylor expansion of z in x
0.808 * [taylor]: Taking taylor expansion of x in x
0.808 * [taylor]: Taking taylor expansion of x in x
0.808 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in z
0.808 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.808 * [taylor]: Taking taylor expansion of (* (/ y z) x) in z
0.808 * [taylor]: Taking taylor expansion of (/ y z) in z
0.808 * [taylor]: Taking taylor expansion of y in z
0.808 * [taylor]: Taking taylor expansion of z in z
0.808 * [taylor]: Taking taylor expansion of x in z
0.809 * [taylor]: Taking taylor expansion of x in z
0.809 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
0.809 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.809 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
0.809 * [taylor]: Taking taylor expansion of (/ y z) in y
0.809 * [taylor]: Taking taylor expansion of y in y
0.809 * [taylor]: Taking taylor expansion of z in y
0.809 * [taylor]: Taking taylor expansion of x in y
0.809 * [taylor]: Taking taylor expansion of x in y
0.809 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
0.809 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.809 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
0.809 * [taylor]: Taking taylor expansion of (/ y z) in y
0.809 * [taylor]: Taking taylor expansion of y in y
0.809 * [taylor]: Taking taylor expansion of z in y
0.809 * [taylor]: Taking taylor expansion of x in y
0.809 * [taylor]: Taking taylor expansion of x in y
0.809 * [taylor]: Taking taylor expansion of x in z
0.809 * [taylor]: Taking taylor expansion of (/ x z) in z
0.809 * [taylor]: Taking taylor expansion of x in z
0.809 * [taylor]: Taking taylor expansion of z in z
0.809 * [taylor]: Taking taylor expansion of x in x
0.809 * [taylor]: Taking taylor expansion of x in x
0.810 * [taylor]: Taking taylor expansion of 0 in z
0.811 * [taylor]: Taking taylor expansion of 0 in x
0.811 * [taylor]: Taking taylor expansion of 0 in x
0.812 * [taylor]: Taking taylor expansion of 0 in z
0.812 * [taylor]: Taking taylor expansion of 0 in x
0.813 * [taylor]: Taking taylor expansion of 0 in x
0.813 * [taylor]: Taking taylor expansion of 0 in x
0.813 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in (y z x) around 0
0.813 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in x
0.813 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.813 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in x
0.813 * [taylor]: Taking taylor expansion of (/ z y) in x
0.813 * [taylor]: Taking taylor expansion of z in x
0.813 * [taylor]: Taking taylor expansion of y in x
0.813 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.813 * [taylor]: Taking taylor expansion of x 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 (fma (/ z y) (/ 1 x) (/ 1 x)) in z
0.814 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.814 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in z
0.814 * [taylor]: Taking taylor expansion of (/ z y) in z
0.814 * [taylor]: Taking taylor expansion of z in z
0.814 * [taylor]: Taking taylor expansion of y in z
0.814 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.814 * [taylor]: Taking taylor expansion of x in z
0.814 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.814 * [taylor]: Taking taylor expansion of x in z
0.814 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
0.814 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.814 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
0.814 * [taylor]: Taking taylor expansion of (/ z y) in y
0.814 * [taylor]: Taking taylor expansion of z in y
0.814 * [taylor]: Taking taylor expansion of y in y
0.814 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.814 * [taylor]: Taking taylor expansion of x in y
0.814 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.814 * [taylor]: Taking taylor expansion of x in y
0.815 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
0.815 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.815 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
0.815 * [taylor]: Taking taylor expansion of (/ z y) in y
0.815 * [taylor]: Taking taylor expansion of z in y
0.815 * [taylor]: Taking taylor expansion of y in y
0.815 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.815 * [taylor]: Taking taylor expansion of x in y
0.815 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.815 * [taylor]: Taking taylor expansion of x in y
0.815 * [taylor]: Taking taylor expansion of (/ z x) in z
0.815 * [taylor]: Taking taylor expansion of z in z
0.815 * [taylor]: Taking taylor expansion of x in z
0.816 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.816 * [taylor]: Taking taylor expansion of x in z
0.816 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.816 * [taylor]: Taking taylor expansion of x in x
0.816 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.816 * [taylor]: Taking taylor expansion of x in x
0.818 * [taylor]: Taking taylor expansion of 0 in z
0.818 * [taylor]: Taking taylor expansion of 0 in x
0.818 * [taylor]: Taking taylor expansion of 0 in x
0.818 * [taylor]: Taking taylor expansion of 0 in x
0.821 * [taylor]: Taking taylor expansion of 0 in z
0.821 * [taylor]: Taking taylor expansion of 0 in x
0.821 * [taylor]: Taking taylor expansion of 0 in x
0.821 * [taylor]: Taking taylor expansion of 0 in x
0.822 * [taylor]: Taking taylor expansion of 0 in x
0.823 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in (y z x) around 0
0.823 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in x
0.823 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.823 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in x
0.823 * [taylor]: Taking taylor expansion of (/ z y) in x
0.823 * [taylor]: Taking taylor expansion of z in x
0.823 * [taylor]: Taking taylor expansion of y in x
0.823 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.823 * [taylor]: Taking taylor expansion of -1 in x
0.823 * [taylor]: Taking taylor expansion of x in x
0.823 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.823 * [taylor]: Taking taylor expansion of -1 in x
0.823 * [taylor]: Taking taylor expansion of x in x
0.824 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in z
0.824 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.824 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in z
0.824 * [taylor]: Taking taylor expansion of (/ z y) in z
0.824 * [taylor]: Taking taylor expansion of z in z
0.824 * [taylor]: Taking taylor expansion of y in z
0.824 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.824 * [taylor]: Taking taylor expansion of -1 in z
0.824 * [taylor]: Taking taylor expansion of x in z
0.824 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.824 * [taylor]: Taking taylor expansion of -1 in z
0.824 * [taylor]: Taking taylor expansion of x in z
0.824 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
0.824 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.824 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
0.824 * [taylor]: Taking taylor expansion of (/ z y) in y
0.824 * [taylor]: Taking taylor expansion of z in y
0.824 * [taylor]: Taking taylor expansion of y in y
0.824 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.824 * [taylor]: Taking taylor expansion of -1 in y
0.824 * [taylor]: Taking taylor expansion of x in y
0.824 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.824 * [taylor]: Taking taylor expansion of -1 in y
0.824 * [taylor]: Taking taylor expansion of x in y
0.824 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
0.824 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.824 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
0.824 * [taylor]: Taking taylor expansion of (/ z y) in y
0.824 * [taylor]: Taking taylor expansion of z in y
0.824 * [taylor]: Taking taylor expansion of y in y
0.824 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.824 * [taylor]: Taking taylor expansion of -1 in y
0.825 * [taylor]: Taking taylor expansion of x in y
0.825 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.825 * [taylor]: Taking taylor expansion of -1 in y
0.825 * [taylor]: Taking taylor expansion of x in y
0.825 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
0.825 * [taylor]: Taking taylor expansion of (/ z x) in z
0.825 * [taylor]: Taking taylor expansion of z in z
0.825 * [taylor]: Taking taylor expansion of x in z
0.826 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z
0.826 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.826 * [taylor]: Taking taylor expansion of x in z
0.826 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.826 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.826 * [taylor]: Taking taylor expansion of x in x
0.826 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.826 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.826 * [taylor]: Taking taylor expansion of x in x
0.829 * [taylor]: Taking taylor expansion of 0 in z
0.829 * [taylor]: Taking taylor expansion of 0 in x
0.829 * [taylor]: Taking taylor expansion of 0 in x
0.829 * [taylor]: Taking taylor expansion of 0 in x
0.833 * [taylor]: Taking taylor expansion of 0 in z
0.833 * [taylor]: Taking taylor expansion of 0 in x
0.833 * [taylor]: Taking taylor expansion of 0 in x
0.833 * [taylor]: Taking taylor expansion of 0 in x
0.834 * [taylor]: Taking taylor expansion of 0 in x
0.835 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1)
0.835 * [approximate]: Taking taylor expansion of (fma (/ y z) x x) in (y z x) around 0
0.835 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in x
0.835 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.835 * [taylor]: Taking taylor expansion of (* (/ y z) x) in x
0.835 * [taylor]: Taking taylor expansion of (/ y z) in x
0.835 * [taylor]: Taking taylor expansion of y in x
0.835 * [taylor]: Taking taylor expansion of z in x
0.835 * [taylor]: Taking taylor expansion of x in x
0.835 * [taylor]: Taking taylor expansion of x in x
0.835 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in z
0.835 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.835 * [taylor]: Taking taylor expansion of (* (/ y z) x) in z
0.835 * [taylor]: Taking taylor expansion of (/ y z) in z
0.835 * [taylor]: Taking taylor expansion of y in z
0.835 * [taylor]: Taking taylor expansion of z in z
0.836 * [taylor]: Taking taylor expansion of x in z
0.836 * [taylor]: Taking taylor expansion of x in z
0.836 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
0.836 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.836 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
0.836 * [taylor]: Taking taylor expansion of (/ y z) in y
0.836 * [taylor]: Taking taylor expansion of y in y
0.836 * [taylor]: Taking taylor expansion of z in y
0.836 * [taylor]: Taking taylor expansion of x in y
0.836 * [taylor]: Taking taylor expansion of x in y
0.836 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
0.836 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.836 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
0.836 * [taylor]: Taking taylor expansion of (/ y z) in y
0.836 * [taylor]: Taking taylor expansion of y in y
0.836 * [taylor]: Taking taylor expansion of z in y
0.836 * [taylor]: Taking taylor expansion of x in y
0.836 * [taylor]: Taking taylor expansion of x in y
0.836 * [taylor]: Taking taylor expansion of x in z
0.836 * [taylor]: Taking taylor expansion of (/ x z) in z
0.836 * [taylor]: Taking taylor expansion of x in z
0.836 * [taylor]: Taking taylor expansion of z in z
0.836 * [taylor]: Taking taylor expansion of x in x
0.836 * [taylor]: Taking taylor expansion of x in x
0.837 * [taylor]: Taking taylor expansion of 0 in z
0.837 * [taylor]: Taking taylor expansion of 0 in x
0.837 * [taylor]: Taking taylor expansion of 0 in x
0.838 * [taylor]: Taking taylor expansion of 0 in z
0.838 * [taylor]: Taking taylor expansion of 0 in x
0.839 * [taylor]: Taking taylor expansion of 0 in x
0.839 * [taylor]: Taking taylor expansion of 0 in x
0.839 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in (y z x) around 0
0.839 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in x
0.839 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.839 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in x
0.840 * [taylor]: Taking taylor expansion of (/ z y) in x
0.840 * [taylor]: Taking taylor expansion of z in x
0.840 * [taylor]: Taking taylor expansion of y in x
0.840 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.840 * [taylor]: Taking taylor expansion of x in x
0.840 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.840 * [taylor]: Taking taylor expansion of x in x
0.840 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in z
0.840 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.840 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in z
0.840 * [taylor]: Taking taylor expansion of (/ z y) in z
0.840 * [taylor]: Taking taylor expansion of z in z
0.840 * [taylor]: Taking taylor expansion of y in z
0.840 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.840 * [taylor]: Taking taylor expansion of x in z
0.840 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.840 * [taylor]: Taking taylor expansion of x in z
0.840 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
0.841 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.841 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
0.841 * [taylor]: Taking taylor expansion of (/ z y) in y
0.841 * [taylor]: Taking taylor expansion of z in y
0.841 * [taylor]: Taking taylor expansion of y in y
0.841 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.841 * [taylor]: Taking taylor expansion of x in y
0.841 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.841 * [taylor]: Taking taylor expansion of x in y
0.841 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
0.841 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.841 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
0.841 * [taylor]: Taking taylor expansion of (/ z y) in y
0.841 * [taylor]: Taking taylor expansion of z in y
0.841 * [taylor]: Taking taylor expansion of y in y
0.841 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.841 * [taylor]: Taking taylor expansion of x in y
0.841 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.841 * [taylor]: Taking taylor expansion of x in y
0.841 * [taylor]: Taking taylor expansion of (/ z x) in z
0.841 * [taylor]: Taking taylor expansion of z in z
0.841 * [taylor]: Taking taylor expansion of x in z
0.842 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.842 * [taylor]: Taking taylor expansion of x in z
0.842 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.842 * [taylor]: Taking taylor expansion of x in x
0.842 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.842 * [taylor]: Taking taylor expansion of x in x
0.844 * [taylor]: Taking taylor expansion of 0 in z
0.844 * [taylor]: Taking taylor expansion of 0 in x
0.844 * [taylor]: Taking taylor expansion of 0 in x
0.844 * [taylor]: Taking taylor expansion of 0 in x
0.847 * [taylor]: Taking taylor expansion of 0 in z
0.847 * [taylor]: Taking taylor expansion of 0 in x
0.847 * [taylor]: Taking taylor expansion of 0 in x
0.848 * [taylor]: Taking taylor expansion of 0 in x
0.848 * [taylor]: Taking taylor expansion of 0 in x
0.849 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in (y z x) around 0
0.849 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in x
0.849 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.849 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in x
0.849 * [taylor]: Taking taylor expansion of (/ z y) in x
0.849 * [taylor]: Taking taylor expansion of z in x
0.849 * [taylor]: Taking taylor expansion of y in x
0.849 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.849 * [taylor]: Taking taylor expansion of -1 in x
0.849 * [taylor]: Taking taylor expansion of x in x
0.850 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.850 * [taylor]: Taking taylor expansion of -1 in x
0.850 * [taylor]: Taking taylor expansion of x in x
0.850 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in z
0.850 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.850 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in z
0.850 * [taylor]: Taking taylor expansion of (/ z y) in z
0.850 * [taylor]: Taking taylor expansion of z in z
0.850 * [taylor]: Taking taylor expansion of y in z
0.850 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.850 * [taylor]: Taking taylor expansion of -1 in z
0.850 * [taylor]: Taking taylor expansion of x in z
0.850 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.850 * [taylor]: Taking taylor expansion of -1 in z
0.850 * [taylor]: Taking taylor expansion of x in z
0.850 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
0.851 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.851 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
0.851 * [taylor]: Taking taylor expansion of (/ z y) in y
0.851 * [taylor]: Taking taylor expansion of z in y
0.851 * [taylor]: Taking taylor expansion of y in y
0.851 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.851 * [taylor]: Taking taylor expansion of -1 in y
0.851 * [taylor]: Taking taylor expansion of x in y
0.851 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.851 * [taylor]: Taking taylor expansion of -1 in y
0.851 * [taylor]: Taking taylor expansion of x in y
0.851 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
0.851 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.851 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
0.851 * [taylor]: Taking taylor expansion of (/ z y) in y
0.851 * [taylor]: Taking taylor expansion of z in y
0.851 * [taylor]: Taking taylor expansion of y in y
0.851 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.851 * [taylor]: Taking taylor expansion of -1 in y
0.851 * [taylor]: Taking taylor expansion of x in y
0.851 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.851 * [taylor]: Taking taylor expansion of -1 in y
0.851 * [taylor]: Taking taylor expansion of x in y
0.851 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
0.851 * [taylor]: Taking taylor expansion of (/ z x) in z
0.851 * [taylor]: Taking taylor expansion of z in z
0.851 * [taylor]: Taking taylor expansion of x in z
0.852 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z
0.852 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.852 * [taylor]: Taking taylor expansion of x in z
0.852 * [taylor]: Taking taylor expansion of (- (/ 1 x)) 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 x)) in x
0.853 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.853 * [taylor]: Taking taylor expansion of x in x
0.855 * [taylor]: Taking taylor expansion of 0 in z
0.855 * [taylor]: Taking taylor expansion of 0 in x
0.855 * [taylor]: Taking taylor expansion of 0 in x
0.856 * [taylor]: Taking taylor expansion of 0 in x
0.859 * [taylor]: Taking taylor expansion of 0 in z
0.859 * [taylor]: Taking taylor expansion of 0 in x
0.859 * [taylor]: Taking taylor expansion of 0 in x
0.859 * [taylor]: Taking taylor expansion of 0 in x
0.860 * [taylor]: Taking taylor expansion of 0 in x
0.861 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 2 1)
0.861 * [approximate]: Taking taylor expansion of (fma (/ y z) x x) in (y z x) around 0
0.861 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in x
0.861 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.861 * [taylor]: Taking taylor expansion of (* (/ y z) x) in x
0.861 * [taylor]: Taking taylor expansion of (/ y z) in x
0.861 * [taylor]: Taking taylor expansion of y in x
0.861 * [taylor]: Taking taylor expansion of z in x
0.861 * [taylor]: Taking taylor expansion of x in x
0.861 * [taylor]: Taking taylor expansion of x in x
0.861 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in z
0.861 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.861 * [taylor]: Taking taylor expansion of (* (/ y z) x) in z
0.861 * [taylor]: Taking taylor expansion of (/ y z) in z
0.861 * [taylor]: Taking taylor expansion of y in z
0.861 * [taylor]: Taking taylor expansion of z in z
0.861 * [taylor]: Taking taylor expansion of x in z
0.861 * [taylor]: Taking taylor expansion of x in z
0.861 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
0.862 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.862 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
0.862 * [taylor]: Taking taylor expansion of (/ y z) in y
0.862 * [taylor]: Taking taylor expansion of y in y
0.862 * [taylor]: Taking taylor expansion of z in y
0.862 * [taylor]: Taking taylor expansion of x in y
0.862 * [taylor]: Taking taylor expansion of x in y
0.862 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
0.862 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.862 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
0.862 * [taylor]: Taking taylor expansion of (/ y z) in y
0.862 * [taylor]: Taking taylor expansion of y in y
0.862 * [taylor]: Taking taylor expansion of z in y
0.862 * [taylor]: Taking taylor expansion of x in y
0.862 * [taylor]: Taking taylor expansion of x in y
0.862 * [taylor]: Taking taylor expansion of x in z
0.862 * [taylor]: Taking taylor expansion of (/ x z) in z
0.862 * [taylor]: Taking taylor expansion of x in z
0.862 * [taylor]: Taking taylor expansion of z in z
0.862 * [taylor]: Taking taylor expansion of x in x
0.862 * [taylor]: Taking taylor expansion of x in x
0.863 * [taylor]: Taking taylor expansion of 0 in z
0.863 * [taylor]: Taking taylor expansion of 0 in x
0.863 * [taylor]: Taking taylor expansion of 0 in x
0.864 * [taylor]: Taking taylor expansion of 0 in z
0.864 * [taylor]: Taking taylor expansion of 0 in x
0.865 * [taylor]: Taking taylor expansion of 0 in x
0.865 * [taylor]: Taking taylor expansion of 0 in x
0.866 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in (y z x) around 0
0.866 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in x
0.866 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.866 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in x
0.866 * [taylor]: Taking taylor expansion of (/ z y) in x
0.866 * [taylor]: Taking taylor expansion of z in x
0.866 * [taylor]: Taking taylor expansion of y in x
0.866 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.866 * [taylor]: Taking taylor expansion of x in x
0.866 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.866 * [taylor]: Taking taylor expansion of x in x
0.866 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in z
0.866 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.867 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in z
0.867 * [taylor]: Taking taylor expansion of (/ z y) in z
0.867 * [taylor]: Taking taylor expansion of z in z
0.867 * [taylor]: Taking taylor expansion of y in z
0.867 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.867 * [taylor]: Taking taylor expansion of x in z
0.867 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.867 * [taylor]: Taking taylor expansion of x in z
0.867 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
0.867 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.867 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
0.867 * [taylor]: Taking taylor expansion of (/ z y) in y
0.867 * [taylor]: Taking taylor expansion of z in y
0.867 * [taylor]: Taking taylor expansion of y in y
0.867 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.867 * [taylor]: Taking taylor expansion of x in y
0.867 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.867 * [taylor]: Taking taylor expansion of x in y
0.867 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
0.867 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.867 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
0.867 * [taylor]: Taking taylor expansion of (/ z y) in y
0.867 * [taylor]: Taking taylor expansion of z in y
0.867 * [taylor]: Taking taylor expansion of y in y
0.867 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.867 * [taylor]: Taking taylor expansion of x in y
0.867 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.867 * [taylor]: Taking taylor expansion of x in y
0.867 * [taylor]: Taking taylor expansion of (/ z x) in z
0.867 * [taylor]: Taking taylor expansion of z in z
0.867 * [taylor]: Taking taylor expansion of x in z
0.868 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.868 * [taylor]: Taking taylor expansion of x in z
0.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.868 * [taylor]: Taking taylor expansion of x in x
0.869 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.869 * [taylor]: Taking taylor expansion of x in x
0.870 * [taylor]: Taking taylor expansion of 0 in z
0.870 * [taylor]: Taking taylor expansion of 0 in x
0.870 * [taylor]: Taking taylor expansion of 0 in x
0.871 * [taylor]: Taking taylor expansion of 0 in x
0.873 * [taylor]: Taking taylor expansion of 0 in z
0.874 * [taylor]: Taking taylor expansion of 0 in x
0.874 * [taylor]: Taking taylor expansion of 0 in x
0.874 * [taylor]: Taking taylor expansion of 0 in x
0.874 * [taylor]: Taking taylor expansion of 0 in x
0.875 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in (y z x) around 0
0.875 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in x
0.875 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.875 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in x
0.875 * [taylor]: Taking taylor expansion of (/ z y) in x
0.875 * [taylor]: Taking taylor expansion of z in x
0.875 * [taylor]: Taking taylor expansion of y in x
0.875 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.875 * [taylor]: Taking taylor expansion of -1 in x
0.875 * [taylor]: Taking taylor expansion of x in x
0.875 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.876 * [taylor]: Taking taylor expansion of -1 in x
0.876 * [taylor]: Taking taylor expansion of x in x
0.876 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in z
0.876 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.876 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in z
0.876 * [taylor]: Taking taylor expansion of (/ z y) in z
0.876 * [taylor]: Taking taylor expansion of z in z
0.876 * [taylor]: Taking taylor expansion of y in z
0.876 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.876 * [taylor]: Taking taylor expansion of -1 in z
0.876 * [taylor]: Taking taylor expansion of x in z
0.876 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.876 * [taylor]: Taking taylor expansion of -1 in z
0.876 * [taylor]: Taking taylor expansion of x in z
0.876 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
0.876 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.876 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
0.876 * [taylor]: Taking taylor expansion of (/ z y) in y
0.876 * [taylor]: Taking taylor expansion of z in y
0.876 * [taylor]: Taking taylor expansion of y in y
0.876 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.876 * [taylor]: Taking taylor expansion of -1 in y
0.876 * [taylor]: Taking taylor expansion of x in y
0.876 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.876 * [taylor]: Taking taylor expansion of -1 in y
0.876 * [taylor]: Taking taylor expansion of x in y
0.876 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
0.877 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.877 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
0.877 * [taylor]: Taking taylor expansion of (/ z y) in y
0.877 * [taylor]: Taking taylor expansion of z in y
0.877 * [taylor]: Taking taylor expansion of y in y
0.877 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.877 * [taylor]: Taking taylor expansion of -1 in y
0.877 * [taylor]: Taking taylor expansion of x in y
0.877 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.877 * [taylor]: Taking taylor expansion of -1 in y
0.877 * [taylor]: Taking taylor expansion of x in y
0.877 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
0.877 * [taylor]: Taking taylor expansion of (/ z x) in z
0.877 * [taylor]: Taking taylor expansion of z in z
0.877 * [taylor]: Taking taylor expansion of x in z
0.878 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z
0.878 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.878 * [taylor]: Taking taylor expansion of x in z
0.878 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.878 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.878 * [taylor]: Taking taylor expansion of x in x
0.878 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.878 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.878 * [taylor]: Taking taylor expansion of x in x
0.880 * [taylor]: Taking taylor expansion of 0 in z
0.880 * [taylor]: Taking taylor expansion of 0 in x
0.881 * [taylor]: Taking taylor expansion of 0 in x
0.886 * [taylor]: Taking taylor expansion of 0 in x
0.889 * [taylor]: Taking taylor expansion of 0 in z
0.890 * [taylor]: Taking taylor expansion of 0 in x
0.890 * [taylor]: Taking taylor expansion of 0 in x
0.890 * [taylor]: Taking taylor expansion of 0 in x
0.890 * [taylor]: Taking taylor expansion of 0 in x
0.892 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1 1)
0.892 * [approximate]: Taking taylor expansion of (fma (/ y z) x x) in (y z x) around 0
0.892 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in x
0.892 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.892 * [taylor]: Taking taylor expansion of (* (/ y z) x) in x
0.892 * [taylor]: Taking taylor expansion of (/ y z) in x
0.892 * [taylor]: Taking taylor expansion of y in x
0.892 * [taylor]: Taking taylor expansion of z in x
0.892 * [taylor]: Taking taylor expansion of x in x
0.892 * [taylor]: Taking taylor expansion of x in x
0.892 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in z
0.892 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.892 * [taylor]: Taking taylor expansion of (* (/ y z) x) in z
0.892 * [taylor]: Taking taylor expansion of (/ y z) in z
0.892 * [taylor]: Taking taylor expansion of y in z
0.892 * [taylor]: Taking taylor expansion of z in z
0.892 * [taylor]: Taking taylor expansion of x in z
0.892 * [taylor]: Taking taylor expansion of x in z
0.892 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
0.892 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.892 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
0.892 * [taylor]: Taking taylor expansion of (/ y z) in y
0.892 * [taylor]: Taking taylor expansion of y in y
0.892 * [taylor]: Taking taylor expansion of z in y
0.892 * [taylor]: Taking taylor expansion of x in y
0.892 * [taylor]: Taking taylor expansion of x in y
0.892 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
0.892 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.892 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
0.893 * [taylor]: Taking taylor expansion of (/ y z) in y
0.893 * [taylor]: Taking taylor expansion of y in y
0.893 * [taylor]: Taking taylor expansion of z in y
0.893 * [taylor]: Taking taylor expansion of x in y
0.893 * [taylor]: Taking taylor expansion of x in y
0.893 * [taylor]: Taking taylor expansion of x in z
0.893 * [taylor]: Taking taylor expansion of (/ x z) in z
0.893 * [taylor]: Taking taylor expansion of x in z
0.893 * [taylor]: Taking taylor expansion of z in z
0.893 * [taylor]: Taking taylor expansion of x in x
0.893 * [taylor]: Taking taylor expansion of x in x
0.893 * [taylor]: Taking taylor expansion of 0 in z
0.894 * [taylor]: Taking taylor expansion of 0 in x
0.894 * [taylor]: Taking taylor expansion of 0 in x
0.895 * [taylor]: Taking taylor expansion of 0 in z
0.895 * [taylor]: Taking taylor expansion of 0 in x
0.895 * [taylor]: Taking taylor expansion of 0 in x
0.895 * [taylor]: Taking taylor expansion of 0 in x
0.896 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in (y z x) around 0
0.896 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in x
0.896 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.896 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in x
0.896 * [taylor]: Taking taylor expansion of (/ z y) in x
0.896 * [taylor]: Taking taylor expansion of z in x
0.896 * [taylor]: Taking taylor expansion of y in x
0.896 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.896 * [taylor]: Taking taylor expansion of x in x
0.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.897 * [taylor]: Taking taylor expansion of x in x
0.897 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in z
0.897 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.897 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in z
0.897 * [taylor]: Taking taylor expansion of (/ z y) in z
0.897 * [taylor]: Taking taylor expansion of z in z
0.897 * [taylor]: Taking taylor expansion of y in z
0.897 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.897 * [taylor]: Taking taylor expansion of x in z
0.897 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.897 * [taylor]: Taking taylor expansion of x in z
0.897 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
0.897 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.897 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
0.897 * [taylor]: Taking taylor expansion of (/ z y) in y
0.897 * [taylor]: Taking taylor expansion of z in y
0.897 * [taylor]: Taking taylor expansion of y in y
0.897 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.897 * [taylor]: Taking taylor expansion of x in y
0.897 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.897 * [taylor]: Taking taylor expansion of x in y
0.897 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
0.898 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.898 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
0.898 * [taylor]: Taking taylor expansion of (/ z y) in y
0.898 * [taylor]: Taking taylor expansion of z in y
0.898 * [taylor]: Taking taylor expansion of y in y
0.898 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.898 * [taylor]: Taking taylor expansion of x in y
0.898 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.898 * [taylor]: Taking taylor expansion of x in y
0.898 * [taylor]: Taking taylor expansion of (/ z x) in z
0.898 * [taylor]: Taking taylor expansion of z in z
0.898 * [taylor]: Taking taylor expansion of x in z
0.899 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.899 * [taylor]: Taking taylor expansion of x in z
0.899 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.899 * [taylor]: Taking taylor expansion of x in x
0.899 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.899 * [taylor]: Taking taylor expansion of x in x
0.901 * [taylor]: Taking taylor expansion of 0 in z
0.901 * [taylor]: Taking taylor expansion of 0 in x
0.901 * [taylor]: Taking taylor expansion of 0 in x
0.901 * [taylor]: Taking taylor expansion of 0 in x
0.904 * [taylor]: Taking taylor expansion of 0 in z
0.904 * [taylor]: Taking taylor expansion of 0 in x
0.904 * [taylor]: Taking taylor expansion of 0 in x
0.904 * [taylor]: Taking taylor expansion of 0 in x
0.904 * [taylor]: Taking taylor expansion of 0 in x
0.905 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in (y z x) around 0
0.905 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in x
0.905 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.905 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in x
0.905 * [taylor]: Taking taylor expansion of (/ z y) in x
0.905 * [taylor]: Taking taylor expansion of z in x
0.905 * [taylor]: Taking taylor expansion of y in x
0.906 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.906 * [taylor]: Taking taylor expansion of -1 in x
0.906 * [taylor]: Taking taylor expansion of x in x
0.906 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.906 * [taylor]: Taking taylor expansion of -1 in x
0.906 * [taylor]: Taking taylor expansion of x in x
0.906 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in z
0.906 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.906 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in z
0.906 * [taylor]: Taking taylor expansion of (/ z y) in z
0.906 * [taylor]: Taking taylor expansion of z in z
0.906 * [taylor]: Taking taylor expansion of y in z
0.906 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.906 * [taylor]: Taking taylor expansion of -1 in z
0.906 * [taylor]: Taking taylor expansion of x in z
0.906 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.906 * [taylor]: Taking taylor expansion of -1 in z
0.906 * [taylor]: Taking taylor expansion of x in z
0.907 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
0.907 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.907 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
0.907 * [taylor]: Taking taylor expansion of (/ z y) in y
0.907 * [taylor]: Taking taylor expansion of z in y
0.907 * [taylor]: Taking taylor expansion of y in y
0.907 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.907 * [taylor]: Taking taylor expansion of -1 in y
0.907 * [taylor]: Taking taylor expansion of x in y
0.907 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.907 * [taylor]: Taking taylor expansion of -1 in y
0.907 * [taylor]: Taking taylor expansion of x in y
0.907 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
0.907 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.907 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
0.907 * [taylor]: Taking taylor expansion of (/ z y) in y
0.907 * [taylor]: Taking taylor expansion of z in y
0.907 * [taylor]: Taking taylor expansion of y in y
0.907 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.907 * [taylor]: Taking taylor expansion of -1 in y
0.907 * [taylor]: Taking taylor expansion of x in y
0.907 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.907 * [taylor]: Taking taylor expansion of -1 in y
0.907 * [taylor]: Taking taylor expansion of x in y
0.907 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
0.907 * [taylor]: Taking taylor expansion of (/ z x) in z
0.907 * [taylor]: Taking taylor expansion of z in z
0.907 * [taylor]: Taking taylor expansion of x in z
0.908 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z
0.908 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.908 * [taylor]: Taking taylor expansion of x in z
0.908 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.908 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.908 * [taylor]: Taking taylor expansion of x in x
0.909 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.909 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.909 * [taylor]: Taking taylor expansion of x in x
0.911 * [taylor]: Taking taylor expansion of 0 in z
0.911 * [taylor]: Taking taylor expansion of 0 in x
0.911 * [taylor]: Taking taylor expansion of 0 in x
0.912 * [taylor]: Taking taylor expansion of 0 in x
0.916 * [taylor]: Taking taylor expansion of 0 in z
0.916 * [taylor]: Taking taylor expansion of 0 in x
0.916 * [taylor]: Taking taylor expansion of 0 in x
0.916 * [taylor]: Taking taylor expansion of 0 in x
0.917 * [taylor]: Taking taylor expansion of 0 in x
0.918 * * * [progress]: simplifying candidates
0.918 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (* (* (fma (/ y z) x x) (fma (/ y z) x x)) (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (* (* (fma (/ y z) x x) (fma (/ y z) x x)) (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (* (* (fma (/ y z) x x) (fma (/ y z) x x)) (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (* (* (fma (/ y z) x x) (fma (/ y z) x x)) (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
0.922 * * [simplify]: iteration  0 :  26  enodes  (cost  176 )
0.923 * * [simplify]: iteration  1 :  62  enodes  (cost  156 )
0.925 * * [simplify]: iteration  2 :  205  enodes  (cost  156 )
0.930 * * [simplify]: iteration  3 :  849  enodes  (cost  156 )
0.953 * * [simplify]: iteration  4 :  4785  enodes  (cost  156 )
1.055 * * [simplify]: iteration  5 :  5001  enodes  (cost  156 )
1.056 * [simplify]: Simplified to:
   (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (pow (fma (/ y z) x x) 3)
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (pow (fma (/ y z) x x) 3)
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (pow (fma (/ y z) x x) 3)
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (pow (fma (/ y z) x x) 3)
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
1.057 * * * [progress]: adding candidates to table
1.199 * * [progress]: iteration 4 / 4
1.199 * * * [progress]: picking best candidate
1.207 * * * * [pick]: Picked  #<alt (λ (x y z) (* (* (* (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (fma (/ y z) x x))))>
1.207 * * * [progress]: localizing error
1.222 * * * [progress]: generating rewritten candidates
1.222 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.223 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 1)
1.223 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1)
1.224 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 2 1)
1.225 * * * [progress]: generating series expansions
1.225 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.226 * [approximate]: Taking taylor expansion of (fma (/ y z) x x) in (y z x) around 0
1.226 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in x
1.226 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
1.226 * [taylor]: Taking taylor expansion of (* (/ y z) x) in x
1.226 * [taylor]: Taking taylor expansion of (/ y z) in x
1.226 * [taylor]: Taking taylor expansion of y in x
1.226 * [taylor]: Taking taylor expansion of z in x
1.226 * [taylor]: Taking taylor expansion of x in x
1.226 * [taylor]: Taking taylor expansion of x in x
1.226 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in z
1.226 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
1.226 * [taylor]: Taking taylor expansion of (* (/ y z) x) in z
1.226 * [taylor]: Taking taylor expansion of (/ y z) in z
1.226 * [taylor]: Taking taylor expansion of y in z
1.226 * [taylor]: Taking taylor expansion of z in z
1.226 * [taylor]: Taking taylor expansion of x in z
1.226 * [taylor]: Taking taylor expansion of x in z
1.226 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
1.226 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
1.226 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
1.226 * [taylor]: Taking taylor expansion of (/ y z) in y
1.226 * [taylor]: Taking taylor expansion of y in y
1.226 * [taylor]: Taking taylor expansion of z in y
1.226 * [taylor]: Taking taylor expansion of x in y
1.226 * [taylor]: Taking taylor expansion of x in y
1.226 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
1.226 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
1.226 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
1.226 * [taylor]: Taking taylor expansion of (/ y z) in y
1.226 * [taylor]: Taking taylor expansion of y in y
1.226 * [taylor]: Taking taylor expansion of z in y
1.226 * [taylor]: Taking taylor expansion of x in y
1.226 * [taylor]: Taking taylor expansion of x in y
1.227 * [taylor]: Taking taylor expansion of x in z
1.227 * [taylor]: Taking taylor expansion of (/ x z) in z
1.227 * [taylor]: Taking taylor expansion of x in z
1.227 * [taylor]: Taking taylor expansion of z in z
1.227 * [taylor]: Taking taylor expansion of x in x
1.227 * [taylor]: Taking taylor expansion of x in x
1.227 * [taylor]: Taking taylor expansion of 0 in z
1.228 * [taylor]: Taking taylor expansion of 0 in x
1.228 * [taylor]: Taking taylor expansion of 0 in x
1.229 * [taylor]: Taking taylor expansion of 0 in z
1.229 * [taylor]: Taking taylor expansion of 0 in x
1.230 * [taylor]: Taking taylor expansion of 0 in x
1.230 * [taylor]: Taking taylor expansion of 0 in x
1.230 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in (y z x) around 0
1.230 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in x
1.230 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
1.230 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in x
1.230 * [taylor]: Taking taylor expansion of (/ z y) in x
1.230 * [taylor]: Taking taylor expansion of z in x
1.230 * [taylor]: Taking taylor expansion of y in x
1.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.230 * [taylor]: Taking taylor expansion of x in x
1.231 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.231 * [taylor]: Taking taylor expansion of x in x
1.231 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in z
1.231 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
1.231 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in z
1.231 * [taylor]: Taking taylor expansion of (/ z y) in z
1.231 * [taylor]: Taking taylor expansion of z in z
1.231 * [taylor]: Taking taylor expansion of y in z
1.231 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.231 * [taylor]: Taking taylor expansion of x in z
1.231 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.231 * [taylor]: Taking taylor expansion of x in z
1.231 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
1.231 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
1.231 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
1.231 * [taylor]: Taking taylor expansion of (/ z y) in y
1.231 * [taylor]: Taking taylor expansion of z in y
1.231 * [taylor]: Taking taylor expansion of y in y
1.231 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.231 * [taylor]: Taking taylor expansion of x in y
1.232 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.232 * [taylor]: Taking taylor expansion of x in y
1.232 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
1.232 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
1.232 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
1.232 * [taylor]: Taking taylor expansion of (/ z y) in y
1.232 * [taylor]: Taking taylor expansion of z in y
1.235 * [taylor]: Taking taylor expansion of y in y
1.235 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.235 * [taylor]: Taking taylor expansion of x in y
1.235 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.235 * [taylor]: Taking taylor expansion of x in y
1.235 * [taylor]: Taking taylor expansion of (/ z x) in z
1.235 * [taylor]: Taking taylor expansion of z in z
1.235 * [taylor]: Taking taylor expansion of x in z
1.236 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.236 * [taylor]: Taking taylor expansion of x in z
1.237 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.237 * [taylor]: Taking taylor expansion of x in x
1.237 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.237 * [taylor]: Taking taylor expansion of x in x
1.239 * [taylor]: Taking taylor expansion of 0 in z
1.239 * [taylor]: Taking taylor expansion of 0 in x
1.239 * [taylor]: Taking taylor expansion of 0 in x
1.239 * [taylor]: Taking taylor expansion of 0 in x
1.242 * [taylor]: Taking taylor expansion of 0 in z
1.242 * [taylor]: Taking taylor expansion of 0 in x
1.242 * [taylor]: Taking taylor expansion of 0 in x
1.242 * [taylor]: Taking taylor expansion of 0 in x
1.242 * [taylor]: Taking taylor expansion of 0 in x
1.243 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in (y z x) around 0
1.243 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in x
1.243 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
1.243 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in x
1.243 * [taylor]: Taking taylor expansion of (/ z y) in x
1.243 * [taylor]: Taking taylor expansion of z in x
1.243 * [taylor]: Taking taylor expansion of y in x
1.244 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.244 * [taylor]: Taking taylor expansion of -1 in x
1.244 * [taylor]: Taking taylor expansion of x in x
1.244 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.244 * [taylor]: Taking taylor expansion of -1 in x
1.244 * [taylor]: Taking taylor expansion of x in x
1.244 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in z
1.244 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
1.244 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in z
1.244 * [taylor]: Taking taylor expansion of (/ z y) in z
1.244 * [taylor]: Taking taylor expansion of z in z
1.244 * [taylor]: Taking taylor expansion of y in z
1.244 * [taylor]: Taking taylor expansion of (/ -1 x) in z
1.244 * [taylor]: Taking taylor expansion of -1 in z
1.244 * [taylor]: Taking taylor expansion of x in z
1.244 * [taylor]: Taking taylor expansion of (/ -1 x) in z
1.244 * [taylor]: Taking taylor expansion of -1 in z
1.244 * [taylor]: Taking taylor expansion of x in z
1.245 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
1.245 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
1.245 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
1.245 * [taylor]: Taking taylor expansion of (/ z y) in y
1.245 * [taylor]: Taking taylor expansion of z in y
1.245 * [taylor]: Taking taylor expansion of y in y
1.245 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.245 * [taylor]: Taking taylor expansion of -1 in y
1.245 * [taylor]: Taking taylor expansion of x in y
1.245 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.245 * [taylor]: Taking taylor expansion of -1 in y
1.245 * [taylor]: Taking taylor expansion of x in y
1.245 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
1.245 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
1.245 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
1.245 * [taylor]: Taking taylor expansion of (/ z y) in y
1.245 * [taylor]: Taking taylor expansion of z in y
1.245 * [taylor]: Taking taylor expansion of y in y
1.245 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.245 * [taylor]: Taking taylor expansion of -1 in y
1.245 * [taylor]: Taking taylor expansion of x in y
1.245 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.245 * [taylor]: Taking taylor expansion of -1 in y
1.245 * [taylor]: Taking taylor expansion of x in y
1.245 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
1.245 * [taylor]: Taking taylor expansion of (/ z x) in z
1.245 * [taylor]: Taking taylor expansion of z in z
1.245 * [taylor]: Taking taylor expansion of x in z
1.246 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z
1.246 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.246 * [taylor]: Taking taylor expansion of x in z
1.246 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.246 * [taylor]: Taking taylor expansion of x in x
1.247 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.247 * [taylor]: Taking taylor expansion of x in x
1.249 * [taylor]: Taking taylor expansion of 0 in z
1.249 * [taylor]: Taking taylor expansion of 0 in x
1.249 * [taylor]: Taking taylor expansion of 0 in x
1.250 * [taylor]: Taking taylor expansion of 0 in x
1.253 * [taylor]: Taking taylor expansion of 0 in z
1.253 * [taylor]: Taking taylor expansion of 0 in x
1.253 * [taylor]: Taking taylor expansion of 0 in x
1.254 * [taylor]: Taking taylor expansion of 0 in x
1.254 * [taylor]: Taking taylor expansion of 0 in x
1.255 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 1)
1.255 * [approximate]: Taking taylor expansion of (fma (/ y z) x x) in (y z x) around 0
1.255 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in x
1.256 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
1.256 * [taylor]: Taking taylor expansion of (* (/ y z) x) in x
1.256 * [taylor]: Taking taylor expansion of (/ y z) in x
1.256 * [taylor]: Taking taylor expansion of y in x
1.256 * [taylor]: Taking taylor expansion of z in x
1.256 * [taylor]: Taking taylor expansion of x in x
1.256 * [taylor]: Taking taylor expansion of x in x
1.256 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in z
1.256 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
1.256 * [taylor]: Taking taylor expansion of (* (/ y z) x) in z
1.256 * [taylor]: Taking taylor expansion of (/ y z) in z
1.256 * [taylor]: Taking taylor expansion of y in z
1.256 * [taylor]: Taking taylor expansion of z in z
1.256 * [taylor]: Taking taylor expansion of x in z
1.256 * [taylor]: Taking taylor expansion of x in z
1.256 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
1.256 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
1.256 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
1.256 * [taylor]: Taking taylor expansion of (/ y z) in y
1.256 * [taylor]: Taking taylor expansion of y in y
1.256 * [taylor]: Taking taylor expansion of z in y
1.256 * [taylor]: Taking taylor expansion of x in y
1.256 * [taylor]: Taking taylor expansion of x in y
1.256 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
1.257 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
1.257 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
1.257 * [taylor]: Taking taylor expansion of (/ y z) in y
1.257 * [taylor]: Taking taylor expansion of y in y
1.257 * [taylor]: Taking taylor expansion of z in y
1.257 * [taylor]: Taking taylor expansion of x in y
1.257 * [taylor]: Taking taylor expansion of x in y
1.257 * [taylor]: Taking taylor expansion of x in z
1.257 * [taylor]: Taking taylor expansion of (/ x z) in z
1.257 * [taylor]: Taking taylor expansion of x in z
1.257 * [taylor]: Taking taylor expansion of z in z
1.257 * [taylor]: Taking taylor expansion of x in x
1.257 * [taylor]: Taking taylor expansion of x in x
1.257 * [taylor]: Taking taylor expansion of 0 in z
1.258 * [taylor]: Taking taylor expansion of 0 in x
1.258 * [taylor]: Taking taylor expansion of 0 in x
1.259 * [taylor]: Taking taylor expansion of 0 in z
1.259 * [taylor]: Taking taylor expansion of 0 in x
1.259 * [taylor]: Taking taylor expansion of 0 in x
1.260 * [taylor]: Taking taylor expansion of 0 in x
1.260 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in (y z x) around 0
1.260 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in x
1.260 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
1.260 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in x
1.260 * [taylor]: Taking taylor expansion of (/ z y) in x
1.260 * [taylor]: Taking taylor expansion of z in x
1.260 * [taylor]: Taking taylor expansion of y in x
1.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.260 * [taylor]: Taking taylor expansion of x in x
1.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.261 * [taylor]: Taking taylor expansion of x in x
1.261 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in z
1.261 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
1.261 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in z
1.261 * [taylor]: Taking taylor expansion of (/ z y) in z
1.261 * [taylor]: Taking taylor expansion of z in z
1.261 * [taylor]: Taking taylor expansion of y in z
1.261 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.261 * [taylor]: Taking taylor expansion of x in z
1.261 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.261 * [taylor]: Taking taylor expansion of x in z
1.261 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
1.261 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
1.261 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
1.261 * [taylor]: Taking taylor expansion of (/ z y) in y
1.261 * [taylor]: Taking taylor expansion of z in y
1.261 * [taylor]: Taking taylor expansion of y in y
1.261 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.261 * [taylor]: Taking taylor expansion of x in y
1.261 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.261 * [taylor]: Taking taylor expansion of x in y
1.262 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
1.262 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
1.262 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
1.262 * [taylor]: Taking taylor expansion of (/ z y) in y
1.262 * [taylor]: Taking taylor expansion of z in y
1.262 * [taylor]: Taking taylor expansion of y in y
1.262 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.262 * [taylor]: Taking taylor expansion of x in y
1.262 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.262 * [taylor]: Taking taylor expansion of x in y
1.262 * [taylor]: Taking taylor expansion of (/ z x) in z
1.262 * [taylor]: Taking taylor expansion of z in z
1.262 * [taylor]: Taking taylor expansion of x in z
1.263 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.263 * [taylor]: Taking taylor expansion of x in z
1.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.263 * [taylor]: Taking taylor expansion of x in x
1.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.263 * [taylor]: Taking taylor expansion of x in x
1.265 * [taylor]: Taking taylor expansion of 0 in z
1.265 * [taylor]: Taking taylor expansion of 0 in x
1.265 * [taylor]: Taking taylor expansion of 0 in x
1.265 * [taylor]: Taking taylor expansion of 0 in x
1.268 * [taylor]: Taking taylor expansion of 0 in z
1.268 * [taylor]: Taking taylor expansion of 0 in x
1.268 * [taylor]: Taking taylor expansion of 0 in x
1.268 * [taylor]: Taking taylor expansion of 0 in x
1.268 * [taylor]: Taking taylor expansion of 0 in x
1.269 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in (y z x) around 0
1.269 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in x
1.269 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
1.269 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in x
1.270 * [taylor]: Taking taylor expansion of (/ z y) in x
1.270 * [taylor]: Taking taylor expansion of z in x
1.270 * [taylor]: Taking taylor expansion of y in x
1.270 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.270 * [taylor]: Taking taylor expansion of -1 in x
1.270 * [taylor]: Taking taylor expansion of x in x
1.270 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.270 * [taylor]: Taking taylor expansion of -1 in x
1.270 * [taylor]: Taking taylor expansion of x in x
1.270 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in z
1.270 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
1.270 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in z
1.270 * [taylor]: Taking taylor expansion of (/ z y) in z
1.270 * [taylor]: Taking taylor expansion of z in z
1.270 * [taylor]: Taking taylor expansion of y in z
1.270 * [taylor]: Taking taylor expansion of (/ -1 x) in z
1.270 * [taylor]: Taking taylor expansion of -1 in z
1.270 * [taylor]: Taking taylor expansion of x in z
1.271 * [taylor]: Taking taylor expansion of (/ -1 x) in z
1.271 * [taylor]: Taking taylor expansion of -1 in z
1.271 * [taylor]: Taking taylor expansion of x in z
1.271 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
1.271 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
1.271 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
1.271 * [taylor]: Taking taylor expansion of (/ z y) in y
1.271 * [taylor]: Taking taylor expansion of z in y
1.271 * [taylor]: Taking taylor expansion of y in y
1.271 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.271 * [taylor]: Taking taylor expansion of -1 in y
1.271 * [taylor]: Taking taylor expansion of x in y
1.271 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.271 * [taylor]: Taking taylor expansion of -1 in y
1.271 * [taylor]: Taking taylor expansion of x in y
1.271 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
1.271 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
1.271 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
1.271 * [taylor]: Taking taylor expansion of (/ z y) in y
1.271 * [taylor]: Taking taylor expansion of z in y
1.271 * [taylor]: Taking taylor expansion of y in y
1.271 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.271 * [taylor]: Taking taylor expansion of -1 in y
1.271 * [taylor]: Taking taylor expansion of x in y
1.271 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.271 * [taylor]: Taking taylor expansion of -1 in y
1.271 * [taylor]: Taking taylor expansion of x in y
1.271 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
1.271 * [taylor]: Taking taylor expansion of (/ z x) in z
1.271 * [taylor]: Taking taylor expansion of z in z
1.271 * [taylor]: Taking taylor expansion of x in z
1.272 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z
1.272 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.272 * [taylor]: Taking taylor expansion of x in z
1.272 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.272 * [taylor]: Taking taylor expansion of x in x
1.273 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.273 * [taylor]: Taking taylor expansion of x in x
1.275 * [taylor]: Taking taylor expansion of 0 in z
1.275 * [taylor]: Taking taylor expansion of 0 in x
1.275 * [taylor]: Taking taylor expansion of 0 in x
1.276 * [taylor]: Taking taylor expansion of 0 in x
1.279 * [taylor]: Taking taylor expansion of 0 in z
1.279 * [taylor]: Taking taylor expansion of 0 in x
1.279 * [taylor]: Taking taylor expansion of 0 in x
1.279 * [taylor]: Taking taylor expansion of 0 in x
1.280 * [taylor]: Taking taylor expansion of 0 in x
1.281 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1)
1.281 * [approximate]: Taking taylor expansion of (fma (/ y z) x x) in (y z x) around 0
1.281 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in x
1.281 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
1.281 * [taylor]: Taking taylor expansion of (* (/ y z) x) in x
1.281 * [taylor]: Taking taylor expansion of (/ y z) in x
1.281 * [taylor]: Taking taylor expansion of y in x
1.281 * [taylor]: Taking taylor expansion of z in x
1.281 * [taylor]: Taking taylor expansion of x in x
1.281 * [taylor]: Taking taylor expansion of x in x
1.281 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in z
1.281 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
1.281 * [taylor]: Taking taylor expansion of (* (/ y z) x) in z
1.281 * [taylor]: Taking taylor expansion of (/ y z) in z
1.281 * [taylor]: Taking taylor expansion of y in z
1.281 * [taylor]: Taking taylor expansion of z in z
1.281 * [taylor]: Taking taylor expansion of x in z
1.281 * [taylor]: Taking taylor expansion of x in z
1.282 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
1.282 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
1.282 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
1.282 * [taylor]: Taking taylor expansion of (/ y z) in y
1.282 * [taylor]: Taking taylor expansion of y in y
1.282 * [taylor]: Taking taylor expansion of z in y
1.282 * [taylor]: Taking taylor expansion of x in y
1.282 * [taylor]: Taking taylor expansion of x in y
1.282 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
1.282 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
1.282 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
1.282 * [taylor]: Taking taylor expansion of (/ y z) in y
1.282 * [taylor]: Taking taylor expansion of y in y
1.282 * [taylor]: Taking taylor expansion of z in y
1.282 * [taylor]: Taking taylor expansion of x in y
1.282 * [taylor]: Taking taylor expansion of x in y
1.282 * [taylor]: Taking taylor expansion of x in z
1.282 * [taylor]: Taking taylor expansion of (/ x z) in z
1.282 * [taylor]: Taking taylor expansion of x in z
1.282 * [taylor]: Taking taylor expansion of z in z
1.282 * [taylor]: Taking taylor expansion of x in x
1.282 * [taylor]: Taking taylor expansion of x in x
1.283 * [taylor]: Taking taylor expansion of 0 in z
1.283 * [taylor]: Taking taylor expansion of 0 in x
1.283 * [taylor]: Taking taylor expansion of 0 in x
1.284 * [taylor]: Taking taylor expansion of 0 in z
1.284 * [taylor]: Taking taylor expansion of 0 in x
1.285 * [taylor]: Taking taylor expansion of 0 in x
1.285 * [taylor]: Taking taylor expansion of 0 in x
1.285 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in (y z x) around 0
1.285 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in x
1.285 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
1.285 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in x
1.285 * [taylor]: Taking taylor expansion of (/ z y) in x
1.285 * [taylor]: Taking taylor expansion of z in x
1.285 * [taylor]: Taking taylor expansion of y in x
1.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.286 * [taylor]: Taking taylor expansion of x in x
1.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.286 * [taylor]: Taking taylor expansion of x in x
1.286 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in z
1.286 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
1.286 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in z
1.286 * [taylor]: Taking taylor expansion of (/ z y) in z
1.286 * [taylor]: Taking taylor expansion of z in z
1.286 * [taylor]: Taking taylor expansion of y in z
1.286 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.286 * [taylor]: Taking taylor expansion of x in z
1.286 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.286 * [taylor]: Taking taylor expansion of x in z
1.286 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
1.286 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
1.287 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
1.287 * [taylor]: Taking taylor expansion of (/ z y) in y
1.287 * [taylor]: Taking taylor expansion of z in y
1.287 * [taylor]: Taking taylor expansion of y in y
1.287 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.287 * [taylor]: Taking taylor expansion of x in y
1.287 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.287 * [taylor]: Taking taylor expansion of x in y
1.287 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
1.287 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
1.287 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
1.287 * [taylor]: Taking taylor expansion of (/ z y) in y
1.287 * [taylor]: Taking taylor expansion of z in y
1.287 * [taylor]: Taking taylor expansion of y in y
1.287 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.287 * [taylor]: Taking taylor expansion of x in y
1.287 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.287 * [taylor]: Taking taylor expansion of x in y
1.287 * [taylor]: Taking taylor expansion of (/ z x) in z
1.287 * [taylor]: Taking taylor expansion of z in z
1.287 * [taylor]: Taking taylor expansion of x in z
1.288 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.288 * [taylor]: Taking taylor expansion of x in z
1.288 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.288 * [taylor]: Taking taylor expansion of x in x
1.288 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.288 * [taylor]: Taking taylor expansion of x in x
1.290 * [taylor]: Taking taylor expansion of 0 in z
1.290 * [taylor]: Taking taylor expansion of 0 in x
1.290 * [taylor]: Taking taylor expansion of 0 in x
1.290 * [taylor]: Taking taylor expansion of 0 in x
1.293 * [taylor]: Taking taylor expansion of 0 in z
1.293 * [taylor]: Taking taylor expansion of 0 in x
1.293 * [taylor]: Taking taylor expansion of 0 in x
1.293 * [taylor]: Taking taylor expansion of 0 in x
1.293 * [taylor]: Taking taylor expansion of 0 in x
1.294 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in (y z x) around 0
1.294 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in x
1.295 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
1.295 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in x
1.295 * [taylor]: Taking taylor expansion of (/ z y) in x
1.295 * [taylor]: Taking taylor expansion of z in x
1.295 * [taylor]: Taking taylor expansion of y in x
1.295 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.295 * [taylor]: Taking taylor expansion of -1 in x
1.295 * [taylor]: Taking taylor expansion of x in x
1.295 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.295 * [taylor]: Taking taylor expansion of -1 in x
1.295 * [taylor]: Taking taylor expansion of x in x
1.295 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in z
1.295 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
1.295 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in z
1.295 * [taylor]: Taking taylor expansion of (/ z y) in z
1.295 * [taylor]: Taking taylor expansion of z in z
1.295 * [taylor]: Taking taylor expansion of y in z
1.296 * [taylor]: Taking taylor expansion of (/ -1 x) in z
1.296 * [taylor]: Taking taylor expansion of -1 in z
1.296 * [taylor]: Taking taylor expansion of x in z
1.296 * [taylor]: Taking taylor expansion of (/ -1 x) in z
1.296 * [taylor]: Taking taylor expansion of -1 in z
1.296 * [taylor]: Taking taylor expansion of x in z
1.296 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
1.296 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
1.296 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
1.296 * [taylor]: Taking taylor expansion of (/ z y) in y
1.296 * [taylor]: Taking taylor expansion of z in y
1.296 * [taylor]: Taking taylor expansion of y in y
1.296 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.296 * [taylor]: Taking taylor expansion of -1 in y
1.296 * [taylor]: Taking taylor expansion of x in y
1.296 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.296 * [taylor]: Taking taylor expansion of -1 in y
1.296 * [taylor]: Taking taylor expansion of x in y
1.296 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
1.296 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
1.296 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
1.296 * [taylor]: Taking taylor expansion of (/ z y) in y
1.296 * [taylor]: Taking taylor expansion of z in y
1.296 * [taylor]: Taking taylor expansion of y in y
1.296 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.296 * [taylor]: Taking taylor expansion of -1 in y
1.296 * [taylor]: Taking taylor expansion of x in y
1.296 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.296 * [taylor]: Taking taylor expansion of -1 in y
1.296 * [taylor]: Taking taylor expansion of x in y
1.296 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
1.296 * [taylor]: Taking taylor expansion of (/ z x) in z
1.296 * [taylor]: Taking taylor expansion of z in z
1.297 * [taylor]: Taking taylor expansion of x in z
1.297 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z
1.297 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.297 * [taylor]: Taking taylor expansion of x in z
1.297 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.297 * [taylor]: Taking taylor expansion of x in x
1.298 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.298 * [taylor]: Taking taylor expansion of x in x
1.300 * [taylor]: Taking taylor expansion of 0 in z
1.300 * [taylor]: Taking taylor expansion of 0 in x
1.300 * [taylor]: Taking taylor expansion of 0 in x
1.301 * [taylor]: Taking taylor expansion of 0 in x
1.304 * [taylor]: Taking taylor expansion of 0 in z
1.304 * [taylor]: Taking taylor expansion of 0 in x
1.304 * [taylor]: Taking taylor expansion of 0 in x
1.304 * [taylor]: Taking taylor expansion of 0 in x
1.305 * [taylor]: Taking taylor expansion of 0 in x
1.306 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 2 1)
1.306 * [approximate]: Taking taylor expansion of (fma (/ y z) x x) in (y z x) around 0
1.306 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in x
1.306 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
1.306 * [taylor]: Taking taylor expansion of (* (/ y z) x) in x
1.306 * [taylor]: Taking taylor expansion of (/ y z) in x
1.306 * [taylor]: Taking taylor expansion of y in x
1.307 * [taylor]: Taking taylor expansion of z in x
1.307 * [taylor]: Taking taylor expansion of x in x
1.307 * [taylor]: Taking taylor expansion of x in x
1.307 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in z
1.307 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
1.307 * [taylor]: Taking taylor expansion of (* (/ y z) x) in z
1.307 * [taylor]: Taking taylor expansion of (/ y z) in z
1.307 * [taylor]: Taking taylor expansion of y in z
1.307 * [taylor]: Taking taylor expansion of z in z
1.307 * [taylor]: Taking taylor expansion of x in z
1.307 * [taylor]: Taking taylor expansion of x in z
1.307 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
1.307 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
1.307 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
1.307 * [taylor]: Taking taylor expansion of (/ y z) in y
1.307 * [taylor]: Taking taylor expansion of y in y
1.307 * [taylor]: Taking taylor expansion of z in y
1.307 * [taylor]: Taking taylor expansion of x in y
1.307 * [taylor]: Taking taylor expansion of x in y
1.307 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
1.307 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
1.307 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
1.307 * [taylor]: Taking taylor expansion of (/ y z) in y
1.307 * [taylor]: Taking taylor expansion of y in y
1.307 * [taylor]: Taking taylor expansion of z in y
1.308 * [taylor]: Taking taylor expansion of x in y
1.308 * [taylor]: Taking taylor expansion of x in y
1.308 * [taylor]: Taking taylor expansion of x in z
1.308 * [taylor]: Taking taylor expansion of (/ x z) in z
1.308 * [taylor]: Taking taylor expansion of x in z
1.308 * [taylor]: Taking taylor expansion of z in z
1.308 * [taylor]: Taking taylor expansion of x in x
1.308 * [taylor]: Taking taylor expansion of x in x
1.308 * [taylor]: Taking taylor expansion of 0 in z
1.309 * [taylor]: Taking taylor expansion of 0 in x
1.309 * [taylor]: Taking taylor expansion of 0 in x
1.310 * [taylor]: Taking taylor expansion of 0 in z
1.310 * [taylor]: Taking taylor expansion of 0 in x
1.310 * [taylor]: Taking taylor expansion of 0 in x
1.310 * [taylor]: Taking taylor expansion of 0 in x
1.311 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in (y z x) around 0
1.311 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in x
1.311 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
1.311 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in x
1.311 * [taylor]: Taking taylor expansion of (/ z y) in x
1.311 * [taylor]: Taking taylor expansion of z in x
1.311 * [taylor]: Taking taylor expansion of y in x
1.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.311 * [taylor]: Taking taylor expansion of x in x
1.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.312 * [taylor]: Taking taylor expansion of x in x
1.312 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in z
1.312 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
1.312 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in z
1.312 * [taylor]: Taking taylor expansion of (/ z y) in z
1.312 * [taylor]: Taking taylor expansion of z in z
1.312 * [taylor]: Taking taylor expansion of y in z
1.312 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.312 * [taylor]: Taking taylor expansion of x in z
1.312 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.312 * [taylor]: Taking taylor expansion of x in z
1.312 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
1.312 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
1.312 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
1.312 * [taylor]: Taking taylor expansion of (/ z y) in y
1.312 * [taylor]: Taking taylor expansion of z in y
1.312 * [taylor]: Taking taylor expansion of y in y
1.312 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.312 * [taylor]: Taking taylor expansion of x in y
1.312 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.312 * [taylor]: Taking taylor expansion of x in y
1.312 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
1.312 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
1.313 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
1.313 * [taylor]: Taking taylor expansion of (/ z y) in y
1.313 * [taylor]: Taking taylor expansion of z in y
1.313 * [taylor]: Taking taylor expansion of y in y
1.313 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.313 * [taylor]: Taking taylor expansion of x in y
1.313 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.313 * [taylor]: Taking taylor expansion of x in y
1.313 * [taylor]: Taking taylor expansion of (/ z x) in z
1.313 * [taylor]: Taking taylor expansion of z in z
1.313 * [taylor]: Taking taylor expansion of x in z
1.314 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.314 * [taylor]: Taking taylor expansion of x in z
1.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.314 * [taylor]: Taking taylor expansion of x in x
1.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.314 * [taylor]: Taking taylor expansion of x in x
1.316 * [taylor]: Taking taylor expansion of 0 in z
1.316 * [taylor]: Taking taylor expansion of 0 in x
1.316 * [taylor]: Taking taylor expansion of 0 in x
1.316 * [taylor]: Taking taylor expansion of 0 in x
1.319 * [taylor]: Taking taylor expansion of 0 in z
1.319 * [taylor]: Taking taylor expansion of 0 in x
1.319 * [taylor]: Taking taylor expansion of 0 in x
1.319 * [taylor]: Taking taylor expansion of 0 in x
1.319 * [taylor]: Taking taylor expansion of 0 in x
1.320 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in (y z x) around 0
1.320 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in x
1.320 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
1.321 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in x
1.321 * [taylor]: Taking taylor expansion of (/ z y) in x
1.321 * [taylor]: Taking taylor expansion of z in x
1.321 * [taylor]: Taking taylor expansion of y in x
1.321 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.321 * [taylor]: Taking taylor expansion of -1 in x
1.321 * [taylor]: Taking taylor expansion of x in x
1.321 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.321 * [taylor]: Taking taylor expansion of -1 in x
1.321 * [taylor]: Taking taylor expansion of x in x
1.321 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in z
1.321 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
1.321 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in z
1.321 * [taylor]: Taking taylor expansion of (/ z y) in z
1.321 * [taylor]: Taking taylor expansion of z in z
1.321 * [taylor]: Taking taylor expansion of y in z
1.321 * [taylor]: Taking taylor expansion of (/ -1 x) in z
1.321 * [taylor]: Taking taylor expansion of -1 in z
1.322 * [taylor]: Taking taylor expansion of x in z
1.322 * [taylor]: Taking taylor expansion of (/ -1 x) in z
1.322 * [taylor]: Taking taylor expansion of -1 in z
1.322 * [taylor]: Taking taylor expansion of x in z
1.322 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
1.322 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
1.322 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
1.322 * [taylor]: Taking taylor expansion of (/ z y) in y
1.322 * [taylor]: Taking taylor expansion of z in y
1.322 * [taylor]: Taking taylor expansion of y in y
1.322 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.322 * [taylor]: Taking taylor expansion of -1 in y
1.322 * [taylor]: Taking taylor expansion of x in y
1.322 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.322 * [taylor]: Taking taylor expansion of -1 in y
1.322 * [taylor]: Taking taylor expansion of x in y
1.322 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
1.322 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
1.322 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
1.322 * [taylor]: Taking taylor expansion of (/ z y) in y
1.322 * [taylor]: Taking taylor expansion of z in y
1.322 * [taylor]: Taking taylor expansion of y in y
1.322 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.322 * [taylor]: Taking taylor expansion of -1 in y
1.322 * [taylor]: Taking taylor expansion of x in y
1.322 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.322 * [taylor]: Taking taylor expansion of -1 in y
1.322 * [taylor]: Taking taylor expansion of x in y
1.322 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
1.322 * [taylor]: Taking taylor expansion of (/ z x) in z
1.322 * [taylor]: Taking taylor expansion of z in z
1.322 * [taylor]: Taking taylor expansion of x in z
1.323 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z
1.323 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.323 * [taylor]: Taking taylor expansion of x in z
1.323 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.323 * [taylor]: Taking taylor expansion of x in x
1.324 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.324 * [taylor]: Taking taylor expansion of x in x
1.330 * [taylor]: Taking taylor expansion of 0 in z
1.330 * [taylor]: Taking taylor expansion of 0 in x
1.331 * [taylor]: Taking taylor expansion of 0 in x
1.331 * [taylor]: Taking taylor expansion of 0 in x
1.334 * [taylor]: Taking taylor expansion of 0 in z
1.334 * [taylor]: Taking taylor expansion of 0 in x
1.334 * [taylor]: Taking taylor expansion of 0 in x
1.335 * [taylor]: Taking taylor expansion of 0 in x
1.335 * [taylor]: Taking taylor expansion of 0 in x
1.336 * * * [progress]: simplifying candidates
1.337 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (* (* (fma (/ y z) x x) (fma (/ y z) x x)) (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (* (* (fma (/ y z) x x) (fma (/ y z) x x)) (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (* (* (fma (/ y z) x x) (fma (/ y z) x x)) (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (* (* (fma (/ y z) x x) (fma (/ y z) x x)) (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
1.340 * * [simplify]: iteration  0 :  26  enodes  (cost  176 )
1.342 * * [simplify]: iteration  1 :  62  enodes  (cost  156 )
1.344 * * [simplify]: iteration  2 :  205  enodes  (cost  156 )
1.348 * * [simplify]: iteration  3 :  849  enodes  (cost  156 )
1.372 * * [simplify]: iteration  4 :  4785  enodes  (cost  156 )
1.474 * * [simplify]: iteration  5 :  5001  enodes  (cost  156 )
1.475 * [simplify]: Simplified to:
   (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (pow (fma (/ y z) x x) 3)
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (pow (fma (/ y z) x x) 3)
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (pow (fma (/ y z) x x) 3)
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (expm1 (fma (/ y z) x x))
  (log1p (fma (/ y z) x x))
  (* (/ y z) x)
  (log (fma (/ y z) x x))
  (exp (fma (/ y z) x x))
  (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))
  (cbrt (fma (/ y z) x x))
  (pow (fma (/ y z) x x) 3)
  (sqrt (fma (/ y z) x x))
  (sqrt (fma (/ y z) x x))
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
1.475 * * * [progress]: adding candidates to table
1.617 * [progress]: [Phase 3 of 3] Extracting.
1.617 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* (sqrt (fma (/ y z) x x)) (sqrt (fma (/ y z) x x))))> #<alt (λ (x y z) (* (* (* (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (fma (/ y z) x x))))> #<alt (λ (x y z) (/ (* x (+ y z)) z))> #<alt (λ (x y z) (fma (/ y z) x x))> #<alt (λ (x y z) (* (* (* (cbrt (fma (/ y z) x x)) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (cbrt (fma (/ y z) x x)))) (cbrt (fma (/ y z) x x))))> #<alt (λ (x y z) (* (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))) (cbrt (exp (log (fma (/ y z) x x))))))>)
1.619 * * * [regime-changes]: Trying 4 branch expressions: ((/ (* x (+ y z)) z) z y x)
1.619 * * * * [regimes]: Trying to branch on (/ (* x (+ y z)) z) from (#<alt (λ (x y z) (* (sqrt (fma (/ y z) x x)) (sqrt (fma (/ y z) x x))))> #<alt (λ (x y z) (* (* (* (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (fma (/ y z) x x))))> #<alt (λ (x y z) (/ (* x (+ y z)) z))> #<alt (λ (x y z) (fma (/ y z) x x))> #<alt (λ (x y z) (* (* (* (cbrt (fma (/ y z) x x)) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (cbrt (fma (/ y z) x x)))) (cbrt (fma (/ y z) x x))))> #<alt (λ (x y z) (* (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))) (cbrt (exp (log (fma (/ y z) x x))))))>)
1.665 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (* (sqrt (fma (/ y z) x x)) (sqrt (fma (/ y z) x x))))> #<alt (λ (x y z) (* (* (* (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (fma (/ y z) x x))))> #<alt (λ (x y z) (/ (* x (+ y z)) z))> #<alt (λ (x y z) (fma (/ y z) x x))> #<alt (λ (x y z) (* (* (* (cbrt (fma (/ y z) x x)) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (cbrt (fma (/ y z) x x)))) (cbrt (fma (/ y z) x x))))> #<alt (λ (x y z) (* (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))) (cbrt (exp (log (fma (/ y z) x x))))))>)
1.701 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (* (sqrt (fma (/ y z) x x)) (sqrt (fma (/ y z) x x))))> #<alt (λ (x y z) (* (* (* (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (fma (/ y z) x x))))> #<alt (λ (x y z) (/ (* x (+ y z)) z))> #<alt (λ (x y z) (fma (/ y z) x x))> #<alt (λ (x y z) (* (* (* (cbrt (fma (/ y z) x x)) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (cbrt (fma (/ y z) x x)))) (cbrt (fma (/ y z) x x))))> #<alt (λ (x y z) (* (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))) (cbrt (exp (log (fma (/ y z) x x))))))>)
1.732 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (* (sqrt (fma (/ y z) x x)) (sqrt (fma (/ y z) x x))))> #<alt (λ (x y z) (* (* (* (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (fma (/ y z) x x))))> #<alt (λ (x y z) (/ (* x (+ y z)) z))> #<alt (λ (x y z) (fma (/ y z) x x))> #<alt (λ (x y z) (* (* (* (cbrt (fma (/ y z) x x)) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (cbrt (fma (/ y z) x x)))) (cbrt (fma (/ y z) x x))))> #<alt (λ (x y z) (* (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))) (cbrt (exp (log (fma (/ y z) x x))))))>)
1.769 * * * [regime]: Found split indices: #<option (#s(si 3 16) #s(si 2 63) #s(si 3 161) #s(si 2 231) #s(si 3 255))>
1.770 * [binary-search]: Only using regimes for bounds on (/ (* x (+ y z)) z) and (#<alt (λ (x y z) (* (sqrt (fma (/ y z) x x)) (sqrt (fma (/ y z) x x))))> #<alt (λ (x y z) (* (* (* (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (fma (/ y z) x x))))> #<alt (λ (x y z) (/ (* x (+ y z)) z))> #<alt (λ (x y z) (fma (/ y z) x x))> #<alt (λ (x y z) (* (* (* (cbrt (fma (/ y z) x x)) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (cbrt (fma (/ y z) x x)))) (cbrt (fma (/ y z) x x))))> #<alt (λ (x y z) (* (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))) (cbrt (exp (log (fma (/ y z) x x))))))>)
1.770 * [regimes]: Found splitpoints: (#s(sp 3 (/ (* x (+ y z)) z) -inf.0) #s(sp 2 (/ (* x (+ y z)) z) -2.7194741518624336e+47) #s(sp 3 (/ (* x (+ y z)) z) 8.797260825011126e-144) #s(sp 2 (/ (* x (+ y z)) z) 1.912706477262822e+267) #s(sp 3 (/ (* x (+ y z)) z) +nan.0)) , with alts (#<alt (λ (x y z) (* (sqrt (fma (/ y z) x x)) (sqrt (fma (/ y z) x x))))> #<alt (λ (x y z) (* (* (* (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x)))) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (fma (/ y z) x x))))> #<alt (λ (x y z) (/ (* x (+ y z)) z))> #<alt (λ (x y z) (fma (/ y z) x x))> #<alt (λ (x y z) (* (* (* (cbrt (fma (/ y z) x x)) (cbrt (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))))) (cbrt (cbrt (fma (/ y z) x x)))) (cbrt (fma (/ y z) x x))))> #<alt (λ (x y z) (* (* (cbrt (fma (/ y z) x x)) (cbrt (fma (/ y z) x x))) (cbrt (exp (log (fma (/ y z) x x))))))>)
1.770 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (/ (* x (+ y z)) z) -inf.0) (fma (/ y z) x x) (if (<= (/ (* x (+ y z)) z) -2.7194741518624336e+47) (/ (* x (+ y z)) z) (if (<= (/ (* x (+ y z)) z) 8.797260825011126e-144) (fma (/ y z) x x) (if (<= (/ (* x (+ y z)) z) 1.912706477262822e+267) (/ (* x (+ y z)) z) (fma (/ y z) x x)))))
1.771 * * [simplify]: iteration  0 :  25  enodes  (cost  24 )
1.772 * * [simplify]: iteration  1 :  28  enodes  (cost  24 )
1.772 * * [simplify]: iteration  2 :  34  enodes  (cost  17 )
1.772 * * [simplify]: iteration  3 :  37  enodes  (cost  17 )
1.773 * * [simplify]: iteration  4 :  43  enodes  (cost  17 )
1.773 * * [simplify]: iteration  5 :  54  enodes  (cost  17 )
1.773 * * [simplify]: iteration  6 :  61  enodes  (cost  17 )
1.774 * * [simplify]: iteration  7 :  62  enodes  (cost  17 )
1.774 * * [simplify]: iteration  8 :  62  enodes  (cost  17 )
1.774 * [simplify]: Simplified to:
   (if (or (<= (/ (* x (+ y z)) z) -inf.0) (not (or (<= (/ (* x (+ y z)) z) -2.7194741518624336e+47) (not (or (<= (/ (* x (+ y z)) z) 8.797260825011126e-144) (not (<= (/ (* x (+ y z)) z) 1.912706477262822e+267))))))) (fma (/ y z) x x) (/ (* x (+ y z)) z))
2.478 * [regime-testing]: Baseline error score: 3.21539028511009
2.478 * [regime-testing]: Oracle error score: 0.04113014126765846
2.479 * [regime-testing]: End program error score: 0.5609776168584798
2.500 * [regime-testing]: Target error score: 2.9661581159706647