5.497 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.033 * [progress]: [Phase 2 of 3] Improving.
0.033 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (exp (* a x)) 1.0)
0.036 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.037 * * [simplify]: iteration  1 :  18  enodes  (cost  3 )
0.039 * * [simplify]: iteration  2 :  27  enodes  (cost  3 )
0.040 * * [simplify]: iteration  3 :  50  enodes  (cost  3 )
0.042 * * [simplify]: iteration  4 :  115  enodes  (cost  3 )
0.044 * * [simplify]: iteration  5 :  329  enodes  (cost  3 )
0.052 * * [simplify]: iteration  6 :  1633  enodes  (cost  3 )
0.097 * * [simplify]: iteration  7 :  5002  enodes  (cost  3 )
0.097 * [simplify]: Simplified to:
   (- (exp (* a x)) 1.0)
0.098 * * [progress]: iteration 1 / 4
0.098 * * * [progress]: picking best candidate
0.099 * * * * [pick]: Picked  #<alt (λ (a x) (- (exp (* a x)) 1.0))>
0.099 * * * [progress]: localizing error
0.104 * * * [progress]: generating rewritten candidates
0.104 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.111 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.117 * * * [progress]: generating series expansions
0.117 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.117 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0
0.117 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x
0.117 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.117 * [taylor]: Taking taylor expansion of (* a x) in x
0.117 * [taylor]: Taking taylor expansion of a in x
0.117 * [taylor]: Taking taylor expansion of x in x
0.118 * [taylor]: Taking taylor expansion of 1.0 in x
0.118 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a
0.118 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.118 * [taylor]: Taking taylor expansion of (* a x) in a
0.118 * [taylor]: Taking taylor expansion of a in a
0.118 * [taylor]: Taking taylor expansion of x in a
0.118 * [taylor]: Taking taylor expansion of 1.0 in a
0.118 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a
0.118 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.118 * [taylor]: Taking taylor expansion of (* a x) in a
0.118 * [taylor]: Taking taylor expansion of a in a
0.118 * [taylor]: Taking taylor expansion of x in a
0.119 * [taylor]: Taking taylor expansion of 1.0 in a
0.120 * [taylor]: Taking taylor expansion of 0 in x
0.120 * [taylor]: Taking taylor expansion of x in x
0.122 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.122 * [taylor]: Taking taylor expansion of 1/2 in x
0.122 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.122 * [taylor]: Taking taylor expansion of x in x
0.124 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.124 * [taylor]: Taking taylor expansion of 1/6 in x
0.124 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.124 * [taylor]: Taking taylor expansion of x in x
0.127 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
0.127 * [taylor]: Taking taylor expansion of 1/24 in x
0.127 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.127 * [taylor]: Taking taylor expansion of x in x
0.132 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
0.132 * [taylor]: Taking taylor expansion of 1/120 in x
0.132 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.132 * [taylor]: Taking taylor expansion of x in x
0.140 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x
0.140 * [taylor]: Taking taylor expansion of 1/720 in x
0.140 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.140 * [taylor]: Taking taylor expansion of x in x
0.141 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0
0.141 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
0.141 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.141 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.141 * [taylor]: Taking taylor expansion of (* a x) in x
0.141 * [taylor]: Taking taylor expansion of a in x
0.142 * [taylor]: Taking taylor expansion of x in x
0.142 * [taylor]: Taking taylor expansion of 1.0 in x
0.142 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
0.142 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.142 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.142 * [taylor]: Taking taylor expansion of (* a x) in a
0.142 * [taylor]: Taking taylor expansion of a in a
0.142 * [taylor]: Taking taylor expansion of x in a
0.142 * [taylor]: Taking taylor expansion of 1.0 in a
0.142 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
0.142 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.142 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.142 * [taylor]: Taking taylor expansion of (* a x) in a
0.143 * [taylor]: Taking taylor expansion of a in a
0.143 * [taylor]: Taking taylor expansion of x in a
0.143 * [taylor]: Taking taylor expansion of 1.0 in a
0.144 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
0.144 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.144 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.144 * [taylor]: Taking taylor expansion of (* a x) in x
0.144 * [taylor]: Taking taylor expansion of a in x
0.144 * [taylor]: Taking taylor expansion of x in x
0.144 * [taylor]: Taking taylor expansion of 1.0 in x
0.145 * [taylor]: Taking taylor expansion of 0 in x
0.146 * [taylor]: Taking taylor expansion of 0 in x
0.147 * [taylor]: Taking taylor expansion of 0 in x
0.148 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0
0.148 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
0.148 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.148 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.148 * [taylor]: Taking taylor expansion of (* a x) in x
0.148 * [taylor]: Taking taylor expansion of a in x
0.148 * [taylor]: Taking taylor expansion of x in x
0.148 * [taylor]: Taking taylor expansion of 1.0 in x
0.148 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
0.148 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.148 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.148 * [taylor]: Taking taylor expansion of (* a x) in a
0.148 * [taylor]: Taking taylor expansion of a in a
0.148 * [taylor]: Taking taylor expansion of x in a
0.149 * [taylor]: Taking taylor expansion of 1.0 in a
0.149 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
0.149 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.149 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.149 * [taylor]: Taking taylor expansion of (* a x) in a
0.149 * [taylor]: Taking taylor expansion of a in a
0.149 * [taylor]: Taking taylor expansion of x in a
0.153 * [taylor]: Taking taylor expansion of 1.0 in a
0.154 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
0.154 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.154 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.154 * [taylor]: Taking taylor expansion of (* a x) in x
0.154 * [taylor]: Taking taylor expansion of a in x
0.154 * [taylor]: Taking taylor expansion of x in x
0.154 * [taylor]: Taking taylor expansion of 1.0 in x
0.155 * [taylor]: Taking taylor expansion of 0 in x
0.156 * [taylor]: Taking taylor expansion of 0 in x
0.157 * [taylor]: Taking taylor expansion of 0 in x
0.158 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.158 * [approximate]: Taking taylor expansion of (exp (* a x)) in (a x) around 0
0.158 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.158 * [taylor]: Taking taylor expansion of (* a x) in x
0.158 * [taylor]: Taking taylor expansion of a in x
0.158 * [taylor]: Taking taylor expansion of x in x
0.158 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.158 * [taylor]: Taking taylor expansion of (* a x) in a
0.158 * [taylor]: Taking taylor expansion of a in a
0.158 * [taylor]: Taking taylor expansion of x in a
0.159 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.159 * [taylor]: Taking taylor expansion of (* a x) in a
0.159 * [taylor]: Taking taylor expansion of a in a
0.159 * [taylor]: Taking taylor expansion of x in a
0.159 * [taylor]: Taking taylor expansion of 1 in x
0.159 * [taylor]: Taking taylor expansion of x in x
0.160 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.160 * [taylor]: Taking taylor expansion of 1/2 in x
0.160 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.162 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.162 * [taylor]: Taking taylor expansion of 1/6 in x
0.162 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.162 * [taylor]: Taking taylor expansion of x in x
0.165 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
0.165 * [taylor]: Taking taylor expansion of 1/24 in x
0.165 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.165 * [taylor]: Taking taylor expansion of x in x
0.166 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
0.166 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.166 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.166 * [taylor]: Taking taylor expansion of (* a x) in x
0.166 * [taylor]: Taking taylor expansion of a in x
0.166 * [taylor]: Taking taylor expansion of x in x
0.167 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.167 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.167 * [taylor]: Taking taylor expansion of (* a x) in a
0.167 * [taylor]: Taking taylor expansion of a in a
0.167 * [taylor]: Taking taylor expansion of x in a
0.167 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.167 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.167 * [taylor]: Taking taylor expansion of (* a x) in a
0.167 * [taylor]: Taking taylor expansion of a in a
0.167 * [taylor]: Taking taylor expansion of x in a
0.168 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.168 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.168 * [taylor]: Taking taylor expansion of (* a x) in x
0.168 * [taylor]: Taking taylor expansion of a in x
0.168 * [taylor]: Taking taylor expansion of x in x
0.168 * [taylor]: Taking taylor expansion of 0 in x
0.168 * [taylor]: Taking taylor expansion of 0 in x
0.169 * [taylor]: Taking taylor expansion of 0 in x
0.169 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
0.169 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.169 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.169 * [taylor]: Taking taylor expansion of (* a x) in x
0.169 * [taylor]: Taking taylor expansion of a in x
0.169 * [taylor]: Taking taylor expansion of x in x
0.169 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.169 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.169 * [taylor]: Taking taylor expansion of (* a x) in a
0.169 * [taylor]: Taking taylor expansion of a in a
0.169 * [taylor]: Taking taylor expansion of x in a
0.170 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.170 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.170 * [taylor]: Taking taylor expansion of (* a x) in a
0.170 * [taylor]: Taking taylor expansion of a in a
0.170 * [taylor]: Taking taylor expansion of x in a
0.170 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.170 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.170 * [taylor]: Taking taylor expansion of (* a x) in x
0.170 * [taylor]: Taking taylor expansion of a in x
0.170 * [taylor]: Taking taylor expansion of x in x
0.171 * [taylor]: Taking taylor expansion of 0 in x
0.171 * [taylor]: Taking taylor expansion of 0 in x
0.171 * [taylor]: Taking taylor expansion of 0 in x
0.171 * * * [progress]: simplifying candidates
0.172 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fma (* (cbrt (exp (* a x))) (cbrt (exp (* a x)))) (cbrt (exp (* a x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (* (cbrt (exp (* a x))) (cbrt (exp (* a x)))) (cbrt (exp (* a x))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (* (cbrt (exp (* a x))) (cbrt (exp (* a x)))) (cbrt (exp (* a x))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 1 (exp (* a x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 1 (exp (* a x)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 1 (exp (* a x)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (expm1 (- (exp (* a x)) 1.0))
  (log1p (- (exp (* a x)) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (/ (exp (exp (* a x))) (exp 1.0))
  (log (- (exp (* a x)) 1.0))
  (exp (- (exp (* a x)) 1.0))
  (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0)))
  (cbrt (- (exp (* a x)) 1.0))
  (* (* (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0)) (- (exp (* a x)) 1.0))
  (sqrt (- (exp (* a x)) 1.0))
  (sqrt (- (exp (* a x)) 1.0))
  (- (pow (exp (* a x)) 3) (pow 1.0 3))
  (+ (* (exp (* a x)) (exp (* a x))) (+ (* 1.0 1.0) (* (exp (* a x)) 1.0)))
  (- 1.0)
  (- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0))
  (+ (exp (* a x)) 1.0)
  (+ (sqrt (exp (* a x))) (sqrt 1.0))
  (- (sqrt (exp (* a x))) (sqrt 1.0))
  (- (exp (* a x)) 1.0)
  (- 1.0)
  (expm1 (exp (* a x)))
  (log1p (exp (* a x)))
  (exp a)
  (exp (* (cbrt (* a x)) (cbrt (* a x))))
  (exp (sqrt (* a x)))
  (exp 1)
  (exp (* (sqrt a) (sqrt x)))
  (exp (* a (* (cbrt x) (cbrt x))))
  (exp (* a (sqrt x)))
  (exp (* a 1))
  (exp (* (cbrt a) (cbrt a)))
  (exp (sqrt a))
  (exp 1)
  (exp x)
  (log (exp (* a x)))
  (exp (exp (* a x)))
  (* (cbrt (exp (* a x))) (cbrt (exp (* a x))))
  (cbrt (exp (* a x)))
  (* (* (exp (* a x)) (exp (* a x))) (exp (* a x)))
  (sqrt (exp (* a x)))
  (sqrt (exp (* a x)))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x)))
  (- (exp (* a x)) 1.0)
  (- (exp (* a x)) 1.0)
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) 1))
  (exp (* a x))
  (exp (* a x))
0.176 * * [simplify]: iteration  0 :  208  enodes  (cost  321 )
0.180 * * [simplify]: iteration  1 :  654  enodes  (cost  240 )
0.195 * * [simplify]: iteration  2 :  3113  enodes  (cost  229 )
0.261 * * [simplify]: iteration  3 :  5001  enodes  (cost  202 )
0.263 * [simplify]: Simplified to:
   (- (exp (* a x)) 1.0)
  (- 1.0 1.0)
  (- (exp (* a x)) 1.0)
  (- 1.0 1.0)
  (- (exp (* a x)) 1.0)
  (- 1.0 1.0)
  (- (exp (* a x)) 1.0)
  (- 1.0 1.0)
  (- (exp (* a x)) 1.0)
  (- 1.0 1.0)
  (- (exp (* a x)) 1.0)
  (- 1.0 1.0)
  (- (exp (* a x)) 1.0)
  (- 1.0 1.0)
  (- (exp (* a x)) 1.0)
  (- 1.0 1.0)
  (- (exp (* a x)) 1.0)
  (- 1.0 1.0)
  (expm1 (- (exp (* a x)) 1.0))
  (log1p (- (exp (* a x)) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (exp (- (exp (* a x)) 1.0))
  (log (- (exp (* a x)) 1.0))
  (exp (- (exp (* a x)) 1.0))
  (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0)))
  (cbrt (- (exp (* a x)) 1.0))
  (pow (- (exp (* a x)) 1.0) 3)
  (sqrt (- (exp (* a x)) 1.0))
  (sqrt (- (exp (* a x)) 1.0))
  (- (pow (exp (* a x)) 3) (pow 1.0 3))
  (fma (+ (exp (* a x)) 1.0) 1.0 (pow (exp a) (* 2 x)))
  (- 1.0)
  (fma (- 1.0) 1.0 (pow (exp a) (* 2 x)))
  (+ (exp (* a x)) 1.0)
  (+ (sqrt (exp (* a x))) (sqrt 1.0))
  (- (sqrt (exp (* a x))) (sqrt 1.0))
  (- (exp (* a x)) 1.0)
  (- 1.0)
  (expm1 (exp (* a x)))
  (log1p (exp (* a x)))
  (exp a)
  (exp (* (cbrt (* a x)) (cbrt (* a x))))
  (exp (sqrt (* a x)))
  E
  (exp (* (sqrt a) (sqrt x)))
  (exp (* a (* (cbrt x) (cbrt x))))
  (exp (* a (sqrt x)))
  (exp a)
  (exp (* (cbrt a) (cbrt a)))
  (exp (pow a 1/2))
  E
  (exp x)
  (* a x)
  (exp (exp (* a x)))
  (* (cbrt (exp (* a x))) (cbrt (exp (* a x))))
  (cbrt (exp (* a x)))
  (pow (exp (* a x)) 3)
  (sqrt (exp (* a x)))
  (sqrt (exp (* a x)))
  (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)))
  (- (exp (* a x)) 1.0)
  (- (exp (* a x)) 1.0)
  (fma 1/2 (* (pow a 2) (pow x 2)) (fma a x 1))
  (exp (* a x))
  (exp (* a x))
