7.212 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.033 * * * [progress]: [2/2] Setting up program. 0.035 * [progress]: [Phase 2 of 3] Improving. 0.035 * [simplify]: Simplifying using # : (- (exp (* a x)) 1.0) 0.036 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.036 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 0.038 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 0.039 * * [simplify]: iteration 3 : 27 enodes (cost 6 ) 0.043 * * [simplify]: iteration 4 : 51 enodes (cost 6 ) 0.050 * * [simplify]: iteration 5 : 110 enodes (cost 6 ) 0.071 * * [simplify]: iteration 6 : 272 enodes (cost 6 ) 0.165 * * [simplify]: iteration 7 : 1155 enodes (cost 6 ) 1.322 * * [simplify]: iteration 8 : 4059 enodes (cost 6 ) 4.630 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 4.631 * [simplify]: Simplified to: (- (exp (* a x)) 1.0) 4.631 * * [progress]: iteration 1 / 4 4.631 * * * [progress]: picking best candidate 4.632 * * * * [pick]: Picked # 4.632 * * * [progress]: localizing error 4.637 * * * [progress]: generating rewritten candidates 4.637 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.643 * * * [progress]: generating series expansions 4.643 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.643 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0 4.643 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x 4.643 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 4.643 * [taylor]: Taking taylor expansion of (* a x) in x 4.643 * [taylor]: Taking taylor expansion of a in x 4.643 * [taylor]: Taking taylor expansion of x in x 4.643 * [taylor]: Taking taylor expansion of 1.0 in x 4.643 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 4.643 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 4.643 * [taylor]: Taking taylor expansion of (* a x) in a 4.644 * [taylor]: Taking taylor expansion of a in a 4.644 * [taylor]: Taking taylor expansion of x in a 4.644 * [taylor]: Taking taylor expansion of 1.0 in a 4.644 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 4.644 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 4.644 * [taylor]: Taking taylor expansion of (* a x) in a 4.644 * [taylor]: Taking taylor expansion of a in a 4.644 * [taylor]: Taking taylor expansion of x in a 4.644 * [taylor]: Taking taylor expansion of 1.0 in a 4.645 * [taylor]: Taking taylor expansion of 0 in x 4.645 * [taylor]: Taking taylor expansion of x in x 4.647 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 4.647 * [taylor]: Taking taylor expansion of 1/2 in x 4.647 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.647 * [taylor]: Taking taylor expansion of x in x 4.649 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 4.649 * [taylor]: Taking taylor expansion of 1/6 in x 4.649 * [taylor]: Taking taylor expansion of (pow x 3) in x 4.649 * [taylor]: Taking taylor expansion of x in x 4.652 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 4.652 * [taylor]: Taking taylor expansion of 1/24 in x 4.652 * [taylor]: Taking taylor expansion of (pow x 4) in x 4.652 * [taylor]: Taking taylor expansion of x in x 4.657 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 4.657 * [taylor]: Taking taylor expansion of 1/120 in x 4.657 * [taylor]: Taking taylor expansion of (pow x 5) in x 4.657 * [taylor]: Taking taylor expansion of x in x 4.664 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 4.664 * [taylor]: Taking taylor expansion of 1/720 in x 4.664 * [taylor]: Taking taylor expansion of (pow x 6) in x 4.664 * [taylor]: Taking taylor expansion of x in x 4.665 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 4.665 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 4.665 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 4.665 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 4.665 * [taylor]: Taking taylor expansion of (* a x) in x 4.665 * [taylor]: Taking taylor expansion of a in x 4.665 * [taylor]: Taking taylor expansion of x in x 4.665 * [taylor]: Taking taylor expansion of 1.0 in x 4.665 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 4.665 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 4.665 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 4.665 * [taylor]: Taking taylor expansion of (* a x) in a 4.665 * [taylor]: Taking taylor expansion of a in a 4.665 * [taylor]: Taking taylor expansion of x in a 4.666 * [taylor]: Taking taylor expansion of 1.0 in a 4.666 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 4.666 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 4.666 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 4.666 * [taylor]: Taking taylor expansion of (* a x) in a 4.666 * [taylor]: Taking taylor expansion of a in a 4.666 * [taylor]: Taking taylor expansion of x in a 4.666 * [taylor]: Taking taylor expansion of 1.0 in a 4.667 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 4.667 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 4.667 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 4.667 * [taylor]: Taking taylor expansion of (* a x) in x 4.667 * [taylor]: Taking taylor expansion of a in x 4.667 * [taylor]: Taking taylor expansion of x in x 4.667 * [taylor]: Taking taylor expansion of 1.0 in x 4.668 * [taylor]: Taking taylor expansion of 0 in x 4.669 * [taylor]: Taking taylor expansion of 0 in x 4.670 * [taylor]: Taking taylor expansion of 0 in x 4.670 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 4.670 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 4.670 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 4.671 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 4.671 * [taylor]: Taking taylor expansion of (* a x) in x 4.671 * [taylor]: Taking taylor expansion of a in x 4.671 * [taylor]: Taking taylor expansion of x in x 4.671 * [taylor]: Taking taylor expansion of 1.0 in x 4.671 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 4.671 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 4.671 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 4.671 * [taylor]: Taking taylor expansion of (* a x) in a 4.671 * [taylor]: Taking taylor expansion of a in a 4.671 * [taylor]: Taking taylor expansion of x in a 4.671 * [taylor]: Taking taylor expansion of 1.0 in a 4.671 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 4.671 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 4.671 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 4.671 * [taylor]: Taking taylor expansion of (* a x) in a 4.671 * [taylor]: Taking taylor expansion of a in a 4.671 * [taylor]: Taking taylor expansion of x in a 4.672 * [taylor]: Taking taylor expansion of 1.0 in a 4.672 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 4.672 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 4.672 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 4.672 * [taylor]: Taking taylor expansion of (* a x) in x 4.672 * [taylor]: Taking taylor expansion of a in x 4.672 * [taylor]: Taking taylor expansion of x in x 4.673 * [taylor]: Taking taylor expansion of 1.0 in x 4.674 * [taylor]: Taking taylor expansion of 0 in x 4.675 * [taylor]: Taking taylor expansion of 0 in x 4.676 * [taylor]: Taking taylor expansion of 0 in x 4.676 * * * [progress]: simplifying candidates 4.676 * [simplify]: Simplifying using # : (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) (+ (* 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) 4.679 * * [simplify]: iteration 0 : 72 enodes (cost 472 ) 4.689 * * [simplify]: iteration 1 : 169 enodes (cost 384 ) 4.733 * * [simplify]: iteration 2 : 536 enodes (cost 304 ) 4.936 * * [simplify]: iteration 3 : 2521 enodes (cost 255 ) 6.040 * * [simplify]: iteration done : 5000 enodes (cost 255 ) 6.040 * [simplify]: Simplified to: (- (pow (cbrt (exp (* a x))) 3) 1.0) 0 (- (pow (cbrt (exp (* a x))) 3) 1.0) 0 (- (pow (cbrt (exp (* a x))) 3) 1.0) 0 (- (exp (* x a)) 1.0) 0 (- (exp (* x a)) 1.0) 0 (- (exp (* x a)) 1.0) 0 (- (exp (* x a)) 1.0) 0 (- (exp (* x a)) 1.0) 0 (- (exp (* x a)) 1.0) 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 1.0 (+ (exp (* a x)) 1.0) (exp (* 2 (* a x)))) (- 1.0) (- (exp (* 2 (* a x))) (* 1.0 1.0)) (+ 1.0 (exp (* a x))) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* x a)) 1.0) (- 1.0) (fma x a (* (pow x 2) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (- (exp (* x a)) 1.0) (- (exp (* x a)) 1.0) 6.040 * * * [progress]: adding candidates to table 6.100 * * [progress]: iteration 2 / 4 6.100 * * * [progress]: picking best candidate 6.110 * * * * [pick]: Picked # 6.110 * * * [progress]: localizing error 6.125 * * * [progress]: generating rewritten candidates 6.125 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3) 6.166 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 2) 6.176 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 2 1) 6.186 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 2 1 1) 6.196 * * * [progress]: generating series expansions 6.196 * * * * [progress]: [ 1 / 4 ] generating series at (2 3) 6.196 * [approximate]: Taking taylor expansion of (* (pow x 2) (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))) in (x a) around 0 6.196 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))) in a 6.196 * [taylor]: Taking taylor expansion of (pow x 2) in a 6.196 * [taylor]: Taking taylor expansion of x in a 6.196 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a 6.196 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 6.196 * [taylor]: Taking taylor expansion of 1/2 in a 6.196 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.196 * [taylor]: Taking taylor expansion of a in a 6.196 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a 6.196 * [taylor]: Taking taylor expansion of 1/6 in a 6.196 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 6.196 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.196 * [taylor]: Taking taylor expansion of a in a 6.196 * [taylor]: Taking taylor expansion of x in a 6.196 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))) in x 6.197 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.197 * [taylor]: Taking taylor expansion of x in x 6.197 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in x 6.197 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in x 6.197 * [taylor]: Taking taylor expansion of 1/2 in x 6.197 * [taylor]: Taking taylor expansion of (pow a 2) in x 6.197 * [taylor]: Taking taylor expansion of a in x 6.197 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in x 6.197 * [taylor]: Taking taylor expansion of 1/6 in x 6.197 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 6.197 * [taylor]: Taking taylor expansion of (pow a 3) in x 6.197 * [taylor]: Taking taylor expansion of a in x 6.197 * [taylor]: Taking taylor expansion of x in x 6.197 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))) in x 6.197 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.197 * [taylor]: Taking taylor expansion of x in x 6.197 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in x 6.197 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in x 6.197 * [taylor]: Taking taylor expansion of 1/2 in x 6.197 * [taylor]: Taking taylor expansion of (pow a 2) in x 6.197 * [taylor]: Taking taylor expansion of a in x 6.197 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in x 6.197 * [taylor]: Taking taylor expansion of 1/6 in x 6.197 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 6.197 * [taylor]: Taking taylor expansion of (pow a 3) in x 6.197 * [taylor]: Taking taylor expansion of a in x 6.197 * [taylor]: Taking taylor expansion of x in x 6.198 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 6.198 * [taylor]: Taking taylor expansion of 1/2 in a 6.198 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.198 * [taylor]: Taking taylor expansion of a in a 6.200 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a 6.201 * [taylor]: Taking taylor expansion of 1/6 in a 6.201 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.201 * [taylor]: Taking taylor expansion of a in a 6.205 * [taylor]: Taking taylor expansion of 0 in a 6.211 * [taylor]: Taking taylor expansion of 0 in a 6.220 * [taylor]: Taking taylor expansion of 0 in a 6.221 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) (pow x 2)) in (x a) around 0 6.221 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) (pow x 2)) in a 6.221 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 6.221 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 6.221 * [taylor]: Taking taylor expansion of 1/2 in a 6.221 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.221 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.221 * [taylor]: Taking taylor expansion of a in a 6.221 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 6.221 * [taylor]: Taking taylor expansion of 1/6 in a 6.221 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 6.221 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 6.221 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.221 * [taylor]: Taking taylor expansion of a in a 6.221 * [taylor]: Taking taylor expansion of x in a 6.222 * [taylor]: Taking taylor expansion of (pow x 2) in a 6.222 * [taylor]: Taking taylor expansion of x in a 6.222 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) (pow x 2)) in x 6.222 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x 6.222 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x 6.222 * [taylor]: Taking taylor expansion of 1/2 in x 6.222 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x 6.222 * [taylor]: Taking taylor expansion of (pow a 2) in x 6.222 * [taylor]: Taking taylor expansion of a in x 6.222 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x 6.222 * [taylor]: Taking taylor expansion of 1/6 in x 6.222 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x 6.222 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 6.222 * [taylor]: Taking taylor expansion of (pow a 3) in x 6.222 * [taylor]: Taking taylor expansion of a in x 6.222 * [taylor]: Taking taylor expansion of x in x 6.223 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.223 * [taylor]: Taking taylor expansion of x in x 6.224 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) (pow x 2)) in x 6.224 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x 6.224 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x 6.224 * [taylor]: Taking taylor expansion of 1/2 in x 6.224 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x 6.224 * [taylor]: Taking taylor expansion of (pow a 2) in x 6.224 * [taylor]: Taking taylor expansion of a in x 6.224 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x 6.224 * [taylor]: Taking taylor expansion of 1/6 in x 6.224 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x 6.224 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 6.224 * [taylor]: Taking taylor expansion of (pow a 3) in x 6.224 * [taylor]: Taking taylor expansion of a in x 6.224 * [taylor]: Taking taylor expansion of x in x 6.225 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.225 * [taylor]: Taking taylor expansion of x in x 6.225 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 6.225 * [taylor]: Taking taylor expansion of 1/6 in a 6.225 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.225 * [taylor]: Taking taylor expansion of a in a 6.228 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 6.228 * [taylor]: Taking taylor expansion of 1/2 in a 6.228 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.228 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.229 * [taylor]: Taking taylor expansion of a in a 6.238 * [taylor]: Taking taylor expansion of 0 in a 6.246 * [taylor]: Taking taylor expansion of 0 in a 6.257 * [taylor]: Taking taylor expansion of 0 in a 6.269 * [taylor]: Taking taylor expansion of 0 in a 6.270 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) (pow x 2)) in (x a) around 0 6.270 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) (pow x 2)) in a 6.270 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 6.270 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 6.270 * [taylor]: Taking taylor expansion of 1/2 in a 6.270 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.270 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.270 * [taylor]: Taking taylor expansion of a in a 6.271 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 6.271 * [taylor]: Taking taylor expansion of 1/6 in a 6.271 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 6.271 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 6.271 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.271 * [taylor]: Taking taylor expansion of a in a 6.271 * [taylor]: Taking taylor expansion of x in a 6.271 * [taylor]: Taking taylor expansion of (pow x 2) in a 6.271 * [taylor]: Taking taylor expansion of x in a 6.272 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) (pow x 2)) in x 6.272 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x 6.272 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x 6.272 * [taylor]: Taking taylor expansion of 1/2 in x 6.272 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x 6.272 * [taylor]: Taking taylor expansion of (pow a 2) in x 6.272 * [taylor]: Taking taylor expansion of a in x 6.272 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x 6.272 * [taylor]: Taking taylor expansion of 1/6 in x 6.272 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x 6.272 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 6.272 * [taylor]: Taking taylor expansion of (pow a 3) in x 6.272 * [taylor]: Taking taylor expansion of a in x 6.272 * [taylor]: Taking taylor expansion of x in x 6.273 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.273 * [taylor]: Taking taylor expansion of x in x 6.273 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) (pow x 2)) in x 6.273 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x 6.273 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x 6.273 * [taylor]: Taking taylor expansion of 1/2 in x 6.273 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x 6.273 * [taylor]: Taking taylor expansion of (pow a 2) in x 6.273 * [taylor]: Taking taylor expansion of a in x 6.273 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x 6.273 * [taylor]: Taking taylor expansion of 1/6 in x 6.273 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x 6.273 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 6.273 * [taylor]: Taking taylor expansion of (pow a 3) in x 6.273 * [taylor]: Taking taylor expansion of a in x 6.273 * [taylor]: Taking taylor expansion of x in x 6.274 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.274 * [taylor]: Taking taylor expansion of x in x 6.275 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 6.275 * [taylor]: Taking taylor expansion of 1/6 in a 6.275 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.275 * [taylor]: Taking taylor expansion of a in a 6.278 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 6.278 * [taylor]: Taking taylor expansion of 1/2 in a 6.278 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.278 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.278 * [taylor]: Taking taylor expansion of a in a 6.284 * [taylor]: Taking taylor expansion of 0 in a 6.292 * [taylor]: Taking taylor expansion of 0 in a 6.303 * [taylor]: Taking taylor expansion of 0 in a 6.318 * [taylor]: Taking taylor expansion of 0 in a 6.318 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 2) 6.318 * [approximate]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in (a x) around 0 6.319 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in x 6.319 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in x 6.319 * [taylor]: Taking taylor expansion of 1/2 in x 6.319 * [taylor]: Taking taylor expansion of (pow a 2) in x 6.319 * [taylor]: Taking taylor expansion of a in x 6.319 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in x 6.319 * [taylor]: Taking taylor expansion of 1/6 in x 6.319 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 6.319 * [taylor]: Taking taylor expansion of (pow a 3) in x 6.319 * [taylor]: Taking taylor expansion of a in x 6.319 * [taylor]: Taking taylor expansion of x in x 6.319 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a 6.319 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 6.319 * [taylor]: Taking taylor expansion of 1/2 in a 6.319 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.319 * [taylor]: Taking taylor expansion of a in a 6.319 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a 6.319 * [taylor]: Taking taylor expansion of 1/6 in a 6.319 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 6.319 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.319 * [taylor]: Taking taylor expansion of a in a 6.319 * [taylor]: Taking taylor expansion of x in a 6.319 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a 6.319 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 6.319 * [taylor]: Taking taylor expansion of 1/2 in a 6.319 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.319 * [taylor]: Taking taylor expansion of a in a 6.319 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a 6.319 * [taylor]: Taking taylor expansion of 1/6 in a 6.319 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 6.319 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.319 * [taylor]: Taking taylor expansion of a in a 6.319 * [taylor]: Taking taylor expansion of x in a 6.320 * [taylor]: Taking taylor expansion of 1/2 in x 6.321 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 6.321 * [taylor]: Taking taylor expansion of 1/6 in x 6.321 * [taylor]: Taking taylor expansion of x in x 6.324 * [taylor]: Taking taylor expansion of 0 in x 6.327 * [taylor]: Taking taylor expansion of 0 in x 6.332 * [taylor]: Taking taylor expansion of 0 in x 6.332 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in (a x) around 0 6.332 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x 6.332 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x 6.332 * [taylor]: Taking taylor expansion of 1/2 in x 6.333 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x 6.333 * [taylor]: Taking taylor expansion of (pow a 2) in x 6.333 * [taylor]: Taking taylor expansion of a in x 6.333 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x 6.333 * [taylor]: Taking taylor expansion of 1/6 in x 6.333 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x 6.333 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 6.333 * [taylor]: Taking taylor expansion of (pow a 3) in x 6.333 * [taylor]: Taking taylor expansion of a in x 6.333 * [taylor]: Taking taylor expansion of x in x 6.333 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 6.333 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 6.333 * [taylor]: Taking taylor expansion of 1/2 in a 6.333 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.333 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.333 * [taylor]: Taking taylor expansion of a in a 6.334 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 6.334 * [taylor]: Taking taylor expansion of 1/6 in a 6.334 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 6.334 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 6.334 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.334 * [taylor]: Taking taylor expansion of a in a 6.334 * [taylor]: Taking taylor expansion of x in a 6.335 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 6.335 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 6.335 * [taylor]: Taking taylor expansion of 1/2 in a 6.335 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.335 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.335 * [taylor]: Taking taylor expansion of a in a 6.335 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 6.335 * [taylor]: Taking taylor expansion of 1/6 in a 6.335 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 6.335 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 6.335 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.335 * [taylor]: Taking taylor expansion of a in a 6.335 * [taylor]: Taking taylor expansion of x in a 6.336 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 6.336 * [taylor]: Taking taylor expansion of 1/6 in x 6.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.336 * [taylor]: Taking taylor expansion of x in x 6.338 * [taylor]: Taking taylor expansion of 1/2 in x 6.343 * [taylor]: Taking taylor expansion of 0 in x 6.348 * [taylor]: Taking taylor expansion of 0 in x 6.354 * [taylor]: Taking taylor expansion of 0 in x 6.354 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in (a x) around 0 6.354 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x 6.354 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x 6.354 * [taylor]: Taking taylor expansion of 1/2 in x 6.355 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x 6.355 * [taylor]: Taking taylor expansion of (pow a 2) in x 6.355 * [taylor]: Taking taylor expansion of a in x 6.355 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x 6.355 * [taylor]: Taking taylor expansion of 1/6 in x 6.355 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x 6.355 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 6.355 * [taylor]: Taking taylor expansion of (pow a 3) in x 6.355 * [taylor]: Taking taylor expansion of a in x 6.355 * [taylor]: Taking taylor expansion of x in x 6.355 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 6.355 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 6.355 * [taylor]: Taking taylor expansion of 1/2 in a 6.355 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.355 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.355 * [taylor]: Taking taylor expansion of a in a 6.356 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 6.356 * [taylor]: Taking taylor expansion of 1/6 in a 6.356 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 6.356 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 6.356 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.356 * [taylor]: Taking taylor expansion of a in a 6.356 * [taylor]: Taking taylor expansion of x in a 6.357 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 6.357 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 6.357 * [taylor]: Taking taylor expansion of 1/2 in a 6.357 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.357 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.357 * [taylor]: Taking taylor expansion of a in a 6.357 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 6.357 * [taylor]: Taking taylor expansion of 1/6 in a 6.357 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 6.357 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 6.357 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.357 * [taylor]: Taking taylor expansion of a in a 6.357 * [taylor]: Taking taylor expansion of x in a 6.358 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 6.358 * [taylor]: Taking taylor expansion of 1/6 in x 6.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.358 * [taylor]: Taking taylor expansion of x in x 6.360 * [taylor]: Taking taylor expansion of 1/2 in x 6.364 * [taylor]: Taking taylor expansion of 0 in x 6.370 * [taylor]: Taking taylor expansion of 0 in x 6.376 * [taylor]: Taking taylor expansion of 0 in x 6.376 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 2 1) 6.376 * [approximate]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in (a x) around 0 6.376 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in x 6.376 * [taylor]: Taking taylor expansion of 1/6 in x 6.376 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 6.376 * [taylor]: Taking taylor expansion of (pow a 3) in x 6.376 * [taylor]: Taking taylor expansion of a in x 6.376 * [taylor]: Taking taylor expansion of x in x 6.376 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a 6.376 * [taylor]: Taking taylor expansion of 1/6 in a 6.376 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 6.376 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.376 * [taylor]: Taking taylor expansion of a in a 6.376 * [taylor]: Taking taylor expansion of x in a 6.376 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a 6.376 * [taylor]: Taking taylor expansion of 1/6 in a 6.376 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 6.376 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.376 * [taylor]: Taking taylor expansion of a in a 6.376 * [taylor]: Taking taylor expansion of x in a 6.377 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 6.377 * [taylor]: Taking taylor expansion of 1/6 in x 6.377 * [taylor]: Taking taylor expansion of x in x 6.379 * [taylor]: Taking taylor expansion of 0 in x 6.381 * [taylor]: Taking taylor expansion of 0 in x 6.384 * [taylor]: Taking taylor expansion of 0 in x 6.384 * [approximate]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in (a x) around 0 6.384 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in x 6.384 * [taylor]: Taking taylor expansion of 1/6 in x 6.384 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 6.384 * [taylor]: Taking taylor expansion of (pow a 3) in x 6.384 * [taylor]: Taking taylor expansion of a in x 6.384 * [taylor]: Taking taylor expansion of x in x 6.385 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in a 6.385 * [taylor]: Taking taylor expansion of 1/6 in a 6.385 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 6.385 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.385 * [taylor]: Taking taylor expansion of a in a 6.385 * [taylor]: Taking taylor expansion of x in a 6.386 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in a 6.386 * [taylor]: Taking taylor expansion of 1/6 in a 6.386 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 6.386 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.386 * [taylor]: Taking taylor expansion of a in a 6.386 * [taylor]: Taking taylor expansion of x in a 6.386 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x 6.386 * [taylor]: Taking taylor expansion of 1/6 in x 6.386 * [taylor]: Taking taylor expansion of x in x 6.388 * [taylor]: Taking taylor expansion of 0 in x 6.390 * [taylor]: Taking taylor expansion of 0 in x 6.394 * [taylor]: Taking taylor expansion of 0 in x 6.395 * [approximate]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in (a x) around 0 6.395 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in x 6.395 * [taylor]: Taking taylor expansion of 1/6 in x 6.395 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 6.395 * [taylor]: Taking taylor expansion of (pow a 3) in x 6.395 * [taylor]: Taking taylor expansion of a in x 6.395 * [taylor]: Taking taylor expansion of x in x 6.396 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in a 6.396 * [taylor]: Taking taylor expansion of 1/6 in a 6.396 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 6.396 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.396 * [taylor]: Taking taylor expansion of a in a 6.396 * [taylor]: Taking taylor expansion of x in a 6.397 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in a 6.397 * [taylor]: Taking taylor expansion of 1/6 in a 6.397 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 6.397 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.397 * [taylor]: Taking taylor expansion of a in a 6.397 * [taylor]: Taking taylor expansion of x in a 6.397 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x 6.397 * [taylor]: Taking taylor expansion of 1/6 in x 6.397 * [taylor]: Taking taylor expansion of x in x 6.399 * [taylor]: Taking taylor expansion of 0 in x 6.401 * [taylor]: Taking taylor expansion of 0 in x 6.403 * [taylor]: Taking taylor expansion of 0 in x 6.404 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 2 1 1) 6.404 * [approximate]: Taking taylor expansion of (* 1/6 (pow a 3)) in (a) around 0 6.404 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a 6.404 * [taylor]: Taking taylor expansion of 1/6 in a 6.404 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.404 * [taylor]: Taking taylor expansion of a in a 6.404 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a 6.404 * [taylor]: Taking taylor expansion of 1/6 in a 6.404 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.404 * [taylor]: Taking taylor expansion of a in a 6.415 * [approximate]: Taking taylor expansion of (/ 1/6 (pow a 3)) in (a) around 0 6.415 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 6.415 * [taylor]: Taking taylor expansion of 1/6 in a 6.415 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.415 * [taylor]: Taking taylor expansion of a in a 6.416 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 6.416 * [taylor]: Taking taylor expansion of 1/6 in a 6.416 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.416 * [taylor]: Taking taylor expansion of a in a 6.427 * [approximate]: Taking taylor expansion of (/ -1/6 (pow a 3)) in (a) around 0 6.427 * [taylor]: Taking taylor expansion of (/ -1/6 (pow a 3)) in a 6.427 * [taylor]: Taking taylor expansion of -1/6 in a 6.427 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.427 * [taylor]: Taking taylor expansion of a in a 6.428 * [taylor]: Taking taylor expansion of (/ -1/6 (pow a 3)) in a 6.428 * [taylor]: Taking taylor expansion of -1/6 in a 6.428 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.428 * [taylor]: Taking taylor expansion of a in a 6.438 * * * [progress]: simplifying candidates 6.440 * [simplify]: Simplifying using # : (expm1 (* (pow x 2) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (log1p (* (pow x 2) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (+ (* (log x) 2) (log (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (+ (* (log x) 2) (log (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (+ (log (pow x 2)) (log (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (log (* (pow x 2) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (exp (* (pow x 2) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (* (cbrt (* (pow x 2) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (cbrt (* (pow x 2) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))) (cbrt (* (pow x 2) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (* (* (* (pow x 2) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (* (pow x 2) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (* (pow x 2) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (sqrt (* (pow x 2) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (sqrt (* (pow x 2) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (* (pow (sqrt x) 2) (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (* (pow (sqrt x) 2) (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (* x (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (* x (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (* (sqrt (pow x 2)) (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (* (sqrt (pow x 2)) (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (* (pow x (/ 2 2)) (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (* (pow x (/ 2 2)) (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (* (pow x 2) (* (* 1/6 (pow a 3)) x)) (* (pow x 2) (* 1/2 (pow a 2))) (* (* (* 1/6 (pow a 3)) x) (pow x 2)) (* (* 1/2 (pow a 2)) (pow x 2)) (* (pow x 2) (* (cbrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (cbrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))) (* (pow x 2) (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (* (pow x 2) 1) (* (pow (cbrt x) 2) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (* (pow (sqrt x) 2) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (* (pow x 2) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (* (cbrt (pow x 2)) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (* (sqrt (pow x 2)) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (* (pow x 2) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (* (pow x (/ 2 2)) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (* (pow x 2) (+ (pow (* (* 1/6 (pow a 3)) x) 3) (pow (* 1/2 (pow a 2)) 3))) (* (pow x 2) (- (* (* (* 1/6 (pow a 3)) x) (* (* 1/6 (pow a 3)) x)) (* (* 1/2 (pow a 2)) (* 1/2 (pow a 2))))) (expm1 (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (log1p (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (* (exp (* (* 1/6 (pow a 3)) x)) (exp (* 1/2 (pow a 2)))) (log (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (exp (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (* (cbrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (cbrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (cbrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (* (* (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (+ (pow (* (* 1/6 (pow a 3)) x) 3) (pow (* 1/2 (pow a 2)) 3)) (+ (* (* (* 1/6 (pow a 3)) x) (* (* 1/6 (pow a 3)) x)) (- (* (* 1/2 (pow a 2)) (* 1/2 (pow a 2))) (* (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (- (* (* (* 1/6 (pow a 3)) x) (* (* 1/6 (pow a 3)) x)) (* (* 1/2 (pow a 2)) (* 1/2 (pow a 2)))) (- (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))) (expm1 (* (* 1/6 (pow a 3)) x)) (log1p (* (* 1/6 (pow a 3)) x)) (* (* 1/6 (pow a 3)) x) (+ (+ (log 1/6) (* (log a) 3)) (log x)) (+ (+ (log 1/6) (* (log a) 3)) (log x)) (+ (+ (log 1/6) (log (pow a 3))) (log x)) (+ (log (* 1/6 (pow a 3))) (log x)) (log (* (* 1/6 (pow a 3)) x)) (exp (* (* 1/6 (pow a 3)) x)) (* (* (* (* 1/6 1/6) 1/6) (* (* (pow a 3) (pow a 3)) (pow a 3))) (* (* x x) x)) (* (* (* (* 1/6 (pow a 3)) (* 1/6 (pow a 3))) (* 1/6 (pow a 3))) (* (* x x) x)) (* (cbrt (* (* 1/6 (pow a 3)) x)) (cbrt (* (* 1/6 (pow a 3)) x))) (cbrt (* (* 1/6 (pow a 3)) x)) (* (* (* (* 1/6 (pow a 3)) x) (* (* 1/6 (pow a 3)) x)) (* (* 1/6 (pow a 3)) x)) (sqrt (* (* 1/6 (pow a 3)) x)) (sqrt (* (* 1/6 (pow a 3)) x)) (* (* 1/6 (pow a 3)) (* (cbrt x) (cbrt x))) (* (* 1/6 (pow a 3)) (sqrt x)) (* (* 1/6 (pow a 3)) 1) (* (pow a 3) x) (expm1 (* 1/6 (pow a 3))) (log1p (* 1/6 (pow a 3))) (+ (log 1/6) (* (log a) 3)) (+ (log 1/6) (* (log a) 3)) (+ (log 1/6) (log (pow a 3))) (log (* 1/6 (pow a 3))) (exp (* 1/6 (pow a 3))) (* (* (* 1/6 1/6) 1/6) (* (* (pow a 3) (pow a 3)) (pow a 3))) (* (cbrt (* 1/6 (pow a 3))) (cbrt (* 1/6 (pow a 3)))) (cbrt (* 1/6 (pow a 3))) (* (* (* 1/6 (pow a 3)) (* 1/6 (pow a 3))) (* 1/6 (pow a 3))) (sqrt (* 1/6 (pow a 3))) (sqrt (* 1/6 (pow a 3))) (* (sqrt 1/6) (pow (sqrt a) 3)) (* (sqrt 1/6) (pow (sqrt a) 3)) (* (sqrt 1/6) (pow (sqrt a) 3)) (* (sqrt 1/6) (pow (sqrt a) 3)) (* (sqrt 1/6) (sqrt (pow a 3))) (* (sqrt 1/6) (sqrt (pow a 3))) (* (sqrt 1/6) (pow a (/ 3 2))) (* (sqrt 1/6) (pow a (/ 3 2))) (* 1/6 (pow (* (cbrt a) (cbrt a)) 3)) (* 1/6 (pow (sqrt a) 3)) (* 1/6 (pow 1 3)) (* 1/6 (* a a)) (* 1/6 (* (cbrt (pow a 3)) (cbrt (pow a 3)))) (* 1/6 (pow (* (cbrt a) (cbrt a)) 3)) (* 1/6 (pow (sqrt a) 3)) (* 1/6 (pow 1 3)) (* 1/6 a) (* 1/6 (sqrt (pow a 3))) (* 1/6 1) (* 1/6 (pow a (/ 3 2))) (* (cbrt 1/6) (pow a 3)) (* (sqrt 1/6) (pow a 3)) (* 1/6 (pow a 3)) (+ (* 1/2 (* (pow a 2) (pow x 2))) (* 1/6 (* (pow a 3) (pow x 3)))) (+ (* 1/2 (* (pow a 2) (pow x 2))) (* 1/6 (* (pow a 3) (pow x 3)))) (+ (* 1/2 (* (pow a 2) (pow x 2))) (* 1/6 (* (pow a 3) (pow x 3)))) (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) (* 1/6 (* (pow a 3) x)) (* 1/6 (* (pow a 3) x)) (* 1/6 (* (pow a 3) x)) (* 1/6 (pow a 3)) (* 1/6 (pow a 3)) (* 1/6 (pow a 3)) 6.444 * * [simplify]: iteration 0 : 156 enodes (cost 1654 ) 6.477 * * [simplify]: iteration 1 : 446 enodes (cost 1463 ) 6.645 * * [simplify]: iteration 2 : 2329 enodes (cost 1314 ) 7.665 * * [simplify]: iteration done : 5001 enodes (cost 1314 ) 7.666 * [simplify]: Simplified to: (expm1 (* (* x x) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (log1p (* (* x x) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (log (* (* x x) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (log (* (* x x) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (log (* (* x x) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (log (* (* x x) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (pow (* (* x x) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) 3) (* (cbrt (* (* x x) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (cbrt (* (* x x) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (cbrt (* (* x x) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (pow (* (* x x) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) 3) (sqrt (* (* x x) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (sqrt (* (* x x) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (* (sqrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) x) (* (sqrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) x) (* (sqrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) x) (* (sqrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) x) (* (sqrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (fabs x)) (* (sqrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (fabs x)) (* (sqrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) x) (* (sqrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) x) (* 1/6 (* (pow a 3) (pow x 3))) (* (* 1/2 (pow a 2)) (pow x 2)) (* 1/6 (* (pow a 3) (pow x 3))) (* (* 1/2 (pow a 2)) (pow x 2)) (* (* x x) (* (cbrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (cbrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (* (* x x) (sqrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (pow x 2) (* (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) (pow (cbrt x) 2)) (* x (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* (* x x) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* x (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* (cbrt (pow x 2)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) (fabs x)) (* (* x x) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* x (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* (fma 1/8 (pow a 6) (pow (* 1/6 (* (pow a 3) x)) 3)) (* x x)) (* (fma (* x (* 1/36 (pow a 6))) x (* -1/4 (pow a 4))) (* x x)) (expm1 (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (log1p (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (exp (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (log (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (exp (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* (cbrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (cbrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (cbrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (pow (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) 3) (sqrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (sqrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (fma 1/8 (pow a 6) (pow (* 1/6 (* (pow a 3) x)) 3)) (fma (* 1/36 (pow a 6)) (* x x) (* (* a a) (- (* (* a a) 1/4) (* (* (pow a 3) x) 1/12)))) (fma (* x (* 1/36 (pow a 6))) x (* -1/4 (pow a 4))) (fma (* (pow a 3) x) 1/6 (* (* a a) -1/2)) (expm1 (* (* 1/6 (pow a 3)) x)) (log1p (* (* 1/6 (pow a 3)) x)) (* 1/6 (* (pow a 3) x)) (log (* 1/6 (* (pow a 3) x))) (log (* 1/6 (* (pow a 3) x))) (log (* 1/6 (* (pow a 3) x))) (log (* 1/6 (* (pow a 3) x))) (log (* 1/6 (* (pow a 3) x))) (exp (* (* 1/6 (pow a 3)) x)) (pow (* 1/6 (* (pow a 3) x)) 3) (pow (* 1/6 (* (pow a 3) x)) 3) (* (cbrt (* (* 1/6 (pow a 3)) x)) (cbrt (* (* 1/6 (pow a 3)) x))) (cbrt (* (* 1/6 (pow a 3)) x)) (pow (* 1/6 (* (pow a 3) x)) 3) (sqrt (* (* 1/6 (pow a 3)) x)) (sqrt (* (* 1/6 (pow a 3)) x)) (* (pow (cbrt x) 2) (* 1/6 (pow a 3))) (* (* 1/6 (pow a 3)) (sqrt x)) (* 1/6 (pow a 3)) (* (pow a 3) x) (expm1 (* 1/6 (pow a 3))) (log1p (* 1/6 (pow a 3))) (log (* 1/6 (pow a 3))) (log (* 1/6 (pow a 3))) (log (* 1/6 (pow a 3))) (log (* 1/6 (pow a 3))) (exp (* 1/6 (pow a 3))) (pow (* 1/6 (pow a 3)) 3) (* (cbrt (* 1/6 (pow a 3))) (cbrt (* 1/6 (pow a 3)))) (cbrt (* 1/6 (pow a 3))) (pow (* 1/6 (pow a 3)) 3) (sqrt (* 1/6 (pow a 3))) (sqrt (* 1/6 (pow a 3))) (* (sqrt 1/6) (pow (sqrt a) 3)) (* (sqrt 1/6) (pow (sqrt a) 3)) (* (sqrt 1/6) (pow (sqrt a) 3)) (* (sqrt 1/6) (pow (sqrt a) 3)) (* (sqrt 1/6) (sqrt (pow a 3))) (* (sqrt 1/6) (sqrt (pow a 3))) (* (sqrt 1/6) (pow a 3/2)) (* (sqrt 1/6) (pow a 3/2)) (* a (* 1/6 a)) (* 1/6 (pow (sqrt a) 3)) 1/6 (* a (* 1/6 a)) (* a (* 1/6 a)) (* a (* 1/6 a)) (* 1/6 (pow (sqrt a) 3)) 1/6 (* 1/6 a) (* 1/6 (sqrt (pow a 3))) 1/6 (* 1/6 (pow a 3/2)) (* (cbrt 1/6) (pow a 3)) (* (sqrt 1/6) (pow a 3)) (* 1/6 (pow a 3)) (* (* x x) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* (* x x) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* (* x x) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) (* 1/6 (* (pow a 3) x)) (* 1/6 (* (pow a 3) x)) (* 1/6 (* (pow a 3) x)) (* 1/6 (pow a 3)) (* 1/6 (pow a 3)) (* 1/6 (pow a 3)) 7.666 * * * [progress]: adding candidates to table 7.951 * * [progress]: iteration 3 / 4 7.951 * * * [progress]: picking best candidate 7.956 * * * * [pick]: Picked # 7.956 * * * [progress]: localizing error 7.970 * * * [progress]: generating rewritten candidates 7.971 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 1 2) 7.971 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1) 7.973 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1 2 1) 7.980 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3) 7.986 * * * [progress]: generating series expansions 7.986 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 1 2) 7.986 * [approximate]: Taking taylor expansion of (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) in (a x) around 0 7.986 * [taylor]: Taking taylor expansion of (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) in x 7.986 * [taylor]: Rewrote expression to (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))) 7.986 * [taylor]: Taking taylor expansion of (* (* 1/6 (pow a 3)) x) in x 7.986 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in x 7.986 * [taylor]: Taking taylor expansion of 1/6 in x 7.986 * [taylor]: Taking taylor expansion of (pow a 3) in x 7.986 * [taylor]: Taking taylor expansion of a in x 7.986 * [taylor]: Taking taylor expansion of x in x 7.986 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in x 7.986 * [taylor]: Taking taylor expansion of 1/2 in x 7.986 * [taylor]: Taking taylor expansion of (pow a 2) in x 7.986 * [taylor]: Taking taylor expansion of a in x 7.987 * [taylor]: Taking taylor expansion of (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) in a 7.987 * [taylor]: Rewrote expression to (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))) 7.987 * [taylor]: Taking taylor expansion of (* (* 1/6 (pow a 3)) x) in a 7.987 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a 7.987 * [taylor]: Taking taylor expansion of 1/6 in a 7.987 * [taylor]: Taking taylor expansion of (pow a 3) in a 7.987 * [taylor]: Taking taylor expansion of a in a 7.987 * [taylor]: Taking taylor expansion of x in a 7.987 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 7.987 * [taylor]: Taking taylor expansion of 1/2 in a 7.987 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.987 * [taylor]: Taking taylor expansion of a in a 7.987 * [taylor]: Taking taylor expansion of (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) in a 7.987 * [taylor]: Rewrote expression to (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))) 7.987 * [taylor]: Taking taylor expansion of (* (* 1/6 (pow a 3)) x) in a 7.987 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a 7.987 * [taylor]: Taking taylor expansion of 1/6 in a 7.987 * [taylor]: Taking taylor expansion of (pow a 3) in a 7.987 * [taylor]: Taking taylor expansion of a in a 7.987 * [taylor]: Taking taylor expansion of x in a 7.987 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 7.987 * [taylor]: Taking taylor expansion of 1/2 in a 7.987 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.987 * [taylor]: Taking taylor expansion of a in a 7.988 * [taylor]: Taking taylor expansion of 1/2 in x 7.990 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 7.990 * [taylor]: Taking taylor expansion of 1/6 in x 7.990 * [taylor]: Taking taylor expansion of x in x 7.992 * [taylor]: Taking taylor expansion of 0 in x 7.996 * [taylor]: Taking taylor expansion of 0 in x 8.000 * [taylor]: Taking taylor expansion of 0 in x 8.001 * [approximate]: Taking taylor expansion of (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) in (a x) around 0 8.001 * [taylor]: Taking taylor expansion of (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) in x 8.001 * [taylor]: Rewrote expression to (+ (* (/ 1/6 (pow a 3)) (/ 1 x)) (/ 1/2 (pow a 2))) 8.001 * [taylor]: Taking taylor expansion of (* (/ 1/6 (pow a 3)) (/ 1 x)) in x 8.001 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in x 8.001 * [taylor]: Taking taylor expansion of 1/6 in x 8.001 * [taylor]: Taking taylor expansion of (pow a 3) in x 8.001 * [taylor]: Taking taylor expansion of a in x 8.001 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.001 * [taylor]: Taking taylor expansion of x in x 8.002 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in x 8.002 * [taylor]: Taking taylor expansion of 1/2 in x 8.002 * [taylor]: Taking taylor expansion of (pow a 2) in x 8.002 * [taylor]: Taking taylor expansion of a in x 8.002 * [taylor]: Taking taylor expansion of (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) in a 8.002 * [taylor]: Rewrote expression to (+ (* (/ 1/6 (pow a 3)) (/ 1 x)) (/ 1/2 (pow a 2))) 8.002 * [taylor]: Taking taylor expansion of (* (/ 1/6 (pow a 3)) (/ 1 x)) in a 8.002 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 8.002 * [taylor]: Taking taylor expansion of 1/6 in a 8.002 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.002 * [taylor]: Taking taylor expansion of a in a 8.003 * [taylor]: Taking taylor expansion of (/ 1 x) in a 8.003 * [taylor]: Taking taylor expansion of x in a 8.003 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 8.003 * [taylor]: Taking taylor expansion of 1/2 in a 8.003 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.003 * [taylor]: Taking taylor expansion of a in a 8.003 * [taylor]: Taking taylor expansion of (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) in a 8.003 * [taylor]: Rewrote expression to (+ (* (/ 1/6 (pow a 3)) (/ 1 x)) (/ 1/2 (pow a 2))) 8.003 * [taylor]: Taking taylor expansion of (* (/ 1/6 (pow a 3)) (/ 1 x)) in a 8.003 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 8.003 * [taylor]: Taking taylor expansion of 1/6 in a 8.003 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.003 * [taylor]: Taking taylor expansion of a in a 8.004 * [taylor]: Taking taylor expansion of (/ 1 x) in a 8.004 * [taylor]: Taking taylor expansion of x in a 8.004 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 8.004 * [taylor]: Taking taylor expansion of 1/2 in a 8.004 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.004 * [taylor]: Taking taylor expansion of a in a 8.005 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 8.005 * [taylor]: Taking taylor expansion of 1/6 in x 8.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.005 * [taylor]: Taking taylor expansion of x in x 8.007 * [taylor]: Taking taylor expansion of 1/2 in x 8.011 * [taylor]: Taking taylor expansion of 0 in x 8.015 * [taylor]: Taking taylor expansion of 0 in x 8.021 * [taylor]: Taking taylor expansion of 0 in x 8.021 * [approximate]: Taking taylor expansion of (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) in (a x) around 0 8.021 * [taylor]: Taking taylor expansion of (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) in x 8.021 * [taylor]: Rewrote expression to (+ (* (/ -1/6 (pow a 3)) (/ -1 x)) (/ 1/2 (pow a 2))) 8.021 * [taylor]: Taking taylor expansion of (* (/ -1/6 (pow a 3)) (/ -1 x)) in x 8.021 * [taylor]: Taking taylor expansion of (/ -1/6 (pow a 3)) in x 8.021 * [taylor]: Taking taylor expansion of -1/6 in x 8.021 * [taylor]: Taking taylor expansion of (pow a 3) in x 8.021 * [taylor]: Taking taylor expansion of a in x 8.022 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.022 * [taylor]: Taking taylor expansion of -1 in x 8.022 * [taylor]: Taking taylor expansion of x in x 8.022 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in x 8.022 * [taylor]: Taking taylor expansion of 1/2 in x 8.022 * [taylor]: Taking taylor expansion of (pow a 2) in x 8.022 * [taylor]: Taking taylor expansion of a in x 8.022 * [taylor]: Taking taylor expansion of (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) in a 8.022 * [taylor]: Rewrote expression to (+ (* (/ -1/6 (pow a 3)) (/ -1 x)) (/ 1/2 (pow a 2))) 8.022 * [taylor]: Taking taylor expansion of (* (/ -1/6 (pow a 3)) (/ -1 x)) in a 8.022 * [taylor]: Taking taylor expansion of (/ -1/6 (pow a 3)) in a 8.022 * [taylor]: Taking taylor expansion of -1/6 in a 8.022 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.022 * [taylor]: Taking taylor expansion of a in a 8.023 * [taylor]: Taking taylor expansion of (/ -1 x) in a 8.023 * [taylor]: Taking taylor expansion of -1 in a 8.023 * [taylor]: Taking taylor expansion of x in a 8.023 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 8.023 * [taylor]: Taking taylor expansion of 1/2 in a 8.023 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.023 * [taylor]: Taking taylor expansion of a in a 8.024 * [taylor]: Taking taylor expansion of (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) in a 8.024 * [taylor]: Rewrote expression to (+ (* (/ -1/6 (pow a 3)) (/ -1 x)) (/ 1/2 (pow a 2))) 8.024 * [taylor]: Taking taylor expansion of (* (/ -1/6 (pow a 3)) (/ -1 x)) in a 8.024 * [taylor]: Taking taylor expansion of (/ -1/6 (pow a 3)) in a 8.024 * [taylor]: Taking taylor expansion of -1/6 in a 8.024 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.024 * [taylor]: Taking taylor expansion of a in a 8.024 * [taylor]: Taking taylor expansion of (/ -1 x) in a 8.024 * [taylor]: Taking taylor expansion of -1 in a 8.024 * [taylor]: Taking taylor expansion of x in a 8.025 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 8.025 * [taylor]: Taking taylor expansion of 1/2 in a 8.025 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.025 * [taylor]: Taking taylor expansion of a in a 8.025 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 8.025 * [taylor]: Taking taylor expansion of 1/6 in x 8.025 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.025 * [taylor]: Taking taylor expansion of x in x 8.028 * [taylor]: Taking taylor expansion of 1/2 in x 8.032 * [taylor]: Taking taylor expansion of 0 in x 8.036 * [taylor]: Taking taylor expansion of 0 in x 8.041 * [taylor]: Taking taylor expansion of 0 in x 8.042 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1) 8.042 * [approximate]: Taking taylor expansion of (pow (exp (pow x 2)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) in (x a) around 0 8.042 * [taylor]: Taking taylor expansion of (pow (exp (pow x 2)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) in a 8.042 * [taylor]: Taking taylor expansion of (exp (* (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) (log (exp (pow x 2))))) in a 8.042 * [taylor]: Taking taylor expansion of (* (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) (log (exp (pow x 2)))) in a 8.042 * [taylor]: Taking taylor expansion of (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) in a 8.042 * [taylor]: Rewrote expression to (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))) 8.042 * [taylor]: Taking taylor expansion of (* (* 1/6 (pow a 3)) x) in a 8.042 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a 8.042 * [taylor]: Taking taylor expansion of 1/6 in a 8.042 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.042 * [taylor]: Taking taylor expansion of a in a 8.042 * [taylor]: Taking taylor expansion of x in a 8.042 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 8.042 * [taylor]: Taking taylor expansion of 1/2 in a 8.042 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.042 * [taylor]: Taking taylor expansion of a in a 8.042 * [taylor]: Taking taylor expansion of (log (exp (pow x 2))) in a 8.042 * [taylor]: Taking taylor expansion of (exp (pow x 2)) in a 8.042 * [taylor]: Taking taylor expansion of (pow x 2) in a 8.042 * [taylor]: Taking taylor expansion of x in a 8.043 * [taylor]: Taking taylor expansion of (pow (exp (pow x 2)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) in x 8.043 * [taylor]: Taking taylor expansion of (exp (* (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) (log (exp (pow x 2))))) in x 8.043 * [taylor]: Taking taylor expansion of (* (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) (log (exp (pow x 2)))) in x 8.043 * [taylor]: Taking taylor expansion of (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) in x 8.043 * [taylor]: Rewrote expression to (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))) 8.043 * [taylor]: Taking taylor expansion of (* (* 1/6 (pow a 3)) x) in x 8.043 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in x 8.043 * [taylor]: Taking taylor expansion of 1/6 in x 8.043 * [taylor]: Taking taylor expansion of (pow a 3) in x 8.044 * [taylor]: Taking taylor expansion of a in x 8.044 * [taylor]: Taking taylor expansion of x in x 8.044 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in x 8.044 * [taylor]: Taking taylor expansion of 1/2 in x 8.044 * [taylor]: Taking taylor expansion of (pow a 2) in x 8.044 * [taylor]: Taking taylor expansion of a in x 8.044 * [taylor]: Taking taylor expansion of (log (exp (pow x 2))) in x 8.044 * [taylor]: Taking taylor expansion of (exp (pow x 2)) in x 8.044 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.044 * [taylor]: Taking taylor expansion of x in x 8.052 * [taylor]: Taking taylor expansion of (pow (exp (pow x 2)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) in x 8.052 * [taylor]: Taking taylor expansion of (exp (* (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) (log (exp (pow x 2))))) in x 8.052 * [taylor]: Taking taylor expansion of (* (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) (log (exp (pow x 2)))) in x 8.052 * [taylor]: Taking taylor expansion of (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) in x 8.052 * [taylor]: Rewrote expression to (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))) 8.052 * [taylor]: Taking taylor expansion of (* (* 1/6 (pow a 3)) x) in x 8.053 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in x 8.053 * [taylor]: Taking taylor expansion of 1/6 in x 8.053 * [taylor]: Taking taylor expansion of (pow a 3) in x 8.053 * [taylor]: Taking taylor expansion of a in x 8.053 * [taylor]: Taking taylor expansion of x in x 8.053 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in x 8.053 * [taylor]: Taking taylor expansion of 1/2 in x 8.053 * [taylor]: Taking taylor expansion of (pow a 2) in x 8.053 * [taylor]: Taking taylor expansion of a in x 8.053 * [taylor]: Taking taylor expansion of (log (exp (pow x 2))) in x 8.053 * [taylor]: Taking taylor expansion of (exp (pow x 2)) in x 8.053 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.053 * [taylor]: Taking taylor expansion of x in x 8.064 * [taylor]: Taking taylor expansion of 1 in a 8.065 * [taylor]: Taking taylor expansion of 0 in a 8.065 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 8.065 * [taylor]: Taking taylor expansion of 1/2 in a 8.065 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.065 * [taylor]: Taking taylor expansion of a in a 8.074 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a 8.074 * [taylor]: Taking taylor expansion of 1/6 in a 8.074 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.074 * [taylor]: Taking taylor expansion of a in a 8.075 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 (pow x 2))) (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2)))) in (x a) around 0 8.075 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow x 2))) (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2)))) in a 8.075 * [taylor]: Taking taylor expansion of (exp (* (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2)))))) in a 8.075 * [taylor]: Taking taylor expansion of (* (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2))))) in a 8.075 * [taylor]: Taking taylor expansion of (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) in a 8.075 * [taylor]: Rewrote expression to (+ (* (/ 1/6 (pow a 3)) (/ 1 x)) (/ 1/2 (pow a 2))) 8.075 * [taylor]: Taking taylor expansion of (* (/ 1/6 (pow a 3)) (/ 1 x)) in a 8.075 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 8.075 * [taylor]: Taking taylor expansion of 1/6 in a 8.075 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.075 * [taylor]: Taking taylor expansion of a in a 8.076 * [taylor]: Taking taylor expansion of (/ 1 x) in a 8.076 * [taylor]: Taking taylor expansion of x in a 8.076 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 8.076 * [taylor]: Taking taylor expansion of 1/2 in a 8.076 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.076 * [taylor]: Taking taylor expansion of a in a 8.076 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow x 2)))) in a 8.076 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in a 8.076 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in a 8.076 * [taylor]: Taking taylor expansion of (pow x 2) in a 8.076 * [taylor]: Taking taylor expansion of x in a 8.077 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow x 2))) (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2)))) in x 8.077 * [taylor]: Taking taylor expansion of (exp (* (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2)))))) in x 8.077 * [taylor]: Taking taylor expansion of (* (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2))))) in x 8.077 * [taylor]: Taking taylor expansion of (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) in x 8.077 * [taylor]: Rewrote expression to (+ (* (/ 1/6 (pow a 3)) (/ 1 x)) (/ 1/2 (pow a 2))) 8.077 * [taylor]: Taking taylor expansion of (* (/ 1/6 (pow a 3)) (/ 1 x)) in x 8.078 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in x 8.078 * [taylor]: Taking taylor expansion of 1/6 in x 8.078 * [taylor]: Taking taylor expansion of (pow a 3) in x 8.078 * [taylor]: Taking taylor expansion of a in x 8.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.078 * [taylor]: Taking taylor expansion of x in x 8.078 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in x 8.078 * [taylor]: Taking taylor expansion of 1/2 in x 8.078 * [taylor]: Taking taylor expansion of (pow a 2) in x 8.078 * [taylor]: Taking taylor expansion of a in x 8.078 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow x 2)))) in x 8.078 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 8.078 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.078 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.078 * [taylor]: Taking taylor expansion of x in x 8.079 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow x 2))) (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2)))) in x 8.079 * [taylor]: Taking taylor expansion of (exp (* (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2)))))) in x 8.079 * [taylor]: Taking taylor expansion of (* (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2))))) in x 8.079 * [taylor]: Taking taylor expansion of (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) in x 8.080 * [taylor]: Rewrote expression to (+ (* (/ 1/6 (pow a 3)) (/ 1 x)) (/ 1/2 (pow a 2))) 8.080 * [taylor]: Taking taylor expansion of (* (/ 1/6 (pow a 3)) (/ 1 x)) in x 8.080 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in x 8.080 * [taylor]: Taking taylor expansion of 1/6 in x 8.080 * [taylor]: Taking taylor expansion of (pow a 3) in x 8.080 * [taylor]: Taking taylor expansion of a in x 8.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.080 * [taylor]: Taking taylor expansion of x in x 8.080 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in x 8.080 * [taylor]: Taking taylor expansion of 1/2 in x 8.080 * [taylor]: Taking taylor expansion of (pow a 2) in x 8.080 * [taylor]: Taking taylor expansion of a in x 8.080 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow x 2)))) in x 8.080 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 8.080 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.080 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.080 * [taylor]: Taking taylor expansion of x in x 8.082 * [taylor]: Taking taylor expansion of (exp (/ (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) (pow x 2))) in a 8.082 * [taylor]: Taking taylor expansion of (/ (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) (pow x 2)) in a 8.082 * [taylor]: Taking taylor expansion of (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) in a 8.082 * [taylor]: Rewrote expression to (+ (* (/ 1/6 (pow a 3)) (/ 1 x)) (/ 1/2 (pow a 2))) 8.082 * [taylor]: Taking taylor expansion of (* (/ 1/6 (pow a 3)) (/ 1 x)) in a 8.082 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 8.082 * [taylor]: Taking taylor expansion of 1/6 in a 8.082 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.082 * [taylor]: Taking taylor expansion of a in a 8.082 * [taylor]: Taking taylor expansion of (/ 1 x) in a 8.083 * [taylor]: Taking taylor expansion of x in a 8.083 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 8.083 * [taylor]: Taking taylor expansion of 1/2 in a 8.083 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.083 * [taylor]: Taking taylor expansion of a in a 8.083 * [taylor]: Taking taylor expansion of (pow x 2) in a 8.083 * [taylor]: Taking taylor expansion of x in a 8.084 * [taylor]: Taking taylor expansion of 0 in a 8.084 * [taylor]: Taking taylor expansion of 0 in a 8.084 * [taylor]: Taking taylor expansion of 0 in a 8.084 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 (pow x 2))) (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2)))) in (x a) around 0 8.084 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow x 2))) (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2)))) in a 8.084 * [taylor]: Taking taylor expansion of (exp (* (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2)))))) in a 8.084 * [taylor]: Taking taylor expansion of (* (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2))))) in a 8.084 * [taylor]: Taking taylor expansion of (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) in a 8.085 * [taylor]: Rewrote expression to (+ (* (/ -1/6 (pow a 3)) (/ -1 x)) (/ 1/2 (pow a 2))) 8.085 * [taylor]: Taking taylor expansion of (* (/ -1/6 (pow a 3)) (/ -1 x)) in a 8.085 * [taylor]: Taking taylor expansion of (/ -1/6 (pow a 3)) in a 8.085 * [taylor]: Taking taylor expansion of -1/6 in a 8.085 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.085 * [taylor]: Taking taylor expansion of a in a 8.085 * [taylor]: Taking taylor expansion of (/ -1 x) in a 8.085 * [taylor]: Taking taylor expansion of -1 in a 8.085 * [taylor]: Taking taylor expansion of x in a 8.085 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 8.085 * [taylor]: Taking taylor expansion of 1/2 in a 8.085 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.086 * [taylor]: Taking taylor expansion of a in a 8.086 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow x 2)))) in a 8.086 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in a 8.086 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in a 8.086 * [taylor]: Taking taylor expansion of (pow x 2) in a 8.086 * [taylor]: Taking taylor expansion of x in a 8.087 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow x 2))) (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2)))) in x 8.087 * [taylor]: Taking taylor expansion of (exp (* (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2)))))) in x 8.087 * [taylor]: Taking taylor expansion of (* (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2))))) in x 8.087 * [taylor]: Taking taylor expansion of (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) in x 8.087 * [taylor]: Rewrote expression to (+ (* (/ -1/6 (pow a 3)) (/ -1 x)) (/ 1/2 (pow a 2))) 8.087 * [taylor]: Taking taylor expansion of (* (/ -1/6 (pow a 3)) (/ -1 x)) in x 8.087 * [taylor]: Taking taylor expansion of (/ -1/6 (pow a 3)) in x 8.087 * [taylor]: Taking taylor expansion of -1/6 in x 8.087 * [taylor]: Taking taylor expansion of (pow a 3) in x 8.087 * [taylor]: Taking taylor expansion of a in x 8.087 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.087 * [taylor]: Taking taylor expansion of -1 in x 8.087 * [taylor]: Taking taylor expansion of x in x 8.087 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in x 8.087 * [taylor]: Taking taylor expansion of 1/2 in x 8.088 * [taylor]: Taking taylor expansion of (pow a 2) in x 8.088 * [taylor]: Taking taylor expansion of a in x 8.088 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow x 2)))) in x 8.088 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 8.088 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.088 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.088 * [taylor]: Taking taylor expansion of x in x 8.089 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow x 2))) (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2)))) in x 8.089 * [taylor]: Taking taylor expansion of (exp (* (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2)))))) in x 8.089 * [taylor]: Taking taylor expansion of (* (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2))))) in x 8.089 * [taylor]: Taking taylor expansion of (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) in x 8.089 * [taylor]: Rewrote expression to (+ (* (/ -1/6 (pow a 3)) (/ -1 x)) (/ 1/2 (pow a 2))) 8.089 * [taylor]: Taking taylor expansion of (* (/ -1/6 (pow a 3)) (/ -1 x)) in x 8.089 * [taylor]: Taking taylor expansion of (/ -1/6 (pow a 3)) in x 8.089 * [taylor]: Taking taylor expansion of -1/6 in x 8.089 * [taylor]: Taking taylor expansion of (pow a 3) in x 8.089 * [taylor]: Taking taylor expansion of a in x 8.089 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.089 * [taylor]: Taking taylor expansion of -1 in x 8.089 * [taylor]: Taking taylor expansion of x in x 8.090 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in x 8.090 * [taylor]: Taking taylor expansion of 1/2 in x 8.090 * [taylor]: Taking taylor expansion of (pow a 2) in x 8.090 * [taylor]: Taking taylor expansion of a in x 8.090 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow x 2)))) in x 8.090 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 8.090 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.090 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.090 * [taylor]: Taking taylor expansion of x in x 8.091 * [taylor]: Taking taylor expansion of (exp (/ (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) (pow x 2))) in a 8.091 * [taylor]: Taking taylor expansion of (/ (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) (pow x 2)) in a 8.091 * [taylor]: Taking taylor expansion of (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) in a 8.091 * [taylor]: Rewrote expression to (+ (* (/ -1/6 (pow a 3)) (/ -1 x)) (/ 1/2 (pow a 2))) 8.091 * [taylor]: Taking taylor expansion of (* (/ -1/6 (pow a 3)) (/ -1 x)) in a 8.091 * [taylor]: Taking taylor expansion of (/ -1/6 (pow a 3)) in a 8.091 * [taylor]: Taking taylor expansion of -1/6 in a 8.091 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.091 * [taylor]: Taking taylor expansion of a in a 8.092 * [taylor]: Taking taylor expansion of (/ -1 x) in a 8.092 * [taylor]: Taking taylor expansion of -1 in a 8.092 * [taylor]: Taking taylor expansion of x in a 8.092 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 8.092 * [taylor]: Taking taylor expansion of 1/2 in a 8.092 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.092 * [taylor]: Taking taylor expansion of a in a 8.093 * [taylor]: Taking taylor expansion of (pow x 2) in a 8.093 * [taylor]: Taking taylor expansion of x in a 8.093 * [taylor]: Taking taylor expansion of 0 in a 8.093 * [taylor]: Taking taylor expansion of 0 in a 8.093 * [taylor]: Taking taylor expansion of 0 in a 8.094 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1 2 1) 8.094 * [approximate]: Taking taylor expansion of (* 1/6 (pow a 3)) in (a) around 0 8.094 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a 8.094 * [taylor]: Taking taylor expansion of 1/6 in a 8.094 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.094 * [taylor]: Taking taylor expansion of a in a 8.094 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a 8.094 * [taylor]: Taking taylor expansion of 1/6 in a 8.094 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.094 * [taylor]: Taking taylor expansion of a in a 8.105 * [approximate]: Taking taylor expansion of (/ 1/6 (pow a 3)) in (a) around 0 8.105 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 8.105 * [taylor]: Taking taylor expansion of 1/6 in a 8.105 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.105 * [taylor]: Taking taylor expansion of a in a 8.106 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 8.106 * [taylor]: Taking taylor expansion of 1/6 in a 8.106 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.106 * [taylor]: Taking taylor expansion of a in a 8.116 * [approximate]: Taking taylor expansion of (/ -1/6 (pow a 3)) in (a) around 0 8.116 * [taylor]: Taking taylor expansion of (/ -1/6 (pow a 3)) in a 8.116 * [taylor]: Taking taylor expansion of -1/6 in a 8.116 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.116 * [taylor]: Taking taylor expansion of a in a 8.117 * [taylor]: Taking taylor expansion of (/ -1/6 (pow a 3)) in a 8.117 * [taylor]: Taking taylor expansion of -1/6 in a 8.117 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.117 * [taylor]: Taking taylor expansion of a in a 8.128 * * * * [progress]: [ 4 / 4 ] generating series at (2 3) 8.128 * [approximate]: Taking taylor expansion of (log (pow (exp (pow x 2)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) in (x a) around 0 8.128 * [taylor]: Taking taylor expansion of (log (pow (exp (pow x 2)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) in a 8.128 * [taylor]: Taking taylor expansion of (pow (exp (pow x 2)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) in a 8.128 * [taylor]: Taking taylor expansion of (exp (* (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) (log (exp (pow x 2))))) in a 8.128 * [taylor]: Taking taylor expansion of (* (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) (log (exp (pow x 2)))) in a 8.128 * [taylor]: Taking taylor expansion of (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) in a 8.128 * [taylor]: Rewrote expression to (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))) 8.128 * [taylor]: Taking taylor expansion of (* (* 1/6 (pow a 3)) x) in a 8.128 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a 8.128 * [taylor]: Taking taylor expansion of 1/6 in a 8.128 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.128 * [taylor]: Taking taylor expansion of a in a 8.128 * [taylor]: Taking taylor expansion of x in a 8.128 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 8.128 * [taylor]: Taking taylor expansion of 1/2 in a 8.128 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.128 * [taylor]: Taking taylor expansion of a in a 8.128 * [taylor]: Taking taylor expansion of (log (exp (pow x 2))) in a 8.128 * [taylor]: Taking taylor expansion of (exp (pow x 2)) in a 8.128 * [taylor]: Taking taylor expansion of (pow x 2) in a 8.128 * [taylor]: Taking taylor expansion of x in a 8.130 * [taylor]: Taking taylor expansion of (log (pow (exp (pow x 2)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) in x 8.130 * [taylor]: Taking taylor expansion of (pow (exp (pow x 2)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) in x 8.130 * [taylor]: Taking taylor expansion of (exp (* (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) (log (exp (pow x 2))))) in x 8.130 * [taylor]: Taking taylor expansion of (* (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) (log (exp (pow x 2)))) in x 8.130 * [taylor]: Taking taylor expansion of (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) in x 8.130 * [taylor]: Rewrote expression to (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))) 8.130 * [taylor]: Taking taylor expansion of (* (* 1/6 (pow a 3)) x) in x 8.130 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in x 8.130 * [taylor]: Taking taylor expansion of 1/6 in x 8.130 * [taylor]: Taking taylor expansion of (pow a 3) in x 8.130 * [taylor]: Taking taylor expansion of a in x 8.130 * [taylor]: Taking taylor expansion of x in x 8.130 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in x 8.130 * [taylor]: Taking taylor expansion of 1/2 in x 8.130 * [taylor]: Taking taylor expansion of (pow a 2) in x 8.130 * [taylor]: Taking taylor expansion of a in x 8.130 * [taylor]: Taking taylor expansion of (log (exp (pow x 2))) in x 8.130 * [taylor]: Taking taylor expansion of (exp (pow x 2)) in x 8.130 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.130 * [taylor]: Taking taylor expansion of x in x 8.139 * [taylor]: Taking taylor expansion of (log (pow (exp (pow x 2)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) in x 8.139 * [taylor]: Taking taylor expansion of (pow (exp (pow x 2)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) in x 8.139 * [taylor]: Taking taylor expansion of (exp (* (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) (log (exp (pow x 2))))) in x 8.139 * [taylor]: Taking taylor expansion of (* (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) (log (exp (pow x 2)))) in x 8.139 * [taylor]: Taking taylor expansion of (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) in x 8.139 * [taylor]: Rewrote expression to (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))) 8.139 * [taylor]: Taking taylor expansion of (* (* 1/6 (pow a 3)) x) in x 8.139 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in x 8.139 * [taylor]: Taking taylor expansion of 1/6 in x 8.139 * [taylor]: Taking taylor expansion of (pow a 3) in x 8.139 * [taylor]: Taking taylor expansion of a in x 8.139 * [taylor]: Taking taylor expansion of x in x 8.139 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in x 8.139 * [taylor]: Taking taylor expansion of 1/2 in x 8.139 * [taylor]: Taking taylor expansion of (pow a 2) in x 8.139 * [taylor]: Taking taylor expansion of a in x 8.139 * [taylor]: Taking taylor expansion of (log (exp (pow x 2))) in x 8.139 * [taylor]: Taking taylor expansion of (exp (pow x 2)) in x 8.139 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.139 * [taylor]: Taking taylor expansion of x in x 8.150 * [taylor]: Taking taylor expansion of 0 in a 8.152 * [taylor]: Taking taylor expansion of 0 in a 8.153 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 8.153 * [taylor]: Taking taylor expansion of 1/2 in a 8.153 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.153 * [taylor]: Taking taylor expansion of a in a 8.164 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a 8.164 * [taylor]: Taking taylor expansion of 1/6 in a 8.164 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.164 * [taylor]: Taking taylor expansion of a in a 8.165 * [approximate]: Taking taylor expansion of (log (pow (exp (/ 1 (pow x 2))) (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))))) in (x a) around 0 8.165 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 (pow x 2))) (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))))) in a 8.165 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow x 2))) (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2)))) in a 8.165 * [taylor]: Taking taylor expansion of (exp (* (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2)))))) in a 8.165 * [taylor]: Taking taylor expansion of (* (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2))))) in a 8.165 * [taylor]: Taking taylor expansion of (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) in a 8.165 * [taylor]: Rewrote expression to (+ (* (/ 1/6 (pow a 3)) (/ 1 x)) (/ 1/2 (pow a 2))) 8.165 * [taylor]: Taking taylor expansion of (* (/ 1/6 (pow a 3)) (/ 1 x)) in a 8.165 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 8.165 * [taylor]: Taking taylor expansion of 1/6 in a 8.165 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.165 * [taylor]: Taking taylor expansion of a in a 8.166 * [taylor]: Taking taylor expansion of (/ 1 x) in a 8.166 * [taylor]: Taking taylor expansion of x in a 8.166 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 8.166 * [taylor]: Taking taylor expansion of 1/2 in a 8.166 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.166 * [taylor]: Taking taylor expansion of a in a 8.166 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow x 2)))) in a 8.166 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in a 8.166 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in a 8.166 * [taylor]: Taking taylor expansion of (pow x 2) in a 8.166 * [taylor]: Taking taylor expansion of x in a 8.167 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 (pow x 2))) (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))))) in x 8.167 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow x 2))) (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2)))) in x 8.167 * [taylor]: Taking taylor expansion of (exp (* (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2)))))) in x 8.167 * [taylor]: Taking taylor expansion of (* (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2))))) in x 8.167 * [taylor]: Taking taylor expansion of (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) in x 8.167 * [taylor]: Rewrote expression to (+ (* (/ 1/6 (pow a 3)) (/ 1 x)) (/ 1/2 (pow a 2))) 8.167 * [taylor]: Taking taylor expansion of (* (/ 1/6 (pow a 3)) (/ 1 x)) in x 8.167 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in x 8.167 * [taylor]: Taking taylor expansion of 1/6 in x 8.167 * [taylor]: Taking taylor expansion of (pow a 3) in x 8.167 * [taylor]: Taking taylor expansion of a in x 8.168 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.168 * [taylor]: Taking taylor expansion of x in x 8.168 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in x 8.168 * [taylor]: Taking taylor expansion of 1/2 in x 8.168 * [taylor]: Taking taylor expansion of (pow a 2) in x 8.168 * [taylor]: Taking taylor expansion of a in x 8.168 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow x 2)))) in x 8.168 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 8.168 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.168 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.168 * [taylor]: Taking taylor expansion of x in x 8.170 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 (pow x 2))) (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))))) in x 8.170 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow x 2))) (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2)))) in x 8.170 * [taylor]: Taking taylor expansion of (exp (* (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2)))))) in x 8.170 * [taylor]: Taking taylor expansion of (* (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2))))) in x 8.170 * [taylor]: Taking taylor expansion of (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) in x 8.170 * [taylor]: Rewrote expression to (+ (* (/ 1/6 (pow a 3)) (/ 1 x)) (/ 1/2 (pow a 2))) 8.170 * [taylor]: Taking taylor expansion of (* (/ 1/6 (pow a 3)) (/ 1 x)) in x 8.170 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in x 8.170 * [taylor]: Taking taylor expansion of 1/6 in x 8.170 * [taylor]: Taking taylor expansion of (pow a 3) in x 8.170 * [taylor]: Taking taylor expansion of a in x 8.170 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.170 * [taylor]: Taking taylor expansion of x in x 8.170 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in x 8.170 * [taylor]: Taking taylor expansion of 1/2 in x 8.170 * [taylor]: Taking taylor expansion of (pow a 2) in x 8.170 * [taylor]: Taking taylor expansion of a in x 8.170 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow x 2)))) in x 8.170 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 8.170 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.170 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.170 * [taylor]: Taking taylor expansion of x in x 8.172 * [taylor]: Taking taylor expansion of (/ (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) (pow x 2)) in a 8.172 * [taylor]: Taking taylor expansion of (fma (/ 1/6 (pow a 3)) (/ 1 x) (/ 1/2 (pow a 2))) in a 8.172 * [taylor]: Rewrote expression to (+ (* (/ 1/6 (pow a 3)) (/ 1 x)) (/ 1/2 (pow a 2))) 8.172 * [taylor]: Taking taylor expansion of (* (/ 1/6 (pow a 3)) (/ 1 x)) in a 8.172 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 8.172 * [taylor]: Taking taylor expansion of 1/6 in a 8.172 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.172 * [taylor]: Taking taylor expansion of a in a 8.173 * [taylor]: Taking taylor expansion of (/ 1 x) in a 8.173 * [taylor]: Taking taylor expansion of x in a 8.173 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 8.173 * [taylor]: Taking taylor expansion of 1/2 in a 8.173 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.173 * [taylor]: Taking taylor expansion of a in a 8.173 * [taylor]: Taking taylor expansion of (pow x 2) in a 8.173 * [taylor]: Taking taylor expansion of x in a 8.184 * [taylor]: Taking taylor expansion of 0 in a 8.191 * [taylor]: Taking taylor expansion of 0 in a 8.197 * [approximate]: Taking taylor expansion of (log (pow (exp (/ 1 (pow x 2))) (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))))) in (x a) around 0 8.197 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 (pow x 2))) (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))))) in a 8.197 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow x 2))) (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2)))) in a 8.197 * [taylor]: Taking taylor expansion of (exp (* (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2)))))) in a 8.197 * [taylor]: Taking taylor expansion of (* (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2))))) in a 8.197 * [taylor]: Taking taylor expansion of (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) in a 8.197 * [taylor]: Rewrote expression to (+ (* (/ -1/6 (pow a 3)) (/ -1 x)) (/ 1/2 (pow a 2))) 8.197 * [taylor]: Taking taylor expansion of (* (/ -1/6 (pow a 3)) (/ -1 x)) in a 8.197 * [taylor]: Taking taylor expansion of (/ -1/6 (pow a 3)) in a 8.197 * [taylor]: Taking taylor expansion of -1/6 in a 8.197 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.197 * [taylor]: Taking taylor expansion of a in a 8.198 * [taylor]: Taking taylor expansion of (/ -1 x) in a 8.198 * [taylor]: Taking taylor expansion of -1 in a 8.198 * [taylor]: Taking taylor expansion of x in a 8.198 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 8.198 * [taylor]: Taking taylor expansion of 1/2 in a 8.198 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.198 * [taylor]: Taking taylor expansion of a in a 8.199 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow x 2)))) in a 8.199 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in a 8.199 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in a 8.199 * [taylor]: Taking taylor expansion of (pow x 2) in a 8.199 * [taylor]: Taking taylor expansion of x in a 8.200 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 (pow x 2))) (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))))) in x 8.200 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow x 2))) (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2)))) in x 8.200 * [taylor]: Taking taylor expansion of (exp (* (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2)))))) in x 8.200 * [taylor]: Taking taylor expansion of (* (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2))))) in x 8.200 * [taylor]: Taking taylor expansion of (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) in x 8.200 * [taylor]: Rewrote expression to (+ (* (/ -1/6 (pow a 3)) (/ -1 x)) (/ 1/2 (pow a 2))) 8.200 * [taylor]: Taking taylor expansion of (* (/ -1/6 (pow a 3)) (/ -1 x)) in x 8.200 * [taylor]: Taking taylor expansion of (/ -1/6 (pow a 3)) in x 8.200 * [taylor]: Taking taylor expansion of -1/6 in x 8.200 * [taylor]: Taking taylor expansion of (pow a 3) in x 8.200 * [taylor]: Taking taylor expansion of a in x 8.200 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.200 * [taylor]: Taking taylor expansion of -1 in x 8.200 * [taylor]: Taking taylor expansion of x in x 8.201 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in x 8.201 * [taylor]: Taking taylor expansion of 1/2 in x 8.201 * [taylor]: Taking taylor expansion of (pow a 2) in x 8.201 * [taylor]: Taking taylor expansion of a in x 8.201 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow x 2)))) in x 8.201 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 8.201 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.201 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.201 * [taylor]: Taking taylor expansion of x in x 8.202 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 (pow x 2))) (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))))) in x 8.202 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow x 2))) (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2)))) in x 8.202 * [taylor]: Taking taylor expansion of (exp (* (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2)))))) in x 8.202 * [taylor]: Taking taylor expansion of (* (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) (log (exp (/ 1 (pow x 2))))) in x 8.202 * [taylor]: Taking taylor expansion of (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) in x 8.202 * [taylor]: Rewrote expression to (+ (* (/ -1/6 (pow a 3)) (/ -1 x)) (/ 1/2 (pow a 2))) 8.202 * [taylor]: Taking taylor expansion of (* (/ -1/6 (pow a 3)) (/ -1 x)) in x 8.202 * [taylor]: Taking taylor expansion of (/ -1/6 (pow a 3)) in x 8.202 * [taylor]: Taking taylor expansion of -1/6 in x 8.202 * [taylor]: Taking taylor expansion of (pow a 3) in x 8.202 * [taylor]: Taking taylor expansion of a in x 8.203 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.203 * [taylor]: Taking taylor expansion of -1 in x 8.203 * [taylor]: Taking taylor expansion of x in x 8.203 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in x 8.203 * [taylor]: Taking taylor expansion of 1/2 in x 8.203 * [taylor]: Taking taylor expansion of (pow a 2) in x 8.203 * [taylor]: Taking taylor expansion of a in x 8.203 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow x 2)))) in x 8.203 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 8.203 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.203 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.203 * [taylor]: Taking taylor expansion of x in x 8.205 * [taylor]: Taking taylor expansion of (/ (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) (pow x 2)) in a 8.205 * [taylor]: Taking taylor expansion of (fma (/ -1/6 (pow a 3)) (/ -1 x) (/ 1/2 (pow a 2))) in a 8.205 * [taylor]: Rewrote expression to (+ (* (/ -1/6 (pow a 3)) (/ -1 x)) (/ 1/2 (pow a 2))) 8.205 * [taylor]: Taking taylor expansion of (* (/ -1/6 (pow a 3)) (/ -1 x)) in a 8.205 * [taylor]: Taking taylor expansion of (/ -1/6 (pow a 3)) in a 8.205 * [taylor]: Taking taylor expansion of -1/6 in a 8.205 * [taylor]: Taking taylor expansion of (pow a 3) in a 8.205 * [taylor]: Taking taylor expansion of a in a 8.206 * [taylor]: Taking taylor expansion of (/ -1 x) in a 8.206 * [taylor]: Taking taylor expansion of -1 in a 8.206 * [taylor]: Taking taylor expansion of x in a 8.206 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 8.206 * [taylor]: Taking taylor expansion of 1/2 in a 8.206 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.206 * [taylor]: Taking taylor expansion of a in a 8.206 * [taylor]: Taking taylor expansion of (pow x 2) in a 8.206 * [taylor]: Taking taylor expansion of x in a 8.217 * [taylor]: Taking taylor expansion of 0 in a 8.224 * [taylor]: Taking taylor expansion of 0 in a 8.232 * * * [progress]: simplifying candidates 8.234 * [simplify]: Simplifying using # : (expm1 (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (log1p (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* (* 1/6 (pow a 3)) x) (log (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (exp (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* (cbrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (cbrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (cbrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* (* (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (sqrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (sqrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (expm1 (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (log1p (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (* (* x x) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* (log (exp (* x x))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* x (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* 1 (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* x (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (pow (exp (* x x)) (* (cbrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (cbrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (pow (exp (* x x)) (sqrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (pow (exp (* x x)) 1) (pow (exp (* x x)) (* (* 1/6 (pow a 3)) x)) (pow (exp (* x x)) (* 1/2 (pow a 2))) (pow (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (pow (cbrt (exp (* x x))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (pow (sqrt (exp (* x x))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (pow (sqrt (exp (* x x))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (pow 1 (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (log (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (exp (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (* (cbrt (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (cbrt (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (cbrt (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (* (* (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (sqrt (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (sqrt (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (pow (exp (* x x)) (/ (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) 2)) (pow (exp (* x x)) (/ (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) 2)) (expm1 (* 1/6 (pow a 3))) (log1p (* 1/6 (pow a 3))) (+ (log 1/6) (* (log a) 3)) (+ (log 1/6) (* (log a) 3)) (+ (log 1/6) (log (pow a 3))) (log (* 1/6 (pow a 3))) (exp (* 1/6 (pow a 3))) (* (* (* 1/6 1/6) 1/6) (* (* (pow a 3) (pow a 3)) (pow a 3))) (* (cbrt (* 1/6 (pow a 3))) (cbrt (* 1/6 (pow a 3)))) (cbrt (* 1/6 (pow a 3))) (* (* (* 1/6 (pow a 3)) (* 1/6 (pow a 3))) (* 1/6 (pow a 3))) (sqrt (* 1/6 (pow a 3))) (sqrt (* 1/6 (pow a 3))) (* (sqrt 1/6) (pow (sqrt a) 3)) (* (sqrt 1/6) (pow (sqrt a) 3)) (* (sqrt 1/6) (pow (sqrt a) 3)) (* (sqrt 1/6) (pow (sqrt a) 3)) (* (sqrt 1/6) (sqrt (pow a 3))) (* (sqrt 1/6) (sqrt (pow a 3))) (* (sqrt 1/6) (pow a (/ 3 2))) (* (sqrt 1/6) (pow a (/ 3 2))) (* 1/6 (pow (* (cbrt a) (cbrt a)) 3)) (* 1/6 (pow (sqrt a) 3)) (* 1/6 (pow 1 3)) (* 1/6 (* a a)) (* 1/6 (* (cbrt (pow a 3)) (cbrt (pow a 3)))) (* 1/6 (pow (* (cbrt a) (cbrt a)) 3)) (* 1/6 (pow (sqrt a) 3)) (* 1/6 (pow 1 3)) (* 1/6 a) (* 1/6 (sqrt (pow a 3))) (* 1/6 1) (* 1/6 (pow a (/ 3 2))) (* (cbrt 1/6) (pow a 3)) (* (sqrt 1/6) (pow a 3)) (* 1/6 (pow a 3)) (expm1 (log (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (log1p (log (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (log (pow (exp (* x x)) (* (* 1/6 (pow a 3)) x))) (log (pow (exp (* x x)) (* 1/2 (pow a 2)))) (log (pow (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (log (pow (cbrt (exp (* x x))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (log (pow (sqrt (exp (* x x))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (log (pow (sqrt (exp (* x x))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (log (pow 1 (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (log (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (log (* (cbrt (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (cbrt (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))))) (log (cbrt (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (log (sqrt (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (log (sqrt (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (log 1) (log (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (log (pow (exp (* x x)) (/ (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) 2))) (log (pow (exp (* x x)) (/ (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) 2))) (log (exp (* x x))) (log (log (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (exp (log (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (* (cbrt (log (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (cbrt (log (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))))) (cbrt (log (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (* (* (log (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (log (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (log (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (sqrt (log (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (sqrt (log (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) 1 (exp (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (exp (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (* 1/6 (pow a 3)) (* 1/6 (pow a 3)) (* 1/6 (pow a 3)) 0 0 0 8.237 * * [simplify]: iteration 0 : 128 enodes (cost 1559 ) 8.259 * * [simplify]: iteration 1 : 268 enodes (cost 1427 ) 8.329 * * [simplify]: iteration 2 : 1062 enodes (cost 1322 ) 8.842 * * [simplify]: iteration done : 5001 enodes (cost 1322 ) 8.843 * [simplify]: Simplified to: (expm1 (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (log1p (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* (* 1/6 x) (pow a 3)) (log (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (exp (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* (cbrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (cbrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (cbrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (pow (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) 3) (sqrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (sqrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (expm1 (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (log1p (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* x (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (fma x (* 1/6 (pow a 3)) (* 1/2 (pow a 2))) (* x (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (pow (exp (* x x)) (* (cbrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (cbrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (pow (exp (* x x)) (sqrt (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (exp (* x x)) (pow (exp (* x x)) (* (* 1/6 (pow a 3)) x)) (pow (exp (* x x)) (* 1/2 (pow a 2))) (pow (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (pow (cbrt (exp (* x x))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (pow (sqrt (exp (* x x))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (pow (sqrt (exp (* x x))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) 1 (exp (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (exp (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (* (cbrt (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (cbrt (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (cbrt (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (pow (exp (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) 3) (sqrt (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (sqrt (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (pow (exp (* x x)) (/ (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) 2)) (pow (exp (* x x)) (/ (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) 2)) (expm1 (* 1/6 (pow a 3))) (log1p (* 1/6 (pow a 3))) (log (* 1/6 (pow a 3))) (log (* 1/6 (pow a 3))) (log (* 1/6 (pow a 3))) (log (* 1/6 (pow a 3))) (exp (* 1/6 (pow a 3))) (pow (* 1/6 (pow a 3)) 3) (* (cbrt (* 1/6 (pow a 3))) (cbrt (* 1/6 (pow a 3)))) (cbrt (* 1/6 (pow a 3))) (pow (* 1/6 (pow a 3)) 3) (sqrt (* 1/6 (pow a 3))) (sqrt (* 1/6 (pow a 3))) (* (sqrt 1/6) (pow (sqrt a) 3)) (* (sqrt 1/6) (pow (sqrt a) 3)) (* (sqrt 1/6) (pow (sqrt a) 3)) (* (sqrt 1/6) (pow (sqrt a) 3)) (* (sqrt 1/6) (sqrt (pow a 3))) (* (sqrt 1/6) (sqrt (pow a 3))) (* (pow a 3/2) (sqrt 1/6)) (* (pow a 3/2) (sqrt 1/6)) (* (* a a) 1/6) (* 1/6 (pow (sqrt a) 3)) 1/6 (* (* a a) 1/6) (* (* a a) 1/6) (* (* a a) 1/6) (* 1/6 (pow (sqrt a) 3)) 1/6 (* 1/6 a) (* 1/6 (sqrt (pow a 3))) 1/6 (* (pow a 3/2) 1/6) (* (cbrt 1/6) (pow a 3)) (* (sqrt 1/6) (pow a 3)) (* 1/6 (pow a 3)) (expm1 (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (log1p (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (* (* 1/6 (* (pow a 3) x)) (pow x 2)) (* (* 1/2 (pow a 2)) (pow x 2)) (log (pow (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (log (pow (cbrt (exp (* x x))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (log (pow (sqrt (exp (* x x))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (log (pow (sqrt (exp (* x x))) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) 0 (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* 2 (log (cbrt (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))))) (log (cbrt (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (log (sqrt (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (log (sqrt (pow (exp (* x x)) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) 0 (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) (* (/ (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) 2) (* x x)) (* (/ (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))) 2) (* x x)) (pow x 2) (log (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (exp (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (* (cbrt (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (cbrt (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))))) (cbrt (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (pow (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2)))) 3) (sqrt (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (sqrt (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (fma x (* 1/6 (pow a 3)) (* 1/2 (pow a 2))) (fma x (* 1/6 (pow a 3)) (* 1/2 (pow a 2))) (fma x (* 1/6 (pow a 3)) (* 1/2 (pow a 2))) 1 (exp (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (exp (* (pow x 2) (fma (* 1/6 (pow a 3)) x (* 1/2 (pow a 2))))) (* 1/6 (pow a 3)) (* 1/6 (pow a 3)) (* 1/6 (pow a 3)) 0 0 0 8.843 * * * [progress]: adding candidates to table 9.162 * * [progress]: iteration 4 / 4 9.162 * * * [progress]: picking best candidate 9.164 * * * * [pick]: Picked # 9.164 * * * [progress]: localizing error 9.176 * * * [progress]: generating rewritten candidates 9.176 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 9.186 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 9.193 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 9.194 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 9.199 * * * [progress]: generating series expansions 9.199 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 9.200 * [approximate]: Taking taylor expansion of (- (sqrt (exp (* a x))) (sqrt 1.0)) in (a x) around 0 9.200 * [taylor]: Taking taylor expansion of (- (sqrt (exp (* a x))) (sqrt 1.0)) in x 9.200 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in x 9.200 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 9.200 * [taylor]: Taking taylor expansion of (* a x) in x 9.200 * [taylor]: Taking taylor expansion of a in x 9.200 * [taylor]: Taking taylor expansion of x in x 9.201 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 9.201 * [taylor]: Taking taylor expansion of 1.0 in x 9.202 * [taylor]: Taking taylor expansion of (- (sqrt (exp (* a x))) (sqrt 1.0)) in a 9.202 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a 9.202 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 9.202 * [taylor]: Taking taylor expansion of (* a x) in a 9.202 * [taylor]: Taking taylor expansion of a in a 9.202 * [taylor]: Taking taylor expansion of x in a 9.203 * [taylor]: Taking taylor expansion of (sqrt 1.0) in a 9.203 * [taylor]: Taking taylor expansion of 1.0 in a 9.204 * [taylor]: Taking taylor expansion of (- (sqrt (exp (* a x))) (sqrt 1.0)) in a 9.204 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a 9.204 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 9.204 * [taylor]: Taking taylor expansion of (* a x) in a 9.204 * [taylor]: Taking taylor expansion of a in a 9.204 * [taylor]: Taking taylor expansion of x in a 9.205 * [taylor]: Taking taylor expansion of (sqrt 1.0) in a 9.205 * [taylor]: Taking taylor expansion of 1.0 in a 9.207 * [taylor]: Taking taylor expansion of (- 1 (sqrt 1.0)) in x 9.207 * [taylor]: Taking taylor expansion of 1 in x 9.207 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 9.207 * [taylor]: Taking taylor expansion of 1.0 in x 9.210 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 9.210 * [taylor]: Taking taylor expansion of 1/2 in x 9.210 * [taylor]: Taking taylor expansion of x in x 9.213 * [taylor]: Taking taylor expansion of (* 1/8 (pow x 2)) in x 9.213 * [taylor]: Taking taylor expansion of 1/8 in x 9.213 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.213 * [taylor]: Taking taylor expansion of x in x 9.218 * [taylor]: Taking taylor expansion of (* 1/48 (pow x 3)) in x 9.218 * [taylor]: Taking taylor expansion of 1/48 in x 9.218 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.218 * [taylor]: Taking taylor expansion of x in x 9.224 * [taylor]: Taking taylor expansion of (* 1/384 (pow x 4)) in x 9.225 * [taylor]: Taking taylor expansion of 1/384 in x 9.225 * [taylor]: Taking taylor expansion of (pow x 4) in x 9.225 * [taylor]: Taking taylor expansion of x in x 9.226 * [approximate]: Taking taylor expansion of (- (sqrt (exp (/ 1 (* a x)))) (sqrt 1.0)) in (a x) around 0 9.226 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 (* a x)))) (sqrt 1.0)) in x 9.226 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x 9.226 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.226 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.226 * [taylor]: Taking taylor expansion of (* a x) in x 9.226 * [taylor]: Taking taylor expansion of a in x 9.226 * [taylor]: Taking taylor expansion of x in x 9.227 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 9.227 * [taylor]: Taking taylor expansion of 1.0 in x 9.228 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 (* a x)))) (sqrt 1.0)) in a 9.228 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a 9.228 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.228 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.228 * [taylor]: Taking taylor expansion of (* a x) in a 9.228 * [taylor]: Taking taylor expansion of a in a 9.228 * [taylor]: Taking taylor expansion of x in a 9.228 * [taylor]: Taking taylor expansion of (sqrt 1.0) in a 9.228 * [taylor]: Taking taylor expansion of 1.0 in a 9.229 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 (* a x)))) (sqrt 1.0)) in a 9.229 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a 9.229 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.229 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.229 * [taylor]: Taking taylor expansion of (* a x) in a 9.229 * [taylor]: Taking taylor expansion of a in a 9.229 * [taylor]: Taking taylor expansion of x in a 9.229 * [taylor]: Taking taylor expansion of (sqrt 1.0) in a 9.229 * [taylor]: Taking taylor expansion of 1.0 in a 9.231 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 (* a x)))) (sqrt 1.0)) in x 9.231 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x 9.231 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.231 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.231 * [taylor]: Taking taylor expansion of (* a x) in x 9.231 * [taylor]: Taking taylor expansion of a in x 9.231 * [taylor]: Taking taylor expansion of x in x 9.232 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 9.232 * [taylor]: Taking taylor expansion of 1.0 in x 9.234 * [taylor]: Taking taylor expansion of 0 in x 9.236 * [taylor]: Taking taylor expansion of 0 in x 9.239 * [taylor]: Taking taylor expansion of 0 in x 9.240 * [approximate]: Taking taylor expansion of (- (sqrt (exp (/ 1 (* a x)))) (sqrt 1.0)) in (a x) around 0 9.240 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 (* a x)))) (sqrt 1.0)) in x 9.240 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x 9.240 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.240 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.240 * [taylor]: Taking taylor expansion of (* a x) in x 9.240 * [taylor]: Taking taylor expansion of a in x 9.240 * [taylor]: Taking taylor expansion of x in x 9.241 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 9.241 * [taylor]: Taking taylor expansion of 1.0 in x 9.241 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 (* a x)))) (sqrt 1.0)) in a 9.242 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a 9.242 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.242 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.242 * [taylor]: Taking taylor expansion of (* a x) in a 9.242 * [taylor]: Taking taylor expansion of a in a 9.242 * [taylor]: Taking taylor expansion of x in a 9.242 * [taylor]: Taking taylor expansion of (sqrt 1.0) in a 9.242 * [taylor]: Taking taylor expansion of 1.0 in a 9.243 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 (* a x)))) (sqrt 1.0)) in a 9.243 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a 9.243 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.243 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.243 * [taylor]: Taking taylor expansion of (* a x) in a 9.243 * [taylor]: Taking taylor expansion of a in a 9.243 * [taylor]: Taking taylor expansion of x in a 9.243 * [taylor]: Taking taylor expansion of (sqrt 1.0) in a 9.243 * [taylor]: Taking taylor expansion of 1.0 in a 9.245 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 (* a x)))) (sqrt 1.0)) in x 9.245 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x 9.245 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.245 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.245 * [taylor]: Taking taylor expansion of (* a x) in x 9.245 * [taylor]: Taking taylor expansion of a in x 9.245 * [taylor]: Taking taylor expansion of x in x 9.246 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 9.246 * [taylor]: Taking taylor expansion of 1.0 in x 9.248 * [taylor]: Taking taylor expansion of 0 in x 9.250 * [taylor]: Taking taylor expansion of 0 in x 9.258 * [taylor]: Taking taylor expansion of 0 in x 9.259 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 9.259 * [approximate]: Taking taylor expansion of (+ (sqrt (exp (* a x))) (sqrt 1.0)) in (a x) around 0 9.259 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (* a x))) (sqrt 1.0)) in x 9.259 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in x 9.259 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 9.259 * [taylor]: Taking taylor expansion of (* a x) in x 9.259 * [taylor]: Taking taylor expansion of a in x 9.259 * [taylor]: Taking taylor expansion of x in x 9.260 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 9.260 * [taylor]: Taking taylor expansion of 1.0 in x 9.261 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (* a x))) (sqrt 1.0)) in a 9.261 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a 9.261 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 9.261 * [taylor]: Taking taylor expansion of (* a x) in a 9.261 * [taylor]: Taking taylor expansion of a in a 9.261 * [taylor]: Taking taylor expansion of x in a 9.262 * [taylor]: Taking taylor expansion of (sqrt 1.0) in a 9.262 * [taylor]: Taking taylor expansion of 1.0 in a 9.263 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (* a x))) (sqrt 1.0)) in a 9.263 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a 9.263 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 9.263 * [taylor]: Taking taylor expansion of (* a x) in a 9.263 * [taylor]: Taking taylor expansion of a in a 9.263 * [taylor]: Taking taylor expansion of x in a 9.264 * [taylor]: Taking taylor expansion of (sqrt 1.0) in a 9.264 * [taylor]: Taking taylor expansion of 1.0 in a 9.265 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) 1) in x 9.265 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 9.265 * [taylor]: Taking taylor expansion of 1.0 in x 9.266 * [taylor]: Taking taylor expansion of 1 in x 9.267 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 9.267 * [taylor]: Taking taylor expansion of 1/2 in x 9.267 * [taylor]: Taking taylor expansion of x in x 9.270 * [taylor]: Taking taylor expansion of (* 1/8 (pow x 2)) in x 9.270 * [taylor]: Taking taylor expansion of 1/8 in x 9.270 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.270 * [taylor]: Taking taylor expansion of x in x 9.274 * [taylor]: Taking taylor expansion of (* 1/48 (pow x 3)) in x 9.274 * [taylor]: Taking taylor expansion of 1/48 in x 9.274 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.274 * [taylor]: Taking taylor expansion of x in x 9.280 * [taylor]: Taking taylor expansion of (* 1/384 (pow x 4)) in x 9.280 * [taylor]: Taking taylor expansion of 1/384 in x 9.280 * [taylor]: Taking taylor expansion of (pow x 4) in x 9.280 * [taylor]: Taking taylor expansion of x in x 9.282 * [approximate]: Taking taylor expansion of (+ (sqrt (exp (/ 1 (* a x)))) (sqrt 1.0)) in (a x) around 0 9.282 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 (* a x)))) (sqrt 1.0)) in x 9.282 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x 9.282 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.282 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.282 * [taylor]: Taking taylor expansion of (* a x) in x 9.282 * [taylor]: Taking taylor expansion of a in x 9.282 * [taylor]: Taking taylor expansion of x in x 9.282 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 9.282 * [taylor]: Taking taylor expansion of 1.0 in x 9.283 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 (* a x)))) (sqrt 1.0)) in a 9.283 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a 9.283 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.283 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.283 * [taylor]: Taking taylor expansion of (* a x) in a 9.283 * [taylor]: Taking taylor expansion of a in a 9.283 * [taylor]: Taking taylor expansion of x in a 9.284 * [taylor]: Taking taylor expansion of (sqrt 1.0) in a 9.284 * [taylor]: Taking taylor expansion of 1.0 in a 9.284 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 (* a x)))) (sqrt 1.0)) in a 9.284 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a 9.284 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.284 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.285 * [taylor]: Taking taylor expansion of (* a x) in a 9.285 * [taylor]: Taking taylor expansion of a in a 9.285 * [taylor]: Taking taylor expansion of x in a 9.285 * [taylor]: Taking taylor expansion of (sqrt 1.0) in a 9.285 * [taylor]: Taking taylor expansion of 1.0 in a 9.286 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 (* a x)))) (sqrt 1.0)) in x 9.286 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x 9.286 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.286 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.286 * [taylor]: Taking taylor expansion of (* a x) in x 9.286 * [taylor]: Taking taylor expansion of a in x 9.286 * [taylor]: Taking taylor expansion of x in x 9.287 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 9.287 * [taylor]: Taking taylor expansion of 1.0 in x 9.288 * [taylor]: Taking taylor expansion of 0 in x 9.290 * [taylor]: Taking taylor expansion of 0 in x 9.292 * [taylor]: Taking taylor expansion of 0 in x 9.293 * [approximate]: Taking taylor expansion of (+ (sqrt (exp (/ 1 (* a x)))) (sqrt 1.0)) in (a x) around 0 9.293 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 (* a x)))) (sqrt 1.0)) in x 9.293 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x 9.293 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.293 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.293 * [taylor]: Taking taylor expansion of (* a x) in x 9.293 * [taylor]: Taking taylor expansion of a in x 9.293 * [taylor]: Taking taylor expansion of x in x 9.294 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 9.294 * [taylor]: Taking taylor expansion of 1.0 in x 9.295 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 (* a x)))) (sqrt 1.0)) in a 9.295 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a 9.295 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.295 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.295 * [taylor]: Taking taylor expansion of (* a x) in a 9.295 * [taylor]: Taking taylor expansion of a in a 9.295 * [taylor]: Taking taylor expansion of x in a 9.295 * [taylor]: Taking taylor expansion of (sqrt 1.0) in a 9.295 * [taylor]: Taking taylor expansion of 1.0 in a 9.296 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 (* a x)))) (sqrt 1.0)) in a 9.296 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a 9.296 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.296 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.296 * [taylor]: Taking taylor expansion of (* a x) in a 9.296 * [taylor]: Taking taylor expansion of a in a 9.296 * [taylor]: Taking taylor expansion of x in a 9.296 * [taylor]: Taking taylor expansion of (sqrt 1.0) in a 9.296 * [taylor]: Taking taylor expansion of 1.0 in a 9.297 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 (* a x)))) (sqrt 1.0)) in x 9.298 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x 9.298 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.298 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.298 * [taylor]: Taking taylor expansion of (* a x) in x 9.298 * [taylor]: Taking taylor expansion of a in x 9.298 * [taylor]: Taking taylor expansion of x in x 9.298 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 9.298 * [taylor]: Taking taylor expansion of 1.0 in x 9.300 * [taylor]: Taking taylor expansion of 0 in x 9.301 * [taylor]: Taking taylor expansion of 0 in x 9.304 * [taylor]: Taking taylor expansion of 0 in x 9.304 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 9.304 * [approximate]: Taking taylor expansion of (sqrt (exp (* a x))) in (a x) around 0 9.304 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in x 9.304 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 9.304 * [taylor]: Taking taylor expansion of (* a x) in x 9.304 * [taylor]: Taking taylor expansion of a in x 9.305 * [taylor]: Taking taylor expansion of x in x 9.305 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a 9.306 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 9.306 * [taylor]: Taking taylor expansion of (* a x) in a 9.306 * [taylor]: Taking taylor expansion of a in a 9.306 * [taylor]: Taking taylor expansion of x in a 9.307 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a 9.307 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 9.307 * [taylor]: Taking taylor expansion of (* a x) in a 9.307 * [taylor]: Taking taylor expansion of a in a 9.307 * [taylor]: Taking taylor expansion of x in a 9.308 * [taylor]: Taking taylor expansion of 1 in x 9.308 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 9.308 * [taylor]: Taking taylor expansion of 1/2 in x 9.308 * [taylor]: Taking taylor expansion of x in x 9.310 * [taylor]: Taking taylor expansion of (* 1/8 (pow x 2)) in x 9.310 * [taylor]: Taking taylor expansion of 1/8 in x 9.310 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.310 * [taylor]: Taking taylor expansion of x in x 9.312 * [taylor]: Taking taylor expansion of (* 1/48 (pow x 3)) in x 9.312 * [taylor]: Taking taylor expansion of 1/48 in x 9.312 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.312 * [taylor]: Taking taylor expansion of x in x 9.316 * [taylor]: Taking taylor expansion of (* 1/384 (pow x 4)) in x 9.316 * [taylor]: Taking taylor expansion of 1/384 in x 9.316 * [taylor]: Taking taylor expansion of (pow x 4) in x 9.316 * [taylor]: Taking taylor expansion of x in x 9.317 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in (a x) around 0 9.317 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x 9.317 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.317 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.317 * [taylor]: Taking taylor expansion of (* a x) in x 9.317 * [taylor]: Taking taylor expansion of a in x 9.317 * [taylor]: Taking taylor expansion of x in x 9.318 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a 9.318 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.318 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.318 * [taylor]: Taking taylor expansion of (* a x) in a 9.318 * [taylor]: Taking taylor expansion of a in a 9.318 * [taylor]: Taking taylor expansion of x in a 9.318 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a 9.318 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.318 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.318 * [taylor]: Taking taylor expansion of (* a x) in a 9.318 * [taylor]: Taking taylor expansion of a in a 9.318 * [taylor]: Taking taylor expansion of x in a 9.319 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x 9.319 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.319 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.319 * [taylor]: Taking taylor expansion of (* a x) in x 9.319 * [taylor]: Taking taylor expansion of a in x 9.319 * [taylor]: Taking taylor expansion of x in x 9.319 * [taylor]: Taking taylor expansion of 0 in x 9.320 * [taylor]: Taking taylor expansion of 0 in x 9.321 * [taylor]: Taking taylor expansion of 0 in x 9.321 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in (a x) around 0 9.321 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x 9.321 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.321 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.321 * [taylor]: Taking taylor expansion of (* a x) in x 9.321 * [taylor]: Taking taylor expansion of a in x 9.321 * [taylor]: Taking taylor expansion of x in x 9.322 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a 9.322 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.322 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.322 * [taylor]: Taking taylor expansion of (* a x) in a 9.322 * [taylor]: Taking taylor expansion of a in a 9.322 * [taylor]: Taking taylor expansion of x in a 9.322 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a 9.322 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.322 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.322 * [taylor]: Taking taylor expansion of (* a x) in a 9.322 * [taylor]: Taking taylor expansion of a in a 9.322 * [taylor]: Taking taylor expansion of x in a 9.323 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x 9.323 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.323 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.323 * [taylor]: Taking taylor expansion of (* a x) in x 9.323 * [taylor]: Taking taylor expansion of a in x 9.323 * [taylor]: Taking taylor expansion of x in x 9.323 * [taylor]: Taking taylor expansion of 0 in x 9.324 * [taylor]: Taking taylor expansion of 0 in x 9.325 * [taylor]: Taking taylor expansion of 0 in x 9.325 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 9.325 * [approximate]: Taking taylor expansion of (sqrt (exp (* a x))) in (a x) around 0 9.325 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in x 9.325 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 9.325 * [taylor]: Taking taylor expansion of (* a x) in x 9.325 * [taylor]: Taking taylor expansion of a in x 9.325 * [taylor]: Taking taylor expansion of x in x 9.326 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a 9.326 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 9.326 * [taylor]: Taking taylor expansion of (* a x) in a 9.326 * [taylor]: Taking taylor expansion of a in a 9.326 * [taylor]: Taking taylor expansion of x in a 9.327 * [taylor]: Taking taylor expansion of (sqrt (exp (* a x))) in a 9.327 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 9.327 * [taylor]: Taking taylor expansion of (* a x) in a 9.327 * [taylor]: Taking taylor expansion of a in a 9.328 * [taylor]: Taking taylor expansion of x in a 9.328 * [taylor]: Taking taylor expansion of 1 in x 9.329 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 9.329 * [taylor]: Taking taylor expansion of 1/2 in x 9.329 * [taylor]: Taking taylor expansion of x in x 9.331 * [taylor]: Taking taylor expansion of (* 1/8 (pow x 2)) in x 9.331 * [taylor]: Taking taylor expansion of 1/8 in x 9.331 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.331 * [taylor]: Taking taylor expansion of x in x 9.333 * [taylor]: Taking taylor expansion of (* 1/48 (pow x 3)) in x 9.333 * [taylor]: Taking taylor expansion of 1/48 in x 9.333 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.333 * [taylor]: Taking taylor expansion of x in x 9.337 * [taylor]: Taking taylor expansion of (* 1/384 (pow x 4)) in x 9.337 * [taylor]: Taking taylor expansion of 1/384 in x 9.337 * [taylor]: Taking taylor expansion of (pow x 4) in x 9.337 * [taylor]: Taking taylor expansion of x in x 9.338 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in (a x) around 0 9.338 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x 9.338 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.338 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.338 * [taylor]: Taking taylor expansion of (* a x) in x 9.338 * [taylor]: Taking taylor expansion of a in x 9.338 * [taylor]: Taking taylor expansion of x in x 9.339 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a 9.339 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.339 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.339 * [taylor]: Taking taylor expansion of (* a x) in a 9.339 * [taylor]: Taking taylor expansion of a in a 9.339 * [taylor]: Taking taylor expansion of x in a 9.339 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a 9.339 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.339 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.339 * [taylor]: Taking taylor expansion of (* a x) in a 9.339 * [taylor]: Taking taylor expansion of a in a 9.339 * [taylor]: Taking taylor expansion of x in a 9.340 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x 9.340 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.340 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.340 * [taylor]: Taking taylor expansion of (* a x) in x 9.340 * [taylor]: Taking taylor expansion of a in x 9.340 * [taylor]: Taking taylor expansion of x in x 9.345 * [taylor]: Taking taylor expansion of 0 in x 9.345 * [taylor]: Taking taylor expansion of 0 in x 9.346 * [taylor]: Taking taylor expansion of 0 in x 9.347 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in (a x) around 0 9.347 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x 9.347 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.347 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.347 * [taylor]: Taking taylor expansion of (* a x) in x 9.347 * [taylor]: Taking taylor expansion of a in x 9.347 * [taylor]: Taking taylor expansion of x in x 9.347 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a 9.347 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.347 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.347 * [taylor]: Taking taylor expansion of (* a x) in a 9.347 * [taylor]: Taking taylor expansion of a in a 9.347 * [taylor]: Taking taylor expansion of x in a 9.348 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in a 9.348 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.348 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.348 * [taylor]: Taking taylor expansion of (* a x) in a 9.348 * [taylor]: Taking taylor expansion of a in a 9.348 * [taylor]: Taking taylor expansion of x in a 9.348 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (* a x)))) in x 9.348 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.348 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.348 * [taylor]: Taking taylor expansion of (* a x) in x 9.348 * [taylor]: Taking taylor expansion of a in x 9.348 * [taylor]: Taking taylor expansion of x in x 9.349 * [taylor]: Taking taylor expansion of 0 in x 9.350 * [taylor]: Taking taylor expansion of 0 in x 9.351 * [taylor]: Taking taylor expansion of 0 in x 9.351 * * * [progress]: simplifying candidates 9.353 * [simplify]: Simplifying using # : (fma (* (cbrt (sqrt (exp (* a x)))) (cbrt (sqrt (exp (* a x))))) (cbrt (sqrt (exp (* a x)))) (- (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0)))))) (fma (- (cbrt (sqrt 1.0))) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))))) (fma (* (cbrt (sqrt (exp (* a x)))) (cbrt (sqrt (exp (* a x))))) (cbrt (sqrt (exp (* a x)))) (- (* (sqrt (cbrt 1.0)) (sqrt (* (cbrt 1.0) (cbrt 1.0)))))) (fma (- (sqrt (cbrt 1.0))) (sqrt (* (cbrt 1.0) (cbrt 1.0))) (* (sqrt (cbrt 1.0)) (sqrt (* (cbrt 1.0) (cbrt 1.0))))) (fma (* (cbrt (sqrt (exp (* a x)))) (cbrt (sqrt (exp (* a x))))) (cbrt (sqrt (exp (* a x)))) (- (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0))))) (fma (- (sqrt (sqrt 1.0))) (sqrt (sqrt 1.0)) (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)))) (fma (* (cbrt (sqrt (exp (* a x)))) (cbrt (sqrt (exp (* a x))))) (cbrt (sqrt (exp (* a x)))) (- (* (sqrt 1.0) (sqrt 1)))) (fma (- (sqrt 1.0)) (sqrt 1) (* (sqrt 1.0) (sqrt 1))) (fma (* (cbrt (sqrt (exp (* a x)))) (cbrt (sqrt (exp (* a x))))) (cbrt (sqrt (exp (* a x)))) (- (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0))))) (fma (- (sqrt (sqrt 1.0))) (sqrt (sqrt 1.0)) (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)))) (fma (* (cbrt (sqrt (exp (* a x)))) (cbrt (sqrt (exp (* a x))))) (cbrt (sqrt (exp (* a x)))) (- (* (sqrt 1.0) 1))) (fma (- (sqrt 1.0)) 1 (* (sqrt 1.0) 1)) (fma (sqrt (* (cbrt (exp (* a x))) (cbrt (exp (* a x))))) (sqrt (cbrt (exp (* a x)))) (- (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0)))))) (fma (- (cbrt (sqrt 1.0))) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))))) (fma (sqrt (* (cbrt (exp (* a x))) (cbrt (exp (* a x))))) (sqrt (cbrt (exp (* a x)))) (- (* (sqrt (cbrt 1.0)) (sqrt (* (cbrt 1.0) (cbrt 1.0)))))) (fma (- (sqrt (cbrt 1.0))) (sqrt (* (cbrt 1.0) (cbrt 1.0))) (* (sqrt (cbrt 1.0)) (sqrt (* (cbrt 1.0) (cbrt 1.0))))) (fma (sqrt (* (cbrt (exp (* a x))) (cbrt (exp (* a x))))) (sqrt (cbrt (exp (* a x)))) (- (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0))))) (fma (- (sqrt (sqrt 1.0))) (sqrt (sqrt 1.0)) (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)))) (fma (sqrt (* (cbrt (exp (* a x))) (cbrt (exp (* a x))))) (sqrt (cbrt (exp (* a x)))) (- (* (sqrt 1.0) (sqrt 1)))) (fma (- (sqrt 1.0)) (sqrt 1) (* (sqrt 1.0) (sqrt 1))) (fma (sqrt (* (cbrt (exp (* a x))) (cbrt (exp (* a x))))) (sqrt (cbrt (exp (* a x)))) (- (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0))))) (fma (- (sqrt (sqrt 1.0))) (sqrt (sqrt 1.0)) (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)))) (fma (sqrt (* (cbrt (exp (* a x))) (cbrt (exp (* a x))))) (sqrt (cbrt (exp (* a x)))) (- (* (sqrt 1.0) 1))) (fma (- (sqrt 1.0)) 1 (* (sqrt 1.0) 1)) (fma (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt (exp (* a x)))) (- (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0)))))) (fma (- (cbrt (sqrt 1.0))) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))))) (fma (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt (exp (* a x)))) (- (* (sqrt (cbrt 1.0)) (sqrt (* (cbrt 1.0) (cbrt 1.0)))))) (fma (- (sqrt (cbrt 1.0))) (sqrt (* (cbrt 1.0) (cbrt 1.0))) (* (sqrt (cbrt 1.0)) (sqrt (* (cbrt 1.0) (cbrt 1.0))))) (fma (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt (exp (* a x)))) (- (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0))))) (fma (- (sqrt (sqrt 1.0))) (sqrt (sqrt 1.0)) (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)))) (fma (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt (exp (* a x)))) (- (* (sqrt 1.0) (sqrt 1)))) (fma (- (sqrt 1.0)) (sqrt 1) (* (sqrt 1.0) (sqrt 1))) (fma (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt (exp (* a x)))) (- (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0))))) (fma (- (sqrt (sqrt 1.0))) (sqrt (sqrt 1.0)) (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)))) (fma (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt (exp (* a x)))) (- (* (sqrt 1.0) 1))) (fma (- (sqrt 1.0)) 1 (* (sqrt 1.0) 1)) (fma (sqrt 1) (sqrt (exp (* a x))) (- (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0)))))) (fma (- (cbrt (sqrt 1.0))) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))))) (fma (sqrt 1) (sqrt (exp (* a x))) (- (* (sqrt (cbrt 1.0)) (sqrt (* (cbrt 1.0) (cbrt 1.0)))))) (fma (- (sqrt (cbrt 1.0))) (sqrt (* (cbrt 1.0) (cbrt 1.0))) (* (sqrt (cbrt 1.0)) (sqrt (* (cbrt 1.0) (cbrt 1.0))))) (fma (sqrt 1) (sqrt (exp (* a x))) (- (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0))))) (fma (- (sqrt (sqrt 1.0))) (sqrt (sqrt 1.0)) (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)))) (fma (sqrt 1) (sqrt (exp (* a x))) (- (* (sqrt 1.0) (sqrt 1)))) (fma (- (sqrt 1.0)) (sqrt 1) (* (sqrt 1.0) (sqrt 1))) (fma (sqrt 1) (sqrt (exp (* a x))) (- (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0))))) (fma (- (sqrt (sqrt 1.0))) (sqrt (sqrt 1.0)) (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)))) (fma (sqrt 1) (sqrt (exp (* a x))) (- (* (sqrt 1.0) 1))) (fma (- (sqrt 1.0)) 1 (* (sqrt 1.0) 1)) (fma (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt (exp (* a x)))) (- (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0)))))) (fma (- (cbrt (sqrt 1.0))) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))))) (fma (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt (exp (* a x)))) (- (* (sqrt (cbrt 1.0)) (sqrt (* (cbrt 1.0) (cbrt 1.0)))))) (fma (- (sqrt (cbrt 1.0))) (sqrt (* (cbrt 1.0) (cbrt 1.0))) (* (sqrt (cbrt 1.0)) (sqrt (* (cbrt 1.0) (cbrt 1.0))))) (fma (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt (exp (* a x)))) (- (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0))))) (fma (- (sqrt (sqrt 1.0))) (sqrt (sqrt 1.0)) (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)))) (fma (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt (exp (* a x)))) (- (* (sqrt 1.0) (sqrt 1)))) (fma (- (sqrt 1.0)) (sqrt 1) (* (sqrt 1.0) (sqrt 1))) (fma (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt (exp (* a x)))) (- (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0))))) (fma (- (sqrt (sqrt 1.0))) (sqrt (sqrt 1.0)) (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)))) (fma (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt (exp (* a x)))) (- (* (sqrt 1.0) 1))) (fma (- (sqrt 1.0)) 1 (* (sqrt 1.0) 1)) (fma 1 (sqrt (exp (* a x))) (- (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0)))))) (fma (- (cbrt (sqrt 1.0))) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))))) (fma 1 (sqrt (exp (* a x))) (- (* (sqrt (cbrt 1.0)) (sqrt (* (cbrt 1.0) (cbrt 1.0)))))) (fma (- (sqrt (cbrt 1.0))) (sqrt (* (cbrt 1.0) (cbrt 1.0))) (* (sqrt (cbrt 1.0)) (sqrt (* (cbrt 1.0) (cbrt 1.0))))) (fma 1 (sqrt (exp (* a x))) (- (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0))))) (fma (- (sqrt (sqrt 1.0))) (sqrt (sqrt 1.0)) (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)))) (fma 1 (sqrt (exp (* a x))) (- (* (sqrt 1.0) (sqrt 1)))) (fma (- (sqrt 1.0)) (sqrt 1) (* (sqrt 1.0) (sqrt 1))) (fma 1 (sqrt (exp (* a x))) (- (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0))))) (fma (- (sqrt (sqrt 1.0))) (sqrt (sqrt 1.0)) (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)))) (fma 1 (sqrt (exp (* a x))) (- (* (sqrt 1.0) 1))) (fma (- (sqrt 1.0)) 1 (* (sqrt 1.0) 1)) (expm1 (- (sqrt (exp (* a x))) (sqrt 1.0))) (log1p (- (sqrt (exp (* a x))) (sqrt 1.0))) (- (sqrt 1.0)) (- (sqrt 1.0)) (- (sqrt 1.0)) (- (sqrt 1.0)) (- (sqrt 1.0)) (- (sqrt 1.0)) (/ (exp (sqrt (exp (* a x)))) (exp (sqrt 1.0))) (log (- (sqrt (exp (* a x))) (sqrt 1.0))) (exp (- (sqrt (exp (* a x))) (sqrt 1.0))) (* (cbrt (- (sqrt (exp (* a x))) (sqrt 1.0))) (cbrt (- (sqrt (exp (* a x))) (sqrt 1.0)))) (cbrt (- (sqrt (exp (* a x))) (sqrt 1.0))) (* (* (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0))) (- (sqrt (exp (* a x))) (sqrt 1.0))) (sqrt (- (sqrt (exp (* a x))) (sqrt 1.0))) (sqrt (- (sqrt (exp (* a x))) (sqrt 1.0))) (- (pow (sqrt (exp (* a x))) 3) (pow (sqrt 1.0) 3)) (+ (* (sqrt (exp (* a x))) (sqrt (exp (* a x)))) (+ (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt (exp (* a x))) (sqrt 1.0)))) (- (sqrt 1.0)) (- (* (sqrt (exp (* a x))) (sqrt (exp (* a x)))) (* (sqrt 1.0) (sqrt 1.0))) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (+ (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt 1.0))) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt 1.0)) (expm1 (+ (sqrt (exp (* a x))) (sqrt 1.0))) (log1p (+ (sqrt (exp (* a x))) (sqrt 1.0))) (* (exp (sqrt (exp (* a x)))) (exp (sqrt 1.0))) (log (+ (sqrt (exp (* a x))) (sqrt 1.0))) (exp (+ (sqrt (exp (* a x))) (sqrt 1.0))) (* (cbrt (+ (sqrt (exp (* a x))) (sqrt 1.0))) (cbrt (+ (sqrt (exp (* a x))) (sqrt 1.0)))) (cbrt (+ (sqrt (exp (* a x))) (sqrt 1.0))) (* (* (+ (sqrt (exp (* a x))) (sqrt 1.0)) (+ (sqrt (exp (* a x))) (sqrt 1.0))) (+ (sqrt (exp (* a x))) (sqrt 1.0))) (sqrt (+ (sqrt (exp (* a x))) (sqrt 1.0))) (sqrt (+ (sqrt (exp (* a x))) (sqrt 1.0))) (+ (pow (sqrt (exp (* a x))) 3) (pow (sqrt 1.0) 3)) (+ (* (sqrt (exp (* a x))) (sqrt (exp (* a x)))) (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt (exp (* a x))) (sqrt 1.0)))) (- (* (sqrt (exp (* a x))) (sqrt (exp (* a x)))) (* (sqrt 1.0) (sqrt 1.0))) (- (sqrt (exp (* a x))) (sqrt 1.0)) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (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) (sqrt (sqrt (exp (* a x)))) (sqrt (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) (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt (exp (* a x)))) (- (+ (* 1/8 (* (pow a 2) (pow x 2))) (+ (* 1/2 (* a x)) 1)) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (+ (sqrt 1.0) (+ (* 1/8 (* (pow a 2) (pow x 2))) (+ (* 1/2 (* a x)) 1))) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (+ (* 1/8 (* (pow a 2) (pow x 2))) (+ (* 1/2 (* a x)) 1)) (sqrt (exp (* a x))) (sqrt (exp (* a x))) (+ (* 1/8 (* (pow a 2) (pow x 2))) (+ (* 1/2 (* a x)) 1)) (sqrt (exp (* a x))) (sqrt (exp (* a x))) 9.358 * * [simplify]: iteration 0 : 124 enodes (cost 2204 ) 9.375 * * [simplify]: iteration 1 : 270 enodes (cost 1698 ) 9.427 * * [simplify]: iteration 2 : 771 enodes (cost 1382 ) 9.760 * * [simplify]: iteration 3 : 3065 enodes (cost 1220 ) 11.212 * * [simplify]: iteration done : 5000 enodes (cost 1214 ) 11.213 * [simplify]: Simplified to: (- (pow (cbrt (sqrt (exp (* a x)))) 3) (sqrt 1.0)) 0 (fma (- (fabs (cbrt 1.0))) (sqrt (cbrt 1.0)) (pow (cbrt (sqrt (exp (* a x)))) 3)) (* (- (fabs (cbrt 1.0)) (fabs (cbrt 1.0))) (sqrt (cbrt 1.0))) (- (pow (cbrt (sqrt (exp (* a x)))) 3) (sqrt 1.0)) 0 (- (pow (cbrt (sqrt (exp (* a x)))) 3) (sqrt 1.0)) 0 (- (pow (cbrt (sqrt (exp (* a x)))) 3) (sqrt 1.0)) 0 (- (pow (cbrt (sqrt (exp (* a x)))) 3) (sqrt 1.0)) 0 (fma (fabs (cbrt (exp (* a x)))) (sqrt (cbrt (exp (* a x)))) (- (sqrt 1.0))) 0 (fma (fabs (cbrt (exp (* a x)))) (sqrt (cbrt (exp (* a x)))) (* (- (sqrt (cbrt 1.0))) (fabs (cbrt 1.0)))) (* (- (fabs (cbrt 1.0)) (fabs (cbrt 1.0))) (sqrt (cbrt 1.0))) (fma (fabs (cbrt (exp (* a x)))) (sqrt (cbrt (exp (* a x)))) (- (sqrt 1.0))) 0 (fma (fabs (cbrt (exp (* a x)))) (sqrt (cbrt (exp (* a x)))) (- (sqrt 1.0))) 0 (fma (fabs (cbrt (exp (* a x)))) (sqrt (cbrt (exp (* a x)))) (- (sqrt 1.0))) 0 (fma (fabs (cbrt (exp (* a x)))) (sqrt (cbrt (exp (* a x)))) (- (sqrt 1.0))) 0 (- (sqrt (exp (* a x))) (sqrt 1.0)) 0 (- (sqrt (exp (* a x))) (* (sqrt (cbrt 1.0)) (fabs (cbrt 1.0)))) (* (- (fabs (cbrt 1.0)) (fabs (cbrt 1.0))) (sqrt (cbrt 1.0))) (- (sqrt (exp (* a x))) (sqrt 1.0)) 0 (- (sqrt (exp (* a x))) (sqrt 1.0)) 0 (- (sqrt (exp (* a x))) (sqrt 1.0)) 0 (- (sqrt (exp (* a x))) (sqrt 1.0)) 0 (- (sqrt (exp (* a x))) (sqrt 1.0)) 0 (- (sqrt (exp (* a x))) (* (sqrt (cbrt 1.0)) (fabs (cbrt 1.0)))) (* (- (fabs (cbrt 1.0)) (fabs (cbrt 1.0))) (sqrt (cbrt 1.0))) (- (sqrt (exp (* a x))) (sqrt 1.0)) 0 (- (sqrt (exp (* a x))) (sqrt 1.0)) 0 (- (sqrt (exp (* a x))) (sqrt 1.0)) 0 (- (sqrt (exp (* a x))) (sqrt 1.0)) 0 (- (sqrt (exp (* a x))) (sqrt 1.0)) 0 (- (sqrt (exp (* a x))) (* (sqrt (cbrt 1.0)) (fabs (cbrt 1.0)))) (* (- (fabs (cbrt 1.0)) (fabs (cbrt 1.0))) (sqrt (cbrt 1.0))) (- (sqrt (exp (* a x))) (sqrt 1.0)) 0 (- (sqrt (exp (* a x))) (sqrt 1.0)) 0 (- (sqrt (exp (* a x))) (sqrt 1.0)) 0 (- (sqrt (exp (* a x))) (sqrt 1.0)) 0 (- (sqrt (exp (* a x))) (sqrt 1.0)) 0 (- (sqrt (exp (* a x))) (* (sqrt (cbrt 1.0)) (fabs (cbrt 1.0)))) (* (- (fabs (cbrt 1.0)) (fabs (cbrt 1.0))) (sqrt (cbrt 1.0))) (- (sqrt (exp (* a x))) (sqrt 1.0)) 0 (- (sqrt (exp (* a x))) (sqrt 1.0)) 0 (- (sqrt (exp (* a x))) (sqrt 1.0)) 0 (- (sqrt (exp (* a x))) (sqrt 1.0)) 0 (expm1 (- (sqrt (exp (* a x))) (sqrt 1.0))) (log1p (- (sqrt (exp (* a x))) (sqrt 1.0))) (- (sqrt 1.0)) (- (sqrt 1.0)) (- (sqrt 1.0)) (- (sqrt 1.0)) (- (sqrt 1.0)) (- (sqrt 1.0)) (exp (- (sqrt (exp (* a x))) (sqrt 1.0))) (log (- (sqrt (exp (* a x))) (sqrt 1.0))) (exp (- (sqrt (exp (* a x))) (sqrt 1.0))) (* (cbrt (- (sqrt (exp (* a x))) (sqrt 1.0))) (cbrt (- (sqrt (exp (* a x))) (sqrt 1.0)))) (cbrt (- (sqrt (exp (* a x))) (sqrt 1.0))) (pow (- (sqrt (exp (* a x))) (sqrt 1.0)) 3) (sqrt (- (sqrt (exp (* a x))) (sqrt 1.0))) (sqrt (- (sqrt (exp (* a x))) (sqrt 1.0))) (- (pow (sqrt (exp (* a x))) 3) (pow (sqrt 1.0) 3)) (+ (exp (* a x)) (fma (sqrt 1.0) (sqrt (exp (* a x))) 1.0)) (- (sqrt 1.0)) (- (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (+ (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt 1.0))) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt 1.0)) (expm1 (+ (sqrt (exp (* a x))) (sqrt 1.0))) (log1p (+ (sqrt (exp (* a x))) (sqrt 1.0))) (exp (+ (sqrt (exp (* a x))) (sqrt 1.0))) (log (+ (sqrt (exp (* a x))) (sqrt 1.0))) (exp (+ (sqrt (exp (* a x))) (sqrt 1.0))) (* (cbrt (+ (sqrt (exp (* a x))) (sqrt 1.0))) (cbrt (+ (sqrt (exp (* a x))) (sqrt 1.0)))) (cbrt (+ (sqrt (exp (* a x))) (sqrt 1.0))) (pow (+ (sqrt (exp (* a x))) (sqrt 1.0)) 3) (sqrt (+ (sqrt (exp (* a x))) (sqrt 1.0))) (sqrt (+ (sqrt (exp (* a x))) (sqrt 1.0))) (fma 1.0 (sqrt 1.0) (pow (sqrt (exp (* a x))) 3)) (+ (exp (* a x)) (- 1.0 (* (sqrt (exp (* a x))) (sqrt 1.0)))) (- (exp (* a x)) 1.0) (- (sqrt (exp (* a x))) (sqrt 1.0)) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (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))) (/ x 2) 1/2 (/ x 2) (sqrt (sqrt (exp (* a x)))) (sqrt (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))) (/ x 2) 1/2 (/ x 2) (sqrt (sqrt (exp (* a x)))) (sqrt (sqrt (exp (* a x)))) (- (fma 1/8 (* (pow a 2) (pow x 2)) (fma 1/2 (* a x) 1)) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (+ (fma 1/8 (* (pow a 2) (pow x 2)) (fma 1/2 (* a x) 1)) (sqrt 1.0)) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (fma 1/8 (* (pow a 2) (pow x 2)) (fma 1/2 (* a x) 1)) (sqrt (exp (* a x))) (sqrt (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))) 11.214 * * * [progress]: adding candidates to table 11.454 * [progress]: [Phase 3 of 3] Extracting. 11.454 * * [regime]: Finding splitpoints for: (# # #) 11.458 * * * [regime-changes]: Trying 4 branch expressions: ((* a x) (exp (* a x)) x a) 11.458 * * * * [regimes]: Trying to branch on (* a x) from (# # #) 11.479 * * * * [regimes]: Trying to branch on (exp (* a x)) from (# # #) 11.498 * * * * [regimes]: Trying to branch on x from (# # #) 11.545 * * * * [regimes]: Trying to branch on a from (# # #) 11.581 * * * [regime]: Found split indices: #