0.264 * * * [progress]: adding candidates to table
0.345 * * [progress]: iteration 2 / 4
0.345 * * * [progress]: picking best candidate
0.361 * * * * [pick]: Picked  #<alt (λ (a x) (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0)))>
0.361 * * * [progress]: localizing error
0.369 * * * [progress]: generating rewritten candidates
0.369 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.369 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.374 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.378 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.385 * * * [progress]: generating series expansions
0.385 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.385 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0)) in (a x) around 0
0.385 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0)) in x
0.386 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (* a x))) (sqrt (exp (* a x)))) (- 1.0))
0.386 * [taylor]: Taking taylor expansion of (* (sqrt (exp (* a x))) (sqrt (exp (* a x)))) in x
0.386 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in x
0.386 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.386 * [taylor]: Taking taylor expansion of (* a x) in x
0.386 * [taylor]: Taking taylor expansion of a in x
0.386 * [taylor]: Taking taylor expansion of x in x
0.387 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in x
0.387 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.387 * [taylor]: Taking taylor expansion of (* a x) in x
0.387 * [taylor]: Taking taylor expansion of a in x
0.387 * [taylor]: Taking taylor expansion of x in x
0.388 * [taylor]: Taking taylor expansion of (- 1.0) in x
0.388 * [taylor]: Taking taylor expansion of 1.0 in x
0.388 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0)) in a
0.388 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (* a x))) (sqrt (exp (* a x)))) (- 1.0))
0.389 * [taylor]: Taking taylor expansion of (* (sqrt (exp (* a x))) (sqrt (exp (* a x)))) in a
0.389 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a
0.389 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.389 * [taylor]: Taking taylor expansion of (* a x) in a
0.389 * [taylor]: Taking taylor expansion of a in a
0.389 * [taylor]: Taking taylor expansion of x in a
0.390 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a
0.390 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.390 * [taylor]: Taking taylor expansion of (* a x) in a
0.390 * [taylor]: Taking taylor expansion of a in a
0.390 * [taylor]: Taking taylor expansion of x in a
0.391 * [taylor]: Taking taylor expansion of (- 1.0) in a
0.391 * [taylor]: Taking taylor expansion of 1.0 in a
0.391 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0)) in a
0.391 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (* a x))) (sqrt (exp (* a x)))) (- 1.0))
0.391 * [taylor]: Taking taylor expansion of (* (sqrt (exp (* a x))) (sqrt (exp (* a x)))) in a
0.391 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a
0.391 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.391 * [taylor]: Taking taylor expansion of (* a x) in a
0.391 * [taylor]: Taking taylor expansion of a in a
0.391 * [taylor]: Taking taylor expansion of x in a
0.392 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a
0.392 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.392 * [taylor]: Taking taylor expansion of (* a x) in a
0.392 * [taylor]: Taking taylor expansion of a in a
0.392 * [taylor]: Taking taylor expansion of x in a
0.393 * [taylor]: Taking taylor expansion of (- 1.0) in a
0.393 * [taylor]: Taking taylor expansion of 1.0 in a
0.395 * [taylor]: Taking taylor expansion of 0 in x
0.395 * [taylor]: Taking taylor expansion of x in x
0.399 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.399 * [taylor]: Taking taylor expansion of 1/2 in x
0.399 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.400 * [taylor]: Taking taylor expansion of x in x
0.405 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.405 * [taylor]: Taking taylor expansion of 1/6 in x
0.405 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.405 * [taylor]: Taking taylor expansion of x in x
0.413 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
0.413 * [taylor]: Taking taylor expansion of 1/24 in x
0.413 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.413 * [taylor]: Taking taylor expansion of x in x
0.428 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
0.428 * [taylor]: Taking taylor expansion of 1/120 in x
0.428 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.428 * [taylor]: Taking taylor expansion of x in x
0.444 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x
0.444 * [taylor]: Taking taylor expansion of 1/720 in x
0.444 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.444 * [taylor]: Taking taylor expansion of x in x
0.446 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (exp (/ 1 (* a x)))) (- 1.0)) in (a x) around 0
0.446 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (exp (/ 1 (* a x)))) (- 1.0)) in x
0.446 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (exp (/ 1 (* a x))))) (- 1.0))
0.446 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (exp (/ 1 (* a x))))) in x
0.446 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x
0.446 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.446 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.446 * [taylor]: Taking taylor expansion of (* a x) in x
0.446 * [taylor]: Taking taylor expansion of a in x
0.446 * [taylor]: Taking taylor expansion of x in x
0.447 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x
0.447 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.447 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.447 * [taylor]: Taking taylor expansion of (* a x) in x
0.447 * [taylor]: Taking taylor expansion of a in x
0.447 * [taylor]: Taking taylor expansion of x in x
0.447 * [taylor]: Taking taylor expansion of (- 1.0) in x
0.447 * [taylor]: Taking taylor expansion of 1.0 in x
0.447 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (exp (/ 1 (* a x)))) (- 1.0)) in a
0.447 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (exp (/ 1 (* a x))))) (- 1.0))
0.447 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (exp (/ 1 (* a x))))) in a
0.447 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
0.447 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.447 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.447 * [taylor]: Taking taylor expansion of (* a x) in a
0.447 * [taylor]: Taking taylor expansion of a in a
0.447 * [taylor]: Taking taylor expansion of x in a
0.448 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
0.448 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.448 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.448 * [taylor]: Taking taylor expansion of (* a x) in a
0.448 * [taylor]: Taking taylor expansion of a in a
0.448 * [taylor]: Taking taylor expansion of x in a
0.449 * [taylor]: Taking taylor expansion of (- 1.0) in a
0.449 * [taylor]: Taking taylor expansion of 1.0 in a
0.449 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (exp (/ 1 (* a x)))) (- 1.0)) in a
0.449 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (exp (/ 1 (* a x))))) (- 1.0))
0.449 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (exp (/ 1 (* a x))))) in a
0.449 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
0.449 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.449 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.449 * [taylor]: Taking taylor expansion of (* a x) in a
0.449 * [taylor]: Taking taylor expansion of a in a
0.449 * [taylor]: Taking taylor expansion of x in a
0.449 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
0.449 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.449 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.449 * [taylor]: Taking taylor expansion of (* a x) in a
0.449 * [taylor]: Taking taylor expansion of a in a
0.449 * [taylor]: Taking taylor expansion of x in a
0.450 * [taylor]: Taking taylor expansion of (- 1.0) in a
0.450 * [taylor]: Taking taylor expansion of 1.0 in a
0.451 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
0.451 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.451 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.451 * [taylor]: Taking taylor expansion of (* a x) in x
0.451 * [taylor]: Taking taylor expansion of a in x
0.451 * [taylor]: Taking taylor expansion of x in x
0.451 * [taylor]: Taking taylor expansion of 1.0 in x
0.452 * [taylor]: Taking taylor expansion of 0 in x
0.455 * [taylor]: Taking taylor expansion of 0 in x
0.458 * [taylor]: Taking taylor expansion of 0 in x
0.458 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (exp (/ 1 (* a x)))) (- 1.0)) in (a x) around 0
0.458 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (exp (/ 1 (* a x)))) (- 1.0)) in x
0.458 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (exp (/ 1 (* a x))))) (- 1.0))
0.458 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (exp (/ 1 (* a x))))) in x
0.459 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x
0.459 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.459 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.459 * [taylor]: Taking taylor expansion of (* a x) in x
0.459 * [taylor]: Taking taylor expansion of a in x
0.459 * [taylor]: Taking taylor expansion of x in x
0.459 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x
0.459 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.459 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.459 * [taylor]: Taking taylor expansion of (* a x) in x
0.459 * [taylor]: Taking taylor expansion of a in x
0.459 * [taylor]: Taking taylor expansion of x in x
0.460 * [taylor]: Taking taylor expansion of (- 1.0) in x
0.460 * [taylor]: Taking taylor expansion of 1.0 in x
0.460 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (exp (/ 1 (* a x)))) (- 1.0)) in a
0.460 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (exp (/ 1 (* a x))))) (- 1.0))
0.460 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (exp (/ 1 (* a x))))) in a
0.460 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
0.460 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.460 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.460 * [taylor]: Taking taylor expansion of (* a x) in a
0.460 * [taylor]: Taking taylor expansion of a in a
0.460 * [taylor]: Taking taylor expansion of x in a
0.461 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
0.461 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.461 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.461 * [taylor]: Taking taylor expansion of (* a x) in a
0.461 * [taylor]: Taking taylor expansion of a in a
0.461 * [taylor]: Taking taylor expansion of x in a
0.461 * [taylor]: Taking taylor expansion of (- 1.0) in a
0.461 * [taylor]: Taking taylor expansion of 1.0 in a
0.461 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (exp (/ 1 (* a x)))) (- 1.0)) in a
0.461 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (exp (/ 1 (* a x))))) (- 1.0))
0.462 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (exp (/ 1 (* a x))))) in a
0.462 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
0.462 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.462 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.462 * [taylor]: Taking taylor expansion of (* a x) in a
0.462 * [taylor]: Taking taylor expansion of a in a
0.462 * [taylor]: Taking taylor expansion of x in a
0.462 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
0.462 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.462 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.462 * [taylor]: Taking taylor expansion of (* a x) in a
0.462 * [taylor]: Taking taylor expansion of a in a
0.462 * [taylor]: Taking taylor expansion of x in a
0.463 * [taylor]: Taking taylor expansion of (- 1.0) in a
0.463 * [taylor]: Taking taylor expansion of 1.0 in a
0.463 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
0.464 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.464 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.464 * [taylor]: Taking taylor expansion of (* a x) in x
0.464 * [taylor]: Taking taylor expansion of a in x
0.464 * [taylor]: Taking taylor expansion of x in x
0.464 * [taylor]: Taking taylor expansion of 1.0 in x
0.465 * [taylor]: Taking taylor expansion of 0 in x
0.468 * [taylor]: Taking taylor expansion of 0 in x
0.470 * [taylor]: Taking taylor expansion of 0 in x
0.470 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.471 * [approximate]: Taking taylor expansion of (exp (* a x)) in (a x) around 0
0.471 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.471 * [taylor]: Taking taylor expansion of (* a x) in x
0.471 * [taylor]: Taking taylor expansion of a in x
0.471 * [taylor]: Taking taylor expansion of x in x
0.471 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.471 * [taylor]: Taking taylor expansion of (* a x) in a
0.471 * [taylor]: Taking taylor expansion of a in a
0.471 * [taylor]: Taking taylor expansion of x in a
0.471 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.471 * [taylor]: Taking taylor expansion of (* a x) in a
0.471 * [taylor]: Taking taylor expansion of a in a
0.471 * [taylor]: Taking taylor expansion of x in a
0.472 * [taylor]: Taking taylor expansion of 1 in x
0.472 * [taylor]: Taking taylor expansion of x in x
0.473 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.473 * [taylor]: Taking taylor expansion of 1/2 in x
0.473 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.473 * [taylor]: Taking taylor expansion of x in x
0.475 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.475 * [taylor]: Taking taylor expansion of 1/6 in x
0.475 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.475 * [taylor]: Taking taylor expansion of x in x
0.478 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
0.478 * [taylor]: Taking taylor expansion of 1/24 in x
0.478 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.478 * [taylor]: Taking taylor expansion of x in x
0.479 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
0.479 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.479 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.479 * [taylor]: Taking taylor expansion of (* a x) in x
0.479 * [taylor]: Taking taylor expansion of a in x
0.479 * [taylor]: Taking taylor expansion of x in x
0.479 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.479 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.479 * [taylor]: Taking taylor expansion of (* a x) in a
0.479 * [taylor]: Taking taylor expansion of a in a
0.479 * [taylor]: Taking taylor expansion of x in a
0.480 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.480 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.480 * [taylor]: Taking taylor expansion of (* a x) in a
0.480 * [taylor]: Taking taylor expansion of a in a
0.480 * [taylor]: Taking taylor expansion of x in a
0.480 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.480 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.480 * [taylor]: Taking taylor expansion of (* a x) in x
0.480 * [taylor]: Taking taylor expansion of a in x
0.480 * [taylor]: Taking taylor expansion of x in x
0.481 * [taylor]: Taking taylor expansion of 0 in x
0.481 * [taylor]: Taking taylor expansion of 0 in x
0.481 * [taylor]: Taking taylor expansion of 0 in x
0.481 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
0.481 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.481 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.481 * [taylor]: Taking taylor expansion of (* a x) in x
0.481 * [taylor]: Taking taylor expansion of a in x
0.481 * [taylor]: Taking taylor expansion of x in x
0.482 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.482 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.482 * [taylor]: Taking taylor expansion of (* a x) in a
0.482 * [taylor]: Taking taylor expansion of a in a
0.482 * [taylor]: Taking taylor expansion of x in a
0.482 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.482 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.482 * [taylor]: Taking taylor expansion of (* a x) in a
0.482 * [taylor]: Taking taylor expansion of a in a
0.482 * [taylor]: Taking taylor expansion of x in a
0.483 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.483 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.483 * [taylor]: Taking taylor expansion of (* a x) in x
0.483 * [taylor]: Taking taylor expansion of a in x
0.483 * [taylor]: Taking taylor expansion of x in x
0.483 * [taylor]: Taking taylor expansion of 0 in x
0.483 * [taylor]: Taking taylor expansion of 0 in x
0.483 * [taylor]: Taking taylor expansion of 0 in x
0.483 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.484 * [approximate]: Taking taylor expansion of (exp (* a x)) in (a x) around 0
0.484 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.484 * [taylor]: Taking taylor expansion of (* a x) in x
0.484 * [taylor]: Taking taylor expansion of a in x
0.484 * [taylor]: Taking taylor expansion of x in x
0.484 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.484 * [taylor]: Taking taylor expansion of (* a x) in a
0.484 * [taylor]: Taking taylor expansion of a in a
0.484 * [taylor]: Taking taylor expansion of x in a
0.484 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.484 * [taylor]: Taking taylor expansion of (* a x) in a
0.484 * [taylor]: Taking taylor expansion of a in a
0.484 * [taylor]: Taking taylor expansion of x in a
0.485 * [taylor]: Taking taylor expansion of 1 in x
0.485 * [taylor]: Taking taylor expansion of x in x
0.486 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.486 * [taylor]: Taking taylor expansion of 1/2 in x
0.486 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.486 * [taylor]: Taking taylor expansion of x in x
0.488 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.488 * [taylor]: Taking taylor expansion of 1/6 in x
0.488 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.488 * [taylor]: Taking taylor expansion of x in x
0.491 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
0.491 * [taylor]: Taking taylor expansion of 1/24 in x
0.491 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.491 * [taylor]: Taking taylor expansion of x in x
0.492 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
0.492 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.492 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.492 * [taylor]: Taking taylor expansion of (* a x) in x
0.492 * [taylor]: Taking taylor expansion of a in x
0.492 * [taylor]: Taking taylor expansion of x in x
0.492 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.493 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.493 * [taylor]: Taking taylor expansion of (* a x) in a
0.493 * [taylor]: Taking taylor expansion of a in a
0.493 * [taylor]: Taking taylor expansion of x in a
0.493 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.493 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.493 * [taylor]: Taking taylor expansion of (* a x) in a
0.493 * [taylor]: Taking taylor expansion of a in a
0.493 * [taylor]: Taking taylor expansion of x in a
0.493 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.494 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.494 * [taylor]: Taking taylor expansion of (* a x) in x
0.494 * [taylor]: Taking taylor expansion of a in x
0.494 * [taylor]: Taking taylor expansion of x in x
0.494 * [taylor]: Taking taylor expansion of 0 in x
0.494 * [taylor]: Taking taylor expansion of 0 in x
0.494 * [taylor]: Taking taylor expansion of 0 in x
0.494 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
0.494 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.494 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.494 * [taylor]: Taking taylor expansion of (* a x) in x
0.494 * [taylor]: Taking taylor expansion of a in x
0.494 * [taylor]: Taking taylor expansion of x in x
0.495 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.495 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.495 * [taylor]: Taking taylor expansion of (* a x) in a
0.495 * [taylor]: Taking taylor expansion of a in a
0.495 * [taylor]: Taking taylor expansion of x in a
0.495 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.495 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.495 * [taylor]: Taking taylor expansion of (* a x) in a
0.495 * [taylor]: Taking taylor expansion of a in a
0.495 * [taylor]: Taking taylor expansion of x in a
0.496 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.496 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.496 * [taylor]: Taking taylor expansion of (* a x) in x
0.496 * [taylor]: Taking taylor expansion of a in x
0.496 * [taylor]: Taking taylor expansion of x in x
0.496 * [taylor]: Taking taylor expansion of 0 in x
0.496 * [taylor]: Taking taylor expansion of 0 in x
0.496 * [taylor]: Taking taylor expansion of 0 in x
0.496 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.497 * [approximate]: Taking taylor expansion of (sqrt (exp (* a x))) in (a x) around 0
0.497 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in x
0.497 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.497 * [taylor]: Taking taylor expansion of (* a x) in x
0.497 * [taylor]: Taking taylor expansion of a in x
0.497 * [taylor]: Taking taylor expansion of x in x
0.498 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a
0.498 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.498 * [taylor]: Taking taylor expansion of (* a x) in a
0.498 * [taylor]: Taking taylor expansion of a in a
0.498 * [taylor]: Taking taylor expansion of x in a
0.499 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a
0.499 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.499 * [taylor]: Taking taylor expansion of (* a x) in a
0.499 * [taylor]: Taking taylor expansion of a in a
0.499 * [taylor]: Taking taylor expansion of x in a
0.500 * [taylor]: Taking taylor expansion of 1 in x
0.500 * [taylor]: Taking taylor expansion of (* 1/2 x) in x
0.500 * [taylor]: Taking taylor expansion of 1/2 in x
0.500 * [taylor]: Taking taylor expansion of x in x
0.502 * [taylor]: Taking taylor expansion of (* 1/8 (pow x 2)) in x
0.502 * [taylor]: Taking taylor expansion of 1/8 in x
0.502 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.502 * [taylor]: Taking taylor expansion of x in x
0.505 * [taylor]: Taking taylor expansion of (* 1/48 (pow x 3)) in x
0.505 * [taylor]: Taking taylor expansion of 1/48 in x
0.505 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.505 * [taylor]: Taking taylor expansion of x in x
0.512 * [taylor]: Taking taylor expansion of (* 1/384 (pow x 4)) in x
0.513 * [taylor]: Taking taylor expansion of 1/384 in x
0.513 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.513 * [taylor]: Taking taylor expansion of x in x
0.513 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in (a x) around 0
0.514 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x
0.514 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.514 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.514 * [taylor]: Taking taylor expansion of (* a x) in x
0.514 * [taylor]: Taking taylor expansion of a in x
0.514 * [taylor]: Taking taylor expansion of x in x
0.514 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
0.514 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.514 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.514 * [taylor]: Taking taylor expansion of (* a x) in a
0.514 * [taylor]: Taking taylor expansion of a in a
0.514 * [taylor]: Taking taylor expansion of x in a
0.515 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
0.515 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.515 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.515 * [taylor]: Taking taylor expansion of (* a x) in a
0.515 * [taylor]: Taking taylor expansion of a in a
0.515 * [taylor]: Taking taylor expansion of x in a
0.515 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x
0.515 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.515 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.515 * [taylor]: Taking taylor expansion of (* a x) in x
0.515 * [taylor]: Taking taylor expansion of a in x
0.515 * [taylor]: Taking taylor expansion of x in x
0.516 * [taylor]: Taking taylor expansion of 0 in x
0.517 * [taylor]: Taking taylor expansion of 0 in x
0.518 * [taylor]: Taking taylor expansion of 0 in x
0.518 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in (a x) around 0
0.518 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x
0.518 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.518 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.518 * [taylor]: Taking taylor expansion of (* a x) in x
0.518 * [taylor]: Taking taylor expansion of a in x
0.518 * [taylor]: Taking taylor expansion of x in x
0.518 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
0.518 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.518 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.518 * [taylor]: Taking taylor expansion of (* a x) in a
0.519 * [taylor]: Taking taylor expansion of a in a
0.519 * [taylor]: Taking taylor expansion of x in a
0.519 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
0.519 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.519 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.519 * [taylor]: Taking taylor expansion of (* a x) in a
0.519 * [taylor]: Taking taylor expansion of a in a
0.519 * [taylor]: Taking taylor expansion of x in a
0.520 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x
0.520 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.520 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.520 * [taylor]: Taking taylor expansion of (* a x) in x
0.520 * [taylor]: Taking taylor expansion of a in x
0.520 * [taylor]: Taking taylor expansion of x in x
0.520 * [taylor]: Taking taylor expansion of 0 in x
0.521 * [taylor]: Taking taylor expansion of 0 in x
0.522 * [taylor]: Taking taylor expansion of 0 in x
0.522 * * * [progress]: simplifying candidates
0.523 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0)))
  (log1p (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0)))
  (* (sqrt (exp (* a x))) (sqrt (exp (* a x))))
  (log (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0)))
  (exp (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0)))
  (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0))))
  (cbrt (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0)))
  (* (* (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0)) (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0))) (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0)))
  (sqrt (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0)))
  (sqrt (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0)))
  (expm1 (exp (* a x)))
  (log1p (exp (* a x)))
  (exp a)
  (exp (* (cbrt (* a x)) (cbrt (* a x))))
  (exp (sqrt (* a x)))
  (exp 1)
  (exp (* (sqrt a) (sqrt x)))
  (exp (* a (* (cbrt x) (cbrt x))))
  (exp (* a (sqrt x)))
  (exp (* a 1))
  (exp (* (cbrt a) (cbrt a)))
  (exp (sqrt a))
  (exp 1)
  (exp x)
  (log (exp (* a x)))
  (exp (exp (* a x)))
  (* (cbrt (exp (* a x))) (cbrt (exp (* a x))))
  (cbrt (exp (* a x)))
  (* (* (exp (* a x)) (exp (* a x))) (exp (* a x)))
  (sqrt (exp (* a x)))
  (sqrt (exp (* a x)))
  (expm1 (exp (* a x)))
  (log1p (exp (* a x)))
  (exp a)
  (exp (* (cbrt (* a x)) (cbrt (* a x))))
  (exp (sqrt (* a x)))
  (exp 1)
  (exp (* (sqrt a) (sqrt x)))
  (exp (* a (* (cbrt x) (cbrt x))))
  (exp (* a (sqrt x)))
  (exp (* a 1))
  (exp (* (cbrt a) (cbrt a)))
  (exp (sqrt a))
  (exp 1)
  (exp x)
  (log (exp (* a x)))
  (exp (exp (* a x)))
  (* (cbrt (exp (* a x))) (cbrt (exp (* a x))))
  (cbrt (exp (* a x)))
  (* (* (exp (* a x)) (exp (* a x))) (exp (* a x)))
  (sqrt (exp (* a x)))
  (sqrt (exp (* a x)))
  (expm1 (sqrt (exp (* a x))))
  (log1p (sqrt (exp (* a x))))
  (log (sqrt (exp (* a x))))
  (exp (sqrt (exp (* a x))))
  (* (cbrt (sqrt (exp (* a x)))) (cbrt (sqrt (exp (* a x)))))
  (cbrt (sqrt (exp (* a x))))
  (* (* (sqrt (exp (* a x))) (sqrt (exp (* a x)))) (sqrt (exp (* a x))))
  (sqrt (* (cbrt (exp (* a x))) (cbrt (exp (* a x)))))
  (sqrt (cbrt (exp (* a x))))
  (sqrt (sqrt (exp (* a x))))
  (sqrt (sqrt (exp (* a x))))
  (sqrt 1)
  (sqrt (exp (* a x)))
  (/ x 2)
  (/ 1 2)
  (/ x 2)
  (/ (cbrt (* a x)) 2)
  (/ (sqrt (* a x)) 2)
  (/ (* a x) 2)
  (/ (* (sqrt a) (sqrt x)) 2)
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (/ x 2)
  (/ (* (cbrt a) x) 2)
  (/ (* (sqrt a) x) 2)
  (/ (* a x) 2)
  (/ a 2)
  (sqrt (sqrt (exp (* a x))))
  (sqrt (sqrt (exp (* a x))))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x)))
  (- (exp (* a x)) 1.0)
  (- (exp (* a x)) 1.0)
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) 1))
  (exp (* a x))
  (exp (* a x))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) 1))
  (exp (* a x))
  (exp (* a x))
  (+ (* 1/8 (* (pow a 2) (pow x 2))) (+ (* 1/2 (* a x)) 1))
  (sqrt (exp (* a x)))
  (sqrt (exp (* a x)))
0.528 * * [simplify]: iteration  0 :  179  enodes  (cost  372 )
0.531 * * [simplify]: iteration  1 :  544  enodes  (cost  336 )
0.543 * * [simplify]: iteration  2 :  2234  enodes  (cost  334 )
0.590 * * [simplify]: iteration  3 :  5002  enodes  (cost  334 )
0.592 * [simplify]: Simplified to:
   (expm1 (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0)))
  (log1p (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0)))
  (exp (* a x))
  (log (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0)))
  (exp (- (exp (* a x)) 1.0))
  (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0))))
  (cbrt (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0)))
  (pow (- (exp (* a x)) 1.0) 3)
  (sqrt (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0)))
  (sqrt (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- 1.0)))
  (expm1 (exp (* a x)))
  (log1p (exp (* a x)))
  (exp a)
  (exp (* (cbrt (* a x)) (cbrt (* a x))))
  (exp (sqrt (* a x)))
  E
  (exp (* (sqrt a) (sqrt x)))
  (exp (* a (* (cbrt x) (cbrt x))))
  (exp (* a (sqrt x)))
  (exp a)
  (exp (* (cbrt a) (cbrt a)))
  (exp (pow a 1/2))
  E
  (exp x)
  (* a x)
  (exp (exp (* a x)))
  (* (cbrt (exp (* a x))) (cbrt (exp (* a x))))
  (cbrt (exp (* a x)))
  (pow (exp (* a x)) 3)
  (sqrt (exp (* a x)))
  (sqrt (exp (* a x)))
  (expm1 (exp (* a x)))
  (log1p (exp (* a x)))
  (exp a)
  (exp (* (cbrt (* a x)) (cbrt (* a x))))
  (exp (sqrt (* a x)))
  E
  (exp (* (sqrt a) (sqrt x)))
  (exp (* a (* (cbrt x) (cbrt x))))
  (exp (* a (sqrt x)))
  (exp a)
  (exp (* (cbrt a) (cbrt a)))
  (exp (pow a 1/2))
  E
  (exp x)
  (* a x)
  (exp (exp (* a x)))
  (* (cbrt (exp (* a x))) (cbrt (exp (* a x))))
  (cbrt (exp (* a x)))
  (pow (exp (* a x)) 3)
  (sqrt (exp (* a x)))
  (sqrt (exp (* a x)))
  (expm1 (sqrt (exp (* a x))))
  (log1p (sqrt (exp (* a x))))
  (log (sqrt (exp (* a x))))
  (exp (sqrt (exp (* a x))))
  (* (cbrt (sqrt (exp (* a x)))) (cbrt (sqrt (exp (* a x)))))
  (cbrt (sqrt (exp (* a x))))
  (pow (sqrt (exp (* a x))) 3)
  (fabs (cbrt (exp (* a x))))
  (sqrt (cbrt (exp (* a x))))
  (sqrt (sqrt (exp (* a x))))
  (sqrt (sqrt (exp (* a x))))
  1
  (sqrt (exp (* a x)))
  (* 1/2 x)
  1/2
  (* 1/2 x)
  (/ (cbrt (* a x)) 2)
  (/ (sqrt (* a x)) 2)
  (* 1/2 (* a x))
  (/ (* (sqrt a) (sqrt x)) 2)
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (* 1/2 x)
  (/ (* (cbrt a) x) 2)
  (/ (* (sqrt a) x) 2)
  (* 1/2 (* a x))
  (* 1/2 a)
  (sqrt (sqrt (exp (* a x))))
  (sqrt (sqrt (exp (* a x))))
  (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)))
  (- (exp (* a x)) 1.0)
  (- (exp (* a x)) 1.0)
  (fma 1/2 (* (pow a 2) (pow x 2)) (fma a x 1))
  (exp (* a x))
  (exp (* a x))
  (fma 1/2 (* (pow a 2) (pow x 2)) (fma a x 1))
  (exp (* a x))
  (exp (* a x))
  (fma 1/8 (* (pow a 2) (pow x 2)) (fma 1/2 (* a x) 1))
  (sqrt (exp (* a x)))
  (sqrt (exp (* a x)))
0.593 * * * [progress]: adding candidates to table
0.782 * * [progress]: iteration 3 / 4
0.782 * * * [progress]: picking best candidate
0.805 * * * * [pick]: Picked  #<alt (λ (a x) (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))>
0.805 * * * [progress]: localizing error
0.817 * * * [progress]: generating rewritten candidates
0.817 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.818 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.819 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
0.824 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.829 * * * [progress]: generating series expansions
0.829 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.830 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) in (a x) around 0
0.830 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) in x
0.830 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) (- 1.0))
0.830 * [taylor]: Taking taylor expansion of (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) in x
0.830 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in x
0.830 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.830 * [taylor]: Taking taylor expansion of (* a x) in x
0.830 * [taylor]: Taking taylor expansion of a in x
0.830 * [taylor]: Taking taylor expansion of x in x
0.831 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (* a x))))) in x
0.831 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* a x)))) in x
0.831 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* a x)))) 1)
0.831 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* a x)))) in x
0.831 * [taylor]: Taking taylor expansion of (log1p (exp (* a x))) in x
0.831 * [taylor]: Rewrote expression to (log (+ 1 (exp (* a x))))
0.831 * [taylor]: Taking taylor expansion of (+ 1 (exp (* a x))) in x
0.831 * [taylor]: Taking taylor expansion of 1 in x
0.831 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.831 * [taylor]: Taking taylor expansion of (* a x) in x
0.832 * [taylor]: Taking taylor expansion of a in x
0.832 * [taylor]: Taking taylor expansion of x in x
0.833 * [taylor]: Taking taylor expansion of 1 in x
0.836 * [taylor]: Taking taylor expansion of (- 1.0) in x
0.836 * [taylor]: Taking taylor expansion of 1.0 in x
0.836 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) in a
0.836 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) (- 1.0))
0.836 * [taylor]: Taking taylor expansion of (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) in a
0.836 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a
0.836 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.836 * [taylor]: Taking taylor expansion of (* a x) in a
0.836 * [taylor]: Taking taylor expansion of a in a
0.836 * [taylor]: Taking taylor expansion of x in a
0.837 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (* a x))))) in a
0.837 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* a x)))) in a
0.837 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* a x)))) 1)
0.837 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* a x)))) in a
0.837 * [taylor]: Taking taylor expansion of (log1p (exp (* a x))) in a
0.837 * [taylor]: Rewrote expression to (log (+ 1 (exp (* a x))))
0.837 * [taylor]: Taking taylor expansion of (+ 1 (exp (* a x))) in a
0.837 * [taylor]: Taking taylor expansion of 1 in a
0.837 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.837 * [taylor]: Taking taylor expansion of (* a x) in a
0.837 * [taylor]: Taking taylor expansion of a in a
0.837 * [taylor]: Taking taylor expansion of x in a
0.839 * [taylor]: Taking taylor expansion of 1 in a
0.841 * [taylor]: Taking taylor expansion of (- 1.0) in a
0.841 * [taylor]: Taking taylor expansion of 1.0 in a
0.841 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) in a
0.841 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) (- 1.0))
0.841 * [taylor]: Taking taylor expansion of (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) in a
0.841 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a
0.841 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.842 * [taylor]: Taking taylor expansion of (* a x) in a
0.842 * [taylor]: Taking taylor expansion of a in a
0.842 * [taylor]: Taking taylor expansion of x in a
0.843 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (* a x))))) in a
0.843 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* a x)))) in a
0.843 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* a x)))) 1)
0.843 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* a x)))) in a
0.843 * [taylor]: Taking taylor expansion of (log1p (exp (* a x))) in a
0.843 * [taylor]: Rewrote expression to (log (+ 1 (exp (* a x))))
0.843 * [taylor]: Taking taylor expansion of (+ 1 (exp (* a x))) in a
0.843 * [taylor]: Taking taylor expansion of 1 in a
0.843 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.843 * [taylor]: Taking taylor expansion of (* a x) in a
0.843 * [taylor]: Taking taylor expansion of a in a
0.843 * [taylor]: Taking taylor expansion of x in a
0.844 * [taylor]: Taking taylor expansion of 1 in a
0.847 * [taylor]: Taking taylor expansion of (- 1.0) in a
0.847 * [taylor]: Taking taylor expansion of 1.0 in a
0.848 * [taylor]: Taking taylor expansion of 0 in x
0.848 * [taylor]: Taking taylor expansion of x in x
0.855 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.855 * [taylor]: Taking taylor expansion of 1/2 in x
0.855 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.855 * [taylor]: Taking taylor expansion of x in x
0.867 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.867 * [taylor]: Taking taylor expansion of 1/6 in x
0.867 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.867 * [taylor]: Taking taylor expansion of x in x
0.879 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
0.879 * [taylor]: Taking taylor expansion of 1/24 in x
0.879 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.879 * [taylor]: Taking taylor expansion of x in x
0.897 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
0.897 * [taylor]: Taking taylor expansion of 1/120 in x
0.897 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.897 * [taylor]: Taking taylor expansion of x in x
0.923 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x
0.923 * [taylor]: Taking taylor expansion of 1/720 in x
0.923 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.923 * [taylor]: Taking taylor expansion of x in x
0.925 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in (a x) around 0
0.925 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in x
0.925 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
0.925 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in x
0.925 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x
0.925 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.925 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.925 * [taylor]: Taking taylor expansion of (* a x) in x
0.925 * [taylor]: Taking taylor expansion of a in x
0.925 * [taylor]: Taking taylor expansion of x in x
0.926 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in x
0.926 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in x
0.926 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
0.926 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in x
0.926 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in x
0.926 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
0.926 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in x
0.926 * [taylor]: Taking taylor expansion of 1 in x
0.926 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.926 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.926 * [taylor]: Taking taylor expansion of (* a x) in x
0.926 * [taylor]: Taking taylor expansion of a in x
0.926 * [taylor]: Taking taylor expansion of x in x
0.927 * [taylor]: Taking taylor expansion of 1 in x
0.929 * [taylor]: Taking taylor expansion of (- 1.0) in x
0.929 * [taylor]: Taking taylor expansion of 1.0 in x
0.929 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in a
0.929 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
0.929 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in a
0.930 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
0.930 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.930 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.930 * [taylor]: Taking taylor expansion of (* a x) in a
0.930 * [taylor]: Taking taylor expansion of a in a
0.930 * [taylor]: Taking taylor expansion of x in a
0.930 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in a
0.930 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
0.930 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
0.930 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
0.930 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
0.930 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
0.930 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
0.930 * [taylor]: Taking taylor expansion of 1 in a
0.930 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.930 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.930 * [taylor]: Taking taylor expansion of (* a x) in a
0.930 * [taylor]: Taking taylor expansion of a in a
0.930 * [taylor]: Taking taylor expansion of x in a
0.931 * [taylor]: Taking taylor expansion of 1 in a
0.933 * [taylor]: Taking taylor expansion of (- 1.0) in a
0.933 * [taylor]: Taking taylor expansion of 1.0 in a
0.933 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in a
0.934 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
0.934 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in a
0.934 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
0.934 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.934 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.934 * [taylor]: Taking taylor expansion of (* a x) in a
0.934 * [taylor]: Taking taylor expansion of a in a
0.934 * [taylor]: Taking taylor expansion of x in a
0.934 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in a
0.934 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
0.934 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
0.934 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
0.934 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
0.934 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
0.934 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
0.934 * [taylor]: Taking taylor expansion of 1 in a
0.934 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.934 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.934 * [taylor]: Taking taylor expansion of (* a x) in a
0.934 * [taylor]: Taking taylor expansion of a in a
0.934 * [taylor]: Taking taylor expansion of x in a
0.935 * [taylor]: Taking taylor expansion of 1 in a
0.937 * [taylor]: Taking taylor expansion of (- 1.0) in a
0.937 * [taylor]: Taking taylor expansion of 1.0 in a
0.938 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
0.938 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.938 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.938 * [taylor]: Taking taylor expansion of (* a x) in x
0.938 * [taylor]: Taking taylor expansion of a in x
0.938 * [taylor]: Taking taylor expansion of x in x
0.939 * [taylor]: Taking taylor expansion of 1.0 in x
0.940 * [taylor]: Taking taylor expansion of 0 in x
0.948 * [taylor]: Taking taylor expansion of 0 in x
0.955 * [taylor]: Taking taylor expansion of 0 in x
0.955 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in (a x) around 0
0.955 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in x
0.956 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
0.956 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in x
0.956 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x
0.956 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.956 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.956 * [taylor]: Taking taylor expansion of (* a x) in x
0.956 * [taylor]: Taking taylor expansion of a in x
0.956 * [taylor]: Taking taylor expansion of x in x
0.956 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in x
0.956 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in x
0.956 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
0.956 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in x
0.956 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in x
0.956 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
0.956 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in x
0.956 * [taylor]: Taking taylor expansion of 1 in x
0.956 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.956 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.956 * [taylor]: Taking taylor expansion of (* a x) in x
0.956 * [taylor]: Taking taylor expansion of a in x
0.957 * [taylor]: Taking taylor expansion of x in x
0.957 * [taylor]: Taking taylor expansion of 1 in x
0.959 * [taylor]: Taking taylor expansion of (- 1.0) in x
0.960 * [taylor]: Taking taylor expansion of 1.0 in x
0.960 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in a
0.960 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
0.960 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in a
0.960 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
0.960 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.960 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.960 * [taylor]: Taking taylor expansion of (* a x) in a
0.960 * [taylor]: Taking taylor expansion of a in a
0.960 * [taylor]: Taking taylor expansion of x in a
0.960 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in a
0.960 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
0.960 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
0.960 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
0.960 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
0.960 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
0.960 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
0.960 * [taylor]: Taking taylor expansion of 1 in a
0.961 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.961 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.961 * [taylor]: Taking taylor expansion of (* a x) in a
0.961 * [taylor]: Taking taylor expansion of a in a
0.961 * [taylor]: Taking taylor expansion of x in a
0.961 * [taylor]: Taking taylor expansion of 1 in a
0.964 * [taylor]: Taking taylor expansion of (- 1.0) in a
0.964 * [taylor]: Taking taylor expansion of 1.0 in a
0.964 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in a
0.964 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
0.964 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in a
0.964 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
0.964 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.964 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.964 * [taylor]: Taking taylor expansion of (* a x) in a
0.964 * [taylor]: Taking taylor expansion of a in a
0.964 * [taylor]: Taking taylor expansion of x in a
0.965 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in a
0.965 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
0.965 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
0.965 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
0.965 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
0.965 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
0.965 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
0.965 * [taylor]: Taking taylor expansion of 1 in a
0.965 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.965 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.965 * [taylor]: Taking taylor expansion of (* a x) in a
0.965 * [taylor]: Taking taylor expansion of a in a
0.965 * [taylor]: Taking taylor expansion of x in a
0.966 * [taylor]: Taking taylor expansion of 1 in a
0.968 * [taylor]: Taking taylor expansion of (- 1.0) in a
0.968 * [taylor]: Taking taylor expansion of 1.0 in a
0.969 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
0.969 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.969 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.969 * [taylor]: Taking taylor expansion of (* a x) in x
0.969 * [taylor]: Taking taylor expansion of a in x
0.969 * [taylor]: Taking taylor expansion of x in x
0.969 * [taylor]: Taking taylor expansion of 1.0 in x
0.971 * [taylor]: Taking taylor expansion of 0 in x
0.976 * [taylor]: Taking taylor expansion of 0 in x
0.982 * [taylor]: Taking taylor expansion of 0 in x
0.982 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.983 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (* a x)))) in (a x) around 0
0.983 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* a x)))) in x
0.983 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* a x)))) 1)
0.983 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* a x)))) in x
0.983 * [taylor]: Taking taylor expansion of (log1p (exp (* a x))) in x
0.983 * [taylor]: Rewrote expression to (log (+ 1 (exp (* a x))))
0.983 * [taylor]: Taking taylor expansion of (+ 1 (exp (* a x))) in x
0.983 * [taylor]: Taking taylor expansion of 1 in x
0.983 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.983 * [taylor]: Taking taylor expansion of (* a x) in x
0.983 * [taylor]: Taking taylor expansion of a in x
0.983 * [taylor]: Taking taylor expansion of x in x
0.984 * [taylor]: Taking taylor expansion of 1 in x
0.984 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* a x)))) in a
0.984 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* a x)))) 1)
0.984 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* a x)))) in a
0.984 * [taylor]: Taking taylor expansion of (log1p (exp (* a x))) in a
0.984 * [taylor]: Rewrote expression to (log (+ 1 (exp (* a x))))
0.984 * [taylor]: Taking taylor expansion of (+ 1 (exp (* a x))) in a
0.984 * [taylor]: Taking taylor expansion of 1 in a
0.984 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.985 * [taylor]: Taking taylor expansion of (* a x) in a
0.985 * [taylor]: Taking taylor expansion of a in a
0.985 * [taylor]: Taking taylor expansion of x in a
0.986 * [taylor]: Taking taylor expansion of 1 in a
0.986 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* a x)))) in a
0.986 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* a x)))) 1)
0.986 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* a x)))) in a
0.986 * [taylor]: Taking taylor expansion of (log1p (exp (* a x))) in a
0.986 * [taylor]: Rewrote expression to (log (+ 1 (exp (* a x))))
0.986 * [taylor]: Taking taylor expansion of (+ 1 (exp (* a x))) in a
0.986 * [taylor]: Taking taylor expansion of 1 in a
0.986 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.986 * [taylor]: Taking taylor expansion of (* a x) in a
0.986 * [taylor]: Taking taylor expansion of a in a
0.986 * [taylor]: Taking taylor expansion of x in a
0.988 * [taylor]: Taking taylor expansion of 1 in a
0.988 * [taylor]: Taking taylor expansion of 1 in x
0.990 * [taylor]: Taking taylor expansion of x in x
0.993 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.993 * [taylor]: Taking taylor expansion of 1/2 in x
0.993 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.993 * [taylor]: Taking taylor expansion of x in x
0.998 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.998 * [taylor]: Taking taylor expansion of 1/6 in x
0.998 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.998 * [taylor]: Taking taylor expansion of x in x
1.005 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
1.006 * [taylor]: Taking taylor expansion of 1/24 in x
1.006 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.006 * [taylor]: Taking taylor expansion of x in x
1.007 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in (a x) around 0
1.007 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in x
1.007 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.007 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in x
1.007 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in x
1.007 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.007 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in x
1.007 * [taylor]: Taking taylor expansion of 1 in x
1.007 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.007 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.007 * [taylor]: Taking taylor expansion of (* a x) in x
1.007 * [taylor]: Taking taylor expansion of a in x
1.007 * [taylor]: Taking taylor expansion of x in x
1.007 * [taylor]: Taking taylor expansion of 1 in x
1.008 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
1.008 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.008 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
1.008 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
1.008 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.008 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
1.008 * [taylor]: Taking taylor expansion of 1 in a
1.008 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.008 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.008 * [taylor]: Taking taylor expansion of (* a x) in a
1.008 * [taylor]: Taking taylor expansion of a in a
1.008 * [taylor]: Taking taylor expansion of x in a
1.008 * [taylor]: Taking taylor expansion of 1 in a
1.008 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
1.009 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.009 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
1.009 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
1.009 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.009 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
1.009 * [taylor]: Taking taylor expansion of 1 in a
1.009 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.009 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.009 * [taylor]: Taking taylor expansion of (* a x) in a
1.009 * [taylor]: Taking taylor expansion of a in a
1.009 * [taylor]: Taking taylor expansion of x in a
1.009 * [taylor]: Taking taylor expansion of 1 in a
1.010 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.010 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.010 * [taylor]: Taking taylor expansion of (* a x) in x
1.010 * [taylor]: Taking taylor expansion of a in x
1.010 * [taylor]: Taking taylor expansion of x in x
1.012 * [taylor]: Taking taylor expansion of 0 in x
1.015 * [taylor]: Taking taylor expansion of 0 in x
1.019 * [taylor]: Taking taylor expansion of 0 in x
1.019 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in (a x) around 0
1.019 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in x
1.019 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.019 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in x
1.019 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in x
1.020 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.020 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in x
1.020 * [taylor]: Taking taylor expansion of 1 in x
1.020 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.020 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.020 * [taylor]: Taking taylor expansion of (* a x) in x
1.020 * [taylor]: Taking taylor expansion of a in x
1.020 * [taylor]: Taking taylor expansion of x in x
1.020 * [taylor]: Taking taylor expansion of 1 in x
1.020 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
1.020 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.020 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
1.020 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
1.020 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.020 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
1.020 * [taylor]: Taking taylor expansion of 1 in a
1.021 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.021 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.021 * [taylor]: Taking taylor expansion of (* a x) in a
1.021 * [taylor]: Taking taylor expansion of a in a
1.021 * [taylor]: Taking taylor expansion of x in a
1.021 * [taylor]: Taking taylor expansion of 1 in a
1.021 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
1.021 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.021 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
1.021 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
1.021 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.021 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
1.021 * [taylor]: Taking taylor expansion of 1 in a
1.021 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.021 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.021 * [taylor]: Taking taylor expansion of (* a x) in a
1.021 * [taylor]: Taking taylor expansion of a in a
1.022 * [taylor]: Taking taylor expansion of x in a
1.022 * [taylor]: Taking taylor expansion of 1 in a
1.023 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.023 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.023 * [taylor]: Taking taylor expansion of (* a x) in x
1.023 * [taylor]: Taking taylor expansion of a in x
1.023 * [taylor]: Taking taylor expansion of x in x
1.025 * [taylor]: Taking taylor expansion of 0 in x
1.028 * [taylor]: Taking taylor expansion of 0 in x
1.035 * [taylor]: Taking taylor expansion of 0 in x
1.035 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
1.035 * [approximate]: Taking taylor expansion of (exp (* a x)) in (a x) around 0
1.035 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
1.035 * [taylor]: Taking taylor expansion of (* a x) in x
1.035 * [taylor]: Taking taylor expansion of a in x
1.035 * [taylor]: Taking taylor expansion of x in x
1.036 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.036 * [taylor]: Taking taylor expansion of (* a x) in a
1.036 * [taylor]: Taking taylor expansion of a in a
1.036 * [taylor]: Taking taylor expansion of x in a
1.036 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.036 * [taylor]: Taking taylor expansion of (* a x) in a
1.036 * [taylor]: Taking taylor expansion of a in a
1.036 * [taylor]: Taking taylor expansion of x in a
1.036 * [taylor]: Taking taylor expansion of 1 in x
1.037 * [taylor]: Taking taylor expansion of x in x
1.038 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
1.038 * [taylor]: Taking taylor expansion of 1/2 in x
1.038 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.038 * [taylor]: Taking taylor expansion of x in x
1.040 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
1.040 * [taylor]: Taking taylor expansion of 1/6 in x
1.040 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.040 * [taylor]: Taking taylor expansion of x in x
1.043 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
1.043 * [taylor]: Taking taylor expansion of 1/24 in x
1.043 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.043 * [taylor]: Taking taylor expansion of x in x
1.044 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
1.044 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.044 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.044 * [taylor]: Taking taylor expansion of (* a x) in x
1.044 * [taylor]: Taking taylor expansion of a in x
1.044 * [taylor]: Taking taylor expansion of x in x
1.044 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.044 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.044 * [taylor]: Taking taylor expansion of (* a x) in a
1.044 * [taylor]: Taking taylor expansion of a in a
1.044 * [taylor]: Taking taylor expansion of x in a
1.045 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.045 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.045 * [taylor]: Taking taylor expansion of (* a x) in a
1.045 * [taylor]: Taking taylor expansion of a in a
1.045 * [taylor]: Taking taylor expansion of x in a
1.045 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.045 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.045 * [taylor]: Taking taylor expansion of (* a x) in x
1.045 * [taylor]: Taking taylor expansion of a in x
1.045 * [taylor]: Taking taylor expansion of x in x
1.046 * [taylor]: Taking taylor expansion of 0 in x
1.046 * [taylor]: Taking taylor expansion of 0 in x
1.046 * [taylor]: Taking taylor expansion of 0 in x
1.046 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
1.046 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.046 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.046 * [taylor]: Taking taylor expansion of (* a x) in x
1.046 * [taylor]: Taking taylor expansion of a in x
1.046 * [taylor]: Taking taylor expansion of x in x
1.046 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.046 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.046 * [taylor]: Taking taylor expansion of (* a x) in a
1.046 * [taylor]: Taking taylor expansion of a in a
1.046 * [taylor]: Taking taylor expansion of x in a
1.047 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.047 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.047 * [taylor]: Taking taylor expansion of (* a x) in a
1.047 * [taylor]: Taking taylor expansion of a in a
1.047 * [taylor]: Taking taylor expansion of x in a
1.047 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.047 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.047 * [taylor]: Taking taylor expansion of (* a x) in x
1.047 * [taylor]: Taking taylor expansion of a in x
1.047 * [taylor]: Taking taylor expansion of x in x
1.048 * [taylor]: Taking taylor expansion of 0 in x
1.048 * [taylor]: Taking taylor expansion of 0 in x
1.048 * [taylor]: Taking taylor expansion of 0 in x
1.048 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1.048 * [approximate]: Taking taylor expansion of (exp (* a x)) in (a x) around 0
1.048 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
1.048 * [taylor]: Taking taylor expansion of (* a x) in x
1.048 * [taylor]: Taking taylor expansion of a in x
1.048 * [taylor]: Taking taylor expansion of x in x
1.049 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.049 * [taylor]: Taking taylor expansion of (* a x) in a
1.049 * [taylor]: Taking taylor expansion of a in a
1.049 * [taylor]: Taking taylor expansion of x in a
1.049 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.049 * [taylor]: Taking taylor expansion of (* a x) in a
1.049 * [taylor]: Taking taylor expansion of a in a
1.049 * [taylor]: Taking taylor expansion of x in a
1.049 * [taylor]: Taking taylor expansion of 1 in x
1.049 * [taylor]: Taking taylor expansion of x in x
1.051 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
1.051 * [taylor]: Taking taylor expansion of 1/2 in x
1.051 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.051 * [taylor]: Taking taylor expansion of x in x
1.052 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
1.053 * [taylor]: Taking taylor expansion of 1/6 in x
1.053 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.053 * [taylor]: Taking taylor expansion of x in x
1.055 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
1.055 * [taylor]: Taking taylor expansion of 1/24 in x
1.056 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.056 * [taylor]: Taking taylor expansion of x in x
1.056 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
1.056 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.056 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.056 * [taylor]: Taking taylor expansion of (* a x) in x
1.056 * [taylor]: Taking taylor expansion of a in x
1.056 * [taylor]: Taking taylor expansion of x in x
1.057 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.057 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.057 * [taylor]: Taking taylor expansion of (* a x) in a
1.057 * [taylor]: Taking taylor expansion of a in a
1.057 * [taylor]: Taking taylor expansion of x in a
1.057 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.057 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.057 * [taylor]: Taking taylor expansion of (* a x) in a
1.057 * [taylor]: Taking taylor expansion of a in a
1.057 * [taylor]: Taking taylor expansion of x in a
1.058 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.058 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.058 * [taylor]: Taking taylor expansion of (* a x) in x
1.058 * [taylor]: Taking taylor expansion of a in x
1.058 * [taylor]: Taking taylor expansion of x in x
1.058 * [taylor]: Taking taylor expansion of 0 in x
1.058 * [taylor]: Taking taylor expansion of 0 in x
1.058 * [taylor]: Taking taylor expansion of 0 in x
1.059 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
1.059 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.059 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.059 * [taylor]: Taking taylor expansion of (* a x) in x
1.059 * [taylor]: Taking taylor expansion of a in x
1.059 * [taylor]: Taking taylor expansion of x in x
1.059 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.059 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.059 * [taylor]: Taking taylor expansion of (* a x) in a
1.059 * [taylor]: Taking taylor expansion of a in a
1.059 * [taylor]: Taking taylor expansion of x in a
1.060 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.060 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.060 * [taylor]: Taking taylor expansion of (* a x) in a
1.060 * [taylor]: Taking taylor expansion of a in a
1.060 * [taylor]: Taking taylor expansion of x in a
1.060 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.060 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.060 * [taylor]: Taking taylor expansion of (* a x) in x
1.060 * [taylor]: Taking taylor expansion of a in x
1.060 * [taylor]: Taking taylor expansion of x in x
1.061 * [taylor]: Taking taylor expansion of 0 in x
1.061 * [taylor]: Taking taylor expansion of 0 in x
1.061 * [taylor]: Taking taylor expansion of 0 in x
1.061 * * * [progress]: simplifying candidates
1.062 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (log1p (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))))
  (log (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (exp (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (* (* (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (sqrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (sqrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (exp (log1p (exp (* a x))))
  (expm1 (expm1 (log1p (exp (* a x)))))
  (log1p (expm1 (log1p (exp (* a x)))))
  (log (expm1 (log1p (exp (* a x)))))
  (exp (expm1 (log1p (exp (* a x)))))
  (* (cbrt (expm1 (log1p (exp (* a x))))) (cbrt (expm1 (log1p (exp (* a x))))))
  (cbrt (expm1 (log1p (exp (* a x)))))
  (* (* (expm1 (log1p (exp (* a x)))) (expm1 (log1p (exp (* a x))))) (expm1 (log1p (exp (* a x)))))
  (sqrt (expm1 (log1p (exp (* a x)))))
  (sqrt (expm1 (log1p (exp (* a x)))))
  (expm1 (exp (* a x)))
  (log1p (exp (* a x)))
  (exp a)
  (exp (* (cbrt (* a x)) (cbrt (* a x))))
  (exp (sqrt (* a x)))
  (exp 1)
  (exp (* (sqrt a) (sqrt x)))
  (exp (* a (* (cbrt x) (cbrt x))))
  (exp (* a (sqrt x)))
  (exp (* a 1))
  (exp (* (cbrt a) (cbrt a)))
  (exp (sqrt a))
  (exp 1)
  (exp x)
  (log (exp (* a x)))
  (exp (exp (* a x)))
  (* (cbrt (exp (* a x))) (cbrt (exp (* a x))))
  (cbrt (exp (* a x)))
  (* (* (exp (* a x)) (exp (* a x))) (exp (* a x)))
  (sqrt (exp (* a x)))
  (sqrt (exp (* a x)))
  (expm1 (exp (* a x)))
  (log1p (exp (* a x)))
  (exp a)
  (exp (* (cbrt (* a x)) (cbrt (* a x))))
  (exp (sqrt (* a x)))
  (exp 1)
  (exp (* (sqrt a) (sqrt x)))
  (exp (* a (* (cbrt x) (cbrt x))))
  (exp (* a (sqrt x)))
  (exp (* a 1))
  (exp (* (cbrt a) (cbrt a)))
  (exp (sqrt a))
  (exp 1)
  (exp x)
  (log (exp (* a x)))
  (exp (exp (* a x)))
  (* (cbrt (exp (* a x))) (cbrt (exp (* a x))))
  (cbrt (exp (* a x)))
  (* (* (exp (* a x)) (exp (* a x))) (exp (* a x)))
  (sqrt (exp (* a x)))
  (sqrt (exp (* a x)))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x)))
  (- (exp (* a x)) 1.0)
  (- (exp (* a x)) 1.0)
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) 1))
  (exp (* a x))
  (exp (* a x))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) 1))
  (exp (* a x))
  (exp (* a x))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) 1))
  (exp (* a x))
  (exp (* a x))
1.066 * * [simplify]: iteration  0 :  140  enodes  (cost  346 )
1.069 * * [simplify]: iteration  1 :  421  enodes  (cost  304 )
1.077 * * [simplify]: iteration  2 :  1719  enodes  (cost  293 )
1.115 * * [simplify]: iteration  3 :  5002  enodes  (cost  293 )
1.117 * [simplify]: Simplified to:
   (expm1 (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (log1p (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (exp (* a x))
  (log (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (/ (exp (exp (* a x))) (exp 1.0))
  (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (pow (- (exp (* a x)) 1.0) 3)
  (sqrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (sqrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (exp (log1p (exp (* a x))))
  (expm1 (exp (* a x)))
  (log1p (exp (* a x)))
  (* a x)
  (exp (exp (* a x)))
  (* (cbrt (exp (* a x))) (cbrt (exp (* a x))))
  (cbrt (exp (* a x)))
  (pow (exp (* a x)) 3)
  (sqrt (exp (* a x)))
  (sqrt (exp (* a x)))
  (expm1 (exp (* a x)))
  (log1p (exp (* a x)))
  (exp a)
  (exp (* (cbrt (* a x)) (cbrt (* a x))))
  (exp (sqrt (* a x)))
  E
  (exp (* (sqrt a) (sqrt x)))
  (exp (* a (* (cbrt x) (cbrt x))))
  (exp (* a (sqrt x)))
  (exp a)
  (exp (* (cbrt a) (cbrt a)))
  (exp (pow a 1/2))
  E
  (exp x)
  (* a x)
  (exp (exp (* a x)))
  (* (cbrt (exp (* a x))) (cbrt (exp (* a x))))
  (cbrt (exp (* a x)))
  (pow (exp (* a x)) 3)
  (sqrt (exp (* a x)))
  (sqrt (exp (* a x)))
  (expm1 (exp (* a x)))
  (log1p (exp (* a x)))
  (exp a)
  (exp (* (cbrt (* a x)) (cbrt (* a x))))
  (exp (sqrt (* a x)))
  E
  (exp (* (sqrt a) (sqrt x)))
  (exp (* a (* (cbrt x) (cbrt x))))
  (exp (* a (sqrt x)))
  (exp a)
  (exp (* (cbrt a) (cbrt a)))
  (exp (pow a 1/2))
  E
  (exp x)
  (* a x)
  (exp (exp (* a x)))
  (* (cbrt (exp (* a x))) (cbrt (exp (* a x))))
  (cbrt (exp (* a x)))
  (pow (exp (* a x)) 3)
  (sqrt (exp (* a x)))
  (sqrt (exp (* a x)))
  (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)))
  (- (exp (* a x)) 1.0)
  (- (exp (* a x)) 1.0)
  (fma 1/2 (* (pow a 2) (pow x 2)) (fma a x 1))
  (exp (* a x))
  (exp (* a x))
  (fma 1/2 (* (pow a 2) (pow x 2)) (fma a x 1))
  (exp (* a x))
  (exp (* a x))
  (fma 1/2 (* (pow a 2) (pow x 2)) (fma a x 1))
  (exp (* a x))
  (exp (* a x))
1.118 * * * [progress]: adding candidates to table
1.300 * * [progress]: iteration 4 / 4
1.300 * * * [progress]: picking best candidate
1.323 * * * * [pick]: Picked  #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))))>
1.324 * * * [progress]: localizing error
1.340 * * * [progress]: generating rewritten candidates
1.340 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.341 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
1.342 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.342 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.344 * * * [progress]: generating series expansions
1.344 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.345 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) in (a x) around 0
1.345 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) in x
1.345 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) (- 1.0))
1.345 * [taylor]: Taking taylor expansion of (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) in x
1.345 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in x
1.345 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
1.345 * [taylor]: Taking taylor expansion of (* a x) in x
1.345 * [taylor]: Taking taylor expansion of a in x
1.345 * [taylor]: Taking taylor expansion of x in x
1.346 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (* a x))))) in x
1.346 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* a x)))) in x
1.347 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* a x)))) 1)
1.347 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* a x)))) in x
1.347 * [taylor]: Taking taylor expansion of (log1p (exp (* a x))) in x
1.347 * [taylor]: Rewrote expression to (log (+ 1 (exp (* a x))))
1.347 * [taylor]: Taking taylor expansion of (+ 1 (exp (* a x))) in x
1.347 * [taylor]: Taking taylor expansion of 1 in x
1.347 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
1.347 * [taylor]: Taking taylor expansion of (* a x) in x
1.347 * [taylor]: Taking taylor expansion of a in x
1.347 * [taylor]: Taking taylor expansion of x in x
1.348 * [taylor]: Taking taylor expansion of 1 in x
1.351 * [taylor]: Taking taylor expansion of (- 1.0) in x
1.351 * [taylor]: Taking taylor expansion of 1.0 in x
1.351 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) in a
1.351 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) (- 1.0))
1.351 * [taylor]: Taking taylor expansion of (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) in a
1.351 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a
1.351 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.351 * [taylor]: Taking taylor expansion of (* a x) in a
1.351 * [taylor]: Taking taylor expansion of a in a
1.351 * [taylor]: Taking taylor expansion of x in a
1.352 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (* a x))))) in a
1.352 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* a x)))) in a
1.352 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* a x)))) 1)
1.352 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* a x)))) in a
1.352 * [taylor]: Taking taylor expansion of (log1p (exp (* a x))) in a
1.352 * [taylor]: Rewrote expression to (log (+ 1 (exp (* a x))))
1.352 * [taylor]: Taking taylor expansion of (+ 1 (exp (* a x))) in a
1.352 * [taylor]: Taking taylor expansion of 1 in a
1.352 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.353 * [taylor]: Taking taylor expansion of (* a x) in a
1.353 * [taylor]: Taking taylor expansion of a in a
1.353 * [taylor]: Taking taylor expansion of x in a
1.354 * [taylor]: Taking taylor expansion of 1 in a
1.357 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.357 * [taylor]: Taking taylor expansion of 1.0 in a
1.357 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) in a
1.357 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) (- 1.0))
1.357 * [taylor]: Taking taylor expansion of (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) in a
1.357 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a
1.357 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.357 * [taylor]: Taking taylor expansion of (* a x) in a
1.357 * [taylor]: Taking taylor expansion of a in a
1.357 * [taylor]: Taking taylor expansion of x in a
1.358 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (* a x))))) in a
1.358 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* a x)))) in a
1.358 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* a x)))) 1)
1.358 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* a x)))) in a
1.358 * [taylor]: Taking taylor expansion of (log1p (exp (* a x))) in a
1.358 * [taylor]: Rewrote expression to (log (+ 1 (exp (* a x))))
1.358 * [taylor]: Taking taylor expansion of (+ 1 (exp (* a x))) in a
1.358 * [taylor]: Taking taylor expansion of 1 in a
1.358 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.358 * [taylor]: Taking taylor expansion of (* a x) in a
1.358 * [taylor]: Taking taylor expansion of a in a
1.358 * [taylor]: Taking taylor expansion of x in a
1.360 * [taylor]: Taking taylor expansion of 1 in a
1.362 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.362 * [taylor]: Taking taylor expansion of 1.0 in a
1.363 * [taylor]: Taking taylor expansion of 0 in x
1.364 * [taylor]: Taking taylor expansion of x in x
1.370 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
1.370 * [taylor]: Taking taylor expansion of 1/2 in x
1.370 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.370 * [taylor]: Taking taylor expansion of x in x
1.379 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
1.379 * [taylor]: Taking taylor expansion of 1/6 in x
1.379 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.379 * [taylor]: Taking taylor expansion of x in x
1.395 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
1.395 * [taylor]: Taking taylor expansion of 1/24 in x
1.395 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.395 * [taylor]: Taking taylor expansion of x in x
1.413 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
1.413 * [taylor]: Taking taylor expansion of 1/120 in x
1.413 * [taylor]: Taking taylor expansion of (pow x 5) in x
1.413 * [taylor]: Taking taylor expansion of x in x
1.439 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x
1.439 * [taylor]: Taking taylor expansion of 1/720 in x
1.439 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.439 * [taylor]: Taking taylor expansion of x in x
1.441 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in (a x) around 0
1.441 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in x
1.441 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.441 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in x
1.441 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x
1.441 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.441 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.441 * [taylor]: Taking taylor expansion of (* a x) in x
1.441 * [taylor]: Taking taylor expansion of a in x
1.441 * [taylor]: Taking taylor expansion of x in x
1.442 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in x
1.442 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in x
1.442 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.442 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in x
1.442 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in x
1.442 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.442 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in x
1.442 * [taylor]: Taking taylor expansion of 1 in x
1.442 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.442 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.442 * [taylor]: Taking taylor expansion of (* a x) in x
1.442 * [taylor]: Taking taylor expansion of a in x
1.442 * [taylor]: Taking taylor expansion of x in x
1.443 * [taylor]: Taking taylor expansion of 1 in x
1.445 * [taylor]: Taking taylor expansion of (- 1.0) in x
1.445 * [taylor]: Taking taylor expansion of 1.0 in x
1.445 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in a
1.445 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.445 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in a
1.445 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
1.445 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.445 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.445 * [taylor]: Taking taylor expansion of (* a x) in a
1.445 * [taylor]: Taking taylor expansion of a in a
1.445 * [taylor]: Taking taylor expansion of x in a
1.446 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in a
1.446 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
1.446 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.446 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
1.446 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
1.446 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.446 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
1.446 * [taylor]: Taking taylor expansion of 1 in a
1.446 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.446 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.446 * [taylor]: Taking taylor expansion of (* a x) in a
1.446 * [taylor]: Taking taylor expansion of a in a
1.446 * [taylor]: Taking taylor expansion of x in a
1.447 * [taylor]: Taking taylor expansion of 1 in a
1.449 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.449 * [taylor]: Taking taylor expansion of 1.0 in a
1.449 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in a
1.449 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.449 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in a
1.449 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
1.449 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.450 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.450 * [taylor]: Taking taylor expansion of (* a x) in a
1.450 * [taylor]: Taking taylor expansion of a in a
1.450 * [taylor]: Taking taylor expansion of x in a
1.450 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in a
1.450 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
1.450 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.450 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
1.450 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
1.450 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.450 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
1.450 * [taylor]: Taking taylor expansion of 1 in a
1.450 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.450 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.450 * [taylor]: Taking taylor expansion of (* a x) in a
1.450 * [taylor]: Taking taylor expansion of a in a
1.450 * [taylor]: Taking taylor expansion of x in a
1.451 * [taylor]: Taking taylor expansion of 1 in a
1.453 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.453 * [taylor]: Taking taylor expansion of 1.0 in a
1.454 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
1.454 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.454 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.454 * [taylor]: Taking taylor expansion of (* a x) in x
1.454 * [taylor]: Taking taylor expansion of a in x
1.454 * [taylor]: Taking taylor expansion of x in x
1.455 * [taylor]: Taking taylor expansion of 1.0 in x
1.456 * [taylor]: Taking taylor expansion of 0 in x
1.461 * [taylor]: Taking taylor expansion of 0 in x
1.468 * [taylor]: Taking taylor expansion of 0 in x
1.471 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in (a x) around 0
1.472 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in x
1.472 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.472 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in x
1.472 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x
1.472 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.472 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.472 * [taylor]: Taking taylor expansion of (* a x) in x
1.472 * [taylor]: Taking taylor expansion of a in x
1.472 * [taylor]: Taking taylor expansion of x in x
1.473 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in x
1.473 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in x
1.473 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.473 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in x
1.473 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in x
1.473 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.473 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in x
1.473 * [taylor]: Taking taylor expansion of 1 in x
1.473 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.473 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.473 * [taylor]: Taking taylor expansion of (* a x) in x
1.473 * [taylor]: Taking taylor expansion of a in x
1.473 * [taylor]: Taking taylor expansion of x in x
1.474 * [taylor]: Taking taylor expansion of 1 in x
1.476 * [taylor]: Taking taylor expansion of (- 1.0) in x
1.476 * [taylor]: Taking taylor expansion of 1.0 in x
1.476 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in a
1.476 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.476 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in a
1.476 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
1.476 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.476 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.476 * [taylor]: Taking taylor expansion of (* a x) in a
1.476 * [taylor]: Taking taylor expansion of a in a
1.476 * [taylor]: Taking taylor expansion of x in a
1.477 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in a
1.477 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
1.477 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.477 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
1.477 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
1.477 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.477 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
1.477 * [taylor]: Taking taylor expansion of 1 in a
1.477 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.477 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.477 * [taylor]: Taking taylor expansion of (* a x) in a
1.477 * [taylor]: Taking taylor expansion of a in a
1.477 * [taylor]: Taking taylor expansion of x in a
1.478 * [taylor]: Taking taylor expansion of 1 in a
1.480 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.481 * [taylor]: Taking taylor expansion of 1.0 in a
1.481 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in a
1.481 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.481 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in a
1.481 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
1.481 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.481 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.481 * [taylor]: Taking taylor expansion of (* a x) in a
1.481 * [taylor]: Taking taylor expansion of a in a
1.481 * [taylor]: Taking taylor expansion of x in a
1.481 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in a
1.481 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
1.481 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.481 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
1.481 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
1.481 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.482 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
1.482 * [taylor]: Taking taylor expansion of 1 in a
1.482 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.482 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.482 * [taylor]: Taking taylor expansion of (* a x) in a
1.482 * [taylor]: Taking taylor expansion of a in a
1.482 * [taylor]: Taking taylor expansion of x in a
1.482 * [taylor]: Taking taylor expansion of 1 in a
1.485 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.485 * [taylor]: Taking taylor expansion of 1.0 in a
1.485 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
1.485 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.485 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.485 * [taylor]: Taking taylor expansion of (* a x) in x
1.485 * [taylor]: Taking taylor expansion of a in x
1.486 * [taylor]: Taking taylor expansion of x in x
1.486 * [taylor]: Taking taylor expansion of 1.0 in x
1.487 * [taylor]: Taking taylor expansion of 0 in x
1.492 * [taylor]: Taking taylor expansion of 0 in x
1.499 * [taylor]: Taking taylor expansion of 0 in x
1.499 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
1.500 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) in (a x) around 0
1.500 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) in x
1.500 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) (- 1.0))
1.500 * [taylor]: Taking taylor expansion of (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) in x
1.500 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in x
1.500 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
1.500 * [taylor]: Taking taylor expansion of (* a x) in x
1.500 * [taylor]: Taking taylor expansion of a in x
1.500 * [taylor]: Taking taylor expansion of x in x
1.501 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (* a x))))) in x
1.501 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* a x)))) in x
1.501 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* a x)))) 1)
1.501 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* a x)))) in x
1.501 * [taylor]: Taking taylor expansion of (log1p (exp (* a x))) in x
1.501 * [taylor]: Rewrote expression to (log (+ 1 (exp (* a x))))
1.501 * [taylor]: Taking taylor expansion of (+ 1 (exp (* a x))) in x
1.501 * [taylor]: Taking taylor expansion of 1 in x
1.501 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
1.501 * [taylor]: Taking taylor expansion of (* a x) in x
1.501 * [taylor]: Taking taylor expansion of a in x
1.501 * [taylor]: Taking taylor expansion of x in x
1.503 * [taylor]: Taking taylor expansion of 1 in x
1.505 * [taylor]: Taking taylor expansion of (- 1.0) in x
1.505 * [taylor]: Taking taylor expansion of 1.0 in x
1.505 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) in a
1.505 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) (- 1.0))
1.505 * [taylor]: Taking taylor expansion of (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) in a
1.505 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a
1.505 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.505 * [taylor]: Taking taylor expansion of (* a x) in a
1.505 * [taylor]: Taking taylor expansion of a in a
1.505 * [taylor]: Taking taylor expansion of x in a
1.506 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (* a x))))) in a
1.507 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* a x)))) in a
1.507 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* a x)))) 1)
1.507 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* a x)))) in a
1.507 * [taylor]: Taking taylor expansion of (log1p (exp (* a x))) in a
1.507 * [taylor]: Rewrote expression to (log (+ 1 (exp (* a x))))
1.507 * [taylor]: Taking taylor expansion of (+ 1 (exp (* a x))) in a
1.507 * [taylor]: Taking taylor expansion of 1 in a
1.507 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.507 * [taylor]: Taking taylor expansion of (* a x) in a
1.507 * [taylor]: Taking taylor expansion of a in a
1.507 * [taylor]: Taking taylor expansion of x in a
1.508 * [taylor]: Taking taylor expansion of 1 in a
1.511 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.511 * [taylor]: Taking taylor expansion of 1.0 in a
1.511 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) in a
1.511 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) (- 1.0))
1.511 * [taylor]: Taking taylor expansion of (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) in a
1.511 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a
1.511 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.511 * [taylor]: Taking taylor expansion of (* a x) in a
1.511 * [taylor]: Taking taylor expansion of a in a
1.511 * [taylor]: Taking taylor expansion of x in a
1.512 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (* a x))))) in a
1.512 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* a x)))) in a
1.512 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* a x)))) 1)
1.512 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* a x)))) in a
1.512 * [taylor]: Taking taylor expansion of (log1p (exp (* a x))) in a
1.512 * [taylor]: Rewrote expression to (log (+ 1 (exp (* a x))))
1.512 * [taylor]: Taking taylor expansion of (+ 1 (exp (* a x))) in a
1.512 * [taylor]: Taking taylor expansion of 1 in a
1.512 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.512 * [taylor]: Taking taylor expansion of (* a x) in a
1.512 * [taylor]: Taking taylor expansion of a in a
1.512 * [taylor]: Taking taylor expansion of x in a
1.514 * [taylor]: Taking taylor expansion of 1 in a
1.517 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.517 * [taylor]: Taking taylor expansion of 1.0 in a
1.518 * [taylor]: Taking taylor expansion of 0 in x
1.518 * [taylor]: Taking taylor expansion of x in x
1.524 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
1.524 * [taylor]: Taking taylor expansion of 1/2 in x
1.524 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.525 * [taylor]: Taking taylor expansion of x in x
1.534 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
1.534 * [taylor]: Taking taylor expansion of 1/6 in x
1.534 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.534 * [taylor]: Taking taylor expansion of x in x
1.547 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
1.547 * [taylor]: Taking taylor expansion of 1/24 in x
1.547 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.547 * [taylor]: Taking taylor expansion of x in x
1.568 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
1.568 * [taylor]: Taking taylor expansion of 1/120 in x
1.568 * [taylor]: Taking taylor expansion of (pow x 5) in x
1.568 * [taylor]: Taking taylor expansion of x in x
1.594 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x
1.594 * [taylor]: Taking taylor expansion of 1/720 in x
1.594 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.594 * [taylor]: Taking taylor expansion of x in x
1.596 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in (a x) around 0
1.596 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in x
1.596 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.596 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in x
1.596 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x
1.596 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.596 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.596 * [taylor]: Taking taylor expansion of (* a x) in x
1.596 * [taylor]: Taking taylor expansion of a in x
1.596 * [taylor]: Taking taylor expansion of x in x
1.597 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in x
1.597 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in x
1.597 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.597 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in x
1.597 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in x
1.597 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.597 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in x
1.597 * [taylor]: Taking taylor expansion of 1 in x
1.597 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.597 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.597 * [taylor]: Taking taylor expansion of (* a x) in x
1.597 * [taylor]: Taking taylor expansion of a in x
1.597 * [taylor]: Taking taylor expansion of x in x
1.598 * [taylor]: Taking taylor expansion of 1 in x
1.600 * [taylor]: Taking taylor expansion of (- 1.0) in x
1.600 * [taylor]: Taking taylor expansion of 1.0 in x
1.600 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in a
1.600 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.600 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in a
1.600 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
1.600 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.600 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.600 * [taylor]: Taking taylor expansion of (* a x) in a
1.601 * [taylor]: Taking taylor expansion of a in a
1.601 * [taylor]: Taking taylor expansion of x in a
1.601 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in a
1.601 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
1.601 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.601 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
1.601 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
1.601 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.601 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
1.601 * [taylor]: Taking taylor expansion of 1 in a
1.601 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.601 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.601 * [taylor]: Taking taylor expansion of (* a x) in a
1.601 * [taylor]: Taking taylor expansion of a in a
1.601 * [taylor]: Taking taylor expansion of x in a
1.602 * [taylor]: Taking taylor expansion of 1 in a
1.604 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.604 * [taylor]: Taking taylor expansion of 1.0 in a
1.604 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in a
1.605 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.605 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in a
1.605 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
1.605 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.605 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.605 * [taylor]: Taking taylor expansion of (* a x) in a
1.605 * [taylor]: Taking taylor expansion of a in a
1.605 * [taylor]: Taking taylor expansion of x in a
1.605 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in a
1.605 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
1.605 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.605 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
1.605 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
1.605 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.605 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
1.605 * [taylor]: Taking taylor expansion of 1 in a
1.605 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.605 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.606 * [taylor]: Taking taylor expansion of (* a x) in a
1.606 * [taylor]: Taking taylor expansion of a in a
1.606 * [taylor]: Taking taylor expansion of x in a
1.606 * [taylor]: Taking taylor expansion of 1 in a
1.609 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.609 * [taylor]: Taking taylor expansion of 1.0 in a
1.609 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
1.609 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.609 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.609 * [taylor]: Taking taylor expansion of (* a x) in x
1.609 * [taylor]: Taking taylor expansion of a in x
1.609 * [taylor]: Taking taylor expansion of x in x
1.610 * [taylor]: Taking taylor expansion of 1.0 in x
1.611 * [taylor]: Taking taylor expansion of 0 in x
1.616 * [taylor]: Taking taylor expansion of 0 in x
1.623 * [taylor]: Taking taylor expansion of 0 in x
1.623 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in (a x) around 0
1.623 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in x
1.624 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.624 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in x
1.624 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x
1.624 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.624 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.624 * [taylor]: Taking taylor expansion of (* a x) in x
1.624 * [taylor]: Taking taylor expansion of a in x
1.624 * [taylor]: Taking taylor expansion of x in x
1.624 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in x
1.624 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in x
1.624 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.624 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in x
1.624 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in x
1.624 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.624 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in x
1.624 * [taylor]: Taking taylor expansion of 1 in x
1.624 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.624 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.624 * [taylor]: Taking taylor expansion of (* a x) in x
1.624 * [taylor]: Taking taylor expansion of a in x
1.624 * [taylor]: Taking taylor expansion of x in x
1.625 * [taylor]: Taking taylor expansion of 1 in x
1.628 * [taylor]: Taking taylor expansion of (- 1.0) in x
1.628 * [taylor]: Taking taylor expansion of 1.0 in x
1.628 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in a
1.628 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.628 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in a
1.628 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
1.628 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.628 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.628 * [taylor]: Taking taylor expansion of (* a x) in a
1.628 * [taylor]: Taking taylor expansion of a in a
1.628 * [taylor]: Taking taylor expansion of x in a
1.629 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in a
1.629 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
1.629 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.629 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
1.629 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
1.629 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.629 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
1.629 * [taylor]: Taking taylor expansion of 1 in a
1.629 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.629 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.629 * [taylor]: Taking taylor expansion of (* a x) in a
1.629 * [taylor]: Taking taylor expansion of a in a
1.629 * [taylor]: Taking taylor expansion of x in a
1.630 * [taylor]: Taking taylor expansion of 1 in a
1.632 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.632 * [taylor]: Taking taylor expansion of 1.0 in a
1.632 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in a
1.632 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.632 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in a
1.632 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
1.632 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.632 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.632 * [taylor]: Taking taylor expansion of (* a x) in a
1.632 * [taylor]: Taking taylor expansion of a in a
1.632 * [taylor]: Taking taylor expansion of x in a
1.633 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in a
1.633 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
1.633 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.633 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
1.633 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
1.633 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.633 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
1.633 * [taylor]: Taking taylor expansion of 1 in a
1.633 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.633 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.633 * [taylor]: Taking taylor expansion of (* a x) in a
1.633 * [taylor]: Taking taylor expansion of a in a
1.633 * [taylor]: Taking taylor expansion of x in a
1.634 * [taylor]: Taking taylor expansion of 1 in a
1.636 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.636 * [taylor]: Taking taylor expansion of 1.0 in a
1.637 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
1.637 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.637 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.637 * [taylor]: Taking taylor expansion of (* a x) in x
1.637 * [taylor]: Taking taylor expansion of a in x
1.637 * [taylor]: Taking taylor expansion of x in x
1.637 * [taylor]: Taking taylor expansion of 1.0 in x
1.639 * [taylor]: Taking taylor expansion of 0 in x
1.647 * [taylor]: Taking taylor expansion of 0 in x
1.654 * [taylor]: Taking taylor expansion of 0 in x
1.654 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.655 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) in (a x) around 0
1.655 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) in x
1.655 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) (- 1.0))
1.655 * [taylor]: Taking taylor expansion of (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) in x
1.655 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in x
1.655 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
1.655 * [taylor]: Taking taylor expansion of (* a x) in x
1.655 * [taylor]: Taking taylor expansion of a in x
1.655 * [taylor]: Taking taylor expansion of x in x
1.656 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (* a x))))) in x
1.656 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* a x)))) in x
1.656 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* a x)))) 1)
1.656 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* a x)))) in x
1.656 * [taylor]: Taking taylor expansion of (log1p (exp (* a x))) in x
1.656 * [taylor]: Rewrote expression to (log (+ 1 (exp (* a x))))
1.656 * [taylor]: Taking taylor expansion of (+ 1 (exp (* a x))) in x
1.656 * [taylor]: Taking taylor expansion of 1 in x
1.656 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
1.656 * [taylor]: Taking taylor expansion of (* a x) in x
1.656 * [taylor]: Taking taylor expansion of a in x
1.656 * [taylor]: Taking taylor expansion of x in x
1.658 * [taylor]: Taking taylor expansion of 1 in x
1.660 * [taylor]: Taking taylor expansion of (- 1.0) in x
1.660 * [taylor]: Taking taylor expansion of 1.0 in x
1.660 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) in a
1.661 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) (- 1.0))
1.661 * [taylor]: Taking taylor expansion of (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) in a
1.661 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a
1.661 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.661 * [taylor]: Taking taylor expansion of (* a x) in a
1.661 * [taylor]: Taking taylor expansion of a in a
1.661 * [taylor]: Taking taylor expansion of x in a
1.662 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (* a x))))) in a
1.662 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* a x)))) in a
1.662 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* a x)))) 1)
1.662 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* a x)))) in a
1.662 * [taylor]: Taking taylor expansion of (log1p (exp (* a x))) in a
1.662 * [taylor]: Rewrote expression to (log (+ 1 (exp (* a x))))
1.662 * [taylor]: Taking taylor expansion of (+ 1 (exp (* a x))) in a
1.662 * [taylor]: Taking taylor expansion of 1 in a
1.662 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.662 * [taylor]: Taking taylor expansion of (* a x) in a
1.662 * [taylor]: Taking taylor expansion of a in a
1.662 * [taylor]: Taking taylor expansion of x in a
1.663 * [taylor]: Taking taylor expansion of 1 in a
1.666 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.666 * [taylor]: Taking taylor expansion of 1.0 in a
1.666 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) in a
1.666 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) (- 1.0))
1.666 * [taylor]: Taking taylor expansion of (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) in a
1.666 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a
1.666 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.666 * [taylor]: Taking taylor expansion of (* a x) in a
1.666 * [taylor]: Taking taylor expansion of a in a
1.666 * [taylor]: Taking taylor expansion of x in a
1.667 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (* a x))))) in a
1.667 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* a x)))) in a
1.667 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* a x)))) 1)
1.668 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* a x)))) in a
1.668 * [taylor]: Taking taylor expansion of (log1p (exp (* a x))) in a
1.668 * [taylor]: Rewrote expression to (log (+ 1 (exp (* a x))))
1.668 * [taylor]: Taking taylor expansion of (+ 1 (exp (* a x))) in a
1.668 * [taylor]: Taking taylor expansion of 1 in a
1.668 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.668 * [taylor]: Taking taylor expansion of (* a x) in a
1.668 * [taylor]: Taking taylor expansion of a in a
1.668 * [taylor]: Taking taylor expansion of x in a
1.669 * [taylor]: Taking taylor expansion of 1 in a
1.672 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.672 * [taylor]: Taking taylor expansion of 1.0 in a
1.673 * [taylor]: Taking taylor expansion of 0 in x
1.673 * [taylor]: Taking taylor expansion of x in x
1.680 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
1.680 * [taylor]: Taking taylor expansion of 1/2 in x
1.680 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.680 * [taylor]: Taking taylor expansion of x in x
1.689 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
1.689 * [taylor]: Taking taylor expansion of 1/6 in x
1.689 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.689 * [taylor]: Taking taylor expansion of x in x
1.701 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
1.701 * [taylor]: Taking taylor expansion of 1/24 in x
1.701 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.701 * [taylor]: Taking taylor expansion of x in x
1.719 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
1.719 * [taylor]: Taking taylor expansion of 1/120 in x
1.719 * [taylor]: Taking taylor expansion of (pow x 5) in x
1.719 * [taylor]: Taking taylor expansion of x in x
1.749 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x
1.749 * [taylor]: Taking taylor expansion of 1/720 in x
1.749 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.749 * [taylor]: Taking taylor expansion of x in x
1.750 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in (a x) around 0
1.750 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in x
1.750 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.750 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in x
1.751 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x
1.751 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.751 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.751 * [taylor]: Taking taylor expansion of (* a x) in x
1.751 * [taylor]: Taking taylor expansion of a in x
1.751 * [taylor]: Taking taylor expansion of x in x
1.751 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in x
1.751 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in x
1.751 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.751 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in x
1.751 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in x
1.751 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.751 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in x
1.751 * [taylor]: Taking taylor expansion of 1 in x
1.751 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.751 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.751 * [taylor]: Taking taylor expansion of (* a x) in x
1.751 * [taylor]: Taking taylor expansion of a in x
1.751 * [taylor]: Taking taylor expansion of x in x
1.752 * [taylor]: Taking taylor expansion of 1 in x
1.754 * [taylor]: Taking taylor expansion of (- 1.0) in x
1.755 * [taylor]: Taking taylor expansion of 1.0 in x
1.755 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in a
1.755 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.755 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in a
1.755 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
1.755 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.755 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.755 * [taylor]: Taking taylor expansion of (* a x) in a
1.755 * [taylor]: Taking taylor expansion of a in a
1.755 * [taylor]: Taking taylor expansion of x in a
1.755 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in a
1.755 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
1.755 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.755 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
1.756 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
1.756 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.756 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
1.756 * [taylor]: Taking taylor expansion of 1 in a
1.756 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.756 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.756 * [taylor]: Taking taylor expansion of (* a x) in a
1.756 * [taylor]: Taking taylor expansion of a in a
1.756 * [taylor]: Taking taylor expansion of x in a
1.756 * [taylor]: Taking taylor expansion of 1 in a
1.759 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.759 * [taylor]: Taking taylor expansion of 1.0 in a
1.759 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in a
1.759 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.759 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in a
1.759 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
1.759 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.759 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.759 * [taylor]: Taking taylor expansion of (* a x) in a
1.759 * [taylor]: Taking taylor expansion of a in a
1.759 * [taylor]: Taking taylor expansion of x in a
1.759 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in a
1.760 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
1.760 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.760 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
1.760 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
1.760 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.760 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
1.760 * [taylor]: Taking taylor expansion of 1 in a
1.760 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.760 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.760 * [taylor]: Taking taylor expansion of (* a x) in a
1.760 * [taylor]: Taking taylor expansion of a in a
1.760 * [taylor]: Taking taylor expansion of x in a
1.760 * [taylor]: Taking taylor expansion of 1 in a
1.763 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.763 * [taylor]: Taking taylor expansion of 1.0 in a
1.764 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
1.764 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.764 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.764 * [taylor]: Taking taylor expansion of (* a x) in x
1.764 * [taylor]: Taking taylor expansion of a in x
1.764 * [taylor]: Taking taylor expansion of x in x
1.764 * [taylor]: Taking taylor expansion of 1.0 in x
1.765 * [taylor]: Taking taylor expansion of 0 in x
1.771 * [taylor]: Taking taylor expansion of 0 in x
1.777 * [taylor]: Taking taylor expansion of 0 in x
1.778 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in (a x) around 0
1.778 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in x
1.778 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.778 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in x
1.778 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x
1.778 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.778 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.778 * [taylor]: Taking taylor expansion of (* a x) in x
1.778 * [taylor]: Taking taylor expansion of a in x
1.778 * [taylor]: Taking taylor expansion of x in x
1.779 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in x
1.779 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in x
1.779 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.779 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in x
1.779 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in x
1.779 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.779 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in x
1.779 * [taylor]: Taking taylor expansion of 1 in x
1.779 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.779 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.779 * [taylor]: Taking taylor expansion of (* a x) in x
1.779 * [taylor]: Taking taylor expansion of a in x
1.779 * [taylor]: Taking taylor expansion of x in x
1.780 * [taylor]: Taking taylor expansion of 1 in x
1.782 * [taylor]: Taking taylor expansion of (- 1.0) in x
1.782 * [taylor]: Taking taylor expansion of 1.0 in x
1.782 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in a
1.782 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.782 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in a
1.782 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
1.782 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.782 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.782 * [taylor]: Taking taylor expansion of (* a x) in a
1.782 * [taylor]: Taking taylor expansion of a in a
1.782 * [taylor]: Taking taylor expansion of x in a
1.783 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in a
1.783 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
1.783 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.783 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
1.783 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
1.783 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.783 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
1.783 * [taylor]: Taking taylor expansion of 1 in a
1.783 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.783 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.783 * [taylor]: Taking taylor expansion of (* a x) in a
1.783 * [taylor]: Taking taylor expansion of a in a
1.783 * [taylor]: Taking taylor expansion of x in a
1.784 * [taylor]: Taking taylor expansion of 1 in a
1.786 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.786 * [taylor]: Taking taylor expansion of 1.0 in a
1.786 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in a
1.786 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.786 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in a
1.786 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
1.786 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.787 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.787 * [taylor]: Taking taylor expansion of (* a x) in a
1.787 * [taylor]: Taking taylor expansion of a in a
1.787 * [taylor]: Taking taylor expansion of x in a
1.787 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in a
1.787 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
1.787 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.787 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
1.787 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
1.787 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.787 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
1.787 * [taylor]: Taking taylor expansion of 1 in a
1.787 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.787 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.787 * [taylor]: Taking taylor expansion of (* a x) in a
1.787 * [taylor]: Taking taylor expansion of a in a
1.787 * [taylor]: Taking taylor expansion of x in a
1.788 * [taylor]: Taking taylor expansion of 1 in a
1.790 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.790 * [taylor]: Taking taylor expansion of 1.0 in a
1.791 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
1.791 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.791 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.791 * [taylor]: Taking taylor expansion of (* a x) in x
1.791 * [taylor]: Taking taylor expansion of a in x
1.791 * [taylor]: Taking taylor expansion of x in x
1.792 * [taylor]: Taking taylor expansion of 1.0 in x
1.793 * [taylor]: Taking taylor expansion of 0 in x
1.799 * [taylor]: Taking taylor expansion of 0 in x
1.805 * [taylor]: Taking taylor expansion of 0 in x
1.806 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.806 * [approximate]: Taking taylor expansion of (pow (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) 1/3) in (a x) around 0
1.806 * [taylor]: Taking taylor expansion of (pow (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) 1/3) in x
1.806 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))) in x
1.806 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) in x
1.806 * [taylor]: Taking taylor expansion of 1/3 in x
1.806 * [taylor]: Taking taylor expansion of (log (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) in x
1.807 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) in x
1.807 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) (- 1.0))
1.807 * [taylor]: Taking taylor expansion of (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) in x
1.807 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in x
1.807 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
1.807 * [taylor]: Taking taylor expansion of (* a x) in x
1.807 * [taylor]: Taking taylor expansion of a in x
1.807 * [taylor]: Taking taylor expansion of x in x
1.808 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (* a x))))) in x
1.808 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* a x)))) in x
1.808 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* a x)))) 1)
1.808 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* a x)))) in x
1.808 * [taylor]: Taking taylor expansion of (log1p (exp (* a x))) in x
1.808 * [taylor]: Rewrote expression to (log (+ 1 (exp (* a x))))
1.808 * [taylor]: Taking taylor expansion of (+ 1 (exp (* a x))) in x
1.808 * [taylor]: Taking taylor expansion of 1 in x
1.808 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
1.808 * [taylor]: Taking taylor expansion of (* a x) in x
1.808 * [taylor]: Taking taylor expansion of a in x
1.808 * [taylor]: Taking taylor expansion of x in x
1.810 * [taylor]: Taking taylor expansion of 1 in x
1.812 * [taylor]: Taking taylor expansion of (- 1.0) in x
1.812 * [taylor]: Taking taylor expansion of 1.0 in x
1.818 * [taylor]: Taking taylor expansion of (pow (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) 1/3) in a
1.818 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))) in a
1.818 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) in a
1.818 * [taylor]: Taking taylor expansion of 1/3 in a
1.818 * [taylor]: Taking taylor expansion of (log (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) in a
1.818 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) in a
1.818 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) (- 1.0))
1.818 * [taylor]: Taking taylor expansion of (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) in a
1.818 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a
1.818 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.818 * [taylor]: Taking taylor expansion of (* a x) in a
1.818 * [taylor]: Taking taylor expansion of a in a
1.818 * [taylor]: Taking taylor expansion of x in a
1.819 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (* a x))))) in a
1.819 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* a x)))) in a
1.819 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* a x)))) 1)
1.819 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* a x)))) in a
1.819 * [taylor]: Taking taylor expansion of (log1p (exp (* a x))) in a
1.819 * [taylor]: Rewrote expression to (log (+ 1 (exp (* a x))))
1.819 * [taylor]: Taking taylor expansion of (+ 1 (exp (* a x))) in a
1.819 * [taylor]: Taking taylor expansion of 1 in a
1.819 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.819 * [taylor]: Taking taylor expansion of (* a x) in a
1.819 * [taylor]: Taking taylor expansion of a in a
1.819 * [taylor]: Taking taylor expansion of x in a
1.821 * [taylor]: Taking taylor expansion of 1 in a
1.824 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.824 * [taylor]: Taking taylor expansion of 1.0 in a
1.826 * [taylor]: Taking taylor expansion of (pow (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) 1/3) in a
1.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))) in a
1.826 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) in a
1.826 * [taylor]: Taking taylor expansion of 1/3 in a
1.826 * [taylor]: Taking taylor expansion of (log (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) in a
1.826 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) in a
1.826 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) (- 1.0))
1.826 * [taylor]: Taking taylor expansion of (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x)))))) in a
1.826 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a
1.826 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.826 * [taylor]: Taking taylor expansion of (* a x) in a
1.826 * [taylor]: Taking taylor expansion of a in a
1.826 * [taylor]: Taking taylor expansion of x in a
1.827 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (* a x))))) in a
1.827 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* a x)))) in a
1.827 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* a x)))) 1)
1.827 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* a x)))) in a
1.827 * [taylor]: Taking taylor expansion of (log1p (exp (* a x))) in a
1.827 * [taylor]: Rewrote expression to (log (+ 1 (exp (* a x))))
1.827 * [taylor]: Taking taylor expansion of (+ 1 (exp (* a x))) in a
1.827 * [taylor]: Taking taylor expansion of 1 in a
1.827 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.827 * [taylor]: Taking taylor expansion of (* a x) in a
1.827 * [taylor]: Taking taylor expansion of a in a
1.827 * [taylor]: Taking taylor expansion of x in a
1.829 * [taylor]: Taking taylor expansion of 1 in a
1.832 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.832 * [taylor]: Taking taylor expansion of 1.0 in a
1.834 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (log x)))) in x
1.834 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (log x))) in x
1.834 * [taylor]: Taking taylor expansion of 1/3 in x
1.834 * [taylor]: Taking taylor expansion of (+ (log a) (log x)) in x
1.834 * [taylor]: Taking taylor expansion of (log a) in x
1.834 * [taylor]: Taking taylor expansion of a in x
1.834 * [taylor]: Taking taylor expansion of (log x) in x
1.834 * [taylor]: Taking taylor expansion of x in x
1.842 * [taylor]: Taking taylor expansion of (* 1/6 (* x (exp (* 1/3 (+ (log a) (log x)))))) in x
1.842 * [taylor]: Taking taylor expansion of 1/6 in x
1.842 * [taylor]: Taking taylor expansion of (* x (exp (* 1/3 (+ (log a) (log x))))) in x
1.842 * [taylor]: Taking taylor expansion of x in x
1.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (log x)))) in x
1.842 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (log x))) in x
1.842 * [taylor]: Taking taylor expansion of 1/3 in x
1.842 * [taylor]: Taking taylor expansion of (+ (log a) (log x)) in x
1.842 * [taylor]: Taking taylor expansion of (log a) in x
1.842 * [taylor]: Taking taylor expansion of a in x
1.842 * [taylor]: Taking taylor expansion of (log x) in x
1.842 * [taylor]: Taking taylor expansion of x in x
1.855 * [taylor]: Taking taylor expansion of (* 1/36 (* (pow x 2) (exp (* 1/3 (+ (log a) (log x)))))) in x
1.856 * [taylor]: Taking taylor expansion of 1/36 in x
1.856 * [taylor]: Taking taylor expansion of (* (pow x 2) (exp (* 1/3 (+ (log a) (log x))))) in x
1.856 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.856 * [taylor]: Taking taylor expansion of x in x
1.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (log x)))) in x
1.856 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (log x))) in x
1.856 * [taylor]: Taking taylor expansion of 1/3 in x
1.856 * [taylor]: Taking taylor expansion of (+ (log a) (log x)) in x
1.856 * [taylor]: Taking taylor expansion of (log a) in x
1.856 * [taylor]: Taking taylor expansion of a in x
1.856 * [taylor]: Taking taylor expansion of (log x) in x
1.856 * [taylor]: Taking taylor expansion of x in x
1.878 * [taylor]: Taking taylor expansion of (* 1/324 (* (pow x 3) (exp (* 1/3 (+ (log a) (log x)))))) in x
1.879 * [taylor]: Taking taylor expansion of 1/324 in x
1.879 * [taylor]: Taking taylor expansion of (* (pow x 3) (exp (* 1/3 (+ (log a) (log x))))) in x
1.879 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.879 * [taylor]: Taking taylor expansion of x in x
1.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (log x)))) in x
1.879 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (log x))) in x
1.879 * [taylor]: Taking taylor expansion of 1/3 in x
1.879 * [taylor]: Taking taylor expansion of (+ (log a) (log x)) in x
1.879 * [taylor]: Taking taylor expansion of (log a) in x
1.879 * [taylor]: Taking taylor expansion of a in x
1.879 * [taylor]: Taking taylor expansion of (log x) in x
1.879 * [taylor]: Taking taylor expansion of x in x
1.916 * [taylor]: Taking taylor expansion of (* 1/4860 (* (pow x 4) (exp (* 1/3 (+ (log a) (log x)))))) in x
1.916 * [taylor]: Taking taylor expansion of 1/4860 in x
1.916 * [taylor]: Taking taylor expansion of (* (pow x 4) (exp (* 1/3 (+ (log a) (log x))))) in x
1.916 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.916 * [taylor]: Taking taylor expansion of x in x
1.916 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (log x)))) in x
1.916 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (log x))) in x
1.916 * [taylor]: Taking taylor expansion of 1/3 in x
1.916 * [taylor]: Taking taylor expansion of (+ (log a) (log x)) in x
1.916 * [taylor]: Taking taylor expansion of (log a) in x
1.916 * [taylor]: Taking taylor expansion of a in x
1.916 * [taylor]: Taking taylor expansion of (log x) in x
1.916 * [taylor]: Taking taylor expansion of x in x
1.918 * [approximate]: Taking taylor expansion of (pow (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) 1/3) in (a x) around 0
1.918 * [taylor]: Taking taylor expansion of (pow (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) 1/3) in x
1.918 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0))))) in x
1.918 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)))) in x
1.918 * [taylor]: Taking taylor expansion of 1/3 in x
1.918 * [taylor]: Taking taylor expansion of (log (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0))) in x
1.918 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in x
1.918 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.919 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in x
1.919 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x
1.919 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.919 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.919 * [taylor]: Taking taylor expansion of (* a x) in x
1.919 * [taylor]: Taking taylor expansion of a in x
1.919 * [taylor]: Taking taylor expansion of x in x
1.919 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in x
1.919 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in x
1.919 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.919 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in x
1.919 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in x
1.919 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.919 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in x
1.919 * [taylor]: Taking taylor expansion of 1 in x
1.919 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.919 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.919 * [taylor]: Taking taylor expansion of (* a x) in x
1.919 * [taylor]: Taking taylor expansion of a in x
1.919 * [taylor]: Taking taylor expansion of x in x
1.920 * [taylor]: Taking taylor expansion of 1 in x
1.922 * [taylor]: Taking taylor expansion of (- 1.0) in x
1.922 * [taylor]: Taking taylor expansion of 1.0 in x
1.923 * [taylor]: Taking taylor expansion of (pow (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) 1/3) in a
1.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0))))) in a
1.923 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)))) in a
1.924 * [taylor]: Taking taylor expansion of 1/3 in a
1.924 * [taylor]: Taking taylor expansion of (log (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0))) in a
1.924 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in a
1.924 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.924 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in a
1.924 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
1.924 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.924 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.924 * [taylor]: Taking taylor expansion of (* a x) in a
1.924 * [taylor]: Taking taylor expansion of a in a
1.924 * [taylor]: Taking taylor expansion of x in a
1.924 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in a
1.924 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
1.924 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.924 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
1.924 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
1.924 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.925 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
1.925 * [taylor]: Taking taylor expansion of 1 in a
1.925 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.925 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.925 * [taylor]: Taking taylor expansion of (* a x) in a
1.925 * [taylor]: Taking taylor expansion of a in a
1.925 * [taylor]: Taking taylor expansion of x in a
1.925 * [taylor]: Taking taylor expansion of 1 in a
1.928 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.928 * [taylor]: Taking taylor expansion of 1.0 in a
1.929 * [taylor]: Taking taylor expansion of (pow (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) 1/3) in a
1.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0))))) in a
1.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)))) in a
1.929 * [taylor]: Taking taylor expansion of 1/3 in a
1.929 * [taylor]: Taking taylor expansion of (log (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0))) in a
1.929 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in a
1.929 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.929 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in a
1.929 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
1.929 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.929 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.929 * [taylor]: Taking taylor expansion of (* a x) in a
1.929 * [taylor]: Taking taylor expansion of a in a
1.929 * [taylor]: Taking taylor expansion of x in a
1.930 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in a
1.930 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
1.930 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.930 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
1.930 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
1.930 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.930 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
1.930 * [taylor]: Taking taylor expansion of 1 in a
1.930 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.930 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.930 * [taylor]: Taking taylor expansion of (* a x) in a
1.930 * [taylor]: Taking taylor expansion of a in a
1.930 * [taylor]: Taking taylor expansion of x in a
1.931 * [taylor]: Taking taylor expansion of 1 in a
1.933 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.933 * [taylor]: Taking taylor expansion of 1.0 in a
1.934 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 (* a x))) 1.0) 1/3) in x
1.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (/ 1 (* a x))) 1.0)))) in x
1.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (/ 1 (* a x))) 1.0))) in x
1.934 * [taylor]: Taking taylor expansion of 1/3 in x
1.934 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 (* a x))) 1.0)) in x
1.934 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
1.934 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.934 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.934 * [taylor]: Taking taylor expansion of (* a x) in x
1.934 * [taylor]: Taking taylor expansion of a in x
1.934 * [taylor]: Taking taylor expansion of x in x
1.935 * [taylor]: Taking taylor expansion of 1.0 in x
1.938 * [taylor]: Taking taylor expansion of 0 in x
1.947 * [taylor]: Taking taylor expansion of 0 in x
1.960 * [taylor]: Taking taylor expansion of 0 in x
1.961 * [approximate]: Taking taylor expansion of (pow (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) 1/3) in (a x) around 0
1.961 * [taylor]: Taking taylor expansion of (pow (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) 1/3) in x
1.961 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0))))) in x
1.961 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)))) in x
1.961 * [taylor]: Taking taylor expansion of 1/3 in x
1.961 * [taylor]: Taking taylor expansion of (log (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0))) in x
1.961 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in x
1.961 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.961 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in x
1.961 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x
1.961 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.961 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.961 * [taylor]: Taking taylor expansion of (* a x) in x
1.961 * [taylor]: Taking taylor expansion of a in x
1.961 * [taylor]: Taking taylor expansion of x in x
1.962 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in x
1.962 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in x
1.962 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.962 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in x
1.962 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in x
1.962 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.962 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in x
1.962 * [taylor]: Taking taylor expansion of 1 in x
1.962 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.962 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.962 * [taylor]: Taking taylor expansion of (* a x) in x
1.962 * [taylor]: Taking taylor expansion of a in x
1.962 * [taylor]: Taking taylor expansion of x in x
1.963 * [taylor]: Taking taylor expansion of 1 in x
1.965 * [taylor]: Taking taylor expansion of (- 1.0) in x
1.965 * [taylor]: Taking taylor expansion of 1.0 in x
1.966 * [taylor]: Taking taylor expansion of (pow (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) 1/3) in a
1.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0))))) in a
1.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)))) in a
1.966 * [taylor]: Taking taylor expansion of 1/3 in a
1.966 * [taylor]: Taking taylor expansion of (log (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0))) in a
1.967 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in a
1.967 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.967 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in a
1.967 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
1.967 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.967 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.967 * [taylor]: Taking taylor expansion of (* a x) in a
1.967 * [taylor]: Taking taylor expansion of a in a
1.967 * [taylor]: Taking taylor expansion of x in a
1.967 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in a
1.967 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
1.967 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.967 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
1.967 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
1.968 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.968 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
1.968 * [taylor]: Taking taylor expansion of 1 in a
1.968 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.968 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.968 * [taylor]: Taking taylor expansion of (* a x) in a
1.968 * [taylor]: Taking taylor expansion of a in a
1.968 * [taylor]: Taking taylor expansion of x in a
1.968 * [taylor]: Taking taylor expansion of 1 in a
1.971 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.971 * [taylor]: Taking taylor expansion of 1.0 in a
1.972 * [taylor]: Taking taylor expansion of (pow (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) 1/3) in a
1.972 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0))))) in a
1.972 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)))) in a
1.972 * [taylor]: Taking taylor expansion of 1/3 in a
1.972 * [taylor]: Taking taylor expansion of (log (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0))) in a
1.972 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) (- 1.0)) in a
1.972 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) (- 1.0))
1.972 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 (* a x)))) (sqrt (expm1 (log1p (exp (/ 1 (* a x))))))) in a
1.972 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a
1.972 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.972 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.972 * [taylor]: Taking taylor expansion of (* a x) in a
1.972 * [taylor]: Taking taylor expansion of a in a
1.972 * [taylor]: Taking taylor expansion of x in a
1.973 * [taylor]: Taking taylor expansion of (sqrt (expm1 (log1p (exp (/ 1 (* a x)))))) in a
1.973 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* a x))))) in a
1.973 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* a x))))) 1)
1.973 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* a x))))) in a
1.973 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* a x)))) in a
1.973 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* a x)))))
1.973 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* a x)))) in a
1.973 * [taylor]: Taking taylor expansion of 1 in a
1.973 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.973 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.973 * [taylor]: Taking taylor expansion of (* a x) in a
1.973 * [taylor]: Taking taylor expansion of a in a
1.973 * [taylor]: Taking taylor expansion of x in a
1.973 * [taylor]: Taking taylor expansion of 1 in a
1.976 * [taylor]: Taking taylor expansion of (- 1.0) in a
1.976 * [taylor]: Taking taylor expansion of 1.0 in a
1.977 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 (* a x))) 1.0) 1/3) in x
1.977 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (/ 1 (* a x))) 1.0)))) in x
1.977 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (/ 1 (* a x))) 1.0))) in x
1.977 * [taylor]: Taking taylor expansion of 1/3 in x
1.977 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 (* a x))) 1.0)) in x
1.977 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
1.977 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.977 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.977 * [taylor]: Taking taylor expansion of (* a x) in x
1.977 * [taylor]: Taking taylor expansion of a in x
1.977 * [taylor]: Taking taylor expansion of x in x
1.978 * [taylor]: Taking taylor expansion of 1.0 in x
1.981 * [taylor]: Taking taylor expansion of 0 in x
1.994 * [taylor]: Taking taylor expansion of 0 in x
2.008 * [taylor]: Taking taylor expansion of 0 in x
2.008 * * * [progress]: simplifying candidates
2.009 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (log1p (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))))
  (log (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (exp (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (* (* (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (sqrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (sqrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (expm1 (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (log1p (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))))
  (log (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (exp (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (* (* (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (sqrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (sqrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (expm1 (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (log1p (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (* (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))))
  (log (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (exp (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (* (* (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)) (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (sqrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (sqrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (expm1 (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (log1p (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (log (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (exp (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (cbrt (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))))
  (cbrt (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (cbrt (sqrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (cbrt (sqrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (cbrt 1)
  (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (* (cbrt (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))))
  (cbrt (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (sqrt (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (sqrt (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x)))
  (- (exp (* a x)) 1.0)
  (- (exp (* a x)) 1.0)
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x)))
  (- (exp (* a x)) 1.0)
  (- (exp (* a x)) 1.0)
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x)))
  (- (exp (* a x)) 1.0)
  (- (exp (* a x)) 1.0)
  (+ (* 1/6 (* a (* x (exp (* 1/3 (+ (log a) (log x))))))) (+ (* 1/36 (* (pow a 2) (* (pow x 2) (exp (* 1/3 (+ (log a) (log x))))))) (exp (* 1/3 (+ (log a) (log x))))))
  (pow (- (exp (* a x)) 1.0) 1/3)
  (pow (- (exp (* a x)) 1.0) 1/3)
2.013 * * [simplify]: iteration  0 :  134  enodes  (cost  715 )
2.016 * * [simplify]: iteration  1 :  406  enodes  (cost  574 )
2.025 * * [simplify]: iteration  2 :  1733  enodes  (cost  451 )
2.065 * * [simplify]: iteration  3 :  5001  enodes  (cost  390 )
2.067 * [simplify]: Simplified to:
   (expm1 (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (log1p (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (exp (* a x))
  (* 3 (log (pow (- (exp (* a x)) 1.0) 1/3)))
  (/ (exp (exp (* a x))) (exp 1.0))
  (pow (- (exp (* a x)) 1.0) 2/3)
  (pow (- (exp (* a x)) 1.0) 1/3)
  (pow (- (exp (* a x)) 1.0) 3)
  (fabs (pow (pow (- (exp (* a x)) 1.0) 1/6) 3))
  (fabs (pow (pow (- (exp (* a x)) 1.0) 1/6) 3))
  (expm1 (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (log1p (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (exp (* a x))
  (* 3 (log (pow (- (exp (* a x)) 1.0) 1/3)))
  (/ (exp (exp (* a x))) (exp 1.0))
  (pow (- (exp (* a x)) 1.0) 2/3)
  (pow (- (exp (* a x)) 1.0) 1/3)
  (pow (- (exp (* a x)) 1.0) 3)
  (fabs (pow (pow (- (exp (* a x)) 1.0) 1/6) 3))
  (fabs (pow (pow (- (exp (* a x)) 1.0) 1/6) 3))
  (expm1 (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (log1p (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))
  (exp (* a x))
  (* 3 (log (pow (- (exp (* a x)) 1.0) 1/3)))
  (/ (exp (exp (* a x))) (exp 1.0))
  (pow (- (exp (* a x)) 1.0) 2/3)
  (pow (- (exp (* a x)) 1.0) 1/3)
  (pow (- (exp (* a x)) 1.0) 3)
  (fabs (pow (pow (- (exp (* a x)) 1.0) 1/6) 3))
  (fabs (pow (pow (- (exp (* a x)) 1.0) 1/6) 3))
  (expm1 (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (log1p (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (log (pow (- (exp (* a x)) 1.0) 1/3))
  (exp (pow (- (exp (* a x)) 1.0) 1/3))
  (cbrt (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))))
  (cbrt (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (cbrt (sqrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (cbrt (sqrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (cbrt 1)
  (pow (- (exp (* a x)) 1.0) 1/3)
  (* (cbrt (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))))
  (cbrt (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))))
  (- (exp (* a x)) 1.0)
  (fabs (pow (- (exp (* a x)) 1.0) 1/6))
  (fabs (pow (- (exp (* a x)) 1.0) 1/6))
  (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)))
  (- (exp (* a x)) 1.0)
  (- (exp (* a x)) 1.0)
  (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)))
  (- (exp (* a x)) 1.0)
  (- (exp (* a x)) 1.0)
  (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)))
  (- (exp (* a x)) 1.0)
  (- (exp (* a x)) 1.0)
  (* (* (pow x 1/3) (pow a 1/3)) (+ (* 1/6 (* a x)) (fma (* (* 1/36 (pow a 2)) x) x 1)))
  (pow (- (exp (* a x)) 1.0) 1/3)
  (pow (- (exp (* a x)) 1.0) 1/3)
2.067 * * * [progress]: adding candidates to table
2.278 * [progress]: [Phase 3 of 3] Extracting.
2.278 * * [regime]: Finding splitpoints for: (#<alt (λ (a x) (cbrt (pow (- (exp (* a x)) 1.0) 3)))> #<alt (λ (a x) (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))))> #<alt (λ (a x) (* (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (/ (fma (- 1.0) 1.0 (pow (exp a) (* 2 x))) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (log (/ (exp (exp (* a x))) (exp 1.0))))))> #<alt (λ (a x) (fma (* (cbrt (exp (* a x))) (cbrt (exp (* a x)))) (cbrt (exp (* a x))) (- 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))))> #<alt (λ (a x) (fma (sqrt (exp (* a x))) (pow (exp (* (cbrt (* a x)) (cbrt (* a x)))) (/ (cbrt (* a x)) 2)) (- 1.0)))> #<alt (λ (a x) (log (exp (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (fma (sqrt (exp (* a x))) (sqrt (pow (exp x) a)) (- 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (- (exp (* a x)) 1.0))))>)
2.281 * * * [regime-changes]: Trying 5 branch expressions: ((* a x) (exp (* a x)) (- (exp (* a x)) 1.0) x a)
2.281 * * * * [regimes]: Trying to branch on (* a x) from (#<alt (λ (a x) (cbrt (pow (- (exp (* a x)) 1.0) 3)))> #<alt (λ (a x) (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))))> #<alt (λ (a x) (* (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (/ (fma (- 1.0) 1.0 (pow (exp a) (* 2 x))) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (log (/ (exp (exp (* a x))) (exp 1.0))))))> #<alt (λ (a x) (fma (* (cbrt (exp (* a x))) (cbrt (exp (* a x)))) (cbrt (exp (* a x))) (- 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))))> #<alt (λ (a x) (fma (sqrt (exp (* a x))) (pow (exp (* (cbrt (* a x)) (cbrt (* a x)))) (/ (cbrt (* a x)) 2)) (- 1.0)))> #<alt (λ (a x) (log (exp (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (fma (sqrt (exp (* a x))) (sqrt (pow (exp x) a)) (- 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (- (exp (* a x)) 1.0))))>)
2.339 * * * * [regimes]: Trying to branch on (* a x) from (#<alt (λ (a x) (cbrt (pow (- (exp (* a x)) 1.0) 3)))> #<alt (λ (a x) (* (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (log (/ (exp (exp (* a x))) (exp 1.0))))))> #<alt (λ (a x) (fma (* (cbrt (exp (* a x))) (cbrt (exp (* a x)))) (cbrt (exp (* a x))) (- 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))))> #<alt (λ (a x) (fma (sqrt (exp (* a x))) (pow (exp (* (cbrt (* a x)) (cbrt (* a x)))) (/ (cbrt (* a x)) 2)) (- 1.0)))> #<alt (λ (a x) (log (exp (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (- (exp (* a x)) 1.0))))>)
2.375 * * * * [regimes]: Trying to branch on (exp (* a x)) from (#<alt (λ (a x) (cbrt (pow (- (exp (* a x)) 1.0) 3)))> #<alt (λ (a x) (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))))> #<alt (λ (a x) (* (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (/ (fma (- 1.0) 1.0 (pow (exp a) (* 2 x))) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (log (/ (exp (exp (* a x))) (exp 1.0))))))> #<alt (λ (a x) (fma (* (cbrt (exp (* a x))) (cbrt (exp (* a x)))) (cbrt (exp (* a x))) (- 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))))> #<alt (λ (a x) (fma (sqrt (exp (* a x))) (pow (exp (* (cbrt (* a x)) (cbrt (* a x)))) (/ (cbrt (* a x)) 2)) (- 1.0)))> #<alt (λ (a x) (log (exp (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (fma (sqrt (exp (* a x))) (sqrt (pow (exp x) a)) (- 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (- (exp (* a x)) 1.0))))>)
2.420 * * * * [regimes]: Trying to branch on (exp (* a x)) from (#<alt (λ (a x) (cbrt (pow (- (exp (* a x)) 1.0) 3)))> #<alt (λ (a x) (* (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (log (/ (exp (exp (* a x))) (exp 1.0))))))> #<alt (λ (a x) (fma (* (cbrt (exp (* a x))) (cbrt (exp (* a x)))) (cbrt (exp (* a x))) (- 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))))> #<alt (λ (a x) (log (exp (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (- (exp (* a x)) 1.0))))>)
2.451 * * * * [regimes]: Trying to branch on (- (exp (* a x)) 1.0) from (#<alt (λ (a x) (cbrt (pow (- (exp (* a x)) 1.0) 3)))> #<alt (λ (a x) (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))))> #<alt (λ (a x) (* (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (/ (fma (- 1.0) 1.0 (pow (exp a) (* 2 x))) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (log (/ (exp (exp (* a x))) (exp 1.0))))))> #<alt (λ (a x) (fma (* (cbrt (exp (* a x))) (cbrt (exp (* a x)))) (cbrt (exp (* a x))) (- 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))))> #<alt (λ (a x) (fma (sqrt (exp (* a x))) (pow (exp (* (cbrt (* a x)) (cbrt (* a x)))) (/ (cbrt (* a x)) 2)) (- 1.0)))> #<alt (λ (a x) (log (exp (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (fma (sqrt (exp (* a x))) (sqrt (pow (exp x) a)) (- 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (- (exp (* a x)) 1.0))))>)
2.499 * * * * [regimes]: Trying to branch on (- (exp (* a x)) 1.0) from (#<alt (λ (a x) (cbrt (pow (- (exp (* a x)) 1.0) 3)))> #<alt (λ (a x) (* (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (log (exp (- (exp (* a x)) 1.0))))>)
2.514 * * * * [regimes]: Trying to branch on x from (#<alt (λ (a x) (cbrt (pow (- (exp (* a x)) 1.0) 3)))> #<alt (λ (a x) (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))))> #<alt (λ (a x) (* (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (/ (fma (- 1.0) 1.0 (pow (exp a) (* 2 x))) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (log (/ (exp (exp (* a x))) (exp 1.0))))))> #<alt (λ (a x) (fma (* (cbrt (exp (* a x))) (cbrt (exp (* a x)))) (cbrt (exp (* a x))) (- 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))))> #<alt (λ (a x) (fma (sqrt (exp (* a x))) (pow (exp (* (cbrt (* a x)) (cbrt (* a x)))) (/ (cbrt (* a x)) 2)) (- 1.0)))> #<alt (λ (a x) (log (exp (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (fma (sqrt (exp (* a x))) (sqrt (pow (exp x) a)) (- 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (- (exp (* a x)) 1.0))))>)
2.587 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a x) (cbrt (pow (- (exp (* a x)) 1.0) 3)))> #<alt (λ (a x) (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))))> #<alt (λ (a x) (* (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (/ (fma (- 1.0) 1.0 (pow (exp a) (* 2 x))) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (log (/ (exp (exp (* a x))) (exp 1.0))))))> #<alt (λ (a x) (fma (* (cbrt (exp (* a x))) (cbrt (exp (* a x)))) (cbrt (exp (* a x))) (- 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))))> #<alt (λ (a x) (fma (sqrt (exp (* a x))) (pow (exp (* (cbrt (* a x)) (cbrt (* a x)))) (/ (cbrt (* a x)) 2)) (- 1.0)))> #<alt (λ (a x) (log (exp (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (fma (sqrt (exp (* a x))) (sqrt (pow (exp x) a)) (- 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (- (exp (* a x)) 1.0))))>)
2.650 * * * [regime]: Found split indices: #<option (#s(si 8 88) #s(si 1 247) #s(si 2 255))>
2.651 * [binary-search]: Only using regimes for bounds on (* a x) and (#<alt (λ (a x) (cbrt (pow (- (exp (* a x)) 1.0) 3)))> #<alt (λ (a x) (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))))> #<alt (λ (a x) (* (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (/ (fma (- 1.0) 1.0 (pow (exp a) (* 2 x))) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (log (/ (exp (exp (* a x))) (exp 1.0))))))> #<alt (λ (a x) (fma (* (cbrt (exp (* a x))) (cbrt (exp (* a x)))) (cbrt (exp (* a x))) (- 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))))> #<alt (λ (a x) (fma (sqrt (exp (* a x))) (pow (exp (* (cbrt (* a x)) (cbrt (* a x)))) (/ (cbrt (* a x)) 2)) (- 1.0)))> #<alt (λ (a x) (log (exp (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (fma (sqrt (exp (* a x))) (sqrt (pow (exp x) a)) (- 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (- (exp (* a x)) 1.0))))>)
2.652 * [regimes]: Found splitpoints: (#s(sp 8 (* a x) -3.0552314122636627e-12) #s(sp 1 (* a x) 7.230856881874182e-16) #s(sp 2 (* a x) +nan.0)) , with alts (#<alt (λ (a x) (cbrt (pow (- (exp (* a x)) 1.0) 3)))> #<alt (λ (a x) (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))))> #<alt (λ (a x) (* (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (/ (fma (- 1.0) 1.0 (pow (exp a) (* 2 x))) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (log (/ (exp (exp (* a x))) (exp 1.0))))))> #<alt (λ (a x) (fma (* (cbrt (exp (* a x))) (cbrt (exp (* a x)))) (cbrt (exp (* a x))) (- 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))))> #<alt (λ (a x) (fma (sqrt (exp (* a x))) (pow (exp (* (cbrt (* a x)) (cbrt (* a x)))) (/ (cbrt (* a x)) 2)) (- 1.0)))> #<alt (λ (a x) (log (exp (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (fma (sqrt (exp (* a x))) (sqrt (pow (exp x) a)) (- 1.0)))> #<alt (λ (a x) (* (* (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0))) (cbrt (fma (sqrt (exp (* a x))) (sqrt (expm1 (log1p (exp (* a x))))) (- 1.0)))) (cbrt (- (exp (* a x)) 1.0))))>)
2.652 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (* a x) -3.0552314122636627e-12) (log (exp (- (exp (* a x)) 1.0))) (if (<= (* a x) 7.230856881874182e-16) (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))) (* (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)))))
2.653 * * [simplify]: iteration  0 :  31  enodes  (cost  25 )
2.653 * * [simplify]: iteration  1 :  31  enodes  (cost  25 )
2.654 * [simplify]: Simplified to:
   (if (<= (* a x) -3.0552314122636627e-12) (log (exp (- (exp (* a x)) 1.0))) (if (<= (* a x) 7.230856881874182e-16) (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))) (* (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)))))
4.261 * [regime-testing]: Baseline error score: 29.770893507094463
4.262 * [regime-testing]: Oracle error score: 8.234850689760224
4.263 * [regime-testing]: End program error score: 8.952990959714414
4.306 * [regime-testing]: Target error score: 0.17366085415326873